Name | csp/rlfapScens11/ normalized-scen11-f2.xml |
MD5SUM | eeb0a55b010d032a275f0f7f80fcdb5a |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 2 |
Best CPU time to get the best result obtained on this benchmark | 1488.18 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
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 | 4103 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1113130 | OPTIMUM | 2 | 1488.18 | 1498.5 |
AbsconMax 112 pc-d | 1113128 | MSAT (TO) | 2 | 1636.64 | 4000.05 |
AbsconMax 112 pc-w | 1113127 | MSAT (TO) | 2 | 1656.18 | 4000.07 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113126 | MSAT (TO) | 2 | 3600.07 | 3629.32 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113125 | MSAT (TO) | 2 | 3600.09 | 3621.02 |
Sugar++ v1.13+minisat-inc | 1113129 | ? (MO) | 67.2608 | 68.9027 |
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: 2428 666 512 750 652 414 512 750 652 414 680 442 526 764 764 526 764 526 512 750 394 156 100 338 456 694 526 764 380 142 526 764 694 456 666 428 338 100 666 428 44 282 512 750 526 764 498 736 694 456 526 764 142 380 708 470 764 526 526 764 428 666 526 764 254 16 750 512 442 680 442 680 44 282 442 680 282 44 114 352 30 268 268 30 414 652 498 736 764 526 414 652 484 722 526 764 512 750 498 736 428 666 282 44 142 380 498 736 680 442 428 666 512 750 442 680 526 764 680 442 86 324 764 526 498 736 526 764 666 428 456 694 526 764 380 142 750 512 722 484 394 156 282 44 512 750 268 30 680 442 498 736 526 764 380 142 736 498 240 478 394 156 764 526 414 652 484 722 512 750 394 156 58 296 526 764 128 366 666 428 442 680 114 352 526 764 666 428 512 750 652 414 414 652 512 750 72 310 750 512 512 750 352 114 366 128 428 666 296 58 764 526 750 512 512 750 380 142 456 694 526 764 666 428 750 512 142 380 72 310 526 764 512 750 484 722 456 694 498 736 526 764 764 526 666 428 736 498 512 750 428 666 156 394 708 470 456 694 680 442 414 652 750 512 142 380 722 484 352 114 456 694 764 526 128 366 764 526 708 470 428 666 456 694 526 764 380 142 764 526 708 470 750 512 652 414 512 750 764 526 722 484 142 380 526 764 498 736 142 380 750 512 526 764 100 338 282 44 428 666 114 352 764 526 736 498 380 142 694 456 526 764 456 694 282 44 128 366 764 526 442 680 428 666 498 736 652 414 526 764 414 652 470 708 498 736 666 428 414 652 750 512 442 680 512 750 764 526 526 764 498 736 750 512 722 484 282 44 764 526 750 512 526 764 380 142 456 694 296 58 394 156 750 512 526 764 114 352 498 736 442 680 526 764 736 498 512 750 666 428 666 428 114 352 498 736 498 736 142 380 428 666 526 764 512 750 268 30 512 750 142 380 484 722 708 470 498 736 380 142 680 442 526 764 442 680 764 526 666 428 428 666 750 512 764 526 380 142 156 394 708 470 456 694 526 764 764 526 366 128 694 456 86 324 442 680 526 764 736 498 512 750 764 526 512 750 694 456 764 526 694 456 142 380 764 526 526 764 694 456 736 498 394 554 324 86 652 414 114 352 512 750 652 414 296 58 338 100 526 764 526 764 694 456 764 526 680 442 680 442 750 512 512 750 764 526 526 764 694 456 442 680 526 764 456 694 694 456 114 352 442 680 156 394 736 498 750 512 652 414 526 764 526 764 526 764 498 736 694 456 764 526 694 456 526 764 750 512 526 764 324 86 380 142 764 526 694 456 526 764 442 680 526 764 750 512 526 764 526 764 456 694 736 498 680 442 156 394 310 72 526 764 366 128 512 750 526 764 394 156 764 526 128 366 694 456 666 428 526 764 526 764 512 750 750 512 456 694 442 680 414 652 694 456 680 442 142 380 526 764 764 526 764 526 456 694 380 142 764 526 442 680 526 764 680 442 512 750 442 680 764 526 310 72 736 498 750 512 394 156