QF_NRA (Main Track)

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

Competition benchmarks = 10184
Competition industrial benchmarks = 10104

The winners for this division are:

Sequential Performance

Sequential Performance	Sequential Performance (industrial)	Parallel Performance	Parallel Performance (industrial)
Yices2-NL	Yices2-NL	Yices2-NL	Yices2-NL

Division COMPLETE

Sequential Performance

Solver	Errors	Corrects	CPU
CVC3	0	3575	1220252.67
CVC4	0	2694	1030.38
CVC4 (exp)	0	2694	1021.11
SMT-RAT	0	8759	3451838.16
Yices2-NL	0	9854	884237.95
z3n	0	10000	458920.89
raSAT	0	7952	4969778.73

Sequential Performance (industrial)

Solver	Errors	Corrects	CPU
CVC3	0	3572	1220206.65
CVC4	0	2693	1028.21
CVC4 (exp)	0	2693	1018.93
SMT-RAT	0	8706	3386768.21
Yices2-NL	0	9823	765719.51
z3n	0	9941	427115.80
raSAT	0	7916	4863206.04

Parallel Performance

Solver	Errors	Corrects	CPU	WALL
CVC3	0	3575	1221385.51	1221136.22
CVC4	0	2694	1030.38	1031.13
CVC4 (exp)	0	2694	1021.11	1037.88
SMT-RAT	0	8759	3453107.94	3451861.02
Yices2-NL	0	9854	884526.29	884251.07
z3n	0	10000	459072.40	458899.11
raSAT	0	7952	4971762.30	4969973.68

Parallel Performance (industrial)

Solver	Errors	Corrects	CPU	WALL
CVC3	0	3572	1221339.49	1221090.07
CVC4	0	2693	1028.21	1028.78
CVC4 (exp)	0	2693	1018.93	1035.47
SMT-RAT	0	8706	3388016.80	3386790.50
Yices2-NL	0	9823	765967.59	765732.33
z3n	0	9941	427256.36	427094.33
raSAT	0	7916	4865145.96	4863400.55

Other Information

Solver	Not Solved	Remaining
CVC3	6609	0
CVC4	7490	0
CVC4 (exp)	7490	0
SMT-RAT	1425	0
Yices2-NL	330	0
z3n	184	0
raSAT	2232	0

n. Non-competitive.