feat: update to CaDiCaL version 2.2.0
#252Comparing
Dekker1:feat/cadical2.2
(4db48b0
) withdevelop
(1f57128
)-9%
- Improvement
- 1
- Regression
- 1
- Untouched
- 19
Benchmarks
21 total
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs-9%
315.4 ms346.7 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs+9%
179.7 ms165.3 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs0%
8.4 ms8.4 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs-1%
36.8 ms37.1 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs-1%
5.8 ms5.9 ms
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs-1%
11.4 ms11.6 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs-1%
19.8 ms20 ms
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs-1%
6 ms6.1 ms
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs-1%
124.7 ms126.5 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs-1%
10.8 ms11 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs-2%
10.3 ms10.5 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs-2%
30.8 ms31.3 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs-2%
7.9 ms8.1 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs-2%
11.3 ms11.5 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs-2%
4.1 ms4.2 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs-2%
44.5 ms45.3 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs-2%
182.1 ms185.3 ms
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs-2%
63.7 ms65 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs-2%
514.4 ms525.6 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs-2%
288.7 ms295 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs-3%
357.6 ms369.4 ms
Commits
Click on a commit to change the comparison rangeBase
develop
1f57128
-9.02%
feat: add preprocessing-light option for CaDiCaL oracle
4db48b0
2 months ago
by Dekker1