| Name | csp/rlfapScens11/ normalized-scen11-f5.xml |
| MD5SUM | 7dad689c44996ee19ebb5ec3cd48b0ac |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 3 |
| Best CPU time to get the best result obtained on this benchmark | 1636.35 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 39 |
| 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 |
|---|---|---|---|---|---|
| AbsconMax 112 pc-d | 1113134 | MSAT (TO) | 3 | 1636.35 | 4000.09 |
| AbsconMax 112 pc-w | 1113133 | MSAT (TO) | 3 | 1651.09 | 4000.07 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113132 | MSAT (TO) | 3 | 3600.01 | 3608.62 |
| Sugar v1.13+minisat | 1113136 | MSAT (TO) | 3 | 3600.29 | 3865.83 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113131 | MSAT (TO) | 4 | 3600.07 | 3602.92 |
| Sugar++ v1.13+minisat-inc | 1113135 | No Cert. | 67.4218 | 68.4917 |
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: 3352 114 366 128 442 680 380 142 442 680 366 128 680 442 708 470 338 100 16 254 30 268 680 442 128 366 16 254 268 30 366 128 666 428 310 72 694 456 16 254 142 380 352 114 680 442 310 72 366 128 680 442 296 58 72 310 652 414 652 414 310 72 324 86 470 708 100 338 352 114 114 352 722 484 114 352 44 282 268 30 58 296 128 366 142 380 30 268 352 114 680 442 282 44 694 456 338 100 16 254 296 58 366 128 694 456 428 666 484 722 268 30 156 394 414 652 114 352 100 338 142 380 268 30 30 268 708 470 100 338 722 484 100 338 16 254 156 394 114 352 540 554 484 722 708 470 352 114 282 44 282 44 470 708 470 708 58 296 240 478 428 666 442 680 254 16 442 680 128 366 268 30 44 282 156 394 254 16 652 414 254 16 142 380 268 30 428 666 16 254 128 366 282 44 254 16 680 442 352 114 442 680 414 652 694 456 128 366 44 282 470 708 282 44 114 352 722 484 708 470 44 282 100 338 680 442 142 380 680 442 86 324 352 114 694 456 470 708 666 428 470 708 680 442 680 442 442 680 366 128 268 30 58 296 722 484 708 470 30 268 722 484 30 268 128 366 30 268 428 666 282 44 268 30 86 324 380 142 366 128 708 470 666 428 428 666 142 380 428 666 100 338 254 16 470 708 380 142 282 44 680 442 128 366 352 114 680 442 58 296 268 30 114 352 296 58 694 456 666 428 680 442 708 470 470 708 58 296 380 142 254 16 58 296 428 666 456 694 268 30 282 44 666 428 72 310 254 16 484 722 428 666 296 58 456 694 428 666 310 72 114 352 86 324 442 680 72 310 324 86 470 708 268 30 310 72 722 484 352 114 282 44 456 694 310 72 666 428 694 456 366 128 694 456 296 58 310 72 680 442 380 142 324 86 694 456 380 142 114 352 352 114 310 72 428 666 58 296 456 694 442 680 694 456 128 366 484 722 72 310 100 338 442 680 708 470 338 100 442 680 296 58 680 442 310 72 324 86 470 708 114 352 128 366 470 708 44 282 128 366 296 58 310 72 484 722 428 666 652 414 156 394 156 394 282 44 100 338 680 442 484 722 366 128 142 380 338 100 456 694 100 338 442 680 296 58 708 470 484 722 16 254 652 414 30 268 394 156 254 16 324 86 254 16 100 338 296 58 666 428 58 296 456 694 366 128 282 44 44 282 428 666 142 380 456 694 352 114 324 86 58 296 442 680 86 324 282 44 722 484 442 680 338 100 442 680 282 44 114 352 666 428 114 352 442 680 366 128 58 296 352 114 72 310 666 428 268 30 722 484 58 296 44 282 428 666 366 128 380 142 680 442 58 296 142 380 722 484 694 456 142 380 708 470 30 268 352 114 86 324 414 652 324 86 114 352 44 282 268 30 128 366 470 708 324 86 666 428 142 380 722 484 142 380 722 484 128 366 254 16 414 652 366 128 310 72 694 456 324 86 324 86 666 428 352 114 86 324 470 708 142 380 680 442 100 338 694 456 310 72 44 282 722 484 722 484 366 128 16 254