Instances of family s27 solved by CLearn
QBFEVAL'04

InstanceResultTime
s27_d2_sUNSAT0.04
s27_d3_uUNSAT103.46
s27_d5_uFAIL901
s27_d4_uFAIL901