Ապացույցներ

Վերահսկվող համեմատություններ

«Ա-ն ընդդեմ Բ-ի» հարցեր, որոնց claim-երի ռեեստրը կարող է ազնվորեն պատասխանել. երկու կողմերը չափված են նույն յունիթի վրա, նույն սառեցված workload-ի տակ, փոխվել է մեկ փոփոխական։ Ամեն թիվ տանում է դեպի իր մշտական claim-էջը՝ գործարկումների ապացույցներով։