dependabot/cargo/all-dependencies-e469411e86 - Branch - termoshtt/cdcl

deps: bump serde_json from 1.0.136 to 1.0.137 in the all-dependencies group

#48Merged

Comparing

dependabot/cargo/all-dependencies-e469411e86

(

2d86e17

) with

main

(

5ec0dd5

)

Untouched: 27

Benchmarks

27 total

backtrack[unsat3]

benches/solve.rs::benches::bench_backtrack::backtrack

+1%

221.7 µs219.6 µs

backtrack[unsat1]

benches/solve.rs::benches::bench_backtrack::backtrack

68.6 µs68.4 µs

backtrack[unsat5]

benches/solve.rs::benches::bench_backtrack::backtrack

198.6 µs198 µs

dpll[unsat3]

benches/solve.rs::benches::bench_dpll::dpll

3.5 ms3.5 ms

backtrack[unsat4]

benches/solve.rs::benches::bench_backtrack::backtrack

201.2 µs200.6 µs

dpll[sat1]

benches/solve.rs::benches::bench_dpll::dpll

1.3 ms1.3 ms

backtrack[sat3]

benches/solve.rs::benches::bench_backtrack::backtrack

1.7 ms1.7 ms

dpll[sat2]

benches/solve.rs::benches::bench_dpll::dpll

48.1 ms48.1 ms

dpll[sat3]

benches/solve.rs::benches::bench_dpll::dpll

62.6 ms62.6 ms

backtrack[unsat2]

benches/solve.rs::benches::bench_backtrack::backtrack

556 µs555.9 µs

cdcl[unsat2]

benches/solve.rs::benches::bench_cdcl::cdcl

24.1 ms24.1 ms

dpll[sat4]

benches/solve.rs::benches::bench_dpll::dpll

141.4 ms141.3 ms

dpll[unsat1]

benches/solve.rs::benches::bench_dpll::dpll

477 µs476.9 µs

cdcl[sat1]

benches/solve.rs::benches::bench_cdcl::cdcl

7.9 ms7.9 ms

cdcl[unsat3]

benches/solve.rs::benches::bench_cdcl::cdcl

28.9 ms28.9 ms

backtrack[sat4]

benches/solve.rs::benches::bench_backtrack::backtrack

1.7 ms1.7 ms

cdcl[sat3]

benches/solve.rs::benches::bench_cdcl::cdcl

972.8 ms972.7 ms

cdcl[unsat5]

benches/solve.rs::benches::bench_cdcl::cdcl

46.9 ms46.9 ms

cdcl[unsat4]

benches/solve.rs::benches::bench_cdcl::cdcl

15.2 ms15.2 ms

dpll[unsat4]

benches/solve.rs::benches::bench_dpll::dpll

4.8 ms4.8 ms

cdcl[sat2]

benches/solve.rs::benches::bench_cdcl::cdcl

784.7 ms784.8 ms

backtrack[sat2]

benches/solve.rs::benches::bench_backtrack::backtrack

1.6 ms1.6 ms

backtrack[sat1]

benches/solve.rs::benches::bench_backtrack::backtrack

252 µs252.2 µs

cdcl[unsat1]

benches/solve.rs::benches::bench_cdcl::cdcl

4.6 ms4.6 ms

cdcl[sat4]

benches/solve.rs::benches::bench_cdcl::cdcl

2.4 s2.4 s

Commits

Click on a commit to change the comparison range

Base

main

5ec0dd5

+0.06%

deps: bump serde_json in the all-dependencies group

2d86e17

1 year ago

by dependabot[bot]

Home Terms Privacy Docs