sentence1: this follows from the fact that solving grgames according to the algorithm in has time complexity owhere m is the number of guarantees and n us the number of assumptions .
sentence2: this follows from the fact that solving grgames according to the fixed-point computation in takes osymbolic steps where n g is the number of guarantees and n a is the number of assumptions .