Instances of family wgrowing solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT3.5
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT24
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT36.37
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT58.34
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT130.11
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT133.53
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT175.68
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT511.41
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900