Solverpy

* 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: change prover9 static options [View](https://bitbucket.org/projects/test/repos/my-project/commits/d11cb0cd01f2aed3ea5eccc3bcb252d8970adac8)
* 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)

* fix: recompute GaveUp's and add memory limit 2GB [View](https://bitbucket.org/projects/test/repos/my-project/commits/7cf17bc76c8666396472c0a2160e4b1289a8ee59)

* fix: detect Prover9 termination reasons [View](https://bitbucket.org/projects/test/repos/my-project/commits/b47c6454e8da06a97bd2448871589638440f6196)

* fix: check timeout exitcode and set Timeout status [View](https://bitbucket.org/projects/test/repos/my-project/commits/e3fe48cece3955481f52d4716ad08fcbefb18f81)

* fix: make Prover9 incomplete by default [View](https://bitbucket.org/projects/test/repos/my-project/commits/5b04abc3e1f139d8a492e5114198c95cae7a9c73)