Biggest Lead Ranking- Cloud Track

Page generated on 2023-07-06 16:06:19 +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	7.83333333	0.01099012	Equality+NonLinearArith
Vampire	3.0	0.01060873	Arith
cvc5	0.77358491	1.1199671	Equality
cvc5	0.59183673	9.30266623	Equality+LinearArith

n Non-competing.
e Experimental.