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 CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.477927
Has Objective FunctionNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4400
Total number of constraints4562
Number of constraints which are clauses4482
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
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 NameTraceIDAnswerCPU timeWall clock time
PB07: PB-clasp 2007-04-10 (complete)3742775SAT 0.477927 0.439929
npSolver inc (fixed) (complete)3748111SAT 1.39679 1.40094
npSolver inc-topdown-quickBound (fixed) (complete)3751303SAT 1.40479 1.40583
npSolver 1.0 (fixed) (complete)3749707SAT 1.40679 1.40925
npSolver inc-topDown (fixed) (complete)3746515SAT 1.41178 1.42025
PB12: minisatp 1.0-2-g022594c (complete)3722851SAT 2.48362 2.48413
pwbo 2.0 (complete)3704385SAT 2.51462 2.50806
pwbo 2.02 (complete)3726686SAT 2.67359 2.67787
wbo 1.7 (complete)3704894SAT 2.88356 2.89161
wbo 1.72 (complete)3727195SAT 2.96355 2.97217
PB07: Pueblo 1.4 (incomplete)3720865SAT 3.41648 3.41728
PB10: borg-pb 10.05.30 (complete)3742781SAT 3.84241 4.85533
clasp 2.0.6-R5325 (dec) (complete)3708822SAT 4.25235 4.25323
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3689737SAT 4.96325 4.15424
PB07: minisat+ 1.14 (complete)3722231SAT 6.73198 6.7325
PB07: bsolo 3.0.17 (complete)3742776SAT 7.82781 7.83384
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3742780SAT 8.49171 7.75595
PB09: bsolo 3.1 (complete)3742778SAT 10.1945 10.1969
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3689736SAT 10.3224 4.46692
bsolo 3.2 (complete)3707656SAT 13.16 13.1632
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3742777SAT 14.7718 14.0307
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3742782SAT 15.9926 7.41312
PB11: Sat4j Res//CP 2.3.0 (complete)3742786SAT 17.4114 7.92893
SAT4J PB specific settings 2.3.2 snapshot (complete)3710002SAT 18.4012 17.4533
PB11: borg pb-dec-11.04.03 (complete)3742785SAT 53.5899 53.6225
toysat 2012-05-17 (complete)3706074SAT 92.7259 92.7601
toysat 2012-06-01 (complete)3724447SAT 92.7449 92.7796
PBPASSolver-CARD.SN 2012-05-28 (complete)3719147SAT 131.675 131.897
PBPASSolver-CARD.DP 2012-05-28 (complete)3718778SAT 510.534 510.749
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3742784? 1789.99 1790.27
PB09: SCIPspx SCIP with SoPLEX 1.4.1(24.4.2009) (complete)3742779? 1795.76 1796.05
SCIP spx standard SCIP with SoPlex standard fixed (complete)3692986? 1796.75 1797.04
SCIP spx SCIP with SoPlex fixed (complete)3690654? 1796.76 1797.05
SCIP spx E SCIP Exp with SoPlex fixed (complete)3691820? 1796.76 1797.04
PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)3742787? 1796.77 1797.05
pb2satCp2 2012-05-19 (complete)3694166? (problem) 0.045992 0.150159
pb2sat 2012-05-19 (complete)3695762? (problem) 0.047992 0.140404
npSolver 1.0 (complete)3700550? (problem) 0.049992 0.14955
npSolver inc-topdown-quickBound (complete)3702146? (problem) 0.050991 0.177109
npSolver inc-topDown (complete)3697358? (problem) 0.051991 0.210653
npSolver inc (complete)3698954? (problem) 0.052991 0.1467
PB10: pb_cplex 2010-06-29 (complete)3742783? (TO) 1800.24 628.616

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: 0
Solution found:
x1 x82 x198 x279 x319 x384 x440 x510 x543 x545 x547 x601 x672 x674 x676 x753 x831 x842 x862 x866 x915 x997 x1043 x1163 x1278 x1341 x1385
x1389 x1428 x1445 x1451 x1526 x1530 x1607 x1609 x1688 x1783 x1830 x1862 x1911 x1992 x2073 x2154 x2235 x2316 x2335 x2421 x2500 x2579 x2657
x2733 x2804 x2957 x2984 x3029 x3052 x3134 x3136 x3138 x3246 x3256 x3327 x3408 x3489 x3570 x3651 x3653 x3732 x3734 x3815 x3898 x3947 x4026
x4028 x4124 x4220 x4285 x4297 x4299 x4400