UFBV (Main Track)

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

Benchmarks in this division: 71
Time Limit: 1200s

Winners

Sequential Performance	Parallel Performance
CVC4	CVC4

Result table¹

Sequential Performance

Solver	Error Score	Correct Score	avg. CPU time
Boolector	0.000	60.659	352.654
CVC4	0.000	71.000	32.143
z3n	0.000	71.000	31.327

Parallel Performance

Solver	Error Score	Correct Score	avg. CPU time	avg. WALL time	Unsolved
Boolector	0.000	60.659	352.855	352.657	3
CVC4	0.000	71.000	32.143	32.071	0
z3n	0.000	71.000	31.327	31.311	0

n. Non-competitive.

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