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 benchmark5
Best CPU time to get the best result obtained on this benchmark0.399938
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint30
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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)3734678OPT5 0.399938 0.261536
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734681OPT5 1.66574 1.66686
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3734675OPT5 1.70174 1.70256
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693358OPT5 1.74073 1.74261
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692192OPT5 1.74773 1.7496
SCIP spx SCIP with SoPlex fixed (complete)3691026OPT5 1.85372 1.85647
npSolver 1.0 (fixed) (complete)3750495OPT5 4.54131 4.54608
pb2satCp2 2012-05-19 (complete)3694954OPT5 8.07777 8.08723
pb2sat 2012-05-19 (complete)3696550OPT5 8.20175 8.19966
npSolver inc (complete)3699742OPT5 9.35158 9.35849
npSolver inc (fixed) (complete)3748899OPT5 11.0563 11.0599
PB07: Pueblo 1.4 (incomplete)3720249OPT5 22.3256 22.3326
PB07: bsolo 3.0.17 (complete)3734672OPT5 29.1346 29.143
npSolver inc-topdown-quickBound (complete)3702934OPT5 37.2963 37.3107
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688195OPT5 38.5501 36.9923
npSolver inc-topDown (complete)3698146OPT5 38.7501 38.7617
PB09: bsolo 3.1 (complete)3734674OPT5 42.4176 42.425
bsolo 3.2 (complete)3708028OPT5 42.9685 42.9764
PB12: minisatp 1.0-2-g022594c (complete)3723639OPT5 56.2135 56.2251
clasp 2.0.6-R5325 (opt) (complete)3709194OPT5 77.9371 77.9523
npSolver 1.0 (complete)3701338OPT5 78.798 78.8145
PB07: minisat+ 1.14 (complete)3721460OPT5 99.0369 99.0533
npSolver inc-topdown-quickBound (fixed) (complete)3752091OPT5 107.64 107.801
npSolver inc-topDown (fixed) (complete)3747303OPT5 108.124 108.144
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734679OPT5 125.832 125.86
PB07: PB-clasp 2007-04-10 (complete)3734671OPT5 126.985 127.035
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688194OPT5 356.969 183.744
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734677OPT5 455.576 263.297
SAT4J PB specific settings 2.3.2 snapshot (complete)3710790OPT5 586.408 582.804
PB11: Sat4j Res//CP 2.3.0 (complete)3734680OPT5 1009.59 599.453
pwbo 2.02 (complete)3726016SAT (TO)6 1800.02 900.226
pwbo 2.0 (complete)3703715SAT (TO)6 1800.02 900.23
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734673SAT (TO)6 1801.53 1798.82
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734676SAT (TO)6 1802.26 1799.25
wbo 1.7 (complete)3705236? 1799.5 1800.01
wbo 1.72 (complete)3727537? 1799.86 1800.01
toysat 2012-06-01 (complete)3725235? (TO) 1800.03 1800.31
toysat 2012-05-17 (complete)3706862? (TO) 1800.03 1800.31

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: 5
Solution found:
-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 -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 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100