Skip to content
What4 CI

Merge pull request #273 from GaloisInc/T272-ghc-9.10 #1024

Sign in to view logs

Merge pull request #273 from GaloisInc/T272-ghc-9.10

Merge pull request #273 from GaloisInc/T272-ghc-9.10 #1024

Run time

Learn about OS pricing on GitHub Actions
Job Run time
genmatrix
54s
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 54s
GHC-9.2.2 Z3-4_8_13 Yices-2_6 CVC4-1_8 CVC5-1_1_2 STP-2_3_2 Bitwuzla-0_3_0 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
19m 5s
GHC-9.2.2 Z3-4_8_12 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
20m 45s
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
21m 4s
GHC-9.2.2 Z3-4_8_10 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
20m 53s
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 54s
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
18m 53s
GHC-9.10.1 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
28m 55s
GHC-9.8.1 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
25m 58s
GHC-9.6.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
27m 16s
GHC-9.4.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
27m 16s
GHC-9.0.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
30m 4s
GHC-8.10.7 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
25m 10s
GHC-8.8.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_1_2 STP-2_3_3 Bitwuzla-0_3_0 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
24m 36s
5h 28m 37s