Instances of family Toilet solved by Quaffle
QBFEVAL'06

InstanceResultTime
TOILET10.1.iv.20FAIL597.59
TOILET16.1.iv.32FAIL597.92
TOILET7.1.iv.13UNSAT4133.22