jdart failed to run Apollo that is runable with SPF

[chenbihuan]

Hi,

I tried to run jdart on Apollo (rjc.zip) that is widely used in the SPF community.

With the same setting to the coral solver, jdart only explored one single path of Apollo because of the UNSAT return when calling coral, while SPF successfully explored Apollo.

Any clue or experience on why jdart fails in this case?