Input x0006 is bool
Input x0005 is bool
Input x0039 is bool
Input x0017 is bool
Input x0020 is bool
Input x0014 is bool
Input x0004 is bool
Input x0024 is bool
Input x0026 is bool
Input x0000 is bool
Input x0025 is bool
Input x0037 is bool
Input x0009 is bool
Input x0028 is bool
Input x0036 is bool
Input x0035 is bool
Input x0023 is bool
Input x0029 is bool
Input x0032 is bool
Input x0031 is bool
Input x0003 is bool
Input x0018 is bool
Input x0021 is bool
Input x0013 is bool
Input x0011 is bool
Input x0008 is bool
Input x0010 is bool
Input x0038 is bool
Input x0030 is bool
Input x0022 is bool
Input x0019 is bool
Input x0001 is bool
Input x0034 is bool
Input x0007 is bool
Input x0016 is bool
Input x0012 is bool
Input x0002 is bool
Input x0015 is bool
Input x0027 is bool
Input x0033 is bool

ID000: Globally, it is always the case that "x0000 || x0001 || x0002 || x0003" holds
ID001: Globally, it is always the case that if "x0004 && x0005 && x0000 && x0006" holds, then "x0007" holds as well
ID002: Globally, it is always the case that if "x0004 && x0005 && x0001 && x0006 && x0008" holds, then "x0007" holds as well
ID003: Globally, it is always the case that if "x0009" holds, then "x0008" holds as well
ID004: Globally, it is always the case that if "x0004 && x0005 && x0001 && !x0006" holds, then "x0010" holds as well
ID005: Globally, it is always the case that if "!x0004" holds, then "!x0007" holds as well
ID006: Globally, it is always the case that if "x0011 && x0012" holds, then "x0007" previously held
ID007: Globally, it is always the case that if "!x0007" holds, then "!x0011 && !x0012" holds as well
ID008: Globally, it is always the case that if "x0007" holds, then "x0013" holds for at least "10" time units
ID009: After "x0007", it is always the case that if "x0014 || x0015" holds, then "x0016" holds as well
ID010: After "x0007", it is always the case that if "x0014" holds, then "x0017" holds as well
ID011: After "x0007", it is always the case that if "x0015" holds, then "x0001" holds as well
ID012: After "x0007", it is always the case that if "x0014 || x0015" holds, then "x0018" holds as well
ID013: After "x0007", it is always the case that if "!x0011 && x0014 && x0019" holds, then "!x0012" holds as well
ID014: After "x0007", it is always the case that if "!x0011 && x0015 && x0019" holds, then "!x0012" holds as well
ID015: After "x0007", it is always the case that if "x0020 && x0006 && x0021" holds, then "!x0012 && x0022" holds as well
ID016: After "x0007", it is always the case that if "x0023 && x0006 && x0021" holds, then "!x0012 && x0022" holds as well
ID017: After "x0007", it is always the case that if "x0021 && x0020" holds, then "x0024" holds as well
ID018: After "x0007", it is always the case that if "x0006 && x0020" holds, then "x0024" holds as well
ID019: After "x0007", it is always the case that if "x0006 && x0023" holds, then "x0024" holds as well
ID020: After "x0007", it is always the case that if "x0021 && x0023" holds, then "x0024" holds as well
ID021: After "x0007", it is always the case that if "x0007 && x0020 && !x0021" holds, then "x0022 || x0025" holds as well
ID022: After "x0007", it is always the case that if "x0007 && x0020 && !x0006" holds, then "x0022 || x0025" holds as well
ID023: After "x0007", it is always the case that if "x0007 && x0023 && !x0021" holds, then "x0022 || x0025" holds as well
ID024: After "x0007", it is always the case that if "x0007 && x0023 && !x0006" holds, then "x0022 || x0025" holds as well
ID025: After "x0026" until "!x0026", it is always the case that "x0022" holds
ID026: Globally, it is always the case that if "x0026" holds, then "!x0006 && x0025 && x0020 && x0027" holds as well
ID027: Globally, it is always the case that if "x0026" holds, then "!x0006 && x0025 && x0020 &&  x0019" holds as well
ID028: Globally, it is always the case that if "!x0006 && x0025 && x0020 &&  x0019" holds, then "x0026" holds as well
ID029: Globally, it is always the case that if "!x0006 && x0025 && x0020 && x0027" holds, then "x0026" holds as well
ID030: Globally, it is always the case that if "x0028" holds, then "x0029" holds for at least 25 time units
ID031: Globally, it is always the case that if "x0028" holds, then "!x0029" holds after at most 30 time units
ID032: Globally, it is always the case that if "x0030 && x0031 && x0032" holds, then "!x0028" holds for at least "30" time units
ID033: Globally, it is always the case that if "x0030 && x0033 && x0034" holds, then "!x0028" holds for at least "30" time units
ID034: Globally, it is always the case that if "x0035 && !x0036" holds, then "x0036" holds after at most "300" time units
ID035: Globally, it is always the case that if "x0035 && !x0036" holds, then "!x0036" holds for at least "100" time units
ID036: Globally, it is always the case that if "x0036" holds, then "x0037" holds after at most "10" time units
ID037: Globally, it is always the case that if "x0038" holds, then "x0039" holds after at most "10" time units
ID038: Globally, it is always the case that if "x0039" holds, then "x0029" holds for at least "70" time units
ID039: Globally, it is always the case that if "x0039" holds, then "!x0029" holds after at most "75" time units