Instances of family Toilet solved by sSolve
QBFEVAL'06

InstanceResultTime
TOILET10.1.iv.20SAT0.3
TOILET16.1.iv.32SAT2.51
TOILET7.1.iv.13UNSAT8.09