Instances of family ToiletC solved by hiqqer1ldsq
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
toilet_c_04_01.4UNSAT0.02
toilet_c_08_01.2UNSAT0.02
toilet_c_06_01.4UNSAT0.02
toilet_c_08_01.6UNSAT0.03
toilet_c_08_01.7UNSAT0.03
toilet_c_06_01.8UNSAT0.03
toilet_c_08_01.11UNSAT0.06
toilet_c_08_05.4SAT0.09
toilet_c_10_01.12UNSAT0.12
toilet_c_10_01.17UNSAT498.23