Skip to content
what4-solvers

Upgrade CVC5 to 1.1.1 #254

Sign in to view logs

Upgrade CVC5 to 1.1.1

Upgrade CVC5 to 1.1.1 #254

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-22.04, abc)
3m 28s
build (ubuntu-22.04, bitwuzla)
2m 13s
build (ubuntu-22.04, boolector)
2m 43s
build (ubuntu-22.04, cvc4)
11m 6s
build (ubuntu-22.04, cvc5)
11m 18s
build (ubuntu-22.04, yices)
2m 50s
build (ubuntu-22.04, z3-4.8.8)
7m 57s
build (ubuntu-22.04, z3-4.8.14)
10m 52s
build (ubuntu-20.04, abc)
3m 43s
build (ubuntu-20.04, bitwuzla)
2m 22s
build (ubuntu-20.04, boolector)
2m 49s
build (ubuntu-20.04, cvc4)
12m 1s
build (ubuntu-20.04, cvc5)
13m 2s
build (ubuntu-20.04, yices)
2m 23s
build (ubuntu-20.04, z3-4.8.8)
8m 31s
build (ubuntu-20.04, z3-4.8.14)
11m 49s
build (macos-12, abc)
9m 14s
build (macos-12, bitwuzla)
6m 17s
build (macos-12, boolector)
6m 48s
build (macos-12, cvc4)
23m 41s
build (macos-12, cvc5)
23m 22s
build (macos-12, yices)
7m 2s
build (macos-12, z3-4.8.8)
16m 28s
build (macos-12, z3-4.8.14)
23m 48s
build (macos-14, abc)
3m 14s
build (macos-14, bitwuzla)
2m 42s
build (macos-14, boolector)
2m 38s
build (macos-14, cvc4)
6m 46s
build (macos-14, cvc5)
8m 33s
build (macos-14, yices)
3m 28s
build (macos-14, z3-4.8.8)
5m 39s
build (macos-14, z3-4.8.14)
6m 37s
build (windows-2019, abc)
7m 27s
build (windows-2019, bitwuzla)
4m 42s
build (windows-2019, boolector)
5m 51s
build (windows-2019, cvc4)
17m 19s
build (windows-2019, cvc5)
17m 34s
build (windows-2019, yices)
9m 32s
build (windows-2019, z3-4.8.8)
12m 1s
build (windows-2019, z3-4.8.14)
15m 9s
mergify
1s
package_solvers (ubuntu-22.04)
15s
package_solvers (ubuntu-20.04)
14s
package_solvers (macos-12)
16s
package_solvers (macos-14)
29s
package_solvers (windows-2019)
36s
5h 56m 50s