• In current experiment solution of SAT problem # 7 was found by Jeff17 from BOINCstats and Bigred from Free-DC



More...