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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_3__t1_euclid_32024-07-28 11:43 125K 
[ ]euclid_3__t1_euclid_3.depv12024-08-03 10:19 142  
[ ]euclid_3__t1_euclid_3.depvmin12024-08-03 10:24 117  
[ ]euclid_3__t1_euclid_3.vmin12024-08-03 10:19 1.1K 
[ ]euclid_3__t1_euclid_3.vmin1out2024-08-03 10:22 9.2K 
[ ]euclid_3__t1_euclid_3.vout2024-08-03 05:01 13K 
[ ]euclid_3__t2_euclid_32024-07-28 11:45 62K 
[ ]euclid_3__t2_euclid_3.depv12024-08-03 10:19 141  
[ ]euclid_3__t2_euclid_3.depvmin12024-08-03 10:24 116  
[ ]euclid_3__t2_euclid_3.vmin12024-08-03 10:19 1.2K 
[ ]euclid_3__t2_euclid_3.vmin1out2024-08-03 10:20 9.1K 
[ ]euclid_3__t2_euclid_3.vout2024-08-03 07:59 13K 
[ ]euclid_3__t3_euclid_32024-07-28 11:46 62K 
[ ]euclid_3__t3_euclid_3.depv12024-08-03 10:19 24  
[ ]euclid_3__t3_euclid_3.depvmin12024-08-03 10:24 24  
[ ]euclid_3__t3_euclid_3.vmin12024-08-03 10:19 230  
[ ]euclid_3__t3_euclid_3.vmin1out2024-08-03 10:20 4.0K 
[ ]euclid_3__t3_euclid_3.vout2024-08-03 09:33 3.3K 
[ ]euclid_3__t4_euclid_32024-07-28 11:48 125K 
[ ]euclid_3__t4_euclid_3.depv12024-08-03 10:19 24  
[ ]euclid_3__t4_euclid_3.depvmin12024-08-03 10:24 24  
[ ]euclid_3__t4_euclid_3.vmin12024-08-03 10:19 314  
[ ]euclid_3__t4_euclid_3.vmin1out2024-08-03 10:22 5.3K 
[ ]euclid_3__t4_euclid_3.vout2024-08-03 09:40 3.9K 
[ ]euclid_3__t5_euclid_32024-07-28 11:50 27K 
[ ]euclid_3__t5_euclid_3.vout2024-08-03 07:32 7.3K 
[ ]euclid_3__t6_euclid_32024-07-28 11:51 31K 
[ ]euclid_3__t6_euclid_3.depv12024-08-03 10:19 24  
[ ]euclid_3__t6_euclid_3.depvmin12024-08-03 10:24 24  
[ ]euclid_3__t6_euclid_3.vmin12024-08-03 10:19 517  
[ ]euclid_3__t6_euclid_3.vmin1out2024-08-03 10:23 5.3K 
[ ]euclid_3__t6_euclid_3.vout2024-08-03 09:18 8.0K 
[ ]euclid_3__t7_euclid_32024-07-28 11:53 28K 
[ ]euclid_3__t7_euclid_3.vout2024-08-03 07:18 6.2K 
[ ]euclid_3__t8_euclid_32024-07-28 11:55 66K 
[ ]euclid_3__t8_euclid_3.vout2024-08-03 06:23 5.8K 
[ ]euclid_3__t9_euclid_32024-07-28 11:56 128K 
[ ]euclid_3__t9_euclid_3.vout2024-08-03 08:06 5.8K 
[ ]euclid_3__t10_euclid_32024-07-28 11:58 27K 
[ ]euclid_3__t10_euclid_3.depv12024-08-03 10:19 26  
[ ]euclid_3__t10_euclid_3.depvmin12024-08-03 10:24 26  
[ ]euclid_3__t10_euclid_3.vmin12024-08-03 10:19 375  
[ ]euclid_3__t10_euclid_3.vmin1out2024-08-03 10:20 3.7K 
[ ]euclid_3__t10_euclid_3.vout2024-08-03 09:55 5.0K 
[ ]euclid_3__t11_euclid_32024-07-28 12:00 25K 
[ ]euclid_3__t11_euclid_3.depv12024-08-03 10:19 129  
[ ]euclid_3__t11_euclid_3.depvmin12024-08-03 10:24 129  
[ ]euclid_3__t11_euclid_3.vmin12024-08-03 10:19 1.1K 
[ ]euclid_3__t11_euclid_3.vmin1out2024-08-03 10:22 8.9K 
[ ]euclid_3__t11_euclid_3.vout2024-08-03 05:33 11K 
[ ]euclid_3__t12_euclid_32024-07-28 12:01 127K 
[ ]euclid_3__t12_euclid_3.depv12024-08-03 10:19 75  
[ ]euclid_3__t12_euclid_3.depvmin12024-08-03 10:24 75  
[ ]euclid_3__t12_euclid_3.vmin12024-08-03 10:19 1.0K 
[ ]euclid_3__t12_euclid_3.vmin1out2024-08-03 10:20 8.3K 
[ ]euclid_3__t12_euclid_3.vout2024-08-03 06:57 13K 
[ ]euclid_3__t13_euclid_32024-07-28 12:03 126K 
[ ]euclid_3__t13_euclid_3.vout2024-08-03 07:52 5.8K 
[ ]euclid_3__t14_euclid_32024-07-28 12:05 33K 
[ ]euclid_3__t14_euclid_3.vout2024-08-03 08:59 4.7K 
[ ]euclid_3__t15_euclid_32024-07-28 12:07 68K 
[ ]euclid_3__t15_euclid_3.vout2024-08-03 09:30 5.8K 
[ ]euclid_3__t16_euclid_32024-07-28 11:33 22K 
[ ]euclid_3__t16_euclid_3.depv12024-08-03 10:19 125  
[ ]euclid_3__t16_euclid_3.depvmin12024-08-03 10:24 125  
[ ]euclid_3__t16_euclid_3.vmin12024-08-03 10:19 669  
[ ]euclid_3__t16_euclid_3.vmin1out2024-08-03 10:22 4.5K 
[ ]euclid_3__t16_euclid_3.vout2024-08-03 04:48 5.6K 
[ ]euclid_3__t17_euclid_32024-07-28 11:34 63K 
[ ]euclid_3__t17_euclid_3.depv12024-08-03 10:19 89  
[ ]euclid_3__t17_euclid_3.depvmin12024-08-03 10:24 89  
[ ]euclid_3__t17_euclid_3.vmin12024-08-03 10:19 444  
[ ]euclid_3__t17_euclid_3.vmin1out2024-08-03 10:21 3.2K 
[ ]euclid_3__t17_euclid_3.vout2024-08-03 09:10 4.3K 
[ ]euclid_3__t18_euclid_32024-07-28 11:36 126K 
[ ]euclid_3__t18_euclid_3.depv12024-08-03 10:19 63  
[ ]euclid_3__t18_euclid_3.depvmin12024-08-03 10:24 63  
[ ]euclid_3__t18_euclid_3.vmin12024-08-03 10:19 417  
[ ]euclid_3__t18_euclid_3.vmin1out2024-08-03 10:20 4.7K 
[ ]euclid_3__t18_euclid_3.vout2024-08-03 05:52 3.8K 
[ ]euclid_3__t19_euclid_32024-07-28 12:08 66K 
[ ]euclid_3__t19_euclid_3.vout2024-08-03 05:45 4.7K 
[ ]euclid_3__t20_euclid_32024-07-28 12:10 126K 
[ ]euclid_3__t20_euclid_3.vout2024-08-03 06:16 4.7K 
[ ]euclid_3__t21_euclid_32024-07-28 12:12 125K 
[ ]euclid_3__t21_euclid_3.depv12024-08-03 10:19 132  
[ ]euclid_3__t21_euclid_3.depvmin12024-08-03 10:24 107  
[ ]euclid_3__t21_euclid_3.vmin12024-08-03 10:19 1.2K 
[ ]euclid_3__t21_euclid_3.vmin1out2024-08-03 10:20 9.2K 
[ ]euclid_3__t21_euclid_3.vout2024-08-03 07:57 12K 
[ ]euclid_3__t22_euclid_32024-07-28 12:13 27K 
[ ]euclid_3__t22_euclid_3.vout2024-08-03 05:49 8.4K 
[ ]euclid_3__t23_euclid_32024-07-28 11:38 23K 
[ ]euclid_3__t23_euclid_3.depv12024-08-03 10:19 14  
[ ]euclid_3__t23_euclid_3.depvmin12024-08-03 10:24 14  
[ ]euclid_3__t23_euclid_3.vmin12024-08-03 10:19 202  
[ ]euclid_3__t23_euclid_3.vmin1out2024-08-03 10:21 2.9K 
[ ]euclid_3__t23_euclid_3.vout2024-08-03 05:21 2.9K 
[ ]euclid_3__t24_euclid_32024-07-28 12:15 27K 
[ ]euclid_3__t24_euclid_3.depv12024-08-03 10:19 105  
[ ]euclid_3__t24_euclid_3.depvmin12024-08-03 10:24 105  
[ ]euclid_3__t24_euclid_3.vmin12024-08-03 10:19 1.1K 
[ ]euclid_3__t24_euclid_3.vmin1out2024-08-03 10:21 8.4K 
[ ]euclid_3__t24_euclid_3.vout2024-08-03 07:38 12K 
[ ]euclid_3__t25_euclid_32024-07-28 12:17 65K 
[ ]euclid_3__t25_euclid_3.depv12024-08-03 10:19 38  
[ ]euclid_3__t25_euclid_3.depvmin12024-08-03 10:24 38  
[ ]euclid_3__t25_euclid_3.vmin12024-08-03 10:19 618  
[ ]euclid_3__t25_euclid_3.vmin1out2024-08-03 10:21 4.5K 
[ ]euclid_3__t25_euclid_3.vout2024-08-03 04:45 7.2K 
[ ]euclid_3__t26_euclid_32024-07-28 12:18 63K 
[ ]euclid_3__t26_euclid_3.depv12024-08-03 10:19 50  
[ ]euclid_3__t26_euclid_3.depvmin12024-08-03 10:24 50  
[ ]euclid_3__t26_euclid_3.vmin12024-08-03 10:19 526  
[ ]euclid_3__t26_euclid_3.vmin1out2024-08-03 10:21 5.6K 
[ ]euclid_3__t26_euclid_3.vout2024-08-03 08:01 7.3K 
[ ]euclid_3__t27_euclid_32024-07-28 12:20 129K 
[ ]euclid_3__t27_euclid_3.depv12024-08-03 10:19 103  
[ ]euclid_3__t27_euclid_3.depvmin12024-08-03 10:24 103  
[ ]euclid_3__t27_euclid_3.vmin12024-08-03 10:19 1.3K 
[ ]euclid_3__t27_euclid_3.vmin1out2024-08-03 10:20 15K 
[ ]euclid_3__t27_euclid_3.vout2024-08-03 08:12 14K 
[ ]euclid_3__t28_euclid_32024-07-28 11:39 131K 
[ ]euclid_3__t28_euclid_3.depv12024-08-03 10:19 263  
[ ]euclid_3__t28_euclid_3.depvmin12024-08-03 10:24 263  
[ ]euclid_3__t28_euclid_3.vmin12024-08-03 10:19 1.5K 
[ ]euclid_3__t28_euclid_3.vmin1out2024-08-03 10:21 10K 
[ ]euclid_3__t28_euclid_3.vout2024-08-03 06:19 11K 
[ ]euclid_3__t29_euclid_32024-07-28 12:22 135K 
[ ]euclid_3__t29_euclid_3.depv12024-08-03 10:19 348  
[ ]euclid_3__t29_euclid_3.depvmin12024-08-03 10:24 239  
[ ]euclid_3__t29_euclid_3.vmin12024-08-03 10:19 3.3K 
[ ]euclid_3__t29_euclid_3.vmin1out2024-08-03 10:21 23K 
[ ]euclid_3__t29_euclid_3.vout2024-08-03 10:03 44K 
[ ]euclid_3__t30_euclid_32024-07-28 12:24 70K 
[ ]euclid_3__t30_euclid_3.depv12024-08-03 10:19 315  
[ ]euclid_3__t30_euclid_3.depvmin12024-08-03 10:24 289  
[ ]euclid_3__t30_euclid_3.vmin12024-08-03 10:19 2.5K 
[ ]euclid_3__t30_euclid_3.vmin1out2024-08-03 10:22 20K 
[ ]euclid_3__t30_euclid_3.vout2024-08-03 08:43 30K 
[ ]euclid_3__t31_euclid_32024-07-28 12:26 135K 
[ ]euclid_3__t31_euclid_3.depv12024-08-03 10:19 239  
[ ]euclid_3__t31_euclid_3.depvmin12024-08-03 10:24 239  
[ ]euclid_3__t31_euclid_3.vmin12024-08-03 10:19 1.9K 
[ ]euclid_3__t31_euclid_3.vmin1out2024-08-03 10:21 21K 
[ ]euclid_3__t31_euclid_3.vout2024-08-03 07:08 24K 
[ ]euclid_3__t32_euclid_32024-07-28 12:28 71K 
[ ]euclid_3__t32_euclid_3.vout2024-08-03 05:06 5.8K 
[ ]euclid_3__t33_euclid_32024-07-28 12:30 132K 
[ ]euclid_3__t33_euclid_3.depv12024-08-03 10:19 168  
[ ]euclid_3__t33_euclid_3.depvmin12024-08-03 10:24 168  
[ ]euclid_3__t33_euclid_3.vmin12024-08-03 10:19 1.4K 
[ ]euclid_3__t33_euclid_3.vmin1out2024-08-03 10:22 13K 
[ ]euclid_3__t33_euclid_3.vout2024-08-03 09:49 18K 
[ ]euclid_3__t34_euclid_32024-07-28 12:32 69K 
[ ]euclid_3__t34_euclid_3.vout2024-08-03 04:54 5.8K 
[ ]euclid_3__t35_euclid_32024-07-28 12:34 131K 
[ ]euclid_3__t35_euclid_3.vout2024-08-03 06:46 5.8K 
[ ]euclid_3__t36_euclid_32024-07-28 12:35 130K 
[ ]euclid_3__t36_euclid_3.vout2024-08-03 09:18 5.8K 
[ ]euclid_3__t37_euclid_32024-07-28 12:37 63K 
[ ]euclid_3__t37_euclid_3.vout2024-08-03 09:04 7.3K 
[ ]euclid_3__t38_euclid_32024-07-28 12:39 63K 
[ ]euclid_3__t38_euclid_3.vout2024-08-03 08:11 7.4K 
[ ]euclid_3__t39_euclid_32024-07-28 12:39 48K 
[ ]euclid_3__t39_euclid_3.vout2024-08-03 04:39 2.0K 
[ ]euclid_3__t40_euclid_32024-07-28 12:40 48K 
[ ]euclid_3__t40_euclid_3.vout2024-08-03 04:32 2.0K 
[ ]euclid_3__t41_euclid_32024-07-28 12:42 299K 
[ ]euclid_3__t41_euclid_3.vout2024-08-03 04:22 5.3K 
[ ]euclid_3__t42_euclid_32024-07-28 12:44 127K 
[ ]euclid_3__t42_euclid_3.vout2024-08-03 10:11 7.3K 
[ ]euclid_3__t43_euclid_32024-07-28 12:46 204K 
[ ]euclid_3__t43_euclid_3.vout2024-08-03 09:54 4.7K 
[ ]euclid_3__t44_euclid_32024-07-28 12:48 208K 
[ ]euclid_3__t44_euclid_3.vout2024-08-03 10:01 4.7K 
[ ]euclid_3__t45_euclid_32024-07-28 12:50 208K 
[ ]euclid_3__t45_euclid_3.vout2024-08-03 04:56 4.7K 
[ ]euclid_3__t46_euclid_32024-07-28 12:52 208K 
[ ]euclid_3__t46_euclid_3.vout2024-08-03 09:28 4.7K 
[ ]euclid_3__t47_euclid_32024-07-28 12:54 132K 
[ ]euclid_3__t47_euclid_3.vout2024-08-03 08:14 5.3K 
[ ]euclid_3__t48_euclid_32024-07-28 12:55 50K 
[ ]euclid_3__t48_euclid_3.vout2024-08-03 07:43 7.3K 
[ ]euclid_3__t49_euclid_32024-07-28 12:57 44K 
[ ]euclid_3__t49_euclid_3.vout2024-08-03 07:05 3.7K 
[ ]euclid_3__t50_euclid_32024-07-28 12:59 30K 
[ ]euclid_3__t50_euclid_3.vout2024-08-03 04:57 5.8K 
[ ]euclid_3__t51_euclid_32024-07-28 13:01 58K 
[ ]euclid_3__t51_euclid_3.vout2024-08-03 05:02 6.8K 
[ ]euclid_3__t52_euclid_32024-07-28 13:03 43K 
[ ]euclid_3__t52_euclid_3.vout2024-08-03 06:13 6.8K 
[ ]euclid_3__t53_euclid_32024-07-28 13:13 44K 
[ ]euclid_3__t53_euclid_3.vout2024-08-03 05:36 5.3K 
[ ]euclid_3__t55_euclid_32024-07-28 13:05 58K 
[ ]euclid_3__t55_euclid_3.vout2024-08-03 09:49 7.3K 
[ ]euclid_3__t56_euclid_32024-07-28 13:07 58K 
[ ]euclid_3__t56_euclid_3.vout2024-08-03 10:04 7.3K 
[ ]euclid_3__t57_euclid_32024-07-28 11:41 40K 
[ ]euclid_3__t57_euclid_3.depv12024-08-03 10:19 102  
[ ]euclid_3__t57_euclid_3.depvmin12024-08-03 10:24 102  
[ ]euclid_3__t57_euclid_3.vmin12024-08-03 10:19 1.9K 
[ ]euclid_3__t57_euclid_3.vmin1out2024-08-03 10:23 62K 
[ ]euclid_3__t57_euclid_3.vout2024-08-03 09:26 66K 
[ ]euclid_3__t58_euclid_32024-07-28 13:09 65K 
[ ]euclid_3__t58_euclid_3.vout2024-08-03 08:48 3.7K 
[ ]euclid_3__t59_euclid_32024-07-28 13:12 68K 
[ ]euclid_3__t59_euclid_3.vout2024-08-03 08:56 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80