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

Result page for benchmark
dimacs/aim-50/
aim-50-2-0-sat-4_ext.xml

Name	dimacs/aim-50/ aim-50-2-0-sat-4_ext.xml
MD5SUM	21494f4758a42f305bdee38339469e3e
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.016996
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	50
Number of constraints	94
Maximum constraint arity	3
Maximum domain size	2
Number of constraints which are defined in extension	94
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
Tramontane 2006-12-04	243155	SAT	0.016996	0.0205629
Mistral 2006-12-04	243154	SAT	0.017996	0.0202691
CSPtoSAT+minisat 0.3	243157	SAT	0.017997	0.0215731
sugar 0.40	243156	SAT	0.053991	0.845129
BPrologCSPSolver70a 2006-12-13	243145	SAT	0.105983	0.1106
CSP4J - MAC 2006-12-19	243150	SAT	0.353945	0.396723
CSP4J - Combo 2006-12-19	243149	SAT	0.381941	0.409752
CSP4J - MAC 2007-01-16	272818	SAT	0.392939	0.454128
sat4jCSP 1.7 RC BF3	243153	SAT	0.683895	0.515487
SAT4JCSP-CACHED 1.7 RC BF3	243152	SAT	0.689894	0.52059
Abscon 109 AC	243148	SAT	0.693893	0.760554
Abscon 109 ESAC	243147	SAT	0.741886	0.7917
galac 1	243151	SAT	0.937856	1.01917
galacJ beta 1	243146	SAT	0.964853	1.02357