using xsb results in segmentation fault

[JoD]

The following command

cat /home/jodv/workspace/asp-competition-2013/IDP3SystemTrack/O13-Solitaire/Solitaire_asp.idp /home/jodv/workspace/asp-competition-2013/IDP3/O13-Solitaire/aspinstances/24-solitaire-50-0.asp | ./run

gives a segmentation fault with stdoptions.xsb=true

loops infinitely with stdoptions.xsb=false stdoptions.satdelay=true

runs fine with stdoptions.xsb=false stdoptions.satdelay=false