Name | csp/os-gp/ normalized-gp10-03-1080.xml |
MD5SUM | 14eedee9c12a9c9dc9213405adc79384 |
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 | 21.0368 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 1000 |
Maximum constraint arity | 2 |
Maximum domain size | 1081 |
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 | 1112757 | OPTIMUM | 1 | 21.0368 | 21.6795 |
Sugar v1.13+minisat | 1112758 | OPTIMUM | 1 | 51.5692 | 53.1902 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112753 | MSAT (TO) | 8 | 3600.08 | 3619.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112754 | MSAT (TO) | 11 | 3600.08 | 3629.92 |
AbsconMax 112 pc-w | 1112755 | ? | 95.0066 | 96.3057 | |
AbsconMax 112 pc-d | 1112756 | ? | 98.459 | 98.9908 |
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: 11080 1045 1077 188 1011 9 983 326 358 892 49 674 875 55 21 52 888 979 20 663 172 0 1057 1079 469 1065 994 143 323 371 1064 613 1056 332 19 7 21 20 179 665 922 835 1058 1078 1 719 191 345 112 18 1079 666 17 52 74 75 979 684 19 986 16 82 879 1014 113 72 364 117 17 125 1078 550 19 620 1020 1079 18 16 909 17 662 113 1019 621 1079 8 1078 57 1074 456 1076 516 534 21 115 817 1075 1079 22 113 1077