Is it possible to get hold of some sample STP problems generated by Klee in the course of analyzing some code? (Or problems generated for input to some other solver such as Z3 would be fine, too.) I haven't been able to find any in the links from the website. -------------- next part -------------- HTML attachment scrubbed and removed