2018 XCSP3 competition: sequential solvers tracks: solvers results per benchmarks

Result page for benchmark
TravelingTournament/
TravelingTournament-a3-galaxy12_c18.xml

Jump to solvers results

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a3-galaxy12_c18.xml
MD5SUM294b097d449017f2d3f7014537fb5318
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9651
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables1068
Number of constraints3635
Number of domains3
Minimum domain size2
Maximum domain size45
Distribution of domain sizes[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree2
Maximum variable degree38
Distribution of variable degrees[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity2
Maximum constraint arity22
Distribution of constraint arities[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints276
Number of intensional constraints2785
Distribution of constraint types[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-06-15 (complete)4289646SAT (TO)9309 2400.08 2400.5
Concrete 3.8 2018-06-13 (complete)4295469SAT (TO)9600 2520.11 2450.15
Choco-solver 4.0.7 seq (493a269) (complete)4292263SAT (TO)9651 2400.11 2388.13
Choco-solver 4.0.7b seq (e747e1e) (complete)4306557SAT (TO)9651 2520.09 2508.62
Concrete 3.9.2 (complete)4304721SAT (TO)9702 2520.1 2449.73
Concrete 3.9.2-SuperNG (complete)4304722SAT (TO)9709 2520.08 2465.84
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307851SAT (TO)9929 2520.05 2466.03
Concrete 3.8-SuperNG 2018-06-13 (complete)4295470SAT (TO)10056 2520.08 2460.83
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290307SAT (TO)10064 2400.04 2347.41
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311587SAT (TO)10102 2520.1 2467.63
OscaR - Hybrid 2018-07-02 (complete)4291505SAT (TO)10154 2400.08 2359.62
OscaR - Hybrid 2018-08-14 (complete)4308437SAT (TO)10255 2520.1 2479.63
cosoco 1.12 (complete)4295471? (NS) 0.011701 0.012594
Sat4j-CSP 2018-07-11 (complete)4289820? (TO) 2400.11 2360.28
PicatSAT 2018-08-14 (complete)4309373? (TO) 2519.89 2520.02
PicatSAT 2018-08-02 (complete)4303033? (TO) 2519.94 2520.01
PicatSAT 2018-06-15 (complete)4295472? (TO) 2520.05 2520.02
Mistral-2.0 2018-08-01 (complete)4303619Signal 1.60385 4.87738

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 9309
Solution found:
<instantiation type="solution"> <list> o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11]
o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5]
o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21]
o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15]
o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9]
o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3]
o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19]
o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13]
o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7]
o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1]
o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17]
o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11]
o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5]
o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21]
o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14]
o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6]
o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20]
o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14]
h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8]
h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2]
h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18]
h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12]
h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6]
h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0]
h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16]
h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10]
h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4]
h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20]
h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14]
h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8]
h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1]
h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15]
h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8]
h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0]
a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16]
a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10]
a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4]
a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20]
a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14]
a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8]
a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2]
a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18]
a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12]
a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6]
a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0]
a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16]
a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10]
a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3]
a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17]
a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10]
a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2]
t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18]
t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11]
t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4]
t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20]
t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13]
t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6]
t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22]
t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15]
t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8]
t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1]
t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17]
t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10]
t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3]
t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19]
t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11]
t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2]
t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16]
t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] </list> <values> 1 8 4 6 5 3 1 2 10 6 4 9 3 2 8 5 11 7 7 9 11 10 0 10 11 10 7 8
0 7 2 11 9 2 6 6 4 3 9 5 5 8 3 4 10 11 10 7 9 11 5 0 1 3 5 1 4 0 6 7 3 9 8 4 6 8 7 4 6 8 11 0 8 6 4 2 10 7 0 9 9 1 2 11 10 5 1 5 11 3 0 11 6
10 7 5 3 5 0 10 2 7 1 6 8 8 9 2 9 1 9 7 8 9 0 7 2 4 6 4 2 11 8 11 10 0 6 1 1 3 10 3 8 9 3 0 4 9 10 3 5 0 11 8 1 1 2 4 5 10 11 7 2 7 3 5 9 2
1 5 4 1 11 10 8 3 9 4 11 2 10 0 0 6 8 6 6 0 5 3 10 1 3 11 9 9 7 6 5 10 0 11 4 4 2 1 7 2 5 6 7 5 2 6 11 10 8 8 1 0 7 3 3 10 1 2 4 0 4 11 2 1
2 1 8 4 6 9 0 7 3 4 11 8 5 9 7 6 3 11 5 0 4 2 1 4 3 2 9 8 7 1 6 5 10 5 7 8 0 3 6 10 0 9 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0
1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0
1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0
0 0 1 1 1 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0
0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1
1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0
0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1
1 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1
1 1 0 0 1 1 1 0 0 1 0 1 0 0 36 18 44 34 32 10 55 55 0 51 51 15 53 42 39 0 44 44 55 55 0 10 10 64 10 65 0 0 44 56 22 0 0 39 39 31 31 43 43 40
42 68 32 0 0 58 10 55 0 0 50 39 15 0 0 22 22 0 0 56 14 67 49 45 18 31 53 14 14 0 68 68 0 0 47 18 45 47 0 34 51 67 32 32 66 10 51 41 0 0 70
66 51 0 18 18 64 48 35 0 36 55 55 45 0 0 21 21 0 0 55 43 31 0 0 0 81 51 44 48 0 0 35 45 50 42 69 10 51 27 39 40 0 0 41 41 31 31 47 47 0 69
69 0 27 39 44 0 0 39 22 45 18 75 10 67 59 0 0 0 48 48 56 22 44 0 0 67 10 69 14 67 55 64 0 0 44 44 0 81 31 59 0 48 39 42 0 46 32 66 69 68 79
59 31 73 73 0 0 21 45 53 0 0 0 81 27 59 79 49 49 105 10 73 68 43 43 0 0 67 67 0 0 55 36 51 0 0 55 22 65 0 73 21 18 75 0 0 69 69 10 10 0 103
79 69 0 0 51 39 55 0 0 0 70 51 47 58 0 0 64 39 27 44 0 67 81 48 55 0 10 10 105 105 </values> </instantiation>