Name | csp/cjss/ normalized-ft06x3-54.xml |
MD5SUM | 7c3213be65501b104c40f4acb0275228 |
Bench Category | GLOBAL (global constraints) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 188.633 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 109 |
Number of constraints | 114 |
Maximum constraint arity | 18 |
Maximum domain size | 55 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 108 |
Global constraints used (with number of constraints) | cumulative(6) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1109054 | OPTIMUM | 1 | 188.633 | 188.831 |
Sugar++ v1.13+minisat-inc | 1109053 | OPTIMUM | 1 | 601.017 | 603.693 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 154 12 13 16 32 39 44 0 8 16 26 40 50 1 7 11 21 38 39 11 16 25 30 33 45 13 26 29 46 50 53 0 14 17 26 42 46 0 1 16 35 42 45 3 11 16 26 36 47 0 5 9 17 28 29 11 16 22 27 30 45 25 34 37 42 46 51 8 14 17 30 41 45 11 12 16 29 36 40 5 13 18 28 40 50 0 5 9 21 35 36 0 5 20 25 28 36 16 26 29 38 49 52 13 16 19 30 41 45