Property RERS17pb115-PT-7-LTLFireability-00
  "Automatically generated"
  is:
    A (F "t_1610_a53_SIGPROF"? & F X X "t_29300_a119_SIGQUIT"? & (X G "t_88665_a70_SIGTRAP"? U "t_100230_a32_SIGUSR1"?))
  end.
Property RERS17pb115-PT-7-LTLFireability-01
  "Automatically generated"
  is:
    A ((X F G "t_29007_a119_SIGQUIT"? U !F "t_47133_a109_SIGSYS"?) | X !X !"t_29007_a119_SIGQUIT"?)
  end.
Property RERS17pb115-PT-7-LTLFireability-02
  "Automatically generated"
  is:
    A !G X ((X X "t_74580_a108_SIGUSR2"? U G "t_81838_a26_SIGILL"?) U !X !G "t_74580_a108_SIGUSR2"?)
  end.
Property RERS17pb115-PT-7-LTLFireability-03
  "Automatically generated"
  is:
    A F X G ("t_73203_a87_SIGPROF"? & (X "t_135598_a4_SIGQUIT"? | X ("t_73203_a87_SIGPROF"? U "t_135598_a4_SIGQUIT"?)))
  end.
Property RERS17pb115-PT-7-LTLFireability-04
  "Automatically generated"
  is:
    A F G (G F ((F X "t_117438_a100_SIGXFSZ"? | !X "t_89399_a70_SIGTRAP"?) U "t_117438_a100_SIGXFSZ"?) U "t_117438_a100_SIGXFSZ"?)
  end.
Property RERS17pb115-PT-7-LTLFireability-05
  "Automatically generated"
  is:
    A G X (G "t_82462_a94_SIGPOLL"? | X X (G !"t_29525_a119_SIGQUIT"? | ("t_98233_a85_SIGIOT"? & X "t_98233_a85_SIGIOT"?)))
  end.
Property RERS17pb115-PT-7-LTLFireability-06
  "Automatically generated"
  is:
    A ((G "t_89212_a70_SIGTRAP"? U (!"t_5927_a104_SIGHUP"? & X G "t_12163_a7_SIGPIPE"?)) U X "t_127224_a93_SIGURG"?)
  end.
Property RERS17pb115-PT-7-LTLFireability-07
  "Automatically generated"
  is:
    A F ("t_36509_a14_SIGTSTP"? & "t_65415_a105_SIGABRT"?)
  end.
Property RERS17pb115-PT-7-LTLFireability-08
  "Automatically generated"
  is:
    A ("t_129206_a95_SIGEMT"? | "t_45471_a109_SIGSYS"? | X !("t_45471_a109_SIGSYS"? & "t_119919_a28_SIGCONT"? & F X "t_45471_a109_SIGSYS"?))
  end.
Property RERS17pb115-PT-7-LTLFireability-09
  "Automatically generated"
  is:
    A !F G !X G "t_120717_a28_SIGCONT"?
  end.
Property RERS17pb115-PT-7-LTLFireability-10
  "Automatically generated"
  is:
    A F X (("t_119499_a28_SIGCONT"? U "t_57359_a24_SIGURG"?) | F G (X "t_57359_a24_SIGURG"? | (F "t_81951_a26_SIGILL"? U "t_119499_a28_SIGCONT"?)))
  end.
Property RERS17pb115-PT-7-LTLFireability-11
  "Automatically generated"
  is:
    A (!"t_86173_a15_SIGKILL"? U (X X "t_12035_a7_SIGPIPE"? & !("t_60950_a114_SIGBUS"? U X "t_60950_a114_SIGBUS"?)))
  end.
Property RERS17pb115-PT-7-LTLFireability-12
"Automatically generated"
is:
A (("t_63158_a105_SIGABRT"? | "t_50858_a55_SIGCHLD"?) U X ("t_50858_a55_SIGCHLD"? | "t_142352_a115_SIGSEGV"?))
end.
Property RERS17pb115-PT-7-LTLFireability-13
"Automatically generated"
is:
A ("t_46106_a109_SIGSYS"? | X (F "t_37707_a14_SIGTSTP"? | ("t_46106_a109_SIGSYS"? U ("t_87501_a117_SIGVTALRM"? U "t_11199_a34_SIGSTOP"?))) | !X "t_87501_a117_SIGVTALRM"?)
end.
Property RERS17pb115-PT-7-LTLFireability-14
"Automatically generated"
is:
A F (!G ("t_11790_a34_SIGSTOP"? & X !G F "t_137852_a17_SIGIOT"?) | X "t_103905_a19_SIGWINCH"?)
end.
Property RERS17pb115-PT-7-LTLFireability-15
"Automatically generated"
is:
A ("t_106476_a106_SIGUSR1"? U G (G (!F "t_106476_a106_SIGUSR1"? & X "t_65918_a105_SIGABRT"?) & ("t_31656_a119_SIGQUIT"? | F "t_31656_a119_SIGQUIT"?)))
end.
