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

InstanceResultTime
TOILET7.1.iv.13UNSAT109.71
TOILET7.1.iv.14SAT114.45
TOILET10.1.iv.20FAIL1200.06
TOILET16.1.iv.32FAIL1200.08