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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_6__t52_euclid_6.vout2021-07-25 17:13 11K 
[ ]euclid_6__t52_euclid_6.vmin1out2021-07-25 21:01 17K 
[ ]euclid_6__t52_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t52_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t52_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t52_euclid_62021-07-17 17:27 40K 
[ ]euclid_6__t51_euclid_6.vout2021-07-25 16:25 11K 
[ ]euclid_6__t51_euclid_6.vmin1out2021-07-25 20:58 14K 
[ ]euclid_6__t51_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t51_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t51_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t51_euclid_62021-07-17 17:26 40K 
[ ]euclid_6__t50_euclid_6.vout2021-07-25 19:17 37K 
[ ]euclid_6__t50_euclid_6.vmin1out2021-07-25 21:01 47K 
[ ]euclid_6__t50_euclid_6.vmin12021-07-25 20:57 2.2K 
[ ]euclid_6__t50_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t50_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t50_euclid_62021-07-17 17:25 92K 
[ ]euclid_6__t49_euclid_6.vout2021-07-25 18:39 9.1K 
[ ]euclid_6__t49_euclid_6.vmin1out2021-07-25 21:00 7.4K 
[ ]euclid_6__t49_euclid_6.vmin12021-07-25 20:57 703  
[ ]euclid_6__t49_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t49_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t49_euclid_62021-07-17 17:24 12K 
[ ]euclid_6__t48_euclid_6.vout2021-07-25 17:28 12K 
[ ]euclid_6__t48_euclid_6.vmin1out2021-07-25 21:00 16K 
[ ]euclid_6__t48_euclid_6.vmin12021-07-25 20:57 911  
[ ]euclid_6__t48_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t48_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t48_euclid_62021-07-17 17:24 88K 
[ ]euclid_6__t47_euclid_6.vout2021-07-25 15:16 12K 
[ ]euclid_6__t47_euclid_6.vmin1out2021-07-25 21:01 11K 
[ ]euclid_6__t47_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t47_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t47_euclid_6.depv12021-07-25 20:57 25  
[ ]euclid_6__t47_euclid_62021-07-17 17:23 99K 
[ ]euclid_6__t46_euclid_6.vout2021-07-25 16:00 12K 
[ ]euclid_6__t46_euclid_6.vmin1out2021-07-25 20:59 11K 
[ ]euclid_6__t46_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t46_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t46_euclid_6.depv12021-07-25 20:57 25  
[ ]euclid_6__t46_euclid_62021-07-17 17:23 108K 
[ ]euclid_6__t45_euclid_6.vout2021-07-25 19:15 10K 
[ ]euclid_6__t45_euclid_6.vmin1out2021-07-25 20:58 11K 
[ ]euclid_6__t45_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t45_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t45_euclid_6.depv12021-07-25 20:57 25  
[ ]euclid_6__t45_euclid_62021-07-17 17:22 93K 
[ ]euclid_6__t44_euclid_6.vout2021-07-25 20:04 10K 
[ ]euclid_6__t44_euclid_6.vmin1out2021-07-25 20:57 11K 
[ ]euclid_6__t44_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t44_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t44_euclid_6.depv12021-07-25 20:57 25  
[ ]euclid_6__t44_euclid_62021-07-17 17:21 69K 
[ ]euclid_6__t43_euclid_6.vout2021-07-25 17:41 4.1K 
[ ]euclid_6__t43_euclid_6.vmin1out2021-07-25 21:02 4.1K 
[ ]euclid_6__t43_euclid_6.vmin12021-07-25 20:57 486  
[ ]euclid_6__t43_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t43_euclid_6.depv12021-07-25 20:57 25  
[ ]euclid_6__t43_euclid_62021-07-17 17:21 36K 
[ ]euclid_6__t42_euclid_6.vout2021-07-25 19:18 8.5K 
[ ]euclid_6__t42_euclid_6.vmin1out2021-07-25 21:00 7.3K 
[ ]euclid_6__t42_euclid_6.vmin12021-07-25 20:57 503  
[ ]euclid_6__t42_euclid_6.depvmin12021-07-25 21:03 25  
[ ]euclid_6__t42_euclid_6.depv12021-07-25 20:57 49  
[ ]euclid_6__t42_euclid_62021-07-17 17:20 36K 
[ ]euclid_6__t41_euclid_6.vout2021-07-25 18:46 5.5K 
[ ]euclid_6__t41_euclid_6.vmin1out2021-07-25 21:01 6.8K 
[ ]euclid_6__t41_euclid_6.vmin12021-07-25 20:57 667  
[ ]euclid_6__t41_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t41_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t41_euclid_62021-07-17 17:19 38K 
[ ]euclid_6__t40_euclid_6.vout2021-07-25 16:58 6.8K 
[ ]euclid_6__t40_euclid_62021-07-17 17:58 569K 
[ ]euclid_6__t39_euclid_6.vout2021-07-25 15:49 4.7K 
[ ]euclid_6__t39_euclid_62021-07-17 17:57 771K 
[ ]euclid_6__t38_euclid_6.vout2021-07-25 18:56 6.8K 
[ ]euclid_6__t38_euclid_62021-07-17 17:57 115K 
[ ]euclid_6__t37_euclid_6.vout2021-07-25 17:59 4.7K 
[ ]euclid_6__t37_euclid_62021-07-17 17:56 125K 
[ ]euclid_6__t36_euclid_6.vout2021-07-25 17:41 6.8K 
[ ]euclid_6__t36_euclid_62021-07-17 17:55 232K 
[ ]euclid_6__t35_euclid_6.vout2021-07-25 20:24 7.4K 
[ ]euclid_6__t35_euclid_62021-07-17 17:54 88K 
[ ]euclid_6__t34_euclid_6.vout2021-07-25 17:39 4.7K 
[ ]euclid_6__t34_euclid_62021-07-17 17:53 198K 
[ ]euclid_6__t33_euclid_6.vout2021-07-25 19:10 6.8K 
[ ]euclid_6__t33_euclid_62021-07-17 17:53 609K 
[ ]euclid_6__t32_euclid_6.vout2021-07-25 16:57 7.3K 
[ ]euclid_6__t32_euclid_62021-07-17 17:52 68K 
[ ]euclid_6__t31_euclid_6.vout2021-07-25 17:15 6.8K 
[ ]euclid_6__t31_euclid_62021-07-17 17:51 659K 
[ ]euclid_6__t30_euclid_6.vout2021-07-25 17:38 7.4K 
[ ]euclid_6__t30_euclid_62021-07-17 17:50 49K 
[ ]euclid_6__t29_euclid_6.vout2021-07-25 14:32 13K 
[ ]euclid_6__t29_euclid_6.vmin1out2021-07-25 21:00 14K 
[ ]euclid_6__t29_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__t29_euclid_6.depvmin12021-07-25 21:03 26  
[ ]euclid_6__t29_euclid_6.depv12021-07-25 20:57 26  
[ ]euclid_6__t29_euclid_62021-07-17 17:19 42K 
[ ]euclid_6__t28_euclid_6.vout2021-07-25 18:49 6.8K 
[ ]euclid_6__t28_euclid_62021-07-17 17:49 345K 
[ ]euclid_6__t27_euclid_6.vout2021-07-25 14:25 6.8K 
[ ]euclid_6__t27_euclid_62021-07-17 17:48 530K 
[ ]euclid_6__t26_euclid_6.vout2021-07-25 20:00 6.8K 
[ ]euclid_6__t26_euclid_62021-07-17 17:47 531K 
[ ]euclid_6__t25_euclid_6.vout2021-07-25 17:02 6.9K 
[ ]euclid_6__t25_euclid_62021-07-17 17:46 554K 
[ ]euclid_6__t24_euclid_6.vout2021-07-25 19:34 12K 
[ ]euclid_6__t24_euclid_6.vmin1out2021-07-25 21:02 16K 
[ ]euclid_6__t24_euclid_6.vmin12021-07-25 20:57 938  
[ ]euclid_6__t24_euclid_6.depvmin12021-07-25 21:03 38  
[ ]euclid_6__t24_euclid_6.depv12021-07-25 20:57 38  
[ ]euclid_6__t24_euclid_62021-07-17 17:46 72K 
[ ]euclid_6__t23_euclid_6.vout2021-07-25 15:35 5.3K 
[ ]euclid_6__t23_euclid_62021-07-17 17:45 352K 
[ ]euclid_6__t22_euclid_6.vout2021-07-25 20:43 4.7K 
[ ]euclid_6__t22_euclid_62021-07-17 17:44 546K 
[ ]euclid_6__t21_euclid_6.vout2021-07-25 20:55 4.7K 
[ ]euclid_6__t21_euclid_62021-07-17 17:43 546K 
[ ]euclid_6__t20_euclid_6.vout2021-07-25 19:21 7.3K 
[ ]euclid_6__t20_euclid_62021-07-17 17:43 81K 
[ ]euclid_6__t19_euclid_6.vout2021-07-25 17:06 7.3K 
[ ]euclid_6__t19_euclid_62021-07-17 17:42 372K 
[ ]euclid_6__t18_euclid_6.vout2021-07-25 18:51 6.8K 
[ ]euclid_6__t18_euclid_62021-07-17 17:41 562K 
[ ]euclid_6__t17_euclid_6.vout2021-07-25 20:50 8.4K 
[ ]euclid_6__t17_euclid_62021-07-17 17:40 62K 
[ ]euclid_6__t16_euclid_6.vout2021-07-25 16:48 4.8K 
[ ]euclid_6__t16_euclid_62021-07-17 17:39 268K 
[ ]euclid_6__t15_euclid_6.vout2021-07-25 20:15 7.3K 
[ ]euclid_6__t15_euclid_62021-07-17 17:39 359K 
[ ]euclid_6__t14_euclid_6.vout2021-07-25 20:07 6.8K 
[ ]euclid_6__t14_euclid_62021-07-17 17:38 415K 
[ ]euclid_6__t13_euclid_6.vout2021-07-25 15:47 6.8K 
[ ]euclid_6__t13_euclid_62021-07-17 17:37 221K 
[ ]euclid_6__t12_euclid_6.vout2021-07-25 19:17 8.4K 
[ ]euclid_6__t12_euclid_62021-07-17 17:36 66K 
[ ]euclid_6__t11_euclid_6.vout2021-07-25 15:20 6.8K 
[ ]euclid_6__t11_euclid_62021-07-17 17:35 428K 
[ ]euclid_6__t10_euclid_6.vout2021-07-25 20:47 19K 
[ ]euclid_6__t10_euclid_6.vmin1out2021-07-25 21:02 18K 
[ ]euclid_6__t10_euclid_6.vmin12021-07-25 20:57 1.5K 
[ ]euclid_6__t10_euclid_6.depvmin12021-07-25 21:03 51  
[ ]euclid_6__t10_euclid_6.depv12021-07-25 20:57 75  
[ ]euclid_6__t10_euclid_62021-07-17 17:35 84K 
[ ]euclid_6__t9_euclid_6.vout2021-07-25 19:58 6.8K 
[ ]euclid_6__t9_euclid_62021-07-17 17:34 229K 
[ ]euclid_6__t8_euclid_6.vout2021-07-25 15:29 6.8K 
[ ]euclid_6__t8_euclid_62021-07-17 17:33 233K 
[ ]euclid_6__t7_euclid_6.vout2021-07-25 19:19 4.7K 
[ ]euclid_6__t7_euclid_62021-07-17 17:32 273K 
[ ]euclid_6__t6_euclid_6.vout2021-07-25 19:49 4.7K 
[ ]euclid_6__t6_euclid_62021-07-17 17:31 206K 
[ ]euclid_6__t5_euclid_6.vout2021-07-25 20:02 4.7K 
[ ]euclid_6__t5_euclid_62021-07-17 17:30 211K 
[ ]euclid_6__t4_euclid_6.vout2021-07-25 20:20 5.3K 
[ ]euclid_6__t4_euclid_62021-07-17 17:30 203K 
[ ]euclid_6__t3_euclid_6.vout2021-07-25 16:39 4.7K 
[ ]euclid_6__t3_euclid_62021-07-17 17:29 266K 
[ ]euclid_6__t2_euclid_6.vout2021-07-25 14:57 4.7K 
[ ]euclid_6__t2_euclid_62021-07-17 17:28 266K 
[ ]euclid_6__t1_euclid_6.vout2021-07-25 16:24 7.3K 
[ ]euclid_6__t1_euclid_62021-07-17 17:27 74K 
[ ]euclid_6__l61_euclid_6.vout2021-07-25 14:42 7.3K 
[ ]euclid_6__l61_euclid_62021-07-17 18:14 62K 
[ ]euclid_6__l60_euclid_6.vout2021-07-25 20:25 7.3K 
[ ]euclid_6__l60_euclid_62021-07-17 18:13 50K 
[ ]euclid_6__l48_euclid_6.vout2021-07-25 18:29 7.4K 
[ ]euclid_6__l48_euclid_62021-07-17 18:12 43K 
[ ]euclid_6__l47_euclid_6.vout2021-07-25 18:58 4.7K 
[ ]euclid_6__l47_euclid_62021-07-17 18:11 68K 
[ ]euclid_6__l43_euclid_6.vout2021-07-25 19:32 4.7K 
[ ]euclid_6__l43_euclid_62021-07-17 18:10 224K 
[ ]euclid_6__l41_euclid_6.vout2021-07-25 17:51 4.8K 
[ ]euclid_6__l41_euclid_62021-07-17 18:09 223K 
[ ]euclid_6__l29_euclid_6.vout2021-07-25 19:55 6.8K 
[ ]euclid_6__l29_euclid_62021-07-17 18:09 77K 
[ ]euclid_6__l20_euclid_6.vout2021-07-25 20:22 4.8K 
[ ]euclid_6__l20_euclid_62021-07-17 18:08 207K 
[ ]euclid_6__l19_euclid_6.vout2021-07-25 15:45 5.3K 
[ ]euclid_6__l19_euclid_62021-07-17 18:07 205K 
[ ]euclid_6__l17_euclid_6.vout2021-07-25 16:04 7.4K 
[ ]euclid_6__l17_euclid_62021-07-17 18:06 442K 
[ ]euclid_6__l16_euclid_6.vout2021-07-25 15:29 13K 
[ ]euclid_6__l16_euclid_6.vmin1out2021-07-25 20:57 13K 
[ ]euclid_6__l16_euclid_6.vmin12021-07-25 20:57 1.2K 
[ ]euclid_6__l16_euclid_6.depvmin12021-07-25 21:03 75  
[ ]euclid_6__l16_euclid_6.depv12021-07-25 20:57 75  
[ ]euclid_6__l16_euclid_62021-07-17 18:06 20K 
[ ]euclid_6__l15_euclid_6.vout2021-07-25 14:44 7.4K 
[ ]euclid_6__l15_euclid_62021-07-17 18:05 55K 
[ ]euclid_6__l14_euclid_6.vout2021-07-25 20:40 11K 
[ ]euclid_6__l14_euclid_6.vmin1out2021-07-25 20:59 11K 
[ ]euclid_6__l14_euclid_6.vmin12021-07-25 20:57 1.0K 
[ ]euclid_6__l14_euclid_6.depvmin12021-07-25 21:03 62  
[ ]euclid_6__l14_euclid_6.depv12021-07-25 20:57 62  
[ ]euclid_6__l14_euclid_62021-07-17 18:05 20K 
[ ]euclid_6__l13_euclid_6.vout2021-07-25 17:26 7.3K 
[ ]euclid_6__l13_euclid_62021-07-17 18:05 54K 
[ ]euclid_6__l12_euclid_6.vout2021-07-25 16:19 13K 
[ ]euclid_6__l12_euclid_6.vmin1out2021-07-25 21:01 13K 
[ ]euclid_6__l12_euclid_6.vmin12021-07-25 20:57 944  
[ ]euclid_6__l12_euclid_6.depvmin12021-07-25 21:03 75  
[ ]euclid_6__l12_euclid_6.depv12021-07-25 20:57 75  
[ ]euclid_6__l12_euclid_62021-07-17 18:04 16K 
[ ]euclid_6__l11_euclid_6.vout2021-07-25 19:02 13K 
[ ]euclid_6__l11_euclid_6.vmin1out2021-07-25 20:59 14K 
[ ]euclid_6__l11_euclid_6.vmin12021-07-25 20:57 1.3K 
[ ]euclid_6__l11_euclid_6.depvmin12021-07-25 21:03 102  
[ ]euclid_6__l11_euclid_6.depv12021-07-25 20:57 140  
[ ]euclid_6__l11_euclid_62021-07-17 18:04 33K 
[ ]euclid_6__l10_euclid_6.vout2021-07-25 16:17 5.3K 
[ ]euclid_6__l10_euclid_62021-07-17 18:03 203K 
[ ]euclid_6__l9_euclid_6.vout2021-07-25 17:00 7.3K 
[ ]euclid_6__l9_euclid_62021-07-17 18:03 172K 
[ ]euclid_6__l8_euclid_6.vout2021-07-25 20:01 7.3K 
[ ]euclid_6__l8_euclid_62021-07-17 18:02 135K 
[ ]euclid_6__l7_euclid_6.vout2021-07-25 17:39 6.8K 
[ ]euclid_6__l7_euclid_62021-07-17 18:01 101K 
[ ]euclid_6__l6_euclid_6.vout2021-07-25 17:44 6.8K 
[ ]euclid_6__l6_euclid_62021-07-17 18:01 73K 
[ ]euclid_6__l2_euclid_6.vout2021-07-25 17:16 4.1K 
[ ]euclid_6__l2_euclid_62021-07-17 18:00 38K 
[ ]euclid_6__l1_euclid_6.vout2021-07-25 16:49 25K 
[ ]euclid_6__l1_euclid_6.vmin1out2021-07-25 20:58 27K 
[ ]euclid_6__l1_euclid_6.vmin12021-07-25 20:57 2.5K 
[ ]euclid_6__l1_euclid_6.depvmin12021-07-25 21:03 184  
[ ]euclid_6__l1_euclid_6.depv12021-07-25 20:57 208  
[ ]euclid_6__l1_euclid_62021-07-17 17:59 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80