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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_4__t46_euclid_4.depvmin12021-07-25 21:03 26  
[ ]euclid_4__t41_euclid_4.depvmin12021-07-25 21:03 103  
[ ]euclid_4__t43_euclid_4.depvmin12021-07-25 21:03 99  
[ ]euclid_4__t16_euclid_4.depvmin12021-07-25 21:03 192  
[ ]euclid_4__t9_euclid_4.depvmin12021-07-25 21:03 299  
[ ]euclid_4__t23_euclid_4.depvmin12021-07-25 21:03 321  
[ ]euclid_4__t15_euclid_4.depvmin12021-07-25 21:03 220  
[ ]euclid_4__t8_euclid_4.depvmin12021-07-25 21:03 362  
[ ]euclid_4__t44_euclid_4.depvmin12021-07-25 21:03 26  
[ ]euclid_4__t19_euclid_4.depvmin12021-07-25 21:03 171  
[ ]euclid_4__t14_euclid_4.depvmin12021-07-25 21:03 26  
[ ]euclid_4__t21_euclid_4.depvmin12021-07-25 21:03 255  
[ ]euclid_4__t20_euclid_4.depvmin12021-07-25 21:03 254  
[ ]euclid_4__t12_euclid_4.depvmin12021-07-25 21:03 26  
[ ]euclid_4__t42_euclid_4.depvmin12021-07-25 21:03 77  
[ ]euclid_4__t38_euclid_4.depvmin12021-07-25 21:03 207  
[ ]euclid_4__t26_euclid_4.depvmin12021-07-25 21:03 254  
[ ]euclid_4__t2_euclid_4.depvmin12021-07-25 21:03 262  
[ ]euclid_4__t41_euclid_4.vmin1out2021-07-25 21:02 21K 
[ ]euclid_4__t38_euclid_4.vmin1out2021-07-25 21:01 25K 
[ ]euclid_4__t23_euclid_4.vmin1out2021-07-25 21:01 45K 
[ ]euclid_4__t19_euclid_4.vmin1out2021-07-25 21:00 13K 
[ ]euclid_4__t9_euclid_4.vmin1out2021-07-25 21:00 37K 
[ ]euclid_4__t26_euclid_4.vmin1out2021-07-25 21:00 40K 
[ ]euclid_4__t12_euclid_4.vmin1out2021-07-25 21:00 9.7K 
[ ]euclid_4__t8_euclid_4.vmin1out2021-07-25 21:00 39K 
[ ]euclid_4__t42_euclid_4.vmin1out2021-07-25 21:00 23K 
[ ]euclid_4__t14_euclid_4.vmin1out2021-07-25 20:59 12K 
[ ]euclid_4__t15_euclid_4.vmin1out2021-07-25 20:59 19K 
[ ]euclid_4__t16_euclid_4.vmin1out2021-07-25 20:59 19K 
[ ]euclid_4__t44_euclid_4.vmin1out2021-07-25 20:59 10K 
[ ]euclid_4__t20_euclid_4.vmin1out2021-07-25 20:59 40K 
[ ]euclid_4__t2_euclid_4.vmin1out2021-07-25 20:59 20K 
[ ]euclid_4__t46_euclid_4.vmin1out2021-07-25 20:58 13K 
[ ]euclid_4__t43_euclid_4.vmin1out2021-07-25 20:58 31K 
[ ]euclid_4__t21_euclid_4.vmin1out2021-07-25 20:58 32K 
[ ]euclid_4__t46_euclid_4.vmin12021-07-25 20:57 821  
[ ]euclid_4__t44_euclid_4.vmin12021-07-25 20:57 1.0K 
[ ]euclid_4__t43_euclid_4.vmin12021-07-25 20:57 1.9K 
[ ]euclid_4__t42_euclid_4.vmin12021-07-25 20:57 1.8K 
[ ]euclid_4__t41_euclid_4.vmin12021-07-25 20:57 2.0K 
[ ]euclid_4__t38_euclid_4.vmin12021-07-25 20:57 1.9K 
[ ]euclid_4__t26_euclid_4.vmin12021-07-25 20:57 2.5K 
[ ]euclid_4__t23_euclid_4.vmin12021-07-25 20:57 3.0K 
[ ]euclid_4__t21_euclid_4.vmin12021-07-25 20:57 2.3K 
[ ]euclid_4__t20_euclid_4.vmin12021-07-25 20:57 2.5K 
[ ]euclid_4__t19_euclid_4.vmin12021-07-25 20:57 1.6K 
[ ]euclid_4__t16_euclid_4.vmin12021-07-25 20:57 1.9K 
[ ]euclid_4__t15_euclid_4.vmin12021-07-25 20:57 2.4K 
[ ]euclid_4__t14_euclid_4.vmin12021-07-25 20:57 647  
[ ]euclid_4__t12_euclid_4.vmin12021-07-25 20:57 820  
[ ]euclid_4__t9_euclid_4.vmin12021-07-25 20:57 2.6K 
[ ]euclid_4__t8_euclid_4.vmin12021-07-25 20:57 3.0K 
[ ]euclid_4__t2_euclid_4.vmin12021-07-25 20:57 2.4K 
[ ]euclid_4__t46_euclid_4.depv12021-07-25 20:57 36  
[ ]euclid_4__t41_euclid_4.depv12021-07-25 20:57 132  
[ ]euclid_4__t43_euclid_4.depv12021-07-25 20:57 99  
[ ]euclid_4__t16_euclid_4.depv12021-07-25 20:57 205  
[ ]euclid_4__t9_euclid_4.depv12021-07-25 20:57 322  
[ ]euclid_4__t23_euclid_4.depv12021-07-25 20:57 321  
[ ]euclid_4__t15_euclid_4.depv12021-07-25 20:57 260  
[ ]euclid_4__t8_euclid_4.depv12021-07-25 20:57 362  
[ ]euclid_4__t44_euclid_4.depv12021-07-25 20:57 36  
[ ]euclid_4__t19_euclid_4.depv12021-07-25 20:57 171  
[ ]euclid_4__t14_euclid_4.depv12021-07-25 20:57 26  
[ ]euclid_4__t21_euclid_4.depv12021-07-25 20:57 255  
[ ]euclid_4__t20_euclid_4.depv12021-07-25 20:57 254  
[ ]euclid_4__t12_euclid_4.depv12021-07-25 20:57 26  
[ ]euclid_4__t42_euclid_4.depv12021-07-25 20:57 77  
[ ]euclid_4__t38_euclid_4.depv12021-07-25 20:57 207  
[ ]euclid_4__t26_euclid_4.depv12021-07-25 20:57 254  
[ ]euclid_4__t2_euclid_4.depv12021-07-25 20:57 262  
[ ]euclid_4__t15_euclid_4.vout2021-07-25 20:56 45K 
[ ]euclid_4__t8_euclid_4.vout2021-07-25 20:56 34K 
[ ]euclid_4__t18_euclid_4.vout2021-07-25 20:50 7.3K 
[ ]euclid_4__l16_euclid_4.vout2021-07-25 20:43 7.4K 
[ ]euclid_4__t21_euclid_4.vout2021-07-25 20:40 33K 
[ ]euclid_4__t26_euclid_4.vout2021-07-25 20:28 40K 
[ ]euclid_4__t31_euclid_4.vout2021-07-25 20:26 1.1K 
[ ]euclid_4__t40_euclid_4.vout2021-07-25 20:23 6.8K 
[ ]euclid_4__t28_euclid_4.vout2021-07-25 20:09 2.0K 
[ ]euclid_4__l56_euclid_4.vout2021-07-25 20:07 7.9K 
[ ]euclid_4__t46_euclid_4.vout2021-07-25 20:06 9.1K 
[ ]euclid_4__t10_euclid_4.vout2021-07-25 19:56 5.3K 
[ ]euclid_4__t12_euclid_4.vout2021-07-25 19:52 17K 
[ ]euclid_4__t11_euclid_4.vout2021-07-25 19:46 7.3K 
[ ]euclid_4__t23_euclid_4.vout2021-07-25 19:45 48K 
[ ]euclid_4__t7_euclid_4.vout2021-07-25 19:33 2.0K 
[ ]euclid_4__t2_euclid_4.vout2021-07-25 19:11 22K 
[ ]euclid_4__l47_euclid_4.vout2021-07-25 19:09 7.4K 
[ ]euclid_4__t42_euclid_4.vout2021-07-25 19:09 27K 
[ ]euclid_4__t27_euclid_4.vout2021-07-25 19:08 2.0K 
[ ]euclid_4__t38_euclid_4.vout2021-07-25 18:55 25K 
[ ]euclid_4__t34_euclid_4.vout2021-07-25 18:46 1.1K 
[ ]euclid_4__t25_euclid_4.vout2021-07-25 18:41 2.0K 
[ ]euclid_4__l44_euclid_4.vout2021-07-25 18:39 7.4K 
[ ]euclid_4__t5_euclid_4.vout2021-07-25 18:34 7.3K 
[ ]euclid_4__t22_euclid_4.vout2021-07-25 18:32 2.0K 
[ ]euclid_4__l10_euclid_4.vout2021-07-25 18:12 7.3K 
[ ]euclid_4__t37_euclid_4.vout2021-07-25 18:10 7.3K 
[ ]euclid_4__t45_euclid_4.vout2021-07-25 18:08 7.9K 
[ ]euclid_4__t29_euclid_4.vout2021-07-25 18:02 1.1K 
[ ]euclid_4__t19_euclid_4.vout2021-07-25 17:47 15K 
[ ]euclid_4__t1_euclid_4.vout2021-07-25 17:33 2.0K 
[ ]euclid_4__t32_euclid_4.vout2021-07-25 17:16 2.0K 
[ ]euclid_4__t44_euclid_4.vout2021-07-25 17:11 14K 
[ ]euclid_4__t16_euclid_4.vout2021-07-25 17:04 20K 
[ ]euclid_4__l12_euclid_4.vout2021-07-25 16:39 4.1K 
[ ]euclid_4__t35_euclid_4.vout2021-07-25 16:30 1.1K 
[ ]euclid_4__t14_euclid_4.vout2021-07-25 16:20 12K 
[ ]euclid_4__l46_euclid_4.vout2021-07-25 16:14 7.4K 
[ ]euclid_4__t4_euclid_4.vout2021-07-25 16:11 2.0K 
[ ]euclid_4__t3_euclid_4.vout2021-07-25 15:34 2.0K 
[ ]euclid_4__t43_euclid_4.vout2021-07-25 15:30 30K 
[ ]euclid_4__t17_euclid_4.vout2021-07-25 15:30 7.4K 
[ ]euclid_4__t20_euclid_4.vout2021-07-25 15:19 40K 
[ ]euclid_4__t9_euclid_4.vout2021-07-25 15:15 35K 
[ ]euclid_4__t41_euclid_4.vout2021-07-25 15:13 31K 
[ ]euclid_4__t13_euclid_4.vout2021-07-25 15:11 7.4K 
[ ]euclid_4__l45_euclid_4.vout2021-07-25 15:04 7.3K 
[ ]euclid_4__l51_euclid_4.vout2021-07-25 15:01 5.3K 
[ ]euclid_4__t36_euclid_4.vout2021-07-25 14:58 7.3K 
[ ]euclid_4__t6_euclid_4.vout2021-07-25 14:58 2.0K 
[ ]euclid_4__t24_euclid_4.vout2021-07-25 14:48 2.0K 
[ ]euclid_4__t33_euclid_4.vout2021-07-25 14:35 1.1K 
[ ]euclid_4__t47_euclid_4.vout2021-07-25 14:34 6.8K 
[ ]euclid_4__t30_euclid_4.vout2021-07-25 14:32 2.0K 
[ ]euclid_4__l51_euclid_42021-07-17 17:46 49K 
[ ]euclid_4__l47_euclid_42021-07-17 17:46 125K 
[ ]euclid_4__l46_euclid_42021-07-17 17:45 50K 
[ ]euclid_4__l45_euclid_42021-07-17 17:44 57K 
[ ]euclid_4__l44_euclid_42021-07-17 17:44 39K 
[ ]euclid_4__l10_euclid_42021-07-17 17:43 24K 
[ ]euclid_4__t47_euclid_42021-07-17 17:43 80K 
[ ]euclid_4__t40_euclid_42021-07-17 17:42 54K 
[ ]euclid_4__t46_euclid_42021-07-17 17:41 21K 
[ ]euclid_4__t45_euclid_42021-07-17 17:41 44K 
[ ]euclid_4__t44_euclid_42021-07-17 17:40 44K 
[ ]euclid_4__t38_euclid_42021-07-17 17:39 30K 
[ ]euclid_4__t37_euclid_42021-07-17 17:39 66K 
[ ]euclid_4__t36_euclid_42021-07-17 17:38 63K 
[ ]euclid_4__t35_euclid_42021-07-17 17:38 63K 
[ ]euclid_4__t34_euclid_42021-07-17 17:37 43K 
[ ]euclid_4__t33_euclid_42021-07-17 17:37 45K 
[ ]euclid_4__t32_euclid_42021-07-17 17:36 30K 
[ ]euclid_4__t31_euclid_42021-07-17 17:36 42K 
[ ]euclid_4__t30_euclid_42021-07-17 17:35 27K 
[ ]euclid_4__t27_euclid_42021-07-17 17:35 34K 
[ ]euclid_4__t26_euclid_42021-07-17 17:34 45K 
[ ]euclid_4__t25_euclid_42021-07-17 17:34 31K 
[ ]euclid_4__t23_euclid_42021-07-17 17:33 32K 
[ ]euclid_4__t21_euclid_42021-07-17 17:33 32K 
[ ]euclid_4__t20_euclid_42021-07-17 17:32 29K 
[ ]euclid_4__t18_euclid_42021-07-17 17:32 201K 
[ ]euclid_4__t17_euclid_42021-07-17 17:31 171K 
[ ]euclid_4__t16_euclid_42021-07-17 17:31 34K 
[ ]euclid_4__t14_euclid_42021-07-17 17:30 12K 
[ ]euclid_4__t13_euclid_42021-07-17 17:30 21K 
[ ]euclid_4__t12_euclid_42021-07-17 17:30 21K 
[ ]euclid_4__t11_euclid_42021-07-17 17:29 53K 
[ ]euclid_4__t10_euclid_42021-07-17 17:29 40K 
[ ]euclid_4__t9_euclid_42021-07-17 17:28 26K 
[ ]euclid_4__t8_euclid_42021-07-17 17:28 26K 
[ ]euclid_4__t5_euclid_42021-07-17 17:27 26K 
[ ]euclid_4__t3_euclid_42021-07-17 17:27 39K 
[ ]euclid_4__t2_euclid_42021-07-17 17:26 36K 
[ ]euclid_4__t1_euclid_42021-07-17 17:26 33K 
[ ]euclid_4__l56_euclid_42021-07-17 17:25 45K 
[ ]euclid_4__l16_euclid_42021-07-17 17:24 21K 
[ ]euclid_4__l12_euclid_42021-07-17 17:24 20K 
[ ]euclid_4__t43_euclid_42021-07-17 17:24 45K 
[ ]euclid_4__t42_euclid_42021-07-17 17:23 45K 
[ ]euclid_4__t41_euclid_42021-07-17 17:23 44K 
[ ]euclid_4__t29_euclid_42021-07-17 17:22 40K 
[ ]euclid_4__t28_euclid_42021-07-17 17:21 27K 
[ ]euclid_4__t24_euclid_42021-07-17 17:21 30K 
[ ]euclid_4__t22_euclid_42021-07-17 17:21 27K 
[ ]euclid_4__t19_euclid_42021-07-17 17:20 22K 
[ ]euclid_4__t15_euclid_42021-07-17 17:20 26K 
[ ]euclid_4__t7_euclid_42021-07-17 17:19 29K 
[ ]euclid_4__t6_euclid_42021-07-17 17:19 29K 
[ ]euclid_4__t4_euclid_42021-07-17 17:18 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80