Property RERS17pb114-PT-6-CTLFireability-00
  "Automatically generated"
  is:
    ((A G ! ! (("t_97115_a22_SIGSTOP"?) & ("t_21219_a1_SIGSEGV"?))) | (((((E F ! "t_131214_a84_SIGINT"?) & (A X (("t_113306_a89_SIGUSR2"?) & ("t_48998_a87_SIGALRM"?))))) | (E F (((("t_63048_a26_SIGCHLD"?) | ("t_76632_a114_SIGUSR1"?))) & ((("t_84672_a41_SIGSEGV"?) | ("t_70411_a100_SIGBUS"?))))))))
  end.
Property RERS17pb114-PT-6-CTLFireability-01
  "Automatically generated"
  is:
    ((! E X A F "t_10649_a35_SIGSTOP"?) | (! ! E X (("t_131903_a84_SIGINT"?) & ("t_80238_a4_SIGTSTP"?))))
  end.
Property RERS17pb114-PT-6-CTLFireability-02
  "Automatically generated"
  is:
    A F E X A G "t_38301_a25_SIGINFO"?
  end.
Property RERS17pb114-PT-6-CTLFireability-03
  "Automatically generated"
  is:
    A ((! (((("t_5657_a33_SIGKILL"?) & ("t_115595_a89_SIGUSR2"?))) & (! "t_65683_a23_SIGHUP"?))) U (A X (("t_69298_a23_SIGHUP"?) | ("t_148484_a73_SIGURG"?))))
  end.
Property RERS17pb114-PT-6-CTLFireability-04
  "Automatically generated"
  is:
    A F E F (("t_109989_a62_SIGTRAP"?) | ("t_39798_a110_SIGINT"?))
  end.
Property RERS17pb114-PT-6-CTLFireability-05
  "Automatically generated"
  is:
    E F E (("t_80722_a4_SIGTSTP"?) U ((("t_138032_a14_SIGDEADLK"?) & ("t_129026_a53_SIGLOST"?))))
  end.
Property RERS17pb114-PT-6-CTLFireability-06
  "Automatically generated"
  is:
    ! ((((A G (("t_98365_a51_SIGPWR"?) | ("t_92149_a44_SIGDEADLK"?))) & (A F (("t_86091_a38_SIGFPE"?) | ("t_116994_a96_SIGABRT"?))))) | (A F E G "t_77856_a30_SIGBUS"?))
  end.
Property RERS17pb114-PT-6-CTLFireability-07
  "Automatically generated"
  is:
    ((E G "t_140454_a90_SIGINFO"?) | (E ((A F "t_106889_a82_SIGBUS"?) U (E G "t_82803_a5_SIGHUP"?))))
  end.
Property RERS17pb114-PT-6-CTLFireability-08
  "Automatically generated"
  is:
    A G A ((! "t_13403_a70_SIGIOT"?) U ("t_21885_a92_SIGSTOP"?))
  end.
Property RERS17pb114-PT-6-CTLFireability-09
  "Automatically generated"
  is:
    E F (("t_2397_a56_SIGPWR"?) & (E X (("t_29686_a109_SIGTRAP"?) & ("t_66565_a23_SIGHUP"?))))
  end.
Property RERS17pb114-PT-6-CTLFireability-10
  "Automatically generated"
  is:
    E F E X E F "t_10938_a111_SIGTTOU"?
  end.
Property RERS17pb114-PT-6-CTLFireability-11
  "Automatically generated"
  is:
    ! ((! "t_31837_a109_SIGTRAP"?) & (E F (((("t_63474_a26_SIGCHLD"?) & ("t_80444_a4_SIGTSTP"?))) & ((("t_112158_a89_SIGUSR2"?) | ("t_131951_a84_SIGINT"?))))))
  end.
Property RERS17pb114-PT-6-CTLFireability-12
  "Automatically generated"
  is:
    ! E F ((E G "t_61073_a26_SIGCHLD"?) | (E F "t_29758_a109_SIGTRAP"?))
  end.
Property RERS17pb114-PT-6-CTLFireability-13
  "Automatically generated"
  is:
    A F E X "t_42976_a117_SIGPWR"?
  end.
Property RERS17pb114-PT-6-CTLFireability-14
  "Automatically generated"
  is:
    ((! E G (((("t_91195_a44_SIGDEADLK"?) | ("t_88794_a83_SIGUSR2"?))) | (! "t_120604_a102_SIGTERM"?))) & (! E F A F "t_84982_a41_SIGSEGV"?))
  end.
Property RERS17pb114-PT-6-CTLFireability-15
  "Automatically generated"
  is:
    E F ! ! E G "t_73902_a24_SIGCHLD"?
  end.
