MAX-CSP 2006 Competition: solvers results per benchmarks

Result page for benchmark
MaxCSP/cnf/3-80-100-1000/
cnf-3-80-100-735541_ext.xml

Name	MaxCSP/cnf/3-80-100-1000/ cnf-3-80-100-735541_ext.xml
MD5SUM	03a2a87e68b5724612f29959bd283fed
Bench Category	N-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark	SAT
Best Number of satisfied constraints	100
Best CPU time to get the best result obtained on this benchmark	0.070988
Satisfiable	YES
(Un)Satisfiability was proved
Number of variables	80
Number of constraints	100
Maximum constraint arity	3
Maximum domain size	2
Number of constraints which are defined in extension	100
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
aolibpvo 2007-01-17	277918	SAT	0.066988	0.0783741
toolbar 2007-01-12	277926	SAT	0.070988	0.0843379
Toulbar2 2007-01-12	277923	SAT	0.071988	0.186179
aolibdvo 2007-01-17	277919	SAT	0.080986	0.089008
Toolbar_BTD 2007-01-12	277925	SAT	0.081986	0.0854739
Toolbar_MaxSat 2007-01-19	277924	SAT	0.102984	0.112954
CSP4J - MaxCSP 2006-12-19	277920	SAT	0.379941	0.433529
AbsconMax 109 EPFC	277921	SAT	0.764883	0.822066
AbsconMax 109 PFC	277922	SAT	0.779881	0.829051