Property RERS17pb113-PT-9-LTLFireability-00
  "Automatically generated"
  is:
    A G (X X X (("t_16695_a18_SIGFPE"? | G "t_9914_a40_SIGTRAP"?) U X !"t_22470_a4_SIGUSR2"?) U G "t_16695_a18_SIGFPE"?)
  end.
Property RERS17pb113-PT-9-LTLFireability-01
  "Automatically generated"
  is:
    A G (("t_10200_a40_SIGTRAP"? | "t_17158_a18_SIGFPE"? | ("t_10200_a40_SIGTRAP"? & "t_11683_a17_SIGCONT"?)) & G "t_30401_a52_SIGFPE"?)
  end.
Property RERS17pb113-PT-9-LTLFireability-02
  "Automatically generated"
  is:
    A (G "t_18916_a50_SIGDEADLK"? U !(X "t_18916_a50_SIGDEADLK"? | (G "t_28014_a42_SIGSTOP"? U "t_18916_a50_SIGDEADLK"?)))
  end.
Property RERS17pb113-PT-9-LTLFireability-03
  "Automatically generated"
  is:
    A !(("t_1126_a79_SIGKILL"? U ("t_14468_a9_SIGCONT"? & F "t_1126_a79_SIGKILL"?)) & F !("t_24500_a19_SIGPROF"? & F G "t_24140_a19_SIGPROF"?))
  end.
Property RERS17pb113-PT-9-LTLFireability-04
  "Automatically generated"
  is:
    A X !X !(!F "t_15317_a6_SIGUSR2"? | !X ("t_14508_a9_SIGCONT"? & !G "t_15317_a6_SIGUSR2"?))
  end.
Property RERS17pb113-PT-9-LTLFireability-05
  "Automatically generated"
  is:
    A !F (F "t_25836_a28_SIGPWR"? U X (("t_12942_a36_SIGDEADLK"? U "t_25836_a28_SIGPWR"?) | (!"t_12942_a36_SIGDEADLK"? & X "t_6926_a72_SIGFPE"?)))
  end.
Property RERS17pb113-PT-9-LTLFireability-06
  "Automatically generated"
  is:
    A ("t_22128_a4_SIGUSR2"? U "t_12120_a30_SIGFPE"?)
  end.
Property RERS17pb113-PT-9-LTLFireability-07
  "Automatically generated"
  is:
    A (F X F X X F X !"t_7912_a66_SIGTRAP"? & ("t_30992_a52_SIGFPE"? U X "t_8647_a55_SIGPROF"?))
  end.
Property RERS17pb113-PT-9-LTLFireability-08
  "Automatically generated"
  is:
    A G X F G F "t_24310_a19_SIGPROF"?
  end.
Property RERS17pb113-PT-9-LTLFireability-09
  "Automatically generated"
  is:
    A G F !("t_15008_a9_SIGCONT"? & F !X F X G !("t_19260_a50_SIGDEADLK"? | "t_29220_a26_SIGPWR"?))
  end.
Property RERS17pb113-PT-9-LTLFireability-10
  "Automatically generated"
  is:
    A !X G !X X "t_27189_a34_SIGPROF"?
  end.
Property RERS17pb113-PT-9-LTLFireability-11
  "Automatically generated"
  is:
    A ((G "t_40_a78_SIGEMT"? U "t_22313_a4_SIGUSR2"?) & G ("t_23566_a5_SIGINFO"? | X "t_22313_a4_SIGUSR2"? | G X !"t_7923_a66_SIGTRAP"?))
  end.
Property RERS17pb113-PT-9-LTLFireability-12
"Automatically generated"
is:
A !G X G (F G !F "t_31176_a52_SIGFPE"? | ("t_16445_a18_SIGFPE"? U "t_22879_a11_SIGINFO"?))
end.
Property RERS17pb113-PT-9-LTLFireability-13
"Automatically generated"
is:
A G X X X X X X ("t_17029_a18_SIGFPE"? & "t_827_a79_SIGKILL"? & G "t_23757_a5_SIGINFO"?)
end.
Property RERS17pb113-PT-9-LTLFireability-14
"Automatically generated"
is:
A (G "t_13279_a36_SIGDEADLK"? & X "t_24778_a19_SIGPROF"? & (F "t_3740_a76_SIGTTIN"? U "t_3740_a76_SIGTTIN"?) & X ("t_24778_a19_SIGPROF"? | "t_13279_a36_SIGDEADLK"?))
end.
Property RERS17pb113-PT-9-LTLFireability-15
"Automatically generated"
is:
A G !("t_24518_a19_SIGPROF"? & (X "t_28933_a10_SIGABRT"? | F "t_24518_a19_SIGPROF"?))
end.
