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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_axiom__l19_pl_axiom2024-07-28 07:14 14K 
[ ]pl_axiom__l19_pl_axiom.vout2024-08-03 08:33 3.7K 
[ ]pl_axiom__t1_pl_axiom2024-07-28 05:33 15K 
[ ]pl_axiom__t1_pl_axiom.depv12024-08-03 10:19 56  
[ ]pl_axiom__t1_pl_axiom.vmin12024-08-03 10:20 751  
[ ]pl_axiom__t1_pl_axiom.vmin1out2024-08-03 10:21 3.8K 
[ ]pl_axiom__t1_pl_axiom.vout2024-08-03 08:15 14K 
[ ]pl_axiom__t2_pl_axiom2024-07-28 05:34 23K 
[ ]pl_axiom__t2_pl_axiom.depv12024-08-03 10:19 437  
[ ]pl_axiom__t2_pl_axiom.vmin12024-08-03 10:20 2.3K 
[ ]pl_axiom__t2_pl_axiom.vmin1out2024-08-03 10:23 13K 
[ ]pl_axiom__t2_pl_axiom.vout2024-08-03 06:11 50K 
[ ]pl_axiom__t3_pl_axiom2024-07-28 05:35 21K 
[ ]pl_axiom__t3_pl_axiom.depv12024-08-03 10:19 469  
[ ]pl_axiom__t3_pl_axiom.vmin12024-08-03 10:20 2.4K 
[ ]pl_axiom__t3_pl_axiom.vmin1out2024-08-03 10:21 14K 
[ ]pl_axiom__t3_pl_axiom.vout2024-08-03 05:53 40K 
[ ]pl_axiom__t4_pl_axiom2024-07-28 05:36 21K 
[ ]pl_axiom__t4_pl_axiom.depv12024-08-03 10:19 423  
[ ]pl_axiom__t4_pl_axiom.vmin12024-08-03 10:20 2.2K 
[ ]pl_axiom__t4_pl_axiom.vmin1out2024-08-03 10:21 15K 
[ ]pl_axiom__t4_pl_axiom.vout2024-08-03 10:07 32K 
[ ]pl_axiom__t5_pl_axiom2024-07-28 05:37 21K 
[ ]pl_axiom__t5_pl_axiom.depv12024-08-03 10:19 423  
[ ]pl_axiom__t5_pl_axiom.vmin12024-08-03 10:20 2.2K 
[ ]pl_axiom__t5_pl_axiom.vmin1out2024-08-03 10:23 15K 
[ ]pl_axiom__t5_pl_axiom.vout2024-08-03 07:10 33K 
[ ]pl_axiom__t6_pl_axiom2024-07-28 05:38 23K 
[ ]pl_axiom__t6_pl_axiom.depv12024-08-03 10:19 478  
[ ]pl_axiom__t6_pl_axiom.vmin12024-08-03 10:20 2.6K 
[ ]pl_axiom__t6_pl_axiom.vmin1out2024-08-03 10:21 15K 
[ ]pl_axiom__t6_pl_axiom.vout2024-08-03 10:08 66K 
[ ]pl_axiom__t7_pl_axiom2024-07-28 05:39 30K 
[ ]pl_axiom__t7_pl_axiom.depv12024-08-03 10:19 494  
[ ]pl_axiom__t7_pl_axiom.vmin12024-08-03 10:20 2.6K 
[ ]pl_axiom__t7_pl_axiom.vmin1out2024-08-03 10:22 15K 
[ ]pl_axiom__t7_pl_axiom.vout2024-08-03 06:32 62K 
[ ]pl_axiom__t8_pl_axiom2024-07-28 05:40 20K 
[ ]pl_axiom__t8_pl_axiom.depv12024-08-03 10:19 441  
[ ]pl_axiom__t8_pl_axiom.vmin12024-08-03 10:20 2.4K 
[ ]pl_axiom__t8_pl_axiom.vmin1out2024-08-03 10:21 15K 
[ ]pl_axiom__t8_pl_axiom.vout2024-08-03 06:23 40K 
[ ]pl_axiom__t9_pl_axiom2024-07-28 05:41 21K 
[ ]pl_axiom__t9_pl_axiom.depv12024-08-03 10:19 482  
[ ]pl_axiom__t9_pl_axiom.vmin12024-08-03 10:20 2.5K 
[ ]pl_axiom__t9_pl_axiom.vmin1out2024-08-03 10:20 15K 
[ ]pl_axiom__t9_pl_axiom.vout2024-08-03 09:08 30K 
[ ]pl_axiom__t10_pl_axiom2024-07-28 05:43 21K 
[ ]pl_axiom__t10_pl_axiom.depv12024-08-03 10:19 606  
[ ]pl_axiom__t10_pl_axiom.vmin12024-08-03 10:20 3.2K 
[ ]pl_axiom__t10_pl_axiom.vmin1out2024-08-03 10:21 17K 
[ ]pl_axiom__t10_pl_axiom.vout2024-08-03 04:42 97K 
[ ]pl_axiom__t11_pl_axiom2024-07-28 05:44 21K 
[ ]pl_axiom__t11_pl_axiom.depv12024-08-03 10:19 517  
[ ]pl_axiom__t11_pl_axiom.vmin12024-08-03 10:20 2.6K 
[ ]pl_axiom__t11_pl_axiom.vmin1out2024-08-03 10:21 16K 
[ ]pl_axiom__t11_pl_axiom.vout2024-08-03 09:29 41K 
[ ]pl_axiom__t12_pl_axiom2024-07-28 05:45 30K 
[ ]pl_axiom__t12_pl_axiom.depv12024-08-03 10:19 465  
[ ]pl_axiom__t12_pl_axiom.vmin12024-08-03 10:20 2.6K 
[ ]pl_axiom__t12_pl_axiom.vmin1out2024-08-03 10:23 16K 
[ ]pl_axiom__t12_pl_axiom.vout2024-08-03 07:09 46K 
[ ]pl_axiom__t13_pl_axiom2024-07-28 05:46 20K 
[ ]pl_axiom__t13_pl_axiom.depv12024-08-03 10:19 442  
[ ]pl_axiom__t13_pl_axiom.vmin12024-08-03 10:20 2.4K 
[ ]pl_axiom__t13_pl_axiom.vmin1out2024-08-03 10:22 14K 
[ ]pl_axiom__t13_pl_axiom.vout2024-08-03 09:27 33K 
[ ]pl_axiom__t14_pl_axiom2024-07-28 05:47 21K 
[ ]pl_axiom__t14_pl_axiom.depv12024-08-03 10:19 580  
[ ]pl_axiom__t14_pl_axiom.vmin12024-08-03 10:20 3.0K 
[ ]pl_axiom__t14_pl_axiom.vmin1out2024-08-03 10:20 17K 
[ ]pl_axiom__t14_pl_axiom.vout2024-08-03 05:31 59K 
[ ]pl_axiom__t15_pl_axiom2024-07-28 05:48 21K 
[ ]pl_axiom__t15_pl_axiom.depv12024-08-03 10:19 649  
[ ]pl_axiom__t15_pl_axiom.vmin12024-08-03 10:20 3.2K 
[ ]pl_axiom__t15_pl_axiom.vmin1out2024-08-03 10:22 13K 
[ ]pl_axiom__t15_pl_axiom.vout2024-08-03 09:18 98K 
[ ]pl_axiom__t16_pl_axiom2024-07-28 05:49 15K 
[ ]pl_axiom__t16_pl_axiom.vout2024-08-03 09:32 7.3K 
[ ]pl_axiom__t17_pl_axiom2024-07-28 05:51 28K 
[ ]pl_axiom__t17_pl_axiom.vout2024-08-03 08:21 8.4K 
[ ]pl_axiom__t18_pl_axiom2024-07-28 05:52 77K 
[ ]pl_axiom__t18_pl_axiom.vout2024-08-03 05:26 6.8K 
[ ]pl_axiom__t19_pl_axiom2024-07-28 05:54 44K 
[ ]pl_axiom__t19_pl_axiom.vout2024-08-03 06:16 7.3K 
[ ]pl_axiom__t20_pl_axiom2024-07-28 05:55 38K 
[ ]pl_axiom__t20_pl_axiom.vout2024-08-03 09:34 2.0K 
[ ]pl_axiom__t21_pl_axiom2024-07-28 05:56 45K 
[ ]pl_axiom__t21_pl_axiom.vout2024-08-03 07:33 7.3K 
[ ]pl_axiom__t22_pl_axiom2024-07-28 05:58 37K 
[ ]pl_axiom__t22_pl_axiom.vout2024-08-03 09:21 2.0K 
[ ]pl_axiom__t23_pl_axiom2024-07-28 05:59 44K 
[ ]pl_axiom__t23_pl_axiom.vout2024-08-03 08:37 7.3K 
[ ]pl_axiom__t24_pl_axiom2024-07-28 06:01 46K 
[ ]pl_axiom__t24_pl_axiom.vout2024-08-03 08:43 6.8K 
[ ]pl_axiom__t25_pl_axiom2024-07-28 06:03 79K 
[ ]pl_axiom__t25_pl_axiom.vout2024-08-03 09:49 7.3K 
[ ]pl_axiom__t26_pl_axiom2024-07-28 06:04 78K 
[ ]pl_axiom__t26_pl_axiom.vout2024-08-03 05:15 6.8K 
[ ]pl_axiom__t27_pl_axiom2024-07-28 06:05 19K 
[ ]pl_axiom__t27_pl_axiom.vout2024-08-03 04:18 2.0K 
[ ]pl_axiom__t28_pl_axiom2024-07-28 06:07 44K 
[ ]pl_axiom__t28_pl_axiom.vout2024-08-03 08:02 7.4K 
[ ]pl_axiom__t29_pl_axiom2024-07-28 06:08 386K 
[ ]pl_axiom__t29_pl_axiom.vout2024-08-03 06:29 7.4K 
[ ]pl_axiom__t30_pl_axiom2024-07-28 06:10 78K 
[ ]pl_axiom__t30_pl_axiom.vout2024-08-03 04:14 7.4K 
[ ]pl_axiom__t31_pl_axiom2024-07-28 06:11 78K 
[ ]pl_axiom__t31_pl_axiom.vout2024-08-03 08:08 7.3K 
[ ]pl_axiom__t32_pl_axiom2024-07-28 06:13 79K 
[ ]pl_axiom__t32_pl_axiom.vout2024-08-03 07:49 7.4K 
[ ]pl_axiom__t33_pl_axiom2024-07-28 06:15 79K 
[ ]pl_axiom__t33_pl_axiom.vout2024-08-03 08:30 7.4K 
[ ]pl_axiom__t34_pl_axiom2024-07-28 06:16 78K 
[ ]pl_axiom__t34_pl_axiom.vout2024-08-03 06:16 7.4K 
[ ]pl_axiom__t35_pl_axiom2024-07-28 06:18 78K 
[ ]pl_axiom__t35_pl_axiom.vout2024-08-03 10:13 7.4K 
[ ]pl_axiom__t36_pl_axiom2024-07-28 06:19 79K 
[ ]pl_axiom__t36_pl_axiom.vout2024-08-03 09:42 2.0K 
[ ]pl_axiom__t37_pl_axiom2024-07-28 06:21 780K 
[ ]pl_axiom__t37_pl_axiom.vout2024-08-03 08:43 2.0K 
[ ]pl_axiom__t38_pl_axiom2024-07-28 06:23 79K 
[ ]pl_axiom__t38_pl_axiom.vout2024-08-03 07:33 2.0K 
[ ]pl_axiom__t39_pl_axiom2024-07-28 06:26 2.9M 
[ ]pl_axiom__t39_pl_axiom.vout2024-08-03 07:16 2.0K 
[ ]pl_axiom__t40_pl_axiom2024-07-28 06:27 629K 
[ ]pl_axiom__t40_pl_axiom.vout2024-08-03 04:31 2.0K 
[ ]pl_axiom__t41_pl_axiom2024-07-28 06:30 1.8M 
[ ]pl_axiom__t41_pl_axiom.vout2024-08-03 06:51 2.0K 
[ ]pl_axiom__t42_pl_axiom2024-07-28 06:31 78K 
[ ]pl_axiom__t42_pl_axiom.vout2024-08-03 09:28 2.0K 
[ ]pl_axiom__t43_pl_axiom2024-07-28 06:33 80K 
[ ]pl_axiom__t43_pl_axiom.vout2024-08-03 05:33 2.0K 
[ ]pl_axiom__t44_pl_axiom2024-07-28 06:34 80K 
[ ]pl_axiom__t44_pl_axiom.vout2024-08-03 08:27 2.0K 
[ ]pl_axiom__t45_pl_axiom2024-07-28 06:36 79K 
[ ]pl_axiom__t45_pl_axiom.vout2024-08-03 04:55 7.4K 
[ ]pl_axiom__t46_pl_axiom2024-07-28 06:38 120K 
[ ]pl_axiom__t46_pl_axiom.vout2024-08-03 09:23 7.4K 
[ ]pl_axiom__t47_pl_axiom2024-07-28 06:39 44K 
[ ]pl_axiom__t47_pl_axiom.vout2024-08-03 09:08 7.3K 
[ ]pl_axiom__t48_pl_axiom2024-07-28 06:41 28K 
[ ]pl_axiom__t48_pl_axiom.vout2024-08-03 06:28 7.3K 
[ ]pl_axiom__t49_pl_axiom2024-07-28 06:42 30K 
[ ]pl_axiom__t49_pl_axiom.vout2024-08-03 07:17 2.0K 
[ ]pl_axiom__t50_pl_axiom2024-07-28 06:43 31K 
[ ]pl_axiom__t50_pl_axiom.vout2024-08-03 10:15 6.8K 
[ ]pl_axiom__t51_pl_axiom2024-07-28 06:45 49K 
[ ]pl_axiom__t51_pl_axiom.vout2024-08-03 08:12 7.4K 
[ ]pl_axiom__t52_pl_axiom2024-07-28 06:46 49K 
[ ]pl_axiom__t52_pl_axiom.vout2024-08-03 07:12 4.7K 
[ ]pl_axiom__t53_pl_axiom2024-07-28 06:48 25K 
[ ]pl_axiom__t53_pl_axiom.vout2024-08-03 05:51 8.4K 
[ ]pl_axiom__t54_pl_axiom2024-07-28 06:49 39K 
[ ]pl_axiom__t54_pl_axiom.vout2024-08-03 05:57 7.3K 
[ ]pl_axiom__t55_pl_axiom2024-07-28 06:50 34K 
[ ]pl_axiom__t55_pl_axiom.vout2024-08-03 07:31 7.3K 
[ ]pl_axiom__t56_pl_axiom2024-07-28 06:52 35K 
[ ]pl_axiom__t56_pl_axiom.vout2024-08-03 07:17 7.3K 
[ ]pl_axiom__t57_pl_axiom2024-07-28 06:53 30K 
[ ]pl_axiom__t57_pl_axiom.depv12024-08-03 10:19 122  
[ ]pl_axiom__t57_pl_axiom.vmin12024-08-03 10:20 1.6K 
[ ]pl_axiom__t57_pl_axiom.vmin1out2024-08-03 10:23 4.8K 
[ ]pl_axiom__t57_pl_axiom.vout2024-08-03 05:55 43K 
[ ]pl_axiom__t58_pl_axiom2024-07-28 06:55 36K 
[ ]pl_axiom__t58_pl_axiom.vout2024-08-03 10:04 4.7K 
[ ]pl_axiom__t59_pl_axiom2024-07-28 06:56 32K 
[ ]pl_axiom__t59_pl_axiom.vout2024-08-03 07:09 7.3K 
[ ]pl_axiom__t60_pl_axiom2024-07-28 06:58 34K 
[ ]pl_axiom__t60_pl_axiom.depv12024-08-03 10:19 144  
[ ]pl_axiom__t60_pl_axiom.vmin12024-08-03 10:20 1.8K 
[ ]pl_axiom__t60_pl_axiom.vmin1out2024-08-03 10:22 4.8K 
[ ]pl_axiom__t60_pl_axiom.vout2024-08-03 10:06 74K 
[ ]pl_axiom__t61_pl_axiom2024-07-28 06:59 31K 
[ ]pl_axiom__t61_pl_axiom.depv12024-08-03 10:19 108  
[ ]pl_axiom__t61_pl_axiom.vmin12024-08-03 10:20 1.6K 
[ ]pl_axiom__t61_pl_axiom.vmin1out2024-08-03 10:23 5.2K 
[ ]pl_axiom__t61_pl_axiom.vout2024-08-03 10:18 26K 
[ ]pl_axiom__t62_pl_axiom2024-07-28 07:00 31K 
[ ]pl_axiom__t62_pl_axiom.vout2024-08-03 05:03 7.9K 
[ ]pl_axiom__t63_pl_axiom2024-07-28 07:02 33K 
[ ]pl_axiom__t63_pl_axiom.depv12024-08-03 10:19 201  
[ ]pl_axiom__t63_pl_axiom.vmin12024-08-03 10:20 2.2K 
[ ]pl_axiom__t63_pl_axiom.vmin1out2024-08-03 10:23 5.8K 
[ ]pl_axiom__t63_pl_axiom.vout2024-08-03 07:29 24K 
[ ]pl_axiom__t64_pl_axiom2024-07-28 07:04 36K 
[ ]pl_axiom__t64_pl_axiom.vout2024-08-03 09:40 4.2K 
[ ]pl_axiom__t65_pl_axiom2024-07-28 07:05 32K 
[ ]pl_axiom__t65_pl_axiom.vout2024-08-03 07:01 6.8K 
[ ]pl_axiom__t66_pl_axiom2024-07-28 07:06 29K 
[ ]pl_axiom__t66_pl_axiom.vout2024-08-03 06:31 7.3K 
[ ]pl_axiom__t67_pl_axiom2024-07-28 07:08 33K 
[ ]pl_axiom__t67_pl_axiom.depv12024-08-03 10:19 151  
[ ]pl_axiom__t67_pl_axiom.vmin12024-08-03 10:20 2.0K 
[ ]pl_axiom__t67_pl_axiom.vmin1out2024-08-03 10:23 413K 
[ ]pl_axiom__t67_pl_axiom.vout2024-08-03 08:50 25K 
[ ]pl_axiom__t68_pl_axiom2024-07-28 07:10 55K 
[ ]pl_axiom__t68_pl_axiom.vout2024-08-03 04:17 7.3K 
[ ]pl_axiom__t69_pl_axiom2024-07-28 07:12 30K 
[ ]pl_axiom__t69_pl_axiom.vout2024-08-03 04:53 7.4K 
[ ]pl_axiom__t70_pl_axiom2024-07-28 07:14 102K 
[ ]pl_axiom__t70_pl_axiom.vout2024-08-03 04:11 4.8K 
[ ]pl_axiom__t71_pl_axiom2024-07-28 05:32 22K 
[ ]pl_axiom__t71_pl_axiom.depv12024-08-03 10:19 67  
[ ]pl_axiom__t71_pl_axiom.vmin12024-08-03 10:20 720  
[ ]pl_axiom__t71_pl_axiom.vmin1out2024-08-03 10:22 1.4K 
[ ]pl_axiom__t71_pl_axiom.vout2024-08-03 08:24 9.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80