Models trained from scratch on this machine. Every answer is checked by an independent rule verifier before it is called solved.