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

InstanceResultTime
s641_d3_sSAT5.75
s641_d2_sSAT15.86
s641_d4_sSAT20.18
s641_d5_sSAT23.35
s641_d6_sSAT38.54
s641_d7_uUNSAT60.29
s641_d10_uUNSAT93.05
s641_d8_uUNSAT129.44
s641_d11_uUNSAT184.3