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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_2__t39_euclid_2.depvmin12021-07-25 21:03 26  
[ ]euclid_2__t58_euclid_2.depv12021-07-25 20:57 26  
[ ]euclid_2__t58_euclid_2.depvmin12021-07-25 21:03 26  
[ ]euclid_2__t42_euclid_2.depv12021-07-25 20:57 39  
[ ]euclid_2__t42_euclid_2.depvmin12021-07-25 21:03 39  
[ ]euclid_2__t39_euclid_2.depv12021-07-25 20:57 50  
[ ]euclid_2__t41_euclid_2.depv12021-07-25 20:57 52  
[ ]euclid_2__t41_euclid_2.depvmin12021-07-25 21:03 52  
[ ]euclid_2__t5_euclid_2.depv12021-07-25 20:57 58  
[ ]euclid_2__t5_euclid_2.depvmin12021-07-25 21:03 58  
[ ]euclid_2__l4_euclid_2.depv12021-07-25 20:57 97  
[ ]euclid_2__l4_euclid_2.depvmin12021-07-25 21:03 97  
[ ]euclid_2__t34_euclid_2.depv12021-07-25 20:57 124  
[ ]euclid_2__t34_euclid_2.depvmin12021-07-25 21:03 124  
[ ]euclid_2__t36_euclid_2.depv12021-07-25 20:57 128  
[ ]euclid_2__t36_euclid_2.depvmin12021-07-25 21:03 128  
[ ]euclid_2__t8_euclid_2.depvmin12021-07-25 21:03 133  
[ ]euclid_2__t55_euclid_2.depv12021-07-25 20:57 141  
[ ]euclid_2__t55_euclid_2.depvmin12021-07-25 21:03 141  
[ ]euclid_2__t8_euclid_2.depv12021-07-25 20:57 148  
[ ]euclid_2__t35_euclid_2.depv12021-07-25 20:57 153  
[ ]euclid_2__t35_euclid_2.depvmin12021-07-25 21:03 153  
[ ]euclid_2__t18_euclid_2.depvmin12021-07-25 21:03 155  
[ ]euclid_2__t19_euclid_2.depv12021-07-25 20:57 155  
[ ]euclid_2__t19_euclid_2.depvmin12021-07-25 21:03 155  
[ ]euclid_2__t7_euclid_2.depv12021-07-25 20:57 169  
[ ]euclid_2__t7_euclid_2.depvmin12021-07-25 21:03 169  
[ ]euclid_2__t57_euclid_2.depv12021-07-25 20:57 175  
[ ]euclid_2__t57_euclid_2.depvmin12021-07-25 21:03 175  
[ ]euclid_2__t40_euclid_2.depvmin12021-07-25 21:03 186  
[ ]euclid_2__t53_euclid_2.depv12021-07-25 20:57 186  
[ ]euclid_2__t53_euclid_2.depvmin12021-07-25 21:03 186  
[ ]euclid_2__t20_euclid_2.depvmin12021-07-25 21:03 192  
[ ]euclid_2__t54_euclid_2.depv12021-07-25 20:57 194  
[ ]euclid_2__t54_euclid_2.depvmin12021-07-25 21:03 194  
[ ]euclid_2__t22_euclid_2.depvmin12021-07-25 21:03 196  
[ ]euclid_2__t4_euclid_2.depv12021-07-25 20:57 201  
[ ]euclid_2__t4_euclid_2.depvmin12021-07-25 21:03 201  
[ ]euclid_2__t40_euclid_2.depv12021-07-25 20:57 201  
[ ]euclid_2__t51_euclid_2.depv12021-07-25 20:57 205  
[ ]euclid_2__t51_euclid_2.depvmin12021-07-25 21:03 205  
[ ]euclid_2__t37_euclid_2.depv12021-07-25 20:57 206  
[ ]euclid_2__t37_euclid_2.depvmin12021-07-25 21:03 206  
[ ]euclid_2__t10_euclid_2.depv12021-07-25 20:57 214  
[ ]euclid_2__t10_euclid_2.depvmin12021-07-25 21:03 214  
[ ]euclid_2__t52_euclid_2.depv12021-07-25 20:57 216  
[ ]euclid_2__t52_euclid_2.depvmin12021-07-25 21:03 216  
[ ]euclid_2__t22_euclid_2.depv12021-07-25 20:57 220  
[ ]euclid_2__t38_euclid_2.depv12021-07-25 20:57 221  
[ ]euclid_2__t38_euclid_2.depvmin12021-07-25 21:03 221  
[ ]euclid_2__t33_euclid_2.depv12021-07-25 20:57 224  
[ ]euclid_2__t33_euclid_2.depvmin12021-07-25 21:03 224  
[ ]euclid_2__t56_euclid_2.depvmin12021-07-25 21:03 224  
[ ]euclid_2__t18_euclid_2.depv12021-07-25 20:57 232  
[ ]euclid_2__t32_euclid_2.depv12021-07-25 20:57 237  
[ ]euclid_2__t32_euclid_2.depvmin12021-07-25 21:03 237  
[ ]euclid_2__t39_euclid_2.vmin12021-07-25 20:57 288  
[ ]euclid_2__t9_euclid_2.depvmin12021-07-25 21:03 302  
[ ]euclid_2__t44_euclid_2.depvmin12021-07-25 21:03 306  
[ ]euclid_2__t9_euclid_2.depv12021-07-25 20:57 317  
[ ]euclid_2__t20_euclid_2.depv12021-07-25 20:57 322  
[ ]euclid_2__t43_euclid_2.depv12021-07-25 20:57 334  
[ ]euclid_2__t43_euclid_2.depvmin12021-07-25 21:03 334  
[ ]euclid_2__t56_euclid_2.depv12021-07-25 20:57 357  
[ ]euclid_2__t44_euclid_2.depv12021-07-25 20:57 360  
[ ]euclid_2__t58_euclid_2.vmin12021-07-25 20:57 420  
[ ]euclid_2__t42_euclid_2.vmin12021-07-25 20:57 485  
[ ]euclid_2__t1_euclid_2.depv12021-07-25 20:57 491  
[ ]euclid_2__t1_euclid_2.depvmin12021-07-25 21:03 491  
[ ]euclid_2__t41_euclid_2.vmin12021-07-25 20:57 740  
[ ]euclid_2__l4_euclid_2.vmin12021-07-25 20:57 787  
[ ]euclid_2__t5_euclid_2.vmin12021-07-25 20:57 804  
[ ]euclid_2__t34_euclid_2.vmin12021-07-25 20:57 888  
[ ]euclid_2__t36_euclid_2.vmin12021-07-25 20:57 1.3K 
[ ]euclid_2__t35_euclid_2.vmin12021-07-25 20:57 1.3K 
[ ]euclid_2__t55_euclid_2.vmin12021-07-25 20:57 1.6K 
[ ]euclid_2__t8_euclid_2.vmin12021-07-25 20:57 1.6K 
[ ]euclid_2__t54_euclid_2.vmin12021-07-25 20:57 1.8K 
[ ]euclid_2__t37_euclid_2.vmin12021-07-25 20:57 1.8K 
[ ]euclid_2__t7_euclid_2.vmin12021-07-25 20:57 1.8K 
[ ]euclid_2__t53_euclid_2.vmin12021-07-25 20:57 1.8K 
[ ]euclid_2__t10_euclid_2.vmin12021-07-25 20:57 1.8K 
[ ]euclid_2__t33_euclid_2.vmin12021-07-25 20:57 1.9K 
[ ]euclid_2__t19_euclid_2.vmin12021-07-25 20:57 1.9K 
[ ]euclid_2__t12_euclid_2.vout2021-07-25 16:13 2.0K 
[ ]euclid_2__t14_euclid_2.vout2021-07-25 19:51 2.0K 
[ ]euclid_2__t16_euclid_2.vout2021-07-25 15:41 2.0K 
[ ]euclid_2__t13_euclid_2.vout2021-07-25 15:29 2.0K 
[ ]euclid_2__t11_euclid_2.vout2021-07-25 18:38 2.0K 
[ ]euclid_2__t32_euclid_2.vmin12021-07-25 20:57 2.0K 
[ ]euclid_2__t4_euclid_2.vmin12021-07-25 20:57 2.0K 
[ ]euclid_2__t38_euclid_2.vmin12021-07-25 20:57 2.0K 
[ ]euclid_2__t51_euclid_2.vmin12021-07-25 20:57 2.1K 
[ ]euclid_2__t57_euclid_2.vmin12021-07-25 20:57 2.1K 
[ ]euclid_2__t40_euclid_2.vmin12021-07-25 20:57 2.1K 
[ ]euclid_2__t22_euclid_2.vmin12021-07-25 20:57 2.3K 
[ ]euclid_2__t52_euclid_2.vmin12021-07-25 20:57 2.5K 
[ ]euclid_2__t39_euclid_2.vmin1out2021-07-25 20:59 2.5K 
[ ]euclid_2__t9_euclid_2.vmin12021-07-25 20:57 2.7K 
[ ]euclid_2__t43_euclid_2.vmin12021-07-25 20:57 2.8K 
[ ]euclid_2__t44_euclid_2.vmin12021-07-25 20:57 2.8K 
[ ]euclid_2__t18_euclid_2.vmin12021-07-25 20:57 2.9K 
[ ]euclid_2__t39_euclid_2.vout2021-07-25 15:07 3.4K 
[ ]euclid_2__t20_euclid_2.vmin12021-07-25 20:57 3.7K 
[ ]euclid_2__t56_euclid_2.vmin12021-07-25 20:57 4.0K 
[ ]euclid_2__t28_euclid_2.vout2021-07-25 17:25 4.1K 
[ ]euclid_2__t26_euclid_2.vout2021-07-25 14:29 4.1K 
[ ]euclid_2__t45_euclid_2.vout2021-07-25 20:22 4.1K 
[ ]euclid_2__t30_euclid_2.vout2021-07-25 16:05 4.1K 
[ ]euclid_2__t23_euclid_2.vout2021-07-25 15:15 4.1K 
[ ]euclid_2__t1_euclid_2.vmin12021-07-25 20:57 4.4K 
[ ]euclid_2__t58_euclid_2.vout2021-07-25 15:32 4.6K 
[ ]euclid_2__t15_euclid_2.vout2021-07-25 16:22 4.7K 
[ ]euclid_2__t50_euclid_2.vout2021-07-25 14:31 4.7K 
[ ]euclid_2__t42_euclid_2.vout2021-07-25 19:15 5.5K 
[ ]euclid_2__t58_euclid_2.vmin1out2021-07-25 21:01 5.9K 
[ ]euclid_2__t46_euclid_2.vout2021-07-25 16:58 6.2K 
[ ]euclid_2__t47_euclid_2.vout2021-07-25 20:54 6.2K 
[ ]euclid_2__t24_euclid_2.vout2021-07-25 17:40 6.2K 
[ ]euclid_2__t25_euclid_2.vout2021-07-25 14:31 6.2K 
[ ]euclid_2__t27_euclid_2.vout2021-07-25 18:56 6.2K 
[ ]euclid_2__t48_euclid_2.vout2021-07-25 18:48 6.2K 
[ ]euclid_2__t49_euclid_2.vout2021-07-25 17:29 6.2K 
[ ]euclid_2__t31_euclid_2.vout2021-07-25 18:12 6.3K 
[ ]euclid_2__t21_euclid_2.vout2021-07-25 16:53 6.3K 
[ ]euclid_2__t29_euclid_2.vout2021-07-25 17:14 6.8K 
[ ]euclid_2__t41_euclid_2.vout2021-07-25 17:11 7.0K 
[ ]euclid_2__t34_euclid_2.vmin1out2021-07-25 20:59 7.0K 
[ ]euclid_2__l4_euclid_2.vout2021-07-25 17:44 7.2K 
[ ]euclid_2__t5_euclid_2.vout2021-07-25 20:02 7.2K 
[ ]euclid_2__l4_euclid_2.vmin1out2021-07-25 21:02 7.2K 
[ ]euclid_2__t5_euclid_2.vmin1out2021-07-25 20:58 7.2K 
[ ]euclid_2__t42_euclid_2.vmin1out2021-07-25 21:02 7.3K 
[ ]euclid_2__t3_euclid_2.vout2021-07-25 15:30 7.3K 
[ ]euclid_2__t2_euclid_2.vout2021-07-25 18:03 7.3K 
[ ]euclid_2__t36_euclid_2.vout2021-07-25 18:31 8.4K 
[ ]euclid_2__t34_euclid_2.vout2021-07-25 19:18 8.7K 
[ ]euclid_2__t41_euclid_2.vmin1out2021-07-25 20:58 9.3K 
[ ]euclid_2__t36_euclid_2.vmin1out2021-07-25 21:01 10K 
[ ]euclid_2__t35_euclid_2.vmin1out2021-07-25 20:58 11K 
[ ]euclid_2__t35_euclid_2.vout2021-07-25 20:28 13K 
[ ]euclid_2__t8_euclid_2.vmin1out2021-07-25 20:59 14K 
[ ]euclid_2__t37_euclid_2.vmin1out2021-07-25 21:01 15K 
[ ]euclid_2__t8_euclid_2.vout2021-07-25 18:10 16K 
[ ]euclid_2__t32_euclid_2.vout2021-07-25 15:46 16K 
[ ]euclid_2__t10_euclid_2.vout2021-07-25 18:09 17K 
[ ]euclid_2__t53_euclid_2.vmin1out2021-07-25 21:02 17K 
[ ]euclid_2__t54_euclid_2.vmin1out2021-07-25 20:58 17K 
[ ]euclid_2__t33_euclid_2.vmin1out2021-07-25 20:59 18K 
[ ]euclid_2__t10_euclid_2.vmin1out2021-07-25 21:02 18K 
[ ]euclid_2__t40_euclid_2.vmin1out2021-07-25 21:00 18K 
[ ]euclid_2__l4_euclid_22021-07-18 10:18 18K 
[ ]euclid_2__t37_euclid_2.vout2021-07-25 19:44 18K 
[ ]euclid_2__t7_euclid_2.vmin1out2021-07-25 21:02 19K 
[ ]euclid_2__t38_euclid_2.vout2021-07-25 19:05 19K 
[ ]euclid_2__t55_euclid_2.vout2021-07-25 15:44 19K 
[ ]euclid_2__t32_euclid_2.vmin1out2021-07-25 21:02 20K 
[ ]euclid_2__t38_euclid_2.vmin1out2021-07-25 21:00 21K 
[ ]euclid_2__t39_euclid_22021-07-18 09:58 21K 
[ ]euclid_2__t55_euclid_2.vmin1out2021-07-25 21:02 21K 
[ ]euclid_2__t42_euclid_22021-07-18 09:58 21K 
[ ]euclid_2__t54_euclid_2.vout2021-07-25 15:41 22K 
[ ]euclid_2__t19_euclid_2.vout2021-07-25 15:21 22K 
[ ]euclid_2__t53_euclid_2.vout2021-07-25 19:15 22K 
[ ]euclid_2__t44_euclid_22021-07-18 10:14 22K 
[ ]euclid_2__t33_euclid_2.vout2021-07-25 14:53 22K 
[ ]euclid_2__t57_euclid_2.vmin1out2021-07-25 21:02 23K 
[ ]euclid_2__t51_euclid_2.vout2021-07-25 15:31 23K 
[ ]euclid_2__t10_euclid_22021-07-18 09:54 24K 
[ ]euclid_2__t9_euclid_2.vmin1out2021-07-25 21:01 24K 
[ ]euclid_2__t44_euclid_2.vout2021-07-25 15:11 25K 
[ ]euclid_2__t51_euclid_2.vmin1out2021-07-25 20:58 25K 
[ ]euclid_2__t7_euclid_2.vout2021-07-25 18:14 25K 
[ ]euclid_2__t4_euclid_2.vmin1out2021-07-25 20:58 25K 
[ ]euclid_2__t44_euclid_2.vmin1out2021-07-25 21:01 26K 
[ ]euclid_2__t4_euclid_2.vout2021-07-25 18:41 26K 
[ ]euclid_2__t34_euclid_22021-07-18 09:57 26K 
[ ]euclid_2__t33_euclid_22021-07-18 09:56 26K 
[ ]euclid_2__t35_euclid_22021-07-18 09:57 26K 
[ ]euclid_2__t8_euclid_22021-07-18 10:03 26K 
[ ]euclid_2__t54_euclid_22021-07-18 09:59 27K 
[ ]euclid_2__t53_euclid_22021-07-18 09:59 27K 
[ ]euclid_2__t55_euclid_22021-07-18 10:00 27K 
[ ]euclid_2__t58_euclid_22021-07-18 10:00 27K 
[ ]euclid_2__t43_euclid_22021-07-18 10:13 27K 
[ ]euclid_2__t41_euclid_22021-07-18 10:13 27K 
[ ]euclid_2__t43_euclid_2.vout2021-07-25 16:37 27K 
[ ]euclid_2__t43_euclid_2.vmin1out2021-07-25 21:00 27K 
[ ]euclid_2__t9_euclid_22021-07-18 10:04 28K 
[ ]euclid_2__t57_euclid_2.vout2021-07-25 15:36 28K 
[ ]euclid_2__t52_euclid_22021-07-18 10:18 28K 
[ ]euclid_2__t32_euclid_22021-07-18 10:11 29K 
[ ]euclid_2__t38_euclid_22021-07-18 10:12 29K 
[ ]euclid_2__t36_euclid_22021-07-18 09:58 29K 
[ ]euclid_2__t19_euclid_2.vmin1out2021-07-25 20:59 29K 
[ ]euclid_2__t40_euclid_2.vout2021-07-25 15:43 30K 
[ ]euclid_2__t52_euclid_2.vout2021-07-25 16:10 30K 
[ ]euclid_2__t51_euclid_22021-07-18 10:17 30K 
[ ]euclid_2__t5_euclid_22021-07-18 10:02 30K 
[ ]euclid_2__t26_euclid_22021-07-18 09:56 30K 
[ ]euclid_2__t1_euclid_22021-07-18 10:01 31K 
[ ]euclid_2__t52_euclid_2.vmin1out2021-07-25 20:59 32K 
[ ]euclid_2__t18_euclid_22021-07-18 10:06 32K 
[ ]euclid_2__t22_euclid_22021-07-18 09:55 33K 
[ ]euclid_2__t9_euclid_2.vout2021-07-25 19:14 33K 
[ ]euclid_2__t40_euclid_22021-07-18 10:13 33K 
[ ]euclid_2__t30_euclid_22021-07-18 10:10 33K 
[ ]euclid_2__t4_euclid_22021-07-18 10:02 33K 
[ ]euclid_2__t2_euclid_22021-07-18 10:01 34K 
[ ]euclid_2__t11_euclid_22021-07-18 10:04 34K 
[ ]euclid_2__t57_euclid_22021-07-18 10:00 34K 
[ ]euclid_2__t18_euclid_2.vout2021-07-25 14:49 34K 
[ ]euclid_2__t20_euclid_22021-07-18 09:55 35K 
[ ]euclid_2__t37_euclid_22021-07-18 10:12 35K 
[ ]euclid_2__t28_euclid_22021-07-18 10:09 35K 
[ ]euclid_2__t7_euclid_22021-07-18 10:03 36K 
[ ]euclid_2__t56_euclid_22021-07-18 10:18 37K 
[ ]euclid_2__t19_euclid_22021-07-18 10:07 37K 
[ ]euclid_2__t18_euclid_2.vmin1out2021-07-25 21:01 38K 
[ ]euclid_2__t22_euclid_2.vout2021-07-25 19:32 38K 
[ ]euclid_2__t56_euclid_2.vmin1out2021-07-25 21:01 40K 
[ ]euclid_2__t45_euclid_22021-07-18 10:14 40K 
[ ]euclid_2__t25_euclid_22021-07-18 10:09 41K 
[ ]euclid_2__t27_euclid_22021-07-18 09:56 41K 
[ ]euclid_2__t1_euclid_2.vout2021-07-25 20:53 41K 
[ ]euclid_2__t22_euclid_2.vmin1out2021-07-25 20:58 41K 
[ ]euclid_2__t21_euclid_22021-07-18 10:07 42K 
[ ]euclid_2__t20_euclid_2.vmin1out2021-07-25 20:59 42K 
[ ]euclid_2__t23_euclid_22021-07-18 10:08 43K 
[ ]euclid_2__t56_euclid_2.vout2021-07-25 17:19 45K 
[ ]euclid_2__t31_euclid_22021-07-18 10:11 46K 
[ ]euclid_2__t29_euclid_22021-07-18 10:10 47K 
[ ]euclid_2__t12_euclid_22021-07-18 10:04 48K 
[ ]euclid_2__t20_euclid_2.vout2021-07-25 17:24 49K 
[ ]euclid_2__t24_euclid_22021-07-18 10:08 49K 
[ ]euclid_2__t13_euclid_22021-07-18 10:05 49K 
[ ]euclid_2__t1_euclid_2.vmin1out2021-07-25 21:01 49K 
[ ]euclid_2__t14_euclid_22021-07-18 10:05 54K 
[ ]euclid_2__t46_euclid_22021-07-18 10:15 58K 
[ ]euclid_2__t47_euclid_22021-07-18 10:15 61K 
[ ]euclid_2__t16_euclid_22021-07-18 10:06 65K 
[ ]euclid_2__t48_euclid_22021-07-18 10:16 66K 
[ ]euclid_2__t50_euclid_22021-07-18 10:17 155K 
[ ]euclid_2__t49_euclid_22021-07-18 10:16 229K 
[ ]euclid_2__t3_euclid_22021-07-18 10:02 235K 
[ ]euclid_2__t15_euclid_22021-07-18 10:06 261K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80