| Name | csp/rlfapScens11/ normalized-scen11-f6.xml |
| MD5SUM | 163d0acbf2787f2fb72755b9c783567a |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.06 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 680 |
| Number of constraints | 4103 |
| Maximum constraint arity | 2 |
| Maximum domain size | 38 |
| 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 |
|---|---|---|---|---|---|
| Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113138 | MSAT (TO) | 6 | 3600.06 | 3615.62 |
| Sugar v1.13+minisat | 1113142 | MSAT (TO) | 6 | 3600.35 | 3628.59 |
| Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113137 | MSAT (TO) | 7 | 3600.05 | 3634.32 |
| AbsconMax 112 pc-d | 1113140 | MSAT (TO) | 10 | 1634.42 | 4000.07 |
| AbsconMax 112 pc-w | 1113139 | MSAT (TO) | 10 | 1647.21 | 4000.1 |
| Sugar++ v1.13+minisat-inc | 1113141 | ? (MO) | 111.966 | 65.1265 |
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: 6380 142 694 456 156 394 114 352 44 282 338 100 366 128 156 394 16 254 414 652 44 282 86 324 708 470 16 254 268 30 470 708 310 72 666 428 16 254 282 44 694 456 414 652 16 254 30 268 394 156 428 666 114 352 282 44 324 86 352 114 708 470 708 470 156 394 58 296 394 156 456 694 44 282 380 142 254 16 16 254 310 72 16 254 694 456 114 352 680 442 16 254 128 366 680 442 282 44 310 72 86 324 352 114 708 470 428 666 310 72 30 268 352 114 254 16 30 268 694 456 128 366 254 16 16 254 296 58 380 142 652 414 254 16 338 100 254 16 310 72 380 142 694 456 708 470 44 282 680 442 44 282 380 142 254 16 470 708 478 240 16 254 16 254 30 268 100 338 708 470 16 254 44 282 156 394 296 58 666 428 254 16 338 100 16 254 470 708 366 128 268 30 254 16 442 680 114 352 652 414 470 708 156 394 428 666 366 128 708 470 142 380 680 442 30 268 72 310 428 666 268 30 268 30 142 380 282 44 352 114 708 470 268 30 156 394 352 114 100 338 296 58 128 366 142 380 680 442 338 100 694 456 16 254 30 268 380 142 352 114 680 442 16 254 540 526 442 680 324 86 30 268 86 324 30 268 694 456 30 268 380 142 44 282 86 324 694 456 86 324 428 666 16 254 254 16 470 708 694 456 30 268 296 58 30 268 666 428 128 366 128 366 296 58 708 470 708 470 694 456 380 142 16 254 30 268 380 142 268 30 254 16 44 282 456 694 352 114 100 338 268 30 694 456 268 30 16 254 324 86 114 352 254 16 694 456 652 414 254 16 58 296 456 694 142 380 708 470 30 268 30 268 72 310 310 72 366 128 470 708 114 352 366 128 680 442 142 380 268 30 296 58 428 666 680 442 44 282 44 282 254 16 16 254 366 128 442 680 142 380 128 366 128 366 282 44 268 30 268 30 470 708 254 16 282 44 100 338 296 58 442 680 470 708 380 142 708 470 680 442 128 366 268 30 142 380 428 666 268 30 338 100 282 44 44 282 86 324 338 100 380 142 652 414 254 16 254 16 380 142 254 16 44 282 30 268 380 142 268 30 128 366 268 30 128 366 708 470 324 86 428 666 16 254 456 694 254 16 694 456 128 366 554 540 380 142 16 254 86 324 254 16 324 86 142 380 30 268 428 666 352 114 268 30 282 44 156 394 352 114 268 30 30 268 30 268 470 708 268 30 268 30 58 296 666 428 268 30 100 338 470 708 86 324 268 30 16 254 310 72 352 114 296 58 16 254 366 128 268 30 44 282 268 30 338 100 30 268 470 708 114 352 30 268 680 442 338 100 652 414 58 296 310 72 86 324 694 456 268 30 380 142 708 470 666 428 680 442 338 100 652 414 366 128 442 680 16 254 156 394 708 470 694 456 310 72 254 16 310 72 338 100 254 16 86 324 296 58 100 338 428 666 380 142 30 268 30 268 694 456 44 282 366 128 30 268 680 442 128 366 268 30 142 380 708 470 268 30 114 352 254 16 44 282 366 128 694 456 324 86