QF_Equality+Bitvec (Unsat Core Track)

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

Page generated on 2021-07-18 17:31:25 +0000

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

Logics:

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

Winners

Sequential Performance	Parallel Performance
Bitwuzla	Bitwuzla

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla	0	1150402	53456.162	53471.598		21	0
cvc5-uc	0	1070957	90334.968	90335.822		53	0
z3n	0	772472	128922.791	129694.887		98	0
2020-Yices2n	0	771830	112554.581	112602.368		82	0
Yices2	0	771830	112966.489	112908.236		82	0
2020-z3n	0	767877	124103.604	124120.656		96	0
MathSAT5n	0	35	77.863	79.756		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla	0	1150402	53460.452	53470.608		21	0
cvc5-uc	0	1070957	90348.168	90333.422		53	0
z3n	0	772472	129464.921	129690.527		98	0
2020-Yices2n	0	771830	112576.721	112598.708		82	0
Yices2	0	771830	112986.849	112904.486		82	0
2020-z3n	0	767877	124126.074	124116.486		96	0
MathSAT5n	0	35	77.863	79.756		0	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.