CSP 2008 Competition: memory versus time to solve an instance

The figures below represent how much time and memory a solver used to provide an answer. The x axis is the time used (in seconds) and the y axis is the amount of memory used.

These graphs are based on a sampling of the memory usage of the solver which is performed every ten seconds. Therefore, this data is not necessarily very accurate since a solver may allocate and deallocate a lot of memory in ten seconds. Besides, when a solvers runs for less than ten seconds, no information on its memory usage could be recorded. Also, solvers written in the Java programming language usually allocate all their memory at once at the beginning of the program and therefore the reported memory is not very meaningful.

Solver Abscon 112v4 AC

Download the above graph as a PDF file / as an EPS file
Solver Abscon 112v4 ESAC

Download the above graph as a PDF file / as an EPS file
Solver bpsolver 2008-06-27

Download the above graph as a PDF file / as an EPS file
Solver casper zao

Download the above graph as a PDF file / as an EPS file
Solver casper zito

Download the above graph as a PDF file / as an EPS file
Solver choco2_dwdeg 2008-06-26

Download the above graph as a PDF file / as an EPS file
Solver choco2_impwdeg 2008-06-26

Download the above graph as a PDF file / as an EPS file
Solver Concrete + CPS4J 2008-05-30

Download the above graph as a PDF file / as an EPS file
Solver Concrete + CSP4J - Tabu Engine 2008-05-30

Download the above graph as a PDF file / as an EPS file
Solver Concrete + CSP4J - WMC Engine 2008-05-30

Download the above graph as a PDF file / as an EPS file
Solver cpHydra k_10

Download the above graph as a PDF file / as an EPS file
Solver cpHydra k_40

Download the above graph as a PDF file / as an EPS file
Solver galac E

Download the above graph as a PDF file / as an EPS file
Solver galac M

Download the above graph as a PDF file / as an EPS file
Solver mddc-solv 2008-06-09

Download the above graph as a PDF file / as an EPS file
Solver MDG-noprobe 2008-06-27

Download the above graph as a PDF file / as an EPS file
Solver MDG-probe 2008-06-27

Download the above graph as a PDF file / as an EPS file
Solver Minion/Tailor 2008-07-04

Download the above graph as a PDF file / as an EPS file
Solver Mistral-option 1.314

Download the above graph as a PDF file / as an EPS file
Solver Mistral-prime 1.313

Download the above graph as a PDF file / as an EPS file
Solver SAT4J CSP 2008-06-13

Download the above graph as a PDF file / as an EPS file
Solver spider 2008-06-14

Download the above graph as a PDF file / as an EPS file
Solver Sugar v1.13+minisat

Download the above graph as a PDF file / as an EPS file
Solver Sugar v1.13+picosat

Download the above graph as a PDF file / as an EPS file