| Name | pseudoSeries/aim/ aim-200-1-6-3.xml |
| MD5SUM | fb2add53fc1bc48bc4b8068286c2632b |
| 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.119981 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 400 |
| Number of constraints | 520 |
| Maximum constraint arity | 3 |
| Maximum domain size | 2 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 520 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| CSPtoSAT+minisat 0.3 | 213036 | SAT | 0.119981 | 0.126954 |
| Tramontane 2006-12-04 | 213034 | SAT | 0.493924 | 0.507288 |
| Mistral 2006-12-04 | 213033 | SAT | 0.705892 | 0.878955 |
| sugar 0.40 | 213035 | SAT | 1.16282 | 1.2494 |
| galacJ beta 1 | 213025 | SAT | 1.9587 | 2.08085 |
| galac 1 | 213030 | SAT | 2.09168 | 2.21769 |
| sat4jCSP 1.7 RC BF3 | 213032 | SAT | 2.96455 | 1.99423 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 213031 | SAT | 3.22251 | 3.33504 |
| Abscon 109 ESAC | 213026 | SAT | 7.12592 | 7.29694 |
| Abscon 109 AC | 213027 | SAT | 8.72467 | 8.77105 |
| CSP4J - MAC 2006-12-19 | 213029 | SAT | 9.8695 | 9.98209 |
| CSP4J - MAC 2007-01-16 | 271058 | SAT | 10.7804 | 10.8698 |
| CSP4J - Combo 2006-12-19 | 213028 | SAT | 33.8559 | 34.2381 |
| BPrologCSPSolver70a 2006-12-13 | 213024 | ? (TO) | 1800.09 | 1801.23 |