./jbmc --propertyfile ../git-sv-benchmarks/java/ReachSafety.prp ../git-sv-benchmarks/java/jayhorn-recursive/SatFibonacci03_true-assert.jar


--------------------------------------------------------------------------------


./jbmc-binary --throw-runtime-exceptions --string-max-input-length 100 --classpath core-models.jar --graphml-witness /tmp/JBMC-log.d5328z.witness --unwind 11 --stop-on-fail --64 --object-bits 11 --function Main.main ../git-sv-benchmarks/java/jayhorn-recursive/SatFibonacci03_true-assert.jar
tail: cannot open '/tmp/JBMC-log.d5328z.ok' for reading: No such file or directory