QF_SLIA (Main Track)

Competition results for the QF_SLIA division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 72705
Time limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	Solved	Unsolved
CVC4	0.000	71093.775	33.380	71537	1168

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
CVC4	0.000	71093.775	33.380	33.494	71537	1168

n. Non-competing.

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