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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__l75_pre_poly2017-01-13 19:20 58K 
[ ]pre_poly__l76_pre_poly2017-01-13 19:20 61K 
[ ]pre_poly__l77_pre_poly2017-01-13 19:20 59K 
[ ]pre_poly__l78_pre_poly2017-01-13 19:20 60K 
[ ]pre_poly__s1_pre_poly2017-01-13 19:20 48K 
[ ]pre_poly__s2_pre_poly2017-01-13 19:20 50K 
[ ]pre_poly__t1_pre_poly2017-01-13 19:20 69K 
[ ]pre_poly__t2_pre_poly2017-01-13 19:20 71K 
[ ]pre_poly__t3_pre_poly2017-01-13 19:20 76K 
[ ]pre_poly__t4_pre_poly2017-01-13 19:20 70K 
[ ]pre_poly__t5_pre_poly2017-01-13 19:20 70K 
[ ]pre_poly__t6_pre_poly2017-01-13 19:20 60K 
[ ]pre_poly__t7_pre_poly2017-01-13 19:20 50K 
[ ]pre_poly__t8_pre_poly2017-01-13 19:20 61K 
[ ]pre_poly__t9_pre_poly2017-01-13 19:20 79K 
[ ]pre_poly__t10_pre_poly2017-01-13 19:20 72K 
[ ]pre_poly__t11_pre_poly2017-01-13 19:20 76K 
[ ]pre_poly__t12_pre_poly2017-01-13 19:20 57K 
[ ]pre_poly__t13_pre_poly2017-01-13 19:20 93K 
[ ]pre_poly__t14_pre_poly2017-01-13 19:20 48K 
[ ]pre_poly__t15_pre_poly2017-01-13 19:20 45K 
[ ]pre_poly__t16_pre_poly2017-01-13 19:20 56K 
[ ]pre_poly__t17_pre_poly2017-01-13 19:20 48K 
[ ]pre_poly__t18_pre_poly2017-01-13 19:20 63K 
[ ]pre_poly__t19_pre_poly2017-01-13 19:20 46K 
[ ]pre_poly__t20_pre_poly2017-01-13 19:20 81K 
[ ]pre_poly__t21_pre_poly2017-01-13 19:20 81K 
[ ]pre_poly__t22_pre_poly2017-01-13 19:20 48K 
[ ]pre_poly__t23_pre_poly2017-01-13 19:20 59K 
[ ]pre_poly__t24_pre_poly2017-01-13 19:20 57K 
[ ]pre_poly__t25_pre_poly2017-01-13 19:20 89K 
[ ]pre_poly__t26_pre_poly2017-01-13 19:20 48K 
[ ]pre_poly__t27_pre_poly2017-01-13 19:20 72K 
[ ]pre_poly__t28_pre_poly2017-01-13 19:20 58K 
[ ]pre_poly__t29_pre_poly2017-01-13 19:20 122K 
[ ]pre_poly__t30_pre_poly2017-01-13 19:20 94K 
[ ]pre_poly__t31_pre_poly2017-01-13 19:20 93K 
[ ]pre_poly__t32_pre_poly2017-01-13 19:20 120K 
[ ]pre_poly__t33_pre_poly2017-01-13 19:20 65K 
[ ]pre_poly__t34_pre_poly2017-01-13 19:20 54K 
[ ]pre_poly__t35_pre_poly2017-01-13 19:20 56K 
[ ]pre_poly__t36_pre_poly2017-01-13 19:20 60K 
[ ]pre_poly__t37_pre_poly2017-01-13 19:20 49K 
[ ]pre_poly__t38_pre_poly2017-01-13 19:20 71K 
[ ]pre_poly__t39_pre_poly2017-01-13 19:20 51K 
[ ]pre_poly__t40_pre_poly2017-01-13 19:20 68K 
[ ]pre_poly__t41_pre_poly2017-01-13 19:20 53K 
[ ]pre_poly__t42_pre_poly2017-01-13 19:20 8.6K 
[ ]pre_poly__t43_pre_poly2017-01-13 19:20 8.6K 
[ ]pre_poly__t44_pre_poly2017-01-13 19:20 8.6K 
[ ]pre_poly__t45_pre_poly2017-01-13 19:20 52K 
[ ]pre_poly__t46_pre_poly2017-01-13 19:20 54K 
[ ]pre_poly__t47_pre_poly2017-01-13 19:20 66K 
[ ]pre_poly__t48_pre_poly2017-01-13 19:20 62K 
[ ]pre_poly__t49_pre_poly2017-01-13 19:20 53K 
[ ]pre_poly__t50_pre_poly2017-01-13 19:20 69K 
[ ]pre_poly__t51_pre_poly2017-01-13 19:20 50K 
[ ]pre_poly__t52_pre_poly2017-01-13 19:20 71K 
[ ]pre_poly__t53_pre_poly2017-01-13 19:20 74K 
[ ]pre_poly__t54_pre_poly2017-01-13 19:20 66K 
[ ]pre_poly__t55_pre_poly2017-01-13 19:20 69K 
[ ]pre_poly__t56_pre_poly2017-01-13 19:20 66K 
[ ]pre_poly__t57_pre_poly2017-01-13 19:20 70K 
[ ]pre_poly__t58_pre_poly2017-01-13 19:20 66K 
[ ]pre_poly__t59_pre_poly2017-01-13 19:20 64K 
[ ]pre_poly__t60_pre_poly2017-01-13 19:20 59K 
[ ]pre_poly__t61_pre_poly2017-01-13 19:20 57K 
[ ]pre_poly__t62_pre_poly2017-01-13 19:20 70K 
[ ]pre_poly__t63_pre_poly2017-01-13 19:20 172K 
[ ]pre_poly__t64_pre_poly2017-01-13 19:20 80K 
[ ]pre_poly__t65_pre_poly2017-01-13 19:20 80K 
[ ]pre_poly__t66_pre_poly2017-01-13 19:20 76K 
[ ]pre_poly__t67_pre_poly2017-01-13 19:20 94K 
[ ]pre_poly__t68_pre_poly2017-01-13 19:20 83K 
[ ]pre_poly__t69_pre_poly2017-01-13 19:20 105K 
[ ]pre_poly__t70_pre_poly2017-01-13 19:20 74K 
[ ]pre_poly__t71_pre_poly2017-01-13 19:20 84K 
[ ]pre_poly__t72_pre_poly2017-01-13 19:20 90K 
[ ]pre_poly__t73_pre_poly2017-01-13 19:20 93K 
[ ]pre_poly__t74_pre_poly2017-01-13 19:20 199K 
[ ]pre_poly__t75_pre_poly2017-01-13 19:20 72K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80