Name | csp/pseudoGLB/ normalized-t3002-11tsp11-1900574974.xml |
MD5SUM | 50db3f4395ef2863dac1a1afd4e92064 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04384 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 231 |
Number of constraints | 2707 |
Maximum constraint arity | 110 |
Maximum domain size | 2 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) | weightedsum(2707) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 2008-06-27 | 1070379 | SAT | 1.04384 | 1.06433 |
Minion/Tailor 2008-07-04 | 1106426 | SAT | 1.77073 | 1.81416 |
Sugar v1.13+minisat | 1070378 | SAT | 2.23366 | 2.33911 |
Sugar v1.13+picosat | 1070377 | SAT | 3.59345 | 3.74252 |
choco2_impwdeg 2008-06-26 | 1070380 | SAT | 3.65244 | 3.70951 |
choco2_dwdeg 2008-06-26 | 1070381 | SAT | 6.38303 | 6.47039 |
MDG-noprobe 2008-06-27 | 1070375 | SAT | 8.50771 | 8.51073 |
casper zito | 1070385 | SAT | 39.339 | 39.6506 |
MDG-probe 2008-06-27 | 1070374 | SAT | 47.2438 | 47.2564 |
Mistral-prime 1.313 | 1070383 | SAT | 85.626 | 85.9717 |
casper zao | 1070384 | SAT | 101.19 | 101.247 |
cpHydra k_10 | 1070388 | SAT | 103.725 | 104.971 |
Mistral-option 1.314 | 1070382 | SAT | 128.627 | 129.256 |
cpHydra k_40 | 1070389 | SAT | 164.417 | 164.098 |
SAT4J CSP 2008-06-13 | 1070376 | ? | 0.766883 | 0.821759 |
Abscon 112v4 ESAC | 1070387 | ? (TO) | 1800.13 | 1814.03 |
Abscon 112v4 AC | 1070386 | ? (TO) | 1800.14 | 1809.44 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0