Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/pl_axiom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_axiom__l19_pl_axiom2025-09-13 06:47 23K 
[ ]pl_axiom__s1_pl_axiom2025-09-13 05:01 45K 
[ ]pl_axiom__t1_pl_axiom2025-09-13 05:02 25K 
[ ]pl_axiom__t2_pl_axiom2025-09-13 05:03 40K 
[ ]pl_axiom__t3_pl_axiom2025-09-13 05:04 35K 
[ ]pl_axiom__t4_pl_axiom2025-09-13 05:05 35K 
[ ]pl_axiom__t5_pl_axiom2025-09-13 05:06 35K 
[ ]pl_axiom__t6_pl_axiom2025-09-13 05:07 40K 
[ ]pl_axiom__t7_pl_axiom2025-09-13 05:08 52K 
[ ]pl_axiom__t8_pl_axiom2025-09-13 05:09 34K 
[ ]pl_axiom__t9_pl_axiom2025-09-13 05:10 35K 
[ ]pl_axiom__t10_pl_axiom2025-09-13 05:11 35K 
[ ]pl_axiom__t11_pl_axiom2025-09-13 05:12 35K 
[ ]pl_axiom__t12_pl_axiom2025-09-13 05:13 53K 
[ ]pl_axiom__t13_pl_axiom2025-09-13 05:14 34K 
[ ]pl_axiom__t14_pl_axiom2025-09-13 05:16 35K 
[ ]pl_axiom__t15_pl_axiom2025-09-13 05:17 35K 
[ ]pl_axiom__t16_pl_axiom2025-09-13 05:18 24K 
[ ]pl_axiom__t17_pl_axiom2025-09-13 05:19 46K 
[ ]pl_axiom__t18_pl_axiom2025-09-13 05:21 137K 
[ ]pl_axiom__t19_pl_axiom2025-09-13 05:22 74K 
[ ]pl_axiom__t20_pl_axiom2025-09-13 05:24 62K 
[ ]pl_axiom__t21_pl_axiom2025-09-13 05:26 76K 
[ ]pl_axiom__t22_pl_axiom2025-09-13 05:27 61K 
[ ]pl_axiom__t23_pl_axiom2025-09-13 05:29 75K 
[ ]pl_axiom__t24_pl_axiom2025-09-13 05:30 78K 
[ ]pl_axiom__t25_pl_axiom2025-09-13 05:32 140K 
[ ]pl_axiom__t26_pl_axiom2025-09-13 05:34 138K 
[ ]pl_axiom__t27_pl_axiom2025-09-13 05:35 32K 
[ ]pl_axiom__t28_pl_axiom2025-09-13 05:36 74K 
[ ]pl_axiom__t29_pl_axiom2025-09-13 05:38 738K 
[ ]pl_axiom__t30_pl_axiom2025-09-13 05:40 138K 
[ ]pl_axiom__t31_pl_axiom2025-09-13 05:41 138K 
[ ]pl_axiom__t32_pl_axiom2025-09-13 05:43 139K 
[ ]pl_axiom__t33_pl_axiom2025-09-13 05:45 139K 
[ ]pl_axiom__t34_pl_axiom2025-09-13 05:46 138K 
[ ]pl_axiom__t35_pl_axiom2025-09-13 05:48 138K 
[ ]pl_axiom__t36_pl_axiom2025-09-13 05:50 139K 
[ ]pl_axiom__t37_pl_axiom2025-09-13 05:51 1.5M 
[ ]pl_axiom__t38_pl_axiom2025-09-13 05:53 139K 
[ ]pl_axiom__t39_pl_axiom2025-09-13 05:56 5.8M 
[ ]pl_axiom__t40_pl_axiom2025-09-13 05:58 1.2M 
[ ]pl_axiom__t41_pl_axiom2025-09-13 06:00 3.5M 
[ ]pl_axiom__t42_pl_axiom2025-09-13 06:02 138K 
[ ]pl_axiom__t43_pl_axiom2025-09-13 06:04 141K 
[ ]pl_axiom__t44_pl_axiom2025-09-13 06:06 141K 
[ ]pl_axiom__t45_pl_axiom2025-09-13 06:07 139K 
[ ]pl_axiom__t46_pl_axiom2025-09-13 06:09 217K 
[ ]pl_axiom__t47_pl_axiom2025-09-13 06:10 74K 
[ ]pl_axiom__t48_pl_axiom2025-09-13 06:12 46K 
[ ]pl_axiom__t49_pl_axiom2025-09-13 06:13 48K 
[ ]pl_axiom__t50_pl_axiom2025-09-13 06:15 50K 
[ ]pl_axiom__t51_pl_axiom2025-09-13 06:16 81K 
[ ]pl_axiom__t52_pl_axiom2025-09-13 06:18 81K 
[ ]pl_axiom__t53_pl_axiom2025-09-13 06:19 41K 
[ ]pl_axiom__t54_pl_axiom2025-09-13 06:21 64K 
[ ]pl_axiom__t55_pl_axiom2025-09-13 06:22 54K 
[ ]pl_axiom__t56_pl_axiom2025-09-13 06:24 56K 
[ ]pl_axiom__t57_pl_axiom2025-09-13 06:26 49K 
[ ]pl_axiom__t58_pl_axiom2025-09-13 06:27 57K 
[ ]pl_axiom__t59_pl_axiom2025-09-13 06:28 52K 
[ ]pl_axiom__t60_pl_axiom2025-09-13 06:30 55K 
[ ]pl_axiom__t61_pl_axiom2025-09-13 06:31 50K 
[ ]pl_axiom__t62_pl_axiom2025-09-13 06:33 51K 
[ ]pl_axiom__t63_pl_axiom2025-09-13 06:34 53K 
[ ]pl_axiom__t64_pl_axiom2025-09-13 06:36 57K 
[ ]pl_axiom__t65_pl_axiom2025-09-13 06:37 53K 
[ ]pl_axiom__t66_pl_axiom2025-09-13 06:39 48K 
[ ]pl_axiom__t67_pl_axiom2025-09-13 06:40 53K 
[ ]pl_axiom__t68_pl_axiom2025-09-13 06:43 86K 
[ ]pl_axiom__t69_pl_axiom2025-09-13 06:44 49K 
[ ]pl_axiom__t70_pl_axiom2025-09-13 06:47 178K 
[ ]pl_axiom__t71_pl_axiom2025-09-13 04:59 37K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80