QF_UFLIA (Main Track)

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

Competition benchmarks = 598
Competition industrial benchmarks = 367

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	598	681.39
CVC4 (exp)	0	598	690.30
SMTInterpol	0	598	2056.55
Yices	0	598	119.37
MathSatn	0	598	1206.89
z3n	0	598	95.81
veriT	0	484	132444.31

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC4	0	367	539.51
CVC4 (exp)	0	367	548.38
SMTInterpol	0	367	1778.84
Yices	0	367	117.63
MathSatn	0	367	1157.17
z3n	0	367	85.28
veriT	0	257	132430.22

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC4	0	598	681.39	682.38
CVC4 (exp)	0	598	690.30	691.34
SMTInterpol	0	598	2056.55	1289.41
Yices	0	598	119.37	103.97
MathSatn	0	598	1206.89	1205.10
z3n	0	598	95.81	95.91
veriT	0	484	132472.35	132421.05

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC4	0	367	539.51	540.06
CVC4 (exp)	0	367	548.38	548.96
SMTInterpol	0	367	1778.84	1135.16
Yices	0	367	117.63	101.40
MathSatn	0	367	1157.17	1157.13
z3n	0	367	85.28	85.30
veriT	0	257	132458.26	132406.60

Other Information

Solver	Not Solved	Remaining
CVC4	0	0
CVC4 (exp)	0	0
SMTInterpol	0	0
Yices	0	0
MathSatn	0	0
z3n	0	0
veriT	114	0

n. Non-competitive.