Instances of family s641 solved by qestos
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s641_d2_sSAT9.95
s641_d6_sFAIL416.52
s641_d7_uFAIL462.22
s641_d4_sFAIL475.92
s641_d8_uFAIL555.82
s641_d5_sFAIL592.73
s641_d10_uFAIL599.81
s641_d11_uFAIL599.81
s641_d3_sFAIL599.81