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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid10__l14_euclid102024-07-27 04:21 435K 
[ ]euclid10__l14_euclid10.vout2024-08-03 04:34 5.8K 
[ ]euclid10__l15_euclid102024-07-27 04:23 365K 
[ ]euclid10__l15_euclid10.vout2024-08-03 07:21 9.9K 
[ ]euclid10__l16_euclid102024-07-27 04:25 368K 
[ ]euclid10__l16_euclid10.vout2024-08-03 07:10 4.7K 
[ ]euclid10__l17_euclid102024-07-27 04:26 33K 
[ ]euclid10__l17_euclid10.depv12024-08-03 10:19 331  
[ ]euclid10__l17_euclid10.depvmin12024-08-03 10:24 287  
[ ]euclid10__l17_euclid10.vmin12024-08-03 10:20 2.4K 
[ ]euclid10__l17_euclid10.vmin1out2024-08-03 10:20 22K 
[ ]euclid10__l17_euclid10.vout2024-08-03 10:07 34K 
[ ]euclid10__l18_euclid102024-07-27 04:28 36K 
[ ]euclid10__l18_euclid10.depv12024-08-03 10:19 65  
[ ]euclid10__l18_euclid10.depvmin12024-08-03 10:24 65  
[ ]euclid10__l18_euclid10.vmin12024-08-03 10:20 2.1K 
[ ]euclid10__l18_euclid10.vmin1out2024-08-03 10:20 39K 
[ ]euclid10__l18_euclid10.vout2024-08-03 06:28 39K 
[ ]euclid10__l19_euclid102024-07-27 04:30 92K 
[ ]euclid10__l19_euclid10.vout2024-08-03 08:40 4.1K 
[ ]euclid10__l36_euclid102024-07-27 04:31 28K 
[ ]euclid10__l36_euclid10.depv12024-08-03 10:19 166  
[ ]euclid10__l36_euclid10.depvmin12024-08-03 10:24 166  
[ ]euclid10__l36_euclid10.vmin12024-08-03 10:20 2.9K 
[ ]euclid10__l36_euclid10.vmin1out2024-08-03 10:21 33K 
[ ]euclid10__l36_euclid10.vout2024-08-03 09:48 30K 
[ ]euclid10__l38_euclid102024-07-27 04:33 40K 
[ ]euclid10__l38_euclid10.depv12024-08-03 10:19 76  
[ ]euclid10__l38_euclid10.depvmin12024-08-03 10:24 76  
[ ]euclid10__l38_euclid10.vmin12024-08-03 10:20 1.4K 
[ ]euclid10__l38_euclid10.vmin1out2024-08-03 10:21 14K 
[ ]euclid10__l38_euclid10.vout2024-08-03 07:43 18K 
[ ]euclid10__l59_euclid102024-07-27 04:34 42K 
[ ]euclid10__l59_euclid10.vout2024-08-03 08:09 4.7K 
[ ]euclid10__l63_euclid102024-07-27 04:36 272K 
[ ]euclid10__l63_euclid10.vout2024-08-03 04:40 4.1K 
[ ]euclid10__l64_euclid102024-07-27 04:38 131K 
[ ]euclid10__l64_euclid10.vout2024-08-03 08:08 3.2K 
[ ]euclid10__t1_euclid102024-07-27 03:08 49K 
[ ]euclid10__t1_euclid10.vout2024-08-03 05:03 2.0K 
[ ]euclid10__t2_euclid102024-07-27 03:09 49K 
[ ]euclid10__t2_euclid10.vout2024-08-03 05:46 2.0K 
[ ]euclid10__t3_euclid102024-07-27 03:10 49K 
[ ]euclid10__t3_euclid10.vout2024-08-03 08:26 2.0K 
[ ]euclid10__t4_euclid102024-07-27 03:11 49K 
[ ]euclid10__t4_euclid10.vout2024-08-03 07:56 2.0K 
[ ]euclid10__t5_euclid102024-07-27 03:11 59K 
[ ]euclid10__t5_euclid10.vout2024-08-03 08:09 2.0K 
[ ]euclid10__t6_euclid102024-07-27 03:12 49K 
[ ]euclid10__t6_euclid10.vout2024-08-03 06:29 2.0K 
[ ]euclid10__t7_euclid102024-07-27 03:13 49K 
[ ]euclid10__t7_euclid10.vout2024-08-03 07:25 2.0K 
[ ]euclid10__t8_euclid102024-07-27 03:14 49K 
[ ]euclid10__t8_euclid10.vout2024-08-03 07:54 2.0K 
[ ]euclid10__t9_euclid102024-07-27 03:14 48K 
[ ]euclid10__t9_euclid10.depv12024-08-03 10:19 36  
[ ]euclid10__t9_euclid10.depvmin12024-08-03 10:24 36  
[ ]euclid10__t9_euclid10.vmin12024-08-03 10:20 1.0K 
[ ]euclid10__t9_euclid10.vmin1out2024-08-03 10:20 4.9K 
[ ]euclid10__t9_euclid10.vout2024-08-03 06:24 5.0K 
[ ]euclid10__t10_euclid102024-07-27 03:15 48K 
[ ]euclid10__t10_euclid10.depv12024-08-03 10:19 37  
[ ]euclid10__t10_euclid10.depvmin12024-08-03 10:24 37  
[ ]euclid10__t10_euclid10.vmin12024-08-03 10:20 1.0K 
[ ]euclid10__t10_euclid10.vmin1out2024-08-03 10:20 4.8K 
[ ]euclid10__t10_euclid10.vout2024-08-03 05:17 8.4K 
[ ]euclid10__t11_euclid102024-07-27 03:16 49K 
[ ]euclid10__t11_euclid10.vout2024-08-03 09:51 2.0K 
[ ]euclid10__t12_euclid102024-07-27 03:17 49K 
[ ]euclid10__t12_euclid10.vout2024-08-03 04:11 2.0K 
[ ]euclid10__t13_euclid102024-07-27 03:17 49K 
[ ]euclid10__t13_euclid10.vout2024-08-03 04:50 2.0K 
[ ]euclid10__t14_euclid102024-07-27 03:19 218K 
[ ]euclid10__t14_euclid10.vout2024-08-03 05:08 4.2K 
[ ]euclid10__t15_euclid102024-07-27 03:20 282K 
[ ]euclid10__t15_euclid10.vout2024-08-03 07:35 2.0K 
[ ]euclid10__t16_euclid102024-07-27 03:21 73K 
[ ]euclid10__t16_euclid10.vout2024-08-03 05:14 4.8K 
[ ]euclid10__t17_euclid102024-07-27 03:21 64K 
[ ]euclid10__t17_euclid10.vout2024-08-03 04:26 4.7K 
[ ]euclid10__t18_euclid102024-07-27 03:22 142K 
[ ]euclid10__t18_euclid10.vout2024-08-03 09:53 1.1K 
[ ]euclid10__t19_euclid102024-07-27 03:23 244K 
[ ]euclid10__t19_euclid10.vout2024-08-03 05:25 2.0K 
[ ]euclid10__t20_euclid102024-07-27 03:06 333K 
[ ]euclid10__t20_euclid10.vout2024-08-03 09:07 2.0K 
[ ]euclid10__t21_euclid102024-07-27 03:24 244K 
[ ]euclid10__t21_euclid10.vout2024-08-03 06:08 2.0K 
[ ]euclid10__t22_euclid102024-07-27 03:25 158K 
[ ]euclid10__t22_euclid10.vout2024-08-03 04:20 1.1K 
[ ]euclid10__t23_euclid102024-07-27 03:25 58K 
[ ]euclid10__t23_euclid10.vout2024-08-03 07:01 4.7K 
[ ]euclid10__t24_euclid102024-07-27 03:26 15K 
[ ]euclid10__t24_euclid10.vout2024-08-03 07:16 2.0K 
[ ]euclid10__t25_euclid102024-07-27 03:27 102K 
[ ]euclid10__t25_euclid10.vout2024-08-03 04:22 2.0K 
[ ]euclid10__t26_euclid102024-07-27 03:28 39K 
[ ]euclid10__t26_euclid10.vout2024-08-03 04:52 2.0K 
[ ]euclid10__t27_euclid102024-07-27 03:29 31K 
[ ]euclid10__t27_euclid10.vout2024-08-03 05:11 2.0K 
[ ]euclid10__t28_euclid102024-07-27 03:29 102K 
[ ]euclid10__t28_euclid10.vout2024-08-03 07:17 2.0K 
[ ]euclid10__t29_euclid102024-07-27 03:30 378K 
[ ]euclid10__t29_euclid10.vout2024-08-03 09:55 2.0K 
[ ]euclid10__t30_euclid102024-07-27 03:32 26K 
[ ]euclid10__t30_euclid10.vout2024-08-03 08:01 3.8K 
[ ]euclid10__t31_euclid102024-07-27 03:33 31K 
[ ]euclid10__t31_euclid10.depv12024-08-03 10:19 39  
[ ]euclid10__t31_euclid10.depvmin12024-08-03 10:24 39  
[ ]euclid10__t31_euclid10.vmin12024-08-03 10:20 1.7K 
[ ]euclid10__t31_euclid10.vmin1out2024-08-03 10:20 26K 
[ ]euclid10__t31_euclid10.vout2024-08-03 05:29 26K 
[ ]euclid10__t32_euclid102024-07-27 03:35 79K 
[ ]euclid10__t32_euclid10.vout2024-08-03 06:29 4.7K 
[ ]euclid10__t33_euclid102024-07-27 03:37 132K 
[ ]euclid10__t33_euclid10.vout2024-08-03 05:22 4.7K 
[ ]euclid10__t34_euclid102024-07-27 03:38 137K 
[ ]euclid10__t34_euclid10.vout2024-08-03 04:18 4.7K 
[ ]euclid10__t35_euclid102024-07-27 03:40 137K 
[ ]euclid10__t35_euclid10.vout2024-08-03 07:21 4.7K 
[ ]euclid10__t36_euclid102024-07-27 03:42 30K 
[ ]euclid10__t36_euclid10.vout2024-08-03 09:21 5.9K 
[ ]euclid10__t37_euclid102024-07-27 03:43 30K 
[ ]euclid10__t37_euclid10.vout2024-08-03 04:25 4.1K 
[ ]euclid10__t38_euclid102024-07-27 03:45 29K 
[ ]euclid10__t38_euclid10.depv12024-08-03 10:19 145  
[ ]euclid10__t38_euclid10.depvmin12024-08-03 10:24 145  
[ ]euclid10__t38_euclid10.vmin12024-08-03 10:20 1.3K 
[ ]euclid10__t38_euclid10.vmin1out2024-08-03 10:21 16K 
[ ]euclid10__t38_euclid10.vout2024-08-03 05:34 21K 
[ ]euclid10__t39_euclid102024-07-27 03:47 423K 
[ ]euclid10__t39_euclid10.vout2024-08-03 07:20 6.8K 
[ ]euclid10__t40_euclid102024-07-27 03:49 33K 
[ ]euclid10__t40_euclid10.vout2024-08-03 05:34 7.3K 
[ ]euclid10__t41_euclid102024-07-27 03:50 348K 
[ ]euclid10__t41_euclid10.vout2024-08-03 09:34 3.2K 
[ ]euclid10__t42_euclid102024-07-27 03:52 74K 
[ ]euclid10__t42_euclid10.vout2024-08-03 06:09 3.2K 
[ ]euclid10__t43_euclid102024-07-27 03:54 116K 
[ ]euclid10__t43_euclid10.vout2024-08-03 08:16 3.2K 
[ ]euclid10__t44_euclid102024-07-27 03:55 34K 
[ ]euclid10__t44_euclid10.vout2024-08-03 05:54 4.7K 
[ ]euclid10__t45_euclid102024-07-27 03:57 36K 
[ ]euclid10__t45_euclid10.vout2024-08-03 04:52 4.1K 
[ ]euclid10__t46_euclid102024-07-27 03:08 32K 
[ ]euclid10__t46_euclid10.vout2024-08-03 07:30 4.1K 
[ ]euclid10__t47_euclid102024-07-27 03:58 41K 
[ ]euclid10__t47_euclid10.vout2024-08-03 09:49 4.1K 
[ ]euclid10__t48_euclid102024-07-27 04:00 41K 
[ ]euclid10__t48_euclid10.vout2024-08-03 08:52 4.1K 
[ ]euclid10__t49_euclid102024-07-27 04:02 40K 
[ ]euclid10__t49_euclid10.vout2024-08-03 09:54 4.1K 
[ ]euclid10__t50_euclid102024-07-27 04:03 42K 
[ ]euclid10__t50_euclid10.vout2024-08-03 10:06 4.1K 
[ ]euclid10__t51_euclid102024-07-27 04:05 119K 
[ ]euclid10__t51_euclid10.vout2024-08-03 05:11 4.1K 
[ ]euclid10__t52_euclid102024-07-27 04:07 149K 
[ ]euclid10__t52_euclid10.vout2024-08-03 06:48 4.1K 
[ ]euclid10__t53_euclid102024-07-27 04:08 276K 
[ ]euclid10__t53_euclid10.vout2024-08-03 05:49 4.1K 
[ ]euclid10__t54_euclid102024-07-27 04:10 32K 
[ ]euclid10__t54_euclid10.depv12024-08-03 10:19 39  
[ ]euclid10__t54_euclid10.depvmin12024-08-03 10:24 39  
[ ]euclid10__t54_euclid10.vmin12024-08-03 10:20 1.6K 
[ ]euclid10__t54_euclid10.vmin1out2024-08-03 10:22 16K 
[ ]euclid10__t54_euclid10.vout2024-08-03 05:39 17K 
[ ]euclid10__t55_euclid102024-07-27 04:12 149K 
[ ]euclid10__t55_euclid10.vout2024-08-03 09:58 4.1K 
[ ]euclid10__t56_euclid102024-07-27 04:13 279K 
[ ]euclid10__t56_euclid10.vout2024-08-03 04:19 4.7K 
[ ]euclid10__t57_euclid102024-07-27 04:15 97K 
[ ]euclid10__t57_euclid10.vout2024-08-03 10:00 4.7K 
[ ]euclid10__t58_euclid102024-07-27 04:17 42K 
[ ]euclid10__t58_euclid10.vout2024-08-03 10:04 7.3K 
[ ]euclid10__t59_euclid102024-07-27 04:19 245K 
[ ]euclid10__t59_euclid10.vout2024-08-03 10:01 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80