Name | csp/rlfapGraphs/ normalized-graph7.xml |
MD5SUM | d5ac1af3e5506a5d58ff2a1c5fb2e32e |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 10 |
Best CPU time to get the best result obtained on this benchmark | 245.576 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2170 |
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 | 2170 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Sugar++ v1.13+minisat-inc | 1113081 | OPTIMUM | 10 | 245.576 | 248.435 |
Sugar v1.13+minisat | 1113082 | OPTIMUM | 10 | 386.808 | 390.927 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113077 | MSAT (TO) | 10 | 3600.07 | 3603.82 |
AbsconMax 112 pc-w | 1113079 | MSAT (TO) | 19 | 1631.99 | 4000.14 |
AbsconMax 112 pc-d | 1113080 | MSAT (TO) | 19 | 1646.4 | 4000.04 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113078 | MSAT (TO) | 60 | 3600.01 | 3610.72 |
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: 1072 310 666 428 778 540 58 296 16 254 156 394 324 86 30 268 736 498 694 456 680 442 30 268 792 554 792 554 722 484 44 282 750 512 666 428 792 554 16 254 156 394 156 394 170 408 694 456 16 254 240 478 16 254 666 428 722 484 156 394 240 478 736 498 16 254 778 540 764 526 792 554 16 254 16 254 128 366 792 554 792 554 114 352 778 540 680 442 722 484 128 366 708 470 30 268 680 442 16 254 58 296 16 254 652 414 44 282 764 526 240 478 792 554 778 540 792 554 554 792 778 540 114 352 72 310 652 414 142 380 722 484 722 484 72 310 708 470 16 254 652 414 666 428 708 470 240 478 44 282 44 282 778 540 58 296 128 366 708 470 694 456 16 254 778 540 100 338 170 408 170 408 694 456 792 554 128 366 708 470 240 478 156 394 652 414 72 310 764 526 792 554 240 478 16 254 792 554 72 310 750 512 792 554 694 456 100 338 792 554 680 442 694 456 114 352 142 380 240 478 792 554 764 526 44 282 778 540 792 554 722 484 16 254 86 324 16 254 128 366 694 456 16 254 128 366 170 408 708 470 44 282 240 478 58 296 652 414 554 792 680 442 792 554 750 512 16 254 100 338 764 526 240 478 142 380 100 338 100 338 16 254 240 478 666 428 750 512 114 352 156 394 680 442 792 554 722 484 792 554 16 254 16 254 114 352 750 512 792 554 100 338 778 540 722 484 86 324 736 498 44 282 128 366 708 470 30 268 128 366 666 428 128 366 778 540 694 456 58 296 58 296 128 366 680 442 16 254 652 414 694 456 792 554 694 456 778 540 170 408 16 254 114 352 792 554 792 554 764 526 736 498 708 470 30 268 58 296 778 540 86 324 16 254 240 478 72 310 128 366 694 456 170 408 114 352 708 470 680 442