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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__l75_pre_poly2017-01-13 00:32 95K 
[ ]pre_poly__l76_pre_poly2017-01-13 00:32 99K 
[ ]pre_poly__l77_pre_poly2017-01-13 00:32 96K 
[ ]pre_poly__l78_pre_poly2017-01-13 00:32 97K 
[ ]pre_poly__s1_pre_poly2017-01-13 00:32 76K 
[ ]pre_poly__s2_pre_poly2017-01-13 00:32 79K 
[ ]pre_poly__t1_pre_poly2017-01-13 00:32 110K 
[ ]pre_poly__t2_pre_poly2017-01-13 00:32 113K 
[ ]pre_poly__t3_pre_poly2017-01-13 00:32 120K 
[ ]pre_poly__t4_pre_poly2017-01-13 00:32 111K 
[ ]pre_poly__t5_pre_poly2017-01-13 00:32 111K 
[ ]pre_poly__t6_pre_poly2017-01-13 00:32 97K 
[ ]pre_poly__t7_pre_poly2017-01-13 00:32 81K 
[ ]pre_poly__t8_pre_poly2017-01-13 00:32 98K 
[ ]pre_poly__t9_pre_poly2017-01-13 00:32 125K 
[ ]pre_poly__t10_pre_poly2017-01-13 00:32 115K 
[ ]pre_poly__t11_pre_poly2017-01-13 00:32 121K 
[ ]pre_poly__t12_pre_poly2017-01-13 00:32 90K 
[ ]pre_poly__t13_pre_poly2017-01-13 00:32 134K 
[ ]pre_poly__t14_pre_poly2017-01-13 00:32 76K 
[ ]pre_poly__t15_pre_poly2017-01-13 00:32 72K 
[ ]pre_poly__t16_pre_poly2017-01-13 00:32 90K 
[ ]pre_poly__t17_pre_poly2017-01-13 00:32 77K 
[ ]pre_poly__t18_pre_poly2017-01-13 00:32 100K 
[ ]pre_poly__t19_pre_poly2017-01-13 00:32 75K 
[ ]pre_poly__t20_pre_poly2017-01-13 00:32 128K 
[ ]pre_poly__t21_pre_poly2017-01-13 00:32 128K 
[ ]pre_poly__t22_pre_poly2017-01-13 00:32 78K 
[ ]pre_poly__t23_pre_poly2017-01-13 00:32 95K 
[ ]pre_poly__t24_pre_poly2017-01-13 00:32 92K 
[ ]pre_poly__t25_pre_poly2017-01-13 00:32 128K 
[ ]pre_poly__t26_pre_poly2017-01-13 00:32 79K 
[ ]pre_poly__t27_pre_poly2017-01-13 00:32 114K 
[ ]pre_poly__t28_pre_poly2017-01-13 00:32 94K 
[ ]pre_poly__t29_pre_poly2017-01-13 00:32 178K 
[ ]pre_poly__t30_pre_poly2017-01-13 00:32 146K 
[ ]pre_poly__t31_pre_poly2017-01-13 00:32 148K 
[ ]pre_poly__t32_pre_poly2017-01-13 00:32 187K 
[ ]pre_poly__t33_pre_poly2017-01-13 00:32 105K 
[ ]pre_poly__t34_pre_poly2017-01-13 00:32 88K 
[ ]pre_poly__t35_pre_poly2017-01-13 00:32 93K 
[ ]pre_poly__t36_pre_poly2017-01-13 00:32 99K 
[ ]pre_poly__t37_pre_poly2017-01-13 00:32 79K 
[ ]pre_poly__t38_pre_poly2017-01-13 00:32 111K 
[ ]pre_poly__t39_pre_poly2017-01-13 00:32 84K 
[ ]pre_poly__t40_pre_poly2017-01-13 00:32 109K 
[ ]pre_poly__t41_pre_poly2017-01-13 00:32 87K 
[ ]pre_poly__t42_pre_poly2017-01-13 00:32 15K 
[ ]pre_poly__t43_pre_poly2017-01-13 00:32 15K 
[ ]pre_poly__t44_pre_poly2017-01-13 00:32 15K 
[ ]pre_poly__t45_pre_poly2017-01-13 00:32 86K 
[ ]pre_poly__t46_pre_poly2017-01-13 00:32 89K 
[ ]pre_poly__t47_pre_poly2017-01-13 00:32 110K 
[ ]pre_poly__t48_pre_poly2017-01-13 00:32 103K 
[ ]pre_poly__t49_pre_poly2017-01-13 00:32 88K 
[ ]pre_poly__t50_pre_poly2017-01-13 00:32 111K 
[ ]pre_poly__t51_pre_poly2017-01-13 00:32 80K 
[ ]pre_poly__t52_pre_poly2017-01-13 00:32 112K 
[ ]pre_poly__t53_pre_poly2017-01-13 00:32 121K 
[ ]pre_poly__t54_pre_poly2017-01-13 00:32 107K 
[ ]pre_poly__t55_pre_poly2017-01-13 00:32 111K 
[ ]pre_poly__t56_pre_poly2017-01-13 00:32 107K 
[ ]pre_poly__t57_pre_poly2017-01-13 00:32 113K 
[ ]pre_poly__t58_pre_poly2017-01-13 00:32 106K 
[ ]pre_poly__t59_pre_poly2017-01-13 00:32 103K 
[ ]pre_poly__t60_pre_poly2017-01-13 00:32 96K 
[ ]pre_poly__t61_pre_poly2017-01-13 00:32 93K 
[ ]pre_poly__t62_pre_poly2017-01-13 00:32 113K 
[ ]pre_poly__t63_pre_poly2017-01-13 00:32 248K 
[ ]pre_poly__t64_pre_poly2017-01-13 00:32 129K 
[ ]pre_poly__t65_pre_poly2017-01-13 00:32 129K 
[ ]pre_poly__t66_pre_poly2017-01-13 00:32 123K 
[ ]pre_poly__t67_pre_poly2017-01-13 00:32 148K 
[ ]pre_poly__t68_pre_poly2017-01-13 00:32 136K 
[ ]pre_poly__t69_pre_poly2017-01-13 00:32 169K 
[ ]pre_poly__t70_pre_poly2017-01-13 00:32 121K 
[ ]pre_poly__t71_pre_poly2017-01-13 00:32 134K 
[ ]pre_poly__t72_pre_poly2017-01-13 00:32 143K 
[ ]pre_poly__t73_pre_poly2017-01-13 00:32 147K 
[ ]pre_poly__t74_pre_poly2017-01-13 00:32 280K 
[ ]pre_poly__t75_pre_poly2017-01-13 00:32 113K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80