| Name | csp/rlfapGraphsMod/ normalized-graph13-w1.xml |
| MD5SUM | 2559469a4cccd744c45722e4fd7dc8ca |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MOPT |
| Best Number of falsified constraints | 9 |
| Best CPU time to get the best result obtained on this benchmark | 277.94 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 916 |
| Number of constraints | 1479 |
| Maximum constraint arity | 2 |
| Maximum domain size | 44 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1479 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Sugar v1.13+minisat | 1111568 | OPTIMUM | 9 | 277.94 | 281.168 |
| Sugar++ v1.13+minisat-inc | 1111567 | OPTIMUM | 9 | 293.437 | 296.89 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1111563 | MSAT (TO) | 9 | 3600.07 | 3601.62 |
| AbsconMax 112 pc-w | 1111565 | MSAT (TO) | 12 | 1646.26 | 4000.1 |
| AbsconMax 112 pc-d | 1111566 | MSAT (TO) | 12 | 1657.29 | 4000.06 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1111564 | MSAT (TO) | 19 | 3600.07 | 3634.52 |
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: 9792 554 708 470 30 268 792 554 156 394 282 44 156 394 778 540 338 100 694 456 792 554 792 554 394 156 778 540 540 778 792 554 694 456 540 778 268 30 156 394 750 512 512 750 394 156 792 554 792 554 540 778 498 736 792 554 352 114 554 792 478 240 540 778 792 554 114 352 156 394 554 792 750 512 156 394 792 554 540 778 240 478 156 394 100 338 554 792 792 554 16 254 394 156 156 394 394 156 652 414 30 268 736 498 128 366 442 680 792 554 394 156 554 792 792 554 764 526 240 478 792 554 156 394 792 554 58 296 526 764 554 792 254 16 792 554 380 142 540 778 240 478 554 792 750 512 554 792 380 142 380 142 156 394 540 778 554 792 554 792 16 254 72 310 310 72 792 554 554 792 764 526 380 142 156 394 540 778 554 792 792 554 484 722 394 156 30 268 408 170 394 156 540 778 554 792 792 554 792 554 666 428 736 498 142 380 114 352 540 778 352 114 554 792 792 792 778 540 792 554 792 554 268 30 554 792 58 296 792 554 792 554 484 722 554 792 778 540 540 778 478 240 792 554 554 792 792 554 778 540 666 428 44 282 750 512 44 282 792 554 778 540 324 86 456 694 540 778 792 554 666 428 478 240 240 478 478 240 540 778 792 554 114 352 72 310 16 254 792 554 296 58 792 554 554 792 778 540 142 380 554 792 792 792 554 792 792 554 456 694 366 128 554 792 778 540 72 310 652 414 338 100 156 394 792 554 750 512 540 778 792 554 324 86 792 554 540 778 554 792 554 792 240 478 792 554 792 554 750 512 792 554 554 792 792 554 750 512 156 394 86 324 680 442 792 554 310 72 554 792 764 526 282 44 554 792 792 554 484 722 540 778 540 778 554 792 156 394 142 380 170 408 16 254 394 156 114 352 296 58 722 484 156 394 554 792 72 310 554 792 554 792 554 792 268 30 722 484 792 554 554 792 792 554 156 394 478 240 156 394 554 792 58 296 394 156 778 540 680 442 338 100 72 310 484 722 58 296 240 478 792 554 170 408 554 792 554 792 554 792 792 554 778 540 554 792 778 540 128 366 142 380 554 792 498 736 792 554 736 498 792 554 554 792 554 792 736 498 478 240 484 722 792 554 156 394 540 778 554 792 792 554 414 652 778 540 554 792 478 240 156 394 778 540 792 554 554 792 792 554 750 512 792 554 72 310 484 722 554 792 380 142 156 394 554 792 792 554 86 324 156 394 750 512 268 30 554 792 498 736 44 282 666 428 680 442 100 338 554 792 792 554 792 554 156 394 470 708 778 540 128 366 778 540 666 428 86 324 694 456 478 240 156 394 86 324 778 540 86 324 526 764 30 268 240 478 128 366 478 240 156 394 156 394 456 694 142 380 240 478 156 394 792 554 100 338 414 652 778 540 268 30 156 394 554 792 240 478 142 380 366 128 708 470 554 792 380 142 142 380 44 282 72 310 792 554 666 428 296 58 680 442 86 324 792 554 352 114 100 338 792 554 156 394 666 428 778 540 478 240 792 554 540 778 792 554 554 792 764 526 526 764 554 792 282 44 554 792 352 114 652 414 58 296 170 408 554 792 554 792 128 16 142 380 540 778 652 414 86 324 394 156 44 282 30 268 114 352 114 352 114 352 394 156 156 394 778 540 58 296 16 254 554 792 722 484 352 114 554 792 44 282 170 408 778 540 554 792 792 554 554 792 554 792 554 792 394 156 156 394 792 554 554 792 72 310 694 456 778 540 554 792 554 792 16 254 16 254 498 736 792 554 778 540 792 554 428 666 778 540 498 736 296 58 792 554 792 554 554 792 540 778 540 778 16 254 540 778 16 254 554 792 736 498 554 792 240 478 652 414 16 254 736 498 540 778 778 540 722 484 100 338 694 456 736 498 792 554 540 778 526 764 58 296 296 58 554 792 380 142 240 478 142 380 380 142 554 792 156 394 58 296 554 792 240 478 554 792 540 778 240 478 792 554 554 792 498 736 792 554 778 540 240 478 554 792 540 778 666 428 254 16 554 792 708 470 44 282 44 282 554 792 268 30 792 554 792 554 792 554 380 142 792 554 484 722