Name | csp/pseudoGLB/ normalized-t2001-13queen13-1111213670.xml |
MD5SUM | e6ccc455043935d60c5f6e555861c1fd |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.46862 |
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 | 1106399 | UNSAT | 2.46862 | 2.54628 |
bpsolver 2008-06-27 | 1070779 | UNSAT | 9.99748 | 10.0936 |
choco2_dwdeg 2008-06-26 | 1070781 | UNSAT | 15.1837 | 15.53 |
Sugar v1.13+minisat | 1070778 | UNSAT | 20.6859 | 20.9857 |
MDG-probe 2008-06-27 | 1070774 | UNSAT | 21.1668 | 21.5503 |
MDG-noprobe 2008-06-27 | 1070775 | UNSAT | 28.8706 | 28.8788 |
Sugar v1.13+picosat | 1070777 | UNSAT | 38.5251 | 38.9858 |
choco2_impwdeg 2008-06-26 | 1070780 | UNSAT | 41.7037 | 42.1355 |
Mistral-option 1.314 | 1070782 | UNSAT | 69.7614 | 70.1153 |
Mistral-prime 1.313 | 1070783 | UNSAT | 84.5071 | 84.8377 |
cpHydra k_10 | 1070788 | UNSAT | 92.4969 | 94.3945 |
casper zao | 1070784 | UNSAT | 146.614 | 147.946 |
casper zito | 1070785 | UNSAT | 298.953 | 301.792 |
Abscon 112v4 AC | 1070786 | UNSAT | 421.74 | 421.728 |
cpHydra k_40 | 1070789 | UNSAT | 427.657 | 427.558 |
SAT4J CSP 2008-06-13 | 1070776 | ? | 0.708891 | 0.760623 |
Abscon 112v4 ESAC | 1070787 | ? (TO) | 1800.07 | 1807.14 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: