Sota solver results for family s499
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
s499_d19_sQELL_unitSAT0.53
s499_d25_uQELL_unitUNSAT1.82