Skip to content
Kernel Benchmark

Prune the boolean search instead of walking the whole truth table #1568

Sign in to view logs

Prune the boolean search instead of walking the whole truth table

Prune the boolean search instead of walking the whole truth table #1568

Triggered via pull request August 9, 2026 21:08
@Rafael-SOWNetRafael-SOWNet
opened #864
fix/boolean-dpll
Status Success
Total duration 10m 11s
Artifacts –

Benchmark.yml

on: pull_request
Benchmark
10m 7s
Benchmark
Fit to window
Zoom out
Zoom in