Instances of family s298 solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
s298_d2_sSAT1.04
s298_d3_sSAT1.44
s298_d5_sSAT3.1
s298_d6_sSAT3.55
s298_d4_sSAT4.04
s298_d7_sSAT4.07
s298_d8_sSAT4.66
s298_d9_sSAT5.84
s298_d10_sSAT6.9
s298_d11_sFAIL599.03
s298_d12_sFAIL599.21
s298_d13_sFAIL599.7
s298_d25_uFAIL600
s298_d18_sFAIL600
s298_d19_uFAIL600
s298_d24_uFAIL600
s298_d20_uFAIL600
s298_d14_sFAIL600
s298_d15_sFAIL600
s298_d17_sFAIL600
s298_d23_uFAIL600
s298_d21_uFAIL600
s298_d16_sFAIL600
s298_d22_uFAIL600