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

InstanceResultTime
toilet_c_06_01.4UNSAT0.07
toilet_c_08_05.4SAT0.19
toilet_c_08_01.11UNSAT0.3
toilet_c_10_01.12UNSAT0.75
toilet_c_10_01.17UNSAT53.36