SAT 2009 Competition: multithread track: memory to solve an instance

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. This is the reason why there's no plot for the first instances (on the left of the graph).

Also, solvers written in the Java programming language usually allocate all their memory at once at the beginning of the program. Therefore, their plot is normally a constant line at the top of the graph.