FilterOptionProverVersionThm%CoS%UniqST⌀STΣThmCoSMaybeEmptyErrFound
*futall012849.3260.14450.06769.0510253105002078
*futnmu012849.2300.09630.06465.1910232105302078
*futag0012848.3640.04830.06060.4210051107202078
*futpla012848.1230.04830.06161.1110001107702078
*allall012848.0750.00020.05857.729990107902078
*allpla012848.0750.00010.05858.399990107902078
*allnmu012848.0270.00000.05554.509980108002078
*futpgr012848.0270.00010.06060.219980108002078
*allpgr012847.6900.00030.05857.619910108702078
*allag0012847.3530.00000.05453.039840109402078
*allred012847.1610.00010.05553.949800109802078
*futag5012847.1610.00030.05756.269800109802078
*allag5012846.8720.00010.05654.689740110402078
*allneg012846.7280.00000.05452.639710110702078
*allmom012846.6310.00040.05957.399690110902078
*oldall012846.6310.33790.06563.459697110202078
*futneg012846.4390.00010.05553.099650111302078
*futred012846.4390.00010.05553.419650111302078
*allplr012846.1020.00000.05653.679580112002078
*futplr012846.0540.00010.05754.429570112102078
*oldnon012845.8610.00020.05854.859530112502078
any57.9880.5291205112078

Greedy sequence

ProverSum%SumG+2G1+2G-1+2G+2MAlt
eval-*-fut-all-012849.3261025
eval-*-fut-plr-012853.3211108= eval-*-old-non-0128
eval-*-old-all-012854.4271131
eval-*-all-red-012855.2451148
eval-*-fut-pgr-012855.8231160
eval-*-all-mom-012856.3041170
eval-*-all-pla-012856.6891178
eval-*-fut-pla-012856.9301183= eval-*-fut-ag0-0128
eval-*-fut-ag5-012857.1221187= eval-*-fut-ag0-0128
eval-*-fut-ag0-012857.3151191
eval-*-fut-nmu-012857.4591194= eval-*-all-pgr-0128
eval-*-all-pgr-012857.6031197
eval-*-old-non-012857.7001199= eval-*-fut-red-0128 = eval-*-all-all-0128
eval-*-fut-red-012857.7961201= eval-*-all-all-0128
eval-*-all-all-012857.8921203
eval-*-fut-neg-012857.9401204= eval-*-all-ag5-0128
eval-*-all-ag5-012857.9881205