CSP 2008 Competition: solvers results per benchmarks

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

General information on the benchmark

Name	csp/pseudo/fpga/ normalized-fpga-10-10.xml
MD5SUM	672a10989be8df394cbc68ac24d587ed
Bench Category	N-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Satisfiable
(Un)Satisfiability was proved
Number of variables	150
Number of constraints	130
Maximum constraint arity	10
Maximum domain size	2
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	130
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver Name	TraceID	Answer	CPU time	Wall clock time
casper zao	1062329	SAT	0.083986	0.0895121
casper zito	1062330	SAT	0.103983	0.109411
Mistral-prime 1.313	1062328	SAT	0.143977	0.14905
Mistral-option 1.314	1062327	SAT	0.166974	0.172231
Concrete + CPS4J 2008-05-30	1062316	SAT	0.858869	0.915253
choco2_impwdeg 2008-06-26	1062323	SAT	0.91486	0.946915
Sugar v1.13+picosat	1062320	SAT	0.91786	1.06297
Sugar v1.13+minisat	1062321	SAT	0.945856	1.09474
Abscon 112v4 ESAC	1062332	SAT	1.00985	1.04878
Abscon 112v4 AC	1062331	SAT	1.56776	1.6147
galac M	1062325	SAT	1.70474	1.74767
galac E	1062326	SAT	1.72774	1.78062
SAT4J CSP 2008-06-13	1062319	SAT	3.85641	3.89464
cpHydra k_10	1062333	SAT	8.83466	9.01563
cpHydra k_40	1062334	SAT	8.86765	9.12179
choco2_dwdeg 2008-06-26	1062324	SAT	9.2256	9.33334
Minion/Tailor 2008-07-04	1106319	SAT	20.0859	20.2783
MDG-noprobe 2008-06-27	1062318	SAT	285.619	285.759
bpsolver 2008-06-27	1062322	SAT	888.318	900.241
Concrete + CSP4J - Tabu Engine 2008-05-30	1062314	? (TO)	1800.03	1802.02
Concrete + CSP4J - WMC Engine 2008-05-30	1062315	? (TO)	1800.06	1813.83
MDG-probe 2008-06-27	1062317	? (TO)	1800.09	1826.51

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

CSP 2008 Competition: solvers results per benchmarks

Result page for benchmarkcsp/pseudo/fpga/normalized-fpga-10-10.xml

General information on the benchmark

Results of the different solvers on this benchmark

Additionnal information

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