Index of /~mptp/mml5.63.1382/MPTP2/problems/rewrite3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite3__t1_rewrite32023-06-28 15:54 58K 
[ ]rewrite3__t2_rewrite32023-06-28 15:55 40K 
[ ]rewrite3__t3_rewrite32023-06-28 15:55 46K 
[ ]rewrite3__t4_rewrite32023-06-28 15:56 87K 
[ ]rewrite3__t5_rewrite32023-06-28 15:56 53K 
[ ]rewrite3__t6_rewrite32023-06-28 15:57 55K 
[ ]rewrite3__t7_rewrite32023-06-28 15:57 56K 
[ ]rewrite3__t8_rewrite32023-06-28 15:57 51K 
[ ]rewrite3__t9_rewrite32023-06-28 15:58 57K 
[ ]rewrite3__t10_rewrite32023-06-28 15:58 61K 
[ ]rewrite3__t11_rewrite32023-06-28 15:59 53K 
[ ]rewrite3__t12_rewrite32023-06-28 15:59 72K 
[ ]rewrite3__t13_rewrite32023-06-28 16:00 39K 
[ ]rewrite3__t14_rewrite32023-06-28 16:00 47K 
[ ]rewrite3__t15_rewrite32023-06-28 16:00 46K 
[ ]rewrite3__t16_rewrite32023-06-28 15:45 40K 
[ ]rewrite3__t17_rewrite32023-06-28 15:45 41K 
[ ]rewrite3__t18_rewrite32023-06-28 16:01 48K 
[ ]rewrite3__t19_rewrite32023-06-28 16:01 52K 
[ ]rewrite3__t20_rewrite32023-06-28 15:45 51K 
[ ]rewrite3__t21_rewrite32023-06-28 16:02 44K 
[ ]rewrite3__t22_rewrite32023-06-28 15:46 44K 
[ ]rewrite3__t23_rewrite32023-06-28 16:02 51K 
[ ]rewrite3__t24_rewrite32023-06-28 15:46 45K 
[ ]rewrite3__t25_rewrite32023-06-28 16:03 45K 
[ ]rewrite3__t26_rewrite32023-06-28 15:47 44K 
[ ]rewrite3__t27_rewrite32023-06-28 16:03 45K 
[ ]rewrite3__t28_rewrite32023-06-28 16:04 51K 
[ ]rewrite3__t29_rewrite32023-06-28 16:04 56K 
[ ]rewrite3__t30_rewrite32023-06-28 16:05 54K 
[ ]rewrite3__t31_rewrite32023-06-28 16:05 45K 
[ ]rewrite3__t32_rewrite32023-06-28 16:06 56K 
[ ]rewrite3__t33_rewrite32023-06-28 16:06 45K 
[ ]rewrite3__t34_rewrite32023-06-28 16:07 51K 
[ ]rewrite3__t35_rewrite32023-06-28 16:07 50K 
[ ]rewrite3__t36_rewrite32023-06-28 16:08 50K 
[ ]rewrite3__t37_rewrite32023-06-28 16:08 51K 
[ ]rewrite3__t38_rewrite32023-06-28 16:09 50K 
[ ]rewrite3__t39_rewrite32023-06-28 16:09 50K 
[ ]rewrite3__t40_rewrite32023-06-28 16:10 56K 
[ ]rewrite3__t41_rewrite32023-06-28 16:10 51K 
[ ]rewrite3__t42_rewrite32023-06-28 16:11 60K 
[ ]rewrite3__t43_rewrite32023-06-28 16:11 56K 
[ ]rewrite3__t44_rewrite32023-06-28 16:12 50K 
[ ]rewrite3__t45_rewrite32023-06-28 16:12 45K 
[ ]rewrite3__t46_rewrite32023-06-28 16:12 45K 
[ ]rewrite3__t47_rewrite32023-06-28 16:13 59K 
[ ]rewrite3__t48_rewrite32023-06-28 16:13 55K 
[ ]rewrite3__t49_rewrite32023-06-28 16:14 63K 
[ ]rewrite3__t50_rewrite32023-06-28 16:14 58K 
[ ]rewrite3__t51_rewrite32023-06-28 16:15 91K 
[ ]rewrite3__t52_rewrite32023-06-28 16:15 94K 
[ ]rewrite3__t53_rewrite32023-06-28 16:16 63K 
[ ]rewrite3__t54_rewrite32023-06-28 16:17 190K 
[ ]rewrite3__t55_rewrite32023-06-28 16:17 64K 
[ ]rewrite3__t56_rewrite32023-06-28 16:18 62K 
[ ]rewrite3__t57_rewrite32023-06-28 16:18 49K 
[ ]rewrite3__t58_rewrite32023-06-28 16:19 51K 
[ ]rewrite3__t59_rewrite32023-06-28 16:19 58K 
[ ]rewrite3__t60_rewrite32023-06-28 16:20 109K 
[ ]rewrite3__t61_rewrite32023-06-28 16:20 100K 
[ ]rewrite3__t62_rewrite32023-06-28 16:21 114K 
[ ]rewrite3__t63_rewrite32023-06-28 16:22 69K 
[ ]rewrite3__t64_rewrite32023-06-28 16:22 75K 
[ ]rewrite3__t65_rewrite32023-06-28 16:23 63K 
[ ]rewrite3__t66_rewrite32023-06-28 16:23 98K 
[ ]rewrite3__t67_rewrite32023-06-28 16:24 61K 
[ ]rewrite3__t68_rewrite32023-06-28 16:24 55K 
[ ]rewrite3__t69_rewrite32023-06-28 16:25 65K 
[ ]rewrite3__t70_rewrite32023-06-28 16:25 55K 
[ ]rewrite3__t71_rewrite32023-06-28 16:26 68K 
[ ]rewrite3__t72_rewrite32023-06-28 16:26 49K 
[ ]rewrite3__t73_rewrite32023-06-28 16:27 51K 
[ ]rewrite3__t74_rewrite32023-06-28 16:27 49K 
[ ]rewrite3__t75_rewrite32023-06-28 16:28 55K 
[ ]rewrite3__t76_rewrite32023-06-28 16:28 61K 
[ ]rewrite3__t77_rewrite32023-06-28 16:29 59K 
[ ]rewrite3__t78_rewrite32023-06-28 16:29 56K 
[ ]rewrite3__t79_rewrite32023-06-28 16:30 68K 
[ ]rewrite3__t80_rewrite32023-06-28 16:30 52K 
[ ]rewrite3__t81_rewrite32023-06-28 15:47 46K 
[ ]rewrite3__t82_rewrite32023-06-28 15:47 45K 
[ ]rewrite3__t83_rewrite32023-06-28 15:48 45K 
[ ]rewrite3__t84_rewrite32023-06-28 15:48 48K 
[ ]rewrite3__t85_rewrite32023-06-28 15:49 50K 
[ ]rewrite3__t86_rewrite32023-06-28 15:49 49K 
[ ]rewrite3__t87_rewrite32023-06-28 15:50 49K 
[ ]rewrite3__t88_rewrite32023-06-28 15:50 49K 
[ ]rewrite3__t89_rewrite32023-06-28 16:31 56K 
[ ]rewrite3__t90_rewrite32023-06-28 16:31 62K 
[ ]rewrite3__t91_rewrite32023-06-28 16:32 56K 
[ ]rewrite3__t92_rewrite32023-06-28 16:32 59K 
[ ]rewrite3__t93_rewrite32023-06-28 15:51 46K 
[ ]rewrite3__t94_rewrite32023-06-28 15:51 48K 
[ ]rewrite3__t95_rewrite32023-06-28 15:51 47K 
[ ]rewrite3__t96_rewrite32023-06-28 16:33 50K 
[ ]rewrite3__t97_rewrite32023-06-28 15:52 48K 
[ ]rewrite3__t98_rewrite32023-06-28 15:52 51K 
[ ]rewrite3__t99_rewrite32023-06-28 16:33 51K 
[ ]rewrite3__t100_rewrite32023-06-28 15:53 53K 
[ ]rewrite3__t101_rewrite32023-06-28 15:53 58K 
[ ]rewrite3__t102_rewrite32023-06-28 15:54 48K 
[ ]rewrite3__t103_rewrite32023-06-28 16:34 45K 
[ ]rewrite3__t104_rewrite32023-06-28 16:34 54K 
[ ]rewrite3__t105_rewrite32023-06-28 16:35 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80