| Name | csp/rlfapScens11/ normalized-scen11-f3.xml |
| MD5SUM | 418cb735258839ac4f973e76ade14b1c |
| 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 | 1635.15 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 41 |
| 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-w | 1113145 | MSAT (TO) | 3 | 1635.15 | 4000.21 |
| AbsconMax 112 pc-d | 1113146 | MSAT (TO) | 3 | 2135.45 | 4000.1 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113143 | MSAT (TO) | 3 | 3600.06 | 3613.22 |
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113144 | MSAT (TO) | 3 | 3600.07 | 3635.43 |
| Sugar v1.13+minisat | 1113148 | MSAT (TO) | 3 | 3600.42 | 3659.66 |
| Sugar++ v1.13+minisat-inc | 1113147 | No Cert. | 64.0063 | 65.39 |
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: 3470 708 456 694 128 366 680 442 128 366 456 694 72 310 736 498 666 428 750 512 394 156 324 86 44 282 394 156 708 470 680 442 296 58 268 30 366 128 114 352 428 666 268 30 498 736 512 750 268 30 254 16 142 380 338 100 708 470 16 254 442 680 86 324 652 414 16 254 414 652 114 352 442 680 296 58 414 652 16 254 352 114 366 128 498 736 142 380 324 86 282 44 666 428 310 72 722 484 652 414 58 296 268 30 750 512 456 694 72 310 296 58 44 282 680 442 680 442 310 72 498 736 282 44 114 352 58 296 722 484 380 142 498 736 114 352 442 680 428 666 16 254 58 296 380 142 16 254 680 442 100 338 30 268 750 512 30 268 240 478 324 86 16 254 44 282 484 722 414 652 86 324 380 142 254 16 86 324 750 512 512 750 254 16 86 324 512 750 666 428 736 498 414 652 86 324 156 394 722 484 16 254 428 666 268 30 428 666 512 750 44 282 268 30 750 512 750 512 470 708 694 456 296 58 324 86 680 442 128 366 324 86 142 380 100 338 380 142 694 456 680 442 680 442 666 428 456 694 58 296 484 722 86 324 114 352 58 296 142 380 414 652 58 296 750 512 750 512 100 338 44 282 498 736 30 268 736 498 750 512 296 58 352 114 428 666 100 338 30 268 722 484 30 268 72 310 44 282 296 58 128 366 708 470 666 428 310 72 722 484 282 44 470 708 442 680 310 72 338 100 30 268 282 44 114 352 442 680 58 296 324 86 16 254 666 428 268 30 268 30 366 128 380 142 142 380 254 16 442 680 694 456 296 58 380 142 268 30 30 268 114 352 142 380 282 44 442 680 338 100 114 352 72 310 338 100 666 428 428 666 114 352 442 680 324 86 44 282 114 352 282 44 296 58 666 428 708 470 58 296 338 100 680 442 380 142 128 366 72 310 86 324 666 428 736 498 512 750 428 666 58 296 16 254 512 750 666 428 680 442 30 268 86 324 498 736 694 456 72 310 456 694 324 86 296 58 428 666 750 512 722 484 310 72 470 708 380 142 282 44 680 442 268 30 352 114 666 428 414 652 254 16 142 380 338 100 30 268 142 380 470 708 72 310 142 380 680 442 72 310 484 722 352 114 366 128 352 114 128 366 512 750 512 750 16 254 156 394 736 498 268 30 338 100 694 456 268 30 366 128 282 44 114 352 142 380 652 414 86 324 736 498 470 708 498 736 708 470 736 498 338 100 512 750 100 338 142 380 310 72 680 442 254 16 100 338 428 666 736 498 352 114 750 512 58 296 512 750 100 338 30 268 310 72 58 296 142 380 750 512 72 310 114 352 498 736 708 470 44 282 366 128 694 456 366 128 708 470 282 44 470 708 44 282 366 128 414 652 268 30 324 86 708 470 498 736 680 442 296 58 512 750 296 58 652 414 86 324 470 708 100 338 456 694 366 128 708 470 498 736 352 114 324 86 442 680 366 128 114 352 680 442 44 282 380 142 142 380 100 338 58 296 44 282 128 366 680 442 380 142 428 666 128 366 44 282 736 498 156 394