Instances of family s3330 solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
s3330_d2_sSAT0.06
s3330_d3_sSAT0.32
s3330_d4_sSAT0.63
s3330_d9_sFAIL599.71
s3330_d12_uFAIL599.71