This is an old revision of the document!
The implementation of the algorithm to be reported in CASC 2018 will be available here soon.
Please revisit later!