QF_ABV (Unsat Core Track)

Competition results for the QF_ABV logic in the Unsat Core Track.

Page generated on 2022-08-10 11:18:51 +0000

Benchmarks: 1865
Time Limit: 1200 seconds
Memory Limit: 60 GB

Winners

Sequential Performance	Parallel Performance
Bitwuzla	Bitwuzla

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Bitwuzla	0	190264	22725.825	22707.205	10	0
2021-Bitwuzlan	0	187186	23813.912	23713.086	12	0
Yices2	0	180360	24959.114	24933.186	14	0
z3-4.8.17n	0	172030	35685.268	35639.216	24	0
cvc5	0	127243	29926.816	29899.528	19	0
MathSATn	0	73	46.919	47.91	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Bitwuzla	0	190264	22728.895	22706.865	10	0
2021-Bitwuzlan	0	187186	23816.532	23712.366	12	0
Yices2	0	180360	24963.064	24932.596	14	0
z3-4.8.17n	0	172030	35692.478	35638.156	24	0
cvc5	0	127243	29931.256	29898.768	19	0
MathSATn	0	73	46.919	47.91	0	0

n Non-competing.
N/A: Benchmarks not known to be SAT/UNSAT, respectively.