Name | csp/small/ normalized-patat-02-small-5.xml |
MD5SUM | c894b28341e243e0cd4c769be1909fc4 |
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.863868 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2805 |
Maximum constraint arity | 19 |
Maximum domain size | 45 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2736 |
Global constraints used (with number of constraints) | alldifferent(69) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-prime 1.313 | 1065421 | SAT | 0.863868 | 0.867657 |
Mistral-option 1.314 | 1065420 | SAT | 5.2752 | 5.32201 |
Sugar v1.13+minisat | 1065416 | SAT | 5.68513 | 5.8452 |
casper zao | 1065422 | SAT | 8.95464 | 9.03251 |
Sugar v1.13+picosat | 1065415 | SAT | 11.3793 | 11.5156 |
casper zito | 1065423 | SAT | 18.5812 | 18.7611 |
Abscon 112v4 AC | 1065424 | SAT | 26.032 | 26.3075 |
Abscon 112v4 ESAC | 1065425 | SAT | 28.8406 | 29.0091 |
choco2_impwdeg 2008-06-26 | 1065418 | SAT | 43.2034 | 43.4376 |
cpHydra k_40 | 1065427 | SAT | 57.5612 | 57.8347 |
SAT4J CSP 2008-06-13 | 1065414 | SAT | 72.073 | 72.7455 |
cpHydra k_10 | 1065426 | SAT | 88.9545 | 90.7667 |
MDG-noprobe 2008-06-27 | 1065413 | ? (TO) | 1800.02 | 1803.51 |
bpsolver 2008-06-27 | 1065417 | ? (TO) | 1800.02 | 1809.81 |
Minion/Tailor 2008-07-04 | 1107026 | ? (TO) | 1800.07 | 1807.32 |
MDG-probe 2008-06-27 | 1065412 | ? (TO) | 1800.07 | 1809.11 |
choco2_dwdeg 2008-06-26 | 1065419 | ? (TO) | 1800.11 | 1801.78 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:13 17 6 22 42 6 5 19 9 0 16 22 17 12 5 0 39 21 7 18 19 2 5 37 35 30 36 4 14 6 9 13 31 1 27 4 9 20 7 11 10 9 16 15 3 12 26 34 0 24 38 11 2 26 1 23 12 3 19 18 8 25 28 10 13 8 14 16 33 25 15 1 11 7 15 11 17 2 14 4 2 31 1 8 20 40 32 6 3 8 21 7 0 29 23 10 24 41 0 3 1 0 0 0 0 3 3 0 1 1 1 1 1 1 1 4 0 1 0 1 1 0 0 0 0 0 0 0 3 4 3 3 4 1 0 1 4 1 4 4 0 0 3 0 4 0 0 0 0 0 0 3 3 1 4 1 3 3 3 0 3 0 0 1 0 0 0 0 0 1 3 3 0 1 1 1 4 1 1 3 4 0 0 4 0 0 0 1 1 1 0 3 3 0 0 3 1 0 2 0