Instances of family s820 solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s820_d3_sSAT0.02
s820_d8_sSAT0.2
s820_d11_uUNSAT0.63
s820_d12_uUNSAT0.84
s820_d15_uUNSAT1.24