Instances of family s27 solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
s27_d2_sSAT0.84
s27_d5_uUNSAT0.87
s27_d3_uUNSAT0.9
s27_d4_uUNSAT0.98