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 cdcl-cuttingplanes DEC 2016-05-01 (complete)Download the above graph as a PDF file / as an EPS file |
Solver cdcl-cuttingplanes OPT binary search 2016-05-01 (complete)Download the above graph as a PDF file / as an EPS file |

Solver cdcl-cuttingplanes OPT linear search 2016-05-01 (complete)Download the above graph as a PDF file / as an EPS file |
Solver minisatp 2012-10-02 git-d91742b (complete)Download the above graph as a PDF file / as an EPS file |

Solver NaPS 1.02 (complete)Download the above graph as a PDF file / as an EPS file |
Solver Open-WBO PB16 (complete)Download the above graph as a PDF file / as an EPS file |

Solver Open-WBO-LSU PB16 (complete)Download the above graph as a PDF file / as an EPS file |
Solver Sat4j PB 2.3.6 Res+CP PB16 (complete)Download the above graph as a PDF file / as an EPS file |

Solver Sat4j PB 2.3.6 Resolution PB16 (complete)Download the above graph as a PDF file / as an EPS file |
Solver toysat 2016-05-02 (complete)Download the above graph as a PDF file / as an EPS file |