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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_3__t1_euclid_32021-07-17 19:11 115K 
[ ]euclid_3__t1_euclid_3.depv12021-07-25 20:57 142  
[ ]euclid_3__t1_euclid_3.depvmin12021-07-25 21:03 117  
[ ]euclid_3__t1_euclid_3.vmin12021-07-25 20:57 1.1K 
[ ]euclid_3__t1_euclid_3.vmin1out2021-07-25 21:01 9.2K 
[ ]euclid_3__t1_euclid_3.vout2021-07-25 15:13 13K 
[ ]euclid_3__t2_euclid_32021-07-17 19:12 60K 
[ ]euclid_3__t2_euclid_3.depv12021-07-25 20:57 141  
[ ]euclid_3__t2_euclid_3.depvmin12021-07-25 21:03 116  
[ ]euclid_3__t2_euclid_3.vmin12021-07-25 20:57 1.2K 
[ ]euclid_3__t2_euclid_3.vmin1out2021-07-25 21:00 9.1K 
[ ]euclid_3__t2_euclid_3.vout2021-07-25 19:52 13K 
[ ]euclid_3__t3_euclid_32021-07-17 19:12 60K 
[ ]euclid_3__t3_euclid_3.depv12021-07-25 20:57 24  
[ ]euclid_3__t3_euclid_3.depvmin12021-07-25 21:03 24  
[ ]euclid_3__t3_euclid_3.vmin12021-07-25 20:57 230  
[ ]euclid_3__t3_euclid_3.vmin1out2021-07-25 20:59 4.0K 
[ ]euclid_3__t3_euclid_3.vout2021-07-25 15:19 3.3K 
[ ]euclid_3__t4_euclid_32021-07-17 19:13 115K 
[ ]euclid_3__t4_euclid_3.depv12021-07-25 20:57 24  
[ ]euclid_3__t4_euclid_3.depvmin12021-07-25 21:03 24  
[ ]euclid_3__t4_euclid_3.vmin12021-07-25 20:57 314  
[ ]euclid_3__t4_euclid_3.vmin1out2021-07-25 20:58 5.3K 
[ ]euclid_3__t4_euclid_3.vout2021-07-25 18:53 3.9K 
[ ]euclid_3__t5_euclid_32021-07-17 19:13 26K 
[ ]euclid_3__t5_euclid_3.vout2021-07-25 17:03 7.3K 
[ ]euclid_3__t6_euclid_32021-07-17 19:14 30K 
[ ]euclid_3__t6_euclid_3.depv12021-07-25 20:57 24  
[ ]euclid_3__t6_euclid_3.depvmin12021-07-25 21:03 24  
[ ]euclid_3__t6_euclid_3.vmin12021-07-25 20:57 517  
[ ]euclid_3__t6_euclid_3.vmin1out2021-07-25 21:02 5.3K 
[ ]euclid_3__t6_euclid_3.vout2021-07-25 15:55 8.0K 
[ ]euclid_3__t7_euclid_32021-07-17 19:15 26K 
[ ]euclid_3__t7_euclid_3.vout2021-07-25 17:59 6.2K 
[ ]euclid_3__t8_euclid_32021-07-17 19:15 64K 
[ ]euclid_3__t8_euclid_3.vout2021-07-25 15:56 5.8K 
[ ]euclid_3__t9_euclid_32021-07-17 19:16 118K 
[ ]euclid_3__t9_euclid_3.vout2021-07-25 16:38 5.8K 
[ ]euclid_3__t10_euclid_32021-07-17 19:16 26K 
[ ]euclid_3__t10_euclid_3.depv12021-07-25 20:57 26  
[ ]euclid_3__t10_euclid_3.depvmin12021-07-25 21:03 26  
[ ]euclid_3__t10_euclid_3.vmin12021-07-25 20:57 375  
[ ]euclid_3__t10_euclid_3.vmin1out2021-07-25 21:00 3.7K 
[ ]euclid_3__t10_euclid_3.vout2021-07-25 15:26 4.9K 
[ ]euclid_3__t11_euclid_32021-07-17 19:17 23K 
[ ]euclid_3__t11_euclid_3.depv12021-07-25 20:57 129  
[ ]euclid_3__t11_euclid_3.depvmin12021-07-25 21:03 129  
[ ]euclid_3__t11_euclid_3.vmin12021-07-25 20:57 1.1K 
[ ]euclid_3__t11_euclid_3.vmin1out2021-07-25 21:00 8.9K 
[ ]euclid_3__t11_euclid_3.vout2021-07-25 15:27 11K 
[ ]euclid_3__t12_euclid_32021-07-17 19:18 116K 
[ ]euclid_3__t12_euclid_3.depv12021-07-25 20:57 75  
[ ]euclid_3__t12_euclid_3.depvmin12021-07-25 21:03 75  
[ ]euclid_3__t12_euclid_3.vmin12021-07-25 20:57 1.0K 
[ ]euclid_3__t12_euclid_3.vmin1out2021-07-25 20:58 8.3K 
[ ]euclid_3__t12_euclid_3.vout2021-07-25 16:37 16K 
[ ]euclid_3__t13_euclid_32021-07-17 19:18 116K 
[ ]euclid_3__t13_euclid_3.vout2021-07-25 15:44 5.8K 
[ ]euclid_3__t14_euclid_32021-07-17 19:19 32K 
[ ]euclid_3__t14_euclid_3.vout2021-07-25 18:20 4.7K 
[ ]euclid_3__t15_euclid_32021-07-17 19:20 66K 
[ ]euclid_3__t15_euclid_3.vout2021-07-25 15:16 5.8K 
[ ]euclid_3__t16_euclid_32021-07-17 19:07 21K 
[ ]euclid_3__t16_euclid_3.depv12021-07-25 20:57 125  
[ ]euclid_3__t16_euclid_3.depvmin12021-07-25 21:03 125  
[ ]euclid_3__t16_euclid_3.vmin12021-07-25 20:57 669  
[ ]euclid_3__t16_euclid_3.vmin1out2021-07-25 21:02 4.5K 
[ ]euclid_3__t16_euclid_3.vout2021-07-25 19:51 5.6K 
[ ]euclid_3__t17_euclid_32021-07-17 19:08 61K 
[ ]euclid_3__t17_euclid_3.depv12021-07-25 20:57 89  
[ ]euclid_3__t17_euclid_3.depvmin12021-07-25 21:03 89  
[ ]euclid_3__t17_euclid_3.vmin12021-07-25 20:57 444  
[ ]euclid_3__t17_euclid_3.vmin1out2021-07-25 21:02 3.2K 
[ ]euclid_3__t17_euclid_3.vout2021-07-25 20:13 4.3K 
[ ]euclid_3__t18_euclid_32021-07-17 19:09 115K 
[ ]euclid_3__t18_euclid_3.depv12021-07-25 20:57 63  
[ ]euclid_3__t18_euclid_3.depvmin12021-07-25 21:03 63  
[ ]euclid_3__t18_euclid_3.vmin12021-07-25 20:57 417  
[ ]euclid_3__t18_euclid_3.vmin1out2021-07-25 21:02 4.7K 
[ ]euclid_3__t18_euclid_3.vout2021-07-25 18:25 3.8K 
[ ]euclid_3__t19_euclid_32021-07-17 19:20 64K 
[ ]euclid_3__t19_euclid_3.vout2021-07-25 18:22 4.7K 
[ ]euclid_3__t20_euclid_32021-07-17 19:21 116K 
[ ]euclid_3__t20_euclid_3.vout2021-07-25 14:58 4.7K 
[ ]euclid_3__t21_euclid_32021-07-17 19:21 115K 
[ ]euclid_3__t21_euclid_3.depv12021-07-25 20:57 132  
[ ]euclid_3__t21_euclid_3.depvmin12021-07-25 21:03 107  
[ ]euclid_3__t21_euclid_3.vmin12021-07-25 20:57 1.2K 
[ ]euclid_3__t21_euclid_3.vmin1out2021-07-25 21:01 9.2K 
[ ]euclid_3__t21_euclid_3.vout2021-07-25 19:33 12K 
[ ]euclid_3__t22_euclid_32021-07-17 19:22 26K 
[ ]euclid_3__t22_euclid_3.vout2021-07-25 15:40 7.9K 
[ ]euclid_3__t23_euclid_32021-07-17 19:09 22K 
[ ]euclid_3__t23_euclid_3.depv12021-07-25 20:57 14  
[ ]euclid_3__t23_euclid_3.depvmin12021-07-25 21:03 14  
[ ]euclid_3__t23_euclid_3.vmin12021-07-25 20:57 202  
[ ]euclid_3__t23_euclid_3.vmin1out2021-07-25 20:57 2.9K 
[ ]euclid_3__t23_euclid_3.vout2021-07-25 16:23 2.9K 
[ ]euclid_3__t24_euclid_32021-07-17 19:23 25K 
[ ]euclid_3__t24_euclid_3.depv12021-07-25 20:57 105  
[ ]euclid_3__t24_euclid_3.depvmin12021-07-25 21:03 105  
[ ]euclid_3__t24_euclid_3.vmin12021-07-25 20:57 1.1K 
[ ]euclid_3__t24_euclid_3.vmin1out2021-07-25 20:58 8.4K 
[ ]euclid_3__t24_euclid_3.vout2021-07-25 14:31 12K 
[ ]euclid_3__t25_euclid_32021-07-17 19:23 62K 
[ ]euclid_3__t25_euclid_3.depv12021-07-25 20:57 38  
[ ]euclid_3__t25_euclid_3.depvmin12021-07-25 21:03 38  
[ ]euclid_3__t25_euclid_3.vmin12021-07-25 20:57 618  
[ ]euclid_3__t25_euclid_3.vmin1out2021-07-25 21:00 4.5K 
[ ]euclid_3__t25_euclid_3.vout2021-07-25 19:12 7.2K 
[ ]euclid_3__t26_euclid_32021-07-17 19:24 60K 
[ ]euclid_3__t26_euclid_3.depv12021-07-25 20:57 50  
[ ]euclid_3__t26_euclid_3.depvmin12021-07-25 21:03 50  
[ ]euclid_3__t26_euclid_3.vmin12021-07-25 20:57 526  
[ ]euclid_3__t26_euclid_3.vmin1out2021-07-25 21:02 5.6K 
[ ]euclid_3__t26_euclid_3.vout2021-07-25 15:16 7.3K 
[ ]euclid_3__t27_euclid_32021-07-17 19:24 118K 
[ ]euclid_3__t27_euclid_3.depv12021-07-25 20:57 103  
[ ]euclid_3__t27_euclid_3.depvmin12021-07-25 21:03 103  
[ ]euclid_3__t27_euclid_3.vmin12021-07-25 20:57 1.3K 
[ ]euclid_3__t27_euclid_3.vmin1out2021-07-25 20:59 15K 
[ ]euclid_3__t27_euclid_3.vout2021-07-25 17:02 14K 
[ ]euclid_3__t28_euclid_32021-07-17 19:10 121K 
[ ]euclid_3__t28_euclid_3.depv12021-07-25 20:57 263  
[ ]euclid_3__t28_euclid_3.depvmin12021-07-25 21:03 263  
[ ]euclid_3__t28_euclid_3.vmin12021-07-25 20:57 1.5K 
[ ]euclid_3__t28_euclid_3.vmin1out2021-07-25 21:00 10K 
[ ]euclid_3__t28_euclid_3.vout2021-07-25 19:47 11K 
[ ]euclid_3__t29_euclid_32021-07-17 19:25 124K 
[ ]euclid_3__t29_euclid_3.depv12021-07-25 20:57 348  
[ ]euclid_3__t29_euclid_3.depvmin12021-07-25 21:03 239  
[ ]euclid_3__t29_euclid_3.vmin12021-07-25 20:57 3.3K 
[ ]euclid_3__t29_euclid_3.vmin1out2021-07-25 21:00 23K 
[ ]euclid_3__t29_euclid_3.vout2021-07-25 14:48 44K 
[ ]euclid_3__t30_euclid_32021-07-17 19:26 68K 
[ ]euclid_3__t30_euclid_3.depv12021-07-25 20:57 315  
[ ]euclid_3__t30_euclid_3.depvmin12021-07-25 21:03 289  
[ ]euclid_3__t30_euclid_3.vmin12021-07-25 20:57 2.5K 
[ ]euclid_3__t30_euclid_3.vmin1out2021-07-25 21:00 20K 
[ ]euclid_3__t30_euclid_3.vout2021-07-25 16:03 30K 
[ ]euclid_3__t31_euclid_32021-07-17 19:26 124K 
[ ]euclid_3__t31_euclid_3.depv12021-07-25 20:57 239  
[ ]euclid_3__t31_euclid_3.depvmin12021-07-25 21:03 239  
[ ]euclid_3__t31_euclid_3.vmin12021-07-25 20:57 1.9K 
[ ]euclid_3__t31_euclid_3.vmin1out2021-07-25 20:59 21K 
[ ]euclid_3__t31_euclid_3.vout2021-07-25 16:42 24K 
[ ]euclid_3__t32_euclid_32021-07-17 19:27 69K 
[ ]euclid_3__t32_euclid_3.vout2021-07-25 14:31 5.8K 
[ ]euclid_3__t33_euclid_32021-07-17 19:28 121K 
[ ]euclid_3__t33_euclid_3.depv12021-07-25 20:57 168  
[ ]euclid_3__t33_euclid_3.depvmin12021-07-25 21:03 168  
[ ]euclid_3__t33_euclid_3.vmin12021-07-25 20:57 1.4K 
[ ]euclid_3__t33_euclid_3.vmin1out2021-07-25 21:02 13K 
[ ]euclid_3__t33_euclid_3.vout2021-07-25 15:13 18K 
[ ]euclid_3__t34_euclid_32021-07-17 19:28 67K 
[ ]euclid_3__t34_euclid_3.vout2021-07-25 14:23 5.8K 
[ ]euclid_3__t35_euclid_32021-07-17 19:29 120K 
[ ]euclid_3__t35_euclid_3.vout2021-07-25 15:38 5.3K 
[ ]euclid_3__t36_euclid_32021-07-17 19:30 120K 
[ ]euclid_3__t36_euclid_3.vout2021-07-25 14:39 5.3K 
[ ]euclid_3__t37_euclid_32021-07-17 19:30 61K 
[ ]euclid_3__t37_euclid_3.vout2021-07-25 20:56 7.3K 
[ ]euclid_3__t38_euclid_32021-07-17 19:31 61K 
[ ]euclid_3__t38_euclid_3.vout2021-07-25 17:08 7.3K 
[ ]euclid_3__t39_euclid_32021-07-17 19:31 47K 
[ ]euclid_3__t39_euclid_3.vout2021-07-25 20:55 2.0K 
[ ]euclid_3__t40_euclid_32021-07-17 19:32 47K 
[ ]euclid_3__t40_euclid_3.vout2021-07-25 15:37 2.0K 
[ ]euclid_3__t41_euclid_32021-07-17 19:32 261K 
[ ]euclid_3__t41_euclid_3.vout2021-07-25 16:46 5.8K 
[ ]euclid_3__t42_euclid_32021-07-17 19:33 116K 
[ ]euclid_3__t42_euclid_3.vout2021-07-25 18:00 7.3K 
[ ]euclid_3__t43_euclid_32021-07-17 19:34 191K 
[ ]euclid_3__t43_euclid_3.vout2021-07-25 14:27 4.7K 
[ ]euclid_3__t44_euclid_32021-07-17 19:34 196K 
[ ]euclid_3__t44_euclid_3.vout2021-07-25 20:34 4.7K 
[ ]euclid_3__t45_euclid_32021-07-17 19:35 196K 
[ ]euclid_3__t45_euclid_3.vout2021-07-25 18:01 4.7K 
[ ]euclid_3__t46_euclid_32021-07-17 19:36 195K 
[ ]euclid_3__t46_euclid_3.vout2021-07-25 17:33 4.7K 
[ ]euclid_3__t47_euclid_32021-07-17 19:36 122K 
[ ]euclid_3__t47_euclid_3.vout2021-07-25 15:37 5.3K 
[ ]euclid_3__t48_euclid_32021-07-17 19:37 49K 
[ ]euclid_3__t48_euclid_3.vout2021-07-25 19:27 7.3K 
[ ]euclid_3__t49_euclid_32021-07-17 19:38 43K 
[ ]euclid_3__t49_euclid_3.vout2021-07-25 17:05 3.7K 
[ ]euclid_3__t50_euclid_32021-07-17 19:38 28K 
[ ]euclid_3__t50_euclid_3.vout2021-07-25 20:13 5.8K 
[ ]euclid_3__t51_euclid_32021-07-17 19:39 57K 
[ ]euclid_3__t51_euclid_3.vout2021-07-25 15:39 6.8K 
[ ]euclid_3__t52_euclid_32021-07-17 19:40 41K 
[ ]euclid_3__t52_euclid_3.vout2021-07-25 17:50 6.8K 
[ ]euclid_3__t53_euclid_32021-07-17 19:44 43K 
[ ]euclid_3__t53_euclid_3.vout2021-07-25 15:58 5.3K 
[ ]euclid_3__t55_euclid_32021-07-17 19:40 57K 
[ ]euclid_3__t55_euclid_3.vout2021-07-25 18:49 7.3K 
[ ]euclid_3__t56_euclid_32021-07-17 19:41 56K 
[ ]euclid_3__t56_euclid_3.vout2021-07-25 15:12 7.3K 
[ ]euclid_3__t57_euclid_32021-07-17 19:10 39K 
[ ]euclid_3__t57_euclid_3.depv12021-07-25 20:57 102  
[ ]euclid_3__t57_euclid_3.depvmin12021-07-25 21:03 102  
[ ]euclid_3__t57_euclid_3.vmin12021-07-25 20:57 1.9K 
[ ]euclid_3__t57_euclid_3.vmin1out2021-07-25 20:59 62K 
[ ]euclid_3__t57_euclid_3.vout2021-07-25 18:58 66K 
[ ]euclid_3__t58_euclid_32021-07-17 19:42 63K 
[ ]euclid_3__t58_euclid_3.vout2021-07-25 15:52 3.7K 
[ ]euclid_3__t59_euclid_32021-07-17 19:43 66K 
[ ]euclid_3__t59_euclid_3.vout2021-07-25 15:35 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80