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


InstanceSolverResultTime
s298_d10_sqstsSAT0.12
s298_d12_sqstsSAT0.15
s298_d14_sqstsSAT0.18
s298_d17_sqstsSAT0.26
s298_d18_sqstsSAT0.27
s298_d19_uqstsUNSAT0.32
s298_d22_uqstsUNSAT0.4
s298_d25_uqstsUNSAT0.48
s298_d2_sqstsUNSAT0.01
s298_d4_sqstsSAT0.03