Name | csp/subs/ normalized-scen06-sub4.xml |
MD5SUM | bb06c4786729b9bb95e26e13ba659421 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 23 |
Best CPU time to get the best result obtained on this benchmark | 3600.04 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 44 |
Number of constraints | 499 |
Maximum constraint arity | 2 |
Maximum domain size | 44 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 499 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114169 | MSAT (TO) | 23 | 3600.04 | 3630.82 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114170 | MSAT (TO) | 23 | 3600.04 | 3630.03 |
Sugar v1.13+minisat | 1114174 | MSAT (TO) | 26 | 3600.03 | 3631.22 |
AbsconMax 112 pc-w | 1114171 | MSAT (TO) | 27 | 1594.05 | 4000.05 |
AbsconMax 112 pc-d | 1114172 | MSAT (TO) | 27 | 1615.65 | 4000.07 |
Sugar++ v1.13+minisat-inc | 1114173 | MSAT (TO) | 52 | 3600.1 | 3615.33 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 23792 554 792 554 72 310 72 310 694 456 30 268 16 254 380 680 708 470 484 722 456 694 456 694 540 778 366 128 282 44 16 254 30 268 30 268 128 366 792 554 380 142 44 282