Property RERS17pb114-PT-2-LTLFireability-00
  "Automatically generated"
  is:
    A G (!F "t_136553_a14_SIGDEADLK"? U X !"t_22467_a93_SIGTRAP"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-01
  "Automatically generated"
  is:
    A ("t_40011_a110_SIGINT"? U X !G F "t_36971_a20_SIGSTOP"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-02
  "Automatically generated"
  is:
    A G F X X !F ("t_17811_a40_SIGUSR1"? & G X "t_116048_a96_SIGABRT"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-03
  "Automatically generated"
  is:
    A X !G ("t_105871_a82_SIGBUS"? | !F "t_59681_a29_SIGPROF"? | F "t_57987_a34_SIGTSTP"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-04
  "Automatically generated"
  is:
    A !("t_64041_a26_SIGCHLD"? & !X G F (X "t_64041_a26_SIGCHLD"? U "t_91111_a44_SIGDEADLK"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-05
  "Automatically generated"
  is:
    A !G !X X F ("t_19265_a118_SIGVTALRM"? | G ("t_133874_a84_SIGINT"? & X ("t_31378_a109_SIGTRAP"? U "t_91694_a44_SIGDEADLK"?)))
  end.
Property RERS17pb114-PT-2-LTLFireability-06
  "Automatically generated"
  is:
    A (!("t_100532_a51_SIGPWR"? | F X (!"t_78196_a30_SIGBUS"? U "t_100532_a51_SIGPWR"?)) U ("t_78196_a30_SIGBUS"? | "t_95544_a22_SIGSTOP"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-07
  "Automatically generated"
  is:
    A !(!"t_57615_a34_SIGTSTP"? & (G ("t_113835_a89_SIGUSR2"? | "t_55724_a65_SIGUSR1"? | G "t_55724_a65_SIGUSR1"?) U X X "t_55724_a65_SIGUSR1"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-08
  "Automatically generated"
  is:
    A (X !"t_116168_a96_SIGABRT"? & X G ("t_52738_a42_SIGDEADLK"? | X X G "t_72629_a24_SIGCHLD"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-09
  "Automatically generated"
  is:
    A G (G "t_130875_a21_SIGINFO"? | G !"t_14715_a101_SIGUSR2"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-10
  "Automatically generated"
  is:
    A X G ("t_144413_a2_SIGLOST"? | "t_62155_a26_SIGCHLD"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-11
  "Automatically generated"
  is:
    A F !X ("t_123356_a102_SIGTERM"? | "t_43580_a117_SIGPWR"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-12
  "Automatically generated"
  is:
    A ("t_132099_a84_SIGINT"? U F ("t_126838_a71_SIGVTALRM"? | "t_39531_a110_SIGINT"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-13
  "Automatically generated"
  is:
    A (X "t_80835_a4_SIGTSTP"? | G "t_26310_a93_SIGTRAP"? | X F (X F G "t_26310_a93_SIGTRAP"? U X "t_1419_a99_SIGILL"?))
  end.
Property RERS17pb114-PT-2-LTLFireability-14
  "Automatically generated"
  is:
    A X !G !("t_25276_a93_SIGTRAP"? U "t_63083_a26_SIGCHLD"?)
  end.
Property RERS17pb114-PT-2-LTLFireability-15
  "Automatically generated"
  is:
    A ((!X "t_145296_a6_SIGSEGV"? U ("t_96701_a22_SIGSTOP"? | F "t_145296_a6_SIGSEGV"?)) U G "t_96701_a22_SIGSTOP"?)
  end.
