Name | csp/subs/ normalized-scen07-sub4.xml |
MD5SUM | 8da65ed579b5dbc30024b03f07174c89 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 19 |
Best CPU time to get the best result obtained on this benchmark | 1607.5 |
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 |
---|---|---|---|---|---|
AbsconMax 112 pc-d | 1114130 | MSAT (TO) | 19 | 1607.5 | 4000.35 |
AbsconMax 112 pc-w | 1114129 | MSAT (TO) | 19 | 1618.06 | 4000.03 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1114127 | MSAT (TO) | 19 | 3600.03 | 3622.33 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1114128 | MSAT (TO) | 19 | 3600.03 | 3613.02 |
Sugar++ v1.13+minisat-inc | 1114131 | MSAT (TO) | 29 | 3600.08 | 3604.53 |
Sugar v1.13+minisat | 1114132 | MSAT (TO) | 36 | 3600.08 | 3611.52 |
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: 1916 254 16 254 708 470 708 470 722 484 792 554 680 442 526 764 526 764 254 16 792 554 778 540 268 30 338 100 456 694 680 442 792 414 722 484 128 366 268 30 526 764 282 44