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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid__l6_euclid2024-07-28 09:01 27K 
[ ]euclid__l6_euclid.depv12024-08-03 10:19 293  
[ ]euclid__l6_euclid.depvmin12024-08-03 10:24 293  
[ ]euclid__l6_euclid.vmin12024-08-03 10:19 2.1K 
[ ]euclid__l6_euclid.vmin1out2024-08-03 10:22 22K 
[ ]euclid__l6_euclid.vout2024-08-03 08:08 25K 
[ ]euclid__l14_euclid2024-07-28 09:03 47K 
[ ]euclid__l14_euclid.vout2024-08-03 06:01 7.3K 
[ ]euclid__l35_euclid2024-07-28 09:05 51K 
[ ]euclid__l35_euclid.vout2024-08-03 10:06 7.3K 
[ ]euclid__l36_euclid2024-07-28 09:08 51K 
[ ]euclid__l36_euclid.vout2024-08-03 07:56 7.3K 
[ ]euclid__l86_euclid2024-07-28 07:46 14K 
[ ]euclid__l86_euclid.depv12024-08-03 10:19 94  
[ ]euclid__l86_euclid.depvmin12024-08-03 10:24 94  
[ ]euclid__l86_euclid.vmin12024-08-03 10:19 562  
[ ]euclid__l86_euclid.vmin1out2024-08-03 10:22 4.0K 
[ ]euclid__l86_euclid.vout2024-08-03 09:54 3.7K 
[ ]euclid__t4_euclid2024-07-28 07:48 37K 
[ ]euclid__t4_euclid.vout2024-08-03 04:52 7.3K 
[ ]euclid__t5_euclid2024-07-28 07:49 21K 
[ ]euclid__t5_euclid.depv12024-08-03 10:19 107  
[ ]euclid__t5_euclid.depvmin12024-08-03 10:24 107  
[ ]euclid__t5_euclid.vmin12024-08-03 10:19 1.5K 
[ ]euclid__t5_euclid.vmin1out2024-08-03 10:21 24K 
[ ]euclid__t5_euclid.vout2024-08-03 07:44 30K 
[ ]euclid__t6_euclid2024-07-28 07:30 30K 
[ ]euclid__t6_euclid.depv12024-08-03 10:19 197  
[ ]euclid__t6_euclid.depvmin12024-08-03 10:24 197  
[ ]euclid__t6_euclid.vmin12024-08-03 10:19 2.1K 
[ ]euclid__t6_euclid.vmin1out2024-08-03 10:20 24K 
[ ]euclid__t6_euclid.vout2024-08-03 05:36 26K 
[ ]euclid__t7_euclid2024-07-28 07:51 40K 
[ ]euclid__t7_euclid.depv12024-08-03 10:19 477  
[ ]euclid__t7_euclid.depvmin12024-08-03 10:24 466  
[ ]euclid__t7_euclid.vmin12024-08-03 10:19 3.4K 
[ ]euclid__t7_euclid.vmin1out2024-08-03 10:21 27K 
[ ]euclid__t7_euclid.vout2024-08-03 10:07 34K 
[ ]euclid__t8_euclid2024-07-28 07:53 44K 
[ ]euclid__t8_euclid.vout2024-08-03 05:03 7.3K 
[ ]euclid__t9_euclid2024-07-28 07:54 33K 
[ ]euclid__t9_euclid.depv12024-08-03 10:19 138  
[ ]euclid__t9_euclid.depvmin12024-08-03 10:24 138  
[ ]euclid__t9_euclid.vmin12024-08-03 10:19 1.2K 
[ ]euclid__t9_euclid.vmin1out2024-08-03 10:20 15K 
[ ]euclid__t9_euclid.vout2024-08-03 08:24 15K 
[ ]euclid__t10_euclid2024-07-28 07:56 36K 
[ ]euclid__t10_euclid.depv12024-08-03 10:19 144  
[ ]euclid__t10_euclid.depvmin12024-08-03 10:24 130  
[ ]euclid__t10_euclid.vmin12024-08-03 10:19 1.7K 
[ ]euclid__t10_euclid.vmin1out2024-08-03 10:21 20K 
[ ]euclid__t10_euclid.vout2024-08-03 04:49 23K 
[ ]euclid__t11_euclid2024-07-28 07:58 52K 
[ ]euclid__t11_euclid.vout2024-08-03 05:38 7.3K 
[ ]euclid__t12_euclid2024-07-28 08:00 180K 
[ ]euclid__t12_euclid.vout2024-08-03 09:42 7.3K 
[ ]euclid__t13_euclid2024-07-28 08:02 47K 
[ ]euclid__t13_euclid.vout2024-08-03 09:09 7.3K 
[ ]euclid__t14_euclid2024-07-28 08:04 49K 
[ ]euclid__t14_euclid.vout2024-08-03 09:07 7.3K 
[ ]euclid__t15_euclid2024-07-28 08:05 49K 
[ ]euclid__t15_euclid.vout2024-08-03 07:31 7.3K 
[ ]euclid__t16_euclid2024-07-28 08:07 48K 
[ ]euclid__t16_euclid.vout2024-08-03 06:59 7.3K 
[ ]euclid__t17_euclid2024-07-28 08:09 44K 
[ ]euclid__t17_euclid.depv12024-08-03 10:19 371  
[ ]euclid__t17_euclid.depvmin12024-08-03 10:24 357  
[ ]euclid__t17_euclid.vmin12024-08-03 10:19 3.7K 
[ ]euclid__t17_euclid.vmin1out2024-08-03 10:23 43K 
[ ]euclid__t17_euclid.vout2024-08-03 09:12 42K 
[ ]euclid__t18_euclid2024-07-28 08:10 50K 
[ ]euclid__t18_euclid.depv12024-08-03 10:19 217  
[ ]euclid__t18_euclid.depvmin12024-08-03 10:24 217  
[ ]euclid__t18_euclid.vmin12024-08-03 10:19 2.5K 
[ ]euclid__t18_euclid.vmin1out2024-08-03 10:22 27K 
[ ]euclid__t18_euclid.vout2024-08-03 07:19 30K 
[ ]euclid__t19_euclid2024-07-28 08:12 55K 
[ ]euclid__t19_euclid.vout2024-08-03 06:06 7.3K 
[ ]euclid__t20_euclid2024-07-28 08:13 47K 
[ ]euclid__t20_euclid.vout2024-08-03 04:31 2.0K 
[ ]euclid__t21_euclid2024-07-28 08:15 49K 
[ ]euclid__t21_euclid.vout2024-08-03 08:09 7.3K 
[ ]euclid__t22_euclid2024-07-28 08:17 42K 
[ ]euclid__t22_euclid.depv12024-08-03 10:19 181  
[ ]euclid__t22_euclid.depvmin12024-08-03 10:24 159  
[ ]euclid__t22_euclid.vmin12024-08-03 10:19 2.4K 
[ ]euclid__t22_euclid.vmin1out2024-08-03 10:20 15K 
[ ]euclid__t22_euclid.vout2024-08-03 04:55 22K 
[ ]euclid__t23_euclid2024-07-28 08:19 42K 
[ ]euclid__t23_euclid.depv12024-08-03 10:19 511  
[ ]euclid__t23_euclid.depvmin12024-08-03 10:24 310  
[ ]euclid__t23_euclid.vmin12024-08-03 10:19 5.5K 
[ ]euclid__t23_euclid.vmin1out2024-08-03 10:23 30K 
[ ]euclid__t23_euclid.vout2024-08-03 05:48 52K 
[ ]euclid__t24_euclid2024-07-28 08:21 29K 
[ ]euclid__t24_euclid.depv12024-08-03 10:19 72  
[ ]euclid__t24_euclid.depvmin12024-08-03 10:24 72  
[ ]euclid__t24_euclid.vmin12024-08-03 10:19 827  
[ ]euclid__t24_euclid.vmin1out2024-08-03 10:21 7.2K 
[ ]euclid__t24_euclid.vout2024-08-03 07:41 9.3K 
[ ]euclid__t25_euclid2024-07-28 07:31 34K 
[ ]euclid__t25_euclid.depv12024-08-03 10:19 327  
[ ]euclid__t25_euclid.depvmin12024-08-03 10:24 315  
[ ]euclid__t25_euclid.vmin12024-08-03 10:19 2.8K 
[ ]euclid__t25_euclid.vmin1out2024-08-03 10:21 27K 
[ ]euclid__t25_euclid.vout2024-08-03 04:33 36K 
[ ]euclid__t51_euclid2024-07-28 08:23 46K 
[ ]euclid__t51_euclid.vout2024-08-03 08:39 8.3K 
[ ]euclid__t52_euclid2024-07-28 07:33 34K 
[ ]euclid__t52_euclid.depv12024-08-03 10:19 202  
[ ]euclid__t52_euclid.depvmin12024-08-03 10:24 202  
[ ]euclid__t52_euclid.vmin12024-08-03 10:19 1.8K 
[ ]euclid__t52_euclid.vmin1out2024-08-03 10:21 21K 
[ ]euclid__t52_euclid.vout2024-08-03 06:41 27K 
[ ]euclid__t53_euclid2024-07-28 08:25 48K 
[ ]euclid__t53_euclid.vout2024-08-03 05:26 7.3K 
[ ]euclid__t54_euclid2024-07-28 08:28 49K 
[ ]euclid__t54_euclid.vout2024-08-03 09:05 8.9K 
[ ]euclid__t55_euclid2024-07-28 08:30 68K 
[ ]euclid__t55_euclid.vout2024-08-03 06:29 7.3K 
[ ]euclid__t56_euclid2024-07-28 08:32 42K 
[ ]euclid__t56_euclid.vout2024-08-03 08:03 6.2K 
[ ]euclid__t57_euclid2024-07-28 08:34 50K 
[ ]euclid__t57_euclid.vout2024-08-03 05:57 4.7K 
[ ]euclid__t58_euclid2024-07-28 08:36 46K 
[ ]euclid__t58_euclid.depv12024-08-03 10:19 235  
[ ]euclid__t58_euclid.depvmin12024-08-03 10:24 213  
[ ]euclid__t58_euclid.vmin12024-08-03 10:19 2.6K 
[ ]euclid__t58_euclid.vmin1out2024-08-03 10:23 26K 
[ ]euclid__t58_euclid.vout2024-08-03 06:29 35K 
[ ]euclid__t59_euclid2024-07-28 08:38 49K 
[ ]euclid__t59_euclid.vout2024-08-03 08:46 6.2K 
[ ]euclid__t60_euclid2024-07-28 08:40 45K 
[ ]euclid__t60_euclid.depv12024-08-03 10:19 213  
[ ]euclid__t60_euclid.depvmin12024-08-03 10:24 213  
[ ]euclid__t60_euclid.vmin12024-08-03 10:19 2.0K 
[ ]euclid__t60_euclid.vmin1out2024-08-03 10:23 27K 
[ ]euclid__t60_euclid.vout2024-08-03 07:49 23K 
[ ]euclid__t61_euclid2024-07-28 08:42 68K 
[ ]euclid__t61_euclid.vout2024-08-03 04:31 4.7K 
[ ]euclid__t62_euclid2024-07-28 08:44 58K 
[ ]euclid__t62_euclid.vout2024-08-03 05:03 4.7K 
[ ]euclid__t63_euclid2024-07-28 08:46 47K 
[ ]euclid__t63_euclid.vout2024-08-03 10:05 7.3K 
[ ]euclid__t64_euclid2024-07-28 07:35 33K 
[ ]euclid__t64_euclid.depv12024-08-03 10:19 57  
[ ]euclid__t64_euclid.depvmin12024-08-03 10:24 57  
[ ]euclid__t64_euclid.vmin12024-08-03 10:19 1.2K 
[ ]euclid__t64_euclid.vmin1out2024-08-03 10:20 23K 
[ ]euclid__t64_euclid.vout2024-08-03 07:18 18K 
[ ]euclid__t65_euclid2024-07-28 07:37 37K 
[ ]euclid__t65_euclid.depv12024-08-03 10:19 58  
[ ]euclid__t65_euclid.depvmin12024-08-03 10:24 58  
[ ]euclid__t65_euclid.vmin12024-08-03 10:19 940  
[ ]euclid__t65_euclid.vmin1out2024-08-03 10:20 16K 
[ ]euclid__t65_euclid.vout2024-08-03 06:54 11K 
[ ]euclid__t66_euclid2024-07-28 08:48 46K 
[ ]euclid__t66_euclid.depv12024-08-03 10:19 534  
[ ]euclid__t66_euclid.depvmin12024-08-03 10:24 399  
[ ]euclid__t66_euclid.vmin12024-08-03 10:19 5.2K 
[ ]euclid__t66_euclid.vmin1out2024-08-03 10:22 37K 
[ ]euclid__t66_euclid.vout2024-08-03 07:05 46K 
[ ]euclid__t67_euclid2024-07-28 08:51 43K 
[ ]euclid__t67_euclid.depv12024-08-03 10:19 181  
[ ]euclid__t67_euclid.depvmin12024-08-03 10:24 93  
[ ]euclid__t67_euclid.vmin12024-08-03 10:19 2.4K 
[ ]euclid__t67_euclid.vmin1out2024-08-03 10:22 9.5K 
[ ]euclid__t67_euclid.vout2024-08-03 05:34 22K 
[ ]euclid__t68_euclid2024-07-28 07:38 37K 
[ ]euclid__t68_euclid.depv12024-08-03 10:19 57  
[ ]euclid__t68_euclid.depvmin12024-08-03 10:24 57  
[ ]euclid__t68_euclid.vmin12024-08-03 10:19 807  
[ ]euclid__t68_euclid.vmin1out2024-08-03 10:23 13K 
[ ]euclid__t68_euclid.vout2024-08-03 04:13 11K 
[ ]euclid__t69_euclid2024-07-28 07:40 48K 
[ ]euclid__t69_euclid.depv12024-08-03 10:19 57  
[ ]euclid__t69_euclid.depvmin12024-08-03 10:24 57  
[ ]euclid__t69_euclid.vmin12024-08-03 10:19 1.2K 
[ ]euclid__t69_euclid.vmin1out2024-08-03 10:22 23K 
[ ]euclid__t69_euclid.vout2024-08-03 04:33 16K 
[ ]euclid__t70_euclid2024-07-28 07:42 38K 
[ ]euclid__t70_euclid.depv12024-08-03 10:19 69  
[ ]euclid__t70_euclid.depvmin12024-08-03 10:24 69  
[ ]euclid__t70_euclid.vmin12024-08-03 10:19 400  
[ ]euclid__t70_euclid.vmin1out2024-08-03 10:21 3.3K 
[ ]euclid__t70_euclid.vout2024-08-03 06:29 4.0K 
[ ]euclid__t71_euclid2024-07-28 07:44 44K 
[ ]euclid__t71_euclid.depv12024-08-03 10:19 136  
[ ]euclid__t71_euclid.depvmin12024-08-03 10:24 136  
[ ]euclid__t71_euclid.vmin12024-08-03 10:19 1.5K 
[ ]euclid__t71_euclid.vmin1out2024-08-03 10:23 17K 
[ ]euclid__t71_euclid.vout2024-08-03 07:51 16K 
[ ]euclid__t72_euclid2024-07-28 08:52 39K 
[ ]euclid__t72_euclid.vout2024-08-03 05:59 7.3K 
[ ]euclid__t73_euclid2024-07-28 08:54 39K 
[ ]euclid__t73_euclid.depv12024-08-03 10:19 357  
[ ]euclid__t73_euclid.depvmin12024-08-03 10:24 357  
[ ]euclid__t73_euclid.vmin12024-08-03 10:19 2.6K 
[ ]euclid__t73_euclid.vmin1out2024-08-03 10:21 20K 
[ ]euclid__t73_euclid.vout2024-08-03 06:26 28K 
[ ]euclid__t74_euclid2024-07-28 07:45 48K 
[ ]euclid__t74_euclid.depv12024-08-03 10:19 33  
[ ]euclid__t74_euclid.depvmin12024-08-03 10:24 33  
[ ]euclid__t74_euclid.vmin12024-08-03 10:19 292  
[ ]euclid__t74_euclid.vmin1out2024-08-03 10:20 2.7K 
[ ]euclid__t74_euclid.vout2024-08-03 08:29 3.4K 
[ ]euclid__t75_euclid2024-07-28 08:56 49K 
[ ]euclid__t75_euclid.depv12024-08-03 10:19 195  
[ ]euclid__t75_euclid.depvmin12024-08-03 10:24 182  
[ ]euclid__t75_euclid.vmin12024-08-03 10:19 1.5K 
[ ]euclid__t75_euclid.vmin1out2024-08-03 10:20 11K 
[ ]euclid__t75_euclid.vout2024-08-03 05:31 15K 
[ ]euclid__t76_euclid2024-07-28 08:58 34K 
[ ]euclid__t76_euclid.vout2024-08-03 07:30 7.8K 
[ ]euclid__t77_euclid2024-07-28 09:00 34K 
[ ]euclid__t77_euclid.depv12024-08-03 10:19 234  
[ ]euclid__t77_euclid.depvmin12024-08-03 10:24 234  
[ ]euclid__t77_euclid.vmin12024-08-03 10:19 1.6K 
[ ]euclid__t77_euclid.vmin1out2024-08-03 10:20 10K 
[ ]euclid__t77_euclid.vout2024-08-03 09:43 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80