Name | csp/os-gp/ normalized-gp10-05-1071.xml |
MD5SUM | edcaa13bc864d407223412ca462d8cd5 |
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 | 2.75358 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1072 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1000 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2082821 | SAT | 2.75358 | 2.7757 |
Choco2.1.1b 2009-07-16 (complete) | 2116765 | SAT | 7.12192 | 7.23126 |
Choco2.1.1 2009-06-10 (complete) | 2082817 | SAT | 9.42857 | 9.54513 |
Sugar v1.14.6+minisat (complete) | 2082819 | SAT | 12.3641 | 12.5313 |
Sugar v1.14.6+picosat (complete) | 2082818 | SAT | 22.2276 | 22.5877 |
Concrete DC 2009-07-14 (complete) | 2082816 | ? | 1451.07 | 1462.13 |
SAT4J CSP 2.1.1 (complete) | 2082812 | ? (exit code) | 319.337 | 320.839 |
pcs-restart 0.3.2 (complete) | 2082814 | ? (MO) | 1424.05 | 1424.64 |
pcs 0.3.2 (complete) | 2082813 | ? (MO) | 1558.16 | 1571.34 |
bpsolver 09 (complete) | 2082822 | ? (TO) | 1800.04 | 1801.71 |
Concrete 2009-07-14 (complete) | 2082815 | ? (TO) | 1800.09 | 1811.32 |
Abscon 112v4 AC (complete) | 2097707 | ? (TO) | 1800.14 | 1804.58 |
Abscon 112v4 ESAC (complete) | 2097708 | ? (TO) | 1800.19 | 1809.68 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1071 599 930 635 2 536 8 7 1 33 116 0 798 1039 306 630 797 769 155 928 788 1046 928 929 7 18 318 770 0 1047 1 1068 316 18 845 971 790 17 317 1057 1033 317 14 0 1001 1063 61 9 819 1070 579 155 317 1 1070 9 37 897 90 451 0 596 116 541 630 318 807 1068 316 0 3 1024 443 1033 0 1067 1069 1062 2 97 798 1039 0 1038 1044 724 1070 29 996 14 1024 603 314 316 10 602 315 0 1002 1 541