Instances of family ToiletA solved by qube5.0
QBFEVAL'06

InstanceResultTime
toilet_a_10_05.4SAT7.94
toilet_a_10_01.16UNSAT8.8