UFDTLIA (Main Track)

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

Benchmarks in this division : 303
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
CVC4	0.000	71.659	878.441	230
vampire 4.2	0.000	72.446	931.290	229

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
CVC4	0.000	71.659	878.483	924.216	230
vampire 4.2	0.000	73.112	3010.998	765.066	228

n. Non-competing.

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