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 benchmark67
Best CPU time to get the best result obtained on this benchmark0.003998
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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 65536
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 273918
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)3709267OPT67 0.003998 0.0063829
PB12: minisatp 1.0-2-g022594c (complete)3723712OPT67 0.014997 0.0128181
PB07: bsolo 3.0.17 (complete)3734155OPT67 0.019996 0.02335
PB07: Pueblo 1.4 (incomplete)3720202OPT67 0.021995 0.021971
PB07: minisat+ 1.14 (complete)3721413OPT67 0.021996 0.021801
PB09: bsolo 3.1 (complete)3734157OPT67 0.040992 0.041981
pwbo 2.02 (complete)3726089OPT67 0.041992 0.016982
wbo 1.72 (complete)3727610OPT67 0.041993 0.0401911
bsolo 3.2 (complete)3708101OPT67 0.046992 0.0480609
PB07: PB-clasp 2007-04-10 (complete)3734154OPT67 0.046992 0.047282
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3734162OPT67 0.055991 0.057632
toysat 2012-06-01 (complete)3725308OPT67 0.079986 0.0819729
toysat 2012-05-17 (complete)3706935OPT67 0.080986 0.08162
npSolver inc-topDown (fixed) (complete)3747376OPT67 0.085986 0.0884769
npSolver inc-topdown-quickBound (fixed) (complete)3752164OPT67 0.101984 0.103817
SCIP spx E SCIP Exp with SoPlex fixed (complete)3692265OPT67 0.112981 0.113711
SCIP spx SCIP with SoPlex fixed (complete)3691099OPT67 0.112982 0.114885
npSolver inc (fixed) (complete)3748972OPT67 0.116982 0.122669
npSolver 1.0 (fixed) (complete)3750568OPT67 0.178972 0.17962
pb2satCp2 2012-05-19 (complete)3695027OPT67 0.182971 0.185658
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3734156OPT67 0.353945 0.229683
pb2sat 2012-05-19 (complete)3696623OPT67 0.359944 0.362735
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688101OPT67 0.363944 0.217237
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3734164OPT67 0.408937 0.410665
SCIP spx standard SCIP with SoPlex standard fixed (complete)3693431OPT67 0.421935 0.423828
SAT4J PB specific settings 2.3.2 snapshot (complete)3710863OPT67 0.423934 0.247129
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3734159OPT67 0.45393 0.253758
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3734158OPT67 0.518921 0.520548
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688100OPT67 0.624904 1.67396
PB10: pb_cplex 2010-06-29 (complete)3734161OPT67 0.743886 0.32608
PB11: Sat4j Res//CP 2.3.0 (complete)3734163OPT67 0.943855 1.68991
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3734160OPT67 1.16382 3.16133
npSolver inc-topDown (complete)3698219OPT67 4.40633 4.41053
npSolver inc-topdown-quickBound (complete)3703007OPT67 5.21121 5.21393
npSolver 1.0 (complete)3701411OPT67 13.7049 13.7816
npSolver inc (complete)3699815OPT67 13.9599 14.0232
wbo 1.7 (complete)3705309Wrong Cert. 0.032994 0.0267739
pwbo 2.0 (complete)3703788Wrong Cert. 0.051991 0.024129

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