* remove old code [View](https://bitbucket.org/projects/test/repos/my-project/commits/9f2e4f0c571a2bd4774d935ff7288507c06e4a9a)
* added TimedSolver [View](https://bitbucket.org/projects/test/repos/my-project/commits/ee3b672df95e8584c6c5d0c135d2f374c236e88d)
* timedsolver refactor [View](https://bitbucket.org/projects/test/repos/my-project/commits/8284ef96ab408fc3a89936c349fba3d7010b68b3)
* refactor timeouts and limits [View](https://bitbucket.org/projects/test/repos/my-project/commits/8c8c62ffe611a678e29310017a18de131c09a80a)
* markdown legend and summary [View](https://bitbucket.org/projects/test/repos/my-project/commits/642e0ffd74804f79e7a6b273511c2095605b2e13)
* improve bar message [View](https://bitbucket.org/projects/test/repos/my-project/commits/89d8a98d6dae297f98de233f4dfb352a6783a3b3)
* launcher init [View](https://bitbucket.org/projects/test/repos/my-project/commits/e407e0c7379334c348eeb593a2842113b7fa1ea9)
* default db [View](https://bitbucket.org/projects/test/repos/my-project/commits/e2ec7e10724d86ad0fa3b3e0c6a1c0dca14f0932)
* solved and status providers [View](https://bitbucket.org/projects/test/repos/my-project/commits/dffc17cb4468fe5697902da0481cc3de4ce81703)
* refactor providers [View](https://bitbucket.org/projects/test/repos/my-project/commits/3967a3f99ea3b181a2767e4aee578df764a934b1)
* statuses report [View](https://bitbucket.org/projects/test/repos/my-project/commits/5790c1eb3bc31583e97cb6a48b11e392f1c68b0a)
* setup report [View](https://bitbucket.org/projects/test/repos/my-project/commits/c2c7396e33818c277c7b6fa0479e4e2089a4f5f6)
* compute par2 score [View](https://bitbucket.org/projects/test/repos/my-project/commits/16e10a8d9689f84f5f86a33af9e9458720085c2e)
* trains plugin; file path flattening [View](https://bitbucket.org/projects/test/repos/my-project/commits/a876ed7869b3dd6ada658103be67de23d9fc5c6e)
* gitignore update [View](https://bitbucket.org/projects/test/repos/my-project/commits/0c4fd64f11145e0ca69d7e92c44889da12cab7fb)
* reloader solver [View](https://bitbucket.org/projects/test/repos/my-project/commits/2e9a2c2050a80c7cb81ee7172b06cbe2773b3859)
* repr for plugins [View](https://bitbucket.org/projects/test/repos/my-project/commits/679188640169f81167cb6d70c977895017d22501)
* db restructure and replace slashes in sid names [View](https://bitbucket.org/projects/test/repos/my-project/commits/d22b044d7fae63b1fb9ae582250c16aa13ff7ff7)
* import bids [View](https://bitbucket.org/projects/test/repos/my-project/commits/99fae5921adf157277731b3e359b44e87e999fad)
* remove debug print [View](https://bitbucket.org/projects/test/repos/my-project/commits/b99e6df9304313b5f5ddacccf13de3a3002d41ed)
* storing of announced cached results [View](https://bitbucket.org/projects/test/repos/my-project/commits/d2c690227f114999067d439552f2e0b446ef8115)
* database commit fixed [View](https://bitbucket.org/projects/test/repos/my-project/commits/d90052e260d9d88c9d5e86ffd58e84e26aa15495)
* loader provider [View](https://bitbucket.org/projects/test/repos/my-project/commits/960dbe65dbd778186aae08a03188dbe6d29854b6)
* extract cvc5 training samples [View](https://bitbucket.org/projects/test/repos/my-project/commits/1ae1b2ee46e453ed019ee18055433f198dcd8790)
* improve progress bar report [View](https://bitbucket.org/projects/test/repos/my-project/commits/c4c8bb85521e269b30b4b05d8f710cdc5d26e6ce)
* svm trains basic functions [View](https://bitbucket.org/projects/test/repos/my-project/commits/4be3032f64fb60301ecb9eb9837bd5dba1518529)
* logging compressing [View](https://bitbucket.org/projects/test/repos/my-project/commits/0134ea40703e09386bf2a81759e701015a09ee1c)
* compress scripts [View](https://bitbucket.org/projects/test/repos/my-project/commits/77968e770c710edad1d2089f5bffeb51280bda68)
* missing file [View](https://bitbucket.org/projects/test/repos/my-project/commits/065244bbb82d5ba254eb66923a4efd87e149a9f6)
* simplify legend [View](https://bitbucket.org/projects/test/repos/my-project/commits/ced62dfd02d0b0e87d50042d88eba4c526258924)
* memory limit plugin [View](https://bitbucket.org/projects/test/repos/my-project/commits/96eb79d05adea4d0ff8ddbd7dc42b82192020198)
* default memory limit to 2GB [View](https://bitbucket.org/projects/test/repos/my-project/commits/1543126cc3f0728180d38b6d1d03aeccf5b813f5)
* default memory limit to 4GB [View](https://bitbucket.org/projects/test/repos/my-project/commits/3fb6c11c717dab6958220335fcd8626af0870be6)
* fix default mem limit [View](https://bitbucket.org/projects/test/repos/my-project/commits/0a82b4e93060eb59e9c03babb65d50a60ab71c95)
* gzip outputs & flatten is default [View](https://bitbucket.org/projects/test/repos/my-project/commits/073b5935709b9bf150fa8e15e037a72264914547)
* allow uncompressed [View](https://bitbucket.org/projects/test/repos/my-project/commits/4fb79c3c204c3ee184fc5bc76701805e170b4bde)
* improve progress bar time estimate [View](https://bitbucket.org/projects/test/repos/my-project/commits/567fa77cbf7edc65b1cb5378d1deaaf4281efce8)
* deps [View](https://bitbucket.org/projects/test/repos/my-project/commits/4072af75c22677513e3468baf1e14d5f774dd01a)
* shuffle tasks [View](https://bitbucket.org/projects/test/repos/my-project/commits/cfb3d70362416a7c7def68c94c5a567ecdcfac09)
* allow forced evaluation [View](https://bitbucket.org/projects/test/repos/my-project/commits/5b1630acf55afe5293fff5320d613ffdea2f4218)
* limit comparison methods [View](https://bitbucket.org/projects/test/repos/my-project/commits/5cb096fcbadee9d203ddbea8d6196be35bb84b4c)
* solver limits & compress jsons [View](https://bitbucket.org/projects/test/repos/my-project/commits/567b3b0eee8d723f5fd5d0bab38ff75343db8b80)
* common setup initializers [View](https://bitbucket.org/projects/test/repos/my-project/commits/8457760e88df82100ae2b6946c7d02f37c4aa620)
* setup scripts [View](https://bitbucket.org/projects/test/repos/my-project/commits/6c1123ed9af2106913dfb1ca3a5d0f77213bfab6)