Instances of family ToiletC solved by CLearn
QBFEVAL'04

InstanceResultTime
toilet_c_10_05.4SAT0
toilet_c_06_05.4SAT0
toilet_c_04_01.6UNSAT0
toilet_c_10_01.3UNSAT0
toilet_c_10_01.9UNSAT0.02
toilet_c_06_01.9UNSAT0.02
toilet_c_10_05.10SAT0.03
toilet_c_08_01.13UNSAT0.15