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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiff_8__l13_pdiff_82025-09-12 04:13 146K 
[ ]pdiff_8__t1_pdiff_82025-09-12 03:22 106K 
[ ]pdiff_8__t2_pdiff_82025-09-12 03:25 103K 
[ ]pdiff_8__t3_pdiff_82025-09-12 03:28 105K 
[ ]pdiff_8__t4_pdiff_82025-09-12 03:30 89K 
[ ]pdiff_8__t5_pdiff_82025-09-12 03:32 90K 
[ ]pdiff_8__t7_pdiff_82025-09-12 03:35 127K 
[ ]pdiff_8__t8_pdiff_82025-09-12 03:37 69K 
[ ]pdiff_8__t9_pdiff_82025-09-12 03:38 65K 
[ ]pdiff_8__t10_pdiff_82025-09-12 03:40 68K 
[ ]pdiff_8__t11_pdiff_82025-09-12 03:42 97K 
[ ]pdiff_8__t12_pdiff_82025-09-12 03:44 68K 
[ ]pdiff_8__t13_pdiff_82025-09-12 03:46 129K 
[ ]pdiff_8__t14_pdiff_82025-09-12 03:49 116K 
[ ]pdiff_8__t15_pdiff_82025-09-12 03:51 129K 
[ ]pdiff_8__t16_pdiff_82025-09-12 03:53 111K 
[ ]pdiff_8__t17_pdiff_82025-09-12 03:56 93K 
[ ]pdiff_8__t18_pdiff_82025-09-12 03:59 172K 
[ ]pdiff_8__t19_pdiff_82025-09-12 04:01 120K 
[ ]pdiff_8__t20_pdiff_82025-09-12 04:04 163K 
[ ]pdiff_8__t21_pdiff_82025-09-12 04:08 155K 
[ ]pdiff_8__t22_pdiff_82025-09-12 04:10 118K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80