Fix minor things

README.md

@@ -89,7 +89,7 @@ You can test, that everything is set up correctly by running `pyintepret` comman
 To test that the environment is working correctly run the following script:
 
 ```shell
-./run_test.sh
+./run_smoke_test.sh
 ```
 
 This will run only `b-smt` benchmark, with timeout `60s`, and runs only 

generate_figs.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # coding: utf-8
 
 # System Packages

run_smoke_test.sh

@@ -1,3 +1,3 @@
 #!/bin/bash
 rm -rf ./results/data/smoke-test || true
-./run_all.sh --test-run --jobs 1 --b-smt --timeout 60 --output-dir smoke-test --test-run-count 2
+./run_all.sh --test-run --jobs 1 --b-smt --output-dir smoke-test --test-run-count 2 --timeout 60