Reverted Disabled Simple GPU Algorithm for Z3 Compact