Name | csp/rlfapScens/ normalized-scen7.xml |
MD5SUM | 4f1026eda97064116de2bf3bc78ace12 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 56 |
Best CPU time to get the best result obtained on this benchmark | 3600.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 2865 |
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 | 2865 |
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 | 1112597 | MSAT (TO) | 56 | 3600.08 | 3634.52 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112598 | MSAT (TO) | 79 | 3600.01 | 3618.32 |
AbsconMax 112 pc-w | 1112599 | MSAT (TO) | 111 | 1632.26 | 4000.09 |
AbsconMax 112 pc-d | 1112600 | MSAT (TO) | 111 | 1653.32 | 4000.06 |
Sugar++ v1.13+minisat-inc | 1112601 | MSAT (TO) | 268 | 3600.31 | 3631.9 |
Sugar v1.13+minisat | 1112602 | MSAT (TO) | 452 | 3600.18 | 3615.01 |
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: 56526 764 526 764 456 694 86 324 30 268 554 792 142 380 268 30 526 764 540 778 310 72 268 30 792 554 268 30 456 694 310 72 394 156 352 114 652 414 792 554 792 554 442 694 792 554 484 722 484 722 30 268 16 254 414 652 254 16 554 792 512 750 268 30 128 366 512 750 456 694 44 282 512 750 268 30 86 324 72 310 652 414 338 100 456 694 114 352 114 352 16 324 16 254 128 366 254 16 282 44 142 380 86 324 484 722 428 666 142 380 470 708 554 792 666 428 254 16 30 268 792 554 708 470 722 484 540 778 540 778 254 16 30 268 380 142 254 16 58 296 30 268 778 540 394 156 680 442 442 680 750 512 680 442 666 428 324 86 526 764 498 736 100 338 526 764 254 16 680 442 484 722 30 268 666 428 540 778 540 778 442 680 722 484 352 114 58 296 282 44 324 86 366 128 338 100 30 268 554 792 366 128 750 512 282 44 114 352 708 470 16 254 352 114 540 778 30 268 540 778 100 338 470 708 338 100 694 456 394 156 30 268 44 282 456 694 736 498 652 414 708 470 764 526 428 666 338 100 352 114 128 366 268 30 30 268 736 498 380 142 366 128 470 708 778 540 380 142 778 540 366 128 666 428 484 722 352 114 310 72 722 484 58 296 484 722 268 30 310 72 268 30 680 442 100 338 792 554 394 156 792 554 380 142 114 352 128 366 540 778 100 338 100 338 680 442 554 792 324 86 394 16 394 156 86 324 268 30 708 470 540 778 338 100 764 526 428 666 694 456 114 352 736 498 554 792 540 778 736 498 282 44 380 142 764 526 310 72 764 526 72 310 526 764 30 268 338 100 366 128 554 792 16 254 352 114 750 512 338 100 44 282 540 778 666 428 680 442 30 268 526 764 680 442 100 338 498 736 428 666