Index of /~mptp/1147/MPTP2/problems_thf_tls1/sprect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_3__t1_sprect_32017-01-13 19:24 58K 
[ ]sprect_3__t2_sprect_32017-01-13 19:24 51K 
[ ]sprect_3__t3_sprect_32017-01-13 19:24 79K 
[ ]sprect_3__t4_sprect_32017-01-13 19:24 73K 
[ ]sprect_3__t5_sprect_32017-01-13 19:24 102K 
[ ]sprect_3__t6_sprect_32017-01-13 19:24 113K 
[ ]sprect_3__t7_sprect_32017-01-13 19:24 74K 
[ ]sprect_3__t8_sprect_32017-01-13 19:24 69K 
[ ]sprect_3__t9_sprect_32017-01-13 19:24 78K 
[ ]sprect_3__t10_sprect_32017-01-13 19:24 81K 
[ ]sprect_3__t11_sprect_32017-01-13 19:24 81K 
[ ]sprect_3__t12_sprect_32017-01-13 19:24 62K 
[ ]sprect_3__t13_sprect_32017-01-13 19:24 62K 
[ ]sprect_3__t14_sprect_32017-01-13 19:24 94K 
[ ]sprect_3__t15_sprect_32017-01-13 19:24 93K 
[ ]sprect_3__t16_sprect_32017-01-13 19:24 105K 
[ ]sprect_3__t17_sprect_32017-01-13 19:24 102K 
[ ]sprect_3__t18_sprect_32017-01-13 19:24 64K 
[ ]sprect_3__t19_sprect_32017-01-13 19:24 77K 
[ ]sprect_3__t20_sprect_32017-01-13 19:24 78K 
[ ]sprect_3__t21_sprect_32017-01-13 19:25 136K 
[ ]sprect_3__t22_sprect_32017-01-13 19:25 84K 
[ ]sprect_3__t23_sprect_32017-01-13 19:25 207K 
[ ]sprect_3__t24_sprect_32017-01-13 19:25 65K 
[ ]sprect_3__t25_sprect_32017-01-13 19:25 71K 
[ ]sprect_3__t26_sprect_32017-01-13 19:25 71K 
[ ]sprect_3__t27_sprect_32017-01-13 19:25 113K 
[ ]sprect_3__t28_sprect_32017-01-13 19:25 109K 
[ ]sprect_3__t29_sprect_32017-01-13 19:25 330K 
[ ]sprect_3__t30_sprect_32017-01-13 19:25 130K 
[ ]sprect_3__t31_sprect_32017-01-13 19:25 103K 
[ ]sprect_3__t32_sprect_32017-01-13 19:25 105K 
[ ]sprect_3__t33_sprect_32017-01-13 19:25 92K 
[ ]sprect_3__t34_sprect_32017-01-13 19:25 145K 
[ ]sprect_3__t35_sprect_32017-01-13 19:25 107K 
[ ]sprect_3__t36_sprect_32017-01-13 19:25 179K 
[ ]sprect_3__t37_sprect_32017-01-13 19:25 404K 
[ ]sprect_3__t38_sprect_32017-01-13 19:25 257K 
[ ]sprect_3__t39_sprect_32017-01-13 19:25 257K 
[ ]sprect_3__t40_sprect_32017-01-13 19:25 84K 
[ ]sprect_3__t41_sprect_32017-01-13 19:25 361K 
[ ]sprect_3__t42_sprect_32017-01-13 19:25 90K 
[ ]sprect_3__t43_sprect_32017-01-13 19:25 122K 
[ ]sprect_3__t44_sprect_32017-01-13 19:25 138K 
[ ]sprect_3__t45_sprect_32017-01-13 19:25 88K 
[ ]sprect_3__t46_sprect_32017-01-13 19:25 96K 
[ ]sprect_3__t47_sprect_32017-01-13 19:25 137K 
[ ]sprect_3__t48_sprect_32017-01-13 19:25 100K 
[ ]sprect_3__t49_sprect_32017-01-13 19:25 101K 
[ ]sprect_3__t50_sprect_32017-01-13 19:25 106K 
[ ]sprect_3__t51_sprect_32017-01-13 19:25 170K 
[ ]sprect_3__t52_sprect_32017-01-13 19:25 81K 
[ ]sprect_3__t53_sprect_32017-01-13 19:25 86K 
[ ]sprect_3__t54_sprect_32017-01-13 19:25 179K 
[ ]sprect_3__t55_sprect_32017-01-13 19:25 106K 
[ ]sprect_3__t56_sprect_32017-01-13 19:25 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80