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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid__l6_euclid2021-07-18 03:45 23K 
[ ]euclid__l6_euclid.depv12021-07-25 20:57 293  
[ ]euclid__l6_euclid.depvmin12021-07-25 21:03 293  
[ ]euclid__l6_euclid.vmin12021-07-25 20:57 2.1K 
[ ]euclid__l6_euclid.vmin1out2021-07-25 21:02 22K 
[ ]euclid__l6_euclid.vout2021-07-25 17:58 25K 
[ ]euclid__l14_euclid2021-07-18 03:45 45K 
[ ]euclid__l14_euclid.vout2021-07-25 20:53 7.3K 
[ ]euclid__l35_euclid2021-07-18 03:46 49K 
[ ]euclid__l35_euclid.vout2021-07-25 19:06 7.3K 
[ ]euclid__l36_euclid2021-07-18 03:47 48K 
[ ]euclid__l36_euclid.vout2021-07-25 16:39 7.3K 
[ ]euclid__l86_euclid2021-07-18 03:19 12K 
[ ]euclid__l86_euclid.depv12021-07-25 20:57 94  
[ ]euclid__l86_euclid.depvmin12021-07-25 21:03 94  
[ ]euclid__l86_euclid.vmin12021-07-25 20:57 562  
[ ]euclid__l86_euclid.vmin1out2021-07-25 21:00 4.0K 
[ ]euclid__l86_euclid.vout2021-07-25 17:58 3.7K 
[ ]euclid__t4_euclid2021-07-18 03:20 36K 
[ ]euclid__t4_euclid.vout2021-07-25 15:32 7.3K 
[ ]euclid__t5_euclid2021-07-18 03:20 19K 
[ ]euclid__t5_euclid.depv12021-07-25 20:57 107  
[ ]euclid__t5_euclid.depvmin12021-07-25 21:03 107  
[ ]euclid__t5_euclid.vmin12021-07-25 20:57 1.5K 
[ ]euclid__t5_euclid.vmin1out2021-07-25 20:58 24K 
[ ]euclid__t5_euclid.vout2021-07-25 18:17 14K 
[ ]euclid__t6_euclid2021-07-18 03:14 28K 
[ ]euclid__t6_euclid.depv12021-07-25 20:57 197  
[ ]euclid__t6_euclid.depvmin12021-07-25 21:03 197  
[ ]euclid__t6_euclid.vmin12021-07-25 20:57 2.1K 
[ ]euclid__t6_euclid.vmin1out2021-07-25 20:59 24K 
[ ]euclid__t6_euclid.vout2021-07-25 19:35 26K 
[ ]euclid__t7_euclid2021-07-18 03:21 38K 
[ ]euclid__t7_euclid.depv12021-07-25 20:57 477  
[ ]euclid__t7_euclid.depvmin12021-07-25 21:03 466  
[ ]euclid__t7_euclid.vmin12021-07-25 20:57 3.4K 
[ ]euclid__t7_euclid.vmin1out2021-07-25 20:58 27K 
[ ]euclid__t7_euclid.vout2021-07-25 16:46 34K 
[ ]euclid__t8_euclid2021-07-18 03:21 43K 
[ ]euclid__t8_euclid.depv12021-07-25 20:57 481  
[ ]euclid__t8_euclid.depvmin12021-07-25 21:03 466  
[ ]euclid__t8_euclid.vmin12021-07-25 20:57 3.7K 
[ ]euclid__t8_euclid.vmin1out2021-07-25 21:02 36K 
[ ]euclid__t8_euclid.vout2021-07-25 20:14 42K 
[ ]euclid__t9_euclid2021-07-18 03:22 31K 
[ ]euclid__t9_euclid.depv12021-07-25 20:57 138  
[ ]euclid__t9_euclid.depvmin12021-07-25 21:03 138  
[ ]euclid__t9_euclid.vmin12021-07-25 20:57 1.2K 
[ ]euclid__t9_euclid.vmin1out2021-07-25 21:02 15K 
[ ]euclid__t9_euclid.vout2021-07-25 18:30 15K 
[ ]euclid__t10_euclid2021-07-18 03:22 35K 
[ ]euclid__t10_euclid.depv12021-07-25 20:57 146  
[ ]euclid__t10_euclid.depvmin12021-07-25 21:03 130  
[ ]euclid__t10_euclid.vmin12021-07-25 20:57 1.7K 
[ ]euclid__t10_euclid.vmin1out2021-07-25 21:00 20K 
[ ]euclid__t10_euclid.vout2021-07-25 17:16 24K 
[ ]euclid__t11_euclid2021-07-18 03:23 50K 
[ ]euclid__t11_euclid.vout2021-07-25 17:53 7.3K 
[ ]euclid__t12_euclid2021-07-18 03:24 175K 
[ ]euclid__t12_euclid.vout2021-07-25 17:01 7.3K 
[ ]euclid__t13_euclid2021-07-18 03:24 46K 
[ ]euclid__t13_euclid.vout2021-07-25 19:14 7.3K 
[ ]euclid__t14_euclid2021-07-18 03:25 47K 
[ ]euclid__t14_euclid.vout2021-07-25 15:19 7.3K 
[ ]euclid__t15_euclid2021-07-18 03:25 47K 
[ ]euclid__t15_euclid.vout2021-07-25 19:03 7.3K 
[ ]euclid__t16_euclid2021-07-18 03:26 47K 
[ ]euclid__t16_euclid.vout2021-07-25 15:51 7.3K 
[ ]euclid__t17_euclid2021-07-18 03:26 42K 
[ ]euclid__t17_euclid.depv12021-07-25 20:57 398  
[ ]euclid__t17_euclid.vmin12021-07-25 20:57 3.8K 
[ ]euclid__t17_euclid.vmin1out2021-07-25 21:00 9.9K 
[ ]euclid__t17_euclid.vout2021-07-25 18:05 42K 
[ ]euclid__t18_euclid2021-07-18 03:27 48K 
[ ]euclid__t18_euclid.depv12021-07-25 20:57 244  
[ ]euclid__t18_euclid.depvmin12021-07-25 21:03 244  
[ ]euclid__t18_euclid.vmin12021-07-25 20:57 2.6K 
[ ]euclid__t18_euclid.vmin1out2021-07-25 21:01 28K 
[ ]euclid__t18_euclid.vout2021-07-25 14:25 30K 
[ ]euclid__t19_euclid2021-07-18 03:28 53K 
[ ]euclid__t19_euclid.vout2021-07-25 16:22 7.3K 
[ ]euclid__t20_euclid2021-07-18 03:28 45K 
[ ]euclid__t20_euclid.vout2021-07-25 16:05 2.0K 
[ ]euclid__t21_euclid2021-07-18 03:29 47K 
[ ]euclid__t21_euclid.vout2021-07-25 20:15 7.3K 
[ ]euclid__t22_euclid2021-07-18 03:29 39K 
[ ]euclid__t22_euclid.depv12021-07-25 20:57 181  
[ ]euclid__t22_euclid.depvmin12021-07-25 21:03 159  
[ ]euclid__t22_euclid.vmin12021-07-25 20:57 2.4K 
[ ]euclid__t22_euclid.vmin1out2021-07-25 20:58 15K 
[ ]euclid__t22_euclid.vout2021-07-25 19:05 22K 
[ ]euclid__t23_euclid2021-07-18 03:30 39K 
[ ]euclid__t23_euclid.depv12021-07-25 20:57 414  
[ ]euclid__t23_euclid.depvmin12021-07-25 21:03 354  
[ ]euclid__t23_euclid.vmin12021-07-25 20:57 5.0K 
[ ]euclid__t23_euclid.vmin1out2021-07-25 21:01 74K 
[ ]euclid__t23_euclid.vout2021-07-25 16:38 47K 
[ ]euclid__t24_euclid2021-07-18 03:31 28K 
[ ]euclid__t24_euclid.depv12021-07-25 20:57 72  
[ ]euclid__t24_euclid.depvmin12021-07-25 21:03 72  
[ ]euclid__t24_euclid.vmin12021-07-25 20:57 827  
[ ]euclid__t24_euclid.vmin1out2021-07-25 21:00 7.2K 
[ ]euclid__t24_euclid.vout2021-07-25 19:57 9.3K 
[ ]euclid__t25_euclid2021-07-18 03:14 33K 
[ ]euclid__t25_euclid.depv12021-07-25 20:57 327  
[ ]euclid__t25_euclid.depvmin12021-07-25 21:03 315  
[ ]euclid__t25_euclid.vmin12021-07-25 20:57 2.8K 
[ ]euclid__t25_euclid.vmin1out2021-07-25 21:00 27K 
[ ]euclid__t25_euclid.vout2021-07-25 18:17 36K 
[ ]euclid__t51_euclid2021-07-18 03:31 45K 
[ ]euclid__t51_euclid.vout2021-07-25 19:22 7.3K 
[ ]euclid__t52_euclid2021-07-18 03:15 33K 
[ ]euclid__t52_euclid.depv12021-07-25 20:57 202  
[ ]euclid__t52_euclid.depvmin12021-07-25 21:03 202  
[ ]euclid__t52_euclid.vmin12021-07-25 20:57 1.8K 
[ ]euclid__t52_euclid.vmin1out2021-07-25 20:59 21K 
[ ]euclid__t52_euclid.vout2021-07-25 20:42 27K 
[ ]euclid__t53_euclid2021-07-18 03:32 47K 
[ ]euclid__t53_euclid.vout2021-07-25 17:02 7.3K 
[ ]euclid__t54_euclid2021-07-18 03:33 47K 
[ ]euclid__t54_euclid.vout2021-07-25 20:18 8.4K 
[ ]euclid__t55_euclid2021-07-18 03:34 66K 
[ ]euclid__t55_euclid.vout2021-07-25 14:51 7.3K 
[ ]euclid__t56_euclid2021-07-18 03:35 40K 
[ ]euclid__t56_euclid.vout2021-07-25 16:48 6.2K 
[ ]euclid__t57_euclid2021-07-18 03:35 48K 
[ ]euclid__t57_euclid.vout2021-07-25 19:49 4.7K 
[ ]euclid__t58_euclid2021-07-18 03:36 45K 
[ ]euclid__t58_euclid.depv12021-07-25 20:57 235  
[ ]euclid__t58_euclid.depvmin12021-07-25 21:03 213  
[ ]euclid__t58_euclid.vmin12021-07-25 20:57 2.6K 
[ ]euclid__t58_euclid.vmin1out2021-07-25 21:02 26K 
[ ]euclid__t58_euclid.vout2021-07-25 14:24 35K 
[ ]euclid__t59_euclid2021-07-18 03:37 48K 
[ ]euclid__t59_euclid.vout2021-07-25 16:46 6.2K 
[ ]euclid__t60_euclid2021-07-18 03:37 43K 
[ ]euclid__t60_euclid.depv12021-07-25 20:57 213  
[ ]euclid__t60_euclid.depvmin12021-07-25 21:03 213  
[ ]euclid__t60_euclid.vmin12021-07-25 20:57 2.0K 
[ ]euclid__t60_euclid.vmin1out2021-07-25 20:59 27K 
[ ]euclid__t60_euclid.vout2021-07-25 18:44 23K 
[ ]euclid__t61_euclid2021-07-18 03:38 66K 
[ ]euclid__t61_euclid.vout2021-07-25 19:46 4.7K 
[ ]euclid__t62_euclid2021-07-18 03:39 56K 
[ ]euclid__t62_euclid.vout2021-07-25 19:37 4.7K 
[ ]euclid__t63_euclid2021-07-18 03:40 44K 
[ ]euclid__t63_euclid.vout2021-07-25 17:49 7.3K 
[ ]euclid__t64_euclid2021-07-18 03:15 31K 
[ ]euclid__t64_euclid.depv12021-07-25 20:57 57  
[ ]euclid__t64_euclid.depvmin12021-07-25 21:03 57  
[ ]euclid__t64_euclid.vmin12021-07-25 20:57 1.2K 
[ ]euclid__t64_euclid.vmin1out2021-07-25 21:01 23K 
[ ]euclid__t64_euclid.vout2021-07-25 15:20 18K 
[ ]euclid__t65_euclid2021-07-18 03:16 35K 
[ ]euclid__t65_euclid.depv12021-07-25 20:57 58  
[ ]euclid__t65_euclid.depvmin12021-07-25 21:03 58  
[ ]euclid__t65_euclid.vmin12021-07-25 20:57 940  
[ ]euclid__t65_euclid.vmin1out2021-07-25 21:00 16K 
[ ]euclid__t65_euclid.vout2021-07-25 18:27 11K 
[ ]euclid__t66_euclid2021-07-18 03:40 44K 
[ ]euclid__t66_euclid.depv12021-07-25 20:57 616  
[ ]euclid__t66_euclid.depvmin12021-07-25 21:03 586  
[ ]euclid__t66_euclid.vmin12021-07-25 20:57 6.1K 
[ ]euclid__t66_euclid.vmin1out2021-07-25 21:01 46K 
[ ]euclid__t66_euclid.vout2021-07-25 16:50 63K 
[ ]euclid__t67_euclid2021-07-18 03:41 40K 
[ ]euclid__t67_euclid.depv12021-07-25 20:57 181  
[ ]euclid__t67_euclid.depvmin12021-07-25 21:03 93  
[ ]euclid__t67_euclid.vmin12021-07-25 20:57 2.4K 
[ ]euclid__t67_euclid.vmin1out2021-07-25 20:58 9.5K 
[ ]euclid__t67_euclid.vout2021-07-25 18:28 22K 
[ ]euclid__t68_euclid2021-07-18 03:16 36K 
[ ]euclid__t68_euclid.depv12021-07-25 20:57 57  
[ ]euclid__t68_euclid.depvmin12021-07-25 21:03 57  
[ ]euclid__t68_euclid.vmin12021-07-25 20:57 807  
[ ]euclid__t68_euclid.vmin1out2021-07-25 21:02 13K 
[ ]euclid__t68_euclid.vout2021-07-25 17:09 11K 
[ ]euclid__t69_euclid2021-07-18 03:17 47K 
[ ]euclid__t69_euclid.depv12021-07-25 20:57 181  
[ ]euclid__t69_euclid.depvmin12021-07-25 21:03 57  
[ ]euclid__t69_euclid.vmin12021-07-25 20:57 2.3K 
[ ]euclid__t69_euclid.vmin1out2021-07-25 21:00 23K 
[ ]euclid__t69_euclid.vout2021-07-25 19:22 30K 
[ ]euclid__t70_euclid2021-07-18 03:18 37K 
[ ]euclid__t70_euclid.depv12021-07-25 20:57 69  
[ ]euclid__t70_euclid.depvmin12021-07-25 21:03 69  
[ ]euclid__t70_euclid.vmin12021-07-25 20:57 400  
[ ]euclid__t70_euclid.vmin1out2021-07-25 21:01 3.3K 
[ ]euclid__t70_euclid.vout2021-07-25 14:34 4.0K 
[ ]euclid__t71_euclid2021-07-18 03:18 42K 
[ ]euclid__t71_euclid.depv12021-07-25 20:57 136  
[ ]euclid__t71_euclid.depvmin12021-07-25 21:03 136  
[ ]euclid__t71_euclid.vmin12021-07-25 20:57 1.5K 
[ ]euclid__t71_euclid.vmin1out2021-07-25 21:01 17K 
[ ]euclid__t71_euclid.vout2021-07-25 15:56 16K 
[ ]euclid__t72_euclid2021-07-18 03:42 38K 
[ ]euclid__t72_euclid.vout2021-07-25 19:14 7.3K 
[ ]euclid__t73_euclid2021-07-18 03:42 38K 
[ ]euclid__t73_euclid.depv12021-07-25 20:57 357  
[ ]euclid__t73_euclid.depvmin12021-07-25 21:03 357  
[ ]euclid__t73_euclid.vmin12021-07-25 20:57 2.6K 
[ ]euclid__t73_euclid.vmin1out2021-07-25 21:01 20K 
[ ]euclid__t73_euclid.vout2021-07-25 18:51 29K 
[ ]euclid__t74_euclid2021-07-18 03:19 46K 
[ ]euclid__t74_euclid.depv12021-07-25 20:57 33  
[ ]euclid__t74_euclid.depvmin12021-07-25 21:03 33  
[ ]euclid__t74_euclid.vmin12021-07-25 20:57 292  
[ ]euclid__t74_euclid.vmin1out2021-07-25 21:00 2.7K 
[ ]euclid__t74_euclid.vout2021-07-25 14:39 3.4K 
[ ]euclid__t75_euclid2021-07-18 03:43 47K 
[ ]euclid__t75_euclid.depv12021-07-25 20:57 195  
[ ]euclid__t75_euclid.depvmin12021-07-25 21:03 182  
[ ]euclid__t75_euclid.vmin12021-07-25 20:57 1.5K 
[ ]euclid__t75_euclid.vmin1out2021-07-25 21:02 11K 
[ ]euclid__t75_euclid.vout2021-07-25 19:14 15K 
[ ]euclid__t76_euclid2021-07-18 03:44 33K 
[ ]euclid__t76_euclid.vout2021-07-25 18:06 7.8K 
[ ]euclid__t77_euclid2021-07-18 03:44 32K 
[ ]euclid__t77_euclid.depv12021-07-25 20:57 234  
[ ]euclid__t77_euclid.depvmin12021-07-25 21:03 234  
[ ]euclid__t77_euclid.vmin12021-07-25 20:57 1.6K 
[ ]euclid__t77_euclid.vmin1out2021-07-25 20:59 10K 
[ ]euclid__t77_euclid.vout2021-07-25 15:23 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80