Property RERS17pb115-PT-8-LTLFireability-00
  "Automatically generated"
  is:
    A !(F "t_88793_a70_SIGTRAP"? & ("t_30504_a119_SIGQUIT"? | F X "t_30504_a119_SIGQUIT"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-01
  "Automatically generated"
  is:
    A G F (X "t_22815_a64_SIGEMT"? & F X X !"t_117956_a28_SIGCONT"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-02
  "Automatically generated"
  is:
    A ("t_132074_a47_SIGILL"? U (X X X X X (X "t_41019_a59_SIGABRT"? U "t_132074_a47_SIGILL"?) U X X "t_81076_a26_SIGILL"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-03
  "Automatically generated"
  is:
    A X X F (F "t_113418_a73_SIGFPE"? & (("t_65673_a105_SIGABRT"? | X "t_2330_a102_SIGSYS"?) U "t_70480_a87_SIGPROF"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-04
  "Automatically generated"
  is:
    A F !F !X X X !"t_10847_a34_SIGSTOP"?
  end.
Property RERS17pb115-PT-8-LTLFireability-05
  "Automatically generated"
  is:
    A ((("t_58864_a24_SIGURG"? | G "t_76795_a91_SIGPROF"?) U F "t_86692_a15_SIGKILL"?) & (G "t_6107_a104_SIGHUP"? | ("t_143218_a115_SIGSEGV"? & X "t_143218_a115_SIGSEGV"?)))
  end.
Property RERS17pb115-PT-8-LTLFireability-06
  "Automatically generated"
  is:
    A (!"t_68197_a20_SIGSYS"? & X !(F "t_120020_a28_SIGCONT"? U X !("t_27536_a86_SIGHUP"? | G !"t_74061_a87_SIGPROF"?)))
  end.
Property RERS17pb115-PT-8-LTLFireability-07
  "Automatically generated"
  is:
    A G F G ("t_40594_a59_SIGABRT"? U "t_70137_a87_SIGPROF"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-08
  "Automatically generated"
  is:
    A F (("t_78619_a30_SIGXFSZ"? & "t_92346_a38_SIGPROF"?) U ("t_78619_a30_SIGXFSZ"? | "t_92346_a38_SIGPROF"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-09
  "Automatically generated"
  is:
    A X ("t_72462_a87_SIGPROF"? & F (X "t_67798_a20_SIGSYS"? & G !("t_24521_a86_SIGHUP"? | "t_72462_a87_SIGPROF"?)))
  end.
Property RERS17pb115-PT-8-LTLFireability-10
  "Automatically generated"
  is:
    A (F "t_42049_a59_SIGABRT"? & F X X X X "t_68822_a20_SIGSYS"? & G F X "t_40218_a59_SIGABRT"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-11
  "Automatically generated"
  is:
    A ("t_62599_a105_SIGABRT"? & X (F "t_113137_a73_SIGFPE"? & G "t_129894_a63_SIGDEADLK"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-12
"Automatically generated"
is:
A (G ("t_134659_a4_SIGQUIT"? U "t_82338_a94_SIGPOLL"?) | X !G X X !G "t_24951_a86_SIGHUP"?)
end.
Property RERS17pb115-PT-8-LTLFireability-13
"Automatically generated"
is:
A X (X (G "t_4474_a104_SIGHUP"? & F G "t_101331_a32_SIGUSR1"?) | G X !"t_93051_a38_SIGPROF"?)
end.
Property RERS17pb115-PT-8-LTLFireability-14
"Automatically generated"
is:
A !(G !("t_78317_a43_SIGURG"? & !"t_103292_a19_SIGWINCH"?) U X (X "t_25182_a86_SIGHUP"? U "t_78317_a43_SIGURG"?))
end.
Property RERS17pb115-PT-8-LTLFireability-15
"Automatically generated"
is:
A ("t_25399_a86_SIGHUP"? & G X !"t_25399_a86_SIGHUP"?)
end.
