Instances of family s27 solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s27_d5_uUNSAT0
s27_d4_uUNSAT0