Search1 Result

Instructions for running Solver on a lab computer.