Instances of family ToiletA solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
toilet_a_04_01.4UNSAT0.07
toilet_a_04_01.6UNSAT0.09
toilet_a_06_01.6UNSAT0.16
toilet_a_08_05.2UNSAT0.62
toilet_a_10_05.3UNSAT3.87