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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]descip_1__l31_descip_12025-09-12 01:53 89K 
[ ]descip_1__l33_descip_12025-09-12 01:57 903K 
[ ]descip_1__l35_descip_12025-09-12 00:54 70K 
[ ]descip_1__l36_descip_12025-09-12 02:00 5.4M 
[ ]descip_1__l49_descip_12025-09-12 02:03 5.4M 
[ ]descip_1__l50_descip_12025-09-12 02:06 5.4M 
[ ]descip_1__l51_descip_12025-09-12 02:08 80K 
[ ]descip_1__l52_descip_12025-09-12 02:09 80K 
[ ]descip_1__l58_descip_12025-09-12 02:10 27K 
[ ]descip_1__l67_descip_12025-09-12 02:12 118K 
[ ]descip_1__s1_descip_12025-09-12 00:56 68K 
[ ]descip_1__t1_descip_12025-09-12 00:58 71K 
[ ]descip_1__t2_descip_12025-09-12 00:59 102K 
[ ]descip_1__t3_descip_12025-09-12 00:49 85K 
[ ]descip_1__t4_descip_12025-09-12 01:01 78K 
[ ]descip_1__t5_descip_12025-09-12 01:02 73K 
[ ]descip_1__t6_descip_12025-09-12 01:04 73K 
[ ]descip_1__t7_descip_12025-09-12 01:06 83K 
[ ]descip_1__t8_descip_12025-09-12 01:07 85K 
[ ]descip_1__t9_descip_12025-09-12 01:09 87K 
[ ]descip_1__t10_descip_12025-09-12 01:11 73K 
[ ]descip_1__t11_descip_12025-09-12 01:12 73K 
[ ]descip_1__t12_descip_12025-09-12 01:14 104K 
[ ]descip_1__t13_descip_12025-09-12 01:16 104K 
[ ]descip_1__t14_descip_12025-09-12 01:17 72K 
[ ]descip_1__t15_descip_12025-09-12 01:19 110K 
[ ]descip_1__t16_descip_12025-09-12 01:21 117K 
[ ]descip_1__t17_descip_12025-09-12 01:22 67K 
[ ]descip_1__t18_descip_12025-09-12 01:24 105K 
[ ]descip_1__t19_descip_12025-09-12 01:25 46K 
[ ]descip_1__t20_descip_12025-09-12 01:27 85K 
[ ]descip_1__t21_descip_12025-09-12 01:29 128K 
[ ]descip_1__t22_descip_12025-09-12 01:31 292K 
[ ]descip_1__t23_descip_12025-09-12 01:34 504K 
[ ]descip_1__t24_descip_12025-09-12 01:37 645K 
[ ]descip_1__t25_descip_12025-09-12 01:40 841K 
[ ]descip_1__t26_descip_12025-09-12 01:42 111K 
[ ]descip_1__t27_descip_12025-09-12 01:45 659K 
[ ]descip_1__t28_descip_12025-09-12 00:51 82K 
[ ]descip_1__t29_descip_12025-09-12 01:48 155K 
[ ]descip_1__t30_descip_12025-09-12 01:50 243K 
[ ]descip_1__t31_descip_12025-09-12 01:52 81K 
[ ]descip_1__t32_descip_12025-09-12 00:53 70K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80