Name | csp/rlfapScensMod/ normalized-scen2-f24.xml |
MD5SUM | 5a67895b6e4679565fdc3dec2d0f4ec1 |
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.094985 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1235 |
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 | 1235 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2081820 | SAT | 0.094985 | 0.102171 |
bpsolver 09 (complete) | 2081821 | SAT | 0.242962 | 0.259697 |
Abscon 112v4 AC (complete) | 2097525 | SAT | 1.63675 | 1.6733 |
pcs-restart 0.3.2 (complete) | 2081813 | SAT | 1.64475 | 1.66219 |
Abscon 112v4 ESAC (complete) | 2097526 | SAT | 1.67274 | 1.73361 |
pcs 0.3.2 (complete) | 2081812 | SAT | 1.87271 | 1.88927 |
Choco2.1.1b 2009-07-16 (complete) | 2116674 | SAT | 2.12768 | 2.16747 |
Choco2.1.1 2009-06-10 (complete) | 2081816 | SAT | 2.17967 | 2.22137 |
Sugar v1.14.6+minisat (complete) | 2081818 | SAT | 2.30665 | 2.37789 |
Concrete 2009-07-14 (complete) | 2081814 | SAT | 2.53761 | 2.60795 |
Sugar v1.14.6+picosat (complete) | 2081817 | SAT | 2.88856 | 2.99575 |
SAT4J CSP 2.1.1 (complete) | 2081811 | SAT | 5.41917 | 5.48985 |
Concrete DC 2009-07-14 (complete) | 2081815 | SAT | 9.14561 | 9.23962 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:156 394 128 366 142 380 254 16 156 394 338 100 254 16 254 16 352 114 268 30 268 30 100 338 380 142 268 30 86 324 254 16 156 394 254 16 156 394 100 338 100 338 86 324 86 324 254 16 296 58 282 44 380 142 254 16 58 296 142 380 156 394 72 310 58 296 142 380 16 254 58 296 156 394 72 310 282 44 30 268 142 380 86 324 268 30 268 30 352 114 142 380 324 86 100 338 268 30 156 394 16 254 366 128 58 296 394 156 16 254 30 268 128 366 296 58 44 282 86 324 142 380 128 366 268 30 58 296 86 324 142 380 268 30 86 324 268 30 128 366 30 268 86 324 114 352 324 86 254 16 254 16 16 254 296 58 16 254 254 16 86 324 156 394 338 100 268 30 30 268 282 44 310 72 324 86 394 156 16 254 156 394 268 30 86 324 366 128 114 352 268 30 380 142 268 30 296 58 268 30