CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/logic-synthesis/
normalized-9symml.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/logic-synthesis/
normalized-9symml.xml
MD5SUM3923e65b26e9bab196294789fcec4151
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.212967
Satisfiable
(Un)Satisfiability was proved
Number of variables651
Number of constraints1648
Maximum constraint arity42
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1648
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271062086SAT 0.212967 0.218846
cpHydra k_401062103SAT 0.267958 0.275535
cpHydra k_101062102SAT 0.268958 0.276196
MDG-noprobe 2008-06-271062087SAT 0.282956 0.290772
Mistral-prime 1.3131062097SAT 0.283956 0.290143
casper zito1062099SAT 0.299953 0.308535
casper zao1062098SAT 0.375942 0.384259
bpsolver 2008-06-271062091SAT 0.539917 0.560635
Minion/Tailor 2008-07-041106469SAT 1.9547 2.00781
Abscon 112v4 ESAC1062101SAT 2.15867 2.19252
Sugar v1.13+minisat1062090SAT 2.16567 2.29116
Sugar v1.13+picosat1062089SAT 2.18467 2.28925
Abscon 112v4 AC1062100SAT 2.30365 2.35574
choco2_dwdeg 2008-06-261062093SAT 2.75258 2.77821
choco2_impwdeg 2008-06-261062092SAT 3.21651 3.29993
Concrete + CSP4J - Tabu Engine 2008-05-301062083SAT 54.9696 55.5172
Concrete + CSP4J - WMC Engine 2008-05-301062084SAT 64.2512 64.5992
Mistral-option 1.3141062096SAT 87.1757 87.6163
Concrete + CPS4J 2008-05-301062085SAT 108.996 110.075
galac E1062095? (TO) 1800 1816.12
galac M1062094? (TO) 1800.08 1801.82
SAT4J CSP 2008-06-131062088? (TO) 1800.14 1801.16

Additionnal information

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

Solution found:
1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1
0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0
0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 1
0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1
0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1
0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0