Instances of family ToiletA solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
toilet_a_04_01.4UNSAT0.52
toilet_a_02_10.2SAT0.52
toilet_a_04_01.6UNSAT0.53
toilet_a_06_01.6UNSAT0.53
toilet_a_04_05.2SAT0.54
toilet_a_06_01.10UNSAT0.56
toilet_a_08_05.2UNSAT0.63
toilet_a_08_01.13UNSAT0.99
toilet_a_10_05.3UNSAT1.14
toilet_a_08_05.9SAT4.98