QF_AUFLIA (Unsat Core Track)

Competition results for the QF_AUFLIA division in the Unsat Core Track.

Page generated on 2020-07-04 11:49:33 +0000

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

Winners

Sequential Performance	Parallel Performance
CVC4-uc	CVC4-uc

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
CVC4-uc	0	21515	342.685	343.147		0	0
z3n	0	21159	18.784	18.833		0	0
Yices2-fixedn	0	16040	15.727	17.462		0	0
Yices2	0	16040	15.843	18.102		0	0
SMTInterpol	0	1265	436.421	196.332		0	0
SMTInterpol-fixedn	0	1265	439.067	195.976		0	0
MathSAT5n	82*	1282	83.487	83.791		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
CVC4-uc	0	21515	342.685	343.147		0	0
z3n	0	21159	18.784	18.833		0	0
Yices2-fixedn	0	16040	15.727	17.462		0	0
Yices2	0	16040	15.843	18.102		0	0
SMTInterpol-fixedn	0	1265	439.067	195.976		0	0
SMTInterpol	0	1265	436.421	196.332		0	0
MathSAT5n	82*	1282	83.487	83.791		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.
* The error score is caused by MathSAT using the wrong names in the unsat core output (syntactic problems). It does not indicate an unsoundness.