SAT@Home: Bug in 3.15 was found. Bugfix version 3.16 released

In version 3.15 there was a bug that led to calculations with 0 % of CPU usage and with no checkpointing. Bug was fixed in 3.16. Please abort tasks obtained for 3.15 and you will get correct ones for 3.16.

? ?????? 3.15 ???? ??????, ?????????? ? ???????? CPU ?? 0 % ? ??????????? ??????????? ??????????? ?????. ?????? ???? ?????????? ? ?????? 3.16. ?????????? ???????? ???????, ?????????? ??? ?????? 3.15 ? ?? ???????? ?????????? ??????? ??? ?????? 3.16.

More...