Name | csp/os-gp/ normalized-gp10-05-1070.xml |
MD5SUM | 76853a39367362e3e4e459176be1a8ba |
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 | 27.8248 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1071 |
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 | 1112709 | OPTIMUM | 1 | 27.8248 | 28.6659 |
Sugar v1.13+minisat | 1112710 | OPTIMUM | 1 | 67.2008 | 68.4001 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112705 | MSAT (TO) | 9 | 3600.01 | 3624.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112706 | MSAT (TO) | 12 | 3600.04 | 3614.82 |
AbsconMax 112 pc-d | 1112708 | ? | 76.8403 | 77.7633 | |
AbsconMax 112 pc-w | 1112707 | ? | 80.2958 | 81.177 |
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: 11070 19 98 239 1062 23 987 1069 1058 994 533 631 940 44 185 86 939 43 786 520 42 68 75 76 0 180 480 932 1059 1060 48 7 0 547 878 1004 1066 6 10 498 509 792 1 0 509 1066 49 1061 609 1058 300 468 630 21 1067 12 1042 767 937 22 11 1066 756 180 3 538 219 0 1069 519 953 1060 275 39 1068 10 1067 1066 1002 648 49 1054 48 38 1028 757 1027 62 1060 1059 1066 69 68 845 552 482 48 61 483 13 47