CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/rlfapGraphsMod/
normalized-graph12-w0.xml

Jump to solvers results

General information on the benchmark

Namecsp/rlfapGraphsMod/
normalized-graph12-w0.xml
MD5SUM390d8aa57defb549ae049335df1bfde1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.084986
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints340
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension340
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271075139SAT 0.084986 0.0933999
MDG-noprobe 2008-06-271075140SAT 0.093984 0.101232
Mistral-prime 1.3131075150SAT 0.095985 0.101564
cpHydra k_401075156SAT 0.103983 0.109212
cpHydra k_101075155SAT 0.109983 0.121682
Mistral-option 1.3141075149SAT 0.110982 0.118031
bpsolver 2008-06-271075144SAT 0.155976 0.179983
Concrete + CPS4J 2008-05-301075138SAT 1.16582 1.22256
Concrete + CSP4J - WMC Engine 2008-05-301075137SAT 1.19782 1.26225
Concrete + CSP4J - Tabu Engine 2008-05-301075136SAT 1.20882 1.22666
Minion/Tailor 2008-07-041106972SAT 1.21781 1.24263
choco2_dwdeg 2008-06-261075146SAT 1.25281 1.31008
choco2_impwdeg 2008-06-261075145SAT 1.3418 1.3661
Abscon 112v4 ESAC1075154SAT 2.08568 2.14087
Abscon 112v4 AC1075153SAT 2.16867 2.24355
Sugar v1.13+minisat1075143SAT 2.95855 3.01719
Sugar v1.13+picosat1075142SAT 2.98954 3.11575
SAT4J CSP 2008-06-131075141SAT 3.64744 3.68782
casper zito1075152SAT 4.44432 4.49134
galac M1075147SAT 12.6161 12.8021
galac E1075148SAT 15.2057 15.4302
casper zao1075151SAT 36.3785 36.7233

Additionnal information

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

Solution found:
16 254 30 268 30 268 268 30 268 30 16 254 30 268 380 142 16 254 268 30 16 254 16 254 16 254 16 254 254 16 254 16 16 254 268 30 254 16 254 16
30 268 16 254 254 16 254 16 254 16 30 268 380 142 268 30 254 16 30 268 268 30 268 30 268 30 16 254 254 16 30 268 16 254 16 254 16 254 268 30
30 268 16 254 16 254 16 254 380 142 254 16 268 30 30 268 16 254 16 254 380 142 254 16 16 254 254 16 254 16 254 16 16 254 268 30 16 254 16
254 30 268 30 268 254 16 268 30 16 254 254 16 254 16 142 380 254 16 254 16 254 16 254 16 30 268 16 254 16 254 254 16 268 30 16 254 30 268 30
268 30 268 268 30 254 16 254 16 30 268 16 254 254 16 16 254 254 16 254 16 16 254 16 254 16 254 30 268 268 30 16 254 30 268 16 254 16 254 268
30 254 16 16 254 30 268 16 254 16 254 254 16 142 380 16 254 16 254 30 268 254 16 16 254 16 254 30 268 254 16 16 254 268 30 268 30 254 16 16
254 254 16 254 16 254 16 268 30 254 16 16 254 268 30 254 16 254 16 16 254 30 268 16 254 254 16 30 268 16 254 16 254 268 30 254 16 16 254 30
268 268 30 268 30 268 30 254 16 268 30 16 254 16 254 268 30 380 142 16 254 30 268 30 268 16 254 16 254 254 16 16 254 16 254 30 268 16 254 16
254 16 254 16 254 380 142 254 16 254 16 254 16 142 380 16 254 142 380 30 268 268 30 16 254 16 254 16 254 254 16 30 268 16 254 16 254 380 142
16 254 16 254 16 254 30 268 16 254 254 16 30 268 268 30 16 254 16 254 16 254 254 16 30 268 30 268 16 254 30 268 16 254 254 16 30 268 142 380
30 268 254 16 16 254 16 254 268 30 254 16 16 254 268 30 16 254 16 254 16 254 16 254 16 254 30 268 16 254 254 16 254 16 268 30 16 254 16 254
16 254 380 142 254 16 254 16 254 16 380 142 268 30 254 16 254 16 254 16 254 16 142 380 16 254 268 30 254 16 380 142 254 16 16 254 16 254 380
142 268 30 254 16 254 16 16 254 16 254 268 30 254 16 30 268 30 268 16 254 30 268 16 254 16 254 254 16 16 254 254 16 254 16 254 16 254 16 16
254 254 16 16 254 30 268 30 268 16 254 268 30 16 254 16 254 142 380 30 268 16 254 254 16 268 30 254 16 30 268 254 16 254 16 16 254 254 16
254 16 16 254 16 254 30 268 254 16 16 254 30 268 142 380 16 254 254 16 254 16 16 254 30 268 142 380 16 254 30 268 16 254 16 254 16 254 254
16 254 16 268 30 254 16 16 254 16 254 16 254 254 16 30 268 268 30 254 16 380 142 254 16 254 16 380 142 268 30 268 30 268 30 30 268 268 30
254 16 380 142 30 268 30 268 30 268 30 268 16 254 16 254 16 254 268 30 30 268 268 30 254 16 254 16 254 16 16 254 254 16 254 16 254 16 16 254
142 380 16 254 16 254