Külmutatud 12B mudel koos verifitseeritud lahenduste mäluga saavutab verifitseeritud probleemiperekondades 100% täpsuse, ilma et kuluks ühtki tokenit, andes deterministlikke ja bititäpseid tulemusi.