SMTS is a framework for organising and visualizing executions of SMT and PDR in distributed computing environments. The design is based on a general parallelization technique that supports recursively combining algorithm portfolios and divide-and-conquer with the exchange of learned information. In addition, it allows the user to visually inspect both the parallel execution and the instance structure, and supports interactive, high-level guidance of the algorithm through a web interface.
A PDF accompanying the virtual image and describing SMTS architecture is available at http://verify.inf.usi.ch/sites/default/files/smts_artifact.pdf
$ ./smts.py -g -o2 -d prova