Instances of family s298 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s298_d2_sSAT0.12
s298_d4_sSAT5.53
s298_d10_sSAT20.95
s298_d12_sSAT30.58
s298_d14_sSAT73.35
s298_d17_sSAT109.12
s298_d22_uFAIL299.77
s298_d18_sFAIL299.8
s298_d25_uFAIL299.8
s298_d19_uFAIL299.83