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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid10__l14_euclid102021-07-17 19:08 389K 
[ ]euclid10__l14_euclid10.vout2021-07-25 19:45 5.8K 
[ ]euclid10__l15_euclid102021-07-17 19:09 312K 
[ ]euclid10__l15_euclid10.vout2021-07-25 17:16 10K 
[ ]euclid10__l16_euclid102021-07-17 19:10 315K 
[ ]euclid10__l16_euclid10.vout2021-07-25 14:58 4.7K 
[ ]euclid10__l17_euclid102021-07-17 19:10 31K 
[ ]euclid10__l17_euclid10.depv12021-07-25 20:57 361  
[ ]euclid10__l17_euclid10.depvmin12021-07-25 21:03 328  
[ ]euclid10__l17_euclid10.vmin12021-07-25 20:57 2.4K 
[ ]euclid10__l17_euclid10.vmin1out2021-07-25 21:00 20K 
[ ]euclid10__l17_euclid10.vout2021-07-25 18:39 34K 
[ ]euclid10__l18_euclid102021-07-17 19:11 35K 
[ ]euclid10__l18_euclid10.depv12021-07-25 20:57 65  
[ ]euclid10__l18_euclid10.depvmin12021-07-25 21:03 65  
[ ]euclid10__l18_euclid10.vmin12021-07-25 20:57 2.1K 
[ ]euclid10__l18_euclid10.vmin1out2021-07-25 20:58 39K 
[ ]euclid10__l18_euclid10.vout2021-07-25 18:10 39K 
[ ]euclid10__l19_euclid102021-07-17 19:11 89K 
[ ]euclid10__l19_euclid10.vout2021-07-25 19:48 4.1K 
[ ]euclid10__l36_euclid102021-07-17 19:12 27K 
[ ]euclid10__l36_euclid10.depv12021-07-25 20:57 166  
[ ]euclid10__l36_euclid10.depvmin12021-07-25 21:03 166  
[ ]euclid10__l36_euclid10.vmin12021-07-25 20:57 2.9K 
[ ]euclid10__l36_euclid10.vmin1out2021-07-25 21:00 33K 
[ ]euclid10__l36_euclid10.vout2021-07-25 20:42 30K 
[ ]euclid10__l38_euclid102021-07-17 19:12 38K 
[ ]euclid10__l38_euclid10.depv12021-07-25 20:57 76  
[ ]euclid10__l38_euclid10.depvmin12021-07-25 21:03 76  
[ ]euclid10__l38_euclid10.vmin12021-07-25 20:57 1.4K 
[ ]euclid10__l38_euclid10.vmin1out2021-07-25 21:02 14K 
[ ]euclid10__l38_euclid10.vout2021-07-25 16:36 18K 
[ ]euclid10__l59_euclid102021-07-17 19:13 41K 
[ ]euclid10__l59_euclid10.vout2021-07-25 20:34 4.7K 
[ ]euclid10__l63_euclid102021-07-17 19:14 250K 
[ ]euclid10__l63_euclid10.vout2021-07-25 18:03 4.1K 
[ ]euclid10__l64_euclid102021-07-17 19:14 125K 
[ ]euclid10__l64_euclid10.vout2021-07-25 15:31 3.3K 
[ ]euclid10__t1_euclid102021-07-17 18:41 48K 
[ ]euclid10__t1_euclid10.vout2021-07-25 20:47 2.0K 
[ ]euclid10__t2_euclid102021-07-17 18:42 49K 
[ ]euclid10__t2_euclid10.vout2021-07-25 20:26 2.0K 
[ ]euclid10__t3_euclid102021-07-17 18:42 49K 
[ ]euclid10__t3_euclid10.vout2021-07-25 15:59 2.0K 
[ ]euclid10__t4_euclid102021-07-17 18:42 49K 
[ ]euclid10__t4_euclid10.vout2021-07-25 15:42 2.0K 
[ ]euclid10__t5_euclid102021-07-17 18:42 59K 
[ ]euclid10__t5_euclid10.vout2021-07-25 17:31 2.0K 
[ ]euclid10__t6_euclid102021-07-17 18:43 49K 
[ ]euclid10__t6_euclid10.vout2021-07-25 19:39 2.0K 
[ ]euclid10__t7_euclid102021-07-17 18:43 49K 
[ ]euclid10__t7_euclid10.vout2021-07-25 17:43 2.0K 
[ ]euclid10__t8_euclid102021-07-17 18:43 49K 
[ ]euclid10__t8_euclid10.vout2021-07-25 20:53 2.0K 
[ ]euclid10__t9_euclid102021-07-17 18:44 48K 
[ ]euclid10__t9_euclid10.depv12021-07-25 20:57 36  
[ ]euclid10__t9_euclid10.depvmin12021-07-25 21:03 36  
[ ]euclid10__t9_euclid10.vmin12021-07-25 20:57 1.0K 
[ ]euclid10__t9_euclid10.vmin1out2021-07-25 21:00 4.9K 
[ ]euclid10__t9_euclid10.vout2021-07-25 15:14 8.6K 
[ ]euclid10__t10_euclid102021-07-17 18:44 48K 
[ ]euclid10__t10_euclid10.depv12021-07-25 20:57 37  
[ ]euclid10__t10_euclid10.depvmin12021-07-25 21:03 37  
[ ]euclid10__t10_euclid10.vmin12021-07-25 20:57 1.0K 
[ ]euclid10__t10_euclid10.vmin1out2021-07-25 21:02 4.8K 
[ ]euclid10__t10_euclid10.vout2021-07-25 19:47 4.8K 
[ ]euclid10__t11_euclid102021-07-17 18:44 49K 
[ ]euclid10__t11_euclid10.vout2021-07-25 14:52 2.0K 
[ ]euclid10__t12_euclid102021-07-17 18:44 49K 
[ ]euclid10__t12_euclid10.vout2021-07-25 17:43 2.0K 
[ ]euclid10__t13_euclid102021-07-17 18:45 49K 
[ ]euclid10__t13_euclid10.vout2021-07-25 15:55 2.0K 
[ ]euclid10__t14_euclid102021-07-17 18:45 206K 
[ ]euclid10__t14_euclid10.vout2021-07-25 18:36 4.2K 
[ ]euclid10__t15_euclid102021-07-17 18:46 251K 
[ ]euclid10__t15_euclid10.vout2021-07-25 16:17 2.0K 
[ ]euclid10__t16_euclid102021-07-17 18:46 70K 
[ ]euclid10__t16_euclid10.vout2021-07-25 16:48 4.8K 
[ ]euclid10__t17_euclid102021-07-17 18:46 63K 
[ ]euclid10__t17_euclid10.vout2021-07-25 18:30 4.8K 
[ ]euclid10__t18_euclid102021-07-17 18:47 132K 
[ ]euclid10__t18_euclid10.vout2021-07-25 19:11 1.1K 
[ ]euclid10__t19_euclid102021-07-17 18:47 218K 
[ ]euclid10__t19_euclid10.vout2021-07-25 20:45 2.0K 
[ ]euclid10__t20_euclid102021-07-17 18:40 272K 
[ ]euclid10__t20_euclid10.vout2021-07-25 20:09 2.0K 
[ ]euclid10__t21_euclid102021-07-17 18:47 219K 
[ ]euclid10__t21_euclid10.vout2021-07-25 20:42 2.0K 
[ ]euclid10__t22_euclid102021-07-17 18:48 150K 
[ ]euclid10__t22_euclid10.vout2021-07-25 15:08 1.1K 
[ ]euclid10__t23_euclid102021-07-17 18:48 58K 
[ ]euclid10__t23_euclid10.vout2021-07-25 20:40 4.7K 
[ ]euclid10__t24_euclid102021-07-17 18:48 15K 
[ ]euclid10__t24_euclid10.vout2021-07-25 15:41 2.0K 
[ ]euclid10__t25_euclid102021-07-17 18:48 100K 
[ ]euclid10__t25_euclid10.vout2021-07-25 17:28 2.0K 
[ ]euclid10__t26_euclid102021-07-17 18:49 39K 
[ ]euclid10__t26_euclid10.vout2021-07-25 20:06 2.0K 
[ ]euclid10__t27_euclid102021-07-17 18:49 31K 
[ ]euclid10__t27_euclid10.vout2021-07-25 14:43 2.0K 
[ ]euclid10__t28_euclid102021-07-17 18:49 100K 
[ ]euclid10__t28_euclid10.vout2021-07-25 18:39 2.0K 
[ ]euclid10__t29_euclid102021-07-17 18:50 332K 
[ ]euclid10__t29_euclid10.vout2021-07-25 16:07 2.0K 
[ ]euclid10__t30_euclid102021-07-17 18:50 24K 
[ ]euclid10__t30_euclid10.vout2021-07-25 20:20 3.8K 
[ ]euclid10__t31_euclid102021-07-17 18:51 30K 
[ ]euclid10__t31_euclid10.depv12021-07-25 20:57 39  
[ ]euclid10__t31_euclid10.depvmin12021-07-25 21:03 39  
[ ]euclid10__t31_euclid10.vmin12021-07-25 20:57 1.7K 
[ ]euclid10__t31_euclid10.vmin1out2021-07-25 21:02 26K 
[ ]euclid10__t31_euclid10.vout2021-07-25 18:38 26K 
[ ]euclid10__t32_euclid102021-07-17 18:51 77K 
[ ]euclid10__t32_euclid10.vout2021-07-25 18:26 4.7K 
[ ]euclid10__t33_euclid102021-07-17 18:52 127K 
[ ]euclid10__t33_euclid10.vout2021-07-25 18:27 4.7K 
[ ]euclid10__t34_euclid102021-07-17 18:53 131K 
[ ]euclid10__t34_euclid10.vout2021-07-25 16:26 4.7K 
[ ]euclid10__t35_euclid102021-07-17 18:53 132K 
[ ]euclid10__t35_euclid10.vout2021-07-25 14:39 4.7K 
[ ]euclid10__t36_euclid102021-07-17 18:54 29K 
[ ]euclid10__t36_euclid10.vout2021-07-25 17:26 5.9K 
[ ]euclid10__t37_euclid102021-07-17 18:55 28K 
[ ]euclid10__t37_euclid10.vout2021-07-25 18:55 4.1K 
[ ]euclid10__t38_euclid102021-07-17 18:55 28K 
[ ]euclid10__t38_euclid10.depv12021-07-25 20:57 162  
[ ]euclid10__t38_euclid10.depvmin12021-07-25 21:03 162  
[ ]euclid10__t38_euclid10.vmin12021-07-25 20:57 1.4K 
[ ]euclid10__t38_euclid10.vmin1out2021-07-25 21:01 17K 
[ ]euclid10__t38_euclid10.vout2021-07-25 18:30 17K 
[ ]euclid10__t39_euclid102021-07-17 18:56 359K 
[ ]euclid10__t39_euclid10.vout2021-07-25 16:26 6.8K 
[ ]euclid10__t40_euclid102021-07-17 18:56 32K 
[ ]euclid10__t40_euclid10.vout2021-07-25 20:44 7.3K 
[ ]euclid10__t41_euclid102021-07-17 18:57 301K 
[ ]euclid10__t41_euclid10.vout2021-07-25 16:49 3.2K 
[ ]euclid10__t42_euclid102021-07-17 18:58 72K 
[ ]euclid10__t42_euclid10.vout2021-07-25 15:28 3.2K 
[ ]euclid10__t43_euclid102021-07-17 18:58 113K 
[ ]euclid10__t43_euclid10.vout2021-07-25 18:37 3.3K 
[ ]euclid10__t44_euclid102021-07-17 18:59 33K 
[ ]euclid10__t44_euclid10.vout2021-07-25 14:26 4.7K 
[ ]euclid10__t45_euclid102021-07-17 18:59 34K 
[ ]euclid10__t45_euclid10.vout2021-07-25 16:11 4.1K 
[ ]euclid10__t46_euclid102021-07-17 18:41 30K 
[ ]euclid10__t46_euclid10.vout2021-07-25 14:51 4.1K 
[ ]euclid10__t47_euclid102021-07-17 19:00 39K 
[ ]euclid10__t47_euclid10.vout2021-07-25 16:04 4.1K 
[ ]euclid10__t48_euclid102021-07-17 19:01 39K 
[ ]euclid10__t48_euclid10.vout2021-07-25 14:36 4.1K 
[ ]euclid10__t49_euclid102021-07-17 19:01 39K 
[ ]euclid10__t49_euclid10.vout2021-07-25 17:03 4.1K 
[ ]euclid10__t50_euclid102021-07-17 19:02 40K 
[ ]euclid10__t50_euclid10.vout2021-07-25 19:35 4.1K 
[ ]euclid10__t51_euclid102021-07-17 19:02 116K 
[ ]euclid10__t51_euclid10.vout2021-07-25 20:13 4.2K 
[ ]euclid10__t52_euclid102021-07-17 19:03 144K 
[ ]euclid10__t52_euclid10.vout2021-07-25 16:59 4.1K 
[ ]euclid10__t53_euclid102021-07-17 19:04 254K 
[ ]euclid10__t53_euclid10.vout2021-07-25 19:31 4.2K 
[ ]euclid10__t54_euclid102021-07-17 19:04 31K 
[ ]euclid10__t54_euclid10.depv12021-07-25 20:57 39  
[ ]euclid10__t54_euclid10.depvmin12021-07-25 21:03 39  
[ ]euclid10__t54_euclid10.vmin12021-07-25 20:57 1.6K 
[ ]euclid10__t54_euclid10.vmin1out2021-07-25 21:00 16K 
[ ]euclid10__t54_euclid10.vout2021-07-25 19:01 17K 
[ ]euclid10__t55_euclid102021-07-17 19:05 144K 
[ ]euclid10__t55_euclid10.vout2021-07-25 15:17 4.1K 
[ ]euclid10__t56_euclid102021-07-17 19:05 257K 
[ ]euclid10__t56_euclid10.vout2021-07-25 17:42 4.7K 
[ ]euclid10__t57_euclid102021-07-17 19:06 94K 
[ ]euclid10__t57_euclid10.vout2021-07-25 19:44 4.7K 
[ ]euclid10__t58_euclid102021-07-17 19:07 41K 
[ ]euclid10__t58_euclid10.vout2021-07-25 14:24 7.3K 
[ ]euclid10__t59_euclid102021-07-17 19:08 233K 
[ ]euclid10__t59_euclid10.vout2021-07-25 18:26 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80