data(satsolvers)
# number of total successes for virtual best solver
print(sum(successes(satsolvers, vbs)))
# number of total successes for single best solver by count
print(sum(successes(satsolvers, singleBestByCount)))
# sum of PAR10 scores for single best solver by PAR10 score
print(sum(parscores(satsolvers, singleBestByPar)))
# number of total successes for single best solver by successes
print(sum(successes(satsolvers, singleBestBySuccesses)))Run the code above in your browser using DataLab