Name | csp/rlfapScensMod/ normalized-scen6-w1-f2.xml |
MD5SUM | 65af087a3e3592548326caf0be4ecb83 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 4.30435 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 319 |
Maximum constraint arity | 2 |
Maximum domain size | 42 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 319 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1112565 | OPTIMUM | 1 | 4.30435 | 4.58697 |
Sugar v1.13+minisat | 1112566 | OPTIMUM | 1 | 5.33619 | 5.66642 |
AbsconMax 112 pc-w | 1112563 | MSAT (TO) | 1 | 1603.89 | 4000.09 |
AbsconMax 112 pc-d | 1112564 | MSAT (TO) | 1 | 1617.13 | 4000.07 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112562 | MSAT (TO) | 1 | 3600.01 | 3617.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112561 | MSAT (TO) | 1 | 3600.03 | 3617.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: 1352 114 750 512 526 764 764 526 764 526 764 526 394 156 156 764 86 324 764 526 58 296 526 764 114 352 526 764 526 764 526 764 72 310 694 456 764 526 44 282 526 764 694 456 764 526 526 764 764 526 526 764 526 764 764 526 254 16 526 764 526 764 764 526 526 764 736 498 526 764 764 526 526 764 30 268 764 526 268 30 380 142 526 764 526 764 142 380 526 764 352 114 268 30 526 764 764 526 764 526 338 100 394 156 526 764 764 526 156 394 526 764 380 142 764 526 526 764 324 86 526 764 380 142 30 268 310 72 456 694 338 100 366 128 324 86 142 380 526 764 526 764 114 352 526 764 142 380 156 394 764 526 764 526 764 526 764 526 764 526 694 456 764 526 764 526 16 254 526 764 128 366 526 764 380 142 156 394 526 764 338 100 456 694 380 142 526 764 526 764 526 764 324 86 526 764 72 310 526 764