termoshtt

cdcl

BlogDocsChangelog

Blog

Docs

Changelog

OverviewBranchesBenchmarksRuns

Mode

CPU Simulation

Wall Time

Memory

Status

Active

27 total

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[sat1]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat1]created

1 year ago

, last runago

251.6 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[sat2]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat2]created

1 year ago

, last runago

1.6 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[sat3]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat3]created

1 year ago

, last runago

1.7 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[sat4]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat4]created

1 year ago

, last runago

1.7 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[unsat1]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat1]created

1 year ago

, last runago

70.7 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[unsat2]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat2]created

1 year ago

, last runago

559.5 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[unsat3]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat3]created

1 year ago

, last runago

222.1 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[unsat4]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat4]created

1 year ago

, last runago

201.1 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

backtrack[unsat5]

benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat5]created

1 year ago

, last runago

198.5 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[sat1]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat1]created

1 year ago

, last runago

7.9 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[sat2]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat2]created

1 year ago

, last runago

784.8 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[sat3]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat3]created

1 year ago

, last runago

972.7 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[sat4]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat4]created

1 year ago

, last runago

2.4 s

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[unsat1]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat1]created

1 year ago

, last runago

4.6 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[unsat2]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat2]created

1 year ago

, last runago

24.1 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[unsat3]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat3]created

1 year ago

, last runago

28.9 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[unsat4]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat4]created

1 year ago

, last runago

15.2 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

cdcl[unsat5]

benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat5]created

1 year ago

, last runago

47 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[sat1]

benches/solve.rs::benches::bench_dpll::dpll::dpll[sat1]created

1 year ago

, last runago

1.3 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[sat2]

benches/solve.rs::benches::bench_dpll::dpll::dpll[sat2]created

1 year ago

, last runago

48.1 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[sat3]

benches/solve.rs::benches::bench_dpll::dpll::dpll[sat3]created

1 year ago

, last runago

62.6 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[sat4]

benches/solve.rs::benches::bench_dpll::dpll::dpll[sat4]created

1 year ago

, last runago

141.4 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[unsat1]

benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat1]created

1 year ago

, last runago

477.2 µs

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[unsat2]

benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat2]created

1 year ago

, last runago

2.1 ms

Uses the CPU Simulation instrument
to collect CPU performance metrics.

dpll[unsat3]

benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat3]created

1 year ago

, last runago

3.5 ms

12

© 2026 CodSpeed Technology

Home Terms Privacy Docs