| Name | lard/ lard-87-87.xml |
| MD5SUM | dd7c22c3d279da026832eaa4e9f6008b |
| 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 | 21.9287 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | |
| Number of variables | 87 |
| Number of constraints | 3741 |
| Maximum constraint arity | 2 |
| Maximum domain size | 88 |
| Number of constraints which are defined in extension | 3741 |
| 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 | 287384 | SAT | 21.9287 | 22.2254 |
| Abscon 109 ESAC | 287383 | SAT | 22.3916 | 22.8251 |
| Mistral 2006-12-04 | 287393 | SAT | 25.1892 | 25.5063 |
| Tramontane 2006-12-04 | 287394 | SAT | 25.6071 | 26.0272 |
| buggy_2_5 2007-01-08 | 287392 | SAT | 57.3153 | 59.0596 |
| buggy_2_5_s 2007-01-08 | 287391 | SAT | 59.079 | 61.1431 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 287389 | SAT | 65.808 | 66.7085 |
| sat4jCSP 1.7 RC BF3 | 287390 | SAT | 66.5919 | 67.6492 |
| CSP4J - MAC 2006-12-19 | 287386 | SAT | 100.991 | 104.493 |
| CSP4J - Combo 2006-12-19 | 287385 | SAT | 102.219 | 102.954 |
| CSP4J - MAC 2007-01-16 | 287398 | SAT | 126.134 | 126.677 |
| VALCSP 3.0 | 287388 | SAT | 487.93 | 488.58 |
| VALCSP 3.1 | 287397 | SAT | 518.303 | 518.476 |
| sugar 0.40 | 287395 | ? | 38.12 | 39.1602 |
| Diarmuid-wtdi 2006-12-21 | 287378 | ? (problem) | 0.033994 | 0.0347751 |
| rjw-solver 2006-12-09 | 287381 | ? (problem) | 0.034994 | 0.0373839 |
| Diarmuid-rndi 2006-12-21 | 287379 | ? (problem) | 0.035994 | 0.074442 |
| rjw-solver 2007-01-21 | 287399 | ? (problem) | 0.035994 | 0.0352501 |
| Diarmuid-rndi 2007-01-22 | 287400 | ? (problem) | 0.035994 | 0.252019 |
| galac 1 | 287387 | ? (problem) | 279.397 | 280.287 |
| galacJ beta 1 | 287382 | ? (problem) | 319.374 | 322.574 |
| BPrologCSPSolver70a 2006-12-13 | 287380 | ? (conv) | 0.016996 | 0.0191761 |
| CSPtoSAT+minisat 0.3 | 287396 | ? (MO) | 6.26905 | 6.57861 |