Before revision:  Our experiments show significant savings, up to 10x in some cases, in verification time over existing methods .
After revision:  Our experiments show significant savings, up to 10x in some cases, in verification time , even while using those very tools as reachability subroutines .