Instances of family ToiletC solved by yQuaffle
QBFEVAL'04

InstanceResultTime
toilet_c_10_01.3UNSAT0
toilet_c_10_01.9UNSAT0.01
toilet_c_06_05.4SAT0.02
toilet_c_04_01.6UNSAT0.02
toilet_c_06_01.9UNSAT0.02
toilet_c_10_05.10SAT0.09
toilet_c_08_01.13UNSAT0.25
toilet_c_10_05.4SAT1.33