Senate Evacuation solutions

Senate Evacuation was solved using WRAPL by 1 contestant.