Skip to content
What4 CI

Guard mux-pushing simplifications behind option #969

Sign in to view logs

Guard mux-pushing simplifications behind option

Guard mux-pushing simplifications behind option #969

Run time

Learn about OS pricing on GitHub Actions
Job Run time
genmatrix
50s
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 45s
GHC-9.2.2 Z3-4_8_13 Yices-2_6 CVC4-1_8 CVC5-1_0_2 STP-2_3_2 Bitwuzla-0_3_0 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
19m 4s
GHC-9.2.2 Z3-4_8_12 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
19m 9s
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
19m 2s
GHC-9.2.2 Z3-4_8_10 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 28s
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 39s
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
20m 0s
GHC-9.8.1 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
23m 5s
GHC-9.6.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
23m 58s
GHC-9.4.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
24m 49s
GHC-9.0.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
27m 5s
GHC-8.10.7 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
22m 49s
GHC-8.8.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
21m 1s
4h 36m 44s