Result page for benchmarknormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb

General information on the benchmark

 Name normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb MD5SUM 1141c23e5342793635b3f22754b52627 Bench Category OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) Best result obtained on this benchmark OPT Best value of the objective obtained on this benchmark 3 Best CPU time to get the best result obtained on this benchmark 0.149977 Has Objective Function YES Satisfiable YES (Un)Satisfiability was proved YES Best value of the objective function 3 Optimality of the best value was proved YES Number of variables 189 Total number of constraints 19 Number of constraints which are clauses 0 Number of constraints which are cardinality constraints (but not clauses) 0 Number of constraints which are nor clauses,nor cardinality constraints 19 Minimum length of a constraint 7 Maximum length of a constraint 63 Number of terms in the objective function 7 Biggest coefficient in the objective function 64 Number of bits for the biggest coefficient in the objective function 7 Sum of the numbers in the objective function 127 Number of bits of the sum of numbers in the objective function 7 Biggest number in a constraint 8192 Number of bits of the biggest number in a constraint 14 Biggest sum of numbers in a constraint 32512 Number of bits of the biggest sum of numbers 15 Number of products (including duplicates) 441 Sum of products size (including duplicates) 882 Number of different products 441 Sum of products size 882

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452056OPT3 0.149977 0.150296
SCIP spx 2 2011-06-10 (fixed) (complete)3484874OPT3 0.166973 0.167498
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450396OPT3 0.168973 0.169254
SCIP spx E_2 2011-06-10 (fixed) (complete)3488316OPT3 0.168973 0.169355
borg pb-opt-11.04.03 (complete)3481253OPT3 0.662898 0.743639
clasp 2.0-R4191-patched (fixed) (complete)3491629OPT3 8.69368 8.69299
clasp 2.0-R4191 [DEPRECATED] (complete)3469138OPT3 8.72667 8.7286
Sat4j Resolution 2.3.0 (complete)3458100OPT3 15.2397 14.1605
Sat4j Res//CP 2.3.0 (complete)3453716OPT3 33.5499 17.0411
bsolo 3.2 (complete)3462504OPT3 77.1353 77.134
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3465824? (TO)3 1800.07 1802.02
MinisatID 2.4.8 [DEPRECATED] (complete)3464164? (TO)3 1800.08 1800.02
MinisatID 2.5.2-gmp (fixed) (complete)3496137? (exit code) 0.000999 0.00582095
MinisatID 2.5.2 (fixed) (complete)3490037? (exit code) 0.000999 0.00575592
Sat4j CuttingPlanes 2.3.0 (complete)3455908? (TO) 1800.27 1792.4

```-x189 -x188 x187 -x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x126 x125 -x124 x123 -x122 x121 x120 -x175 -x174 -x173