Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/sublemma

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sublemma__t1_sublemma2025-09-08 22:21 16K 
[ ]sublemma__t1_sublemma.vout2025-09-15 17:33 7.3K 
[ ]sublemma__t2_sublemma2025-09-08 22:22 28K 
[ ]sublemma__t2_sublemma.depv12025-09-15 19:47 257  
[ ]sublemma__t2_sublemma.depvmin12025-09-15 19:52 248  
[ ]sublemma__t2_sublemma.vmin12025-09-15 19:47 2.1K 
[ ]sublemma__t2_sublemma.vmin1out2025-09-15 19:50 18K 
[ ]sublemma__t2_sublemma.vout2025-09-15 15:10 21K 
[ ]sublemma__t3_sublemma2025-09-08 22:23 21K 
[ ]sublemma__t3_sublemma.depv12025-09-15 19:47 152  
[ ]sublemma__t3_sublemma.depvmin12025-09-15 19:52 152  
[ ]sublemma__t3_sublemma.vmin12025-09-15 19:47 2.5K 
[ ]sublemma__t3_sublemma.vmin1out2025-09-15 19:51 30K 
[ ]sublemma__t3_sublemma.vout2025-09-15 14:24 30K 
[ ]sublemma__t4_sublemma2025-09-08 22:25 26K 
[ ]sublemma__t4_sublemma.vout2025-09-15 19:09 7.3K 
[ ]sublemma__t5_sublemma2025-09-08 22:26 18K 
[ ]sublemma__t5_sublemma.depv12025-09-15 19:47 237  
[ ]sublemma__t5_sublemma.depvmin12025-09-15 19:52 237  
[ ]sublemma__t5_sublemma.vmin12025-09-15 19:47 2.1K 
[ ]sublemma__t5_sublemma.vmin1out2025-09-15 19:49 19K 
[ ]sublemma__t5_sublemma.vout2025-09-15 16:59 24K 
[ ]sublemma__t6_sublemma2025-09-08 22:27 21K 
[ ]sublemma__t6_sublemma.depv12025-09-15 19:47 229  
[ ]sublemma__t6_sublemma.depvmin12025-09-15 19:52 229  
[ ]sublemma__t6_sublemma.vmin12025-09-15 19:47 3.0K 
[ ]sublemma__t6_sublemma.vmin1out2025-09-15 19:49 38K 
[ ]sublemma__t6_sublemma.vout2025-09-15 15:28 38K 
[ ]sublemma__t7_sublemma2025-09-08 22:28 22K 
[ ]sublemma__t7_sublemma.vout2025-09-15 16:23 4.7K 
[ ]sublemma__t8_sublemma2025-09-08 22:30 23K 
[ ]sublemma__t8_sublemma.vout2025-09-15 14:55 4.1K 
[ ]sublemma__t9_sublemma2025-09-08 22:31 18K 
[ ]sublemma__t9_sublemma.vout2025-09-15 16:56 2.0K 
[ ]sublemma__t10_sublemma2025-09-08 22:32 19K 
[ ]sublemma__t10_sublemma.depv12025-09-15 19:47 195  
[ ]sublemma__t10_sublemma.depvmin12025-09-15 19:52 195  
[ ]sublemma__t10_sublemma.vmin12025-09-15 19:47 2.8K 
[ ]sublemma__t10_sublemma.vmin1out2025-09-15 19:48 40K 
[ ]sublemma__t10_sublemma.vout2025-09-15 17:22 38K 
[ ]sublemma__t11_sublemma2025-09-08 22:33 25K 
[ ]sublemma__t11_sublemma.vout2025-09-15 18:04 6.8K 
[ ]sublemma__t12_sublemma2025-09-08 22:34 26K 
[ ]sublemma__t12_sublemma.vout2025-09-15 16:57 6.8K 
[ ]sublemma__t13_sublemma2025-09-08 22:36 36K 
[ ]sublemma__t13_sublemma.vout2025-09-15 13:49 4.1K 
[ ]sublemma__t14_sublemma2025-09-08 22:37 19K 
[ ]sublemma__t14_sublemma.vout2025-09-15 14:40 2.0K 
[ ]sublemma__t15_sublemma2025-09-08 22:39 35K 
[ ]sublemma__t15_sublemma.vout2025-09-15 16:44 4.7K 
[ ]sublemma__t16_sublemma2025-09-08 22:40 17K 
[ ]sublemma__t16_sublemma.vout2025-09-15 16:45 2.0K 
[ ]sublemma__t17_sublemma2025-09-08 22:41 25K 
[ ]sublemma__t17_sublemma.vout2025-09-15 14:06 2.0K 
[ ]sublemma__t18_sublemma2025-09-08 22:43 22K 
[ ]sublemma__t18_sublemma.vout2025-09-15 17:11 4.1K 
[ ]sublemma__t19_sublemma2025-09-08 22:44 27K 
[ ]sublemma__t19_sublemma.vout2025-09-15 16:18 4.1K 
[ ]sublemma__t20_sublemma2025-09-08 22:45 18K 
[ ]sublemma__t20_sublemma.vout2025-09-15 19:20 2.0K 
[ ]sublemma__t21_sublemma2025-09-08 22:46 17K 
[ ]sublemma__t21_sublemma.vout2025-09-15 19:02 2.0K 
[ ]sublemma__t22_sublemma2025-09-08 22:18 20K 
[ ]sublemma__t22_sublemma.vout2025-09-15 13:46 4.1K 
[ ]sublemma__t23_sublemma2025-09-08 22:47 14K 
[ ]sublemma__t23_sublemma.depv12025-09-15 19:47 274  
[ ]sublemma__t23_sublemma.depvmin12025-09-15 19:52 274  
[ ]sublemma__t23_sublemma.vmin12025-09-15 19:47 2.8K 
[ ]sublemma__t23_sublemma.vmin1out2025-09-15 19:50 25K 
[ ]sublemma__t23_sublemma.vout2025-09-15 16:05 34K 
[ ]sublemma__t24_sublemma2025-09-08 22:48 26K 
[ ]sublemma__t24_sublemma.vout2025-09-15 17:30 4.1K 
[ ]sublemma__t25_sublemma2025-09-08 22:50 26K 
[ ]sublemma__t25_sublemma.depv12025-09-15 19:47 138  
[ ]sublemma__t25_sublemma.depvmin12025-09-15 19:52 138  
[ ]sublemma__t25_sublemma.vmin12025-09-15 19:47 3.0K 
[ ]sublemma__t25_sublemma.vmin1out2025-09-15 19:49 73K 
[ ]sublemma__t25_sublemma.vout2025-09-15 14:01 75K 
[ ]sublemma__t26_sublemma2025-09-08 22:51 17K 
[ ]sublemma__t26_sublemma.vout2025-09-15 15:04 2.0K 
[ ]sublemma__t27_sublemma2025-09-08 22:52 16K 
[ ]sublemma__t27_sublemma.depv12025-09-15 19:47 38  
[ ]sublemma__t27_sublemma.depvmin12025-09-15 19:52 38  
[ ]sublemma__t27_sublemma.vmin12025-09-15 19:47 788  
[ ]sublemma__t27_sublemma.vmin1out2025-09-15 19:50 7.8K 
[ ]sublemma__t27_sublemma.vout2025-09-15 13:27 7.8K 
[ ]sublemma__t28_sublemma2025-09-08 22:53 13K 
[ ]sublemma__t28_sublemma.depv12025-09-15 19:47 206  
[ ]sublemma__t28_sublemma.depvmin12025-09-15 19:52 193  
[ ]sublemma__t28_sublemma.vmin12025-09-15 19:47 2.2K 
[ ]sublemma__t28_sublemma.vmin1out2025-09-15 19:50 25K 
[ ]sublemma__t28_sublemma.vout2025-09-15 15:49 26K 
[ ]sublemma__t29_sublemma2025-09-08 22:54 17K 
[ ]sublemma__t29_sublemma.depv12025-09-15 19:47 129  
[ ]sublemma__t29_sublemma.depvmin12025-09-15 19:52 129  
[ ]sublemma__t29_sublemma.vmin12025-09-15 19:47 1.9K 
[ ]sublemma__t29_sublemma.vmin1out2025-09-15 19:50 17K 
[ ]sublemma__t29_sublemma.vout2025-09-15 19:20 16K 
[ ]sublemma__t30_sublemma2025-09-08 22:55 18K 
[ ]sublemma__t30_sublemma.depv12025-09-15 19:47 199  
[ ]sublemma__t30_sublemma.depvmin12025-09-15 19:52 199  
[ ]sublemma__t30_sublemma.vmin12025-09-15 19:47 2.3K 
[ ]sublemma__t30_sublemma.vmin1out2025-09-15 19:49 24K 
[ ]sublemma__t30_sublemma.vout2025-09-15 15:50 29K 
[ ]sublemma__t31_sublemma2025-09-08 22:56 20K 
[ ]sublemma__t31_sublemma.depv12025-09-15 19:47 484  
[ ]sublemma__t31_sublemma.depvmin12025-09-15 19:52 432  
[ ]sublemma__t31_sublemma.vmin12025-09-15 19:47 5.7K 
[ ]sublemma__t31_sublemma.vmin1out2025-09-15 19:48 68K 
[ ]sublemma__t31_sublemma.vout2025-09-15 14:42 74K 
[ ]sublemma__t32_sublemma2025-09-08 22:57 25K 
[ ]sublemma__t32_sublemma.vout2025-09-15 19:18 2.0K 
[ ]sublemma__t33_sublemma2025-09-08 22:58 18K 
[ ]sublemma__t33_sublemma.vout2025-09-15 19:04 2.0K 
[ ]sublemma__t34_sublemma2025-09-08 22:59 18K 
[ ]sublemma__t34_sublemma.vout2025-09-15 16:29 7.3K 
[ ]sublemma__t35_sublemma2025-09-08 23:00 19K 
[ ]sublemma__t35_sublemma.depv12025-09-15 19:47 378  
[ ]sublemma__t35_sublemma.depvmin12025-09-15 19:52 352  
[ ]sublemma__t35_sublemma.vmin12025-09-15 19:47 3.9K 
[ ]sublemma__t35_sublemma.vmin1out2025-09-15 19:49 63K 
[ ]sublemma__t35_sublemma.vout2025-09-15 14:58 59K 
[ ]sublemma__t36_sublemma2025-09-08 23:01 16K 
[ ]sublemma__t36_sublemma.depv12025-09-15 19:47 38  
[ ]sublemma__t36_sublemma.depvmin12025-09-15 19:52 38  
[ ]sublemma__t36_sublemma.vmin12025-09-15 19:47 1.2K 
[ ]sublemma__t36_sublemma.vmin1out2025-09-15 19:47 24K 
[ ]sublemma__t36_sublemma.vout2025-09-15 16:05 13K 
[ ]sublemma__t37_sublemma2025-09-08 23:02 18K 
[ ]sublemma__t37_sublemma.depv12025-09-15 19:47 257  
[ ]sublemma__t37_sublemma.depvmin12025-09-15 19:52 257  
[ ]sublemma__t37_sublemma.vmin12025-09-15 19:47 3.1K 
[ ]sublemma__t37_sublemma.vmin1out2025-09-15 19:50 40K 
[ ]sublemma__t37_sublemma.vout2025-09-15 14:10 38K 
[ ]sublemma__t38_sublemma2025-09-08 23:04 32K 
[ ]sublemma__t38_sublemma.vout2025-09-15 15:49 3.7K 
[ ]sublemma__t39_sublemma2025-09-08 23:05 24K 
[ ]sublemma__t39_sublemma.vout2025-09-15 13:27 2.0K 
[ ]sublemma__t40_sublemma2025-09-08 23:06 20K 
[ ]sublemma__t40_sublemma.depv12025-09-15 19:47 39  
[ ]sublemma__t40_sublemma.depvmin12025-09-15 19:52 39  
[ ]sublemma__t40_sublemma.vmin12025-09-15 19:47 1.7K 
[ ]sublemma__t40_sublemma.vmin1out2025-09-15 19:51 13K 
[ ]sublemma__t40_sublemma.vout2025-09-15 17:40 13K 
[ ]sublemma__t41_sublemma2025-09-08 23:08 24K 
[ ]sublemma__t41_sublemma.vout2025-09-15 17:14 7.3K 
[ ]sublemma__t42_sublemma2025-09-08 22:19 12K 
[ ]sublemma__t42_sublemma.depv12025-09-15 19:47 105  
[ ]sublemma__t42_sublemma.depvmin12025-09-15 19:52 105  
[ ]sublemma__t42_sublemma.vmin12025-09-15 19:47 707  
[ ]sublemma__t42_sublemma.vmin1out2025-09-15 19:50 8.9K 
[ ]sublemma__t42_sublemma.vout2025-09-15 13:36 8.4K 
[ ]sublemma__t43_sublemma2025-09-08 23:09 24K 
[ ]sublemma__t43_sublemma.vout2025-09-15 14:07 7.4K 
[ ]sublemma__t44_sublemma2025-09-08 23:10 13K 
[ ]sublemma__t44_sublemma.depv12025-09-15 19:47 196  
[ ]sublemma__t44_sublemma.depvmin12025-09-15 19:52 196  
[ ]sublemma__t44_sublemma.vmin12025-09-15 19:47 2.0K 
[ ]sublemma__t44_sublemma.vmin1out2025-09-15 19:48 23K 
[ ]sublemma__t44_sublemma.vout2025-09-15 17:38 23K 
[ ]sublemma__t45_sublemma2025-09-08 23:11 15K 
[ ]sublemma__t45_sublemma.vout2025-09-15 18:09 7.3K 
[ ]sublemma__t46_sublemma2025-09-08 23:12 16K 
[ ]sublemma__t46_sublemma.vout2025-09-15 14:33 7.3K 
[ ]sublemma__t47_sublemma2025-09-08 23:13 21K 
[ ]sublemma__t47_sublemma.depv12025-09-15 19:47 165  
[ ]sublemma__t47_sublemma.depvmin12025-09-15 19:52 165  
[ ]sublemma__t47_sublemma.vmin12025-09-15 19:47 3.1K 
[ ]sublemma__t47_sublemma.vmin1out2025-09-15 19:47 43K 
[ ]sublemma__t47_sublemma.vout2025-09-15 16:59 53K 
[ ]sublemma__t48_sublemma2025-09-08 23:14 25K 
[ ]sublemma__t48_sublemma.depv12025-09-15 19:47 341  
[ ]sublemma__t48_sublemma.depvmin12025-09-15 19:52 296  
[ ]sublemma__t48_sublemma.vmin12025-09-15 19:47 3.3K 
[ ]sublemma__t48_sublemma.vmin1out2025-09-15 19:49 47K 
[ ]sublemma__t48_sublemma.vout2025-09-15 15:31 34K 
[ ]sublemma__t49_sublemma2025-09-08 23:15 25K 
[ ]sublemma__t49_sublemma.vout2025-09-15 19:02 4.7K 
[ ]sublemma__t50_sublemma2025-09-08 23:17 31K 
[ ]sublemma__t50_sublemma.vout2025-09-15 19:26 7.3K 
[ ]sublemma__t51_sublemma2025-09-08 23:18 24K 
[ ]sublemma__t51_sublemma.vout2025-09-15 18:07 2.0K 
[ ]sublemma__t52_sublemma2025-09-08 23:19 24K 
[ ]sublemma__t52_sublemma.vout2025-09-15 15:26 2.0K 
[ ]sublemma__t53_sublemma2025-09-08 23:21 52K 
[ ]sublemma__t53_sublemma.vout2025-09-15 15:02 3.7K 
[ ]sublemma__t54_sublemma2025-09-08 23:23 37K 
[ ]sublemma__t54_sublemma.vout2025-09-15 13:34 4.7K 
[ ]sublemma__t55_sublemma2025-09-08 23:25 37K 
[ ]sublemma__t55_sublemma.vout2025-09-15 13:36 6.8K 
[ ]sublemma__t56_sublemma2025-09-08 23:26 34K 
[ ]sublemma__t56_sublemma.vout2025-09-15 15:58 4.7K 
[ ]sublemma__t57_sublemma2025-09-08 23:27 21K 
[ ]sublemma__t57_sublemma.vout2025-09-15 19:19 7.9K 
[ ]sublemma__t58_sublemma2025-09-08 23:28 22K 
[ ]sublemma__t58_sublemma.vout2025-09-15 17:27 7.3K 
[ ]sublemma__t59_sublemma2025-09-08 23:30 36K 
[ ]sublemma__t59_sublemma.vout2025-09-15 16:08 7.3K 
[ ]sublemma__t60_sublemma2025-09-08 23:31 30K 
[ ]sublemma__t60_sublemma.vout2025-09-15 14:54 4.7K 
[ ]sublemma__t61_sublemma2025-09-08 23:32 21K 
[ ]sublemma__t61_sublemma.depv12025-09-15 19:47 146  
[ ]sublemma__t61_sublemma.depvmin12025-09-15 19:52 146  
[ ]sublemma__t61_sublemma.vmin12025-09-15 19:47 2.3K 
[ ]sublemma__t61_sublemma.vmin1out2025-09-15 19:49 38K 
[ ]sublemma__t61_sublemma.vout2025-09-15 17:01 45K 
[ ]sublemma__t62_sublemma2025-09-08 23:34 24K 
[ ]sublemma__t62_sublemma.vout2025-09-15 14:19 6.8K 
[ ]sublemma__t63_sublemma2025-09-08 23:35 29K 
[ ]sublemma__t63_sublemma.vout2025-09-15 14:10 6.8K 
[ ]sublemma__t64_sublemma2025-09-08 23:36 32K 
[ ]sublemma__t64_sublemma.vout2025-09-15 19:17 7.3K 
[ ]sublemma__t65_sublemma2025-09-08 23:37 15K 
[ ]sublemma__t65_sublemma.vout2025-09-15 15:49 6.8K 
[ ]sublemma__t66_sublemma2025-09-08 23:38 33K 
[ ]sublemma__t66_sublemma.vout2025-09-15 18:30 6.8K 
[ ]sublemma__t67_sublemma2025-09-08 23:40 31K 
[ ]sublemma__t67_sublemma.vout2025-09-15 18:17 4.7K 
[ ]sublemma__t68_sublemma2025-09-08 23:41 33K 
[ ]sublemma__t68_sublemma.vout2025-09-15 19:06 4.1K 
[ ]sublemma__t69_sublemma2025-09-08 23:43 46K 
[ ]sublemma__t69_sublemma.vout2025-09-15 19:34 6.8K 
[ ]sublemma__t70_sublemma2025-09-08 23:45 38K 
[ ]sublemma__t70_sublemma.vout2025-09-15 17:27 4.7K 
[ ]sublemma__t71_sublemma2025-09-08 23:46 29K 
[ ]sublemma__t71_sublemma.vout2025-09-15 14:16 7.3K 
[ ]sublemma__t72_sublemma2025-09-08 23:47 32K 
[ ]sublemma__t72_sublemma.vout2025-09-15 17:15 4.7K 
[ ]sublemma__t73_sublemma2025-09-08 22:20 30K 
[ ]sublemma__t73_sublemma.vout2025-09-15 16:00 2.0K 
[ ]sublemma__t74_sublemma2025-09-08 23:49 33K 
[ ]sublemma__t74_sublemma.vout2025-09-15 16:11 6.8K 
[ ]sublemma__t75_sublemma2025-09-08 23:50 34K 
[ ]sublemma__t75_sublemma.vout2025-09-15 14:16 4.7K 
[ ]sublemma__t76_sublemma2025-09-08 23:52 25K 
[ ]sublemma__t76_sublemma.vout2025-09-15 14:00 2.0K 
[ ]sublemma__t77_sublemma2025-09-08 23:53 29K 
[ ]sublemma__t77_sublemma.vout2025-09-15 15:27 6.8K 
[ ]sublemma__t78_sublemma2025-09-08 23:54 20K 
[ ]sublemma__t78_sublemma.vout2025-09-15 16:27 6.8K 
[ ]sublemma__t79_sublemma2025-09-08 23:55 27K 
[ ]sublemma__t79_sublemma.vout2025-09-15 19:25 7.3K 
[ ]sublemma__t80_sublemma2025-09-08 23:57 40K 
[ ]sublemma__t80_sublemma.vout2025-09-15 18:38 6.8K 
[ ]sublemma__t81_sublemma2025-09-08 23:58 47K 
[ ]sublemma__t81_sublemma.vout2025-09-15 15:27 1.1K 
[ ]sublemma__t82_sublemma2025-09-08 23:59 23K 
[ ]sublemma__t82_sublemma.vout2025-09-15 15:38 4.1K 
[ ]sublemma__t83_sublemma2025-09-09 00:00 36K 
[ ]sublemma__t83_sublemma.vout2025-09-15 13:33 7.4K 
[ ]sublemma__t84_sublemma2025-09-09 00:02 27K 
[ ]sublemma__t84_sublemma.vout2025-09-15 16:18 6.8K 
[ ]sublemma__t85_sublemma2025-09-09 00:03 37K 
[ ]sublemma__t85_sublemma.vout2025-09-15 13:38 7.3K 
[ ]sublemma__t86_sublemma2025-09-09 00:05 48K 
[ ]sublemma__t86_sublemma.vout2025-09-15 16:23 3.7K 
[ ]sublemma__t87_sublemma2025-09-09 00:07 37K 
[ ]sublemma__t87_sublemma.vout2025-09-15 17:19 4.1K 
[ ]sublemma__t88_sublemma2025-09-09 00:08 41K 
[ ]sublemma__t88_sublemma.vout2025-09-15 19:28 2.0K 
[ ]sublemma__t89_sublemma2025-09-09 00:10 35K 
[ ]sublemma__t89_sublemma.vout2025-09-15 16:13 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80