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

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspFAIL732.35
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL753.12
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspFAIL766.54
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL773.9
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL777.2
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL806.03
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspFAIL814.72
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL819.01
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL837.17
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspFAIL851.49
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL866.22
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspFAIL880.11
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspFAIL885.56
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspFAIL889.24
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#7.s#15.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
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#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#3.s#18.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#19.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#7.s#14.aspFAIL900