Name | csp/pseudoGLB/ normalized-elf-rf7-ucl.xml |
MD5SUM | 84112b60f9d0f9b714e2a37dfc979087 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.46078 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1328 |
Number of constraints | 3349 |
Maximum constraint arity | 11 |
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(3349) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Minion/Tailor 2008-07-04 | 1106351 | UNSAT | 1.46078 | 1.5241 |
casper zito | 1070273 | UNSAT | 2.45562 | 2.48689 |
choco2_impwdeg 2008-06-26 | 1070268 | UNSAT | 2.49662 | 2.51249 |
casper zao | 1070272 | UNSAT | 2.54861 | 2.57571 |
choco2_dwdeg 2008-06-26 | 1070269 | UNSAT | 2.74458 | 2.76862 |
Sugar v1.13+minisat | 1070266 | UNSAT | 2.75458 | 2.84271 |
Sugar v1.13+picosat | 1070265 | UNSAT | 4.22636 | 4.45925 |
cpHydra k_10 | 1070276 | UNSAT | 8.87365 | 9.0048 |
cpHydra k_40 | 1070277 | UNSAT | 9.32758 | 9.46477 |
Abscon 112v4 AC | 1070274 | ? | 0.703892 | 0.840502 |
Abscon 112v4 ESAC | 1070275 | ? | 0.831873 | 0.870605 |
SAT4J CSP 2008-06-13 | 1070264 | ? | 1.03384 | 1.08863 |
MDG-noprobe 2008-06-27 | 1070263 | ? (problem) | 0.247962 | 0.255933 |
Mistral-prime 1.313 | 1070271 | ? (problem) | 0.254961 | 0.262358 |
MDG-probe 2008-06-27 | 1070262 | ? (problem) | 1.44178 | 1.45837 |
Mistral-option 1.314 | 1070270 | ? (problem) | 396.465 | 400.201 |
bpsolver 2008-06-27 | 1070267 | ? (TO) | 1800.02 | 1810.61 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: