Sota solver results for family wgrowing <br> QBFEVAL'17

Instance	Solver	Result	Time
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	caqe_2017_v2	SAT	0.07
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	caqe_2017_v2	SAT	59.18
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	caqe_2017_v2	SAT	98.01
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	Qute_opt500	SAT	218.68
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	caqe_2017_v1	SAT	52.91
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	caqe_2017_v1	SAT	155.65
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	Qute_default	SAT	49.74
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	Qute_default	SAT	2.12
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	xb-qsts_bqsts2.0	SAT	120.89

QBF Solver Evaluation Portal