termoshtt

cdcl

BlogDocsChangelog

Blog

Docs

Changelog

OverviewBranchesBenchmarksRuns

ActiveIgnoredArchived

backtrack[sat1]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

251.6 µs

backtrack[sat2]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

1.6 ms

backtrack[sat3]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

1.7 ms

backtrack[sat4]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

1.7 ms

backtrack[unsat1]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

70.7 µs

backtrack[unsat2]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

559.5 µs

backtrack[unsat3]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

222.1 µs

backtrack[unsat4]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

201.1 µs

backtrack[unsat5]

Instrumentation

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

8 months ago

, last run

8 months ago

0

13

198.5 µs

cdcl[sat1]

Instrumentation

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

9 months ago

, last run

8 months ago

1

63

7.9 ms

cdcl[sat2]

Instrumentation

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

9 months ago

, last run

8 months ago

1

63

784.8 ms

cdcl[sat3]

Instrumentation

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

9 months ago

, last run

8 months ago

1

63

972.7 ms

cdcl[sat4]

Instrumentation

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

9 months ago

, last run

8 months ago

1

63

2.4 s

cdcl[unsat1]

Instrumentation

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

9 months ago

, last run

8 months ago

1

71

4.6 ms

cdcl[unsat2]

Instrumentation

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

9 months ago

, last run

8 months ago

1

71

24.1 ms

cdcl[unsat3]

Instrumentation

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

9 months ago

, last run

8 months ago

1

71

28.9 ms

cdcl[unsat4]

Instrumentation

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

9 months ago

, last run

8 months ago

1

71

15.2 ms

cdcl[unsat5]

Instrumentation

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

9 months ago

, last run

8 months ago

1

71

47 ms

dpll[sat1]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

1.3 ms

dpll[sat2]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

48.1 ms

dpll[sat3]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

62.6 ms

dpll[sat4]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

141.4 ms

dpll[unsat1]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

477.2 µs

dpll[unsat2]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

2.1 ms

dpll[unsat3]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

3.5 ms

dpll[unsat4]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

4.8 ms

dpll[unsat5]

Instrumentation

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

10 months ago

, last run

8 months ago

1

109

9.1 ms

© 2025 CodSpeed Technology

Home Terms Privacy Docs