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

InstanceResultTime
s641_d2_sSAT0.12
s641_d4_sSAT0.37
s641_d6_sSAT0.74
s641_d7_uSAT0.97
s641_d8_uSAT1.27