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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]simplex1__l30_simplex12016-03-08 13:09 36K 
[ ]simplex1__l46_simplex12016-03-08 13:09 135K 
[ ]simplex1__t1_simplex12016-03-08 13:09 79K 
[ ]simplex1__t2_simplex12016-03-08 13:09 277K 
[ ]simplex1__t3_simplex12016-03-08 13:09 49K 
[ ]simplex1__t4_simplex12016-03-08 13:09 45K 
[ ]simplex1__t5_simplex12016-03-08 13:09 45K 
[ ]simplex1__t6_simplex12017-01-05 20:54 55K 
[ ]simplex1__t7_simplex12016-03-08 13:09 49K 
[ ]simplex1__t8_simplex12016-03-08 13:09 55K 
[ ]simplex1__t9_simplex12016-03-08 13:09 59K 
[ ]simplex1__t10_simplex12016-03-08 13:09 46K 
[ ]simplex1__t11_simplex12016-03-08 13:09 45K 
[ ]simplex1__t12_simplex12016-03-08 13:09 55K 
[ ]simplex1__t13_simplex12017-01-05 20:54 75K 
[ ]simplex1__t14_simplex12016-03-08 13:09 46K 
[ ]simplex1__t15_simplex12016-03-08 13:09 119K 
[ ]simplex1__t16_simplex12016-03-08 13:09 64K 
[ ]simplex1__t17_simplex12016-03-08 13:09 70K 
[ ]simplex1__t18_simplex12016-03-08 13:09 64K 
[ ]simplex1__t19_simplex12016-03-08 13:09 52K 
[ ]simplex1__t20_simplex12016-03-08 13:09 72K 
[ ]simplex1__t21_simplex12016-03-08 13:09 119K 
[ ]simplex1__t22_simplex12016-03-08 13:09 83K 
[ ]simplex1__t23_simplex12016-03-08 13:09 66K 
[ ]simplex1__t24_simplex12016-03-08 13:09 91K 
[ ]simplex1__t25_simplex12017-01-05 20:54 60K 
[ ]simplex1__t26_simplex12017-01-05 20:54 55K 
[ ]simplex1__t27_simplex12017-01-05 20:54 70K 
[ ]simplex1__t28_simplex12016-03-08 13:09 81K 
[ ]simplex1__t29_simplex12017-01-05 20:54 153K 
[ ]simplex1__t30_simplex12016-03-08 13:09 115K 
[ ]simplex1__t31_simplex12016-03-08 13:09 83K 
[ ]simplex1__t32_simplex12016-03-08 13:09 62K 
[ ]simplex1__t33_simplex12016-03-08 13:09 85K 
[ ]simplex1__t34_simplex12016-03-08 13:09 98K 
[ ]simplex1__t35_simplex12016-03-08 13:09 166K 
[ ]simplex1__t36_simplex12016-03-08 13:09 165K 
[ ]simplex1__t37_simplex12016-03-08 13:09 108K 
[ ]simplex1__t38_simplex12017-01-05 20:54 115K 
[ ]simplex1__t39_simplex12017-01-05 20:54 257K 
[ ]simplex1__t40_simplex12016-03-08 13:09 102K 
[ ]simplex1__t41_simplex12016-03-08 13:09 156K 
[ ]simplex1__t42_simplex12017-01-05 20:54 155K 
[ ]simplex1__t43_simplex12017-01-05 20:54 148K 
[ ]simplex1__t44_simplex12017-01-05 20:54 375K 
[ ]simplex1__t45_simplex12017-01-05 20:54 179K 
[ ]simplex1__t46_simplex12017-01-05 20:54 468K 
[ ]simplex1__t47_simplex12017-01-05 20:54 110K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80