Name | csp/os-gp/ normalized-gp10-07-1078.xml |
MD5SUM | 908bfa49dd2e2d5d6248d0009cefd018 |
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 | 17.8353 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1079 |
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 | 1112721 | OPTIMUM | 1 | 17.8353 | 20.471 |
Sugar v1.13+minisat | 1112722 | OPTIMUM | 1 | 45.6171 | 46.5879 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112717 | MSAT (TO) | 8 | 3600.09 | 3624.32 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112718 | MSAT (TO) | 11 | 3600.07 | 3602.72 |
AbsconMax 112 pc-d | 1112720 | ? | 114.973 | 116.089 | |
AbsconMax 112 pc-w | 1112719 | ? | 115.004 | 116.331 |
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: 11078 548 949 1072 1077 80 1064 1 669 79 78 39 875 1077 529 878 1 1073 0 949 38 818 482 0 57 63 68 481 1077 98 56 547 2 1075 870 563 1076 498 534 1 0 695 1 62 61 985 44 703 14 45 103 649 895 962 427 37 73 231 535 1074 689 11 1076 179 1 0 1075 961 15 83 84 37 890 48 80 31 277 67 13 0 891 697 1063 1066 797 9 879 499 87 1073 66 1077 1070 50 288 8 65 68 906 438 67