Instances of family s820 solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s820_d3_sSAT0.4
s820_d8_sSAT2.81
s820_d11_uUNSAT7.24
s820_d12_uUNSAT8.8
s820_d15_uUNSAT15.57