UFDTLIA (Main Track)

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

Benchmarks in this division : 303
Time limit: 1200s

Winners

Sequential Performance	Parallel Performance
CVC4	CVC4

Result table¹

Sequential Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	Solved	Unsolved
CVC4	0.000	227.716	457.335	223	80
Vampire 4.3	0.000	36.832	1061.588	35	268

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
CVC4	0.000	227.716	457.357	483.879	223	80
Vampire 4.3	0.000	47.091	4149.805	1043.998	47	256

n. Non-competing.

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