hifrog

File is: /home/asadis/hi-bench/challenge-bench/sv-comp17/c/ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c
File is: /home/asadis/hi-bench/challenge-bench/sv-comp17/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c
File is: /home/asadis/hi-bench/challenge-bench/sv-comp17/ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c

Verification not successful, here is the last few lines: ...

Converting
Type-checking s3_srvr.blast.08_false-unreach-call.i.cil
Generating GOTO Program
Ignoring CPROVER library
Removal of function pointers and virtual functions
Generic Property Instrumentation
LOAD Time: 2.419 sec.
Total number of claims in program...(1)
A specific claim is not set, nor any other claim specification is set.
Warrning: --claim is set to 1.
; Warning: disabling SATElite preprocessing to track proof
Use QF_UF logic.

---------checking claim # 1 ---------

; Warning: disabling SATElite preprocessing to track proof
Command terminated by signal 24
timeout 200 (s)