| Name | allIntervalSeries/ series-6.xml |
| MD5SUM | 4b99e5ec18abf3b94bcc7e13b848b916 |
| Bench Category | N-ARY-INT (n-ary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.013997 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 11 |
| Number of constraints | 30 |
| Maximum constraint arity | 3 |
| Maximum domain size | 6 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 30 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 2006-12-04 | 199536 | SAT | 0.013997 | 0.0172389 |
| Tramontane 2006-12-04 | 199537 | SAT | 0.015997 | 0.016122 |
| BPrologCSPSolver70a 2006-12-13 | 199527 | SAT | 0.018996 | 0.020755 |
| CSPtoSAT+minisat 0.3 | 199539 | SAT | 0.019996 | 0.162098 |
| CSP4J - MAC 2007-01-16 | 270210 | SAT | 0.427934 | 0.500062 |
| CSP4J - Combo 2006-12-19 | 199531 | SAT | 0.45293 | 0.512327 |
| CSP4J - MAC 2006-12-19 | 199532 | SAT | 0.460929 | 0.523709 |
| sugar 0.40 | 199538 | SAT | 0.630903 | 0.763071 |
| Abscon 109 AC | 199530 | SAT | 0.660899 | 0.709488 |
| Abscon 109 ESAC | 199529 | SAT | 0.676896 | 0.767832 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 199534 | SAT | 1.00985 | 0.829427 |
| sat4jCSP 1.7 RC BF3 | 199535 | SAT | 1.01984 | 0.784356 |
| galacJ beta 1 | 199528 | SAT | 1.12783 | 1.25067 |
| galac 1 | 199533 | SAT | 1.16782 | 1.38643 |