Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rewrite2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite2__t52_rewrite2.depv12021-07-25 20:57 25  
[ ]rewrite2__t52_rewrite2.depvmin12021-07-25 21:03 25  
[ ]rewrite2__t53_rewrite2.depv12021-07-25 20:57 25  
[ ]rewrite2__t53_rewrite2.depvmin12021-07-25 21:03 25  
[ ]rewrite2__t54_rewrite2.depv12021-07-25 20:57 25  
[ ]rewrite2__t54_rewrite2.depvmin12021-07-25 21:03 25  
[ ]rewrite2__t17_rewrite2.depv12021-07-25 20:57 38  
[ ]rewrite2__t17_rewrite2.depvmin12021-07-25 21:03 38  
[ ]rewrite2__t14_rewrite2.depvmin12021-07-25 21:03 39  
[ ]rewrite2__t34_rewrite2.depvmin12021-07-25 21:03 39  
[ ]rewrite2__t56_rewrite2.depv12021-07-25 20:57 51  
[ ]rewrite2__t56_rewrite2.depvmin12021-07-25 21:03 51  
[ ]rewrite2__t14_rewrite2.depv12021-07-25 20:57 64  
[ ]rewrite2__t34_rewrite2.depv12021-07-25 20:57 64  
[ ]rewrite2__t13_rewrite2.depvmin12021-07-25 21:03 65  
[ ]rewrite2__t37_rewrite2.depv12021-07-25 20:57 65  
[ ]rewrite2__t37_rewrite2.depvmin12021-07-25 21:03 65  
[ ]rewrite2__t55_rewrite2.depvmin12021-07-25 21:03 68  
[ ]rewrite2__t46_rewrite2.depv12021-07-25 20:57 72  
[ ]rewrite2__t46_rewrite2.depvmin12021-07-25 21:03 72  
[ ]rewrite2__t30_rewrite2.depvmin12021-07-25 21:03 77  
[ ]rewrite2__t32_rewrite2.depv12021-07-25 20:57 77  
[ ]rewrite2__t32_rewrite2.depvmin12021-07-25 21:03 77  
[ ]rewrite2__t35_rewrite2.depv12021-07-25 20:57 77  
[ ]rewrite2__t35_rewrite2.depvmin12021-07-25 21:03 77  
[ ]rewrite2__t38_rewrite2.depvmin12021-07-25 21:03 78  
[ ]rewrite2__t43_rewrite2.depv12021-07-25 20:57 78  
[ ]rewrite2__t43_rewrite2.depvmin12021-07-25 21:03 78  
[ ]rewrite2__t59_rewrite2.depv12021-07-25 20:57 78  
[ ]rewrite2__t59_rewrite2.depvmin12021-07-25 21:03 78  
[ ]rewrite2__t47_rewrite2.depv12021-07-25 20:57 85  
[ ]rewrite2__t47_rewrite2.depvmin12021-07-25 21:03 85  
[ ]rewrite2__t15_rewrite2.depv12021-07-25 20:57 88  
[ ]rewrite2__t15_rewrite2.depvmin12021-07-25 21:03 88  
[ ]rewrite2__t13_rewrite2.depv12021-07-25 20:57 89  
[ ]rewrite2__t24_rewrite2.depv12021-07-25 20:57 91  
[ ]rewrite2__t24_rewrite2.depvmin12021-07-25 21:03 91  
[ ]rewrite2__t19_rewrite2.depv12021-07-25 20:57 102  
[ ]rewrite2__t19_rewrite2.depvmin12021-07-25 21:03 102  
[ ]rewrite2__t30_rewrite2.depv12021-07-25 20:57 102  
[ ]rewrite2__t38_rewrite2.depv12021-07-25 20:57 102  
[ ]rewrite2__t48_rewrite2.depv12021-07-25 20:57 108  
[ ]rewrite2__t48_rewrite2.depvmin12021-07-25 21:03 108  
[ ]rewrite2__t20_rewrite2.depv12021-07-25 20:57 111  
[ ]rewrite2__t20_rewrite2.depvmin12021-07-25 21:03 111  
[ ]rewrite2__t29_rewrite2.depvmin12021-07-25 21:03 112  
[ ]rewrite2__t40_rewrite2.depv12021-07-25 20:57 115  
[ ]rewrite2__t40_rewrite2.depvmin12021-07-25 21:03 115  
[ ]rewrite2__t42_rewrite2.depv12021-07-25 20:57 118  
[ ]rewrite2__t42_rewrite2.depvmin12021-07-25 21:03 118  
[ ]rewrite2__t55_rewrite2.depv12021-07-25 20:57 118  
[ ]rewrite2__t18_rewrite2.depv12021-07-25 20:57 129  
[ ]rewrite2__t18_rewrite2.depvmin12021-07-25 21:03 129  
[ ]rewrite2__t6_rewrite2.depv12021-07-25 20:57 134  
[ ]rewrite2__t6_rewrite2.depvmin12021-07-25 21:03 134  
[ ]rewrite2__t29_rewrite2.depv12021-07-25 20:57 137  
[ ]rewrite2__t57_rewrite2.depv12021-07-25 20:57 138  
[ ]rewrite2__t57_rewrite2.depvmin12021-07-25 21:03 138  
[ ]rewrite2__t5_rewrite2.depv12021-07-25 20:57 143  
[ ]rewrite2__t5_rewrite2.depvmin12021-07-25 21:03 143  
[ ]rewrite2__t16_rewrite2.depv12021-07-25 20:57 148  
[ ]rewrite2__t16_rewrite2.depvmin12021-07-25 21:03 148  
[ ]rewrite2__t51_rewrite2.depv12021-07-25 20:57 151  
[ ]rewrite2__t51_rewrite2.depvmin12021-07-25 21:03 151  
[ ]rewrite2__t50_rewrite2.depv12021-07-25 20:57 172  
[ ]rewrite2__t50_rewrite2.depvmin12021-07-25 21:03 172  
[ ]rewrite2__t33_rewrite2.depv12021-07-25 20:57 176  
[ ]rewrite2__t33_rewrite2.depvmin12021-07-25 21:03 176  
[ ]rewrite2__t41_rewrite2.depv12021-07-25 20:57 195  
[ ]rewrite2__t41_rewrite2.depvmin12021-07-25 21:03 195  
[ ]rewrite2__t39_rewrite2.depv12021-07-25 20:57 221  
[ ]rewrite2__t39_rewrite2.depvmin12021-07-25 21:03 221  
[ ]rewrite2__t1_rewrite2.depvmin12021-07-25 21:03 261  
[ ]rewrite2__t1_rewrite2.depv12021-07-25 20:57 286  
[ ]rewrite2__t52_rewrite2.vmin12021-07-25 20:57 556  
[ ]rewrite2__t53_rewrite2.vmin12021-07-25 20:57 679  
[ ]rewrite2__t54_rewrite2.vmin12021-07-25 20:57 801  
[ ]rewrite2__t46_rewrite2.vmin12021-07-25 20:57 925  
[ ]rewrite2__t34_rewrite2.vmin12021-07-25 20:57 944  
[ ]rewrite2__t32_rewrite2.vmin12021-07-25 20:57 1.0K 
[ ]rewrite2__t47_rewrite2.vmin12021-07-25 20:57 1.0K 
[ ]rewrite2__t37_rewrite2.vmin12021-07-25 20:57 1.1K 
[ ]rewrite2__t24_rewrite2.vmin12021-07-25 20:57 1.2K 
[ ]rewrite2__t14_rewrite2.vmin12021-07-25 20:57 1.2K 
[ ]rewrite2__t35_rewrite2.vmin12021-07-25 20:57 1.2K 
[ ]rewrite2__t43_rewrite2.vmin12021-07-25 20:57 1.2K 
[ ]rewrite2__t13_rewrite2.vmin12021-07-25 20:57 1.3K 
[ ]rewrite2__t17_rewrite2.vmin12021-07-25 20:57 1.3K 
[ ]rewrite2__t51_rewrite2.vmin12021-07-25 20:57 1.3K 
[ ]rewrite2__t56_rewrite2.vmin12021-07-25 20:57 1.4K 
[ ]rewrite2__t42_rewrite2.vmin12021-07-25 20:57 1.4K 
[ ]rewrite2__t15_rewrite2.vmin12021-07-25 20:57 1.4K 
[ ]rewrite2__t29_rewrite2.vmin12021-07-25 20:57 1.4K 
[ ]rewrite2__t55_rewrite2.vmin12021-07-25 20:57 1.4K 
[ ]rewrite2__t20_rewrite2.vmin12021-07-25 20:57 1.5K 
[ ]rewrite2__t59_rewrite2.vmin12021-07-25 20:57 1.6K 
[ ]rewrite2__t50_rewrite2.vmin12021-07-25 20:57 1.6K 
[ ]rewrite2__t16_rewrite2.vmin12021-07-25 20:57 1.6K 
[ ]rewrite2__t18_rewrite2.vmin12021-07-25 20:57 1.7K 
[ ]rewrite2__t38_rewrite2.vmin12021-07-25 20:57 1.7K 
[ ]rewrite2__t40_rewrite2.vmin12021-07-25 20:57 1.8K 
[ ]rewrite2__t48_rewrite2.vmin12021-07-25 20:57 1.8K 
[ ]rewrite2__t19_rewrite2.vmin12021-07-25 20:57 1.9K 
[ ]rewrite2__t33_rewrite2.vmin12021-07-25 20:57 2.0K 
[ ]rewrite2__t6_rewrite2.vmin12021-07-25 20:57 2.0K 
[ ]rewrite2__t1_rewrite2.vmin12021-07-25 20:57 2.3K 
[ ]rewrite2__t41_rewrite2.vmin12021-07-25 20:57 2.3K 
[ ]rewrite2__t30_rewrite2.vmin12021-07-25 20:57 2.3K 
[ ]rewrite2__t57_rewrite2.vmin12021-07-25 20:57 2.4K 
[ ]rewrite2__t5_rewrite2.vmin12021-07-25 20:57 3.0K 
[ ]rewrite2__t39_rewrite2.vmin12021-07-25 20:57 3.2K 
[ ]rewrite2__t49_rewrite2.vout2021-07-25 14:38 3.7K 
[ ]rewrite2__t61_rewrite2.vout2021-07-25 15:09 3.7K 
[ ]rewrite2__t3_rewrite2.vout2021-07-25 16:36 3.7K 
[ ]rewrite2__t7_rewrite2.vout2021-07-25 17:42 4.1K 
[ ]rewrite2__t8_rewrite2.vout2021-07-25 15:31 4.1K 
[ ]rewrite2__t11_rewrite2.vout2021-07-25 15:01 4.7K 
[ ]rewrite2__t44_rewrite2.vout2021-07-25 17:31 4.7K 
[ ]rewrite2__t52_rewrite2.vmin1out2021-07-25 21:01 5.4K 
[ ]rewrite2__t52_rewrite2.vout2021-07-25 16:38 6.5K 
[ ]rewrite2__t4_rewrite2.vout2021-07-25 15:39 6.8K 
[ ]rewrite2__t58_rewrite2.vout2021-07-25 17:01 6.8K 
[ ]rewrite2__t22_rewrite2.vout2021-07-25 14:31 6.8K 
[ ]rewrite2__t25_rewrite2.vout2021-07-25 14:52 6.8K 
[ ]rewrite2__t28_rewrite2.vout2021-07-25 14:42 6.8K 
[ ]rewrite2__t45_rewrite2.vout2021-07-25 15:57 6.8K 
[ ]rewrite2__t60_rewrite2.vout2021-07-25 19:55 6.8K 
[ ]rewrite2__t62_rewrite2.vout2021-07-25 19:00 6.8K 
[ ]rewrite2__t31_rewrite2.vout2021-07-25 18:08 6.8K 
[ ]rewrite2__t2_rewrite2.vout2021-07-25 15:00 7.3K 
[ ]rewrite2__t9_rewrite2.vout2021-07-25 18:56 7.3K 
[ ]rewrite2__t26_rewrite2.vout2021-07-25 18:39 7.3K 
[ ]rewrite2__t12_rewrite2.vout2021-07-25 19:36 7.3K 
[ ]rewrite2__t21_rewrite2.vout2021-07-25 15:28 7.3K 
[ ]rewrite2__t10_rewrite2.vout2021-07-25 20:08 7.4K 
[ ]rewrite2__t23_rewrite2.vout2021-07-25 20:10 7.4K 
[ ]rewrite2__t32_rewrite2.vmin1out2021-07-25 21:00 7.4K 
[ ]rewrite2__t32_rewrite2.vout2021-07-25 18:38 7.6K 
[ ]rewrite2__t36_rewrite2.vout2021-07-25 16:12 7.9K 
[ ]rewrite2__t34_rewrite2.vmin1out2021-07-25 21:02 8.4K 
[ ]rewrite2__t27_rewrite2.vout2021-07-25 18:15 8.4K 
[ ]rewrite2__t53_rewrite2.vmin1out2021-07-25 21:00 8.7K 
[ ]rewrite2__t53_rewrite2.vout2021-07-25 15:36 10K 
[ ]rewrite2__t43_rewrite2.vmin1out2021-07-25 21:02 11K 
[ ]rewrite2__t43_rewrite2.vout2021-07-25 15:18 11K 
[ ]rewrite2__t42_rewrite2.vmin1out2021-07-25 20:58 11K 
[ ]rewrite2__t42_rewrite2.vout2021-07-25 16:41 11K 
[ ]rewrite2__t54_rewrite2.vmin1out2021-07-25 21:02 11K 
[ ]rewrite2__t55_rewrite2.vmin1out2021-07-25 21:00 12K 
[ ]rewrite2__t34_rewrite2.vout2021-07-25 16:28 12K 
[ ]rewrite2__t47_rewrite2.vmin1out2021-07-25 20:59 12K 
[ ]rewrite2__t47_rewrite2.vout2021-07-25 15:38 12K 
[ ]rewrite2__t14_rewrite2.vmin1out2021-07-25 21:01 13K 
[ ]rewrite2__t24_rewrite2.vout2021-07-25 20:49 13K 
[ ]rewrite2__t35_rewrite2.vmin1out2021-07-25 21:00 13K 
[ ]rewrite2__t54_rewrite2.vout2021-07-25 17:59 14K 
[ ]rewrite2__t24_rewrite2.vmin1out2021-07-25 21:00 14K 
[ ]rewrite2__t35_rewrite2.vout2021-07-25 17:08 14K 
[ ]rewrite2__t18_rewrite2.vout2021-07-25 18:00 15K 
[ ]rewrite2__t16_rewrite2.vout2021-07-25 15:14 15K 
[ ]rewrite2__t13_rewrite2.vmin1out2021-07-25 20:58 15K 
[ ]rewrite2__t37_rewrite2.vmin1out2021-07-25 20:59 16K 
[ ]rewrite2__t37_rewrite2.vout2021-07-25 15:58 16K 
[ ]rewrite2__t56_rewrite2.vmin1out2021-07-25 21:01 16K 
[ ]rewrite2__t55_rewrite2.vout2021-07-25 17:40 16K 
[ ]rewrite2__t32_rewrite22021-07-17 21:46 17K 
[ ]rewrite2__t35_rewrite22021-07-17 21:46 17K 
[ ]rewrite2__t18_rewrite22021-07-17 21:45 17K 
[ ]rewrite2__t29_rewrite2.vmin1out2021-07-25 21:01 17K 
[ ]rewrite2__t40_rewrite2.vmin1out2021-07-25 21:00 17K 
[ ]rewrite2__t52_rewrite22021-07-17 21:47 17K 
[ ]rewrite2__t43_rewrite22021-07-17 21:47 17K 
[ ]rewrite2__t46_rewrite22021-07-17 22:06 17K 
[ ]rewrite2__t46_rewrite2.vmin1out2021-07-25 21:01 17K 
[ ]rewrite2__t53_rewrite22021-07-17 21:48 17K 
[ ]rewrite2__t47_rewrite22021-07-17 22:06 17K 
[ ]rewrite2__t42_rewrite22021-07-17 22:04 17K 
[ ]rewrite2__t54_rewrite22021-07-17 21:48 18K 
[ ]rewrite2__t40_rewrite22021-07-17 21:47 18K 
[ ]rewrite2__t18_rewrite2.vmin1out2021-07-25 21:01 18K 
[ ]rewrite2__t51_rewrite2.vmin1out2021-07-25 21:00 18K 
[ ]rewrite2__t46_rewrite2.vout2021-07-25 17:37 18K 
[ ]rewrite2__t56_rewrite22021-07-17 22:08 19K 
[ ]rewrite2__t37_rewrite22021-07-17 22:03 19K 
[ ]rewrite2__t13_rewrite22021-07-17 21:55 19K 
[ ]rewrite2__t48_rewrite22021-07-17 22:07 19K 
[ ]rewrite2__t16_rewrite22021-07-17 21:55 19K 
[ ]rewrite2__t14_rewrite2.vout2021-07-25 16:42 19K 
[ ]rewrite2__t20_rewrite22021-07-17 21:56 19K 
[ ]rewrite2__t15_rewrite22021-07-17 21:45 19K 
[ ]rewrite2__t38_rewrite22021-07-17 22:03 19K 
[ ]rewrite2__t50_rewrite22021-07-17 22:08 19K 
[ ]rewrite2__t19_rewrite22021-07-17 21:56 19K 
[ ]rewrite2__t12_rewrite22021-07-17 21:54 19K 
[ ]rewrite2__t11_rewrite22021-07-17 21:54 19K 
[ ]rewrite2__t59_rewrite2.vmin1out2021-07-25 20:58 19K 
[ ]rewrite2__t57_rewrite22021-07-17 22:09 20K 
[ ]rewrite2__t17_rewrite22021-07-17 21:45 20K 
[ ]rewrite2__t33_rewrite22021-07-17 22:02 20K 
[ ]rewrite2__t14_rewrite22021-07-17 21:55 20K 
[ ]rewrite2__t59_rewrite22021-07-17 21:49 20K 
[ ]rewrite2__t34_rewrite22021-07-17 21:46 20K 
[ ]rewrite2__t30_rewrite22021-07-17 22:01 20K 
[ ]rewrite2__t22_rewrite22021-07-17 21:57 20K 
[ ]rewrite2__t26_rewrite22021-07-17 21:59 20K 
[ ]rewrite2__t21_rewrite22021-07-17 21:57 20K 
[ ]rewrite2__t29_rewrite22021-07-17 22:00 21K 
[ ]rewrite2__t31_rewrite22021-07-17 22:01 21K 
[ ]rewrite2__t60_rewrite22021-07-17 22:10 21K 
[ ]rewrite2__t44_rewrite22021-07-17 22:05 21K 
[ ]rewrite2__t13_rewrite2.vout2021-07-25 19:08 21K 
[ ]rewrite2__t55_rewrite22021-07-17 21:49 22K 
[ ]rewrite2__t8_rewrite22021-07-17 21:52 22K 
[ ]rewrite2__t7_rewrite22021-07-17 21:52 22K 
[ ]rewrite2__t25_rewrite22021-07-17 21:59 22K 
[ ]rewrite2__t5_rewrite22021-07-17 21:51 22K 
[ ]rewrite2__t10_rewrite22021-07-17 21:53 22K 
[ ]rewrite2__t51_rewrite2.vout2021-07-25 18:14 22K 
[ ]rewrite2__t51_rewrite22021-07-17 22:08 22K 
[ ]rewrite2__t62_rewrite22021-07-17 22:11 22K 
[ ]rewrite2__t24_rewrite22021-07-17 21:58 22K 
[ ]rewrite2__t41_rewrite22021-07-17 22:04 22K 
[ ]rewrite2__t1_rewrite22021-07-17 21:49 23K 
[ ]rewrite2__t29_rewrite2.vout2021-07-25 20:56 23K 
[ ]rewrite2__t49_rewrite22021-07-17 22:07 23K 
[ ]rewrite2__t20_rewrite2.vmin1out2021-07-25 21:00 23K 
[ ]rewrite2__t59_rewrite2.vout2021-07-25 16:59 23K 
[ ]rewrite2__t20_rewrite2.vout2021-07-25 14:32 23K 
[ ]rewrite2__t16_rewrite2.vmin1out2021-07-25 21:00 24K 
[ ]rewrite2__t27_rewrite22021-07-17 22:00 24K 
[ ]rewrite2__t56_rewrite2.vout2021-07-25 20:31 24K 
[ ]rewrite2__t40_rewrite2.vout2021-07-25 14:39 24K 
[ ]rewrite2__t61_rewrite22021-07-17 22:10 25K 
[ ]rewrite2__t6_rewrite22021-07-17 21:52 25K 
[ ]rewrite2__t28_rewrite22021-07-17 22:00 26K 
[ ]rewrite2__t39_rewrite22021-07-17 22:04 26K 
[ ]rewrite2__t50_rewrite2.vout2021-07-25 14:59 26K 
[ ]rewrite2__t50_rewrite2.vmin1out2021-07-25 21:02 26K 
[ ]rewrite2__t33_rewrite2.vmin1out2021-07-25 20:59 27K 
[ ]rewrite2__t1_rewrite2.vmin1out2021-07-25 21:00 27K 
[ ]rewrite2__t48_rewrite2.vmin1out2021-07-25 21:00 27K 
[ ]rewrite2__t33_rewrite2.vout2021-07-25 17:50 27K 
[ ]rewrite2__t48_rewrite2.vout2021-07-25 18:13 27K 
[ ]rewrite2__t38_rewrite2.vmin1out2021-07-25 21:02 29K 
[ ]rewrite2__t1_rewrite2.vout2021-07-25 20:52 29K 
[ ]rewrite2__t4_rewrite22021-07-17 21:51 29K 
[ ]rewrite2__t2_rewrite22021-07-17 21:50 30K 
[ ]rewrite2__t15_rewrite2.vmin1out2021-07-25 20:59 30K 
[ ]rewrite2__t36_rewrite22021-07-17 22:02 30K 
[ ]rewrite2__t15_rewrite2.vout2021-07-25 19:41 30K 
[ ]rewrite2__t39_rewrite2.vmin1out2021-07-25 21:00 31K 
[ ]rewrite2__t38_rewrite2.vout2021-07-25 14:46 31K 
[ ]rewrite2__t17_rewrite2.vout2021-07-25 16:55 31K 
[ ]rewrite2__t6_rewrite2.vmin1out2021-07-25 21:00 32K 
[ ]rewrite2__t3_rewrite22021-07-17 21:50 33K 
[ ]rewrite2__t57_rewrite2.vmin1out2021-07-25 21:01 34K 
[ ]rewrite2__t6_rewrite2.vout2021-07-25 19:08 34K 
[ ]rewrite2__t23_rewrite22021-07-17 21:58 35K 
[ ]rewrite2__t9_rewrite22021-07-17 21:53 36K 
[ ]rewrite2__t17_rewrite2.vmin1out2021-07-25 21:00 38K 
[ ]rewrite2__t39_rewrite2.vout2021-07-25 19:34 38K 
[ ]rewrite2__t57_rewrite2.vout2021-07-25 17:09 38K 
[ ]rewrite2__t41_rewrite2.vout2021-07-25 17:59 41K 
[ ]rewrite2__t19_rewrite2.vout2021-07-25 17:44 45K 
[ ]rewrite2__t30_rewrite2.vmin1out2021-07-25 20:59 47K 
[ ]rewrite2__t5_rewrite2.vout2021-07-25 15:57 47K 
[ ]rewrite2__t45_rewrite22021-07-17 22:05 47K 
[ ]rewrite2__t58_rewrite22021-07-17 22:09 48K 
[ ]rewrite2__t19_rewrite2.vmin1out2021-07-25 20:58 48K 
[ ]rewrite2__t30_rewrite2.vout2021-07-25 18:45 51K 
[ ]rewrite2__t5_rewrite2.vmin1out2021-07-25 21:02 56K 
[ ]rewrite2__t41_rewrite2.vmin1out2021-07-25 20:59 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80