0 Members and 1 Guest are viewing this topic.
An earlier release gave me the same behaviour. There were different executables for cgx and vampire and the vampire one worked for me but the cgx one always crashed...I assumed the exes were named incorrectly. Are you using the latest version?
