PB'12 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1120
Best CPU time to get the best result obtained on this benchmark0.170973
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of variables89
Total number of constraints28
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint2
Maximum length of a constraint47
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
PB10: pb_cplex 2010-06-29 (complete)3731268OPT1120 0.170973 0.0823451
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3731265OPT1120 0.263959 0.263389
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3731271OPT1120 0.306953 0.311838
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693102OPT1120 0.369943 0.371313
SCIP spx SCIP with SoPlex fixed (complete)3690770OPT1120 0.390939 0.392026
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3731269OPT1120 0.395939 0.396494
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691936OPT1120 0.398939 0.400133
clasp 2.0.6-R5325 (opt) (complete)3708938OPT1120 7.40387 7.40603
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687545OPT1120 17.5023 16.1401
PB07: bsolo 3.0.17 (complete)3731262OPT1120 18.4552 18.4616
SAT4J PB specific settings 2.3.2 snapshot (complete)3710534OPT1120 28.9696 27.4194
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687544OPT1120 41.7187 23.9307
PB12: minisatp 1.0-2-g022594c (complete)3723383OPT1120 50.1954 50.2073
PB07: minisat+ 1.14 (complete)3721135OPT1120 63.3424 63.3561
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3731263OPT1120 130.77 128.727
PB07: PB-clasp 2007-04-10 (complete)3731261OPT1120 133.456 133.62
pwbo 2.02 (complete)3725760OPT1120 141.133 70.5797
pb2satCp2 2012-05-19 (complete)3694698OPT1120 181.61 182.073
toysat 2012-06-01 (complete)3724979OPT1120 184.038 184.067
toysat 2012-05-17 (complete)3706606OPT1120 187.278 187.307
pwbo 2.0 (complete)3703459OPT1120 203.34 101.72
PB09: bsolo 3.1 (complete)3731264OPT1120 214.632 214.665
bsolo 3.2 (complete)3707772OPT1120 217.281 217.316
PB07: Pueblo 1.4 (incomplete)3719965OPT1120 270.587 270.631
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3731266OPT1120 289.67 287.774
npSolver inc (fixed) (complete)3748643OPT1120 358.642 358.719
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3731267OPT1120 408.702 221.895
npSolver inc-topDown (complete)3697890OPT1120 465.22 465.214
npSolver inc (complete)3699486OPT1120 473.639 473.771
PB11: Sat4j Res//CP 2.3.0 (complete)3731270OPT1120 522.317 283.762
npSolver 1.0 (fixed) (complete)3750239OPT1120 593.847 594.153
npSolver 1.0 (complete)3701082OPT1120 636.511 636.698
npSolver inc-topDown (fixed) (complete)3747047OPT1120 739.306 739.195
pb2sat 2012-05-19 (complete)3696294OPT1120 807.457 807.741
wbo 1.7 (complete)3704980? 1799.66 1800.02
wbo 1.72 (complete)3727281? 1799.97 1800.01
npSolver inc-topdown-quickBound (complete)3702678? (TO) 1800.29 1805.82
npSolver inc-topdown-quickBound (fixed) (complete)3751835? (TO) 1800.39 1829.22

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 1120
Solution found:
x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34
-x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63
x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x6 x7 -x9