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 adaptg2wsat2009 2009-03-23 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver adaptg2wsat2009++ 2009-03-23 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver CircUs 2009-03-23 (complete)Download the above graph as a PDF file / as an EPS file |
Solver clasp 1.2.0-SAT09-32 (complete)Download the above graph as a PDF file / as an EPS file |

Solver CSat 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |
Solver glucose 1.0 (complete)Download the above graph as a PDF file / as an EPS file |

Solver gnovelty+ 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver gnovelty+2 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver gnovelty+2-H 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver gNovelty+-T 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver gNovelty+-V.2-T 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver gNovelty+-V.2-T-H 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver Hybrid2 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver hybridGM 1 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver hybridGM3 3 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver hybridGM7 7 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver HydraSAT 2009-03-22-Base (complete)Download the above graph as a PDF file / as an EPS file |
Solver HydraSAT-Flat 2009-03-22-Flat (complete)Download the above graph as a PDF file / as an EPS file |

Solver HydraSAT-Multi 2009-03-22-Multi (complete)Download the above graph as a PDF file / as an EPS file |
Solver iPAWS 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver IUT_BMB_SAT 1.0 (complete)Download the above graph as a PDF file / as an EPS file |
Solver kw 2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |

Solver LySAT c/2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |
Solver LySAT i/2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |

Solver ManySAT 1.1 aimd 0/2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |
Solver ManySAT 1.1 aimd 1/2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |

Solver ManySAT 1.1 aimd 2/2009-03-20 (complete)Download the above graph as a PDF file / as an EPS file |
Solver march_hi hi (complete)Download the above graph as a PDF file / as an EPS file |

Solver march_nn nn (complete)Download the above graph as a PDF file / as an EPS file |
Solver MiniSat 2.1 (Sat-race'08 Edition) (complete)Download the above graph as a PDF file / as an EPS file |

Solver MiniSAT 09z 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |
Solver minisat_cumr p-2009-03-18 (complete)Download the above graph as a PDF file / as an EPS file |

Solver MoRsat 2009-03-03 (complete)Download the above graph as a PDF file / as an EPS file |
Solver MXC 2009-03-10 (complete)Download the above graph as a PDF file / as an EPS file |

Solver NCVWr 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver picosat 913 (complete)Download the above graph as a PDF file / as an EPS file |

Solver precosat 236 (complete)Download the above graph as a PDF file / as an EPS file |
Solver Rsat 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |

Solver SApperloT base (complete)Download the above graph as a PDF file / as an EPS file |
Solver SApperloT hrp (complete)Download the above graph as a PDF file / as an EPS file |

Solver SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver SAT07 reference solver: March KS 2007-02-08 (complete)Download the above graph as a PDF file / as an EPS file |
Solver SAT07 reference solver: minisat SAT 2007 (complete)Download the above graph as a PDF file / as an EPS file |

Solver SAT07 reference solver: picosat 535 (complete)Download the above graph as a PDF file / as an EPS file |
Solver SAT07 reference solver: Rsat 2007-02-08 (complete)Download the above graph as a PDF file / as an EPS file |

Solver SAT07 reference solver: SATzilla CRAFTED (complete)Download the above graph as a PDF file / as an EPS file |
Solver SAT07 reference solver: SATzilla RANDOM (complete)Download the above graph as a PDF file / as an EPS file |

Solver SAT4J CORE 2.1 RC1 (complete)Download the above graph as a PDF file / as an EPS file |
Solver satake 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |

Solver SATzilla2009_C 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |
Solver SATzilla2009_I 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |

Solver SATzilla2009_R 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |
Solver slstc 1.0 (incomplete)Download the above graph as a PDF file / as an EPS file |

Solver TNM 2009-03-22 (incomplete)Download the above graph as a PDF file / as an EPS file |
Solver tts tts-5-0 (complete)Download the above graph as a PDF file / as an EPS file |

Solver ttsth-5-0 2009-03-19 (complete)Download the above graph as a PDF file / as an EPS file |
Solver VARSAT-crafted 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |

Solver VARSAT-industrial 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |
Solver VARSAT-random 2009-03-22 (complete)Download the above graph as a PDF file / as an EPS file |