Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/rewrite3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite3__t1_rewrite32019-08-19 18:53 119K 
[ ]rewrite3__t2_rewrite32019-08-19 18:53 79K 
[ ]rewrite3__t3_rewrite32019-08-19 18:53 72K 
[ ]rewrite3__t4_rewrite32019-08-19 18:53 240K 
[ ]rewrite3__t5_rewrite32019-08-19 18:53 103K 
[ ]rewrite3__t6_rewrite32019-08-19 18:53 108K 
[ ]rewrite3__t7_rewrite32019-08-19 18:53 87K 
[ ]rewrite3__t8_rewrite32019-08-19 18:53 85K 
[ ]rewrite3__t9_rewrite32019-08-19 18:53 100K 
[ ]rewrite3__t10_rewrite32019-08-19 18:53 110K 
[ ]rewrite3__t11_rewrite32019-08-19 18:53 108K 
[ ]rewrite3__t12_rewrite32019-08-19 18:53 158K 
[ ]rewrite3__t13_rewrite32019-08-19 18:53 81K 
[ ]rewrite3__t14_rewrite32019-08-19 18:53 77K 
[ ]rewrite3__t15_rewrite32019-08-19 18:53 102K 
[ ]rewrite3__t16_rewrite32019-08-19 18:53 79K 
[ ]rewrite3__t17_rewrite32019-08-19 18:53 83K 
[ ]rewrite3__t18_rewrite32019-08-19 18:53 84K 
[ ]rewrite3__t19_rewrite32019-08-19 18:53 127K 
[ ]rewrite3__t20_rewrite32019-08-19 18:53 91K 
[ ]rewrite3__t21_rewrite32019-08-19 18:53 100K 
[ ]rewrite3__t22_rewrite32019-08-19 18:53 82K 
[ ]rewrite3__t23_rewrite32019-08-19 18:53 100K 
[ ]rewrite3__t24_rewrite32019-08-19 18:53 77K 
[ ]rewrite3__t25_rewrite32019-08-19 18:53 86K 
[ ]rewrite3__t26_rewrite32019-08-19 18:53 78K 
[ ]rewrite3__t27_rewrite32019-08-19 18:53 101K 
[ ]rewrite3__t28_rewrite32019-08-19 18:53 102K 
[ ]rewrite3__t29_rewrite32019-08-19 18:53 118K 
[ ]rewrite3__t30_rewrite32019-08-19 18:53 128K 
[ ]rewrite3__t31_rewrite32019-08-19 18:53 98K 
[ ]rewrite3__t32_rewrite32019-08-19 18:53 102K 
[ ]rewrite3__t33_rewrite32019-08-19 18:53 88K 
[ ]rewrite3__t34_rewrite32019-08-19 18:53 130K 
[ ]rewrite3__t35_rewrite32019-08-19 18:53 98K 
[ ]rewrite3__t36_rewrite32019-08-19 18:53 97K 
[ ]rewrite3__t37_rewrite32019-08-19 18:53 96K 
[ ]rewrite3__t38_rewrite32019-08-19 18:53 105K 
[ ]rewrite3__t39_rewrite32019-08-19 18:53 109K 
[ ]rewrite3__t40_rewrite32019-08-19 18:53 96K 
[ ]rewrite3__t41_rewrite32019-08-19 18:53 105K 
[ ]rewrite3__t42_rewrite32019-08-19 18:53 106K 
[ ]rewrite3__t43_rewrite32019-08-19 18:53 91K 
[ ]rewrite3__t44_rewrite32019-08-19 18:53 115K 
[ ]rewrite3__t45_rewrite32019-08-19 18:53 96K 
[ ]rewrite3__t46_rewrite32019-08-19 18:53 73K 
[ ]rewrite3__t47_rewrite32019-08-19 18:53 106K 
[ ]rewrite3__t48_rewrite32019-08-19 18:53 99K 
[ ]rewrite3__t49_rewrite32019-08-19 18:53 146K 
[ ]rewrite3__t50_rewrite32019-08-19 18:53 117K 
[ ]rewrite3__t51_rewrite32019-08-19 18:53 206K 
[ ]rewrite3__t52_rewrite32019-08-19 18:53 293K 
[ ]rewrite3__t53_rewrite32019-08-19 18:53 134K 
[ ]rewrite3__t54_rewrite32019-08-19 18:53 554K 
[ ]rewrite3__t55_rewrite32019-08-19 18:53 152K 
[ ]rewrite3__t56_rewrite32019-08-19 18:53 131K 
[ ]rewrite3__t57_rewrite32019-08-19 18:53 100K 
[ ]rewrite3__t58_rewrite32019-08-19 18:53 109K 
[ ]rewrite3__t59_rewrite32019-08-19 18:53 113K 
[ ]rewrite3__t60_rewrite32019-08-19 18:53 274K 
[ ]rewrite3__t61_rewrite32019-08-19 18:53 262K 
[ ]rewrite3__t62_rewrite32019-08-19 18:53 377K 
[ ]rewrite3__t63_rewrite32019-08-19 18:53 136K 
[ ]rewrite3__t64_rewrite32019-08-19 18:53 201K 
[ ]rewrite3__t65_rewrite32019-08-19 18:53 132K 
[ ]rewrite3__t66_rewrite32019-08-19 18:53 412K 
[ ]rewrite3__t67_rewrite32019-08-19 18:53 147K 
[ ]rewrite3__t68_rewrite32019-08-19 18:53 99K 
[ ]rewrite3__t69_rewrite32019-08-19 18:53 183K 
[ ]rewrite3__t70_rewrite32019-08-19 18:53 102K 
[ ]rewrite3__t71_rewrite32019-08-19 18:53 286K 
[ ]rewrite3__t72_rewrite32019-08-19 18:53 93K 
[ ]rewrite3__t73_rewrite32019-08-19 18:53 101K 
[ ]rewrite3__t74_rewrite32019-08-19 18:53 88K 
[ ]rewrite3__t75_rewrite32019-08-19 18:53 100K 
[ ]rewrite3__t76_rewrite32019-08-19 18:53 112K 
[ ]rewrite3__t77_rewrite32019-08-19 18:53 112K 
[ ]rewrite3__t78_rewrite32019-08-19 18:53 98K 
[ ]rewrite3__t79_rewrite32019-08-19 18:53 135K 
[ ]rewrite3__t80_rewrite32019-08-19 18:53 122K 
[ ]rewrite3__t81_rewrite32019-08-19 18:53 109K 
[ ]rewrite3__t82_rewrite32019-08-19 18:53 76K 
[ ]rewrite3__t83_rewrite32019-08-19 18:53 101K 
[ ]rewrite3__t84_rewrite32019-08-19 18:53 85K 
[ ]rewrite3__t85_rewrite32019-08-19 18:53 93K 
[ ]rewrite3__t86_rewrite32019-08-19 18:53 105K 
[ ]rewrite3__t87_rewrite32019-08-19 18:53 86K 
[ ]rewrite3__t88_rewrite32019-08-19 18:53 94K 
[ ]rewrite3__t89_rewrite32019-08-19 18:53 81K 
[ ]rewrite3__t90_rewrite32019-08-19 18:53 98K 
[ ]rewrite3__t91_rewrite32019-08-19 18:53 108K 
[ ]rewrite3__t92_rewrite32019-08-19 18:53 106K 
[ ]rewrite3__t93_rewrite32019-08-19 18:53 94K 
[ ]rewrite3__t94_rewrite32019-08-19 18:53 98K 
[ ]rewrite3__t95_rewrite32019-08-19 18:53 64K 
[ ]rewrite3__t96_rewrite32019-08-19 18:53 86K 
[ ]rewrite3__t97_rewrite32019-08-19 18:53 72K 
[ ]rewrite3__t98_rewrite32019-08-19 18:53 73K 
[ ]rewrite3__t99_rewrite32019-08-19 18:53 101K 
[ ]rewrite3__t100_rewrite32019-08-19 18:53 88K 
[ ]rewrite3__t101_rewrite32019-08-19 18:53 92K 
[ ]rewrite3__t102_rewrite32019-08-19 18:53 79K 
[ ]rewrite3__t103_rewrite32019-08-19 18:53 80K 
[ ]rewrite3__t104_rewrite32019-08-19 18:53 99K 
[ ]rewrite3__t105_rewrite32019-08-19 18:53 164K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80