Instances of family ToiletA solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
toilet_a_04_01.4UNSAT0.06
toilet_a_02_10.2SAT0.07
toilet_a_04_05.2SAT0.07
toilet_a_04_01.6UNSAT0.08
toilet_a_06_01.6UNSAT0.32
toilet_a_06_01.10UNSAT1.45
toilet_a_08_05.2UNSAT1.73
toilet_a_08_01.13UNSAT7.4
toilet_a_10_05.3UNSAT11.33
toilet_a_08_05.9SAT25.62