Instances of family Toilet solved by EBDDRES
QBFEVAL'07

InstanceResultTime
TOILET16.1.iv.32FAIL22.57
TOILET10.1.iv.20FAIL32.86