Name | csp/small/ normalized-patat-02-small-2.xml |
MD5SUM | c486301f2b85436b9e496c6b2c331268 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.12498 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1773 |
Maximum constraint arity | 17 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1695 |
Global constraints used (with number of constraints) | alldifferent(78) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MDG-noprobe 2008-06-27 | 1065429 | SAT | 0.12498 | 0.132156 |
Mistral-prime 1.313 | 1065437 | SAT | 0.12598 | 0.12634 |
cpHydra k_10 | 1065442 | SAT | 0.137978 | 0.144786 |
cpHydra k_40 | 1065443 | SAT | 0.142977 | 0.149912 |
casper zito | 1065439 | SAT | 0.381941 | 0.388617 |
bpsolver 2008-06-27 | 1065433 | SAT | 0.411936 | 0.421486 |
Mistral-option 1.314 | 1065436 | SAT | 0.830872 | 0.837054 |
MDG-probe 2008-06-27 | 1065428 | SAT | 2.04569 | 2.06148 |
Abscon 112v4 ESAC | 1065441 | SAT | 2.06069 | 2.09594 |
Abscon 112v4 AC | 1065440 | SAT | 2.16467 | 2.19658 |
Sugar v1.13+minisat | 1065432 | SAT | 3.72343 | 3.84956 |
choco2_dwdeg 2008-06-26 | 1065435 | SAT | 3.77243 | 3.80723 |
casper zao | 1065438 | SAT | 5.2692 | 5.31351 |
Sugar v1.13+picosat | 1065431 | SAT | 8.37673 | 8.55147 |
choco2_impwdeg 2008-06-26 | 1065434 | SAT | 16.7934 | 16.8285 |
SAT4J CSP 2008-06-13 | 1065430 | SAT | 24.2573 | 24.2503 |
Minion/Tailor 2008-07-04 | 1107023 | ? (TO) | 1800.06 | 1808.61 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:22 0 10 18 4 7 1 16 23 10 22 7 1 0 21 9 9 17 15 14 3 5 12 12 6 8 7 19 13 2 35 15 1 18 16 11 4 9 2 5 32 12 6 3 6 2 6 34 33 16 32 20 8 36 10 1 14 15 16 3 15 31 13 0 19 5 1 23 6 0 0 21 20 14 28 4 4 24 8 5 3 25 17 29 11 30 11 5 32 10 22 7 3 32 27 26 7 2 30 4 1 2 3 1 4 2 3 3 1 1 3 4 0 3 3 4 1 1 4 2 4 3 3 1 0 3 1 2 2 0 1 2 2 2 0 2 0 2 3 1 4 2 2 3 4 2 3 1 1 2 0 1 1 1 2 4 1 0 1 2 1 1 1 4 1 0 1 2 1 0 1 1 2 0 1 1 2 1 2 2 0 1 2 1 1 1 0 4 1 0 2 0 1 2 1 1 3 1 4 3