Sota solver results for family wgrowing
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspQute_defaultSAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspcaqe-preSAT34.88
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspCaqe-bloqqer-qdoSAT28.97
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspQute_defaultSAT603.74
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspQute_defaultSAT63.15
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspQute_defaultSAT175.85
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspQute_defaultSAT18.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspcaqe-preSAT1.68
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspCaqe-bloqqer-qdoSAT105.47