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

qbflib.org

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

Instance	Solver	Result	Time
stmt16_950_951	qestos	SAT	0.02
stmt17_18_19	qesto	SAT	0
stmt1_30_31	struqs-10	SAT	0
stmt24_765_766	qesto	SAT	0.02
stmt25_52_53	qesto	SAT	0.06
stmt27_296_297	qesto	SAT	0.01
stmt41_738_749	qestos	SAT	0.04
stmt44_107_108	xb-qsts	SAT	0
stmt44_107_113	aqua-s3o	SAT	0
stmt44_916_917	qesto	SAT	0.02

Contact | Organization | Links | Citing QBFLIB