| Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111221953.xml |
| MD5SUM | 96feee44ccd2c91b07a3efa278511036 |
| 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.12083 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 169 |
| Number of constraints | 101 |
| Maximum constraint arity | 169 |
| 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(101) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Minion/Tailor 2008-07-04 | 1106404 | SAT | 1.12083 | 1.14436 |
| bpsolver 2008-06-27 | 1069467 | SAT | 2.22666 | 2.22951 |
| choco2_impwdeg 2008-06-26 | 1069468 | SAT | 6.88495 | 6.99821 |
| MDG-noprobe 2008-06-27 | 1069463 | SAT | 15.6906 | 15.8186 |
| choco2_dwdeg 2008-06-26 | 1069469 | SAT | 15.9826 | 16.1602 |
| Sugar v1.13+minisat | 1069466 | SAT | 18.7721 | 19.0048 |
| Sugar v1.13+picosat | 1069465 | SAT | 24.4783 | 24.7772 |
| MDG-probe 2008-06-27 | 1069462 | SAT | 25.6391 | 25.8343 |
| Mistral-prime 1.313 | 1069471 | SAT | 31.2612 | 31.7048 |
| cpHydra k_10 | 1069476 | SAT | 38.3132 | 38.6077 |
| casper zao | 1069472 | SAT | 42.2276 | 42.5545 |
| Mistral-option 1.314 | 1069470 | SAT | 86.6548 | 87.0867 |
| casper zito | 1069473 | SAT | 99.9728 | 100.841 |
| cpHydra k_40 | 1069477 | SAT | 761.786 | 762.348 |
| Abscon 112v4 AC | 1069474 | SAT | 815.181 | 821.674 |
| Abscon 112v4 ESAC | 1069475 | SAT | 1051.76 | 1059.89 |
| SAT4J CSP 2008-06-13 | 1069464 | ? | 0.739887 | 0.769633 |
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 0 0 0 0 0 1 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 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 0 0 0 0 1 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 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 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0