Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/rewrite3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite3__t2_rewrite32025-09-13 16:51 44K 
[ ]rewrite3__t3_rewrite32025-09-13 16:52 47K 
[ ]rewrite3__t4_rewrite32025-09-13 16:53 87K 
[ ]rewrite3__t5_rewrite32025-09-13 16:55 58K 
[ ]rewrite3__t6_rewrite32025-09-13 16:56 60K 
[ ]rewrite3__t7_rewrite32025-09-13 16:58 62K 
[ ]rewrite3__t8_rewrite32025-09-13 16:59 52K 
[ ]rewrite3__t9_rewrite32025-09-13 17:00 57K 
[ ]rewrite3__t10_rewrite32025-09-13 17:02 62K 
[ ]rewrite3__t11_rewrite32025-09-13 17:03 54K 
[ ]rewrite3__t12_rewrite32025-09-13 17:04 72K 
[ ]rewrite3__t13_rewrite32025-09-13 17:06 40K 
[ ]rewrite3__t14_rewrite32025-09-13 17:07 48K 
[ ]rewrite3__t15_rewrite32025-09-13 17:08 48K 
[ ]rewrite3__t16_rewrite32025-09-13 16:21 41K 
[ ]rewrite3__t17_rewrite32025-09-13 16:22 42K 
[ ]rewrite3__t18_rewrite32025-09-13 17:10 49K 
[ ]rewrite3__t19_rewrite32025-09-13 17:11 54K 
[ ]rewrite3__t20_rewrite32025-09-13 16:24 52K 
[ ]rewrite3__t21_rewrite32025-09-13 17:13 46K 
[ ]rewrite3__t22_rewrite32025-09-13 16:25 46K 
[ ]rewrite3__t23_rewrite32025-09-13 17:14 53K 
[ ]rewrite3__t24_rewrite32025-09-13 16:26 46K 
[ ]rewrite3__t25_rewrite32025-09-13 17:16 46K 
[ ]rewrite3__t26_rewrite32025-09-13 16:28 45K 
[ ]rewrite3__t27_rewrite32025-09-13 17:17 47K 
[ ]rewrite3__t28_rewrite32025-09-13 17:19 53K 
[ ]rewrite3__t29_rewrite32025-09-13 17:20 58K 
[ ]rewrite3__t30_rewrite32025-09-13 17:22 56K 
[ ]rewrite3__t31_rewrite32025-09-13 17:23 46K 
[ ]rewrite3__t32_rewrite32025-09-13 17:24 58K 
[ ]rewrite3__t33_rewrite32025-09-13 17:26 47K 
[ ]rewrite3__t34_rewrite32025-09-13 17:27 52K 
[ ]rewrite3__t35_rewrite32025-09-13 17:29 51K 
[ ]rewrite3__t36_rewrite32025-09-13 17:30 51K 
[ ]rewrite3__t37_rewrite32025-09-13 17:32 52K 
[ ]rewrite3__t38_rewrite32025-09-13 17:33 52K 
[ ]rewrite3__t39_rewrite32025-09-13 17:35 51K 
[ ]rewrite3__t40_rewrite32025-09-13 17:36 58K 
[ ]rewrite3__t41_rewrite32025-09-13 17:38 52K 
[ ]rewrite3__t42_rewrite32025-09-13 17:39 61K 
[ ]rewrite3__t43_rewrite32025-09-13 17:41 58K 
[ ]rewrite3__t44_rewrite32025-09-13 17:43 52K 
[ ]rewrite3__t45_rewrite32025-09-13 17:44 46K 
[ ]rewrite3__t46_rewrite32025-09-13 17:45 46K 
[ ]rewrite3__t47_rewrite32025-09-13 17:47 60K 
[ ]rewrite3__t48_rewrite32025-09-13 17:48 56K 
[ ]rewrite3__t49_rewrite32025-09-13 17:50 64K 
[ ]rewrite3__t50_rewrite32025-09-13 17:51 60K 
[ ]rewrite3__t51_rewrite32025-09-13 17:53 92K 
[ ]rewrite3__t52_rewrite32025-09-13 17:55 95K 
[ ]rewrite3__t53_rewrite32025-09-13 17:57 65K 
[ ]rewrite3__t54_rewrite32025-09-13 17:59 192K 
[ ]rewrite3__t55_rewrite32025-09-13 18:00 66K 
[ ]rewrite3__t56_rewrite32025-09-13 18:02 64K 
[ ]rewrite3__t57_rewrite32025-09-13 18:03 50K 
[ ]rewrite3__t58_rewrite32025-09-13 18:05 52K 
[ ]rewrite3__t59_rewrite32025-09-13 18:06 60K 
[ ]rewrite3__t60_rewrite32025-09-13 18:08 113K 
[ ]rewrite3__t61_rewrite32025-09-13 18:10 101K 
[ ]rewrite3__t62_rewrite32025-09-13 18:12 118K 
[ ]rewrite3__t63_rewrite32025-09-13 18:14 71K 
[ ]rewrite3__t64_rewrite32025-09-13 18:16 77K 
[ ]rewrite3__t65_rewrite32025-09-13 18:18 65K 
[ ]rewrite3__t66_rewrite32025-09-13 18:19 104K 
[ ]rewrite3__t67_rewrite32025-09-13 18:21 62K 
[ ]rewrite3__t68_rewrite32025-09-13 18:22 57K 
[ ]rewrite3__t69_rewrite32025-09-13 18:24 67K 
[ ]rewrite3__t70_rewrite32025-09-13 18:25 56K 
[ ]rewrite3__t71_rewrite32025-09-13 18:27 70K 
[ ]rewrite3__t72_rewrite32025-09-13 18:29 50K 
[ ]rewrite3__t73_rewrite32025-09-13 18:30 52K 
[ ]rewrite3__t74_rewrite32025-09-13 18:32 50K 
[ ]rewrite3__t75_rewrite32025-09-13 18:33 56K 
[ ]rewrite3__t76_rewrite32025-09-13 18:35 63K 
[ ]rewrite3__t77_rewrite32025-09-13 18:36 60K 
[ ]rewrite3__t78_rewrite32025-09-13 18:38 57K 
[ ]rewrite3__t79_rewrite32025-09-13 18:39 70K 
[ ]rewrite3__t80_rewrite32025-09-13 18:41 54K 
[ ]rewrite3__t81_rewrite32025-09-13 16:29 47K 
[ ]rewrite3__t82_rewrite32025-09-13 16:30 46K 
[ ]rewrite3__t83_rewrite32025-09-13 16:32 46K 
[ ]rewrite3__t84_rewrite32025-09-13 16:33 49K 
[ ]rewrite3__t85_rewrite32025-09-13 16:34 51K 
[ ]rewrite3__t86_rewrite32025-09-13 16:36 50K 
[ ]rewrite3__t87_rewrite32025-09-13 16:37 51K 
[ ]rewrite3__t88_rewrite32025-09-13 16:39 50K 
[ ]rewrite3__t89_rewrite32025-09-13 18:43 58K 
[ ]rewrite3__t90_rewrite32025-09-13 18:44 63K 
[ ]rewrite3__t91_rewrite32025-09-13 18:46 58K 
[ ]rewrite3__t92_rewrite32025-09-13 18:47 60K 
[ ]rewrite3__t93_rewrite32025-09-13 16:40 47K 
[ ]rewrite3__t94_rewrite32025-09-13 16:41 50K 
[ ]rewrite3__t95_rewrite32025-09-13 16:43 49K 
[ ]rewrite3__t96_rewrite32025-09-13 18:49 52K 
[ ]rewrite3__t97_rewrite32025-09-13 16:44 49K 
[ ]rewrite3__t98_rewrite32025-09-13 16:45 52K 
[ ]rewrite3__t99_rewrite32025-09-13 18:50 52K 
[ ]rewrite3__t100_rewrite32025-09-13 16:47 55K 
[ ]rewrite3__t101_rewrite32025-09-13 16:48 60K 
[ ]rewrite3__t102_rewrite32025-09-13 16:50 49K 
[ ]rewrite3__t103_rewrite32025-09-13 18:52 46K 
[ ]rewrite3__t104_rewrite32025-09-13 18:53 56K 
[ ]rewrite3__t105_rewrite32025-09-13 18:55 50K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80