QF_Equality+Bitvec (Unsat Core Track)

Competition results for the QF_Equality+Bitvec division in the Unsat Core Track.

Page generated on 2023-07-06 16:05:43 +0000

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

Logics:

• QF_ABV : 1865 benchmarks
• QF_AUFBV : 34 benchmarks
• QF_UFBV : 327 benchmarks

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2022-Bitwuzlan	0	1003528	20233.877	20176.719		19	0
Yices2	0	791927	11424.269	11386.017		70	0
Bitwuzla Fixedn	0	398437	17963.764	17962.585		12	0
cvc5	0	111565	20803.05	20612.898		30	0
Bitwuzla	3*	400082	18068.085	18075.754		11	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2022-Bitwuzlan	0	1003528	20233.877	20176.719		19	0
Yices2	0	791927	11424.269	11386.017		70	0
Bitwuzla Fixedn	0	398437	17963.764	17962.585		12	0
cvc5	0	111565	18403.51	18212.728		30	0
Bitwuzla	3*	400082	18068.085	18075.754		11	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.
* The error score is caused by Bitwuzla using the wrong names in the unsat core output (syntactic problems). It does not indicate an unsoundness.