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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_7__l3_euclid_72024-07-26 17:17 38K 
[ ]euclid_7__l3_euclid_7.depv12024-08-03 10:19 24  
[ ]euclid_7__l3_euclid_7.depvmin12024-08-03 10:24 24  
[ ]euclid_7__l3_euclid_7.vmin12024-08-03 10:19 491  
[ ]euclid_7__l3_euclid_7.vmin1out2024-08-03 10:20 5.5K 
[ ]euclid_7__l3_euclid_7.vout2024-08-03 06:53 5.7K 
[ ]euclid_7__l7_euclid_72024-07-26 18:59 33K 
[ ]euclid_7__l7_euclid_7.vout2024-08-03 05:38 7.9K 
[ ]euclid_7__l40_euclid_72024-07-26 17:18 25K 
[ ]euclid_7__l40_euclid_7.depv12024-08-03 10:19 109  
[ ]euclid_7__l40_euclid_7.depvmin12024-08-03 10:24 96  
[ ]euclid_7__l40_euclid_7.vmin12024-08-03 10:19 480  
[ ]euclid_7__l40_euclid_7.vmin1out2024-08-03 10:21 3.4K 
[ ]euclid_7__l40_euclid_7.vout2024-08-03 07:51 3.9K 
[ ]euclid_7__l54_euclid_72024-07-26 19:02 59K 
[ ]euclid_7__l54_euclid_7.depv12024-08-03 10:19 176  
[ ]euclid_7__l54_euclid_7.depvmin12024-08-03 10:24 90  
[ ]euclid_7__l54_euclid_7.vmin12024-08-03 10:19 1.9K 
[ ]euclid_7__l54_euclid_7.vmin1out2024-08-03 10:23 15K 
[ ]euclid_7__l54_euclid_7.vout2024-08-03 05:08 24K 
[ ]euclid_7__l58_euclid_72024-07-26 19:04 55K 
[ ]euclid_7__l58_euclid_7.vout2024-08-03 08:39 4.2K 
[ ]euclid_7__t2_euclid_72024-07-26 17:20 37K 
[ ]euclid_7__t2_euclid_7.depv12024-08-03 10:19 51  
[ ]euclid_7__t2_euclid_7.depvmin12024-08-03 10:24 51  
[ ]euclid_7__t2_euclid_7.vmin12024-08-03 10:19 481  
[ ]euclid_7__t2_euclid_7.vmin1out2024-08-03 10:22 4.3K 
[ ]euclid_7__t2_euclid_7.vout2024-08-03 07:50 6.6K 
[ ]euclid_7__t3_euclid_72024-07-26 17:21 54K 
[ ]euclid_7__t3_euclid_7.vout2024-08-03 06:22 8.4K 
[ ]euclid_7__t4_euclid_72024-07-26 17:11 40K 
[ ]euclid_7__t4_euclid_7.depv12024-08-03 10:19 222  
[ ]euclid_7__t4_euclid_7.depvmin12024-08-03 10:24 209  
[ ]euclid_7__t4_euclid_7.vmin12024-08-03 10:19 1.4K 
[ ]euclid_7__t4_euclid_7.vmin1out2024-08-03 10:20 15K 
[ ]euclid_7__t4_euclid_7.vout2024-08-03 04:40 14K 
[ ]euclid_7__t5_euclid_72024-07-26 17:23 55K 
[ ]euclid_7__t5_euclid_7.vout2024-08-03 07:43 7.3K 
[ ]euclid_7__t6_euclid_72024-07-26 17:24 44K 
[ ]euclid_7__t6_euclid_7.vout2024-08-03 08:21 2.0K 
[ ]euclid_7__t7_euclid_72024-07-26 17:25 30K 
[ ]euclid_7__t7_euclid_7.depv12024-08-03 10:19 102  
[ ]euclid_7__t7_euclid_7.depvmin12024-08-03 10:24 102  
[ ]euclid_7__t7_euclid_7.vmin12024-08-03 10:19 1.3K 
[ ]euclid_7__t7_euclid_7.vmin1out2024-08-03 10:22 17K 
[ ]euclid_7__t7_euclid_7.vout2024-08-03 06:16 19K 
[ ]euclid_7__t8_euclid_72024-07-26 17:27 33K 
[ ]euclid_7__t8_euclid_7.vout2024-08-03 10:16 2.0K 
[ ]euclid_7__t9_euclid_72024-07-26 17:28 50K 
[ ]euclid_7__t9_euclid_7.vout2024-08-03 08:42 7.3K 
[ ]euclid_7__t10_euclid_72024-07-26 17:30 43K 
[ ]euclid_7__t10_euclid_7.vout2024-08-03 08:01 2.0K 
[ ]euclid_7__t11_euclid_72024-07-26 17:31 41K 
[ ]euclid_7__t11_euclid_7.depv12024-08-03 10:19 98  
[ ]euclid_7__t11_euclid_7.depvmin12024-08-03 10:24 98  
[ ]euclid_7__t11_euclid_7.vmin12024-08-03 10:19 1.0K 
[ ]euclid_7__t11_euclid_7.vmin1out2024-08-03 10:22 8.3K 
[ ]euclid_7__t11_euclid_7.vout2024-08-03 05:44 7.9K 
[ ]euclid_7__t12_euclid_72024-07-26 17:33 48K 
[ ]euclid_7__t12_euclid_7.depv12024-08-03 10:19 410  
[ ]euclid_7__t12_euclid_7.depvmin12024-08-03 10:24 397  
[ ]euclid_7__t12_euclid_7.vmin12024-08-03 10:19 3.8K 
[ ]euclid_7__t12_euclid_7.vmin1out2024-08-03 10:22 31K 
[ ]euclid_7__t12_euclid_7.vout2024-08-03 09:27 41K 
[ ]euclid_7__t13_euclid_72024-07-26 17:34 45K 
[ ]euclid_7__t13_euclid_7.depv12024-08-03 10:19 183  
[ ]euclid_7__t13_euclid_7.depvmin12024-08-03 10:24 155  
[ ]euclid_7__t13_euclid_7.vmin12024-08-03 10:19 2.0K 
[ ]euclid_7__t13_euclid_7.vmin1out2024-08-03 10:23 31K 
[ ]euclid_7__t13_euclid_7.vout2024-08-03 09:57 56K 
[ ]euclid_7__t14_euclid_72024-07-26 17:36 69K 
[ ]euclid_7__t14_euclid_7.vout2024-08-03 04:08 6.8K 
[ ]euclid_7__t15_euclid_72024-07-26 17:37 43K 
[ ]euclid_7__t15_euclid_7.depv12024-08-03 10:19 37  
[ ]euclid_7__t15_euclid_7.depvmin12024-08-03 10:24 37  
[ ]euclid_7__t15_euclid_7.vmin12024-08-03 10:19 934  
[ ]euclid_7__t15_euclid_7.vmin1out2024-08-03 10:23 25K 
[ ]euclid_7__t15_euclid_7.vout2024-08-03 06:59 22K 
[ ]euclid_7__t16_euclid_72024-07-26 17:13 49K 
[ ]euclid_7__t16_euclid_7.vout2024-08-03 08:40 6.2K 
[ ]euclid_7__t17_euclid_72024-07-26 17:39 52K 
[ ]euclid_7__t17_euclid_7.depv12024-08-03 10:19 39  
[ ]euclid_7__t17_euclid_7.depvmin12024-08-03 10:24 39  
[ ]euclid_7__t17_euclid_7.vmin12024-08-03 10:19 512  
[ ]euclid_7__t17_euclid_7.vmin1out2024-08-03 10:21 5.3K 
[ ]euclid_7__t17_euclid_7.vout2024-08-03 09:56 5.6K 
[ ]euclid_7__t18_euclid_72024-07-26 17:40 60K 
[ ]euclid_7__t18_euclid_7.vout2024-08-03 04:41 7.4K 
[ ]euclid_7__t19_euclid_72024-07-26 17:43 78K 
[ ]euclid_7__t19_euclid_7.vout2024-08-03 09:09 3.7K 
[ ]euclid_7__t20_euclid_72024-07-26 17:45 50K 
[ ]euclid_7__t20_euclid_7.depv12024-08-03 10:19 196  
[ ]euclid_7__t20_euclid_7.depvmin12024-08-03 10:24 196  
[ ]euclid_7__t20_euclid_7.vmin12024-08-03 10:19 1.9K 
[ ]euclid_7__t20_euclid_7.vmin1out2024-08-03 10:20 22K 
[ ]euclid_7__t20_euclid_7.vout2024-08-03 06:05 34K 
[ ]euclid_7__t21_euclid_72024-07-26 17:47 150K 
[ ]euclid_7__t21_euclid_7.vout2024-08-03 04:51 3.7K 
[ ]euclid_7__t22_euclid_72024-07-26 17:49 74K 
[ ]euclid_7__t22_euclid_7.vout2024-08-03 06:11 3.7K 
[ ]euclid_7__t23_euclid_72024-07-26 17:52 195K 
[ ]euclid_7__t23_euclid_7.vout2024-08-03 07:00 3.7K 
[ ]euclid_7__t24_euclid_72024-07-26 17:54 69K 
[ ]euclid_7__t24_euclid_7.vout2024-08-03 06:46 3.7K 
[ ]euclid_7__t25_euclid_72024-07-26 17:55 44K 
[ ]euclid_7__t25_euclid_7.depv12024-08-03 10:19 125  
[ ]euclid_7__t25_euclid_7.depvmin12024-08-03 10:24 125  
[ ]euclid_7__t25_euclid_7.vmin12024-08-03 10:19 1.0K 
[ ]euclid_7__t25_euclid_7.vmin1out2024-08-03 10:20 10K 
[ ]euclid_7__t25_euclid_7.vout2024-08-03 08:58 14K 
[ ]euclid_7__t26_euclid_72024-07-26 17:57 65K 
[ ]euclid_7__t26_euclid_7.vout2024-08-03 09:33 3.7K 
[ ]euclid_7__t27_euclid_72024-07-26 17:59 70K 
[ ]euclid_7__t27_euclid_7.vout2024-08-03 09:35 6.8K 
[ ]euclid_7__t28_euclid_72024-07-26 18:01 55K 
[ ]euclid_7__t28_euclid_7.vout2024-08-03 06:49 7.4K 
[ ]euclid_7__t29_euclid_72024-07-26 18:03 80K 
[ ]euclid_7__t29_euclid_7.vout2024-08-03 08:45 7.4K 
[ ]euclid_7__t30_euclid_72024-07-26 18:05 68K 
[ ]euclid_7__t30_euclid_7.vout2024-08-03 07:52 7.3K 
[ ]euclid_7__t31_euclid_72024-07-26 18:08 74K 
[ ]euclid_7__t31_euclid_7.vout2024-08-03 08:43 7.4K 
[ ]euclid_7__t32_euclid_72024-07-26 18:09 46K 
[ ]euclid_7__t32_euclid_7.vout2024-08-03 04:53 7.3K 
[ ]euclid_7__t33_euclid_72024-07-26 18:13 110K 
[ ]euclid_7__t33_euclid_7.vout2024-08-03 06:07 3.7K 
[ ]euclid_7__t34_euclid_72024-07-26 18:15 90K 
[ ]euclid_7__t34_euclid_7.vout2024-08-03 08:55 7.4K 
[ ]euclid_7__t35_euclid_72024-07-26 18:18 60K 
[ ]euclid_7__t35_euclid_7.vout2024-08-03 06:03 7.4K 
[ ]euclid_7__t36_euclid_72024-07-26 18:20 62K 
[ ]euclid_7__t36_euclid_7.vout2024-08-03 08:00 7.4K 
[ ]euclid_7__t37_euclid_72024-07-26 18:22 59K 
[ ]euclid_7__t37_euclid_7.depv12024-08-03 10:19 176  
[ ]euclid_7__t37_euclid_7.depvmin12024-08-03 10:24 90  
[ ]euclid_7__t37_euclid_7.vmin12024-08-03 10:19 1.9K 
[ ]euclid_7__t37_euclid_7.vmin1out2024-08-03 10:21 18K 
[ ]euclid_7__t37_euclid_7.vout2024-08-03 06:46 29K 
[ ]euclid_7__t38_euclid_72024-07-26 17:14 49K 
[ ]euclid_7__t38_euclid_7.depv12024-08-03 10:19 196  
[ ]euclid_7__t38_euclid_7.depvmin12024-08-03 10:24 196  
[ ]euclid_7__t38_euclid_7.vmin12024-08-03 10:19 2.3K 
[ ]euclid_7__t38_euclid_7.vmin1out2024-08-03 10:22 29K 
[ ]euclid_7__t38_euclid_7.vout2024-08-03 08:56 30K 
[ ]euclid_7__t39_euclid_72024-07-26 18:25 109K 
[ ]euclid_7__t39_euclid_7.vout2024-08-03 06:01 3.7K 
[ ]euclid_7__t40_euclid_72024-07-26 18:28 63K 
[ ]euclid_7__t40_euclid_7.vout2024-08-03 05:37 3.7K 
[ ]euclid_7__t41_euclid_72024-07-26 17:16 44K 
[ ]euclid_7__t41_euclid_7.depv12024-08-03 10:19 63  
[ ]euclid_7__t41_euclid_7.depvmin12024-08-03 10:24 63  
[ ]euclid_7__t41_euclid_7.vmin12024-08-03 10:19 404  
[ ]euclid_7__t41_euclid_7.vmin1out2024-08-03 10:20 3.3K 
[ ]euclid_7__t41_euclid_7.vout2024-08-03 06:27 4.7K 
[ ]euclid_7__t42_euclid_72024-07-26 18:30 90K 
[ ]euclid_7__t42_euclid_7.vout2024-08-03 04:59 7.3K 
[ ]euclid_7__t43_euclid_72024-07-26 18:34 98K 
[ ]euclid_7__t43_euclid_7.vout2024-08-03 06:55 3.7K 
[ ]euclid_7__t44_euclid_72024-07-26 18:38 100K 
[ ]euclid_7__t44_euclid_7.vout2024-08-03 07:07 3.7K 
[ ]euclid_7__t45_euclid_72024-07-26 18:40 64K 
[ ]euclid_7__t45_euclid_7.vout2024-08-03 08:45 5.3K 
[ ]euclid_7__t46_euclid_72024-07-26 18:42 62K 
[ ]euclid_7__t46_euclid_7.vout2024-08-03 08:14 7.4K 
[ ]euclid_7__t47_euclid_72024-07-26 18:44 61K 
[ ]euclid_7__t47_euclid_7.vout2024-08-03 05:59 7.3K 
[ ]euclid_7__t48_euclid_72024-07-26 18:46 52K 
[ ]euclid_7__t48_euclid_7.depv12024-08-03 10:19 237  
[ ]euclid_7__t48_euclid_7.depvmin12024-08-03 10:24 224  
[ ]euclid_7__t48_euclid_7.vmin12024-08-03 10:19 2.7K 
[ ]euclid_7__t48_euclid_7.vmin1out2024-08-03 10:22 34K 
[ ]euclid_7__t48_euclid_7.vout2024-08-03 09:19 45K 
[ ]euclid_7__t49_euclid_72024-07-26 18:49 69K 
[ ]euclid_7__t49_euclid_7.vout2024-08-03 04:38 5.3K 
[ ]euclid_7__t50_euclid_72024-07-26 18:53 145K 
[ ]euclid_7__t50_euclid_7.vout2024-08-03 06:36 3.7K 
[ ]euclid_7__t51_euclid_72024-07-26 18:56 65K 
[ ]euclid_7__t51_euclid_7.depv12024-08-03 10:19 133  
[ ]euclid_7__t51_euclid_7.depvmin12024-08-03 10:24 133  
[ ]euclid_7__t51_euclid_7.vmin12024-08-03 10:19 2.1K 
[ ]euclid_7__t51_euclid_7.vmin1out2024-08-03 10:23 26K 
[ ]euclid_7__t51_euclid_7.vout2024-08-03 09:35 25K 
[ ]euclid_7__t52_euclid_72024-07-26 18:58 58K 
[ ]euclid_7__t52_euclid_7.depv12024-08-03 10:19 84  
[ ]euclid_7__t52_euclid_7.depvmin12024-08-03 10:24 70  
[ ]euclid_7__t52_euclid_7.vmin12024-08-03 10:19 1.7K 
[ ]euclid_7__t52_euclid_7.vmin1out2024-08-03 10:22 14K 
[ ]euclid_7__t52_euclid_7.vout2024-08-03 05:36 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80