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

InstanceResultTime
s386_d2_sSAT1
s386_d4_sSAT3.8
s386_d6_sSAT14.5
s386_d7_sSAT19.61
s386_d8_uUNSAT29.6
s386_d9_uUNSAT93.26
s386_d3_sSAT103.71
s386_d12_uUNSAT121.51
s386_d10_uUNSAT205.18
s386_d11_uUNSAT232.59