Largest Contribution Ranking - Challenge Track (incremental)

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

Winners

Parallel Performance
Yices 2.6.2 Incremental

Parallel Performance

Solver	Correct Score	Time Score	Division
Yices 2.6.2 Incremental	0.09129144	0.15149391	QF_AUFBV
Boolector (incremental)	0.0106383	0.26722898	QF_ABV
STP-incremental	0.0	0.23537802	QF_BV

n Non-competing.
e Experimental.