| Name | csp/rlfapGraphsMod/ normalized-graph2-f24.xml |
| MD5SUM | 032be87cbaaa5176d6390981d0a0c94f |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.173973 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of constraints | 2245 |
| Maximum constraint arity | 2 |
| Maximum domain size | 22 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 2245 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2076683 | SAT | 0.173973 | 0.184271 |
| bpsolver 09 (complete) | 2076684 | SAT | 0.383941 | 0.391263 |
| Abscon 112v4 AC (complete) | 2096591 | SAT | 2.21666 | 2.25215 |
| Choco2.1.1 2009-06-10 (complete) | 2076679 | SAT | 2.6146 | 2.69025 |
| Choco2.1.1b 2009-07-16 (complete) | 2116207 | SAT | 2.65759 | 2.66465 |
| Sugar v1.14.6+minisat (complete) | 2076681 | SAT | 3.44948 | 3.52915 |
| Sugar v1.14.6+picosat (complete) | 2076680 | SAT | 4.10438 | 4.18723 |
| Concrete 2009-07-14 (complete) | 2076677 | SAT | 4.53431 | 4.64977 |
| pcs-restart 0.3.2 (complete) | 2076676 | SAT | 5.31419 | 5.326 |
| pcs 0.3.2 (complete) | 2076675 | SAT | 6.24705 | 6.30965 |
| Abscon 112v4 ESAC (complete) | 2096592 | SAT | 6.52801 | 6.62485 |
| SAT4J CSP 2.1.1 (complete) | 2076674 | SAT | 7.50386 | 7.59616 |
| Concrete DC 2009-07-14 (complete) | 2076678 | SAT | 142.24 | 143.672 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:254 16 128 366 366 128 338 100 100 338 100 338 254 16 16 254 394 156 114 352 16 254 72 310 114 352 72 310 352 114 254 16 296 58 72 310 366 128 310 72 16 254 268 30 324 86 254 16 268 30 30 268 380 142 254 16 30 268 58 296 268 30 142 380 44 282 100 338 86 324 142 380 114 352 16 254 268 30 114 352 254 16 282 44 324 86 324 86 156 394 282 44 352 114 254 16 114 352 72 310 30 268 380 142 30 268 282 44 100 338 268 30 30 268 324 86 156 394 142 380 268 30 30 268 72 310 268 30 142 380 16 254 16 254 380 142 352 114 114 352 296 58 366 128 338 100 72 310 156 394 254 16 310 72 142 380 16 254 16 254 254 16 380 142 254 16 72 310 114 352 114 352 44 282 16 254 268 30 142 380 142 380 30 268 310 72 282 44 142 380 324 86 86 324 310 72 100 338 352 114 394 156 352 114 338 100 352 114 86 324 366 128 142 380 156 394 100 338 72 310 72 310 268 30 254 16 380 142 296 58 114 352 128 366 128 366 268 30 44 282 296 58 86 324 44 282 142 380 86 324 16 254 282 44 380 142 114 352 380 142 394 156 142 380 142 380 86 324 44 282 58 296 324 86 338 100 268 30 338 100 282 44 268 30 142 380 58 296 16 254 380 142 380 142 114 352 142 380 380 142 282 44 44 282 30 268 338 100 380 142 380 142 142 380 30 268 380 142 72 310 156 394 156 394 58 296 296 58 86 324 394 156 366 128 338 100 268 30 380 142 268 30 352 114 268 30 72 310 142 380 380 142 72 310 156 394 58 296 100 338 324 86 30 268 310 72 268 30 156 394 114 352 156 394 86 324 268 30 156 394 58 296 338 100 352 114 58 296 100 338 156 394 156 394 86 324 16 254 142 380