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 virtual image with compiled binaries is available at

A PDF accompanying the virtual image and describing SMTS architecture is available at


Instructions on how to compile smts are available from  To run the system, type
  ./ -g -o2 -d prova
A live GUI demo is available at  For security reasons the instance uploading is disabled on the live demo.
A visualisation of an SMT instance