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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid12__l1_euclid122024-07-27 09:15 24K 
[ ]euclid12__l1_euclid12.vout2024-08-03 07:04 2.0K 
[ ]euclid12__l2_euclid122024-07-27 09:15 15K 
[ ]euclid12__l2_euclid12.vout2024-08-03 07:51 2.0K 
[ ]euclid12__t1_euclid122024-07-27 07:03 37K 
[ ]euclid12__t1_euclid12.vout2024-08-03 07:10 4.1K 
[ ]euclid12__t2_euclid122024-07-27 07:03 98K 
[ ]euclid12__t2_euclid12.vout2024-08-03 09:51 7.3K 
[ ]euclid12__t3_euclid122024-07-27 07:05 27K 
[ ]euclid12__t3_euclid12.vout2024-08-03 08:14 5.3K 
[ ]euclid12__t4_euclid122024-07-27 07:06 33K 
[ ]euclid12__t4_euclid12.vout2024-08-03 05:18 7.9K 
[ ]euclid12__t5_euclid122024-07-27 07:08 32K 
[ ]euclid12__t5_euclid12.vout2024-08-03 04:59 7.3K 
[ ]euclid12__t6_euclid122024-07-27 07:09 25K 
[ ]euclid12__t6_euclid12.vout2024-08-03 06:57 7.3K 
[ ]euclid12__t7_euclid122024-07-27 06:50 17K 
[ ]euclid12__t7_euclid12.vout2024-08-03 06:50 2.0K 
[ ]euclid12__t8_euclid122024-07-27 07:11 24K 
[ ]euclid12__t8_euclid12.vout2024-08-03 08:59 7.3K 
[ ]euclid12__t9_euclid122024-07-27 06:52 17K 
[ ]euclid12__t9_euclid12.vout2024-08-03 09:11 7.9K 
[ ]euclid12__t10_euclid122024-07-27 07:12 30K 
[ ]euclid12__t10_euclid12.vout2024-08-03 07:00 4.7K 
[ ]euclid12__t11_euclid122024-07-27 07:14 151K 
[ ]euclid12__t11_euclid12.vout2024-08-03 06:38 4.7K 
[ ]euclid12__t12_euclid122024-07-27 07:16 81K 
[ ]euclid12__t12_euclid12.vout2024-08-03 05:20 4.1K 
[ ]euclid12__t13_euclid122024-07-27 07:18 42K 
[ ]euclid12__t13_euclid12.vout2024-08-03 05:27 4.1K 
[ ]euclid12__t14_euclid122024-07-27 07:20 32K 
[ ]euclid12__t14_euclid12.depv12024-08-03 10:19 105  
[ ]euclid12__t14_euclid12.depvmin12024-08-03 10:24 105  
[ ]euclid12__t14_euclid12.vmin12024-08-03 10:19 2.3K 
[ ]euclid12__t14_euclid12.vmin1out2024-08-03 10:20 44K 
[ ]euclid12__t14_euclid12.vout2024-08-03 06:29 44K 
[ ]euclid12__t15_euclid122024-07-27 07:21 44K 
[ ]euclid12__t15_euclid12.vout2024-08-03 06:00 7.3K 
[ ]euclid12__t16_euclid122024-07-27 07:23 24K 
[ ]euclid12__t16_euclid12.depv12024-08-03 10:19 306  
[ ]euclid12__t16_euclid12.depvmin12024-08-03 10:24 306  
[ ]euclid12__t16_euclid12.vmin12024-08-03 10:19 2.7K 
[ ]euclid12__t16_euclid12.vmin1out2024-08-03 10:21 32K 
[ ]euclid12__t16_euclid12.vout2024-08-03 05:43 30K 
[ ]euclid12__t17_euclid122024-07-27 07:24 21K 
[ ]euclid12__t17_euclid12.depv12024-08-03 10:19 115  
[ ]euclid12__t17_euclid12.depvmin12024-08-03 10:24 115  
[ ]euclid12__t17_euclid12.vmin12024-08-03 10:19 1.0K 
[ ]euclid12__t17_euclid12.vmin1out2024-08-03 10:21 9.9K 
[ ]euclid12__t17_euclid12.vout2024-08-03 06:56 8.9K 
[ ]euclid12__t18_euclid122024-07-27 07:26 38K 
[ ]euclid12__t18_euclid12.vout2024-08-03 09:03 8.4K 
[ ]euclid12__t19_euclid122024-07-27 07:28 28K 
[ ]euclid12__t19_euclid12.vout2024-08-03 09:23 8.4K 
[ ]euclid12__t20_euclid122024-07-27 07:29 36K 
[ ]euclid12__t20_euclid12.vout2024-08-03 08:13 7.3K 
[ ]euclid12__t21_euclid122024-07-27 06:53 19K 
[ ]euclid12__t21_euclid12.vout2024-08-03 04:21 2.0K 
[ ]euclid12__t22_euclid122024-07-27 06:54 23K 
[ ]euclid12__t22_euclid12.vout2024-08-03 07:32 4.1K 
[ ]euclid12__t23_euclid122024-07-27 06:56 74K 
[ ]euclid12__t23_euclid12.depv12024-08-03 10:19 38  
[ ]euclid12__t23_euclid12.depvmin12024-08-03 10:24 38  
[ ]euclid12__t23_euclid12.vmin12024-08-03 10:19 678  
[ ]euclid12__t23_euclid12.vmin1out2024-08-03 10:20 5.5K 
[ ]euclid12__t23_euclid12.vout2024-08-03 04:11 13K 
[ ]euclid12__t24_euclid122024-07-27 07:31 74K 
[ ]euclid12__t24_euclid12.depv12024-08-03 10:19 811  
[ ]euclid12__t24_euclid12.depvmin12024-08-03 10:24 226  
[ ]euclid12__t24_euclid12.vmin12024-08-03 10:19 3.6K 
[ ]euclid12__t24_euclid12.vmin1out2024-08-03 10:21 11K 
[ ]euclid12__t24_euclid12.vout2024-08-03 08:40 24K 
[ ]euclid12__t25_euclid122024-07-27 07:33 54K 
[ ]euclid12__t25_euclid12.vout2024-08-03 05:25 5.8K 
[ ]euclid12__t26_euclid122024-07-27 07:35 37K 
[ ]euclid12__t26_euclid12.depv12024-08-03 10:19 142  
[ ]euclid12__t26_euclid12.depvmin12024-08-03 10:24 142  
[ ]euclid12__t26_euclid12.vmin12024-08-03 10:19 2.6K 
[ ]euclid12__t26_euclid12.vmin1out2024-08-03 10:22 36K 
[ ]euclid12__t26_euclid12.vout2024-08-03 09:08 29K 
[ ]euclid12__t27_euclid122024-07-27 07:37 101K 
[ ]euclid12__t27_euclid12.vout2024-08-03 05:35 4.7K 
[ ]euclid12__t28_euclid122024-07-27 07:38 75K 
[ ]euclid12__t28_euclid12.vout2024-08-03 04:44 4.1K 
[ ]euclid12__t29_euclid122024-07-27 07:40 97K 
[ ]euclid12__t29_euclid12.vout2024-08-03 07:49 7.3K 
[ ]euclid12__t30_euclid122024-07-27 07:42 28K 
[ ]euclid12__t30_euclid12.depv12024-08-03 10:19 149  
[ ]euclid12__t30_euclid12.depvmin12024-08-03 10:24 149  
[ ]euclid12__t30_euclid12.vmin12024-08-03 10:19 1.6K 
[ ]euclid12__t30_euclid12.vmin1out2024-08-03 10:22 13K 
[ ]euclid12__t30_euclid12.vout2024-08-03 07:32 20K 
[ ]euclid12__t31_euclid122024-07-27 07:43 31K 
[ ]euclid12__t31_euclid12.vout2024-08-03 08:52 4.1K 
[ ]euclid12__t32_euclid122024-07-27 07:45 34K 
[ ]euclid12__t32_euclid12.vout2024-08-03 07:16 4.1K 
[ ]euclid12__t33_euclid122024-07-27 07:46 19K 
[ ]euclid12__t33_euclid12.depv12024-08-03 10:19 39  
[ ]euclid12__t33_euclid12.depvmin12024-08-03 10:24 39  
[ ]euclid12__t33_euclid12.vmin12024-08-03 10:19 556  
[ ]euclid12__t33_euclid12.vmin1out2024-08-03 10:20 7.1K 
[ ]euclid12__t33_euclid12.vout2024-08-03 05:38 4.7K 
[ ]euclid12__t34_euclid122024-07-27 07:48 75K 
[ ]euclid12__t34_euclid12.vout2024-08-03 06:32 4.1K 
[ ]euclid12__t35_euclid122024-07-27 07:50 76K 
[ ]euclid12__t35_euclid12.depv12024-08-03 10:19 38  
[ ]euclid12__t35_euclid12.depvmin12024-08-03 10:24 38  
[ ]euclid12__t35_euclid12.vmin12024-08-03 10:19 1.2K 
[ ]euclid12__t35_euclid12.vmin1out2024-08-03 10:21 18K 
[ ]euclid12__t35_euclid12.vout2024-08-03 08:26 13K 
[ ]euclid12__t36_euclid122024-07-27 07:51 77K 
[ ]euclid12__t36_euclid12.vout2024-08-03 04:18 4.1K 
[ ]euclid12__t37_euclid122024-07-27 07:53 75K 
[ ]euclid12__t37_euclid12.vout2024-08-03 06:11 4.7K 
[ ]euclid12__t38_euclid122024-07-27 07:55 75K 
[ ]euclid12__t38_euclid12.vout2024-08-03 05:28 4.1K 
[ ]euclid12__t39_euclid122024-07-27 07:56 23K 
[ ]euclid12__t39_euclid12.depv12024-08-03 10:19 297  
[ ]euclid12__t39_euclid12.depvmin12024-08-03 10:24 297  
[ ]euclid12__t39_euclid12.vmin12024-08-03 10:19 2.9K 
[ ]euclid12__t39_euclid12.vmin1out2024-08-03 10:20 39K 
[ ]euclid12__t39_euclid12.vout2024-08-03 05:52 40K 
[ ]euclid12__t40_euclid122024-07-27 06:57 11K 
[ ]euclid12__t40_euclid12.depv12024-08-03 10:19 67  
[ ]euclid12__t40_euclid12.depvmin12024-08-03 10:24 67  
[ ]euclid12__t40_euclid12.vmin12024-08-03 10:19 899  
[ ]euclid12__t40_euclid12.vmin1out2024-08-03 10:20 6.8K 
[ ]euclid12__t40_euclid12.vout2024-08-03 07:05 6.8K 
[ ]euclid12__t41_euclid122024-07-27 06:58 11K 
[ ]euclid12__t41_euclid12.depv12024-08-03 10:19 67  
[ ]euclid12__t41_euclid12.depvmin12024-08-03 10:24 67  
[ ]euclid12__t41_euclid12.vmin12024-08-03 10:19 1.0K 
[ ]euclid12__t41_euclid12.vmin1out2024-08-03 10:23 7.9K 
[ ]euclid12__t41_euclid12.vout2024-08-03 06:49 8.0K 
[ ]euclid12__t42_euclid122024-07-27 07:57 20K 
[ ]euclid12__t42_euclid12.depv12024-08-03 10:19 283  
[ ]euclid12__t42_euclid12.depvmin12024-08-03 10:24 153  
[ ]euclid12__t42_euclid12.vmin12024-08-03 10:19 2.9K 
[ ]euclid12__t42_euclid12.vmin1out2024-08-03 10:21 29K 
[ ]euclid12__t42_euclid12.vout2024-08-03 10:13 51K 
[ ]euclid12__t43_euclid122024-07-27 07:59 21K 
[ ]euclid12__t43_euclid12.depv12024-08-03 10:19 199  
[ ]euclid12__t43_euclid12.depvmin12024-08-03 10:24 199  
[ ]euclid12__t43_euclid12.vmin12024-08-03 10:19 2.8K 
[ ]euclid12__t43_euclid12.vmin1out2024-08-03 10:22 38K 
[ ]euclid12__t43_euclid12.vout2024-08-03 06:09 32K 
[ ]euclid12__t44_euclid122024-07-27 06:59 19K 
[ ]euclid12__t44_euclid12.vout2024-08-03 07:07 2.0K 
[ ]euclid12__t45_euclid122024-07-27 07:59 12K 
[ ]euclid12__t45_euclid12.depv12024-08-03 10:19 201  
[ ]euclid12__t45_euclid12.depvmin12024-08-03 10:24 93  
[ ]euclid12__t45_euclid12.vmin12024-08-03 10:19 2.2K 
[ ]euclid12__t45_euclid12.vmin1out2024-08-03 10:22 13K 
[ ]euclid12__t45_euclid12.vout2024-08-03 09:54 22K 
[ ]euclid12__t46_euclid122024-07-27 07:00 11K 
[ ]euclid12__t46_euclid12.depv12024-08-03 10:19 26  
[ ]euclid12__t46_euclid12.depvmin12024-08-03 10:24 26  
[ ]euclid12__t46_euclid12.vmin12024-08-03 10:19 523  
[ ]euclid12__t46_euclid12.vmin1out2024-08-03 10:23 4.9K 
[ ]euclid12__t46_euclid12.vout2024-08-03 06:58 4.9K 
[ ]euclid12__t47_euclid122024-07-27 08:01 20K 
[ ]euclid12__t47_euclid12.vout2024-08-03 07:08 2.0K 
[ ]euclid12__t48_euclid122024-07-27 08:03 48K 
[ ]euclid12__t48_euclid12.vout2024-08-03 06:10 7.9K 
[ ]euclid12__t49_euclid122024-07-27 08:04 32K 
[ ]euclid12__t49_euclid12.vout2024-08-03 08:47 8.4K 
[ ]euclid12__t50_euclid122024-07-27 08:06 50K 
[ ]euclid12__t50_euclid12.vout2024-08-03 05:03 4.7K 
[ ]euclid12__t51_euclid122024-07-27 08:08 26K 
[ ]euclid12__t51_euclid12.depv12024-08-03 10:19 316  
[ ]euclid12__t51_euclid12.depvmin12024-08-03 10:24 218  
[ ]euclid12__t51_euclid12.vmin12024-08-03 10:19 3.6K 
[ ]euclid12__t51_euclid12.vmin1out2024-08-03 10:20 43K 
[ ]euclid12__t51_euclid12.vout2024-08-03 04:35 43K 
[ ]euclid12__t52_euclid122024-07-27 08:10 80K 
[ ]euclid12__t52_euclid12.vout2024-08-03 10:00 7.9K 
[ ]euclid12__t53_euclid122024-07-27 08:12 24K 
[ ]euclid12__t53_euclid12.depv12024-08-03 10:19 80  
[ ]euclid12__t53_euclid12.depvmin12024-08-03 10:24 80  
[ ]euclid12__t53_euclid12.vmin12024-08-03 10:19 1.4K 
[ ]euclid12__t53_euclid12.vmin1out2024-08-03 10:21 16K 
[ ]euclid12__t53_euclid12.vout2024-08-03 05:49 20K 
[ ]euclid12__t54_euclid122024-07-27 08:14 28K 
[ ]euclid12__t54_euclid12.depv12024-08-03 10:19 157  
[ ]euclid12__t54_euclid12.depvmin12024-08-03 10:24 157  
[ ]euclid12__t54_euclid12.vmin12024-08-03 10:19 2.4K 
[ ]euclid12__t54_euclid12.vmin1out2024-08-03 10:20 45K 
[ ]euclid12__t54_euclid12.vout2024-08-03 04:14 44K 
[ ]euclid12__t55_euclid122024-07-27 08:16 101K 
[ ]euclid12__t55_euclid12.vout2024-08-03 10:05 4.7K 
[ ]euclid12__t56_euclid122024-07-27 08:18 82K 
[ ]euclid12__t56_euclid12.vout2024-08-03 09:21 4.1K 
[ ]euclid12__t57_euclid122024-07-27 08:21 108K 
[ ]euclid12__t57_euclid12.vout2024-08-03 09:28 7.4K 
[ ]euclid12__t58_euclid122024-07-27 08:22 24K 
[ ]euclid12__t58_euclid12.vout2024-08-03 09:03 4.1K 
[ ]euclid12__t59_euclid122024-07-27 08:24 26K 
[ ]euclid12__t59_euclid12.vout2024-08-03 06:59 7.3K 
[ ]euclid12__t60_euclid122024-07-27 08:26 159K 
[ ]euclid12__t60_euclid12.vout2024-08-03 07:23 4.7K 
[ ]euclid12__t61_euclid122024-07-27 08:28 30K 
[ ]euclid12__t61_euclid12.vout2024-08-03 07:57 7.4K 
[ ]euclid12__t62_euclid122024-07-27 08:30 33K 
[ ]euclid12__t62_euclid12.vout2024-08-03 05:12 4.1K 
[ ]euclid12__t63_euclid122024-07-27 08:32 33K 
[ ]euclid12__t63_euclid12.vout2024-08-03 10:04 4.1K 
[ ]euclid12__t64_euclid122024-07-27 08:34 34K 
[ ]euclid12__t64_euclid12.vout2024-08-03 09:33 7.3K 
[ ]euclid12__t65_euclid122024-07-27 08:36 32K 
[ ]euclid12__t65_euclid12.vout2024-08-03 06:10 4.1K 
[ ]euclid12__t66_euclid122024-07-27 08:37 31K 
[ ]euclid12__t66_euclid12.depv12024-08-03 10:19 53  
[ ]euclid12__t66_euclid12.depvmin12024-08-03 10:24 53  
[ ]euclid12__t66_euclid12.vmin12024-08-03 10:19 2.3K 
[ ]euclid12__t66_euclid12.vmin1out2024-08-03 10:20 51K 
[ ]euclid12__t66_euclid12.vout2024-08-03 07:00 40K 
[ ]euclid12__t67_euclid122024-07-27 08:39 27K 
[ ]euclid12__t67_euclid12.depv12024-08-03 10:19 38  
[ ]euclid12__t67_euclid12.depvmin12024-08-03 10:24 38  
[ ]euclid12__t67_euclid12.vmin12024-08-03 10:19 1.4K 
[ ]euclid12__t67_euclid12.vmin1out2024-08-03 10:23 14K 
[ ]euclid12__t67_euclid12.vout2024-08-03 07:01 16K 
[ ]euclid12__t68_euclid122024-07-27 08:41 29K 
[ ]euclid12__t68_euclid12.depv12024-08-03 10:19 37  
[ ]euclid12__t68_euclid12.depvmin12024-08-03 10:24 37  
[ ]euclid12__t68_euclid12.vmin12024-08-03 10:19 1.4K 
[ ]euclid12__t68_euclid12.vmin1out2024-08-03 10:23 40K 
[ ]euclid12__t68_euclid12.vout2024-08-03 08:17 32K 
[ ]euclid12__t69_euclid122024-07-27 08:43 32K 
[ ]euclid12__t69_euclid12.vout2024-08-03 08:03 7.9K 
[ ]euclid12__t70_euclid122024-07-27 08:44 80K 
[ ]euclid12__t70_euclid12.vout2024-08-03 07:50 4.1K 
[ ]euclid12__t71_euclid122024-07-27 08:46 228K 
[ ]euclid12__t71_euclid12.vout2024-08-03 06:53 4.7K 
[ ]euclid12__t72_euclid122024-07-27 08:48 93K 
[ ]euclid12__t72_euclid12.vout2024-08-03 05:33 5.8K 
[ ]euclid12__t73_euclid122024-07-27 08:50 93K 
[ ]euclid12__t73_euclid12.vout2024-08-03 09:59 5.8K 
[ ]euclid12__t74_euclid122024-07-27 08:52 48K 
[ ]euclid12__t74_euclid12.vout2024-08-03 06:01 3.2K 
[ ]euclid12__t75_euclid122024-07-27 08:53 49K 
[ ]euclid12__t75_euclid12.vout2024-08-03 05:14 3.2K 
[ ]euclid12__t76_euclid122024-07-27 08:55 47K 
[ ]euclid12__t76_euclid12.depv12024-08-03 10:19 39  
[ ]euclid12__t76_euclid12.depvmin12024-08-03 10:24 39  
[ ]euclid12__t76_euclid12.vmin12024-08-03 10:19 2.1K 
[ ]euclid12__t76_euclid12.vmin1out2024-08-03 10:22 31K 
[ ]euclid12__t76_euclid12.vout2024-08-03 06:39 32K 
[ ]euclid12__t77_euclid122024-07-27 08:57 54K 
[ ]euclid12__t77_euclid12.vout2024-08-03 10:05 4.3K 
[ ]euclid12__t78_euclid122024-07-27 08:59 95K 
[ ]euclid12__t78_euclid12.vout2024-08-03 06:55 4.7K 
[ ]euclid12__t79_euclid122024-07-27 09:01 150K 
[ ]euclid12__t79_euclid12.vout2024-08-03 06:51 4.7K 
[ ]euclid12__t80_euclid122024-07-27 09:02 40K 
[ ]euclid12__t80_euclid12.vout2024-08-03 08:47 4.1K 
[ ]euclid12__t81_euclid122024-07-27 09:04 32K 
[ ]euclid12__t81_euclid12.depv12024-08-03 10:19 138  
[ ]euclid12__t81_euclid12.depvmin12024-08-03 10:24 138  
[ ]euclid12__t81_euclid12.vmin12024-08-03 10:19 1.5K 
[ ]euclid12__t81_euclid12.vmin1out2024-08-03 10:20 14K 
[ ]euclid12__t81_euclid12.vout2024-08-03 09:25 16K 
[ ]euclid12__t82_euclid122024-07-27 09:06 35K 
[ ]euclid12__t82_euclid12.depv12024-08-03 10:19 269  
[ ]euclid12__t82_euclid12.depvmin12024-08-03 10:24 269  
[ ]euclid12__t82_euclid12.vmin12024-08-03 10:19 4.2K 
[ ]euclid12__t82_euclid12.vmin1out2024-08-03 10:21 45K 
[ ]euclid12__t82_euclid12.vout2024-08-03 06:39 46K 
[ ]euclid12__t83_euclid122024-07-27 09:07 35K 
[ ]euclid12__t83_euclid12.vout2024-08-03 07:39 7.4K 
[ ]euclid12__t84_euclid122024-07-27 07:01 22K 
[ ]euclid12__t84_euclid12.depv12024-08-03 10:19 142  
[ ]euclid12__t84_euclid12.depvmin12024-08-03 10:24 142  
[ ]euclid12__t84_euclid12.vmin12024-08-03 10:19 1.8K 
[ ]euclid12__t84_euclid12.vmin1out2024-08-03 10:21 18K 
[ ]euclid12__t84_euclid12.vout2024-08-03 08:09 23K 
[ ]euclid12__t85_euclid122024-07-27 09:09 26K 
[ ]euclid12__t85_euclid12.depv12024-08-03 10:19 326  
[ ]euclid12__t85_euclid12.vmin12024-08-03 10:19 4.7K 
[ ]euclid12__t85_euclid12.vmin1out2024-08-03 10:21 8.2K 
[ ]euclid12__t85_euclid12.vout2024-08-03 07:48 50K 
[ ]euclid12__t86_euclid122024-07-27 09:11 112K 
[ ]euclid12__t86_euclid12.vout2024-08-03 05:37 7.3K 
[ ]euclid12__t87_euclid122024-07-27 09:13 41K 
[ ]euclid12__t87_euclid12.vout2024-08-03 08:52 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80