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

InstanceResultTime
toilet_c_04_01.4UNSAT0.05
toilet_c_08_01.2UNSAT0.05
toilet_c_06_01.4UNSAT0.06
toilet_c_08_01.6UNSAT0.15
toilet_c_08_01.7UNSAT0.23
toilet_c_06_01.8UNSAT0.29
toilet_c_08_01.11UNSAT2.53
toilet_c_08_05.4SAT4.1
toilet_c_10_01.12UNSAT4.94
toilet_c_10_01.17UNSAT67.43