Proof Logging
#216Comparing
mmcilree:feat/proof_logging
(e2c0457
) withdevelop
(5f97188
)-1%
- Untouched
- 21
Benchmarks
21 total
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs-2%
62.8 ms64.1 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs-2%
50 ms50.8 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs-1%
10.9 ms11.1 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs-1%
608 ms615.1 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs-1%
10.6 ms10.7 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs-1%
36.4 ms36.8 ms
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs-1%
12 ms12.2 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs-1%
8.1 ms8.1 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs-1%
2.3 ms2.3 ms
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs-1%
6.3 ms6.4 ms
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs-1%
362.4 ms365.2 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs-1%
411.4 ms414.1 ms
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs-1%
114 ms114.7 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs-1%
171.8 ms172.9 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs-1%
11.5 ms11.6 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs-1%
30.6 ms30.8 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs-1%
37.8 ms38.1 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs-1%
156.1 ms157 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs-1%
7.9 ms8 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs-1%
6 ms6.1 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs0%
297.4 ms298.5 ms
Commits
Click on a commit to change the comparison rangeBase
develop
5f97188
-61.1%
fix: antecedents should be in reverse order in proof log.
6bc9fc5
10 months ago
by mmcilree+1.54%
Disable proof logging apparatus when --prove is not set.
aa9b07b
10 months ago
by mmcilree+58.67%
Filter the RegisterLazyLits layer as well.
e2c0457
10 months ago
by mmcilree