CI

1360 workflow runs

CC engine: erasure bound (GH-195, opt-in token erasure)
completed successfully:
CI#1360:Pull request#219synchronizebyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202645s
GH-195: MODIFICATIONS: erasure state in the -cc-roworder=auto probe
completed successfully:
CI#1359:Commit60a86f3pushedbyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202634s
CC engine: erasure bound (GH-195, opt-in token erasure)
completed successfully:
CI#1358:Pull request#219synchronizebyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202638s
GH-195: -cc-roworder=auto probe runs the other configuration with the…
completed successfully:
CI#1357:Commit8667bc0pushedbyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202641s
CC engine: erasure bound (GH-195, opt-in token erasure)
completed successfully:
CI#1356:Pull request#219openedbyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202640s
Merge main (02879a93: charge default, tiebreak, roworder bfs/auto, sp…
completed successfully:
CI#1355:Commita5be349pushedbyguluchen
experiment/gh-195-cc-erasure
Nov 3, 202640s
GH-217: CC default rules + tiebreak,sparse,sparseov,sparsemrv and -cc…
completed successfully:
CI#1354:Commitbb3e2efpushedbyguluchen
experiment/gh-217-cc-default-flip
Nov 3, 202639s
Merge pull request #203 from guluchen/experiment/gh-181-cc-sparse-rows
completed successfully:
CI#1353:Commit02879a9pushedbyguluchen
main
Oct 30, 202635s
CC engine: redundant sparse checks (sparse, sparseov, sparsemrv) and XOR unit propagation (GH-181, opt-in; do not merge before PI says merge)
completed successfully:
CI#1352:Pull request#203synchronizebyguluchen
experiment/gh-181-cc-sparse-rows
Oct 30, 202642s
Merge main (30ce62ab: GH-162, GH-183, GH-206 merges) into GH-181
completed successfully:
CI#1351:Commit10fa542pushedbyguluchen
experiment/gh-181-cc-sparse-rows
Oct 30, 202630s
Merge pull request #215 from guluchen/experiment/gh-206-cc-roworder-auto
completed successfully:
CI#1350:Commit30ce62apushedbyguluchen
main
Oct 30, 202641s
CC engine: per-half probe between tiebreak and MRV + reversed-BFS row order (-cc-roworder=auto, GH-206; do not merge before PI says merge)
completed successfully:
CI#1349:Pull request#215synchronizebyguluchen
experiment/gh-206-cc-roworder-auto
Oct 30, 20261m 7s
Merge main (7d915698: GH-162 and GH-183 merges, stem renames #216) in…
completed successfully:
CI#1348:Commit34c6f8fpushedbyguluchen
experiment/gh-206-cc-roworder-auto
Oct 30, 20261m 20s
Merge pull request #204 from guluchen/experiment/gh-183-cc-roworder
completed successfully:
CI#1347:Commit7d91569pushedbyguluchen
main
Oct 30, 202637s
CC engine: MRV branching and seed-anchored reversed-BFS row order (GH-183, opt-in; do not merge before PI says merge)
completed successfully:
CI#1346:Pull request#204synchronizebyguluchen
experiment/gh-183-cc-roworder
Oct 30, 202634s
Merge main (a516ef07: GH-162 merge, stem renames #216) into GH-183
completed successfully:
CI#1345:Commite8aeab7pushedbyguluchen
experiment/gh-183-cc-roworder
Oct 30, 202628s
Merge pull request #180 from guluchen/experiment/gh-162-overlap-tiebreak
completed successfully:
CI#1344:Commita516ef0pushedbyguluchen
main
Oct 30, 20262m 26s
CC engine: orbit-compatible even-weight overlap tie-break (GH-162, opt-in; do not merge before PI says merge)
completed successfully:
CI#1343:Pull request#180synchronizebyguluchen
experiment/gh-162-overlap-tiebreak
Oct 30, 20261m 59s
Merge main (39ba87ed, stem renames #216) into GH-162 tiebreak
completed successfully:
CI#1342:Commit32dc9d4pushedbyguluchen
experiment/gh-162-overlap-tiebreak
Oct 30, 20264m 27s
Merge pull request #216 from guluchen/data/cc-lb-stems-20261031
completed successfully:
CI#1341:Commit39ba87epushedbyguluchen
main
Oct 30, 20263m 35s
CC engine: orbit-compatible even-weight overlap tie-break (GH-162, opt-in; do not merge before PI says merge)
completed successfully:
CI#1340:Pull request#180synchronizebyguluchen
experiment/gh-162-overlap-tiebreak
Oct 30, 20262m 0s
Merge main (c94d390b, GH-157 charge default) into GH-162 tiebreak
completed successfully:
CI#1339:Commit4d61246pushedbyguluchen
experiment/gh-162-overlap-tiebreak
Oct 30, 20262m 0s
Rename eight tier5 stems with GH-157/GH-162/GH-183/GH-181 CC lower bounds
completed successfully:
CI#1338:Pull request#216openedbyguluchen
data/cc-lb-stems-20261031
Oct 30, 20268m 44s
Rename eight tier5 stems with GH-157/GH-162/GH-183/GH-181 CC lower bo…
completed successfully:
CI#1337:Commit6ffc0a0pushedbyguluchen
data/cc-lb-stems-20261031
Oct 30, 20268m 22s
Rename eight tier5 stems with GH-157/GH-162/GH-183/GH-181 CC lower bo…
completed successfully:
CI#1336:Commitdab3aa9pushedbyguluchen
data/cc-lb-stems-20261031
Oct 30, 20268m 43s