FilterOptionProverVersionThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
*futall204833.5420.00090.08559.156970138102078
*futnmu204832.9640.00020.07148.376850139302078
*futpla204832.9640.00070.07551.696850139302078
*oldall204832.5790.00010.07047.086770140102078
*allall204832.5310.00010.06846.236760140202078
*allnmu204831.9540.00010.06543.146640141402078
*allpla204831.5210.00020.06240.816550142302078
*futag0204831.0880.00000.05736.966460143202078
*futpgr204830.6060.00010.05736.526360144202078
*allag0204830.3180.00010.05735.736300144802078
*allpgr204830.2690.00010.05735.846290144902078
*futneg204829.2110.00000.05734.406070147102078
*allneg204829.1630.00000.05533.436060147202078
*futag5204829.1630.00010.05734.266060147202078
*futred204828.7780.00030.05935.095980148002078
*allag5204828.7300.00000.05633.185970148102078
*allred204828.6810.00000.05532.505960148202078
*oldnon204827.0930.00040.06435.895630151502078
*allplr204826.1310.00000.05630.415430153502078
*futplr204826.0830.00010.05831.275420153602078
*allmom204825.5530.00000.05529.035310154702078
any39.0280.00081102078

Greedy sequence

ProverSum%SumG+2G1+2G-1+2G+2MAlt
eval-*-fut-all-204833.542697
eval-*-fut-pla-204836.044749
eval-*-old-non-204837.055770= eval-*-fut-neg-2048
eval-*-fut-nmu-204837.536780= eval-*-all-nmu-2048 = eval-*-fut-ag5-2048 = eval-*-all-pla-2048 = ... (4)
eval-*-fut-ag5-204838.017790
eval-*-fut-red-204838.258795
eval-*-all-nmu-204838.450799= eval-*-all-all-2048
eval-*-fut-plr-204838.595802= eval-*-all-all-2048 = eval-*-old-all-2048
eval-*-all-all-204838.739805= eval-*-old-all-2048
eval-*-all-pla-204838.835807
eval-*-all-pgr-204838.884808= eval-*-all-ag0-2048 = eval-*-fut-pgr-2048 = eval-*-old-all-2048
eval-*-all-ag0-204838.932809= eval-*-fut-pgr-2048 = eval-*-old-all-2048
eval-*-fut-pgr-204838.980810= eval-*-old-all-2048
eval-*-old-all-204839.028811