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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afinsq_2__l1_afinsq_22017-01-13 00:26 95K 
[ ]afinsq_2__l2_afinsq_22017-01-13 00:26 122K 
[ ]afinsq_2__l58_afinsq_22017-01-13 00:26 77K 
[ ]afinsq_2__l59_afinsq_22017-01-13 00:26 76K 
[ ]afinsq_2__s1_afinsq_22017-01-13 00:25 84K 
[ ]afinsq_2__s2_afinsq_22017-01-13 00:25 120K 
[ ]afinsq_2__t1_afinsq_22017-01-13 00:25 72K 
[ ]afinsq_2__t2_afinsq_22017-01-13 00:25 122K 
[ ]afinsq_2__t3_afinsq_22017-01-13 00:25 83K 
[ ]afinsq_2__t4_afinsq_22017-01-13 00:25 84K 
[ ]afinsq_2__t5_afinsq_22017-01-13 00:25 141K 
[ ]afinsq_2__t6_afinsq_22017-01-13 00:25 97K 
[ ]afinsq_2__t7_afinsq_22017-01-13 00:25 113K 
[ ]afinsq_2__t8_afinsq_22017-01-13 00:25 113K 
[ ]afinsq_2__t9_afinsq_22017-01-13 00:25 132K 
[ ]afinsq_2__t10_afinsq_22017-01-13 00:25 109K 
[ ]afinsq_2__t11_afinsq_22017-01-13 00:25 137K 
[ ]afinsq_2__t12_afinsq_22017-01-13 00:25 90K 
[ ]afinsq_2__t13_afinsq_22017-01-13 00:25 161K 
[ ]afinsq_2__t14_afinsq_22017-01-13 00:25 139K 
[ ]afinsq_2__t15_afinsq_22017-01-13 00:25 159K 
[ ]afinsq_2__t16_afinsq_22017-01-13 00:25 90K 
[ ]afinsq_2__t17_afinsq_22017-01-13 00:25 100K 
[ ]afinsq_2__t18_afinsq_22017-01-13 00:25 95K 
[ ]afinsq_2__t19_afinsq_22017-01-13 00:25 120K 
[ ]afinsq_2__t20_afinsq_22017-01-13 00:25 95K 
[ ]afinsq_2__t21_afinsq_22017-01-13 00:25 97K 
[ ]afinsq_2__t22_afinsq_22017-01-13 00:25 99K 
[ ]afinsq_2__t23_afinsq_22017-01-13 00:25 84K 
[ ]afinsq_2__t24_afinsq_22017-01-13 00:25 83K 
[ ]afinsq_2__t25_afinsq_22017-01-13 00:25 83K 
[ ]afinsq_2__t26_afinsq_22017-01-13 00:25 101K 
[ ]afinsq_2__t27_afinsq_22017-01-13 00:25 121K 
[ ]afinsq_2__t28_afinsq_22017-01-13 00:25 120K 
[ ]afinsq_2__t29_afinsq_22017-01-13 00:25 113K 
[ ]afinsq_2__t30_afinsq_22017-01-13 00:25 171K 
[ ]afinsq_2__t31_afinsq_22017-01-13 00:25 137K 
[ ]afinsq_2__t32_afinsq_22017-01-13 00:25 102K 
[ ]afinsq_2__t33_afinsq_22017-01-13 00:25 94K 
[ ]afinsq_2__t34_afinsq_22017-01-13 00:25 97K 
[ ]afinsq_2__t35_afinsq_22017-01-13 00:25 161K 
[ ]afinsq_2__t36_afinsq_22017-01-13 00:25 117K 
[ ]afinsq_2__t37_afinsq_22017-01-13 00:25 129K 
[ ]afinsq_2__t38_afinsq_22017-01-13 00:25 129K 
[ ]afinsq_2__t39_afinsq_22017-01-13 00:25 147K 
[ ]afinsq_2__t40_afinsq_22017-01-13 00:25 240K 
[ ]afinsq_2__t41_afinsq_22017-01-13 00:25 158K 
[ ]afinsq_2__t42_afinsq_22017-01-13 00:25 158K 
[ ]afinsq_2__t43_afinsq_22017-01-13 00:25 181K 
[ ]afinsq_2__t44_afinsq_22017-01-13 00:25 153K 
[ ]afinsq_2__t45_afinsq_22017-01-13 00:25 188K 
[ ]afinsq_2__t46_afinsq_22017-01-13 00:25 159K 
[ ]afinsq_2__t47_afinsq_22017-01-13 00:25 157K 
[ ]afinsq_2__t48_afinsq_22017-01-13 00:25 142K 
[ ]afinsq_2__t49_afinsq_22017-01-13 00:25 142K 
[ ]afinsq_2__t50_afinsq_22017-01-13 00:25 142K 
[ ]afinsq_2__t51_afinsq_22017-01-13 00:25 142K 
[ ]afinsq_2__t52_afinsq_22017-01-13 00:25 91K 
[ ]afinsq_2__t53_afinsq_22017-01-13 00:25 92K 
[ ]afinsq_2__t54_afinsq_22017-01-13 00:25 112K 
[ ]afinsq_2__t55_afinsq_22017-01-13 00:25 113K 
[ ]afinsq_2__t56_afinsq_22017-01-13 00:25 166K 
[ ]afinsq_2__t57_afinsq_22017-01-13 00:25 154K 
[ ]afinsq_2__t58_afinsq_22017-01-13 00:25 170K 
[ ]afinsq_2__t59_afinsq_22017-01-13 00:25 121K 
[ ]afinsq_2__t60_afinsq_22017-01-13 00:25 121K 
[ ]afinsq_2__t61_afinsq_22017-01-13 00:25 159K 
[ ]afinsq_2__t62_afinsq_22017-01-13 00:25 143K 
[ ]afinsq_2__t63_afinsq_22017-01-13 00:25 116K 
[ ]afinsq_2__t64_afinsq_22017-01-13 00:26 166K 
[ ]afinsq_2__t65_afinsq_22017-01-13 00:26 120K 
[ ]afinsq_2__t66_afinsq_22017-01-13 00:26 118K 
[ ]afinsq_2__t67_afinsq_22017-01-13 00:26 110K 
[ ]afinsq_2__t68_afinsq_22017-01-13 00:26 197K 
[ ]afinsq_2__t69_afinsq_22017-01-13 00:26 172K 
[ ]afinsq_2__t70_afinsq_22017-01-13 00:26 168K 
[ ]afinsq_2__t71_afinsq_22017-01-13 00:26 160K 
[ ]afinsq_2__t72_afinsq_22017-01-13 00:26 115K 
[ ]afinsq_2__t73_afinsq_22017-01-13 00:26 95K 
[ ]afinsq_2__t74_afinsq_22017-01-13 00:26 98K 
[ ]afinsq_2__t75_afinsq_22017-01-13 00:26 109K 
[ ]afinsq_2__t76_afinsq_22017-01-13 00:26 95K 
[ ]afinsq_2__t77_afinsq_22017-01-13 00:26 96K 
[ ]afinsq_2__t78_afinsq_22017-01-13 00:26 122K 
[ ]afinsq_2__t79_afinsq_22017-01-13 00:26 85K 
[ ]afinsq_2__t80_afinsq_22017-01-13 00:26 79K 
[ ]afinsq_2__t81_afinsq_22017-01-13 00:26 78K 
[ ]afinsq_2__t82_afinsq_22017-01-13 00:26 81K 
[ ]afinsq_2__t83_afinsq_22017-01-13 00:26 126K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80