Property RERS17pb114-PT-5-LTLFireability-00
  "Automatically generated"
  is:
    A !F ("t_10053_a17_SIGPROF"? & ("t_10053_a17_SIGPROF"? | "t_136278_a14_SIGDEADLK"?) & G ("t_10053_a17_SIGPROF"? U "t_81937_a4_SIGTSTP"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-01
  "Automatically generated"
  is:
    A X X (G !F "t_144519_a6_SIGSEGV"? | (!"t_143769_a2_SIGLOST"? U "t_86204_a37_SIGFPE"?) | X F "t_143769_a2_SIGLOST"?)
  end.
Property RERS17pb114-PT-5-LTLFireability-02
  "Automatically generated"
  is:
    A ((F ("t_94755_a22_SIGSTOP"? & "t_85501_a38_SIGFPE"?) U ("t_94755_a22_SIGSTOP"? & "t_15521_a10_SIGTSTP"?)) U ((G "t_76269_a114_SIGUSR1"? U "t_69459_a23_SIGHUP"?) U "t_69459_a23_SIGHUP"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-03
  "Automatically generated"
  is:
    A !F (("t_140101_a90_SIGINFO"? U "t_26174_a93_SIGTRAP"?) | F ("t_108004_a15_SIGPOLL"? & F ("t_140101_a90_SIGINFO"? | "t_61688_a26_SIGCHLD"?)))
  end.
Property RERS17pb114-PT-5-LTLFireability-04
  "Automatically generated"
  is:
    A G ((F !F ("t_85308_a38_SIGFPE"? U "t_37384_a25_SIGINFO"?) U "t_37384_a25_SIGINFO"?) & X !"t_23517_a93_SIGTRAP"?)
  end.
Property RERS17pb114-PT-5-LTLFireability-05
  "Automatically generated"
  is:
    A (G "t_142483_a90_SIGINFO"? | G ("t_84086_a41_SIGSEGV"? | ("t_142483_a90_SIGINFO"? & "t_84086_a41_SIGSEGV"?)))
  end.
Property RERS17pb114-PT-5-LTLFireability-06
  "Automatically generated"
  is:
    A F (G "t_26974_a76_SIGILL"? U X F X G F "t_18364_a40_SIGUSR1"?)
  end.
Property RERS17pb114-PT-5-LTLFireability-07
  "Automatically generated"
  is:
    A F ("t_62403_a26_SIGCHLD"? U X "t_14043_a101_SIGUSR2"?)
  end.
Property RERS17pb114-PT-5-LTLFireability-08
  "Automatically generated"
  is:
    A F (X G "t_53711_a18_SIGTERM"? & G (G !"t_44602_a117_SIGPWR"? U G "t_8968_a16_SIGALRM"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-09
  "Automatically generated"
  is:
    A (!"t_138437_a27_SIGALRM"? | G ("t_121651_a102_SIGTERM"? U !G X G "t_66598_a23_SIGHUP"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-10
  "Automatically generated"
  is:
    A X F (F !X X G "t_117315_a96_SIGABRT"? U ("t_72781_a24_SIGCHLD"? | F G "t_117315_a96_SIGABRT"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-11
  "Automatically generated"
  is:
    A (X "t_102684_a86_SIGFPE"? U (((!"t_104216_a58_SIGTERM"? U !"t_102684_a86_SIGFPE"?) | X "t_125984_a88_SIGPWR"?) U ("t_21944_a92_SIGSTOP"? & "t_145281_a6_SIGSEGV"?)))
  end.
Property RERS17pb114-PT-5-LTLFireability-12
  "Automatically generated"
  is:
    A (X G "t_89576_a95_SIGEMT"? & F (X G X "t_101723_a51_SIGPWR"? U "t_30958_a109_SIGTRAP"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-13
  "Automatically generated"
  is:
    A ("t_54195_a18_SIGTERM"? & F (F (!"t_47263_a87_SIGALRM"? & ("t_24288_a93_SIGTRAP"? U X G "t_47263_a87_SIGALRM"?)) U X "t_33659_a78_SIGSYS"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-14
  "Automatically generated"
  is:
    A (!"t_130106_a21_SIGINFO"? & F G (G X G X "t_72065_a24_SIGCHLD"? U !"t_100423_a51_SIGPWR"?))
  end.
Property RERS17pb114-PT-5-LTLFireability-15
  "Automatically generated"
  is:
    A (!("t_88681_a83_SIGUSR2"? U "t_118596_a72_SIGTERM"?) & G (F "t_88681_a83_SIGUSR2"? U G X !"t_118596_a72_SIGTERM"?))
  end.
