Instances of family s510 solved by QSAT
QBFEVAL'04

InstanceResultTime
s510_d51_uFAIL15.51
s510_d12_sFAIL901
s510_d46_sFAIL901.01
s510_d13_sFAIL901.01
s510_d31_sFAIL901.01
s510_d42_sFAIL901.01
s510_d48_uFAIL901.01
s510_d49_uFAIL901.01