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

InstanceResultTime
TOILET7.1.iv.14SAT1.34
TOILET7.1.iv.13UNSAT1.38
TOILET10.1.iv.20SAT1.62
TOILET16.1.iv.32SAT3.15