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

InstanceResultTime
toilet_a_04_05.2SAT0
toilet_a_04_01.4UNSAT0
toilet_a_02_10.2SAT0
toilet_a_04_01.6UNSAT0
toilet_a_06_01.6UNSAT0
toilet_a_08_05.2UNSAT0.03
toilet_a_06_01.10UNSAT0.13
toilet_a_08_05.9SAT0.78
toilet_a_10_05.3UNSAT6.93
toilet_a_08_01.13UNSAT8.58