Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/ordeq_02

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_02__l1_ordeq_022021-07-18 21:18 30K 
[ ]ordeq_02__l2_ordeq_022021-07-18 21:18 82K 
[ ]ordeq_02__l3_ordeq_022021-07-18 21:43 73K 
[ ]ordeq_02__l11_ordeq_022021-07-18 21:43 86K 
[ ]ordeq_02__l17_ordeq_022021-07-18 21:44 134K 
[ ]ordeq_02__l18_ordeq_022021-07-18 21:44 105K 
[ ]ordeq_02__l19_ordeq_022021-07-18 21:45 94K 
[ ]ordeq_02__l29_ordeq_022021-07-18 21:46 105K 
[ ]ordeq_02__l30_ordeq_022021-07-18 21:46 161K 
[ ]ordeq_02__l31_ordeq_022021-07-18 21:47 128K 
[ ]ordeq_02__l32_ordeq_022021-07-18 21:47 121K 
[ ]ordeq_02__l36_ordeq_022021-07-18 21:48 78K 
[ ]ordeq_02__l37_ordeq_022021-07-18 21:48 107K 
[ ]ordeq_02__t1_ordeq_022021-07-18 21:19 135K 
[ ]ordeq_02__t2_ordeq_022021-07-18 21:20 127K 
[ ]ordeq_02__t3_ordeq_022021-07-18 21:21 170K 
[ ]ordeq_02__t5_ordeq_022021-07-18 21:22 276K 
[ ]ordeq_02__t6_ordeq_022021-07-18 21:23 243K 
[ ]ordeq_02__t7_ordeq_022021-07-18 21:24 184K 
[ ]ordeq_02__t8_ordeq_022021-07-18 21:25 211K 
[ ]ordeq_02__t9_ordeq_022021-07-18 21:25 164K 
[ ]ordeq_02__t10_ordeq_022021-07-18 21:26 151K 
[ ]ordeq_02__t11_ordeq_022021-07-18 21:27 194K 
[ ]ordeq_02__t12_ordeq_022021-07-18 21:28 231K 
[ ]ordeq_02__t13_ordeq_022021-07-18 21:29 269K 
[ ]ordeq_02__t14_ordeq_022021-07-18 21:30 138K 
[ ]ordeq_02__t15_ordeq_022021-07-18 21:30 89K 
[ ]ordeq_02__t16_ordeq_022021-07-18 21:31 82K 
[ ]ordeq_02__t17_ordeq_022021-07-18 21:32 140K 
[ ]ordeq_02__t18_ordeq_022021-07-18 21:32 124K 
[ ]ordeq_02__t19_ordeq_022021-07-18 21:33 103K 
[ ]ordeq_02__t20_ordeq_022021-07-18 21:34 335K 
[ ]ordeq_02__t21_ordeq_022021-07-18 21:35 123K 
[ ]ordeq_02__t22_ordeq_022021-07-18 21:36 184K 
[ ]ordeq_02__t23_ordeq_022021-07-18 21:36 227K 
[ ]ordeq_02__t24_ordeq_022021-07-18 21:37 182K 
[ ]ordeq_02__t25_ordeq_022021-07-18 21:38 177K 
[ ]ordeq_02__t26_ordeq_022021-07-18 21:39 139K 
[ ]ordeq_02__t27_ordeq_022021-07-18 21:40 162K 
[ ]ordeq_02__t28_ordeq_022021-07-18 21:40 162K 
[ ]ordeq_02__t29_ordeq_022021-07-18 21:41 139K 
[ ]ordeq_02__t30_ordeq_022021-07-18 21:42 155K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80