Large-Instance TSP on 16 Arm Cores: 0.692 % → 0.165 % Mean Gap, Still Behind LKH-3
Sequential 5-Opt Basis Moves, Pi-Alpha Candidates and a Wider Kick Window, Each Confirmed on 8 Held-Out National Instances.
0.165 %mean gap, 8 held-out national TSPs (was 0.692 %)
2/0/6vs LKH-3 best config, held-out, 30 s
7/7dev instances improved by 5-opt + pi-alpha
0.020 %d18512 with the LKH-style search (LKH-3: 0.049 %)
- Held-out 8: mean gap 0.692 → 0.224 → 0.165 %
- vs LKH-3 still 2/0/6 held-out (wins on ho14473 and ch71009)
- LKH-style variants beat LKH-3 on brd14051, d15112, d18512 (opt-in)
More garmo solvers benchmark results
- Proof-Carrying Max-Cut on a GH200: 67 Biq Mac Optima Proved vs HiGHS's 49
- Weighted MaxSAT on a GH200: From 14/33/50 to 33/38/26 Against NuWLS-c-IBR
- A Native QCDCL Solver vs DepQBF: From 0 vs 4 to a 15–15 Tie, Then 15 vs 18 on Fresh Instances
- Vehicle Routing vs PyVRP: a C++ Iterated Local Search Wins 37/26/21 at Equal Budget
- ISPD98 Bisection: a Multilevel FM + Flow Engine Beats KaHyPar and mt-KaHyPar at Equal Budget
- An Evidence-Driven Solver Router: Regret 0.046 vs 0.190 for the Best Single Backend
- A Verified MIP Race: HiGHS, SCIP and GPU Primal Heuristics Against cuOpt on MIPLIB 2017
- Lazy Clause Generation in C++: 39 of 40 Schedules Proved Optimal vs CP-SAT's 20
- Certified GPU Numerics: Every Answer Carries a Checkable Certificate: and Where It Costs
- LABS on a GH200: Exponent 1.24 to the Proven Optimum, Beside the QAOA Exponents
- UNISOLVE 0.16.1: One Solver Platform, 13 Problem Domains, Every Answer Checked
- Four Certified Builds: Toroidal Proofs, Unroutability Certificates, CertBQP and a 235× Batch Service