Name | csp/rlfapScens11/ normalized-scen11-f4.xml |
MD5SUM | fd413cfecf35e255c4bf22fb461ea1f3 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 3 |
Best CPU time to get the best result obtained on this benchmark | 1652.73 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Maximum constraint arity | 2 |
Maximum domain size | 40 |
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 |
---|---|---|---|---|---|
AbsconMax 112 pc-d | 1113158 | MSAT (TO) | 3 | 1652.73 | 4000.09 |
AbsconMax 112 pc-w | 1113157 | MSAT (TO) | 3 | 1658.99 | 4000.06 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113156 | MSAT (TO) | 3 | 3600.04 | 3605.52 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113155 | MSAT (TO) | 3 | 3600.08 | 3635.72 |
Sugar v1.13+minisat | 1113160 | MSAT (TO) | 4 | 3600.34 | 3611.67 |
Sugar++ v1.13+minisat-inc | 1113159 | MSAT (MO) | 438 | 69.1676 | 74.0842 |
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: 3736 498 352 114 268 30 254 16 652 414 296 58 128 366 296 58 442 680 254 16 428 666 72 310 722 484 282 44 72 310 324 86 708 470 652 414 44 282 652 414 380 142 680 442 16 254 86 324 652 414 470 708 30 268 16 254 736 498 296 58 736 498 484 722 554 156 254 16 352 114 44 282 414 652 100 338 498 736 722 484 338 100 72 310 428 666 142 380 324 86 142 380 498 736 296 58 652 414 16 254 156 394 44 282 722 484 254 16 296 58 456 694 156 394 470 708 428 666 268 30 100 338 268 30 310 72 282 44 428 666 414 652 324 86 366 128 296 58 736 498 324 86 352 114 338 100 268 30 338 100 414 652 470 708 722 484 324 86 240 478 324 86 498 736 324 86 652 414 498 736 16 254 86 324 484 722 156 394 16 254 268 30 456 694 296 58 498 736 254 16 442 680 16 254 282 44 428 666 114 352 652 414 428 666 736 498 58 296 484 722 254 16 114 352 694 456 310 72 380 142 142 380 736 498 30 268 114 352 324 86 30 268 352 114 338 100 708 470 268 30 708 470 428 666 428 666 736 498 44 282 268 30 666 428 736 498 44 282 128 366 254 16 72 310 44 282 128 366 736 498 736 498 100 338 86 324 30 268 30 268 470 708 680 442 30 268 86 324 484 722 352 114 694 456 86 324 352 114 282 44 428 666 58 296 456 694 114 352 268 30 736 498 30 268 296 58 456 694 456 694 380 142 86 324 498 736 442 680 282 44 16 254 442 680 666 428 44 282 268 30 484 722 296 58 268 30 394 156 44 282 456 694 666 428 58 296 652 414 100 338 282 44 128 366 456 694 142 380 456 694 666 428 30 268 722 484 100 338 498 736 708 470 44 282 470 708 310 72 142 380 72 310 282 44 352 114 470 708 142 380 254 16 114 352 128 366 142 380 680 442 128 366 282 44 708 470 484 722 324 86 380 142 470 708 324 86 296 58 470 708 296 58 380 142 708 470 470 708 352 114 338 100 380 142 310 72 86 324 680 442 100 338 86 324 484 722 442 680 282 44 142 380 310 72 456 694 470 708 30 268 72 310 156 394 114 352 680 442 30 268 380 142 470 708 268 30 666 428 282 44 366 128 72 310 442 680 666 428 282 44 498 736 254 16 666 428 254 16 414 652 352 114 736 498 498 736 380 142 128 366 428 666 114 352 456 694 254 16 86 324 366 128 680 442 708 470 58 296 666 428 366 128 442 680 30 268 666 428 366 128 254 16 338 100 268 30 428 666 324 86 366 128 498 736 694 456 128 366 722 484 296 58 666 428 324 86 708 470 498 736 324 86 498 736 72 310 484 722 456 694 86 324 498 736 338 100 736 498 484 722 310 72 498 736 680 442 652 414 722 484 456 694 456 694 142 380 456 694 296 58 100 338 142 380 254 16 498 736 86 324 338 100 652 414 484 722 498 736 680 442 324 86 708 470 282 44 736 498 708 470 114 352 736 498 694 456 694 456 30 268 366 128 114 352 128 366 30 268 722 484 324 86 498 736 722 484 680 442 16 254