sbv-14.4: SBVTestSuite/GoldFiles/U2Bridge.gold
Solution #1:
s0 = False :: Bool
s1 = Edge :: U2Member
s2 = Bono :: U2Member
s3 = True :: Bool
s4 = Bono :: U2Member
s5 = Bono :: U2Member
s6 = False :: Bool
s7 = Larry :: U2Member
s8 = Adam :: U2Member
s9 = True :: Bool
s10 = Edge :: U2Member
s11 = Bono :: U2Member
s12 = False :: Bool
s13 = Edge :: U2Member
s14 = Bono :: U2Member
Solution #2:
s0 = False :: Bool
s1 = Edge :: U2Member
s2 = Bono :: U2Member
s3 = True :: Bool
s4 = Edge :: U2Member
s5 = Bono :: U2Member
s6 = False :: Bool
s7 = Larry :: U2Member
s8 = Adam :: U2Member
s9 = True :: Bool
s10 = Bono :: U2Member
s11 = Bono :: U2Member
s12 = False :: Bool
s13 = Edge :: U2Member
s14 = Bono :: U2Member
Found 2 different solutions.