Instances of family wgrowing solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspFAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900.08
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.09
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.09