Sota solver results for family wgrowing <br> QBFEVAL'17 - Prenex 2QBF Track

qbflib.org

Sota solver results for family wgrowing
QBFEVAL'17 - Prenex 2QBF Track

Instance	Solver	Result	Time
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#26.asp	ASPQ2	SAT	9.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.asp	ASPQ2	SAT	282.25
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.asp	ASPQ2	SAT	0.86
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.asp	ASPQ2	SAT	8.34
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.asp	ASPQ2	SAT	188.03
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#60.asp	ASPQ2	SAT	4.37

Contact | Organization | Links | Citing QBFLIB