Instances of family wgrowing solved by caqe_2017_v3
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0.08
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT6.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT59.43
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT98.18
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT369.26
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT698.32
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900