QF_Equality+Bitvec (Incremental Track)

Competition results for the QF_Equality+Bitvec division in the Incremental Track.

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

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

Logics:

• QF_ABV : 636 benchmarks
• QF_AUFBV : 31 benchmarks
• QF_UFBV : 1165 benchmarks

Winners

Parallel Performance
Bitwuzla

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
Bitwuzla	0	5653	19016.74	19287.13	19	0	19	0
Yices2 Fixedn	0	5623	11303.56	11499.75	49	0	23	0
Yices2	0	5623	11487.73	11682.69	49	0	23	0
2022-Yices2n	0	5623	11507.69	11710.58	49	0	23	0
cvc5	0	4762	37186.88	37302.08	910	0	220	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.