Instances of family wgrowing solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT11.13
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#5.s#13.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.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
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.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#5.s#17.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#7.s#16.aspFAIL900