Name | csp/rlfapScens11/ normalized-scen11-f8.xml |
MD5SUM | b015d872cbc51a1a99034ec27314cdb1 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 7 |
Best CPU time to get the best result obtained on this benchmark | 3600.32 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Maximum constraint arity | 2 |
Maximum domain size | 36 |
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 | 1113154 | MSAT (TO) | 7 | 3600.32 | 3867.39 |
AbsconMax 112 pc-d | 1113152 | MSAT (TO) | 11 | 1636.61 | 4000.1 |
AbsconMax 112 pc-w | 1113151 | MSAT (TO) | 11 | 1717.64 | 4000.09 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113150 | MSAT (TO) | 12 | 3600.01 | 3620.22 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113149 | MSAT (TO) | 16 | 3600.06 | 3601.02 |
Sugar++ v1.13+minisat-inc | 1113153 | ? (MO) | 74.4637 | 76.5683 |
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: 7366 128 142 380 680 442 114 352 680 442 442 680 366 128 666 428 666 428 414 652 380 142 428 666 680 442 352 114 666 428 414 652 394 156 16 254 652 414 652 414 86 324 680 442 666 428 380 142 680 442 394 156 366 128 352 114 414 652 414 652 58 296 268 484 652 414 114 352 666 428 554 554 44 282 428 666 366 128 58 296 72 310 128 366 156 394 680 442 414 652 128 366 680 442 142 380 442 680 414 652 680 442 338 100 268 30 16 254 268 30 142 380 156 394 156 394 428 666 442 680 142 380 680 442 414 652 680 442 414 652 352 114 414 652 142 380 680 442 86 324 554 554 128 366 666 428 282 44 142 380 652 414 156 394 442 680 128 366 478 240 282 44 680 442 666 428 114 352 680 442 128 366 442 680 44 282 16 254 352 114 380 142 442 680 268 30 156 394 100 338 428 666 156 394 156 394 296 58 142 380 414 652 366 128 58 296 442 680 666 428 338 100 310 72 428 666 680 442 442 680 680 442 128 366 428 666 114 352 380 142 666 428 310 72 666 428 100 338 142 380 442 680 366 128 366 128 666 428 58 296 680 442 680 442 666 428 366 128 114 352 366 128 442 680 380 142 310 72 338 100 142 380 442 680 142 380 72 310 114 352 380 142 366 128 652 414 442 680 414 652 442 680 652 414 86 324 666 428 380 142 72 310 442 680 680 442 100 338 366 128 680 442 442 680 680 442 86 324 338 100 666 428 442 680 428 666 428 666 380 142 666 428 414 652 428 666 666 428 680 442 142 380 310 72 652 414 380 142 680 442 666 428 442 680 414 652 296 58 142 380 156 394 428 666 394 156 414 652 352 114 142 380 680 442 680 442 282 44 142 380 128 366 428 666 114 352 680 442 44 282 652 414 680 442 128 366 296 58 442 680 666 428 680 442 296 58 114 352 128 366 442 680 128 366 428 666 428 666 666 428 666 428 666 428 680 442 268 30 380 142 428 666 680 442 142 380 442 680 428 666 666 428 666 428 680 442 680 442 338 100 310 72 666 428 680 442 142 380 394 156 156 394 30 268 680 442 394 156 44 282 366 128 282 44 428 666 366 128 680 442 142 380 680 442 428 666 142 380 72 310 442 680 394 156 680 442 680 442 666 428 666 428 86 324 16 254 156 394 268 30 442 680 268 30 268 30 380 142 86 324 142 380 680 442 680 442 296 58 442 680 58 296 666 428 666 428 442 680 428 666 666 428 310 72 380 142 442 680 30 268 394 156 652 414 680 442 652 414 680 442 428 666 86 324 128 366 44 282 442 680 666 428 128 366 428 666 680 442 428 666 44 282 380 142 442 680 666 428 156 394 442 680 666 428 128 366 680 442 142 380 442 680 666 428 324 86 666 428 254 16 442 680 86 324 380 142 428 666 86 324 156 394 324 86 414 652 428 666 442 680 428 666 652 414 338 100 428 666 680 442 680 442 680 442 142 380 666 428 680 442 442 680 100 338 142 380 666 428 142 380 310 72 680 442 428 666 100 338 324 86 394 156 680 442 86 324 680 442 310 72