Segmentation fault on a random 3-CNF instance

[nianzelee]

Hi Perry,

I encountered a segmentation fault with ClauSSat on this instance.

$ claussat ~/Benchmarks/ssat-benchmarks/er-random-k-CNF/rand-3-30-150-15.57.sdimacs
c options: -e -g -u -n -w 
/home/nianzelee/Benchmarks/ssat-benchmarks/er-random-k-CNF/rand-3-30-150-15.57.sdimacs
c nGroup/nPin/nEdge = 253/30/30
Error: The last level is universal.
Segmentation fault (core dumped)

Would you please have a look if you are available?