Name | csp/rlfapGraphsMod/ normalized-graph12-w1.xml |
MD5SUM | 11f7688be372c5b6e894b67e078a7030 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 8 |
Best CPU time to get the best result obtained on this benchmark | 58.5891 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 1148 |
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 | 1148 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1111561 | OPTIMUM | 8 | 58.5891 | 59.3919 |
Sugar v1.13+minisat | 1111562 | OPTIMUM | 8 | 63.2994 | 64.1935 |
AbsconMax 112 pc-d | 1111560 | MSAT (TO) | 8 | 1640.78 | 4000.07 |
AbsconMax 112 pc-w | 1111559 | MSAT (TO) | 8 | 1647.07 | 4000.08 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1111557 | MSAT (TO) | 8 | 3600.06 | 3620.22 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1111558 | MSAT (TO) | 16 | 3600.02 | 3627.82 |
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: 8554 792 442 680 142 380 778 540 778 540 554 792 554 792 170 408 792 554 554 792 296 58 380 142 16 254 352 114 142 380 394 156 30 268 778 540 554 792 156 394 750 512 498 736 792 554 338 100 156 394 778 540 240 478 142 380 414 652 142 380 540 778 736 498 792 554 296 58 554 792 498 736 142 380 792 554 498 736 380 142 778 540 100 338 554 792 428 666 170 408 380 142 324 86 778 540 498 736 254 16 478 240 792 554 156 394 554 792 736 498 554 792 142 380 764 526 254 16 156 394 86 324 142 380 792 554 310 72 470 708 16 254 268 30 478 240 394 156 792 554 792 554 792 554 456 694 708 470 792 554 268 30 778 540 44 282 554 792 540 778 128 366 778 540 58 296 792 554 456 694 156 394 554 792 792 554 554 792 484 722 324 86 554 792 428 666 540 778 778 540 554 792 366 128 694 456 792 554 750 512 44 282 44 282 540 778 792 554 58 296 554 792 170 408 792 554 792 554 708 470 792 554 156 394 100 338 792 554 156 58 254 16 778 540 72 310 16 254 282 44 156 394 792 554 254 16 540 778 16 254 512 750 86 324 554 792 254 16 792 554 778 540 792 554 142 380 526 764 394 156 792 554 792 554 44 282 44 282 652 414 540 778 778 540 708 470 792 554 778 540 792 554 296 58 736 498 240 478 554 792 778 540 338 100 792 554 554 792 554 792 792 554 156 394 128 366 680 442 156 394 30 268 554 792 478 240 254 16 338 100 792 554 240 478 792 554 478 240 442 680 540 778 554 792 792 554 792 554 540 778 380 142 156 394 554 792 240 478 540 778 86 324 282 44 736 498 764 526 792 554 540 778 338 100 792 554 156 394 792 554 442 680 156 394 540 778 16 254 380 142 512 750 792 554 526 764 478 240 310 72 44 282 554 792 254 16 736 498 680 442 554 792 792 554 792 554 792 554 526 764 338 100 792 554 792 554 16 254 554 792 792 554 268 30 736 498 554 792 554 792 240 478 114 352 792 554 680 442 240 478 540 778 792 554 58 296 792 554 394 156 380 142 142 380 778 540 30 156 240 478 16 254 156 394 554 792 240 478 792 554 44 282 380 142 554 792 792 554 394 156 16 254 44 282 44 282 792 554 156 394 722 484 394 156 296 58 16 254 16 254 792 554 554 792 156 394 554 792 792 554 554 792 296 58 778 540 254 16 540 778 792 554 156 394 240 478 380 142 652 414 778 540 792 554 554 792 666 428 156 394 44 282 792 554 792 554 128 366 268 30 792 554 792 554 554 792 114 352 540 778 240 478 792 554 764 526 394 156 792 554 470 708 240 478 792 554 792 554 296 58 366 128 58 296 310 72 792 554 540 778 792 554 792 554 352 114 456 694 268 30 540 778 380 142 554 792 170 408 792 554 792 554 170 408 778 540 778 540 778 540 30 268 792 554 792 554 170 408 778 540 778 540 736 498 778 540 554 792 792 554 666 428 764 526 792 554 142 380 394 156 792 554 792 554 792 554 394 156 156 394 16 254 792 554 478 240 792 554 394 156