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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sublemma__t89_sublemma.vout2021-07-25 19:49 2.0K 
[ ]sublemma__t89_sublemma2021-07-18 11:36 35K 
[ ]sublemma__t88_sublemma.vout2021-07-25 15:52 2.0K 
[ ]sublemma__t88_sublemma2021-07-18 11:36 41K 
[ ]sublemma__t87_sublemma.vout2021-07-25 15:11 4.1K 
[ ]sublemma__t87_sublemma2021-07-18 11:36 37K 
[ ]sublemma__t86_sublemma.vout2021-07-25 20:18 3.7K 
[ ]sublemma__t86_sublemma2021-07-18 11:35 48K 
[ ]sublemma__t85_sublemma.vout2021-07-25 17:43 7.3K 
[ ]sublemma__t85_sublemma2021-07-18 11:35 37K 
[ ]sublemma__t84_sublemma.vout2021-07-25 18:32 6.8K 
[ ]sublemma__t84_sublemma2021-07-18 11:34 27K 
[ ]sublemma__t83_sublemma.vout2021-07-25 14:24 6.8K 
[ ]sublemma__t83_sublemma2021-07-18 11:34 36K 
[ ]sublemma__t82_sublemma.vout2021-07-25 16:32 4.2K 
[ ]sublemma__t82_sublemma2021-07-18 11:34 23K 
[ ]sublemma__t81_sublemma.vout2021-07-25 15:46 1.1K 
[ ]sublemma__t81_sublemma2021-07-18 11:33 47K 
[ ]sublemma__t80_sublemma.vout2021-07-25 19:40 6.8K 
[ ]sublemma__t80_sublemma2021-07-18 11:33 40K 
[ ]sublemma__t79_sublemma.vout2021-07-25 18:31 7.3K 
[ ]sublemma__t79_sublemma2021-07-18 11:32 27K 
[ ]sublemma__t78_sublemma.vout2021-07-25 20:46 6.8K 
[ ]sublemma__t78_sublemma2021-07-18 11:32 20K 
[ ]sublemma__t77_sublemma.vout2021-07-25 15:51 6.8K 
[ ]sublemma__t77_sublemma2021-07-18 11:32 29K 
[ ]sublemma__t76_sublemma.vout2021-07-25 14:58 2.0K 
[ ]sublemma__t76_sublemma2021-07-18 11:32 26K 
[ ]sublemma__t75_sublemma.vout2021-07-25 19:18 4.7K 
[ ]sublemma__t75_sublemma2021-07-18 11:31 34K 
[ ]sublemma__t74_sublemma.vout2021-07-25 15:45 6.8K 
[ ]sublemma__t74_sublemma2021-07-18 11:31 33K 
[ ]sublemma__t73_sublemma.vout2021-07-25 15:49 2.0K 
[ ]sublemma__t73_sublemma2021-07-18 11:07 30K 
[ ]sublemma__t72_sublemma.vout2021-07-25 19:12 4.7K 
[ ]sublemma__t72_sublemma2021-07-18 11:30 32K 
[ ]sublemma__t71_sublemma.vout2021-07-25 14:54 7.3K 
[ ]sublemma__t71_sublemma2021-07-18 11:30 29K 
[ ]sublemma__t70_sublemma.vout2021-07-25 20:08 5.3K 
[ ]sublemma__t70_sublemma2021-07-18 11:30 38K 
[ ]sublemma__t69_sublemma.vout2021-07-25 18:55 7.3K 
[ ]sublemma__t69_sublemma2021-07-18 11:29 46K 
[ ]sublemma__t68_sublemma.vout2021-07-25 15:21 4.1K 
[ ]sublemma__t68_sublemma2021-07-18 11:29 33K 
[ ]sublemma__t67_sublemma.vout2021-07-25 16:58 4.7K 
[ ]sublemma__t67_sublemma2021-07-18 11:28 31K 
[ ]sublemma__t66_sublemma.vout2021-07-25 17:37 6.8K 
[ ]sublemma__t66_sublemma2021-07-18 11:28 33K 
[ ]sublemma__t65_sublemma.vout2021-07-25 17:17 7.3K 
[ ]sublemma__t65_sublemma2021-07-18 11:28 15K 
[ ]sublemma__t64_sublemma.vout2021-07-25 16:44 6.8K 
[ ]sublemma__t64_sublemma2021-07-18 11:27 32K 
[ ]sublemma__t63_sublemma.vout2021-07-25 16:37 6.8K 
[ ]sublemma__t63_sublemma2021-07-18 11:27 29K 
[ ]sublemma__t62_sublemma.vout2021-07-25 16:34 6.8K 
[ ]sublemma__t62_sublemma2021-07-18 11:27 24K 
[ ]sublemma__t61_sublemma.vout2021-07-25 17:18 45K 
[ ]sublemma__t61_sublemma.vmin1out2021-07-25 21:00 38K 
[ ]sublemma__t61_sublemma.vmin12021-07-25 20:57 2.3K 
[ ]sublemma__t61_sublemma.depvmin12021-07-25 21:03 146  
[ ]sublemma__t61_sublemma.depv12021-07-25 20:57 146  
[ ]sublemma__t61_sublemma2021-07-18 11:26 21K 
[ ]sublemma__t60_sublemma.vout2021-07-25 20:12 4.7K 
[ ]sublemma__t60_sublemma2021-07-18 11:26 30K 
[ ]sublemma__t59_sublemma.vout2021-07-25 17:38 7.3K 
[ ]sublemma__t59_sublemma2021-07-18 11:26 35K 
[ ]sublemma__t58_sublemma.vout2021-07-25 19:46 7.3K 
[ ]sublemma__t58_sublemma2021-07-18 11:25 22K 
[ ]sublemma__t57_sublemma.vout2021-07-25 18:55 7.4K 
[ ]sublemma__t57_sublemma2021-07-18 11:25 21K 
[ ]sublemma__t56_sublemma.vout2021-07-25 16:13 4.7K 
[ ]sublemma__t56_sublemma2021-07-18 11:25 34K 
[ ]sublemma__t55_sublemma.vout2021-07-25 19:52 6.8K 
[ ]sublemma__t55_sublemma2021-07-18 11:24 37K 
[ ]sublemma__t54_sublemma.vout2021-07-25 15:22 4.7K 
[ ]sublemma__t54_sublemma2021-07-18 11:24 37K 
[ ]sublemma__t53_sublemma.vout2021-07-25 18:44 3.7K 
[ ]sublemma__t53_sublemma2021-07-18 11:23 51K 
[ ]sublemma__t52_sublemma.vout2021-07-25 20:06 2.0K 
[ ]sublemma__t52_sublemma2021-07-18 11:23 24K 
[ ]sublemma__t51_sublemma.vout2021-07-25 19:58 2.0K 
[ ]sublemma__t51_sublemma2021-07-18 11:22 25K 
[ ]sublemma__t50_sublemma.vout2021-07-25 15:18 7.3K 
[ ]sublemma__t50_sublemma2021-07-18 11:22 31K 
[ ]sublemma__t49_sublemma.vout2021-07-25 20:55 4.7K 
[ ]sublemma__t49_sublemma2021-07-18 11:22 25K 
[ ]sublemma__t48_sublemma.vout2021-07-25 20:39 34K 
[ ]sublemma__t48_sublemma.vmin1out2021-07-25 20:57 47K 
[ ]sublemma__t48_sublemma.vmin12021-07-25 20:57 3.3K 
[ ]sublemma__t48_sublemma.depvmin12021-07-25 21:03 296  
[ ]sublemma__t48_sublemma.depv12021-07-25 20:57 341  
[ ]sublemma__t48_sublemma2021-07-18 11:21 25K 
[ ]sublemma__t47_sublemma.vout2021-07-25 19:49 53K 
[ ]sublemma__t47_sublemma.vmin1out2021-07-25 21:01 43K 
[ ]sublemma__t47_sublemma.vmin12021-07-25 20:57 3.1K 
[ ]sublemma__t47_sublemma.depvmin12021-07-25 21:03 165  
[ ]sublemma__t47_sublemma.depv12021-07-25 20:57 165  
[ ]sublemma__t47_sublemma2021-07-18 11:21 21K 
[ ]sublemma__t46_sublemma.vout2021-07-25 17:22 7.3K 
[ ]sublemma__t46_sublemma2021-07-18 11:21 17K 
[ ]sublemma__t45_sublemma.vout2021-07-25 17:42 7.3K 
[ ]sublemma__t45_sublemma2021-07-18 11:20 15K 
[ ]sublemma__t44_sublemma.vout2021-07-25 16:13 23K 
[ ]sublemma__t44_sublemma.vmin1out2021-07-25 21:00 23K 
[ ]sublemma__t44_sublemma.vmin12021-07-25 20:57 2.0K 
[ ]sublemma__t44_sublemma.depvmin12021-07-25 21:03 196  
[ ]sublemma__t44_sublemma.depv12021-07-25 20:57 196  
[ ]sublemma__t44_sublemma2021-07-18 11:20 13K 
[ ]sublemma__t43_sublemma.vout2021-07-25 17:02 7.4K 
[ ]sublemma__t43_sublemma2021-07-18 11:20 24K 
[ ]sublemma__t42_sublemma.vout2021-07-25 15:59 8.4K 
[ ]sublemma__t42_sublemma.vmin1out2021-07-25 21:02 8.9K 
[ ]sublemma__t42_sublemma.vmin12021-07-25 20:57 707  
[ ]sublemma__t42_sublemma.depvmin12021-07-25 21:03 105  
[ ]sublemma__t42_sublemma.depv12021-07-25 20:57 105  
[ ]sublemma__t42_sublemma2021-07-18 11:06 12K 
[ ]sublemma__t41_sublemma.vout2021-07-25 18:57 7.3K 
[ ]sublemma__t41_sublemma2021-07-18 11:20 25K 
[ ]sublemma__t40_sublemma.vout2021-07-25 17:25 13K 
[ ]sublemma__t40_sublemma.vmin1out2021-07-25 20:58 13K 
[ ]sublemma__t40_sublemma.vmin12021-07-25 20:57 1.7K 
[ ]sublemma__t40_sublemma.depvmin12021-07-25 21:03 39  
[ ]sublemma__t40_sublemma.depv12021-07-25 20:57 39  
[ ]sublemma__t40_sublemma2021-07-18 11:19 21K 
[ ]sublemma__t39_sublemma.vout2021-07-25 20:38 2.0K 
[ ]sublemma__t39_sublemma2021-07-18 11:19 25K 
[ ]sublemma__t38_sublemma.vout2021-07-25 18:21 3.7K 
[ ]sublemma__t38_sublemma2021-07-18 11:18 32K 
[ ]sublemma__t37_sublemma.vout2021-07-25 19:33 38K 
[ ]sublemma__t37_sublemma.vmin1out2021-07-25 20:58 40K 
[ ]sublemma__t37_sublemma.vmin12021-07-25 20:57 3.1K 
[ ]sublemma__t37_sublemma.depvmin12021-07-25 21:03 257  
[ ]sublemma__t37_sublemma.depv12021-07-25 20:57 257  
[ ]sublemma__t37_sublemma2021-07-18 11:18 18K 
[ ]sublemma__t36_sublemma.vout2021-07-25 15:46 13K 
[ ]sublemma__t36_sublemma.vmin1out2021-07-25 21:01 24K 
[ ]sublemma__t36_sublemma.vmin12021-07-25 20:57 1.2K 
[ ]sublemma__t36_sublemma.depvmin12021-07-25 21:03 38  
[ ]sublemma__t36_sublemma.depv12021-07-25 20:57 38  
[ ]sublemma__t36_sublemma2021-07-18 11:18 16K 
[ ]sublemma__t35_sublemma.vout2021-07-25 15:17 59K 
[ ]sublemma__t35_sublemma.vmin1out2021-07-25 20:58 63K 
[ ]sublemma__t35_sublemma.vmin12021-07-25 20:57 3.9K 
[ ]sublemma__t35_sublemma.depvmin12021-07-25 21:03 352  
[ ]sublemma__t35_sublemma.depv12021-07-25 20:57 378  
[ ]sublemma__t35_sublemma2021-07-18 11:17 19K 
[ ]sublemma__t34_sublemma.vout2021-07-25 19:06 7.4K 
[ ]sublemma__t34_sublemma2021-07-18 11:17 18K 
[ ]sublemma__t33_sublemma.vout2021-07-25 15:50 2.0K 
[ ]sublemma__t33_sublemma2021-07-18 11:17 18K 
[ ]sublemma__t32_sublemma.vout2021-07-25 18:08 2.0K 
[ ]sublemma__t32_sublemma2021-07-18 11:17 25K 
[ ]sublemma__t31_sublemma.vout2021-07-25 15:10 67K 
[ ]sublemma__t31_sublemma.vmin1out2021-07-25 21:00 66K 
[ ]sublemma__t31_sublemma.vmin12021-07-25 20:57 5.0K 
[ ]sublemma__t31_sublemma.depvmin12021-07-25 21:03 390  
[ ]sublemma__t31_sublemma.depv12021-07-25 20:57 390  
[ ]sublemma__t31_sublemma2021-07-18 11:16 20K 
[ ]sublemma__t30_sublemma.vout2021-07-25 14:52 29K 
[ ]sublemma__t30_sublemma.vmin1out2021-07-25 21:00 24K 
[ ]sublemma__t30_sublemma.vmin12021-07-25 20:57 2.3K 
[ ]sublemma__t30_sublemma.depvmin12021-07-25 21:03 199  
[ ]sublemma__t30_sublemma.depv12021-07-25 20:57 199  
[ ]sublemma__t30_sublemma2021-07-18 11:16 18K 
[ ]sublemma__t29_sublemma.vout2021-07-25 19:53 16K 
[ ]sublemma__t29_sublemma.vmin1out2021-07-25 21:01 17K 
[ ]sublemma__t29_sublemma.vmin12021-07-25 20:57 1.9K 
[ ]sublemma__t29_sublemma.depvmin12021-07-25 21:03 129  
[ ]sublemma__t29_sublemma.depv12021-07-25 20:57 129  
[ ]sublemma__t29_sublemma2021-07-18 11:16 17K 
[ ]sublemma__t28_sublemma.vout2021-07-25 18:05 26K 
[ ]sublemma__t28_sublemma.vmin1out2021-07-25 21:00 25K 
[ ]sublemma__t28_sublemma.vmin12021-07-25 20:57 2.2K 
[ ]sublemma__t28_sublemma.depvmin12021-07-25 21:03 193  
[ ]sublemma__t28_sublemma.depv12021-07-25 20:57 206  
[ ]sublemma__t28_sublemma2021-07-18 11:15 13K 
[ ]sublemma__t27_sublemma.vout2021-07-25 15:57 7.8K 
[ ]sublemma__t27_sublemma.vmin1out2021-07-25 21:00 7.8K 
[ ]sublemma__t27_sublemma.vmin12021-07-25 20:57 788  
[ ]sublemma__t27_sublemma.depvmin12021-07-25 21:03 38  
[ ]sublemma__t27_sublemma.depv12021-07-25 20:57 38  
[ ]sublemma__t27_sublemma2021-07-18 11:15 16K 
[ ]sublemma__t26_sublemma.vout2021-07-25 15:50 2.0K 
[ ]sublemma__t26_sublemma2021-07-18 11:15 17K 
[ ]sublemma__t25_sublemma.vout2021-07-25 14:42 2.0K 
[ ]sublemma__t25_sublemma2021-07-18 11:15 27K 
[ ]sublemma__t24_sublemma.vout2021-07-25 19:23 4.1K 
[ ]sublemma__t24_sublemma2021-07-18 11:14 26K 
[ ]sublemma__t23_sublemma.vout2021-07-25 17:07 34K 
[ ]sublemma__t23_sublemma.vmin1out2021-07-25 20:59 25K 
[ ]sublemma__t23_sublemma.vmin12021-07-25 20:57 2.8K 
[ ]sublemma__t23_sublemma.depvmin12021-07-25 21:03 274  
[ ]sublemma__t23_sublemma.depv12021-07-25 20:57 274  
[ ]sublemma__t23_sublemma2021-07-18 11:14 14K 
[ ]sublemma__t22_sublemma.vout2021-07-25 16:42 4.1K 
[ ]sublemma__t22_sublemma2021-07-18 11:06 20K 
[ ]sublemma__t21_sublemma.vout2021-07-25 20:50 2.0K 
[ ]sublemma__t21_sublemma2021-07-18 11:14 18K 
[ ]sublemma__t20_sublemma.vout2021-07-25 14:46 2.0K 
[ ]sublemma__t20_sublemma2021-07-18 11:13 18K 
[ ]sublemma__t19_sublemma.vout2021-07-25 17:14 4.2K 
[ ]sublemma__t19_sublemma2021-07-18 11:13 27K 
[ ]sublemma__t18_sublemma.vout2021-07-25 14:42 4.1K 
[ ]sublemma__t18_sublemma2021-07-18 11:13 22K 
[ ]sublemma__t17_sublemma.vout2021-07-25 18:38 2.0K 
[ ]sublemma__t17_sublemma2021-07-18 11:12 25K 
[ ]sublemma__t16_sublemma.vout2021-07-25 15:53 2.0K 
[ ]sublemma__t16_sublemma2021-07-18 11:12 17K 
[ ]sublemma__t15_sublemma.vout2021-07-25 19:43 4.7K 
[ ]sublemma__t15_sublemma2021-07-18 11:12 35K 
[ ]sublemma__t14_sublemma.vout2021-07-25 19:45 2.0K 
[ ]sublemma__t14_sublemma2021-07-18 11:11 19K 
[ ]sublemma__t13_sublemma.vout2021-07-25 20:28 4.1K 
[ ]sublemma__t13_sublemma2021-07-18 11:11 36K 
[ ]sublemma__t12_sublemma.vout2021-07-25 15:38 6.8K 
[ ]sublemma__t12_sublemma2021-07-18 11:10 26K 
[ ]sublemma__t11_sublemma.vout2021-07-25 18:11 6.8K 
[ ]sublemma__t11_sublemma2021-07-18 11:10 25K 
[ ]sublemma__t10_sublemma.vout2021-07-25 19:07 38K 
[ ]sublemma__t10_sublemma.vmin1out2021-07-25 21:02 40K 
[ ]sublemma__t10_sublemma.vmin12021-07-25 20:57 2.8K 
[ ]sublemma__t10_sublemma.depvmin12021-07-25 21:03 195  
[ ]sublemma__t10_sublemma.depv12021-07-25 20:57 195  
[ ]sublemma__t10_sublemma2021-07-18 11:10 19K 
[ ]sublemma__t9_sublemma.vout2021-07-25 18:24 2.0K 
[ ]sublemma__t9_sublemma2021-07-18 11:09 18K 
[ ]sublemma__t8_sublemma.vout2021-07-25 17:54 4.1K 
[ ]sublemma__t8_sublemma2021-07-18 11:09 23K 
[ ]sublemma__t7_sublemma.vout2021-07-25 16:02 5.3K 
[ ]sublemma__t7_sublemma2021-07-18 11:09 22K 
[ ]sublemma__t6_sublemma.vout2021-07-25 16:54 38K 
[ ]sublemma__t6_sublemma.vmin1out2021-07-25 21:01 38K 
[ ]sublemma__t6_sublemma.vmin12021-07-25 20:57 3.0K 
[ ]sublemma__t6_sublemma.depvmin12021-07-25 21:03 229  
[ ]sublemma__t6_sublemma.depv12021-07-25 20:57 229  
[ ]sublemma__t6_sublemma2021-07-18 11:08 21K 
[ ]sublemma__t5_sublemma.vout2021-07-25 19:22 24K 
[ ]sublemma__t5_sublemma.vmin1out2021-07-25 21:00 19K 
[ ]sublemma__t5_sublemma.vmin12021-07-25 20:57 2.1K 
[ ]sublemma__t5_sublemma.depvmin12021-07-25 21:03 237  
[ ]sublemma__t5_sublemma.depv12021-07-25 20:57 237  
[ ]sublemma__t5_sublemma2021-07-18 11:08 18K 
[ ]sublemma__t4_sublemma.vout2021-07-25 17:35 7.3K 
[ ]sublemma__t4_sublemma2021-07-18 11:08 26K 
[ ]sublemma__t3_sublemma.vout2021-07-25 20:21 30K 
[ ]sublemma__t3_sublemma.vmin1out2021-07-25 20:58 30K 
[ ]sublemma__t3_sublemma.vmin12021-07-25 20:57 2.5K 
[ ]sublemma__t3_sublemma.depvmin12021-07-25 21:03 152  
[ ]sublemma__t3_sublemma.depv12021-07-25 20:57 152  
[ ]sublemma__t3_sublemma2021-07-18 11:07 21K 
[ ]sublemma__t2_sublemma.vout2021-07-25 20:05 21K 
[ ]sublemma__t2_sublemma.vmin1out2021-07-25 21:02 18K 
[ ]sublemma__t2_sublemma.vmin12021-07-25 20:57 2.1K 
[ ]sublemma__t2_sublemma.depvmin12021-07-25 21:03 248  
[ ]sublemma__t2_sublemma.depv12021-07-25 20:57 257  
[ ]sublemma__t2_sublemma2021-07-18 11:07 27K 
[ ]sublemma__t1_sublemma.vout2021-07-25 18:42 7.3K 
[ ]sublemma__t1_sublemma2021-07-18 11:07 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80