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

InstanceResultTime
s298_d2_sSAT5.54
s298_d25_uFAIL75.83
s298_d22_uFAIL83.23
s298_d18_sFAIL91.84
s298_d19_uFAIL91.93
s298_d17_sFAIL121.93
s298_d4_sFAIL468.34
s298_d14_sFAIL502.75
s298_d10_sFAIL599.22
s298_d12_sFAIL599.22