LP coefficient & equality sensitivity
BeforeNo equivalent APINinth checkpoint14.82 ms
63 checks passed · Analytic interval checks for both objective senses, quotas and historical ownership.
BEFORE & AFTER · 5 September 2026
How large a problem can Gecode solve in 10 seconds?
The same time budget. The same problems. Compare the largest sizes the original, automatic racing and configured routes can solve and prove optimal.
Largest confirmed problem · larger is better ↑10 seconds per solve · exploration included
Knapsack
Both random and correlated profitsBars start at zero. Compare sizes within this problem class.
Assignment
One task per workerBars start at zero. Compare sizes within this problem class.
Facility location
Two customers per candidate siteBars start at zero. Compare sizes within this problem class.
Bin packing
Weighted items; candidate bins grow with sizeBars start at zero. Compare sizes within this problem class.
Production planning
Eight quantity options per periodBars start at zero. Compare sizes within this problem class.
Routing
Minimum-cost tour through all citiesBars start at zero. Compare sizes within this problem class.
Weighted queens
Minimum-cost non-attacking placementBars start at zero. Compare sizes within this problem class.
Original Gecode is the preserved project solver before the algorithm improvements. Auto + race uses the current solver with bounded strategy exploration; configured uses the same current build with presets chosen for each family before this run. Each headline size passed two repetitions and every knapsack variant. These are sampled boundaries, not absolute solver limits: irregular difficulty leaves untested sizes unknown.
Racing may increase total CPU work or solve time. Several seconds—or a longer exploration window—can be worthwhile if an early trial finds a substantially better search strategy. This study charges exploration and the selected restart to the same ten-second budget.
The boundary, in problem terms.
| Problem | Original Gecode | Auto + race | Configured |
|---|---|---|---|
| KnapsackBoth random and correlated profits | 33 items Confirmed failed upper: 34; sampled bracket width 1. | 2304 items Confirmed failed upper: 2336; sampled bracket width 32. | 2304 items Confirmed failed upper: 2336; sampled bracket width 32. |
| AssignmentOne task per worker | 17 tasks Confirmed failed upper: 18; sampled bracket width 1. | 64 tasks Confirmed failed upper: 66; sampled bracket width 2. | 31 tasks Confirmed failed upper: 32; sampled bracket width 1. |
| Facility locationTwo customers per candidate site | 8 sites Confirmed failed upper: 9; sampled bracket width 1. | 44 sites Confirmed failed upper: 45; sampled bracket width 1. | 54 sites Confirmed failed upper: 56; sampled bracket width 2. |
| Bin packingWeighted items; candidate bins grow with size | 17 items Confirmed failed upper: 18; sampled bracket width 1. | 47 items Confirmed failed upper: 48; sampled bracket width 1. | 30 items Confirmed failed upper: 31; sampled bracket width 1. |
| Production planningEight quantity options per period | 11 periods Confirmed failed upper: 12; sampled bracket width 1. | 27 periods Confirmed failed upper: 29; sampled bracket width 2. Interior sizes have mixed confirmations; bracket could not be narrowed without repeating observations. | 28 periods Confirmed failed upper: 29; sampled bracket width 1. |
| RoutingMinimum-cost tour through all cities | 21 cities Confirmed failed upper: 22; sampled bracket width 1. | 21 cities Confirmed failed upper: 22; sampled bracket width 1. | 21 cities Confirmed failed upper: 22; sampled bracket width 1. |
| Weighted queensMinimum-cost non-attacking placement | 23 queens Confirmed failed upper: 24; sampled bracket width 1. | 23 queens Confirmed failed upper: 24; sampled bracket width 1. | 23 queens Confirmed failed upper: 24; sampled bracket width 1. |
Same problem sizes. Different solve times.
The time curves retain the same logarithmic scale, run ranges and unfinished markers. Shared points use identical inputs. Missing points were not measured; timeouts have no completion-time estimate. Discovery uses one run; boundary confirmation uses two. Knapsack ranges include both profit variants.
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
● ━ Original Gecode · solid■ ┈ Auto + race · dotted◆ ┄ Configured · dashedOpen markers ↑ Unfinished at 10 s
Every sampled size and exact timing
| Problem / size | Original Gecode | Auto + race | Configured |
|---|---|---|---|
| Knapsack · 32 items32 model variables | 4/4 exact solves completed 3,945.121 ms median | 2/2 exact solves completed 2.278 ms median | 2/2 exact solves completed 0.149 ms median |
| Knapsack · 33 items33 model variables | 4/4 exact solves completed 5,112.099 ms median | 2/2 exact solves completed 0.184 ms median | 2/2 exact solves completed 0.14 ms median |
| Knapsack · 34 items34 model variables | 2/4 exact solves completed No completion-time estimate | 2/2 exact solves completed 0.181 ms median | 2/2 exact solves completed 0.14 ms median |
| Knapsack · 36 items36 model variables | 1/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Knapsack · 40 items40 model variables | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Knapsack · 48 items48 model variables | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Knapsack · 64 items64 model variables | 0/2 exact solves completed No completion-time estimate | 2/2 exact solves completed 0.257 ms median | 2/2 exact solves completed 0.256 ms median |
| Knapsack · 128 items128 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 0.6 ms median | 2/2 exact solves completed 0.471 ms median |
| Knapsack · 256 items256 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 1.368 ms median | 2/2 exact solves completed 1.241 ms median |
| Knapsack · 511 items511 model variables | Not tested No completion-time estimate | 4/4 exact solves completed 4.49 ms median | 4/4 exact solves completed 4.423 ms median |
| Knapsack · 512 items512 model variables | Not tested No completion-time estimate | 4/4 exact solves completed 4.642 ms median | 4/4 exact solves completed 4.337 ms median |
| Knapsack · 1024 items1024 model variables | Not tested No completion-time estimate | 4/4 exact solves completed 17.402 ms median | 4/4 exact solves completed 16.646 ms median |
| Knapsack · 2048 items2048 model variables | Not tested No completion-time estimate | 4/4 exact solves completed 71.395 ms median | 4/4 exact solves completed 68.239 ms median |
| Knapsack · 2304 items2304 model variables | Not tested No completion-time estimate | 4/4 exact solves completed 82.75 ms median | 4/4 exact solves completed 82.163 ms median |
| Knapsack · 2336 items2336 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Knapsack · 2368 items2368 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Knapsack · 2432 items2432 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Knapsack · 2560 items2560 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Knapsack · 3072 items3072 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Knapsack · 4096 items4096 model variables | Not tested No completion-time estimate | 0/4 exact solves completed No completion-time estimate | 0/4 exact solves completed No completion-time estimate |
| Assignment · 16 tasks256 model variables | 2/2 exact solves completed 3,140.828 ms median | 1/1 exact solves completed 50.983 ms median | 1/1 exact solves completed 35.049 ms median |
| Assignment · 17 tasks289 model variables | 2/2 exact solves completed 7,319.054 ms median | 1/1 exact solves completed 47.043 ms median | 1/1 exact solves completed 44.293 ms median |
| Assignment · 18 tasks324 model variables | 0/2 exact solves completed No completion-time estimate | 1/1 exact solves completed 62.716 ms median | 1/1 exact solves completed 32.079 ms median |
| Assignment · 20 tasks400 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 24 tasks576 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | 1/1 exact solves completed 415.928 ms median |
| Assignment · 28 tasks784 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 1/1 exact solves completed 8,143.855 ms median |
| Assignment · 30 tasks900 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 2/2 exact solves completed 4,734.545 ms median |
| Assignment · 31 tasks961 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 261.86 ms median | 2/2 exact solves completed 9,095.396 ms median |
| Assignment · 32 tasks1024 model variables | 0/1 exact solves completed No completion-time estimate | 2/2 exact solves completed 401.441 ms median | 0/2 exact solves completed No completion-time estimate |
| Assignment · 64 tasks4096 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 7,072.945 ms median | Not tested No completion-time estimate |
| Assignment · 66 tasks4356 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 68 tasks4624 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 72 tasks5184 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 80 tasks6400 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 96 tasks9216 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Assignment · 128 tasks16384 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Facility location · 7 sites105 model variables | 2/2 exact solves completed 424.79 ms median | 1/1 exact solves completed 5.642 ms median | 1/1 exact solves completed 5.636 ms median |
| Facility location · 8 sites136 model variables | 2/2 exact solves completed 2,762.61 ms median | 1/1 exact solves completed 17.169 ms median | 1/1 exact solves completed 11.333 ms median |
| Facility location · 9 sites171 model variables | 0/2 exact solves completed No completion-time estimate | 1/1 exact solves completed 7.268 ms median | 1/1 exact solves completed 7.249 ms median |
| Facility location · 10 sites210 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Facility location · 12 sites300 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Facility location · 15 sites465 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 64.833 ms median | 2/2 exact solves completed 70.64 ms median |
| Facility location · 16 sites528 model variables | 0/1 exact solves completed No completion-time estimate | 2/2 exact solves completed 72.976 ms median | 2/2 exact solves completed 63.581 ms median |
| Facility location · 32 sites2080 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 2,128.669 ms median | 2/2 exact solves completed 1,132.234 ms median |
| Facility location · 40 sites3240 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 4,757.457 ms median | Not tested No completion-time estimate |
| Facility location · 44 sites3916 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 7,079.532 ms median | Not tested No completion-time estimate |
| Facility location · 45 sites4095 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Facility location · 46 sites4278 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Facility location · 48 sites4656 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | 2/2 exact solves completed 9,102.575 ms median |
| Facility location · 52 sites5460 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 2/2 exact solves completed 8,499.003 ms median |
| Facility location · 54 sites5886 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 2/2 exact solves completed 8,944.661 ms median |
| Facility location · 56 sites6328 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate |
| Facility location · 64 sites8256 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate |
| Bin packing · 16 items102 model variables | 2/2 exact solves completed 835.613 ms median | 1/1 exact solves completed 26.943 ms median | 1/1 exact solves completed 1.922 ms median |
| Bin packing · 17 items108 model variables | 2/2 exact solves completed 2,983.991 ms median | 1/1 exact solves completed 19.565 ms median | 1/1 exact solves completed 1.65 ms median |
| Bin packing · 18 items114 model variables | 0/2 exact solves completed No completion-time estimate | 1/1 exact solves completed 15.294 ms median | 1/1 exact solves completed 4.655 ms median |
| Bin packing · 20 items147 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | Not tested No completion-time estimate |
| Bin packing · 24 items200 model variables | 0/1 exact solves completed No completion-time estimate | Not tested No completion-time estimate | 1/1 exact solves completed 6,613.901 ms median |
| Bin packing · 28 items290 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 1/1 exact solves completed 4.026 ms median |
| Bin packing · 29 items300 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 2/2 exact solves completed 3.712 ms median |
| Bin packing · 30 items310 model variables | Not tested No completion-time estimate | Not tested No completion-time estimate | 2/2 exact solves completed 5.111 ms median |
| Bin packing · 31 items352 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 33.678 ms median | 0/2 exact solves completed No completion-time estimate |
| Bin packing · 32 items363 model variables | 0/1 exact solves completed No completion-time estimate | 2/2 exact solves completed 184.702 ms median | 0/1 exact solves completed No completion-time estimate |
| Bin packing · 40 items574 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 55.492 ms median | Not tested No completion-time estimate |
| Bin packing · 44 items675 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 71.937 ms median | Not tested No completion-time estimate |
| Bin packing · 46 items752 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 72.686 ms median | Not tested No completion-time estimate |
| Bin packing · 47 items768 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 75.107 ms median | Not tested No completion-time estimate |
| Bin packing · 48 items784 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Bin packing · 64 items1430 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | Not tested No completion-time estimate |
| Production planning · 6 periods48 model variables | 1/1 exact solves completed 4.242 ms median | 1/1 exact solves completed 13.316 ms median | 1/1 exact solves completed 8.603 ms median |
| Production planning · 9 periods72 model variables | 1/1 exact solves completed 54.696 ms median | 1/1 exact solves completed 47.782 ms median | 1/1 exact solves completed 23.292 ms median |
| Production planning · 10 periods80 model variables | 2/2 exact solves completed 1,183.253 ms median | 1/1 exact solves completed 30.861 ms median | 1/1 exact solves completed 30.445 ms median |
| Production planning · 11 periods88 model variables | 2/2 exact solves completed 3,906.506 ms median | 1/1 exact solves completed 34.175 ms median | 1/1 exact solves completed 34.959 ms median |
| Production planning · 12 periods96 model variables | 0/2 exact solves completed No completion-time estimate | 1/1 exact solves completed 44.119 ms median | 1/1 exact solves completed 45.313 ms median |
| Production planning · 24 periods192 model variables | Not tested No completion-time estimate | 1/1 exact solves completed 975.769 ms median | 1/1 exact solves completed 725.647 ms median |
| Production planning · 26 periods208 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 3,788.39 ms median | Not tested No completion-time estimate |
| Production planning · 27 periods216 model variables | Not tested No completion-time estimate | 2/2 exact solves completed 5,723.534 ms median | 2/2 exact solves completed 5,381.163 ms median |
| Production planning · 28 periods224 model variables | Not tested No completion-time estimate | 1/2 exact solves completed No completion-time estimate | 2/2 exact solves completed 9,701.974 ms median |
| Production planning · 29 periods232 model variables | Not tested No completion-time estimate | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate |
| Production planning · 30 periods240 model variables | Not tested No completion-time estimate | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate |
| Production planning · 36 periods288 model variables | Not tested No completion-time estimate | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate |
| Production planning · 48 periods384 model variables | Not tested No completion-time estimate | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate |
| Routing · 16 cities32 model variables | 1/1 exact solves completed 59.7 ms median | 1/1 exact solves completed 57.004 ms median | 1/1 exact solves completed 55.327 ms median |
| Routing · 20 cities40 model variables | 2/2 exact solves completed 3,160.748 ms median | 2/2 exact solves completed 3,187.627 ms median | 2/2 exact solves completed 3,215.809 ms median |
| Routing · 21 cities42 model variables | 2/2 exact solves completed 9,515.305 ms median | 2/2 exact solves completed 9,572.645 ms median | 2/2 exact solves completed 9,593.056 ms median |
| Routing · 22 cities44 model variables | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate |
| Routing · 24 cities48 model variables | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate |
| Routing · 32 cities64 model variables | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate | 0/1 exact solves completed No completion-time estimate |
| Weighted queens · 12 queens48 model variables | 1/1 exact solves completed 7.101 ms median | 1/1 exact solves completed 9.734 ms median | 1/1 exact solves completed 4.137 ms median |
| Weighted queens · 18 queens72 model variables | 1/1 exact solves completed 656.895 ms median | 1/1 exact solves completed 654.503 ms median | 1/1 exact solves completed 658.555 ms median |
| Weighted queens · 21 queens84 model variables | 1/1 exact solves completed 6,181.338 ms median | 1/1 exact solves completed 6,198.094 ms median | 1/1 exact solves completed 6,289.707 ms median |
| Weighted queens · 22 queens88 model variables | 2/2 exact solves completed 6,675.003 ms median | 2/2 exact solves completed 6,705.368 ms median | 2/2 exact solves completed 6,693.332 ms median |
| Weighted queens · 23 queens92 model variables | 2/2 exact solves completed 8,887.267 ms median | 2/2 exact solves completed 8,881.26 ms median | 2/2 exact solves completed 8,934.151 ms median |
| Weighted queens · 24 queens96 model variables | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate | 0/2 exact solves completed No completion-time estimate |
114 sampled inputs · 356 measured runs · 34.1 minutes. Original witnesses are independently checked; large-instance optimality is backend-reported. The seeded families informed development and presets, so this is not an independent holdout.
Download every run, input and search decisionRead the final method and limitsEarlier 2-second study · existing problem families
Time: lower is better.Bars start at zero. Each problem has its own scale.
Completion: higher is better.A timeout is unfinished, not unsupported or a fast solve.
No support means no timing.Missing APIs never receive an invented zero or speedup.
EARLIER / NATIVE SEARCH ALGORITHMS
Same problems. Exact capacity optimization.
These runs compare the immediate prior implementation with a bounded exact optimization for binary capacity models. Other search defaults are preserved. All problem types in this panel were supported before and remain supported now. Each pair uses the same driver, build configuration, inputs and two-second solver limit. Numerical HiGHS solving is a separate route.
Ordinary native branch-and-bound
Both versions support every problem shown. Completion requires a solver proof and an independently checked optimum.
Models completed at the known optimum
All three repetitions must complete and pass checks.
Higher completion is better ↑Knapsack · 80 binary variables
Less time is betterBefore algorithmsNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Now12.55 ms
3/3 completed and checkedRange 11.29 ms–13.36 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
Facility location · 128 binary variables
Less time is betterBefore algorithms453 ms
3/3 completed and checkedRange 452 ms–454 ms
Now454 ms
3/3 completed and checkedRange 454 ms–458 ms
Median timing within 1%.Zero-based scale · compare bars within this card
Assignment · 144 binary variables
Less time is betterBefore algorithms105 ms
3/3 completed and checkedRange 104 ms–107 ms
Now106 ms
3/3 completed and checkedRange 106 ms–107 ms
1.1% more time in these runs.Zero-based scale · compare bars within this card
Binary TSP · 120 binary variables
Less time is betterBefore algorithms34.85 ms
3/3 completed and checkedRange 34.16 ms–35.47 ms
Now34.39 ms
3/3 completed and checkedRange 34.06 ms–35.4 ms
1.3% less time in these runs.Zero-based scale · compare bars within this card
Production · 120 binary variables
Less time is betterBefore algorithms19.91 ms
3/3 completed and checkedRange 19.12 ms–20.08 ms
Now20.6 ms
3/3 completed and checkedRange 19.45 ms–20.86 ms
3.5% more time in these runs.Zero-based scale · compare bars within this card
Bin packing · 44 binary variables
Less time is betterBefore algorithms10.74 ms
3/3 completed and checkedRange 10 ms–11.04 ms
Now10.91 ms
3/3 completed and checkedRange 9.93 ms–10.99 ms
1.6% more time in these runs.Zero-based scale · compare bars within this card
Circuit TSP · 12 cities
Less time is betterBefore algorithms20.06 ms
3/3 completed and checkedRange 19.98 ms–21.07 ms
Now21.93 ms
3/3 completed and checkedRange 18.85 ms–22.63 ms
9.4% more time in these runs.Zero-based scale · compare bars within this card
Weighted queens · 12 queens
Less time is betterBefore algorithms19.4 ms
3/3 completed and checkedRange 19.37 ms–20.1 ms
Now21.02 ms
3/3 completed and checkedRange 20.07 ms–22.34 ms
8.4% more time in these runs.Zero-based scale · compare bars within this card
External wall time includes process startup and model construction. Bars require all three repetitions to complete; unfinished runs have no completion-time bar. Small timing differences can reflect ordinary desktop activity.
Explicit depth-first frontier
Both versions support every problem shown. Completion requires a solver proof and an independently checked optimum.
Models completed at the known optimum
All three repetitions must complete and pass checks.
Higher completion is better ↑Knapsack · 80 binary variables
Less time is betterBefore algorithmsNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Now10.46 ms
3/3 completed and checkedRange 10.31 ms–11.06 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
Bin packing · 44 binary variables
Less time is betterBefore algorithms10.83 ms
3/3 completed and checkedRange 10.12 ms–11.23 ms
Now10.57 ms
3/3 completed and checkedRange 10.26 ms–10.9 ms
2.4% less time in these runs.Zero-based scale · compare bars within this card
External wall time includes process startup and model construction. Bars require all three repetitions to complete; unfinished runs have no completion-time bar. Small timing differences can reflect ordinary desktop activity.
| Previously unfinished problem / route | Before: objective | Now: objective | Known optimum |
|---|---|---|---|
| Knapsack · 80 binary variables / native | -1947, -1947, -1947 | -2464, -2464, -2464 | -2464 |
| Knapsack · 80 binary variables / dfs | -1792, -1780, -1792 | -2464, -2464, -2464 | -2464 |
An earlier 60-run experiment with generic search ordering was rejected: completion did not improve and a limited knapsack solution became worse. All pilot results remain in the download, separately from the accepted study. This same panel informed development, so it is an adaptive regression comparison, not an untouched holdout.
Every returned witness is checked against the original problem. Finding the known best value does not mean the solver proved optimality. The table retains all three outcomes; no failed or limited run is retried.
Download all 60 latest runs and provenance Read the algorithm checkpointHistorical comparison · before this project
01 / MEASURED RUNTIMES
The same problems, both versions.
Before is the preserved pre-project experimental build. Now is the ninth integrated version. Three alternating paired runs per problem use a two-second solver limit. External wall time includes startup, import, search and output.
Binary optimization: more instances reach an optimum
Five existing pure-binary MIPLIB models. Both versions support these problems. Before uses the experimental binary adapter; now uses the numerical HiGHS facade.
Models completed at the known optimum
All three repetitions must complete and pass checks.
Higher completion is better ↑p0033
Less time is betterBefore project · binary adapter16.43 ms
3/3 completed and checkedRange 16.22 ms–17.25 ms
Ninth checkpoint30.77 ms
3/3 completed and checkedRange 29.97 ms–30.86 ms
87.3% more time in these runs.Zero-based scale · compare bars within this card
p0201
Less time is betterBefore project · binary adapterNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Ninth checkpoint641 ms
3/3 completed and checkedRange 638 ms–654 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
p0282
Less time is betterBefore project · binary adapterNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Ninth checkpoint159 ms
3/3 completed and checkedRange 157 ms–159 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
p0548
Less time is betterBefore project · binary adapterNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Ninth checkpoint70.55 ms
3/3 completed and checkedRange 70.48 ms–71.84 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
lseu
Less time is betterBefore project · binary adapterNo completed solve
Time limit reached — no completion time
0/3 completed and checked · 3 solver limitsCompletion time excludes unfinished runs
Ninth checkpoint191 ms
3/3 completed and checkedRange 190 ms–192 ms
No speed ratio without three completed pairs.Zero-based scale · compare bars within this card
Completion requires the solver to report optimal and an independent exact witness check to match the known optimum. Twelve old runs returned feasible points at the limit. p0201 found the known optimum but did not prove it; it remains unfinished. Numerical HiGHS status is not an exact optimality certificate.
Native CP: tiny end-to-end checks take longer
Four unchanged legacy FlatZinc fixtures. These capabilities already existed. Preserved self-contained binaries are compared with the current shared-library build.
Fixtures matching the original expected output
All three repetitions must complete and pass checks.
Higher completion is better ↑Job-shop scheduling
Less time is betterBefore project · native FlatZinc5.04 ms
3/3 completed and checkedRange 4.4 ms–5.1 ms
Ninth checkpoint10.6 ms
3/3 completed and checkedRange 9.55 ms–11.11 ms
110.1% more time in these runs.Zero-based scale · compare bars within this card
Cumulative scheduling
Less time is betterBefore project · native FlatZinc4.21 ms
3/3 completed and checkedRange 3.95 ms–4.37 ms
Ninth checkpoint9.19 ms
3/3 completed and checkedRange 8.94 ms–9.43 ms
118.3% more time in these runs.Zero-based scale · compare bars within this card
Sudoku
Less time is betterBefore project · native FlatZinc4.56 ms
3/3 completed and checkedRange 4.5 ms–4.72 ms
Ninth checkpoint9.88 ms
3/3 completed and checkedRange 8.92 ms–9.94 ms
116.3% more time in these runs.Zero-based scale · compare bars within this card
Multidimensional knapsack
Less time is betterBefore project · native FlatZinc4.44 ms
3/3 completed and checkedRange 4.17 ms–4.49 ms
Ninth checkpoint9.37 ms
3/3 completed and checkedRange 9.34 ms–11.36 ms
110.9% more time in these runs.Zero-based scale · compare bars within this card
Both versions match the original expected output in 12/12 runs. That is an output oracle, not an independent mathematical proof. Median internal search is only about 0.02–0.18 ms; process startup, loading, parsing and output dominate these 4–11 ms wall times. The build-layout change prevents attributing the full difference to solver algorithms.
02 / PROBLEM TYPES & API CAPABILITIES
Existing strengths. Added reach. Clear limits.
Before means the enhanced Gecode 6.4 checkout at the start of this project. Now includes the latest capacity optimization; supported problem types are unchanged since the ninth checkpoint. “Added” describes the documented API or solver route, not every possible hand-written CP encoding.
Already availableAdded or expandedSupported subsetStill outside scope
| Problem or workflow | Before this project | Now | Engine & boundary |
|---|---|---|---|
| Binary & bounded-integer optimization | Native CP; experimental binary LP hybrid | Expanded owning API | Native exact integer route within activity limits; numerical integer models also use HiGHS. Binary problems were already supported. |
| Continuous linear programming (LP) | No general numerical LP route | Added: numerical LP | HiGHS backend. Original FloatVar interval constraints remain a separate CP facility, not this LP solver. |
| Mixed integer + continuous linear models | No general MILP route | Added: numerical MILP | HiGHS supplies MIP search. Includes integer, binary and continuous variables; numerical bounds and tolerances apply. |
| Semicontinuous & semi-integer domains | Possible CP encodings; no retained MP type | Explicit domain types | Numerical adapter requires a finite positive nonzero lower bound and upper bound ≤100,000. Native route accepts supported finite semi-integer domains. |
| Global constraints & scheduling | Native all-different, table, circuit, scheduling and more | Already available + six retained globals | Original Gecode CP remains available. The new facade retains all-different, element, table, cumulative, circuit and Regular; it does not expose every native global. |
| FlatZinc & MiniZinc | Native FlatZinc/MiniZinc route | Existing route + opt-in new route | Separate Optimize compiler/registration supports a documented integer/Boolean subset. Existing solver defaults and original route remain available. |
| Continuous convex quadratic objectives | No dedicated numerical QP API | Added: weighted-square subset | HiGHS QP via a distinct API: bounded continuous variables, weighted affine squares, convex min/concave max. No arbitrary Hessian, QCP or integer QP. |
| LP duals, bases & sensitivity | No unified original-model observation API | Added: checked numerical data | Owning duals, basis starts, rays/Farkas evidence and selected-basis coefficient/equality-RHS sensitivity. Sensitivity is not an exact certificate or a full vendor-equivalent range API. |
| Repeated solves & application workflows | Application-managed models and search | Added: explicit workflows | Persistent numerical sessions, serial scenarios, ordered objectives, conflict diagnostics, weighted L1 repair and ranked pools; each has documented support and budget limits. |
| Native incumbent improvement | Native branch-and-bound; application-defined heuristics | Added: bounded neighborhood API | One explicit binary Hamming-distance attempt after a valid incumbent. Checked against the original model; C++ only; no full heuristic portfolio. |
| Owning optimization C & Python APIs | No matching Optimize C/Python package | Added: versioned owning bindings | C++ core, versioned C handles and Python ctypes, including LP sensitivity. Current installed libraries are tested; the older wheel has not been rebuilt. |
| Mixed-integer QP, QCP & general global nonlinear MP | No equivalent dedicated MP engine | Still outside Optimize scope | Existing finite-domain and FloatVar expression facilities are not equivalent to a general numerical/global MIQP, QCP or nonlinear engine. |
| Parallel optimization & learning | Native parallel CP; no general learned hybrid | Native CP retained; new hybrid work pending | The added Optimize routes use one worker. Production learning, parallel hybrid search and general action callbacks remain unfinished. |
HiGHS supplies numerical LP/MILP/QP solving. Native Gecode supplies CP and the bounded exact integer route. Native CP parallelism already existed; the new optimization adapter currently allows one worker per solve. This is not a claim of CPLEX/Gurobi parity.
03 / NEW FEATURE CHECKS
Working now, with no old API equivalent.
These are historical ninth-checkpoint correctness fixtures, including their assertions and process startup. They demonstrate the new interfaces; their time is not a large-model performance benchmark.
Bounded native incumbent improvement
BeforeNo equivalent APINinth checkpoint27.88 ms
14 checks passed · A real local improvement and an independently enumerated global optimum of −29.
35/35 current FAST cases passed5.84 s complete command · 28 s outer budget · timing excludes compilation
04 / REPRODUCIBILITY & DOCUMENTATION
The evidence behind the page.
What is measured
The current curves time the complete solver call, including optional algorithm work. External times also include startup and loading. Results use repeated runs on the same machine; each successful answer is checked. These small panels are kept separate because they use different models and solver routes. They are not combined into an overall solver score.
What is preserved
Original binaries, input hashes, solver versions, commands, every run outcome, and time limits are retained. No benchmark result is replaced with a reference solution. The original checkout remains unchanged.
How to interpret a change
Reported percentage changes describe observed medians. Cache state, startup and ordinary desktop activity affect short runs. There is no claim of statistical significance, broad industrial speedup, memory improvement or commercial-solver parity.
Documentation follows the code
The API guide and native Doxygen documentation cover model support, backend selection, numerical versus exact guarantees, sensitivity, neighborhoods, exact capacity optimization and current restrictions.
Read the current API guide Read the benchmark methodSource versions, benchmark commands and all per-case results
Size-scaling source: 95b54f2f5553fb078502bff483fb9067c4b37887. Earlier algorithms: 5d533bcd4f66e9f065e24bac5ed7a7c976d715db. Capability baseline: e10562fd9. Measurement details, support notes and per-case outcomes are available in the downloadable JSON.
Commands behind the final comparison
356 measured solves, 3 loader checks and one parser rejection. The two compiler commands were captured. Solver commands are reconstructed from the frozen runner and saved records; a complete shell or environment history was not recorded. These commands describe the study, including its interruptions, rather than a fresh-run recipe.
Run phases from the solver checkout, shown as ${GECODE_ROOT} below. Driver builds reuse existing solver libraries. The optimized library has since been rebuilt; exact replay requires the historical binary matching the recorded hash. The saved measurements are unchanged.
Ordered build, run, resume and export phases
python3 experiments/optimize/build_final_benchmark.py
python3 experiments/optimize/benchmark_final.py --output-dir build/final-benchmark/results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/continue_final_benchmark.py --report build/final-benchmark/results/report.json --output-dir build/final-benchmark/extended-results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/resume_final_benchmark.py --report build/final-benchmark/extended-results/report.json --output-dir build/final-benchmark/resumed-results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/build_large_final_benchmark.py
python3 experiments/optimize/resume_large_final_benchmark.py --report build/final-benchmark/resumed-results/report.json --output-dir build/final-benchmark/final-results --binary build/final-benchmark/large-driver/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/resume_large_final_benchmark.py --report build/final-benchmark/final-results/report.json --export-onlyTwo captured compiler argument lists
Source: ${GECODE_ROOT}/build/final-benchmark/build.local.json
[
"/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++",
"-I${GECODE_ROOT}",
"-O3",
"-DNDEBUG",
"-std=gnu++17",
"-isysroot",
"/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX26.2.sdk",
"-mmacosx-version-min=15.7",
"${GECODE_ROOT}/experiments/optimize/final_benchmark.cpp",
"-o",
"${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark",
"${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize/libgecodeoptimize.dylib",
"-Wl,-search_paths_first",
"-Wl,-headerpad_max_install_names",
"-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize",
"-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build"
]Source: ${GECODE_ROOT}/build/final-benchmark/large-driver/build.local.json
[
"/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++",
"-I${GECODE_ROOT}",
"-O3",
"-DNDEBUG",
"-std=gnu++17",
"-isysroot",
"/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX26.2.sdk",
"-mmacosx-version-min=15.7",
"${GECODE_ROOT}/build/final-benchmark/large-driver/final_benchmark_large.cpp",
"-o",
"${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark",
"${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize/libgecodeoptimize.dylib",
"-Wl,-search_paths_first",
"-Wl,-headerpad_max_install_names",
"-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize",
"-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build"
]All 360 process commands, in order
Before each invocation the runner cleared inherited DYLD_* variables, then applied the overrides shown. Other environment variables were inherited and not captured. The driver set one thread and seed 0; each solve had ten seconds, including automatic exploration and restart. The runner used empty input, captured output and an eleven-second process deadline.
# 1: runtime loader probe · knapsack-8-uncorrelated · before · repetition 0
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route native --seconds 10)
# 2: runtime loader probe · knapsack-8-uncorrelated · auto · repetition 0
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 3: runtime loader probe · knapsack-8-uncorrelated · configured · repetition 0
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route native --seconds 10)
# 4: measured solve · knapsack-32-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
# 5: measured solve · knapsack-32-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
# 6: measured solve · knapsack-64-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route native --seconds 10)
# 7: measured solve · knapsack-64-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route native --seconds 10)
# 8: measured solve · knapsack-48-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-48-uncorrelated.txt" --kind binary --route native --seconds 10)
# 9: measured solve · knapsack-48-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-48-correlated.txt" --kind binary --route native --seconds 10)
# 10: measured solve · knapsack-40-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-40-uncorrelated.txt" --kind binary --route native --seconds 10)
# 11: measured solve · knapsack-40-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-40-correlated.txt" --kind binary --route native --seconds 10)
# 12: measured solve · knapsack-36-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-36-uncorrelated.txt" --kind binary --route native --seconds 10)
# 13: measured solve · knapsack-36-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-36-correlated.txt" --kind binary --route native --seconds 10)
# 14: measured solve · knapsack-34-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
# 15: measured solve · knapsack-34-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
# 16: measured solve · knapsack-33-uncorrelated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
# 17: measured solve · knapsack-33-correlated · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
# 18: measured solve · knapsack-32-uncorrelated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
# 19: measured solve · knapsack-32-correlated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
# 20: measured solve · knapsack-33-uncorrelated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
# 21: measured solve · knapsack-33-correlated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
# 22: measured solve · knapsack-34-uncorrelated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
# 23: measured solve · knapsack-34-correlated · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
# 24: measured solve · knapsack-32-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 25: measured solve · knapsack-32-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route auto-race --seconds 10)
# 26: measured solve · knapsack-64-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 27: measured solve · knapsack-64-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route auto-race --seconds 10)
# 28: measured solve · knapsack-128-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 29: measured solve · knapsack-128-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-correlated.txt" --kind binary --route auto-race --seconds 10)
# 30: measured solve · knapsack-256-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 31: measured solve · knapsack-256-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-correlated.txt" --kind binary --route auto-race --seconds 10)
# 32: measured solve · knapsack-512-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 33: measured solve · knapsack-512-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route auto-race --seconds 10)
# 34: measured solve · knapsack-511-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 35: measured solve · knapsack-511-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route auto-race --seconds 10)
# 36: measured solve · knapsack-511-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 37: measured solve · knapsack-511-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route auto-race --seconds 10)
# 38: measured solve · knapsack-512-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 39: measured solve · knapsack-512-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route auto-race --seconds 10)
# 40: measured solve · knapsack-32-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
# 41: measured solve · knapsack-32-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
# 42: measured solve · knapsack-64-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route native --seconds 10)
# 43: measured solve · knapsack-64-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route native --seconds 10)
# 44: measured solve · knapsack-128-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-uncorrelated.txt" --kind binary --route native --seconds 10)
# 45: measured solve · knapsack-128-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-correlated.txt" --kind binary --route native --seconds 10)
# 46: measured solve · knapsack-256-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-uncorrelated.txt" --kind binary --route native --seconds 10)
# 47: measured solve · knapsack-256-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-correlated.txt" --kind binary --route native --seconds 10)
# 48: measured solve · knapsack-512-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route native --seconds 10)
# 49: measured solve · knapsack-512-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route native --seconds 10)
# 50: measured solve · knapsack-511-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route native --seconds 10)
# 51: measured solve · knapsack-511-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route native --seconds 10)
# 52: measured solve · knapsack-511-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route native --seconds 10)
# 53: measured solve · knapsack-511-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route native --seconds 10)
# 54: measured solve · knapsack-512-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route native --seconds 10)
# 55: measured solve · knapsack-512-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route native --seconds 10)
# 56: measured solve · knapsack-33-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 57: measured solve · knapsack-33-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route auto-race --seconds 10)
# 58: measured solve · knapsack-33-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
# 59: measured solve · knapsack-33-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
# 60: measured solve · knapsack-34-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 61: measured solve · knapsack-34-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route auto-race --seconds 10)
# 62: measured solve · knapsack-34-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
# 63: measured solve · knapsack-34-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
# 64: measured solve · assignment-16-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route native --seconds 10)
# 65: measured solve · assignment-32-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route native --seconds 10)
# 66: measured solve · assignment-24-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-24-single.txt" --kind binary --route native --seconds 10)
# 67: measured solve · assignment-20-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-20-single.txt" --kind binary --route native --seconds 10)
# 68: measured solve · assignment-18-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route native --seconds 10)
# 69: measured solve · assignment-17-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route native --seconds 10)
# 70: measured solve · assignment-16-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route native --seconds 10)
# 71: measured solve · assignment-17-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route native --seconds 10)
# 72: measured solve · assignment-18-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route native --seconds 10)
# 73: measured solve · assignment-16-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route auto-race --seconds 10)
# 74: measured solve · assignment-32-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route auto-race --seconds 10)
# 75: measured solve · assignment-31-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route auto-race --seconds 10)
# 76: measured solve · assignment-31-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route auto-race --seconds 10)
# 77: measured solve · assignment-32-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route auto-race --seconds 10)
# 78: measured solve · assignment-16-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route lp-root --seconds 10)
# 79: measured solve · assignment-32-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route lp-root --seconds 10)
# 80: measured solve · assignment-24-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-24-single.txt" --kind binary --route lp-root --seconds 10)
# 81: measured solve · assignment-28-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-28-single.txt" --kind binary --route lp-root --seconds 10)
# 82: measured solve · assignment-30-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-30-single.txt" --kind binary --route lp-root --seconds 10)
# 83: measured solve · assignment-31-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route lp-root --seconds 10)
# 84: measured solve · assignment-30-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-30-single.txt" --kind binary --route lp-root --seconds 10)
# 85: measured solve · assignment-31-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route lp-root --seconds 10)
# 86: measured solve · assignment-32-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route lp-root --seconds 10)
# 87: measured solve · assignment-17-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route auto-race --seconds 10)
# 88: measured solve · assignment-17-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route lp-root --seconds 10)
# 89: measured solve · assignment-18-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route auto-race --seconds 10)
# 90: measured solve · assignment-18-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route lp-root --seconds 10)
# 91: measured solve · facility_location-8-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route native --seconds 10)
# 92: measured solve · facility_location-16-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route native --seconds 10)
# 93: measured solve · facility_location-12-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-12-single.txt" --kind binary --route native --seconds 10)
# 94: measured solve · facility_location-10-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-10-single.txt" --kind binary --route native --seconds 10)
# 95: measured solve · facility_location-9-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route native --seconds 10)
# 96: measured solve · facility_location-7-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route native --seconds 10)
# 97: measured solve · facility_location-7-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route native --seconds 10)
# 98: measured solve · facility_location-8-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route native --seconds 10)
# 99: measured solve · facility_location-9-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route native --seconds 10)
# 100: measured solve · facility_location-8-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route auto-race --seconds 10)
# 101: measured solve · facility_location-16-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route auto-race --seconds 10)
# 102: measured solve · facility_location-15-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route auto-race --seconds 10)
# 103: measured solve · facility_location-15-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route auto-race --seconds 10)
# 104: measured solve · facility_location-16-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route auto-race --seconds 10)
# 105: measured solve · facility_location-8-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route lp-updated --seconds 10)
# 106: measured solve · facility_location-16-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route lp-updated --seconds 10)
# 107: measured solve · facility_location-15-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route lp-updated --seconds 10)
# 108: measured solve · facility_location-15-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route lp-updated --seconds 10)
# 109: measured solve · facility_location-16-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route lp-updated --seconds 10)
# 110: measured solve · facility_location-7-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route auto-race --seconds 10)
# 111: measured solve · facility_location-7-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route lp-updated --seconds 10)
# 112: measured solve · facility_location-9-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route auto-race --seconds 10)
# 113: measured solve · facility_location-9-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route lp-updated --seconds 10)
# 114: measured solve · bin_packing-16-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route native --seconds 10)
# 115: measured solve · bin_packing-32-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route native --seconds 10)
# 116: measured solve · bin_packing-24-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-24-single.txt" --kind binary --route native --seconds 10)
# 117: measured solve · bin_packing-20-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-20-single.txt" --kind binary --route native --seconds 10)
# 118: measured solve · bin_packing-18-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route native --seconds 10)
# 119: measured solve · bin_packing-17-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route native --seconds 10)
# 120: measured solve · bin_packing-16-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route native --seconds 10)
# 121: measured solve · bin_packing-17-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route native --seconds 10)
# 122: measured solve · bin_packing-18-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route native --seconds 10)
# 123: measured solve · bin_packing-16-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route auto-race --seconds 10)
# 124: measured solve · bin_packing-32-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route auto-race --seconds 10)
# 125: measured solve · bin_packing-31-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route auto-race --seconds 10)
# 126: measured solve · bin_packing-31-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route auto-race --seconds 10)
# 127: measured solve · bin_packing-32-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route auto-race --seconds 10)
# 128: measured solve · bin_packing-16-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route lp-root --seconds 10)
# 129: measured solve · bin_packing-32-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route lp-root --seconds 10)
# 130: measured solve · bin_packing-24-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-24-single.txt" --kind binary --route lp-root --seconds 10)
# 131: measured solve · bin_packing-28-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-28-single.txt" --kind binary --route lp-root --seconds 10)
# 132: measured solve · bin_packing-30-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-30-single.txt" --kind binary --route lp-root --seconds 10)
# 133: measured solve · bin_packing-31-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route lp-root --seconds 10)
# 134: measured solve · bin_packing-29-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-29-single.txt" --kind binary --route lp-root --seconds 10)
# 135: measured solve · bin_packing-29-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-29-single.txt" --kind binary --route lp-root --seconds 10)
# 136: measured solve · bin_packing-30-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-30-single.txt" --kind binary --route lp-root --seconds 10)
# 137: measured solve · bin_packing-31-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route lp-root --seconds 10)
# 138: measured solve · bin_packing-17-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route auto-race --seconds 10)
# 139: measured solve · bin_packing-17-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route lp-root --seconds 10)
# 140: measured solve · bin_packing-18-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route auto-race --seconds 10)
# 141: measured solve · bin_packing-18-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route lp-root --seconds 10)
# 142: measured solve · production-6-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route native --seconds 10)
# 143: measured solve · production-12-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route native --seconds 10)
# 144: measured solve · production-9-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route native --seconds 10)
# 145: measured solve · production-10-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route native --seconds 10)
# 146: measured solve · production-11-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route native --seconds 10)
# 147: measured solve · production-10-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route native --seconds 10)
# 148: measured solve · production-11-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route native --seconds 10)
# 149: measured solve · production-12-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route native --seconds 10)
# 150: measured solve · production-6-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route auto-race --seconds 10)
# 151: measured solve · production-12-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route auto-race --seconds 10)
# 152: measured solve · production-24-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-24-single.txt" --kind binary --route auto-race --seconds 10)
# 153: measured solve · production-48-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-48-single.txt" --kind binary --route auto-race --seconds 10)
# 154: measured solve · production-36-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-36-single.txt" --kind binary --route auto-race --seconds 10)
# 155: measured solve · production-30-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-30-single.txt" --kind binary --route auto-race --seconds 10)
# 156: measured solve · production-27-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route auto-race --seconds 10)
# 157: measured solve · production-28-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route auto-race --seconds 10)
# 158: measured solve · production-29-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route auto-race --seconds 10)
# 159: measured solve · production-27-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route auto-race --seconds 10)
# 160: measured solve · production-28-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route auto-race --seconds 10)
# 161: measured solve · production-29-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route auto-race --seconds 10)
# 162: measured solve · production-26-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-26-single.txt" --kind binary --route auto-race --seconds 10)
# 163: measured solve · production-26-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-26-single.txt" --kind binary --route auto-race --seconds 10)
# 164: measured solve · production-6-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route lp-reliability --seconds 10)
# 165: measured solve · production-12-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route lp-reliability --seconds 10)
# 166: measured solve · production-24-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-24-single.txt" --kind binary --route lp-reliability --seconds 10)
# 167: measured solve · production-48-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-48-single.txt" --kind binary --route lp-reliability --seconds 10)
# 168: measured solve · production-36-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-36-single.txt" --kind binary --route lp-reliability --seconds 10)
# 169: measured solve · production-30-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-30-single.txt" --kind binary --route lp-reliability --seconds 10)
# 170: measured solve · production-27-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route lp-reliability --seconds 10)
# 171: measured solve · production-28-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route lp-reliability --seconds 10)
# 172: measured solve · production-29-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route lp-reliability --seconds 10)
# 173: measured solve · production-27-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route lp-reliability --seconds 10)
# 174: measured solve · production-28-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route lp-reliability --seconds 10)
# 175: measured solve · production-29-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route lp-reliability --seconds 10)
# 176: measured solve · production-9-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route auto-race --seconds 10)
# 177: measured solve · production-9-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route lp-reliability --seconds 10)
# 178: measured solve · production-10-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route auto-race --seconds 10)
# 179: measured solve · production-10-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route lp-reliability --seconds 10)
# 180: measured solve · production-11-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route auto-race --seconds 10)
# 181: measured solve · production-11-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route lp-reliability --seconds 10)
# 182: measured solve · native_tsp-16-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route native --seconds 10)
# 183: measured solve · native_tsp-32-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route native --seconds 10)
# 184: measured solve · native_tsp-24-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route native --seconds 10)
# 185: measured solve · native_tsp-20-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
# 186: measured solve · native_tsp-22-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
# 187: measured solve · native_tsp-21-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
# 188: measured solve · native_tsp-20-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
# 189: measured solve · native_tsp-21-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
# 190: measured solve · native_tsp-22-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
# 191: measured solve · native_tsp-16-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 192: measured solve · native_tsp-32-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 193: measured solve · native_tsp-24-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 194: measured solve · native_tsp-20-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 195: measured solve · native_tsp-22-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 196: measured solve · native_tsp-21-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 197: measured solve · native_tsp-20-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 198: measured solve · native_tsp-21-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 199: measured solve · native_tsp-22-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route auto-race --seconds 10)
# 200: measured solve · native_tsp-16-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route native --seconds 10)
# 201: measured solve · native_tsp-32-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route native --seconds 10)
# 202: measured solve · native_tsp-24-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route native --seconds 10)
# 203: measured solve · native_tsp-20-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
# 204: measured solve · native_tsp-22-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
# 205: measured solve · native_tsp-21-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
# 206: measured solve · native_tsp-20-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
# 207: measured solve · native_tsp-21-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
# 208: measured solve · native_tsp-22-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
# 209: measured solve · weighted_queens-12-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route native --seconds 10)
# 210: measured solve · weighted_queens-24-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
# 211: measured solve · weighted_queens-18-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route native --seconds 10)
# 212: measured solve · weighted_queens-21-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route native --seconds 10)
# 213: measured solve · weighted_queens-22-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
# 214: measured solve · weighted_queens-23-single · before · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
# 215: measured solve · weighted_queens-22-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
# 216: measured solve · weighted_queens-23-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
# 217: measured solve · weighted_queens-24-single · before · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
# 218: measured solve · weighted_queens-12-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 219: measured solve · weighted_queens-24-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 220: measured solve · weighted_queens-18-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 221: measured solve · weighted_queens-21-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 222: measured solve · weighted_queens-22-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 223: measured solve · weighted_queens-23-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 224: measured solve · weighted_queens-22-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 225: measured solve · weighted_queens-23-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 226: measured solve · weighted_queens-24-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route auto-race --seconds 10)
# 227: measured solve · weighted_queens-12-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route native --seconds 10)
# 228: measured solve · weighted_queens-24-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
# 229: measured solve · weighted_queens-18-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route native --seconds 10)
# 230: measured solve · weighted_queens-21-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route native --seconds 10)
# 231: measured solve · weighted_queens-22-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
# 232: measured solve · weighted_queens-23-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
# 233: measured solve · weighted_queens-22-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
# 234: measured solve · weighted_queens-23-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
# 235: measured solve · weighted_queens-24-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
# 236: measured solve · knapsack-1024-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 237: measured solve · knapsack-1024-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-correlated.txt" --kind binary --route auto-race --seconds 10)
# 238: measured solve · knapsack-1024-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 239: measured solve · knapsack-1024-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-correlated.txt" --kind binary --route auto-race --seconds 10)
# 240: measured solve · knapsack-2048-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 241: measured solve · knapsack-2048-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-correlated.txt" --kind binary --route auto-race --seconds 10)
# 242: measured solve · knapsack-2048-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 243: measured solve · knapsack-2048-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-correlated.txt" --kind binary --route auto-race --seconds 10)
# 244: measured solve · knapsack-4096-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 245: measured solve · knapsack-4096-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route auto-race --seconds 10)
# 246: measured solve · knapsack-4096-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 247: measured solve · knapsack-4096-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route auto-race --seconds 10)
# 248: measured solve · knapsack-3072-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 249: measured solve · knapsack-3072-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route auto-race --seconds 10)
# 250: measured solve · knapsack-3072-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 251: measured solve · knapsack-3072-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route auto-race --seconds 10)
# 252: measured solve · knapsack-2560-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 253: measured solve · knapsack-2560-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route auto-race --seconds 10)
# 254: measured solve · knapsack-2560-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 255: measured solve · knapsack-2560-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route auto-race --seconds 10)
# 256: measured solve · knapsack-2304-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 257: measured solve · knapsack-2304-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route auto-race --seconds 10)
# 258: measured solve · knapsack-2304-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 259: measured solve · knapsack-2304-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route auto-race --seconds 10)
# 260: measured solve · knapsack-2432-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 261: measured solve · knapsack-2432-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route auto-race --seconds 10)
# 262: measured solve · knapsack-2432-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 263: measured solve · knapsack-2432-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route auto-race --seconds 10)
# 264: measured solve · knapsack-2368-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 265: measured solve · knapsack-2368-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route auto-race --seconds 10)
# 266: measured solve · knapsack-2368-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 267: measured solve · knapsack-2368-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route auto-race --seconds 10)
# 268: measured solve · knapsack-2336-uncorrelated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 269: measured solve · knapsack-2336-correlated · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route auto-race --seconds 10)
# 270: measured solve · knapsack-2336-uncorrelated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
# 271: measured solve · knapsack-2336-correlated · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route auto-race --seconds 10)
# 272: measured solve · knapsack-1024-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route native --seconds 10)
# 273: measured solve · knapsack-1024-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-correlated.txt" --kind binary --route native --seconds 10)
# 274: measured solve · knapsack-1024-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route native --seconds 10)
# 275: measured solve · knapsack-1024-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-correlated.txt" --kind binary --route native --seconds 10)
# 276: measured solve · knapsack-2048-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route native --seconds 10)
# 277: measured solve · knapsack-2048-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-correlated.txt" --kind binary --route native --seconds 10)
# 278: measured solve · knapsack-2048-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route native --seconds 10)
# 279: measured solve · knapsack-2048-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-correlated.txt" --kind binary --route native --seconds 10)
# 280: measured solve · knapsack-4096-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route native --seconds 10)
# 281: measured solve · knapsack-4096-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route native --seconds 10)
# 282: measured solve · knapsack-4096-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route native --seconds 10)
# 283: measured solve · knapsack-4096-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route native --seconds 10)
# 284: measured solve · knapsack-3072-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route native --seconds 10)
# 285: measured solve · knapsack-3072-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route native --seconds 10)
# 286: measured solve · knapsack-3072-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route native --seconds 10)
# 287: measured solve · knapsack-3072-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route native --seconds 10)
# 288: measured solve · knapsack-2560-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route native --seconds 10)
# 289: measured solve · knapsack-2560-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route native --seconds 10)
# 290: measured solve · knapsack-2560-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route native --seconds 10)
# 291: measured solve · knapsack-2560-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route native --seconds 10)
# 292: measured solve · knapsack-2304-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route native --seconds 10)
# 293: measured solve · knapsack-2304-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route native --seconds 10)
# 294: measured solve · knapsack-2304-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route native --seconds 10)
# 295: measured solve · knapsack-2304-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route native --seconds 10)
# 296: measured solve · knapsack-2432-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route native --seconds 10)
# 297: measured solve · knapsack-2432-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route native --seconds 10)
# 298: measured solve · knapsack-2432-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route native --seconds 10)
# 299: measured solve · knapsack-2432-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route native --seconds 10)
# 300: measured solve · knapsack-2368-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route native --seconds 10)
# 301: measured solve · knapsack-2368-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route native --seconds 10)
# 302: measured solve · knapsack-2368-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route native --seconds 10)
# 303: measured solve · knapsack-2368-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route native --seconds 10)
# 304: measured solve · knapsack-2336-uncorrelated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route native --seconds 10)
# 305: measured solve · knapsack-2336-correlated · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route native --seconds 10)
# 306: measured solve · knapsack-2336-uncorrelated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route native --seconds 10)
# 307: measured solve · knapsack-2336-correlated · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route native --seconds 10)
# 308: measured solve · assignment-64-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-64-single.txt" --kind binary --route auto-race --seconds 10)
# 309: measured solve · assignment-64-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-64-single.txt" --kind binary --route auto-race --seconds 10)
# 310: pre-solve parser rejection · assignment-128-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
# 311: measured solve · assignment-128-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
# 312: measured solve · assignment-128-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
# 313: measured solve · assignment-96-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-96-single.txt" --kind binary --route auto-race --seconds 10)
# 314: measured solve · assignment-96-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-96-single.txt" --kind binary --route auto-race --seconds 10)
# 315: measured solve · assignment-80-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-80-single.txt" --kind binary --route auto-race --seconds 10)
# 316: measured solve · assignment-80-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-80-single.txt" --kind binary --route auto-race --seconds 10)
# 317: measured solve · assignment-72-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-72-single.txt" --kind binary --route auto-race --seconds 10)
# 318: measured solve · assignment-72-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-72-single.txt" --kind binary --route auto-race --seconds 10)
# 319: measured solve · assignment-68-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-68-single.txt" --kind binary --route auto-race --seconds 10)
# 320: measured solve · assignment-68-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-68-single.txt" --kind binary --route auto-race --seconds 10)
# 321: measured solve · assignment-66-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-66-single.txt" --kind binary --route auto-race --seconds 10)
# 322: measured solve · assignment-66-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-66-single.txt" --kind binary --route auto-race --seconds 10)
# 323: measured solve · facility_location-32-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route auto-race --seconds 10)
# 324: measured solve · facility_location-32-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route auto-race --seconds 10)
# 325: measured solve · facility_location-64-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route auto-race --seconds 10)
# 326: measured solve · facility_location-64-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route auto-race --seconds 10)
# 327: measured solve · facility_location-48-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route auto-race --seconds 10)
# 328: measured solve · facility_location-48-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route auto-race --seconds 10)
# 329: measured solve · facility_location-40-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-40-single.txt" --kind binary --route auto-race --seconds 10)
# 330: measured solve · facility_location-40-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-40-single.txt" --kind binary --route auto-race --seconds 10)
# 331: measured solve · facility_location-44-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-44-single.txt" --kind binary --route auto-race --seconds 10)
# 332: measured solve · facility_location-44-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-44-single.txt" --kind binary --route auto-race --seconds 10)
# 333: measured solve · facility_location-46-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-46-single.txt" --kind binary --route auto-race --seconds 10)
# 334: measured solve · facility_location-46-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-46-single.txt" --kind binary --route auto-race --seconds 10)
# 335: measured solve · facility_location-45-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-45-single.txt" --kind binary --route auto-race --seconds 10)
# 336: measured solve · facility_location-45-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-45-single.txt" --kind binary --route auto-race --seconds 10)
# 337: measured solve · facility_location-32-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route lp-updated --seconds 10)
# 338: measured solve · facility_location-32-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route lp-updated --seconds 10)
# 339: measured solve · facility_location-64-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route lp-updated --seconds 10)
# 340: measured solve · facility_location-64-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route lp-updated --seconds 10)
# 341: measured solve · facility_location-48-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route lp-updated --seconds 10)
# 342: measured solve · facility_location-48-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route lp-updated --seconds 10)
# 343: measured solve · facility_location-56-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-56-single.txt" --kind binary --route lp-updated --seconds 10)
# 344: measured solve · facility_location-56-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-56-single.txt" --kind binary --route lp-updated --seconds 10)
# 345: measured solve · facility_location-52-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-52-single.txt" --kind binary --route lp-updated --seconds 10)
# 346: measured solve · facility_location-52-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-52-single.txt" --kind binary --route lp-updated --seconds 10)
# 347: measured solve · facility_location-54-single · configured · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-54-single.txt" --kind binary --route lp-updated --seconds 10)
# 348: measured solve · facility_location-54-single · configured · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-54-single.txt" --kind binary --route lp-updated --seconds 10)
# 349: measured solve · bin_packing-64-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-64-single.txt" --kind binary --route auto-race --seconds 10)
# 350: measured solve · bin_packing-64-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-64-single.txt" --kind binary --route auto-race --seconds 10)
# 351: measured solve · bin_packing-48-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-48-single.txt" --kind binary --route auto-race --seconds 10)
# 352: measured solve · bin_packing-48-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-48-single.txt" --kind binary --route auto-race --seconds 10)
# 353: measured solve · bin_packing-40-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-40-single.txt" --kind binary --route auto-race --seconds 10)
# 354: measured solve · bin_packing-40-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-40-single.txt" --kind binary --route auto-race --seconds 10)
# 355: measured solve · bin_packing-44-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-44-single.txt" --kind binary --route auto-race --seconds 10)
# 356: measured solve · bin_packing-44-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-44-single.txt" --kind binary --route auto-race --seconds 10)
# 357: measured solve · bin_packing-46-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-46-single.txt" --kind binary --route auto-race --seconds 10)
# 358: measured solve · bin_packing-46-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-46-single.txt" --kind binary --route auto-race --seconds 10)
# 359: measured solve · bin_packing-47-single · auto · repetition 1
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-47-single.txt" --kind binary --route auto-race --seconds 10)
# 360: measured solve · bin_packing-47-single · auto · repetition 2
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-47-single.txt" --kind binary --route auto-race --seconds 10)The ratio calculation is a new analysis recipe using saved observations; it runs no solver. Size and speed independently select the better of automatic and configured. Speed uses median solve time, excluding process startup. Most improved timings at the original maximum have one run per instance, so these are observed ratios, not guaranteed speedups.