Property RERS17pb115-PT-8-LTLFireability-00
  "Automatically generated"
  is:
    A ("t_40655_a59_SIGABRT"? | "t_30726_a119_SIGQUIT"? | X ("t_19554_a2_SIGUSR1"? & X "t_52247_a57_SIGHUP"? & F G ("t_19554_a2_SIGUSR1"? U "t_127849_a93_SIGURG"?)))
  end.
Property RERS17pb115-PT-8-LTLFireability-01
  "Automatically generated"
  is:
    A (X ("t_19234_a116_SIGCONT"? U F "t_7494_a104_SIGHUP"?) U G X !X F X "t_115616_a100_SIGXFSZ"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-02
  "Automatically generated"
  is:
    A F ("t_43742_a3_SIGURG"? | !X (G F !("t_77547_a91_SIGPROF"? | G "t_43742_a3_SIGURG"?) U G "t_58268_a24_SIGURG"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-03
  "Automatically generated"
  is:
    A F ((G "t_18553_a25_SIGURG"? | F "t_142029_a75_SIGQUIT"?) U (("t_18553_a25_SIGURG"? | !"t_18553_a25_SIGURG"?) U "t_31131_a119_SIGQUIT"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-04
  "Automatically generated"
  is:
    A X (!"t_89125_a70_SIGTRAP"? | X G (X G "t_115251_a100_SIGXFSZ"? U X "t_89125_a70_SIGTRAP"?) | X "t_71875_a87_SIGPROF"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-05
  "Automatically generated"
  is:
    A (X G "t_26882_a86_SIGHUP"? | F X X F !"t_129857_a63_SIGDEADLK"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-06
  "Automatically generated"
  is:
    A (!"t_21973_a64_SIGEMT"? & !(F ("t_89645_a70_SIGTRAP"? | !("t_120391_a28_SIGCONT"? | ("t_20571_a67_SIGALRM"? & "t_21973_a64_SIGEMT"?))) U "t_89645_a70_SIGTRAP"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-07
  "Automatically generated"
  is:
    A F (!((!"t_105854_a22_SIGUSR1"? & X "t_19278_a80_SIGURG"?) U "t_17346_a92_SIGCHLD"?) | (!"t_122040_a37_SIGTERM"? U X "t_122040_a37_SIGTERM"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-08
  "Automatically generated"
  is:
    A X (G "t_90648_a70_SIGTRAP"? | G X "t_123605_a35_SIGIOT"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-09
  "Automatically generated"
  is:
    A X (("t_8958_a34_SIGSTOP"? & (!"t_10478_a34_SIGSTOP"? | X F !"t_69995_a20_SIGSYS"?)) U G X G "t_103564_a19_SIGWINCH"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-10
  "Automatically generated"
  is:
    A ("t_120840_a28_SIGCONT"? & (!F !"t_120840_a28_SIGCONT"? U ("t_139237_a1_SIGSYS"? U X "t_94417_a118_SIGPROF"?)))
  end.
Property RERS17pb115-PT-8-LTLFireability-11
  "Automatically generated"
  is:
    A (X "t_37940_a14_SIGTSTP"? & F "t_72543_a87_SIGPROF"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-12
  "Automatically generated"
  is:
    A (X (("t_127016_a35_SIGIOT"? & "t_26981_a86_SIGHUP"?) | F "t_26981_a86_SIGHUP"?) U X !G !"t_127016_a35_SIGIOT"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-13
  "Automatically generated"
  is:
    A ((("t_68589_a20_SIGSYS"? | "t_51051_a55_SIGCHLD"?) & G ("t_133244_a47_SIGILL"? | "t_51051_a55_SIGCHLD"?)) U !("t_106868_a106_SIGUSR1"? | X G "t_100250_a32_SIGUSR1"?))
  end.
Property RERS17pb115-PT-8-LTLFireability-14
  "Automatically generated"
  is:
    A X (!"t_52354_a57_SIGHUP"? | "t_69244_a20_SIGSYS"? | X X F X G F X X "t_116452_a100_SIGXFSZ"?)
  end.
Property RERS17pb115-PT-8-LTLFireability-15
  "Automatically generated"
  is:
    A G (X "t_140225_a1_SIGSYS"? & G !"t_69346_a20_SIGSYS"?)
  end.
