Move result of tests on the left.
Actually kill process in case of timeout.
Add intensive sat tests.
Clean a bit of source code.