Sota solver results for family s3330
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
s3330_d12_uqstsUNSAT0.22
s3330_d2_sqstsUNSAT0.03
s3330_d3_sqstsUNSAT0.04
s3330_d4_sqstsUNSAT0.06
s3330_d9_sqstsUNSAT0.15