tnt@rei /tmp/formal/fifo $ cat fifo_sync_shift_prf/engine_0/logfile_*
##   0:00:00  Solver: yices
##   0:00:00  Checking assumptions in step 0..
##   0:00:00  Checking assertions in step 0..
##   0:00:00  Checking assumptions in step 1..
##   0:00:00  Checking assertions in step 1..
##   0:00:00  Checking assumptions in step 2..
##   0:00:00  Checking assertions in step 2..
##   0:00:00  Checking assumptions in step 3..
##   0:00:00  Checking assertions in step 3..
##   0:00:00  Checking assumptions in step 4..
##   0:00:00  Checking assertions in step 4..
##   0:00:00  Status: PASSED
##   0:00:00  Solver: yices
##   0:00:00  Trying induction in step 5..
##   0:00:00  Temporal induction successful.
##   0:00:00  Status: PASSED