Instances of family s641 solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
s641_d2_sSAT16.32
s641_d8_uFAIL44.04
s641_d10_uFAIL57.83
s641_d11_uFAIL108.33
s641_d7_uFAIL207.33
s641_d6_sFAIL472.43
s641_d3_sFAIL599.22
s641_d5_sFAIL599.22
s641_d4_sFAIL599.22