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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite3__t1_rewrite32016-03-08 13:08 58K 
[ ]rewrite3__t2_rewrite32016-03-08 13:08 43K 
[ ]rewrite3__t3_rewrite32016-03-08 13:08 44K 
[ ]rewrite3__t4_rewrite32016-03-08 13:08 88K 
[ ]rewrite3__t5_rewrite32016-03-08 13:08 57K 
[ ]rewrite3__t6_rewrite32016-03-08 13:08 59K 
[ ]rewrite3__t7_rewrite32016-03-08 13:08 55K 
[ ]rewrite3__t8_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t9_rewrite32016-03-08 13:08 59K 
[ ]rewrite3__t10_rewrite32016-03-08 13:08 63K 
[ ]rewrite3__t11_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t12_rewrite32016-03-08 13:08 74K 
[ ]rewrite3__t13_rewrite32016-03-08 13:08 41K 
[ ]rewrite3__t14_rewrite32016-03-08 13:08 50K 
[ ]rewrite3__t15_rewrite32016-03-08 13:08 46K 
[ ]rewrite3__t16_rewrite32016-03-08 13:08 42K 
[ ]rewrite3__t17_rewrite32016-03-08 13:08 42K 
[ ]rewrite3__t18_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t19_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t20_rewrite32016-03-08 13:08 46K 
[ ]rewrite3__t21_rewrite32016-03-08 13:08 42K 
[ ]rewrite3__t22_rewrite32016-03-08 13:08 36K 
[ ]rewrite3__t23_rewrite32016-03-08 13:08 46K 
[ ]rewrite3__t24_rewrite32016-03-08 13:08 37K 
[ ]rewrite3__t25_rewrite32016-03-08 13:08 37K 
[ ]rewrite3__t26_rewrite32016-03-08 13:08 42K 
[ ]rewrite3__t27_rewrite32016-03-08 13:08 43K 
[ ]rewrite3__t28_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t29_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t30_rewrite32016-03-08 13:08 54K 
[ ]rewrite3__t31_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t32_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t33_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t34_rewrite32016-03-08 13:08 49K 
[ ]rewrite3__t35_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t36_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t37_rewrite32016-03-08 13:08 49K 
[ ]rewrite3__t38_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t39_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t40_rewrite32016-03-08 13:08 53K 
[ ]rewrite3__t41_rewrite32016-03-08 13:08 49K 
[ ]rewrite3__t42_rewrite32016-03-08 13:08 57K 
[ ]rewrite3__t43_rewrite32016-03-08 13:08 53K 
[ ]rewrite3__t44_rewrite32016-03-08 13:08 48K 
[ ]rewrite3__t45_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t46_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t47_rewrite32016-03-08 13:08 60K 
[ ]rewrite3__t48_rewrite32016-03-08 13:08 55K 
[ ]rewrite3__t49_rewrite32016-03-08 13:08 64K 
[ ]rewrite3__t50_rewrite32016-03-08 13:08 60K 
[ ]rewrite3__t51_rewrite32016-03-08 13:08 91K 
[ ]rewrite3__t52_rewrite32016-03-08 13:08 96K 
[ ]rewrite3__t53_rewrite32016-03-08 13:08 65K 
[ ]rewrite3__t54_rewrite32016-03-08 13:08 179K 
[ ]rewrite3__t55_rewrite32016-03-08 13:08 65K 
[ ]rewrite3__t56_rewrite32016-03-08 13:08 63K 
[ ]rewrite3__t57_rewrite32016-03-08 13:08 50K 
[ ]rewrite3__t58_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t59_rewrite32016-03-08 13:08 59K 
[ ]rewrite3__t60_rewrite32016-03-08 13:08 106K 
[ ]rewrite3__t61_rewrite32016-03-08 13:08 100K 
[ ]rewrite3__t62_rewrite32016-03-08 13:08 113K 
[ ]rewrite3__t63_rewrite32016-03-08 13:08 71K 
[ ]rewrite3__t64_rewrite32016-03-08 13:08 76K 
[ ]rewrite3__t65_rewrite32016-03-08 13:08 65K 
[ ]rewrite3__t66_rewrite32016-03-08 13:08 94K 
[ ]rewrite3__t67_rewrite32016-03-08 13:08 62K 
[ ]rewrite3__t68_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t69_rewrite32016-03-08 13:08 70K 
[ ]rewrite3__t70_rewrite32016-03-08 13:08 56K 
[ ]rewrite3__t71_rewrite32016-03-08 13:08 70K 
[ ]rewrite3__t72_rewrite32016-03-08 13:08 50K 
[ ]rewrite3__t73_rewrite32016-03-08 13:08 52K 
[ ]rewrite3__t74_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t75_rewrite32016-03-08 13:08 56K 
[ ]rewrite3__t76_rewrite32016-03-08 13:08 62K 
[ ]rewrite3__t77_rewrite32016-03-08 13:08 60K 
[ ]rewrite3__t78_rewrite32016-03-08 13:08 56K 
[ ]rewrite3__t79_rewrite32016-03-08 13:08 69K 
[ ]rewrite3__t80_rewrite32016-03-08 13:08 54K 
[ ]rewrite3__t81_rewrite32016-03-08 13:08 48K 
[ ]rewrite3__t82_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t83_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t84_rewrite32016-03-08 13:08 49K 
[ ]rewrite3__t85_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t86_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t87_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t88_rewrite32016-03-08 13:08 51K 
[ ]rewrite3__t89_rewrite32016-03-08 13:08 44K 
[ ]rewrite3__t90_rewrite32016-03-08 13:08 53K 
[ ]rewrite3__t91_rewrite32016-03-08 13:08 57K 
[ ]rewrite3__t92_rewrite32016-03-08 13:08 55K 
[ ]rewrite3__t93_rewrite32016-03-08 13:08 47K 
[ ]rewrite3__t94_rewrite32016-03-08 13:08 45K 
[ ]rewrite3__t95_rewrite32016-03-08 13:08 40K 
[ ]rewrite3__t96_rewrite32016-03-08 13:08 43K 
[ ]rewrite3__t97_rewrite32016-03-08 13:08 40K 
[ ]rewrite3__t98_rewrite32016-03-08 13:08 40K 
[ ]rewrite3__t99_rewrite32016-03-08 13:08 43K 
[ ]rewrite3__t100_rewrite32016-03-08 13:08 48K 
[ ]rewrite3__t101_rewrite32016-03-08 13:08 50K 
[ ]rewrite3__t102_rewrite32016-03-08 13:08 40K 
[ ]rewrite3__t103_rewrite32017-01-05 20:54 38K 
[ ]rewrite3__t104_rewrite32017-01-05 20:54 50K 
[ ]rewrite3__t105_rewrite32017-01-05 20:54 45K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80