UFDT (Main Track)

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

Benchmarks in this division: 4535
Time Limit: 1200s

Non-Competitive division

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
CVC4	0.000	2541.990	542.975	2033
vampire 4.2	0.000	2320.945	602.588	2286

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
CVC4	0.000	2542.592	543.656	554.974	2032
vampire 4.2	0.000	2349.979	1914.523	489.165	2252

n. Non-competing.

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