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

InstanceResultTime
s641_d2_sSAT8.44
s641_d3_sSAT55.07
s641_d4_sSAT149.62
s641_d5_sFAIL599.72
s641_d8_uFAIL599.72
s641_d10_uFAIL599.72
s641_d11_uFAIL599.72
s641_d6_sFAIL599.73
s641_d7_uFAIL599.82