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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_3__t1_sprect_32016-03-08 13:09 57K 
[ ]sprect_3__t2_sprect_32016-03-08 13:09 51K 
[ ]sprect_3__t3_sprect_32016-03-08 13:09 79K 
[ ]sprect_3__t4_sprect_32016-03-08 13:09 73K 
[ ]sprect_3__t5_sprect_32016-03-08 13:09 99K 
[ ]sprect_3__t6_sprect_32017-01-05 20:54 111K 
[ ]sprect_3__t7_sprect_32017-01-05 20:54 74K 
[ ]sprect_3__t8_sprect_32016-03-08 13:09 68K 
[ ]sprect_3__t9_sprect_32017-01-05 20:54 78K 
[ ]sprect_3__t10_sprect_32017-01-05 20:54 81K 
[ ]sprect_3__t11_sprect_32017-01-05 20:54 81K 
[ ]sprect_3__t12_sprect_32016-03-08 13:09 62K 
[ ]sprect_3__t13_sprect_32016-03-08 13:09 62K 
[ ]sprect_3__t14_sprect_32017-01-05 20:54 94K 
[ ]sprect_3__t15_sprect_32017-01-05 20:54 92K 
[ ]sprect_3__t16_sprect_32017-01-05 20:54 105K 
[ ]sprect_3__t17_sprect_32016-03-08 13:09 100K 
[ ]sprect_3__t18_sprect_32016-03-08 13:09 64K 
[ ]sprect_3__t19_sprect_32017-01-05 20:54 76K 
[ ]sprect_3__t20_sprect_32017-01-05 20:54 77K 
[ ]sprect_3__t21_sprect_32017-01-05 20:54 135K 
[ ]sprect_3__t22_sprect_32016-03-08 13:09 83K 
[ ]sprect_3__t23_sprect_32017-01-05 20:54 199K 
[ ]sprect_3__t24_sprect_32016-03-08 13:09 64K 
[ ]sprect_3__t25_sprect_32016-03-08 13:09 71K 
[ ]sprect_3__t26_sprect_32016-03-08 13:09 71K 
[ ]sprect_3__t27_sprect_32017-01-05 20:54 113K 
[ ]sprect_3__t28_sprect_32017-01-05 20:54 108K 
[ ]sprect_3__t29_sprect_32017-01-05 20:54 315K 
[ ]sprect_3__t30_sprect_32016-03-08 13:09 127K 
[ ]sprect_3__t31_sprect_32017-01-05 20:54 102K 
[ ]sprect_3__t32_sprect_32017-01-05 20:54 104K 
[ ]sprect_3__t33_sprect_32016-03-08 13:09 92K 
[ ]sprect_3__t34_sprect_32017-01-05 20:54 143K 
[ ]sprect_3__t35_sprect_32017-01-05 20:54 106K 
[ ]sprect_3__t36_sprect_32017-01-05 20:54 176K 
[ ]sprect_3__t37_sprect_32017-01-05 20:54 385K 
[ ]sprect_3__t38_sprect_32017-01-05 20:54 248K 
[ ]sprect_3__t39_sprect_32017-01-05 20:54 248K 
[ ]sprect_3__t40_sprect_32017-01-05 20:54 83K 
[ ]sprect_3__t41_sprect_32017-01-05 20:54 345K 
[ ]sprect_3__t42_sprect_32016-03-08 13:09 89K 
[ ]sprect_3__t43_sprect_32017-01-05 20:54 121K 
[ ]sprect_3__t44_sprect_32016-03-08 13:09 136K 
[ ]sprect_3__t45_sprect_32016-03-08 13:09 87K 
[ ]sprect_3__t46_sprect_32017-01-05 20:54 95K 
[ ]sprect_3__t47_sprect_32017-01-05 20:54 136K 
[ ]sprect_3__t48_sprect_32017-01-05 20:54 100K 
[ ]sprect_3__t49_sprect_32016-03-08 13:09 100K 
[ ]sprect_3__t50_sprect_32016-03-08 13:09 104K 
[ ]sprect_3__t51_sprect_32016-03-08 13:09 164K 
[ ]sprect_3__t52_sprect_32016-03-08 13:09 81K 
[ ]sprect_3__t53_sprect_32016-03-08 13:09 86K 
[ ]sprect_3__t54_sprect_32017-01-05 20:54 176K 
[ ]sprect_3__t55_sprect_32017-01-05 20:54 105K 
[ ]sprect_3__t56_sprect_32016-03-08 13:09 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80