Owners of proofsareprograms domain

TID(s):

Controller: 0.324s

Template: 0.011s

Cost: cc=0.139, ch=0.0, cm=0.0, cm+h=0.0, cr=0.0, cs=9.0, cw=6.0, dr=614.0, dt=0.567, dw=0.0, gqr=0.0, in=469.0, ir=50.0, iw=0.0, mcs=0.0, mcu=0.035, minflt=1, mr=6.0, nivcsw=13, nreqs=10.0, nvcsw=23.0, pf=0.0, pr=0.0, te=0.008, tf=0.407, tg=0.399, tm=0.437, tr=0.003, ts=0.0, tu=0.0, utime=0.139, va=894.0