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

Result page for benchmark
geom/
geo50-20-d4-75-98_ext.xml

Name	geom/ geo50-20-d4-75-98_ext.xml
MD5SUM	e5ab1747cde861323d93f50120d77a34
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.117981
Satisfiable	YES
(Un)Satisfiability was proved	YES
Number of variables	50
Number of constraints	377
Maximum constraint arity	2
Maximum domain size	20
Number of constraints which are defined in extension	377
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	230583	SAT	0.117981	0.123947
Mistral 2006-12-04	230582	SAT	0.118981	0.120819
VALCSP 3.0	230577	SAT	0.152976	0.163078
VALCSP 3.1	269257	SAT	0.160975	0.173171
CSPtoSAT+minisat 0.3	230585	SAT	0.25996	0.281577
BPrologCSPSolver70a 2006-12-13	230569	SAT	0.286955	0.293474
rjw-solver 2006-12-09	230570	SAT	0.343947	0.346939
rjw-solver 2007-01-21	284001	SAT	0.356945	0.358829
Diarmuid-wtdi 2006-12-21	230567	SAT	0.359944	0.361518
buggy_2_5 2007-01-08	230581	SAT	0.479926	0.484682
buggy_2_5_s 2007-01-08	230580	SAT	0.506922	0.509742
CSP4J - MAC 2006-12-19	230575	SAT	0.77788	0.810275
CSP4J - Combo 2006-12-19	230574	SAT	0.790878	0.927886
CSP4J - MAC 2007-01-16	272043	SAT	0.841871	0.871002
Abscon 109 AC	230573	SAT	0.841871	0.882556
Abscon 109 ESAC	230572	SAT	0.897862	0.920667
galacJ beta 1	230571	SAT	2.26666	2.36004
SAT4JCSP-CACHED 1.7 RC BF3	230578	SAT	2.29665	2.31205
sat4jCSP 1.7 RC BF3	230579	SAT	2.39863	2.49669
Diarmuid-rndi 2006-12-21	230568	SAT	3.2545	3.28273
galac 1	230576	SAT	3.31649	3.57995
Diarmuid-rndi 2007-01-22	286939	SAT	5.17821	5.20283
sugar 0.40	230584	SAT	5.77	6.0719