Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/aofa_i00

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_i00__l144_aofa_i002017-01-05 20:54 149K 
[ ]aofa_i00__l147_aofa_i002017-01-05 20:54 393K 
[ ]aofa_i00__t1_aofa_i002016-03-08 13:04 63K 
[ ]aofa_i00__t2_aofa_i002017-01-05 20:54 34K 
[ ]aofa_i00__t3_aofa_i002016-03-08 13:04 52K 
[ ]aofa_i00__t4_aofa_i002016-03-08 13:04 76K 
[ ]aofa_i00__t5_aofa_i002016-03-08 13:04 87K 
[ ]aofa_i00__t6_aofa_i002016-03-08 13:04 49K 
[ ]aofa_i00__t7_aofa_i002016-03-08 13:04 49K 
[ ]aofa_i00__t8_aofa_i002016-03-08 13:04 64K 
[ ]aofa_i00__t9_aofa_i002016-03-08 13:04 56K 
[ ]aofa_i00__t10_aofa_i002016-03-08 13:04 47K 
[ ]aofa_i00__t11_aofa_i002016-03-08 13:04 49K 
[ ]aofa_i00__t12_aofa_i002016-03-08 13:04 43K 
[ ]aofa_i00__t13_aofa_i002016-03-08 13:04 35K 
[ ]aofa_i00__t14_aofa_i002016-03-08 13:04 60K 
[ ]aofa_i00__t15_aofa_i002016-03-08 13:04 90K 
[ ]aofa_i00__t16_aofa_i002017-01-05 20:54 113K 
[ ]aofa_i00__t17_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t18_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t19_aofa_i002017-01-05 20:54 130K 
[ ]aofa_i00__t20_aofa_i002017-01-05 20:54 133K 
[ ]aofa_i00__t21_aofa_i002017-01-05 20:54 133K 
[ ]aofa_i00__t22_aofa_i002016-03-08 13:04 76K 
[ ]aofa_i00__t23_aofa_i002017-01-05 20:54 154K 
[ ]aofa_i00__t24_aofa_i002017-01-05 20:54 158K 
[ ]aofa_i00__t25_aofa_i002017-01-05 20:54 109K 
[ ]aofa_i00__t26_aofa_i002017-01-05 20:54 104K 
[ ]aofa_i00__t27_aofa_i002017-01-05 20:54 111K 
[ ]aofa_i00__t28_aofa_i002017-01-05 20:54 148K 
[ ]aofa_i00__t29_aofa_i002017-01-05 20:54 286K 
[ ]aofa_i00__t30_aofa_i002017-01-05 20:54 127K 
[ ]aofa_i00__t31_aofa_i002017-01-05 20:54 160K 
[ ]aofa_i00__t32_aofa_i002017-01-05 20:54 286K 
[ ]aofa_i00__t33_aofa_i002017-01-05 20:54 136K 
[ ]aofa_i00__t34_aofa_i002017-01-05 20:54 133K 
[ ]aofa_i00__t35_aofa_i002017-01-05 20:54 127K 
[ ]aofa_i00__t36_aofa_i002017-01-05 20:54 130K 
[ ]aofa_i00__t37_aofa_i002017-01-05 20:54 123K 
[ ]aofa_i00__t38_aofa_i002017-01-05 20:54 133K 
[ ]aofa_i00__t39_aofa_i002017-01-05 20:54 128K 
[ ]aofa_i00__t40_aofa_i002017-01-05 20:54 130K 
[ ]aofa_i00__t41_aofa_i002017-01-05 20:54 124K 
[ ]aofa_i00__t42_aofa_i002017-01-05 20:54 118K 
[ ]aofa_i00__t43_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t44_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t45_aofa_i002017-01-05 20:54 118K 
[ ]aofa_i00__t46_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t47_aofa_i002017-01-05 20:54 116K 
[ ]aofa_i00__t48_aofa_i002017-01-05 20:54 155K 
[ ]aofa_i00__t49_aofa_i002017-01-05 20:54 137K 
[ ]aofa_i00__t50_aofa_i002017-01-05 20:54 164K 
[ ]aofa_i00__t51_aofa_i002017-01-05 20:54 134K 
[ ]aofa_i00__t52_aofa_i002017-01-05 20:54 335K 
[ ]aofa_i00__t53_aofa_i002017-01-05 20:54 336K 
[ ]aofa_i00__t54_aofa_i002017-01-05 20:54 154K 
[ ]aofa_i00__t55_aofa_i002017-01-05 20:54 159K 
[ ]aofa_i00__t56_aofa_i002017-01-05 20:54 182K 
[ ]aofa_i00__t57_aofa_i002017-01-05 20:54 369K 
[ ]aofa_i00__t58_aofa_i002017-01-05 20:54 182K 
[ ]aofa_i00__t59_aofa_i002017-01-05 20:54 368K 
[ ]aofa_i00__t60_aofa_i002017-01-05 20:54 183K 
[ ]aofa_i00__t61_aofa_i002017-01-05 20:54 541K 
[ ]aofa_i00__t62_aofa_i002017-01-05 20:54 198K 
[ ]aofa_i00__t63_aofa_i002017-01-05 20:54 199K 
[ ]aofa_i00__t64_aofa_i002017-01-05 20:54 216K 
[ ]aofa_i00__t65_aofa_i002017-01-05 20:54 392K 
[ ]aofa_i00__t66_aofa_i002017-01-05 20:54 212K 
[ ]aofa_i00__t67_aofa_i002017-01-05 20:54 393K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80