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

Result page for benchmark
Fapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml

Jump to solvers results

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-02 (complete)4303534OPT18292585 2048.72 2048.73
PicatSAT 2018-08-14 (complete)4309874OPT18292585 2058.63 2058.73
PicatSAT 2018-06-15 (complete)4293900OPT18292585 2231.39 2231.35
Choco-solver 4.0.7 seq (493a269) (complete)4292764SAT (TO)18292601 2400.06 2385.23
Choco-solver 4.0.7b seq (e747e1e) (complete)4307058SAT (TO)18292601 2520.13 2505.23
Concrete 3.9.2 (complete)4304421SAT (TO)18333277 2520.1 2465.36
Concrete 3.8 2018-06-13 (complete)4293897SAT (TO)18333290 2520.08 2465.77
Concrete 3.9.2-SuperNG (complete)4304422SAT (TO)18346799 2520.16 2464.31
Concrete 3.8-SuperNG 2018-06-13 (complete)4293898SAT (TO)22855709 2520.15 2449.56
OscaR - Hybrid 2018-08-14 (complete)4308702SAT (TO)50437546 2520.11 2455.96
OscaR - Hybrid 2018-07-02 (complete)4291981SAT (TO)50606891 2400.08 2335.35
Mistral-2.0 2018-06-15 (complete)4291977SAT (TO)51060217 2400.09 2400
Mistral-2.0 2018-08-01 (complete)4304120SAT (TO)51060217 2519.8 2520.01
cosoco 1.12 (complete)4293899SAT (TO)51087252 2519.97 2520.01
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308352SAT (TO)51331220 2520.13 2499.82
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4291979SAT (TO)51561535 2400.06 2375.64
Sat4j-CSP 2018-07-11 (complete)4291978? 2083.86 581.659
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4312084? (TO) 2520.07 2503.43

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: 18292585
Solution found:
<instantiation> <list> v1[] k f[] d[] p[] v2[]  </list> <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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 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 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 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 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
0 0 0 0 0 0 0 0  4  2620 2720 2552 2308 2488 2644 2140 2420 2700 2620 2500 2604 2140 2616 2124 2220 2596 2660 2132 2660 2700 2700 2376 2696
2268 2184 2596 2180 2660 2644 2144 2632 2660 2660 2720 2532 2180 2180 2528 2184 2580 2588 2660 2224 2184 2220 2476 2188 2656 2436 2688 2416
2700 2604 2296 2680 2700 2180 2336 2172 2548 2620 2688 2388 2660 2592 2228 2660 2164 2268 2660 2700 2700 2648 2700 2180 2428 2312 2700 2184
2404 2620 2188 2272 2476 2564 2180 2540 2640 2456 2660 2572 2660 2604 2496 2572 2636 2140 2468 2364 2220 2660 2604 2708 2436 2660 2420 2348
2624 2644 2700 2248 2556 2696 2140 2600 2388 2620 2656 2228 2144 2532 2648 2660 2208 2680 2220 2656 2664 2620 2644 2180 2540 2660 2148 2668
2160 2700 2620 2460 2120 2224 2380 2660 2180 2512 2660 2428 2604 2660  80 80 68 232 80 80 124 220 588 24 536 124 64 540 32 284 300 600 208
108 168 164 372 108 180 164 124 352 128 108 268 192 200 152 132 116 172 464 64 16 420 168 52 464 456 208 80 392 44 80 40 288 464 560 556 40
84 288 80 184 296 212 240 56 124 240 280 240 40 104 120 264 520 364 224 480 480 80 32 16 40 392 352 80 436 440 40 24 472 80 108 280 368 316
112 228 44 136 112 156 56 56 96 16 56 40 184 52 236 388 560 560 32 560 560 288 560 264 500 560 348 44 44 44 56 576 312 572 100 48 76 384 48
480 40 384 440 40 100 104 416 124 408 24 100 64 24 480 520 272 48 136 96 12 328 128 348 520 112 12 160 80 168 80 80 516 364 312 388 296 80
428 40 76 56 36 540 324 228 216 80 196 284 196 288 196 324 136 168 92 76 124 260 76 88 48 392 352 460 420 464 292 516 416 36 460 476 416 68
412 44 376 56 72 24 216 64 452 88 424 40 184 32 424 28 128 40 120 312 56 96 16 56 464 332 16 224 24 104 496 384 40 556 168 476 516 352 428
552 500 448 408 48 404 68 16 512 56 324 20 36 128 12 56 164 192 12 8 40 536 492 60 580 300 580 76 540 600 156 168 92 124 384 440 520 360 348
520 480 528 240 376 40 468 464 356 92 140 52 120 132 36 472 524 460 64 40 480 436 476 108 32 400 56 332 116 84 80 40 404 408 208 76 348 104
8 500 40 436 40 436 424 476 180 396 44 476 396 436 408 516 516 456 420 496 468 48 184 352 144 400 440 292 112 172 268 184 500 8 472 80 8 460
480 28 108 32 512 52 272 188 120 208 224 272 516 460 12 260 212 52 28 236 244 104 60 244 244 428 224 560 40 376 96 292 56 136 424 392 364 16
172 364 292 88 492 500 80 80 272 80 224 232 76 560 100 96 520 296 444 440 364 312 156 288 284 312 324 324 324 192 248 100 152 120 24 56 112
408 112 36 80 400 40 252 440 260 120 200 268 240 280 72 520 48 104 540 436 428 68 280 432 108 412 44 396 224 16 128 512 232 240 496 456 296
16 264 200 48 392 120 392 36 432 516 520 388 76 80 52 40 244 300 504 16 488 272 312 248 456 420 248 144 232 288 228 356 512 560 80 552 420
64 480 256 256 152 200 56 48 48 24 60 160 40 376 432 476 364 388 348 44 188 388 184 128 40 56 256 40 424 384 96 456 444 480 84 72 120 104 20
252 16 20 432 460 416 20 204 164 312 248 440 40 272 120 8 540 136 72 192 32 384 444 224 60 36 168 172 136 88 128 168 272 24 24 328 224 560
508 20 480 40 248 120 260 192 224 256 184 488 400 424 448 100 452 480 168 464 424 152 560 248 588 208 264 296 276 200 300 240 296 168 464 24
436 36 480 552 40 416 452 180 24 348 408 396 104 164 288 48 220 276 256 232 80 80 108 316 516 28 44 8 88 500 20 480 476 20 204 284 192 16 24
120 120 64 512 512 80 580 108 204 480 56  0 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0
1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0
1 0 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 0 1 0 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 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 0 0 0 0 0 0 0 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 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 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 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 0 3 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 3 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 3 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 3 0 0 0 0 0 0 0 0 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 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 3 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0   </values> </instantiation>