Instances of family ToiletC solved by openQbf
QBFEVAL'04

InstanceResultTime
toilet_c_04_01.6UNSAT0.16
toilet_c_10_01.3UNSAT0.19
toilet_c_06_05.4SAT0.25
toilet_c_06_01.9UNSAT0.38
toilet_c_10_01.9UNSAT0.49
toilet_c_10_05.10SAT0.93
toilet_c_08_01.13UNSAT5.18
toilet_c_10_05.4SAT374.15