Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/toprealc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]toprealc__l22_toprealc2017-01-05 20:54 60K 
[ ]toprealc__t1_toprealc2016-03-08 13:10 51K 
[ ]toprealc__t2_toprealc2016-03-08 13:10 71K 
[ ]toprealc__t3_toprealc2016-03-08 13:10 67K 
[ ]toprealc__t4_toprealc2016-03-08 13:10 88K 
[ ]toprealc__t5_toprealc2016-03-08 13:10 72K 
[ ]toprealc__t6_toprealc2016-03-08 13:10 112K 
[ ]toprealc__t7_toprealc2016-03-08 13:10 112K 
[ ]toprealc__t8_toprealc2016-03-08 13:10 83K 
[ ]toprealc__t9_toprealc2016-03-08 13:10 99K 
[ ]toprealc__t10_toprealc2016-03-08 13:10 87K 
[ ]toprealc__t11_toprealc2017-01-05 20:54 186K 
[ ]toprealc__t12_toprealc2017-01-05 20:54 134K 
[ ]toprealc__t13_toprealc2017-01-05 20:54 137K 
[ ]toprealc__t14_toprealc2017-01-05 20:54 114K 
[ ]toprealc__t15_toprealc2017-01-05 20:54 177K 
[ ]toprealc__t16_toprealc2017-01-05 20:54 153K 
[ ]toprealc__t17_toprealc2017-01-05 20:54 157K 
[ ]toprealc__t18_toprealc2016-03-08 13:10 111K 
[ ]toprealc__t19_toprealc2016-03-08 13:10 54K 
[ ]toprealc__t20_toprealc2016-03-08 13:10 105K 
[ ]toprealc__t21_toprealc2016-03-08 13:10 111K 
[ ]toprealc__t22_toprealc2016-03-08 13:10 80K 
[ ]toprealc__t23_toprealc2016-03-08 13:10 162K 
[ ]toprealc__t24_toprealc2016-03-08 13:10 54K 
[ ]toprealc__t25_toprealc2017-01-05 20:54 139K 
[ ]toprealc__t26_toprealc2017-01-05 20:54 225K 
[ ]toprealc__t27_toprealc2016-03-08 13:10 55K 
[ ]toprealc__t28_toprealc2016-03-08 13:10 57K 
[ ]toprealc__t29_toprealc2017-01-05 20:54 94K 
[ ]toprealc__t30_toprealc2017-01-05 20:54 120K 
[ ]toprealc__t31_toprealc2017-01-05 20:54 98K 
[ ]toprealc__t32_toprealc2017-01-05 20:54 117K 
[ ]toprealc__t33_toprealc2017-01-05 20:54 117K 
[ ]toprealc__t34_toprealc2016-03-08 13:10 116K 
[ ]toprealc__t35_toprealc2017-01-05 20:54 96K 
[ ]toprealc__t36_toprealc2017-01-05 20:54 84K 
[ ]toprealc__t37_toprealc2017-01-05 20:54 97K 
[ ]toprealc__t38_toprealc2017-01-05 20:54 84K 
[ ]toprealc__t39_toprealc2017-01-05 20:54 122K 
[ ]toprealc__t40_toprealc2017-01-05 20:54 149K 
[ ]toprealc__t41_toprealc2017-01-05 20:54 106K 
[ ]toprealc__t42_toprealc2017-01-05 20:54 116K 
[ ]toprealc__t43_toprealc2017-01-05 20:54 109K 
[ ]toprealc__t44_toprealc2017-01-05 20:54 129K 
[ ]toprealc__t45_toprealc2017-01-05 20:54 109K 
[ ]toprealc__t46_toprealc2017-01-05 20:54 126K 
[ ]toprealc__t47_toprealc2017-01-05 20:54 102K 
[ ]toprealc__t48_toprealc2016-03-08 13:10 99K 
[ ]toprealc__t49_toprealc2017-01-05 20:54 153K 
[ ]toprealc__t50_toprealc2017-01-05 20:54 189K 
[ ]toprealc__t51_toprealc2017-01-05 20:54 141K 
[ ]toprealc__t52_toprealc2017-01-05 20:54 172K 
[ ]toprealc__t53_toprealc2016-03-08 13:10 106K 
[ ]toprealc__t54_toprealc2017-01-05 20:54 139K 
[ ]toprealc__t55_toprealc2017-01-05 20:54 268K 
[ ]toprealc__t56_toprealc2017-01-05 20:54 141K 
[ ]toprealc__t57_toprealc2017-01-05 20:54 99K 
[ ]toprealc__t58_toprealc2017-01-05 20:54 114K 
[ ]toprealc__t59_toprealc2016-03-08 13:10 126K 
[ ]toprealc__t60_toprealc2016-03-08 13:10 165K 
[ ]toprealc__t61_toprealc2016-03-08 13:10 115K 
[ ]toprealc__t62_toprealc2016-03-08 13:10 129K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80