Portal solutions

Portal was solved using C# by 7 contestants. Solution sizes: average 7376 bytes (shortest: 3993; longest: 10145).