Script fixes

+ Tests which are not solved in the given time are marked as slow for
that time
~ The solver is killed if it is too slow and not left running in
background