GitHub Actions run
2 months ago 4dec4ac Dekker1:feat/implied_int_viewGitHub Actions
runCompare
Base
Search a run
Head
CompareAvoid creating propagators for implication of integer literals
#141
Dekker1:feat/implied_int_view
2 months ago
Benchmarks
optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i6_9]14.9 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[radiation_i8_9]47.5 ms
satisfaction[steiner_t6_k6_N7]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t6_k6_N7]13.2 ms
satisfaction[amaze3_2012_03_19]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[amaze3_2012_03_19]2.8 s
satisfaction[steiner_t3_k4_N8]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[steiner_t3_k4_N8]43.3 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la02]390.7 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la05]22.7 ms
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_newspaper]2.9 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la04]401 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la03]178.5 ms
satisfaction[sudoku_p48]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::satisfaction::satisfaction[sudoku_p48]9.5 ms
optimization[svrp_s4_v2_c3]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[svrp_s4_v2_c3]73.8 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::benches::optimization::optimization[jobshop_la01]79.2 ms