Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/simplex0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]simplex0__l2_simplex02017-01-05 20:54 30K 
[ ]simplex0__l26_simplex02016-03-08 13:09 31K 
[ ]simplex0__l27_simplex02016-03-08 13:09 30K 
[ ]simplex0__l28_simplex02016-03-08 13:09 30K 
[ ]simplex0__l29_simplex02016-03-08 13:09 32K 
[ ]simplex0__l30_simplex02016-03-08 13:09 31K 
[ ]simplex0__l70_simplex02016-03-08 13:09 82K 
[ ]simplex0__t1_simplex02016-03-08 13:09 29K 
[ ]simplex0__t2_simplex02017-01-05 20:54 30K 
[ ]simplex0__t3_simplex02016-03-08 13:09 29K 
[ ]simplex0__t4_simplex02016-03-08 13:09 31K 
[ ]simplex0__t5_simplex02016-03-08 13:09 31K 
[ ]simplex0__t6_simplex02016-03-08 13:09 30K 
[ ]simplex0__t7_simplex02016-03-08 13:09 30K 
[ ]simplex0__t8_simplex02016-03-08 13:09 29K 
[ ]simplex0__t9_simplex02016-03-08 13:09 30K 
[ ]simplex0__t10_simplex02016-03-08 13:09 55K 
[ ]simplex0__t11_simplex02016-03-08 13:09 33K 
[ ]simplex0__t12_simplex02016-03-08 13:09 60K 
[ ]simplex0__t13_simplex02016-03-08 13:09 58K 
[ ]simplex0__t14_simplex02016-03-08 13:09 30K 
[ ]simplex0__t15_simplex02016-03-08 13:09 32K 
[ ]simplex0__t16_simplex02016-03-08 13:09 30K 
[ ]simplex0__t17_simplex02016-03-08 13:09 29K 
[ ]simplex0__t18_simplex02016-03-08 13:09 30K 
[ ]simplex0__t19_simplex02016-03-08 13:09 47K 
[ ]simplex0__t20_simplex02016-03-08 13:09 33K 
[ ]simplex0__t21_simplex02016-03-08 13:09 42K 
[ ]simplex0__t22_simplex02016-03-08 13:09 52K 
[ ]simplex0__t23_simplex02016-03-08 13:09 58K 
[ ]simplex0__t24_simplex02016-03-08 13:09 49K 
[ ]simplex0__t25_simplex02016-03-08 13:09 77K 
[ ]simplex0__t26_simplex02016-03-08 13:09 89K 
[ ]simplex0__t27_simplex02016-03-08 13:09 31K 
[ ]simplex0__t28_simplex02016-03-08 13:09 46K 
[ ]simplex0__t29_simplex02016-03-08 13:09 45K 
[ ]simplex0__t30_simplex02016-03-08 13:09 46K 
[ ]simplex0__t31_simplex02016-03-08 13:09 32K 
[ ]simplex0__t32_simplex02016-03-08 13:09 58K 
[ ]simplex0__t33_simplex02016-03-08 13:09 35K 
[ ]simplex0__t34_simplex02016-03-08 13:09 32K 
[ ]simplex0__t35_simplex02016-03-08 13:09 35K 
[ ]simplex0__t36_simplex02016-03-08 13:09 42K 
[ ]simplex0__t37_simplex02016-03-08 13:09 43K 
[ ]simplex0__t38_simplex02016-03-08 13:09 39K 
[ ]simplex0__t39_simplex02016-03-08 13:09 43K 
[ ]simplex0__t40_simplex02016-03-08 13:09 43K 
[ ]simplex0__t41_simplex02016-03-08 13:09 92K 
[ ]simplex0__t42_simplex02016-03-08 13:09 81K 
[ ]simplex0__t43_simplex02016-03-08 13:09 91K 
[ ]simplex0__t44_simplex02016-03-08 13:09 90K 
[ ]simplex0__t45_simplex02016-03-08 13:09 91K 
[ ]simplex0__t46_simplex02016-03-08 13:09 93K 
[ ]simplex0__t47_simplex02016-03-08 13:09 51K 
[ ]simplex0__t48_simplex02016-03-08 13:09 76K 
[ ]simplex0__t49_simplex02016-03-08 13:09 76K 
[ ]simplex0__t50_simplex02016-03-08 13:09 95K 
[ ]simplex0__t51_simplex02016-03-08 13:09 100K 
[ ]simplex0__t52_simplex02016-03-08 13:09 83K 
[ ]simplex0__t53_simplex02016-03-08 13:09 106K 
[ ]simplex0__t54_simplex02016-03-08 13:09 61K 
[ ]simplex0__t55_simplex02016-03-08 13:09 62K 
[ ]simplex0__t56_simplex02016-03-08 13:09 57K 
[ ]simplex0__t57_simplex02016-03-08 13:09 55K 
[ ]simplex0__t58_simplex02016-03-08 13:09 49K 
[ ]simplex0__t59_simplex02016-03-08 13:09 55K 
[ ]simplex0__t60_simplex02016-03-08 13:09 46K 
[ ]simplex0__t61_simplex02016-03-08 13:09 49K 
[ ]simplex0__t62_simplex02016-03-08 13:09 50K 
[ ]simplex0__t63_simplex02016-03-08 13:09 54K 
[ ]simplex0__t64_simplex02016-03-08 13:09 51K 
[ ]simplex0__t65_simplex02016-03-08 13:09 50K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80