AUFBVDTLIA (Main Track)

Competition results for the AUFBVDTLIA division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division : 1709
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
CVC4	0.000	801.092	667.097	895

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
CVC4	0.000	801.092	667.960	685.998	895

n. Non-competing.

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