Name | csp/rlfapScens/ normalized-scen9.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 | 68 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
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 | 1112603 | MSAT (TO) | 68 | 3600.06 | 3629.52 |
AbsconMax 112 pc-d | 1112606 | MSAT (TO) | 115 | 1658.44 | 4000.08 |
AbsconMax 112 pc-w | 1112605 | MSAT (TO) | 115 | 1697.32 | 4000.05 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112604 | MSAT (TO) | 141 | 3600.01 | 3633.62 |
Sugar v1.13+minisat | 1112608 | MSAT (TO) | 196 | 3600.34 | 3635.79 |
Sugar++ v1.13+minisat-inc | 1112607 | MSAT (MO) | 842 | 116.646 | 117.706 |
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: 68366 128 254 16 114 352 310 72 282 44 512 750 526 764 652 414 254 16 526 764 414 652 44 282 268 30 666 428 114 352 114 352 498 736 414 652 540 778 442 680 428 666 352 114 554 792 512 750 16 254 666 428 30 268 338 100 16 778 722 484 338 100 792 554 30 268 428 666 324 86 792 554 16 254 498 736 282 44 708 470 156 394 380 142 44 282 254 16 554 792 338 100 156 394 268 30 694 456 254 16 428 666 736 498 554 792 414 652 792 554 366 128 792 554 736 498 456 694 44 282 30 268 254 16 254 16 540 778 268 30 470 708 254 16 456 694 456 694 128 366 470 708 442 680 16 254 142 380 282 44 58 296 722 484 44 282 792 554 170 408 58 296 792 554 366 128 268 30 554 792 442 680 72 310 366 128 666 428 666 428 100 338 554 792 324 86 296 58 366 128 366 128 142 380 792 554 778 540 352 114 554 792 114 352 352 114 352 114 708 470 484 722 540 778 540 778 114 352 44 282 764 526 114 352 100 338 666 428 456 694 750 512 268 30 778 540 30 268 694 456 456 694 722 484 526 764 268 30 540 778 526 764 764 526 352 114 30 268 456 694 44 282 282 44 30 268 268 30 282 44 694 456 268 30 484 722 764 526 72 310 694 456 44 282 86 324 72 310 282 44 540 778 254 16 484 722 666 428 512 750 72 310 666 428 30 268 352 114 778 540 352 114 428 666 526 764 540 778 268 30 694 456 128 366 128 366 666 428 30 268 442 680 324 86 58 296 540 778 526 764 58 296 666 428 526 764 128 366 470 708 792 554 352 114 736 498 792 554 44 282 114 352 142 380 792 554 456 694 540 778 694 456 366 128 296 58 442 680 282 44 540 778 456 694 526 764 310 72 680 442 254 16 282 44 16 254 30 268 736 498 428 666 310 72 680 442 778 540 30 268 114 352 778 540 722 484 778 540 778 540 442 680 366 128 282 44 142 380 366 128 750 512 526 764 666 428 352 114 764 526 680 442 680 442 58 296 268 30 778 540 142 380 722 484 498 736 540 778 128 366 498 736 268 30 554 792 428 666 30 268 16 254 156 394 736 498 44 282 708 470 324 86 540 778 268 30 778 540 30 268 428 666 352 114 778 540 554 792 442 680 394 156 380 652 470 708 792 554 778 540 16 428 114 352 708 470 666 428 442 680 512 750 268 30 512 750 296 58 540 778 338 100 268 30 484 722 540 778 310 72 428 666 484 722 310 72 44 282 666 428 470 708 156 394 44 282 652 414 414 652 540 778 352 114 100 338 142 380 268 30 442 680 352 114 736 498 268 30 470 708 128 366 58 296 736 498 352 114 310 72 708 470 44 282 498 736 366 128 540 778 708 470 366 128 30 268 442 680 58 296 750 512 114 352 540 778 470 708 296 58 554 792 30 268 722 484 680 442 666 428 554 792 652 414 30 268 44 282 380 142 792 554 338 100 428 666 764 526 764 526 722 484 100 338 512 750 282 44 680 442 142 380 100 338 268 30 470 708 58 296 268 30 114 352 254 16 44 282 30 268