FilterOptionProverVersionThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
*futnmu025647.1610.00040.06866.699800109802078
*futpla025646.9200.00080.07169.539750110302078
*futall025646.8240.00050.07067.949730110502078
*allall025646.1980.00010.05956.659600111802078
*futag0025645.9580.00010.06259.269550112302078
*futpgr025645.8610.00030.06460.919530112502078
*allnmu025645.3320.00020.05854.859420113602078
*oldall025645.1400.00080.06863.359380114002078
*allpla025644.0810.00000.05550.049160116202078
*allag0025643.9850.00000.05348.599140116402078
*futred025643.7440.00000.05549.669090116902078
*allpgr025643.6960.00000.05549.709080117002078
*futneg025643.6480.00010.05651.009070117102078
*allred025643.1670.00000.05347.168970118102078
*allmom025643.0220.00020.05549.038940118402078
*futag5025642.9260.00010.05448.028920118602078
*allneg025642.8300.00000.05246.588900118802078
*allag5025642.5410.00000.05347.238840119402078
*futplr025642.2040.00000.05346.568770120102078
*allplr025641.9630.00000.05346.018720120602078
*oldnon025640.6640.00030.05647.248450123302078
any54.1870.000112602078

Greedy sequence

ProverSum%SumG+2G1+2G-1+2G+2MAlt
eval-*-fut-nmu-025647.161980
eval-*-all-ag5-025649.7111033
eval-*-old-all-025651.1071062
eval-*-fut-pla-025652.1171083
eval-*-fut-pgr-025652.6471094
eval-*-old-non-025653.1281104
eval-*-fut-neg-025653.4171110
eval-*-fut-all-025653.6571115
eval-*-all-nmu-025653.8501119
eval-*-all-mom-025653.9941122
eval-*-all-all-025654.0901124
eval-*-fut-ag5-025654.1391125= eval-*-fut-ag0-0256
eval-*-fut-ag0-025654.1871126