Sota solver results for family Toilet
QBFEVAL'07


InstanceSolverResultTime
TOILET10.1.iv.20qSSSAT0.12
TOILET16.1.iv.32qZillaSAT0.36