sbv-8.13: SBVTestSuite/GoldFiles/allSat2.gold
Solution #1: x = Q!val!0 :: Q y = Q!val!0 :: Q z = Q!val!1 :: Q Solution #2: x = Q!val!0 :: Q y = Q!val!0 :: Q z = Q!val!0 :: Q Found 2 different solutions.
Solution #1: x = Q!val!0 :: Q y = Q!val!0 :: Q z = Q!val!1 :: Q Solution #2: x = Q!val!0 :: Q y = Q!val!0 :: Q z = Q!val!0 :: Q Found 2 different solutions.