Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/bagorder

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bagorder__l52_bagorder2017-01-13 17:57 150K 
[ ]bagorder__t1_bagorder2017-01-13 17:56 91K 
[ ]bagorder__t2_bagorder2017-01-13 17:56 125K 
[ ]bagorder__t4_bagorder2017-01-13 17:56 132K 
[ ]bagorder__t5_bagorder2017-01-13 17:56 127K 
[ ]bagorder__t6_bagorder2017-01-13 17:56 110K 
[ ]bagorder__t7_bagorder2017-01-13 17:56 110K 
[ ]bagorder__t8_bagorder2017-01-13 17:56 128K 
[ ]bagorder__t9_bagorder2017-01-13 17:56 126K 
[ ]bagorder__t10_bagorder2017-01-13 17:56 138K 
[ ]bagorder__t11_bagorder2017-01-13 17:56 131K 
[ ]bagorder__t12_bagorder2017-01-13 17:56 220K 
[ ]bagorder__t13_bagorder2017-01-13 17:56 212K 
[ ]bagorder__t14_bagorder2017-01-13 17:56 112K 
[ ]bagorder__t15_bagorder2017-01-13 17:56 180K 
[ ]bagorder__t16_bagorder2017-01-13 17:56 116K 
[ ]bagorder__t17_bagorder2017-01-13 17:56 142K 
[ ]bagorder__t18_bagorder2017-01-13 17:56 88K 
[ ]bagorder__t19_bagorder2017-01-13 17:56 92K 
[ ]bagorder__t20_bagorder2017-01-13 17:56 96K 
[ ]bagorder__t21_bagorder2017-01-13 17:56 92K 
[ ]bagorder__t22_bagorder2017-01-13 17:56 171K 
[ ]bagorder__t23_bagorder2017-01-13 17:56 187K 
[ ]bagorder__t24_bagorder2017-01-13 17:56 210K 
[ ]bagorder__t25_bagorder2017-01-13 17:56 206K 
[ ]bagorder__t26_bagorder2017-01-13 17:56 162K 
[ ]bagorder__t27_bagorder2017-01-13 17:56 118K 
[ ]bagorder__t28_bagorder2017-01-13 17:56 246K 
[ ]bagorder__t29_bagorder2017-01-13 17:56 117K 
[ ]bagorder__t30_bagorder2017-01-13 17:56 141K 
[ ]bagorder__t31_bagorder2017-01-13 17:56 150K 
[ ]bagorder__t32_bagorder2017-01-13 17:56 137K 
[ ]bagorder__t33_bagorder2017-01-13 17:56 150K 
[ ]bagorder__t34_bagorder2017-01-13 17:56 206K 
[ ]bagorder__t35_bagorder2017-01-13 17:56 165K 
[ ]bagorder__t36_bagorder2017-01-13 17:56 131K 
[ ]bagorder__t37_bagorder2017-01-13 17:56 99K 
[ ]bagorder__t38_bagorder2017-01-13 17:56 193K 
[ ]bagorder__t39_bagorder2017-01-13 17:56 140K 
[ ]bagorder__t40_bagorder2017-01-13 17:56 126K 
[ ]bagorder__t41_bagorder2017-01-13 17:56 208K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80