CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/driver/
normalized-driverlogw-01c-sat_ext.xml

Name	csp/driver/ normalized-driverlogw-01c-sat_ext.xml
MD5SUM	7217f8fab8c71088ecef30ed97fb4567
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables	71
Number of constraints	217
Maximum constraint arity	2
Maximum domain size	4
Number of constraints which are defined in extension	217
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Solver Name	TraceID	Answer	CPU time	Wall clock time
MDG-noprobe 2008-06-27	1033975	SAT	0.009997	0.0172571
Mistral-prime 1.313	1033985	SAT	0.009997	0.011813
Mistral-option 1.314	1033984	SAT	0.009998	0.0115929
MDG-probe 2008-06-27	1033974	SAT	0.010997	0.0168941
casper zito	1043419	SAT	0.015997	0.0170029
casper zao	1042790	SAT	0.017996	0.0463881
spider 2008-06-14	1033971	SAT	0.018996	0.0404741
cpHydra k_10	1045306	SAT	0.022996	0.024227
cpHydra k_40	1045935	SAT	0.022996	0.0245171
bpsolver 2008-06-27	1033979	SAT	0.046992	0.04766
Concrete + CPS4J 2008-05-30	1033970	SAT	0.377941	0.376873
Minion/Tailor 2008-07-04	1104118	SAT	0.385941	0.44776
Concrete + CSP4J - WMC Engine 2008-05-30	1033969	SAT	0.38894	0.422577
Concrete + CSP4J - Tabu Engine 2008-05-30	1033968	SAT	0.411936	0.424853
choco2_dwdeg 2008-06-26	1033981	SAT	0.508922	0.565815
choco2_impwdeg 2008-06-26	1033980	SAT	0.51792	0.590463
Sugar v1.13+picosat	1033977	SAT	0.687895	0.652125
Sugar v1.13+minisat	1033978	SAT	0.698893	0.861463
Abscon 112v4 ESAC	1044677	SAT	0.735887	0.79052
Abscon 112v4 AC	1044048	SAT	0.770882	0.839393
SAT4J CSP 2008-06-13	1033976	SAT	0.843871	0.682371
galac E	1033983	SAT	0.997848	0.885669
galac M	1033982	SAT	1.00984	0.823989

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

Solution found:

0 1 0 0 0 1 0 0 2 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 3 3 0 1 1 1 0 1 0 0 2 2 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 3 3 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1
1