Name | csp/os-gp/ normalized-gp10-10-1091.xml |
MD5SUM | 9f54fd75280d694b49452e249c1f9968 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MOPT |
Best Number of falsified constraints | 1 |
Best CPU time to get the best result obtained on this benchmark | 16.0946 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1092 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1000 |
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 | 1112727 | OPTIMUM | 1 | 16.0946 | 16.4484 |
Sugar v1.13+minisat | 1112728 | OPTIMUM | 1 | 45.6201 | 47.4453 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112723 | MSAT (TO) | 7 | 3600.04 | 3607.02 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112724 | MSAT (TO) | 11 | 3600.04 | 3607.12 |
AbsconMax 112 pc-w | 1112725 | ? | 85.297 | 86.2805 | |
AbsconMax 112 pc-d | 1112726 | ? | 88.9595 | 89.636 |
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: 11091 560 764 279 554 766 369 14 410 1 0 745 744 0 617 1087 1089 1085 1027 31 18 512 6 499 9 1088 532 1080 1082 994 1090 1090 101 365 0 1086 265 1089 104 23 410 1082 1090 3 672 5 990 1088 1089 938 4 28 11 518 499 1 390 13 27 26 315 1068 148 6 1090 763 5 3 1091 837 2 557 26 426 579 1090 431 580 273 999 43 23 766 5 616 764 65 248 61 617 42 311 38 94 850 0 37 7 542 1090 310