SAT@Home: Historical maximum of performance

Printable View