// #TestSpec: rt-inconsistent:;vacuous:;inconsistent:;results:46
Input x0008 is bool
Input x0010 is bool
Input x0006 is bool
Input x0005 is bool
Input x0022 is bool
Input x0017 is bool
Input x0019 is bool
Input x0020 is bool
Input x0014 is bool
Input x0004 is bool
Input x0001 is bool
Input x0026 is bool
Input x0000 is bool
Input x0025 is bool
Input x0007 is bool
Input x0009 is bool
Input x0016 is bool
Input x0023 is bool
Input x0012 is bool
Input x0002 is bool
Input x0003 is bool
Input x0015 is bool
Input x0018 is bool
Input x0024 is bool
Input x0021 is bool
Input x0013 is bool
Input x0011 is bool

ID000: Globally, it is always the case that if "x0000" holds then "!x0001 && !x0002 && !x0003 && !x0004 && !x0005" holds as well.
ID001: Globally, it is always the case that if "x0001" holds then "!x0000 && !x0002 && !x0003 && !x0004 && !x0005" holds as well.
ID002: Globally, it is always the case that if "x0002" holds then "!x0001 && !x0000 && !x0003 && !x0004 && !x0005" holds as well.
ID003: Globally, it is always the case that if "x0003" holds then "!x0001 && !x0002 && !x0000 && !x0004 && !x0005" holds as well.
ID004: Globally, it is always the case that if "x0004" holds then "!x0001 && !x0002 && !x0003 && !x0000 && !x0005" holds as well.
ID005: Globally, it is always the case that if "x0005" holds then "!x0001 && !x0002 && !x0003 && !x0004 && !x0000" holds as well.
ID006: Globally, it is always the case that if "x0000" holds then "x0006" holds as well.
ID007: After "x0000" until "!x0000", it is always the case that "x0007" holds.
ID008: After "x0000" until "!x0000", it is always the case that "x0008" holds.
ID009: Globally, it is always the case that if "x0001" holds then "x0009" holds as well.
ID010: Globally, it is never the case that "x0009 && x0006" holds.
ID011: After "x0001" until "!x0001", it is always the case that "x0010" holds.
ID012: After "x0001" until "!x0001", it is always the case that "x0011" holds.
ID013: Globally, it is always the case that if "x0012" holds then "x0013 && x0014" holds after at most 10 time units.
ID014: Globally, it is always the case that if "x0015" holds then "x0014" holds after at most 5 time units.
ID015: Globally, it is always the case that if "x0016" holds then "x0013" holds after at most 10 time units.
ID016: Globally, it is always the case that if "x0003" holds, then "!x0017 && !x0018" holds as well.
ID017: Globally, it is always the case that "x0019" holds.
ID018: Globally, it is always the case that if "x0020" holds, then "x0018" holds after at most 50 time units.
ID019: Globally, it is always the case that if "x0020" holds, then "x0017" holds after at most 50 time units
ID020: Globally, it is always the case that if "x0020 && x0021 && !x0022" holds, then "!x0023" holds as well.
ID021: Globally, it is always the case that if "x0024" holds, then "x0025 && x0017 && x0026" holds as well.