CI

Update cvc5 to 1.0.8 #553

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest:btor	6m 15s
ubuntu-latest:btor	6m 15s
ubuntu-latest:cvc5	20m 18s
ubuntu-latest:cvc5	20m 18s
ubuntu-latest:msat	3m 25s
ubuntu-latest:msat	3m 25s
ubuntu-latest:yices2	4m 11s
ubuntu-latest:yices2	4m 11s
ubuntu-latest:z3	17m 30s
ubuntu-latest:z3	17m 30s
macos-latest:btor	8m 29s
macos-latest:btor	8m 29s
macos-latest:cvc5	20m 34s
macos-latest:cvc5	1s
macos-latest:msat	3m 52s
macos-latest:msat	3m 52s
macos-latest:yices2	5m 11s
macos-latest:yices2	5m 11s
macos-latest:z3	17m 50s
macos-latest:z3	17m 50s
	3h 14m 37s