Scripts: results_of_latex prints warning when models have different sizes
Script for running all provers