Coin Jam was solved using WRAPL by 1 contestant. Solution sizes: average 1008 bytes (shortest: 992; longest: 1025).