QF_UFLRA (Main Track)

Competition results for the QF_UFLRA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 1627
Competition industrial benchmarks = 727

The winners for this division are:

Sequential Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
Yices	Yices	Yices	Yices

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC4	0	1622	13545.48
CVC4 (exp)	0	1622	13541.02
SMTInterpol	0	1616	27116.58
Yices	0	1625	6686.06
MathSatn	0	1622	12471.63
z3n	0	1625	7260.58
veriT	0	1550	209357.32

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC4	0	722	13481.30
CVC4 (exp)	0	722	13476.71
SMTInterpol	0	717	22201.89
Yices	0	725	6663.18
MathSatn	0	722	12427.91
z3n	0	725	7191.58
veriT	0	650	209311.29

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4	0	1622	13550.57	13548.71
CVC4 (exp)	0	1622	13546.54	13544.39
SMTInterpol	0	1616	47779.91	22217.42
Yices	0	1625	6688.00	6690.98
MathSatn	0	1622	12476.04	12473.26
z3n	0	1625	7262.32	7259.96
veriT	0	1550	209426.00	209353.50

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4	0	722	13486.39	13482.65
CVC4 (exp)	0	722	13482.23	13478.05
SMTInterpol	0	717	42838.49	18647.48
Yices	0	725	6665.12	6666.11
MathSatn	0	722	12432.32	12428.62
z3n	0	725	7193.32	7190.88
veriT	0	650	209379.97	209306.58

Other Information

Solver	Not Solved	Remaining
CVC4	5	0
CVC4 (exp)	5	0
SMTInterpol	11	0
Yices	2	0
MathSatn	5	0
z3n	2	0
veriT	77	0

n. Non-competitive.