Instances of family Toilet solved by qube5.0
QBFEVAL'06

InstanceResultTime
TOILET7.1.iv.13UNSAT831.79
TOILET16.1.iv.32FAIL2489.06
TOILET10.1.iv.20FAIL6000.16