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 |