Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/aofa_i00

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_i00__l144_aofa_i002017-01-12 22:12 149K 
[ ]aofa_i00__l147_aofa_i002017-01-12 22:12 394K 
[ ]aofa_i00__s1_aofa_i002017-01-12 22:11 352K 
[ ]aofa_i00__s2_aofa_i002017-01-12 22:11 352K 
[ ]aofa_i00__t1_aofa_i002017-01-12 22:11 63K 
[ ]aofa_i00__t2_aofa_i002017-01-12 22:11 34K 
[ ]aofa_i00__t3_aofa_i002017-01-12 22:11 52K 
[ ]aofa_i00__t4_aofa_i002017-01-12 22:11 76K 
[ ]aofa_i00__t5_aofa_i002017-01-12 22:11 87K 
[ ]aofa_i00__t6_aofa_i002017-01-12 22:11 49K 
[ ]aofa_i00__t7_aofa_i002017-01-12 22:11 49K 
[ ]aofa_i00__t8_aofa_i002017-01-12 22:11 64K 
[ ]aofa_i00__t9_aofa_i002017-01-12 22:11 56K 
[ ]aofa_i00__t10_aofa_i002017-01-12 22:11 47K 
[ ]aofa_i00__t11_aofa_i002017-01-12 22:11 49K 
[ ]aofa_i00__t12_aofa_i002017-01-12 22:11 43K 
[ ]aofa_i00__t13_aofa_i002017-01-12 22:11 35K 
[ ]aofa_i00__t14_aofa_i002017-01-12 22:11 60K 
[ ]aofa_i00__t15_aofa_i002017-01-12 22:11 90K 
[ ]aofa_i00__t16_aofa_i002017-01-12 22:11 113K 
[ ]aofa_i00__t17_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t18_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t19_aofa_i002017-01-12 22:11 130K 
[ ]aofa_i00__t20_aofa_i002017-01-12 22:11 133K 
[ ]aofa_i00__t21_aofa_i002017-01-12 22:11 133K 
[ ]aofa_i00__t22_aofa_i002017-01-12 22:11 76K 
[ ]aofa_i00__t23_aofa_i002017-01-12 22:11 154K 
[ ]aofa_i00__t24_aofa_i002017-01-12 22:11 158K 
[ ]aofa_i00__t25_aofa_i002017-01-12 22:11 109K 
[ ]aofa_i00__t26_aofa_i002017-01-12 22:11 104K 
[ ]aofa_i00__t27_aofa_i002017-01-12 22:11 111K 
[ ]aofa_i00__t28_aofa_i002017-01-12 22:11 148K 
[ ]aofa_i00__t29_aofa_i002017-01-12 22:11 286K 
[ ]aofa_i00__t30_aofa_i002017-01-12 22:11 127K 
[ ]aofa_i00__t31_aofa_i002017-01-12 22:11 160K 
[ ]aofa_i00__t32_aofa_i002017-01-12 22:11 286K 
[ ]aofa_i00__t33_aofa_i002017-01-12 22:11 136K 
[ ]aofa_i00__t34_aofa_i002017-01-12 22:11 133K 
[ ]aofa_i00__t35_aofa_i002017-01-12 22:11 127K 
[ ]aofa_i00__t36_aofa_i002017-01-12 22:11 130K 
[ ]aofa_i00__t37_aofa_i002017-01-12 22:11 123K 
[ ]aofa_i00__t38_aofa_i002017-01-12 22:11 133K 
[ ]aofa_i00__t39_aofa_i002017-01-12 22:11 128K 
[ ]aofa_i00__t40_aofa_i002017-01-12 22:11 130K 
[ ]aofa_i00__t41_aofa_i002017-01-12 22:11 124K 
[ ]aofa_i00__t42_aofa_i002017-01-12 22:11 118K 
[ ]aofa_i00__t43_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t44_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t45_aofa_i002017-01-12 22:11 118K 
[ ]aofa_i00__t46_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t47_aofa_i002017-01-12 22:11 116K 
[ ]aofa_i00__t48_aofa_i002017-01-12 22:11 155K 
[ ]aofa_i00__t49_aofa_i002017-01-12 22:11 137K 
[ ]aofa_i00__t50_aofa_i002017-01-12 22:11 164K 
[ ]aofa_i00__t51_aofa_i002017-01-12 22:12 134K 
[ ]aofa_i00__t52_aofa_i002017-01-12 22:12 336K 
[ ]aofa_i00__t53_aofa_i002017-01-12 22:12 337K 
[ ]aofa_i00__t54_aofa_i002017-01-12 22:12 154K 
[ ]aofa_i00__t55_aofa_i002017-01-12 22:12 159K 
[ ]aofa_i00__t56_aofa_i002017-01-12 22:12 182K 
[ ]aofa_i00__t57_aofa_i002017-01-12 22:12 369K 
[ ]aofa_i00__t58_aofa_i002017-01-12 22:12 182K 
[ ]aofa_i00__t59_aofa_i002017-01-12 22:12 368K 
[ ]aofa_i00__t60_aofa_i002017-01-12 22:12 183K 
[ ]aofa_i00__t61_aofa_i002017-01-12 22:12 541K 
[ ]aofa_i00__t62_aofa_i002017-01-12 22:12 198K 
[ ]aofa_i00__t63_aofa_i002017-01-12 22:12 200K 
[ ]aofa_i00__t64_aofa_i002017-01-12 22:12 216K 
[ ]aofa_i00__t65_aofa_i002017-01-12 22:12 393K 
[ ]aofa_i00__t66_aofa_i002017-01-12 22:12 213K 
[ ]aofa_i00__t67_aofa_i002017-01-12 22:12 394K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80