Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/sprect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_3__t1_sprect_32017-01-12 22:04 57K 
[ ]sprect_3__t2_sprect_32017-01-12 22:04 51K 
[ ]sprect_3__t3_sprect_32017-01-12 22:04 79K 
[ ]sprect_3__t4_sprect_32017-01-12 22:04 73K 
[ ]sprect_3__t5_sprect_32017-01-12 22:04 99K 
[ ]sprect_3__t6_sprect_32017-01-12 22:04 111K 
[ ]sprect_3__t7_sprect_32017-01-12 22:04 74K 
[ ]sprect_3__t8_sprect_32017-01-12 22:04 68K 
[ ]sprect_3__t9_sprect_32017-01-12 22:04 78K 
[ ]sprect_3__t10_sprect_32017-01-12 22:04 81K 
[ ]sprect_3__t11_sprect_32017-01-12 22:04 81K 
[ ]sprect_3__t12_sprect_32017-01-12 22:04 62K 
[ ]sprect_3__t13_sprect_32017-01-12 22:04 62K 
[ ]sprect_3__t14_sprect_32017-01-12 22:04 94K 
[ ]sprect_3__t15_sprect_32017-01-12 22:04 92K 
[ ]sprect_3__t16_sprect_32017-01-12 22:04 105K 
[ ]sprect_3__t17_sprect_32017-01-12 22:04 100K 
[ ]sprect_3__t18_sprect_32017-01-12 22:04 64K 
[ ]sprect_3__t19_sprect_32017-01-12 22:04 76K 
[ ]sprect_3__t20_sprect_32017-01-12 22:04 77K 
[ ]sprect_3__t21_sprect_32017-01-12 22:04 135K 
[ ]sprect_3__t22_sprect_32017-01-12 22:04 83K 
[ ]sprect_3__t23_sprect_32017-01-12 22:04 199K 
[ ]sprect_3__t24_sprect_32017-01-12 22:04 64K 
[ ]sprect_3__t25_sprect_32017-01-12 22:04 71K 
[ ]sprect_3__t26_sprect_32017-01-12 22:04 71K 
[ ]sprect_3__t27_sprect_32017-01-12 22:04 113K 
[ ]sprect_3__t28_sprect_32017-01-12 22:04 108K 
[ ]sprect_3__t29_sprect_32017-01-12 22:04 315K 
[ ]sprect_3__t30_sprect_32017-01-12 22:04 127K 
[ ]sprect_3__t31_sprect_32017-01-12 22:04 102K 
[ ]sprect_3__t32_sprect_32017-01-12 22:04 104K 
[ ]sprect_3__t33_sprect_32017-01-12 22:04 92K 
[ ]sprect_3__t34_sprect_32017-01-12 22:04 143K 
[ ]sprect_3__t35_sprect_32017-01-12 22:04 106K 
[ ]sprect_3__t36_sprect_32017-01-12 22:04 176K 
[ ]sprect_3__t37_sprect_32017-01-12 22:04 385K 
[ ]sprect_3__t38_sprect_32017-01-12 22:04 248K 
[ ]sprect_3__t39_sprect_32017-01-12 22:04 248K 
[ ]sprect_3__t40_sprect_32017-01-12 22:04 83K 
[ ]sprect_3__t41_sprect_32017-01-12 22:04 345K 
[ ]sprect_3__t42_sprect_32017-01-12 22:04 89K 
[ ]sprect_3__t43_sprect_32017-01-12 22:04 121K 
[ ]sprect_3__t44_sprect_32017-01-12 22:04 136K 
[ ]sprect_3__t45_sprect_32017-01-12 22:04 87K 
[ ]sprect_3__t46_sprect_32017-01-12 22:04 95K 
[ ]sprect_3__t47_sprect_32017-01-12 22:04 136K 
[ ]sprect_3__t48_sprect_32017-01-12 22:04 100K 
[ ]sprect_3__t49_sprect_32017-01-12 22:04 100K 
[ ]sprect_3__t50_sprect_32017-01-12 22:04 104K 
[ ]sprect_3__t51_sprect_32017-01-12 22:04 164K 
[ ]sprect_3__t52_sprect_32017-01-12 22:04 81K 
[ ]sprect_3__t53_sprect_32017-01-12 22:04 86K 
[ ]sprect_3__t54_sprect_32017-01-12 22:04 176K 
[ ]sprect_3__t55_sprect_32017-01-12 22:04 105K 
[ ]sprect_3__t56_sprect_32017-01-12 22:04 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80