Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small/pl_axiom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_axiom__t10_pl_axiom.vmin1out2021-07-25 21:02 13K 
[ ]pl_axiom__t8_pl_axiom.vmin1out2021-07-25 21:02 15K 
[ ]pl_axiom__t67_pl_axiom.vmin1out2021-07-25 21:01 413K 
[ ]pl_axiom__t6_pl_axiom.vmin1out2021-07-25 21:01 13K 
[ ]pl_axiom__t5_pl_axiom.vmin1out2021-07-25 21:01 15K 
[ ]pl_axiom__t12_pl_axiom.vmin1out2021-07-25 21:01 16K 
[ ]pl_axiom__t7_pl_axiom.vmin1out2021-07-25 21:01 14K 
[ ]pl_axiom__t13_pl_axiom.vmin1out2021-07-25 21:00 14K 
[ ]pl_axiom__t3_pl_axiom.vmin1out2021-07-25 21:00 13K 
[ ]pl_axiom__t2_pl_axiom.vmin1out2021-07-25 21:00 13K 
[ ]pl_axiom__t14_pl_axiom.vmin1out2021-07-25 21:00 15K 
[ ]pl_axiom__t1_pl_axiom.vmin1out2021-07-25 20:59 3.8K 
[ ]pl_axiom__t11_pl_axiom.vmin1out2021-07-25 20:59 16K 
[ ]pl_axiom__t71_pl_axiom.vmin1out2021-07-25 20:59 1.4K 
[ ]pl_axiom__t9_pl_axiom.vmin1out2021-07-25 20:59 15K 
[ ]pl_axiom__t61_pl_axiom.vmin1out2021-07-25 20:58 5.2K 
[ ]pl_axiom__t63_pl_axiom.vmin1out2021-07-25 20:58 9.2K 
[ ]pl_axiom__t57_pl_axiom.vmin1out2021-07-25 20:58 4.8K 
[ ]pl_axiom__t4_pl_axiom.vmin1out2021-07-25 20:58 15K 
[ ]pl_axiom__t60_pl_axiom.vmin1out2021-07-25 20:58 4.8K 
[ ]pl_axiom__t15_pl_axiom.vmin1out2021-07-25 20:58 16K 
[ ]pl_axiom__t71_pl_axiom.vmin12021-07-25 20:57 720  
[ ]pl_axiom__t67_pl_axiom.vmin12021-07-25 20:57 2.0K 
[ ]pl_axiom__t63_pl_axiom.vmin12021-07-25 20:57 1.9K 
[ ]pl_axiom__t61_pl_axiom.vmin12021-07-25 20:57 1.6K 
[ ]pl_axiom__t60_pl_axiom.vmin12021-07-25 20:57 1.8K 
[ ]pl_axiom__t57_pl_axiom.vmin12021-07-25 20:57 1.6K 
[ ]pl_axiom__t15_pl_axiom.vmin12021-07-25 20:57 2.7K 
[ ]pl_axiom__t14_pl_axiom.vmin12021-07-25 20:57 2.1K 
[ ]pl_axiom__t13_pl_axiom.vmin12021-07-25 20:57 2.2K 
[ ]pl_axiom__t12_pl_axiom.vmin12021-07-25 20:57 2.6K 
[ ]pl_axiom__t11_pl_axiom.vmin12021-07-25 20:57 2.6K 
[ ]pl_axiom__t10_pl_axiom.vmin12021-07-25 20:57 2.7K 
[ ]pl_axiom__t9_pl_axiom.vmin12021-07-25 20:57 2.5K 
[ ]pl_axiom__t8_pl_axiom.vmin12021-07-25 20:57 2.4K 
[ ]pl_axiom__t7_pl_axiom.vmin12021-07-25 20:57 2.3K 
[ ]pl_axiom__t6_pl_axiom.vmin12021-07-25 20:57 1.8K 
[ ]pl_axiom__t5_pl_axiom.vmin12021-07-25 20:57 2.2K 
[ ]pl_axiom__t4_pl_axiom.vmin12021-07-25 20:57 2.2K 
[ ]pl_axiom__t3_pl_axiom.vmin12021-07-25 20:57 3.0K 
[ ]pl_axiom__t2_pl_axiom.vmin12021-07-25 20:57 3.2K 
[ ]pl_axiom__t1_pl_axiom.vmin12021-07-25 20:57 922  
[ ]pl_axiom__t8_pl_axiom.depv12021-07-25 20:57 441  
[ ]pl_axiom__t14_pl_axiom.depv12021-07-25 20:57 398  
[ ]pl_axiom__t13_pl_axiom.depv12021-07-25 20:57 414  
[ ]pl_axiom__t7_pl_axiom.depv12021-07-25 20:57 491  
[ ]pl_axiom__t57_pl_axiom.depv12021-07-25 20:57 122  
[ ]pl_axiom__t4_pl_axiom.depv12021-07-25 20:57 423  
[ ]pl_axiom__t2_pl_axiom.depv12021-07-25 20:57 578  
[ ]pl_axiom__t61_pl_axiom.depv12021-07-25 20:57 108  
[ ]pl_axiom__t11_pl_axiom.depv12021-07-25 20:57 517  
[ ]pl_axiom__t6_pl_axiom.depv12021-07-25 20:57 356  
[ ]pl_axiom__t63_pl_axiom.depv12021-07-25 20:57 151  
[ ]pl_axiom__t60_pl_axiom.depv12021-07-25 20:57 144  
[ ]pl_axiom__t15_pl_axiom.depv12021-07-25 20:57 541  
[ ]pl_axiom__t12_pl_axiom.depv12021-07-25 20:57 465  
[ ]pl_axiom__t10_pl_axiom.depv12021-07-25 20:57 411  
[ ]pl_axiom__t3_pl_axiom.depv12021-07-25 20:57 528  
[ ]pl_axiom__t71_pl_axiom.depv12021-07-25 20:57 67  
[ ]pl_axiom__t67_pl_axiom.depv12021-07-25 20:57 151  
[ ]pl_axiom__t5_pl_axiom.depv12021-07-25 20:57 423  
[ ]pl_axiom__t9_pl_axiom.depv12021-07-25 20:57 482  
[ ]pl_axiom__t1_pl_axiom.depv12021-07-25 20:57 67  
[ ]pl_axiom__t6_pl_axiom.vout2021-07-25 20:55 25K 
[ ]pl_axiom__t41_pl_axiom.vout2021-07-25 20:52 2.0K 
[ ]pl_axiom__t68_pl_axiom.vout2021-07-25 20:46 7.3K 
[ ]pl_axiom__t61_pl_axiom.vout2021-07-25 20:45 26K 
[ ]pl_axiom__t47_pl_axiom.vout2021-07-25 20:30 6.8K 
[ ]pl_axiom__t8_pl_axiom.vout2021-07-25 20:13 40K 
[ ]pl_axiom__t66_pl_axiom.vout2021-07-25 20:11 7.3K 
[ ]pl_axiom__l19_pl_axiom.vout2021-07-25 20:02 3.7K 
[ ]pl_axiom__t23_pl_axiom.vout2021-07-25 19:54 7.4K 
[ ]pl_axiom__t59_pl_axiom.vout2021-07-25 19:52 6.8K 
[ ]pl_axiom__t60_pl_axiom.vout2021-07-25 19:52 72K 
[ ]pl_axiom__t4_pl_axiom.vout2021-07-25 19:49 32K 
[ ]pl_axiom__t65_pl_axiom.vout2021-07-25 19:42 6.8K 
[ ]pl_axiom__t57_pl_axiom.vout2021-07-25 19:41 43K 
[ ]pl_axiom__t21_pl_axiom.vout2021-07-25 19:38 7.4K 
[ ]pl_axiom__t38_pl_axiom.vout2021-07-25 19:37 2.0K 
[ ]pl_axiom__t30_pl_axiom.vout2021-07-25 19:35 7.3K 
[ ]pl_axiom__t40_pl_axiom.vout2021-07-25 19:34 2.0K 
[ ]pl_axiom__t20_pl_axiom.vout2021-07-25 19:16 2.0K 
[ ]pl_axiom__t50_pl_axiom.vout2021-07-25 19:15 6.8K 
[ ]pl_axiom__t53_pl_axiom.vout2021-07-25 19:14 8.4K 
[ ]pl_axiom__t34_pl_axiom.vout2021-07-25 19:11 7.4K 
[ ]pl_axiom__t49_pl_axiom.vout2021-07-25 19:08 2.0K 
[ ]pl_axiom__t16_pl_axiom.vout2021-07-25 19:08 7.3K 
[ ]pl_axiom__t52_pl_axiom.vout2021-07-25 19:01 4.7K 
[ ]pl_axiom__t3_pl_axiom.vout2021-07-25 18:52 50K 
[ ]pl_axiom__t51_pl_axiom.vout2021-07-25 18:52 7.4K 
[ ]pl_axiom__t1_pl_axiom.vout2021-07-25 18:28 25K 
[ ]pl_axiom__t18_pl_axiom.vout2021-07-25 18:18 6.8K 
[ ]pl_axiom__t22_pl_axiom.vout2021-07-25 18:13 2.0K 
[ ]pl_axiom__t64_pl_axiom.vout2021-07-25 18:06 4.2K 
[ ]pl_axiom__t15_pl_axiom.vout2021-07-25 17:40 47K 
[ ]pl_axiom__t48_pl_axiom.vout2021-07-25 17:33 7.3K 
[ ]pl_axiom__t29_pl_axiom.vout2021-07-25 17:29 7.3K 
[ ]pl_axiom__t54_pl_axiom.vout2021-07-25 17:28 7.3K 
[ ]pl_axiom__t71_pl_axiom.vout2021-07-25 17:27 9.0K 
[ ]pl_axiom__t58_pl_axiom.vout2021-07-25 17:25 4.7K 
[ ]pl_axiom__t13_pl_axiom.vout2021-07-25 17:25 67K 
[ ]pl_axiom__t9_pl_axiom.vout2021-07-25 17:22 30K 
[ ]pl_axiom__t70_pl_axiom.vout2021-07-25 17:20 4.8K 
[ ]pl_axiom__t2_pl_axiom.vout2021-07-25 17:20 60K 
[ ]pl_axiom__t69_pl_axiom.vout2021-07-25 17:09 7.9K 
[ ]pl_axiom__t31_pl_axiom.vout2021-07-25 17:09 7.3K 
[ ]pl_axiom__t63_pl_axiom.vout2021-07-25 17:04 21K 
[ ]pl_axiom__t25_pl_axiom.vout2021-07-25 17:02 7.4K 
[ ]pl_axiom__t28_pl_axiom.vout2021-07-25 16:58 7.3K 
[ ]pl_axiom__t11_pl_axiom.vout2021-07-25 16:52 41K 
[ ]pl_axiom__t62_pl_axiom.vout2021-07-25 16:46 7.4K 
[ ]pl_axiom__t55_pl_axiom.vout2021-07-25 16:43 7.4K 
[ ]pl_axiom__t67_pl_axiom.vout2021-07-25 16:39 25K 
[ ]pl_axiom__t5_pl_axiom.vout2021-07-25 16:30 33K 
[ ]pl_axiom__t45_pl_axiom.vout2021-07-25 16:15 7.4K 
[ ]pl_axiom__t10_pl_axiom.vout2021-07-25 16:08 57K 
[ ]pl_axiom__t44_pl_axiom.vout2021-07-25 15:58 2.0K 
[ ]pl_axiom__t39_pl_axiom.vout2021-07-25 15:57 2.0K 
[ ]pl_axiom__t43_pl_axiom.vout2021-07-25 15:53 2.0K 
[ ]pl_axiom__t37_pl_axiom.vout2021-07-25 15:50 2.0K 
[ ]pl_axiom__t35_pl_axiom.vout2021-07-25 15:47 7.3K 
[ ]pl_axiom__t19_pl_axiom.vout2021-07-25 15:44 7.3K 
[ ]pl_axiom__t24_pl_axiom.vout2021-07-25 15:41 6.8K 
[ ]pl_axiom__t32_pl_axiom.vout2021-07-25 15:40 7.3K 
[ ]pl_axiom__t17_pl_axiom.vout2021-07-25 15:24 8.4K 
[ ]pl_axiom__t26_pl_axiom.vout2021-07-25 15:19 6.8K 
[ ]pl_axiom__t33_pl_axiom.vout2021-07-25 15:17 7.4K 
[ ]pl_axiom__t12_pl_axiom.vout2021-07-25 15:09 46K 
[ ]pl_axiom__t36_pl_axiom.vout2021-07-25 15:07 2.0K 
[ ]pl_axiom__t56_pl_axiom.vout2021-07-25 15:01 7.3K 
[ ]pl_axiom__t7_pl_axiom.vout2021-07-25 15:01 42K 
[ ]pl_axiom__t27_pl_axiom.vout2021-07-25 14:57 2.0K 
[ ]pl_axiom__t46_pl_axiom.vout2021-07-25 14:46 7.3K 
[ ]pl_axiom__t14_pl_axiom.vout2021-07-25 14:38 43K 
[ ]pl_axiom__t42_pl_axiom.vout2021-07-25 14:34 2.0K 
[ ]pl_axiom__l19_pl_axiom2021-07-18 02:59 13K 
[ ]pl_axiom__t70_pl_axiom2021-07-18 02:59 98K 
[ ]pl_axiom__t69_pl_axiom2021-07-18 02:58 27K 
[ ]pl_axiom__t68_pl_axiom2021-07-18 02:58 51K 
[ ]pl_axiom__t67_pl_axiom2021-07-18 02:57 29K 
[ ]pl_axiom__t66_pl_axiom2021-07-18 02:57 26K 
[ ]pl_axiom__t65_pl_axiom2021-07-18 02:56 29K 
[ ]pl_axiom__t64_pl_axiom2021-07-18 02:56 33K 
[ ]pl_axiom__t63_pl_axiom2021-07-18 02:55 29K 
[ ]pl_axiom__t62_pl_axiom2021-07-18 02:55 28K 
[ ]pl_axiom__t61_pl_axiom2021-07-18 02:54 28K 
[ ]pl_axiom__t60_pl_axiom2021-07-18 02:54 30K 
[ ]pl_axiom__t59_pl_axiom2021-07-18 02:53 29K 
[ ]pl_axiom__t58_pl_axiom2021-07-18 02:53 32K 
[ ]pl_axiom__t57_pl_axiom2021-07-18 02:52 27K 
[ ]pl_axiom__t56_pl_axiom2021-07-18 02:52 32K 
[ ]pl_axiom__t55_pl_axiom2021-07-18 02:52 30K 
[ ]pl_axiom__t54_pl_axiom2021-07-18 02:51 36K 
[ ]pl_axiom__t53_pl_axiom2021-07-18 02:51 24K 
[ ]pl_axiom__t52_pl_axiom2021-07-18 02:50 45K 
[ ]pl_axiom__t51_pl_axiom2021-07-18 02:50 45K 
[ ]pl_axiom__t50_pl_axiom2021-07-18 02:49 28K 
[ ]pl_axiom__t49_pl_axiom2021-07-18 02:49 26K 
[ ]pl_axiom__t48_pl_axiom2021-07-18 02:48 25K 
[ ]pl_axiom__t47_pl_axiom2021-07-18 02:48 41K 
[ ]pl_axiom__t46_pl_axiom2021-07-18 02:47 115K 
[ ]pl_axiom__t45_pl_axiom2021-07-18 02:47 75K 
[ ]pl_axiom__t44_pl_axiom2021-07-18 02:46 76K 
[ ]pl_axiom__t43_pl_axiom2021-07-18 02:46 76K 
[ ]pl_axiom__t42_pl_axiom2021-07-18 02:45 75K 
[ ]pl_axiom__t41_pl_axiom2021-07-18 02:45 1.2M 
[ ]pl_axiom__t40_pl_axiom2021-07-18 02:44 517K 
[ ]pl_axiom__t39_pl_axiom2021-07-18 02:44 1.7M 
[ ]pl_axiom__t38_pl_axiom2021-07-18 02:43 75K 
[ ]pl_axiom__t37_pl_axiom2021-07-18 02:42 607K 
[ ]pl_axiom__t36_pl_axiom2021-07-18 02:41 75K 
[ ]pl_axiom__t35_pl_axiom2021-07-18 02:41 75K 
[ ]pl_axiom__t34_pl_axiom2021-07-18 02:40 75K 
[ ]pl_axiom__t33_pl_axiom2021-07-18 02:40 75K 
[ ]pl_axiom__t32_pl_axiom2021-07-18 02:39 75K 
[ ]pl_axiom__t31_pl_axiom2021-07-18 02:38 75K 
[ ]pl_axiom__t30_pl_axiom2021-07-18 02:38 75K 
[ ]pl_axiom__t29_pl_axiom2021-07-18 02:37 328K 
[ ]pl_axiom__t28_pl_axiom2021-07-18 02:37 40K 
[ ]pl_axiom__t27_pl_axiom2021-07-18 02:36 19K 
[ ]pl_axiom__t26_pl_axiom2021-07-18 02:36 74K 
[ ]pl_axiom__t25_pl_axiom2021-07-18 02:35 76K 
[ ]pl_axiom__t24_pl_axiom2021-07-18 02:35 43K 
[ ]pl_axiom__t23_pl_axiom2021-07-18 02:34 41K 
[ ]pl_axiom__t22_pl_axiom2021-07-18 02:34 34K 
[ ]pl_axiom__t21_pl_axiom2021-07-18 02:33 42K 
[ ]pl_axiom__t20_pl_axiom2021-07-18 02:33 34K 
[ ]pl_axiom__t19_pl_axiom2021-07-18 02:33 41K 
[ ]pl_axiom__t18_pl_axiom2021-07-18 02:32 74K 
[ ]pl_axiom__t17_pl_axiom2021-07-18 02:32 25K 
[ ]pl_axiom__t16_pl_axiom2021-07-18 02:31 15K 
[ ]pl_axiom__t15_pl_axiom2021-07-18 02:31 21K 
[ ]pl_axiom__t14_pl_axiom2021-07-18 02:30 21K 
[ ]pl_axiom__t13_pl_axiom2021-07-18 02:30 20K 
[ ]pl_axiom__t12_pl_axiom2021-07-18 02:30 30K 
[ ]pl_axiom__t11_pl_axiom2021-07-18 02:29 20K 
[ ]pl_axiom__t10_pl_axiom2021-07-18 02:29 20K 
[ ]pl_axiom__t9_pl_axiom2021-07-18 02:29 20K 
[ ]pl_axiom__t8_pl_axiom2021-07-18 02:28 20K 
[ ]pl_axiom__t7_pl_axiom2021-07-18 02:28 30K 
[ ]pl_axiom__t6_pl_axiom2021-07-18 02:28 23K 
[ ]pl_axiom__t5_pl_axiom2021-07-18 02:27 20K 
[ ]pl_axiom__t4_pl_axiom2021-07-18 02:27 20K 
[ ]pl_axiom__t3_pl_axiom2021-07-18 02:26 20K 
[ ]pl_axiom__t2_pl_axiom2021-07-18 02:26 23K 
[ ]pl_axiom__t1_pl_axiom2021-07-18 02:25 15K 
[ ]pl_axiom__t71_pl_axiom2021-07-18 02:25 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80