Name | csp/rlfapGraphs/ normalized-graph11.xml |
MD5SUM | 0b8f61cff14be8331608c679982edff3 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 26 |
Best CPU time to get the best result obtained on this benchmark | 3600.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 3757 |
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 | 3757 |
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 | 1113083 | MSAT (TO) | 26 | 3600.07 | 3628.02 |
AbsconMax 112 pc-w | 1113085 | MSAT (TO) | 44 | 1655.52 | 4000.07 |
AbsconMax 112 pc-d | 1113086 | MSAT (TO) | 44 | 1676.43 | 4000.05 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113084 | MSAT (TO) | 194 | 3600.1 | 3634.52 |
Sugar v1.13+minisat | 1113088 | MSAT (TO) | 310 | 3600.21 | 3635.25 |
Sugar++ v1.13+minisat-inc | 1113087 | No Cert. | 56.4704 | 58.5396 |
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: 2630 268 72 310 722 484 156 394 16 254 240 478 240 478 694 456 16 254 792 554 708 470 254 16 44 282 100 338 72 310 792 554 142 380 44 282 170 408 86 324 792 554 722 484 694 456 680 442 16 254 240 478 792 554 778 540 652 414 58 296 156 394 680 442 16 254 16 254 142 380 44 282 16 254 722 484 736 498 722 484 58 296 16 254 792 554 736 498 792 554 16 254 128 366 778 540 694 456 142 380 792 554 666 428 30 268 792 554 694 456 750 512 16 30 792 554 170 408 694 456 100 338 764 526 792 652 750 512 240 478 156 394 16 254 652 414 170 408 100 338 114 352 680 442 72 310 310 72 680 442 652 414 792 554 652 414 142 380 114 352 750 512 16 254 16 254 792 554 666 428 86 324 736 498 778 540 86 324 86 324 792 554 310 72 156 394 128 366 792 554 652 414 792 554 16 254 156 394 652 414 764 526 44 282 764 526 44 282 16 254 128 366 764 526 128 366 694 456 708 470 708 470 666 428 708 470 114 352 792 554 142 380 72 310 722 484 778 540 666 428 778 540 764 526 16 254 792 554 708 470 792 554 170 408 694 456 86 324 750 512 44 282 30 268 100 338 100 338 666 428 792 792 16 254 16 254 44 282 722 484 792 554 114 352 792 554 16 254 764 526 708 470 736 498 114 352 792 554 666 428 708 470 792 554 736 498 30 268 58 296 30 268 240 478 156 394 142 380 170 408 16 254 792 554 666 428 30 268 16 254 240 478 708 470 16 254 240 478 750 512 722 484 240 478 750 512 30 268 708 470 792 736 58 296 792 554 72 310 170 408 44 282 72 310 764 526 792 554 100 338 240 478 240 478 16 254 764 526 680 442 100 338 16 254 736 498 722 484 16 254 736 498 680 442 114 352 44 282 114 352 16 254 764 526 142 380 16 254 30 268 792 554 16 254 652 414 708 470 156 394 142 380 792 554 114 352 680 442 652 414 72 310 44 282 792 554 792 554 722 484 128 366 414 652 16 254 72 310 792 554 680 442 792 554 44 282 792 554 792 554 778 540 16 16 652 414 666 428 156 394 778 540 170 408 128 366 170 408 736 498 16 254 86 324 652 414 750 512 100 338 778 540 58 296 694 456 58 296 792 554 72 310 30 268 72 310 16 254 652 414 16 254 114 352 16 254 156 394 30 268 100 338 708 470 694 456 72 310 666 428 30 268 240 478 666 428 16 254 16 254 30 268 58 296 764 526 16 254 142 380 58 296 666 428 680 442 792 554 764 526 16 254 128 366 666 428 58 296 100 338 114 352 86 324 680 442 792 554 16 254 44 282 792 554 792 792 170 408 30 268 792 554 86 324 16 254 722 484 750 512 680 442 764 526 736 498 792 554 114 352 156 394 764 526 170 408 170 408 694 456 792 554 792 554 170 408 694 456 750 512 142 380 764 526 100 338 16 254 652 414 722 484 722 484 58 296 16 254 792 554 778 540 72 310 30 268 764 526 16 254 86 324 100 338 680 442 156 394 722 484 792 554 736 498 694 456 764 526 156 394