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

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0.28
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspFAIL887.09
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspFAIL887.59
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL887.69
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL887.8
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL887.94
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL887.95
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL888.02
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL888.1
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL888.12
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL888.13
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL888.27
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL888.4
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL888.58
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspFAIL888.66
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspFAIL888.66
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL888.73
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspFAIL888.88
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspFAIL889.33
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL889.42
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL889.66
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL889.76
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL889.78
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL889.8
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL889.81
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL889.97
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspFAIL889.99
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL890.03
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL890.15
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL890.38
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL890.42
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL890.66
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspFAIL891.32