Results for Vampire

Total(1) => 0.66126894950867 f_f_QM(2) => 0.45266199111938 indS(2) => 0.23494672775269 indM(2) => 0.21722507476807 indM_1(2) => 0.052361249923706 indM_2(2) => 0.0029828548431396 indM_4(2) => 0.031145095825195 indM_5(2) => 0.028037786483765 indM_6(2) => 0.0058889389038086 indM_7(2) => 0.024028062820435 indM_8(2) => 0.0072579383850098 indM_9(2) => 0.019198656082153 indM_10(2) => 0.013946771621704 f_f_pTL(1) => 0.20733404159546 f_f_dT(10) => 0.20716166496277