Instances of family ToiletC solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
toilet_c_04_01.4UNSAT0
toilet_c_08_01.2UNSAT0
toilet_c_06_01.4UNSAT0
toilet_c_08_01.6UNSAT0
toilet_c_06_01.8UNSAT0.01
toilet_c_08_01.7UNSAT0.01
toilet_c_08_05.4SAT0.33
toilet_c_08_01.11UNSAT0.71
toilet_c_10_01.12UNSAT4.52
toilet_c_10_01.17FAIL599.81