irc(n)TcTAProVE RNTSAProVE '16AProVE & TcTAProVE '17
Ο(1)4743485353
≤ Ο(n)276254320354379
≤ Ο(n2)362366425463506
≤ Ο(n3)386402439485541
≤ Ο(n>3)393412439491548
≤ EXP393422439491553