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

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