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

InstanceResultTime
s510_d2_sSAT1.36
s510_d3_sSAT3.14
s510_d4_sSAT4.52
s510_d5_sSAT6.14
s510_d6_sSAT15.43
s510_d7_sSAT22.9
s510_d8_sSAT42.84
s510_d10_sSAT73.18
s510_d31_sFAIL599.24
s510_d32_sFAIL599.6
s510_d33_sFAIL599.66
s510_d34_sFAIL599.81
s510_d36_sFAIL599.97
s510_d35_sFAIL600
s510_d16_sFAIL600
s510_d17_sFAIL600
s510_d39_sFAIL600
s510_d9_sFAIL600
s510_d13_sFAIL600
s510_d19_sFAIL600
s510_d15_sFAIL600
s510_d43_sFAIL600
s510_d24_sFAIL600
s510_d29_sFAIL600
s510_d26_sFAIL600
s510_d42_sFAIL600
s510_d20_sFAIL600
s510_d21_sFAIL600
s510_d37_sFAIL600
s510_d25_sFAIL600
s510_d48_uFAIL600
s510_d11_sFAIL600
s510_d50_uFAIL600
s510_d28_sFAIL600
s510_d46_sFAIL600
s510_d49_uFAIL600
s510_d45_sFAIL600
s510_d44_sFAIL600
s510_d22_sFAIL600
s510_d41_sFAIL600
s510_d51_uFAIL600
s510_d14_sFAIL600
s510_d38_sFAIL600
s510_d27_sFAIL600
s510_d18_sFAIL600
s510_d47_uFAIL600
s510_d12_sFAIL600
s510_d30_sFAIL600
s510_d40_sFAIL600
s510_d23_sFAIL600