CSP 2006 Competition (second round): solvers results per benchmarks

Result page for benchmark
dimacs/aim-50/
aim-50-1-6-sat-1_ext.xml

Name	dimacs/aim-50/ aim-50-1-6-sat-1_ext.xml
MD5SUM	2f8e9599786b087fd2732b0603095235
Bench Category	N-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.017996
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	77
Maximum constraint arity	3
Maximum domain size	2
Number of constraints which are defined in extension	77
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
Mistral 2006-12-04	243102	SAT	0.017996	0.0215411
CSPtoSAT+minisat 0.3	243105	SAT	0.017997	0.026811
Tramontane 2006-12-04	243103	SAT	0.018996	0.019387
BPrologCSPSolver70a 2006-12-13	243093	SAT	0.099984	0.101978
CSP4J - MAC 2006-12-19	243098	SAT	0.354945	0.391032
CSP4J - MAC 2007-01-16	272814	SAT	0.354945	0.403658
CSP4J - Combo 2006-12-19	243097	SAT	0.395938	0.468371
sat4jCSP 1.7 RC BF3	243101	SAT	0.668897	0.647028
SAT4JCSP-CACHED 1.7 RC BF3	243100	SAT	0.671897	0.524844
sugar 0.40	243104	SAT	0.72089	1.02864
Abscon 109 ESAC	243095	SAT	0.741886	0.81138
Abscon 109 AC	243096	SAT	0.770882	0.82275
galac 1	243099	SAT	0.91386	1.05828
galacJ beta 1	243094	SAT	0.917859	1.02005