Instances of family s499 solved by ssolve-A
QBFEVAL'08

InstanceResultTime
s499_d16_sFAIL600
s499_d19_sFAIL600
s499_d12_sFAIL600
s499_d26_uFAIL600
s499_d8_sFAIL600
s499_d10_sFAIL600
s499_d6_sFAIL600
s499_d21_sFAIL600
s499_d18_sFAIL600
s499_d15_sFAIL600
s499_d4_sFAIL600
s499_d3_sFAIL600
s499_d20_sFAIL600
s499_d2_sFAIL600
s499_d5_sFAIL600
s499_d23_uFAIL600
s499_d22_uFAIL600
s499_d9_sFAIL600
s499_d11_sFAIL600
s499_d7_sFAIL600
s499_d24_uFAIL600
s499_d25_uFAIL600
s499_d14_sFAIL600
s499_d13_sFAIL600
s499_d17_sFAIL600