Instances of family s386 solved by openQbf
QBFEVAL'05

InstanceResultTime
s386_d4_sFAIL900.88
s386_d8_uFAIL900.91
s386_d7_sFAIL900.95
s386_d2_sFAIL900.96