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

InstanceResultTime
s641_d2_sSAT0.01
s641_d4_sSAT0.03
s641_d6_sSAT0.06
s641_d7_uUNSAT0.25
s641_d8_uUNSAT0.31