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

InstanceResultTime
s386_d2_sSAT0.01
s386_d3_sSAT0.03
s386_d4_sSAT0.04
s386_d6_sSAT0.07
s386_d7_sSAT0.09
s386_d8_uUNSAT0.1
s386_d9_uUNSAT0.12
s386_d10_uUNSAT0.14
s386_d11_uUNSAT0.15
s386_d12_uUNSAT0.18