Instances of family ToiletA solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
toilet_a_10_01.16UNSAT1.63
toilet_a_10_05.4SAT8.56