Request for a simple geometry benchmark

Stream: IMO-grand-challenge

[Trieu]

I would like to get my hand on the problem set from Deductive Database Approach for Unordered Geometry,

Apparently they can solve 160 problems out of 600, Is there anyone who know or have this problem set handy somewhere? Thank you!

[Mirek Olšák]

I am aware of Pedro Quaresma having a collection http://hilbert.mat.uc.pt/TGTP/Downloads/
but I haven't looked at it myself.