hifrog

File is: /cprover/regression/funfrog/P2P_Joints_TG3_rec_1.c
Verification not successful; here is the last few lines: ...

• INLINING function: simpleDiv
• INLINING function: sqrt_
  Processing a deferred function: fabs_
  Processing a deferred function: fabs_
  Processing a deferred function: getNum
  Processing a deferred function: simpleDiv
  Processing a deferred function: sqrt_
  Processing a deferred function: getNum
  Processing a deferred function: simpleDiv
  Processing a deferred function: sqrt_
  SYMEX TIME: 0.348
  All SSA steps: 16542
  Ignored SSA steps after slice: 2925
  SLICER TIME: 0.077
  Incrementally adding partitions to the SMT solver
  ; uf_solver query time so far: 0.000029

Command terminated by signal 6
real 162.77