control -1 severity important control -1 tags unreproducible Hi, thanks for your bugreport. Unfortunanately I am not able to reproduce this bug. Could you please run it through gdb and send its output? sudo apt-get install solvespace-dbgsym gdb solvespace > run wait till it crashes > bt Regards Anton