CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/graphColoring/hos/
normalized-abb313GPIA-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/graphColoring/hos/
normalized-abb313GPIA-10.xml
MD5SUM41ca88861b5cc1e37ffb4a2aff187cbf
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 benchmark2.5896
Satisfiable
(Un)Satisfiability was proved
Number of variables1557
Number of constraints65390
Maximum constraint arity2
Maximum domain size10
Number of constraints which are defined in extension0
Number of constraints which are defined in intension65390
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
cpHydra k_101090383SAT 2.5896 2.59412
MDG-noprobe 2008-06-271090368SAT 2.6356 2.66116
cpHydra k_401090384SAT 2.75158 2.80088
Mistral-prime 1.3131090378SAT 2.81057 2.82381
Mistral-option 1.3141090377SAT 4.22036 4.2705
MDG-probe 2008-06-271090367SAT 6.00209 6.07002
bpsolver 2008-06-271090372SAT 10.8713 10.9415
Sugar v1.13+minisat1090371SAT 22.2226 22.5097
Minion/Tailor 2008-07-041105645SAT 24.5943 24.8765
Abscon 112v4 AC1090381SAT 25.7141 25.8961
SAT4J CSP 2008-06-131090369SAT 27.3218 27.2944
Sugar v1.13+picosat1090370SAT 27.4258 27.7951
Abscon 112v4 ESAC1090382SAT 31.2692 31.4778
galac M1090375SAT 59.8849 60.5363
galac E1090376SAT 68.6096 69.3534
choco2_impwdeg 2008-06-261090373SAT 136.865 138.12
Concrete + CPS4J 2008-05-301090366? (TO) 1800.01 1803.42
Concrete + CSP4J - Tabu Engine 2008-05-301090364? (TO) 1800.04 1800.92
Concrete + CSP4J - WMC Engine 2008-05-301090365? (TO) 1800.05 1802.32
casper zito1090380? (TO) 1800.07 1800.92
casper zao1090379? (TO) 1800.07 1809.12
choco2_dwdeg 2008-06-261090374? (TO) 1800.19 1802

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:
0 0 0 5 2 0 3 4 0 0 0 5 2 0 3 4 0 5 2 7 5 2 7 5 2 8 4 7 5 3 0 6 7 5 2 1 0 7 3 4 7 3 4 7 5 2 8 4 7 3 4 0 6 7 3 4 1 0 7 5 3 0 6 7 3 4 0 6 7 2
6 1 8 7 0 6 5 3 7 0 9 5 4 7 5 2 1 0 7 3 4 1 0 7 2 6 1 8 7 1 0 5 3 7 1 0 5 4 7 0 6 5 3 7 1 0 5 3 7 8 3 6 4 7 5 3 2 1 0 7 5 3 1 0 7 0 9 5 4 7
1 0 5 4 7 8 3 6 4 7 5 4 2 1 0 7 5 4 1 0 7 8 3 2 1 0 9 6 4 2 1 0 9 2 0 5 2 1 0 3 4 5 2 1 0 6 7 5 5 3 1 0 2 5 4 1 0 2 0 2 1 0 3 4 2 1 0 6 7 2
2 1 0 3 4 5 1 0 3 4 5 3 4 6 7 5 3 8 6 0 1 5 3 4 0 1 5 9 4 2 6 5 2 1 0 6 7 5 1 0 6 7 5 3 4 6 7 5 8 7 4 0 1 5 6 7 0 1 5 8 7 2 3 5 3 8 6 0 1 5
8 7 4 0 1 5 4 0 1 2 3 5 4 0 5 9 0 1 7 8 5 3 8 0 1 5 6 7 0 1 4 6 0 5 0 1 2 3 4 0 1 7 6 5 9 4 2 6 5 8 7 2 3 5 4 0 1 2 3 5 0 1 2 3 5 2 3 4 8 5
2 3 0 1 5 2 3 0 9 5 9 0 1 7 8 5 0 1 4 6 5 2 3 4 8 5 4 6 0 1 5 4 6 0 9 5 2 3 0 1 5 4 6 0 1 5 8 1 7 9 5 0 1 3 2 5 0 1 3 4 5 2 3 0 9 5 4 6 0 9
5 8 1 7 9 5 0 9 3 2 5 0 9 3 4 5 0 1 3 2 5 0 9 3 2 5 6 2 7 4 5 3 2 9 7 5 6 8 9 7 5 0 1 3 4 5 0 9 3 4 5 6 2 7 4 5 3 4 9 6 5 8 4 9 2 5 3 2 9 7
5 3 4 9 6 5 8 6 3 2 5 8 6 4 1 0 5 8 6 1 0 5 6 8 9 7 5 8 4 9 2 5 8 6 3 2 5 3 2 4 1 0 5 3 2 1 0 5 8 6 4 1 0 5 3 2 4 1 0 5 4 0 5 4 1 0 7 6 9 4
1 0 2 3 5 8 6 1 0 4 3 2 1 0 4 0 4 1 0 5 6 4 1 0 2 3 4 4 1 0 5 6 8 1 0 5 6 8 5 6 2 3 8 5 6 9 4 8 5 6 1 0 8 4 1 0 2 3 8 1 0 2 3 8 5 6 2 3 8 2
3 7 4 8 2 3 1 0 8 2 3 6 7 8 2 3 4 5 8 2 3 9 0 1 8 5 6 9 4 8 2 3 7 4 8 7 4 1 0 8 5 6 1 0 8 2 3 1 0 8 7 4 1 0 8 1 0 6 7 8 1 0 4 5 8 2 3 6 7 8
1 0 6 7 8 6 7 4 5 8 6 7 9 0 1 8 2 3 4 5 8 1 0 4 5 8 6 7 4 5 8 4 5 9 0 1 8 4 5 0 1 8 4 5 2 3 8 2 3 9 0 1 8 6 7 9 0 1 8 4 5 9 0 1 8 9 0 1 8 9
0 1 2 3 8 4 5 0 1 6 9 0 1 6 0 1 2 3 6 0 1 4 5 6 0 1 9 6 4 5 2 3 6 9 0 1 2 3 6 0 1 2 3 6 2 3 4 5 6 0 1 2 3 9 6 0 1 4 5 6 2 3 4 5 6 0 1 4 5 9
6 4 5 2 3 6 4 5 7 8 6 4 5 0 1 6 0 1 9 6 0 1 2 3 9 6 0 1 4 5 9 6 0 1 9 2 3 6 0 1 9 7 8 6 4 5 2 3 6 0 1 9 2 3 6 2 3 7 8 6 2 3 0 1 6 2 3 8 7 6
2 3 4 5 6 4 5 7 8 6 0 1 9 7 8 6 2 3 7 8 6 7 8 0 1 6 4 5 0 1 6 2 3 0 1 6 7 8 0 1 6 0 1 8 7 6 0 1 4 5 6 0 1 2 3 6 0 1 8 7 6 2 3 8 7 6 0 1 8 7
6 8 7 4 5 6 2 3 4 5 6 0 1 4 5 6 8 7 4 5 6 4 5 2 3 6 4 5 8 7 6 0 1 2 3 6 4 5 2 3 6 2 3 8 7 6 2 3 1 4 6 2 3 0 5 6 0 1 8 7 6 4 5 8 7 6 2 3 8 7
6 0 7 1 4 6 8 7 0 5 6 2 3 1 4 6 8 7 1 4 6 1 4 0 5 6 1 4 8 7 6 1 4 7 2 6 2 3 0 5 6 8 7 0 5 6 1 4 0 5 6 0 5 8 7 6 0 5 2 3 6 1 4 8 7 6 0 5 8 7
6 8 7 2 3 6 8 7 0 1 6 8 7 0 1 4 6 1 4 2 3 6 0 5 2 3 6 8 7 2 3 6 2 3 0 1 6 2 3 0 1 4 6 2 3 5 7 6 8 7 0 1 6 2 3 0 1 6 4 6 0 1 5 7 6 8 7 0 1 4
6 2 3 0 1 4 6 4 6 0 1 4 9 7 6 0 1 5 9 8 6 0 1 4 2 3 6 2 3 5 7 6 0 1 5 7 6 0 1 4 9 7 6 5 7 4 8 6 5 7 2 3 6 0 1 5 9 8 6 5 7 4 8 6 4 8 2 3 6 4
8 1 7 6 4 8 0 1 6 0 1 4 2 3 6 5 7 2 3 6 4 8 2 3 6 2 3 1 7 6 2 3 4 5 6 2 3 0 1 6 4 8 1 7 6 2 3 1 7 6 1 7 4 5 6 9 7 0 5 6 2 3 4 5 6 1 7 4 5 6
4 8 0 1 6 4 5 7 3 6 4 8 2 3 6 4 8 0 1 6 2 3 0 1 6 9 7 0 5 6 4 8 0 1 6 0 1 7 3 6 0 1 2 3 6 4 5 7 3 6 0 1 7 3 6 7 8 2 5 6 7 3 0 1 6 7 3 1 5 6
4 8 2 3 6 0 1 2 3 6 7 8 2 5 6 2 3 0 1 6 2 3 1 9 6 7 3 0 1 6 2 3 0 1 6 0 8 4 5 6 0 1 3 7 6 0 1 2 3 6 7 3 1 5 6 2 3 1 9 6 0 8 4 5 6 1 5 3 7 6
1 5 2 3 6 0 1 3 7 6 1 5 3 7 6 4 7 2 8 6 4 7 2 8 5 6 3 7 0 1 6 0 1 2 3 6 1 5 2 3 6 4 7 2 8 6 2 3 5 6 2 3 0 1 6 4 7 2 8 5 6 2 3 5 6 2 3 5 0 1
6 3 7 0 1 6 2 3 0 1 4 2 3 5 0 1 4