SMTI with Adaptive Search -- support materials

Source Code

The source code for the parallel AS implentation of SMTI is here.

Instances

The instances described in the paper may be found in this tar file. The files are organized into two directories:
  1. size-100, which contains the problems of size 100.
  2. size-1000, with the problems of size 1000. Of these, the subdirectory size-1000/hard contains the "hard" instances.

Supplemental Information

More detailed versions of the experimental evaluation may be found here.