Instances of family wgrowing solved by nanoqbf_bloqqer
Crafted Instances Track

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