Name | csp/nengfa/ normalized-protein.xml |
MD5SUM | dcc276e0be4c2cfad38640ad0b90bab6 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 5.62215 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 286 |
Number of constraints | 309 |
Maximum constraint arity | 27 |
Maximum domain size | 1011 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 308 |
Global constraints used (with number of constraints) | alldifferent(1) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
casper zao | 1055523 | SAT | 5.62215 | 5.83873 |
Sugar v1.13+picosat | 1055516 | SAT | 8.77267 | 8.86185 |
Mistral-prime 1.313 | 1055522 | SAT | 33.144 | 33.3994 |
Sugar v1.13+minisat | 1055517 | SAT | 36.2215 | 36.6468 |
choco2_dwdeg 2008-06-26 | 1055520 | SAT | 148.896 | 150.317 |
cpHydra k_10 | 1055527 | SAT | 172.737 | 172.924 |
MDG-noprobe 2008-06-27 | 1055514 | SAT | 197.421 | 197.497 |
SAT4J CSP 2008-06-13 | 1055515 | SAT | 262.477 | 263.222 |
Abscon 112v4 ESAC | 1055526 | SAT | 552.514 | 557.644 |
MDG-probe 2008-06-27 | 1055513 | SAT | 764.168 | 766.555 |
Abscon 112v4 AC | 1055525 | SAT | 1108.33 | 1109.11 |
cpHydra k_40 | 1055528 | SAT | 1120.96 | 1142.33 |
bpsolver 2008-06-27 | 1055518 | SAT | 1507.14 | 1511.81 |
Minion/Tailor 2008-07-04 | 1104838 | ? (problem) | 0.882865 | 0.891445 |
Mistral-option 1.314 | 1055521 | ? (TO) | 1800.03 | 1811.31 |
choco2_impwdeg 2008-06-26 | 1055519 | ? (TO) | 1800.08 | 1800.86 |
casper zito | 1055524 | Signal | 5.48317 | 5.62427 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2628 26 28 2627 26 27 2527 25 27 2528 25 28 2428 24 28 2328 23 28 2228 22 28 2229 22 29 2230 22 30 2231 22 31 2331 23 31 2431 24 31 2531 25 31 2631 26 31 2731 27 31 2730 27 30 2630 26 30 2530 25 30 2430 24 30 2330 23 30 2329 23 29 2429 24 29 2529 25 29 2629 26 29 2729 27 29 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 -1 4 1 0 4 3 0 2 3 0 0 3 0 1 2 0 2 1 0 0 1 -1 -1 -1 -1 -1 -1 -1 -2 2 3 0 0 3 0 1 2 0 0 1 -1 -1 -1 -1 2 1 0 2 3 0 0 3 0 2 3 0 1 2 0 0 1 -1 2 1 0 -1 -1 -1 -1 -1 -1 1 2 0 3 2 0 4 1 0 3 0 0 0 0 0 3 0 0 4 1 0 3 2 0 0 0 3 0 0 2 1 0 1 2 0 3 2 0 0 0 0 2 1 0 1 2 0 0 0 1 -1 1 2 0 1 2 0 0 -1 0 1 -1 1 2 0 -1 2 1 0 0 1 -1 -1 0 1 -1 -2 -3 -4 -4 -4 -4 -4 -5 -6 -8 2727 2728