Instances of family ToiletA solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
toilet_a_04_01.4UNSAT0.02
toilet_a_02_10.2SAT0.02
toilet_a_04_05.2SAT0.04
toilet_a_04_01.6UNSAT0.09
toilet_a_06_01.6UNSAT0.11
toilet_a_06_01.10UNSAT0.21
toilet_a_08_05.2UNSAT0.21
toilet_a_10_05.3UNSAT0.81
toilet_a_08_05.9SAT1.21
toilet_a_08_01.13UNSAT8.21