Sota solver results for family s499
QBFEVAL'06


InstanceSolverResultTime
s499_d2_ssKizzo-0.9-absSAT0.09
s499_d4_sqube5.0SAT4.86