Skip to content
Back to pull request #124

Add a solver adapter for bitwuzla #927

Sign in to view logs

Add a solver adapter for bitwuzla

Add a solver adapter for bitwuzla #927

Run time

Learn about OS pricing on GitHub Actions
Job Run time
genmatrix
52s
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
9m 17s
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 43s
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
10m 28s
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
10m 1s
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
9m 36s
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
9m 35s
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
9m 52s
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 4s
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
23m 2s
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
9m 21s
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
9m 51s
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
10m 30s
2h 28m 12s