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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_01__t2_ordeq_012025-09-12 01:11 58K 
[ ]ordeq_01__t1_ordeq_012025-09-12 01:09 58K 
[ ]ordeq_01__l69_ordeq_012025-09-12 04:01 69K 
[ ]ordeq_01__t3_ordeq_012025-09-12 01:13 93K 
[ ]ordeq_01__t8_ordeq_012025-09-12 01:22 94K 
[ ]ordeq_01__t48_ordeq_012025-09-12 03:05 98K 
[ ]ordeq_01__t4_ordeq_012025-09-12 01:15 99K 
[ ]ordeq_01__l58_ordeq_012025-09-12 03:51 102K 
[ ]ordeq_01__t13_ordeq_012025-09-12 01:35 104K 
[ ]ordeq_01__t5_ordeq_012025-09-12 01:17 104K 
[ ]ordeq_01__t22_ordeq_012025-09-12 01:08 106K 
[ ]ordeq_01__l61_ordeq_012025-09-12 03:53 106K 
[ ]ordeq_01__t12_ordeq_012025-09-12 01:32 108K 
[ ]ordeq_01__t30_ordeq_012025-09-12 02:14 109K 
[ ]ordeq_01__t47_ordeq_012025-09-12 03:03 109K 
[ ]ordeq_01__t29_ordeq_012025-09-12 02:12 109K 
[ ]ordeq_01__l51_ordeq_012025-09-12 03:49 113K 
[ ]ordeq_01__t28_ordeq_012025-09-12 02:10 115K 
[ ]ordeq_01__t7_ordeq_012025-09-12 01:20 115K 
[ ]ordeq_01__t11_ordeq_012025-09-12 01:30 121K 
[ ]ordeq_01__l34_ordeq_012025-09-12 03:46 123K 
[ ]ordeq_01__l28_ordeq_012025-09-12 03:41 123K 
[ ]ordeq_01__t10_ordeq_012025-09-12 01:27 124K 
[ ]ordeq_01__l70_ordeq_012025-09-12 04:04 124K 
[ ]ordeq_01__t9_ordeq_012025-09-12 01:24 125K 
[ ]ordeq_01__t32_ordeq_012025-09-12 02:19 126K 
[ ]ordeq_01__t14_ordeq_012025-09-12 01:37 126K 
[ ]ordeq_01__t38_ordeq_012025-09-12 02:36 126K 
[ ]ordeq_01__t19_ordeq_012025-09-12 01:48 128K 
[ ]ordeq_01__t33_ordeq_012025-09-12 02:22 128K 
[ ]ordeq_01__t17_ordeq_012025-09-12 01:05 129K 
[ ]ordeq_01__t18_ordeq_012025-09-12 01:45 130K 
[ ]ordeq_01__t35_ordeq_012025-09-12 02:27 131K 
[ ]ordeq_01__t21_ordeq_012025-09-12 01:53 132K 
[ ]ordeq_01__t53_ordeq_012025-09-12 03:21 132K 
[ ]ordeq_01__t46_ordeq_012025-09-12 03:01 136K 
[ ]ordeq_01__t16_ordeq_012025-09-12 01:43 137K 
[ ]ordeq_01__t37_ordeq_012025-09-12 02:33 138K 
[ ]ordeq_01__l64_ordeq_012025-09-12 04:00 138K 
[ ]ordeq_01__t15_ordeq_012025-09-12 01:40 139K 
[ ]ordeq_01__t34_ordeq_012025-09-12 02:25 141K 
[ ]ordeq_01__t31_ordeq_012025-09-12 02:16 141K 
[ ]ordeq_01__t24_ordeq_012025-09-12 01:59 142K 
[ ]ordeq_01__t26_ordeq_012025-09-12 02:05 143K 
[ ]ordeq_01__l27_ordeq_012025-09-12 03:38 143K 
[ ]ordeq_01__t27_ordeq_012025-09-12 02:08 143K 
[ ]ordeq_01__t20_ordeq_012025-09-12 01:51 143K 
[ ]ordeq_01__t56_ordeq_012025-09-12 03:30 145K 
[ ]ordeq_01__t43_ordeq_012025-09-12 02:53 147K 
[ ]ordeq_01__l63_ordeq_012025-09-12 03:58 148K 
[ ]ordeq_01__t40_ordeq_012025-09-12 02:43 149K 
[ ]ordeq_01__t23_ordeq_012025-09-12 01:56 149K 
[ ]ordeq_01__l26_ordeq_012025-09-12 03:35 155K 
[ ]ordeq_01__t44_ordeq_012025-09-12 02:56 158K 
[ ]ordeq_01__t36_ordeq_012025-09-12 02:30 158K 
[ ]ordeq_01__t41_ordeq_012025-09-12 02:46 159K 
[ ]ordeq_01__t57_ordeq_012025-09-12 03:33 159K 
[ ]ordeq_01__t45_ordeq_012025-09-12 02:59 164K 
[ ]ordeq_01__t54_ordeq_012025-09-12 03:24 165K 
[ ]ordeq_01__t25_ordeq_012025-09-12 02:02 167K 
[ ]ordeq_01__t52_ordeq_012025-09-12 03:18 167K 
[ ]ordeq_01__t55_ordeq_012025-09-12 03:27 168K 
[ ]ordeq_01__t51_ordeq_012025-09-12 03:15 173K 
[ ]ordeq_01__t49_ordeq_012025-09-12 03:09 205K 
[ ]ordeq_01__l62_ordeq_012025-09-12 03:55 213K 
[ ]ordeq_01__t39_ordeq_012025-09-12 02:41 230K 
[ ]ordeq_01__t50_ordeq_012025-09-12 03:12 246K 
[ ]ordeq_01__l31_ordeq_012025-09-12 03:44 270K 
[ ]ordeq_01__t42_ordeq_012025-09-12 02:50 366K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80