| Name | domino/ domino-300-100.xml |
| MD5SUM | eff2a61155581d1c1ba66ec540fd5989 |
| 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.028995 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Number of variables | 300 |
| Number of constraints | 300 |
| Maximum constraint arity | 2 |
| Maximum domain size | 100 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 300 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| BPrologCSPSolver70a 2006-12-13 | 203927 | SAT | 0.028995 | 0.0321021 |
| Mistral 2006-12-04 | 203939 | SAT | 0.05999 | 0.069264 |
| Tramontane 2006-12-04 | 203940 | SAT | 0.061989 | 0.0686311 |
| buggy_2_5_s 2007-01-08 | 203937 | SAT | 0.526919 | 0.5437 |
| buggy_2_5 2007-01-08 | 203938 | SAT | 0.542916 | 0.546278 |
| VALCSP 3.1 | 268366 | SAT | 0.6549 | 0.665857 |
| VALCSP 3.0 | 203934 | SAT | 0.694893 | 0.706747 |
| Abscon 109 ESAC | 203929 | SAT | 0.940856 | 0.96882 |
| Abscon 109 AC | 203930 | SAT | 1.01684 | 1.07715 |
| sugar 0.40 | 203941 | SAT | 1.12 | 1.25052 |
| CSP4J - MAC 2007-01-16 | 270458 | SAT | 2.36264 | 2.45477 |
| CSP4J - MAC 2006-12-19 | 203932 | SAT | 2.6356 | 2.67975 |
| CSP4J - Combo 2006-12-19 | 203931 | SAT | 2.73258 | 2.79331 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 203935 | SAT | 3.23751 | 3.29068 |
| galacJ beta 1 | 203928 | SAT | 4.6213 | 4.70415 |
| sat4jCSP 1.7 RC BF3 | 203936 | SAT | 6.22805 | 5.07032 |
| galac 1 | 203933 | SAT | 29.1196 | 29.4714 |
| CSPtoSAT+minisat 0.3 | 203942 | ? (TO) | 1800.08 | 1808.39 |