GitHub Actions run
Instrumentation
2 days ago 40b1514 fix/reason_check_satCompare
Base
Search a run
Head
CompareFix reason checking when propagation is also found by sat propagation
#173
fix/reason_check_sat
2 days ago
Benchmarks
optimization[jobshop_newspaper]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_newspaper]2.4 ms
optimization[portal_10_9_10]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[portal_10_9_10]444.3 ms
satisfaction[steiner_t6_k6_N7]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[steiner_t6_k6_N7]13.1 ms
optimization[radiation_i8_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[radiation_i8_9]40 ms
optimization[svrp_s4_v2_c3]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[svrp_s4_v2_c3]68.9 ms
satisfaction[sudoku_p48]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[sudoku_p48]9.5 ms
optimization[jobshop_la04]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la04]314.6 ms
satisfaction[steiner_t3_k4_N8]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[steiner_t3_k4_N8]42.9 ms
satisfaction[amaze3_2012_03_19]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::satisfaction[amaze3_2012_03_19]654.3 ms
optimization[radiation_i6_9]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[radiation_i6_9]13.8 ms
optimization[jobshop_la02]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la02]164.2 ms
optimization[jobshop_la01]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la01]77 ms
optimization[jobshop_la05]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la05]31.8 ms
optimization[jobshop_la03]
crates/fzn-huub/benches/fzn_huub_benchmarks.rs::optimization[jobshop_la03]119.8 ms