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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_4__l10_euclid_42024-07-27 14:26 27K 
[ ]euclid_4__l10_euclid_4.vout2024-08-03 07:40 7.3K 
[ ]euclid_4__l12_euclid_42024-07-27 13:34 23K 
[ ]euclid_4__l12_euclid_4.vout2024-08-03 04:17 4.1K 
[ ]euclid_4__l16_euclid_42024-07-27 13:35 24K 
[ ]euclid_4__l16_euclid_4.vout2024-08-03 05:13 7.9K 
[ ]euclid_4__l44_euclid_42024-07-27 14:28 36K 
[ ]euclid_4__l44_euclid_4.vout2024-08-03 08:59 7.4K 
[ ]euclid_4__l45_euclid_42024-07-27 14:29 60K 
[ ]euclid_4__l45_euclid_4.vout2024-08-03 08:54 7.4K 
[ ]euclid_4__l46_euclid_42024-07-27 14:31 53K 
[ ]euclid_4__l46_euclid_4.vout2024-08-03 05:38 7.4K 
[ ]euclid_4__l47_euclid_42024-07-27 14:33 129K 
[ ]euclid_4__l47_euclid_4.vout2024-08-03 08:00 7.3K 
[ ]euclid_4__l51_euclid_42024-07-27 14:35 44K 
[ ]euclid_4__l51_euclid_4.vout2024-08-03 07:23 5.9K 
[ ]euclid_4__l56_euclid_42024-07-27 13:37 40K 
[ ]euclid_4__l56_euclid_4.vout2024-08-03 08:18 7.9K 
[ ]euclid_4__t1_euclid_42024-07-27 13:38 36K 
[ ]euclid_4__t1_euclid_4.vout2024-08-03 05:33 2.0K 
[ ]euclid_4__t2_euclid_42024-07-27 13:39 39K 
[ ]euclid_4__t2_euclid_4.depv12024-08-03 10:19 262  
[ ]euclid_4__t2_euclid_4.depvmin12024-08-03 10:24 262  
[ ]euclid_4__t2_euclid_4.vmin12024-08-03 10:19 2.4K 
[ ]euclid_4__t2_euclid_4.vmin1out2024-08-03 10:23 20K 
[ ]euclid_4__t2_euclid_4.vout2024-08-03 07:36 22K 
[ ]euclid_4__t3_euclid_42024-07-27 13:41 42K 
[ ]euclid_4__t3_euclid_4.vout2024-08-03 04:24 2.0K 
[ ]euclid_4__t4_euclid_42024-07-27 13:19 27K 
[ ]euclid_4__t4_euclid_4.vout2024-08-03 08:15 2.0K 
[ ]euclid_4__t5_euclid_42024-07-27 13:42 30K 
[ ]euclid_4__t5_euclid_4.vout2024-08-03 04:49 7.3K 
[ ]euclid_4__t6_euclid_42024-07-27 13:20 32K 
[ ]euclid_4__t6_euclid_4.vout2024-08-03 07:10 2.0K 
[ ]euclid_4__t7_euclid_42024-07-27 13:21 32K 
[ ]euclid_4__t7_euclid_4.vout2024-08-03 05:56 2.0K 
[ ]euclid_4__t8_euclid_42024-07-27 13:43 30K 
[ ]euclid_4__t8_euclid_4.depv12024-08-03 10:19 362  
[ ]euclid_4__t8_euclid_4.depvmin12024-08-03 10:24 362  
[ ]euclid_4__t8_euclid_4.vmin12024-08-03 10:19 3.0K 
[ ]euclid_4__t8_euclid_4.vmin1out2024-08-03 10:23 39K 
[ ]euclid_4__t8_euclid_4.vout2024-08-03 09:55 34K 
[ ]euclid_4__t9_euclid_42024-07-27 13:44 29K 
[ ]euclid_4__t9_euclid_4.depv12024-08-03 10:19 322  
[ ]euclid_4__t9_euclid_4.depvmin12024-08-03 10:24 299  
[ ]euclid_4__t9_euclid_4.vmin12024-08-03 10:19 2.6K 
[ ]euclid_4__t9_euclid_4.vmin1out2024-08-03 10:22 37K 
[ ]euclid_4__t9_euclid_4.vout2024-08-03 05:25 35K 
[ ]euclid_4__t10_euclid_42024-07-27 13:46 44K 
[ ]euclid_4__t10_euclid_4.vout2024-08-03 05:19 5.3K 
[ ]euclid_4__t11_euclid_42024-07-27 13:48 56K 
[ ]euclid_4__t11_euclid_4.vout2024-08-03 06:01 7.4K 
[ ]euclid_4__t12_euclid_42024-07-27 13:49 24K 
[ ]euclid_4__t12_euclid_4.depv12024-08-03 10:19 26  
[ ]euclid_4__t12_euclid_4.depvmin12024-08-03 10:24 26  
[ ]euclid_4__t12_euclid_4.vmin12024-08-03 10:19 820  
[ ]euclid_4__t12_euclid_4.vmin1out2024-08-03 10:20 9.7K 
[ ]euclid_4__t12_euclid_4.vout2024-08-03 09:10 17K 
[ ]euclid_4__t13_euclid_42024-07-27 13:50 24K 
[ ]euclid_4__t13_euclid_4.vout2024-08-03 07:16 7.9K 
[ ]euclid_4__t14_euclid_42024-07-27 13:51 16K 
[ ]euclid_4__t14_euclid_4.depv12024-08-03 10:19 26  
[ ]euclid_4__t14_euclid_4.depvmin12024-08-03 10:24 26  
[ ]euclid_4__t14_euclid_4.vmin12024-08-03 10:19 647  
[ ]euclid_4__t14_euclid_4.vmin1out2024-08-03 10:23 12K 
[ ]euclid_4__t14_euclid_4.vout2024-08-03 09:18 12K 
[ ]euclid_4__t15_euclid_42024-07-27 13:22 30K 
[ ]euclid_4__t15_euclid_4.depv12024-08-03 10:19 260  
[ ]euclid_4__t15_euclid_4.depvmin12024-08-03 10:24 220  
[ ]euclid_4__t15_euclid_4.vmin12024-08-03 10:19 2.4K 
[ ]euclid_4__t15_euclid_4.vmin1out2024-08-03 10:22 19K 
[ ]euclid_4__t15_euclid_4.vout2024-08-03 08:23 42K 
[ ]euclid_4__t16_euclid_42024-07-27 13:52 37K 
[ ]euclid_4__t16_euclid_4.depv12024-08-03 10:19 205  
[ ]euclid_4__t16_euclid_4.depvmin12024-08-03 10:24 192  
[ ]euclid_4__t16_euclid_4.vmin12024-08-03 10:19 1.9K 
[ ]euclid_4__t16_euclid_4.vmin1out2024-08-03 10:23 19K 
[ ]euclid_4__t16_euclid_4.vout2024-08-03 05:40 20K 
[ ]euclid_4__t17_euclid_42024-07-27 13:54 184K 
[ ]euclid_4__t17_euclid_4.vout2024-08-03 06:04 7.4K 
[ ]euclid_4__t18_euclid_42024-07-27 13:56 214K 
[ ]euclid_4__t18_euclid_4.vout2024-08-03 05:52 7.4K 
[ ]euclid_4__t19_euclid_42024-07-27 13:24 26K 
[ ]euclid_4__t19_euclid_4.depv12024-08-03 10:19 171  
[ ]euclid_4__t19_euclid_4.depvmin12024-08-03 10:24 171  
[ ]euclid_4__t19_euclid_4.vmin12024-08-03 10:19 1.6K 
[ ]euclid_4__t19_euclid_4.vmin1out2024-08-03 10:22 13K 
[ ]euclid_4__t19_euclid_4.vout2024-08-03 06:46 15K 
[ ]euclid_4__t20_euclid_42024-07-27 13:57 32K 
[ ]euclid_4__t20_euclid_4.depv12024-08-03 10:19 254  
[ ]euclid_4__t20_euclid_4.depvmin12024-08-03 10:24 254  
[ ]euclid_4__t20_euclid_4.vmin12024-08-03 10:19 2.5K 
[ ]euclid_4__t20_euclid_4.vmin1out2024-08-03 10:22 40K 
[ ]euclid_4__t20_euclid_4.vout2024-08-03 05:11 40K 
[ ]euclid_4__t21_euclid_42024-07-27 13:58 35K 
[ ]euclid_4__t21_euclid_4.depv12024-08-03 10:19 255  
[ ]euclid_4__t21_euclid_4.depvmin12024-08-03 10:24 255  
[ ]euclid_4__t21_euclid_4.vmin12024-08-03 10:19 2.3K 
[ ]euclid_4__t21_euclid_4.vmin1out2024-08-03 10:21 32K 
[ ]euclid_4__t21_euclid_4.vout2024-08-03 05:09 33K 
[ ]euclid_4__t22_euclid_42024-07-27 13:25 30K 
[ ]euclid_4__t22_euclid_4.vout2024-08-03 10:00 2.0K 
[ ]euclid_4__t23_euclid_42024-07-27 14:00 35K 
[ ]euclid_4__t23_euclid_4.depv12024-08-03 10:19 254  
[ ]euclid_4__t23_euclid_4.depvmin12024-08-03 10:24 254  
[ ]euclid_4__t23_euclid_4.vmin12024-08-03 10:19 2.1K 
[ ]euclid_4__t23_euclid_4.vmin1out2024-08-03 10:23 29K 
[ ]euclid_4__t23_euclid_4.vout2024-08-03 08:26 30K 
[ ]euclid_4__t24_euclid_42024-07-27 13:26 33K 
[ ]euclid_4__t24_euclid_4.vout2024-08-03 05:22 2.0K 
[ ]euclid_4__t25_euclid_42024-07-27 14:01 34K 
[ ]euclid_4__t25_euclid_4.vout2024-08-03 06:14 2.0K 
[ ]euclid_4__t26_euclid_42024-07-27 14:02 48K 
[ ]euclid_4__t26_euclid_4.depv12024-08-03 10:19 254  
[ ]euclid_4__t26_euclid_4.depvmin12024-08-03 10:24 254  
[ ]euclid_4__t26_euclid_4.vmin12024-08-03 10:19 2.5K 
[ ]euclid_4__t26_euclid_4.vmin1out2024-08-03 10:23 40K 
[ ]euclid_4__t26_euclid_4.vout2024-08-03 04:34 40K 
[ ]euclid_4__t27_euclid_42024-07-27 14:04 38K 
[ ]euclid_4__t27_euclid_4.vout2024-08-03 06:11 1.1K 
[ ]euclid_4__t28_euclid_42024-07-27 13:27 30K 
[ ]euclid_4__t28_euclid_4.vout2024-08-03 08:55 2.0K 
[ ]euclid_4__t29_euclid_42024-07-27 13:28 43K 
[ ]euclid_4__t29_euclid_4.vout2024-08-03 05:53 1.1K 
[ ]euclid_4__t30_euclid_42024-07-27 14:05 31K 
[ ]euclid_4__t30_euclid_4.vout2024-08-03 05:23 2.0K 
[ ]euclid_4__t31_euclid_42024-07-27 14:06 45K 
[ ]euclid_4__t31_euclid_4.vout2024-08-03 04:09 1.1K 
[ ]euclid_4__t32_euclid_42024-07-27 14:07 34K 
[ ]euclid_4__t32_euclid_4.vout2024-08-03 10:11 2.0K 
[ ]euclid_4__t33_euclid_42024-07-27 14:09 48K 
[ ]euclid_4__t33_euclid_4.vout2024-08-03 06:49 1.2K 
[ ]euclid_4__t34_euclid_42024-07-27 14:10 46K 
[ ]euclid_4__t34_euclid_4.vout2024-08-03 08:37 1.1K 
[ ]euclid_4__t35_euclid_42024-07-27 14:12 66K 
[ ]euclid_4__t35_euclid_4.vout2024-08-03 06:51 1.1K 
[ ]euclid_4__t36_euclid_42024-07-27 14:13 66K 
[ ]euclid_4__t36_euclid_4.vout2024-08-03 09:08 7.3K 
[ ]euclid_4__t37_euclid_42024-07-27 14:15 70K 
[ ]euclid_4__t37_euclid_4.vout2024-08-03 07:31 7.3K 
[ ]euclid_4__t38_euclid_42024-07-27 14:16 33K 
[ ]euclid_4__t38_euclid_4.depv12024-08-03 10:19 207  
[ ]euclid_4__t38_euclid_4.depvmin12024-08-03 10:24 207  
[ ]euclid_4__t38_euclid_4.vmin12024-08-03 10:19 1.9K 
[ ]euclid_4__t38_euclid_4.vmin1out2024-08-03 10:22 25K 
[ ]euclid_4__t38_euclid_4.vout2024-08-03 06:50 26K 
[ ]euclid_4__t40_euclid_42024-07-27 14:22 57K 
[ ]euclid_4__t40_euclid_4.vout2024-08-03 10:04 6.8K 
[ ]euclid_4__t41_euclid_42024-07-27 13:30 40K 
[ ]euclid_4__t41_euclid_4.depv12024-08-03 10:19 103  
[ ]euclid_4__t41_euclid_4.depvmin12024-08-03 10:24 103  
[ ]euclid_4__t41_euclid_4.vmin12024-08-03 10:19 1.8K 
[ ]euclid_4__t41_euclid_4.vmin1out2024-08-03 10:21 21K 
[ ]euclid_4__t41_euclid_4.vout2024-08-03 04:23 25K 
[ ]euclid_4__t42_euclid_42024-07-27 13:31 40K 
[ ]euclid_4__t42_euclid_4.depv12024-08-03 10:19 77  
[ ]euclid_4__t42_euclid_4.depvmin12024-08-03 10:24 77  
[ ]euclid_4__t42_euclid_4.vmin12024-08-03 10:19 1.8K 
[ ]euclid_4__t42_euclid_4.vmin1out2024-08-03 10:23 23K 
[ ]euclid_4__t42_euclid_4.vout2024-08-03 09:36 27K 
[ ]euclid_4__t43_euclid_42024-07-27 13:33 40K 
[ ]euclid_4__t43_euclid_4.depv12024-08-03 10:19 99  
[ ]euclid_4__t43_euclid_4.depvmin12024-08-03 10:24 99  
[ ]euclid_4__t43_euclid_4.vmin12024-08-03 10:19 1.9K 
[ ]euclid_4__t43_euclid_4.vmin1out2024-08-03 10:20 31K 
[ ]euclid_4__t43_euclid_4.vout2024-08-03 08:44 31K 
[ ]euclid_4__t44_euclid_42024-07-27 14:18 40K 
[ ]euclid_4__t44_euclid_4.depv12024-08-03 10:19 36  
[ ]euclid_4__t44_euclid_4.depvmin12024-08-03 10:24 26  
[ ]euclid_4__t44_euclid_4.vmin12024-08-03 10:19 1.0K 
[ ]euclid_4__t44_euclid_4.vmin1out2024-08-03 10:23 10K 
[ ]euclid_4__t44_euclid_4.vout2024-08-03 07:19 14K 
[ ]euclid_4__t45_euclid_42024-07-27 14:19 40K 
[ ]euclid_4__t45_euclid_4.vout2024-08-03 04:57 7.4K 
[ ]euclid_4__t46_euclid_42024-07-27 14:21 19K 
[ ]euclid_4__t46_euclid_4.depv12024-08-03 10:19 36  
[ ]euclid_4__t46_euclid_4.depvmin12024-08-03 10:24 26  
[ ]euclid_4__t46_euclid_4.vmin12024-08-03 10:19 821  
[ ]euclid_4__t46_euclid_4.vmin1out2024-08-03 10:23 13K 
[ ]euclid_4__t46_euclid_4.vout2024-08-03 08:23 9.1K 
[ ]euclid_4__t47_euclid_42024-07-27 14:25 75K 
[ ]euclid_4__t47_euclid_4.vout2024-08-03 04:56 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80