All this criticism is wiped out simply by letting industry experts vet the DynexSolve technology in public, as you agreed to.
It would seem the Dynex team is watching this space as they've organized an independent crypto youtuber to validate their claims that their SAT solver is real: https://www.youtube.com/watch?v=SkgPwYXCTeY
In a quick comparison we can see that the "Dynex Neuromorphic Chip" SAT solver is actually dog slow compared to a single threaded YalSAT instance running on low-clocked server hardware: https://www.youtube.at/watch?v=kh3xYDh3uXc
Here YalSAT yielded close to 3 x performance compared to the Dynex sample. YMMV, so if you're into this kind of stuff - just do your own runs with the software: