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


InstanceSolverResultTime
s3330_d12_uqstsSAT3.26
s3330_d2_sqstsUNSAT0.08
s3330_d3_sqstsUNSAT0.21
s3330_d4_sqstsSAT0.49
s3330_d5_sghostq-plainSAT72.26
s3330_d7_sghostq-cegarSAT259.64
s3330_d8_sqstsSAT1.7