Instances of family Toilet solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
TOILET10.1.iv.20FAIL600
TOILET16.1.iv.32FAIL600