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

InstanceResultTime
s298_d2_sUNSAT0.01
s298_d4_sSAT0.03
s298_d10_sSAT0.12
s298_d12_sSAT0.15
s298_d14_sSAT0.18
s298_d17_sSAT0.26
s298_d18_sSAT0.27
s298_d19_uUNSAT0.32
s298_d22_uUNSAT0.4
s298_d25_uUNSAT0.48