SAT@Home: New maximum of performance during challenge

Printable View