Instances of family s386 solved by qube5.0
QBFEVAL'06

InstanceResultTime
s386_d2_sSAT0.22