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


InstanceSolverResultTime
s499_d15_sqstsSAT0.08
s499_d17_sqstsUNSAT0.04
s499_d22_uqstsUNSAT0.05
s499_d24_uqstsUNSAT0.05
s499_d7_sqstsSAT0.03