Skip to content
Back to pull request #260

Remove NatRepr arg from resolveSymBV #967

Sign in to view logs

Remove NatRepr arg from resolveSymBV

Remove NatRepr arg from resolveSymBV #967

Run time

Learn about OS pricing on GitHub Actions
Job Run time
genmatrix
57s
GHC-9.2.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
10m 54s
GHC-9.2.2 Z3-4_8_13 Yices-2_6_1 CVC4-1_8 CVC5-1_0_2 STP-2_3_2 Boolector-3_2_1 ABC-2020_06_22 ubuntu-latest
10m 57s
GHC-9.2.2 Z3-4_8_12 Yices-2_6 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
10m 55s
GHC-9.2.2 Z3-4_8_11 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
11m 5s
GHC-9.2.2 Z3-4_8_10 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
11m 34s
GHC-9.2.2 Z3-4_8_8 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
11m 14s
GHC-9.2.2 Z3-4_8_9 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
10m 53s
GHC-9.6.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
9m 59s
GHC-9.4.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
10m 56s
GHC-9.0.2 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
19m 47s
GHC-8.10.7 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
14m 17s
GHC-8.8.4 Z3-4_8_14 Yices-2_6_4 CVC4-1_8 CVC5-1_0_2 STP-2_3_3 Boolector-3_2_2 ABC-2021_12_30 ubuntu-latest
12m 43s
2h 26m 11s