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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid12__l1_euclid122021-07-18 03:55 23K 
[ ]euclid12__l1_euclid12.vout2021-07-25 20:37 2.0K 
[ ]euclid12__l2_euclid122021-07-18 03:55 15K 
[ ]euclid12__l2_euclid12.vout2021-07-25 19:47 2.0K 
[ ]euclid12__t1_euclid122021-07-18 03:06 36K 
[ ]euclid12__t1_euclid12.vout2021-07-25 16:37 4.2K 
[ ]euclid12__t2_euclid122021-07-18 03:06 96K 
[ ]euclid12__t2_euclid12.vout2021-07-25 16:55 7.3K 
[ ]euclid12__t3_euclid122021-07-18 03:07 26K 
[ ]euclid12__t3_euclid12.vout2021-07-25 15:20 5.3K 
[ ]euclid12__t4_euclid122021-07-18 03:07 32K 
[ ]euclid12__t4_euclid12.vout2021-07-25 15:55 7.3K 
[ ]euclid12__t5_euclid122021-07-18 03:08 31K 
[ ]euclid12__t5_euclid12.vout2021-07-25 17:46 7.3K 
[ ]euclid12__t6_euclid122021-07-18 03:08 23K 
[ ]euclid12__t6_euclid12.vout2021-07-25 14:55 7.3K 
[ ]euclid12__t7_euclid122021-07-18 03:02 15K 
[ ]euclid12__t7_euclid12.vout2021-07-25 20:30 2.0K 
[ ]euclid12__t8_euclid122021-07-18 03:09 23K 
[ ]euclid12__t8_euclid12.vout2021-07-25 17:56 7.4K 
[ ]euclid12__t9_euclid122021-07-18 03:02 15K 
[ ]euclid12__t9_euclid12.vout2021-07-25 20:28 7.9K 
[ ]euclid12__t10_euclid122021-07-18 03:09 29K 
[ ]euclid12__t10_euclid12.vout2021-07-25 18:08 4.7K 
[ ]euclid12__t11_euclid122021-07-18 03:10 288K 
[ ]euclid12__t11_euclid12.vout2021-07-25 14:26 4.7K 
[ ]euclid12__t12_euclid122021-07-18 03:11 79K 
[ ]euclid12__t12_euclid12.vout2021-07-25 17:50 4.2K 
[ ]euclid12__t13_euclid122021-07-18 03:12 41K 
[ ]euclid12__t13_euclid12.vout2021-07-25 17:07 4.1K 
[ ]euclid12__t14_euclid122021-07-18 03:12 31K 
[ ]euclid12__t14_euclid12.depv12021-07-25 20:57 105  
[ ]euclid12__t14_euclid12.depvmin12021-07-25 21:03 105  
[ ]euclid12__t14_euclid12.vmin12021-07-25 20:57 2.3K 
[ ]euclid12__t14_euclid12.vmin1out2021-07-25 21:01 44K 
[ ]euclid12__t14_euclid12.vout2021-07-25 20:55 44K 
[ ]euclid12__t15_euclid122021-07-18 03:13 43K 
[ ]euclid12__t15_euclid12.vout2021-07-25 14:58 7.3K 
[ ]euclid12__t16_euclid122021-07-18 03:13 22K 
[ ]euclid12__t16_euclid12.depv12021-07-25 20:57 306  
[ ]euclid12__t16_euclid12.depvmin12021-07-25 21:03 306  
[ ]euclid12__t16_euclid12.vmin12021-07-25 20:57 2.7K 
[ ]euclid12__t16_euclid12.vmin1out2021-07-25 21:02 32K 
[ ]euclid12__t16_euclid12.vout2021-07-25 15:08 30K 
[ ]euclid12__t17_euclid122021-07-18 03:14 19K 
[ ]euclid12__t17_euclid12.depv12021-07-25 20:57 115  
[ ]euclid12__t17_euclid12.depvmin12021-07-25 21:03 115  
[ ]euclid12__t17_euclid12.vmin12021-07-25 20:57 1.0K 
[ ]euclid12__t17_euclid12.vmin1out2021-07-25 20:59 9.9K 
[ ]euclid12__t17_euclid12.vout2021-07-25 14:55 8.9K 
[ ]euclid12__t18_euclid122021-07-18 03:15 37K 
[ ]euclid12__t18_euclid12.vout2021-07-25 15:31 8.4K 
[ ]euclid12__t19_euclid122021-07-18 03:15 27K 
[ ]euclid12__t19_euclid12.vout2021-07-25 20:49 8.4K 
[ ]euclid12__t20_euclid122021-07-18 03:16 35K 
[ ]euclid12__t20_euclid12.vout2021-07-25 14:56 6.9K 
[ ]euclid12__t21_euclid122021-07-18 03:02 18K 
[ ]euclid12__t21_euclid12.vout2021-07-25 15:13 2.0K 
[ ]euclid12__t22_euclid122021-07-18 03:03 21K 
[ ]euclid12__t22_euclid12.vout2021-07-25 20:51 4.1K 
[ ]euclid12__t23_euclid122021-07-18 03:04 72K 
[ ]euclid12__t23_euclid12.depv12021-07-25 20:57 38  
[ ]euclid12__t23_euclid12.depvmin12021-07-25 21:03 38  
[ ]euclid12__t23_euclid12.vmin12021-07-25 20:57 678  
[ ]euclid12__t23_euclid12.vmin1out2021-07-25 21:01 5.5K 
[ ]euclid12__t23_euclid12.vout2021-07-25 18:57 5.1K 
[ ]euclid12__t24_euclid122021-07-18 03:16 73K 
[ ]euclid12__t24_euclid12.depv12021-07-25 20:57 939  
[ ]euclid12__t24_euclid12.depvmin12021-07-25 21:03 277  
[ ]euclid12__t24_euclid12.vmin12021-07-25 20:57 4.2K 
[ ]euclid12__t24_euclid12.vmin1out2021-07-25 20:59 12K 
[ ]euclid12__t24_euclid12.vout2021-07-25 16:41 27K 
[ ]euclid12__t25_euclid122021-07-18 03:17 53K 
[ ]euclid12__t25_euclid12.vout2021-07-25 14:40 5.8K 
[ ]euclid12__t26_euclid122021-07-18 03:18 35K 
[ ]euclid12__t26_euclid12.depv12021-07-25 20:57 142  
[ ]euclid12__t26_euclid12.depvmin12021-07-25 21:03 142  
[ ]euclid12__t26_euclid12.vmin12021-07-25 20:57 2.6K 
[ ]euclid12__t26_euclid12.vmin1out2021-07-25 20:58 36K 
[ ]euclid12__t26_euclid12.vout2021-07-25 16:28 29K 
[ ]euclid12__t27_euclid122021-07-18 03:18 99K 
[ ]euclid12__t27_euclid12.vout2021-07-25 16:12 4.8K 
[ ]euclid12__t28_euclid122021-07-18 03:19 73K 
[ ]euclid12__t28_euclid12.vout2021-07-25 19:00 4.2K 
[ ]euclid12__t29_euclid122021-07-18 03:20 95K 
[ ]euclid12__t29_euclid12.vout2021-07-25 16:56 7.3K 
[ ]euclid12__t30_euclid122021-07-18 03:20 27K 
[ ]euclid12__t30_euclid12.depv12021-07-25 20:57 149  
[ ]euclid12__t30_euclid12.depvmin12021-07-25 21:03 149  
[ ]euclid12__t30_euclid12.vmin12021-07-25 20:57 1.6K 
[ ]euclid12__t30_euclid12.vmin1out2021-07-25 20:57 13K 
[ ]euclid12__t30_euclid12.vout2021-07-25 16:13 20K 
[ ]euclid12__t31_euclid122021-07-18 03:21 30K 
[ ]euclid12__t31_euclid12.vout2021-07-25 15:35 4.1K 
[ ]euclid12__t32_euclid122021-07-18 03:21 33K 
[ ]euclid12__t32_euclid12.vout2021-07-25 15:11 4.1K 
[ ]euclid12__t33_euclid122021-07-18 03:22 18K 
[ ]euclid12__t33_euclid12.depv12021-07-25 20:57 39  
[ ]euclid12__t33_euclid12.depvmin12021-07-25 21:03 39  
[ ]euclid12__t33_euclid12.vmin12021-07-25 20:57 556  
[ ]euclid12__t33_euclid12.vmin1out2021-07-25 20:59 7.1K 
[ ]euclid12__t33_euclid12.vout2021-07-25 14:50 4.7K 
[ ]euclid12__t34_euclid122021-07-18 03:22 74K 
[ ]euclid12__t34_euclid12.vout2021-07-25 17:22 4.1K 
[ ]euclid12__t35_euclid122021-07-18 03:23 74K 
[ ]euclid12__t35_euclid12.depv12021-07-25 20:57 38  
[ ]euclid12__t35_euclid12.depvmin12021-07-25 21:03 38  
[ ]euclid12__t35_euclid12.vmin12021-07-25 20:57 1.2K 
[ ]euclid12__t35_euclid12.vmin1out2021-07-25 21:00 18K 
[ ]euclid12__t35_euclid12.vout2021-07-25 15:55 13K 
[ ]euclid12__t36_euclid122021-07-18 03:24 76K 
[ ]euclid12__t36_euclid12.vout2021-07-25 17:01 4.2K 
[ ]euclid12__t37_euclid122021-07-18 03:24 73K 
[ ]euclid12__t37_euclid12.vout2021-07-25 18:12 4.7K 
[ ]euclid12__t38_euclid122021-07-18 03:25 73K 
[ ]euclid12__t38_euclid12.vout2021-07-25 16:59 4.1K 
[ ]euclid12__t39_euclid122021-07-18 03:26 22K 
[ ]euclid12__t39_euclid12.depv12021-07-25 20:57 297  
[ ]euclid12__t39_euclid12.depvmin12021-07-25 21:03 297  
[ ]euclid12__t39_euclid12.vmin12021-07-25 20:57 2.9K 
[ ]euclid12__t39_euclid12.vmin1out2021-07-25 21:00 39K 
[ ]euclid12__t39_euclid12.vout2021-07-25 15:59 40K 
[ ]euclid12__t40_euclid122021-07-18 03:04 11K 
[ ]euclid12__t40_euclid12.depv12021-07-25 20:57 67  
[ ]euclid12__t40_euclid12.depvmin12021-07-25 21:03 67  
[ ]euclid12__t40_euclid12.vmin12021-07-25 20:57 899  
[ ]euclid12__t40_euclid12.vmin1out2021-07-25 21:02 6.8K 
[ ]euclid12__t40_euclid12.vout2021-07-25 20:03 6.8K 
[ ]euclid12__t41_euclid122021-07-18 03:04 11K 
[ ]euclid12__t41_euclid12.depv12021-07-25 20:57 67  
[ ]euclid12__t41_euclid12.depvmin12021-07-25 21:03 67  
[ ]euclid12__t41_euclid12.vmin12021-07-25 20:57 1.0K 
[ ]euclid12__t41_euclid12.vmin1out2021-07-25 20:59 7.9K 
[ ]euclid12__t41_euclid12.vout2021-07-25 17:50 8.0K 
[ ]euclid12__t42_euclid122021-07-18 03:26 19K 
[ ]euclid12__t42_euclid12.depv12021-07-25 20:57 191  
[ ]euclid12__t42_euclid12.depvmin12021-07-25 21:03 66  
[ ]euclid12__t42_euclid12.vmin12021-07-25 20:57 2.4K 
[ ]euclid12__t42_euclid12.vmin1out2021-07-25 21:00 24K 
[ ]euclid12__t42_euclid12.vout2021-07-25 14:58 50K 
[ ]euclid12__t43_euclid122021-07-18 03:26 19K 
[ ]euclid12__t43_euclid12.depv12021-07-25 20:57 199  
[ ]euclid12__t43_euclid12.depvmin12021-07-25 21:03 199  
[ ]euclid12__t43_euclid12.vmin12021-07-25 20:57 2.8K 
[ ]euclid12__t43_euclid12.vmin1out2021-07-25 20:57 38K 
[ ]euclid12__t43_euclid12.vout2021-07-25 16:32 41K 
[ ]euclid12__t44_euclid122021-07-18 03:04 18K 
[ ]euclid12__t44_euclid12.vout2021-07-25 19:24 2.0K 
[ ]euclid12__t45_euclid122021-07-18 03:27 12K 
[ ]euclid12__t45_euclid12.depv12021-07-25 20:57 201  
[ ]euclid12__t45_euclid12.depvmin12021-07-25 21:03 93  
[ ]euclid12__t45_euclid12.vmin12021-07-25 20:57 2.2K 
[ ]euclid12__t45_euclid12.vmin1out2021-07-25 21:02 13K 
[ ]euclid12__t45_euclid12.vout2021-07-25 17:44 21K 
[ ]euclid12__t46_euclid122021-07-18 03:05 11K 
[ ]euclid12__t46_euclid12.depv12021-07-25 20:57 26  
[ ]euclid12__t46_euclid12.depvmin12021-07-25 21:03 26  
[ ]euclid12__t46_euclid12.vmin12021-07-25 20:57 523  
[ ]euclid12__t46_euclid12.vmin1out2021-07-25 21:02 4.9K 
[ ]euclid12__t46_euclid12.vout2021-07-25 19:34 4.9K 
[ ]euclid12__t47_euclid122021-07-18 03:27 18K 
[ ]euclid12__t47_euclid12.vout2021-07-25 17:45 2.0K 
[ ]euclid12__t48_euclid122021-07-18 03:28 46K 
[ ]euclid12__t48_euclid12.vout2021-07-25 19:06 7.9K 
[ ]euclid12__t49_euclid122021-07-18 03:29 31K 
[ ]euclid12__t49_euclid12.vout2021-07-25 20:22 8.4K 
[ ]euclid12__t50_euclid122021-07-18 03:29 315K 
[ ]euclid12__t50_euclid12.vout2021-07-25 18:10 4.7K 
[ ]euclid12__t51_euclid122021-07-18 03:30 25K 
[ ]euclid12__t51_euclid12.depv12021-07-25 20:57 316  
[ ]euclid12__t51_euclid12.depvmin12021-07-25 21:03 218  
[ ]euclid12__t51_euclid12.vmin12021-07-25 20:57 3.6K 
[ ]euclid12__t51_euclid12.vmin1out2021-07-25 20:57 43K 
[ ]euclid12__t51_euclid12.vout2021-07-25 20:33 43K 
[ ]euclid12__t52_euclid122021-07-18 03:31 79K 
[ ]euclid12__t52_euclid12.vout2021-07-25 19:11 7.9K 
[ ]euclid12__t53_euclid122021-07-18 03:31 23K 
[ ]euclid12__t53_euclid12.depv12021-07-25 20:57 80  
[ ]euclid12__t53_euclid12.depvmin12021-07-25 21:03 80  
[ ]euclid12__t53_euclid12.vmin12021-07-25 20:57 1.4K 
[ ]euclid12__t53_euclid12.vmin1out2021-07-25 21:00 16K 
[ ]euclid12__t53_euclid12.vout2021-07-25 15:22 20K 
[ ]euclid12__t54_euclid122021-07-18 03:32 26K 
[ ]euclid12__t54_euclid12.depv12021-07-25 20:57 157  
[ ]euclid12__t54_euclid12.depvmin12021-07-25 21:03 157  
[ ]euclid12__t54_euclid12.vmin12021-07-25 20:57 2.4K 
[ ]euclid12__t54_euclid12.vmin1out2021-07-25 21:00 45K 
[ ]euclid12__t54_euclid12.vout2021-07-25 15:31 43K 
[ ]euclid12__t55_euclid122021-07-18 03:33 358K 
[ ]euclid12__t55_euclid12.vout2021-07-25 18:47 4.7K 
[ ]euclid12__t56_euclid122021-07-18 03:33 80K 
[ ]euclid12__t56_euclid12.vout2021-07-25 14:28 4.1K 
[ ]euclid12__t57_euclid122021-07-18 03:34 106K 
[ ]euclid12__t57_euclid12.vout2021-07-25 18:56 7.4K 
[ ]euclid12__t58_euclid122021-07-18 03:35 23K 
[ ]euclid12__t58_euclid12.vout2021-07-25 17:21 4.1K 
[ ]euclid12__t59_euclid122021-07-18 03:35 25K 
[ ]euclid12__t59_euclid12.vout2021-07-25 19:31 7.3K 
[ ]euclid12__t60_euclid122021-07-18 03:36 361K 
[ ]euclid12__t60_euclid12.vout2021-07-25 17:09 4.7K 
[ ]euclid12__t61_euclid122021-07-18 03:37 38K 
[ ]euclid12__t61_euclid12.vout2021-07-25 18:54 7.4K 
[ ]euclid12__t62_euclid122021-07-18 03:38 52K 
[ ]euclid12__t62_euclid12.vout2021-07-25 20:11 4.7K 
[ ]euclid12__t63_euclid122021-07-18 03:39 31K 
[ ]euclid12__t63_euclid12.vout2021-07-25 19:06 4.1K 
[ ]euclid12__t64_euclid122021-07-18 03:39 54K 
[ ]euclid12__t64_euclid12.vout2021-07-25 14:54 7.3K 
[ ]euclid12__t65_euclid122021-07-18 03:40 51K 
[ ]euclid12__t65_euclid12.vout2021-07-25 16:59 4.7K 
[ ]euclid12__t66_euclid122021-07-18 03:41 30K 
[ ]euclid12__t66_euclid12.depv12021-07-25 20:57 53  
[ ]euclid12__t66_euclid12.depvmin12021-07-25 21:03 53  
[ ]euclid12__t66_euclid12.vmin12021-07-25 20:57 2.3K 
[ ]euclid12__t66_euclid12.vmin1out2021-07-25 21:00 51K 
[ ]euclid12__t66_euclid12.vout2021-07-25 19:05 40K 
[ ]euclid12__t67_euclid122021-07-18 03:41 26K 
[ ]euclid12__t67_euclid12.depv12021-07-25 20:57 38  
[ ]euclid12__t67_euclid12.depvmin12021-07-25 21:03 38  
[ ]euclid12__t67_euclid12.vmin12021-07-25 20:57 1.4K 
[ ]euclid12__t67_euclid12.vmin1out2021-07-25 21:02 14K 
[ ]euclid12__t67_euclid12.vout2021-07-25 15:21 16K 
[ ]euclid12__t68_euclid122021-07-18 03:42 27K 
[ ]euclid12__t68_euclid12.depv12021-07-25 20:57 37  
[ ]euclid12__t68_euclid12.depvmin12021-07-25 21:03 37  
[ ]euclid12__t68_euclid12.vmin12021-07-25 20:57 1.4K 
[ ]euclid12__t68_euclid12.vmin1out2021-07-25 20:58 40K 
[ ]euclid12__t68_euclid12.vout2021-07-25 20:05 30K 
[ ]euclid12__t69_euclid122021-07-18 03:43 31K 
[ ]euclid12__t69_euclid12.vout2021-07-25 17:55 7.4K 
[ ]euclid12__t70_euclid122021-07-18 03:43 201K 
[ ]euclid12__t70_euclid12.vout2021-07-25 15:27 4.7K 
[ ]euclid12__t71_euclid122021-07-18 03:44 362K 
[ ]euclid12__t71_euclid12.vout2021-07-25 14:52 4.7K 
[ ]euclid12__t72_euclid122021-07-18 03:45 212K 
[ ]euclid12__t72_euclid12.vout2021-07-25 18:09 5.3K 
[ ]euclid12__t73_euclid122021-07-18 03:46 212K 
[ ]euclid12__t73_euclid12.vout2021-07-25 15:22 5.3K 
[ ]euclid12__t74_euclid122021-07-18 03:46 93K 
[ ]euclid12__t74_euclid12.vout2021-07-25 18:58 7.3K 
[ ]euclid12__t75_euclid122021-07-18 03:47 93K 
[ ]euclid12__t75_euclid12.vout2021-07-25 17:25 6.8K 
[ ]euclid12__t76_euclid122021-07-18 03:48 86K 
[ ]euclid12__t76_euclid12.depv12021-07-25 20:57 63  
[ ]euclid12__t76_euclid12.depvmin12021-07-25 21:03 39  
[ ]euclid12__t76_euclid12.vmin12021-07-25 20:57 2.2K 
[ ]euclid12__t76_euclid12.vmin1out2021-07-25 21:01 40K 
[ ]euclid12__t76_euclid12.vout2021-07-25 19:37 25K 
[ ]euclid12__t77_euclid122021-07-18 03:48 99K 
[ ]euclid12__t77_euclid12.vout2021-07-25 17:22 4.7K 
[ ]euclid12__t78_euclid122021-07-18 03:49 214K 
[ ]euclid12__t78_euclid12.vout2021-07-25 16:55 4.7K 
[ ]euclid12__t79_euclid122021-07-18 03:50 287K 
[ ]euclid12__t79_euclid12.vout2021-07-25 17:10 4.7K 
[ ]euclid12__t80_euclid122021-07-18 03:51 39K 
[ ]euclid12__t80_euclid12.vout2021-07-25 20:51 4.1K 
[ ]euclid12__t81_euclid122021-07-18 03:51 31K 
[ ]euclid12__t81_euclid12.depv12021-07-25 20:57 138  
[ ]euclid12__t81_euclid12.depvmin12021-07-25 21:03 138  
[ ]euclid12__t81_euclid12.vmin12021-07-25 20:57 1.5K 
[ ]euclid12__t81_euclid12.vmin1out2021-07-25 21:01 14K 
[ ]euclid12__t81_euclid12.vout2021-07-25 15:24 16K 
[ ]euclid12__t82_euclid122021-07-18 03:52 33K 
[ ]euclid12__t82_euclid12.depv12021-07-25 20:57 269  
[ ]euclid12__t82_euclid12.depvmin12021-07-25 21:03 269  
[ ]euclid12__t82_euclid12.vmin12021-07-25 20:57 4.2K 
[ ]euclid12__t82_euclid12.vmin1out2021-07-25 21:00 45K 
[ ]euclid12__t82_euclid12.vout2021-07-25 19:36 46K 
[ ]euclid12__t83_euclid122021-07-18 03:52 33K 
[ ]euclid12__t83_euclid12.vout2021-07-25 15:22 7.3K 
[ ]euclid12__t84_euclid122021-07-18 03:05 21K 
[ ]euclid12__t84_euclid12.depv12021-07-25 20:57 142  
[ ]euclid12__t84_euclid12.depvmin12021-07-25 21:03 142  
[ ]euclid12__t84_euclid12.vmin12021-07-25 20:57 1.8K 
[ ]euclid12__t84_euclid12.vmin1out2021-07-25 21:00 18K 
[ ]euclid12__t84_euclid12.vout2021-07-25 14:28 23K 
[ ]euclid12__t85_euclid122021-07-18 03:53 33K 
[ ]euclid12__t85_euclid12.vout2021-07-25 18:13 7.3K 
[ ]euclid12__t86_euclid122021-07-18 03:54 109K 
[ ]euclid12__t86_euclid12.vout2021-07-25 20:55 7.3K 
[ ]euclid12__t87_euclid122021-07-18 03:55 69K 
[ ]euclid12__t87_euclid12.vout2021-07-25 20:04 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80