Avatar for the huub-solver user
huub-solver
huub
BlogDocsChangelog

Re-introduce integer reasoning when checking reasons in debug mode

#167
Comparing
Dekker1:fix/reason_check
(
b0f6fd5
) with
develop
(
02d3bf5
)
CodSpeed Performance Gauge
0%
Improvements
0
Regressions
0
Untouched
14
New
0
Dropped
0
Ignored
0

Benchmarks

Passed

optimization[portal_10_9_10]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[portal_10_9_10]
CodSpeed Performance Gauge
0%
451.6 ms
451.2 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la04]
CodSpeed Performance Gauge
0%
319.4 ms
319.2 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_newspaper]
CodSpeed Performance Gauge
0%
2.5 ms
2.5 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la02]
CodSpeed Performance Gauge
0%
178.9 ms
178.8 ms
satisfaction[sudoku_p48]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[sudoku_p48]
CodSpeed Performance Gauge
0%
9.5 ms
9.5 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la03]
CodSpeed Performance Gauge
0%
122.5 ms
122.5 ms
satisfaction[steiner_t6_k6_N7]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t6_k6_N7]
CodSpeed Performance Gauge
0%
13.1 ms
13.1 ms
satisfaction[amaze3_2012_03_19]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[amaze3_2012_03_19]
CodSpeed Performance Gauge
0%
647.9 ms
648.3 ms
optimization[svrp_s4_v2_c3]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[svrp_s4_v2_c3]
CodSpeed Performance Gauge
0%
69 ms
69 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la01]
CodSpeed Performance Gauge
0%
78.8 ms
78.9 ms
satisfaction[steiner_t3_k4_N8]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t3_k4_N8]
CodSpeed Performance Gauge
0%
43.2 ms
43.2 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i8_9]
CodSpeed Performance Gauge
0%
39.9 ms
40 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la05]
CodSpeed Performance Gauge
0%
20.1 ms
20.2 ms
optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i6_9]
CodSpeed Performance Gauge
-1%
13.8 ms
13.9 ms

Commits

Click on a commit to change the comparison range
Base
develop
02d3bf5
0%
Check the reasons of propagated literals in the trail position This ensures all reasoning of (integer) consequences has already been performed by the SAT solver.
b0f6fd5
3 days ago
by Dekker1
© 2025 CodSpeed Technology
Home Terms PrivacyDocs