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

InstanceResultTime
s386_d2_sSAT1.78
s386_d3_sFAIL600
s386_d11_uFAIL600
s386_d7_sFAIL600
s386_d6_sFAIL600
s386_d4_sFAIL600
s386_d8_uFAIL600
s386_d9_uFAIL600
s386_d12_uFAIL600
s386_d10_uFAIL600