Instances of family s641 solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
s641_d2_sSAT33.59
s641_d7_uFAIL600
s641_d8_uFAIL600
s641_d10_uFAIL600
s641_d11_uFAIL600
s641_d3_sFAIL600
s641_d5_sFAIL600
s641_d4_sFAIL600
s641_d6_sFAIL600