QF_AUFNIA (Main Track)

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

Benchmarks in this division: 21
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	avg. CPU time
CVC4	0.000	21.000	0.907
z3n	0.000	21.000	1.143

Parallel Performance

Solver	Error Score	Correct Score	avg. CPU time	avg. WALL time	Unsolved
CVC4	0.000	21.000	0.907	0.906	0
z3n	0.000	21.000	1.143	1.142	0

n. Non-competitive.

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