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

An bounds consistent propagator for `all_different`

#164Merged
Comparing
Dekker1:feat/all_different_bounds
(
900e2fa
) with
develop
(
be40788
)
CodSpeed Performance Gauge
-31%
Improvements
0
Regressions
1
Untouched
13
New
0
Dropped
0
Ignored
0

Benchmarks

Failed

satisfaction[sudoku_p48]Regression
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[sudoku_p48]
CodSpeed Performance Gauge
-31%
9.5 ms
13.6 ms

Passed

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.7 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.2 ms
13.1 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_newspaper]
CodSpeed Performance Gauge
0%
2.4 ms
2.4 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la02]
CodSpeed Performance Gauge
0%
2.7 s
2.7 s
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.7 ms
43.7 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la04]
CodSpeed Performance Gauge
0%
489.9 ms
490 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la03]
CodSpeed Performance Gauge
0%
251.1 ms
251.2 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%
761.1 ms
761.9 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i8_9]
CodSpeed Performance Gauge
0%
40.8 ms
40.8 ms
optimization[portal_10_9_10]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[portal_10_9_10]
CodSpeed Performance Gauge
0%
438.2 ms
439 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la01]
CodSpeed Performance Gauge
0%
103.1 ms
103.4 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la05]
CodSpeed Performance Gauge
0%
22.2 ms
22.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
-1%
86 ms
86.5 ms

Commits

Click on a commit to change the comparison range
Base
develop
be40788
-31%
Allow setting all_different propagation level from Model and FlatZinc
a4bc7a0
8 days ago
by Dekker1
0%
Merge branch 'develop' into feat/all_different_bounds
16c01d4
8 days ago
by Dekker1
0%
Reorder based on naming
900e2fa
8 days ago
by Dekker1
© 2025 CodSpeed Technology
Home Terms PrivacyDocs