Name | csp/rlfapScensMod/ normalized-scen9-w1-f3.xml |
MD5SUM | d8f5db93cebd0b14f7a96a8145428221 |
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 | 13.4889 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 1138 |
Maximum constraint arity | 2 |
Maximum domain size | 41 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1138 |
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 | 1112571 | OPTIMUM | 1 | 13.4889 | 14.0128 |
Sugar v1.13+minisat | 1112572 | OPTIMUM | 1 | 34.2628 | 35.9497 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112567 | MSAT (TO) | 1 | 3600.05 | 3601.12 |
AbsconMax 112 pc-w | 1112569 | MSAT (TO) | 2 | 1647.91 | 4000.08 |
AbsconMax 112 pc-d | 1112570 | MSAT (TO) | 2 | 1649.06 | 4000.1 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112568 | MSAT (TO) | 15 | 3600.06 | 3628.62 |
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: 1750 512 156 394 512 750 680 442 750 512 380 142 338 100 512 750 750 512 394 156 268 30 750 512 512 750 72 310 142 380 512 750 750 512 512 750 750 512 456 694 512 750 352 114 512 750 470 708 750 512 128 366 142 380 512 750 750 512 156 394 512 750 86 324 666 750 750 512 512 750 100 338 750 512 512 750 282 44 156 394 156 394 394 156 750 512 86 324 498 736 512 750 750 512 512 750 156 394 512 750 512 750 512 750 750 512 750 512 750 512 512 750 512 750 708 470 512 750 142 380 128 366 512 750 750 512 512 750 750 512 324 86 750 512 394 156 512 750 72 310 512 750 394 156 512 750 512 750 156 394 512 750 512 750 750 512 750 512 478 240 142 380 750 512 512 750 750 512 512 750 414 652 512 750 750 512 442 680 512 750 512 750 254 16 512 750 736 498 512 750 750 512 156 394 512 750 442 680 750 512 750 512 498 736 442 680 512 750 736 498 72 310 512 750 512 750 114 352 142 380 268 30 142 380 750 512 750 512 456 694 750 512 498 736 100 338 128 366 142 380 380 142 694 456 498 736 338 100 512 750 512 750 750 512 72 310 86 324 442 680 142 380 338 100 512 750 366 128 512 750 680 442 470 708 512 750 750 512 512 750 512 750 128 366 750 512 512 750 512 750 338 100 512 750 736 498 512 750 666 428 282 44 750 512 428 666 380 142 750 512 394 156 512 750 512 750 380 142 380 142 750 512 156 394 142 380 142 380 750 512 512 750 380 142 100 338 366 128 512 750 72 310 750 512 512 750 156 394 750 512 750 512 394 156 750 512 750 512 750 512 156 394 156 394 414 652 512 750 512 750 114 352 72 310 380 142 380 142 268 30 512 750 442 680 512 750 268 30 268 30 324 86 338 100 156 394 142 380 512 750 512 750 512 750 680 442 44 282 268 30 498 736 512 750 694 456 750 512 750 512 512 750 512 750 268 30 750 512 380 142 750 512 512 750 736 498 380 142 750 512 708 470 352 114 750 512 380 142 750 512 142 380 750 512 470 708 512 750 394 156 394 156 442 680 750 512 512 750 750 512 394 156 394 156 750 512 142 380 750 512 380 142 512 750 282 44 512 750 282 44 512 750 380 142 750 512 750 512 512 750 394 156 750 512 324 86 16 254 156 394 442 680 512 750 512 750 750 512 512 750 324 86 512 750 512 750 470 708 750 512 324 86 142 380 282 44 512 750 750 512 512 750 750 512 750 512 470 708 694 456 512 750 750 512 750 512 708 470 750 512 750 512 296 58 512 750 296 58 142 380 750 512 750 512 114 352 750 512 750 512 72 310 114 352 750 512 352 114 512 750 512 750 296 58 512 750 380 142 442 680 750 512 380 142 750 512 512 750 156 394 512 750 750 512 86 324 750 512 156 394 750 512 750 512 512 750 750 512 750 512 324 86 750 512 58 296 750 512 750 512 750 512 512 750 380 142 142 380 142 380 750 512 142 380 442 680 512 750 72 310 680 442 512 750 310 72 512 750 324 86 512 750 156 394 750 512 30 268 156 394