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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_6__t1_ndiff_62025-09-12 22:30 44K 
[ ]ndiff_6__t2_ndiff_62025-09-12 22:31 44K 
[ ]ndiff_6__t3_ndiff_62025-09-12 22:33 62K 
[ ]ndiff_6__t4_ndiff_62025-09-12 22:34 42K 
[ ]ndiff_6__t5_ndiff_62025-09-12 22:36 59K 
[ ]ndiff_6__t6_ndiff_62025-09-12 22:37 71K 
[ ]ndiff_6__t7_ndiff_62025-09-12 22:39 37K 
[ ]ndiff_6__t8_ndiff_62025-09-12 22:40 35K 
[ ]ndiff_6__t9_ndiff_62025-09-12 22:41 34K 
[ ]ndiff_6__t10_ndiff_62025-09-12 22:43 33K 
[ ]ndiff_6__t11_ndiff_62025-09-12 22:44 59K 
[ ]ndiff_6__t12_ndiff_62025-09-12 22:46 56K 
[ ]ndiff_6__t13_ndiff_62025-09-12 22:47 59K 
[ ]ndiff_6__t14_ndiff_62025-09-12 22:49 55K 
[ ]ndiff_6__t15_ndiff_62025-09-12 22:51 75K 
[ ]ndiff_6__t16_ndiff_62025-09-12 22:52 78K 
[ ]ndiff_6__t17_ndiff_62025-09-12 22:54 52K 
[ ]ndiff_6__t18_ndiff_62025-09-12 22:55 61K 
[ ]ndiff_6__t19_ndiff_62025-09-12 22:57 104K 
[ ]ndiff_6__t20_ndiff_62025-09-12 22:59 93K 
[ ]ndiff_6__t21_ndiff_62025-09-12 23:01 81K 
[ ]ndiff_6__t22_ndiff_62025-09-12 23:03 90K 
[ ]ndiff_6__t23_ndiff_62025-09-12 23:04 78K 
[ ]ndiff_6__t24_ndiff_62025-09-12 23:06 86K 
[ ]ndiff_6__t25_ndiff_62025-09-12 23:08 75K 
[ ]ndiff_6__t26_ndiff_62025-09-12 23:09 58K 
[ ]ndiff_6__t27_ndiff_62025-09-12 23:11 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80