Instances of family wgrowing solved by Qute_rrs
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT2.12
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT18.23
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT64.3
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT185.68
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT288.86
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT389.7
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspSAT629.64
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.06