Sota solver results for family wgrowing
QBFEVAL'18 - Hard Instances Track


InstanceSolverResultTime
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.aspaspq3_hit18SAT313.5
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.aspaspq3_hit18SAT321.66
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.aspaspq3_hit18SAT2021.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.aspaspq3_hit18SAT1601.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.aspaspq3_hit18SAT1703.88
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.aspaspq3_hit18SAT310.4
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.aspaspq3_hit18SAT75.49
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.aspaspq3_hit18SAT289.84
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.aspaspq3_hit18SAT2961.5
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.aspaspq3_hit18SAT18.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.aspaspq3_hit18SAT33.95
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.aspaspq3_hit18SAT41.63
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.aspaspq3_hit18SAT56.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.aspaspq3_hit18SAT30.97
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.aspaspq3_hit18SAT148.56
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.aspaspq3_hit18SAT27.13