QF_ABV (Unsat Core Track)

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

Page generated on 2021-07-18 17:31:25 +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	163370	32008.885	32019.859	15	0
2020-z3n	0	152946	44106.744	44106.481	31	0
2020-Yices2n	0	152248	33851.645	33878.03	19	0
Yices2	0	152248	34127.824	34094.302	19	0
z3n	0	150038	44038.353	44050.238	29	0
cvc5-uc	0	134595	54692.591	54706.165	38	0
MathSAT5n	0	35	46.615	48.208	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Bitwuzla	0	163370	32011.935	32019.249	15	0
2020-z3n	0	152946	44115.454	44105.371	31	0
2020-Yices2n	0	152248	33856.465	33877.3	19	0
Yices2	0	152248	34132.304	34093.472	19	0
z3n	0	150038	44043.733	44049.238	29	0
cvc5-uc	0	134595	54701.761	54704.385	38	0
MathSAT5n	0	35	46.615	48.208	0	0

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