Instances of family s27 solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
s27_d2_sSAT0.01
s27_d3_uUNSAT0.02
s27_d4_uUNSAT0.11
s27_d5_uUNSAT0.22