Name | csp/rlfapScens/ normalized-scen6.xml |
MD5SUM | 31e4d54875a892c5a56c211ad10147fa |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 29 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1322 |
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 | 1322 |
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 | 1112609 | MSAT (TO) | 29 | 3600.06 | 3618.02 |
AbsconMax 112 pc-d | 1112612 | MSAT (TO) | 32 | 1637.34 | 4000.07 |
AbsconMax 112 pc-w | 1112611 | MSAT (TO) | 32 | 1666.97 | 4000.05 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112610 | MSAT (TO) | 37 | 3600.05 | 3618.02 |
Sugar v1.13+minisat | 1112614 | MSAT (TO) | 56 | 3600.03 | 3629.39 |
Sugar++ v1.13+minisat-inc | 1112613 | MSAT (TO) | 95 | 3600.13 | 3628.19 |
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: 29428 666 366 666 750 512 254 16 554 792 16 254 540 778 16 254 16 254 526 764 30 268 708 470 30 268 484 722 442 680 792 554 142 380 750 512 750 512 114 352 792 554 778 540 414 142 86 324 484 722 268 30 680 442 254 16 554 792 456 694 498 736 380 680 792 498 254 16 142 380 792 554 338 100 352 114 764 526 268 30 86 324 750 512 736 498 114 352 722 484 282 44 268 30 442 680 694 456 778 540 310 72 380 142 442 680 680 442 114 352 394 156 380 142 484 722 540 778 338 100 338 100 366 128 296 58 282 44 526 764 366 128 296 58 296 58 30 268 498 736 456 694 58 296 484 722 44 282 30 268 414 652 736 498 512 750 652 414 778 540 792 554 792 554 680 442 16 254 86 324 44 282 666 428 750 512 282 44 498 736 324 86 428 666 778 540 30 268 680 442 750 512 114 352 540 778 86 324 778 540