Instances of family ToiletC solved by sSolve
QBFEVAL'04

InstanceResultTime
toilet_c_04_01.6UNSAT0
toilet_c_10_01.3UNSAT0.01
toilet_c_06_05.4SAT0.01
toilet_c_06_01.9UNSAT0.02
toilet_c_10_05.4SAT0.03
toilet_c_10_01.9UNSAT0.05
toilet_c_08_01.13UNSAT1.77
toilet_c_10_05.10SAT8.46