CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/pseudo/fpga/
normalized-fpga-14-12.xml

Jump to solvers results

General information on the benchmark

Namecsp/pseudo/fpga/
normalized-fpga-14-12.xml
MD5SUM5e459cb24b9505f34c277661767e10ef
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.598908
Satisfiable
(Un)Satisfiability was proved
Number of variables252
Number of constraints206
Maximum constraint arity14
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension206
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
casper zao1062350SAT 0.598908 0.611804
Sugar v1.13+picosat1062341SAT 1.24181 1.33307
choco2_impwdeg 2008-06-261062344SAT 1.36679 1.41968
casper zito1062351SAT 2.05569 2.07877
galac E1062347SAT 2.05769 2.13482
Concrete + CPS4J 2008-05-301062337SAT 2.28165 2.35653
galac M1062346SAT 2.34964 2.46473
Mistral-option 1.3141062348SAT 2.78657 2.84775
Abscon 112v4 AC1062352SAT 6.18406 6.25626
Abscon 112v4 ESAC1062353SAT 10.1735 10.3059
choco2_dwdeg 2008-06-261062345SAT 257.221 257.353
bpsolver 2008-06-271062343SAT 892.64 900.307
MDG-noprobe 2008-06-271062339? (TO) 1800.02 1814.31
Concrete + CSP4J - WMC Engine 2008-05-301062336? (TO) 1800.03 1813.72
MDG-probe 2008-06-271062338? (TO) 1800.04 1809.81
Sugar v1.13+minisat1062342? (TO) 1800.04 1811.73
cpHydra k_401062355? (TO) 1800.05 1817.83
Mistral-prime 1.3131062349? (TO) 1800.06 1828.51
cpHydra k_101062354? (TO) 1800.08 1838.73
Minion/Tailor 2008-07-041106325? (TO) 1800.09 1807.61
Concrete + CSP4J - Tabu Engine 2008-05-301062335? (TO) 1800.09 1810.32
SAT4J CSP 2008-06-131062340? (TO) 1800.15 1812.3

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:
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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0