comp_problem(Vs):-
        D0=[0,1,2,3,4,5,6],
        D1=[1,5,10],
        D2=[1,2,3,4,5,11,12,13,14,15],
        fd_vector_min_max(-320,320),
        V0 :: D0,
        V1 :: D0,
        V2 :: D1,
        V3 :: D2,
        Vs=[V0,V1,V2,V3],
        conflict_rel(Rel0,[[0,0],[1,1],[2,2],[2,2],[3,3],[4,4],[5,5]],7),
        conflict_rel(Rel1,[[1,0],[1,1],[1,2],[1,3],[1,4],[1,5],[1,6],[2,1],[2,2],[2,3],[2,4],[2,5],[2,6],[3,2],[3,3],[3,4],[3,5],[3,6],[4,3],[4,4],[4,5],[4,6],[5,4],[5,5],[5,6]],25),
        support_rel(Rel2,[D1,D0],[[5,3]],1),
        support_rel(Rel3,[D0,D1,D2],[[0,1,3],[0,5,3],[0,10,12],[1,1,4],[1,5,2],[1,10,13],[2,1,5],[2,5,1],[2,10,14],[3,10,5],[3,10,15],[4,5,11],[4,10,4],[5,5,12],[5,10,3],[6,5,13],[6,10,2]],17),
        conflict_constraint(Rel0,[V0,V1]),
        conflict_constraint(Rel1,[V0,V3]),
        support_constraint(Rel2,[V2,V0]),
        support_constraint(Rel3,[V1,V2,V3]),
        true.