# Result page for benchmarknormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=5-P1=53-P2=2-P3=3-P4=59-P5=29-P6=47-P7=67-P8=37-P9=43-B.opb

## General information on the benchmark

 Name normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=5-P1=53-P2=2-P3=3-P4=59-P5=29-P6=47-P7=67-P8=37-P9=43-B.opb MD5SUM 25f560c7f1432359ec7ec03d2820d955 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 2 Best CPU time to get the best result obtained on this benchmark 2.6206 Has Objective Function YES Satisfiable YES (Un)Satisfiability was proved YES Best value of the objective function 2 Optimality of the best value was proved YES Number of variables 162 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 6 Maximum length of a constraint 48 Number of terms in the objective function 6 Biggest coefficient in the objective function 32 Number of bits for the biggest coefficient in the objective function 6 Sum of the numbers in the objective function 63 Number of bits of the sum of numbers in the objective function 6 Biggest number in a constraint 2048 Number of bits of the biggest number in a constraint 12 Biggest sum of numbers in a constraint 8064 Number of bits of the biggest sum of numbers 13 Number of products (including duplicates) 324 Sum of products size (including duplicates) 648 Number of different products 324 Sum of products size 648

## Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
clasp 2.0-R4191 [DEPRECATED] (complete)3469265OPT2 2.38864 2.39435
clasp 2.0-R4191-patched (fixed) (complete)3491756OPT2 2.6206 2.62083
Sat4j Resolution 2.3.0 (complete)3458227OPT2 2.70259 1.96717
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete)3450523OPT2 5.40018 5.40004
Sat4j Res//CP 2.3.0 (complete)3453843OPT2 7.2439 3.78314
borg pb-opt-11.04.03 (complete)3481380OPT2 17.6233 17.6075
SCIP spx E_2 2011-06-10 (fixed) (complete)3488443OPT2 18.4622 18.4625
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete)3452183OPT2 23.5964 23.596
SCIP spx 2 2011-06-10 (fixed) (complete)3485001OPT2 24.1793 24.1803
bsolo 3.2 (complete)3462631OPT2 42.2316 42.2373
MinisatID 2.4.8 [DEPRECATED] (complete)3464291OPT2 51.1332 51.1314
MinisatID 2.4.8-gmp [DEPRECATED] (complete)3465951OPT2 115.309 115.32
Sat4j CuttingPlanes 2.3.0 (complete)3456035SAT (TO)3 1800.28 1790.57
MinisatID 2.5.2-gmp (fixed) (complete)3496264? (exit code) 0.000999 0.00589905
MinisatID 2.5.2 (fixed) (complete)3490164? (exit code) 0.000999 0.00578489

```-x1 x2 -x3 -x4 -x5 -x6 x7 -x8 x9 x10 x11 -x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 -x22 -x23 x24 x25 x26 x27 x28 -x29 x30 x31 -x32 x33 -x34