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

InstanceResultTime
toilet_c_06_01.4UNSAT0.08
toilet_c_08_05.4SAT0.2
toilet_c_08_01.11UNSAT1.14
toilet_c_10_01.12UNSAT4.14
toilet_c_10_01.17UNSAT261.94