Name | Subisomorphism/Subisomorphism-m1-si4-rand/ Subisomorphism-si4-r005-m600-07.xml |
MD5SUM | 1982aa996c838b28e3c9b82540ec3331 |
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 | 1144.16 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 2771 |
Number of domains | 1 |
Minimum domain size | 600 |
Maximum domain size | 600 |
Distribution of domain sizes | [{"size":600,"count":240}] |
Minimum variable degree | 13 |
Maximum variable degree | 36 |
Distribution of variable degrees | [{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":7},{"degree":17,"count":4},{"degree":18,"count":12},{"degree":19,"count":4},{"degree":20,"count":19},{"degree":21,"count":13},{"degree":22,"count":24},{"degree":23,"count":26},{"degree":24,"count":17},{"degree":25,"count":19},{"degree":26,"count":15},{"degree":27,"count":24},{"degree":28,"count":14},{"degree":29,"count":12},{"degree":30,"count":4},{"degree":31,"count":4},{"degree":32,"count":4},{"degree":33,"count":4},{"degree":34,"count":4},{"degree":35,"count":3},{"degree":36,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 240 |
Distribution of constraint arities | [{"arity":2,"count":2770},{"arity":240,"count":1}] |
Number of extensional constraints | 2770 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2770},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 (complete) | 4397409 | SAT | 1144.16 | 1144.03 |
cosoco 2.0 (complete) | 4408669 | SAT | 1144.45 | 1144.48 |
cosoco 2 (complete) | 4390129 | SAT | 1144.97 | 1144.98 |
NACRE 1.0.5-Hybrid (complete) | 4391529 | SAT | 1381.41 | 1381.5 |
NACRE 1.0.5 (complete) | 4391729 | SAT | 1662.46 | 1662.46 |
miniBTD 19.06.16 (complete) | 4391929 | ? (MO) | 30.2651 | 30.274 |
(reference) PicatSAT 2019-09-12 (complete) | 4407669 | ? (TO) | 2400.12 | 2400.27 |
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] </list> <values>179 597 186 155 194 556 596 45 199 542 471 309 238 514 444 256 493 192 178 399 52 598 10 468 57 101 175 232 9 94 545 304 473 462 305 271 317 544 388 227 202 244 160 111 79 359 599 509 152 495 585 423 116 4 332 230 543 41 401 215 588 301 252 119 242 86 513 474 367 383 273 153 307 467 17 446 436 433 507 285 0 137 516 428 520 219 551 372 290 527 217 246 595 114 108 183 338 487 284 417 387 250 200 560 408 299 144 410 489 315 570 531 97 272 455 339 95 274 420 539 50 584 460 530 292 310 449 510 567 386 236 138 124 161 546 47 415 393 65 456 416 278 22 265 46 350 142 312 368 566 430 167 204 80 34 110 55 168 156 324 541 51 269 60 536 277 346 485 44 191 31 357 590 185 424 499 92 77 85 61 582 552 550 253 508 283 143 184 67 537 99 348 140 345 193 36 66 331 62 463 411 172 526 162 149 81 27 475 439 427 141 181 2 538 360 54 207 90 483 340 398 263 70 222 302 431 519 68 129 458 477 501 164 452 592 6 443 375 209 89 </values> </instantiation>