Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-10.xml |
MD5SUM | 849189d0fe44cbb9e5489df72ee9e464 |
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.894863 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 122 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 845 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2082733 | SAT | 0.894863 | 0.903825 |
Sugar v1.14.6+minisat (complete) | 2082731 | SAT | 1.9547 | 2.08074 |
Concrete 2009-07-14 (complete) | 2082727 | SAT | 2.47362 | 2.53418 |
Sugar v1.14.6+picosat (complete) | 2082730 | SAT | 3.36749 | 3.49373 |
Abscon 112v4 ESAC (complete) | 2097692 | SAT | 10.5784 | 10.5804 |
pcs-restart 0.3.2 (complete) | 2082726 | SAT | 16.8534 | 17.0122 |
Choco2.1.1 2009-06-10 (complete) | 2082729 | SAT | 18.0843 | 18.1921 |
Abscon 112v4 AC (complete) | 2097691 | SAT | 22.3156 | 22.5655 |
pcs 0.3.2 (complete) | 2082725 | SAT | 23.8274 | 24.054 |
Choco2.1.1b 2009-07-16 (complete) | 2116757 | SAT | 24.2463 | 24.2609 |
SAT4J CSP 2.1.1 (complete) | 2082724 | SAT | 41.4117 | 41.4395 |
Concrete DC 2009-07-14 (complete) | 2082728 | SAT | 1231.57 | 1236.07 |
bpsolver 09 (complete) | 2082734 | ? (TO) | 1800.11 | 1812.61 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:26 25 32 103 106 105 116 117 124 125 16 17 26 25 32 33 96 59 105 109 13 14 18 23 56 59 104 124 140 141 41 40 48 91 125 124 140 141 144 143 11 23 48 30 68 67 83 84 140 91 4 0 11 12 20 15 75 35 85 105 4 3 20 39 42 41 56 106 113 122 32 79 85 38 116 117 133 124 145 144 0 1 4 3 83 10 129 101 133 134 66 65 75 76 93 94 113 105 124 133