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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lexbfs__l1_lexbfs2025-09-13 21:53 112K 
[ ]lexbfs__l2_lexbfs2025-09-13 21:55 89K 
[ ]lexbfs__l4_lexbfs2025-09-13 21:56 62K 
[ ]lexbfs__l15_lexbfs2025-09-13 21:59 139K 
[ ]lexbfs__l16_lexbfs2025-09-13 22:01 156K 
[ ]lexbfs__l17_lexbfs2025-09-13 22:04 170K 
[ ]lexbfs__t1_lexbfs2025-09-13 18:44 155K 
[ ]lexbfs__t2_lexbfs2025-09-13 18:45 66K 
[ ]lexbfs__t3_lexbfs2025-09-13 18:47 76K 
[ ]lexbfs__t4_lexbfs2025-09-13 18:49 73K 
[ ]lexbfs__t5_lexbfs2025-09-13 18:51 95K 
[ ]lexbfs__t6_lexbfs2025-09-13 18:53 84K 
[ ]lexbfs__t7_lexbfs2025-09-13 18:55 88K 
[ ]lexbfs__t8_lexbfs2025-09-13 18:57 76K 
[ ]lexbfs__t9_lexbfs2025-09-13 18:59 94K 
[ ]lexbfs__t10_lexbfs2025-09-13 19:01 75K 
[ ]lexbfs__t11_lexbfs2025-09-13 19:03 129K 
[ ]lexbfs__t12_lexbfs2025-09-13 19:05 124K 
[ ]lexbfs__t13_lexbfs2025-09-13 19:08 137K 
[ ]lexbfs__t14_lexbfs2025-09-13 19:10 155K 
[ ]lexbfs__t15_lexbfs2025-09-13 19:13 119K 
[ ]lexbfs__t16_lexbfs2025-09-13 19:15 113K 
[ ]lexbfs__t17_lexbfs2025-09-13 19:17 153K 
[ ]lexbfs__t18_lexbfs2025-09-13 19:20 139K 
[ ]lexbfs__t19_lexbfs2025-09-13 19:22 103K 
[ ]lexbfs__t20_lexbfs2025-09-13 19:25 172K 
[ ]lexbfs__t21_lexbfs2025-09-13 19:27 120K 
[ ]lexbfs__t22_lexbfs2025-09-13 19:30 159K 
[ ]lexbfs__t23_lexbfs2025-09-13 19:32 161K 
[ ]lexbfs__t24_lexbfs2025-09-13 19:35 158K 
[ ]lexbfs__t25_lexbfs2025-09-13 19:37 138K 
[ ]lexbfs__t26_lexbfs2025-09-13 19:40 138K 
[ ]lexbfs__t27_lexbfs2025-09-13 19:42 138K 
[ ]lexbfs__t28_lexbfs2025-09-13 19:44 111K 
[ ]lexbfs__t29_lexbfs2025-09-13 19:47 152K 
[ ]lexbfs__t30_lexbfs2025-09-13 19:50 145K 
[ ]lexbfs__t31_lexbfs2025-09-13 19:52 145K 
[ ]lexbfs__t32_lexbfs2025-09-13 19:55 143K 
[ ]lexbfs__t33_lexbfs2025-09-13 19:58 160K 
[ ]lexbfs__t34_lexbfs2025-09-13 20:00 84K 
[ ]lexbfs__t35_lexbfs2025-09-13 20:02 86K 
[ ]lexbfs__t36_lexbfs2025-09-13 20:04 112K 
[ ]lexbfs__t37_lexbfs2025-09-13 20:07 145K 
[ ]lexbfs__t38_lexbfs2025-09-13 20:09 104K 
[ ]lexbfs__t39_lexbfs2025-09-13 20:12 129K 
[ ]lexbfs__t40_lexbfs2025-09-13 20:14 105K 
[ ]lexbfs__t41_lexbfs2025-09-13 20:16 148K 
[ ]lexbfs__t42_lexbfs2025-09-13 20:19 160K 
[ ]lexbfs__t43_lexbfs2025-09-13 20:22 159K 
[ ]lexbfs__t44_lexbfs2025-09-13 20:25 163K 
[ ]lexbfs__t45_lexbfs2025-09-13 20:27 135K 
[ ]lexbfs__t46_lexbfs2025-09-13 20:30 177K 
[ ]lexbfs__t47_lexbfs2025-09-13 20:32 116K 
[ ]lexbfs__t48_lexbfs2025-09-13 20:35 186K 
[ ]lexbfs__t49_lexbfs2025-09-13 20:37 112K 
[ ]lexbfs__t50_lexbfs2025-09-13 20:40 134K 
[ ]lexbfs__t51_lexbfs2025-09-13 20:43 166K 
[ ]lexbfs__t52_lexbfs2025-09-13 20:45 184K 
[ ]lexbfs__t53_lexbfs2025-09-13 20:49 197K 
[ ]lexbfs__t54_lexbfs2025-09-13 20:53 1.9M 
[ ]lexbfs__t55_lexbfs2025-09-13 20:55 118K 
[ ]lexbfs__t56_lexbfs2025-09-13 20:57 109K 
[ ]lexbfs__t57_lexbfs2025-09-13 18:39 104K 
[ ]lexbfs__t58_lexbfs2025-09-13 21:00 138K 
[ ]lexbfs__t59_lexbfs2025-09-13 21:02 134K 
[ ]lexbfs__t60_lexbfs2025-09-13 21:04 118K 
[ ]lexbfs__t61_lexbfs2025-09-13 21:06 118K 
[ ]lexbfs__t62_lexbfs2025-09-13 21:09 119K 
[ ]lexbfs__t63_lexbfs2025-09-13 18:41 117K 
[ ]lexbfs__t64_lexbfs2025-09-13 21:11 143K 
[ ]lexbfs__t65_lexbfs2025-09-13 21:14 140K 
[ ]lexbfs__t66_lexbfs2025-09-13 21:17 141K 
[ ]lexbfs__t67_lexbfs2025-09-13 21:19 83K 
[ ]lexbfs__t68_lexbfs2025-09-13 21:21 85K 
[ ]lexbfs__t69_lexbfs2025-09-13 21:23 109K 
[ ]lexbfs__t70_lexbfs2025-09-13 21:25 143K 
[ ]lexbfs__t71_lexbfs2025-09-13 21:28 102K 
[ ]lexbfs__t72_lexbfs2025-09-13 21:30 126K 
[ ]lexbfs__t73_lexbfs2025-09-13 21:33 143K 
[ ]lexbfs__t74_lexbfs2025-09-13 21:36 145K 
[ ]lexbfs__t75_lexbfs2025-09-13 21:38 163K 
[ ]lexbfs__t76_lexbfs2025-09-13 21:41 166K 
[ ]lexbfs__t77_lexbfs2025-09-13 21:44 205K 
[ ]lexbfs__t78_lexbfs2025-09-13 21:47 110K 
[ ]lexbfs__t79_lexbfs2025-09-13 21:51 785K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80