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

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.51
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT31.37
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT52.91
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT139.72
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT155.65
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT178.3
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT440.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT712.15
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspSAT738.89
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#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#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#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