Eh2406:conflict_count - Branch - pubgrub-rs/pubgrub

use intermediate satisfier causes in priority statistics

#291Merged

Comparing

Eh2406:conflict_count

(

5ff396e

) with

dev

(

a8e2ba6

)

sudoku-hard

benches/sudoku.rs::benches::bench_solve

4.2 ms4.2 ms

sudoku-easy

benches/sudoku.rs::benches::bench_solve

3.7 ms3.7 ms

backtracking_disjoint_versions

benches/backtracking.rs::benches::bench_group

2.4 s2.4 s

backtracking_singletons

benches/backtracking.rs::benches::bench_group

4.4 s4.4 s

large_case_u16_NumberVersion.ron

benches/large_case.rs::benches::bench_nested::large_cases

-1%

26.4 ms26.6 ms

backtracking_ranges

benches/backtracking.rs::benches::bench_group

-1%

2 s2 s

Click on a commit to change the comparison range

Base

dev

a8e2ba6

-0.21%

better wording for the comment

5ff396e

10 months ago

by Eh2406