Name | csp/super-os/super-os-taillard-10/ normalized-super-os-taillard-10-24.xml |
MD5SUM | 9306ef7954ddac95b00e0f57746494c3 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 33 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2800 |
Maximum constraint arity | 2 |
Maximum domain size | 548 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2800 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112413 | MSAT (TO) | 33 | 3600.03 | 3602.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112414 | MSAT (TO) | 36 | 3600.06 | 3609.03 |
Sugar v1.13+minisat | 1112418 | MSAT (TO) | 85 | 3600.21 | 3615.45 |
Sugar++ v1.13+minisat-inc | 1112417 | MSAT (TO) | 120 | 3600.33 | 3634.87 |
AbsconMax 112 pc-w | 1112415 | ? | 141.502 | 141.605 | |
AbsconMax 112 pc-d | 1112416 | ? | 149.672 | 151.163 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 33157 456 73 532 96 463 282 497 11 10 333 335 0 525 267 451 406 403 248 507 86 84 42 480 361 454 328 497 356 456 304 472 123 465 234 488 128 450 0 500 5 452 295 476 11 448 298 476 371 536 383 487 101 451 178 449 184 453 140 515 0 479 79 479 277 449 98 479 365 462 177 450 154 520 24 492 316 480 352 450 351 352 273 493 108 485 143 445 334 505 373 489 234 514 277 492 134 440 2 466 321 487 132 534 1 0 51 54 97 510 4 441 157 475 232 490 341 442 189 184 175 488 54 59 229 495 372 494 277 274 20 23 6 540 149 468 127 521 405 484 59 502 281 467 18 465 1 540 354 449 154 471 40 525 118 500 352 451 263 460 42 535 145 483 383 468 372 523 186 461 112 464 4 0 271 441 62 483 407 450 86 490 186 463 360 473 33 40 7 531 1 522 172 447 285 448 73 470 356 447