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

InstanceResultTime
s298_d2_sSAT0.02
s298_d12_sSAT25.98
s298_d4_sSAT38.51
s298_d14_sSAT121.87
s298_d10_sSAT450.24
s298_d17_sFAIL599.71
s298_d22_uFAIL599.71
s298_d25_uFAIL599.71
s298_d18_sFAIL599.81
s298_d19_uFAIL599.81