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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_i00__l144_aofa_i002017-01-13 19:20 150K 
[ ]aofa_i00__l147_aofa_i002017-01-13 19:20 408K 
[ ]aofa_i00__s1_aofa_i002017-01-13 19:20 367K 
[ ]aofa_i00__s2_aofa_i002017-01-13 19:20 366K 
[ ]aofa_i00__t1_aofa_i002017-01-13 19:20 63K 
[ ]aofa_i00__t2_aofa_i002017-01-13 19:20 34K 
[ ]aofa_i00__t3_aofa_i002017-01-13 19:20 52K 
[ ]aofa_i00__t4_aofa_i002017-01-13 19:20 76K 
[ ]aofa_i00__t5_aofa_i002017-01-13 19:20 87K 
[ ]aofa_i00__t6_aofa_i002017-01-13 19:20 49K 
[ ]aofa_i00__t7_aofa_i002017-01-13 19:20 49K 
[ ]aofa_i00__t8_aofa_i002017-01-13 19:20 64K 
[ ]aofa_i00__t9_aofa_i002017-01-13 19:20 56K 
[ ]aofa_i00__t10_aofa_i002017-01-13 19:20 47K 
[ ]aofa_i00__t11_aofa_i002017-01-13 19:20 49K 
[ ]aofa_i00__t12_aofa_i002017-01-13 19:20 43K 
[ ]aofa_i00__t13_aofa_i002017-01-13 19:20 35K 
[ ]aofa_i00__t14_aofa_i002017-01-13 19:20 61K 
[ ]aofa_i00__t15_aofa_i002017-01-13 19:20 90K 
[ ]aofa_i00__t16_aofa_i002017-01-13 19:20 113K 
[ ]aofa_i00__t17_aofa_i002017-01-13 19:20 116K 
[ ]aofa_i00__t18_aofa_i002017-01-13 19:20 116K 
[ ]aofa_i00__t19_aofa_i002017-01-13 19:20 130K 
[ ]aofa_i00__t20_aofa_i002017-01-13 19:20 134K 
[ ]aofa_i00__t21_aofa_i002017-01-13 19:20 134K 
[ ]aofa_i00__t22_aofa_i002017-01-13 19:20 76K 
[ ]aofa_i00__t23_aofa_i002017-01-13 19:20 154K 
[ ]aofa_i00__t24_aofa_i002017-01-13 19:20 158K 
[ ]aofa_i00__t25_aofa_i002017-01-13 19:20 109K 
[ ]aofa_i00__t26_aofa_i002017-01-13 19:20 104K 
[ ]aofa_i00__t27_aofa_i002017-01-13 19:20 112K 
[ ]aofa_i00__t28_aofa_i002017-01-13 19:20 150K 
[ ]aofa_i00__t29_aofa_i002017-01-13 19:20 298K 
[ ]aofa_i00__t30_aofa_i002017-01-13 19:20 128K 
[ ]aofa_i00__t31_aofa_i002017-01-13 19:20 162K 
[ ]aofa_i00__t32_aofa_i002017-01-13 19:20 298K 
[ ]aofa_i00__t33_aofa_i002017-01-13 19:20 137K 
[ ]aofa_i00__t34_aofa_i002017-01-13 19:20 133K 
[ ]aofa_i00__t35_aofa_i002017-01-13 19:20 127K 
[ ]aofa_i00__t36_aofa_i002017-01-13 19:20 130K 
[ ]aofa_i00__t37_aofa_i002017-01-13 19:20 123K 
[ ]aofa_i00__t38_aofa_i002017-01-13 19:20 133K 
[ ]aofa_i00__t39_aofa_i002017-01-13 19:20 128K 
[ ]aofa_i00__t40_aofa_i002017-01-13 19:20 130K 
[ ]aofa_i00__t41_aofa_i002017-01-13 19:20 124K 
[ ]aofa_i00__t42_aofa_i002017-01-13 19:20 118K 
[ ]aofa_i00__t43_aofa_i002017-01-13 19:20 116K 
[ ]aofa_i00__t44_aofa_i002017-01-13 19:20 117K 
[ ]aofa_i00__t45_aofa_i002017-01-13 19:20 118K 
[ ]aofa_i00__t46_aofa_i002017-01-13 19:20 116K 
[ ]aofa_i00__t47_aofa_i002017-01-13 19:20 117K 
[ ]aofa_i00__t48_aofa_i002017-01-13 19:20 156K 
[ ]aofa_i00__t49_aofa_i002017-01-13 19:20 137K 
[ ]aofa_i00__t50_aofa_i002017-01-13 19:20 166K 
[ ]aofa_i00__t51_aofa_i002017-01-13 19:20 134K 
[ ]aofa_i00__t52_aofa_i002017-01-13 19:20 350K 
[ ]aofa_i00__t53_aofa_i002017-01-13 19:20 351K 
[ ]aofa_i00__t54_aofa_i002017-01-13 19:20 155K 
[ ]aofa_i00__t55_aofa_i002017-01-13 19:20 159K 
[ ]aofa_i00__t56_aofa_i002017-01-13 19:20 182K 
[ ]aofa_i00__t57_aofa_i002017-01-13 19:20 384K 
[ ]aofa_i00__t58_aofa_i002017-01-13 19:20 182K 
[ ]aofa_i00__t59_aofa_i002017-01-13 19:20 383K 
[ ]aofa_i00__t60_aofa_i002017-01-13 19:20 183K 
[ ]aofa_i00__t61_aofa_i002017-01-13 19:20 569K 
[ ]aofa_i00__t62_aofa_i002017-01-13 19:20 201K 
[ ]aofa_i00__t63_aofa_i002017-01-13 19:20 203K 
[ ]aofa_i00__t64_aofa_i002017-01-13 19:20 219K 
[ ]aofa_i00__t65_aofa_i002017-01-13 19:20 408K 
[ ]aofa_i00__t66_aofa_i002017-01-13 19:20 214K 
[ ]aofa_i00__t67_aofa_i002017-01-13 19:20 409K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80