Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2021-input.r159-oct2-162089267800106.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is PolyORBLF-COL-S02J06T08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-oct2-162089267800106
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 21K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 132K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 16:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Mar 27 09:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 09:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 154K May 5 16:51 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-00
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-01
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-02
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-03
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-04
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-05
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-06
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-07
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-08
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-09
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-10
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-11
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-12
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-13
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-14
FORMULA_NAME PolyORBLF-COL-S02J06T08-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1621183852813

Running Version 0
[2021-05-16 16:50:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 16:50:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 16:50:55] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-16 16:50:56] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-16 16:50:56] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 649 ms
[2021-05-16 16:50:56] [INFO ] ms1 symmetric to ms2 in transition T_1124
[2021-05-16 16:50:56] [INFO ] ms1 symmetric to ms2 in transition T_1125
[2021-05-16 16:50:56] [INFO ] ms2 symmetric to ms3 in transition T_1125
[2021-05-16 16:50:56] [INFO ] ms1 symmetric to ms4 in transition T_1126
[2021-05-16 16:50:56] [INFO ] ms4 symmetric to ms2 in transition T_1126
[2021-05-16 16:50:56] [INFO ] ms2 symmetric to ms3 in transition T_1126
[2021-05-16 16:50:56] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 690 PT places and 1492.0 transition bindings in 95 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 12 ms.
[2021-05-16 16:50:56] [INFO ] Built PT skeleton of HLPN with 81 places and 65 transitions in 4 ms.
[2021-05-16 16:50:56] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_13604385400035683036.dot
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2021-05-16 16:50:56] [INFO ] Flatten gal took : 31 ms
[2021-05-16 16:50:56] [INFO ] Flatten gal took : 11 ms
[2021-05-16 16:50:56] [INFO ] Unfolded HLPN to a Petri net with 690 places and 1306 transitions in 26 ms.
[2021-05-16 16:50:56] [INFO ] Unfolded HLPN properties in 2 ms.
Successfully produced net in file /tmp/petri1001_17444363637619815020.dot
Support contains 690 out of 690 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 690/690 places, 1306/1306 transitions.
Applied a total of 0 rules in 18 ms. Remains 690 /690 variables (removed 0) and now considering 1306/1306 (removed 0) transitions.
[2021-05-16 16:50:56] [INFO ] Flow matrix only has 1290 transitions (discarded 16 similar events)
// Phase 1: matrix 1290 rows 690 cols
[2021-05-16 16:50:57] [INFO ] Computed 54 place invariants in 115 ms
[2021-05-16 16:50:58] [INFO ] Dead Transitions using invariants and state equation in 1249 ms returned [818, 819, 820, 821, 822, 823, 824, 825, 834, 835, 836, 837, 838, 839, 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913]
Found 88 dead transitions using SMT.
Drop transitions removed 88 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 88 transitions :[913, 912, 911, 910, 909, 908, 907, 906, 905, 904, 903, 902, 901, 900, 899, 898, 897, 896, 895, 894, 893, 892, 891, 890, 889, 888, 887, 886, 885, 884, 883, 882, 881, 880, 879, 878, 877, 876, 875, 874, 873, 872, 871, 870, 869, 868, 867, 866, 865, 864, 863, 862, 861, 860, 859, 858, 857, 856, 855, 854, 853, 852, 851, 850, 849, 848, 847, 846, 845, 844, 843, 842, 841, 840, 839, 838, 837, 836, 835, 834, 825, 824, 823, 822, 821, 820, 819, 818]
[2021-05-16 16:50:58] [INFO ] Flow matrix only has 1202 transitions (discarded 16 similar events)
// Phase 1: matrix 1202 rows 690 cols
[2021-05-16 16:50:58] [INFO ] Computed 54 place invariants in 43 ms
[2021-05-16 16:50:58] [INFO ] Implicit Places using invariants in 230 ms returned []
[2021-05-16 16:50:58] [INFO ] Flow matrix only has 1202 transitions (discarded 16 similar events)
// Phase 1: matrix 1202 rows 690 cols
[2021-05-16 16:50:58] [INFO ] Computed 54 place invariants in 83 ms
[2021-05-16 16:50:59] [INFO ] State equation strengthened by 104 read => feed constraints.
[2021-05-16 16:50:59] [INFO ] Implicit Places using invariants and state equation in 882 ms returned []
Implicit Place search using SMT with State Equation took 1116 ms to find 0 implicit places.
[2021-05-16 16:50:59] [INFO ] Flow matrix only has 1202 transitions (discarded 16 similar events)
// Phase 1: matrix 1202 rows 690 cols
[2021-05-16 16:50:59] [INFO ] Computed 54 place invariants in 54 ms
[2021-05-16 16:51:00] [INFO ] Dead Transitions using invariants and state equation in 934 ms returned []
Starting structural reductions, iteration 1 : 690/690 places, 1218/1306 transitions.
Reduce places removed 0 places and 16 transitions.
Deduced a syphon composed of 18 places in 2 ms
Reduce places removed 0 places and 16 transitions.
Applied a total of 0 rules in 8 ms. Remains 690 /690 variables (removed 0) and now considering 1186/1218 (removed 32) transitions.
[2021-05-16 16:51:00] [INFO ] Flow matrix only has 1170 transitions (discarded 16 similar events)
// Phase 1: matrix 1170 rows 690 cols
[2021-05-16 16:51:00] [INFO ] Computed 72 place invariants in 56 ms
[2021-05-16 16:51:01] [INFO ] Dead Transitions using invariants and state equation in 980 ms returned []
Finished structural reductions, in 2 iterations. Remains : 690/690 places, 1186/1306 transitions.
[2021-05-16 16:51:01] [INFO ] Found a total of 18 fixed domain variables (out of 690 variables) in GAL type petri
[2021-05-16 16:51:01] [INFO ] Found a total of 18 constant array cells/variables (out of 690 variables) in type petri
[2021-05-16 16:51:01] [INFO ] P_1160_7,P_1159_0,P_1160_2,P_1159_7,P_1159_4,P_1159_6,P_1099_0,P_1160_3,P_1097_0,P_1160_5,P_1159_1,P_1160_0,P_1160_1,P_1160_6,P_1160_4,P_1159_5,P_1159_3,P_1159_2,
[2021-05-16 16:51:01] [INFO ] Removed 18 constant variables :P_1160_7=0, P_1159_0=0, P_1160_2=0, P_1159_7=0, P_1159_4=0, P_1159_6=0, P_1099_0=0, P_1160_3=0, P_1097_0=0, P_1160_5=0, P_1159_1=0, P_1160_0=0, P_1160_1=0, P_1160_6=0, P_1160_4=0, P_1159_5=0, P_1159_3=0, P_1159_2=0
[2021-05-16 16:51:01] [INFO ] Simplified 176 expressions due to constant valuations.
[2021-05-16 16:51:01] [INFO ] Flatten gal took : 459 ms
[2021-05-16 16:51:03] [INFO ] Flatten gal took : 243 ms
[2021-05-16 16:51:04] [INFO ] Input system was already deterministic with 1186 transitions.
Incomplete random walk after 100000 steps, including 22 resets, run finished after 874 ms. (steps per millisecond=114 ) properties (out of 63) seen :62
Running SMT prover for 1 properties.
[2021-05-16 16:51:05] [INFO ] Flow matrix only has 1170 transitions (discarded 16 similar events)
// Phase 1: matrix 1170 rows 672 cols
[2021-05-16 16:51:05] [INFO ] Computed 54 place invariants in 29 ms
[2021-05-16 16:51:05] [INFO ] [Real]Absence check using 14 positive place invariants in 8 ms returned sat
[2021-05-16 16:51:05] [INFO ] [Real]Absence check using 14 positive and 40 generalized place invariants in 2 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 16 simplifications.
Drop transitions removed 16 transitions
Trivial Post-agglo rules discarded 16 transitions
Performed 16 trivial Post agglomeration. Transition count delta: 16
Iterating post reduction 0 with 16 rules applied. Total rules applied 16 place count 672 transition count 1170
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 1 with 16 rules applied. Total rules applied 32 place count 656 transition count 1170
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 24 Pre rules applied. Total rules applied 32 place count 656 transition count 1146
Deduced a syphon composed of 24 places in 1 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 2 with 48 rules applied. Total rules applied 80 place count 632 transition count 1146
Applied a total of 80 rules in 116 ms. Remains 632 /672 variables (removed 40) and now considering 1146/1186 (removed 40) transitions.
[2021-05-16 16:51:06] [INFO ] Flatten gal took : 99 ms
[2021-05-16 16:51:06] [INFO ] Flatten gal took : 102 ms
[2021-05-16 16:51:06] [INFO ] Input system was already deterministic with 1146 transitions.
[2021-05-16 16:51:06] [INFO ] Flatten gal took : 72 ms
[2021-05-16 16:51:06] [INFO ] Flatten gal took : 118 ms
[2021-05-16 16:51:06] [INFO ] Time to serialize gal into /tmp/CTLFireability180896005482534821.gal : 29 ms
[2021-05-16 16:51:06] [INFO ] Time to serialize properties into /tmp/CTLFireability9870619000058597326.ctl : 15 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability180896005482534821.gal, -t, CGAL, -ctl, /tmp/CTLFireability9870619000058597326.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability180896005482534821.gal -t CGAL -ctl /tmp/CTLFireability9870619000058597326.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:51:37] [INFO ] Flatten gal took : 51 ms
[2021-05-16 16:51:37] [INFO ] Applying decomposition
[2021-05-16 16:51:37] [INFO ] Flatten gal took : 49 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph8408377867466434829.txt, -o, /tmp/graph8408377867466434829.bin, -w, /tmp/graph8408377867466434829.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph8408377867466434829.bin, -l, -1, -v, -w, /tmp/graph8408377867466434829.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:51:37] [INFO ] Decomposing Gal with order
[2021-05-16 16:51:37] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:51:37] [INFO ] Removed a total of 1034 redundant transitions.
[2021-05-16 16:51:38] [INFO ] Flatten gal took : 495 ms
[2021-05-16 16:51:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 119 labels/synchronizations in 53 ms.
[2021-05-16 16:51:38] [INFO ] Time to serialize gal into /tmp/CTLFireability15107627570071124730.gal : 50 ms
[2021-05-16 16:51:38] [INFO ] Time to serialize properties into /tmp/CTLFireability16519339281675527138.ctl : 8 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability15107627570071124730.gal, -t, CGAL, -ctl, /tmp/CTLFireability16519339281675527138.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability15107627570071124730.gal -t CGAL -ctl /tmp/CTLFireability16519339281675527138.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 2 places
Drop transitions removed 32 transitions
Trivial Post-agglo rules discarded 32 transitions
Performed 32 trivial Post agglomeration. Transition count delta: 32
Iterating post reduction 0 with 32 rules applied. Total rules applied 32 place count 670 transition count 1154
Reduce places removed 32 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 40 rules applied. Total rules applied 72 place count 638 transition count 1146
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 80 place count 630 transition count 1146
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 80 Pre rules applied. Total rules applied 80 place count 630 transition count 1066
Deduced a syphon composed of 80 places in 2 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 3 with 160 rules applied. Total rules applied 240 place count 550 transition count 1066
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 248 place count 542 transition count 1058
Iterating global reduction 3 with 8 rules applied. Total rules applied 256 place count 542 transition count 1058
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 1 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 3 with 32 rules applied. Total rules applied 288 place count 526 transition count 1042
Applied a total of 288 rules in 221 ms. Remains 526 /672 variables (removed 146) and now considering 1042/1186 (removed 144) transitions.
[2021-05-16 16:52:09] [INFO ] Flatten gal took : 110 ms
[2021-05-16 16:52:09] [INFO ] Flatten gal took : 122 ms
[2021-05-16 16:52:09] [INFO ] Input system was already deterministic with 1042 transitions.
[2021-05-16 16:52:09] [INFO ] Flatten gal took : 85 ms
[2021-05-16 16:52:09] [INFO ] Flatten gal took : 54 ms
[2021-05-16 16:52:09] [INFO ] Time to serialize gal into /tmp/CTLFireability12755841680783987108.gal : 10 ms
[2021-05-16 16:52:09] [INFO ] Time to serialize properties into /tmp/CTLFireability7746744676045703154.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability12755841680783987108.gal, -t, CGAL, -ctl, /tmp/CTLFireability7746744676045703154.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability12755841680783987108.gal -t CGAL -ctl /tmp/CTLFireability7746744676045703154.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:52:39] [INFO ] Flatten gal took : 70 ms
[2021-05-16 16:52:39] [INFO ] Applying decomposition
[2021-05-16 16:52:39] [INFO ] Flatten gal took : 65 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph6559408684973872175.txt, -o, /tmp/graph6559408684973872175.bin, -w, /tmp/graph6559408684973872175.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph6559408684973872175.bin, -l, -1, -v, -w, /tmp/graph6559408684973872175.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:52:40] [INFO ] Decomposing Gal with order
[2021-05-16 16:52:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:52:40] [INFO ] Removed a total of 615 redundant transitions.
[2021-05-16 16:52:40] [INFO ] Flatten gal took : 239 ms
[2021-05-16 16:52:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 527 labels/synchronizations in 51 ms.
[2021-05-16 16:52:40] [INFO ] Time to serialize gal into /tmp/CTLFireability11603955238464151317.gal : 5 ms
[2021-05-16 16:52:40] [INFO ] Time to serialize properties into /tmp/CTLFireability3988479593946755070.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability11603955238464151317.gal, -t, CGAL, -ctl, /tmp/CTLFireability3988479593946755070.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability11603955238464151317.gal -t CGAL -ctl /tmp/CTLFireability3988479593946755070.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 2 places
Drop transitions removed 72 transitions
Trivial Post-agglo rules discarded 72 transitions
Performed 72 trivial Post agglomeration. Transition count delta: 72
Iterating post reduction 0 with 72 rules applied. Total rules applied 72 place count 670 transition count 1114
Reduce places removed 72 places and 0 transitions.
Iterating post reduction 1 with 72 rules applied. Total rules applied 144 place count 598 transition count 1114
Performed 80 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 80 Pre rules applied. Total rules applied 144 place count 598 transition count 1034
Deduced a syphon composed of 80 places in 1 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 2 with 160 rules applied. Total rules applied 304 place count 518 transition count 1034
Performed 40 Post agglomeration using F-continuation condition.Transition count delta: 40
Deduced a syphon composed of 40 places in 0 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 2 with 80 rules applied. Total rules applied 384 place count 478 transition count 994
Applied a total of 384 rules in 112 ms. Remains 478 /672 variables (removed 194) and now considering 994/1186 (removed 192) transitions.
[2021-05-16 16:53:10] [INFO ] Flatten gal took : 79 ms
[2021-05-16 16:53:10] [INFO ] Flatten gal took : 62 ms
[2021-05-16 16:53:11] [INFO ] Input system was already deterministic with 994 transitions.
[2021-05-16 16:53:11] [INFO ] Flatten gal took : 37 ms
[2021-05-16 16:53:11] [INFO ] Flatten gal took : 35 ms
[2021-05-16 16:53:11] [INFO ] Time to serialize gal into /tmp/CTLFireability12249663618365386411.gal : 3 ms
[2021-05-16 16:53:11] [INFO ] Time to serialize properties into /tmp/CTLFireability3904170801163745359.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability12249663618365386411.gal, -t, CGAL, -ctl, /tmp/CTLFireability3904170801163745359.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability12249663618365386411.gal -t CGAL -ctl /tmp/CTLFireability3904170801163745359.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:53:41] [INFO ] Flatten gal took : 81 ms
[2021-05-16 16:53:41] [INFO ] Applying decomposition
[2021-05-16 16:53:41] [INFO ] Flatten gal took : 62 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph2128889529347442552.txt, -o, /tmp/graph2128889529347442552.bin, -w, /tmp/graph2128889529347442552.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph2128889529347442552.bin, -l, -1, -v, -w, /tmp/graph2128889529347442552.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:53:41] [INFO ] Decomposing Gal with order
[2021-05-16 16:53:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:53:41] [INFO ] Removed a total of 668 redundant transitions.
[2021-05-16 16:53:41] [INFO ] Flatten gal took : 305 ms
[2021-05-16 16:53:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 547 labels/synchronizations in 32 ms.
[2021-05-16 16:53:41] [INFO ] Time to serialize gal into /tmp/CTLFireability13135170013650337433.gal : 27 ms
[2021-05-16 16:53:41] [INFO ] Time to serialize properties into /tmp/CTLFireability1582954559916854021.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability13135170013650337433.gal, -t, CGAL, -ctl, /tmp/CTLFireability1582954559916854021.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability13135170013650337433.gal -t CGAL -ctl /tmp/CTLFireability1582954559916854021.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 2 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 670 transition count 1178
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 662 transition count 1178
Applied a total of 16 rules in 26 ms. Remains 662 /672 variables (removed 10) and now considering 1178/1186 (removed 8) transitions.
[2021-05-16 16:54:12] [INFO ] Flatten gal took : 81 ms
[2021-05-16 16:54:12] [INFO ] Flatten gal took : 92 ms
[2021-05-16 16:54:12] [INFO ] Input system was already deterministic with 1178 transitions.
[2021-05-16 16:54:12] [INFO ] Flatten gal took : 126 ms
[2021-05-16 16:54:12] [INFO ] Flatten gal took : 50 ms
[2021-05-16 16:54:12] [INFO ] Time to serialize gal into /tmp/CTLFireability7104185897585648356.gal : 21 ms
[2021-05-16 16:54:12] [INFO ] Time to serialize properties into /tmp/CTLFireability16063854437560992322.ctl : 15 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability7104185897585648356.gal, -t, CGAL, -ctl, /tmp/CTLFireability16063854437560992322.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability7104185897585648356.gal -t CGAL -ctl /tmp/CTLFireability16063854437560992322.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:54:42] [INFO ] Flatten gal took : 50 ms
[2021-05-16 16:54:42] [INFO ] Applying decomposition
[2021-05-16 16:54:42] [INFO ] Flatten gal took : 57 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph908696863644009173.txt, -o, /tmp/graph908696863644009173.bin, -w, /tmp/graph908696863644009173.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph908696863644009173.bin, -l, -1, -v, -w, /tmp/graph908696863644009173.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:54:43] [INFO ] Decomposing Gal with order
[2021-05-16 16:54:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:54:43] [INFO ] Removed a total of 988 redundant transitions.
[2021-05-16 16:54:43] [INFO ] Flatten gal took : 137 ms
[2021-05-16 16:54:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 150 labels/synchronizations in 13 ms.
[2021-05-16 16:54:43] [INFO ] Time to serialize gal into /tmp/CTLFireability17208366887992310263.gal : 5 ms
[2021-05-16 16:54:43] [INFO ] Time to serialize properties into /tmp/CTLFireability9484224705813003780.ctl : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability17208366887992310263.gal, -t, CGAL, -ctl, /tmp/CTLFireability9484224705813003780.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability17208366887992310263.gal -t CGAL -ctl /tmp/CTLFireability9484224705813003780.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 2 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 0 with 8 rules applied. Total rules applied 8 place count 670 transition count 1178
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 1 with 8 rules applied. Total rules applied 16 place count 662 transition count 1178
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 16 place count 662 transition count 1170
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 32 place count 654 transition count 1170
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 1 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 48 place count 646 transition count 1162
Applied a total of 48 rules in 32 ms. Remains 646 /672 variables (removed 26) and now considering 1162/1186 (removed 24) transitions.
[2021-05-16 16:55:13] [INFO ] Flatten gal took : 39 ms
[2021-05-16 16:55:13] [INFO ] Flatten gal took : 43 ms
[2021-05-16 16:55:13] [INFO ] Input system was already deterministic with 1162 transitions.
[2021-05-16 16:55:13] [INFO ] Flatten gal took : 42 ms
[2021-05-16 16:55:13] [INFO ] Flatten gal took : 41 ms
[2021-05-16 16:55:13] [INFO ] Time to serialize gal into /tmp/CTLFireability2976112462835559473.gal : 16 ms
[2021-05-16 16:55:13] [INFO ] Time to serialize properties into /tmp/CTLFireability6194646697703394317.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability2976112462835559473.gal, -t, CGAL, -ctl, /tmp/CTLFireability6194646697703394317.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability2976112462835559473.gal -t CGAL -ctl /tmp/CTLFireability6194646697703394317.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:55:44] [INFO ] Flatten gal took : 81 ms
[2021-05-16 16:55:44] [INFO ] Applying decomposition
[2021-05-16 16:55:44] [INFO ] Flatten gal took : 70 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15918137765832246704.txt, -o, /tmp/graph15918137765832246704.bin, -w, /tmp/graph15918137765832246704.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15918137765832246704.bin, -l, -1, -v, -w, /tmp/graph15918137765832246704.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:55:44] [INFO ] Decomposing Gal with order
[2021-05-16 16:55:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:55:44] [INFO ] Removed a total of 969 redundant transitions.
[2021-05-16 16:55:44] [INFO ] Flatten gal took : 228 ms
[2021-05-16 16:55:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 235 labels/synchronizations in 15 ms.
[2021-05-16 16:55:44] [INFO ] Time to serialize gal into /tmp/CTLFireability18271372470275384965.gal : 6 ms
[2021-05-16 16:55:44] [INFO ] Time to serialize properties into /tmp/CTLFireability3205341028642718470.ctl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability18271372470275384965.gal, -t, CGAL, -ctl, /tmp/CTLFireability3205341028642718470.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability18271372470275384965.gal -t CGAL -ctl /tmp/CTLFireability3205341028642718470.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 16:56:14] [INFO ] Flatten gal took : 111 ms
[2021-05-16 16:56:15] [INFO ] Flatten gal took : 107 ms
[2021-05-16 16:56:16] [INFO ] Applying decomposition
[2021-05-16 16:56:16] [INFO ] Flatten gal took : 104 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph13112660066853022542.txt, -o, /tmp/graph13112660066853022542.bin, -w, /tmp/graph13112660066853022542.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph13112660066853022542.bin, -l, -1, -v, -w, /tmp/graph13112660066853022542.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 16:56:16] [INFO ] Decomposing Gal with order
[2021-05-16 16:56:16] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 16:56:17] [INFO ] Removed a total of 1019 redundant transitions.
[2021-05-16 16:56:17] [INFO ] Flatten gal took : 191 ms
[2021-05-16 16:56:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 247 labels/synchronizations in 11 ms.
[2021-05-16 16:56:18] [INFO ] Time to serialize gal into /tmp/CTLFireability3178884607654970654.gal : 6 ms
[2021-05-16 16:56:18] [INFO ] Time to serialize properties into /tmp/CTLFireability7688149072642695255.ctl : 74 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability3178884607654970654.gal, -t, CGAL, -ctl, /tmp/CTLFireability7688149072642695255.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability3178884607654970654.gal -t CGAL -ctl /tmp/CTLFireability7688149072642695255.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2021-05-16 17:18:12] [INFO ] Applying decomposition
[2021-05-16 17:18:12] [INFO ] Flatten gal took : 369 ms
[2021-05-16 17:18:13] [INFO ] Decomposing Gal with order
[2021-05-16 17:18:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 17:18:14] [INFO ] Removed a total of 3183 redundant transitions.
[2021-05-16 17:18:16] [INFO ] Flatten gal took : 2233 ms
[2021-05-16 17:18:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 69 ms.
[2021-05-16 17:18:17] [INFO ] Time to serialize gal into /tmp/CTLFireability12641667719907986253.gal : 55 ms
[2021-05-16 17:18:17] [INFO ] Time to serialize properties into /tmp/CTLFireability6901013041070525572.ctl : 562 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability12641667719907986253.gal, -t, CGAL, -ctl, /tmp/CTLFireability6901013041070525572.ctl], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability12641667719907986253.gal -t CGAL -ctl /tmp/CTLFireability6901013041070525572.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.2188e+09,681.525,5242556,324284,827,6.98019e+06,7828,1980,5.11705e+06,218,64115,0


Converting to forward existential form...Done !
original formula: !(E(EF((A(AF((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Threads1.IdleTasks_1>=1)&&(Threads5.TryAllocateOneTaskB_5>=1))||(D114.FetchJobE_14>=1))||((Threads6.IdleTasks_6>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D110.FetchJobE_10>=1))||(D122.FetchJobE_22>=1))||((Threads0.IdleTasks_0>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D118.FetchJobE_18>=1))||((Threads6.IdleTasks_6>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||(D130.FetchJobE_30>=1))||(D126.FetchJobE_26>=1))||((Threads0.IdleTasks_0>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D138.FetchJobE_38>=1))||((Threads5.IdleTasks_5>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads1.IdleTasks_1>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D134.FetchJobE_34>=1))||((Threads5.IdleTasks_5>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D146.FetchJobE_46>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D40.DisablePollingB_0>=1)))||(D142.FetchJobE_42>=1))||(D154.FetchJobE_54>=1))||((Threads4.IdleTasks_4>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D150.FetchJobE_50>=1))||((Threads4.IdleTasks_4>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D412.DisablePollingB_12>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D15.FetchJobE_5>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D44.DisablePollingB_4>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||(D11.FetchJobE_1>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D48.DisablePollingB_8>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(Threads4.ScheduleTaskE_Idle_4>=1))||(D113.FetchJobE_13>=1))||((Threads1.IdleTasks_1>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D19.FetchJobE_9>=1))||(D121.FetchJobE_21>=1))||((Threads0.IdleTasks_0>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D117.FetchJobE_17>=1))||((Threads6.IdleTasks_6>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D129.FetchJobE_29>=1))||((Threads5.IdleTasks_5>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D125.FetchJobE_25>=1))||((Threads0.IdleTasks_0>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D137.FetchJobE_37>=1))||(D133.FetchJobE_33>=1))||((Threads1.IdleTasks_1>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads5.IdleTasks_5>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D145.FetchJobE_45>=1))||(D141.FetchJobE_41>=1))||(D153.FetchJobE_53>=1))||((Threads4.IdleTasks_4>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D149.FetchJobE_49>=1))||((Threads4.IdleTasks_4>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((Threads7.IdleTasks_7>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D49.DisablePollingB_9>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D10.FetchJobE_0>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D413.DisablePollingB_13>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D41.DisablePollingB_1>=1)))||(D18.FetchJobE_8>=1))||((Threads3.IdleTasks_3>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(Threads3.ScheduleTaskE_Idle_3>=1))||((Threads7.IdleTasks_7>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D45.DisablePollingB_5>=1)))||(D14.FetchJobE_4>=1))||((Threads3.IdleTasks_3>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads1.IdleTasks_1>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D116.FetchJobE_16>=1))||((Threads1.IdleTasks_1>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D112.FetchJobE_12>=1))||((Threads0.IdleTasks_0>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D124.FetchJobE_24>=1))||((Threads6.IdleTasks_6>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(D120.FetchJobE_20>=1))||((Threads6.IdleTasks_6>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D132.FetchJobE_32>=1))||((Threads0.IdleTasks_0>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D128.FetchJobE_28>=1))||((Threads5.IdleTasks_5>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||(D140.FetchJobE_40>=1))||((Threads5.IdleTasks_5>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D136.FetchJobE_36>=1))||(D148.FetchJobE_48>=1))||(D144.FetchJobE_44>=1))||((Threads4.IdleTasks_4>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||((Threads4.IdleTasks_4>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D152.FetchJobE_52>=1))||((Threads2.IdleTasks_2>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||((Threads7.IdleTasks_7>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D410.DisablePollingB_10>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D414.DisablePollingB_14>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||((((CanInjectEvent.CanInjectEvent_0>=1)&&(Sources1.DataOnSrc_1>=1))&&(Sources1.PlaceSources_1>=1))&&(cSources.cSources_0>=1)))||(D17.FetchJobE_7>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D42.DisablePollingB_2>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(D13.FetchJobE_3>=1))||((Threads7.IdleTasks_7>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D46.DisablePollingB_6>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D115.FetchJobE_15>=1))||((Threads1.IdleTasks_1>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D111.FetchJobE_11>=1))||(D123.FetchJobE_23>=1))||((Threads0.IdleTasks_0>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D119.FetchJobE_19>=1))||(D131.FetchJobE_31>=1))||(D127.FetchJobE_27>=1))||((Threads0.IdleTasks_0>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((Threads5.IdleTasks_5>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D139.FetchJobE_39>=1))||((Threads5.IdleTasks_5>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D135.FetchJobE_35>=1))||((Threads1.IdleTasks_1>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(D147.FetchJobE_47>=1))||(D143.FetchJobE_43>=1))||(D155.FetchJobE_55>=1))||((Threads4.IdleTasks_4>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D151.FetchJobE_51>=1))||((Threads4.IdleTasks_4>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D411.DisablePollingB_11>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||((((CanInjectEvent.CanInjectEvent_0>=1)&&(Sources0.DataOnSrc_0>=1))&&(Sources0.PlaceSources_0>=1))&&(cSources.cSources_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D415.DisablePollingB_15>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D43.DisablePollingB_3>=1)))||(D16.FetchJobE_6>=1))||(Threads1.ScheduleTaskE_Idle_1>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D47.DisablePollingB_7>=1)))||(D12.FetchJobE_2>=1))||((Threads3.IdleTasks_3>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(Threads5.ScheduleTaskE_Idle_5>=1))||((Threads7.IdleTasks_7>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))) U ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((D14.QueueJobB_4>=1)&&(P_1727.P_1727_0>=1))||((D153.QueueJobB_53>=1)&&(P_1727.P_1727_0>=1)))||((D143.QueueJobB_43>=1)&&(P_1727.P_1727_0>=1)))||((D124.QueueJobB_24>=1)&&(P_1727.P_1727_0>=1)))||((D123.QueueJobB_23>=1)&&(P_1727.P_1727_0>=1)))||((D113.QueueJobB_13>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D134.QueueJobB_34>=1)&&(P_1727.P_1727_0>=1)))||((D144.QueueJobB_44>=1)&&(P_1727.P_1727_0>=1)))||((D122.QueueJobB_22>=1)&&(P_1727.P_1727_0>=1)))||((D15.QueueJobB_5>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D152.QueueJobB_52>=1)&&(P_1727.P_1727_0>=1)))||((D114.QueueJobB_14>=1)&&(P_1727.P_1727_0>=1)))||((D135.QueueJobB_35>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D121.QueueJobB_21>=1)&&(P_1727.P_1727_0>=1)))||((D145.QueueJobB_45>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D12.QueueJobB_2>=1)&&(P_1727.P_1727_0>=1)))||((D111.QueueJobB_11>=1)&&(P_1727.P_1727_0>=1)))||((D130.QueueJobB_30>=1)&&(P_1727.P_1727_0>=1)))||((D155.QueueJobB_55>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D136.QueueJobB_36>=1)&&(P_1727.P_1727_0>=1)))||((D137.QueueJobB_37>=1)&&(P_1727.P_1727_0>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D154.QueueJobB_54>=1)&&(P_1727.P_1727_0>=1)))||((D13.QueueJobB_3>=1)&&(P_1727.P_1727_0>=1)))||((D120.QueueJobB_20>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D146.QueueJobB_46>=1)&&(P_1727.P_1727_0>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||((D129.QueueJobB_29>=1)&&(P_1727.P_1727_0>=1)))||((D112.QueueJobB_12>=1)&&(P_1727.P_1727_0>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(Threads4.ScheduleTaskE_Idle_4>=1))||((D148.QueueJobB_48>=1)&&(P_1727.P_1727_0>=1)))||((D19.QueueJobB_9>=1)&&(P_1727.P_1727_0>=1)))||((D138.QueueJobB_38>=1)&&(P_1727.P_1727_0>=1)))||((D128.QueueJobB_28>=1)&&(P_1727.P_1727_0>=1)))||((D119.QueueJobB_19>=1)&&(P_1727.P_1727_0>=1)))||((D10.QueueJobB_0>=1)&&(P_1727.P_1727_0>=1)))||((D149.QueueJobB_49>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D110.QueueJobB_10>=1)&&(P_1727.P_1727_0>=1)))||((D147.QueueJobB_47>=1)&&(P_1727.P_1727_0>=1)))||((D127.QueueJobB_27>=1)&&(P_1727.P_1727_0>=1)))||((D11.QueueJobB_1>=1)&&(P_1727.P_1727_0>=1)))||((D118.QueueJobB_18>=1)&&(P_1727.P_1727_0>=1)))||((D139.QueueJobB_39>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D126.QueueJobB_26>=1)&&(P_1727.P_1727_0>=1)))||((D131.QueueJobB_31>=1)&&(P_1727.P_1727_0>=1)))||((D141.QueueJobB_41>=1)&&(P_1727.P_1727_0>=1)))||((D16.QueueJobB_6>=1)&&(P_1727.P_1727_0>=1)))||((D17.QueueJobB_7>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D140.QueueJobB_40>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D117.QueueJobB_17>=1)&&(P_1727.P_1727_0>=1)))||((D132.QueueJobB_32>=1)&&(P_1727.P_1727_0>=1)))||((D151.QueueJobB_51>=1)&&(P_1727.P_1727_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((D115.QueueJobB_15>=1)&&(P_1727.P_1727_0>=1)))||((D18.QueueJobB_8>=1)&&(P_1727.P_1727_0>=1)))||((D142.QueueJobB_42>=1)&&(P_1727.P_1727_0>=1)))||((D125.QueueJobB_25>=1)&&(P_1727.P_1727_0>=1)))||(Threads1.ScheduleTaskE_Idle_1>=1))||(Threads3.ScheduleTaskE_Idle_3>=1))||(Threads5.ScheduleTaskE_Idle_5>=1))||((D150.QueueJobB_50>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D116.QueueJobB_16>=1)&&(P_1727.P_1727_0>=1)))||((D133.QueueJobB_33>=1)&&(P_1727.P_1727_0>=1)))&&(((((((((((((((((((((((((((((((((PollingAbort.PollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))||((PollingAbort.PollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1)))||((Threads4.TryAllocateOneTaskE_4>=1)&&(Threads4.P_2318_4>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1)))||(Threads7.P_1158_7>=2))||((Threads0.TryAllocateOneTaskE_0>=1)&&(Threads0.P_2318_0>=1)))||((Threads5.TryAllocateOneTaskE_5>=1)&&(Threads5.P_2318_5>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1)))||(Threads4.NotifyEventJobCompletedB_4>=1))||(Threads5.NotifyEventJobCompletedB_5>=1))||(Threads6.NotifyEventJobCompletedB_6>=1))||(Threads7.NotifyEventJobCompletedB_7>=1))||((Threads1.TryAllocateOneTaskE_1>=1)&&(Threads1.P_2318_1>=1)))||((Threads2.TryAllocateOneTaskE_2>=1)&&(Threads2.P_2318_2>=1)))||((Threads7.TryAllocateOneTaskE_7>=1)&&(Threads7.P_2318_7>=1)))||(Threads0.NotifyEventJobCompletedB_0>=1))||(Threads1.NotifyEventJobCompletedB_1>=1))||(Threads2.NotifyEventJobCompletedB_2>=1))||(Threads3.NotifyEventJobCompletedB_3>=1))||((Threads3.TryAllocateOneTaskE_3>=1)&&(Threads3.P_2318_3>=1)))||((Threads6.TryAllocateOneTaskE_6>=1)&&(Threads6.P_2318_6>=1)))||(Threads6.P_1158_6>=2))||(Threads5.P_1158_5>=2))||(Threads4.P_1158_4>=2))||(Threads3.P_1158_3>=2))||(Threads2.P_1158_2>=2))||(Threads1.P_1158_1>=2))||(Threads0.P_1158_0>=2)))) * (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources0.ModifiedSrc_0<1))&&((D610.CreatedJobs_10<1)||(D140.ScheduleTaskE_Work_40<1)))&&((D611.CreatedJobs_11<1)||(D154.ScheduleTaskE_Work_54<1)))&&((D63.CreatedJobs_3<1)||(D115.ScheduleTaskE_Work_15<1)))&&((D69.CreatedJobs_9<1)||(D118.ScheduleTaskE_Work_18<1)))&&((D123.QueueJobB_23<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads7.Check_Sources_B_7<1))||(Sources0.ModifiedSrc_0<1)))&&((D62.CreatedJobs_2<1)||(D150.ScheduleTaskE_Work_50<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D40.DisablePollingB_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads3.Check_Sources_B_3<1))||(Sources1.ModifiedSrc_1<1)))&&((D134.QueueJobB_34<1)||(P_1727.P_1727_0<1)))&&(Threads0.QueueJobE_0<1))&&((D15.QueueJobB_5<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D128.ScheduleTaskE_Work_28<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources1.ModifiedSrc_1<1)))&&((D611.CreatedJobs_11<1)||(D15.ScheduleTaskE_Work_5<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads0.Check_Sources_B_0<1))||(Sources0.ModifiedSrc_0<1)))&&((D152.QueueJobB_52<1)||(P_1727.P_1727_0<1)))&&((D62.CreatedJobs_2<1)||(D11.ScheduleTaskE_Work_1<1)))&&((D64.CreatedJobs_4<1)||(D137.ScheduleTaskE_Work_37<1)))&&((D68.CreatedJobs_8<1)||(D153.ScheduleTaskE_Work_53<1)))&&((D145.QueueJobB_45<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D138.ScheduleTaskE_Work_38<1)))&&((D60.CreatedJobs_0<1)||(D114.ScheduleTaskE_Work_14<1)))&&((D130.QueueJobB_30<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D124.ScheduleTaskE_Work_24<1)))&&((D612.CreatedJobs_12<1)||(D127.ScheduleTaskE_Work_27<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D48.DisablePollingB_8<1)))&&((Threads3.TryAllocateOneTaskE_3<1)||(Threads3.P_2318_3<1)))&&((D68.CreatedJobs_8<1)||(D14.ScheduleTaskE_Work_4<1)))&&((D112.QueueJobB_12<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads7.P_1113_7<1)))&&((D69.CreatedJobs_9<1)||(D125.ScheduleTaskE_Work_25<1)))&&((D68.CreatedJobs_8<1)||(D111.ScheduleTaskE_Work_11<1)))&&((D63.CreatedJobs_3<1)||(D18.ScheduleTaskE_Work_8<1)))&&((D138.QueueJobB_38<1)||(P_1727.P_1727_0<1)))&&((Threads2.TryAllocateOneTaskB_2<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D64.CreatedJobs_4<1)||(D130.ScheduleTaskE_Work_30<1)))&&((D65.CreatedJobs_5<1)||(D144.ScheduleTaskE_Work_44<1)))&&((D611.CreatedJobs_11<1)||(D147.ScheduleTaskE_Work_47<1)))&&((D119.QueueJobB_19<1)||(P_1727.P_1727_0<1)))&&((D149.QueueJobB_49<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads7.Check_Sources_B_7<1))||(Sources1.ModifiedSrc_1<1)))&&((D61.CreatedJobs_1<1)||(D135.ScheduleTaskE_Work_35<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D41.DisablePollingB_1<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads3.Check_Sources_B_3<1))||(Sources0.ModifiedSrc_0<1)))&&((D60.CreatedJobs_0<1)||(D121.ScheduleTaskE_Work_21<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources1.ModifiedSrc_1<1)))&&((D613.CreatedJobs_13<1)||(D134.ScheduleTaskE_Work_34<1)))&&(Threads7.QueueJobE_7<1))&&((D11.QueueJobB_1<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads0.Check_Sources_B_0<1))||(Sources1.ModifiedSrc_1<1)))&&((D126.QueueJobB_26<1)||(P_1727.P_1727_0<1)))&&((D131.QueueJobB_31<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources0.ModifiedSrc_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources1.ModifiedSrc_1<1)))&&((D115.QueueJobB_15<1)||(P_1727.P_1727_0<1)))&&((D18.QueueJobB_8<1)||(P_1727.P_1727_0<1)))&&((D612.CreatedJobs_12<1)||(D120.ScheduleTaskE_Work_20<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D49.DisablePollingB_9<1)))&&((D142.QueueJobB_42<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D131.ScheduleTaskE_Work_31<1)))&&((Threads6.TryAllocateOneTaskB_6<1)||(cIdleTasks.cIdleTasks_0<2)))&&((P_1093.P_1093_0<1)||(Threads6.P_1113_6<1)))&&((D65.CreatedJobs_5<1)||(D137.ScheduleTaskE_Work_37<1)))&&((D153.QueueJobB_53<1)||(P_1727.P_1727_0<1)))&&((D64.CreatedJobs_4<1)||(D123.ScheduleTaskE_Work_23<1)))&&((D124.QueueJobB_24<1)||(P_1727.P_1727_0<1)))&&((D68.CreatedJobs_8<1)||(D118.ScheduleTaskE_Work_18<1)))&&((D63.CreatedJobs_3<1)||(D11.ScheduleTaskE_Work_1<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources0.ModifiedSrc_0<1)))&&((D67.CreatedJobs_7<1)||(D145.ScheduleTaskE_Work_45<1)))&&((D144.QueueJobB_44<1)||(P_1727.P_1727_0<1)))&&((Threads0.TryAllocateOneTaskE_0<1)||(Threads0.P_2318_0<1)))&&((Threads5.TryAllocateOneTaskE_5<1)||(Threads5.P_2318_5<1)))&&(Threads6.QueueJobE_6<1))&&((D63.CreatedJobs_3<1)||(D150.ScheduleTaskE_Work_50<1)))&&((D69.CreatedJobs_9<1)||(D132.ScheduleTaskE_Work_32<1)))&&((D135.QueueJobB_35<1)||(P_1727.P_1727_0<1)))&&((D611.CreatedJobs_11<1)||(D119.ScheduleTaskE_Work_19<1)))&&((D61.CreatedJobs_1<1)||(D114.ScheduleTaskE_Work_14<1)))&&((D613.CreatedJobs_13<1)||(D148.ScheduleTaskE_Work_48<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources1.ModifiedSrc_1<1)))&&((D12.QueueJobB_2<1)||(P_1727.P_1727_0<1)))&&((D111.QueueJobB_11<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources0.ModifiedSrc_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D42.DisablePollingB_2<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads2.Check_Sources_B_2<1))||(Sources1.ModifiedSrc_1<1)))&&((D120.QueueJobB_20<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads5.P_1113_5<1)))&&((Threads6.TryAllocateOneTaskE_6<1)||(Threads6.P_2318_6<1)))&&((D62.CreatedJobs_2<1)||(D143.ScheduleTaskE_Work_43<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D410.DisablePollingB_10<1)))&&((D610.CreatedJobs_10<1)||(D147.ScheduleTaskE_Work_47<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads6.Check_Sources_B_6<1))||(Sources0.ModifiedSrc_0<1)))&&((D129.QueueJobB_29<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D138.ScheduleTaskE_Work_38<1)))&&((D60.CreatedJobs_0<1)||(D10.ScheduleTaskE_Work_0<1)))&&((D148.QueueJobB_48<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D13.ScheduleTaskE_Work_3<1)))&&((D65.CreatedJobs_5<1)||(D130.ScheduleTaskE_Work_30<1)))&&((D64.CreatedJobs_4<1)||(D116.ScheduleTaskE_Work_16<1)))&&((D68.CreatedJobs_8<1)||(D125.ScheduleTaskE_Work_25<1)))&&((Threads3.TryAllocateOneTaskB_3<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D69.CreatedJobs_9<1)||(D139.ScheduleTaskE_Work_39<1)))&&(Threads5.QueueJobE_5<1))&&((D139.QueueJobB_39<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D152.ScheduleTaskE_Work_52<1)))&&((D61.CreatedJobs_1<1)||(D121.ScheduleTaskE_Work_21<1)))&&((D610.CreatedJobs_10<1)||(D15.ScheduleTaskE_Work_5<1)))&&((D612.CreatedJobs_12<1)||(D134.ScheduleTaskE_Work_34<1)))&&((D60.CreatedJobs_0<1)||(D17.ScheduleTaskE_Work_7<1)))&&((D17.QueueJobB_7<1)||(P_1727.P_1727_0<1)))&&((D613.CreatedJobs_13<1)||(D141.ScheduleTaskE_Work_41<1)))&&((D611.CreatedJobs_11<1)||(D112.ScheduleTaskE_Work_12<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D43.DisablePollingB_3<1)))&&((D610.CreatedJobs_10<1)||(D154.ScheduleTaskE_Work_54<1)))&&((P_1093.P_1093_0<1)||(Threads4.P_1113_4<1)))&&((D125.QueueJobB_25<1)||(P_1727.P_1727_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D411.DisablePollingB_11<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources1.ModifiedSrc_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads2.Check_Sources_B_2<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads6.Check_Sources_B_6<1))||(Sources1.ModifiedSrc_1<1)))&&((D62.CreatedJobs_2<1)||(D136.ScheduleTaskE_Work_36<1)))&&((D116.QueueJobB_16<1)||(P_1727.P_1727_0<1)))&&((D613.CreatedJobs_13<1)||(D113.ScheduleTaskE_Work_13<1)))&&((D66.CreatedJobs_6<1)||(D145.ScheduleTaskE_Work_45<1)))&&((D143.QueueJobB_43<1)||(P_1727.P_1727_0<1)))&&((D60.CreatedJobs_0<1)||(D142.ScheduleTaskE_Work_42<1)))&&((Threads7.TryAllocateOneTaskB_7<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D67.CreatedJobs_7<1)||(D110.ScheduleTaskE_Work_10<1)))&&((D612.CreatedJobs_12<1)||(D148.ScheduleTaskE_Work_48<1)))&&((D68.CreatedJobs_8<1)||(D132.ScheduleTaskE_Work_32<1)))&&(Threads4.QueueJobE_4<1))&&((D114.QueueJobB_14<1)||(P_1727.P_1727_0<1)))&&((D610.CreatedJobs_10<1)||(D112.ScheduleTaskE_Work_12<1)))&&((D65.CreatedJobs_5<1)||(D123.ScheduleTaskE_Work_23<1)))&&((D63.CreatedJobs_3<1)||(D143.ScheduleTaskE_Work_43<1)))&&((D62.CreatedJobs_2<1)||(D129.ScheduleTaskE_Work_29<1)))&&((D121.QueueJobB_21<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources1.ModifiedSrc_1<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads5.Check_Sources_B_5<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads1.Check_Sources_B_1<1))||(Sources1.ModifiedSrc_1<1)))&&((D136.QueueJobB_36<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D10.ScheduleTaskE_Work_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D44.DisablePollingB_4<1)))&&((D154.QueueJobB_54<1)||(P_1727.P_1727_0<1)))&&((D13.QueueJobB_3<1)||(P_1727.P_1727_0<1)))&&((D64.CreatedJobs_4<1)||(D19.ScheduleTaskE_Work_9<1)))&&((D611.CreatedJobs_11<1)||(D133.ScheduleTaskE_Work_33<1)))&&((P_1093.P_1093_0<1)||(Threads3.P_1113_3<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D412.DisablePollingB_12<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources0.ModifiedSrc_0<1)))&&((D66.CreatedJobs_6<1)||(D152.ScheduleTaskE_Work_52<1)))&&((D613.CreatedJobs_13<1)||(D16.ScheduleTaskE_Work_6<1)))&&((D128.QueueJobB_28<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources1.ModifiedSrc_1<1)))&&((D60.CreatedJobs_0<1)||(D149.ScheduleTaskE_Work_49<1)))&&((D110.QueueJobB_10<1)||(P_1727.P_1727_0<1)))&&((D147.QueueJobB_47<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D13.ScheduleTaskE_Work_3<1)))&&(Threads3.QueueJobE_3<1))&&((D65.CreatedJobs_5<1)||(D116.ScheduleTaskE_Work_16<1)))&&((D610.CreatedJobs_10<1)||(D119.ScheduleTaskE_Work_19<1)))&&((D612.CreatedJobs_12<1)||(D141.ScheduleTaskE_Work_41<1)))&&((D68.CreatedJobs_8<1)||(D139.ScheduleTaskE_Work_39<1)))&&((Threads4.TryAllocateOneTaskB_4<1)||(cIdleTasks.cIdleTasks_0<2)))&&((Threads2.TryAllocateOneTaskE_2<1)||(Threads2.P_2318_2<1)))&&((D16.QueueJobB_6<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads5.Check_Sources_B_5<1))||(Sources1.ModifiedSrc_1<1)))&&((D62.CreatedJobs_2<1)||(D122.ScheduleTaskE_Work_22<1)))&&((D140.QueueJobB_40<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D17.ScheduleTaskE_Work_7<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads1.Check_Sources_B_1<1))||(Sources0.ModifiedSrc_0<1)))&&((D64.CreatedJobs_4<1)||(D151.ScheduleTaskE_Work_51<1)))&&((D117.QueueJobB_17<1)||(P_1727.P_1727_0<1)))&&((D151.QueueJobB_51<1)||(P_1727.P_1727_0<1)))&&((D63.CreatedJobs_3<1)||(D136.ScheduleTaskE_Work_36<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D45.DisablePollingB_5<1)))&&((D69.CreatedJobs_9<1)||(D146.ScheduleTaskE_Work_46<1)))&&((D67.CreatedJobs_7<1)||(D117.ScheduleTaskE_Work_17<1)))&&((P_1093.P_1093_0<1)||(Threads2.P_1113_2<1)))&&((D611.CreatedJobs_11<1)||(D126.ScheduleTaskE_Work_26<1)))&&((D613.CreatedJobs_13<1)||(D155.ScheduleTaskE_Work_55<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D413.DisablePollingB_13<1)))&&((D64.CreatedJobs_4<1)||(D12.ScheduleTaskE_Work_2<1)))&&((D133.QueueJobB_33<1)||(P_1727.P_1727_0<1)))&&((D14.QueueJobB_4<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D142.ScheduleTaskE_Work_42<1)))&&((D113.QueueJobB_13<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources0.ModifiedSrc_0<1)))&&((D610.CreatedJobs_10<1)||(D126.ScheduleTaskE_Work_26<1)))&&((D611.CreatedJobs_11<1)||(D140.ScheduleTaskE_Work_40<1)))&&((D62.CreatedJobs_2<1)||(D115.ScheduleTaskE_Work_15<1)))&&((D122.QueueJobB_22<1)||(P_1727.P_1727_0<1)))&&(Threads2.QueueJobE_2<1))&&((D66.CreatedJobs_6<1)||(D110.ScheduleTaskE_Work_10<1)))&&((D60.CreatedJobs_0<1)||(D128.ScheduleTaskE_Work_28<1)))&&((D613.CreatedJobs_13<1)||(D127.ScheduleTaskE_Work_27<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads4.Check_Sources_B_4<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads1.TryAllocateOneTaskE_1<1)||(Threads1.P_2318_1<1)))&&((D155.QueueJobB_55<1)||(P_1727.P_1727_0<1)))&&((D65.CreatedJobs_5<1)||(D19.ScheduleTaskE_Work_9<1)))&&((D137.QueueJobB_37<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads1.P_1113_1<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D46.DisablePollingB_6<1)))&&((D69.CreatedJobs_9<1)||(D14.ScheduleTaskE_Work_4<1)))&&((D63.CreatedJobs_3<1)||(D129.ScheduleTaskE_Work_29<1)))&&((Threads1.TryAllocateOneTaskB_1<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D146.QueueJobB_46<1)||(P_1727.P_1727_0<1)))&&((D69.CreatedJobs_9<1)||(D153.ScheduleTaskE_Work_53<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D414.DisablePollingB_14<1)))&&((D612.CreatedJobs_12<1)||(D113.ScheduleTaskE_Work_13<1)))&&((D67.CreatedJobs_7<1)||(D124.ScheduleTaskE_Work_24<1)))&&((D61.CreatedJobs_1<1)||(D149.ScheduleTaskE_Work_49<1)))&&((D19.QueueJobB_9<1)||(P_1727.P_1727_0<1)))&&((D60.CreatedJobs_0<1)||(D135.ScheduleTaskE_Work_35<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources1.ModifiedSrc_1<1)))&&((D610.CreatedJobs_10<1)||(D133.ScheduleTaskE_Work_33<1)))&&((Threads4.TryAllocateOneTaskE_4<1)||(Threads4.P_2318_4<1)))&&((D612.CreatedJobs_12<1)||(D16.ScheduleTaskE_Work_6<1)))&&((D613.CreatedJobs_13<1)||(D120.ScheduleTaskE_Work_20<1)))&&((D612.CreatedJobs_12<1)||(D155.ScheduleTaskE_Work_55<1)))&&((D10.QueueJobB_0<1)||(P_1727.P_1727_0<1)))&&((D69.CreatedJobs_9<1)||(D111.ScheduleTaskE_Work_11<1)))&&(Threads1.QueueJobE_1<1))&&((D64.CreatedJobs_4<1)||(D144.ScheduleTaskE_Work_44<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources0.ModifiedSrc_0<1)))&&((D127.QueueJobB_27<1)||(P_1727.P_1727_0<1)))&&((Threads0.TryAllocateOneTaskB_0<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D118.QueueJobB_18<1)||(P_1727.P_1727_0<1)))&&((D62.CreatedJobs_2<1)||(D18.ScheduleTaskE_Work_8<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads4.Check_Sources_B_4<1))||(Sources0.ModifiedSrc_0<1)))&&((D67.CreatedJobs_7<1)||(D131.ScheduleTaskE_Work_31<1)))&&((D66.CreatedJobs_6<1)||(D117.ScheduleTaskE_Work_17<1)))&&((D68.CreatedJobs_8<1)||(D146.ScheduleTaskE_Work_46<1)))&&((D65.CreatedJobs_5<1)||(D12.ScheduleTaskE_Work_2<1)))&&((D141.QueueJobB_41<1)||(P_1727.P_1727_0<1)))&&((Threads7.TryAllocateOneTaskE_7<1)||(Threads7.P_2318_7<1)))&&((Threads5.TryAllocateOneTaskB_5<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D132.QueueJobB_32<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads0.P_1113_0<1)))&&((D65.CreatedJobs_5<1)||(D151.ScheduleTaskE_Work_51<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D47.DisablePollingB_7<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D415.DisablePollingB_15<1)))&&((D63.CreatedJobs_3<1)||(D122.ScheduleTaskE_Work_22<1)))&&((D150.QueueJobB_50<1)||(P_1727.P_1727_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads6.IdleTasks_6<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&(Threads6.Perform_Work_E_6<1))&&((Threads0.IdleTasks_0<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads6.IdleTasks_6<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&(Threads1.NotifyEventJobCompletedE_1<1))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads0.IdleTasks_0<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads5.IdleTasks_5<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((P_1095.P_1095_0<1)||(Threads1.P_1113_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources1.ModifiedSrc_1<1)))&&((P_1095.P_1095_0<1)||(Threads5.P_1113_5<1)))&&(Threads5.NotifyEventJobCompletedE_5<1))&&((Threads4.IdleTasks_4<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads4.IdleTasks_4<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads2.IdleTasks_2<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(Threads1.Perform_Work_E_1<1))&&((Threads2.IdleTasks_2<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&((Threads3.IdleTasks_3<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads0.IdleTasks_0<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(Threads5.Perform_Work_E_5<1))&&((Threads6.IdleTasks_6<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads6.IdleTasks_6<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(Threads0.NotifyEventJobCompletedE_0<1))&&((Threads0.IdleTasks_0<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads1.IdleTasks_1<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads5.IdleTasks_5<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((P_1095.P_1095_0<1)||(Threads0.P_1113_0<1)))&&((P_1095.P_1095_0<1)||(Threads4.P_1113_4<1)))&&(Threads4.NotifyEventJobCompletedE_4<1))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads4.IdleTasks_4<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads4.IdleTasks_4<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads2.IdleTasks_2<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads7.IdleTasks_7<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads2.IdleTasks_2<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&(Threads0.Perform_Work_E_0<1))&&((Threads3.IdleTasks_3<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads7.IdleTasks_7<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads1.IdleTasks_1<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads1.IdleTasks_1<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(Threads4.Perform_Work_E_4<1))&&((Threads0.IdleTasks_0<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads6.IdleTasks_6<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads6.IdleTasks_6<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads0.IdleTasks_0<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(Threads3.NotifyEventJobCompletedE_3<1))&&((Threads5.IdleTasks_5<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads5.IdleTasks_5<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((P_1095.P_1095_0<1)||(Threads3.P_1113_3<1)))&&((Threads4.IdleTasks_4<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources1.ModifiedSrc_1<1)))&&((P_1095.P_1095_0<1)||(Threads7.P_1113_7<1)))&&(Threads7.NotifyEventJobCompletedE_7<1))&&((Threads4.IdleTasks_4<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads2.IdleTasks_2<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads7.IdleTasks_7<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads2.IdleTasks_2<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(Threads3.Perform_Work_E_3<1))&&((Threads3.IdleTasks_3<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads6.IdleTasks_6<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads1.IdleTasks_1<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads0.IdleTasks_0<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&(Threads7.Perform_Work_E_7<1))&&((Threads6.IdleTasks_6<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources0.ModifiedSrc_0<1)))&&(Threads2.NotifyEventJobCompletedE_2<1))&&((Threads0.IdleTasks_0<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads5.IdleTasks_5<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&((Threads1.IdleTasks_1<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads3.IdleTasks_3<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((P_1095.P_1095_0<1)||(Threads2.P_1113_2<1)))&&((P_1095.P_1095_0<1)||(Threads6.P_1113_6<1)))&&(Threads6.NotifyEventJobCompletedE_6<1))&&((Threads4.IdleTasks_4<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads4.IdleTasks_4<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads2.IdleTasks_2<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads7.IdleTasks_7<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads2.IdleTasks_2<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&(Threads2.Perform_Work_E_2<1))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources1.ModifiedSrc_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads3.IdleTasks_3<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads7.IdleTasks_7<1)||(Threads5.TryAllocateOneTaskB_5<1))) + EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D42.P_2579_2>=1))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((D19.QueueJobB_9>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D138.QueueJobB_38>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D13.NotifyEventJobQueuedB_3>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D149.QueueJobB_49>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D40.DisablePollingB_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads5.ScheduleTaskE_Check_5>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D144.NotifyEventJobQueuedB_44>=1)))||((D127.QueueJobB_27>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads0.QueueJobE_0>=1))||((cJobCnt.cJobCnt_0>=1)&&(D152.NotifyEventJobQueuedB_52>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(Threads6.nyo_6>=1))||((cJobCnt.cJobCnt_0>=1)&&(D128.NotifyEventJobQueuedB_28>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D136.NotifyEventJobQueuedB_36>=1)))||((Threads3.Abort_Check_Sources_B_3>=1)&&(SigAbort.SigAbort_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D112.NotifyEventJobQueuedB_12>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||((D142.QueueJobB_42>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D48.DisablePollingB_8>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D410.P_2579_10>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D120.NotifyEventJobQueuedB_20>=1)))||((D116.QueueJobB_16>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D43.P_2579_3>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((Threads0.Abort_Check_Sources_B_0>=1)&&(SigAbort.SigAbort_0>=1)))||((D124.QueueJobB_24>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D12.NotifyEventJobQueuedB_2>=1)))||((D113.QueueJobB_13>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads6.ScheduleTaskE_Check_6>=1)))||((D134.QueueJobB_34>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D41.DisablePollingB_1>=1)))||(Threads5.nyo_5>=1))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D143.NotifyEventJobQueuedB_43>=1)))||(Threads7.QueueJobE_7>=1))||((cJobCnt.cJobCnt_0>=1)&&(D151.NotifyEventJobQueuedB_51>=1)))||((D152.QueueJobB_52>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D131.QueueJobB_31>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((Threads7.Abort_Check_Sources_B_7>=1)&&(SigAbort.SigAbort_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D127.NotifyEventJobQueuedB_27>=1)))||((D145.QueueJobB_45>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D135.NotifyEventJobQueuedB_35>=1)))||((D12.QueueJobB_2>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D111.NotifyEventJobQueuedB_11>=1)))||((D120.QueueJobB_20>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D49.DisablePollingB_9>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D411.P_2579_11>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D119.NotifyEventJobQueuedB_19>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads3.ScheduleTaskE_Check_3>=1)))||((D148.QueueJobB_48>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D44.P_2579_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D154.NotifyEventJobQueuedB_54>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D15.NotifyEventJobQueuedB_5>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(Threads4.nyo_4>=1))||((Threads6.Abort_Check_Sources_B_6>=1)&&(SigAbort.SigAbort_0>=1)))||((D139.QueueJobB_39>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D138.NotifyEventJobQueuedB_38>=1)))||(Threads6.QueueJobE_6>=1))||((cJobCnt.cJobCnt_0>=1)&&(D146.NotifyEventJobQueuedB_46>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||((D126.QueueJobB_26>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D122.NotifyEventJobQueuedB_22>=1)))||((D117.QueueJobB_17>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D130.NotifyEventJobQueuedB_30>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D42.DisablePollingB_2>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D16.NotifyEventJobQueuedB_6>=1)))||((D18.QueueJobB_8>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D410.DisablePollingB_10>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D412.P_2579_12>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D114.NotifyEventJobQueuedB_14>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads4.ScheduleTaskE_Check_4>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D45.P_2579_5>=1)))||((D153.QueueJobB_53>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D14.NotifyEventJobQueuedB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D145.NotifyEventJobQueuedB_45>=1)))||((Threads1.Abort_Check_Sources_B_1>=1)&&(SigAbort.SigAbort_0>=1)))||(Threads3.nyo_3>=1))||((D144.QueueJobB_44>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads5.QueueJobE_5>=1))||((cJobCnt.cJobCnt_0>=1)&&(D153.NotifyEventJobQueuedB_53>=1)))||((D135.QueueJobB_35>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D129.NotifyEventJobQueuedB_29>=1)))||((D121.QueueJobB_21>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D137.NotifyEventJobQueuedB_37>=1)))||((D130.QueueJobB_30>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D43.DisablePollingB_3>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D113.NotifyEventJobQueuedB_13>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D13.QueueJobB_3>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D411.DisablePollingB_11>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D121.NotifyEventJobQueuedB_21>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D413.P_2579_13>=1)))||((D112.QueueJobB_12>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads1.ScheduleTaskE_Check_1>=1)))||((D10.QueueJobB_0>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D147.QueueJobB_47>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((Threads5.Abort_Check_Sources_B_5>=1)&&(SigAbort.SigAbort_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(Threads2.nyo_2>=1))||((cJobCnt.cJobCnt_0>=1)&&(D140.NotifyEventJobQueuedB_40>=1)))||(Threads4.QueueJobE_4>=1))||((D118.QueueJobB_18>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D148.NotifyEventJobQueuedB_48>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D124.NotifyEventJobQueuedB_24>=1)))||((D17.QueueJobB_7>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D151.QueueJobB_51>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D140.QueueJobB_40>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D132.NotifyEventJobQueuedB_32>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D44.DisablePollingB_4>=1)))||((D125.QueueJobB_25>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D414.P_2579_14>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D18.NotifyEventJobQueuedB_8>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D412.DisablePollingB_12>=1)))||((D133.QueueJobB_33>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D46.P_2579_6>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D116.NotifyEventJobQueuedB_16>=1)))||((D143.QueueJobB_43>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D14.QueueJobB_4>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads2.ScheduleTaskE_Check_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D155.NotifyEventJobQueuedB_55>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(Threads1.nyo_1>=1))||((D122.QueueJobB_22>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads3.QueueJobE_3>=1))||((cJobCnt.cJobCnt_0>=1)&&(D139.NotifyEventJobQueuedB_39>=1)))||((Threads2.Abort_Check_Sources_B_2>=1)&&(SigAbort.SigAbort_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D147.NotifyEventJobQueuedB_47>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D123.NotifyEventJobQueuedB_23>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D136.QueueJobB_36>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D111.QueueJobB_11>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D131.NotifyEventJobQueuedB_31>=1)))||((D154.QueueJobB_54>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D45.DisablePollingB_5>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D415.P_2579_15>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D17.NotifyEventJobQueuedB_7>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((D129.QueueJobB_29>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D413.DisablePollingB_13>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D47.P_2579_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D115.NotifyEventJobQueuedB_15>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D40.P_2579_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((D128.QueueJobB_28>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D119.QueueJobB_19>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads7.ScheduleTaskE_Check_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D11.NotifyEventJobQueuedB_1>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D142.NotifyEventJobQueuedB_42>=1)))||((D110.QueueJobB_10>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads0.nyo_0>=1))||(Threads2.QueueJobE_2>=1))||((cJobCnt.cJobCnt_0>=1)&&(D150.NotifyEventJobQueuedB_50>=1)))||((D11.QueueJobB_1>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D126.NotifyEventJobQueuedB_26>=1)))||((D16.QueueJobB_6>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D141.QueueJobB_41>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D134.NotifyEventJobQueuedB_34>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((D115.QueueJobB_15>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D132.QueueJobB_32>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D110.NotifyEventJobQueuedB_10>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D46.DisablePollingB_6>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D118.NotifyEventJobQueuedB_18>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D414.DisablePollingB_14>=1)))||((Threads4.Abort_Check_Sources_B_4>=1)&&(SigAbort.SigAbort_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D48.P_2579_8>=1)))||((D150.QueueJobB_50>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads0.ScheduleTaskE_Check_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D41.P_2579_1>=1)))||((D123.QueueJobB_23>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D10.NotifyEventJobQueuedB_0>=1)))||(Threads1.QueueJobE_1>=1))||((cJobCnt.cJobCnt_0>=1)&&(D141.NotifyEventJobQueuedB_41>=1)))||((D15.QueueJobB_5>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((D114.QueueJobB_14>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D149.NotifyEventJobQueuedB_49>=1)))||(Threads7.nyo_7>=1))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((D155.QueueJobB_55>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D125.NotifyEventJobQueuedB_25>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D133.NotifyEventJobQueuedB_33>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((D137.QueueJobB_37>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D47.DisablePollingB_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D19.NotifyEventJobQueuedB_9>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((D146.QueueJobB_46>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D415.DisablePollingB_15>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D49.P_2579_9>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D117.NotifyEventJobQueuedB_17>=1))))))) U ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))))
Detected timeout of ITS tools.
=> equivalent forward existential formula: [(FwdU(Init,E(TRUE U (!((E(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((D14.QueueJobB_4>=1)&&(P_1727.P_1727_0>=1))||((D153.QueueJobB_53>=1)&&(P_1727.P_1727_0>=1)))||((D143.QueueJobB_43>=1)&&(P_1727.P_1727_0>=1)))||((D124.QueueJobB_24>=1)&&(P_1727.P_1727_0>=1)))||((D123.QueueJobB_23>=1)&&(P_1727.P_1727_0>=1)))||((D113.QueueJobB_13>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D134.QueueJobB_34>=1)&&(P_1727.P_1727_0>=1)))||((D144.QueueJobB_44>=1)&&(P_1727.P_1727_0>=1)))||((D122.QueueJobB_22>=1)&&(P_1727.P_1727_0>=1)))||((D15.QueueJobB_5>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D152.QueueJobB_52>=1)&&(P_1727.P_1727_0>=1)))||((D114.QueueJobB_14>=1)&&(P_1727.P_1727_0>=1)))||((D135.QueueJobB_35>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D121.QueueJobB_21>=1)&&(P_1727.P_1727_0>=1)))||((D145.QueueJobB_45>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D12.QueueJobB_2>=1)&&(P_1727.P_1727_0>=1)))||((D111.QueueJobB_11>=1)&&(P_1727.P_1727_0>=1)))||((D130.QueueJobB_30>=1)&&(P_1727.P_1727_0>=1)))||((D155.QueueJobB_55>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D136.QueueJobB_36>=1)&&(P_1727.P_1727_0>=1)))||((D137.QueueJobB_37>=1)&&(P_1727.P_1727_0>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D154.QueueJobB_54>=1)&&(P_1727.P_1727_0>=1)))||((D13.QueueJobB_3>=1)&&(P_1727.P_1727_0>=1)))||((D120.QueueJobB_20>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D146.QueueJobB_46>=1)&&(P_1727.P_1727_0>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||((D129.QueueJobB_29>=1)&&(P_1727.P_1727_0>=1)))||((D112.QueueJobB_12>=1)&&(P_1727.P_1727_0>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(Threads4.ScheduleTaskE_Idle_4>=1))||((D148.QueueJobB_48>=1)&&(P_1727.P_1727_0>=1)))||((D19.QueueJobB_9>=1)&&(P_1727.P_1727_0>=1)))||((D138.QueueJobB_38>=1)&&(P_1727.P_1727_0>=1)))||((D128.QueueJobB_28>=1)&&(P_1727.P_1727_0>=1)))||((D119.QueueJobB_19>=1)&&(P_1727.P_1727_0>=1)))||((D10.QueueJobB_0>=1)&&(P_1727.P_1727_0>=1)))||((D149.QueueJobB_49>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D110.QueueJobB_10>=1)&&(P_1727.P_1727_0>=1)))||((D147.QueueJobB_47>=1)&&(P_1727.P_1727_0>=1)))||((D127.QueueJobB_27>=1)&&(P_1727.P_1727_0>=1)))||((D11.QueueJobB_1>=1)&&(P_1727.P_1727_0>=1)))||((D118.QueueJobB_18>=1)&&(P_1727.P_1727_0>=1)))||((D139.QueueJobB_39>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D126.QueueJobB_26>=1)&&(P_1727.P_1727_0>=1)))||((D131.QueueJobB_31>=1)&&(P_1727.P_1727_0>=1)))||((D141.QueueJobB_41>=1)&&(P_1727.P_1727_0>=1)))||((D16.QueueJobB_6>=1)&&(P_1727.P_1727_0>=1)))||((D17.QueueJobB_7>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D140.QueueJobB_40>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D117.QueueJobB_17>=1)&&(P_1727.P_1727_0>=1)))||((D132.QueueJobB_32>=1)&&(P_1727.P_1727_0>=1)))||((D151.QueueJobB_51>=1)&&(P_1727.P_1727_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((D115.QueueJobB_15>=1)&&(P_1727.P_1727_0>=1)))||((D18.QueueJobB_8>=1)&&(P_1727.P_1727_0>=1)))||((D142.QueueJobB_42>=1)&&(P_1727.P_1727_0>=1)))||((D125.QueueJobB_25>=1)&&(P_1727.P_1727_0>=1)))||(Threads1.ScheduleTaskE_Idle_1>=1))||(Threads3.ScheduleTaskE_Idle_3>=1))||(Threads5.ScheduleTaskE_Idle_5>=1))||((D150.QueueJobB_50>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D116.QueueJobB_16>=1)&&(P_1727.P_1727_0>=1)))||((D133.QueueJobB_33>=1)&&(P_1727.P_1727_0>=1)))&&(((((((((((((((((((((((((((((((((PollingAbort.PollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))||((PollingAbort.PollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1)))||((Threads4.TryAllocateOneTaskE_4>=1)&&(Threads4.P_2318_4>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1)))||(Threads7.P_1158_7>=2))||((Threads0.TryAllocateOneTaskE_0>=1)&&(Threads0.P_2318_0>=1)))||((Threads5.TryAllocateOneTaskE_5>=1)&&(Threads5.P_2318_5>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1)))||(Threads4.NotifyEventJobCompletedB_4>=1))||(Threads5.NotifyEventJobCompletedB_5>=1))||(Threads6.NotifyEventJobCompletedB_6>=1))||(Threads7.NotifyEventJobCompletedB_7>=1))||((Threads1.TryAllocateOneTaskE_1>=1)&&(Threads1.P_2318_1>=1)))||((Threads2.TryAllocateOneTaskE_2>=1)&&(Threads2.P_2318_2>=1)))||((Threads7.TryAllocateOneTaskE_7>=1)&&(Threads7.P_2318_7>=1)))||(Threads0.NotifyEventJobCompletedB_0>=1))||(Threads1.NotifyEventJobCompletedB_1>=1))||(Threads2.NotifyEventJobCompletedB_2>=1))||(Threads3.NotifyEventJobCompletedB_3>=1))||((Threads3.TryAllocateOneTaskE_3>=1)&&(Threads3.P_2318_3>=1)))||((Threads6.TryAllocateOneTaskE_6>=1)&&(Threads6.P_2318_6>=1)))||(Threads6.P_1158_6>=2))||(Threads5.P_1158_5>=2))||(Threads4.P_1158_4>=2))||(Threads3.P_1158_3>=2))||(Threads2.P_1158_2>=2))||(Threads1.P_1158_1>=2))||(Threads0.P_1158_0>=2)))) U (!(!(EG(!((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Threads1.IdleTasks_1>=1)&&(Threads5.TryAllocateOneTaskB_5>=1))||(D114.FetchJobE_14>=1))||((Threads6.IdleTasks_6>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D110.FetchJobE_10>=1))||(D122.FetchJobE_22>=1))||((Threads0.IdleTasks_0>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D118.FetchJobE_18>=1))||((Threads6.IdleTasks_6>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||(D130.FetchJobE_30>=1))||(D126.FetchJobE_26>=1))||((Threads0.IdleTasks_0>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D138.FetchJobE_38>=1))||((Threads5.IdleTasks_5>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads1.IdleTasks_1>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D134.FetchJobE_34>=1))||((Threads5.IdleTasks_5>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D146.FetchJobE_46>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D40.DisablePollingB_0>=1)))||(D142.FetchJobE_42>=1))||(D154.FetchJobE_54>=1))||((Threads4.IdleTasks_4>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D150.FetchJobE_50>=1))||((Threads4.IdleTasks_4>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D412.DisablePollingB_12>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D15.FetchJobE_5>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D44.DisablePollingB_4>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||(D11.FetchJobE_1>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D48.DisablePollingB_8>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(Threads4.ScheduleTaskE_Idle_4>=1))||(D113.FetchJobE_13>=1))||((Threads1.IdleTasks_1>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D19.FetchJobE_9>=1))||(D121.FetchJobE_21>=1))||((Threads0.IdleTasks_0>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D117.FetchJobE_17>=1))||((Threads6.IdleTasks_6>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D129.FetchJobE_29>=1))||((Threads5.IdleTasks_5>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D125.FetchJobE_25>=1))||((Threads0.IdleTasks_0>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D137.FetchJobE_37>=1))||(D133.FetchJobE_33>=1))||((Threads1.IdleTasks_1>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads5.IdleTasks_5>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D145.FetchJobE_45>=1))||(D141.FetchJobE_41>=1))||(D153.FetchJobE_53>=1))||((Threads4.IdleTasks_4>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D149.FetchJobE_49>=1))||((Threads4.IdleTasks_4>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((Threads7.IdleTasks_7>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D49.DisablePollingB_9>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D10.FetchJobE_0>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D413.DisablePollingB_13>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D41.DisablePollingB_1>=1)))||(D18.FetchJobE_8>=1))||((Threads3.IdleTasks_3>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(Threads3.ScheduleTaskE_Idle_3>=1))||((Threads7.IdleTasks_7>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D45.DisablePollingB_5>=1)))||(D14.FetchJobE_4>=1))||((Threads3.IdleTasks_3>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads1.IdleTasks_1>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D116.FetchJobE_16>=1))||((Threads1.IdleTasks_1>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D112.FetchJobE_12>=1))||((Threads0.IdleTasks_0>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D124.FetchJobE_24>=1))||((Threads6.IdleTasks_6>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(D120.FetchJobE_20>=1))||((Threads6.IdleTasks_6>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D132.FetchJobE_32>=1))||((Threads0.IdleTasks_0>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D128.FetchJobE_28>=1))||((Threads5.IdleTasks_5>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||(D140.FetchJobE_40>=1))||((Threads5.IdleTasks_5>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D136.FetchJobE_36>=1))||(D148.FetchJobE_48>=1))||(D144.FetchJobE_44>=1))||((Threads4.IdleTasks_4>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||((Threads4.IdleTasks_4>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D152.FetchJobE_52>=1))||((Threads2.IdleTasks_2>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||((Threads7.IdleTasks_7>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D410.DisablePollingB_10>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D414.DisablePollingB_14>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||((((CanInjectEvent.CanInjectEvent_0>=1)&&(Sources1.DataOnSrc_1>=1))&&(Sources1.PlaceSources_1>=1))&&(cSources.cSources_0>=1)))||(D17.FetchJobE_7>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D42.DisablePollingB_2>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(D13.FetchJobE_3>=1))||((Threads7.IdleTasks_7>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D46.DisablePollingB_6>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads7.TryAllocateOneTaskB_7>=1)))||(D115.FetchJobE_15>=1))||((Threads1.IdleTasks_1>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(D111.FetchJobE_11>=1))||(D123.FetchJobE_23>=1))||((Threads0.IdleTasks_0>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads6.IdleTasks_6>=1)&&(Threads3.TryAllocateOneTaskB_3>=1)))||(D119.FetchJobE_19>=1))||(D131.FetchJobE_31>=1))||(D127.FetchJobE_27>=1))||((Threads0.IdleTasks_0>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((Threads5.IdleTasks_5>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||(D139.FetchJobE_39>=1))||((Threads5.IdleTasks_5>=1)&&(Threads5.TryAllocateOneTaskB_5>=1)))||(D135.FetchJobE_35>=1))||((Threads1.IdleTasks_1>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||((Threads3.IdleTasks_3>=1)&&(Threads0.TryAllocateOneTaskB_0>=1)))||(D147.FetchJobE_47>=1))||(D143.FetchJobE_43>=1))||(D155.FetchJobE_55>=1))||((Threads4.IdleTasks_4>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||(D151.FetchJobE_51>=1))||((Threads4.IdleTasks_4>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D411.DisablePollingB_11>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads2.TryAllocateOneTaskB_2>=1)))||((Threads7.IdleTasks_7>=1)&&(Threads1.TryAllocateOneTaskB_1>=1)))||((((CanInjectEvent.CanInjectEvent_0>=1)&&(Sources0.DataOnSrc_0>=1))&&(Sources0.PlaceSources_0>=1))&&(cSources.cSources_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D415.DisablePollingB_15>=1)))||((Threads2.IdleTasks_2>=1)&&(Threads6.TryAllocateOneTaskB_6>=1)))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D43.DisablePollingB_3>=1)))||(D16.FetchJobE_6>=1))||(Threads1.ScheduleTaskE_Idle_1>=1))||((cBlockedTasks.cBlockedTasks_0>=10)&&(D47.DisablePollingB_7>=1)))||(D12.FetchJobE_2>=1))||((Threads3.IdleTasks_3>=1)&&(Threads4.TryAllocateOneTaskB_4>=1)))||(Threads5.ScheduleTaskE_Idle_5>=1))||((Threads7.IdleTasks_7>=1)&&(Threads5.TryAllocateOneTaskB_5>=1))))))) * !(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((D14.QueueJobB_4>=1)&&(P_1727.P_1727_0>=1))||((D153.QueueJobB_53>=1)&&(P_1727.P_1727_0>=1)))||((D143.QueueJobB_43>=1)&&(P_1727.P_1727_0>=1)))||((D124.QueueJobB_24>=1)&&(P_1727.P_1727_0>=1)))||((D123.QueueJobB_23>=1)&&(P_1727.P_1727_0>=1)))||((D113.QueueJobB_13>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D134.QueueJobB_34>=1)&&(P_1727.P_1727_0>=1)))||((D144.QueueJobB_44>=1)&&(P_1727.P_1727_0>=1)))||((D122.QueueJobB_22>=1)&&(P_1727.P_1727_0>=1)))||((D15.QueueJobB_5>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D152.QueueJobB_52>=1)&&(P_1727.P_1727_0>=1)))||((D114.QueueJobB_14>=1)&&(P_1727.P_1727_0>=1)))||((D135.QueueJobB_35>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D121.QueueJobB_21>=1)&&(P_1727.P_1727_0>=1)))||((D145.QueueJobB_45>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D12.QueueJobB_2>=1)&&(P_1727.P_1727_0>=1)))||((D111.QueueJobB_11>=1)&&(P_1727.P_1727_0>=1)))||((D130.QueueJobB_30>=1)&&(P_1727.P_1727_0>=1)))||((D155.QueueJobB_55>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D136.QueueJobB_36>=1)&&(P_1727.P_1727_0>=1)))||((D137.QueueJobB_37>=1)&&(P_1727.P_1727_0>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D154.QueueJobB_54>=1)&&(P_1727.P_1727_0>=1)))||((D13.QueueJobB_3>=1)&&(P_1727.P_1727_0>=1)))||((D120.QueueJobB_20>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D146.QueueJobB_46>=1)&&(P_1727.P_1727_0>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||((D129.QueueJobB_29>=1)&&(P_1727.P_1727_0>=1)))||((D112.QueueJobB_12>=1)&&(P_1727.P_1727_0>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(Threads4.ScheduleTaskE_Idle_4>=1))||((D148.QueueJobB_48>=1)&&(P_1727.P_1727_0>=1)))||((D19.QueueJobB_9>=1)&&(P_1727.P_1727_0>=1)))||((D138.QueueJobB_38>=1)&&(P_1727.P_1727_0>=1)))||((D128.QueueJobB_28>=1)&&(P_1727.P_1727_0>=1)))||((D119.QueueJobB_19>=1)&&(P_1727.P_1727_0>=1)))||((D10.QueueJobB_0>=1)&&(P_1727.P_1727_0>=1)))||((D149.QueueJobB_49>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D110.QueueJobB_10>=1)&&(P_1727.P_1727_0>=1)))||((D147.QueueJobB_47>=1)&&(P_1727.P_1727_0>=1)))||((D127.QueueJobB_27>=1)&&(P_1727.P_1727_0>=1)))||((D11.QueueJobB_1>=1)&&(P_1727.P_1727_0>=1)))||((D118.QueueJobB_18>=1)&&(P_1727.P_1727_0>=1)))||((D139.QueueJobB_39>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D126.QueueJobB_26>=1)&&(P_1727.P_1727_0>=1)))||((D131.QueueJobB_31>=1)&&(P_1727.P_1727_0>=1)))||((D141.QueueJobB_41>=1)&&(P_1727.P_1727_0>=1)))||((D16.QueueJobB_6>=1)&&(P_1727.P_1727_0>=1)))||((D17.QueueJobB_7>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D140.QueueJobB_40>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D117.QueueJobB_17>=1)&&(P_1727.P_1727_0>=1)))||((D132.QueueJobB_32>=1)&&(P_1727.P_1727_0>=1)))||((D151.QueueJobB_51>=1)&&(P_1727.P_1727_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((D115.QueueJobB_15>=1)&&(P_1727.P_1727_0>=1)))||((D18.QueueJobB_8>=1)&&(P_1727.P_1727_0>=1)))||((D142.QueueJobB_42>=1)&&(P_1727.P_1727_0>=1)))||((D125.QueueJobB_25>=1)&&(P_1727.P_1727_0>=1)))||(Threads1.ScheduleTaskE_Idle_1>=1))||(Threads3.ScheduleTaskE_Idle_3>=1))||(Threads5.ScheduleTaskE_Idle_5>=1))||((D150.QueueJobB_50>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D116.QueueJobB_16>=1)&&(P_1727.P_1727_0>=1)))||((D133.QueueJobB_33>=1)&&(P_1727.P_1727_0>=1)))&&(((((((((((((((((((((((((((((((((PollingAbort.PollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))||((PollingAbort.PollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1)))||((Threads4.TryAllocateOneTaskE_4>=1)&&(Threads4.P_2318_4>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1)))||(Threads7.P_1158_7>=2))||((Threads0.TryAllocateOneTaskE_0>=1)&&(Threads0.P_2318_0>=1)))||((Threads5.TryAllocateOneTaskE_5>=1)&&(Threads5.P_2318_5>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1)))||(Threads4.NotifyEventJobCompletedB_4>=1))||(Threads5.NotifyEventJobCompletedB_5>=1))||(Threads6.NotifyEventJobCompletedB_6>=1))||(Threads7.NotifyEventJobCompletedB_7>=1))||((Threads1.TryAllocateOneTaskE_1>=1)&&(Threads1.P_2318_1>=1)))||((Threads2.TryAllocateOneTaskE_2>=1)&&(Threads2.P_2318_2>=1)))||((Threads7.TryAllocateOneTaskE_7>=1)&&(Threads7.P_2318_7>=1)))||(Threads0.NotifyEventJobCompletedB_0>=1))||(Threads1.NotifyEventJobCompletedB_1>=1))||(Threads2.NotifyEventJobCompletedB_2>=1))||(Threads3.NotifyEventJobCompletedB_3>=1))||((Threads3.TryAllocateOneTaskE_3>=1)&&(Threads3.P_2318_3>=1)))||((Threads6.TryAllocateOneTaskE_6>=1)&&(Threads6.P_2318_6>=1)))||(Threads6.P_1158_6>=2))||(Threads5.P_1158_5>=2))||(Threads4.P_1158_4>=2))||(Threads3.P_1158_3>=2))||(Threads2.P_1158_2>=2))||(Threads1.P_1158_1>=2))||(Threads0.P_1158_0>=2)))))) + EG(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((D14.QueueJobB_4>=1)&&(P_1727.P_1727_0>=1))||((D153.QueueJobB_53>=1)&&(P_1727.P_1727_0>=1)))||((D143.QueueJobB_43>=1)&&(P_1727.P_1727_0>=1)))||((D124.QueueJobB_24>=1)&&(P_1727.P_1727_0>=1)))||((D123.QueueJobB_23>=1)&&(P_1727.P_1727_0>=1)))||((D113.QueueJobB_13>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D134.QueueJobB_34>=1)&&(P_1727.P_1727_0>=1)))||((D144.QueueJobB_44>=1)&&(P_1727.P_1727_0>=1)))||((D122.QueueJobB_22>=1)&&(P_1727.P_1727_0>=1)))||((D15.QueueJobB_5>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D152.QueueJobB_52>=1)&&(P_1727.P_1727_0>=1)))||((D114.QueueJobB_14>=1)&&(P_1727.P_1727_0>=1)))||((D135.QueueJobB_35>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D121.QueueJobB_21>=1)&&(P_1727.P_1727_0>=1)))||((D145.QueueJobB_45>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D12.QueueJobB_2>=1)&&(P_1727.P_1727_0>=1)))||((D111.QueueJobB_11>=1)&&(P_1727.P_1727_0>=1)))||((D130.QueueJobB_30>=1)&&(P_1727.P_1727_0>=1)))||((D155.QueueJobB_55>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D136.QueueJobB_36>=1)&&(P_1727.P_1727_0>=1)))||((D137.QueueJobB_37>=1)&&(P_1727.P_1727_0>=1)))||(Threads6.ScheduleTaskE_Idle_6>=1))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D154.QueueJobB_54>=1)&&(P_1727.P_1727_0>=1)))||((D13.QueueJobB_3>=1)&&(P_1727.P_1727_0>=1)))||((D120.QueueJobB_20>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D146.QueueJobB_46>=1)&&(P_1727.P_1727_0>=1)))||(Threads0.ScheduleTaskE_Idle_0>=1))||((D129.QueueJobB_29>=1)&&(P_1727.P_1727_0>=1)))||((D112.QueueJobB_12>=1)&&(P_1727.P_1727_0>=1)))||(Threads2.ScheduleTaskE_Idle_2>=1))||(Threads4.ScheduleTaskE_Idle_4>=1))||((D148.QueueJobB_48>=1)&&(P_1727.P_1727_0>=1)))||((D19.QueueJobB_9>=1)&&(P_1727.P_1727_0>=1)))||((D138.QueueJobB_38>=1)&&(P_1727.P_1727_0>=1)))||((D128.QueueJobB_28>=1)&&(P_1727.P_1727_0>=1)))||((D119.QueueJobB_19>=1)&&(P_1727.P_1727_0>=1)))||((D10.QueueJobB_0>=1)&&(P_1727.P_1727_0>=1)))||((D149.QueueJobB_49>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads7.Check_Sources_B_7>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads3.Check_Sources_B_3>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D110.QueueJobB_10>=1)&&(P_1727.P_1727_0>=1)))||((D147.QueueJobB_47>=1)&&(P_1727.P_1727_0>=1)))||((D127.QueueJobB_27>=1)&&(P_1727.P_1727_0>=1)))||((D11.QueueJobB_1>=1)&&(P_1727.P_1727_0>=1)))||((D118.QueueJobB_18>=1)&&(P_1727.P_1727_0>=1)))||((D139.QueueJobB_39>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads0.Check_Sources_B_0>=1))&&(Sources1.ModifiedSrc_1>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads4.Check_Sources_B_4>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D126.QueueJobB_26>=1)&&(P_1727.P_1727_0>=1)))||((D131.QueueJobB_31>=1)&&(P_1727.P_1727_0>=1)))||((D141.QueueJobB_41>=1)&&(P_1727.P_1727_0>=1)))||((D16.QueueJobB_6>=1)&&(P_1727.P_1727_0>=1)))||((D17.QueueJobB_7>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads5.Check_Sources_B_5>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D140.QueueJobB_40>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads1.Check_Sources_B_1>=1))&&(Sources0.ModifiedSrc_0>=1)))||((D117.QueueJobB_17>=1)&&(P_1727.P_1727_0>=1)))||((D132.QueueJobB_32>=1)&&(P_1727.P_1727_0>=1)))||((D151.QueueJobB_51>=1)&&(P_1727.P_1727_0>=1)))||(Threads7.ScheduleTaskE_Idle_7>=1))||((D115.QueueJobB_15>=1)&&(P_1727.P_1727_0>=1)))||((D18.QueueJobB_8>=1)&&(P_1727.P_1727_0>=1)))||((D142.QueueJobB_42>=1)&&(P_1727.P_1727_0>=1)))||((D125.QueueJobB_25>=1)&&(P_1727.P_1727_0>=1)))||(Threads1.ScheduleTaskE_Idle_1>=1))||(Threads3.ScheduleTaskE_Idle_3>=1))||(Threads5.ScheduleTaskE_Idle_5>=1))||((D150.QueueJobB_50>=1)&&(P_1727.P_1727_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads2.Check_Sources_B_2>=1))&&(Sources0.ModifiedSrc_0>=1)))||(((CanInjectEvent.CanInjectEvent_0>=1)&&(Threads6.Check_Sources_B_6>=1))&&(Sources1.ModifiedSrc_1>=1)))||((D116.QueueJobB_16>=1)&&(P_1727.P_1727_0>=1)))||((D133.QueueJobB_33>=1)&&(P_1727.P_1727_0>=1)))&&(((((((((((((((((((((((((((((((((PollingAbort.PollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))||((PollingAbort.PollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1)))||((Threads4.TryAllocateOneTaskE_4>=1)&&(Threads4.P_2318_4>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1)))||(Threads7.P_1158_7>=2))||((Threads0.TryAllocateOneTaskE_0>=1)&&(Threads0.P_2318_0>=1)))||((Threads5.TryAllocateOneTaskE_5>=1)&&(Threads5.P_2318_5>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1)))||((PollingAbort.PollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1)))||(Threads4.NotifyEventJobCompletedB_4>=1))||(Threads5.NotifyEventJobCompletedB_5>=1))||(Threads6.NotifyEventJobCompletedB_6>=1))||(Threads7.NotifyEventJobCompletedB_7>=1))||((Threads1.TryAllocateOneTaskE_1>=1)&&(Threads1.P_2318_1>=1)))||((Threads2.TryAllocateOneTaskE_2>=1)&&(Threads2.P_2318_2>=1)))||((Threads7.TryAllocateOneTaskE_7>=1)&&(Threads7.P_2318_7>=1)))||(Threads0.NotifyEventJobCompletedB_0>=1))||(Threads1.NotifyEventJobCompletedB_1>=1))||(Threads2.NotifyEventJobCompletedB_2>=1))||(Threads3.NotifyEventJobCompletedB_3>=1))||((Threads3.TryAllocateOneTaskE_3>=1)&&(Threads3.P_2318_3>=1)))||((Threads6.TryAllocateOneTaskE_6>=1)&&(Threads6.P_2318_6>=1)))||(Threads6.P_1158_6>=2))||(Threads5.P_1158_5>=2))||(Threads4.P_1158_4>=2))||(Threads3.P_1158_3>=2))||(Threads2.P_1158_2>=2))||(Threads1.P_1158_1>=2))||(Threads0.P_1158_0>=2))))))) * (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources0.ModifiedSrc_0<1))&&((D610.CreatedJobs_10<1)||(D140.ScheduleTaskE_Work_40<1)))&&((D611.CreatedJobs_11<1)||(D154.ScheduleTaskE_Work_54<1)))&&((D63.CreatedJobs_3<1)||(D115.ScheduleTaskE_Work_15<1)))&&((D69.CreatedJobs_9<1)||(D118.ScheduleTaskE_Work_18<1)))&&((D123.QueueJobB_23<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads7.Check_Sources_B_7<1))||(Sources0.ModifiedSrc_0<1)))&&((D62.CreatedJobs_2<1)||(D150.ScheduleTaskE_Work_50<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D40.DisablePollingB_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads3.Check_Sources_B_3<1))||(Sources1.ModifiedSrc_1<1)))&&((D134.QueueJobB_34<1)||(P_1727.P_1727_0<1)))&&(Threads0.QueueJobE_0<1))&&((D15.QueueJobB_5<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D128.ScheduleTaskE_Work_28<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources1.ModifiedSrc_1<1)))&&((D611.CreatedJobs_11<1)||(D15.ScheduleTaskE_Work_5<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads0.Check_Sources_B_0<1))||(Sources0.ModifiedSrc_0<1)))&&((D152.QueueJobB_52<1)||(P_1727.P_1727_0<1)))&&((D62.CreatedJobs_2<1)||(D11.ScheduleTaskE_Work_1<1)))&&((D64.CreatedJobs_4<1)||(D137.ScheduleTaskE_Work_37<1)))&&((D68.CreatedJobs_8<1)||(D153.ScheduleTaskE_Work_53<1)))&&((D145.QueueJobB_45<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D138.ScheduleTaskE_Work_38<1)))&&((D60.CreatedJobs_0<1)||(D114.ScheduleTaskE_Work_14<1)))&&((D130.QueueJobB_30<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D124.ScheduleTaskE_Work_24<1)))&&((D612.CreatedJobs_12<1)||(D127.ScheduleTaskE_Work_27<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D48.DisablePollingB_8<1)))&&((Threads3.TryAllocateOneTaskE_3<1)||(Threads3.P_2318_3<1)))&&((D68.CreatedJobs_8<1)||(D14.ScheduleTaskE_Work_4<1)))&&((D112.QueueJobB_12<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads7.P_1113_7<1)))&&((D69.CreatedJobs_9<1)||(D125.ScheduleTaskE_Work_25<1)))&&((D68.CreatedJobs_8<1)||(D111.ScheduleTaskE_Work_11<1)))&&((D63.CreatedJobs_3<1)||(D18.ScheduleTaskE_Work_8<1)))&&((D138.QueueJobB_38<1)||(P_1727.P_1727_0<1)))&&((Threads2.TryAllocateOneTaskB_2<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D64.CreatedJobs_4<1)||(D130.ScheduleTaskE_Work_30<1)))&&((D65.CreatedJobs_5<1)||(D144.ScheduleTaskE_Work_44<1)))&&((D611.CreatedJobs_11<1)||(D147.ScheduleTaskE_Work_47<1)))&&((D119.QueueJobB_19<1)||(P_1727.P_1727_0<1)))&&((D149.QueueJobB_49<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads7.Check_Sources_B_7<1))||(Sources1.ModifiedSrc_1<1)))&&((D61.CreatedJobs_1<1)||(D135.ScheduleTaskE_Work_35<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D41.DisablePollingB_1<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads3.Check_Sources_B_3<1))||(Sources0.ModifiedSrc_0<1)))&&((D60.CreatedJobs_0<1)||(D121.ScheduleTaskE_Work_21<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources1.ModifiedSrc_1<1)))&&((D613.CreatedJobs_13<1)||(D134.ScheduleTaskE_Work_34<1)))&&(Threads7.QueueJobE_7<1))&&((D11.QueueJobB_1<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads0.Check_Sources_B_0<1))||(Sources1.ModifiedSrc_1<1)))&&((D126.QueueJobB_26<1)||(P_1727.P_1727_0<1)))&&((D131.QueueJobB_31<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources0.ModifiedSrc_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources1.ModifiedSrc_1<1)))&&((D115.QueueJobB_15<1)||(P_1727.P_1727_0<1)))&&((D18.QueueJobB_8<1)||(P_1727.P_1727_0<1)))&&((D612.CreatedJobs_12<1)||(D120.ScheduleTaskE_Work_20<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D49.DisablePollingB_9<1)))&&((D142.QueueJobB_42<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D131.ScheduleTaskE_Work_31<1)))&&((Threads6.TryAllocateOneTaskB_6<1)||(cIdleTasks.cIdleTasks_0<2)))&&((P_1093.P_1093_0<1)||(Threads6.P_1113_6<1)))&&((D65.CreatedJobs_5<1)||(D137.ScheduleTaskE_Work_37<1)))&&((D153.QueueJobB_53<1)||(P_1727.P_1727_0<1)))&&((D64.CreatedJobs_4<1)||(D123.ScheduleTaskE_Work_23<1)))&&((D124.QueueJobB_24<1)||(P_1727.P_1727_0<1)))&&((D68.CreatedJobs_8<1)||(D118.ScheduleTaskE_Work_18<1)))&&((D63.CreatedJobs_3<1)||(D11.ScheduleTaskE_Work_1<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources0.ModifiedSrc_0<1)))&&((D67.CreatedJobs_7<1)||(D145.ScheduleTaskE_Work_45<1)))&&((D144.QueueJobB_44<1)||(P_1727.P_1727_0<1)))&&((Threads0.TryAllocateOneTaskE_0<1)||(Threads0.P_2318_0<1)))&&((Threads5.TryAllocateOneTaskE_5<1)||(Threads5.P_2318_5<1)))&&(Threads6.QueueJobE_6<1))&&((D63.CreatedJobs_3<1)||(D150.ScheduleTaskE_Work_50<1)))&&((D69.CreatedJobs_9<1)||(D132.ScheduleTaskE_Work_32<1)))&&((D135.QueueJobB_35<1)||(P_1727.P_1727_0<1)))&&((D611.CreatedJobs_11<1)||(D119.ScheduleTaskE_Work_19<1)))&&((D61.CreatedJobs_1<1)||(D114.ScheduleTaskE_Work_14<1)))&&((D613.CreatedJobs_13<1)||(D148.ScheduleTaskE_Work_48<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources1.ModifiedSrc_1<1)))&&((D12.QueueJobB_2<1)||(P_1727.P_1727_0<1)))&&((D111.QueueJobB_11<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources0.ModifiedSrc_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D42.DisablePollingB_2<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads2.Check_Sources_B_2<1))||(Sources1.ModifiedSrc_1<1)))&&((D120.QueueJobB_20<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads5.P_1113_5<1)))&&((Threads6.TryAllocateOneTaskE_6<1)||(Threads6.P_2318_6<1)))&&((D62.CreatedJobs_2<1)||(D143.ScheduleTaskE_Work_43<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D410.DisablePollingB_10<1)))&&((D610.CreatedJobs_10<1)||(D147.ScheduleTaskE_Work_47<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads6.Check_Sources_B_6<1))||(Sources0.ModifiedSrc_0<1)))&&((D129.QueueJobB_29<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D138.ScheduleTaskE_Work_38<1)))&&((D60.CreatedJobs_0<1)||(D10.ScheduleTaskE_Work_0<1)))&&((D148.QueueJobB_48<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D13.ScheduleTaskE_Work_3<1)))&&((D65.CreatedJobs_5<1)||(D130.ScheduleTaskE_Work_30<1)))&&((D64.CreatedJobs_4<1)||(D116.ScheduleTaskE_Work_16<1)))&&((D68.CreatedJobs_8<1)||(D125.ScheduleTaskE_Work_25<1)))&&((Threads3.TryAllocateOneTaskB_3<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D69.CreatedJobs_9<1)||(D139.ScheduleTaskE_Work_39<1)))&&(Threads5.QueueJobE_5<1))&&((D139.QueueJobB_39<1)||(P_1727.P_1727_0<1)))&&((D67.CreatedJobs_7<1)||(D152.ScheduleTaskE_Work_52<1)))&&((D61.CreatedJobs_1<1)||(D121.ScheduleTaskE_Work_21<1)))&&((D610.CreatedJobs_10<1)||(D15.ScheduleTaskE_Work_5<1)))&&((D612.CreatedJobs_12<1)||(D134.ScheduleTaskE_Work_34<1)))&&((D60.CreatedJobs_0<1)||(D17.ScheduleTaskE_Work_7<1)))&&((D17.QueueJobB_7<1)||(P_1727.P_1727_0<1)))&&((D613.CreatedJobs_13<1)||(D141.ScheduleTaskE_Work_41<1)))&&((D611.CreatedJobs_11<1)||(D112.ScheduleTaskE_Work_12<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D43.DisablePollingB_3<1)))&&((D610.CreatedJobs_10<1)||(D154.ScheduleTaskE_Work_54<1)))&&((P_1093.P_1093_0<1)||(Threads4.P_1113_4<1)))&&((D125.QueueJobB_25<1)||(P_1727.P_1727_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D411.DisablePollingB_11<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources1.ModifiedSrc_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads2.Check_Sources_B_2<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads6.Check_Sources_B_6<1))||(Sources1.ModifiedSrc_1<1)))&&((D62.CreatedJobs_2<1)||(D136.ScheduleTaskE_Work_36<1)))&&((D116.QueueJobB_16<1)||(P_1727.P_1727_0<1)))&&((D613.CreatedJobs_13<1)||(D113.ScheduleTaskE_Work_13<1)))&&((D66.CreatedJobs_6<1)||(D145.ScheduleTaskE_Work_45<1)))&&((D143.QueueJobB_43<1)||(P_1727.P_1727_0<1)))&&((D60.CreatedJobs_0<1)||(D142.ScheduleTaskE_Work_42<1)))&&((Threads7.TryAllocateOneTaskB_7<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D67.CreatedJobs_7<1)||(D110.ScheduleTaskE_Work_10<1)))&&((D612.CreatedJobs_12<1)||(D148.ScheduleTaskE_Work_48<1)))&&((D68.CreatedJobs_8<1)||(D132.ScheduleTaskE_Work_32<1)))&&(Threads4.QueueJobE_4<1))&&((D114.QueueJobB_14<1)||(P_1727.P_1727_0<1)))&&((D610.CreatedJobs_10<1)||(D112.ScheduleTaskE_Work_12<1)))&&((D65.CreatedJobs_5<1)||(D123.ScheduleTaskE_Work_23<1)))&&((D63.CreatedJobs_3<1)||(D143.ScheduleTaskE_Work_43<1)))&&((D62.CreatedJobs_2<1)||(D129.ScheduleTaskE_Work_29<1)))&&((D121.QueueJobB_21<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources1.ModifiedSrc_1<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads5.Check_Sources_B_5<1))||(Sources0.ModifiedSrc_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads1.Check_Sources_B_1<1))||(Sources1.ModifiedSrc_1<1)))&&((D136.QueueJobB_36<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D10.ScheduleTaskE_Work_0<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D44.DisablePollingB_4<1)))&&((D154.QueueJobB_54<1)||(P_1727.P_1727_0<1)))&&((D13.QueueJobB_3<1)||(P_1727.P_1727_0<1)))&&((D64.CreatedJobs_4<1)||(D19.ScheduleTaskE_Work_9<1)))&&((D611.CreatedJobs_11<1)||(D133.ScheduleTaskE_Work_33<1)))&&((P_1093.P_1093_0<1)||(Threads3.P_1113_3<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D412.DisablePollingB_12<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources0.ModifiedSrc_0<1)))&&((D66.CreatedJobs_6<1)||(D152.ScheduleTaskE_Work_52<1)))&&((D613.CreatedJobs_13<1)||(D16.ScheduleTaskE_Work_6<1)))&&((D128.QueueJobB_28<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources1.ModifiedSrc_1<1)))&&((D60.CreatedJobs_0<1)||(D149.ScheduleTaskE_Work_49<1)))&&((D110.QueueJobB_10<1)||(P_1727.P_1727_0<1)))&&((D147.QueueJobB_47<1)||(P_1727.P_1727_0<1)))&&((D66.CreatedJobs_6<1)||(D13.ScheduleTaskE_Work_3<1)))&&(Threads3.QueueJobE_3<1))&&((D65.CreatedJobs_5<1)||(D116.ScheduleTaskE_Work_16<1)))&&((D610.CreatedJobs_10<1)||(D119.ScheduleTaskE_Work_19<1)))&&((D612.CreatedJobs_12<1)||(D141.ScheduleTaskE_Work_41<1)))&&((D68.CreatedJobs_8<1)||(D139.ScheduleTaskE_Work_39<1)))&&((Threads4.TryAllocateOneTaskB_4<1)||(cIdleTasks.cIdleTasks_0<2)))&&((Threads2.TryAllocateOneTaskE_2<1)||(Threads2.P_2318_2<1)))&&((D16.QueueJobB_6<1)||(P_1727.P_1727_0<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads5.Check_Sources_B_5<1))||(Sources1.ModifiedSrc_1<1)))&&((D62.CreatedJobs_2<1)||(D122.ScheduleTaskE_Work_22<1)))&&((D140.QueueJobB_40<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D17.ScheduleTaskE_Work_7<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads1.Check_Sources_B_1<1))||(Sources0.ModifiedSrc_0<1)))&&((D64.CreatedJobs_4<1)||(D151.ScheduleTaskE_Work_51<1)))&&((D117.QueueJobB_17<1)||(P_1727.P_1727_0<1)))&&((D151.QueueJobB_51<1)||(P_1727.P_1727_0<1)))&&((D63.CreatedJobs_3<1)||(D136.ScheduleTaskE_Work_36<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D45.DisablePollingB_5<1)))&&((D69.CreatedJobs_9<1)||(D146.ScheduleTaskE_Work_46<1)))&&((D67.CreatedJobs_7<1)||(D117.ScheduleTaskE_Work_17<1)))&&((P_1093.P_1093_0<1)||(Threads2.P_1113_2<1)))&&((D611.CreatedJobs_11<1)||(D126.ScheduleTaskE_Work_26<1)))&&((D613.CreatedJobs_13<1)||(D155.ScheduleTaskE_Work_55<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D413.DisablePollingB_13<1)))&&((D64.CreatedJobs_4<1)||(D12.ScheduleTaskE_Work_2<1)))&&((D133.QueueJobB_33<1)||(P_1727.P_1727_0<1)))&&((D14.QueueJobB_4<1)||(P_1727.P_1727_0<1)))&&((D61.CreatedJobs_1<1)||(D142.ScheduleTaskE_Work_42<1)))&&((D113.QueueJobB_13<1)||(P_1727.P_1727_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources0.ModifiedSrc_0<1)))&&((D610.CreatedJobs_10<1)||(D126.ScheduleTaskE_Work_26<1)))&&((D611.CreatedJobs_11<1)||(D140.ScheduleTaskE_Work_40<1)))&&((D62.CreatedJobs_2<1)||(D115.ScheduleTaskE_Work_15<1)))&&((D122.QueueJobB_22<1)||(P_1727.P_1727_0<1)))&&(Threads2.QueueJobE_2<1))&&((D66.CreatedJobs_6<1)||(D110.ScheduleTaskE_Work_10<1)))&&((D60.CreatedJobs_0<1)||(D128.ScheduleTaskE_Work_28<1)))&&((D613.CreatedJobs_13<1)||(D127.ScheduleTaskE_Work_27<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads4.Check_Sources_B_4<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads1.TryAllocateOneTaskE_1<1)||(Threads1.P_2318_1<1)))&&((D155.QueueJobB_55<1)||(P_1727.P_1727_0<1)))&&((D65.CreatedJobs_5<1)||(D19.ScheduleTaskE_Work_9<1)))&&((D137.QueueJobB_37<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads1.P_1113_1<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D46.DisablePollingB_6<1)))&&((D69.CreatedJobs_9<1)||(D14.ScheduleTaskE_Work_4<1)))&&((D63.CreatedJobs_3<1)||(D129.ScheduleTaskE_Work_29<1)))&&((Threads1.TryAllocateOneTaskB_1<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D146.QueueJobB_46<1)||(P_1727.P_1727_0<1)))&&((D69.CreatedJobs_9<1)||(D153.ScheduleTaskE_Work_53<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D414.DisablePollingB_14<1)))&&((D612.CreatedJobs_12<1)||(D113.ScheduleTaskE_Work_13<1)))&&((D67.CreatedJobs_7<1)||(D124.ScheduleTaskE_Work_24<1)))&&((D61.CreatedJobs_1<1)||(D149.ScheduleTaskE_Work_49<1)))&&((D19.QueueJobB_9<1)||(P_1727.P_1727_0<1)))&&((D60.CreatedJobs_0<1)||(D135.ScheduleTaskE_Work_35<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources1.ModifiedSrc_1<1)))&&((D610.CreatedJobs_10<1)||(D133.ScheduleTaskE_Work_33<1)))&&((Threads4.TryAllocateOneTaskE_4<1)||(Threads4.P_2318_4<1)))&&((D612.CreatedJobs_12<1)||(D16.ScheduleTaskE_Work_6<1)))&&((D613.CreatedJobs_13<1)||(D120.ScheduleTaskE_Work_20<1)))&&((D612.CreatedJobs_12<1)||(D155.ScheduleTaskE_Work_55<1)))&&((D10.QueueJobB_0<1)||(P_1727.P_1727_0<1)))&&((D69.CreatedJobs_9<1)||(D111.ScheduleTaskE_Work_11<1)))&&(Threads1.QueueJobE_1<1))&&((D64.CreatedJobs_4<1)||(D144.ScheduleTaskE_Work_44<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources0.ModifiedSrc_0<1)))&&((D127.QueueJobB_27<1)||(P_1727.P_1727_0<1)))&&((Threads0.TryAllocateOneTaskB_0<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D118.QueueJobB_18<1)||(P_1727.P_1727_0<1)))&&((D62.CreatedJobs_2<1)||(D18.ScheduleTaskE_Work_8<1)))&&(((CanInjectEvent.CanInjectEvent_0<1)||(Threads4.Check_Sources_B_4<1))||(Sources0.ModifiedSrc_0<1)))&&((D67.CreatedJobs_7<1)||(D131.ScheduleTaskE_Work_31<1)))&&((D66.CreatedJobs_6<1)||(D117.ScheduleTaskE_Work_17<1)))&&((D68.CreatedJobs_8<1)||(D146.ScheduleTaskE_Work_46<1)))&&((D65.CreatedJobs_5<1)||(D12.ScheduleTaskE_Work_2<1)))&&((D141.QueueJobB_41<1)||(P_1727.P_1727_0<1)))&&((Threads7.TryAllocateOneTaskE_7<1)||(Threads7.P_2318_7<1)))&&((Threads5.TryAllocateOneTaskB_5<1)||(cIdleTasks.cIdleTasks_0<2)))&&((D132.QueueJobB_32<1)||(P_1727.P_1727_0<1)))&&((P_1093.P_1093_0<1)||(Threads0.P_1113_0<1)))&&((D65.CreatedJobs_5<1)||(D151.ScheduleTaskE_Work_51<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D47.DisablePollingB_7<1)))&&(((PollingAbort.PollingAbort_0<1)||(BlockedTasks.BlockedTasks_0<1))||(D415.DisablePollingB_15<1)))&&((D63.CreatedJobs_3<1)||(D122.ScheduleTaskE_Work_22<1)))&&((D150.QueueJobB_50<1)||(P_1727.P_1727_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads6.IdleTasks_6<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&(Threads6.Perform_Work_E_6<1))&&((Threads0.IdleTasks_0<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads6.IdleTasks_6<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&(Threads1.NotifyEventJobCompletedE_1<1))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads0.IdleTasks_0<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads5.IdleTasks_5<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((P_1095.P_1095_0<1)||(Threads1.P_1113_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources1.ModifiedSrc_1<1)))&&((P_1095.P_1095_0<1)||(Threads5.P_1113_5<1)))&&(Threads5.NotifyEventJobCompletedE_5<1))&&((Threads4.IdleTasks_4<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads4.IdleTasks_4<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads2.IdleTasks_2<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(Threads1.Perform_Work_E_1<1))&&((Threads2.IdleTasks_2<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&((Threads3.IdleTasks_3<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads1.IdleTasks_1<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads0.IdleTasks_0<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(Threads5.Perform_Work_E_5<1))&&((Threads6.IdleTasks_6<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads6.IdleTasks_6<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(Threads0.NotifyEventJobCompletedE_0<1))&&((Threads0.IdleTasks_0<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads1.IdleTasks_1<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads5.IdleTasks_5<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((P_1095.P_1095_0<1)||(Threads0.P_1113_0<1)))&&((P_1095.P_1095_0<1)||(Threads4.P_1113_4<1)))&&(Threads4.NotifyEventJobCompletedE_4<1))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads4.IdleTasks_4<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads4.IdleTasks_4<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads2.IdleTasks_2<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads7.IdleTasks_7<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads2.IdleTasks_2<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&(Threads0.Perform_Work_E_0<1))&&((Threads3.IdleTasks_3<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads7.IdleTasks_7<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads1.IdleTasks_1<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads1.IdleTasks_1<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(Threads4.Perform_Work_E_4<1))&&((Threads0.IdleTasks_0<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads6.IdleTasks_6<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&(((cSources.cSources_0<9)||(Threads5.ProcessingEvt_5<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads6.IdleTasks_6<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&(((cSources.cSources_0<9)||(Threads3.ProcessingEvt_3<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads0.IdleTasks_0<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(Threads3.NotifyEventJobCompletedE_3<1))&&((Threads5.IdleTasks_5<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads5.IdleTasks_5<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((P_1095.P_1095_0<1)||(Threads3.P_1113_3<1)))&&((Threads4.IdleTasks_4<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(((cSources.cSources_0<9)||(Threads1.ProcessingEvt_1<1))||(Sources1.ModifiedSrc_1<1)))&&((P_1095.P_1095_0<1)||(Threads7.P_1113_7<1)))&&(Threads7.NotifyEventJobCompletedE_7<1))&&((Threads4.IdleTasks_4<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&(((cSources.cSources_0<9)||(Threads7.ProcessingEvt_7<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads2.IdleTasks_2<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads7.IdleTasks_7<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads2.IdleTasks_2<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&(Threads3.Perform_Work_E_3<1))&&((Threads3.IdleTasks_3<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&((Threads3.IdleTasks_3<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&((Threads7.IdleTasks_7<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads6.IdleTasks_6<1)||(Threads7.TryAllocateOneTaskB_7<1)))&&(((cSources.cSources_0<9)||(Threads4.ProcessingEvt_4<1))||(Sources1.ModifiedSrc_1<1)))&&((Threads1.IdleTasks_1<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads0.IdleTasks_0<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&(Threads7.Perform_Work_E_7<1))&&((Threads6.IdleTasks_6<1)||(Threads3.TryAllocateOneTaskB_3<1)))&&(((cSources.cSources_0<9)||(Threads0.ProcessingEvt_0<1))||(Sources0.ModifiedSrc_0<1)))&&(Threads2.NotifyEventJobCompletedE_2<1))&&((Threads0.IdleTasks_0<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads5.IdleTasks_5<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads5.IdleTasks_5<1)||(Threads5.TryAllocateOneTaskB_5<1)))&&((Threads1.IdleTasks_1<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((Threads3.IdleTasks_3<1)||(Threads0.TryAllocateOneTaskB_0<1)))&&((P_1095.P_1095_0<1)||(Threads2.P_1113_2<1)))&&((P_1095.P_1095_0<1)||(Threads6.P_1113_6<1)))&&(Threads6.NotifyEventJobCompletedE_6<1))&&((Threads4.IdleTasks_4<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&((Threads4.IdleTasks_4<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads2.IdleTasks_2<1)||(Threads2.TryAllocateOneTaskB_2<1)))&&((Threads7.IdleTasks_7<1)||(Threads1.TryAllocateOneTaskB_1<1)))&&((Threads2.IdleTasks_2<1)||(Threads6.TryAllocateOneTaskB_6<1)))&&(Threads2.Perform_Work_E_2<1))&&(((cSources.cSources_0<9)||(Threads6.ProcessingEvt_6<1))||(Sources1.ModifiedSrc_1<1)))&&(((cSources.cSources_0<9)||(Threads2.ProcessingEvt_2<1))||(Sources0.ModifiedSrc_0<1)))&&((Threads3.IdleTasks_3<1)||(Threads4.TryAllocateOneTaskB_4<1)))&&((Threads7.IdleTasks_7<1)||(Threads5.TryAllocateOneTaskB_5<1))) + EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D42.P_2579_2>=1))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((D19.QueueJobB_9>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D138.QueueJobB_38>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D13.NotifyEventJobQueuedB_3>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D149.QueueJobB_49>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D40.DisablePollingB_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads5.ScheduleTaskE_Check_5>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads3.ScheduleTaskB_3>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D144.NotifyEventJobQueuedB_44>=1)))||((D127.QueueJobB_27>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads0.QueueJobE_0>=1))||((cJobCnt.cJobCnt_0>=1)&&(D152.NotifyEventJobQueuedB_52>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(Threads6.nyo_6>=1))||((cJobCnt.cJobCnt_0>=1)&&(D128.NotifyEventJobQueuedB_28>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D136.NotifyEventJobQueuedB_36>=1)))||((Threads3.Abort_Check_Sources_B_3>=1)&&(SigAbort.SigAbort_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D112.NotifyEventJobQueuedB_12>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||((D142.QueueJobB_42>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D48.DisablePollingB_8>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D410.P_2579_10>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D120.NotifyEventJobQueuedB_20>=1)))||((D116.QueueJobB_16>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D43.P_2579_3>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((Threads0.Abort_Check_Sources_B_0>=1)&&(SigAbort.SigAbort_0>=1)))||((D124.QueueJobB_24>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D12.NotifyEventJobQueuedB_2>=1)))||((D113.QueueJobB_13>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads7.ScheduleTaskB_7>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads6.ScheduleTaskE_Check_6>=1)))||((D134.QueueJobB_34>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D41.DisablePollingB_1>=1)))||(Threads5.nyo_5>=1))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D143.NotifyEventJobQueuedB_43>=1)))||(Threads7.QueueJobE_7>=1))||((cJobCnt.cJobCnt_0>=1)&&(D151.NotifyEventJobQueuedB_51>=1)))||((D152.QueueJobB_52>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D131.QueueJobB_31>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((Threads7.Abort_Check_Sources_B_7>=1)&&(SigAbort.SigAbort_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D127.NotifyEventJobQueuedB_27>=1)))||((D145.QueueJobB_45>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D135.NotifyEventJobQueuedB_35>=1)))||((D12.QueueJobB_2>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D111.NotifyEventJobQueuedB_11>=1)))||((D120.QueueJobB_20>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D49.DisablePollingB_9>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D411.P_2579_11>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D119.NotifyEventJobQueuedB_19>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads3.ScheduleTaskE_Check_3>=1)))||((D148.QueueJobB_48>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D44.P_2579_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D154.NotifyEventJobQueuedB_54>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D15.NotifyEventJobQueuedB_5>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(Threads4.nyo_4>=1))||((Threads6.Abort_Check_Sources_B_6>=1)&&(SigAbort.SigAbort_0>=1)))||((D139.QueueJobB_39>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D138.NotifyEventJobQueuedB_38>=1)))||(Threads6.QueueJobE_6>=1))||((cJobCnt.cJobCnt_0>=1)&&(D146.NotifyEventJobQueuedB_46>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||((D126.QueueJobB_26>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D122.NotifyEventJobQueuedB_22>=1)))||((D117.QueueJobB_17>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D130.NotifyEventJobQueuedB_30>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D42.DisablePollingB_2>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D16.NotifyEventJobQueuedB_6>=1)))||((D18.QueueJobB_8>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D410.DisablePollingB_10>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D412.P_2579_12>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D114.NotifyEventJobQueuedB_14>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads2.ScheduleTaskB_2>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads4.ScheduleTaskE_Check_4>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D45.P_2579_5>=1)))||((D153.QueueJobB_53>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D14.NotifyEventJobQueuedB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D145.NotifyEventJobQueuedB_45>=1)))||((Threads1.Abort_Check_Sources_B_1>=1)&&(SigAbort.SigAbort_0>=1)))||(Threads3.nyo_3>=1))||((D144.QueueJobB_44>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads5.QueueJobE_5>=1))||((cJobCnt.cJobCnt_0>=1)&&(D153.NotifyEventJobQueuedB_53>=1)))||((D135.QueueJobB_35>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D129.NotifyEventJobQueuedB_29>=1)))||((D121.QueueJobB_21>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D137.NotifyEventJobQueuedB_37>=1)))||((D130.QueueJobB_30>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D43.DisablePollingB_3>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads6.ScheduleTaskB_6>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D113.NotifyEventJobQueuedB_13>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D13.QueueJobB_3>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D411.DisablePollingB_11>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D121.NotifyEventJobQueuedB_21>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D413.P_2579_13>=1)))||((D112.QueueJobB_12>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads1.ScheduleTaskE_Check_1>=1)))||((D10.QueueJobB_0>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D147.QueueJobB_47>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((Threads5.Abort_Check_Sources_B_5>=1)&&(SigAbort.SigAbort_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(Threads2.nyo_2>=1))||((cJobCnt.cJobCnt_0>=1)&&(D140.NotifyEventJobQueuedB_40>=1)))||(Threads4.QueueJobE_4>=1))||((D118.QueueJobB_18>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D148.NotifyEventJobQueuedB_48>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D124.NotifyEventJobQueuedB_24>=1)))||((D17.QueueJobB_7>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D151.QueueJobB_51>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D140.QueueJobB_40>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads1.ScheduleTaskB_1>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D132.NotifyEventJobQueuedB_32>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D44.DisablePollingB_4>=1)))||((D125.QueueJobB_25>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D414.P_2579_14>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D18.NotifyEventJobQueuedB_8>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D412.DisablePollingB_12>=1)))||((D133.QueueJobB_33>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D46.P_2579_6>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D116.NotifyEventJobQueuedB_16>=1)))||((D143.QueueJobB_43>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D14.QueueJobB_4>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads2.ScheduleTaskE_Check_2>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D155.NotifyEventJobQueuedB_55>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(Threads1.nyo_1>=1))||((D122.QueueJobB_22>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads3.QueueJobE_3>=1))||((cJobCnt.cJobCnt_0>=1)&&(D139.NotifyEventJobQueuedB_39>=1)))||((Threads2.Abort_Check_Sources_B_2>=1)&&(SigAbort.SigAbort_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D147.NotifyEventJobQueuedB_47>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads5.ScheduleTaskB_5>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D123.NotifyEventJobQueuedB_23>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads2.FetchJobB_2>=1)))||((D136.QueueJobB_36>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D111.QueueJobB_11>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D131.NotifyEventJobQueuedB_31>=1)))||((D154.QueueJobB_54>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D45.DisablePollingB_5>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D415.P_2579_15>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D17.NotifyEventJobQueuedB_7>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((D129.QueueJobB_29>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D413.DisablePollingB_13>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D47.P_2579_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D115.NotifyEventJobQueuedB_15>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D40.P_2579_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads0.FetchJobB_0>=1)))||((D128.QueueJobB_28>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D119.QueueJobB_19>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads7.ScheduleTaskE_Check_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D11.NotifyEventJobQueuedB_1>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D142.NotifyEventJobQueuedB_42>=1)))||((D110.QueueJobB_10>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(Threads0.nyo_0>=1))||(Threads2.QueueJobE_2>=1))||((cJobCnt.cJobCnt_0>=1)&&(D150.NotifyEventJobQueuedB_50>=1)))||((D11.QueueJobB_1>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads4.ScheduleTaskB_4>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||(((cPollingAbort.cPollingAbort_0>=1)&&(Threads0.ScheduleTaskB_0>=1))&&(cIsMonitoring.cIsMonitoring_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D126.NotifyEventJobQueuedB_26>=1)))||((D16.QueueJobB_6>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D141.QueueJobB_41>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D134.NotifyEventJobQueuedB_34>=1)))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||((D115.QueueJobB_15>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((D132.QueueJobB_32>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D110.NotifyEventJobQueuedB_10>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D46.DisablePollingB_6>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D118.NotifyEventJobQueuedB_18>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D414.DisablePollingB_14>=1)))||((Threads4.Abort_Check_Sources_B_4>=1)&&(SigAbort.SigAbort_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D48.P_2579_8>=1)))||((D150.QueueJobB_50>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs1.P_1724_1>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((cBlockedTasks.cBlockedTasks_0>=1)&&(Threads0.ScheduleTaskE_Check_0>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D41.P_2579_1>=1)))||((D123.QueueJobB_23>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs6.P_1724_6>=1)&&(P_1717.P_1717_0>=1))&&(Threads7.FetchJobB_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D10.NotifyEventJobQueuedB_0>=1)))||(Threads1.QueueJobE_1>=1))||((cJobCnt.cJobCnt_0>=1)&&(D141.NotifyEventJobQueuedB_41>=1)))||((D15.QueueJobB_5>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((Jobs4.P_1724_4>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((D114.QueueJobB_14>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D149.NotifyEventJobQueuedB_49>=1)))||(Threads7.nyo_7>=1))||(((Jobs2.P_1724_2>=1)&&(P_1717.P_1717_0>=1))&&(Threads4.FetchJobB_4>=1)))||((D155.QueueJobB_55>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D125.NotifyEventJobQueuedB_25>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D133.NotifyEventJobQueuedB_33>=1)))||(((Jobs5.P_1724_5>=1)&&(P_1717.P_1717_0>=1))&&(Threads6.FetchJobB_6>=1)))||((D137.QueueJobB_37>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D47.DisablePollingB_7>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D19.NotifyEventJobQueuedB_9>=1)))||(((Jobs0.P_1724_0>=1)&&(P_1717.P_1717_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs3.P_1724_3>=1)&&(P_1717.P_1717_0>=1))&&(Threads5.FetchJobB_5>=1)))||((D146.QueueJobB_46>=1)&&(MarkerWrite.MarkerWrite_0>=1)))||(((PollingAbort.PollingAbort_0>=1)&&(BlockedTasks.BlockedTasks_0>=1))&&(D415.DisablePollingB_15>=1)))||(((cBlockedTasks.cBlockedTasks_0>=10)&&(ORB_Lock.ORB_Lock_0>=1))&&(D49.P_2579_9>=1)))||((cJobCnt.cJobCnt_0>=1)&&(D117.NotifyEventJobQueuedB_17>=1)))))))) * ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs2.P_1725_2>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads4.FetchJobB_4>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads6.FetchJobB_6>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs3.P_1725_3>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads3.FetchJobB_3>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads5.FetchJobB_5>=1)))||(((Jobs5.P_1725_5>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads0.FetchJobB_0>=1)))||(((Jobs0.P_1725_0>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs4.P_1725_4>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads1.FetchJobB_1>=1)))||(((Jobs6.P_1725_6>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads2.FetchJobB_2>=1)))||(((Jobs1.P_1725_1>=1)&&(MarkerRead.MarkerRead_0>=1))&&(Threads7.FetchJobB_7>=1)))||(((Jobs6.P_1725_6>=1)&&(M
java.io.IOException: Stream closed
at java.base/java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:176)
at java.base/java.io.BufferedInputStream.read(BufferedInputStream.java:342)
at java.base/sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at java.base/sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at java.base/sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.base/java.io.InputStreamReader.read(InputStreamReader.java:185)
at java.base/java.io.BufferedReader.fill(BufferedReader.java:161)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:326)
at java.base/java.io.BufferedReader.readLine(BufferedReader.java:392)
at fr.lip6.move.gal.application.ITSRunner$ITSInterpreter.run(ITSRunner.java:182)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-16 17:40:06] [INFO ] Flatten gal took : 454 ms
[2021-05-16 17:40:07] [INFO ] Input system was already deterministic with 1186 transitions.
[2021-05-16 17:40:07] [INFO ] Transformed 672 places.
[2021-05-16 17:40:07] [INFO ] Transformed 1186 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 17:40:37] [INFO ] Time to serialize gal into /tmp/CTLFireability12890514590747781675.gal : 6 ms
[2021-05-16 17:40:37] [INFO ] Time to serialize properties into /tmp/CTLFireability15209236752958550313.ctl : 48 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLFireability12890514590747781675.gal, -t, CGAL, -ctl, /tmp/CTLFireability15209236752958550313.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability12890514590747781675.gal -t CGAL -ctl /tmp/CTLFireability15209236752958550313.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S02J06T08"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is PolyORBLF-COL-S02J06T08, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r159-oct2-162089267800106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J06T08.tgz
mv PolyORBLF-COL-S02J06T08 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;