Name | csp/rlfapScens11/ normalized-scen11-f7.xml |
MD5SUM | a673a47612e40743ebfb56a57b81bb4c |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 5 |
Best CPU time to get the best result obtained on this benchmark | 3600.33 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Maximum constraint arity | 2 |
Maximum domain size | 37 |
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 |
---|---|---|---|---|---|
Sugar v1.13+minisat | 1113118 | MSAT (TO) | 5 | 3600.33 | 3616.98 |
AbsconMax 112 pc-w | 1113115 | MSAT (TO) | 8 | 1668.84 | 4000.1 |
AbsconMax 112 pc-d | 1113116 | MSAT (TO) | 8 | 1694.79 | 4000.09 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113114 | MSAT (TO) | 9 | 3600.01 | 3626.62 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113113 | MSAT (TO) | 9 | 3600.09 | 3633.82 |
Sugar++ v1.13+minisat-inc | 1113117 | ? (MO) | 78.999 | 80.9308 |
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: 5414 652 128 366 666 428 666 428 128 366 72 310 310 72 456 694 442 680 694 456 680 442 666 428 310 72 680 442 380 142 456 694 442 680 86 324 414 652 310 72 694 456 310 72 428 666 128 366 100 338 128 366 296 58 156 394 652 414 456 694 156 394 282 44 694 456 142 380 428 666 456 694 394 156 296 58 366 128 442 680 338 100 366 128 254 16 652 414 442 680 352 114 442 680 694 456 156 394 694 456 680 442 394 156 456 694 142 380 680 442 352 114 442 680 666 428 694 456 142 380 100 338 442 680 694 456 694 456 666 428 380 142 442 680 428 666 338 100 484 142 414 652 254 16 694 456 310 72 666 428 456 694 456 694 414 652 456 694 478 240 310 72 456 694 652 414 296 58 128 366 268 30 442 680 114 352 694 456 30 268 114 352 442 680 652 414 100 338 694 456 352 114 666 428 694 456 156 394 442 680 694 456 442 680 58 296 442 680 324 86 254 16 442 680 456 694 86 324 366 128 694 456 296 58 142 380 456 694 666 428 282 44 666 428 156 394 680 442 310 72 86 324 114 352 380 142 128 366 694 456 142 380 156 394 310 72 310 72 680 442 156 394 442 680 694 456 442 680 114 352 442 680 428 666 142 380 456 694 310 72 380 142 142 380 694 456 456 694 694 456 428 666 666 428 338 100 694 456 380 142 338 100 456 694 666 428 30 268 428 666 652 414 666 428 128 366 456 694 128 366 694 456 254 16 428 666 142 380 456 694 394 156 428 666 666 428 380 142 380 142 72 310 694 456 694 456 694 456 156 394 428 666 694 456 380 142 652 414 456 694 442 680 456 694 86 324 428 666 694 456 114 352 666 428 366 128 72 310 680 442 456 694 680 442 380 142 456 694 366 128 414 652 456 694 680 442 58 296 428 666 652 414 456 694 58 296 282 44 142 380 666 428 142 380 456 694 456 694 666 428 442 680 680 442 128 366 680 442 428 666 310 72 352 114 428 666 694 456 680 442 428 666 680 442 142 380 680 442 380 142 394 156 428 666 296 58 442 680 72 310 456 694 428 666 394 156 694 456 16 254 44 282 282 44 380 142 310 72 428 666 680 442 456 694 680 442 380 142 680 442 456 694 680 442 666 428 380 142 324 86 456 694 352 114 414 652 156 394 554 554 72 310 142 380 428 666 44 282 694 456 694 456 380 142 428 666 680 442 680 442 366 128 428 666 680 442 456 694 442 680 666 428 680 442 456 694 114 352 128 366 366 128 694 456 680 442 100 338 100 338 456 694 352 114 156 394 128 366 666 428 442 680 666 428 380 142 456 694 128 366 142 380 694 456 380 142 442 680 428 666 694 456 428 666 694 456 142 380 456 694 142 380 72 310 30 268 652 414 666 428 694 456 380 142 694 456 428 666 366 128 666 428 324 86 456 694 394 156 680 442 652 414 680 442 456 694 142 380 680 442 428 666 680 442 694 456 666 428 72 310 456 694 366 128 680 442 442 680 142 380 456 694 142 380 142 380 128 366 442 680 456 694 414 652 366 128 680 442 156 394