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

Avoid creating propagators for implication of integer literals

#141Closed
Comparing
Dekker1:feat/implied_int_view
(
4dec4ac
) with
develop
(
1f5ab40
)
CodSpeed Performance Gauge
-73%
Improvements
0
Regressions
1
Untouched
12
New
0
Dropped
0
Ignored
0

Benchmarks

Failed

satisfaction[amaze3_2012_03_19]Regression
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[amaze3_2012_03_19]
CodSpeed Performance Gauge
-73%
773.9 ms
2,823.1 ms

Passed

optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i6_9]
CodSpeed Performance Gauge
+1%
15 ms
14.9 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_newspaper]
CodSpeed Performance Gauge
0%
2.9 ms
2.9 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la04]
CodSpeed Performance Gauge
0%
401.2 ms
401 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la01]
CodSpeed Performance Gauge
0%
79.2 ms
79.2 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i8_9]
CodSpeed Performance Gauge
0%
47.5 ms
47.5 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la05]
CodSpeed Performance Gauge
0%
22.7 ms
22.7 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la02]
CodSpeed Performance Gauge
0%
390.6 ms
390.7 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%
178.4 ms
178.5 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%
73.7 ms
73.8 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.2 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.3 ms

Commits

Click on a commit to change the comparison range
Base
develop
1f5ab40
-73%
Avoid creating propagators for implication of integer literals
4dec4ac
2 months ago
by Dekker1
Home Terms PrivacyDocs