Comparing
Dekker1:fix/linear_eq_view
(df49a74
) withdevelop
(6593981
)0%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 14
- New
- 0
- Dropped
- 0
- Ignored
- 0
Benchmarks
Passed
satisfaction[steiner_t6_k6_N7]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t6_k6_N7]0%
13.1 ms
13.1 ms
optimization[svrp_s4_v2_c3]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[svrp_s4_v2_c3]0%
73.2 ms
73.1 ms
satisfaction[sudoku_p48]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[sudoku_p48]0%
9.6 ms
9.6 ms
satisfaction[steiner_t3_k4_N8]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t3_k4_N8]0%
43.5 ms
43.5 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la01]0%
79.6 ms
79.6 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la05]0%
22.9 ms
22.9 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_newspaper]0%
3 ms
3 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la04]0%
406.7 ms
406.7 ms
satisfaction[amaze3_2012_03_19]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[amaze3_2012_03_19]0%
676.9 ms
677 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la02]0%
395.3 ms
395.5 ms
optimization[portal_10_9_10]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[portal_10_9_10]0%
404.1 ms
404.3 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i8_9]0%
46.5 ms
46.5 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la03]0%
180 ms
180.2 ms
optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i6_9]-1%
15.5 ms
15.6 ms
Commits
Click on a commit to change the comparison rangeBase
develop
6593981
0%
Fix equality views creation for linear integer decisions
This change adds the missing case where reversing the transformation on
the value checked for equality does not remain integer and it is thus
known that the decision cannot equal the value.
df49a74
2 months ago
by Dekker1