Instances of family s641 solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s641_d2_sSAT0.15
s641_d4_sSAT0.37
s641_d6_sSAT1.46
s641_d7_uUNSAT23.63
s641_d8_uUNSAT30.05