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

InstanceResultTime
s510_d3_sUNSAT0.03
s510_d6_sSAT0.1
s510_d11_sSAT0.25
s510_d23_sSAT0.93
s510_d24_sSAT1.06
s510_d28_sSAT1.43
s510_d31_sSAT1.55
s510_d32_sSAT1.72
s510_d35_sSAT1.95
s510_d36_sSAT2.05