Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/rewrite3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite3__t1_rewrite32021-07-19 04:40 58K 
[ ]rewrite3__t2_rewrite32021-07-19 04:40 40K 
[ ]rewrite3__t3_rewrite32021-07-19 04:40 46K 
[ ]rewrite3__t4_rewrite32021-07-19 04:41 86K 
[ ]rewrite3__t5_rewrite32021-07-19 04:41 53K 
[ ]rewrite3__t6_rewrite32021-07-19 04:42 55K 
[ ]rewrite3__t7_rewrite32021-07-19 04:42 56K 
[ ]rewrite3__t8_rewrite32021-07-19 04:43 51K 
[ ]rewrite3__t9_rewrite32021-07-19 04:43 56K 
[ ]rewrite3__t10_rewrite32021-07-19 04:44 61K 
[ ]rewrite3__t11_rewrite32021-07-19 04:44 53K 
[ ]rewrite3__t12_rewrite32021-07-19 04:45 71K 
[ ]rewrite3__t13_rewrite32021-07-19 04:45 39K 
[ ]rewrite3__t14_rewrite32021-07-19 04:46 47K 
[ ]rewrite3__t15_rewrite32021-07-19 04:46 46K 
[ ]rewrite3__t16_rewrite32021-07-19 04:29 40K 
[ ]rewrite3__t17_rewrite32021-07-19 04:29 41K 
[ ]rewrite3__t18_rewrite32021-07-19 04:47 48K 
[ ]rewrite3__t19_rewrite32021-07-19 04:47 52K 
[ ]rewrite3__t20_rewrite32021-07-19 04:30 51K 
[ ]rewrite3__t21_rewrite32021-07-19 04:48 44K 
[ ]rewrite3__t22_rewrite32021-07-19 04:30 44K 
[ ]rewrite3__t23_rewrite32021-07-19 04:48 51K 
[ ]rewrite3__t24_rewrite32021-07-19 04:31 45K 
[ ]rewrite3__t25_rewrite32021-07-19 04:49 45K 
[ ]rewrite3__t26_rewrite32021-07-19 04:31 44K 
[ ]rewrite3__t27_rewrite32021-07-19 04:49 45K 
[ ]rewrite3__t28_rewrite32021-07-19 04:50 51K 
[ ]rewrite3__t29_rewrite32021-07-19 04:50 56K 
[ ]rewrite3__t30_rewrite32021-07-19 04:51 55K 
[ ]rewrite3__t31_rewrite32021-07-19 04:51 45K 
[ ]rewrite3__t32_rewrite32021-07-19 04:52 56K 
[ ]rewrite3__t33_rewrite32021-07-19 04:52 45K 
[ ]rewrite3__t34_rewrite32021-07-19 04:53 51K 
[ ]rewrite3__t35_rewrite32021-07-19 04:53 50K 
[ ]rewrite3__t36_rewrite32021-07-19 04:54 50K 
[ ]rewrite3__t37_rewrite32021-07-19 04:54 51K 
[ ]rewrite3__t38_rewrite32021-07-19 04:55 50K 
[ ]rewrite3__t39_rewrite32021-07-19 04:56 50K 
[ ]rewrite3__t40_rewrite32021-07-19 04:56 56K 
[ ]rewrite3__t41_rewrite32021-07-19 04:57 51K 
[ ]rewrite3__t42_rewrite32021-07-19 04:57 60K 
[ ]rewrite3__t43_rewrite32021-07-19 04:58 56K 
[ ]rewrite3__t44_rewrite32021-07-19 04:58 50K 
[ ]rewrite3__t45_rewrite32021-07-19 04:59 45K 
[ ]rewrite3__t46_rewrite32021-07-19 04:59 45K 
[ ]rewrite3__t47_rewrite32021-07-19 05:00 59K 
[ ]rewrite3__t48_rewrite32021-07-19 05:00 55K 
[ ]rewrite3__t49_rewrite32021-07-19 05:01 63K 
[ ]rewrite3__t50_rewrite32021-07-19 05:01 59K 
[ ]rewrite3__t51_rewrite32021-07-19 05:02 90K 
[ ]rewrite3__t52_rewrite32021-07-19 05:03 94K 
[ ]rewrite3__t53_rewrite32021-07-19 05:03 63K 
[ ]rewrite3__t54_rewrite32021-07-19 05:04 185K 
[ ]rewrite3__t55_rewrite32021-07-19 05:05 64K 
[ ]rewrite3__t56_rewrite32021-07-19 05:05 63K 
[ ]rewrite3__t57_rewrite32021-07-19 05:06 49K 
[ ]rewrite3__t58_rewrite32021-07-19 05:06 51K 
[ ]rewrite3__t59_rewrite32021-07-19 05:07 58K 
[ ]rewrite3__t60_rewrite32021-07-19 05:07 108K 
[ ]rewrite3__t61_rewrite32021-07-19 05:08 99K 
[ ]rewrite3__t62_rewrite32021-07-19 05:09 113K 
[ ]rewrite3__t63_rewrite32021-07-19 05:09 70K 
[ ]rewrite3__t64_rewrite32021-07-19 05:10 75K 
[ ]rewrite3__t65_rewrite32021-07-19 05:11 63K 
[ ]rewrite3__t66_rewrite32021-07-19 05:11 98K 
[ ]rewrite3__t67_rewrite32021-07-19 05:12 61K 
[ ]rewrite3__t68_rewrite32021-07-19 05:12 55K 
[ ]rewrite3__t69_rewrite32021-07-19 05:13 65K 
[ ]rewrite3__t70_rewrite32021-07-19 05:13 55K 
[ ]rewrite3__t71_rewrite32021-07-19 05:14 68K 
[ ]rewrite3__t72_rewrite32021-07-19 05:15 49K 
[ ]rewrite3__t73_rewrite32021-07-19 05:15 51K 
[ ]rewrite3__t74_rewrite32021-07-19 05:16 49K 
[ ]rewrite3__t75_rewrite32021-07-19 05:16 55K 
[ ]rewrite3__t76_rewrite32021-07-19 05:17 61K 
[ ]rewrite3__t77_rewrite32021-07-19 05:17 59K 
[ ]rewrite3__t78_rewrite32021-07-19 05:18 56K 
[ ]rewrite3__t79_rewrite32021-07-19 05:18 68K 
[ ]rewrite3__t80_rewrite32021-07-19 05:19 52K 
[ ]rewrite3__t81_rewrite32021-07-19 04:32 46K 
[ ]rewrite3__t82_rewrite32021-07-19 04:32 45K 
[ ]rewrite3__t83_rewrite32021-07-19 04:33 45K 
[ ]rewrite3__t84_rewrite32021-07-19 04:33 48K 
[ ]rewrite3__t85_rewrite32021-07-19 04:34 50K 
[ ]rewrite3__t86_rewrite32021-07-19 04:34 49K 
[ ]rewrite3__t87_rewrite32021-07-19 04:35 49K 
[ ]rewrite3__t88_rewrite32021-07-19 04:35 49K 
[ ]rewrite3__t89_rewrite32021-07-19 05:19 56K 
[ ]rewrite3__t90_rewrite32021-07-19 05:20 62K 
[ ]rewrite3__t91_rewrite32021-07-19 05:21 56K 
[ ]rewrite3__t92_rewrite32021-07-19 05:21 59K 
[ ]rewrite3__t93_rewrite32021-07-19 04:36 46K 
[ ]rewrite3__t94_rewrite32021-07-19 04:36 48K 
[ ]rewrite3__t95_rewrite32021-07-19 04:36 47K 
[ ]rewrite3__t96_rewrite32021-07-19 05:22 50K 
[ ]rewrite3__t97_rewrite32021-07-19 04:37 48K 
[ ]rewrite3__t98_rewrite32021-07-19 04:37 51K 
[ ]rewrite3__t99_rewrite32021-07-19 05:22 51K 
[ ]rewrite3__t100_rewrite32021-07-19 04:38 53K 
[ ]rewrite3__t101_rewrite32021-07-19 04:39 58K 
[ ]rewrite3__t102_rewrite32021-07-19 04:39 48K 
[ ]rewrite3__t103_rewrite32021-07-19 05:23 45K 
[ ]rewrite3__t104_rewrite32021-07-19 05:23 54K 
[ ]rewrite3__t105_rewrite32021-07-19 05:24 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80