AUFLIRA (Main Track)

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

Benchmarks in this division : 20011
Time Limit: 1200s

Winners

Sequential Performance	Parallel Performance
vampire 4.2	vampire 4.2

Result table¹

Sequential Performance

Solver	Error Score	Correct Score	CPU Time	Unsolved
CVC4	0.000	16994.066	194.176	245
vampire 4.2	0.000	17000.554	182.289	236
veriT	0.000	15048.209	274.151	695
z3-4.5.0n	0.000	17825.301	93.876	162

Parallel Performance

Solver	Error Score	Correct Score	CPU Score	WALL Score	Unsolved
CVC4	0.000	16994.066	194.582	196.267	245
vampire 4.2	0.000	17023.398	566.569	150.762	233
veriT	0.000	15048.209	274.694	274.181	695
z3-4.5.0n	0.000	17825.301	93.876	93.959	162

n. Non-competing.

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