* fix: prover9 solver setup [View](https://bitbucket.org/projects/test/repos/my-project/commits/6c6c48c4bfb2b18d3bb8b89fa6ef16964e68eeb9)
* fix: do not print command in StdinSolver [View](https://bitbucket.org/projects/test/repos/my-project/commits/93c3da00325045105596e0c5a29d545fcaf031da)
* fix: ensure prover9 terminates [View](https://bitbucket.org/projects/test/repos/my-project/commits/f3b6c92bbc79868d3760aff59fc000f3bb9634b9)
* fix: make Prover9 incomplete by default [View](https://bitbucket.org/projects/test/repos/my-project/commits/5b04abc3e1f139d8a492e5114198c95cae7a9c73)
* fix: check timeout exitcode and set Timeout status [View](https://bitbucket.org/projects/test/repos/my-project/commits/e3fe48cece3955481f52d4716ad08fcbefb18f81)
* fix: detect Prover9 termination reasons [View](https://bitbucket.org/projects/test/repos/my-project/commits/b47c6454e8da06a97bd2448871589638440f6196)
* fix: recompute GaveUp's and add memory limit 2GB [View](https://bitbucket.org/projects/test/repos/my-project/commits/7cf17bc76c8666396472c0a2160e4b1289a8ee59)
* fix: set by default the -Lsmt2 flag for cvc5 [View](https://bitbucket.org/projects/test/repos/my-project/commits/2f799e499afea5242a27ac94e45fd60ad85aaac5)
* chore: use cvc5 static args in setup [View](https://bitbucket.org/projects/test/repos/my-project/commits/4a9c7368887694bb4332b1803a1713243d204cba)
* data: cvc5 strategies from smt-comp [View](https://bitbucket.org/projects/test/repos/my-project/commits/f83707e5c00a23b5448360364f1e474795ab3f6d)
* fix: mardown output for failed results [View](https://bitbucket.org/projects/test/repos/my-project/commits/44c91a77d1c8b90aef97e66705166ab0ecb98b81)
* fix: status handling in markdown.py [View](https://bitbucket.org/projects/test/repos/my-project/commits/85e470b90e73d55e1ec24d42393392e3896b1ab7)
* fix: skip building existing models [View](https://bitbucket.org/projects/test/repos/my-project/commits/820a29bb8c5a393a65998e3eba56162f70ed8a9a)
* fix: keep compressed data after decompress [View](https://bitbucket.org/projects/test/repos/my-project/commits/2071e1a75cb4fbbb5daba4ddcef3c1d6d4d56fab)
* docs: option description [View](https://bitbucket.org/projects/test/repos/my-project/commits/182c77619a27334e173d964f18066f8050c8c7e1)
* docs: Update options.md [View](https://bitbucket.org/projects/test/repos/my-project/commits/d8325627d477727bec5d31f02c51e084d4bea055)
* docs: Update options.md [View](https://bitbucket.org/projects/test/repos/my-project/commits/e764abeae2092d31da3b83f3ab4de3c8f537c23d)
* doc: first pieces of documentation [View](https://bitbucket.org/projects/test/repos/my-project/commits/905012eb322a37b55c195160a531165de7da1bf6)
* fix: correct reporting status for timed out runs [View](https://bitbucket.org/projects/test/repos/my-project/commits/b62e7270a264f6319645375f6df4a576ab06e570)
* fix: allow restarts [View](https://bitbucket.org/projects/test/repos/my-project/commits/edbd7a5939a0401c764d60af0bffe94253cb22d1)