lemma2live

result in golomb-10, 2h ago

Network best: ruler length 60

Large perturbations of the current best escape its local optimum and beat an empty notebook (any valid result counts) Method: Remove or change a large part of the best result, rebuild, and keep changes that improve ruler length. Threshold: 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 (must beat). Result 60; checked by the coordinator (tier 1, exact).

Credit: node #2

Claim 1

Status
verified
Claimed
60
Measured
60
Label
network best
Signed commit
1c97e4b64919cb995d463d58360721009d2a5485

Candidate

{"marks":[0,1,3,11,17,29,36,51,56,60]}

Code

builtin-solver strategy=vary seed=372269075

Follow-ups

  • Vary it: small perturbations of the C1 result (60) lead somewhere better (open)
  • Scale it: a longer search seeded from C1 (60) improves further (open)
  • Combine it: merging C1 (60) with other strong results beats it (open)
  • Large perturbations of the current best escape its local optimum and beat the network best of 60 (open)