question: public void test_009 ( ) { final IVariable x = Var . var ( "x" ) ; final IVariable y = Var . var ( "y" ) ; final IVariable z = Var . var ( "z" ) ; final XSDNumericIV < BigdataLiteral > one = new XSDNumericIV < BigdataLiteral > ( 1 ) ; one . setValue ( f . createLiteral ( 1 ) ) ; final XSDNumericIV < BigdataLiteral > two = new XSDNumericIV < BigdataLiteral > ( 2 ) ; two . setValue ( f . createLiteral ( 2 ) ) ; final XSDNumericIV < BigdataLiteral > three = new XSDNumericIV < BigdataLiteral > ( 3 ) ; three . setValue ( f . createLiteral ( 3 ) ) ; final XSDNumericIV < BigdataLiteral > four = new XSDNumericIV < BigdataLiteral > ( 4 ) ; four . setValue ( f . createLiteral ( 4 ) ) ; final XSDNumericIV < BigdataLiteral > five = new XSDNumericIV < BigdataLiteral > ( 5 ) ; five . setValue ( f . createLiteral ( 5 ) ) ; final XSDNumericIV < BigdataLiteral > six = new XSDNumericIV < BigdataLiteral > ( 6 ) ; six . setValue ( f . createLiteral ( 6 ) ) ; final XSDNumericIV < BigdataLiteral > seven = new XSDNumericIV < BigdataLiteral > ( 7 ) ; seven . setValue ( f . createLiteral ( 7 ) ) ; final List < IBindingSet > bsets = new LinkedList < IBindingSet > ( ) ; { final IBindingSet bset = new ListBindingSet ( ) ; bset . set ( x , asConst ( one ) ) ; bset . set ( y , asConst ( two ) ) ; bset . set ( z , asConst ( five ) ) ; bsets . add ( bset ) ; } { final IBindingSet bset = new ListBindingSet ( ) ; bset . set ( x , asConst ( one ) ) ; bset . set ( y , asConst ( two ) ) ; bset . set ( z , asConst ( six ) ) ; bsets . add ( bset ) ; } { final IBindingSet bset = new ListBindingSet ( ) ; bset . set ( x , asConst ( one ) ) ; bset . set ( y , asConst ( two ) ) ; bset . set ( z , asConst ( seven ) ) ; bsets . add ( bset ) ; } final ISolutionSetStats expected = new MySolutionStats ( 3 , asSet ( x , y , z ) , asSet ( ) , asSet ( x , y , z ) , asSet ( x , y , z ) , asMap ( asArray ( x , y ) , asArray ( asConst ( one ) , asConst ( two ) ) ) ) ; final ISolutionSetStats actual = newFixture ( bsets . toArray ( new IBindingSet [ ] { } ) ) ; assertSameStats ( expected , actual ) ; }
target:  Unit test with three solutions having two variables which are bound in every solution to the same value plus one variable which is bound to a different value in every solution.