GitHub Actions run
CPU Simulation
1 day ago 2ec059f Dekker1:feat/lit_stats pull_requestCompare
Base
Search a run
Head
Comparefeat: add statistics on number of created SAT solver literals
#303
Dekker1:feat/lit_stats
1 day ago
CPU Simulation
21 total
optimization[radiation_i6_9]
crates/huub-cli/benches/flatzinc_bench.rs11.8 ms
satisfaction[amaze3_2012_03_19]
crates/huub-cli/benches/flatzinc_bench.rs521.4 ms
satisfaction[steiner_t3_k4_N8]
crates/huub-cli/benches/flatzinc_bench.rs38 ms
optimization[jobshop_la03]
crates/huub-cli/benches/flatzinc_bench.rs123.6 ms
optimization[mrcpsp_j10_10_2]
crates/huub-cli/benches/flatzinc_bench.rs11 ms
optimization[jobshop_la05]
crates/huub-cli/benches/flatzinc_bench.rs19.7 ms
optimization[jobshop_la04]
crates/huub-cli/benches/flatzinc_bench.rs286.4 ms
satisfaction[steiner_t6_k6_N7]
crates/huub-cli/benches/flatzinc_bench.rs11.8 ms
optimization[rcpsp_01]
crates/huub-cli/benches/flatzinc_bench.rs295.1 ms
optimization[radiation_i8_9]
crates/huub-cli/benches/flatzinc_bench.rs31.7 ms
optimization[jobshop_newspaper]
crates/huub-cli/benches/flatzinc_bench.rs4.2 ms
optimization[mrcpsp_j10_10_3]
crates/huub-cli/benches/flatzinc_bench.rs8.2 ms
optimization[jobshop_la02]
crates/huub-cli/benches/flatzinc_bench.rs180.5 ms
optimization[ccmcp_3_20_0]
crates/huub-cli/benches/flatzinc_bench.rs185.8 ms
optimization[peaceable_queens_n5_q3]
crates/huub-cli/benches/flatzinc_bench.rs48.7 ms
optimization[rcpsp_03]
crates/huub-cli/benches/flatzinc_bench.rs5.7 ms
optimization[svrp_s4_v2_c3]
crates/huub-cli/benches/flatzinc_bench.rs64.1 ms
optimization[mrcpsp_j10_10_1]
crates/huub-cli/benches/flatzinc_bench.rs10.6 ms
satisfaction[sudoku_p48]
crates/huub-cli/benches/flatzinc_bench.rs8.5 ms
optimization[portal_10_9_10]
crates/huub-cli/benches/flatzinc_bench.rs350.5 ms
optimization[rcpsp_02]
crates/huub-cli/benches/flatzinc_bench.rs6 ms