| Name | csp/rlfapScens/ normalized-scen8.xml |
| MD5SUM | d7cebb3d1eb044a9483fdd1ea1c74095 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 139 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 916 |
| Number of constraints | 5744 |
| 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 | 5744 |
| 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 | 1112621 | MSAT (TO) | 139 | 3600.07 | 3621.72 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112622 | MSAT (TO) | 222 | 3600.04 | 3609.62 |
| AbsconMax 112 pc-d | 1112624 | MSAT (TO) | 255 | 1706.5 | 4000.09 |
| AbsconMax 112 pc-w | 1112623 | MSAT (TO) | 255 | 1726.94 | 4000.53 |
| Sugar++ v1.13+minisat-inc | 1112625 | ? (MO) | 104.53 | 110.554 | |
| Sugar v1.13+minisat | 1112626 | ? (MO) | 108.56 | 110.649 |
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: 139778 540 142 380 58 296 750 512 16 254 16 254 666 428 666 428 100 338 30 268 526 764 30 268 254 16 470 708 414 652 736 498 764 526 114 352 30 268 30 268 442 680 554 792 142 380 708 470 254 16 470 708 352 114 442 680 414 652 764 526 310 72 58 296 380 652 366 128 442 680 30 268 296 58 380 142 456 694 484 722 44 282 254 16 652 414 526 764 764 526 428 666 540 778 268 30 498 736 456 694 156 394 142 380 694 456 338 100 764 526 680 442 142 30 44 282 72 310 680 442 694 456 100 338 722 484 694 456 366 128 352 114 470 708 16 254 86 324 666 750 408 170 30 268 16 352 72 310 708 470 512 750 72 310 338 100 414 652 764 526 666 428 72 310 680 442 394 156 16 324 428 666 526 764 310 72 30 268 114 352 30 268 428 666 554 792 58 296 680 442 254 16 680 442 352 114 526 764 30 268 442 680 296 58 16 254 764 526 652 414 652 414 722 484 666 428 470 708 414 652 778 540 380 142 254 16 722 484 484 722 380 142 540 778 380 142 86 324 310 72 442 16 366 128 540 778 380 142 16 254 478 240 296 58 484 722 282 44 282 44 764 526 254 16 16 254 540 778 540 778 540 778 526 764 764 526 554 792 526 764 470 708 456 694 792 554 694 456 540 778 254 16 380 142 268 30 792 554 86 324 554 792 722 484 394 156 100 338 554 792 484 722 484 722 254 16 380 142 16 254 652 414 652 414 554 792 310 72 142 380 268 30 254 16 428 666 792 554 722 484 722 484 484 722 554 792 254 16 442 680 428 666 380 142 512 750 44 282 72 296 540 778 72 310 456 694 380 142 540 778 254 16 114 352 114 352 540 778 366 128 268 30 324 86 484 722 456 694 778 778 338 100 100 338 442 30 58 296 44 282 380 142 282 44 338 100 128 366 30 268 736 498 366 128 428 666 456 694 778 540 100 338 736 498 456 694 736 498 268 30 750 512 394 156 268 30 254 16 722 484 128 366 750 512 296 58 680 442 540 778 30 268 484 722 554 792 380 142 44 282 680 442 764 526 764 526 324 86 680 442 268 30 512 750 428 666 764 526 30 268 128 366 694 456 680 442 254 16 428 666 666 428 114 352 778 540 470 708 128 366 470 708 792 554 778 540 652 414 352 114 778 540 30 268 778 540 268 30 442 680 750 512 58 296 540 778 666 428 296 58 526 764 652 414 282 44 498 736 792 554 142 380 680 442 652 156 792 554 428 666 428 666 764 526 30 268 268 30 442 680 764 526 540 778 778 540 380 142 526 764 666 428 44 282 540 778 254 16 254 16 554 792 86 324 484 722 380 142 44 282 540 778 470 708 694 456 380 142 722 484 296 58 72 310 142 380 694 456 554 792 268 30 338 100 268 30 778 540 142 380 86 324 72 310 456 694 666 428 736 498 58 296 44 282 352 114 498 736 30 352 58 296 100 338 86 324 470 708 666 428 282 44 324 86 30 268 792 554 736 498 554 792 282 44 554 792 394 156 652 414 254 16 30 268 442 680 268 30 708 470 100 338 512 750 366 128 778 540 324 86 498 736 310 72 296 58 736 498 44 282 792 554 750 512 72 310 338 100 296 58 296 58 554 792 652 414 652 414 750 512 114 352 114 352 484 722 722 484 338 100 380 142 30 268 442 680 268 30 540 778 498 736 380 142 282 44 484 722 456 694 694 456 72 310 764 526 526 764 100 338 58 296 484 722 554 792 352 114 30 268 16 254 324 86 30 268 554 792 282 44 282 44 750 512 428 666 114 352 540 778 268 30 708 470 114 352 764 526 268 30 512 750 778 540 30 268 540 778 16 254 310 72 764 526 30 268 694 456 128 366 722 484 268 30 142 380 708 470 254 16 792 554 156 394 764 526 58 296 792 554 708 470 554 792 128 366 428 666 442 680 30 268 526 764 100 338 268 30 512 750 666 428 254 16 128 366 540 778 58 296 128 366 310 72 512 750 268 30 30 268 44 282 324 86 282 44 128 366 268 30 694 456 352 114 512 750 680 442 30 268 526 764 394 156 540 778 86 324 792 554 16 254 778 540 142 380