FilterOptionProverVersionThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
*futall102436.7180.00090.07859.517630131502078
*futpla102436.3330.00040.06750.667550132302078
*futnmu102436.1410.00010.06548.837510132702078
*oldall102435.9480.00060.07253.927470133102078
*allall102435.6110.00000.06346.457400133802078
*allnmu102435.1780.00010.06043.637310134702078
*futag0102435.1300.00010.05943.227300134802078
*futpgr102434.4560.00020.06042.607160136202078
*allpla102433.8310.00000.05437.827030137502078
*allag0102433.5900.00000.05437.866980138002078
*futred102433.5900.00000.05639.246980138002078
*allpgr102433.1570.00010.05537.766890138902078
*futag5102432.9640.00000.05336.546850139302078
*futneg102432.8200.00010.05738.806820139602078
*allred102432.6280.00000.05436.606780140002078
*allneg102432.2910.00010.05637.766710140702078
*allmom102432.2430.00000.05436.206700140802078
*allag5102432.1460.00000.05234.546680141002078
*futplr102430.9430.00000.05333.846430143502078
*oldnon102430.8470.00050.06139.116410143702078
*allplr102430.7990.00000.05233.096400143802078
any41.7710.00086802078

Greedy sequence

ProverSum%SumG+2G1+2G-1+2G+2MAlt
eval-*-fut-all-102436.718763
eval-*-fut-pla-102438.595802
eval-*-old-all-102439.557822= eval-*-old-non-1024
eval-*-old-non-102440.472841
eval-*-fut-pgr-102440.857849
eval-*-fut-nmu-102441.145855= eval-*-all-neg-1024
eval-*-all-neg-102441.386860
eval-*-fut-ag0-102441.530863
eval-*-all-all-102441.578864= eval-*-all-nmu-1024 = eval-*-fut-neg-1024 = eval-*-fut-plr-1024 = ... (6)
eval-*-all-nmu-102441.627865= eval-*-fut-neg-1024 = eval-*-fut-plr-1024 = eval-*-all-pgr-1024 = ... (4)
eval-*-fut-neg-102441.675866= eval-*-fut-plr-1024 = eval-*-all-pgr-1024 = eval-*-all-plr-1024
eval-*-fut-plr-102441.723867= eval-*-all-pgr-1024 = eval-*-all-plr-1024
eval-*-all-pgr-102441.771868