Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/afinsq_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_2__l1_afinsq_22017-01-13 19:03 60K 
[ ]afinsq_2__l2_afinsq_22017-01-13 19:03 78K 
[ ]afinsq_2__l58_afinsq_22017-01-13 19:03 47K 
[ ]afinsq_2__l59_afinsq_22017-01-13 19:03 46K 
[ ]afinsq_2__s1_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__s2_afinsq_22017-01-13 19:03 75K 
[ ]afinsq_2__t1_afinsq_22017-01-13 19:03 43K 
[ ]afinsq_2__t2_afinsq_22017-01-13 19:03 81K 
[ ]afinsq_2__t3_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__t4_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__t5_afinsq_22017-01-13 19:03 100K 
[ ]afinsq_2__t6_afinsq_22017-01-13 19:03 59K 
[ ]afinsq_2__t7_afinsq_22017-01-13 19:03 74K 
[ ]afinsq_2__t8_afinsq_22017-01-13 19:03 74K 
[ ]afinsq_2__t9_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t10_afinsq_22017-01-13 19:03 69K 
[ ]afinsq_2__t11_afinsq_22017-01-13 19:03 94K 
[ ]afinsq_2__t12_afinsq_22017-01-13 19:03 54K 
[ ]afinsq_2__t13_afinsq_22017-01-13 19:03 112K 
[ ]afinsq_2__t14_afinsq_22017-01-13 19:03 96K 
[ ]afinsq_2__t15_afinsq_22017-01-13 19:03 111K 
[ ]afinsq_2__t16_afinsq_22017-01-13 19:03 54K 
[ ]afinsq_2__t17_afinsq_22017-01-13 19:03 61K 
[ ]afinsq_2__t18_afinsq_22017-01-13 19:03 58K 
[ ]afinsq_2__t19_afinsq_22017-01-13 19:03 75K 
[ ]afinsq_2__t20_afinsq_22017-01-13 19:03 58K 
[ ]afinsq_2__t21_afinsq_22017-01-13 19:03 60K 
[ ]afinsq_2__t22_afinsq_22017-01-13 19:03 61K 
[ ]afinsq_2__t23_afinsq_22017-01-13 19:03 52K 
[ ]afinsq_2__t24_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__t25_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__t26_afinsq_22017-01-13 19:03 63K 
[ ]afinsq_2__t27_afinsq_22017-01-13 19:03 75K 
[ ]afinsq_2__t28_afinsq_22017-01-13 19:03 75K 
[ ]afinsq_2__t29_afinsq_22017-01-13 19:03 70K 
[ ]afinsq_2__t30_afinsq_22017-01-13 19:03 119K 
[ ]afinsq_2__t31_afinsq_22017-01-13 19:03 88K 
[ ]afinsq_2__t32_afinsq_22017-01-13 19:03 63K 
[ ]afinsq_2__t33_afinsq_22017-01-13 19:03 57K 
[ ]afinsq_2__t34_afinsq_22017-01-13 19:03 59K 
[ ]afinsq_2__t35_afinsq_22017-01-13 19:03 111K 
[ ]afinsq_2__t36_afinsq_22017-01-13 19:03 72K 
[ ]afinsq_2__t37_afinsq_22017-01-13 19:03 82K 
[ ]afinsq_2__t38_afinsq_22017-01-13 19:03 85K 
[ ]afinsq_2__t39_afinsq_22017-01-13 19:03 102K 
[ ]afinsq_2__t40_afinsq_22017-01-13 19:03 193K 
[ ]afinsq_2__t41_afinsq_22017-01-13 19:03 109K 
[ ]afinsq_2__t42_afinsq_22017-01-13 19:03 109K 
[ ]afinsq_2__t43_afinsq_22017-01-13 19:03 127K 
[ ]afinsq_2__t44_afinsq_22017-01-13 19:03 106K 
[ ]afinsq_2__t45_afinsq_22017-01-13 19:03 127K 
[ ]afinsq_2__t46_afinsq_22017-01-13 19:03 109K 
[ ]afinsq_2__t47_afinsq_22017-01-13 19:03 108K 
[ ]afinsq_2__t48_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t49_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t50_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t51_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t52_afinsq_22017-01-13 19:03 55K 
[ ]afinsq_2__t53_afinsq_22017-01-13 19:03 57K 
[ ]afinsq_2__t54_afinsq_22017-01-13 19:03 72K 
[ ]afinsq_2__t55_afinsq_22017-01-13 19:03 70K 
[ ]afinsq_2__t56_afinsq_22017-01-13 19:03 110K 
[ ]afinsq_2__t57_afinsq_22017-01-13 19:03 106K 
[ ]afinsq_2__t58_afinsq_22017-01-13 19:03 119K 
[ ]afinsq_2__t59_afinsq_22017-01-13 19:03 76K 
[ ]afinsq_2__t60_afinsq_22017-01-13 19:03 76K 
[ ]afinsq_2__t61_afinsq_22017-01-13 19:03 110K 
[ ]afinsq_2__t62_afinsq_22017-01-13 19:03 91K 
[ ]afinsq_2__t63_afinsq_22017-01-13 19:03 71K 
[ ]afinsq_2__t64_afinsq_22017-01-13 19:03 106K 
[ ]afinsq_2__t65_afinsq_22017-01-13 19:03 74K 
[ ]afinsq_2__t66_afinsq_22017-01-13 19:03 74K 
[ ]afinsq_2__t67_afinsq_22017-01-13 19:03 69K 
[ ]afinsq_2__t68_afinsq_22017-01-13 19:03 137K 
[ ]afinsq_2__t69_afinsq_22017-01-13 19:03 112K 
[ ]afinsq_2__t70_afinsq_22017-01-13 19:03 115K 
[ ]afinsq_2__t71_afinsq_22017-01-13 19:03 98K 
[ ]afinsq_2__t72_afinsq_22017-01-13 19:03 72K 
[ ]afinsq_2__t73_afinsq_22017-01-13 19:03 58K 
[ ]afinsq_2__t74_afinsq_22017-01-13 19:03 61K 
[ ]afinsq_2__t75_afinsq_22017-01-13 19:03 68K 
[ ]afinsq_2__t76_afinsq_22017-01-13 19:03 59K 
[ ]afinsq_2__t77_afinsq_22017-01-13 19:03 59K 
[ ]afinsq_2__t78_afinsq_22017-01-13 19:03 79K 
[ ]afinsq_2__t79_afinsq_22017-01-13 19:03 51K 
[ ]afinsq_2__t80_afinsq_22017-01-13 19:03 47K 
[ ]afinsq_2__t81_afinsq_22017-01-13 19:03 47K 
[ ]afinsq_2__t82_afinsq_22017-01-13 19:03 49K 
[ ]afinsq_2__t83_afinsq_22017-01-13 19:03 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80