Instances of family Toilet solved by qbfbdd
QBFEVAL'05

InstanceResultTime
TOILET2.1.iv.4SAT0
TOILET2.1.iv.3UNSAT0
TOILET7.1.iv.14FAIL900.33
TOILET16.1.iv.32FAIL900.4
TOILET7.1.iv.13FAIL900.43
TOILET6.1.iv.12FAIL900.66
TOILET10.1.iv.20FAIL900.71
TOILET6.1.iv.11FAIL900.78