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

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.82
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL10.31
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL10.37
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL10.51
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL10.59
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL10.61
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL10.85
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL10.91
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL10.97
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL18.86
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL19.16
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL19.21
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL19.4
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL19.63
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL19.86
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL20.51
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL32.81
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL33
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL33.73
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL34.54
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL35.55
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL35.57
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL35.62
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL35.92
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL38.6
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL41.56
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL45.3