Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/rewrite2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rewrite2__t1_rewrite22024-07-26 19:45 23K 
[ ]rewrite2__t1_rewrite2.depv12024-08-03 10:19 286  
[ ]rewrite2__t1_rewrite2.depvmin12024-08-03 10:24 261  
[ ]rewrite2__t1_rewrite2.vmin12024-08-03 10:19 2.3K 
[ ]rewrite2__t1_rewrite2.vmin1out2024-08-03 10:21 27K 
[ ]rewrite2__t1_rewrite2.vout2024-08-03 09:31 29K 
[ ]rewrite2__t2_rewrite22024-07-26 19:46 30K 
[ ]rewrite2__t2_rewrite2.vout2024-08-03 10:17 7.3K 
[ ]rewrite2__t3_rewrite22024-07-26 19:47 34K 
[ ]rewrite2__t3_rewrite2.vout2024-08-03 06:26 4.2K 
[ ]rewrite2__t4_rewrite22024-07-26 19:48 31K 
[ ]rewrite2__t4_rewrite2.vout2024-08-03 04:35 6.8K 
[ ]rewrite2__t5_rewrite22024-07-26 19:49 22K 
[ ]rewrite2__t5_rewrite2.depv12024-08-03 10:19 143  
[ ]rewrite2__t5_rewrite2.depvmin12024-08-03 10:24 143  
[ ]rewrite2__t5_rewrite2.vmin12024-08-03 10:19 3.0K 
[ ]rewrite2__t5_rewrite2.vmin1out2024-08-03 10:20 56K 
[ ]rewrite2__t5_rewrite2.vout2024-08-03 06:12 47K 
[ ]rewrite2__t6_rewrite22024-07-26 19:51 26K 
[ ]rewrite2__t6_rewrite2.vout2024-08-03 05:47 6.2K 
[ ]rewrite2__t7_rewrite22024-07-26 19:52 22K 
[ ]rewrite2__t7_rewrite2.vout2024-08-03 05:02 4.1K 
[ ]rewrite2__t8_rewrite22024-07-26 19:53 22K 
[ ]rewrite2__t8_rewrite2.vout2024-08-03 06:57 4.1K 
[ ]rewrite2__t9_rewrite22024-07-26 19:54 37K 
[ ]rewrite2__t9_rewrite2.vout2024-08-03 07:22 7.3K 
[ ]rewrite2__t10_rewrite22024-07-26 19:55 23K 
[ ]rewrite2__t10_rewrite2.vout2024-08-03 05:25 7.3K 
[ ]rewrite2__t11_rewrite22024-07-26 19:56 20K 
[ ]rewrite2__t11_rewrite2.vout2024-08-03 05:17 4.7K 
[ ]rewrite2__t12_rewrite22024-07-26 19:58 20K 
[ ]rewrite2__t12_rewrite2.vout2024-08-03 09:47 7.4K 
[ ]rewrite2__t13_rewrite22024-07-26 19:59 19K 
[ ]rewrite2__t13_rewrite2.depv12024-08-03 10:19 89  
[ ]rewrite2__t13_rewrite2.depvmin12024-08-03 10:24 65  
[ ]rewrite2__t13_rewrite2.vmin12024-08-03 10:19 1.3K 
[ ]rewrite2__t13_rewrite2.vmin1out2024-08-03 10:23 15K 
[ ]rewrite2__t13_rewrite2.vout2024-08-03 04:12 21K 
[ ]rewrite2__t14_rewrite22024-07-26 20:00 20K 
[ ]rewrite2__t14_rewrite2.depv12024-08-03 10:19 64  
[ ]rewrite2__t14_rewrite2.depvmin12024-08-03 10:24 39  
[ ]rewrite2__t14_rewrite2.vmin12024-08-03 10:19 1.2K 
[ ]rewrite2__t14_rewrite2.vmin1out2024-08-03 10:20 13K 
[ ]rewrite2__t14_rewrite2.vout2024-08-03 08:17 19K 
[ ]rewrite2__t15_rewrite22024-07-26 19:31 19K 
[ ]rewrite2__t15_rewrite2.depv12024-08-03 10:19 88  
[ ]rewrite2__t15_rewrite2.depvmin12024-08-03 10:24 88  
[ ]rewrite2__t15_rewrite2.vmin12024-08-03 10:19 1.4K 
[ ]rewrite2__t15_rewrite2.vmin1out2024-08-03 10:22 30K 
[ ]rewrite2__t15_rewrite2.vout2024-08-03 06:57 30K 
[ ]rewrite2__t16_rewrite22024-07-26 20:01 19K 
[ ]rewrite2__t16_rewrite2.depv12024-08-03 10:19 148  
[ ]rewrite2__t16_rewrite2.depvmin12024-08-03 10:24 148  
[ ]rewrite2__t16_rewrite2.vmin12024-08-03 10:19 1.6K 
[ ]rewrite2__t16_rewrite2.vmin1out2024-08-03 10:20 24K 
[ ]rewrite2__t16_rewrite2.vout2024-08-03 09:29 15K 
[ ]rewrite2__t17_rewrite22024-07-26 19:32 20K 
[ ]rewrite2__t17_rewrite2.depv12024-08-03 10:19 38  
[ ]rewrite2__t17_rewrite2.depvmin12024-08-03 10:24 38  
[ ]rewrite2__t17_rewrite2.vmin12024-08-03 10:19 1.3K 
[ ]rewrite2__t17_rewrite2.vmin1out2024-08-03 10:20 38K 
[ ]rewrite2__t17_rewrite2.vout2024-08-03 06:36 31K 
[ ]rewrite2__t18_rewrite22024-07-26 19:33 17K 
[ ]rewrite2__t18_rewrite2.depv12024-08-03 10:19 129  
[ ]rewrite2__t18_rewrite2.depvmin12024-08-03 10:24 129  
[ ]rewrite2__t18_rewrite2.vmin12024-08-03 10:19 1.7K 
[ ]rewrite2__t18_rewrite2.vmin1out2024-08-03 10:20 18K 
[ ]rewrite2__t18_rewrite2.vout2024-08-03 08:55 15K 
[ ]rewrite2__t19_rewrite22024-07-26 20:02 20K 
[ ]rewrite2__t19_rewrite2.depv12024-08-03 10:19 102  
[ ]rewrite2__t19_rewrite2.depvmin12024-08-03 10:24 102  
[ ]rewrite2__t19_rewrite2.vmin12024-08-03 10:19 1.9K 
[ ]rewrite2__t19_rewrite2.vmin1out2024-08-03 10:23 48K 
[ ]rewrite2__t19_rewrite2.vout2024-08-03 04:58 45K 
[ ]rewrite2__t20_rewrite22024-07-26 20:03 19K 
[ ]rewrite2__t20_rewrite2.depv12024-08-03 10:19 111  
[ ]rewrite2__t20_rewrite2.depvmin12024-08-03 10:24 111  
[ ]rewrite2__t20_rewrite2.vmin12024-08-03 10:19 1.5K 
[ ]rewrite2__t20_rewrite2.vmin1out2024-08-03 10:21 23K 
[ ]rewrite2__t20_rewrite2.vout2024-08-03 09:38 23K 
[ ]rewrite2__t21_rewrite22024-07-26 20:05 21K 
[ ]rewrite2__t21_rewrite2.vout2024-08-03 09:37 7.3K 
[ ]rewrite2__t22_rewrite22024-07-26 20:06 21K 
[ ]rewrite2__t22_rewrite2.vout2024-08-03 04:37 6.8K 
[ ]rewrite2__t23_rewrite22024-07-26 20:07 36K 
[ ]rewrite2__t23_rewrite2.vout2024-08-03 09:51 7.4K 
[ ]rewrite2__t24_rewrite22024-07-26 20:08 23K 
[ ]rewrite2__t24_rewrite2.depv12024-08-03 10:19 91  
[ ]rewrite2__t24_rewrite2.depvmin12024-08-03 10:24 91  
[ ]rewrite2__t24_rewrite2.vmin12024-08-03 10:19 1.2K 
[ ]rewrite2__t24_rewrite2.vmin1out2024-08-03 10:21 14K 
[ ]rewrite2__t24_rewrite2.vout2024-08-03 04:34 14K 
[ ]rewrite2__t25_rewrite22024-07-26 20:10 22K 
[ ]rewrite2__t25_rewrite2.vout2024-08-03 04:34 6.8K 
[ ]rewrite2__t26_rewrite22024-07-26 20:11 21K 
[ ]rewrite2__t26_rewrite2.vout2024-08-03 06:07 7.3K 
[ ]rewrite2__t27_rewrite22024-07-26 20:12 25K 
[ ]rewrite2__t27_rewrite2.vout2024-08-03 08:39 8.5K 
[ ]rewrite2__t28_rewrite22024-07-26 20:14 27K 
[ ]rewrite2__t28_rewrite2.vout2024-08-03 07:57 7.3K 
[ ]rewrite2__t29_rewrite22024-07-26 20:15 21K 
[ ]rewrite2__t29_rewrite2.depv12024-08-03 10:19 137  
[ ]rewrite2__t29_rewrite2.depvmin12024-08-03 10:24 112  
[ ]rewrite2__t29_rewrite2.vmin12024-08-03 10:19 1.4K 
[ ]rewrite2__t29_rewrite2.vmin1out2024-08-03 10:23 17K 
[ ]rewrite2__t29_rewrite2.vout2024-08-03 04:24 23K 
[ ]rewrite2__t30_rewrite22024-07-26 20:16 20K 
[ ]rewrite2__t30_rewrite2.depv12024-08-03 10:19 102  
[ ]rewrite2__t30_rewrite2.depvmin12024-08-03 10:24 77  
[ ]rewrite2__t30_rewrite2.vmin12024-08-03 10:19 2.3K 
[ ]rewrite2__t30_rewrite2.vmin1out2024-08-03 10:21 47K 
[ ]rewrite2__t30_rewrite2.vout2024-08-03 08:57 51K 
[ ]rewrite2__t31_rewrite22024-07-26 20:17 21K 
[ ]rewrite2__t31_rewrite2.vout2024-08-03 07:55 6.8K 
[ ]rewrite2__t32_rewrite22024-07-26 19:34 17K 
[ ]rewrite2__t32_rewrite2.depv12024-08-03 10:19 77  
[ ]rewrite2__t32_rewrite2.depvmin12024-08-03 10:24 77  
[ ]rewrite2__t32_rewrite2.vmin12024-08-03 10:19 1.0K 
[ ]rewrite2__t32_rewrite2.vmin1out2024-08-03 10:21 7.4K 
[ ]rewrite2__t32_rewrite2.vout2024-08-03 08:02 7.6K 
[ ]rewrite2__t33_rewrite22024-07-26 20:18 20K 
[ ]rewrite2__t33_rewrite2.depv12024-08-03 10:19 176  
[ ]rewrite2__t33_rewrite2.depvmin12024-08-03 10:24 176  
[ ]rewrite2__t33_rewrite2.vmin12024-08-03 10:19 2.0K 
[ ]rewrite2__t33_rewrite2.vmin1out2024-08-03 10:21 27K 
[ ]rewrite2__t33_rewrite2.vout2024-08-03 09:35 27K 
[ ]rewrite2__t34_rewrite22024-07-26 19:35 20K 
[ ]rewrite2__t34_rewrite2.depv12024-08-03 10:19 64  
[ ]rewrite2__t34_rewrite2.depvmin12024-08-03 10:24 39  
[ ]rewrite2__t34_rewrite2.vmin12024-08-03 10:19 944  
[ ]rewrite2__t34_rewrite2.vmin1out2024-08-03 10:23 8.4K 
[ ]rewrite2__t34_rewrite2.vout2024-08-03 06:07 12K 
[ ]rewrite2__t35_rewrite22024-07-26 19:36 17K 
[ ]rewrite2__t35_rewrite2.depv12024-08-03 10:19 77  
[ ]rewrite2__t35_rewrite2.depvmin12024-08-03 10:24 77  
[ ]rewrite2__t35_rewrite2.vmin12024-08-03 10:19 1.2K 
[ ]rewrite2__t35_rewrite2.vmin1out2024-08-03 10:20 13K 
[ ]rewrite2__t35_rewrite2.vout2024-08-03 05:52 14K 
[ ]rewrite2__t36_rewrite22024-07-26 20:20 31K 
[ ]rewrite2__t36_rewrite2.vout2024-08-03 09:48 7.9K 
[ ]rewrite2__t37_rewrite22024-07-26 20:21 19K 
[ ]rewrite2__t37_rewrite2.depv12024-08-03 10:19 65  
[ ]rewrite2__t37_rewrite2.depvmin12024-08-03 10:24 65  
[ ]rewrite2__t37_rewrite2.vmin12024-08-03 10:19 1.1K 
[ ]rewrite2__t37_rewrite2.vmin1out2024-08-03 10:23 16K 
[ ]rewrite2__t37_rewrite2.vout2024-08-03 07:00 16K 
[ ]rewrite2__t38_rewrite22024-07-26 20:22 19K 
[ ]rewrite2__t38_rewrite2.depv12024-08-03 10:19 102  
[ ]rewrite2__t38_rewrite2.depvmin12024-08-03 10:24 78  
[ ]rewrite2__t38_rewrite2.vmin12024-08-03 10:19 1.7K 
[ ]rewrite2__t38_rewrite2.vmin1out2024-08-03 10:20 29K 
[ ]rewrite2__t38_rewrite2.vout2024-08-03 09:07 31K 
[ ]rewrite2__t39_rewrite22024-07-26 20:23 27K 
[ ]rewrite2__t39_rewrite2.depv12024-08-03 10:19 221  
[ ]rewrite2__t39_rewrite2.depvmin12024-08-03 10:24 221  
[ ]rewrite2__t39_rewrite2.vmin12024-08-03 10:19 3.2K 
[ ]rewrite2__t39_rewrite2.vmin1out2024-08-03 10:23 31K 
[ ]rewrite2__t39_rewrite2.vout2024-08-03 06:45 38K 
[ ]rewrite2__t40_rewrite22024-07-26 19:37 18K 
[ ]rewrite2__t40_rewrite2.depv12024-08-03 10:19 115  
[ ]rewrite2__t40_rewrite2.depvmin12024-08-03 10:24 115  
[ ]rewrite2__t40_rewrite2.vmin12024-08-03 10:19 1.8K 
[ ]rewrite2__t40_rewrite2.vmin1out2024-08-03 10:22 17K 
[ ]rewrite2__t40_rewrite2.vout2024-08-03 09:22 24K 
[ ]rewrite2__t41_rewrite22024-07-26 20:25 23K 
[ ]rewrite2__t41_rewrite2.depv12024-08-03 10:19 195  
[ ]rewrite2__t41_rewrite2.depvmin12024-08-03 10:24 195  
[ ]rewrite2__t41_rewrite2.vmin12024-08-03 10:19 2.3K 
[ ]rewrite2__t41_rewrite2.vmin1out2024-08-03 10:21 60K 
[ ]rewrite2__t41_rewrite2.vout2024-08-03 04:33 41K 
[ ]rewrite2__t42_rewrite22024-07-26 20:26 18K 
[ ]rewrite2__t42_rewrite2.depv12024-08-03 10:19 118  
[ ]rewrite2__t42_rewrite2.depvmin12024-08-03 10:24 118  
[ ]rewrite2__t42_rewrite2.vmin12024-08-03 10:19 1.4K 
[ ]rewrite2__t42_rewrite2.vmin1out2024-08-03 10:23 11K 
[ ]rewrite2__t42_rewrite2.vout2024-08-03 08:45 11K 
[ ]rewrite2__t43_rewrite22024-07-26 19:38 18K 
[ ]rewrite2__t43_rewrite2.depv12024-08-03 10:19 78  
[ ]rewrite2__t43_rewrite2.depvmin12024-08-03 10:24 78  
[ ]rewrite2__t43_rewrite2.vmin12024-08-03 10:19 1.2K 
[ ]rewrite2__t43_rewrite2.vmin1out2024-08-03 10:22 11K 
[ ]rewrite2__t43_rewrite2.vout2024-08-03 06:29 11K 
[ ]rewrite2__t44_rewrite22024-07-26 20:27 22K 
[ ]rewrite2__t44_rewrite2.vout2024-08-03 05:30 4.7K 
[ ]rewrite2__t45_rewrite22024-07-26 20:29 49K 
[ ]rewrite2__t45_rewrite2.vout2024-08-03 08:42 6.8K 
[ ]rewrite2__t46_rewrite22024-07-26 20:30 18K 
[ ]rewrite2__t46_rewrite2.depv12024-08-03 10:19 72  
[ ]rewrite2__t46_rewrite2.depvmin12024-08-03 10:24 72  
[ ]rewrite2__t46_rewrite2.vmin12024-08-03 10:19 925  
[ ]rewrite2__t46_rewrite2.vmin1out2024-08-03 10:23 17K 
[ ]rewrite2__t46_rewrite2.vout2024-08-03 07:17 18K 
[ ]rewrite2__t47_rewrite22024-07-26 20:31 18K 
[ ]rewrite2__t47_rewrite2.depv12024-08-03 10:19 85  
[ ]rewrite2__t47_rewrite2.depvmin12024-08-03 10:24 85  
[ ]rewrite2__t47_rewrite2.vmin12024-08-03 10:19 1.0K 
[ ]rewrite2__t47_rewrite2.vmin1out2024-08-03 10:22 12K 
[ ]rewrite2__t47_rewrite2.vout2024-08-03 05:16 12K 
[ ]rewrite2__t48_rewrite22024-07-26 20:32 19K 
[ ]rewrite2__t48_rewrite2.depv12024-08-03 10:19 97  
[ ]rewrite2__t48_rewrite2.depvmin12024-08-03 10:24 97  
[ ]rewrite2__t48_rewrite2.vmin12024-08-03 10:19 1.7K 
[ ]rewrite2__t48_rewrite2.vmin1out2024-08-03 10:20 23K 
[ ]rewrite2__t48_rewrite2.vout2024-08-03 08:09 23K 
[ ]rewrite2__t49_rewrite22024-07-26 20:33 24K 
[ ]rewrite2__t49_rewrite2.vout2024-08-03 09:20 3.7K 
[ ]rewrite2__t50_rewrite22024-07-26 20:34 20K 
[ ]rewrite2__t50_rewrite2.depv12024-08-03 10:19 184  
[ ]rewrite2__t50_rewrite2.depvmin12024-08-03 10:24 184  
[ ]rewrite2__t50_rewrite2.vmin12024-08-03 10:19 1.8K 
[ ]rewrite2__t50_rewrite2.vmin1out2024-08-03 10:20 26K 
[ ]rewrite2__t50_rewrite2.vout2024-08-03 04:17 24K 
[ ]rewrite2__t51_rewrite22024-07-26 20:36 23K 
[ ]rewrite2__t51_rewrite2.depv12024-08-03 10:19 151  
[ ]rewrite2__t51_rewrite2.depvmin12024-08-03 10:24 151  
[ ]rewrite2__t51_rewrite2.vmin12024-08-03 10:19 1.3K 
[ ]rewrite2__t51_rewrite2.vmin1out2024-08-03 10:20 18K 
[ ]rewrite2__t51_rewrite2.vout2024-08-03 07:26 22K 
[ ]rewrite2__t52_rewrite22024-07-26 19:39 18K 
[ ]rewrite2__t52_rewrite2.depv12024-08-03 10:19 25  
[ ]rewrite2__t52_rewrite2.depvmin12024-08-03 10:24 25  
[ ]rewrite2__t52_rewrite2.vmin12024-08-03 10:19 556  
[ ]rewrite2__t52_rewrite2.vmin1out2024-08-03 10:23 5.4K 
[ ]rewrite2__t52_rewrite2.vout2024-08-03 05:38 6.5K 
[ ]rewrite2__t53_rewrite22024-07-26 19:40 18K 
[ ]rewrite2__t53_rewrite2.depv12024-08-03 10:19 25  
[ ]rewrite2__t53_rewrite2.depvmin12024-08-03 10:24 25  
[ ]rewrite2__t53_rewrite2.vmin12024-08-03 10:19 679  
[ ]rewrite2__t53_rewrite2.vmin1out2024-08-03 10:21 8.7K 
[ ]rewrite2__t53_rewrite2.vout2024-08-03 07:14 10K 
[ ]rewrite2__t54_rewrite22024-07-26 19:41 18K 
[ ]rewrite2__t54_rewrite2.depv12024-08-03 10:19 25  
[ ]rewrite2__t54_rewrite2.depvmin12024-08-03 10:24 25  
[ ]rewrite2__t54_rewrite2.vmin12024-08-03 10:19 801  
[ ]rewrite2__t54_rewrite2.vmin1out2024-08-03 10:21 11K 
[ ]rewrite2__t54_rewrite2.vout2024-08-03 08:29 14K 
[ ]rewrite2__t55_rewrite22024-07-26 19:42 22K 
[ ]rewrite2__t55_rewrite2.depv12024-08-03 10:19 118  
[ ]rewrite2__t55_rewrite2.depvmin12024-08-03 10:24 68  
[ ]rewrite2__t55_rewrite2.vmin12024-08-03 10:19 1.4K 
[ ]rewrite2__t55_rewrite2.vmin1out2024-08-03 10:20 12K 
[ ]rewrite2__t55_rewrite2.vout2024-08-03 07:36 16K 
[ ]rewrite2__t56_rewrite22024-07-26 20:37 19K 
[ ]rewrite2__t56_rewrite2.depv12024-08-03 10:19 51  
[ ]rewrite2__t56_rewrite2.depvmin12024-08-03 10:24 51  
[ ]rewrite2__t56_rewrite2.vmin12024-08-03 10:19 1.4K 
[ ]rewrite2__t56_rewrite2.vmin1out2024-08-03 10:21 16K 
[ ]rewrite2__t56_rewrite2.vout2024-08-03 10:03 24K 
[ ]rewrite2__t57_rewrite22024-07-26 20:38 20K 
[ ]rewrite2__t57_rewrite2.depv12024-08-03 10:19 219  
[ ]rewrite2__t57_rewrite2.depvmin12024-08-03 10:24 197  
[ ]rewrite2__t57_rewrite2.vmin12024-08-03 10:19 3.3K 
[ ]rewrite2__t57_rewrite2.vmin1out2024-08-03 10:23 41K 
[ ]rewrite2__t57_rewrite2.vout2024-08-03 09:19 38K 
[ ]rewrite2__t58_rewrite22024-07-26 20:40 49K 
[ ]rewrite2__t58_rewrite2.vout2024-08-03 04:39 6.8K 
[ ]rewrite2__t59_rewrite22024-07-26 19:43 20K 
[ ]rewrite2__t59_rewrite2.depv12024-08-03 10:19 78  
[ ]rewrite2__t59_rewrite2.depvmin12024-08-03 10:24 78  
[ ]rewrite2__t59_rewrite2.vmin12024-08-03 10:19 1.6K 
[ ]rewrite2__t59_rewrite2.vmin1out2024-08-03 10:23 19K 
[ ]rewrite2__t59_rewrite2.vout2024-08-03 04:53 23K 
[ ]rewrite2__t60_rewrite22024-07-26 20:41 21K 
[ ]rewrite2__t60_rewrite2.vout2024-08-03 06:01 6.8K 
[ ]rewrite2__t61_rewrite22024-07-26 20:42 25K 
[ ]rewrite2__t61_rewrite2.vout2024-08-03 04:37 3.7K 
[ ]rewrite2__t62_rewrite22024-07-26 20:43 23K 
[ ]rewrite2__t62_rewrite2.vout2024-08-03 05:44 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80