Proof-enabled version of the TPC comparison (Andrei Zalite)

No match.