CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/os-taillard-4/
normalized-os-taillard-4-105-0.xml

Name	csp/os-taillard-4/ normalized-os-taillard-4-105-0.xml
MD5SUM	2cc845dd003569fb3b3c979469638cfe
Bench Category	2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.008997
Satisfiable
(Un)Satisfiability was proved
Number of variables	16
Number of constraints	48
Maximum constraint arity	2
Maximum domain size	202
Number of constraints which are defined in extension	0
Number of constraints which are defined in intension	48
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
Mistral-prime 1.313	1075003	SAT	0.008997	0.0161039
MDG-noprobe 2008-06-27	1074993	SAT	0.008998	0.016892
Mistral-option 1.314	1075002	SAT	0.008998	0.01653
MDG-probe 2008-06-27	1074992	SAT	0.010997	0.0163249
cpHydra k_40	1075009	SAT	0.020996	0.027858
cpHydra k_10	1075008	SAT	0.022996	0.027867
bpsolver 2008-06-27	1074997	SAT	0.036994	0.045053
Minion/Tailor 2008-07-04	1106172	SAT	0.381941	0.443689
Concrete + CSP4J - WMC Engine 2008-05-30	1074990	SAT	0.672897	0.692669
choco2_dwdeg 2008-06-26	1074999	SAT	0.733888	0.780755
choco2_impwdeg 2008-06-26	1074998	SAT	0.756884	0.782944
Sugar v1.13+picosat	1074995	SAT	0.790879	0.890051
Concrete + CPS4J 2008-05-30	1074991	SAT	0.834872	0.859706
Sugar v1.13+minisat	1074996	SAT	0.923858	1.04152
Abscon 112v4 ESAC	1075007	SAT	1.11283	1.15269
Abscon 112v4 AC	1075006	SAT	1.22981	1.30581
casper zito	1075005	SAT	3.18951	3.23925
SAT4J CSP 2008-06-13	1074994	SAT	5.32319	5.34839
galac M	1075000	SAT	18.6332	18.8995
casper zao	1075004	SAT	32.0251	32.3022
Concrete + CSP4J - Tabu Engine 2008-05-30	1074989	SAT	100.456	101.012
galac E	1075001	SAT	136.364	137.733

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

Solution found:

147 113 9 0 0 98 113 28 157 28 0 70 0 102 95 157