# Naxos Solver

Naxos is a mini-solver.
If it is run without arguments, it shows its version.

```
$ ./naxos-xcsp3
Naxos Solver 1.1.0
Usage: ./naxos-xcsp3 BENCHNAME
```

Below, we test its conformance against simple instances.

## aim-50-1-6-sat-1

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 aim-50-1-6-sat-1.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
v   <values> 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm aim-50-1-6-sat-1.xml solution.txt
OK
```

## AllInterval-005

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 AllInterval-005.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] y[0] y[1] y[2] y[3] </list>
v   <values> 2 1 3 0 4 1 2 3 4 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm AllInterval-005.xml solution.txt
OK
```

## Alpha

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Alpha.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] </list>
v   <values> 5 13 9 16 20 4 24 21 25 17 23 2 8 12 10 19 7 11 15 3 1 26 6 22 14 18 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Alpha.xml solution.txt
OK
```

## bdd-15-21-2-2713-79-01

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 bdd-15-21-2-2713-79-01.xml | tee solution.txt
```

```
$ java org.xcsp.checker.SolutionChecker -cm bdd-15-21-2-2713-79-01.xml solution.txt
One s line expected
```

## Bibd-sc-03-03-01

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Bibd-sc-03-03-01.xml | tee solution.txt
Exception at line 38
s UNSUPPORTED
c Lex matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Bibd-sc-03-03-01.xml solution.txt
```

## Bibd-sum-03-03-01

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Bibd-sum-03-03-01.xml | tee solution.txt
Exception at line 38
s UNSUPPORTED
c Lex matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Bibd-sum-03-03-01.xml solution.txt
```

## Blackhole-04-3-00

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Blackhole-04-3-00.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c channel with 2 lists constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Blackhole-04-3-00.xml solution.txt
```

## Blackhole-4-04-0_X2

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Blackhole-4-04-0_X2.xml | tee solution.txt
s UNKNOWN
```

```
$ java org.xcsp.checker.SolutionChecker -cm Blackhole-4-04-0_X2.xml solution.txt
```

## bqwh-15-106-00_X2

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 bqwh-15-106-00_X2.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 </list>
v   <values> 14 9 12 10 2 13 0 4 8 13 1 12 7 3 11 5 13 3 9 2 6 7 0 5 4 14 10 9 8 12 5 11 10 2 14 14 3 0 9 4 13 12 9 14 0 2 4 10 6 2 0 10 5 1 9 8 1 12 5 6 11 14 0 3 0 12 5 7 6 11 0 7 2 9 10 4 5 13 5 11 7 10 1 3 2 7 3 10 2 14 5 0 6 13 12 1 11 8 5 2 12 1 4 8 11 5 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm bqwh-15-106-00_X2.xml solution.txt
OK
```

## Cabinet-5561_X2

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Cabinet-5561_X2.xml | tee solution.txt
Exception at line 560
s UNSUPPORTED
c maximum constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Cabinet-5561_X2.xml solution.txt
```

## CarSequencing-dingbas

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 CarSequencing-dingbas.xml | tee solution.txt
Exception at line 11
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm CarSequencing-dingbas.xml solution.txt
```

## ColouredQueens-03

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ColouredQueens-03.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm ColouredQueens-03.xml solution.txt
```

## ColouredQueens-05

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ColouredQueens-05.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] </list>
v   <values> 0 1 2 3 4 2 3 4 0 1 4 0 1 2 3 1 2 3 4 0 3 4 0 1 2 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm ColouredQueens-05.xml solution.txt
OK
```

## composed-25-01-02-0

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 composed-25-01-02-0.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm composed-25-01-02-0.xml solution.txt
```

## CostasArray-10

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 CostasArray-10.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in 'sub(x[0],x[8]),sub(x[1],x[9])'
```

```
$ java org.xcsp.checker.SolutionChecker -cm CostasArray-10.xml solution.txt
```

## CoveringArray-3-04-2-08

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 CoveringArray-3-04-2-08.xml | tee solution.txt
Exception at line 18
s UNSUPPORTED
c channel with 2 lists constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm CoveringArray-3-04-2-08.xml solution.txt
```

## Crossword-lex-vg-4-4

A satisfiable CSP

## Crossword-lex-vg-4-4

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Crossword-lex-vg-4-4.xml | tee solution.txt
Exception at line 30
s UNSUPPORTED
c AllDiff list constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Crossword-lex-vg-4-4.xml solution.txt
```

## CryptoPuzzle-send-more-money

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 CryptoPuzzle-send-more-money.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in 'mod(add(C[0],l[3],l[4]),10),l[24]'
```

```
$ java org.xcsp.checker.SolutionChecker -cm CryptoPuzzle-send-more-money.xml solution.txt
```

## DeBruijnSequence-02-02

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 DeBruijnSequence-02-02.xml | tee solution.txt
Exception at line 42
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm DeBruijnSequence-02-02.xml solution.txt
```

## DeBruijnSequence-02-04

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 DeBruijnSequence-02-04.xml | tee solution.txt
Exception at line 149
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm DeBruijnSequence-02-04.xml solution.txt
```

## DiamondFree-004

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 DiamondFree-004.xml | tee solution.txt
Exception at line 59
s UNSUPPORTED
c Lex constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm DiamondFree-004.xml solution.txt
```

## DiamondFree-008

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 DiamondFree-008.xml | tee solution.txt
Exception at line 188
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm DiamondFree-008.xml solution.txt
```

## DistinctVectors-05-100-02

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 DistinctVectors-05-100-02.xml | tee solution.txt
Exception at line 12
s UNSUPPORTED
c AllDiff list constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm DistinctVectors-05-100-02.xml solution.txt
```

## Domino-100-100

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Domino-100-100.xml | tee solution.txt
Exception at line 6
s UNSUPPORTED
c Allequal constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Domino-100-100.xml solution.txt
```

## Dominoes-grid1

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Dominoes-grid1.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'in'
```

```
$ java org.xcsp.checker.SolutionChecker -cm Dominoes-grid1.xml solution.txt
```

## driverlogw-01c

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 driverlogw-01c.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] </list>
v   <values> 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 0 1 1 2 1 1 1 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm driverlogw-01c.xml solution.txt
OK
```

## Dubois-015

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Dubois-015.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm Dubois-015.xml solution.txt
```

## ehi-85-297-00

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ehi-85-297-00.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm ehi-85-297-00.xml solution.txt
```

## GracefulGraph-K02-P02

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 GracefulGraph-K02-P02.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> cn[0][0] cn[0][1] cn[1][0] cn[1][1] ce[0][0][0] ce[0][0][1] ce[0][1][0] ce[0][1][1] ce[1][0][0] ce[1][0][1] ce[1][1][0] ce[1][1][1] cie[0][0] cie[0][1] </list>
v   <values> 2 1 0 4 1 1 1 1 1 4 1 1 2 3 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm GracefulGraph-K02-P02.xml solution.txt
OK
```

## Hanoi-04

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Hanoi-04.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'in'
```

```
$ java org.xcsp.checker.SolutionChecker -cm Hanoi-04.xml solution.txt
```

## Haystacks-04

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Haystacks-04.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in '0,mul(sub(x[1],x[8]),sub(x[8],x[1]))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm Haystacks-04.xml solution.txt
```

## Kakuro-easy-000-ext

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Kakuro-easy-000-ext.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] </list>
v   <values> 1 1 1 1 1 1 1 1 5 8 1 1 1 8 6 9 4 1 1 9 8 1 3 1 1 1 7 9 2 3 1 1 9 8 6 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Kakuro-easy-000-ext.xml solution.txt
OK
```

## Kakuro-easy-000-sumdiff

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Kakuro-easy-000-sumdiff.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] </list>
v   <values> 1 1 1 1 1 1 1 1 5 8 1 1 1 8 6 9 4 1 1 9 8 1 3 1 1 1 7 9 2 3 1 1 9 8 6 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Kakuro-easy-000-sumdiff.xml solution.txt
OK
```

## Knights-008-05

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Knights-008-05.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm Knights-008-05.xml solution.txt
```

## KnightTour-04-ext02

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 KnightTour-04-ext02.xml | tee solution.txt
Exception at line 17
s UNSUPPORTED
c instantiation constraint not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm KnightTour-04-ext02.xml solution.txt
```

## KnightTour-04-int

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 KnightTour-04-int.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm KnightTour-04-int.xml solution.txt
```

## LabeledDice

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 LabeledDice.xml | tee solution.txt
Exception at line 25
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm LabeledDice.xml solution.txt
```

## Langford-2-05

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Langford-2-05.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm Langford-2-05.xml solution.txt
```

## LangfordBin-05

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 LangfordBin-05.xml | tee solution.txt
s UNKNOWN
```

```
$ java org.xcsp.checker.SolutionChecker -cm LangfordBin-05.xml solution.txt
```

## MagicHexagon-02-0000

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicHexagon-02-0000.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicHexagon-02-0000.xml solution.txt
```

## MagicHexagon-03-0001

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicHexagon-03-0001.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] </list>
v   <values> 3 19 16 1 1 17 7 2 12 1 18 1 5 4 10 11 6 8 13 1 9 14 15 1 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicHexagon-03-0001.xml solution.txt
OK
```

## MagicSequence-003-ca

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSequence-003-ca.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSequence-003-ca.xml solution.txt
```

## MagicSequence-003-co

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSequence-003-co.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c exactly Variable constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSequence-003-co.xml solution.txt
```

## MagicSequence-004-ca

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSequence-004-ca.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSequence-004-ca.xml solution.txt
```

## MagicSequence-004-co

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSequence-004-co.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c exactly Variable constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSequence-004-co.xml solution.txt
```

## MagicSquare-3-mdd

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSquare-3-mdd.xml | tee solution.txt
Exception at line 15
s UNSUPPORTED
c MDD constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSquare-3-mdd.xml solution.txt
```

## MagicSquare-3-sum

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSquare-3-sum.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2] </list>
v   <values> 2 7 6 9 5 1 4 3 8 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSquare-3-sum.xml solution.txt
OK
```

## MagicSquare-3-table

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MagicSquare-3-table.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2] </list>
v   <values> 2 7 6 9 5 1 4 3 8 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm MagicSquare-3-table.xml solution.txt
OK
```

## MarketSplit-01

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MarketSplit-01.xml | tee solution.txt
```

```
$ java org.xcsp.checker.SolutionChecker -cm MarketSplit-01.xml solution.txt
One s line expected
```

## MultiKnapsack-1-01

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MultiKnapsack-1-01.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] </list>
v   <values> 0 1 1 0 0 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm MultiKnapsack-1-01.xml solution.txt
OK
```

## MultiKnapsack-1-0_X2

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 MultiKnapsack-1-0_X2.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] </list>
v   <values> 0 1 1 0 0 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm MultiKnapsack-1-0_X2.xml solution.txt
OK
```

## Nonogram-001-regular

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Nonogram-001-regular.xml | tee solution.txt
Exception at line 12
s UNSUPPORTED
c regular constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Nonogram-001-regular.xml solution.txt
```

## Nonogram-001-table

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Nonogram-001-table.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] </list>
v   <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Nonogram-001-table.xml solution.txt
OK
```

## NumberPartitioning-004

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 NumberPartitioning-004.xml | tee solution.txt
Exception at line 43
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm NumberPartitioning-004.xml solution.txt
```

## NumberPartitioning-008

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 NumberPartitioning-008.xml | tee solution.txt
Exception at line 48
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm NumberPartitioning-008.xml solution.txt
```

## Ortholatin-002

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Ortholatin-002.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c AllDiff matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Ortholatin-002.xml solution.txt
```

## Ortholatin-003

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Ortholatin-003.xml | tee solution.txt
Exception at line 10
s UNSUPPORTED
c AllDiff matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Ortholatin-003.xml solution.txt
```

## pigeonsPlus-06-03

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 pigeonsPlus-06-03.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm pigeonsPlus-06-03.xml solution.txt
```

## Primes-10-20-2-1

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Primes-10-20-2-1.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] </list>
v   <values> 2 17 2 2 7 13 22 5 29 3 2 2 2 26 2 2 2 3 2 27 2 13 2 2 2 2 2 7 19 13 29 3 2 2 2 2 7 17 2 2 29 28 3 26 2 2 23 2 2 2 2 2 2 4 2 2 5 2 17 2 2 2 2 2 2 2 2 2 7 2 2 19 2 2 2 2 2 2 2 23 2 2 2 2 23 2 2 2 3 2 2 2 2 2 2 2 17 2 2 6 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Primes-10-20-2-1.xml solution.txt
OK
```

## PropStress-0020

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 PropStress-0020.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm PropStress-0020.xml solution.txt
```

## QuasiGroup-3-04

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QuasiGroup-3-04.xml | tee solution.txt
Exception at line 9
s UNSUPPORTED
c AllDiff matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm QuasiGroup-3-04.xml solution.txt
```

## QuasiGroup-4-04

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QuasiGroup-4-04.xml | tee solution.txt
Exception at line 9
s UNSUPPORTED
c AllDiff matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm QuasiGroup-4-04.xml solution.txt
```

## QueenAttacking-04_X2

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QueenAttacking-04_X2.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm QueenAttacking-04_X2.xml solution.txt
```

## QueenAttacking-05_X2

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QueenAttacking-05_X2.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm QueenAttacking-05_X2.xml solution.txt
```

## Queens-0012-m1

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Queens-0012-m1.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] </list>
v   <values> 0 2 8 6 3 9 11 4 10 7 5 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Queens-0012-m1.xml solution.txt
OK
```

## QueensKnights-008-05-add

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QueensKnights-008-05-add.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'and(ne(q[0],q[1]),ne(dist(q[0],q[1]),1))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm QueensKnights-008-05-add.xml solution.txt
```

## QueensKnights-008-05-mul

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QueensKnights-008-05-mul.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'and(ne(q[0],q[1]),ne(dist(q[0],q[1]),1))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm QueensKnights-008-05-mul.xml solution.txt
```

## qwh-10-57-0_X2

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 qwh-10-57-0_X2.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 </list>
v   <values> 8 6 5 7 4 2 3 1 9 0 1 5 3 2 9 4 0 6 8 7 7 1 9 6 3 0 2 5 4 8 9 0 4 3 1 5 8 7 6 2 2 9 6 4 0 8 7 3 1 5 4 7 2 1 8 3 6 0 5 9 5 3 8 0 7 6 1 9 2 4 3 8 1 9 2 7 5 4 0 6 0 2 7 5 6 9 4 8 3 1 6 4 0 8 5 1 9 2 7 3 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm qwh-10-57-0_X2.xml solution.txt
OK
```

## qwh-o005-h10

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 qwh-o005-h10.xml | tee solution.txt
Exception at line 8
s UNSUPPORTED
c AllDiff matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm qwh-o005-h10.xml solution.txt
```

## RadarSurveillance-8-24-3-2-01

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 RadarSurveillance-8-24-3-2-01.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in 'add(ge(x[0][4],1),ge(x[3][0],1),ge(x[6][5],2),ge(x[7][5],3)),3'
```

```
$ java org.xcsp.checker.SolutionChecker -cm RadarSurveillance-8-24-3-2-01.xml solution.txt
```

## RenaultMod-01

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 RenaultMod-01.xml | tee solution.txt
s UNKNOWN
```

```
$ java org.xcsp.checker.SolutionChecker -cm RenaultMod-01.xml solution.txt
```

## Rlfap-scen-06

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Rlfap-scen-06.xml | tee solution.txt
```

```
$ java org.xcsp.checker.SolutionChecker -cm Rlfap-scen-06.xml solution.txt
One s line expected
```

## RoomMate-magic-10-50-int

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 RoomMate-magic-10-50-int.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'imp(gt(x[0],0),lt(x[2],6))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm RoomMate-magic-10-50-int.xml solution.txt
```

## RoomMate-sr0006-int

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 RoomMate-sr0006-int.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'imp(gt(x[0],0),lt(x[2],3))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm RoomMate-sr0006-int.xml solution.txt
```

## SchurrLemma-012-9-mod

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SchurrLemma-012-9-mod.xml | tee solution.txt
s UNSATISFIABLE
```

```
$ java org.xcsp.checker.SolutionChecker -cm SchurrLemma-012-9-mod.xml solution.txt
```

## SchurrLemma-023-3

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SchurrLemma-023-3.xml | tee solution.txt
Exception at line 132
s UNSUPPORTED
c NotAllequal constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm SchurrLemma-023-3.xml solution.txt
```

## SocialGolfers-5-4-3-cp

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SocialGolfers-5-4-3-cp.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm SocialGolfers-5-4-3-cp.xml solution.txt
```

## SportsScheduling-04

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SportsScheduling-04.xml | tee solution.txt
Exception at line 37
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm SportsScheduling-04.xml solution.txt
```

## SportsScheduling-06

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SportsScheduling-06.xml | tee solution.txt
Exception at line 49
s UNSUPPORTED
c cardinality with int values and int occurs constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm SportsScheduling-06.xml solution.txt
```

## Steiner3-05

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Steiner3-05.xml | tee solution.txt
Exception at line 14
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Steiner3-05.xml solution.txt
```

## Steiner3-07

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Steiner3-07.xml | tee solution.txt
Exception at line 18
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Steiner3-07.xml solution.txt
```

## Subisomorphism-A-01

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Subisomorphism-A-01.xml | tee solution.txt
s SATISFIABLE
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] </list>
v   <values> 143 191 192 79 68 29 169 155 75 80 46 110 14 44 59 164 190 175 115 22 7 8 188 33 19 11 93 125 161 179 119 184 12 193 112 43 24 176 42 82 36 108 96 87 181 27 138 120 101 20 52 146 5 34 167 41 35 157 159 129 109 118 151 153 170 53 195 149 45 84 196 64 177 104 154 123 171 106 38 185 1 141 74 121 111 124 67 95 127 21 97 98 48 37 150 10 63 197 15 70 91 3 126 156 178 18 62 147 135 40 54 174 145 60 25 103 194 58 31 199 81 148 173 72 166 182 89 189 140 163 6 137 0 133 165 26 73 13 100 168 162 65 186 71 32 144 183 136 142 88 77 90 23 128 132 158 152 39 2 50 51 114 69 134 30 66 49 28 9 85 116 122 107 55 102 57 86 139 76 83 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Subisomorphism-A-01.xml solution.txt
OK
```

## Sudoku-s01a-alldiff

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Sudoku-s01a-alldiff.xml | tee solution.txt
Exception at line 45
s UNSUPPORTED
c instantiation constraint not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Sudoku-s01a-alldiff.xml solution.txt
```

## Sudoku-s01a-table

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Sudoku-s01a-table.xml | tee solution.txt
```

```
$ java org.xcsp.checker.SolutionChecker -cm Sudoku-s01a-table.xml solution.txt
One s line expected
```

## SuperQueens-01

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 SuperQueens-01.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'and(ne(x[0],x[2]),ne(abs(sub(x[0],x[2])),1))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm SuperQueens-01.xml solution.txt
```

## TravellingSalesman-25-003_X2

A satisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 TravellingSalesman-25-003_X2.xml | tee solution.txt
s UNKNOWN
```

```
$ java org.xcsp.checker.SolutionChecker -cm TravellingSalesman-25-003_X2.xml solution.txt
```

## Wwtpp-jok-ex02000

An unsatisfiable CSP

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Wwtpp-jok-ex02000.xml | tee solution.txt
s UNSUPPORTED
c Short tables, i.e. tables with tuples containing '*', are not accepted
```

```
$ java org.xcsp.checker.SolutionChecker -cm Wwtpp-jok-ex02000.xml solution.txt
```

## BusScheduling-cnt-c1

Optimum cost is 7

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 BusScheduling-cnt-c1.xml | tee solution.txt
Exception at line 198
s UNSUPPORTED
c exactly K constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm BusScheduling-cnt-c1.xml solution.txt
```

## Change-82-100

Optimum cost is 5

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Change-82-100.xml | tee solution.txt
o 18
o 14
o 10
o 6
o 5
s OPTIMUM FOUND
v <instantiation>
v   <list> c1 c5 c10 c20 c50 e1 e2 </list>
v   <values> 3 1 1 0 0 0 0 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Change-82-100.xml solution.txt
OK	5
```

## ChessboardColoration-03-05

Optimum cost is 1

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ChessboardColoration-03-05.xml | tee solution.txt
Exception at line 41
s UNSUPPORTED
c NotAllequal constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm ChessboardColoration-03-05.xml solution.txt
```

## ChessboardColoration-05-05

Optimum cost is 2

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ChessboardColoration-05-05.xml | tee solution.txt
Exception at line 111
s UNSUPPORTED
c NotAllequal constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm ChessboardColoration-05-05.xml solution.txt
```

## Cutstock-small

Optimum cost is 4

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Cutstock-small.xml | tee solution.txt
Exception at line 42
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Cutstock-small.xml solution.txt
```

## Fastfood-ff01

Optimum cost is 3050

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Fastfood-ff01.xml | tee solution.txt
Exception at line 520
s UNSUPPORTED
c minimum constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Fastfood-ff01.xml solution.txt
```

## GolombRuler-07-a3

Optimum cost is 25

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 GolombRuler-07-a3.xml | tee solution.txt
Exception at line 37
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm GolombRuler-07-a3.xml solution.txt
```

## GolombRuler-07-a4

Optimum cost is 25

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 GolombRuler-07-a4.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in 'dist(x[1],x[0]),dist(x[2],x[1])'
```

```
$ java org.xcsp.checker.SolutionChecker -cm GolombRuler-07-a4.xml solution.txt
```

## GraphColoring-1-fullins-3

Optimum cost is 3

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 GraphColoring-1-fullins-3.xml | tee solution.txt
o 4
o 3
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
v   <values> 0 1 0 1 2 2 1 2 3 0 1 0 1 0 2 0 2 0 0 3 0 3 3 3 3 3 3 1 3 2 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm GraphColoring-1-fullins-3.xml solution.txt
OK	3
```

## GraphColoring-qwhdec-o18-h120-1

Optimum cost is 17

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 GraphColoring-qwhdec-o18-h120-1.xml | tee solution.txt
Exception at line 5646
s UNSUPPORTED
c instantiation constraint not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm GraphColoring-qwhdec-o18-h120-1.xml solution.txt
```

## Knapsack-30-100-00

Optimum cost is 709

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Knapsack-30-100-00.xml | tee solution.txt
o 0
o 48
o 92
o 130
o 139
o 147
o 156
o 164
o 177
o 186
o 194
o 203
o 211
o 217
o 225
o 234
o 242
o 255
o 264
o 272
o 280
o 288
o 297
o 301
o 309
o 317
o 325
o 333
o 338
o 346
o 355
o 367
o 383
o 392
o 394
o 399
o 402
o 407
o 412
o 421
o 431
o 436
o 444
o 451
o 454
o 467
o 472
o 480
o 482
o 491
o 495
o 503
o 512
o 519
o 521
o 529
o 539
o 548
o 558
o 564
o 571
o 582
o 600
o 604
o 607
o 609
o 618
o 623
o 627
o 646
o 654
o 658
o 661
o 664
o 672
o 673
o 682
o 688
o 693
o 702
o 709
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
v   <values> 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Knapsack-30-100-00.xml solution.txt
OK	709
```

## LowAutocorrelation-005

Optimum cost is 2

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 LowAutocorrelation-005.xml | tee solution.txt
o 30
o 6
o 2
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] y[0][0] y[0][1] y[0][2] y[0][3] y[1][0] y[1][1] y[1][2] y[1][3] y[2][0] y[2][1] y[2][2] y[2][3] y[3][0] y[3][1] y[3][2] y[3][3] c[0] c[1] c[2] c[3] s[0] s[1] s[2] s[3] </list>
v   <values> -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 0 1 0 1 0 1 0 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm LowAutocorrelation-005.xml solution.txt
OK	2
```

## Opd-02-035-010

Optimum cost is 0

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Opd-02-035-010.xml | tee solution.txt
Exception at line 23
s UNSUPPORTED
c Lex matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Opd-02-035-010.xml solution.txt
```

## Opd-07-007-003

Optimum cost is 1

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Opd-07-007-003.xml | tee solution.txt
Exception at line 85
s UNSUPPORTED
c Lex matrix constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Opd-07-007-003.xml solution.txt
```

## OpenStacks-m1-pb-10-10-1

Optimum cost is 5

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 OpenStacks-m1-pb-10-10-1.xml | tee solution.txt
Exception at line 33
s UNSUPPORTED
c Element value  (with list of integers)  with index constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm OpenStacks-m1-pb-10-10-1.xml solution.txt
```

## OpenStacks-m2-pb-10-10-1

Optimum cost is 5

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 OpenStacks-m2-pb-10-10-1.xml | tee solution.txt
Exception at line 15
s UNSUPPORTED
c minimum constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm OpenStacks-m2-pb-10-10-1.xml solution.txt
```

## OpenStacks-m2-tiny

Optimum cost is 3

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 OpenStacks-m2-tiny.xml | tee solution.txt
Exception at line 15
s UNSUPPORTED
c minimum constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm OpenStacks-m2-tiny.xml solution.txt
```

## Pb-mps-v2-20-10-bm23

Optimum cost is 34

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Pb-mps-v2-20-10-bm23.xml | tee solution.txt
o 53
o 49
o 45
o 42
o 41
o 34
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] </list>
v   <values> 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm Pb-mps-v2-20-10-bm23.xml solution.txt
OK	34
```

## PrizeCollecting-15-3-5-0

Optimum cost is 20

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 PrizeCollecting-15-3-5-0.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'iff(gt(p[0],-1),gt(s[0],-1))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm PrizeCollecting-15-3-5-0.xml solution.txt
```

## ProgressiveParty-rally-red05

Optimum cost is 4

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 ProgressiveParty-rally-red05.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'iff(h[0],eq(s[0][0],0))'
```

```
$ java org.xcsp.checker.SolutionChecker -cm ProgressiveParty-rally-red05.xml solution.txt
```

## QuadraticAssignment-chr12a

Optimum cost is 4776

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QuadraticAssignment-chr12a.xml | tee solution.txt
o 20086
o 19320
o 18583
o 17805
o 17205
o 17201
o 16763
o 16411
o 16392
o 15752
o 15380
o 15356
o 15284
o 15125
o 13998
o 13926
o 13902
o 13830
o 13822
o 13645
o 13573
o 13372
o 13371
o 10715
o 10619
o 10515
o 10428
o 10381
o 10111
o 9908
o 9568
o 9508
o 9412
o 9399
o 9324
o 9259
o 9210
o 9205
o 8695
o 8681
o 8480
o 8474
o 8440
o 8434
o 8157
o 8151
o 8025
o 8019
o 7647
o 7641
o 7348
o 7344
o 6851
o 6838
o 6586
o 6246
o 6158
o 5775
o 5395
o 5238
o 5153
o 5147
o 5101
o 5096
o 5092
o 4974
o 4969
o 4781
o 4776
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] </list>
v   <values> 6 4 11 1 0 2 8 10 9 5 7 3 0 5 37 30 9 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 33 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 61 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm QuadraticAssignment-chr12a.xml solution.txt
OK	4776
```

## QueenAttacking-05

Optimum cost is 0

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 QueenAttacking-05.xml | tee solution.txt
s UNSUPPORTED
c Invalid intension constraint 'or'
```

```
$ java org.xcsp.checker.SolutionChecker -cm QueenAttacking-05.xml solution.txt
```

## Rack-r1

Optimum cost is 550

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Rack-r1.xml | tee solution.txt
Exception at line 119
s UNSUPPORTED
c Ordered constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Rack-r1.xml solution.txt
```

## Ramsey-08

Optimum cost is 2

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Ramsey-08.xml | tee solution.txt
Exception at line 67
s UNSUPPORTED
c NotAllequal constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Ramsey-08.xml solution.txt
```

## Recipe

Optimum cost is 1700

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Recipe.xml | tee solution.txt
s UNSUPPORTED
c Only one arithmetic operation is permitted in 'add(mul(250,b),mul(200,c)),4000'
```

```
$ java org.xcsp.checker.SolutionChecker -cm Recipe.xml solution.txt
```

## StillLife-03-03

Optimum cost is 6

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 StillLife-03-03.xml | tee solution.txt
o 0
o 4
o 5
o 6
s OPTIMUM FOUND
v <instantiation>
v   <list> x[0][0] x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2] s[0][0] s[0][1] s[0][2] s[1][0] s[1][1] s[1][2] s[2][0] s[2][1] s[2][2] </list>
v   <values> 0 1 1 1 0 1 1 1 0 2 3 2 3 6 3 2 3 2 </values>
v </instantiation>
```

```
$ java org.xcsp.checker.SolutionChecker -cm StillLife-03-03.xml solution.txt
OK	6
```

## StillLife-wastage-03

Optimum cost is 6

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 StillLife-wastage-03.xml | tee solution.txt
Exception at line 19
s UNSUPPORTED
c instantiation constraint not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm StillLife-wastage-03.xml solution.txt
```

## Taillard-os-04-04-0

Optimum cost is 193

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Taillard-os-04-04-0.xml | tee solution.txt
Exception at line 167
s UNSUPPORTED
c nooverlap with int lengths constraint is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Taillard-os-04-04-0.xml solution.txt
```

## Warehouse-opl

Optimum cost is 383

```
$ timeout --kill-after=1s 10s ./naxos-xcsp3 Warehouse-opl.xml | tee solution.txt
Exception at line 28
s UNSUPPORTED
c atmost constraint  is not yet supported
```

```
$ java org.xcsp.checker.SolutionChecker -cm Warehouse-opl.xml solution.txt
```