Instances of family ToiletA solved by QUANTOR
QBFEVAL'04

InstanceResultTime
toilet_a_06_05.2UNSAT0.02
toilet_a_06_01.5UNSAT0.02
toilet_a_08_01.3UNSAT0.06
toilet_a_10_01.4FAIL0.08
toilet_a_08_01.16SAT0.09
toilet_a_10_01.7UNSAT2.53
toilet_a_10_05.3UNSAT3.73
toilet_a_10_01.15UNSAT26.75