Instances of family ToiletC solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
toilet_c_10_01.2UNSAT0
toilet_c_08_01.4UNSAT0
toilet_c_10_01.4UNSAT0
toilet_c_08_01.2UNSAT0
toilet_c_08_10.2SAT0.01
toilet_c_10_10.2SAT0.01
toilet_c_08_05.8SAT0.01
toilet_c_08_01.8UNSAT0.01
toilet_c_10_05.4SAT0.01
toilet_c_08_01.16SAT0.01
toilet_c_08_05.4SAT0.01
toilet_c_10_01.20SAT0.02
toilet_c_10_05.8SAT0.02
toilet_c_10_01.8UNSAT0.02
toilet_c_10_05.7SAT0.03
toilet_c_08_05.2UNSAT0.03
toilet_c_08_05.10SAT0.03
toilet_c_10_05.2UNSAT0.03
toilet_c_10_05.12SAT0.04
toilet_c_10_01.16UNSAT2.56