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

InstanceResultTime
s499_d2_sSAT1.16
s499_d3_sSAT2.04
s499_d4_sSAT5.24
s499_d5_sSAT6.86
s499_d9_sSAT13.05
s499_d6_sSAT13.87
s499_d8_sSAT15.04
s499_d7_sSAT15.18
s499_d10_sSAT18.81
s499_d11_sSAT22.57
s499_d14_sSAT25.24
s499_d12_sSAT28.96
s499_d15_sSAT31.57
s499_d13_sSAT35.99
s499_d16_sFAIL600
s499_d19_sFAIL600
s499_d26_uFAIL600
s499_d21_sFAIL600
s499_d18_sFAIL600
s499_d20_sFAIL600
s499_d23_uFAIL600
s499_d22_uFAIL600
s499_d24_uFAIL600
s499_d25_uFAIL600
s499_d17_sFAIL600