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-155272326100082.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-S02J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-smll-155272326100082
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.1K Feb 12 09:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 12 09:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 8 09:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 8 09:33 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 3.7K Feb 5 00:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 5 00:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 4 22:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 4 12:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 4 12:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 1 08:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K Feb 1 08:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 4 22:23 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 862K 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-S02J04T06-UpperBounds-00
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-01
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-02
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-03
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-04
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-05
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-06
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-07
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-08
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-09
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-10
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-11
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-12
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-13
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-14
FORMULA_NAME PolyORBLF-PT-S02J04T06-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552945593989

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S02J04T06 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S02J04T06 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S02J04T06 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1396/65536 symbol table entries, 7 collisions
lola: preprocessing...
lola: Size of bit vector: 15232
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S02J04T06-UpperBounds.task
lola: MAX(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4 + NotifyEventEndOfCheckSourcesB_5 + NotifyEventEndOfCheckSourcesB_6) : MAX(BlockedTasks) : MAX(MarkerRead) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6) : MAX(cIdleTasks) : MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6) : MAX(P_2318_1 + P_2318_2 + P_2318_3 + P_2318_4 + P_2318_5 + P_2318_6) : MAX(FetchJobB_6) : MAX(AbourtToModifySrc_1) : MAX(QueueJobE_5) : MAX(P_2318_4) : MAX(Idle_3) : MAX(NotifyEventJobQueuedB_4_2) : MAX(AwakeTasks_2) : MAX(NotifyEventSourceAddedE_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 216 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BlockedTasks)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MarkerRead)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 164384 markings, 198901 edges, 32877 markings/sec, 30 secs
lola: 326972 markings, 397864 edges, 32518 markings/sec, 35 secs
lola: 489188 markings, 595659 edges, 32443 markings/sec, 40 secs
lola: 651721 markings, 792460 edges, 32507 markings/sec, 45 secs
lola: 813092 markings, 989122 edges, 32274 markings/sec, 50 secs
lola: 972235 markings, 1188104 edges, 31829 markings/sec, 55 secs
lola: 1132246 markings, 1384830 edges, 32002 markings/sec, 60 secs
lola: 1291930 markings, 1581595 edges, 31937 markings/sec, 65 secs
lola: 1451106 markings, 1779054 edges, 31835 markings/sec, 70 secs
lola: 1610150 markings, 1975720 edges, 31809 markings/sec, 75 secs
lola: 1768642 markings, 2173071 edges, 31698 markings/sec, 80 secs
lola: 1927332 markings, 2368971 edges, 31738 markings/sec, 85 secs
lola: 2085269 markings, 2566315 edges, 31587 markings/sec, 90 secs
lola: 2243051 markings, 2763154 edges, 31556 markings/sec, 95 secs
lola: 2400849 markings, 2960324 edges, 31560 markings/sec, 100 secs
lola: 2558446 markings, 3157961 edges, 31519 markings/sec, 105 secs
lola: 2716064 markings, 3354429 edges, 31524 markings/sec, 110 secs
lola: 2873100 markings, 3551892 edges, 31407 markings/sec, 115 secs
lola: 3029788 markings, 3747403 edges, 31338 markings/sec, 120 secs
lola: 3187347 markings, 3943178 edges, 31512 markings/sec, 125 secs
lola: 3344642 markings, 4137597 edges, 31459 markings/sec, 130 secs
lola: 3501987 markings, 4333341 edges, 31469 markings/sec, 135 secs
lola: 3658958 markings, 4528552 edges, 31394 markings/sec, 140 secs
lola: 3815804 markings, 4723858 edges, 31369 markings/sec, 145 secs
lola: 3972860 markings, 4919193 edges, 31411 markings/sec, 150 secs
lola: 4129606 markings, 5113342 edges, 31349 markings/sec, 155 secs
lola: 4286929 markings, 5306111 edges, 31465 markings/sec, 160 secs
lola: 4443162 markings, 5498883 edges, 31247 markings/sec, 165 secs
lola: 4599994 markings, 5689724 edges, 31366 markings/sec, 170 secs
lola: 4756105 markings, 5881235 edges, 31222 markings/sec, 175 secs
lola: 4911736 markings, 6073312 edges, 31126 markings/sec, 180 secs
lola: 5068100 markings, 6262705 edges, 31273 markings/sec, 185 secs
lola: 5223351 markings, 6455646 edges, 31050 markings/sec, 190 secs
lola: 5379138 markings, 6645571 edges, 31157 markings/sec, 195 secs
lola: 5534486 markings, 6837629 edges, 31070 markings/sec, 200 secs
lola: 5689277 markings, 7029138 edges, 30958 markings/sec, 205 secs
lola: 5844890 markings, 7220903 edges, 31123 markings/sec, 210 secs
lola: 5999265 markings, 7411953 edges, 30875 markings/sec, 215 secs
lola: 6154599 markings, 7601008 edges, 31067 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 618596 KB
lola: time consumption: 344 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cIdleTasks)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 161816 markings, 183648 edges, 32363 markings/sec, 30 secs
lola: 317780 markings, 368196 edges, 31193 markings/sec, 35 secs
lola: 472224 markings, 550354 edges, 30889 markings/sec, 40 secs
lola: 624877 markings, 731672 edges, 30531 markings/sec, 45 secs
lola: 776083 markings, 913243 edges, 30241 markings/sec, 50 secs
lola: 925517 markings, 1093434 edges, 29887 markings/sec, 55 secs
lola: 1074667 markings, 1271923 edges, 29830 markings/sec, 60 secs
lola: 1223096 markings, 1449599 edges, 29686 markings/sec, 65 secs
lola: 1369693 markings, 1628224 edges, 29319 markings/sec, 70 secs
lola: 1516147 markings, 1806604 edges, 29291 markings/sec, 75 secs
lola: 1662696 markings, 1984156 edges, 29310 markings/sec, 80 secs
lola: 1808698 markings, 2162587 edges, 29200 markings/sec, 85 secs
lola: 1954226 markings, 2338721 edges, 29106 markings/sec, 90 secs
lola: 2099623 markings, 2515669 edges, 29079 markings/sec, 95 secs
lola: 2244131 markings, 2691260 edges, 28902 markings/sec, 100 secs
lola: 2388660 markings, 2867379 edges, 28906 markings/sec, 105 secs
lola: 2533422 markings, 3042106 edges, 28952 markings/sec, 110 secs
lola: 2677319 markings, 3216593 edges, 28779 markings/sec, 115 secs
lola: 2820254 markings, 3390233 edges, 28587 markings/sec, 120 secs
lola: 2963270 markings, 3563351 edges, 28603 markings/sec, 125 secs
lola: 3105133 markings, 3734170 edges, 28373 markings/sec, 130 secs
lola: 3247200 markings, 3905363 edges, 28413 markings/sec, 135 secs
lola: 3388274 markings, 4074927 edges, 28215 markings/sec, 140 secs
lola: 3528495 markings, 4243897 edges, 28044 markings/sec, 145 secs
lola: 3668787 markings, 4412736 edges, 28058 markings/sec, 150 secs
lola: 3809307 markings, 4581413 edges, 28104 markings/sec, 155 secs
lola: 3949841 markings, 4752184 edges, 28107 markings/sec, 160 secs
lola: 4089678 markings, 4923928 edges, 27967 markings/sec, 165 secs
lola: 4230311 markings, 5094140 edges, 28127 markings/sec, 170 secs
lola: 4370969 markings, 5266789 edges, 28132 markings/sec, 175 secs
lola: 4510496 markings, 5439281 edges, 27905 markings/sec, 180 secs
lola: 4649941 markings, 5610048 edges, 27889 markings/sec, 185 secs
lola: 4788607 markings, 5779976 edges, 27733 markings/sec, 190 secs
lola: 4927012 markings, 5950883 edges, 27681 markings/sec, 195 secs
lola: 5065332 markings, 6121014 edges, 27664 markings/sec, 200 secs
lola: 5203870 markings, 6290832 edges, 27708 markings/sec, 205 secs
lola: 5342803 markings, 6462550 edges, 27787 markings/sec, 210 secs
lola: 5480359 markings, 6633883 edges, 27511 markings/sec, 215 secs
lola: 5618448 markings, 6805181 edges, 27618 markings/sec, 220 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 571452 KB
lola: time consumption: 574 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 230 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobB_6)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 101 markings, 100 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 249 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AbourtToModifySrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AbourtToModifySrc_1)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 38 markings, 37 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobE_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobE_5)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 4
lola: 144073 markings, 171181 edges, 28815 markings/sec, 0 secs
lola: 299003 markings, 357092 edges, 30986 markings/sec, 5 secs
lola: 453355 markings, 542819 edges, 30870 markings/sec, 10 secs
lola: 606918 markings, 728406 edges, 30713 markings/sec, 15 secs
lola: 760023 markings, 914052 edges, 30621 markings/sec, 20 secs
lola: 910902 markings, 1096700 edges, 30176 markings/sec, 25 secs
lola: 1058594 markings, 1275342 edges, 29538 markings/sec, 30 secs
lola: 1206228 markings, 1453849 edges, 29527 markings/sec, 35 secs
lola: 1353623 markings, 1632166 edges, 29479 markings/sec, 40 secs
lola: 1500468 markings, 1810026 edges, 29369 markings/sec, 45 secs
lola: 1642495 markings, 1982596 edges, 28405 markings/sec, 50 secs
lola: 1793385 markings, 2165276 edges, 30178 markings/sec, 55 secs
lola: 1943927 markings, 2348425 edges, 30108 markings/sec, 60 secs
lola: 2094443 markings, 2531132 edges, 30103 markings/sec, 65 secs
lola: 2244984 markings, 2713614 edges, 30108 markings/sec, 70 secs
lola: 2395361 markings, 2895718 edges, 30075 markings/sec, 75 secs
lola: 2545452 markings, 3077070 edges, 30018 markings/sec, 80 secs
lola: 2695538 markings, 3259136 edges, 30017 markings/sec, 85 secs
lola: 2846059 markings, 3439528 edges, 30104 markings/sec, 90 secs
lola: 2996215 markings, 3617806 edges, 30031 markings/sec, 95 secs
lola: 3145965 markings, 3797792 edges, 29950 markings/sec, 100 secs
lola: 3296051 markings, 3976325 edges, 30017 markings/sec, 105 secs
lola: 3445423 markings, 4154251 edges, 29874 markings/sec, 110 secs
lola: 3596380 markings, 4333133 edges, 30191 markings/sec, 115 secs
lola: 3745492 markings, 4510865 edges, 29822 markings/sec, 120 secs
lola: 3896079 markings, 4686964 edges, 30117 markings/sec, 125 secs
lola: 4044491 markings, 4862856 edges, 29682 markings/sec, 130 secs
lola: 4194640 markings, 5041661 edges, 30030 markings/sec, 135 secs
lola: 4343630 markings, 5217919 edges, 29798 markings/sec, 140 secs
lola: 4492806 markings, 5393990 edges, 29835 markings/sec, 145 secs
lola: 4640539 markings, 5568259 edges, 29547 markings/sec, 150 secs
lola: 4787800 markings, 5743194 edges, 29452 markings/sec, 155 secs
lola: 4935882 markings, 5919119 edges, 29616 markings/sec, 160 secs
lola: 5082571 markings, 6093055 edges, 29338 markings/sec, 165 secs
lola: 5230025 markings, 6268849 edges, 29491 markings/sec, 170 secs
lola: 5376087 markings, 6443716 edges, 29212 markings/sec, 175 secs
lola: 5522439 markings, 6619888 edges, 29270 markings/sec, 180 secs
lola: 5667890 markings, 6796064 edges, 29090 markings/sec, 185 secs
lola: 5813483 markings, 6973195 edges, 29119 markings/sec, 190 secs
lola: 5960826 markings, 7149316 edges, 29469 markings/sec, 195 secs
lola: 6106007 markings, 7324236 edges, 29036 markings/sec, 200 secs
lola: 6250318 markings, 7501953 edges, 28862 markings/sec, 205 secs
lola: 6398081 markings, 7680309 edges, 29553 markings/sec, 210 secs
lola: 6541303 markings, 7853933 edges, 28644 markings/sec, 215 secs
lola: 6685520 markings, 8030166 edges, 28843 markings/sec, 220 secs
lola: 6828618 markings, 8203255 edges, 28620 markings/sec, 225 secs
lola: 6975203 markings, 8384446 edges, 29317 markings/sec, 230 secs
lola: 7120062 markings, 8562483 edges, 28972 markings/sec, 235 secs
lola: 7260739 markings, 8733856 edges, 28135 markings/sec, 240 secs
lola: 7401626 markings, 8910499 edges, 28177 markings/sec, 245 secs
lola: 7549018 markings, 9095387 edges, 29478 markings/sec, 250 secs
lola: 7688737 markings, 9263040 edges, 27944 markings/sec, 255 secs
lola: 7830857 markings, 9438281 edges, 28424 markings/sec, 260 secs
lola: 7975083 markings, 9616706 edges, 28845 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 740660 KB
lola: time consumption: 846 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_2318_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_2318_4)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 4
lola: 149154 markings, 177579 edges, 29831 markings/sec, 0 secs
lola: 305190 markings, 364367 edges, 31207 markings/sec, 5 secs
lola: 460380 markings, 551469 edges, 31038 markings/sec, 10 secs
lola: 614795 markings, 738056 edges, 30883 markings/sec, 15 secs
lola: 768665 markings, 925369 edges, 30774 markings/sec, 20 secs
lola: 881250 markings, 1062201 edges, 22517 markings/sec, 25 secs
lola: 1033852 markings, 1247757 edges, 30520 markings/sec, 30 secs
lola: 1186726 markings, 1433494 edges, 30575 markings/sec, 35 secs
lola: 1339120 markings, 1619405 edges, 30479 markings/sec, 40 secs
lola: 1491262 markings, 1804011 edges, 30428 markings/sec, 45 secs
lola: 1643636 markings, 1988715 edges, 30475 markings/sec, 50 secs
lola: 1795812 markings, 2173502 edges, 30435 markings/sec, 55 secs
lola: 1946642 markings, 2357039 edges, 30166 markings/sec, 60 secs
lola: 2098054 markings, 2540796 edges, 30282 markings/sec, 65 secs
lola: 2249142 markings, 2725043 edges, 30218 markings/sec, 70 secs
lola: 2400362 markings, 2908010 edges, 30244 markings/sec, 75 secs
lola: 2551380 markings, 3090487 edges, 30204 markings/sec, 80 secs
lola: 2701995 markings, 3273281 edges, 30123 markings/sec, 85 secs
lola: 2852823 markings, 3455510 edges, 30166 markings/sec, 90 secs
lola: 3004247 markings, 3638742 edges, 30285 markings/sec, 95 secs
lola: 3156979 markings, 3821235 edges, 30546 markings/sec, 100 secs
lola: 3308336 markings, 4002275 edges, 30271 markings/sec, 105 secs
lola: 3459381 markings, 4182513 edges, 30209 markings/sec, 110 secs
lola: 3610689 markings, 4363596 edges, 30262 markings/sec, 115 secs
lola: 3762148 markings, 4545327 edges, 30292 markings/sec, 120 secs
lola: 3912307 markings, 4724875 edges, 30032 markings/sec, 125 secs
lola: 4063339 markings, 4905572 edges, 30206 markings/sec, 130 secs
lola: 4213513 markings, 5085619 edges, 30035 markings/sec, 135 secs
lola: 4363366 markings, 5265694 edges, 29971 markings/sec, 140 secs
lola: 4513858 markings, 5446163 edges, 30098 markings/sec, 145 secs
lola: 4663377 markings, 5626871 edges, 29904 markings/sec, 150 secs
lola: 4810485 markings, 5805708 edges, 29422 markings/sec, 155 secs
lola: 4958067 markings, 5986359 edges, 29516 markings/sec, 160 secs
lola: 5106134 markings, 6166067 edges, 29613 markings/sec, 165 secs
lola: 5253397 markings, 6347092 edges, 29453 markings/sec, 170 secs
lola: 5400818 markings, 6528022 edges, 29484 markings/sec, 175 secs
lola: 5546731 markings, 6707738 edges, 29183 markings/sec, 180 secs
lola: 5693175 markings, 6886257 edges, 29289 markings/sec, 185 secs
lola: 5838665 markings, 7064353 edges, 29098 markings/sec, 190 secs
lola: 5984644 markings, 7243271 edges, 29196 markings/sec, 195 secs
lola: 6131768 markings, 7425285 edges, 29425 markings/sec, 200 secs
lola: 6278420 markings, 7603766 edges, 29330 markings/sec, 205 secs
lola: 6424690 markings, 7781414 edges, 29254 markings/sec, 210 secs
lola: 6571514 markings, 7959405 edges, 29365 markings/sec, 215 secs
lola: 6717143 markings, 8138022 edges, 29126 markings/sec, 220 secs
lola: 6855678 markings, 8306963 edges, 27707 markings/sec, 225 secs
lola: 7001984 markings, 8486330 edges, 29261 markings/sec, 230 secs
lola: 7146771 markings, 8665645 edges, 28957 markings/sec, 235 secs
lola: 7290615 markings, 8841967 edges, 28769 markings/sec, 240 secs
lola: 7435254 markings, 9017157 edges, 28928 markings/sec, 245 secs
lola: 7579264 markings, 9192998 edges, 28802 markings/sec, 250 secs
lola: 7724075 markings, 9370660 edges, 28962 markings/sec, 255 secs
lola: 7870023 markings, 9552700 edges, 29190 markings/sec, 260 secs
lola: 8013800 markings, 9725878 edges, 28755 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 747672 KB
lola: time consumption: 1118 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Idle_3)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 184639 markings, 196993 edges, 36928 markings/sec, 30 secs
lola: 366220 markings, 393921 edges, 36316 markings/sec, 35 secs
lola: 546892 markings, 592145 edges, 36134 markings/sec, 40 secs
lola: 726547 markings, 791671 edges, 35931 markings/sec, 45 secs
lola: 904999 markings, 989874 edges, 35690 markings/sec, 50 secs
lola: 1082545 markings, 1189906 edges, 35509 markings/sec, 55 secs
lola: 1258381 markings, 1388284 edges, 35167 markings/sec, 60 secs
lola: 1434108 markings, 1587873 edges, 35145 markings/sec, 65 secs
lola: 1607970 markings, 1785409 edges, 34772 markings/sec, 70 secs
lola: 1781775 markings, 1981265 edges, 34761 markings/sec, 75 secs
lola: 1955158 markings, 2177851 edges, 34677 markings/sec, 80 secs
lola: 2127444 markings, 2374965 edges, 34457 markings/sec, 85 secs
lola: 2297051 markings, 2570007 edges, 33921 markings/sec, 90 secs
lola: 2467906 markings, 2764349 edges, 34171 markings/sec, 95 secs
lola: 2637675 markings, 2960818 edges, 33954 markings/sec, 100 secs
lola: 2806059 markings, 3155201 edges, 33677 markings/sec, 105 secs
lola: 2975070 markings, 3349728 edges, 33802 markings/sec, 110 secs
lola: 3142139 markings, 3544073 edges, 33414 markings/sec, 115 secs
lola: 3310049 markings, 3740558 edges, 33582 markings/sec, 120 secs
lola: 3476974 markings, 3935781 edges, 33385 markings/sec, 125 secs
lola: 3643364 markings, 4130201 edges, 33278 markings/sec, 130 secs
lola: 3811995 markings, 4327076 edges, 33726 markings/sec, 135 secs
lola: 3978999 markings, 4524302 edges, 33401 markings/sec, 140 secs
lola: 4146053 markings, 4721082 edges, 33411 markings/sec, 145 secs
lola: 4311974 markings, 4917562 edges, 33184 markings/sec, 150 secs
lola: 4477647 markings, 5112663 edges, 33135 markings/sec, 155 secs
lola: 4643417 markings, 5309749 edges, 33154 markings/sec, 160 secs
lola: 4808944 markings, 5506600 edges, 33105 markings/sec, 165 secs
lola: 4975700 markings, 5703946 edges, 33351 markings/sec, 170 secs
lola: 5141877 markings, 5900426 edges, 33235 markings/sec, 175 secs
lola: 5304453 markings, 6094223 edges, 32515 markings/sec, 180 secs
lola: 5469206 markings, 6290673 edges, 32951 markings/sec, 185 secs
lola: 5633246 markings, 6486782 edges, 32808 markings/sec, 190 secs
lola: 5796820 markings, 6681853 edges, 32715 markings/sec, 195 secs
lola: 5961146 markings, 6876924 edges, 32865 markings/sec, 200 secs
lola: 6127490 markings, 7073325 edges, 33269 markings/sec, 205 secs
lola: 6290282 markings, 7268100 edges, 32558 markings/sec, 210 secs
lola: 6453490 markings, 7463411 edges, 32642 markings/sec, 215 secs
lola: 6616779 markings, 7657951 edges, 32658 markings/sec, 220 secs
lola: 6777823 markings, 7850616 edges, 32209 markings/sec, 225 secs
lola: 6941954 markings, 8045835 edges, 32826 markings/sec, 230 secs
lola: 7103759 markings, 8240833 edges, 32361 markings/sec, 235 secs
lola: 7264496 markings, 8434302 edges, 32147 markings/sec, 240 secs
lola: 7425689 markings, 8628745 edges, 32239 markings/sec, 245 secs
lola: 7588245 markings, 8824142 edges, 32511 markings/sec, 250 secs
lola: 7750593 markings, 9019893 edges, 32470 markings/sec, 255 secs
lola: 7911625 markings, 9214582 edges, 32206 markings/sec, 260 secs
lola: 8072339 markings, 9407693 edges, 32143 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 778960 KB
lola: time consumption: 1390 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_4_2)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 176954 markings, 209403 edges, 35391 markings/sec, 30 secs
lola: 350520 markings, 417607 edges, 34713 markings/sec, 35 secs
lola: 524108 markings, 626572 edges, 34718 markings/sec, 40 secs
lola: 696572 markings, 834611 edges, 34493 markings/sec, 45 secs
lola: 868197 markings, 1043290 edges, 34325 markings/sec, 50 secs
lola: 1039403 markings, 1250354 edges, 34241 markings/sec, 55 secs
lola: 1210076 markings, 1457466 edges, 34135 markings/sec, 60 secs
lola: 1380232 markings, 1663468 edges, 34031 markings/sec, 65 secs
lola: 1550093 markings, 1869535 edges, 33972 markings/sec, 70 secs
lola: 1719106 markings, 2074596 edges, 33803 markings/sec, 75 secs
lola: 1887269 markings, 2278102 edges, 33633 markings/sec, 80 secs
lola: 2054472 markings, 2480392 edges, 33441 markings/sec, 85 secs
lola: 2220374 markings, 2681410 edges, 33180 markings/sec, 90 secs
lola: 2385932 markings, 2882269 edges, 33112 markings/sec, 95 secs
lola: 2550694 markings, 3081102 edges, 32952 markings/sec, 100 secs
lola: 2715957 markings, 3281290 edges, 33053 markings/sec, 105 secs
lola: 2879724 markings, 3477977 edges, 32753 markings/sec, 110 secs
lola: 3043264 markings, 3674324 edges, 32708 markings/sec, 115 secs
lola: 3206774 markings, 3871516 edges, 32702 markings/sec, 120 secs
lola: 3368043 markings, 4064661 edges, 32254 markings/sec, 125 secs
lola: 3530868 markings, 4258183 edges, 32565 markings/sec, 130 secs
lola: 3692142 markings, 4453192 edges, 32255 markings/sec, 135 secs
lola: 3853854 markings, 4647256 edges, 32342 markings/sec, 140 secs
lola: 4015098 markings, 4839401 edges, 32249 markings/sec, 145 secs
lola: 4175519 markings, 5032625 edges, 32084 markings/sec, 150 secs
lola: 4336478 markings, 5225376 edges, 32192 markings/sec, 155 secs
lola: 4494307 markings, 5414769 edges, 31566 markings/sec, 160 secs
lola: 4654755 markings, 5606857 edges, 32090 markings/sec, 165 secs
lola: 4813840 markings, 5798783 edges, 31817 markings/sec, 170 secs
lola: 4972251 markings, 5990824 edges, 31682 markings/sec, 175 secs
lola: 5129739 markings, 6180236 edges, 31498 markings/sec, 180 secs
lola: 5288533 markings, 6371601 edges, 31759 markings/sec, 185 secs
lola: 5448677 markings, 6568015 edges, 32029 markings/sec, 190 secs
lola: 5608469 markings, 6761852 edges, 31958 markings/sec, 195 secs
lola: 5767855 markings, 6955587 edges, 31877 markings/sec, 200 secs
lola: 5925276 markings, 7147348 edges, 31484 markings/sec, 205 secs
lola: 6084669 markings, 7343032 edges, 31879 markings/sec, 210 secs
lola: 6242343 markings, 7533895 edges, 31535 markings/sec, 215 secs
lola: 6398142 markings, 7725677 edges, 31160 markings/sec, 220 secs
lola: 6556008 markings, 7917972 edges, 31573 markings/sec, 225 secs
lola: 6716022 markings, 8114476 edges, 32003 markings/sec, 230 secs
lola: 6873637 markings, 8305763 edges, 31523 markings/sec, 235 secs
lola: 7030243 markings, 8494376 edges, 31321 markings/sec, 240 secs
lola: 7183791 markings, 8679508 edges, 30710 markings/sec, 245 secs
lola: 7336156 markings, 8863582 edges, 30473 markings/sec, 250 secs
lola: 7493151 markings, 9057543 edges, 31399 markings/sec, 255 secs
lola: 7649413 markings, 9251642 edges, 31252 markings/sec, 260 secs
lola: 7802842 markings, 9438075 edges, 30686 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 738508 KB
lola: time consumption: 1662 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AwakeTasks_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AwakeTasks_2)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 182579 markings, 196703 edges, 36516 markings/sec, 30 secs
lola: 360941 markings, 392566 edges, 35672 markings/sec, 35 secs
lola: 530262 markings, 579367 edges, 33864 markings/sec, 40 secs
lola: 706681 markings, 777057 edges, 35284 markings/sec, 45 secs
lola: 883420 markings, 974039 edges, 35348 markings/sec, 50 secs
lola: 1056398 markings, 1168130 edges, 34596 markings/sec, 55 secs
lola: 1229882 markings, 1365550 edges, 34697 markings/sec, 60 secs
lola: 1402419 markings, 1560842 edges, 34507 markings/sec, 65 secs
lola: 1573075 markings, 1756671 edges, 34131 markings/sec, 70 secs
lola: 1743741 markings, 1951303 edges, 34133 markings/sec, 75 secs
lola: 1912272 markings, 2146155 edges, 33706 markings/sec, 80 secs
lola: 2080717 markings, 2340212 edges, 33689 markings/sec, 85 secs
lola: 2247077 markings, 2534307 edges, 33272 markings/sec, 90 secs
lola: 2413271 markings, 2728226 edges, 33239 markings/sec, 95 secs
lola: 2580407 markings, 2921643 edges, 33427 markings/sec, 100 secs
lola: 2745696 markings, 3115561 edges, 33058 markings/sec, 105 secs
lola: 2911568 markings, 3308519 edges, 33174 markings/sec, 110 secs
lola: 3077169 markings, 3500583 edges, 33120 markings/sec, 115 secs
lola: 3240781 markings, 3691897 edges, 32722 markings/sec, 120 secs
lola: 3403718 markings, 3881691 edges, 32587 markings/sec, 125 secs
lola: 3567132 markings, 4071894 edges, 32683 markings/sec, 130 secs
lola: 3727728 markings, 4263642 edges, 32119 markings/sec, 135 secs
lola: 3888873 markings, 4454974 edges, 32229 markings/sec, 140 secs
lola: 4050284 markings, 4646722 edges, 32282 markings/sec, 145 secs
lola: 4209959 markings, 4836601 edges, 31935 markings/sec, 150 secs
lola: 4371766 markings, 5031575 edges, 32361 markings/sec, 155 secs
lola: 4533492 markings, 5226053 edges, 32345 markings/sec, 160 secs
lola: 4695304 markings, 5419581 edges, 32362 markings/sec, 165 secs
lola: 4853548 markings, 5610850 edges, 31649 markings/sec, 170 secs
lola: 5015530 markings, 5803721 edges, 32396 markings/sec, 175 secs
lola: 5175661 markings, 5993599 edges, 32026 markings/sec, 180 secs
lola: 5334845 markings, 6184019 edges, 31837 markings/sec, 185 secs
lola: 5492810 markings, 6375093 edges, 31593 markings/sec, 190 secs
lola: 5651086 markings, 6565997 edges, 31655 markings/sec, 195 secs
lola: 5809849 markings, 6758297 edges, 31753 markings/sec, 200 secs
lola: 5969311 markings, 6951197 edges, 31892 markings/sec, 205 secs
lola: 6127260 markings, 7142068 edges, 31590 markings/sec, 210 secs
lola: 6283131 markings, 7332211 edges, 31174 markings/sec, 215 secs
lola: 6441128 markings, 7524849 edges, 31599 markings/sec, 220 secs
lola: 6598069 markings, 7716827 edges, 31388 markings/sec, 225 secs
lola: 6756467 markings, 7909671 edges, 31680 markings/sec, 230 secs
lola: 6914854 markings, 8101232 edges, 31677 markings/sec, 235 secs
lola: 7072869 markings, 8294171 edges, 31603 markings/sec, 240 secs
lola: 7229754 markings, 8488339 edges, 31377 markings/sec, 245 secs
lola: 7386111 markings, 8679179 edges, 31271 markings/sec, 250 secs
lola: 7542181 markings, 8872153 edges, 31214 markings/sec, 255 secs
lola: 7698945 markings, 9064721 edges, 31353 markings/sec, 260 secs
lola: 7855607 markings, 9255680 edges, 31332 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 759828 KB
lola: time consumption: 1934 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventSourceAddedE_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventSourceAddedE_3)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 175195 markings, 190633 edges, 35039 markings/sec, 30 secs
lola: 347439 markings, 380515 edges, 34449 markings/sec, 35 secs
lola: 518364 markings, 570612 edges, 34185 markings/sec, 40 secs
lola: 689080 markings, 760845 edges, 34143 markings/sec, 45 secs
lola: 857868 markings, 949356 edges, 33758 markings/sec, 50 secs
lola: 1026469 markings, 1139067 edges, 33720 markings/sec, 55 secs
lola: 1194157 markings, 1327912 edges, 33538 markings/sec, 60 secs
lola: 1360967 markings, 1515946 edges, 33362 markings/sec, 65 secs
lola: 1527183 markings, 1704566 edges, 33243 markings/sec, 70 secs
lola: 1691989 markings, 1892027 edges, 32961 markings/sec, 75 secs
lola: 1857090 markings, 2077829 edges, 33020 markings/sec, 80 secs
lola: 2020157 markings, 2264050 edges, 32613 markings/sec, 85 secs
lola: 2184379 markings, 2449730 edges, 32844 markings/sec, 90 secs
lola: 2345840 markings, 2635280 edges, 32292 markings/sec, 95 secs
lola: 2507815 markings, 2818042 edges, 32395 markings/sec, 100 secs
lola: 2667429 markings, 3000552 edges, 31923 markings/sec, 105 secs
lola: 2827519 markings, 3182799 edges, 32018 markings/sec, 110 secs
lola: 2985851 markings, 3365135 edges, 31666 markings/sec, 115 secs
lola: 3142826 markings, 3547578 edges, 31395 markings/sec, 120 secs
lola: 3301998 markings, 3731405 edges, 31834 markings/sec, 125 secs
lola: 3460936 markings, 3916035 edges, 31788 markings/sec, 130 secs
lola: 3618431 markings, 4098278 edges, 31499 markings/sec, 135 secs
lola: 3777321 markings, 4282668 edges, 31778 markings/sec, 140 secs
lola: 3936859 markings, 4467439 edges, 31908 markings/sec, 145 secs
lola: 4094123 markings, 4653018 edges, 31453 markings/sec, 150 secs
lola: 4252801 markings, 4837889 edges, 31736 markings/sec, 155 secs
lola: 4411430 markings, 5021224 edges, 31726 markings/sec, 160 secs
lola: 4568305 markings, 5206768 edges, 31375 markings/sec, 165 secs
lola: 4726161 markings, 5391019 edges, 31571 markings/sec, 170 secs
lola: 4883920 markings, 5576416 edges, 31552 markings/sec, 175 secs
lola: 5041089 markings, 5760829 edges, 31434 markings/sec, 180 secs
lola: 5197111 markings, 5943557 edges, 31204 markings/sec, 185 secs
lola: 5354610 markings, 6131527 edges, 31500 markings/sec, 190 secs
lola: 5510029 markings, 6315849 edges, 31084 markings/sec, 195 secs
lola: 5666789 markings, 6503293 edges, 31352 markings/sec, 200 secs
lola: 5823770 markings, 6687931 edges, 31396 markings/sec, 205 secs
lola: 5982392 markings, 6873552 edges, 31724 markings/sec, 210 secs
lola: 6139841 markings, 7060270 edges, 31490 markings/sec, 215 secs
lola: 6298237 markings, 7248191 edges, 31679 markings/sec, 220 secs
lola: 6459605 markings, 7435623 edges, 32274 markings/sec, 225 secs
lola: 6616038 markings, 7622605 edges, 31287 markings/sec, 230 secs
lola: 6773150 markings, 7809883 edges, 31422 markings/sec, 235 secs
lola: 6930703 markings, 7999130 edges, 31511 markings/sec, 240 secs
lola: 7080672 markings, 8179035 edges, 29994 markings/sec, 245 secs
lola: 7236607 markings, 8366638 edges, 31187 markings/sec, 250 secs
lola: 7393454 markings, 8555845 edges, 31369 markings/sec, 255 secs
lola: 7550595 markings, 8745550 edges, 31428 markings/sec, 260 secs
lola: 7705303 markings, 8934290 edges, 30942 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 736732 KB
lola: time consumption: 2207 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6)
lola: processed formula length: 176
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 50 markings, 49 edges

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4 + NotifyEventEndOfCheckSourcesB_5 + NotifyEventEndOfCheckSourcesB_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesB_1 + NotifyEventEndOfCheckSourcesB_2 + NotifyEventEndOfCheckSourcesB_3 + NotifyEventEndOfCheckSourcesB_4 + NotifyEventEndOfCheckSourcesB_5 + NotifyEventEndOfCheckSourcesB_6)
lola: processed formula length: 206
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 454 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6)
lola: processed formula length: 116
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 43 markings, 42 edges
lola: ========================================

FORMULA PolyORBLF-PT-S02J04T06-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 680 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-S02J04T06-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: Structural Bound: 4
lola: 150788 markings, 179508 edges, 30158 markings/sec, 0 secs
lola: 301670 markings, 361000 edges, 30176 markings/sec, 5 secs
lola: 445727 markings, 534565 edges, 28811 markings/sec, 10 secs
lola: 595765 markings, 716029 edges, 30008 markings/sec, 15 secs
lola: 745234 markings, 897941 edges, 29894 markings/sec, 20 secs
lola: 894238 markings, 1078431 edges, 29801 markings/sec, 25 secs
lola: 1043162 markings, 1258999 edges, 29785 markings/sec, 30 secs
lola: 1192159 markings, 1439305 edges, 29799 markings/sec, 35 secs
lola: 1340898 markings, 1619525 edges, 29748 markings/sec, 40 secs
lola: 1489094 markings, 1799427 edges, 29639 markings/sec, 45 secs
lola: 1637183 markings, 1979596 edges, 29618 markings/sec, 50 secs
lola: 1785165 markings, 2159134 edges, 29596 markings/sec, 55 secs
lola: 1932876 markings, 2338676 edges, 29542 markings/sec, 60 secs
lola: 2080532 markings, 2518239 edges, 29531 markings/sec, 65 secs
lola: 2228034 markings, 2697664 edges, 29500 markings/sec, 70 secs
lola: 2375769 markings, 2876493 edges, 29547 markings/sec, 75 secs
lola: 2523228 markings, 3054938 edges, 29492 markings/sec, 80 secs
lola: 2670684 markings, 3234334 edges, 29491 markings/sec, 85 secs
lola: 2818383 markings, 3411506 edges, 29540 markings/sec, 90 secs
lola: 2959486 markings, 3580825 edges, 28221 markings/sec, 95 secs
lola: 3106067 markings, 3756394 edges, 29316 markings/sec, 100 secs
lola: 3253912 markings, 3932835 edges, 29569 markings/sec, 105 secs
lola: 3400740 markings, 4107734 edges, 29366 markings/sec, 110 secs
lola: 3548371 markings, 4283022 edges, 29526 markings/sec, 115 secs
lola: 3695033 markings, 4458464 edges, 29332 markings/sec, 120 secs
lola: 3842683 markings, 4632043 edges, 29530 markings/sec, 125 secs
lola: 3988343 markings, 4804764 edges, 29132 markings/sec, 130 secs
lola: 4135816 markings, 4980658 edges, 29495 markings/sec, 135 secs
lola: 4281808 markings, 5154730 edges, 29198 markings/sec, 140 secs
lola: 4423027 markings, 5321513 edges, 28244 markings/sec, 145 secs
lola: 4569654 markings, 5494121 edges, 29325 markings/sec, 150 secs
lola: 4714298 markings, 5666172 edges, 28929 markings/sec, 155 secs
lola: 4854562 markings, 5832771 edges, 28053 markings/sec, 160 secs
lola: 4999145 markings, 6005993 edges, 28917 markings/sec, 165 secs
lola: 5144228 markings, 6178010 edges, 29017 markings/sec, 170 secs
lola: 5276317 markings, 6336840 edges, 26418 markings/sec, 175 secs
lola: 5419471 markings, 6509378 edges, 28631 markings/sec, 180 secs
lola: 5564050 markings, 6683917 edges, 28916 markings/sec, 185 secs
lola: 5706723 markings, 6857403 edges, 28535 markings/sec, 190 secs
lola: 5849921 markings, 7031928 edges, 28640 markings/sec, 195 secs
lola: 5993798 markings, 7204752 edges, 28775 markings/sec, 200 secs
lola: 6137649 markings, 7380469 edges, 28770 markings/sec, 205 secs
lola: 6279708 markings, 7556065 edges, 28412 markings/sec, 210 secs
lola: 6425080 markings, 7731196 edges, 29074 markings/sec, 215 secs
lola: 6565592 markings, 7902917 edges, 28102 markings/sec, 220 secs
lola: 6707237 markings, 8077175 edges, 28329 markings/sec, 225 secs
lola: 6847979 markings, 8248235 edges, 28148 markings/sec, 230 secs
lola: 6992212 markings, 8428168 edges, 28847 markings/sec, 235 secs
lola: 7134327 markings, 8604184 edges, 28423 markings/sec, 240 secs
lola: 7273019 markings, 8774230 edges, 27738 markings/sec, 245 secs
lola: 7412320 markings, 8949207 edges, 27860 markings/sec, 250 secs
lola: 7556729 markings, 9133268 edges, 28882 markings/sec, 255 secs
lola: 7696188 markings, 9302025 edges, 27892 markings/sec, 260 secs
lola: 7829001 markings, 9466156 edges, 26563 markings/sec, 265 secs
lola: 7970283 markings, 9641484 edges, 28256 markings/sec, 270 secs
lola: 8107983 markings, 9809978 edges, 27540 markings/sec, 275 secs
lola: 8250857 markings, 9987817 edges, 28575 markings/sec, 280 secs
lola: 8390162 markings, 10158996 edges, 27861 markings/sec, 285 secs
lola: 8529164 markings, 10332587 edges, 27800 markings/sec, 290 secs
lola: 8670027 markings, 10504231 edges, 28173 markings/sec, 295 secs
lola: 8809786 markings, 10679583 edges, 27952 markings/sec, 300 secs
lola: 8949584 markings, 10857137 edges, 27960 markings/sec, 305 secs
lola: 9091211 markings, 11030393 edges, 28325 markings/sec, 310 secs
lola: 9231511 markings, 11209954 edges, 28060 markings/sec, 315 secs
lola: 9368778 markings, 11379904 edges, 27453 markings/sec, 320 secs
lola: 9507942 markings, 11548269 edges, 27833 markings/sec, 325 secs
lola: 9644620 markings, 11715281 edges, 27336 markings/sec, 330 secs
lola: 9783655 markings, 11889689 edges, 27807 markings/sec, 335 secs
lola: 9923631 markings, 12064616 edges, 27995 markings/sec, 340 secs
lola: 10061843 markings, 12235562 edges, 27642 markings/sec, 345 secs
lola: 10200861 markings, 12408513 edges, 27804 markings/sec, 350 secs
lola: 10336457 markings, 12577692 edges, 27119 markings/sec, 355 secs
lola: 10476001 markings, 12754598 edges, 27909 markings/sec, 360 secs
lola: 10617235 markings, 12932492 edges, 28247 markings/sec, 365 secs
lola: 10754881 markings, 13109564 edges, 27529 markings/sec, 370 secs
lola: 10894221 markings, 13282435 edges, 27868 markings/sec, 375 secs
lola: 11033188 markings, 13460568 edges, 27793 markings/sec, 380 secs
lola: 11174698 markings, 13645768 edges, 28302 markings/sec, 385 secs
lola: 11312758 markings, 13826452 edges, 27612 markings/sec, 390 secs
lola: 11449807 markings, 13999713 edges, 27410 markings/sec, 395 secs
lola: 11588120 markings, 14174009 edges, 27663 markings/sec, 400 secs
lola: 11728026 markings, 14354046 edges, 27981 markings/sec, 405 secs
lola: 11866369 markings, 14534190 edges, 27669 markings/sec, 410 secs
lola: 12006667 markings, 14712850 edges, 28060 markings/sec, 415 secs
lola: 12142992 markings, 14890110 edges, 27265 markings/sec, 420 secs
lola: 12280950 markings, 15061478 edges, 27592 markings/sec, 425 secs
lola: 12419350 markings, 15239511 edges, 27680 markings/sec, 430 secs
lola: 12557722 markings, 15418630 edges, 27674 markings/sec, 435 secs
lola: 12696079 markings, 15593611 edges, 27671 markings/sec, 440 secs
lola: 12836998 markings, 15774550 edges, 28184 markings/sec, 445 secs
lola: 12974543 markings, 15953564 edges, 27509 markings/sec, 450 secs
lola: 13111585 markings, 16130553 edges, 27408 markings/sec, 455 secs
lola: 13247821 markings, 16302143 edges, 27247 markings/sec, 460 secs
lola: 13386503 markings, 16483720 edges, 27736 markings/sec, 465 secs
lola: 13525338 markings, 16661264 edges, 27767 markings/sec, 470 secs
lola: 13664952 markings, 16840996 edges, 27923 markings/sec, 475 secs
lola: 13801814 markings, 17013539 edges, 27372 markings/sec, 480 secs
lola: 13941279 markings, 17193474 edges, 27893 markings/sec, 485 secs
lola: 14083441 markings, 17380815 edges, 28432 markings/sec, 490 secs
lola: 14221180 markings, 17566183 edges, 27548 markings/sec, 495 secs
lola: 14360211 markings, 17745267 edges, 27806 markings/sec, 500 secs
lola: 14497266 markings, 17918779 edges, 27411 markings/sec, 505 secs
lola: 14638184 markings, 18102981 edges, 28184 markings/sec, 510 secs
lola: 14776222 markings, 18285157 edges, 27608 markings/sec, 515 secs
lola: 14916132 markings, 18460187 edges, 27982 markings/sec, 520 secs
lola: 15056679 markings, 18644555 edges, 28109 markings/sec, 525 secs
lola: 15193188 markings, 18816771 edges, 27302 markings/sec, 530 secs
lola: 15331819 markings, 18993804 edges, 27726 markings/sec, 535 secs
lola: 15468856 markings, 19172826 edges, 27407 markings/sec, 540 secs
lola: 15607100 markings, 19353253 edges, 27649 markings/sec, 545 secs
lola: 15748244 markings, 19555667 edges, 28229 markings/sec, 550 secs
lola: 15889669 markings, 19760810 edges, 28285 markings/sec, 555 secs
lola: 16028277 markings, 19939283 edges, 27722 markings/sec, 560 secs
lola: 16158997 markings, 20101575 edges, 26144 markings/sec, 565 secs
lola: 16303885 markings, 20305531 edges, 28978 markings/sec, 570 secs
lola: 16443427 markings, 20489579 edges, 27908 markings/sec, 575 secs
lola: 16583573 markings, 20681273 edges, 28029 markings/sec, 580 secs
lola: 16722676 markings, 20872441 edges, 27821 markings/sec, 585 secs
lola: 16859432 markings, 21052092 edges, 27351 markings/sec, 590 secs
lola: 16997145 markings, 21233143 edges, 27543 markings/sec, 595 secs
lola: 17133635 markings, 21406866 edges, 27298 markings/sec, 600 secs
lola: 17269744 markings, 21587528 edges, 27222 markings/sec, 605 secs
lola: 17412255 markings, 21773846 edges, 28502 markings/sec, 610 secs
lola: 17554271 markings, 21973046 edges, 28403 markings/sec, 615 secs
lola: 17697766 markings, 22186035 edges, 28699 markings/sec, 620 secs
lola: 17836729 markings, 22376870 edges, 27793 markings/sec, 625 secs
lola: 17974568 markings, 22555954 edges, 27568 markings/sec, 630 secs
lola: 18116295 markings, 22749655 edges, 28345 markings/sec, 635 secs
lola: 18259705 markings, 22969524 edges, 28682 markings/sec, 640 secs
lola: 18400773 markings, 23170405 edges, 28214 markings/sec, 645 secs
lola: 18543193 markings, 23364909 edges, 28484 markings/sec, 650 secs
lola: 18685950 markings, 23567477 edges, 28551 markings/sec, 655 secs
lola: 18827123 markings, 23768059 edges, 28235 markings/sec, 660 secs
lola: 18968854 markings, 23963767 edges, 28346 markings/sec, 665 secs
lola: 19110514 markings, 24159292 edges, 28332 markings/sec, 670 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1630124 KB
lola: time consumption: 2889 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_2 + DisablePollingE_1_1)
lola: processed formula length: 266
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S02J04T06-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: 188687 markings, 207098 edges, 37737 markings/sec, 30 secs
lola: 375142 markings, 413798 edges, 37291 markings/sec, 35 secs
lola: 560122 markings, 619951 edges, 36996 markings/sec, 40 secs
lola: 743880 markings, 823962 edges, 36752 markings/sec, 45 secs
lola: 926956 markings, 1028087 edges, 36615 markings/sec, 50 secs
lola: 1107904 markings, 1230298 edges, 36190 markings/sec, 55 secs
lola: 1287553 markings, 1431772 edges, 35930 markings/sec, 60 secs
lola: 1465441 markings, 1630693 edges, 35578 markings/sec, 65 secs
lola: 1641855 markings, 1829450 edges, 35283 markings/sec, 70 secs
lola: 1817919 markings, 2028358 edges, 35213 markings/sec, 75 secs
lola: 1990822 markings, 2224131 edges, 34581 markings/sec, 80 secs
lola: 2162530 markings, 2419263 edges, 34342 markings/sec, 85 secs
lola: 2332178 markings, 2612597 edges, 33930 markings/sec, 90 secs
lola: 2498362 markings, 2802475 edges, 33237 markings/sec, 95 secs
lola: 2662649 markings, 2992135 edges, 32857 markings/sec, 100 secs
lola: 2829093 markings, 3182513 edges, 33289 markings/sec, 105 secs
lola: 2993036 markings, 3370765 edges, 32789 markings/sec, 110 secs
lola: 3156380 markings, 3558737 edges, 32669 markings/sec, 115 secs
lola: 3318579 markings, 3747640 edges, 32440 markings/sec, 120 secs
lola: 3481025 markings, 3936371 edges, 32489 markings/sec, 125 secs
lola: 3639438 markings, 4121904 edges, 31683 markings/sec, 130 secs
lola: 3798235 markings, 4308189 edges, 31759 markings/sec, 135 secs
lola: 3958138 markings, 4496310 edges, 31981 markings/sec, 140 secs
lola: 4118002 markings, 4683942 edges, 31973 markings/sec, 145 secs
lola: 4276790 markings, 4871336 edges, 31758 markings/sec, 150 secs
lola: 4436625 markings, 5062404 edges, 31967 markings/sec, 155 secs
lola: 4594913 markings, 5250639 edges, 31658 markings/sec, 160 secs
lola: 4751638 markings, 5437461 edges, 31345 markings/sec, 165 secs
lola: 4909934 markings, 5626346 edges, 31659 markings/sec, 170 secs
lola: 5069147 markings, 5815625 edges, 31843 markings/sec, 175 secs
lola: 5228441 markings, 6005601 edges, 31859 markings/sec, 180 secs
lola: 5385766 markings, 6194134 edges, 31465 markings/sec, 185 secs
lola: 5544370 markings, 6383193 edges, 31721 markings/sec, 190 secs
lola: 5704250 markings, 6576286 edges, 31976 markings/sec, 195 secs
lola: 5861670 markings, 6765040 edges, 31484 markings/sec, 200 secs
lola: 6020501 markings, 6955325 edges, 31766 markings/sec, 205 secs
lola: 6179797 markings, 7147391 edges, 31859 markings/sec, 210 secs
lola: 6338806 markings, 7339006 edges, 31802 markings/sec, 215 secs
lola: 6496961 markings, 7529944 edges, 31631 markings/sec, 220 secs
lola: 6656070 markings, 7723753 edges, 31822 markings/sec, 225 secs
lola: 6814399 markings, 7916797 edges, 31666 markings/sec, 230 secs
lola: 6974424 markings, 8110903 edges, 32005 markings/sec, 235 secs
lola: 7132670 markings, 8304006 edges, 31649 markings/sec, 240 secs
lola: 7292094 markings, 8496152 edges, 31885 markings/sec, 245 secs
lola: 7453016 markings, 8690726 edges, 32184 markings/sec, 250 secs
lola: 7613713 markings, 8885968 edges, 32139 markings/sec, 255 secs
lola: 7774490 markings, 9079761 edges, 32155 markings/sec, 260 secs
lola: 7935668 markings, 9275456 edges, 32236 markings/sec, 265 secs
lola: 8096558 markings, 9471404 edges, 32178 markings/sec, 270 secs
lola: 8256603 markings, 9666436 edges, 32009 markings/sec, 275 secs
lola: 8417243 markings, 9866103 edges, 32128 markings/sec, 280 secs
lola: 8575519 markings, 10062197 edges, 31655 markings/sec, 285 secs
lola: 8734459 markings, 10258088 edges, 31788 markings/sec, 290 secs
lola: 8895848 markings, 10457641 edges, 32278 markings/sec, 295 secs
lola: 9057065 markings, 10654983 edges, 32243 markings/sec, 300 secs
lola: 9220096 markings, 10855229 edges, 32606 markings/sec, 305 secs
lola: 9380219 markings, 11052934 edges, 32025 markings/sec, 310 secs
lola: 9542431 markings, 11249246 edges, 32442 markings/sec, 315 secs
lola: 9704649 markings, 11448242 edges, 32444 markings/sec, 320 secs
lola: 9865563 markings, 11642449 edges, 32183 markings/sec, 325 secs
lola: 10020732 markings, 11837384 edges, 31034 markings/sec, 330 secs
lola: 10182156 markings, 12035414 edges, 32285 markings/sec, 335 secs
lola: 10343250 markings, 12229311 edges, 32219 markings/sec, 340 secs
lola: 10497540 markings, 12418855 edges, 30858 markings/sec, 345 secs
lola: 10658827 markings, 12616114 edges, 32257 markings/sec, 350 secs
lola: 10813262 markings, 12807022 edges, 30887 markings/sec, 355 secs
lola: 10969164 markings, 12999545 edges, 31180 markings/sec, 360 secs
lola: 11126100 markings, 13195486 edges, 31387 markings/sec, 365 secs
lola: 11282079 markings, 13389398 edges, 31196 markings/sec, 370 secs
lola: 11440233 markings, 13580380 edges, 31631 markings/sec, 375 secs
lola: 11599349 markings, 13772978 edges, 31823 markings/sec, 380 secs
lola: 11751613 markings, 13970572 edges, 30453 markings/sec, 385 secs
lola: 11902182 markings, 14163378 edges, 30114 markings/sec, 390 secs
lola: 12052534 markings, 14359558 edges, 30070 markings/sec, 395 secs
lola: 12202305 markings, 14551569 edges, 29954 markings/sec, 400 secs
lola: 12351867 markings, 14739089 edges, 29912 markings/sec, 405 secs
lola: 12499271 markings, 14931741 edges, 29481 markings/sec, 410 secs
lola: 12649099 markings, 15120858 edges, 29966 markings/sec, 415 secs
lola: 12803513 markings, 15311075 edges, 30883 markings/sec, 420 secs
lola: 12954134 markings, 15504109 edges, 30124 markings/sec, 425 secs
lola: 13104323 markings, 15696424 edges, 30038 markings/sec, 430 secs
lola: 13254514 markings, 15885880 edges, 30038 markings/sec, 435 secs
lola: 13407836 markings, 16072051 edges, 30664 markings/sec, 440 secs
lola: 13556111 markings, 16261685 edges, 29655 markings/sec, 445 secs
lola: 13708127 markings, 16453630 edges, 30403 markings/sec, 450 secs
lola: 13861109 markings, 16645162 edges, 30596 markings/sec, 455 secs
lola: 14007380 markings, 16841202 edges, 29254 markings/sec, 460 secs
lola: 14153475 markings, 17030945 edges, 29219 markings/sec, 465 secs
lola: 14303719 markings, 17220195 edges, 30049 markings/sec, 470 secs
lola: 14452799 markings, 17415122 edges, 29816 markings/sec, 475 secs
lola: 14599698 markings, 17613450 edges, 29380 markings/sec, 480 secs
lola: 14748976 markings, 17801754 edges, 29856 markings/sec, 485 secs
lola: 14898043 markings, 17991687 edges, 29813 markings/sec, 490 secs
lola: 15046965 markings, 18179435 edges, 29784 markings/sec, 495 secs
lola: 15193902 markings, 18382001 edges, 29387 markings/sec, 500 secs
lola: 15343370 markings, 18574704 edges, 29894 markings/sec, 505 secs
lola: 15487769 markings, 18761675 edges, 28880 markings/sec, 510 secs
lola: 15636841 markings, 18951716 edges, 29814 markings/sec, 515 secs
lola: 15790183 markings, 19140360 edges, 30668 markings/sec, 520 secs
lola: 15940685 markings, 19336494 edges, 30100 markings/sec, 525 secs
lola: 16086608 markings, 19546305 edges, 29185 markings/sec, 530 secs
lola: 16236510 markings, 19741922 edges, 29980 markings/sec, 535 secs
lola: 16386214 markings, 19932551 edges, 29941 markings/sec, 540 secs
lola: 16533147 markings, 20124989 edges, 29387 markings/sec, 545 secs
lola: 16680672 markings, 20322477 edges, 29505 markings/sec, 550 secs
lola: 16830557 markings, 20514023 edges, 29977 markings/sec, 555 secs
lola: 16979234 markings, 20714871 edges, 29735 markings/sec, 560 secs
lola: 17125088 markings, 20907112 edges, 29171 markings/sec, 565 secs
lola: 17272843 markings, 21115791 edges, 29551 markings/sec, 570 secs
lola: 17418978 markings, 21315647 edges, 29227 markings/sec, 575 secs
lola: 17564375 markings, 21509738 edges, 29079 markings/sec, 580 secs
lola: 17711755 markings, 21708815 edges, 29476 markings/sec, 585 secs
lola: 17857852 markings, 21897025 edges, 29219 markings/sec, 590 secs
lola: 18003201 markings, 22087692 edges, 29070 markings/sec, 595 secs
lola: 18147521 markings, 22284546 edges, 28864 markings/sec, 600 secs
lola: 18294087 markings, 22490195 edges, 29313 markings/sec, 605 secs
lola: 18438049 markings, 22688161 edges, 28792 markings/sec, 610 secs
lola: 18584093 markings, 22882426 edges, 29209 markings/sec, 615 secs
lola: 18728664 markings, 23079469 edges, 28914 markings/sec, 620 secs
lola: 18872442 markings, 23276176 edges, 28756 markings/sec, 625 secs
lola: 19018484 markings, 23474022 edges, 29208 markings/sec, 630 secs
lola: 19166444 markings, 23672579 edges, 29592 markings/sec, 635 secs
lola: 19312416 markings, 23867826 edges, 29194 markings/sec, 640 secs
lola: 19458572 markings, 24055334 edges, 29231 markings/sec, 645 secs
lola: 19603216 markings, 24244835 edges, 28929 markings/sec, 650 secs
lola: 19754193 markings, 24432385 edges, 30195 markings/sec, 655 secs
lola: 19899799 markings, 24622679 edges, 29121 markings/sec, 660 secs
lola: 20041219 markings, 24826115 edges, 28284 markings/sec, 665 secs
lola: 20186808 markings, 25029451 edges, 29118 markings/sec, 670 secs
lola: 20329400 markings, 25228785 edges, 28518 markings/sec, 675 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1746204 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1746204 KB
lola: time consumption: 3570 seconds

BK_STOP 1552949164377

--------------------
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-S02J04T06"
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-S02J04T06, 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-155272326100082"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J04T06.tgz
mv PolyORBLF-PT-S02J04T06 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 ;