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

InstanceResultTime
s386_d3_sSAT0.18
s386_d4_sSAT0.26
s386_d8_uSAT0.71
s386_d10_uSAT1.01
s386_d12_uSAT1.32