OneSpin’s Formal Verification Verifies Solutions to Einstein’s Riddle