| Name | fapp/test01-04/test01/ test01-0150-9.xml |
| MD5SUM | 1ea2073ca53e8d5ab77539c3dac5b806 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.857869 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 150 |
| Number of constraints | 1460 |
| Maximum constraint arity | 2 |
| Maximum domain size | 302 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1460 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| buggy_2_5 2007-01-08 | 207741 | SAT | 0.857869 | 0.863127 |
| Mistral 2006-12-04 | 207742 | SAT | 2.06569 | 2.0865 |
| Abscon 109 AC | 207733 | SAT | 6.75997 | 6.81897 |
| Tramontane 2006-12-04 | 207743 | SAT | 9.94449 | 9.94904 |
| Abscon 109 ESAC | 207732 | SAT | 16.2575 | 16.4975 |
| CSP4J - Combo 2006-12-19 | 207734 | SAT | 17.0904 | 17.2348 |
| CSP4J - MAC 2007-01-16 | 270687 | SAT | 17.2724 | 17.4059 |
| VALCSP 3.0 | 207737 | SAT | 19.1811 | 19.3504 |
| VALCSP 3.1 | 268530 | SAT | 20.1439 | 20.2188 |
| CSP4J - MAC 2006-12-19 | 207735 | SAT | 20.9948 | 21.3576 |
| buggy_2_5_s 2007-01-08 | 207740 | SAT | 25.8201 | 25.9195 |
| sat4jCSP 1.7 RC BF3 | 207739 | SAT | 235.147 | 235.342 |
| galac 1 | 207736 | SAT | 952.935 | 960.218 |
| sugar 0.40 | 207744 | ? | 3.2 | 3.32871 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 207738 | ? | 584.297 | 587.245 |
| galacJ beta 1 | 207731 | ? (problem) | 979.868 | 984.724 |
| BPrologCSPSolver70a 2006-12-13 | 207730 | ? (TO) | 1800.02 | 1806.32 |
| CSPtoSAT+minisat 0.3 | 207745 | ? (TO) | 1800.05 | 1816.39 |