Instances of family Toilet solved by openQbf
QBFEVAL'06

InstanceResultTime
TOILET7.1.iv.13UNSAT2118.89
TOILET16.1.iv.32FAIL6000.84
TOILET10.1.iv.20FAIL6000.86