Instances of family Toilet solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
TOILET6.1.iv.12SAT0
TOILET2.1.iv.4SAT0
TOILET7.1.iv.14SAT0.01
TOILET2.1.iv.3UNSAT0.01
TOILET10.1.iv.20SAT0.03
TOILET16.1.iv.32SAT0.1
TOILET6.1.iv.11UNSAT0.14
TOILET7.1.iv.13UNSAT0.33