Instances of family ToiletC solved by QSAT
QBFEVAL'04

InstanceResultTime
toilet_c_10_01.3UNSAT0.01
toilet_c_04_01.6UNSAT0.01
toilet_c_06_05.4SAT0.02
toilet_c_06_01.9UNSAT0.18
toilet_c_10_05.10SAT0.29
toilet_c_10_01.9UNSAT0.86
toilet_c_08_01.13UNSAT23.45
toilet_c_10_05.4FAIL901.01