Instances of family Toilet solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
TOILET10.1.iv.20SAT0.78
TOILET16.1.iv.32SAT1.5