Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/pl_axiom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_axiom__l19_pl_axiom2021-07-18 23:37 23K 
[ ]pl_axiom__s1_pl_axiom2021-07-18 23:09 40K 
[ ]pl_axiom__t1_pl_axiom2021-07-18 23:09 24K 
[ ]pl_axiom__t2_pl_axiom2021-07-18 23:10 39K 
[ ]pl_axiom__t3_pl_axiom2021-07-18 23:10 35K 
[ ]pl_axiom__t4_pl_axiom2021-07-18 23:10 35K 
[ ]pl_axiom__t5_pl_axiom2021-07-18 23:11 35K 
[ ]pl_axiom__t6_pl_axiom2021-07-18 23:11 39K 
[ ]pl_axiom__t7_pl_axiom2021-07-18 23:11 52K 
[ ]pl_axiom__t8_pl_axiom2021-07-18 23:11 34K 
[ ]pl_axiom__t9_pl_axiom2021-07-18 23:12 35K 
[ ]pl_axiom__t10_pl_axiom2021-07-18 23:12 35K 
[ ]pl_axiom__t11_pl_axiom2021-07-18 23:12 35K 
[ ]pl_axiom__t12_pl_axiom2021-07-18 23:13 53K 
[ ]pl_axiom__t13_pl_axiom2021-07-18 23:13 34K 
[ ]pl_axiom__t14_pl_axiom2021-07-18 23:13 35K 
[ ]pl_axiom__t15_pl_axiom2021-07-18 23:13 35K 
[ ]pl_axiom__t16_pl_axiom2021-07-18 23:14 23K 
[ ]pl_axiom__t17_pl_axiom2021-07-18 23:14 41K 
[ ]pl_axiom__t18_pl_axiom2021-07-18 23:14 131K 
[ ]pl_axiom__t19_pl_axiom2021-07-18 23:15 70K 
[ ]pl_axiom__t20_pl_axiom2021-07-18 23:15 57K 
[ ]pl_axiom__t21_pl_axiom2021-07-18 23:16 71K 
[ ]pl_axiom__t22_pl_axiom2021-07-18 23:16 56K 
[ ]pl_axiom__t23_pl_axiom2021-07-18 23:16 70K 
[ ]pl_axiom__t24_pl_axiom2021-07-18 23:17 73K 
[ ]pl_axiom__t25_pl_axiom2021-07-18 23:17 134K 
[ ]pl_axiom__t26_pl_axiom2021-07-18 23:18 132K 
[ ]pl_axiom__t27_pl_axiom2021-07-18 23:18 31K 
[ ]pl_axiom__t28_pl_axiom2021-07-18 23:18 69K 
[ ]pl_axiom__t29_pl_axiom2021-07-18 23:19 606K 
[ ]pl_axiom__t30_pl_axiom2021-07-18 23:19 132K 
[ ]pl_axiom__t31_pl_axiom2021-07-18 23:20 132K 
[ ]pl_axiom__t32_pl_axiom2021-07-18 23:20 133K 
[ ]pl_axiom__t33_pl_axiom2021-07-18 23:21 133K 
[ ]pl_axiom__t34_pl_axiom2021-07-18 23:21 132K 
[ ]pl_axiom__t35_pl_axiom2021-07-18 23:21 132K 
[ ]pl_axiom__t36_pl_axiom2021-07-18 23:22 133K 
[ ]pl_axiom__t37_pl_axiom2021-07-18 23:22 1.1M 
[ ]pl_axiom__t38_pl_axiom2021-07-18 23:23 133K 
[ ]pl_axiom__t39_pl_axiom2021-07-18 23:24 3.3M 
[ ]pl_axiom__t40_pl_axiom2021-07-18 23:24 957K 
[ ]pl_axiom__t41_pl_axiom2021-07-18 23:25 2.3M 
[ ]pl_axiom__t42_pl_axiom2021-07-18 23:25 132K 
[ ]pl_axiom__t43_pl_axiom2021-07-18 23:26 135K 
[ ]pl_axiom__t44_pl_axiom2021-07-18 23:26 135K 
[ ]pl_axiom__t45_pl_axiom2021-07-18 23:26 133K 
[ ]pl_axiom__t46_pl_axiom2021-07-18 23:27 208K 
[ ]pl_axiom__t47_pl_axiom2021-07-18 23:27 69K 
[ ]pl_axiom__t48_pl_axiom2021-07-18 23:28 41K 
[ ]pl_axiom__t49_pl_axiom2021-07-18 23:28 43K 
[ ]pl_axiom__t50_pl_axiom2021-07-18 23:28 45K 
[ ]pl_axiom__t51_pl_axiom2021-07-18 23:29 76K 
[ ]pl_axiom__t52_pl_axiom2021-07-18 23:29 76K 
[ ]pl_axiom__t53_pl_axiom2021-07-18 23:30 39K 
[ ]pl_axiom__t54_pl_axiom2021-07-18 23:30 59K 
[ ]pl_axiom__t55_pl_axiom2021-07-18 23:30 48K 
[ ]pl_axiom__t56_pl_axiom2021-07-18 23:31 52K 
[ ]pl_axiom__t57_pl_axiom2021-07-18 23:31 44K 
[ ]pl_axiom__t58_pl_axiom2021-07-18 23:31 51K 
[ ]pl_axiom__t59_pl_axiom2021-07-18 23:32 46K 
[ ]pl_axiom__t60_pl_axiom2021-07-18 23:32 49K 
[ ]pl_axiom__t61_pl_axiom2021-07-18 23:33 45K 
[ ]pl_axiom__t62_pl_axiom2021-07-18 23:33 46K 
[ ]pl_axiom__t63_pl_axiom2021-07-18 23:33 48K 
[ ]pl_axiom__t64_pl_axiom2021-07-18 23:34 52K 
[ ]pl_axiom__t65_pl_axiom2021-07-18 23:34 47K 
[ ]pl_axiom__t66_pl_axiom2021-07-18 23:34 43K 
[ ]pl_axiom__t67_pl_axiom2021-07-18 23:35 48K 
[ ]pl_axiom__t68_pl_axiom2021-07-18 23:36 81K 
[ ]pl_axiom__t69_pl_axiom2021-07-18 23:36 44K 
[ ]pl_axiom__t70_pl_axiom2021-07-18 23:36 171K 
[ ]pl_axiom__t71_pl_axiom2021-07-18 23:09 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80