use intermediate satisfier causes in priority statistics
#291Comparing
Eh2406:conflict_count
(49f3f9d
) withdev
(3bef331
)0%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 6
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Passed
sudoku-hard
benches/sudoku.rs::benches::bench_solve::sudoku-hard0%
4.2 ms
4.2 ms
sudoku-easy
benches/sudoku.rs::benches::bench_solve::sudoku-easy0%
3.9 ms
3.9 ms
backtracking_singletons
benches/backtracking.rs::benches::bench_group::backtracking_singletons0%
4.4 s
4.4 s
backtracking_disjoint_versions
benches/backtracking.rs::benches::bench_group::backtracking_disjoint_versions0%
2.4 s
2.4 s
large_case_u16_NumberVersion.ron
benches/large_case.rs::benches::bench_nested::large_cases::large_case_u16_NumberVersion.ron-1%
25.6 ms
25.8 ms
backtracking_ranges
benches/backtracking.rs::benches::bench_group::backtracking_ranges-1%
2 s
2 s
Commits
Click on a commit to change the comparison rangeBase
dev
3bef331
0%
use intermediate satisfier causes in priority statistics
49f3f9d
7 days ago
by Eh2406