• SAT problem # 2 for the generator A5/1 was solved. It took 31 days, first 20 in active mode last 11 days in inert mode. One satisfying assignment was found.



More...