Results for Z3GPDR without abstraction.

up-counter-encoding