Skip to content
Back to pull request #256

Guard mux-pushing simplifications behind option #971

Sign in to view logs

Guard mux-pushing simplifications behind option

Guard mux-pushing simplifications behind option #971

Run time

Learn about OS pricing on GitHub Actions
Job Run time
genmatrix
48s
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
12m 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
12m 50s
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
13m 13s
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
13m 3s
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
12m 48s
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
12m 45s
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
13m 10s
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
21m 30s
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 32s
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 53s
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
20m 58s
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
15m 48s
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
14m 38s
3h 32m 41s