NRA (Main Track)

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

Benchmarks in this division : 3813
Time limit: 1200s

Winners

Sequential Performance	Parallel Performance
Vampire 4.3	Vampire 4.3

Result table¹

Sequential Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	Solved	Unsolved
CVC4	0.000	3784.000	8.619	3784	29
Vampire 4.3	0.000	3791.000	8.705	3791	22
z3-4.7.1n	0.000	3800.000	4.313	3800	13

Parallel Performance

Solver	Error Score	Correctly Solved Score	CPU time Score	WALL time Score	Solved	Unsolved
CVC4	0.000	3784.000	8.619	8.646	3784	29
Vampire 4.3	0.000	3801.000	24.949	6.304	3801	12
z3-4.7.1n	0.000	3800.000	4.313	4.313	3800	13

n. Non-competing.

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