These are files used for experimenting with the efficacy of Program Slicing to reduce the state space of verification in the AJPF system as discussed in Winikoff et al. `Slicing Agent Programs for more Efficient Verification' to appear in the Post-proceedings of the 6th International Workshop on Engineering Multi-Agent Systems (EMAS 2018). The deposit consists of a an archive containing three folders: cruise_control contains the original and sliced programs (using both Bordini's algorithm (old) and the algorithm proposed in the paper (new)) for the cruise control example discussed throughout the paper together with logs of verificatoin runs and a record of the timings. leo contains contains the original and sliced programs (using both Bordini's algorithm (bordinisliced) and the algorithm proposed in the paper (newsliced)) for the Low Earth Orbit example discussed at the end of the evaluation section togehter with logs of verification runs. These programs run in the versions of Gwendolen and EASS shipped with AJPF 2018 archived at Zenodo ( https://zenodo.org/record/1237635#.XHJ6jy2cZMY ) src contains the Prolog code used to create the sliced programs. These run in sicstus Prolog ( https://sicstus.sics.se ) 4.5.0