Some programs that need polynomial invariants in order to be verified
cohendiv divbin hard mannadiv wensley
sqrt dijkstra z3sqrt freire1 freire2