Instances of family ToiletC solved by qmaiga
QBFEVAL'10 - Competitive Track.

InstanceResultTime
toilet_c_02_01.2UNSAT0
toilet_c_08_01.4UNSAT0
toilet_c_04_10.2SAT0.01
toilet_c_06_10.2SAT0.01
toilet_c_06_01.5UNSAT0.01
toilet_c_04_01.4UNSAT0.01
toilet_c_10_01.4UNSAT0.02
toilet_c_08_10.2SAT0.02
toilet_c_08_01.16SAT0.04
toilet_c_08_05.6SAT0.06
toilet_c_08_05.7SAT0.07
toilet_c_10_10.2SAT0.09
toilet_c_08_05.8SAT0.09
toilet_c_10_01.20SAT0.11
toilet_c_08_05.9SAT0.12
toilet_c_10_05.7SAT0.13
toilet_c_08_05.10SAT0.13
toilet_c_10_01.11UNSAT0.13
toilet_c_08_01.13UNSAT0.18
toilet_c_10_05.9SAT0.21
toilet_c_10_05.11SAT0.3
toilet_c_10_05.12SAT0.33
toilet_c_10_01.15UNSAT1.78