QF_AUFBV (Unsat Core Track)

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

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

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

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Yices2	0	18189	4462.766	4464.345	3	0
z3-4.8.17n	0	16747	4762.139	4763.744	3	0
Bitwuzla	0	15256	201.083	201.179	0	0
2021-Bitwuzlan	0	15248	206.359	206.486	0	0
cvc5	0	4519	10436.61	10441.326	8	0
MathSATn	0	0	2.73	2.734	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Yices2	0	18189	4464.176	4464.295	3	0
z3-4.8.17n	0	16747	4763.479	4763.624	3	0
Bitwuzla	0	15256	201.083	201.179	0	0
2021-Bitwuzlan	0	15248	206.359	206.486	0	0
cvc5	0	4519	10440.38	10440.836	8	0
MathSATn	0	0	2.73	2.734	0	0

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