From http://www.cs.colorado.edu/~alch4231/IEI/ :


Virtual Machine for Inductive Expectation Invariants (IEI) is located here: 
VM ( [ ... (removed) ... ] )

Username: iei-guest

Password: iei-guest

IEI tool is located under /home/iei-guest/iei-tool.
README file contains prerequisites, installation, and compilation details.

To RUN the tool:
$ ./bin/main_analysis < ./tests/motivating_example

To RUN the benchmarks:
$ python run_benchmarks.py
$ cat results.csv

The newest version of the front-end for the tool can be found at
http://www.cs.colorado.edu/~alch4231/IEI/