Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r121-smll-155272326200130.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3957
Executing tool win2018
Input is PolyORBLF-PT-S06J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-smll-155272326200130
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 9.5K Feb 12 09:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Feb 12 09:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 8 10:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 26K Feb 8 10:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 4.0K Feb 5 00:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 5 00:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 4 13:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 13:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 165K Feb 1 08:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 519K Feb 1 08:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.9K Feb 4 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 15M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1553015668580

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S06J06T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S06J06T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S06J06T06 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11440/65536 symbol table entries, 6628 collisions
lola: preprocessing...
lola: Size of bit vector: 22400
lola: finding significant places
lola: 700 places, 10740 transitions, 642 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3155 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6) : MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6) : MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6) : MAX(P_1097) : MAX(P_1097) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6) : MAX(FetchJobE_2_3) : MAX(CreatedJobs_6_2) : MAX(CreatedJobs_4_4) : MAX(FetchJobE_1_1) : MAX(Insert_Source_B_3_1) : MAX(P_1097) : MAX(FetchJobE_2_0) : MAX(Idle_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 10162 markings, 10455 edges, 2032 markings/sec, 30 secs
lola: 21387 markings, 22136 edges, 2245 markings/sec, 35 secs
lola: 32222 markings, 33410 edges, 2167 markings/sec, 40 secs
lola: 43582 markings, 45198 edges, 2272 markings/sec, 45 secs
lola: 54523 markings, 56524 edges, 2188 markings/sec, 50 secs
lola: 63881 markings, 66173 edges, 1872 markings/sec, 55 secs
lola: 74155 markings, 76767 edges, 2055 markings/sec, 60 secs
lola: 85158 markings, 88167 edges, 2201 markings/sec, 65 secs
lola: 94920 markings, 98330 edges, 1952 markings/sec, 70 secs
lola: 105622 markings, 109374 edges, 2140 markings/sec, 75 secs
lola: 116387 markings, 120590 edges, 2153 markings/sec, 80 secs
lola: 126815 markings, 131522 edges, 2086 markings/sec, 85 secs
lola: 137539 markings, 142739 edges, 2145 markings/sec, 90 secs
lola: 148580 markings, 154379 edges, 2208 markings/sec, 95 secs
lola: 159472 markings, 165792 edges, 2178 markings/sec, 100 secs
lola: 169422 markings, 176278 edges, 1990 markings/sec, 105 secs
lola: 179868 markings, 187368 edges, 2089 markings/sec, 110 secs
lola: 191075 markings, 199062 edges, 2241 markings/sec, 115 secs
lola: 201914 markings, 210310 edges, 2168 markings/sec, 120 secs
lola: 212406 markings, 221218 edges, 2098 markings/sec, 125 secs
lola: 222852 markings, 232084 edges, 2089 markings/sec, 130 secs
lola: 234026 markings, 243696 edges, 2235 markings/sec, 135 secs
lola: 243431 markings, 253464 edges, 1881 markings/sec, 140 secs
lola: 253655 markings, 264237 edges, 2045 markings/sec, 145 secs
lola: 263278 markings, 274260 edges, 1925 markings/sec, 150 secs
lola: 274187 markings, 285739 edges, 2182 markings/sec, 155 secs
lola: 283986 markings, 295894 edges, 1960 markings/sec, 160 secs
lola: 294883 markings, 307240 edges, 2179 markings/sec, 165 secs
lola: 305141 markings, 317966 edges, 2052 markings/sec, 170 secs
lola: 316353 markings, 329709 edges, 2242 markings/sec, 175 secs
lola: 326275 markings, 340180 edges, 1984 markings/sec, 180 secs
lola: 335720 markings, 350072 edges, 1889 markings/sec, 185 secs
lola: 346413 markings, 361170 edges, 2139 markings/sec, 190 secs
lola: 356948 markings, 372249 edges, 2107 markings/sec, 195 secs
lola: 366754 markings, 382531 edges, 1961 markings/sec, 200 secs
lola: 377181 markings, 393501 edges, 2085 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 106504 KB
lola: time consumption: 374 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 10197 markings, 10505 edges, 2039 markings/sec, 30 secs
lola: 21318 markings, 22067 edges, 2224 markings/sec, 35 secs
lola: 32058 markings, 33245 edges, 2148 markings/sec, 40 secs
lola: 43183 markings, 44786 edges, 2225 markings/sec, 45 secs
lola: 54125 markings, 56109 edges, 2188 markings/sec, 50 secs
lola: 63382 markings, 65642 edges, 1851 markings/sec, 55 secs
lola: 73472 markings, 76038 edges, 2018 markings/sec, 60 secs
lola: 84376 markings, 87339 edges, 2181 markings/sec, 65 secs
lola: 94201 markings, 97578 edges, 1965 markings/sec, 70 secs
lola: 104626 markings, 108313 edges, 2085 markings/sec, 75 secs
lola: 115091 markings, 119214 edges, 2093 markings/sec, 80 secs
lola: 125684 markings, 130339 edges, 2119 markings/sec, 85 secs
lola: 136291 markings, 141440 edges, 2121 markings/sec, 90 secs
lola: 147427 markings, 153184 edges, 2227 markings/sec, 95 secs
lola: 158547 markings, 164829 edges, 2224 markings/sec, 100 secs
lola: 168306 markings, 175109 edges, 1952 markings/sec, 105 secs
lola: 178651 markings, 186085 edges, 2069 markings/sec, 110 secs
lola: 189544 markings, 197465 edges, 2179 markings/sec, 115 secs
lola: 200237 markings, 208536 edges, 2139 markings/sec, 120 secs
lola: 210549 markings, 219297 edges, 2062 markings/sec, 125 secs
lola: 221047 markings, 230221 edges, 2100 markings/sec, 130 secs
lola: 231703 markings, 241299 edges, 2131 markings/sec, 135 secs
lola: 241569 markings, 251530 edges, 1973 markings/sec, 140 secs
lola: 251038 markings, 261488 edges, 1894 markings/sec, 145 secs
lola: 260868 markings, 271752 edges, 1966 markings/sec, 150 secs
lola: 271469 markings, 282916 edges, 2120 markings/sec, 155 secs
lola: 281371 markings, 293137 edges, 1980 markings/sec, 160 secs
lola: 291575 markings, 303790 edges, 2041 markings/sec, 165 secs
lola: 301235 markings, 313900 edges, 1932 markings/sec, 170 secs
lola: 312686 markings, 325855 edges, 2290 markings/sec, 175 secs
lola: 322877 markings, 336598 edges, 2038 markings/sec, 180 secs
lola: 332037 markings, 346193 edges, 1832 markings/sec, 185 secs
lola: 342350 markings, 356928 edges, 2063 markings/sec, 190 secs
lola: 352974 markings, 368043 edges, 2125 markings/sec, 195 secs
lola: 363276 markings, 378854 edges, 2060 markings/sec, 200 secs
lola: 373170 markings, 389231 edges, 1979 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 105844 KB
lola: time consumption: 587 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_2_3)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5121 markings, 17625 edges, 1024 markings/sec, 30 secs
lola: 10132 markings, 35584 edges, 1002 markings/sec, 35 secs
lola: 15131 markings, 53262 edges, 1000 markings/sec, 40 secs
lola: 20135 markings, 70683 edges, 1001 markings/sec, 45 secs
lola: 25149 markings, 88070 edges, 1003 markings/sec, 50 secs
lola: 30177 markings, 105482 edges, 1006 markings/sec, 55 secs
lola: 35178 markings, 123592 edges, 1000 markings/sec, 60 secs
lola: 40177 markings, 141259 edges, 1000 markings/sec, 65 secs
lola: 45207 markings, 159059 edges, 1006 markings/sec, 70 secs
lola: 50187 markings, 177089 edges, 996 markings/sec, 75 secs
lola: 55142 markings, 194598 edges, 991 markings/sec, 80 secs
lola: 60143 markings, 212303 edges, 1000 markings/sec, 85 secs
lola: 65150 markings, 230169 edges, 1001 markings/sec, 90 secs
lola: 70158 markings, 247623 edges, 1002 markings/sec, 95 secs
lola: 75205 markings, 264579 edges, 1009 markings/sec, 100 secs
lola: 80257 markings, 278899 edges, 1010 markings/sec, 105 secs
lola: 85335 markings, 292720 edges, 1016 markings/sec, 110 secs
lola: 90403 markings, 306700 edges, 1014 markings/sec, 115 secs
lola: 95511 markings, 320572 edges, 1022 markings/sec, 120 secs
lola: 100584 markings, 338316 edges, 1015 markings/sec, 125 secs
lola: 105769 markings, 352751 edges, 1037 markings/sec, 130 secs
lola: 110919 markings, 368073 edges, 1030 markings/sec, 135 secs
lola: 116068 markings, 383695 edges, 1030 markings/sec, 140 secs
lola: 121179 markings, 399856 edges, 1022 markings/sec, 145 secs
lola: 126332 markings, 415430 edges, 1031 markings/sec, 150 secs
lola: 131445 markings, 431747 edges, 1023 markings/sec, 155 secs
lola: 136641 markings, 445812 edges, 1039 markings/sec, 160 secs
lola: 141772 markings, 461504 edges, 1026 markings/sec, 165 secs
lola: 146973 markings, 475029 edges, 1040 markings/sec, 170 secs
lola: 152114 markings, 492115 edges, 1028 markings/sec, 175 secs
lola: 157222 markings, 510105 edges, 1022 markings/sec, 180 secs
lola: 162349 markings, 527692 edges, 1025 markings/sec, 185 secs
lola: 167453 markings, 545927 edges, 1021 markings/sec, 190 secs
lola: 172673 markings, 563974 edges, 1044 markings/sec, 195 secs
lola: 177781 markings, 582187 edges, 1022 markings/sec, 200 secs
lola: 182895 markings, 599897 edges, 1023 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 66376 KB
lola: time consumption: 800 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_6_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 9397 markings, 9517 edges, 1879 markings/sec, 30 secs
lola: 18882 markings, 19067 edges, 1897 markings/sec, 35 secs
lola: 28179 markings, 28739 edges, 1859 markings/sec, 40 secs
lola: 37632 markings, 38276 edges, 1891 markings/sec, 45 secs
lola: 47022 markings, 47926 edges, 1878 markings/sec, 50 secs
lola: 56326 markings, 57639 edges, 1861 markings/sec, 55 secs
lola: 65731 markings, 67132 edges, 1881 markings/sec, 60 secs
lola: 75127 markings, 76860 edges, 1879 markings/sec, 65 secs
lola: 84552 markings, 86419 edges, 1885 markings/sec, 70 secs
lola: 93894 markings, 96013 edges, 1868 markings/sec, 75 secs
lola: 103352 markings, 105621 edges, 1892 markings/sec, 80 secs
lola: 112734 markings, 115341 edges, 1876 markings/sec, 85 secs
lola: 122208 markings, 125017 edges, 1895 markings/sec, 90 secs
lola: 131430 markings, 134919 edges, 1844 markings/sec, 95 secs
lola: 140654 markings, 144704 edges, 1845 markings/sec, 100 secs
lola: 150117 markings, 154338 edges, 1893 markings/sec, 105 secs
lola: 156314 markings, 165736 edges, 1239 markings/sec, 110 secs
lola: 161377 markings, 177774 edges, 1013 markings/sec, 115 secs
lola: 166412 markings, 189445 edges, 1007 markings/sec, 120 secs
lola: 171459 markings, 200709 edges, 1009 markings/sec, 125 secs
lola: 176540 markings, 212167 edges, 1016 markings/sec, 130 secs
lola: 181572 markings, 224088 edges, 1006 markings/sec, 135 secs
lola: 186633 markings, 235586 edges, 1012 markings/sec, 140 secs
lola: 191684 markings, 247543 edges, 1010 markings/sec, 145 secs
lola: 196704 markings, 259000 edges, 1004 markings/sec, 150 secs
lola: 201769 markings, 270730 edges, 1013 markings/sec, 155 secs
lola: 206791 markings, 282245 edges, 1004 markings/sec, 160 secs
lola: 211709 markings, 292559 edges, 984 markings/sec, 165 secs
lola: 216816 markings, 301742 edges, 1021 markings/sec, 170 secs
lola: 221970 markings, 309667 edges, 1031 markings/sec, 175 secs
lola: 227112 markings, 318185 edges, 1028 markings/sec, 180 secs
lola: 232256 markings, 326352 edges, 1029 markings/sec, 185 secs
lola: 237364 markings, 336346 edges, 1022 markings/sec, 190 secs
lola: 242454 markings, 346505 edges, 1018 markings/sec, 195 secs
lola: 247621 markings, 354625 edges, 1033 markings/sec, 200 secs
lola: 252731 markings, 364526 edges, 1022 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 80948 KB
lola: time consumption: 1013 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_4_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_4_4)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5026 markings, 16830 edges, 1005 markings/sec, 30 secs
lola: 10189 markings, 33238 edges, 1033 markings/sec, 35 secs
lola: 15360 markings, 48203 edges, 1034 markings/sec, 40 secs
lola: 20459 markings, 64690 edges, 1020 markings/sec, 45 secs
lola: 25671 markings, 79156 edges, 1042 markings/sec, 50 secs
lola: 30862 markings, 92273 edges, 1038 markings/sec, 55 secs
lola: 35977 markings, 108053 edges, 1023 markings/sec, 60 secs
lola: 41203 markings, 122695 edges, 1045 markings/sec, 65 secs
lola: 46359 markings, 138495 edges, 1031 markings/sec, 70 secs
lola: 51483 markings, 153514 edges, 1025 markings/sec, 75 secs
lola: 56647 markings, 169250 edges, 1033 markings/sec, 80 secs
lola: 61733 markings, 184890 edges, 1017 markings/sec, 85 secs
lola: 66704 markings, 200492 edges, 994 markings/sec, 90 secs
lola: 71855 markings, 216461 edges, 1030 markings/sec, 95 secs
lola: 76824 markings, 232913 edges, 994 markings/sec, 100 secs
lola: 82055 markings, 246375 edges, 1046 markings/sec, 105 secs
lola: 87219 markings, 261333 edges, 1033 markings/sec, 110 secs
lola: 92329 markings, 276546 edges, 1022 markings/sec, 115 secs
lola: 97537 markings, 292017 edges, 1042 markings/sec, 120 secs
lola: 107571 markings, 302247 edges, 2007 markings/sec, 125 secs
lola: 117642 markings, 312455 edges, 2014 markings/sec, 130 secs
lola: 127640 markings, 322736 edges, 2000 markings/sec, 135 secs
lola: 135828 markings, 335458 edges, 1638 markings/sec, 140 secs
lola: 140868 markings, 353404 edges, 1008 markings/sec, 145 secs
lola: 145940 markings, 370154 edges, 1014 markings/sec, 150 secs
lola: 150988 markings, 387749 edges, 1010 markings/sec, 155 secs
lola: 156138 markings, 406011 edges, 1030 markings/sec, 160 secs
lola: 161295 markings, 424130 edges, 1031 markings/sec, 165 secs
lola: 166483 markings, 441991 edges, 1038 markings/sec, 170 secs
lola: 171640 markings, 460425 edges, 1031 markings/sec, 175 secs
lola: 176721 markings, 478508 edges, 1016 markings/sec, 180 secs
lola: 181731 markings, 495683 edges, 1002 markings/sec, 185 secs
lola: 186793 markings, 512824 edges, 1012 markings/sec, 190 secs
lola: 191867 markings, 530936 edges, 1015 markings/sec, 195 secs
lola: 197016 markings, 549191 edges, 1030 markings/sec, 200 secs
lola: 202201 markings, 566534 edges, 1037 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 70452 KB
lola: time consumption: 1226 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_1)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5098 markings, 17123 edges, 1020 markings/sec, 30 secs
lola: 10270 markings, 33492 edges, 1034 markings/sec, 35 secs
lola: 15474 markings, 48192 edges, 1041 markings/sec, 40 secs
lola: 20618 markings, 65764 edges, 1029 markings/sec, 45 secs
lola: 25754 markings, 84236 edges, 1027 markings/sec, 50 secs
lola: 30879 markings, 102559 edges, 1025 markings/sec, 55 secs
lola: 35919 markings, 120356 edges, 1008 markings/sec, 60 secs
lola: 40970 markings, 137792 edges, 1010 markings/sec, 65 secs
lola: 46063 markings, 155551 edges, 1019 markings/sec, 70 secs
lola: 51195 markings, 173556 edges, 1026 markings/sec, 75 secs
lola: 56210 markings, 191568 edges, 1003 markings/sec, 80 secs
lola: 61204 markings, 209214 edges, 999 markings/sec, 85 secs
lola: 66336 markings, 227398 edges, 1026 markings/sec, 90 secs
lola: 71350 markings, 245157 edges, 1003 markings/sec, 95 secs
lola: 76379 markings, 262625 edges, 1006 markings/sec, 100 secs
lola: 81521 markings, 280895 edges, 1028 markings/sec, 105 secs
lola: 86553 markings, 298953 edges, 1006 markings/sec, 110 secs
lola: 91576 markings, 316693 edges, 1005 markings/sec, 115 secs
lola: 96592 markings, 333954 edges, 1003 markings/sec, 120 secs
lola: 101733 markings, 350060 edges, 1028 markings/sec, 125 secs
lola: 106852 markings, 363283 edges, 1024 markings/sec, 130 secs
lola: 111996 markings, 377411 edges, 1029 markings/sec, 135 secs
lola: 117175 markings, 390220 edges, 1036 markings/sec, 140 secs
lola: 122313 markings, 408678 edges, 1028 markings/sec, 145 secs
lola: 127476 markings, 425113 edges, 1033 markings/sec, 150 secs
lola: 132664 markings, 439065 edges, 1038 markings/sec, 155 secs
lola: 137398 markings, 454587 edges, 947 markings/sec, 160 secs
lola: 142392 markings, 470050 edges, 999 markings/sec, 165 secs
lola: 147472 markings, 485781 edges, 1016 markings/sec, 170 secs
lola: 152448 markings, 501159 edges, 995 markings/sec, 175 secs
lola: 157527 markings, 517645 edges, 1016 markings/sec, 180 secs
lola: 162597 markings, 531475 edges, 1014 markings/sec, 185 secs
lola: 167610 markings, 546713 edges, 1003 markings/sec, 190 secs
lola: 172738 markings, 559873 edges, 1026 markings/sec, 195 secs
lola: 177802 markings, 577055 edges, 1013 markings/sec, 200 secs
lola: 182779 markings, 594578 edges, 995 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 66508 KB
lola: time consumption: 1439 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_B_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_B_3_1)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5087 markings, 17477 edges, 1017 markings/sec, 30 secs
lola: 10091 markings, 34906 edges, 1001 markings/sec, 35 secs
lola: 15128 markings, 51672 edges, 1007 markings/sec, 40 secs
lola: 20137 markings, 69388 edges, 1002 markings/sec, 45 secs
lola: 25158 markings, 86887 edges, 1004 markings/sec, 50 secs
lola: 30167 markings, 104755 edges, 1002 markings/sec, 55 secs
lola: 35185 markings, 122111 edges, 1004 markings/sec, 60 secs
lola: 40199 markings, 139835 edges, 1003 markings/sec, 65 secs
lola: 45214 markings, 157547 edges, 1003 markings/sec, 70 secs
lola: 50189 markings, 175111 edges, 995 markings/sec, 75 secs
lola: 55182 markings, 192417 edges, 999 markings/sec, 80 secs
lola: 60194 markings, 209614 edges, 1002 markings/sec, 85 secs
lola: 65181 markings, 227187 edges, 997 markings/sec, 90 secs
lola: 70167 markings, 244820 edges, 997 markings/sec, 95 secs
lola: 75175 markings, 262337 edges, 1002 markings/sec, 100 secs
lola: 80204 markings, 279123 edges, 1006 markings/sec, 105 secs
lola: 85266 markings, 294599 edges, 1012 markings/sec, 110 secs
lola: 90447 markings, 305571 edges, 1036 markings/sec, 115 secs
lola: 95488 markings, 319343 edges, 1008 markings/sec, 120 secs
lola: 100590 markings, 333320 edges, 1020 markings/sec, 125 secs
lola: 105713 markings, 345782 edges, 1025 markings/sec, 130 secs
lola: 110779 markings, 361762 edges, 1013 markings/sec, 135 secs
lola: 115815 markings, 378609 edges, 1007 markings/sec, 140 secs
lola: 120916 markings, 392085 edges, 1020 markings/sec, 145 secs
lola: 125995 markings, 405959 edges, 1016 markings/sec, 150 secs
lola: 130993 markings, 421900 edges, 1000 markings/sec, 155 secs
lola: 136049 markings, 436942 edges, 1011 markings/sec, 160 secs
lola: 141210 markings, 452448 edges, 1032 markings/sec, 165 secs
lola: 146362 markings, 467450 edges, 1030 markings/sec, 170 secs
lola: 151544 markings, 482960 edges, 1036 markings/sec, 175 secs
lola: 156750 markings, 497496 edges, 1041 markings/sec, 180 secs
lola: 161924 markings, 512197 edges, 1035 markings/sec, 185 secs
lola: 167097 markings, 526936 edges, 1035 markings/sec, 190 secs
lola: 172302 markings, 541053 edges, 1041 markings/sec, 195 secs
lola: 177399 markings, 558723 edges, 1019 markings/sec, 200 secs
lola: 182473 markings, 576404 edges, 1015 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 66508 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 10387 markings, 10695 edges, 2077 markings/sec, 30 secs
lola: 21722 markings, 22503 edges, 2267 markings/sec, 35 secs
lola: 32494 markings, 33696 edges, 2154 markings/sec, 40 secs
lola: 44005 markings, 45621 edges, 2302 markings/sec, 45 secs
lola: 54820 markings, 56821 edges, 2163 markings/sec, 50 secs
lola: 64255 markings, 66577 edges, 1887 markings/sec, 55 secs
lola: 74734 markings, 77377 edges, 2096 markings/sec, 60 secs
lola: 85758 markings, 88785 edges, 2205 markings/sec, 65 secs
lola: 95457 markings, 98883 edges, 1940 markings/sec, 70 secs
lola: 106461 markings, 110247 edges, 2201 markings/sec, 75 secs
lola: 117237 markings, 121460 edges, 2155 markings/sec, 80 secs
lola: 127910 markings, 132665 edges, 2135 markings/sec, 85 secs
lola: 138948 markings, 144208 edges, 2208 markings/sec, 90 secs
lola: 150143 markings, 156010 edges, 2239 markings/sec, 95 secs
lola: 161371 markings, 167793 edges, 2246 markings/sec, 100 secs
lola: 171208 markings, 178213 edges, 1967 markings/sec, 105 secs
lola: 181777 markings, 189338 edges, 2114 markings/sec, 110 secs
lola: 192690 markings, 200725 edges, 2183 markings/sec, 115 secs
lola: 204191 markings, 212641 edges, 2300 markings/sec, 120 secs
lola: 214392 markings, 223288 edges, 2040 markings/sec, 125 secs
lola: 224850 markings, 234144 edges, 2092 markings/sec, 130 secs
lola: 235967 markings, 245702 edges, 2223 markings/sec, 135 secs
lola: 245128 markings, 255257 edges, 1832 markings/sec, 140 secs
lola: 255531 markings, 266176 edges, 2081 markings/sec, 145 secs
lola: 265518 markings, 276642 edges, 1997 markings/sec, 150 secs
lola: 275947 markings, 287566 edges, 2086 markings/sec, 155 secs
lola: 286010 markings, 298043 edges, 2013 markings/sec, 160 secs
lola: 297055 markings, 309524 edges, 2209 markings/sec, 165 secs
lola: 307397 markings, 320365 edges, 2068 markings/sec, 170 secs
lola: 318668 markings, 332140 edges, 2254 markings/sec, 175 secs
lola: 327901 markings, 341858 edges, 1847 markings/sec, 180 secs
lola: 338230 markings, 352643 edges, 2066 markings/sec, 185 secs
lola: 348870 markings, 363758 edges, 2128 markings/sec, 190 secs
lola: 359682 markings, 375135 edges, 2162 markings/sec, 195 secs
lola: 369567 markings, 385477 edges, 1977 markings/sec, 200 secs
lola: 379876 markings, 396332 edges, 2062 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 106872 KB
lola: time consumption: 1865 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_2_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_2_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 5170 markings, 17803 edges, 1034 markings/sec, 30 secs
lola: 10265 markings, 36059 edges, 1019 markings/sec, 35 secs
lola: 15321 markings, 53935 edges, 1011 markings/sec, 40 secs
lola: 20372 markings, 71535 edges, 1010 markings/sec, 45 secs
lola: 25440 markings, 89070 edges, 1014 markings/sec, 50 secs
lola: 30558 markings, 106885 edges, 1024 markings/sec, 55 secs
lola: 35618 markings, 125182 edges, 1012 markings/sec, 60 secs
lola: 40683 markings, 142995 edges, 1013 markings/sec, 65 secs
lola: 45789 markings, 161211 edges, 1021 markings/sec, 70 secs
lola: 50840 markings, 179453 edges, 1010 markings/sec, 75 secs
lola: 55875 markings, 197141 edges, 1007 markings/sec, 80 secs
lola: 60962 markings, 215258 edges, 1017 markings/sec, 85 secs
lola: 66008 markings, 233229 edges, 1009 markings/sec, 90 secs
lola: 71061 markings, 250745 edges, 1011 markings/sec, 95 secs
lola: 76174 markings, 268007 edges, 1023 markings/sec, 100 secs
lola: 81341 markings, 281687 edges, 1033 markings/sec, 105 secs
lola: 86514 markings, 295381 edges, 1035 markings/sec, 110 secs
lola: 91646 markings, 310153 edges, 1026 markings/sec, 115 secs
lola: 96819 markings, 325277 edges, 1035 markings/sec, 120 secs
lola: 101922 markings, 341842 edges, 1021 markings/sec, 125 secs
lola: 107093 markings, 356373 edges, 1034 markings/sec, 130 secs
lola: 112212 markings, 372483 edges, 1024 markings/sec, 135 secs
lola: 117360 markings, 388172 edges, 1030 markings/sec, 140 secs
lola: 122487 markings, 403714 edges, 1025 markings/sec, 145 secs
lola: 127633 markings, 419160 edges, 1029 markings/sec, 150 secs
lola: 132744 markings, 435522 edges, 1022 markings/sec, 155 secs
lola: 137912 markings, 449905 edges, 1034 markings/sec, 160 secs
lola: 143054 markings, 465203 edges, 1028 markings/sec, 165 secs
lola: 148268 markings, 478305 edges, 1043 markings/sec, 170 secs
lola: 153370 markings, 496575 edges, 1020 markings/sec, 175 secs
lola: 158476 markings, 514391 edges, 1021 markings/sec, 180 secs
lola: 163593 markings, 532210 edges, 1023 markings/sec, 185 secs
lola: 168699 markings, 550343 edges, 1021 markings/sec, 190 secs
lola: 173909 markings, 568482 edges, 1042 markings/sec, 195 secs
lola: 179013 markings, 586513 edges, 1021 markings/sec, 200 secs
lola: 184128 markings, 604202 edges, 1023 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 66428 KB
lola: time consumption: 2079 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Idle_4)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 6132 markings, 13611 edges, 1226 markings/sec, 30 secs
lola: 11520 markings, 32334 edges, 1078 markings/sec, 35 secs
lola: 16567 markings, 52271 edges, 1009 markings/sec, 40 secs
lola: 21673 markings, 72079 edges, 1021 markings/sec, 45 secs
lola: 26963 markings, 92230 edges, 1058 markings/sec, 50 secs
lola: 33013 markings, 110490 edges, 1210 markings/sec, 55 secs
lola: 38447 markings, 129791 edges, 1087 markings/sec, 60 secs
lola: 43497 markings, 150355 edges, 1010 markings/sec, 65 secs
lola: 48665 markings, 170779 edges, 1034 markings/sec, 70 secs
lola: 53755 markings, 190963 edges, 1018 markings/sec, 75 secs
lola: 58751 markings, 211101 edges, 999 markings/sec, 80 secs
lola: 63823 markings, 230928 edges, 1014 markings/sec, 85 secs
lola: 68614 markings, 249859 edges, 958 markings/sec, 90 secs
lola: 73588 markings, 269385 edges, 995 markings/sec, 95 secs
lola: 78618 markings, 289246 edges, 1006 markings/sec, 100 secs
lola: 83737 markings, 309130 edges, 1024 markings/sec, 105 secs
lola: 88843 markings, 329472 edges, 1021 markings/sec, 110 secs
lola: 93842 markings, 349330 edges, 1000 markings/sec, 115 secs
lola: 98871 markings, 368575 edges, 1006 markings/sec, 120 secs
lola: 103877 markings, 387722 edges, 1001 markings/sec, 125 secs
lola: 109673 markings, 404024 edges, 1159 markings/sec, 130 secs
lola: 114603 markings, 423342 edges, 986 markings/sec, 135 secs
lola: 119547 markings, 442639 edges, 989 markings/sec, 140 secs
lola: 124876 markings, 461843 edges, 1066 markings/sec, 145 secs
lola: 129896 markings, 473381 edges, 1004 markings/sec, 150 secs
lola: 135122 markings, 489764 edges, 1045 markings/sec, 155 secs
lola: 140114 markings, 509956 edges, 998 markings/sec, 160 secs
lola: 145185 markings, 529880 edges, 1014 markings/sec, 165 secs
lola: 150157 markings, 549835 edges, 994 markings/sec, 170 secs
lola: 155117 markings, 569730 edges, 992 markings/sec, 175 secs
lola: 160084 markings, 589339 edges, 993 markings/sec, 180 secs
lola: 165095 markings, 608607 edges, 1002 markings/sec, 185 secs
lola: 170078 markings, 627814 edges, 997 markings/sec, 190 secs
lola: 175073 markings, 647320 edges, 999 markings/sec, 195 secs
lola: 180121 markings, 666425 edges, 1010 markings/sec, 200 secs
lola: 185211 markings, 686365 edges, 1018 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 66188 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6)
lola: processed formula length: 68
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7312 markings, 8214 edges, 1462 markings/sec, 30 secs
lola: 14476 markings, 17691 edges, 1433 markings/sec, 35 secs
lola: 21539 markings, 28857 edges, 1413 markings/sec, 40 secs
lola: 28885 markings, 37545 edges, 1469 markings/sec, 45 secs
lola: 36047 markings, 47861 edges, 1432 markings/sec, 50 secs
lola: 43158 markings, 58085 edges, 1422 markings/sec, 55 secs
lola: 50405 markings, 67470 edges, 1449 markings/sec, 60 secs
lola: 57517 markings, 77707 edges, 1422 markings/sec, 65 secs
lola: 64669 markings, 88050 edges, 1430 markings/sec, 70 secs
lola: 71871 markings, 97516 edges, 1440 markings/sec, 75 secs
lola: 78989 markings, 107900 edges, 1424 markings/sec, 80 secs
lola: 86238 markings, 117426 edges, 1450 markings/sec, 85 secs
lola: 93450 markings, 125760 edges, 1442 markings/sec, 90 secs
lola: 100576 markings, 136436 edges, 1425 markings/sec, 95 secs
lola: 107726 markings, 146807 edges, 1430 markings/sec, 100 secs
lola: 114933 markings, 155490 edges, 1441 markings/sec, 105 secs
lola: 122003 markings, 166308 edges, 1414 markings/sec, 110 secs
lola: 129325 markings, 176038 edges, 1464 markings/sec, 115 secs
lola: 136602 markings, 185015 edges, 1455 markings/sec, 120 secs
lola: 143717 markings, 195271 edges, 1423 markings/sec, 125 secs
lola: 150882 markings, 205487 edges, 1433 markings/sec, 130 secs
lola: 158061 markings, 215113 edges, 1436 markings/sec, 135 secs
lola: 165153 markings, 225298 edges, 1418 markings/sec, 140 secs
lola: 172340 markings, 234909 edges, 1437 markings/sec, 145 secs
lola: 179493 markings, 245233 edges, 1431 markings/sec, 150 secs
lola: 186612 markings, 255167 edges, 1424 markings/sec, 155 secs
lola: 193825 markings, 264586 edges, 1443 markings/sec, 160 secs
lola: 200653 markings, 274362 edges, 1366 markings/sec, 165 secs
lola: 207738 markings, 284699 edges, 1417 markings/sec, 170 secs
lola: 214963 markings, 294121 edges, 1445 markings/sec, 175 secs
lola: 222029 markings, 304339 edges, 1413 markings/sec, 180 secs
lola: 229246 markings, 314308 edges, 1443 markings/sec, 185 secs
lola: 236598 markings, 322635 edges, 1470 markings/sec, 190 secs
lola: 243736 markings, 332874 edges, 1428 markings/sec, 195 secs
lola: 250843 markings, 343203 edges, 1421 markings/sec, 200 secs
lola: 258090 markings, 352635 edges, 1449 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 78112 KB
lola: time consumption: 2504 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
lola: processed formula length: 50
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7455 markings, 7696 edges, 1491 markings/sec, 30 secs
lola: 15032 markings, 15633 edges, 1515 markings/sec, 35 secs
lola: 22511 markings, 23404 edges, 1496 markings/sec, 40 secs
lola: 30057 markings, 31151 edges, 1509 markings/sec, 45 secs
lola: 37546 markings, 38845 edges, 1498 markings/sec, 50 secs
lola: 45034 markings, 46538 edges, 1498 markings/sec, 55 secs
lola: 52525 markings, 54240 edges, 1498 markings/sec, 60 secs
lola: 60024 markings, 61953 edges, 1500 markings/sec, 65 secs
lola: 67502 markings, 69696 edges, 1496 markings/sec, 70 secs
lola: 74943 markings, 77378 edges, 1488 markings/sec, 75 secs
lola: 82373 markings, 85099 edges, 1486 markings/sec, 80 secs
lola: 89869 markings, 92964 edges, 1499 markings/sec, 85 secs
lola: 97294 markings, 100798 edges, 1485 markings/sec, 90 secs
lola: 104661 markings, 108649 edges, 1473 markings/sec, 95 secs
lola: 112207 markings, 116625 edges, 1509 markings/sec, 100 secs
lola: 119812 markings, 124462 edges, 1521 markings/sec, 105 secs
lola: 127429 markings, 132381 edges, 1523 markings/sec, 110 secs
lola: 135075 markings, 140498 edges, 1529 markings/sec, 115 secs
lola: 142808 markings, 148560 edges, 1547 markings/sec, 120 secs
lola: 150562 markings, 156648 edges, 1551 markings/sec, 125 secs
lola: 158294 markings, 164738 edges, 1546 markings/sec, 130 secs
lola: 166035 markings, 172708 edges, 1548 markings/sec, 135 secs
lola: 173752 markings, 180733 edges, 1543 markings/sec, 140 secs
lola: 181504 markings, 188746 edges, 1550 markings/sec, 145 secs
lola: 189203 markings, 196693 edges, 1540 markings/sec, 150 secs
lola: 196832 markings, 204596 edges, 1526 markings/sec, 155 secs
lola: 204462 markings, 212470 edges, 1526 markings/sec, 160 secs
lola: 212174 markings, 220447 edges, 1542 markings/sec, 165 secs
lola: 219888 markings, 228395 edges, 1543 markings/sec, 170 secs
lola: 227475 markings, 236227 edges, 1517 markings/sec, 175 secs
lola: 235145 markings, 244184 edges, 1534 markings/sec, 180 secs
lola: 242844 markings, 252392 edges, 1540 markings/sec, 185 secs
lola: 250486 markings, 260354 edges, 1528 markings/sec, 190 secs
lola: 258186 markings, 268411 edges, 1540 markings/sec, 195 secs
lola: 265863 markings, 276302 edges, 1535 markings/sec, 200 secs
lola: 273535 markings, 284218 edges, 1534 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 89436 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5 + ModifiedSrc_6)
lola: processed formula length: 98
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 10238 markings, 10526 edges, 2048 markings/sec, 30 secs
lola: 21383 markings, 22035 edges, 2229 markings/sec, 35 secs
lola: 31883 markings, 32992 edges, 2100 markings/sec, 40 secs
lola: 43781 markings, 45396 edges, 2380 markings/sec, 45 secs
lola: 55592 markings, 57787 edges, 2362 markings/sec, 50 secs
lola: 66851 markings, 69508 edges, 2252 markings/sec, 55 secs
lola: 78304 markings, 81539 edges, 2291 markings/sec, 60 secs
lola: 89620 markings, 93431 edges, 2263 markings/sec, 65 secs
lola: 100487 markings, 104780 edges, 2173 markings/sec, 70 secs
lola: 111511 markings, 116200 edges, 2205 markings/sec, 75 secs
lola: 121719 markings, 126910 edges, 2042 markings/sec, 80 secs
lola: 132819 markings, 138478 edges, 2220 markings/sec, 85 secs
lola: 144113 markings, 150598 edges, 2259 markings/sec, 90 secs
lola: 154475 markings, 161572 edges, 2072 markings/sec, 95 secs
lola: 165381 markings, 173063 edges, 2181 markings/sec, 100 secs
lola: 175162 markings, 183353 edges, 1956 markings/sec, 105 secs
lola: 185423 markings, 194007 edges, 2052 markings/sec, 110 secs
lola: 195709 markings, 204877 edges, 2057 markings/sec, 115 secs
lola: 206005 markings, 215809 edges, 2059 markings/sec, 120 secs
lola: 216527 markings, 226904 edges, 2104 markings/sec, 125 secs
lola: 227806 markings, 238635 edges, 2256 markings/sec, 130 secs
lola: 239165 markings, 250497 edges, 2272 markings/sec, 135 secs
lola: 249840 markings, 261647 edges, 2135 markings/sec, 140 secs
lola: 261312 markings, 273666 edges, 2294 markings/sec, 145 secs
lola: 271884 markings, 284708 edges, 2114 markings/sec, 150 secs
lola: 282044 markings, 295395 edges, 2032 markings/sec, 155 secs
lola: 292718 markings, 306607 edges, 2135 markings/sec, 160 secs
lola: 302706 markings, 317132 edges, 1998 markings/sec, 165 secs
lola: 312615 markings, 327426 edges, 1982 markings/sec, 170 secs
lola: 322716 markings, 338066 edges, 2020 markings/sec, 175 secs
lola: 333405 markings, 349101 edges, 2138 markings/sec, 180 secs
lola: 343886 markings, 360049 edges, 2096 markings/sec, 185 secs
lola: 355193 markings, 371883 edges, 2261 markings/sec, 190 secs
lola: 365330 markings, 382337 edges, 2027 markings/sec, 195 secs
lola: 375086 markings, 392692 edges, 1951 markings/sec, 200 secs
lola: 386314 markings, 404472 edges, 2246 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 108640 KB
lola: time consumption: 2930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6)
lola: processed formula length: 68
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7460 markings, 7745 edges, 1492 markings/sec, 30 secs
lola: 15029 markings, 15722 edges, 1514 markings/sec, 35 secs
lola: 22501 markings, 23489 edges, 1494 markings/sec, 40 secs
lola: 30043 markings, 31285 edges, 1508 markings/sec, 45 secs
lola: 37531 markings, 39054 edges, 1498 markings/sec, 50 secs
lola: 45023 markings, 46818 edges, 1498 markings/sec, 55 secs
lola: 52532 markings, 54575 edges, 1502 markings/sec, 60 secs
lola: 60037 markings, 62363 edges, 1501 markings/sec, 65 secs
lola: 67502 markings, 70101 edges, 1493 markings/sec, 70 secs
lola: 74935 markings, 77847 edges, 1487 markings/sec, 75 secs
lola: 82347 markings, 85581 edges, 1482 markings/sec, 80 secs
lola: 89861 markings, 93502 edges, 1503 markings/sec, 85 secs
lola: 97294 markings, 101327 edges, 1487 markings/sec, 90 secs
lola: 104639 markings, 109193 edges, 1469 markings/sec, 95 secs
lola: 112197 markings, 117218 edges, 1512 markings/sec, 100 secs
lola: 119718 markings, 125063 edges, 1504 markings/sec, 105 secs
lola: 127159 markings, 132857 edges, 1488 markings/sec, 110 secs
lola: 134637 markings, 140819 edges, 1496 markings/sec, 115 secs
lola: 142191 markings, 148784 edges, 1511 markings/sec, 120 secs
lola: 149776 markings, 156751 edges, 1517 markings/sec, 125 secs
lola: 157300 markings, 164710 edges, 1505 markings/sec, 130 secs
lola: 164902 markings, 172661 edges, 1520 markings/sec, 135 secs
lola: 172481 markings, 180581 edges, 1516 markings/sec, 140 secs
lola: 180013 markings, 188482 edges, 1506 markings/sec, 145 secs
lola: 187571 markings, 196269 edges, 1512 markings/sec, 150 secs
lola: 195075 markings, 204120 edges, 1501 markings/sec, 155 secs
lola: 202504 markings, 211874 edges, 1486 markings/sec, 160 secs
lola: 210008 markings, 219685 edges, 1501 markings/sec, 165 secs
lola: 217657 markings, 227645 edges, 1530 markings/sec, 170 secs
lola: 225099 markings, 235394 edges, 1488 markings/sec, 175 secs
lola: 232531 markings, 243206 edges, 1486 markings/sec, 180 secs
lola: 240027 markings, 251211 edges, 1499 markings/sec, 185 secs
lola: 247640 markings, 259293 edges, 1523 markings/sec, 190 secs
lola: 255047 markings, 267119 edges, 1481 markings/sec, 195 secs
lola: 262601 markings, 274968 edges, 1511 markings/sec, 200 secs
lola: 270119 markings, 282849 edges, 1504 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 88872 KB
lola: time consumption: 3143 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6)
lola: processed formula length: 122
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 11297 markings, 11322 edges, 2259 markings/sec, 30 secs
lola: 23555 markings, 23625 edges, 2452 markings/sec, 35 secs
lola: 34498 markings, 34601 edges, 2189 markings/sec, 40 secs
lola: 45527 markings, 45721 edges, 2206 markings/sec, 45 secs
lola: 56613 markings, 56893 edges, 2217 markings/sec, 50 secs
lola: 67593 markings, 67951 edges, 2196 markings/sec, 55 secs
lola: 79357 markings, 79766 edges, 2353 markings/sec, 60 secs
lola: 90612 markings, 91115 edges, 2251 markings/sec, 65 secs
lola: 101506 markings, 102047 edges, 2179 markings/sec, 70 secs
lola: 113139 markings, 113746 edges, 2327 markings/sec, 75 secs
lola: 124643 markings, 125308 edges, 2301 markings/sec, 80 secs
lola: 135165 markings, 135976 edges, 2104 markings/sec, 85 secs
lola: 145436 markings, 146358 edges, 2054 markings/sec, 90 secs
lola: 156277 markings, 157258 edges, 2168 markings/sec, 95 secs
lola: 166203 markings, 167350 edges, 1985 markings/sec, 100 secs
lola: 175880 markings, 177051 edges, 1935 markings/sec, 105 secs
lola: 186725 markings, 187926 edges, 2169 markings/sec, 110 secs
lola: 198664 markings, 199941 edges, 2388 markings/sec, 115 secs
lola: 210400 markings, 211848 edges, 2347 markings/sec, 120 secs
lola: 221711 markings, 223240 edges, 2262 markings/sec, 125 secs
lola: 233257 markings, 234946 edges, 2309 markings/sec, 130 secs
lola: 244405 markings, 246171 edges, 2230 markings/sec, 135 secs
lola: 255289 markings, 257214 edges, 2177 markings/sec, 140 secs
lola: 265176 markings, 267210 edges, 1977 markings/sec, 145 secs
lola: 275968 markings, 278202 edges, 2158 markings/sec, 150 secs
lola: 286837 markings, 289170 edges, 2174 markings/sec, 155 secs
lola: 298282 markings, 300659 edges, 2289 markings/sec, 160 secs
lola: 309460 markings, 311945 edges, 2236 markings/sec, 165 secs
lola: 320687 markings, 323223 edges, 2245 markings/sec, 170 secs
lola: 330999 markings, 333716 edges, 2062 markings/sec, 175 secs
lola: 340994 markings, 343809 edges, 1999 markings/sec, 180 secs
lola: 351139 markings, 354128 edges, 2029 markings/sec, 185 secs
lola: 362672 markings, 365730 edges, 2307 markings/sec, 190 secs
lola: 373671 markings, 376952 edges, 2200 markings/sec, 195 secs
lola: 385172 markings, 388566 edges, 2300 markings/sec, 200 secs
lola: 396243 markings, 399757 edges, 2214 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 109848 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6)
lola: processed formula length: 110
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 7318 markings, 7843 edges, 1464 markings/sec, 30 secs
lola: 14756 markings, 15726 edges, 1488 markings/sec, 35 secs
lola: 22236 markings, 23780 edges, 1496 markings/sec, 40 secs
lola: 29636 markings, 31943 edges, 1480 markings/sec, 45 secs
lola: 37052 markings, 40493 edges, 1483 markings/sec, 50 secs
lola: 44401 markings, 48556 edges, 1470 markings/sec, 55 secs
lola: 51869 markings, 56711 edges, 1494 markings/sec, 60 secs
lola: 59310 markings, 64800 edges, 1488 markings/sec, 65 secs
lola: 66741 markings, 72820 edges, 1486 markings/sec, 70 secs
lola: 74145 markings, 80933 edges, 1481 markings/sec, 75 secs
lola: 81651 markings, 88933 edges, 1501 markings/sec, 80 secs
lola: 89173 markings, 97184 edges, 1504 markings/sec, 85 secs
lola: 96646 markings, 105279 edges, 1495 markings/sec, 90 secs
lola: 104059 markings, 113604 edges, 1483 markings/sec, 95 secs
lola: 111448 markings, 121668 edges, 1478 markings/sec, 100 secs
lola: 118827 markings, 130238 edges, 1476 markings/sec, 105 secs
lola: 125937 markings, 140923 edges, 1422 markings/sec, 110 secs
lola: 133048 markings, 151596 edges, 1422 markings/sec, 115 secs
lola: 140219 markings, 161684 edges, 1434 markings/sec, 120 secs
lola: 147377 markings, 172173 edges, 1432 markings/sec, 125 secs
lola: 154654 markings, 181977 edges, 1455 markings/sec, 130 secs
lola: 161757 markings, 193426 edges, 1421 markings/sec, 135 secs
lola: 169166 markings, 201821 edges, 1482 markings/sec, 140 secs
lola: 176655 markings, 210139 edges, 1498 markings/sec, 145 secs
lola: 184172 markings, 218303 edges, 1503 markings/sec, 150 secs
lola: 191386 markings, 226652 edges, 1443 markings/sec, 155 secs
lola: 198515 markings, 237339 edges, 1426 markings/sec, 160 secs
lola: 205646 markings, 247709 edges, 1426 markings/sec, 165 secs
lola: 212843 markings, 256560 edges, 1439 markings/sec, 170 secs
lola: 219928 markings, 267617 edges, 1417 markings/sec, 175 secs
lola: 227111 markings, 277131 edges, 1437 markings/sec, 180 secs
lola: 234273 markings, 286602 edges, 1432 markings/sec, 185 secs
lola: 241328 markings, 297742 edges, 1411 markings/sec, 190 secs
lola: 248531 markings, 306486 edges, 1441 markings/sec, 195 secs
lola: 255678 markings, 316813 edges, 1429 markings/sec, 200 secs
lola: 262769 markings, 327517 edges, 1418 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 80680 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1097)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J06T06-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 54896 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 54896 KB
lola: time consumption: 3569 seconds

BK_STOP 1553019238241

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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-PT-S06J06T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-3957"
echo " Executing tool win2018"
echo " Input is PolyORBLF-PT-S06J06T06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r121-smll-155272326200130"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J06T06.tgz
mv PolyORBLF-PT-S06J06T06 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;