Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/ndiff_9

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_9__t1_ndiff_92025-09-12 23:17 106K 
[   ]ndiff_9__t2_ndiff_92025-09-12 23:20 155K 
[   ]ndiff_9__t3_ndiff_92025-09-12 23:23 407K 
[   ]ndiff_9__t4_ndiff_92025-09-12 23:26 402K 
[   ]ndiff_9__t5_ndiff_92025-09-12 23:27 56K 
[   ]ndiff_9__t6_ndiff_92025-09-12 23:29 96K 
[   ]ndiff_9__t8_ndiff_92025-09-12 23:31 58K 
[   ]ndiff_9__t10_ndiff_92025-09-12 23:33 71K 
[   ]ndiff_9__t11_ndiff_92025-09-12 23:35 89K 
[   ]ndiff_9__t12_ndiff_92025-09-12 23:38 137K 
[   ]ndiff_9__t13_ndiff_92025-09-12 23:40 96K 
[   ]ndiff_9__t14_ndiff_92025-09-12 23:44 201K 
[   ]ndiff_9__t16_ndiff_92025-09-12 23:47 254K 
[   ]ndiff_9__t18_ndiff_92025-09-12 23:49 105K 
[   ]ndiff_9__t19_ndiff_92025-09-12 23:52 154K 
[   ]ndiff_9__t20_ndiff_92025-09-12 23:56 187K 
[   ]ndiff_9__t21_ndiff_92025-09-12 23:59 183K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80