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


InstanceSolverResultTime
s510_d11_sqstsSAT0.25
s510_d23_sqstsSAT0.93
s510_d24_sqstsSAT1.06
s510_d28_sqstsSAT1.43
s510_d31_sqstsSAT1.55
s510_d32_sqstsSAT1.72
s510_d35_sqstsSAT1.95
s510_d36_sqstsSAT2.05
s510_d3_sqstsUNSAT0.03
s510_d6_sqstsSAT0.1