NO

### Pre-processing the ITS problem ###

Initial linear ITS problem
   Start location: l12
      0: l0 -> l1 : __const_1000^0'=__const_1000^post_1, __rho_1_^0'=__rho_1_^post_1, __rho_2_^0'=__rho_2_^post_1, __rho_4_^0'=__rho_4_^post_1, __rho_5_^0'=__rho_5_^post_1, __rho_6_^0'=__rho_6_^post_1, __rho_7_^0'=__rho_7_^post_1, a22^0'=a22^post_1, curtime^0'=curtime^post_1, got_SIGHUP^0'=got_SIGHUP^post_1, last_copy_time^0'=last_copy_time^post_1, tt1^0'=tt1^post_1, wakend^0'=wakend^post_1, [ got_SIGHUP^0<=0 && __const_1000^0==__const_1000^post_1 && __rho_1_^0==__rho_1_^post_1 && __rho_2_^0==__rho_2_^post_1 && __rho_4_^0==__rho_4_^post_1 && __rho_5_^0==__rho_5_^post_1 && __rho_6_^0==__rho_6_^post_1 && __rho_7_^0==__rho_7_^post_1 && a22^0==a22^post_1 && curtime^0==curtime^post_1 && got_SIGHUP^0==got_SIGHUP^post_1 && last_copy_time^0==last_copy_time^post_1 && tt1^0==tt1^post_1 && wakend^0==wakend^post_1 ], cost: 1
      1: l0 -> l2 : __const_1000^0'=__const_1000^post_2, __rho_1_^0'=__rho_1_^post_2, __rho_2_^0'=__rho_2_^post_2, __rho_4_^0'=__rho_4_^post_2, __rho_5_^0'=__rho_5_^post_2, __rho_6_^0'=__rho_6_^post_2, __rho_7_^0'=__rho_7_^post_2, a22^0'=a22^post_2, curtime^0'=curtime^post_2, got_SIGHUP^0'=got_SIGHUP^post_2, last_copy_time^0'=last_copy_time^post_2, tt1^0'=tt1^post_2, wakend^0'=wakend^post_2, [ 1<=got_SIGHUP^0 && got_SIGHUP^post_2==0 && a22^post_2==1 && __rho_5_^post_2==__rho_5_^post_2 && tt1^post_2==__rho_5_^post_2 && __const_1000^0==__const_1000^post_2 && __rho_1_^0==__rho_1_^post_2 && __rho_2_^0==__rho_2_^post_2 && __rho_4_^0==__rho_4_^post_2 && __rho_6_^0==__rho_6_^post_2 && __rho_7_^0==__rho_7_^post_2 && curtime^0==curtime^post_2 && last_copy_time^0==last_copy_time^post_2 && wakend^0==wakend^post_2 ], cost: 1
     11: l1 -> l9 : __const_1000^0'=__const_1000^post_12, __rho_1_^0'=__rho_1_^post_12, __rho_2_^0'=__rho_2_^post_12, __rho_4_^0'=__rho_4_^post_12, __rho_5_^0'=__rho_5_^post_12, __rho_6_^0'=__rho_6_^post_12, __rho_7_^0'=__rho_7_^post_12, a22^0'=a22^post_12, curtime^0'=curtime^post_12, got_SIGHUP^0'=got_SIGHUP^post_12, last_copy_time^0'=last_copy_time^post_12, tt1^0'=tt1^post_12, wakend^0'=wakend^post_12, [ wakend^0<=0 && __const_1000^0==__const_1000^post_12 && __rho_1_^0==__rho_1_^post_12 && __rho_2_^0==__rho_2_^post_12 && __rho_4_^0==__rho_4_^post_12 && __rho_5_^0==__rho_5_^post_12 && __rho_6_^0==__rho_6_^post_12 && __rho_7_^0==__rho_7_^post_12 && a22^0==a22^post_12 && curtime^0==curtime^post_12 && got_SIGHUP^0==got_SIGHUP^post_12 && last_copy_time^0==last_copy_time^post_12 && tt1^0==tt1^post_12 && wakend^0==wakend^post_12 ], cost: 1
     12: l1 -> l9 : __const_1000^0'=__const_1000^post_13, __rho_1_^0'=__rho_1_^post_13, __rho_2_^0'=__rho_2_^post_13, __rho_4_^0'=__rho_4_^post_13, __rho_5_^0'=__rho_5_^post_13, __rho_6_^0'=__rho_6_^post_13, __rho_7_^0'=__rho_7_^post_13, a22^0'=a22^post_13, curtime^0'=curtime^post_13, got_SIGHUP^0'=got_SIGHUP^post_13, last_copy_time^0'=last_copy_time^post_13, tt1^0'=tt1^post_13, wakend^0'=wakend^post_13, [ 1<=wakend^0 && wakend^post_13==0 && __rho_6_^post_13==__rho_6_^post_13 && last_copy_time^post_13==__rho_6_^post_13 && __const_1000^0==__const_1000^post_13 && __rho_1_^0==__rho_1_^post_13 && __rho_2_^0==__rho_2_^post_13 && __rho_4_^0==__rho_4_^post_13 && __rho_5_^0==__rho_5_^post_13 && __rho_7_^0==__rho_7_^post_13 && a22^0==a22^post_13 && curtime^0==curtime^post_13 && got_SIGHUP^0==got_SIGHUP^post_13 && tt1^0==tt1^post_13 ], cost: 1
     13: l2 -> l1 : __const_1000^0'=__const_1000^post_14, __rho_1_^0'=__rho_1_^post_14, __rho_2_^0'=__rho_2_^post_14, __rho_4_^0'=__rho_4_^post_14, __rho_5_^0'=__rho_5_^post_14, __rho_6_^0'=__rho_6_^post_14, __rho_7_^0'=__rho_7_^post_14, a22^0'=a22^post_14, curtime^0'=curtime^post_14, got_SIGHUP^0'=got_SIGHUP^post_14, last_copy_time^0'=last_copy_time^post_14, tt1^0'=tt1^post_14, wakend^0'=wakend^post_14, [ 1<=tt1^0 && __const_1000^0==__const_1000^post_14 && __rho_1_^0==__rho_1_^post_14 && __rho_2_^0==__rho_2_^post_14 && __rho_4_^0==__rho_4_^post_14 && __rho_5_^0==__rho_5_^post_14 && __rho_6_^0==__rho_6_^post_14 && __rho_7_^0==__rho_7_^post_14 && a22^0==a22^post_14 && curtime^0==curtime^post_14 && got_SIGHUP^0==got_SIGHUP^post_14 && last_copy_time^0==last_copy_time^post_14 && tt1^0==tt1^post_14 && wakend^0==wakend^post_14 ], cost: 1
     14: l2 -> l5 : __const_1000^0'=__const_1000^post_15, __rho_1_^0'=__rho_1_^post_15, __rho_2_^0'=__rho_2_^post_15, __rho_4_^0'=__rho_4_^post_15, __rho_5_^0'=__rho_5_^post_15, __rho_6_^0'=__rho_6_^post_15, __rho_7_^0'=__rho_7_^post_15, a22^0'=a22^post_15, curtime^0'=curtime^post_15, got_SIGHUP^0'=got_SIGHUP^post_15, last_copy_time^0'=last_copy_time^post_15, tt1^0'=tt1^post_15, wakend^0'=wakend^post_15, [ tt1^0<=0 && __const_1000^0==__const_1000^post_15 && __rho_1_^0==__rho_1_^post_15 && __rho_2_^0==__rho_2_^post_15 && __rho_4_^0==__rho_4_^post_15 && __rho_5_^0==__rho_5_^post_15 && __rho_6_^0==__rho_6_^post_15 && __rho_7_^0==__rho_7_^post_15 && a22^0==a22^post_15 && curtime^0==curtime^post_15 && got_SIGHUP^0==got_SIGHUP^post_15 && last_copy_time^0==last_copy_time^post_15 && tt1^0==tt1^post_15 && wakend^0==wakend^post_15 ], cost: 1
      2: l3 -> l4 : __const_1000^0'=__const_1000^post_3, __rho_1_^0'=__rho_1_^post_3, __rho_2_^0'=__rho_2_^post_3, __rho_4_^0'=__rho_4_^post_3, __rho_5_^0'=__rho_5_^post_3, __rho_6_^0'=__rho_6_^post_3, __rho_7_^0'=__rho_7_^post_3, a22^0'=a22^post_3, curtime^0'=curtime^post_3, got_SIGHUP^0'=got_SIGHUP^post_3, last_copy_time^0'=last_copy_time^post_3, tt1^0'=tt1^post_3, wakend^0'=wakend^post_3, [ __const_1000^0==__const_1000^post_3 && __rho_1_^0==__rho_1_^post_3 && __rho_2_^0==__rho_2_^post_3 && __rho_4_^0==__rho_4_^post_3 && __rho_5_^0==__rho_5_^post_3 && __rho_6_^0==__rho_6_^post_3 && __rho_7_^0==__rho_7_^post_3 && a22^0==a22^post_3 && curtime^0==curtime^post_3 && got_SIGHUP^0==got_SIGHUP^post_3 && last_copy_time^0==last_copy_time^post_3 && tt1^0==tt1^post_3 && wakend^0==wakend^post_3 ], cost: 1
      3: l5 -> l6 : __const_1000^0'=__const_1000^post_4, __rho_1_^0'=__rho_1_^post_4, __rho_2_^0'=__rho_2_^post_4, __rho_4_^0'=__rho_4_^post_4, __rho_5_^0'=__rho_5_^post_4, __rho_6_^0'=__rho_6_^post_4, __rho_7_^0'=__rho_7_^post_4, a22^0'=a22^post_4, curtime^0'=curtime^post_4, got_SIGHUP^0'=got_SIGHUP^post_4, last_copy_time^0'=last_copy_time^post_4, tt1^0'=tt1^post_4, wakend^0'=wakend^post_4, [ __const_1000^0==__const_1000^post_4 && __rho_1_^0==__rho_1_^post_4 && __rho_2_^0==__rho_2_^post_4 && __rho_4_^0==__rho_4_^post_4 && __rho_5_^0==__rho_5_^post_4 && __rho_6_^0==__rho_6_^post_4 && __rho_7_^0==__rho_7_^post_4 && a22^0==a22^post_4 && curtime^0==curtime^post_4 && got_SIGHUP^0==got_SIGHUP^post_4 && last_copy_time^0==last_copy_time^post_4 && tt1^0==tt1^post_4 && wakend^0==wakend^post_4 ], cost: 1
      9: l6 -> l10 : __const_1000^0'=__const_1000^post_10, __rho_1_^0'=__rho_1_^post_10, __rho_2_^0'=__rho_2_^post_10, __rho_4_^0'=__rho_4_^post_10, __rho_5_^0'=__rho_5_^post_10, __rho_6_^0'=__rho_6_^post_10, __rho_7_^0'=__rho_7_^post_10, a22^0'=a22^post_10, curtime^0'=curtime^post_10, got_SIGHUP^0'=got_SIGHUP^post_10, last_copy_time^0'=last_copy_time^post_10, tt1^0'=tt1^post_10, wakend^0'=wakend^post_10, [ __const_1000^0==__const_1000^post_10 && __rho_1_^0==__rho_1_^post_10 && __rho_2_^0==__rho_2_^post_10 && __rho_4_^0==__rho_4_^post_10 && __rho_5_^0==__rho_5_^post_10 && __rho_6_^0==__rho_6_^post_10 && __rho_7_^0==__rho_7_^post_10 && a22^0==a22^post_10 && curtime^0==curtime^post_10 && got_SIGHUP^0==got_SIGHUP^post_10 && last_copy_time^0==last_copy_time^post_10 && tt1^0==tt1^post_10 && wakend^0==wakend^post_10 ], cost: 1
      4: l7 -> l5 : __const_1000^0'=__const_1000^post_5, __rho_1_^0'=__rho_1_^post_5, __rho_2_^0'=__rho_2_^post_5, __rho_4_^0'=__rho_4_^post_5, __rho_5_^0'=__rho_5_^post_5, __rho_6_^0'=__rho_6_^post_5, __rho_7_^0'=__rho_7_^post_5, a22^0'=a22^post_5, curtime^0'=curtime^post_5, got_SIGHUP^0'=got_SIGHUP^post_5, last_copy_time^0'=last_copy_time^post_5, tt1^0'=tt1^post_5, wakend^0'=wakend^post_5, [ __rho_4_^post_5==__rho_4_^post_5 && __const_1000^0==__const_1000^post_5 && __rho_1_^0==__rho_1_^post_5 && __rho_2_^0==__rho_2_^post_5 && __rho_5_^0==__rho_5_^post_5 && __rho_6_^0==__rho_6_^post_5 && __rho_7_^0==__rho_7_^post_5 && a22^0==a22^post_5 && curtime^0==curtime^post_5 && got_SIGHUP^0==got_SIGHUP^post_5 && last_copy_time^0==last_copy_time^post_5 && tt1^0==tt1^post_5 && wakend^0==wakend^post_5 ], cost: 1
      5: l8 -> l7 : __const_1000^0'=__const_1000^post_6, __rho_1_^0'=__rho_1_^post_6, __rho_2_^0'=__rho_2_^post_6, __rho_4_^0'=__rho_4_^post_6, __rho_5_^0'=__rho_5_^post_6, __rho_6_^0'=__rho_6_^post_6, __rho_7_^0'=__rho_7_^post_6, a22^0'=a22^post_6, curtime^0'=curtime^post_6, got_SIGHUP^0'=got_SIGHUP^post_6, last_copy_time^0'=last_copy_time^post_6, tt1^0'=tt1^post_6, wakend^0'=wakend^post_6, [ 1+curtime^0-last_copy_time^0<=__const_1000^0 && __const_1000^0==__const_1000^post_6 && __rho_1_^0==__rho_1_^post_6 && __rho_2_^0==__rho_2_^post_6 && __rho_4_^0==__rho_4_^post_6 && __rho_5_^0==__rho_5_^post_6 && __rho_6_^0==__rho_6_^post_6 && __rho_7_^0==__rho_7_^post_6 && a22^0==a22^post_6 && curtime^0==curtime^post_6 && got_SIGHUP^0==got_SIGHUP^post_6 && last_copy_time^0==last_copy_time^post_6 && tt1^0==tt1^post_6 && wakend^0==wakend^post_6 ], cost: 1
      6: l8 -> l7 : __const_1000^0'=__const_1000^post_7, __rho_1_^0'=__rho_1_^post_7, __rho_2_^0'=__rho_2_^post_7, __rho_4_^0'=__rho_4_^post_7, __rho_5_^0'=__rho_5_^post_7, __rho_6_^0'=__rho_6_^post_7, __rho_7_^0'=__rho_7_^post_7, a22^0'=a22^post_7, curtime^0'=curtime^post_7, got_SIGHUP^0'=got_SIGHUP^post_7, last_copy_time^0'=last_copy_time^post_7, tt1^0'=tt1^post_7, wakend^0'=wakend^post_7, [ __const_1000^0<=curtime^0-last_copy_time^0 && wakend^post_7==1 && __const_1000^0==__const_1000^post_7 && __rho_1_^0==__rho_1_^post_7 && __rho_2_^0==__rho_2_^post_7 && __rho_4_^0==__rho_4_^post_7 && __rho_5_^0==__rho_5_^post_7 && __rho_6_^0==__rho_6_^post_7 && __rho_7_^0==__rho_7_^post_7 && a22^0==a22^post_7 && curtime^0==curtime^post_7 && got_SIGHUP^0==got_SIGHUP^post_7 && last_copy_time^0==last_copy_time^post_7 && tt1^0==tt1^post_7 ], cost: 1
      7: l9 -> l7 : __const_1000^0'=__const_1000^post_8, __rho_1_^0'=__rho_1_^post_8, __rho_2_^0'=__rho_2_^post_8, __rho_4_^0'=__rho_4_^post_8, __rho_5_^0'=__rho_5_^post_8, __rho_6_^0'=__rho_6_^post_8, __rho_7_^0'=__rho_7_^post_8, a22^0'=a22^post_8, curtime^0'=curtime^post_8, got_SIGHUP^0'=got_SIGHUP^post_8, last_copy_time^0'=last_copy_time^post_8, tt1^0'=tt1^post_8, wakend^0'=wakend^post_8, [ 1<=wakend^0 && __const_1000^0==__const_1000^post_8 && __rho_1_^0==__rho_1_^post_8 && __rho_2_^0==__rho_2_^post_8 && __rho_4_^0==__rho_4_^post_8 && __rho_5_^0==__rho_5_^post_8 && __rho_6_^0==__rho_6_^post_8 && __rho_7_^0==__rho_7_^post_8 && a22^0==a22^post_8 && curtime^0==curtime^post_8 && got_SIGHUP^0==got_SIGHUP^post_8 && last_copy_time^0==last_copy_time^post_8 && tt1^0==tt1^post_8 && wakend^0==wakend^post_8 ], cost: 1
      8: l9 -> l8 : __const_1000^0'=__const_1000^post_9, __rho_1_^0'=__rho_1_^post_9, __rho_2_^0'=__rho_2_^post_9, __rho_4_^0'=__rho_4_^post_9, __rho_5_^0'=__rho_5_^post_9, __rho_6_^0'=__rho_6_^post_9, __rho_7_^0'=__rho_7_^post_9, a22^0'=a22^post_9, curtime^0'=curtime^post_9, got_SIGHUP^0'=got_SIGHUP^post_9, last_copy_time^0'=last_copy_time^post_9, tt1^0'=tt1^post_9, wakend^0'=wakend^post_9, [ wakend^0<=0 && __rho_7_^post_9==__rho_7_^post_9 && curtime^post_9==__rho_7_^post_9 && __const_1000^0==__const_1000^post_9 && __rho_1_^0==__rho_1_^post_9 && __rho_2_^0==__rho_2_^post_9 && __rho_4_^0==__rho_4_^post_9 && __rho_5_^0==__rho_5_^post_9 && __rho_6_^0==__rho_6_^post_9 && a22^0==a22^post_9 && got_SIGHUP^0==got_SIGHUP^post_9 && last_copy_time^0==last_copy_time^post_9 && tt1^0==tt1^post_9 && wakend^0==wakend^post_9 ], cost: 1
     10: l10 -> l6 : __const_1000^0'=__const_1000^post_11, __rho_1_^0'=__rho_1_^post_11, __rho_2_^0'=__rho_2_^post_11, __rho_4_^0'=__rho_4_^post_11, __rho_5_^0'=__rho_5_^post_11, __rho_6_^0'=__rho_6_^post_11, __rho_7_^0'=__rho_7_^post_11, a22^0'=a22^post_11, curtime^0'=curtime^post_11, got_SIGHUP^0'=got_SIGHUP^post_11, last_copy_time^0'=last_copy_time^post_11, tt1^0'=tt1^post_11, wakend^0'=wakend^post_11, [ __const_1000^0==__const_1000^post_11 && __rho_1_^0==__rho_1_^post_11 && __rho_2_^0==__rho_2_^post_11 && __rho_4_^0==__rho_4_^post_11 && __rho_5_^0==__rho_5_^post_11 && __rho_6_^0==__rho_6_^post_11 && __rho_7_^0==__rho_7_^post_11 && a22^0==a22^post_11 && curtime^0==curtime^post_11 && got_SIGHUP^0==got_SIGHUP^post_11 && last_copy_time^0==last_copy_time^post_11 && tt1^0==tt1^post_11 && wakend^0==wakend^post_11 ], cost: 1
     15: l11 -> l0 : __const_1000^0'=__const_1000^post_16, __rho_1_^0'=__rho_1_^post_16, __rho_2_^0'=__rho_2_^post_16, __rho_4_^0'=__rho_4_^post_16, __rho_5_^0'=__rho_5_^post_16, __rho_6_^0'=__rho_6_^post_16, __rho_7_^0'=__rho_7_^post_16, a22^0'=a22^post_16, curtime^0'=curtime^post_16, got_SIGHUP^0'=got_SIGHUP^post_16, last_copy_time^0'=last_copy_time^post_16, tt1^0'=tt1^post_16, wakend^0'=wakend^post_16, [ wakend^1_1==1 && __rho_1_^post_16==__rho_1_^post_16 && got_SIGHUP^post_16==__rho_2_^0 && wakend^post_16==1 && __const_1000^0==__const_1000^post_16 && __rho_2_^0==__rho_2_^post_16 && __rho_4_^0==__rho_4_^post_16 && __rho_5_^0==__rho_5_^post_16 && __rho_6_^0==__rho_6_^post_16 && __rho_7_^0==__rho_7_^post_16 && a22^0==a22^post_16 && curtime^0==curtime^post_16 && last_copy_time^0==last_copy_time^post_16 && tt1^0==tt1^post_16 ], cost: 1
     16: l12 -> l11 : __const_1000^0'=__const_1000^post_17, __rho_1_^0'=__rho_1_^post_17, __rho_2_^0'=__rho_2_^post_17, __rho_4_^0'=__rho_4_^post_17, __rho_5_^0'=__rho_5_^post_17, __rho_6_^0'=__rho_6_^post_17, __rho_7_^0'=__rho_7_^post_17, a22^0'=a22^post_17, curtime^0'=curtime^post_17, got_SIGHUP^0'=got_SIGHUP^post_17, last_copy_time^0'=last_copy_time^post_17, tt1^0'=tt1^post_17, wakend^0'=wakend^post_17, [ __const_1000^0==__const_1000^post_17 && __rho_1_^0==__rho_1_^post_17 && __rho_2_^0==__rho_2_^post_17 && __rho_4_^0==__rho_4_^post_17 && __rho_5_^0==__rho_5_^post_17 && __rho_6_^0==__rho_6_^post_17 && __rho_7_^0==__rho_7_^post_17 && a22^0==a22^post_17 && curtime^0==curtime^post_17 && got_SIGHUP^0==got_SIGHUP^post_17 && last_copy_time^0==last_copy_time^post_17 && tt1^0==tt1^post_17 && wakend^0==wakend^post_17 ], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     16: l12 -> l11 : __const_1000^0'=__const_1000^post_17, __rho_1_^0'=__rho_1_^post_17, __rho_2_^0'=__rho_2_^post_17, __rho_4_^0'=__rho_4_^post_17, __rho_5_^0'=__rho_5_^post_17, __rho_6_^0'=__rho_6_^post_17, __rho_7_^0'=__rho_7_^post_17, a22^0'=a22^post_17, curtime^0'=curtime^post_17, got_SIGHUP^0'=got_SIGHUP^post_17, last_copy_time^0'=last_copy_time^post_17, tt1^0'=tt1^post_17, wakend^0'=wakend^post_17, [ __const_1000^0==__const_1000^post_17 && __rho_1_^0==__rho_1_^post_17 && __rho_2_^0==__rho_2_^post_17 && __rho_4_^0==__rho_4_^post_17 && __rho_5_^0==__rho_5_^post_17 && __rho_6_^0==__rho_6_^post_17 && __rho_7_^0==__rho_7_^post_17 && a22^0==a22^post_17 && curtime^0==curtime^post_17 && got_SIGHUP^0==got_SIGHUP^post_17 && last_copy_time^0==last_copy_time^post_17 && tt1^0==tt1^post_17 && wakend^0==wakend^post_17 ], cost: 1

Removed unreachable and leaf rules:
   Start location: l12
      0: l0 -> l1 : __const_1000^0'=__const_1000^post_1, __rho_1_^0'=__rho_1_^post_1, __rho_2_^0'=__rho_2_^post_1, __rho_4_^0'=__rho_4_^post_1, __rho_5_^0'=__rho_5_^post_1, __rho_6_^0'=__rho_6_^post_1, __rho_7_^0'=__rho_7_^post_1, a22^0'=a22^post_1, curtime^0'=curtime^post_1, got_SIGHUP^0'=got_SIGHUP^post_1, last_copy_time^0'=last_copy_time^post_1, tt1^0'=tt1^post_1, wakend^0'=wakend^post_1, [ got_SIGHUP^0<=0 && __const_1000^0==__const_1000^post_1 && __rho_1_^0==__rho_1_^post_1 && __rho_2_^0==__rho_2_^post_1 && __rho_4_^0==__rho_4_^post_1 && __rho_5_^0==__rho_5_^post_1 && __rho_6_^0==__rho_6_^post_1 && __rho_7_^0==__rho_7_^post_1 && a22^0==a22^post_1 && curtime^0==curtime^post_1 && got_SIGHUP^0==got_SIGHUP^post_1 && last_copy_time^0==last_copy_time^post_1 && tt1^0==tt1^post_1 && wakend^0==wakend^post_1 ], cost: 1
      1: l0 -> l2 : __const_1000^0'=__const_1000^post_2, __rho_1_^0'=__rho_1_^post_2, __rho_2_^0'=__rho_2_^post_2, __rho_4_^0'=__rho_4_^post_2, __rho_5_^0'=__rho_5_^post_2, __rho_6_^0'=__rho_6_^post_2, __rho_7_^0'=__rho_7_^post_2, a22^0'=a22^post_2, curtime^0'=curtime^post_2, got_SIGHUP^0'=got_SIGHUP^post_2, last_copy_time^0'=last_copy_time^post_2, tt1^0'=tt1^post_2, wakend^0'=wakend^post_2, [ 1<=got_SIGHUP^0 && got_SIGHUP^post_2==0 && a22^post_2==1 && __rho_5_^post_2==__rho_5_^post_2 && tt1^post_2==__rho_5_^post_2 && __const_1000^0==__const_1000^post_2 && __rho_1_^0==__rho_1_^post_2 && __rho_2_^0==__rho_2_^post_2 && __rho_4_^0==__rho_4_^post_2 && __rho_6_^0==__rho_6_^post_2 && __rho_7_^0==__rho_7_^post_2 && curtime^0==curtime^post_2 && last_copy_time^0==last_copy_time^post_2 && wakend^0==wakend^post_2 ], cost: 1
     11: l1 -> l9 : __const_1000^0'=__const_1000^post_12, __rho_1_^0'=__rho_1_^post_12, __rho_2_^0'=__rho_2_^post_12, __rho_4_^0'=__rho_4_^post_12, __rho_5_^0'=__rho_5_^post_12, __rho_6_^0'=__rho_6_^post_12, __rho_7_^0'=__rho_7_^post_12, a22^0'=a22^post_12, curtime^0'=curtime^post_12, got_SIGHUP^0'=got_SIGHUP^post_12, last_copy_time^0'=last_copy_time^post_12, tt1^0'=tt1^post_12, wakend^0'=wakend^post_12, [ wakend^0<=0 && __const_1000^0==__const_1000^post_12 && __rho_1_^0==__rho_1_^post_12 && __rho_2_^0==__rho_2_^post_12 && __rho_4_^0==__rho_4_^post_12 && __rho_5_^0==__rho_5_^post_12 && __rho_6_^0==__rho_6_^post_12 && __rho_7_^0==__rho_7_^post_12 && a22^0==a22^post_12 && curtime^0==curtime^post_12 && got_SIGHUP^0==got_SIGHUP^post_12 && last_copy_time^0==last_copy_time^post_12 && tt1^0==tt1^post_12 && wakend^0==wakend^post_12 ], cost: 1
     12: l1 -> l9 : __const_1000^0'=__const_1000^post_13, __rho_1_^0'=__rho_1_^post_13, __rho_2_^0'=__rho_2_^post_13, __rho_4_^0'=__rho_4_^post_13, __rho_5_^0'=__rho_5_^post_13, __rho_6_^0'=__rho_6_^post_13, __rho_7_^0'=__rho_7_^post_13, a22^0'=a22^post_13, curtime^0'=curtime^post_13, got_SIGHUP^0'=got_SIGHUP^post_13, last_copy_time^0'=last_copy_time^post_13, tt1^0'=tt1^post_13, wakend^0'=wakend^post_13, [ 1<=wakend^0 && wakend^post_13==0 && __rho_6_^post_13==__rho_6_^post_13 && last_copy_time^post_13==__rho_6_^post_13 && __const_1000^0==__const_1000^post_13 && __rho_1_^0==__rho_1_^post_13 && __rho_2_^0==__rho_2_^post_13 && __rho_4_^0==__rho_4_^post_13 && __rho_5_^0==__rho_5_^post_13 && __rho_7_^0==__rho_7_^post_13 && a22^0==a22^post_13 && curtime^0==curtime^post_13 && got_SIGHUP^0==got_SIGHUP^post_13 && tt1^0==tt1^post_13 ], cost: 1
     13: l2 -> l1 : __const_1000^0'=__const_1000^post_14, __rho_1_^0'=__rho_1_^post_14, __rho_2_^0'=__rho_2_^post_14, __rho_4_^0'=__rho_4_^post_14, __rho_5_^0'=__rho_5_^post_14, __rho_6_^0'=__rho_6_^post_14, __rho_7_^0'=__rho_7_^post_14, a22^0'=a22^post_14, curtime^0'=curtime^post_14, got_SIGHUP^0'=got_SIGHUP^post_14, last_copy_time^0'=last_copy_time^post_14, tt1^0'=tt1^post_14, wakend^0'=wakend^post_14, [ 1<=tt1^0 && __const_1000^0==__const_1000^post_14 && __rho_1_^0==__rho_1_^post_14 && __rho_2_^0==__rho_2_^post_14 && __rho_4_^0==__rho_4_^post_14 && __rho_5_^0==__rho_5_^post_14 && __rho_6_^0==__rho_6_^post_14 && __rho_7_^0==__rho_7_^post_14 && a22^0==a22^post_14 && curtime^0==curtime^post_14 && got_SIGHUP^0==got_SIGHUP^post_14 && last_copy_time^0==last_copy_time^post_14 && tt1^0==tt1^post_14 && wakend^0==wakend^post_14 ], cost: 1
     14: l2 -> l5 : __const_1000^0'=__const_1000^post_15, __rho_1_^0'=__rho_1_^post_15, __rho_2_^0'=__rho_2_^post_15, __rho_4_^0'=__rho_4_^post_15, __rho_5_^0'=__rho_5_^post_15, __rho_6_^0'=__rho_6_^post_15, __rho_7_^0'=__rho_7_^post_15, a22^0'=a22^post_15, curtime^0'=curtime^post_15, got_SIGHUP^0'=got_SIGHUP^post_15, last_copy_time^0'=last_copy_time^post_15, tt1^0'=tt1^post_15, wakend^0'=wakend^post_15, [ tt1^0<=0 && __const_1000^0==__const_1000^post_15 && __rho_1_^0==__rho_1_^post_15 && __rho_2_^0==__rho_2_^post_15 && __rho_4_^0==__rho_4_^post_15 && __rho_5_^0==__rho_5_^post_15 && __rho_6_^0==__rho_6_^post_15 && __rho_7_^0==__rho_7_^post_15 && a22^0==a22^post_15 && curtime^0==curtime^post_15 && got_SIGHUP^0==got_SIGHUP^post_15 && last_copy_time^0==last_copy_time^post_15 && tt1^0==tt1^post_15 && wakend^0==wakend^post_15 ], cost: 1
      3: l5 -> l6 : __const_1000^0'=__const_1000^post_4, __rho_1_^0'=__rho_1_^post_4, __rho_2_^0'=__rho_2_^post_4, __rho_4_^0'=__rho_4_^post_4, __rho_5_^0'=__rho_5_^post_4, __rho_6_^0'=__rho_6_^post_4, __rho_7_^0'=__rho_7_^post_4, a22^0'=a22^post_4, curtime^0'=curtime^post_4, got_SIGHUP^0'=got_SIGHUP^post_4, last_copy_time^0'=last_copy_time^post_4, tt1^0'=tt1^post_4, wakend^0'=wakend^post_4, [ __const_1000^0==__const_1000^post_4 && __rho_1_^0==__rho_1_^post_4 && __rho_2_^0==__rho_2_^post_4 && __rho_4_^0==__rho_4_^post_4 && __rho_5_^0==__rho_5_^post_4 && __rho_6_^0==__rho_6_^post_4 && __rho_7_^0==__rho_7_^post_4 && a22^0==a22^post_4 && curtime^0==curtime^post_4 && got_SIGHUP^0==got_SIGHUP^post_4 && last_copy_time^0==last_copy_time^post_4 && tt1^0==tt1^post_4 && wakend^0==wakend^post_4 ], cost: 1
      9: l6 -> l10 : __const_1000^0'=__const_1000^post_10, __rho_1_^0'=__rho_1_^post_10, __rho_2_^0'=__rho_2_^post_10, __rho_4_^0'=__rho_4_^post_10, __rho_5_^0'=__rho_5_^post_10, __rho_6_^0'=__rho_6_^post_10, __rho_7_^0'=__rho_7_^post_10, a22^0'=a22^post_10, curtime^0'=curtime^post_10, got_SIGHUP^0'=got_SIGHUP^post_10, last_copy_time^0'=last_copy_time^post_10, tt1^0'=tt1^post_10, wakend^0'=wakend^post_10, [ __const_1000^0==__const_1000^post_10 && __rho_1_^0==__rho_1_^post_10 && __rho_2_^0==__rho_2_^post_10 && __rho_4_^0==__rho_4_^post_10 && __rho_5_^0==__rho_5_^post_10 && __rho_6_^0==__rho_6_^post_10 && __rho_7_^0==__rho_7_^post_10 && a22^0==a22^post_10 && curtime^0==curtime^post_10 && got_SIGHUP^0==got_SIGHUP^post_10 && last_copy_time^0==last_copy_time^post_10 && tt1^0==tt1^post_10 && wakend^0==wakend^post_10 ], cost: 1
      4: l7 -> l5 : __const_1000^0'=__const_1000^post_5, __rho_1_^0'=__rho_1_^post_5, __rho_2_^0'=__rho_2_^post_5, __rho_4_^0'=__rho_4_^post_5, __rho_5_^0'=__rho_5_^post_5, __rho_6_^0'=__rho_6_^post_5, __rho_7_^0'=__rho_7_^post_5, a22^0'=a22^post_5, curtime^0'=curtime^post_5, got_SIGHUP^0'=got_SIGHUP^post_5, last_copy_time^0'=last_copy_time^post_5, tt1^0'=tt1^post_5, wakend^0'=wakend^post_5, [ __rho_4_^post_5==__rho_4_^post_5 && __const_1000^0==__const_1000^post_5 && __rho_1_^0==__rho_1_^post_5 && __rho_2_^0==__rho_2_^post_5 && __rho_5_^0==__rho_5_^post_5 && __rho_6_^0==__rho_6_^post_5 && __rho_7_^0==__rho_7_^post_5 && a22^0==a22^post_5 && curtime^0==curtime^post_5 && got_SIGHUP^0==got_SIGHUP^post_5 && last_copy_time^0==last_copy_time^post_5 && tt1^0==tt1^post_5 && wakend^0==wakend^post_5 ], cost: 1
      5: l8 -> l7 : __const_1000^0'=__const_1000^post_6, __rho_1_^0'=__rho_1_^post_6, __rho_2_^0'=__rho_2_^post_6, __rho_4_^0'=__rho_4_^post_6, __rho_5_^0'=__rho_5_^post_6, __rho_6_^0'=__rho_6_^post_6, __rho_7_^0'=__rho_7_^post_6, a22^0'=a22^post_6, curtime^0'=curtime^post_6, got_SIGHUP^0'=got_SIGHUP^post_6, last_copy_time^0'=last_copy_time^post_6, tt1^0'=tt1^post_6, wakend^0'=wakend^post_6, [ 1+curtime^0-last_copy_time^0<=__const_1000^0 && __const_1000^0==__const_1000^post_6 && __rho_1_^0==__rho_1_^post_6 && __rho_2_^0==__rho_2_^post_6 && __rho_4_^0==__rho_4_^post_6 && __rho_5_^0==__rho_5_^post_6 && __rho_6_^0==__rho_6_^post_6 && __rho_7_^0==__rho_7_^post_6 && a22^0==a22^post_6 && curtime^0==curtime^post_6 && got_SIGHUP^0==got_SIGHUP^post_6 && last_copy_time^0==last_copy_time^post_6 && tt1^0==tt1^post_6 && wakend^0==wakend^post_6 ], cost: 1
      6: l8 -> l7 : __const_1000^0'=__const_1000^post_7, __rho_1_^0'=__rho_1_^post_7, __rho_2_^0'=__rho_2_^post_7, __rho_4_^0'=__rho_4_^post_7, __rho_5_^0'=__rho_5_^post_7, __rho_6_^0'=__rho_6_^post_7, __rho_7_^0'=__rho_7_^post_7, a22^0'=a22^post_7, curtime^0'=curtime^post_7, got_SIGHUP^0'=got_SIGHUP^post_7, last_copy_time^0'=last_copy_time^post_7, tt1^0'=tt1^post_7, wakend^0'=wakend^post_7, [ __const_1000^0<=curtime^0-last_copy_time^0 && wakend^post_7==1 && __const_1000^0==__const_1000^post_7 && __rho_1_^0==__rho_1_^post_7 && __rho_2_^0==__rho_2_^post_7 && __rho_4_^0==__rho_4_^post_7 && __rho_5_^0==__rho_5_^post_7 && __rho_6_^0==__rho_6_^post_7 && __rho_7_^0==__rho_7_^post_7 && a22^0==a22^post_7 && curtime^0==curtime^post_7 && got_SIGHUP^0==got_SIGHUP^post_7 && last_copy_time^0==last_copy_time^post_7 && tt1^0==tt1^post_7 ], cost: 1
      7: l9 -> l7 : __const_1000^0'=__const_1000^post_8, __rho_1_^0'=__rho_1_^post_8, __rho_2_^0'=__rho_2_^post_8, __rho_4_^0'=__rho_4_^post_8, __rho_5_^0'=__rho_5_^post_8, __rho_6_^0'=__rho_6_^post_8, __rho_7_^0'=__rho_7_^post_8, a22^0'=a22^post_8, curtime^0'=curtime^post_8, got_SIGHUP^0'=got_SIGHUP^post_8, last_copy_time^0'=last_copy_time^post_8, tt1^0'=tt1^post_8, wakend^0'=wakend^post_8, [ 1<=wakend^0 && __const_1000^0==__const_1000^post_8 && __rho_1_^0==__rho_1_^post_8 && __rho_2_^0==__rho_2_^post_8 && __rho_4_^0==__rho_4_^post_8 && __rho_5_^0==__rho_5_^post_8 && __rho_6_^0==__rho_6_^post_8 && __rho_7_^0==__rho_7_^post_8 && a22^0==a22^post_8 && curtime^0==curtime^post_8 && got_SIGHUP^0==got_SIGHUP^post_8 && last_copy_time^0==last_copy_time^post_8 && tt1^0==tt1^post_8 && wakend^0==wakend^post_8 ], cost: 1
      8: l9 -> l8 : __const_1000^0'=__const_1000^post_9, __rho_1_^0'=__rho_1_^post_9, __rho_2_^0'=__rho_2_^post_9, __rho_4_^0'=__rho_4_^post_9, __rho_5_^0'=__rho_5_^post_9, __rho_6_^0'=__rho_6_^post_9, __rho_7_^0'=__rho_7_^post_9, a22^0'=a22^post_9, curtime^0'=curtime^post_9, got_SIGHUP^0'=got_SIGHUP^post_9, last_copy_time^0'=last_copy_time^post_9, tt1^0'=tt1^post_9, wakend^0'=wakend^post_9, [ wakend^0<=0 && __rho_7_^post_9==__rho_7_^post_9 && curtime^post_9==__rho_7_^post_9 && __const_1000^0==__const_1000^post_9 && __rho_1_^0==__rho_1_^post_9 && __rho_2_^0==__rho_2_^post_9 && __rho_4_^0==__rho_4_^post_9 && __rho_5_^0==__rho_5_^post_9 && __rho_6_^0==__rho_6_^post_9 && a22^0==a22^post_9 && got_SIGHUP^0==got_SIGHUP^post_9 && last_copy_time^0==last_copy_time^post_9 && tt1^0==tt1^post_9 && wakend^0==wakend^post_9 ], cost: 1
     10: l10 -> l6 : __const_1000^0'=__const_1000^post_11, __rho_1_^0'=__rho_1_^post_11, __rho_2_^0'=__rho_2_^post_11, __rho_4_^0'=__rho_4_^post_11, __rho_5_^0'=__rho_5_^post_11, __rho_6_^0'=__rho_6_^post_11, __rho_7_^0'=__rho_7_^post_11, a22^0'=a22^post_11, curtime^0'=curtime^post_11, got_SIGHUP^0'=got_SIGHUP^post_11, last_copy_time^0'=last_copy_time^post_11, tt1^0'=tt1^post_11, wakend^0'=wakend^post_11, [ __const_1000^0==__const_1000^post_11 && __rho_1_^0==__rho_1_^post_11 && __rho_2_^0==__rho_2_^post_11 && __rho_4_^0==__rho_4_^post_11 && __rho_5_^0==__rho_5_^post_11 && __rho_6_^0==__rho_6_^post_11 && __rho_7_^0==__rho_7_^post_11 && a22^0==a22^post_11 && curtime^0==curtime^post_11 && got_SIGHUP^0==got_SIGHUP^post_11 && last_copy_time^0==last_copy_time^post_11 && tt1^0==tt1^post_11 && wakend^0==wakend^post_11 ], cost: 1
     15: l11 -> l0 : __const_1000^0'=__const_1000^post_16, __rho_1_^0'=__rho_1_^post_16, __rho_2_^0'=__rho_2_^post_16, __rho_4_^0'=__rho_4_^post_16, __rho_5_^0'=__rho_5_^post_16, __rho_6_^0'=__rho_6_^post_16, __rho_7_^0'=__rho_7_^post_16, a22^0'=a22^post_16, curtime^0'=curtime^post_16, got_SIGHUP^0'=got_SIGHUP^post_16, last_copy_time^0'=last_copy_time^post_16, tt1^0'=tt1^post_16, wakend^0'=wakend^post_16, [ wakend^1_1==1 && __rho_1_^post_16==__rho_1_^post_16 && got_SIGHUP^post_16==__rho_2_^0 && wakend^post_16==1 && __const_1000^0==__const_1000^post_16 && __rho_2_^0==__rho_2_^post_16 && __rho_4_^0==__rho_4_^post_16 && __rho_5_^0==__rho_5_^post_16 && __rho_6_^0==__rho_6_^post_16 && __rho_7_^0==__rho_7_^post_16 && a22^0==a22^post_16 && curtime^0==curtime^post_16 && last_copy_time^0==last_copy_time^post_16 && tt1^0==tt1^post_16 ], cost: 1
     16: l12 -> l11 : __const_1000^0'=__const_1000^post_17, __rho_1_^0'=__rho_1_^post_17, __rho_2_^0'=__rho_2_^post_17, __rho_4_^0'=__rho_4_^post_17, __rho_5_^0'=__rho_5_^post_17, __rho_6_^0'=__rho_6_^post_17, __rho_7_^0'=__rho_7_^post_17, a22^0'=a22^post_17, curtime^0'=curtime^post_17, got_SIGHUP^0'=got_SIGHUP^post_17, last_copy_time^0'=last_copy_time^post_17, tt1^0'=tt1^post_17, wakend^0'=wakend^post_17, [ __const_1000^0==__const_1000^post_17 && __rho_1_^0==__rho_1_^post_17 && __rho_2_^0==__rho_2_^post_17 && __rho_4_^0==__rho_4_^post_17 && __rho_5_^0==__rho_5_^post_17 && __rho_6_^0==__rho_6_^post_17 && __rho_7_^0==__rho_7_^post_17 && a22^0==a22^post_17 && curtime^0==curtime^post_17 && got_SIGHUP^0==got_SIGHUP^post_17 && last_copy_time^0==last_copy_time^post_17 && tt1^0==tt1^post_17 && wakend^0==wakend^post_17 ], cost: 1

Simplified all rules, resulting in:
   Start location: l12
      0: l0 -> l1 : [ got_SIGHUP^0<=0 ], cost: 1
      1: l0 -> l2 : __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, [ 1<=got_SIGHUP^0 ], cost: 1
     11: l1 -> l9 : [ wakend^0<=0 ], cost: 1
     12: l1 -> l9 : __rho_6_^0'=last_copy_time^post_13, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 1
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
      9: l6 -> l10 : [], cost: 1
      4: l7 -> l5 : __rho_4_^0'=__rho_4_^post_5, [], cost: 1
      5: l8 -> l7 : [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 1
      6: l8 -> l7 : wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 1
      7: l9 -> l7 : [ 1<=wakend^0 ], cost: 1
      8: l9 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 1
     10: l10 -> l6 : [], cost: 1
     15: l11 -> l0 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [], cost: 1
     16: l12 -> l11 : [], cost: 1

### Simplification by acceleration and chaining ###

Eliminated locations (on linear paths):
   Start location: l12
      0: l0 -> l1 : [ got_SIGHUP^0<=0 ], cost: 1
      1: l0 -> l2 : __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, [ 1<=got_SIGHUP^0 ], cost: 1
     11: l1 -> l9 : [ wakend^0<=0 ], cost: 1
     12: l1 -> l9 : __rho_6_^0'=last_copy_time^post_13, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 1
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
     18: l6 -> l6 : [], cost: 2
      4: l7 -> l5 : __rho_4_^0'=__rho_4_^post_5, [], cost: 1
      5: l8 -> l7 : [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 1
      6: l8 -> l7 : wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 1
      7: l9 -> l7 : [ 1<=wakend^0 ], cost: 1
      8: l9 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 1
     17: l12 -> l0 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [], cost: 2

Accelerating simple loops of location 6.
   Accelerating the following rules:
     18: l6 -> l6 : [], cost: 2

   Accelerated rule 18 with non-termination, yielding the new rule 19.
[accelerate] Nesting with 0 inner and 0 outer candidates
   Removing the simple loops: 18.

Accelerated all simple loops using metering functions (where possible):
   Start location: l12
      0: l0 -> l1 : [ got_SIGHUP^0<=0 ], cost: 1
      1: l0 -> l2 : __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, [ 1<=got_SIGHUP^0 ], cost: 1
     11: l1 -> l9 : [ wakend^0<=0 ], cost: 1
     12: l1 -> l9 : __rho_6_^0'=last_copy_time^post_13, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 1
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
     19: l6 -> [13] : [], cost: NONTERM
      4: l7 -> l5 : __rho_4_^0'=__rho_4_^post_5, [], cost: 1
      5: l8 -> l7 : [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 1
      6: l8 -> l7 : wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 1
      7: l9 -> l7 : [ 1<=wakend^0 ], cost: 1
      8: l9 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 1
     17: l12 -> l0 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [], cost: 2

Chained accelerated rules (with incoming rules):
   Start location: l12
      0: l0 -> l1 : [ got_SIGHUP^0<=0 ], cost: 1
      1: l0 -> l2 : __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, [ 1<=got_SIGHUP^0 ], cost: 1
     11: l1 -> l9 : [ wakend^0<=0 ], cost: 1
     12: l1 -> l9 : __rho_6_^0'=last_copy_time^post_13, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 1
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
      3: l5 -> l6 : [], cost: 1
     20: l5 -> [13] : [], cost: NONTERM
      4: l7 -> l5 : __rho_4_^0'=__rho_4_^post_5, [], cost: 1
      5: l8 -> l7 : [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 1
      6: l8 -> l7 : wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 1
      7: l9 -> l7 : [ 1<=wakend^0 ], cost: 1
      8: l9 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 1
     17: l12 -> l0 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [], cost: 2

Removed unreachable locations (and leaf rules with constant cost):
   Start location: l12
      0: l0 -> l1 : [ got_SIGHUP^0<=0 ], cost: 1
      1: l0 -> l2 : __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, [ 1<=got_SIGHUP^0 ], cost: 1
     11: l1 -> l9 : [ wakend^0<=0 ], cost: 1
     12: l1 -> l9 : __rho_6_^0'=last_copy_time^post_13, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 1
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
     20: l5 -> [13] : [], cost: NONTERM
      4: l7 -> l5 : __rho_4_^0'=__rho_4_^post_5, [], cost: 1
      5: l8 -> l7 : [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 1
      6: l8 -> l7 : wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 1
      7: l9 -> l7 : [ 1<=wakend^0 ], cost: 1
      8: l9 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 1
     17: l12 -> l0 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [], cost: 2

Eliminated locations (on tree-shaped paths):
   Start location: l12
     23: l1 -> l8 : __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 ], cost: 2
     24: l1 -> l8 : __rho_6_^0'=last_copy_time^post_13, __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 ], cost: 2
     13: l2 -> l1 : [ 1<=tt1^0 ], cost: 1
     14: l2 -> l5 : [ tt1^0<=0 ], cost: 1
     20: l5 -> [13] : [], cost: NONTERM
     25: l8 -> l5 : __rho_4_^0'=__rho_4_^post_5, [ 1+curtime^0-last_copy_time^0<=__const_1000^0 ], cost: 2
     26: l8 -> l5 : __rho_4_^0'=__rho_4_^post_5, wakend^0'=1, [ __const_1000^0<=curtime^0-last_copy_time^0 ], cost: 2
     21: l12 -> l1 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [ __rho_2_^0<=0 ], cost: 3
     22: l12 -> l2 : __rho_1_^0'=__rho_1_^post_16, __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, wakend^0'=1, [ 1<=__rho_2_^0 ], cost: 3

Eliminated locations (on tree-shaped paths):
   Start location: l12
     29: l1 -> l5 : __rho_4_^0'=__rho_4_^post_5, __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, [ wakend^0<=0 && 1+curtime^post_9-last_copy_time^0<=__const_1000^0 ], cost: 4
     30: l1 -> l5 : __rho_4_^0'=__rho_4_^post_5, __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, wakend^0'=1, [ wakend^0<=0 && __const_1000^0<=curtime^post_9-last_copy_time^0 ], cost: 4
     31: l1 -> l5 : __rho_4_^0'=__rho_4_^post_5, __rho_6_^0'=last_copy_time^post_13, __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, last_copy_time^0'=last_copy_time^post_13, wakend^0'=0, [ 1<=wakend^0 && 1-last_copy_time^post_13+curtime^post_9<=__const_1000^0 ], cost: 4
     32: l1 -> l5 : __rho_4_^0'=__rho_4_^post_5, __rho_6_^0'=last_copy_time^post_13, __rho_7_^0'=curtime^post_9, curtime^0'=curtime^post_9, last_copy_time^0'=last_copy_time^post_13, wakend^0'=1, [ 1<=wakend^0 && __const_1000^0<=-last_copy_time^post_13+curtime^post_9 ], cost: 4
     20: l5 -> [13] : [], cost: NONTERM
     21: l12 -> l1 : __rho_1_^0'=__rho_1_^post_16, got_SIGHUP^0'=__rho_2_^0, wakend^0'=1, [ __rho_2_^0<=0 ], cost: 3
     27: l12 -> l1 : __rho_1_^0'=__rho_1_^post_16, __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, wakend^0'=1, [ 1<=__rho_2_^0 && 1<=__rho_5_^post_2 ], cost: 4
     28: l12 -> l5 : __rho_1_^0'=__rho_1_^post_16, __rho_5_^0'=__rho_5_^post_2, a22^0'=1, got_SIGHUP^0'=0, tt1^0'=__rho_5_^post_2, wakend^0'=1, [ 1<=__rho_2_^0 && __rho_5_^post_2<=0 ], cost: 4

Eliminated locations (on tree-shaped paths):
   Start location: l12
     37: l12 -> [13] : [ 1<=__rho_2_^0 && __rho_5_^post_2<=0 ], cost: NONTERM
     38: l12 -> [13] : [ __rho_2_^0<=0 && 1-last_copy_time^post_13+curtime^post_9<=__const_1000^0 ], cost: NONTERM
     39: l12 -> [13] : [ __rho_2_^0<=0 && __const_1000^0<=-last_copy_time^post_13+curtime^post_9 ], cost: NONTERM
     40: l12 -> [13] : [ 1<=__rho_2_^0 && 1<=__rho_5_^post_2 && 1-last_copy_time^post_13+curtime^post_9<=__const_1000^0 ], cost: NONTERM
     41: l12 -> [13] : [ 1<=__rho_2_^0 && 1<=__rho_5_^post_2 && __const_1000^0<=-last_copy_time^post_13+curtime^post_9 ], cost: NONTERM

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: l12
     37: l12 -> [13] : [ 1<=__rho_2_^0 && __rho_5_^post_2<=0 ], cost: NONTERM
     38: l12 -> [13] : [ __rho_2_^0<=0 && 1-last_copy_time^post_13+curtime^post_9<=__const_1000^0 ], cost: NONTERM
     39: l12 -> [13] : [ __rho_2_^0<=0 && __const_1000^0<=-last_copy_time^post_13+curtime^post_9 ], cost: NONTERM
     40: l12 -> [13] : [ 1<=__rho_2_^0 && 1<=__rho_5_^post_2 && 1-last_copy_time^post_13+curtime^post_9<=__const_1000^0 ], cost: NONTERM
     41: l12 -> [13] : [ 1<=__rho_2_^0 && 1<=__rho_5_^post_2 && __const_1000^0<=-last_copy_time^post_13+curtime^post_9 ], cost: NONTERM

Computing asymptotic complexity for rule 37
   Guard is satisfiable, yielding nontermination
   Resulting cost NONTERM has complexity: Nonterm

Found new complexity Nonterm.

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Nonterm
   Cpx degree:  Nonterm
   Solved cost: NONTERM
   Rule cost:   NONTERM
   Rule guard:  [ 1<=__rho_2_^0 && __rho_5_^post_2<=0 ]

NO