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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

13

N/A

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 run

1 year ago

63

9.9%

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 run

1 year ago

63

7.4%

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 run

1 year ago

63

7.5%

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 run

1 year ago

63

7.7%

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 run

1 year ago

71

7.9%

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 run

1 year ago

71

12.7%

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 run

1 year ago

71

11.5%

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 run

1 year ago

71

10.6%

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 run

1 year ago

71

11.9%

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 run

1 year ago

109

33.9%

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 run

1 year ago

109

33.1%

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 run

1 year ago

109

33.5%

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 run

1 year ago

109

33.5%

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 run

1 year ago

109

24.8%

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 run

1 year ago

109

34.7%

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 run

1 year ago

109

29.0%

3.5 ms

12

© 2026 CodSpeed Technology

Home Terms Privacy Docs