what4-solvers

Add `bitwuzla-0.3.0` #244

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-22.04, abc)	3m 25s
build (ubuntu-22.04, bitwuzla)	2m 9s
build (ubuntu-22.04, boolector)	2m 10s
build (ubuntu-22.04, cvc4)	11m 23s
build (ubuntu-22.04, cvc5)	12m 8s
build (ubuntu-22.04, yices)	2m 19s
build (ubuntu-22.04, z3-4.8.8)	8m 1s
build (ubuntu-22.04, z3-4.8.14)	10m 34s
build (ubuntu-20.04, abc)	4m 8s
build (ubuntu-20.04, bitwuzla)	2m 29s
build (ubuntu-20.04, boolector)	2m 15s
build (ubuntu-20.04, cvc4)	12m 18s
build (ubuntu-20.04, cvc5)	12m 27s
build (ubuntu-20.04, yices)	2m 21s
build (ubuntu-20.04, z3-4.8.8)	8m 43s
build (ubuntu-20.04, z3-4.8.14)	12m 1s
build (macos-12, abc)	7m 48s
build (macos-12, bitwuzla)	4m 24s
build (macos-12, boolector)	3m 32s
build (macos-12, cvc4)	19m 16s
build (macos-12, cvc5)	29m 17s
build (macos-12, yices)	5m 59s
build (macos-12, z3-4.8.8)	13m 43s
build (macos-12, z3-4.8.14)	22m 44s
build (windows-2019, abc)	7m 31s
build (windows-2019, bitwuzla)	6m 38s
build (windows-2019, boolector)	4m 28s
build (windows-2019, cvc4)	18m 10s
build (windows-2019, cvc5)	16m 57s
build (windows-2019, yices)	9m 37s
build (windows-2019, z3-4.8.8)	12m 12s
build (windows-2019, z3-4.8.14)	15m 43s
mergify	1s
package_solvers (ubuntu-22.04)	29s
package_solvers (ubuntu-20.04)	17s
package_solvers (macos-12)	26s
package_solvers (windows-2019)	20s
	5h 8m 23s