Domain consistent propagator for `alldifferent` constraint
#231Comparing
AllenZzw:feat/alldiff_domain
(ecf0a4d
) withdevelop
(7191e2c
)0%
- Untouched
- 21
Benchmarks
21 total
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs0%
64.1 ms63.8 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs0%
45.4 ms45.3 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs0%
30.4 ms30.3 ms
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs0%
103.2 ms103 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs0%
155.7 ms155.5 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs0%
3.9 ms3.9 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs0%
560.2 ms559.6 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs0%
236.8 ms236.6 ms
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs0%
6 ms5.9 ms
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.4 ms11.4 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs0%
7.9 ms7.8 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs0%
10.2 ms10.2 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.5 ms11.5 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs0%
10.6 ms10.6 ms
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs0%
312.4 ms312.4 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs0%
359 ms359 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs0%
37 ms37 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs0%
5.8 ms5.8 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs0%
8.2 ms8.2 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
31.4 ms31.4 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs0%
186 ms186.2 ms
Commits
Click on a commit to change the comparison rangeBase
develop
7191e2c
+0.07%
generalize the conflict to explain no augmenting paths
ecf0a4d
4 months ago
by AllenZzw