QF_UFNRA (Main Track)

Competition results for the QF_UFNRA division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division: 34
Time Limit: 1200s

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Result table¹

Sequential Performance

Solver	Error Score	Correct Score	avg. CPU time
CVC4	0.000	19.000	2.349
Yices2	0.000	32.000	364.336
z3n	0.000	30.000	34.043

Parallel Performance

Solver	Error Score	Correct Score	avg. CPU time	avg. WALL time	Unsolved
CVC4	0.000	19.000	2.349	2.133	15
Yices2	0.000	32.000	364.423	364.209	2
z3n	0.000	30.000	34.043	34.023	4

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.