Instances of family s499 solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
s499_d2_sSAT0.11
s499_d3_sSAT0.77
s499_d4_sSAT2.57
s499_d5_sSAT4.45
s499_d9_sSAT10.35
s499_d6_sSAT11.25
s499_d8_sSAT12.33
s499_d7_sSAT12.38
s499_d10_sSAT16
s499_d11_sSAT19.98
s499_d14_sSAT22.52
s499_d12_sSAT26.65
s499_d15_sSAT28.57
s499_d13_sSAT33.35
s499_d22_uFAIL600
s499_d24_uFAIL600
s499_d25_uFAIL600
s499_d17_sFAIL600
s499_d16_sFAIL600
s499_d19_sFAIL600
s499_d26_uFAIL600
s499_d21_sFAIL600
s499_d18_sFAIL600
s499_d20_sFAIL600
s499_d23_uFAIL600