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 benchmark20
Best CPU time to get the best result obtained on this benchmark0.076988
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved YES
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
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 constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
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 81
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 81
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
PB07: bsolo 3.0.17 (complete)3732758OPT20 0.049991 0.0527841
PB10: pb_cplex 2010-06-29 (complete)3732764OPT20 0.076988 0.0729109
bsolo 3.2 (complete)3707883OPT20 0.178972 0.179936
PB09: bsolo 3.1 (complete)3732760OPT20 0.19097 0.191429
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3732767OPT20 0.565913 0.566883
PB12: minisatp 1.0-2-g022594c (complete)3723494OPT20 0.656899 0.657411
SCIP spx SCIP with SoPlex fixed (complete)3690881OPT20 0.666897 0.667559
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693213OPT20 0.668897 0.669596
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3732761OPT20 0.671896 0.674969
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692047OPT20 0.672897 0.673829
npSolver inc-topDown (complete)3698001OPT20 0.732888 0.735895
npSolver inc-topDown (fixed) (complete)3747158OPT20 0.734887 0.745284
npSolver inc-topdown-quickBound (complete)3702789OPT20 0.735887 0.742035
npSolver inc-topdown-quickBound (fixed) (complete)3751946OPT20 0.736887 0.739833
pb2satCp2 2012-05-19 (complete)3694809OPT20 0.738887 0.746784
PB07: minisat+ 1.14 (complete)3721271OPT20 0.947855 0.949767
npSolver inc (complete)3699597OPT20 0.948854 0.956278
pb2sat 2012-05-19 (complete)3696405OPT20 0.967852 0.967082
npSolver 1.0 (complete)3701193OPT20 0.994848 1.00803
npSolver 1.0 (fixed) (complete)3750350OPT20 1.00285 1.00472
npSolver inc (fixed) (complete)3748754OPT20 1.03484 1.03778
pwbo 2.0 (complete)3703570OPT20 1.70174 0.844817
pwbo 2.02 (complete)3725871OPT20 1.72174 0.862678
wbo 1.72 (complete)3727392OPT20 3.55146 3.5631
wbo 1.7 (complete)3705091OPT20 3.56246 3.56503
PB07: Pueblo 1.4 (incomplete)3720101OPT20 47.5598 47.5674
clasp 2.0.6-R5325 (opt) (complete)3709049SAT (TO)20 1800.03 1800.31
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3687816SAT (TO)20 1800.08 918.252
PB07: PB-clasp 2007-04-10 (complete)3732757SAT (TO)20 1800.14 1800.42
PB11: Sat4j Res//CP 2.3.0 (complete)3732766SAT (TO)20 1801.06 1081.44
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3732763SAT (TO)21 1800.01 1095.43
SAT4J PB specific settings 2.3.2 snapshot (complete)3710645SAT (TO)21 1800.51 1791.56
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3732765SAT22 1789.73 1790.01
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3732759SAT (TO)22 1800.53 1796.02
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3732762SAT (TO)22 1800.92 1796.32
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3687817SAT (TO)23 1800.72 1793.85
toysat 2012-06-01 (complete)3725090? (TO) 1800.03 1800.31
toysat 2012-05-17 (complete)3706717? (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: 20
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