Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/sprect_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_1__t1_sprect_12017-01-13 19:04 37K 
[ ]sprect_1__t2_sprect_12017-01-13 19:04 57K 
[ ]sprect_1__t3_sprect_12017-01-13 19:04 60K 
[ ]sprect_1__t4_sprect_12017-01-13 19:04 51K 
[ ]sprect_1__t5_sprect_12017-01-13 19:04 45K 
[ ]sprect_1__t6_sprect_12017-01-13 19:04 50K 
[ ]sprect_1__t7_sprect_12017-01-13 19:04 51K 
[ ]sprect_1__t8_sprect_12017-01-13 19:04 107K 
[ ]sprect_1__t9_sprect_12017-01-13 19:04 62K 
[ ]sprect_1__t10_sprect_12017-01-13 19:04 62K 
[ ]sprect_1__t11_sprect_12017-01-13 19:04 111K 
[ ]sprect_1__t12_sprect_12017-01-13 19:04 111K 
[ ]sprect_1__t13_sprect_12017-01-13 19:04 111K 
[ ]sprect_1__t14_sprect_12017-01-13 19:04 111K 
[ ]sprect_1__t15_sprect_12017-01-13 19:04 117K 
[ ]sprect_1__t16_sprect_12017-01-13 19:04 117K 
[ ]sprect_1__t17_sprect_12017-01-13 19:04 86K 
[ ]sprect_1__t18_sprect_12017-01-13 19:04 86K 
[ ]sprect_1__t19_sprect_12017-01-13 19:04 86K 
[ ]sprect_1__t20_sprect_12017-01-13 19:04 86K 
[ ]sprect_1__t21_sprect_12017-01-13 19:04 114K 
[ ]sprect_1__t22_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t23_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t24_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t25_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t26_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t27_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t28_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t29_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t30_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t31_sprect_12017-01-13 19:05 85K 
[ ]sprect_1__t32_sprect_12017-01-13 19:05 85K 
[ ]sprect_1__t33_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t34_sprect_12017-01-13 19:05 114K 
[ ]sprect_1__t35_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t36_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t37_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t38_sprect_12017-01-13 19:05 113K 
[ ]sprect_1__t39_sprect_12017-01-13 19:05 112K 
[ ]sprect_1__t40_sprect_12017-01-13 19:05 104K 
[ ]sprect_1__t41_sprect_12017-01-13 19:05 132K 
[ ]sprect_1__t42_sprect_12017-01-13 19:05 131K 
[ ]sprect_1__t43_sprect_12017-01-13 19:05 84K 
[ ]sprect_1__t44_sprect_12017-01-13 19:05 84K 
[ ]sprect_1__t45_sprect_12017-01-13 19:05 84K 
[ ]sprect_1__t46_sprect_12017-01-13 19:05 84K 
[ ]sprect_1__t47_sprect_12017-01-13 19:05 88K 
[ ]sprect_1__t48_sprect_12017-01-13 19:05 88K 
[ ]sprect_1__t49_sprect_12017-01-13 19:05 88K 
[ ]sprect_1__t50_sprect_12017-01-13 19:05 88K 
[ ]sprect_1__t51_sprect_12017-01-13 19:05 85K 
[ ]sprect_1__t52_sprect_12017-01-13 19:05 113K 
[ ]sprect_1__t53_sprect_12017-01-13 19:05 113K 
[ ]sprect_1__t54_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t55_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t56_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t57_sprect_12017-01-13 19:05 103K 
[ ]sprect_1__t58_sprect_12017-01-13 19:05 131K 
[ ]sprect_1__t59_sprect_12017-01-13 19:05 131K 
[ ]sprect_1__t60_sprect_12017-01-13 19:05 131K 
[ ]sprect_1__t61_sprect_12017-01-13 19:05 131K 
[ ]sprect_1__t62_sprect_12017-01-13 19:05 109K 
[ ]sprect_1__t63_sprect_12017-01-13 19:05 109K 
[ ]sprect_1__t64_sprect_12017-01-13 19:05 109K 
[ ]sprect_1__t65_sprect_12017-01-13 19:05 109K 
[ ]sprect_1__t66_sprect_12017-01-13 19:05 135K 
[ ]sprect_1__t67_sprect_12017-01-13 19:05 135K 
[ ]sprect_1__t68_sprect_12017-01-13 19:05 135K 
[ ]sprect_1__t69_sprect_12017-01-13 19:05 135K 
[ ]sprect_1__t70_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t71_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t72_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t73_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t74_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t75_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t76_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t77_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t78_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t79_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t80_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t81_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t82_sprect_12017-01-13 19:05 106K 
[ ]sprect_1__t83_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t84_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t85_sprect_12017-01-13 19:05 137K 
[ ]sprect_1__t86_sprect_12017-01-13 19:05 140K 
[ ]sprect_1__t87_sprect_12017-01-13 19:05 68K 
[ ]sprect_1__t88_sprect_12017-01-13 19:05 94K 
[ ]sprect_1__t89_sprect_12017-01-13 19:05 69K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80