In this page you can find the experimental results of comparing symbolic execution times of the Lazy initialization (LI) approach with our technique that incorporates a trained neural network to improve the pruning (LI+NN). All the experiments were performed as described in the page A single case study