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

Result page for benchmark
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
MD5SUMe08ecfd57c94ad308d25fa5893f23db0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark197
Best CPU time to get the best result obtained on this benchmark0.005998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 197
Optimality of the best value was proved YES
Number of variables99
Total number of constraints244
Number of constraints which are clauses243
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint81
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 94363
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 355484
Number of bits of the biggest sum of numbers19
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
clasp 2.0.6-R5325 (opt) (complete)3709249OPT197 0.005998 0.00729099
PB12: minisatp 1.0-2-g022594c (complete)3723694OPT197 0.014997 0.015932
PB07: bsolo 3.0.17 (complete)3734298OPT197 0.023995 0.0248979
PB07: minisat+ 1.14 (complete)3721426OPT197 0.026995 0.0275949
pwbo 2.0 (complete)3703770OPT197 0.040992 0.019949
pwbo 2.02 (complete)3726071OPT197 0.041992 0.0175541
wbo 1.72 (complete)3727592OPT197 0.041993 0.0432059
wbo 1.7 (complete)3705291OPT197 0.043993 0.042285
PB10: pb_cplex 2010-06-29 (complete)3734304OPT197 0.045992 0.048751
PB07: Pueblo 1.4 (incomplete)3720215OPT197 0.046992 0.0493919
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734305OPT197 0.048991 0.0518249
PB07: PB-clasp 2007-04-10 (complete)3734297OPT197 0.068988 0.0675029
PB09: bsolo 3.1 (complete)3734300OPT197 0.079987 0.079276
pb2sat 2012-05-19 (complete)3696605OPT197 0.082987 0.091841
pb2satCp2 2012-05-19 (complete)3695009OPT197 0.093985 0.0615499
npSolver inc-topDown (fixed) (complete)3747358OPT197 0.105983 0.107304
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3691081OPT197 0.107983 0.109777
toysat 2012-06-01 (complete)3725290OPT197 0.108982 0.113724
bsolo 3.2 (complete)3708083OPT197 0.108982 0.110635
toysat 2012-05-17 (complete)3706917OPT197 0.110982 0.111646
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3692247OPT197 0.119981 0.120769
npSolver inc (fixed) (complete)3748954OPT197 0.12198 0.127962
npSolver 1.0 (fixed) (complete)3750550OPT197 0.202968 0.21144
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688127OPT197 0.334948 0.212921
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3693413OPT197 0.384941 0.3859
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734299OPT197 0.45493 0.240465
SAT4J PB specific settings 2.3.2 snapshot (complete)3710845OPT197 0.464928 0.263264
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734302OPT197 0.482926 0.262271
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734307OPT197 0.515921 0.517357
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688126OPT197 0.58491 1.16369
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3734301OPT197 0.58691 0.588328
PB11: Sat4j Res//CP 2.3.0 (complete)3734306OPT197 0.843871 1.19295
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734303OPT197 0.874866 2.1612
npSolver inc-topdown-quickBound (complete)3702989OPT197 1.54576 1.55322
npSolver inc-topDown (complete)3698201OPT197 1.58976 1.61738
npSolver inc (complete)3699797OPT197 2.95555 2.97339
npSolver 1.0 (complete)3701393OPT197 3.00254 3.07698
npSolver inc-topdown-quickBound (fixed) (complete)3752146? (TO) 1800.07 1871.52

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: 197
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