Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/euclid13

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid13__t1_euclid132021-07-17 20:52 20K 
[ ]euclid13__t1_euclid13.vout2021-07-25 18:44 7.3K 
[ ]euclid13__t2_euclid132021-07-17 20:52 128K 
[ ]euclid13__t2_euclid13.vout2021-07-25 19:05 7.3K 
[ ]euclid13__t3_euclid132021-07-17 20:52 29K 
[ ]euclid13__t3_euclid13.vout2021-07-25 18:19 2.0K 
[ ]euclid13__t4_euclid132021-07-17 20:52 75K 
[ ]euclid13__t4_euclid13.vout2021-07-25 17:11 2.0K 
[ ]euclid13__t5_euclid132021-07-17 20:53 76K 
[ ]euclid13__t5_euclid13.vout2021-07-25 16:54 2.0K 
[ ]euclid13__t6_euclid132021-07-17 20:53 28K 
[ ]euclid13__t6_euclid13.vout2021-07-25 17:19 2.0K 
[ ]euclid13__t7_euclid132021-07-17 20:53 21K 
[ ]euclid13__t7_euclid13.vout2021-07-25 19:20 7.9K 
[ ]euclid13__t8_euclid132021-07-17 20:54 20K 
[ ]euclid13__t8_euclid13.depv12021-07-25 20:57 77  
[ ]euclid13__t8_euclid13.depvmin12021-07-25 21:03 77  
[ ]euclid13__t8_euclid13.vmin12021-07-25 20:57 1.6K 
[ ]euclid13__t8_euclid13.vmin1out2021-07-25 21:00 13K 
[ ]euclid13__t8_euclid13.vout2021-07-25 18:24 21K 
[ ]euclid13__t9_euclid132021-07-17 20:55 38K 
[ ]euclid13__t9_euclid13.vout2021-07-25 15:49 7.3K 
[ ]euclid13__t10_euclid132021-07-17 20:55 28K 
[ ]euclid13__t10_euclid13.vout2021-07-25 18:43 5.8K 
[ ]euclid13__t11_euclid132021-07-17 20:56 25K 
[ ]euclid13__t11_euclid13.vout2021-07-25 15:52 4.1K 
[ ]euclid13__t12_euclid132021-07-17 20:56 126K 
[ ]euclid13__t12_euclid13.vout2021-07-25 20:01 4.7K 
[ ]euclid13__t13_euclid132021-07-17 20:57 37K 
[ ]euclid13__t13_euclid13.vout2021-07-25 14:47 4.7K 
[ ]euclid13__t14_euclid132021-07-17 20:58 34K 
[ ]euclid13__t14_euclid13.vout2021-07-25 19:53 4.1K 
[ ]euclid13__t15_euclid132021-07-17 20:58 35K 
[ ]euclid13__t15_euclid13.vout2021-07-25 15:06 4.1K 
[ ]euclid13__t16_euclid132021-07-17 20:59 27K 
[ ]euclid13__t16_euclid13.vout2021-07-25 20:08 4.1K 
[ ]euclid13__t17_euclid132021-07-17 20:59 25K 
[ ]euclid13__t17_euclid13.vout2021-07-25 17:54 4.1K 
[ ]euclid13__t18_euclid132021-07-17 21:00 50K 
[ ]euclid13__t18_euclid13.vout2021-07-25 16:32 4.7K 
[ ]euclid13__t19_euclid132021-07-17 21:01 34K 
[ ]euclid13__t19_euclid13.vout2021-07-25 19:38 4.7K 
[ ]euclid13__t20_euclid132021-07-17 21:01 34K 
[ ]euclid13__t20_euclid13.vout2021-07-25 18:14 4.7K 
[ ]euclid13__t21_euclid132021-07-17 21:02 49K 
[ ]euclid13__t21_euclid13.vout2021-07-25 14:42 4.1K 
[ ]euclid13__t22_euclid132021-07-17 21:03 49K 
[ ]euclid13__t22_euclid13.vout2021-07-25 16:17 4.7K 
[ ]euclid13__t23_euclid132021-07-17 21:03 37K 
[ ]euclid13__t23_euclid13.vout2021-07-25 19:33 5.8K 
[ ]euclid13__t24_euclid132021-07-17 21:04 21K 
[ ]euclid13__t24_euclid13.depv12021-07-25 20:57 51  
[ ]euclid13__t24_euclid13.depvmin12021-07-25 21:03 51  
[ ]euclid13__t24_euclid13.vmin12021-07-25 20:57 1.2K 
[ ]euclid13__t24_euclid13.vmin1out2021-07-25 20:59 13K 
[ ]euclid13__t24_euclid13.vout2021-07-25 18:05 9.5K 
[ ]euclid13__t25_euclid132021-07-17 21:04 46K 
[ ]euclid13__t25_euclid13.vout2021-07-25 15:41 5.8K 
[ ]euclid13__t26_euclid132021-07-17 21:05 34K 
[ ]euclid13__t26_euclid13.vout2021-07-25 18:27 7.9K 
[ ]euclid13__t27_euclid132021-07-17 21:05 205K 
[ ]euclid13__t27_euclid13.vout2021-07-25 15:44 4.7K 
[ ]euclid13__t28_euclid132021-07-17 21:06 36K 
[ ]euclid13__t28_euclid13.vout2021-07-25 17:33 4.7K 
[ ]euclid13__t29_euclid132021-07-17 21:06 46K 
[ ]euclid13__t29_euclid13.vout2021-07-25 18:38 4.1K 
[ ]euclid13__t30_euclid132021-07-17 21:07 35K 
[ ]euclid13__t30_euclid13.vout2021-07-25 15:03 3.3K 
[ ]euclid13__t31_euclid132021-07-17 21:07 90K 
[ ]euclid13__t31_euclid13.vout2021-07-25 16:07 4.7K 
[ ]euclid13__t32_euclid132021-07-17 21:08 90K 
[ ]euclid13__t32_euclid13.vout2021-07-25 15:56 5.8K 
[ ]euclid13__t33_euclid132021-07-17 21:08 36K 
[ ]euclid13__t33_euclid13.vout2021-07-25 20:54 7.9K 
[ ]euclid13__t34_euclid132021-07-17 21:09 47K 
[ ]euclid13__t34_euclid13.vout2021-07-25 15:46 7.9K 
[ ]euclid13__t35_euclid132021-07-17 21:10 38K 
[ ]euclid13__t35_euclid13.vout2021-07-25 19:00 4.7K 
[ ]euclid13__t36_euclid132021-07-17 21:10 47K 
[ ]euclid13__t36_euclid13.vout2021-07-25 16:14 7.4K 
[ ]euclid13__t37_euclid132021-07-17 21:11 22K 
[ ]euclid13__t37_euclid13.depv12021-07-25 20:57 40  
[ ]euclid13__t37_euclid13.depvmin12021-07-25 21:03 40  
[ ]euclid13__t37_euclid13.vmin12021-07-25 20:57 1.1K 
[ ]euclid13__t37_euclid13.vmin1out2021-07-25 21:00 13K 
[ ]euclid13__t37_euclid13.vout2021-07-25 15:10 15K 
[ ]euclid13__t38_euclid132021-07-17 21:11 23K 
[ ]euclid13__t38_euclid13.depv12021-07-25 20:57 80  
[ ]euclid13__t38_euclid13.depvmin12021-07-25 21:03 80  
[ ]euclid13__t38_euclid13.vmin12021-07-25 20:57 1.5K 
[ ]euclid13__t38_euclid13.vmin1out2021-07-25 20:58 17K 
[ ]euclid13__t38_euclid13.vout2021-07-25 18:46 22K 
[ ]euclid13__t39_euclid132021-07-17 21:12 26K 
[ ]euclid13__t39_euclid13.depv12021-07-25 20:57 144  
[ ]euclid13__t39_euclid13.depvmin12021-07-25 21:03 144  
[ ]euclid13__t39_euclid13.vmin12021-07-25 20:57 2.4K 
[ ]euclid13__t39_euclid13.vmin1out2021-07-25 20:58 33K 
[ ]euclid13__t39_euclid13.vout2021-07-25 18:11 44K 
[ ]euclid13__t40_euclid132021-07-17 21:12 26K 
[ ]euclid13__t40_euclid13.depv12021-07-25 20:57 40  
[ ]euclid13__t40_euclid13.depvmin12021-07-25 21:03 40  
[ ]euclid13__t40_euclid13.vmin12021-07-25 20:57 1.2K 
[ ]euclid13__t40_euclid13.vmin1out2021-07-25 20:58 19K 
[ ]euclid13__t40_euclid13.vout2021-07-25 15:50 28K 
[ ]euclid13__t41_euclid132021-07-17 21:13 26K 
[ ]euclid13__t41_euclid13.depv12021-07-25 20:57 79  
[ ]euclid13__t41_euclid13.depvmin12021-07-25 21:03 79  
[ ]euclid13__t41_euclid13.vmin12021-07-25 20:57 1.8K 
[ ]euclid13__t41_euclid13.vmin1out2021-07-25 21:02 27K 
[ ]euclid13__t41_euclid13.vout2021-07-25 19:44 37K 
[ ]euclid13__t42_euclid132021-07-17 21:13 25K 
[ ]euclid13__t42_euclid13.vout2021-07-25 17:26 7.4K 
[ ]euclid13__t43_euclid132021-07-17 21:14 25K 
[ ]euclid13__t43_euclid13.vout2021-07-25 17:19 4.1K 
[ ]euclid13__t44_euclid132021-07-17 21:15 38K 
[ ]euclid13__t44_euclid13.vout2021-07-25 17:48 7.9K 
[ ]euclid13__t45_euclid132021-07-17 21:15 26K 
[ ]euclid13__t45_euclid13.vout2021-07-25 17:24 4.1K 
[ ]euclid13__t46_euclid132021-07-17 20:51 22K 
[ ]euclid13__t46_euclid13.depv12021-07-25 20:57 26  
[ ]euclid13__t46_euclid13.depvmin12021-07-25 21:03 26  
[ ]euclid13__t46_euclid13.vmin12021-07-25 20:57 661  
[ ]euclid13__t46_euclid13.vmin1out2021-07-25 20:58 8.7K 
[ ]euclid13__t46_euclid13.vout2021-07-25 18:56 6.8K 
[ ]euclid13__t47_euclid132021-07-17 21:16 37K 
[ ]euclid13__t47_euclid13.vout2021-07-25 16:39 4.1K 
[ ]euclid13__t48_euclid132021-07-17 21:16 41K 
[ ]euclid13__t48_euclid13.vout2021-07-25 14:33 4.1K 
[ ]euclid13__t49_euclid132021-07-17 21:17 25K 
[ ]euclid13__t49_euclid13.depv12021-07-25 20:57 39  
[ ]euclid13__t49_euclid13.depvmin12021-07-25 21:03 39  
[ ]euclid13__t49_euclid13.vmin12021-07-25 20:57 1.0K 
[ ]euclid13__t49_euclid13.vmin1out2021-07-25 21:00 12K 
[ ]euclid13__t49_euclid13.vout2021-07-25 18:24 9.5K 
[ ]euclid13__t50_euclid132021-07-17 21:17 40K 
[ ]euclid13__t50_euclid13.vout2021-07-25 14:45 4.1K 
[ ]euclid13__t51_euclid132021-07-17 21:18 26K 
[ ]euclid13__t51_euclid13.vout2021-07-25 20:55 7.3K 
[ ]euclid13__t52_euclid132021-07-17 21:19 42K 
[ ]euclid13__t52_euclid13.vout2021-07-25 19:29 7.4K 
[ ]euclid13__t53_euclid132021-07-17 21:19 168K 
[ ]euclid13__t53_euclid13.depv12021-07-25 20:57 103  
[ ]euclid13__t53_euclid13.depvmin12021-07-25 21:03 103  
[ ]euclid13__t53_euclid13.vmin12021-07-25 20:57 1.7K 
[ ]euclid13__t53_euclid13.vmin1out2021-07-25 21:02 17K 
[ ]euclid13__t53_euclid13.vout2021-07-25 14:30 16K 
[ ]euclid13__t54_euclid132021-07-17 21:20 23K 
[ ]euclid13__t54_euclid13.depv12021-07-25 20:57 64  
[ ]euclid13__t54_euclid13.depvmin12021-07-25 21:03 64  
[ ]euclid13__t54_euclid13.vmin12021-07-25 20:57 1.5K 
[ ]euclid13__t54_euclid13.vmin1out2021-07-25 20:57 16K 
[ ]euclid13__t54_euclid13.vout2021-07-25 20:19 15K 
[ ]euclid13__t55_euclid132021-07-17 21:20 35K 
[ ]euclid13__t55_euclid13.vout2021-07-25 15:02 7.3K 
[ ]euclid13__t56_euclid132021-07-17 21:21 29K 
[ ]euclid13__t56_euclid13.vout2021-07-25 17:05 4.1K 
[ ]euclid13__t57_euclid132021-07-17 21:22 27K 
[ ]euclid13__t57_euclid13.depv12021-07-25 20:57 38  
[ ]euclid13__t57_euclid13.depvmin12021-07-25 21:03 38  
[ ]euclid13__t57_euclid13.vmin12021-07-25 20:57 863  
[ ]euclid13__t57_euclid13.vmin1out2021-07-25 21:00 12K 
[ ]euclid13__t57_euclid13.vout2021-07-25 16:19 8.9K 
[ ]euclid13__t58_euclid132021-07-17 21:22 27K 
[ ]euclid13__t58_euclid13.depv12021-07-25 20:57 39  
[ ]euclid13__t58_euclid13.depvmin12021-07-25 21:03 39  
[ ]euclid13__t58_euclid13.vmin12021-07-25 20:57 1.0K 
[ ]euclid13__t58_euclid13.vmin1out2021-07-25 20:59 14K 
[ ]euclid13__t58_euclid13.vout2021-07-25 18:27 8.7K 
[ ]euclid13__t59_euclid132021-07-17 21:23 83K 
[ ]euclid13__t59_euclid13.vout2021-07-25 15:09 6.9K 
[ ]euclid13__t60_euclid132021-07-17 21:23 83K 
[ ]euclid13__t60_euclid13.vout2021-07-25 14:24 4.7K 
[ ]euclid13__t61_euclid132021-07-17 21:24 84K 
[ ]euclid13__t61_euclid13.vout2021-07-25 15:23 4.1K 
[ ]euclid13__t62_euclid132021-07-17 21:25 27K 
[ ]euclid13__t62_euclid13.vout2021-07-25 19:05 4.1K 
[ ]euclid13__t63_euclid132021-07-17 21:25 30K 
[ ]euclid13__t63_euclid13.vout2021-07-25 17:41 7.9K 
[ ]euclid13__t64_euclid132021-07-17 21:26 29K 
[ ]euclid13__t64_euclid13.vout2021-07-25 18:21 7.9K 
[ ]euclid13__t65_euclid132021-07-17 21:26 29K 
[ ]euclid13__t65_euclid13.vout2021-07-25 20:50 7.9K 
[ ]euclid13__t66_euclid132021-07-17 21:27 34K 
[ ]euclid13__t66_euclid13.vout2021-07-25 20:10 4.1K 
[ ]euclid13__t67_euclid132021-07-17 21:28 39K 
[ ]euclid13__t67_euclid13.vout2021-07-25 20:41 7.3K 
[ ]euclid13__t68_euclid132021-07-17 21:28 41K 
[ ]euclid13__t68_euclid13.vout2021-07-25 14:29 4.1K 
[ ]euclid13__t69_euclid132021-07-17 21:29 77K 
[ ]euclid13__t69_euclid13.vout2021-07-25 15:18 4.1K 
[ ]euclid13__t70_euclid132021-07-17 21:30 295K 
[ ]euclid13__t70_euclid13.vout2021-07-25 18:12 7.3K 
[ ]euclid13__t71_euclid132021-07-17 21:30 135K 
[ ]euclid13__t71_euclid13.vout2021-07-25 15:25 4.7K 
[ ]euclid13__t72_euclid132021-07-17 21:31 98K 
[ ]euclid13__t72_euclid13.vout2021-07-25 14:26 4.8K 
[ ]euclid13__t73_euclid132021-07-17 21:32 93K 
[ ]euclid13__t73_euclid13.vout2021-07-25 17:37 4.1K 
[ ]euclid13__t74_euclid132021-07-17 21:32 94K 
[ ]euclid13__t74_euclid13.vout2021-07-25 19:36 4.2K 
[ ]euclid13__t75_euclid132021-07-17 21:33 94K 
[ ]euclid13__t75_euclid13.vout2021-07-25 18:30 4.8K 
[ ]euclid13__t76_euclid132021-07-17 21:33 94K 
[ ]euclid13__t76_euclid13.vout2021-07-25 20:28 4.7K 
[ ]euclid13__t77_euclid132021-07-17 21:34 173K 
[ ]euclid13__t77_euclid13.vout2021-07-25 20:57 4.7K 
[ ]euclid13__t78_euclid132021-07-17 21:35 204K 
[ ]euclid13__t78_euclid13.vout2021-07-25 15:22 4.7K 
[ ]euclid13__t79_euclid132021-07-17 21:35 212K 
[ ]euclid13__t79_euclid13.vout2021-07-25 18:18 4.7K 
[ ]euclid13__t80_euclid132021-07-17 21:36 30K 
[ ]euclid13__t80_euclid13.vout2021-07-25 15:47 4.1K 
[ ]euclid13__t81_euclid132021-07-17 21:37 31K 
[ ]euclid13__t81_euclid13.depv12021-07-25 20:57 64  
[ ]euclid13__t81_euclid13.depvmin12021-07-25 21:03 64  
[ ]euclid13__t81_euclid13.vmin12021-07-25 20:57 2.4K 
[ ]euclid13__t81_euclid13.vmin1out2021-07-25 21:02 24K 
[ ]euclid13__t81_euclid13.vout2021-07-25 14:47 23K 
[ ]euclid13__t82_euclid132021-07-17 21:37 97K 
[ ]euclid13__t82_euclid13.vout2021-07-25 20:50 4.7K 
[ ]euclid13__t83_euclid132021-07-17 21:38 141K 
[ ]euclid13__t83_euclid13.vout2021-07-25 16:07 5.3K 
[ ]euclid13__t84_euclid132021-07-17 21:38 148K 
[ ]euclid13__t84_euclid13.vout2021-07-25 14:37 4.1K 
[ ]euclid13__t85_euclid132021-07-17 21:39 29K 
[ ]euclid13__t85_euclid13.vout2021-07-25 14:33 2.0K 
[ ]euclid13__t86_euclid132021-07-17 21:39 149K 
[ ]euclid13__t86_euclid13.vout2021-07-25 14:58 4.7K 
[ ]euclid13__t87_euclid132021-07-17 21:40 94K 
[ ]euclid13__t87_euclid13.depv12021-07-25 20:57 52  
[ ]euclid13__t87_euclid13.depvmin12021-07-25 21:03 52  
[ ]euclid13__t87_euclid13.vmin12021-07-25 20:57 2.4K 
[ ]euclid13__t87_euclid13.vmin1out2021-07-25 21:01 22K 
[ ]euclid13__t87_euclid13.vout2021-07-25 18:24 28K 
[ ]euclid13__t88_euclid132021-07-17 21:41 94K 
[ ]euclid13__t88_euclid13.depv12021-07-25 20:57 52  
[ ]euclid13__t88_euclid13.depvmin12021-07-25 21:03 52  
[ ]euclid13__t88_euclid13.vmin12021-07-25 20:57 2.4K 
[ ]euclid13__t88_euclid13.vmin1out2021-07-25 21:00 22K 
[ ]euclid13__t88_euclid13.vout2021-07-25 20:23 29K 
[ ]euclid13__t89_euclid132021-07-17 21:41 95K 
[ ]euclid13__t89_euclid13.vout2021-07-25 20:35 4.1K 
[ ]euclid13__t90_euclid132021-07-17 21:42 147K 
[ ]euclid13__t90_euclid13.vout2021-07-25 19:56 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80