9 months ago a1c8d24 main push Compare
Suggested base runs: Benchmarks
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrackbacktrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrackbacktrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrackbacktrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrackdpll[sat4]
benches/solve.rs::benches::bench_dpll::dplldpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpllbacktrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrackdpll[sat1]
benches/solve.rs::benches::bench_dpll::dpllbacktrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrackdpll[unsat2]
benches/solve.rs::benches::bench_dpll::dplldpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpllbacktrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrackdpll[sat2]
benches/solve.rs::benches::bench_dpll::dplldpll[sat3]
benches/solve.rs::benches::bench_dpll::dpllbacktrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrackdpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpllcdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcldpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpllcdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdclcdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdclbacktrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrackcdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl© 2025 CodSpeed Technology