Biggest Lead Ranking- Parallel Track

Page generated on 2023-07-06 16:06:21 +0000

This track is experimental. Solvers are only ranked by performance, but no winner is selected.

Parallel Performance

Solver	Correct Score	Time Score	Division
Vampire	8.25	0.16949682	Equality+NonLinearArith
Vampire	3.0	0.2761668	Arith
iProver	0.15555556	11.38527746	Equality
iProver	0.04545455	146.48423647	Equality+LinearArith

n Non-competing.
e Experimental.