dafna_3.1: including of undervolted 1.1Ghz