Name | csp/rlfapScens/ normalized-scen10.xml |
MD5SUM | 07304cb7317cdf0b1877fc5044901f5a |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 67 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
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 | 4103 |
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 | 1112615 | MSAT (TO) | 67 | 3600.03 | 3601.72 |
AbsconMax 112 pc-d | 1112618 | MSAT (TO) | 115 | 1656.96 | 4000.09 |
AbsconMax 112 pc-w | 1112617 | MSAT (TO) | 115 | 1672.94 | 4000.06 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112616 | MSAT (TO) | 145 | 3600.01 | 3604.52 |
Sugar v1.13+minisat | 1112620 | MSAT (TO) | 196 | 3600.34 | 3632.68 |
Sugar++ v1.13+minisat-inc | 1112619 | No Cert. | 110.572 | 115.578 |
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: 67442 680 554 792 694 456 282 44 268 30 282 44 282 44 156 394 484 722 268 30 394 156 764 526 554 792 156 394 128 366 680 442 324 86 414 652 554 792 366 128 380 142 456 694 254 16 310 72 652 414 100 338 764 526 338 100 16 254 722 484 352 114 792 554 44 282 428 666 324 86 792 554 16 254 498 736 254 16 128 366 156 394 380 142 44 282 554 792 254 16 338 100 156 394 512 750 114 352 526 764 428 666 722 484 554 792 428 666 792 554 366 128 792 554 86 324 470 708 86 324 30 268 16 254 282 44 680 442 254 16 442 680 254 16 456 694 456 694 142 380 470 708 442 680 72 310 114 352 310 72 58 296 736 498 708 470 30 268 170 408 44 282 554 792 366 128 268 30 554 792 456 694 44 282 366 128 666 428 666 428 156 394 554 792 296 58 310 72 352 114 380 142 156 394 778 540 778 540 366 128 792 554 114 352 380 142 380 142 708 470 498 736 540 778 540 778 114 352 30 268 694 456 128 366 72 310 680 442 470 708 778 540 268 30 792 554 72 310 708 470 456 694 722 484 540 778 268 30 540 778 540 778 778 540 352 114 44 282 456 694 16 254 254 16 58 296 268 30 282 44 142 380 484 722 456 694 750 512 44 282 680 442 44 282 86 324 114 352 296 58 540 778 268 30 484 722 142 380 268 30 694 456 128 366 778 540 456 694 30 268 324 86 428 666 526 764 540 778 268 30 694 456 666 428 666 428 142 380 778 540 352 114 296 58 30 268 484 722 540 778 58 296 680 442 268 30 142 380 470 708 792 554 366 128 750 512 792 554 30 268 114 352 142 380 792 554 442 680 540 778 680 442 380 142 310 72 442 680 268 30 324 86 470 708 540 778 268 30 680 442 254 16 254 16 30 268 30 268 764 526 414 652 324 86 694 456 750 512 30 268 100 338 764 526 680 442 778 540 778 540 442 680 380 142 296 58 128 366 380 142 750 512 526 764 680 442 380 142 778 540 708 470 736 498 86 324 296 58 750 512 128 366 778 540 498 736 540 778 100 338 282 44 268 30 254 16 414 652 16 254 16 254 156 394 72 310 722 484 58 296 442 680 310 72 470 708 58 296 778 540 366 128 380 142 792 554 526 764 442 680 394 156 380 652 470 708 792 554 778 540 16 442 142 380 708 470 666 428 456 694 498 736 268 30 540 778 296 58 526 764 338 100 282 44 498 736 512 750 30 268 428 666 540 778 338 100 30 268 694 456 484 722 142 380 30 268 652 414 750 512 540 778 352 114 86 324 128 366 282 44 470 708 296 58 778 540 296 58 442 680 128 366 30 268 778 540 366 128 324 86 722 484 86 324 498 736 352 114 540 778 58 296 442 680 58 296 442 680 30 268 708 470 708 470 268 30 484 722 282 44 554 792 72 310 722 484 652 414 142 380 254 16 142 380 778 540 736 498 394 156 16 254 470 708 380 142 72 310 30 268 44 282 694 456 282 44 540 778 128 366 666 428 736 498 540 778 338 100 778 540 554 792 708 470 254 16 44 282 44 282