| Name | lard/ lard-83-83.xml |
| MD5SUM | ee46835fd00d02a10e04381bf08a6075 |
| Bench Category | 2-ARY-EXT (binary constraints in extension) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 17.1344 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | |
| Number of variables | 83 |
| Number of constraints | 3403 |
| Maximum constraint arity | 2 |
| Maximum domain size | 84 |
| Number of constraints which are defined in extension | 3403 |
| Number of constraints which are defined in intension | 0 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 109 AC | 287246 | SAT | 17.1344 | 19.4742 |
| Abscon 109 ESAC | 287245 | SAT | 18.2922 | 18.5479 |
| Mistral 2006-12-04 | 287255 | SAT | 20.4419 | 20.451 |
| Tramontane 2006-12-04 | 287256 | SAT | 21.0568 | 21.2826 |
| buggy_2_5 2007-01-08 | 287254 | SAT | 49.6994 | 54.1932 |
| CSP4J - MAC 2007-01-16 | 287260 | SAT | 50.8413 | 51.0278 |
| buggy_2_5_s 2007-01-08 | 287253 | SAT | 50.9343 | 51.3915 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 287251 | SAT | 54.1198 | 54.4051 |
| CSP4J - Combo 2006-12-19 | 287247 | SAT | 54.6177 | 55.3451 |
| sat4jCSP 1.7 RC BF3 | 287252 | SAT | 56.8764 | 56.9717 |
| CSP4J - MAC 2006-12-19 | 287248 | SAT | 57.5343 | 58.0346 |
| VALCSP 3.1 | 287259 | SAT | 390.241 | 393.305 |
| VALCSP 3.0 | 287250 | SAT | 391.377 | 394.469 |
| sugar 0.40 | 287257 | ? | 908.47 | 912.958 |
| rjw-solver 2007-01-21 | 287261 | ? (problem) | 0.035994 | 0.111785 |
| Diarmuid-wtdi 2006-12-21 | 287240 | ? (problem) | 0.038993 | 0.140571 |
| Diarmuid-rndi 2006-12-21 | 287241 | ? (problem) | 0.039993 | 0.157314 |
| rjw-solver 2006-12-09 | 287243 | ? (problem) | 0.039993 | 0.160937 |
| Diarmuid-rndi 2007-01-22 | 287262 | ? (problem) | 0.040993 | 0.113226 |
| galac 1 | 287249 | ? (problem) | 157.374 | 158.571 |
| galacJ beta 1 | 287244 | ? (problem) | 159.634 | 160.825 |
| BPrologCSPSolver70a 2006-12-13 | 287242 | ? (conv) | 0.017996 | 0.0251619 |
| CSPtoSAT+minisat 0.3 | 287258 | ? (MO) | 8.80366 | 8.95371 |