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 |