Instances of family Toilet solved by qmaiga
QBFEVAL'10 - Competitive Track.

InstanceResultTime
TOILET7.1.iv.14SAT0.03
TOILET7.1.iv.13UNSAT0.11
TOILET10.1.iv.20SAT0.18
TOILET16.1.iv.32SAT5.93