Name | csp/rlfapScens11/ normalized-scen11-f10.xml |
MD5SUM | bc79be14db74a5ff6faf231971efa81f |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 17 |
Best CPU time to get the best result obtained on this benchmark | 3600.39 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 680 |
Number of constraints | 4103 |
Maximum constraint arity | 2 |
Maximum domain size | 34 |
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 | 1113112 | MSAT (TO) | 17 | 3600.39 | 3690.38 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113108 | MSAT (TO) | 20 | 3600.05 | 3615.72 |
AbsconMax 112 pc-d | 1113110 | MSAT (TO) | 26 | 1623.02 | 4000.08 |
AbsconMax 112 pc-w | 1113109 | MSAT (TO) | 26 | 1632.63 | 4000.06 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113107 | MSAT (TO) | 27 | 3600.07 | 3624.92 |
Sugar++ v1.13+minisat-inc | 1113111 | ? (MO) | 64.0963 | 66.6799 |
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: 17394 156 414 652 282 44 142 380 72 310 58 296 58 296 652 414 652 414 414 652 394 156 380 142 16 254 652 414 380 142 338 100 652 414 72 310 414 652 114 352 338 100 156 394 652 414 268 30 380 142 296 58 142 380 366 128 414 652 86 324 652 414 394 156 324 86 58 296 128 366 86 324 156 394 86 324 16 254 352 114 254 16 44 282 86 324 352 114 652 414 114 352 652 414 128 366 156 394 652 414 394 156 652 414 282 44 58 296 414 652 142 380 652 414 652 414 324 86 380 142 44 282 352 114 652 414 652 414 86 324 310 72 652 414 324 86 394 156 652 652 652 652 380 142 414 652 366 128 296 58 414 652 414 652 414 652 380 142 240 478 652 414 652 414 380 142 30 268 58 296 394 156 156 394 72 310 414 652 16 254 282 44 352 114 156 394 86 324 394 156 44 282 652 414 282 44 352 114 394 156 414 652 44 282 114 352 652 414 554 554 16 254 142 380 366 128 540 540 366 128 142 380 100 338 44 282 114 352 310 72 142 380 366 128 394 156 310 72 58 296 352 114 100 338 44 282 58 296 352 114 380 142 414 652 100 338 366 128 366 128 414 652 414 652 338 100 128 366 380 142 380 142 366 128 142 380 310 72 72 310 282 44 352 114 72 310 366 128 652 414 268 30 652 414 394 156 310 72 58 296 380 142 128 366 142 380 282 44 142 380 414 652 352 114 380 142 30 268 72 310 282 44 394 156 380 142 380 142 72 310 414 652 268 30 324 86 352 114 296 58 282 44 268 30 652 414 310 72 414 652 652 414 394 156 414 652 16 254 652 414 414 652 128 366 394 156 414 652 58 296 114 352 380 142 72 310 282 44 366 128 58 296 310 72 142 380 58 296 30 268 652 414 414 652 414 652 114 352 296 58 652 414 414 652 114 352 142 380 128 366 128 366 128 366 296 58 296 58 128 366 282 44 296 58 128 366 282 44 282 44 142 380 142 380 100 338 380 142 30 268 142 380 58 296 366 128 142 380 282 44 652 414 128 366 100 338 142 380 352 114 394 156 282 44 652 414 652 414 414 652 352 114 44 282 366 128 142 380 58 296 310 72 380 142 310 72 142 380 310 72 380 142 414 652 394 156 652 414 310 72 114 352 456 652 470 554 540 484 254 16 414 652 352 114 30 268 142 380 310 72 380 142 72 310 58 296 394 156 72 310 44 282 380 142 142 380 58 296 380 142 142 380 142 380 72 310 380 142 268 30 268 30 30 268 352 114 394 156 414 652 142 380 128 366 156 394 142 380 366 128 142 380 310 72 380 142 128 366 352 114 366 128 366 128 142 380 72 310 652 414 352 114 128 366 380 142 30 268 296 58 142 380 282 44 540 540 380 142 310 72 156 394 86 324 380 142 324 86 394 156 72 310 380 142 156 394 296 58 72 310 324 86 652 414 296 58 128 366 414 652 380 142 44 282 380 142 352 114 58 296 72 310 380 142 44 282 142 380 310 72 296 58 352 114 296 58 282 44 30 268 652 414 128 366 156 394 72 310 380 142