Name | Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml |
MD5SUM | 47da5ea68f3d94e6d7990d40a1ef4aa5 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.530623 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 540 |
Number of constraints | 1676 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":540}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 540 |
Distribution of constraint arities | [{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}] |
Number of extensional constraints | 1675 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1675},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function:<instantiation type='solution'> <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] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] </list> <values>177 167 551 325 489 457 147 137 408 565 299 342 473 488 317 25 20 592 410 98 73 229 571 406 220 540 477 165 206 433 510 397 291 389 130 522 555 47 10 30 427 578 5 553 121 569 122 226 450 499 466 253 581 395 194 83 576 598 361 89 72 402 475 446 246 111 161 211 470 413 222 22 380 123 574 497 16 346 305 304 59 374 523 252 567 532 297 530 136 599 528 100 388 443 267 277 582 529 316 9 15 163 535 407 139 517 96 258 549 520 67 164 560 40 559 375 243 439 116 107 357 335 425 179 509 23 218 74 464 134 398 128 239 271 495 110 60 544 308 492 35 469 42 458 362 526 412 577 190 334 210 46 264 580 512 309 348 64 436 221 262 274 50 188 405 154 451 563 302 109 432 533 203 276 538 200 101 426 265 119 345 192 225 507 579 71 506 251 460 561 195 294 593 481 217 545 202 331 452 502 198 568 332 485 296 301 353 65 255 511 21 94 124 189 366 444 496 365 487 79 244 524 562 62 448 503 266 376 483 431 349 479 235 504 293 564 288 117 486 429 7 129 273 231 423 465 596 337 534 515 144 191 471 570 184 289 152 284 126 421 174 153 278 41 537 321 355 558 387 193 219 392 338 318 333 36 393 354 145 55 286 422 441 279 583 1 369 17 186 180 169 127 525 290 80 447 298 282 56 112 172 8 371 63 52 552 292 498 383 0 514 268 236 48 103 228 424 372 513 541 449 185 445 13 557 314 368 125 320 93 584 591 159 118 359 404 401 548 148 176 411 87 26 516 3 543 300 58 339 70 546 390 182 263 85 588 400 550 589 38 78 454 508 140 18 261 76 171 442 275 259 241 204 141 29 173 113 323 484 162 438 97 478 356 476 329 90 160 370 352 24 104 501 102 328 106 86 518 480 493 539 199 505 57 260 256 319 230 245 201 364 66 313 311 587 146 519 373 157 2 53 120 37 43 39 69 238 114 115 597 467 208 312 326 455 32 6 170 234 351 27 166 494 417 391 340 566 272 437 350 49 216 430 149 242 435 287 363 344 31 99 385 232 187 34 303 51 233 336 61 572 409 212 472 257 138 347 178 105 419 12 223 33 213 459 386 168 575 396 281 307 132 482 11 322 573 44 205 418 81 224 196 227 151 88 490 197 456 420 415 343 394 367 68 461 500 360 381 556 283 19 324 4 428 377 379 14 536 183 28 285 248 84 590 358 237 542 207 175 586 </values> </instantiation>