Instances of family s510 solved by openQbf
QBFEVAL'05

InstanceResultTime
s510_d32_sFAIL900.88
s510_d47_uFAIL900.89
s510_d46_sFAIL900.91
s510_d2_sFAIL900.93
s510_d16_sFAIL900.94
s510_d4_sFAIL900.95
s510_d8_sFAIL900.96