Biggest Lead Ranking- Challenge Track (incremental)

Page generated on 2019-07-23 17:57:31 +0000

Winners

Parallel Performance
Yices 2.6.2 Incremental

Parallel Performance

Solver	Correct Score	Time Score	Division
Yices 2.6.2 Incremental	1.89130435	4.78770879	QF_AUFBV
Boolector (incremental)	1.0776699	7.16597099	QF_BV
Boolector (incremental)	1.03816794	14.35677401	QF_ABV

n Non-competing.
e Experimental.