Comparing
kletzi:fix/bool_lit_negation
(f3b1b40
) withdevelop
(b0b97bb
)0%
- Untouched
- 21
Benchmarks
21 total
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs0%
5.9 ms5.9 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs0%
19.8 ms19.7 ms
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs0%
124.7 ms124.5 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs0%
182.2 ms182 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs0%
289 ms288.6 ms
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs0%
64.2 ms64.1 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs0%
5.5 ms5.5 ms
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs0%
295.1 ms294.9 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs0%
8.3 ms8.3 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
31.4 ms31.4 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs0%
520.9 ms520.6 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs0%
10.8 ms10.8 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs0%
186.5 ms186.4 ms
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.7 ms11.7 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs0%
10.4 ms10.4 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs0%
4.1 ms4.1 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs0%
37.8 ms37.8 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.7 ms11.7 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs0%
48.6 ms48.6 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs0%
8 ms8 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs0%
360 ms360 ms
Commits
Click on a commit to change the comparison rangeBase
develop
b0b97bb
+0.23%
Ensure creation of positive solver lits before mapping integer variables
6260a45
18 days ago
by kletzi-0.16%
fix: missing negation in `LoweringMapBuilder::get_or_create_bool`
f3b1b40
17 days ago
by Dekker1