sbv-14.4: SBVTestSuite/GoldFiles/allSat2.gold

Solution #1:
  x = Q_0 :: Q
  y = Q_0 :: Q
  z = Q_1 :: Q
Solution #2:
  x = Q_0 :: Q
  y = Q_0 :: Q
  z = Q_0 :: Q
Found 2 different solutions.