The SMT-Viewer demo is available at http://195.176.181.10:8080. The first five instances are QF_UF SMT instances, the last two are PDR instances from SV-COMP 2016 ldv benchmarks. It is possible to zoom out on the tree view.