Name | Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml |
MD5SUM | deef1e755c9079fc369bbf159731f616 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18292585 |
Best CPU time to get the best result obtained on this benchmark | 2058.63 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2328 |
Number of constraints | 1459 |
Number of domains | 42 |
Minimum domain size | 2 |
Maximum domain size | 151 |
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 degree | 2 |
Maximum variable degree | 677 |
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 arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}] |
Number of extensional constraints | 676 |
Number of intensional constraints | 783 |
Distribution of constraint types | [{"type":"extension","count":676},{"type":"intension","count":783}] |
Optimization problem | YES |
Type of objective | min SUM |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 18292585<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>