Results for Z3GPDR without abstraction.

down-counter-encoding