smalle cache, diff for json test is below 1%
limit the cache for unification to some reasonable size we use here at the moment 64k elements to not hog too much memory and to make the clearing no big stall
Please register or sign in to comment
limit the cache for unification to some reasonable size we use here at the moment 64k elements to not hog too much memory and to make the clearing no big stall