Instances of family s641 solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s641_d2_sSAT35.98
s641_d3_sSAT136
s641_d4_sSAT505.23
s641_d8_uFAIL599.71
s641_d5_sFAIL599.74
s641_d7_uFAIL599.81
s641_d10_uFAIL599.81
s641_d11_uFAIL599.81
s641_d6_sFAIL599.81