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

Result page for benchmark
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9027_6.std.opb

Jump to solvers results

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9027_6.std.opb
MD5SUM84d644b9de9641fbae71b6ccfca5f3d4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87
Best CPU time to get the best result obtained on this benchmark0.225965
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184347
Number of constraints which are clauses183147
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint75
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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)3709448OPT87 0.225965 0.227469
wbo 1.72 (complete)3727791OPT87 0.78188 0.780783
wbo 1.7 (complete)3705490OPT87 0.835872 0.832068
pwbo 2.02 (complete)3726270OPT87 1.23981 0.909516
pwbo 2.0 (complete)3703969OPT87 1.3378 0.985972
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3689359OPT87 2.93455 1.59523
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3740620OPT87 3.00454 1.57353
SAT4J PB specific settings 2.3.2 snapshot (complete)3711044OPT87 3.13352 1.65091
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3740617OPT87 3.23351 1.71117
PB11: Sat4j Res//CP 2.3.0 (complete)3740624OPT87 3.87241 2.63605
toysat 2012-06-01 (complete)3725489OPT87 3.9514 3.95393
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3740621OPT87 4.09238 3.60129
toysat 2012-05-17 (complete)3707116OPT87 4.11237 4.11465
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3689358OPT87 5.9131 3.07382
PB07: PB-clasp 2007-04-10 (complete)3740615OPT87 12.0032 11.9807
pb2satCp2 2012-05-19 (complete)3695208OPT87 19.774 21.0487
PB07: Pueblo 1.4 (incomplete)3720703OPT87 22.1626 22.1704
pb2sat 2012-05-19 (complete)3696804OPT87 30.8126 32.0642
npSolver 1.0 (fixed) (complete)3750749OPT87 44.8442 46.7128
PB12: minisatp 1.0-2-g022594c (complete)3723893OPT87 57.9812 57.9902
PB07: minisat+ 1.14 (complete)3722042OPT87 67.4667 67.497
PB10: pb_cplex 2010-06-29 (complete)3740622OPT87 67.8247 67.837
PB07: bsolo 3.0.17 (complete)3740616OPT87 114.856 114.885
bsolo 3.2 (complete)3708282OPT87 164.149 164.2
PB09: bsolo 3.1 (complete)3740618OPT87 167.536 167.577
SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)3692446OPT87 588.325 588.475
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)3693612OPT87 606.889 607.024
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3691280OPT87 751.389 751.567
npSolver inc-topDown (fixed) (complete)3747557? (problem) 19.61 27.56
npSolver inc (fixed) (complete)3749153? (problem) 19.68 25.9183
npSolver inc-topdown-quickBound (fixed) (complete)3752345? (problem) 19.8 27.9792
npSolver inc (complete)3699996? (problem) 20.38 29.3651
npSolver inc-topdown-quickBound (complete)3703188? (problem) 20.72 29.9514
npSolver 1.0 (complete)3701592? (problem) 23.0215 32.8178
npSolver inc-topDown (complete)3698400? (problem) 23.75 32.701
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)3740619? (TO) 1802.09 1802.43
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3740625? (TO) 1802.11 1802.43
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3740623? (TO) 1802.15 1802.44

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: 87
Solution found:
--too large--