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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sublemma__t1_sublemma2024-07-28 08:11 16K 
[ ]sublemma__t1_sublemma.vout2024-08-03 08:02 7.3K 
[ ]sublemma__t2_sublemma2024-07-28 08:12 27K 
[ ]sublemma__t2_sublemma.depv12024-08-03 10:19 257  
[ ]sublemma__t2_sublemma.depvmin12024-08-03 10:24 248  
[ ]sublemma__t2_sublemma.vmin12024-08-03 10:19 2.1K 
[ ]sublemma__t2_sublemma.vmin1out2024-08-03 10:23 18K 
[ ]sublemma__t2_sublemma.vout2024-08-03 08:02 21K 
[ ]sublemma__t3_sublemma2024-07-28 08:14 21K 
[ ]sublemma__t3_sublemma.depv12024-08-03 10:19 152  
[ ]sublemma__t3_sublemma.depvmin12024-08-03 10:24 152  
[ ]sublemma__t3_sublemma.vmin12024-08-03 10:19 2.5K 
[ ]sublemma__t3_sublemma.vmin1out2024-08-03 10:20 30K 
[ ]sublemma__t3_sublemma.vout2024-08-03 10:12 30K 
[ ]sublemma__t4_sublemma2024-07-28 08:15 26K 
[ ]sublemma__t4_sublemma.vout2024-08-03 06:17 7.3K 
[ ]sublemma__t5_sublemma2024-07-28 08:16 18K 
[ ]sublemma__t5_sublemma.depv12024-08-03 10:19 237  
[ ]sublemma__t5_sublemma.depvmin12024-08-03 10:24 237  
[ ]sublemma__t5_sublemma.vmin12024-08-03 10:19 2.1K 
[ ]sublemma__t5_sublemma.vmin1out2024-08-03 10:20 19K 
[ ]sublemma__t5_sublemma.vout2024-08-03 09:17 24K 
[ ]sublemma__t6_sublemma2024-07-28 08:17 21K 
[ ]sublemma__t6_sublemma.depv12024-08-03 10:19 229  
[ ]sublemma__t6_sublemma.depvmin12024-08-03 10:24 229  
[ ]sublemma__t6_sublemma.vmin12024-08-03 10:19 3.0K 
[ ]sublemma__t6_sublemma.vmin1out2024-08-03 10:22 38K 
[ ]sublemma__t6_sublemma.vout2024-08-03 07:28 38K 
[ ]sublemma__t7_sublemma2024-07-28 08:19 22K 
[ ]sublemma__t7_sublemma.vout2024-08-03 08:19 4.7K 
[ ]sublemma__t8_sublemma2024-07-28 08:20 23K 
[ ]sublemma__t8_sublemma.vout2024-08-03 09:25 4.1K 
[ ]sublemma__t9_sublemma2024-07-28 08:21 18K 
[ ]sublemma__t9_sublemma.vout2024-08-03 06:42 2.0K 
[ ]sublemma__t10_sublemma2024-07-28 08:22 19K 
[ ]sublemma__t10_sublemma.depv12024-08-03 10:19 195  
[ ]sublemma__t10_sublemma.depvmin12024-08-03 10:24 195  
[ ]sublemma__t10_sublemma.vmin12024-08-03 10:19 2.8K 
[ ]sublemma__t10_sublemma.vmin1out2024-08-03 10:23 40K 
[ ]sublemma__t10_sublemma.vout2024-08-03 07:01 38K 
[ ]sublemma__t11_sublemma2024-07-28 08:23 25K 
[ ]sublemma__t11_sublemma.vout2024-08-03 07:56 6.8K 
[ ]sublemma__t12_sublemma2024-07-28 08:25 26K 
[ ]sublemma__t12_sublemma.vout2024-08-03 07:22 6.8K 
[ ]sublemma__t13_sublemma2024-07-28 08:26 36K 
[ ]sublemma__t13_sublemma.vout2024-08-03 07:13 4.1K 
[ ]sublemma__t14_sublemma2024-07-28 08:27 19K 
[ ]sublemma__t14_sublemma.vout2024-08-03 04:45 2.0K 
[ ]sublemma__t15_sublemma2024-07-28 08:29 35K 
[ ]sublemma__t15_sublemma.vout2024-08-03 07:06 4.7K 
[ ]sublemma__t16_sublemma2024-07-28 08:30 17K 
[ ]sublemma__t16_sublemma.vout2024-08-03 05:26 2.0K 
[ ]sublemma__t17_sublemma2024-07-28 08:31 25K 
[ ]sublemma__t17_sublemma.vout2024-08-03 04:33 2.0K 
[ ]sublemma__t18_sublemma2024-07-28 08:33 22K 
[ ]sublemma__t18_sublemma.vout2024-08-03 07:24 4.1K 
[ ]sublemma__t19_sublemma2024-07-28 08:34 27K 
[ ]sublemma__t19_sublemma.vout2024-08-03 06:22 4.1K 
[ ]sublemma__t20_sublemma2024-07-28 08:35 18K 
[ ]sublemma__t20_sublemma.vout2024-08-03 05:50 2.0K 
[ ]sublemma__t21_sublemma2024-07-28 08:36 17K 
[ ]sublemma__t21_sublemma.vout2024-08-03 06:36 2.0K 
[ ]sublemma__t22_sublemma2024-07-28 08:08 20K 
[ ]sublemma__t22_sublemma.vout2024-08-03 06:05 4.1K 
[ ]sublemma__t23_sublemma2024-07-28 08:37 14K 
[ ]sublemma__t23_sublemma.depv12024-08-03 10:19 274  
[ ]sublemma__t23_sublemma.depvmin12024-08-03 10:24 274  
[ ]sublemma__t23_sublemma.vmin12024-08-03 10:19 2.8K 
[ ]sublemma__t23_sublemma.vmin1out2024-08-03 10:23 25K 
[ ]sublemma__t23_sublemma.vout2024-08-03 05:22 34K 
[ ]sublemma__t24_sublemma2024-07-28 08:38 26K 
[ ]sublemma__t24_sublemma.vout2024-08-03 09:04 4.1K 
[ ]sublemma__t25_sublemma2024-07-28 08:39 26K 
[ ]sublemma__t25_sublemma.depv12024-08-03 10:19 138  
[ ]sublemma__t25_sublemma.depvmin12024-08-03 10:24 138  
[ ]sublemma__t25_sublemma.vmin12024-08-03 10:19 3.0K 
[ ]sublemma__t25_sublemma.vmin1out2024-08-03 10:20 73K 
[ ]sublemma__t25_sublemma.vout2024-08-03 08:13 75K 
[ ]sublemma__t26_sublemma2024-07-28 08:40 17K 
[ ]sublemma__t26_sublemma.vout2024-08-03 07:42 2.0K 
[ ]sublemma__t27_sublemma2024-07-28 08:41 16K 
[ ]sublemma__t27_sublemma.depv12024-08-03 10:19 38  
[ ]sublemma__t27_sublemma.depvmin12024-08-03 10:24 38  
[ ]sublemma__t27_sublemma.vmin12024-08-03 10:19 788  
[ ]sublemma__t27_sublemma.vmin1out2024-08-03 10:20 7.8K 
[ ]sublemma__t27_sublemma.vout2024-08-03 09:51 7.8K 
[ ]sublemma__t28_sublemma2024-07-28 08:42 13K 
[ ]sublemma__t28_sublemma.depv12024-08-03 10:19 206  
[ ]sublemma__t28_sublemma.depvmin12024-08-03 10:24 193  
[ ]sublemma__t28_sublemma.vmin12024-08-03 10:19 2.2K 
[ ]sublemma__t28_sublemma.vmin1out2024-08-03 10:20 25K 
[ ]sublemma__t28_sublemma.vout2024-08-03 06:24 26K 
[ ]sublemma__t29_sublemma2024-07-28 08:43 17K 
[ ]sublemma__t29_sublemma.depv12024-08-03 10:19 129  
[ ]sublemma__t29_sublemma.depvmin12024-08-03 10:24 129  
[ ]sublemma__t29_sublemma.vmin12024-08-03 10:19 1.9K 
[ ]sublemma__t29_sublemma.vmin1out2024-08-03 10:20 17K 
[ ]sublemma__t29_sublemma.vout2024-08-03 09:19 16K 
[ ]sublemma__t30_sublemma2024-07-28 08:44 18K 
[ ]sublemma__t30_sublemma.depv12024-08-03 10:19 199  
[ ]sublemma__t30_sublemma.depvmin12024-08-03 10:24 199  
[ ]sublemma__t30_sublemma.vmin12024-08-03 10:19 2.3K 
[ ]sublemma__t30_sublemma.vmin1out2024-08-03 10:21 24K 
[ ]sublemma__t30_sublemma.vout2024-08-03 09:56 29K 
[ ]sublemma__t31_sublemma2024-07-28 08:45 20K 
[ ]sublemma__t31_sublemma.depv12024-08-03 10:19 484  
[ ]sublemma__t31_sublemma.depvmin12024-08-03 10:24 432  
[ ]sublemma__t31_sublemma.vmin12024-08-03 10:19 5.7K 
[ ]sublemma__t31_sublemma.vmin1out2024-08-03 10:22 68K 
[ ]sublemma__t31_sublemma.vout2024-08-03 07:21 74K 
[ ]sublemma__t32_sublemma2024-07-28 08:46 25K 
[ ]sublemma__t32_sublemma.vout2024-08-03 04:52 2.0K 
[ ]sublemma__t33_sublemma2024-07-28 08:47 18K 
[ ]sublemma__t33_sublemma.vout2024-08-03 05:38 2.0K 
[ ]sublemma__t34_sublemma2024-07-28 08:48 18K 
[ ]sublemma__t34_sublemma.vout2024-08-03 08:14 7.4K 
[ ]sublemma__t35_sublemma2024-07-28 08:49 19K 
[ ]sublemma__t35_sublemma.depv12024-08-03 10:19 378  
[ ]sublemma__t35_sublemma.depvmin12024-08-03 10:24 352  
[ ]sublemma__t35_sublemma.vmin12024-08-03 10:19 3.9K 
[ ]sublemma__t35_sublemma.vmin1out2024-08-03 10:23 63K 
[ ]sublemma__t35_sublemma.vout2024-08-03 06:02 59K 
[ ]sublemma__t36_sublemma2024-07-28 08:50 16K 
[ ]sublemma__t36_sublemma.depv12024-08-03 10:19 38  
[ ]sublemma__t36_sublemma.depvmin12024-08-03 10:24 38  
[ ]sublemma__t36_sublemma.vmin12024-08-03 10:19 1.2K 
[ ]sublemma__t36_sublemma.vmin1out2024-08-03 10:22 24K 
[ ]sublemma__t36_sublemma.vout2024-08-03 07:35 13K 
[ ]sublemma__t37_sublemma2024-07-28 08:51 18K 
[ ]sublemma__t37_sublemma.depv12024-08-03 10:19 257  
[ ]sublemma__t37_sublemma.depvmin12024-08-03 10:24 257  
[ ]sublemma__t37_sublemma.vmin12024-08-03 10:19 3.1K 
[ ]sublemma__t37_sublemma.vmin1out2024-08-03 10:22 40K 
[ ]sublemma__t37_sublemma.vout2024-08-03 10:00 38K 
[ ]sublemma__t38_sublemma2024-07-28 08:53 32K 
[ ]sublemma__t38_sublemma.vout2024-08-03 09:25 3.7K 
[ ]sublemma__t39_sublemma2024-07-28 08:54 24K 
[ ]sublemma__t39_sublemma.vout2024-08-03 07:09 2.0K 
[ ]sublemma__t40_sublemma2024-07-28 08:55 20K 
[ ]sublemma__t40_sublemma.depv12024-08-03 10:19 39  
[ ]sublemma__t40_sublemma.depvmin12024-08-03 10:24 39  
[ ]sublemma__t40_sublemma.vmin12024-08-03 10:19 1.7K 
[ ]sublemma__t40_sublemma.vmin1out2024-08-03 10:20 13K 
[ ]sublemma__t40_sublemma.vout2024-08-03 04:16 13K 
[ ]sublemma__t41_sublemma2024-07-28 08:57 24K 
[ ]sublemma__t41_sublemma.vout2024-08-03 04:37 7.3K 
[ ]sublemma__t42_sublemma2024-07-28 08:09 12K 
[ ]sublemma__t42_sublemma.depv12024-08-03 10:19 105  
[ ]sublemma__t42_sublemma.depvmin12024-08-03 10:24 105  
[ ]sublemma__t42_sublemma.vmin12024-08-03 10:19 707  
[ ]sublemma__t42_sublemma.vmin1out2024-08-03 10:20 8.9K 
[ ]sublemma__t42_sublemma.vout2024-08-03 08:38 8.4K 
[ ]sublemma__t43_sublemma2024-07-28 08:58 24K 
[ ]sublemma__t43_sublemma.vout2024-08-03 06:41 7.4K 
[ ]sublemma__t44_sublemma2024-07-28 08:59 13K 
[ ]sublemma__t44_sublemma.depv12024-08-03 10:19 196  
[ ]sublemma__t44_sublemma.depvmin12024-08-03 10:24 196  
[ ]sublemma__t44_sublemma.vmin12024-08-03 10:19 2.0K 
[ ]sublemma__t44_sublemma.vmin1out2024-08-03 10:20 23K 
[ ]sublemma__t44_sublemma.vout2024-08-03 07:53 23K 
[ ]sublemma__t45_sublemma2024-07-28 09:00 15K 
[ ]sublemma__t45_sublemma.vout2024-08-03 05:16 7.3K 
[ ]sublemma__t46_sublemma2024-07-28 09:01 16K 
[ ]sublemma__t46_sublemma.vout2024-08-03 09:30 7.3K 
[ ]sublemma__t47_sublemma2024-07-28 09:02 21K 
[ ]sublemma__t47_sublemma.depv12024-08-03 10:19 165  
[ ]sublemma__t47_sublemma.depvmin12024-08-03 10:24 165  
[ ]sublemma__t47_sublemma.vmin12024-08-03 10:19 3.1K 
[ ]sublemma__t47_sublemma.vmin1out2024-08-03 10:22 43K 
[ ]sublemma__t47_sublemma.vout2024-08-03 05:34 53K 
[ ]sublemma__t48_sublemma2024-07-28 09:03 25K 
[ ]sublemma__t48_sublemma.depv12024-08-03 10:19 341  
[ ]sublemma__t48_sublemma.depvmin12024-08-03 10:24 296  
[ ]sublemma__t48_sublemma.vmin12024-08-03 10:19 3.3K 
[ ]sublemma__t48_sublemma.vmin1out2024-08-03 10:20 47K 
[ ]sublemma__t48_sublemma.vout2024-08-03 04:31 34K 
[ ]sublemma__t49_sublemma2024-07-28 09:04 25K 
[ ]sublemma__t49_sublemma.vout2024-08-03 07:37 4.7K 
[ ]sublemma__t50_sublemma2024-07-28 09:05 31K 
[ ]sublemma__t50_sublemma.vout2024-08-03 06:46 7.3K 
[ ]sublemma__t51_sublemma2024-07-28 09:07 24K 
[ ]sublemma__t51_sublemma.vout2024-08-03 08:50 2.0K 
[ ]sublemma__t52_sublemma2024-07-28 09:08 24K 
[ ]sublemma__t52_sublemma.vout2024-08-03 08:30 2.0K 
[ ]sublemma__t53_sublemma2024-07-28 09:10 51K 
[ ]sublemma__t53_sublemma.vout2024-08-03 09:43 4.2K 
[ ]sublemma__t54_sublemma2024-07-28 09:12 37K 
[ ]sublemma__t54_sublemma.vout2024-08-03 08:29 4.7K 
[ ]sublemma__t55_sublemma2024-07-28 09:13 37K 
[ ]sublemma__t55_sublemma.vout2024-08-03 04:51 6.8K 
[ ]sublemma__t56_sublemma2024-07-28 09:15 34K 
[ ]sublemma__t56_sublemma.vout2024-08-03 09:32 4.7K 
[ ]sublemma__t57_sublemma2024-07-28 09:16 21K 
[ ]sublemma__t57_sublemma.vout2024-08-03 06:33 7.4K 
[ ]sublemma__t58_sublemma2024-07-28 09:17 22K 
[ ]sublemma__t58_sublemma.vout2024-08-03 07:30 7.3K 
[ ]sublemma__t59_sublemma2024-07-28 09:18 35K 
[ ]sublemma__t59_sublemma.vout2024-08-03 09:42 7.3K 
[ ]sublemma__t60_sublemma2024-07-28 09:20 30K 
[ ]sublemma__t60_sublemma.vout2024-08-03 05:40 4.7K 
[ ]sublemma__t61_sublemma2024-07-28 09:21 21K 
[ ]sublemma__t61_sublemma.depv12024-08-03 10:19 238  
[ ]sublemma__t61_sublemma.depvmin12024-08-03 10:24 144  
[ ]sublemma__t61_sublemma.vmin12024-08-03 10:19 3.2K 
[ ]sublemma__t61_sublemma.vmin1out2024-08-03 10:21 33K 
[ ]sublemma__t61_sublemma.vout2024-08-03 05:54 60K 
[ ]sublemma__t62_sublemma2024-07-28 09:22 24K 
[ ]sublemma__t62_sublemma.vout2024-08-03 05:42 6.8K 
[ ]sublemma__t63_sublemma2024-07-28 09:23 29K 
[ ]sublemma__t63_sublemma.vout2024-08-03 05:35 7.3K 
[ ]sublemma__t64_sublemma2024-07-28 09:25 32K 
[ ]sublemma__t64_sublemma.vout2024-08-03 05:08 6.8K 
[ ]sublemma__t65_sublemma2024-07-28 09:26 15K 
[ ]sublemma__t65_sublemma.vout2024-08-03 08:32 6.8K 
[ ]sublemma__t66_sublemma2024-07-28 09:27 33K 
[ ]sublemma__t66_sublemma.vout2024-08-03 06:12 6.8K 
[ ]sublemma__t67_sublemma2024-07-28 09:28 31K 
[ ]sublemma__t67_sublemma.vout2024-08-03 10:11 4.7K 
[ ]sublemma__t68_sublemma2024-07-28 09:29 33K 
[ ]sublemma__t68_sublemma.vout2024-08-03 07:44 4.1K 
[ ]sublemma__t69_sublemma2024-07-28 09:31 46K 
[ ]sublemma__t69_sublemma.vout2024-08-03 09:39 6.8K 
[ ]sublemma__t70_sublemma2024-07-28 09:33 38K 
[ ]sublemma__t70_sublemma.vout2024-08-03 08:14 4.7K 
[ ]sublemma__t71_sublemma2024-07-28 09:34 29K 
[ ]sublemma__t71_sublemma.vout2024-08-03 06:53 7.3K 
[ ]sublemma__t72_sublemma2024-07-28 09:35 32K 
[ ]sublemma__t72_sublemma.vout2024-08-03 07:56 4.7K 
[ ]sublemma__t73_sublemma2024-07-28 08:11 30K 
[ ]sublemma__t73_sublemma.vout2024-08-03 05:19 2.0K 
[ ]sublemma__t74_sublemma2024-07-28 09:37 33K 
[ ]sublemma__t74_sublemma.vout2024-08-03 07:03 7.3K 
[ ]sublemma__t75_sublemma2024-07-28 09:38 34K 
[ ]sublemma__t75_sublemma.vout2024-08-03 05:34 4.7K 
[ ]sublemma__t76_sublemma2024-07-28 09:40 25K 
[ ]sublemma__t76_sublemma.vout2024-08-03 07:25 2.0K 
[ ]sublemma__t77_sublemma2024-07-28 09:41 29K 
[ ]sublemma__t77_sublemma.vout2024-08-03 10:11 7.3K 
[ ]sublemma__t78_sublemma2024-07-28 09:42 20K 
[ ]sublemma__t78_sublemma.vout2024-08-03 06:59 6.8K 
[ ]sublemma__t79_sublemma2024-07-28 09:43 27K 
[ ]sublemma__t79_sublemma.vout2024-08-03 04:49 7.3K 
[ ]sublemma__t80_sublemma2024-07-28 09:44 40K 
[ ]sublemma__t80_sublemma.vout2024-08-03 07:57 6.8K 
[ ]sublemma__t81_sublemma2024-07-28 09:46 47K 
[ ]sublemma__t81_sublemma.vout2024-08-03 06:46 1.1K 
[ ]sublemma__t82_sublemma2024-07-28 09:47 23K 
[ ]sublemma__t82_sublemma.vout2024-08-03 10:16 4.1K 
[ ]sublemma__t83_sublemma2024-07-28 09:48 35K 
[ ]sublemma__t83_sublemma.vout2024-08-03 04:12 6.8K 
[ ]sublemma__t84_sublemma2024-07-28 09:49 26K 
[ ]sublemma__t84_sublemma.vout2024-08-03 04:49 6.8K 
[ ]sublemma__t85_sublemma2024-07-28 09:51 37K 
[ ]sublemma__t85_sublemma.vout2024-08-03 07:21 7.3K 
[ ]sublemma__t86_sublemma2024-07-28 09:52 48K 
[ ]sublemma__t86_sublemma.vout2024-08-03 07:42 3.7K 
[ ]sublemma__t87_sublemma2024-07-28 09:54 37K 
[ ]sublemma__t87_sublemma.vout2024-08-03 09:00 4.1K 
[ ]sublemma__t88_sublemma2024-07-28 09:56 41K 
[ ]sublemma__t88_sublemma.vout2024-08-03 09:25 2.0K 
[ ]sublemma__t89_sublemma2024-07-28 09:57 35K 
[ ]sublemma__t89_sublemma.vout2024-08-03 06:46 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80