PB'12 competition: WBO track: solvers results per benchmarks

Result page for benchmark
/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo

Jump to solvers results

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/coloring/
normalized-geom30a-4_wcsp.wbo
MD5SUMde59a4d263badb761d8b1cfdb0f0d5d5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.001998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables120
Total number of constraints354
Number of soft constraints324
Number of constraints which are clauses324
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Top cost 82
Min constraint cost 1
Max constraint cost 1
Sum of constraints costs 324
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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
pwbo 2.01 (complete)3712625OPTIMUM 0.001998 0.0128491
wbo 1.71 (complete)3713034OPTIMUM 0.001998 0.0108481
pwbo 2.02 (complete)3728709OPTIMUM 0.002998 0.01207
wbo 1.72 (complete)3728300OPTIMUM 0.002999 0.0109
npSolver inc-topDown (fixed) (complete)3753755OPTIMUM 0.208967 0.209102
npSolver inc (fixed) (complete)3754448OPTIMUM 0.210967 0.213461
npSolver 1.0 (fixed) (complete)3755141OPTIMUM 0.221965 0.221359
npSolver inc-topdown-quickBound (fixed) (complete)3753062OPTIMUM 0.222965 0.221585
npSolver inc-topDown (complete)3715067OPTIMUM 0.264958 0.270087
npSolver inc-topdown-quickBound (complete)3715760OPTIMUM 0.272957 0.274598
npSolver inc (complete)3714374OPTIMUM 0.328949 0.327296
npSolver 1.0 (complete)3713681OPTIMUM 0.331949 0.339872
wbo2satCp2 2012-05-19 (complete)3717146OPTIMUM 0.339948 0.343712
wbo2sat 2012-05-19 (complete)3716453OPTIMUM 0.343947 0.348993
clasp 2.0.6-R5325 (complete)3711523OPTIMUM 3.10753 3.10945
Sat4j PB 2012-05-28 (complete)3718248OPTIMUM 19.641 18.2644
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)3717601OPTIMUM 28.7416 28.7519
toysat 2012-05-17 (complete)3712170OPTIMUM 176.475 176.507

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

cost of falsified constraints: 4
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 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115
x116 x117 -x118 -x119 -x120