SMTscope automatically analyses and visualises SMT solver execution traces. - View it on GitHub