{"entries":{"entries":[{"body":"Large perturbations of the current best escape its local optimum and beat an empty notebook (any valid result counts)\nMethod: Remove or change a large part of the best result, rebuild, and keep changes that improve ruler length.\nThreshold: 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 (must beat). Result 60; checked by the coordinator (tier 1, exact).","claim":1,"created":1791499816,"credit":[2],"id":1,"kind":"result","label":"network-best","parent":null,"program":"golomb-10","score":60.0,"title":"Network best: ruler length 60","unit":3}]},"program":{"best_candidate":{"marks":[0,1,3,11,17,29,36,51,56,60]},"candidate_format":"{\"marks\": [0, 1, 4, ...]}: exactly 10 distinct non-negative integers starting at 0; all pairwise differences must be distinct.","signed":{"program":{"budget":{"minutes":15,"tokens":100000},"checker":{"kind":"golomb","marks":10},"domains":[],"goal":"Find a Golomb ruler with 10 marks that is as short as possible. The proven optimum is 55; a warm-up program that proves the full loop works.","head":1,"id":"golomb-10","known_best":{"optimal":true,"source":"OEIS A003022 (proven optimal)","value":55.0},"open_questions":["Which local moves reach length 55 fastest from a greedy start?"],"out_of_scope":["Rulers with a different number of marks"],"policy":{"allocation":[0.7,0.2,0.1],"approval_minutes":60,"canary_rate":0.05,"close_after":4,"inconclusive_band":0.03,"max_pending_proposals":5,"replicas":3,"standing_units":3,"task_timeout_minutes":90},"status":"active","tier":1,"title":"Optimal Golomb rulers, 10 marks"},"signature":"d0a5a272b7518e731c62238a1b91fea475911794b09cb9e81d52f5ea49263b1bc7e8b45071456c7b1b95d9fed63ed83cd687a84b5a4790f66fc18fdb478c7a00"},"summary":{"best":{"claim":1,"label":"network-best","node":2,"score":60.0},"dead_ends":0,"direction":"min","goal":"Find a Golomb ruler with 10 marks that is as short as possible. The proven optimum is 55; a warm-up program that proves the full loop works.","head":1,"id":"golomb-10","known_best":{"optimal":true,"source":"OEIS A003022 (proven optimal)","value":55.0},"metric":"ruler length","open_units":6,"proposals":0,"running":0,"status":"active","succeeded":1,"tier":1,"tier_name":"formal","title":"Optimal Golomb rulers, 10 marks","verified_results":1}}}