• In current experiment solution of SAT problem # 8 was found by eLPeCKo from Czech National Team and koll from Czech National Team



More...