Comparing
Dekker1:feat/lit_stats
(a26d8e5
) withdevelop
(32adcb6
)0%
- Untouched
- 21
Benchmarks
21 total
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs+1%
124.8 ms123.6 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs+1%
19.9 ms19.7 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs+1%
182.3 ms180.5 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs+1%
289 ms286.4 ms
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs+1%
64.4 ms64.1 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs0%
186.5 ms185.8 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs0%
8.5 ms8.5 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs0%
351.5 ms350.5 ms
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs0%
295.7 ms295.1 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs0%
522.7 ms521.5 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs0%
48.7 ms48.6 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
31.7 ms31.7 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs0%
11 ms11 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs0%
4.2 ms4.2 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs0%
37.9 ms38 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs0%
10.6 ms10.6 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs0%
8.2 ms8.2 ms
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs0%
6 ms6 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.8 ms11.8 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs0%
5.6 ms5.7 ms
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs0%
11.8 ms11.8 ms
Commits
Click on a commit to change the comparison rangeBase
develop
32adcb6
+0.25%
feat: add statistics on number of created SAT solver literals
2ec059f
1 day ago
by Dekker1+0.01%
chore: fix clippy::useless_conversion for .into_iter()
a26d8e5
1 day ago
by Dekker1