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

InstanceResultTime
s386_d2_sSAT2.86
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