GitHub Actions run
Instrumentation
3 months ago 2d86e17 dependabot/cargo/all-dependencies-e469411e86Compare
Base
Search a run
Head
Comparedeps: bump serde_json from 1.0.136 to 1.0.137 in the all-dependencies group
#48
dependabot/cargo/all-dependencies-e469411e86
3 months ago
Benchmarks
backtrack[sat1]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat1]252.2 µs
backtrack[unsat5]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat5]198 µs
backtrack[unsat3]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat3]219.6 µs
backtrack[sat3]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat3]1.7 ms
dpll[unsat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat1]476.9 µs
backtrack[unsat1]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat1]68.4 µs
backtrack[sat2]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat2]1.6 ms
backtrack[sat4]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[sat4]1.7 ms
backtrack[unsat4]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat4]200.6 µs
cdcl[sat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat1]7.9 ms
dpll[unsat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat3]3.5 ms
dpll[sat1]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat1]1.3 ms
cdcl[unsat1]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat1]4.6 ms
cdcl[sat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat2]784.8 ms
cdcl[unsat2]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat2]24.1 ms
cdcl[sat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat3]972.7 ms
dpll[sat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat2]48.1 ms
dpll[sat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat4]141.3 ms
backtrack[unsat2]
benches/solve.rs::benches::bench_backtrack::backtrack::backtrack[unsat2]555.9 µs
cdcl[unsat3]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat3]28.9 ms
dpll[unsat5]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat5]9.1 ms
dpll[sat3]
benches/solve.rs::benches::bench_dpll::dpll::dpll[sat3]62.6 ms
dpll[unsat4]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat4]4.8 ms
cdcl[unsat5]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat5]46.9 ms
cdcl[sat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[sat4]2.4 s
dpll[unsat2]
benches/solve.rs::benches::bench_dpll::dpll::dpll[unsat2]2.1 ms
cdcl[unsat4]
benches/solve.rs::benches::bench_cdcl::cdcl::cdcl[unsat4]15.2 ms