CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/rlfapGraphsMod/
normalized-graph13-w0.xml
MD5SUM34256d810d8565ae96b59ec5fdfe0fb3
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.122981
Satisfiable
(Un)Satisfiability was proved
Number of variables916
Number of constraints458
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension458
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MDG-probe 2008-06-271075181SAT 0.122981 0.129595
Mistral-prime 1.3131075192SAT 0.12498 0.130946
MDG-noprobe 2008-06-271075182SAT 0.12798 0.134534
cpHydra k_101075197SAT 0.133978 0.140198
cpHydra k_401075198SAT 0.138978 0.144009
Mistral-option 1.3141075191SAT 0.142977 0.155684
bpsolver 2008-06-271075186SAT 0.210967 0.23234
Concrete + CPS4J 2008-05-301075180SAT 1.44178 1.46862
Concrete + CSP4J - WMC Engine 2008-05-301075179SAT 1.49377 1.54034
Minion/Tailor 2008-07-041106974SAT 1.52877 1.60594
choco2_dwdeg 2008-06-261075188SAT 1.54776 1.57559
choco2_impwdeg 2008-06-261075187SAT 1.56576 1.62622
Concrete + CSP4J - Tabu Engine 2008-05-301075178SAT 1.76673 1.79313
Abscon 112v4 ESAC1075196SAT 3.2645 3.33568
Sugar v1.13+minisat1075185SAT 3.66944 3.79875
Abscon 112v4 AC1075195SAT 3.76843 3.80077
Sugar v1.13+picosat1075184SAT 4.18636 4.3449
SAT4J CSP 2008-06-131075183SAT 4.25235 4.29698
casper zito1075194SAT 5.18921 5.20037
galac M1075189SAT 16.2445 16.4602
galac E1075190SAT 18.0982 18.2233
casper zao1075193SAT 36.9964 37.3643

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 254 16 16 254 268 30 254 16 254 16 16 254 30 268 30 268 16 254 268 30 16 254 254 16 30 268 268 30 254 16 16 254 30 268 30 268 30 268
16 254 30 268 254 16 16 254 16 254 30 268 254 16 30 268 16 254 254 16 142 380 30 268 30 268 268 30 268 30 30 268 268 30 16 254 16 254 30 268
142 380 254 16 16 254 16 254 254 16 254 16 16 254 268 30 16 254 16 254 254 16 254 16 268 30 30 268 16 254 268 30 16 254 254 16 254 16 142
380 254 16 16 254 254 16 254 16 254 16 268 30 16 254 254 16 268 30 30 268 380 142 254 16 254 16 254 16 268 30 30 268 254 16 30 268 16 254 30
268 16 254 254 16 268 30 16 254 16 254 254 16 30 268 16 254 16 254 254 16 30 268 16 254 16 254 16 254 142 380 254 16 268 30 254 16 268 30
254 16 30 268 30 268 268 30 254 16 30 268 16 254 254 16 254 16 30 268 268 30 254 16 16 254 16 254 254 16 254 16 268 30 254 16 254 16 30 268
30 268 380 142 254 16 254 16 268 30 30 268 254 16 30 268 30 268 268 30 254 16 268 30 16 254 30 268 268 30 16 254 16 254 380 142 142 380 142
380 30 268 254 16 268 30 16 254 16 254 254 16 254 16 254 16 30 268 30 268 30 268 268 30 254 16 16 254 254 16 268 30 16 254 254 16 30 268 16
254 254 16 254 16 16 254 16 254 30 268 268 30 268 30 30 268 254 16 30 268 30 268 16 254 142 380 254 16 30 268 30 268 16 254 254 16 254 16
254 16 30 268 254 16 16 254 254 16 254 16 254 16 254 16 254 16 268 30 30 268 30 268 30 268 268 30 254 16 30 268 30 268 142 380 254 16 254 16
268 30 254 16 268 30 254 16 16 254 16 254 254 16 268 30 254 16 16 254 30 268 16 254 16 254 254 16 16 254 142 380 16 254 16 254 16 254 254 16
30 268 16 254 16 254 268 30 16 254 30 268 142 380 16 254 142 380 16 254 16 254 16 254 16 254 268 30 254 16 268 30 268 30 30 268 16 254 254
16 16 254 268 30 268 30 16 254 268 30 30 268 380 142 16 254 254 16 254 16 30 268 254 16 254 16 254 16 30 268 254 16 142 380 16 254 268 30 16
254 268 30 16 254 16 254 30 268 16 254 30 268 268 30 268 30 30 268 16 254 16 254 254 16 16 254 30 268 30 268 254 16 16 254 254 16 268 30 16
254 16 254 268 30 16 254 254 16 254 16 254 16 30 268 30 268 30 268 254 16 268 30 16 254 142 380 30 268 254 16 30 268 16 254 16 254 30 268
142 380 16 254 380 142 268 30 30 268 16 254 30 268 142 380 254 16 16 254 16 254 16 254 268 30 254 16 254 16 268 30 142 380 16 254 268 30 268
30 254 16 268 30 268 30 254 16 16 254 16 254 16 254 268 30 254 16 254 16 16 254 16 254 16 254 16 254 268 30 268 30 268 30 380 142 268 30 30
268 254 16 30 268 16 254 254 16 16 254 16 254 254 16 254 16 254 16 16 254 142 380 268 30 254 16 254 16 30 268 268 30 254 16 254 16 30 268 30
268 16 254 254 16 254 16 16 254 268 30 254 16 268 30 30 268 16 254 254 16 30 268 30 268 16 254 254 16 380 142 268 30 16 254 16 254 30 268
268 30 254 16 16 254 16 254 254 16 254 16 16 254 254 16 30 268 254 16 16 254 16 254 254 16 16 254 268 30 268 30 30 268 16 254 254 16 30 268
254 16 16 254 16 254 254 16 30 268 30 268 254 16 30 268 254 16 16 254 268 30 254 16 142 380 30 268 16 254 254 16 30 268 30 268 268 30 30 268
30 268 16 254 254 16 30 268 254 16 268 30 254 16 268 30 30 268 142 380 268 30 142 380 254 16 254 16 30 268 16 254 142 380 30 268 30 268 142
380 16 254 16 254 254 16 16 254 30 268 380 142 268 30 268 30 30 268 16 254 30 268 268 30 254 16 254 16 16 254 268 30 254 16 16 254 254 16 30
268 254 16 254 16