Instances of family s510 solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s510_d3_sSAT0.16
s510_d11_sSAT1.4
s510_d24_sSAT7.57
s510_d31_sSAT10.2
s510_d36_sSAT13.55