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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_i00__l144_aofa_i002017-01-13 17:49 226K 
[ ]aofa_i00__l147_aofa_i002017-01-13 17:49 524K 
[ ]aofa_i00__s1_aofa_i002017-01-13 17:49 456K 
[ ]aofa_i00__s2_aofa_i002017-01-13 17:49 456K 
[ ]aofa_i00__t1_aofa_i002017-01-13 17:49 98K 
[ ]aofa_i00__t2_aofa_i002017-01-13 17:49 53K 
[ ]aofa_i00__t3_aofa_i002017-01-13 17:49 83K 
[ ]aofa_i00__t4_aofa_i002017-01-13 17:49 122K 
[ ]aofa_i00__t5_aofa_i002017-01-13 17:49 137K 
[ ]aofa_i00__t6_aofa_i002017-01-13 17:49 78K 
[ ]aofa_i00__t7_aofa_i002017-01-13 17:49 78K 
[ ]aofa_i00__t8_aofa_i002017-01-13 17:49 98K 
[ ]aofa_i00__t9_aofa_i002017-01-13 17:49 87K 
[ ]aofa_i00__t10_aofa_i002017-01-13 17:49 74K 
[ ]aofa_i00__t11_aofa_i002017-01-13 17:49 77K 
[ ]aofa_i00__t12_aofa_i002017-01-13 17:49 67K 
[ ]aofa_i00__t13_aofa_i002017-01-13 17:49 54K 
[ ]aofa_i00__t14_aofa_i002017-01-13 17:49 93K 
[ ]aofa_i00__t15_aofa_i002017-01-13 17:49 141K 
[ ]aofa_i00__t16_aofa_i002017-01-13 17:49 173K 
[ ]aofa_i00__t17_aofa_i002017-01-13 17:49 178K 
[ ]aofa_i00__t18_aofa_i002017-01-13 17:49 178K 
[ ]aofa_i00__t19_aofa_i002017-01-13 17:49 201K 
[ ]aofa_i00__t20_aofa_i002017-01-13 17:49 207K 
[ ]aofa_i00__t21_aofa_i002017-01-13 17:49 207K 
[ ]aofa_i00__t22_aofa_i002017-01-13 17:49 119K 
[ ]aofa_i00__t23_aofa_i002017-01-13 17:49 242K 
[ ]aofa_i00__t24_aofa_i002017-01-13 17:49 248K 
[ ]aofa_i00__t25_aofa_i002017-01-13 17:49 169K 
[ ]aofa_i00__t26_aofa_i002017-01-13 17:49 161K 
[ ]aofa_i00__t27_aofa_i002017-01-13 17:49 172K 
[ ]aofa_i00__t28_aofa_i002017-01-13 17:49 221K 
[ ]aofa_i00__t29_aofa_i002017-01-13 17:49 380K 
[ ]aofa_i00__t30_aofa_i002017-01-13 17:49 199K 
[ ]aofa_i00__t31_aofa_i002017-01-13 17:49 237K 
[ ]aofa_i00__t32_aofa_i002017-01-13 17:49 380K 
[ ]aofa_i00__t33_aofa_i002017-01-13 17:49 212K 
[ ]aofa_i00__t34_aofa_i002017-01-13 17:49 202K 
[ ]aofa_i00__t35_aofa_i002017-01-13 17:49 193K 
[ ]aofa_i00__t36_aofa_i002017-01-13 17:49 198K 
[ ]aofa_i00__t37_aofa_i002017-01-13 17:49 188K 
[ ]aofa_i00__t38_aofa_i002017-01-13 17:49 202K 
[ ]aofa_i00__t39_aofa_i002017-01-13 17:49 194K 
[ ]aofa_i00__t40_aofa_i002017-01-13 17:49 198K 
[ ]aofa_i00__t41_aofa_i002017-01-13 17:49 189K 
[ ]aofa_i00__t42_aofa_i002017-01-13 17:49 183K 
[ ]aofa_i00__t43_aofa_i002017-01-13 17:49 179K 
[ ]aofa_i00__t44_aofa_i002017-01-13 17:49 180K 
[ ]aofa_i00__t45_aofa_i002017-01-13 17:49 183K 
[ ]aofa_i00__t46_aofa_i002017-01-13 17:49 179K 
[ ]aofa_i00__t47_aofa_i002017-01-13 17:49 180K 
[ ]aofa_i00__t48_aofa_i002017-01-13 17:49 229K 
[ ]aofa_i00__t49_aofa_i002017-01-13 17:49 212K 
[ ]aofa_i00__t50_aofa_i002017-01-13 17:49 242K 
[ ]aofa_i00__t51_aofa_i002017-01-13 17:49 208K 
[ ]aofa_i00__t52_aofa_i002017-01-13 17:49 436K 
[ ]aofa_i00__t53_aofa_i002017-01-13 17:49 437K 
[ ]aofa_i00__t54_aofa_i002017-01-13 17:49 236K 
[ ]aofa_i00__t55_aofa_i002017-01-13 17:49 242K 
[ ]aofa_i00__t56_aofa_i002017-01-13 17:49 281K 
[ ]aofa_i00__t57_aofa_i002017-01-13 17:49 487K 
[ ]aofa_i00__t58_aofa_i002017-01-13 17:49 281K 
[ ]aofa_i00__t59_aofa_i002017-01-13 17:49 486K 
[ ]aofa_i00__t60_aofa_i002017-01-13 17:49 280K 
[ ]aofa_i00__t61_aofa_i002017-01-13 17:49 674K 
[ ]aofa_i00__t62_aofa_i002017-01-13 17:49 287K 
[ ]aofa_i00__t63_aofa_i002017-01-13 17:49 289K 
[ ]aofa_i00__t64_aofa_i002017-01-13 17:49 321K 
[ ]aofa_i00__t65_aofa_i002017-01-13 17:49 523K 
[ ]aofa_i00__t66_aofa_i002017-01-13 17:49 326K 
[ ]aofa_i00__t67_aofa_i002017-01-13 17:49 526K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80