FilterOptionProverVersionThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
*allag0003243.6967.17010.05457.23908149102102078
*allpgr003243.3116.49720.05758.76900135104302078
*allnmu003242.7828.56610.05255.27889178101102078
*allpla003242.5416.16030.05959.23884128106602078
*allag5003242.4455.29420.05756.62882110108602078
*allall003242.3009.72100.05155.0587920299702078
*oldnon003242.0605.43830.05857.25874113109102078
*allplr003241.9635.34220.05654.97872111109502078
*allmom003241.8195.72760.05857.23869119109002078
*futplr003241.4826.78520.05352.92862141107502078
*futag0003240.71211.88620.04751.7584624798502078
*futag5003240.7127.98800.05050.38846166106602078
*allred003240.2797.45910.04949.09837155108602078
*futnmu003239.89416.02500.04249.2082933391602078
*allneg003239.5097.12200.04846.52821148110902078
*futred003239.1728.80700.04444.15814183108102078
*futall003239.12416.16900.04147.3781333692902078
*futneg003239.0768.08500.04544.12812168109802078
*futpgr003238.69114.87010.04448.5980430996502078
*futpla003238.01715.64020.04449.1179032596302078
*oldall003236.42918.62420.03944.1975738793402078
any52.40628.05610895832078

Greedy sequence

ProverSum%SumG+2G1+2G-1+2G+2MAlt
eval-*-all-ag0-003243.696908
eval-*-old-non-003246.728971
eval-*-all-all-003248.7491013
eval-*-all-pla-003249.7111033
eval-*-all-mom-003250.3371046
eval-*-fut-nmu-003250.7701055= eval-*-fut-ag0-0032
eval-*-all-pgr-003251.0591061= eval-*-all-ag5-0032 = eval-*-all-red-0032 = eval-*-all-neg-0032 = ... (4)
eval-*-all-red-003251.3471067= eval-*-all-neg-0032
eval-*-all-ag5-003251.5881072
eval-*-fut-ag0-003251.7811076
eval-*-old-all-003251.9251079
eval-*-all-plr-003252.0211081= eval-*-fut-plr-0032 = eval-*-fut-pla-0032 = eval-*-fut-pgr-0032
eval-*-fut-plr-003252.1171083= eval-*-fut-pla-0032 = eval-*-fut-pgr-0032
eval-*-fut-pla-003252.2141085= eval-*-fut-pgr-0032
eval-*-fut-pgr-003252.3101087
eval-*-all-nmu-003252.3581088= eval-*-fut-neg-0032 = eval-*-all-neg-0032
eval-*-fut-neg-003252.4061089= eval-*-all-neg-0032