Instances of family s27 solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s27_d2_sSAT0.14
s27_d5_uFAIL601.56
s27_d3_uFAIL601.83
s27_d4_uFAIL619.34