Instances of family wgrowing solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspSAT18.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspSAT27.13
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspSAT30.97
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspSAT33.95
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspSAT41.63
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspSAT56.9
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspSAT75.49
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspSAT148.56
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspSAT289.84
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspSAT310.4
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspSAT313.5
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspSAT321.66
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.aspSAT1601.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspSAT1703.88
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspSAT2021.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspSAT2961.5
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.aspFAIL3600
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.aspFAIL3600