Name | csp/cjss/ normalized-ft06x2-54.xml |
MD5SUM | aae3b735a74c4d9c7f772afb8b5f694d |
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 | 5.13222 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 73 |
Number of constraints | 78 |
Maximum constraint arity | 12 |
Maximum domain size | 55 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 72 |
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-inc | 1109051 | OPTIMUM | 1 | 5.13222 | 4.89051 |
Sugar v1.13+minisat | 1109052 | OPTIMUM | 1 | 5.77012 | 6.16438 |
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 0 6 21 27 34 38 3 13 18 28 38 48 7 12 16 31 43 44 8 14 29 34 37 45 19 29 33 41 49 52 13 16 19 28 47 51 1 3 23 30 38 41 0 9 14 24 40 50 2 7 11 19 42 43 11 16 21 26 29 37 0 29 39 46 50 53 0 3 6 21 34 46