Instances of family ToiletA solved by QUANTOR
QBFEVAL'05

InstanceResultTime
toilet_a_08_01.2UNSAT0.05
toilet_a_08_05.2UNSAT0.07
toilet_a_08_01.8UNSAT0.07
toilet_a_08_01.4UNSAT0.07
toilet_a_08_05.4SAT0.08
toilet_a_08_05.8SAT0.11
toilet_a_08_01.16SAT0.11
toilet_a_08_10.2SAT0.18
toilet_a_08_05.10SAT0.2
toilet_a_10_01.2UNSAT2.39
toilet_a_10_01.3UNSAT2.46
toilet_a_10_01.4UNSAT2.56
toilet_a_10_01.8UNSAT2.76
toilet_a_10_05.2UNSAT2.76
toilet_a_10_01.20SAT2.79
toilet_a_10_10.2SAT3.8
toilet_a_10_05.4SAT13.42
toilet_a_10_01.16UNSAT70.06