<instance>
<presentation name="ExampleQCSP" format="XCSP 2.1" type="QCSP">
This is a QCSP instance.

</presentation>
<domains nbDomains="1">
<domain name="D0" nbValues="4">
1..4
</domain>
</domains> <variables nbVariables="4" >
<variable name="W" domain="D0"/>
<variable name="X" domain="D0"/>
<variable name="Y" domain="D0"/> <variable name="Z" domain="D0"/>
</variables>
<predicates nbPredicates="2">
<predicate name="P0">
<parameters> int A int B int C int D </parameters> <expression>
<functional> eq(add(A,B),add(C,D)) </functional>
</expression>
</predicate>
<predicate name="P1">
<parameters> int A int B </parameters> <expression>
<functional> ne(A,B) </functional>
</expression>
</predicate>
</predicates>
<constraints nbConstraints="2">
<constraint name="C0" arity="4" scope="W X Y Z" reference="P0">
<parameters> W X Y Z </parameters>
</constraint>
<constraint name="C1" arity="2" scope="Y Z" reference="P1">
<parameters> Y Z </parameters>
</constraint>
</constraints> <quantification nbBlocks="3">
<block quantifier="exists" scope="W X" \>
<block quantifier="forall" scope="Y" \>
<block quantifier="exists" scope="Z" \>
</quantification >
</instance>
Figure 9: A QCSP instance