Instances of family Toilet solved by QSAT
QBFEVAL'04

InstanceResultTime
TOILET2.1.iv.3UNSAT0.01
TOILET2.1.iv.4SAT0.01
TOILET6.1.iv.12SAT0.02
TOILET7.1.iv.14SAT0.03
TOILET10.1.iv.20SAT0.12
TOILET16.1.iv.32SAT1.1
TOILET6.1.iv.11UNSAT1.36
TOILET7.1.iv.13UNSAT16.83