CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/schurrLemma/
normalized-lemma-23-3.xml

Name	csp/schurrLemma/ normalized-lemma-23-3.xml
MD5SUM	add801ab5f2b5db29fddde7dd0b9c1f1
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.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables	23
Number of constraints	121
Maximum constraint arity	3
Maximum domain size	3
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	121
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1048110	SAT	0.011997	0.018423
cpHydra k_40	1048126	SAT	0.023996	0.030509
cpHydra k_10	1048125	SAT	0.023996	0.0304989
Mistral-option 1.314	1048119	SAT	0.029994	0.0351319
casper zito	1048122	SAT	0.048992	0.0605581
MDG-probe 2008-06-27	1048109	SAT	0.052991	0.0597409
bpsolver 2008-06-27	1048114	SAT	0.05799	0.0645689
casper zao	1048121	SAT	0.06099	0.0672539
Mistral-prime 1.313	1048120	SAT	0.069989	0.0748671
choco2_impwdeg 2008-06-26	1048115	SAT	0.679896	0.727926
Minion/Tailor 2008-07-04	1104814	SAT	0.681895	0.705451
choco2_dwdeg 2008-06-26	1048116	SAT	0.788879	0.840396
Concrete + CSP4J - WMC Engine 2008-05-30	1048107	SAT	0.798878	0.862074
Sugar v1.13+minisat	1048113	SAT	0.837871	0.929175
Abscon 112v4 ESAC	1048124	SAT	0.84587	0.897361
Abscon 112v4 AC	1048123	SAT	0.866867	0.886446
Sugar v1.13+picosat	1048112	SAT	0.874866	0.944197
Concrete + CSP4J - Tabu Engine 2008-05-30	1048106	SAT	0.887864	0.90925
Concrete + CPS4J 2008-05-30	1048108	SAT	0.911861	0.961502
galac M	1048117	SAT	1.14982	0.932471
galac E	1048118	SAT	1.23481	1.32565
SAT4J CSP 2008-06-13	1048111	SAT	1.90971	2.10892

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