Instances of family ToiletC solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
toilet_c_06_01.4UNSAT0.12
toilet_c_08_01.6UNSAT0.12
toilet_c_08_01.7UNSAT0.12
toilet_c_04_01.4UNSAT0.12
toilet_c_08_01.2UNSAT0.12
toilet_c_06_01.8UNSAT0.12
toilet_c_08_01.11UNSAT0.22
toilet_c_08_05.4SAT0.22
toilet_c_10_01.12UNSAT0.32
toilet_c_10_01.17UNSAT9.03