| Name | csp/rlfapScens11/ normalized-scen11-f1.xml |
| MD5SUM | 82ca51bd7cee57081df4d0e802a460c1 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MOPT |
| Best Number of falsified constraints | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1525.22 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 43 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 4103 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Sugar v1.13+minisat | 1113100 | OPTIMUM | 2 | 1525.22 | 1541.42 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113095 | MSAT (TO) | 2 | 3600.01 | 3602.12 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113096 | MSAT (TO) | 2 | 3600.07 | 3616.72 |
| AbsconMax 112 pc-w | 1113097 | MSAT (TO) | 4 | 1630.98 | 4000.16 |
| AbsconMax 112 pc-d | 1113098 | MSAT (TO) | 4 | 1635.78 | 4000.08 |
| Sugar++ v1.13+minisat-inc | 1113099 | No Cert. | 62.1876 | 64.4163 |
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: 2512 750 428 666 764 526 736 498 394 156 428 666 428 666 540 778 778 540 156 394 540 778 722 484 540 778 680 442 526 764 470 708 456 694 428 666 778 540 470 708 470 708 778 540 736 498 764 526 484 722 540 778 750 512 268 30 296 58 680 442 778 540 16 254 484 722 282 44 30 268 750 512 100 338 540 778 652 414 540 778 16 254 310 72 414 652 442 680 526 764 456 694 394 156 778 540 442 680 428 666 114 352 666 428 778 540 526 764 526 764 540 778 540 778 694 456 114 352 540 778 338 100 540 778 750 512 526 764 128 366 414 652 764 526 764 526 428 666 282 44 778 540 456 694 708 470 442 680 526 764 694 456 540 778 442 680 414 652 240 478 442 680 394 156 414 652 512 750 30 268 540 778 778 540 708 470 680 442 324 86 442 680 778 540 414 652 352 114 540 778 470 708 778 540 100 338 750 512 680 442 394 156 44 282 778 540 708 470 526 764 456 694 324 86 526 764 428 666 694 456 142 380 128 366 72 310 442 680 380 142 778 540 540 778 72 310 778 540 86 324 142 380 750 512 512 750 470 708 338 100 778 540 540 778 526 764 442 680 324 86 414 652 778 540 324 86 666 428 694 456 498 736 512 750 526 764 442 680 380 142 750 512 778 540 456 694 526 764 778 540 380 142 456 694 526 764 470 708 540 778 694 456 380 142 512 750 540 778 456 694 764 526 750 512 442 680 764 526 736 498 764 526 58 296 456 694 778 540 736 498 778 540 764 526 142 380 750 512 666 428 540 778 512 750 778 540 736 498 722 484 498 736 778 540 394 156 666 428 442 680 456 694 442 680 778 540 498 736 680 442 428 666 666 428 778 540 498 736 526 764 778 540 526 764 540 778 750 512 666 428 456 694 428 666 540 778 86 324 428 666 694 456 540 778 366 128 512 750 142 380 526 764 750 512 442 680 778 540 380 142 750 512 680 442 540 778 498 736 540 778 470 708 694 456 764 526 694 456 680 442 680 442 750 512 442 680 380 142 456 694 526 764 470 708 764 526 456 694 394 156 72 310 526 764 142 380 540 778 128 366 156 394 16 254 72 310 778 540 708 470 540 778 470 708 778 540 142 380 540 778 470 708 764 526 750 512 428 666 394 156 778 540 414 652 352 114 554 324 86 324 680 442 352 114 128 366 778 540 680 442 142 380 100 338 540 778 680 442 512 750 680 442 764 526 142 380 526 764 540 778 142 380 470 708 540 778 540 778 764 526 156 394 778 540 778 540 442 680 666 428 778 540 694 456 414 652 526 764 694 456 764 526 470 708 540 778 764 526 128 366 142 380 540 778 764 526 498 736 540 778 750 512 526 764 778 540 708 470 694 456 470 708 540 778 540 778 156 394 254 16 540 778 380 142 310 72 778 540 694 456 764 526 736 498 512 750 540 778 750 512 750 512 708 470 380 142 708 470 708 470 498 736 778 540 142 380 86 324 128 366 778 540 310 72 778 540 736 498 778 540 764 526 778 540 708 470 778 540 470 708 156 394 778 540 526 764 456 694 156 394