Made changes to handling of wrong input in the read-routine. changed to bit_enumeration and added subroutine for it. Added count for number of solutions and time measurement