As far as I understand it isn't possible to create a bot that isn't F1 compatible, since there are no rules in the F1 league you can't realy disqualify a bot from it.
So... realy all bots are F1 bots... and usualy people don't label with F1 if they qualify for another league. A lot of the top bots in the F1 league do not have the F1 league tag in their name, instead they show what other leagues they qualify for.
So I don't think picking the bots by their label is a very good idea, atleast not for F1, since you need to run the bots in chronological order (Ordered by the date the bots topic was created), so you can't just run the remaining bots later on, or atleast that wouldn't realy be "fair" to the makers of those bots.
Either way, no matter what label a bot has it is also F1, so if you want to run the entire F1 league you need to run all bots in the order they where submitted or you wouldn't be doing it right...
Personaly I wouldn't run the entire league thought, I'd just take the current F1 league tabel and run all the bots in the starting gate against it, the bots that aren't in the starting gate should already have been run before, if something changed then the author can always update it or just ask for it to be run again, otherwise I wouldn't worry about the old bots.
And remember, taking all the bots in the F1 section.... not nearly enough.... as mentioned.... F1 is ALL bots, no exceptions.
Unless you realy want to reevaluate the entire league, then I would sugest just taking over where Jez left off and just run the bots in the starting gate against the current league files.
I don't think anyone is expecting you to start over from scratch.
This would also leave you the time to categorize the bots with no label, the rules are posted in different topics, but they can easily be summarized :
F1 : All bots, no exceptions.
F2 : All bots that don't use a virus or transfers energy through a tie.
MB : Organisms made of more than one bot (The multi flag must also be set I think)
SB : All bots with 6 genes or less.
SS : One store comand, no more no less.
I should mention that some of these leagues kindof lost their concept along the way.
The SB league is anything but short since you can just SG'fie any bot, so 6 genes only sets a limit of 5 viruses, the bot can still do an unlimited amount of things.
The MB league is rules by the bots that spend the least time worrying about ties, since they're usualy more of a disadvantage. You can comunicate a lot better through the air than through your tie, the tie will disrupt your aim, if you form new ties the old tie angles will change, moving around is hard to controll, you can't stiffen birth ties so you risk tieing to enemies or alge when forming, and generaly the ties are just anoying and useless and creates weaknesses. I'm not saying you can't somehow make a multibot that uses the ties to it's advantage, just saying it has yet to happen. The ties just have a will of their own, you're not realy in controll and theres not much you can do with them. Ties are just far more usefull when used as a weapon.
So as far as I'm concerned you don't need to run SB or MB leagues, I don't think anyone cares... maybe if abyaly actualy makes a good MB you could run that
The way I see it, if the top MB can't even make a spot in F1 or F2, then the MB league just seems like a sandbox for handicapped bots.