Fair Guessing of Bit Vectors, или как я участвовал в ICFPC 2013.

[_adept_]

Эпиграф

Нас было 7 человек. У нас было 20 модулей на хаскеле, приватный репозиторий на гитхабе, 6 веток в этом репозитории, ImplicitParams, MagicHash и UndecidableInstances в коде и одна highmem нода на амазоне, а также hangouts для общения, юнит-тесты, просто тесты, google docs для заметок и куча статей про SMT-солверы. Не то что бы мы это все

Comments

[spamsink]

At the end of 72 hours, if your team's score is among the top 20, you will be contacted (at the email address you provided in EasyChair) and asked to submit a two-page abstract describing your solution.

Если этого не произошло, то вы на 21-24 месте. gnuplot со smooth bezier говорит, что вы на 22 месте.

[antilamer]

Пришло вот такое.

Dear Eugene,
You are receiving this message because:
-- You placed in the top 25 of the ICFP contest's main division
-- Or, you placed in the top 5 of the lightning division

И.т.п.

[spamsink]

Описание решения попросили?

[antilamer]

Ага.

[xoposhiy]

Судя по unofficial scoreboard вы на 16-23 месте в основном раунде