Instances of family s3330 solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
s3330_d2_sSAT4.8
s3330_d3_sSAT84.19
s3330_d4_sSAT284.52
s3330_d12_uFAIL600
s3330_d14_uFAIL600
s3330_d7_sFAIL600
s3330_d10_uFAIL600
s3330_d5_sFAIL600
s3330_d9_sFAIL600
s3330_d8_sFAIL600