Property RERS17pb115-PT-1-LTLFireability-00
  "Automatically generated"
  is:
    A (("t_71044_a87_SIGPROF"? | G X ("t_71044_a87_SIGPROF"? & F "t_71044_a87_SIGPROF"?)) U X "t_2181_a102_SIGSYS"?)
  end.
Property RERS17pb115-PT-1-LTLFireability-01
  "Automatically generated"
  is:
    A X (!("t_123057_a35_SIGIOT"? | "t_10725_a34_SIGSTOP"?) | (("t_10725_a34_SIGSTOP"? U "t_87237_a117_SIGVTALRM"?) & G "t_10725_a34_SIGSTOP"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-02
  "Automatically generated"
  is:
    A G X (!G !X !X "t_75642_a108_SIGUSR2"? U X F ("t_75642_a108_SIGUSR2"? | "t_33277_a97_SIGFPE"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-03
  "Automatically generated"
  is:
    A (G X G !X G ("t_138503_a1_SIGSYS"? & "t_110059_a73_SIGFPE"?) U !X X F "t_73180_a87_SIGPROF"?)
  end.
Property RERS17pb115-PT-1-LTLFireability-04
  "Automatically generated"
  is:
    A G (!F X X !"t_40497_a59_SIGABRT"? & ("t_119800_a28_SIGCONT"? | F "t_140214_a1_SIGSYS"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-05
  "Automatically generated"
  is:
    A !X F X !"t_75513_a108_SIGUSR2"?
  end.
Property RERS17pb115-PT-1-LTLFireability-06
  "Automatically generated"
  is:
    A G !(G "t_65054_a105_SIGABRT"? U (!G "t_121964_a37_SIGTERM"? U F "t_90300_a70_SIGTRAP"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-07
  "Automatically generated"
  is:
    A G X F G "t_18848_a116_SIGCONT"?
  end.
Property RERS17pb115-PT-1-LTLFireability-08
  "Automatically generated"
  is:
    A X F G X !(F "t_117792_a100_SIGXFSZ"? & G ("t_143833_a115_SIGSEGV"? | "t_67262_a20_SIGSYS"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-09
  "Automatically generated"
  is:
    A G ("t_110296_a73_SIGFPE"? | (G "t_66225_a20_SIGSYS"? U ("t_66225_a20_SIGSYS"? & G ("t_7758_a34_SIGSTOP"? & "t_16479_a92_SIGCHLD"?))))
  end.
Property RERS17pb115-PT-1-LTLFireability-10
  "Automatically generated"
  is:
    A (X F X G "t_29790_a119_SIGQUIT"? U ("t_27663_a86_SIGHUP"? U !("t_27663_a86_SIGHUP"? & "t_37658_a14_SIGTSTP"?)))
  end.
Property RERS17pb115-PT-1-LTLFireability-11
  "Automatically generated"
  is:
    A (!X F ("t_104728_a19_SIGWINCH"? U X "t_125090_a35_SIGIOT"?) U "t_125090_a35_SIGIOT"?)
  end.
Property RERS17pb115-PT-1-LTLFireability-12
  "Automatically generated"
  is:
    A F (X G F (!("t_56311_a24_SIGURG"? | "t_54387_a57_SIGHUP"?) | X !G "t_90865_a5_SIGUSR2"?) U "t_64281_a105_SIGABRT"?)
  end.
Property RERS17pb115-PT-1-LTLFireability-13
  "Automatically generated"
  is:
    A F "t_58792_a24_SIGURG"?
  end.
Property RERS17pb115-PT-1-LTLFireability-14
  "Automatically generated"
  is:
    A (G (G !"t_96729_a85_SIGIOT"? & ("t_96729_a85_SIGIOT"? | X "t_75441_a108_SIGUSR2"?)) U X ("t_114964_a100_SIGXFSZ"? | G "t_114964_a100_SIGXFSZ"?))
  end.
Property RERS17pb115-PT-1-LTLFireability-15
  "Automatically generated"
  is:
    A F X X G !"t_47752_a109_SIGSYS"?
  end.
