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

InstanceResultTime
TOILET7.1.iv.14SAT50.89
TOILET7.1.iv.13FAIL1200.02
TOILET10.1.iv.20FAIL1200.04
TOILET16.1.iv.32FAIL1200.08