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 bsolo 3.2 (complete)Download the above graph as a PDF file / as an EPS file |
Solver clasp 2.0.6-R5325 (dec) (complete)Download the above graph as a PDF file / as an EPS file |

Solver clasp 2.0.6-R5325 (opt) (complete)Download the above graph as a PDF file / as an EPS file |
Solver npSolver 1.0 (complete)Download the above graph as a PDF file / as an EPS file |

Solver npSolver 1.0 (fixed) (complete)Download the above graph as a PDF file / as an EPS file |
Solver npSolver inc (complete)Download the above graph as a PDF file / as an EPS file |

Solver npSolver inc (fixed) (complete)Download the above graph as a PDF file / as an EPS file |
Solver npSolver inc-topDown (complete)Download the above graph as a PDF file / as an EPS file |

Solver npSolver inc-topDown (fixed) (complete)Download the above graph as a PDF file / as an EPS file |
Solver npSolver inc-topdown-quickBound (complete)Download the above graph as a PDF file / as an EPS file |

Solver npSolver inc-topdown-quickBound (fixed) (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB07: bsolo 3.0.17 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB07: minisat+ 1.14 (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB07: PB-clasp 2007-04-10 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB07: Pueblo 1.4 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver PB07: SAT4JPseudoResolution 2007-03-23 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB09: bsolo 3.1 (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB09: SAT4J Pseudo Resolution 2.1.1 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB10: borg-pb 10.05.30 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB10: pb_cplex 2010-06-29 (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB11: borg pb-dec-11.04.03 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB11: Sat4j Res//CP 2.3.0 (complete)Download the above graph as a PDF file / as an EPS file |
Solver PB11: SCIP spx E_2 2011-06-10 (fixed) (complete)Download the above graph as a PDF file / as an EPS file |

Solver PB12: minisatp 1.0-2-g022594c (complete)Download the above graph as a PDF file / as an EPS file |
Solver pb2sat 2012-05-19 (complete)Download the above graph as a PDF file / as an EPS file |

Solver pb2satCp2 2012-05-19 (complete)Download the above graph as a PDF file / as an EPS file |
Solver PBPASSolver-CARD.DP 2012-05-28 (complete)Download the above graph as a PDF file / as an EPS file |

Solver PBPASSolver-CARD.SN 2012-05-28 (complete)Download the above graph as a PDF file / as an EPS file |
Solver pwbo 2.0 (complete)Download the above graph as a PDF file / as an EPS file |

Solver pwbo 2.0 (complete)Download the above graph as a PDF file / as an EPS file |
Solver pwbo 2.0 (complete)Download the above graph as a PDF file / as an EPS file |

Solver pwbo 2.0 (complete)Download the above graph as a PDF file / as an EPS file |
Solver pwbo 2.02 (complete)Download the above graph as a PDF file / as an EPS file |

Solver pwbo 2.02 (complete)Download the above graph as a PDF file / as an EPS file |
Solver pwbo 2.02 (complete)Download the above graph as a PDF file / as an EPS file |

Solver pwbo 2.02 (complete)Download the above graph as a PDF file / as an EPS file |
Solver SAT 4j PB RES // CP 2.3.2 Snapshot (complete)Download the above graph as a PDF file / as an EPS file |

Solver Sat 4j PB Resolution 2.3.2 Snapshot (complete)Download the above graph as a PDF file / as an EPS file |
Solver SAT4J PB specific settings 2.3.2 snapshot (complete)Download the above graph as a PDF file / as an EPS file |

Solver SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed (complete)Download the above graph as a PDF file / as an EPS file |
Solver SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed (complete)Download the above graph as a PDF file / as an EPS file |

Solver SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed (complete)Download the above graph as a PDF file / as an EPS file |
Solver toysat 2012-05-17 (complete)Download the above graph as a PDF file / as an EPS file |

Solver toysat 2012-06-01 (complete)Download the above graph as a PDF file / as an EPS file |
Solver wbo 1.7 (complete)Download the above graph as a PDF file / as an EPS file |

Solver wbo 1.7 (complete)Download the above graph as a PDF file / as an EPS file |
Solver wbo 1.72 (complete)Download the above graph as a PDF file / as an EPS file |

Solver wbo 1.72 (complete)Download the above graph as a PDF file / as an EPS file |