Index of /~mptp/mml5.63.1382/MPTP2/problems/pl_axiom

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pl_axiom__l19_pl_axiom2023-06-28 20:05 23K 
[ ]pl_axiom__s1_pl_axiom2023-06-28 19:37 40K 
[ ]pl_axiom__t1_pl_axiom2023-06-28 19:37 24K 
[ ]pl_axiom__t2_pl_axiom2023-06-28 19:37 39K 
[ ]pl_axiom__t3_pl_axiom2023-06-28 19:38 34K 
[ ]pl_axiom__t4_pl_axiom2023-06-28 19:38 35K 
[ ]pl_axiom__t5_pl_axiom2023-06-28 19:38 35K 
[ ]pl_axiom__t6_pl_axiom2023-06-28 19:39 39K 
[ ]pl_axiom__t7_pl_axiom2023-06-28 19:39 52K 
[ ]pl_axiom__t8_pl_axiom2023-06-28 19:39 34K 
[ ]pl_axiom__t9_pl_axiom2023-06-28 19:40 34K 
[ ]pl_axiom__t10_pl_axiom2023-06-28 19:40 34K 
[ ]pl_axiom__t11_pl_axiom2023-06-28 19:41 35K 
[ ]pl_axiom__t12_pl_axiom2023-06-28 19:41 53K 
[ ]pl_axiom__t13_pl_axiom2023-06-28 19:41 34K 
[ ]pl_axiom__t14_pl_axiom2023-06-28 19:42 35K 
[ ]pl_axiom__t15_pl_axiom2023-06-28 19:42 35K 
[ ]pl_axiom__t16_pl_axiom2023-06-28 19:42 23K 
[ ]pl_axiom__t17_pl_axiom2023-06-28 19:43 41K 
[ ]pl_axiom__t18_pl_axiom2023-06-28 19:43 134K 
[ ]pl_axiom__t19_pl_axiom2023-06-28 19:44 70K 
[ ]pl_axiom__t20_pl_axiom2023-06-28 19:44 58K 
[ ]pl_axiom__t21_pl_axiom2023-06-28 19:44 71K 
[ ]pl_axiom__t22_pl_axiom2023-06-28 19:45 56K 
[ ]pl_axiom__t23_pl_axiom2023-06-28 19:45 70K 
[ ]pl_axiom__t24_pl_axiom2023-06-28 19:46 73K 
[ ]pl_axiom__t25_pl_axiom2023-06-28 19:46 137K 
[ ]pl_axiom__t26_pl_axiom2023-06-28 19:47 135K 
[ ]pl_axiom__t27_pl_axiom2023-06-28 19:47 31K 
[ ]pl_axiom__t28_pl_axiom2023-06-28 19:47 69K 
[ ]pl_axiom__t29_pl_axiom2023-06-28 19:48 631K 
[ ]pl_axiom__t30_pl_axiom2023-06-28 19:48 135K 
[ ]pl_axiom__t31_pl_axiom2023-06-28 19:49 135K 
[ ]pl_axiom__t32_pl_axiom2023-06-28 19:49 136K 
[ ]pl_axiom__t33_pl_axiom2023-06-28 19:50 136K 
[ ]pl_axiom__t34_pl_axiom2023-06-28 19:50 135K 
[ ]pl_axiom__t35_pl_axiom2023-06-28 19:50 135K 
[ ]pl_axiom__t36_pl_axiom2023-06-28 19:51 136K 
[ ]pl_axiom__t37_pl_axiom2023-06-28 19:51 1.1M 
[ ]pl_axiom__t38_pl_axiom2023-06-28 19:52 136K 
[ ]pl_axiom__t39_pl_axiom2023-06-28 19:53 3.4M 
[ ]pl_axiom__t40_pl_axiom2023-06-28 19:53 1.0M 
[ ]pl_axiom__t41_pl_axiom2023-06-28 19:54 2.3M 
[ ]pl_axiom__t42_pl_axiom2023-06-28 19:54 135K 
[ ]pl_axiom__t43_pl_axiom2023-06-28 19:55 138K 
[ ]pl_axiom__t44_pl_axiom2023-06-28 19:55 138K 
[ ]pl_axiom__t45_pl_axiom2023-06-28 19:56 136K 
[ ]pl_axiom__t46_pl_axiom2023-06-28 19:56 215K 
[ ]pl_axiom__t47_pl_axiom2023-06-28 19:56 69K 
[ ]pl_axiom__t48_pl_axiom2023-06-28 19:57 41K 
[ ]pl_axiom__t49_pl_axiom2023-06-28 19:57 43K 
[ ]pl_axiom__t50_pl_axiom2023-06-28 19:57 45K 
[ ]pl_axiom__t51_pl_axiom2023-06-28 19:58 77K 
[ ]pl_axiom__t52_pl_axiom2023-06-28 19:58 77K 
[ ]pl_axiom__t53_pl_axiom2023-06-28 19:59 39K 
[ ]pl_axiom__t54_pl_axiom2023-06-28 19:59 59K 
[ ]pl_axiom__t55_pl_axiom2023-06-28 19:59 48K 
[ ]pl_axiom__t56_pl_axiom2023-06-28 20:00 52K 
[ ]pl_axiom__t57_pl_axiom2023-06-28 20:00 44K 
[ ]pl_axiom__t58_pl_axiom2023-06-28 20:00 51K 
[ ]pl_axiom__t59_pl_axiom2023-06-28 20:01 46K 
[ ]pl_axiom__t60_pl_axiom2023-06-28 20:01 49K 
[ ]pl_axiom__t61_pl_axiom2023-06-28 20:01 45K 
[ ]pl_axiom__t62_pl_axiom2023-06-28 20:02 46K 
[ ]pl_axiom__t63_pl_axiom2023-06-28 20:02 48K 
[ ]pl_axiom__t64_pl_axiom2023-06-28 20:02 52K 
[ ]pl_axiom__t65_pl_axiom2023-06-28 20:03 47K 
[ ]pl_axiom__t66_pl_axiom2023-06-28 20:03 43K 
[ ]pl_axiom__t67_pl_axiom2023-06-28 20:03 48K 
[ ]pl_axiom__t68_pl_axiom2023-06-28 20:04 80K 
[ ]pl_axiom__t69_pl_axiom2023-06-28 20:05 44K 
[ ]pl_axiom__t70_pl_axiom2023-06-28 20:05 175K 
[ ]pl_axiom__t71_pl_axiom2023-06-28 19:36 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80