|Your personal background.|
|I am cruncher from Czech National Team|
I manage http://stats.czechnationalteam.cz/.
|Your opinions about SAT@home|
|Parallel and Distrubuted SAT Solver is BOINC project.|
|Your feedback on this profile|
|Recommend this profile for User of the Day:||I like this profile|
|Alert administrators to an offensive profile:||I do not like this profile|