Benchmarks

backtrack[sat1]

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

3 months ago

, last run

3 months ago

251.6 µs

backtrack[sat2]

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

3 months ago

, last run

3 months ago

1.6 ms

backtrack[sat3]

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

3 months ago

, last run

3 months ago

1.7 ms

backtrack[sat4]

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

3 months ago

, last run

3 months ago

1.7 ms

backtrack[unsat1]

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

3 months ago

, last run

3 months ago

70.7 µs

backtrack[unsat2]

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

3 months ago

, last run

3 months ago

559.5 µs

backtrack[unsat3]

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

3 months ago

, last run

3 months ago

222.1 µs

backtrack[unsat4]

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

3 months ago

, last run

3 months ago

201.1 µs

backtrack[unsat5]

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

3 months ago

, last run

3 months ago

198.5 µs

cdcl[sat1]

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

4 months ago

, last acknowledgement

3 months ago

7.9 ms

cdcl[sat2]

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

4 months ago

, last acknowledgement

3 months ago

784.8 ms

cdcl[sat3]

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

4 months ago

, last acknowledgement

3 months ago

972.7 ms

cdcl[sat4]

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

4 months ago

, last acknowledgement

3 months ago

2.4 s

cdcl[unsat1]

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

4 months ago

, last acknowledgement

3 months ago

4.6 ms

cdcl[unsat2]

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

4 months ago

, last acknowledgement

3 months ago

24.1 ms

cdcl[unsat3]

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

4 months ago

, last acknowledgement

3 months ago

28.9 ms

cdcl[unsat4]

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

4 months ago

, last acknowledgement

3 months ago

15.2 ms

cdcl[unsat5]

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

4 months ago

, last acknowledgement

3 months ago

47 ms

dpll[sat1]

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

6 months ago

, last acknowledgement

3 months ago

109

1.3 ms

dpll[sat2]

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

6 months ago

, last acknowledgement

3 months ago

109

48.1 ms

dpll[sat3]

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

6 months ago

, last acknowledgement

3 months ago

109

62.6 ms

dpll[sat4]

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

6 months ago

, last acknowledgement

3 months ago

109

141.4 ms

dpll[unsat1]

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

6 months ago

, last acknowledgement

3 months ago

109

477.2 µs

dpll[unsat2]

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

6 months ago

, last acknowledgement

3 months ago

109

2.1 ms

dpll[unsat3]

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

6 months ago

, last acknowledgement

3 months ago

109

3.5 ms

dpll[unsat4]

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

6 months ago

, last acknowledgement

3 months ago

109

4.8 ms

dpll[unsat5]

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

6 months ago

, last acknowledgement

3 months ago

109

9.1 ms

Home Terms Privacy Docs