Sota solver results for family Counter <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Sota solver results for family Counter
QBFEVAL'16 - Prenex CNF Track.

Instance	Solver	Result	Time
cnt01	qsts	SAT	0
cnt02e	rareqs	SAT	0
cnt05	AIGSolve	SAT	0
cnt07e	rareqs	SAT	0.31
cnt08e	rareqs	SAT	2.96
cnt10	qesto	SAT	0.05
cnt11	qesto	SAT	0.05
cnt14	qesto	SAT	0.08
cnt16r	xb-bid-qsts	SAT	31.91
counter_e_2	aqua-s2v	SAT	0

Contact | Organization | Links | Citing QBFLIB