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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.5M
-rw-r--r-- 1 mcc users 13K Feb 12 09:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 12 09:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 8 09:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 8 09:46 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 6.6K Feb 5 00:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 5 00:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 4 22:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 4 22:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 4 12:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 4 12:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 1 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 1 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.6K 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 5.0M 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-S04J06T08-UpperBounds-00
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-01
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-02
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-03
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-04
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-05
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-06
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-07
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-08
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-09
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-10
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-11
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-12
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-13
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-14
FORMULA_NAME PolyORBLF-PT-S04J06T08-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552989318757

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S04J06T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S04J06T08 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S04J06T08 @ 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: 5060/65536 symbol table entries, 1254 collisions
lola: preprocessing...
lola: Size of bit vector: 25344
lola: finding significant places
lola: 792 places, 4268 transitions, 734 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2899 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S04J06T08-UpperBounds.task
lola: MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6 + NotifyEventSourceAddedB_7 + NotifyEventSourceAddedB_8) : MAX(MarkerWrite) : MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8) : MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6 + EnablePollingE_7 + EnablePollingE_8) : MAX(P_1097) : MAX(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_2_5 + NotifyEventJobQueuedB_2_6 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_3_5 + NotifyEventJobQueuedB_3_6 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + NotifyEventJobQueuedB_4_4 + NotifyEventJobQueuedB_4_5 + NotifyEventJobQueuedB_4_6 + NotifyEventJobQueuedB_5_0 + NotifyEventJobQueuedB_5_1 + NotifyEventJobQueuedB_5_2 + NotifyEventJobQueuedB_5_3 + NotifyEventJobQueuedB_5_4 + NotifyEventJobQueuedB_5_5 + NotifyEventJobQueuedB_5_6 + NotifyEventJobQueuedB_6_0 + NotifyEventJobQueuedB_6_1 + NotifyEventJobQueuedB_6_2 + NotifyEventJobQueuedB_6_3 + NotifyEventJobQueuedB_6_4 + NotifyEventJobQueuedB_6_5 + NotifyEventJobQueuedB_6_6 + NotifyEventJobQueuedB_7_0 + NotifyEventJobQueuedB_7_1 + NotifyEventJobQueuedB_7_2 + NotifyEventJobQueuedB_7_3 + NotifyEventJobQueuedB_7_4 + NotifyEventJobQueuedB_7_5 + NotifyEventJobQueuedB_7_6 + NotifyEventJobQueuedB_8_0 + NotifyEventJobQueuedB_8_1 + NotifyEventJobQueuedB_8_2 + NotifyEventJobQueuedB_8_3 + NotifyEventJobQueuedB_8_4 + NotifyEventJobQueuedB_8_5 + NotifyEventJobQueuedB_8_6 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4 + NotifyEventJobQueuedB_1_5 + NotifyEventJobQueuedB_1_6) : MAX(cIdleTasks) : MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8) : MAX(ProcessingEvt_7) : MAX(nyo_4) : MAX(NotifyEventJobQueuedB_6_3) : MAX(NotifyEventSourceAddedB_2) : MAX(ScheduleTaskE_Work_8_3) : MAX(PlaceSources_4) : MAX(CreatedJobs_1_2) : MAX(QueueJobB_6_2)
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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MarkerWrite)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 21489 markings, 23751 edges, 4298 markings/sec, 30 secs
lola: 43004 markings, 48472 edges, 4303 markings/sec, 35 secs
lola: 64505 markings, 73722 edges, 4300 markings/sec, 40 secs
lola: 85932 markings, 99198 edges, 4285 markings/sec, 45 secs
lola: 107333 markings, 124918 edges, 4280 markings/sec, 50 secs
lola: 127282 markings, 148866 edges, 3990 markings/sec, 55 secs
lola: 148679 markings, 174517 edges, 4279 markings/sec, 60 secs
lola: 170102 markings, 200496 edges, 4285 markings/sec, 65 secs
lola: 189894 markings, 225164 edges, 3958 markings/sec, 70 secs
lola: 211026 markings, 251183 edges, 4226 markings/sec, 75 secs
lola: 232351 markings, 277365 edges, 4265 markings/sec, 80 secs
lola: 252530 markings, 302787 edges, 4036 markings/sec, 85 secs
lola: 273747 markings, 329455 edges, 4243 markings/sec, 90 secs
lola: 295018 markings, 356529 edges, 4254 markings/sec, 95 secs
lola: 316248 markings, 383641 edges, 4246 markings/sec, 100 secs
lola: 337483 markings, 410783 edges, 4247 markings/sec, 105 secs
lola: 358749 markings, 437943 edges, 4253 markings/sec, 110 secs
lola: 379964 markings, 464734 edges, 4243 markings/sec, 115 secs
lola: 401214 markings, 491478 edges, 4250 markings/sec, 120 secs
lola: 422464 markings, 518035 edges, 4250 markings/sec, 125 secs
lola: 443698 markings, 545208 edges, 4247 markings/sec, 130 secs
lola: 464939 markings, 572518 edges, 4248 markings/sec, 135 secs
lola: 486156 markings, 599084 edges, 4243 markings/sec, 140 secs
lola: 507431 markings, 625867 edges, 4255 markings/sec, 145 secs
lola: 528617 markings, 653125 edges, 4237 markings/sec, 150 secs
lola: 549846 markings, 680796 edges, 4246 markings/sec, 155 secs
lola: 571094 markings, 707729 edges, 4250 markings/sec, 160 secs
lola: 591472 markings, 734111 edges, 4076 markings/sec, 165 secs
lola: 612981 markings, 762246 edges, 4302 markings/sec, 170 secs
lola: 634451 markings, 790414 edges, 4294 markings/sec, 175 secs
lola: 655999 markings, 818320 edges, 4310 markings/sec, 180 secs
lola: 677490 markings, 846053 edges, 4298 markings/sec, 185 secs
lola: 698968 markings, 873928 edges, 4296 markings/sec, 190 secs
lola: 720427 markings, 902387 edges, 4292 markings/sec, 195 secs
lola: 741922 markings, 929926 edges, 4299 markings/sec, 200 secs
lola: 763449 markings, 958068 edges, 4305 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: 143580 KB
lola: time consumption: 373 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-S04J06T08-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: 24112 markings, 26484 edges, 4822 markings/sec, 30 secs
lola: 48403 markings, 53850 edges, 4858 markings/sec, 35 secs
lola: 72786 markings, 81964 edges, 4877 markings/sec, 40 secs
lola: 97019 markings, 110249 edges, 4847 markings/sec, 45 secs
lola: 121234 markings, 138980 edges, 4843 markings/sec, 50 secs
lola: 145349 markings, 167656 edges, 4823 markings/sec, 55 secs
lola: 169503 markings, 196570 edges, 4831 markings/sec, 60 secs
lola: 193706 markings, 226275 edges, 4841 markings/sec, 65 secs
lola: 217777 markings, 255867 edges, 4814 markings/sec, 70 secs
lola: 241770 markings, 285654 edges, 4799 markings/sec, 75 secs
lola: 265931 markings, 315336 edges, 4832 markings/sec, 80 secs
lola: 289992 markings, 345252 edges, 4812 markings/sec, 85 secs
lola: 314056 markings, 374884 edges, 4813 markings/sec, 90 secs
lola: 338029 markings, 404710 edges, 4795 markings/sec, 95 secs
lola: 362087 markings, 434179 edges, 4812 markings/sec, 100 secs
lola: 386204 markings, 464247 edges, 4823 markings/sec, 105 secs
lola: 410461 markings, 494921 edges, 4851 markings/sec, 110 secs
lola: 434528 markings, 525026 edges, 4813 markings/sec, 115 secs
lola: 458621 markings, 555092 edges, 4819 markings/sec, 120 secs
lola: 482733 markings, 586009 edges, 4822 markings/sec, 125 secs
lola: 506811 markings, 616019 edges, 4816 markings/sec, 130 secs
lola: 530931 markings, 646823 edges, 4824 markings/sec, 135 secs
lola: 555022 markings, 677116 edges, 4818 markings/sec, 140 secs
lola: 579082 markings, 707697 edges, 4812 markings/sec, 145 secs
lola: 603007 markings, 737700 edges, 4785 markings/sec, 150 secs
lola: 627109 markings, 768108 edges, 4820 markings/sec, 155 secs
lola: 651084 markings, 798636 edges, 4795 markings/sec, 160 secs
lola: 675174 markings, 829725 edges, 4818 markings/sec, 165 secs
lola: 699112 markings, 860496 edges, 4788 markings/sec, 170 secs
lola: 723132 markings, 891073 edges, 4804 markings/sec, 175 secs
lola: 747166 markings, 921841 edges, 4807 markings/sec, 180 secs
lola: 771158 markings, 952847 edges, 4798 markings/sec, 185 secs
lola: 795277 markings, 984915 edges, 4824 markings/sec, 190 secs
lola: 819430 markings, 1016575 edges, 4831 markings/sec, 195 secs
lola: 843496 markings, 1047210 edges, 4813 markings/sec, 200 secs
lola: 867437 markings, 1077479 edges, 4788 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: 161268 KB
lola: time consumption: 586 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(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-S04J06T08-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: 24039 markings, 26632 edges, 4808 markings/sec, 30 secs
lola: 47468 markings, 53452 edges, 4686 markings/sec, 35 secs
lola: 70761 markings, 79174 edges, 4659 markings/sec, 40 secs
lola: 94073 markings, 104814 edges, 4662 markings/sec, 45 secs
lola: 116999 markings, 130265 edges, 4585 markings/sec, 50 secs
lola: 138959 markings, 155051 edges, 4392 markings/sec, 55 secs
lola: 161486 markings, 180829 edges, 4505 markings/sec, 60 secs
lola: 183754 markings, 205961 edges, 4454 markings/sec, 65 secs
lola: 206368 markings, 232221 edges, 4523 markings/sec, 70 secs
lola: 228767 markings, 257314 edges, 4480 markings/sec, 75 secs
lola: 251190 markings, 283287 edges, 4485 markings/sec, 80 secs
lola: 273546 markings, 308673 edges, 4471 markings/sec, 85 secs
lola: 295955 markings, 334961 edges, 4482 markings/sec, 90 secs
lola: 318200 markings, 360933 edges, 4449 markings/sec, 95 secs
lola: 340472 markings, 387484 edges, 4454 markings/sec, 100 secs
lola: 362872 markings, 414106 edges, 4480 markings/sec, 105 secs
lola: 384704 markings, 439480 edges, 4366 markings/sec, 110 secs
lola: 406586 markings, 465833 edges, 4376 markings/sec, 115 secs
lola: 428022 markings, 492695 edges, 4287 markings/sec, 120 secs
lola: 450107 markings, 519297 edges, 4417 markings/sec, 125 secs
lola: 472365 markings, 545071 edges, 4452 markings/sec, 130 secs
lola: 494562 markings, 571941 edges, 4439 markings/sec, 135 secs
lola: 516787 markings, 600953 edges, 4445 markings/sec, 140 secs
lola: 538416 markings, 628071 edges, 4326 markings/sec, 145 secs
lola: 560148 markings, 654875 edges, 4346 markings/sec, 150 secs
lola: 581914 markings, 682353 edges, 4353 markings/sec, 155 secs
lola: 603707 markings, 709501 edges, 4359 markings/sec, 160 secs
lola: 625406 markings, 736875 edges, 4340 markings/sec, 165 secs
lola: 647551 markings, 762505 edges, 4429 markings/sec, 170 secs
lola: 669444 markings, 787947 edges, 4379 markings/sec, 175 secs
lola: 691715 markings, 814082 edges, 4454 markings/sec, 180 secs
lola: 713371 markings, 839936 edges, 4331 markings/sec, 185 secs
lola: 734058 markings, 866258 edges, 4137 markings/sec, 190 secs
lola: 756385 markings, 893330 edges, 4465 markings/sec, 195 secs
lola: 778777 markings, 921162 edges, 4478 markings/sec, 200 secs
lola: 800909 markings, 949513 edges, 4426 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: 144636 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(ProcessingEvt_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ProcessingEvt_7)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 24803 markings, 25283 edges, 4961 markings/sec, 30 secs
lola: 49635 markings, 50975 edges, 4966 markings/sec, 35 secs
lola: 74480 markings, 76701 edges, 4969 markings/sec, 40 secs
lola: 97716 markings, 100872 edges, 4647 markings/sec, 45 secs
lola: 122495 markings, 127047 edges, 4956 markings/sec, 50 secs
lola: 146685 markings, 152602 edges, 4838 markings/sec, 55 secs
lola: 170903 markings, 178187 edges, 4844 markings/sec, 60 secs
lola: 194934 markings, 203948 edges, 4806 markings/sec, 65 secs
lola: 219237 markings, 229828 edges, 4861 markings/sec, 70 secs
lola: 242552 markings, 254893 edges, 4663 markings/sec, 75 secs
lola: 267152 markings, 281637 edges, 4920 markings/sec, 80 secs
lola: 291689 markings, 308446 edges, 4907 markings/sec, 85 secs
lola: 316175 markings, 334883 edges, 4897 markings/sec, 90 secs
lola: 340652 markings, 361338 edges, 4895 markings/sec, 95 secs
lola: 364905 markings, 387712 edges, 4851 markings/sec, 100 secs
lola: 388957 markings, 414597 edges, 4810 markings/sec, 105 secs
lola: 413142 markings, 441293 edges, 4837 markings/sec, 110 secs
lola: 437624 markings, 468181 edges, 4896 markings/sec, 115 secs
lola: 461838 markings, 494555 edges, 4843 markings/sec, 120 secs
lola: 486073 markings, 521066 edges, 4847 markings/sec, 125 secs
lola: 510345 markings, 547709 edges, 4854 markings/sec, 130 secs
lola: 534227 markings, 574024 edges, 4776 markings/sec, 135 secs
lola: 557204 markings, 599358 edges, 4595 markings/sec, 140 secs
lola: 581385 markings, 626580 edges, 4836 markings/sec, 145 secs
lola: 605439 markings, 653308 edges, 4811 markings/sec, 150 secs
lola: 629550 markings, 679832 edges, 4822 markings/sec, 155 secs
lola: 653667 markings, 706858 edges, 4823 markings/sec, 160 secs
lola: 677908 markings, 733352 edges, 4848 markings/sec, 165 secs
lola: 702152 markings, 760140 edges, 4849 markings/sec, 170 secs
lola: 726459 markings, 787105 edges, 4861 markings/sec, 175 secs
lola: 750685 markings, 814647 edges, 4845 markings/sec, 180 secs
lola: 774795 markings, 841583 edges, 4822 markings/sec, 185 secs
lola: 799212 markings, 869069 edges, 4883 markings/sec, 190 secs
lola: 823584 markings, 895655 edges, 4874 markings/sec, 195 secs
lola: 847877 markings, 923042 edges, 4859 markings/sec, 200 secs
lola: 872120 markings, 950635 edges, 4849 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: 160484 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(nyo_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(nyo_4)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 21501 markings, 23772 edges, 4300 markings/sec, 30 secs
lola: 41574 markings, 46680 edges, 4015 markings/sec, 35 secs
lola: 61339 markings, 69855 edges, 3953 markings/sec, 40 secs
lola: 80236 markings, 91969 edges, 3779 markings/sec, 45 secs
lola: 101603 markings, 117528 edges, 4273 markings/sec, 50 secs
lola: 122997 markings, 143473 edges, 4279 markings/sec, 55 secs
lola: 143310 markings, 168195 edges, 4063 markings/sec, 60 secs
lola: 164259 markings, 193909 edges, 4190 markings/sec, 65 secs
lola: 185262 markings, 219980 edges, 4201 markings/sec, 70 secs
lola: 205155 markings, 244861 edges, 3979 markings/sec, 75 secs
lola: 226661 markings, 271472 edges, 4301 markings/sec, 80 secs
lola: 246958 markings, 296447 edges, 4059 markings/sec, 85 secs
lola: 268048 markings, 322658 edges, 4218 markings/sec, 90 secs
lola: 289134 markings, 348951 edges, 4217 markings/sec, 95 secs
lola: 310368 markings, 375439 edges, 4247 markings/sec, 100 secs
lola: 331404 markings, 402265 edges, 4207 markings/sec, 105 secs
lola: 352417 markings, 429015 edges, 4203 markings/sec, 110 secs
lola: 373428 markings, 455760 edges, 4202 markings/sec, 115 secs
lola: 394405 markings, 482565 edges, 4195 markings/sec, 120 secs
lola: 415530 markings, 508970 edges, 4225 markings/sec, 125 secs
lola: 436427 markings, 536453 edges, 4179 markings/sec, 130 secs
lola: 457362 markings, 563292 edges, 4187 markings/sec, 135 secs
lola: 478214 markings, 589894 edges, 4170 markings/sec, 140 secs
lola: 499202 markings, 616686 edges, 4198 markings/sec, 145 secs
lola: 520117 markings, 643226 edges, 4183 markings/sec, 150 secs
lola: 541016 markings, 669727 edges, 4180 markings/sec, 155 secs
lola: 561856 markings, 696101 edges, 4168 markings/sec, 160 secs
lola: 582810 markings, 722776 edges, 4191 markings/sec, 165 secs
lola: 603713 markings, 749197 edges, 4181 markings/sec, 170 secs
lola: 624693 markings, 775927 edges, 4196 markings/sec, 175 secs
lola: 645650 markings, 802773 edges, 4191 markings/sec, 180 secs
lola: 666534 markings, 829933 edges, 4177 markings/sec, 185 secs
lola: 687378 markings, 856585 edges, 4169 markings/sec, 190 secs
lola: 708280 markings, 883492 edges, 4180 markings/sec, 195 secs
lola: 729129 markings, 911048 edges, 4170 markings/sec, 200 secs
lola: 750041 markings, 938298 edges, 4182 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: 141732 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(NotifyEventJobQueuedB_6_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_6_3)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 22463 markings, 24499 edges, 4493 markings/sec, 30 secs
lola: 45746 markings, 51046 edges, 4657 markings/sec, 35 secs
lola: 68934 markings, 77480 edges, 4638 markings/sec, 40 secs
lola: 91502 markings, 104011 edges, 4514 markings/sec, 45 secs
lola: 115155 markings, 131721 edges, 4731 markings/sec, 50 secs
lola: 138592 markings, 160507 edges, 4687 markings/sec, 55 secs
lola: 161341 markings, 188403 edges, 4550 markings/sec, 60 secs
lola: 184075 markings, 216246 edges, 4547 markings/sec, 65 secs
lola: 206811 markings, 243892 edges, 4547 markings/sec, 70 secs
lola: 229544 markings, 272184 edges, 4547 markings/sec, 75 secs
lola: 252335 markings, 300062 edges, 4558 markings/sec, 80 secs
lola: 275296 markings, 329105 edges, 4592 markings/sec, 85 secs
lola: 298285 markings, 357894 edges, 4598 markings/sec, 90 secs
lola: 321456 markings, 386928 edges, 4634 markings/sec, 95 secs
lola: 344470 markings, 415620 edges, 4603 markings/sec, 100 secs
lola: 367467 markings, 443689 edges, 4599 markings/sec, 105 secs
lola: 390529 markings, 472876 edges, 4612 markings/sec, 110 secs
lola: 413141 markings, 502149 edges, 4522 markings/sec, 115 secs
lola: 435883 markings, 530872 edges, 4548 markings/sec, 120 secs
lola: 458603 markings, 560262 edges, 4544 markings/sec, 125 secs
lola: 480661 markings, 588413 edges, 4412 markings/sec, 130 secs
lola: 503865 markings, 617971 edges, 4641 markings/sec, 135 secs
lola: 526837 markings, 646834 edges, 4594 markings/sec, 140 secs
lola: 550037 markings, 676525 edges, 4640 markings/sec, 145 secs
lola: 573196 markings, 705386 edges, 4632 markings/sec, 150 secs
lola: 596206 markings, 734279 edges, 4602 markings/sec, 155 secs
lola: 619090 markings, 763265 edges, 4577 markings/sec, 160 secs
lola: 642077 markings, 792645 edges, 4597 markings/sec, 165 secs
lola: 665063 markings, 822442 edges, 4597 markings/sec, 170 secs
lola: 688083 markings, 852144 edges, 4604 markings/sec, 175 secs
lola: 710065 markings, 880645 edges, 4396 markings/sec, 180 secs
lola: 733181 markings, 909722 edges, 4623 markings/sec, 185 secs
lola: 756260 markings, 939644 edges, 4616 markings/sec, 190 secs
lola: 779448 markings, 970459 edges, 4638 markings/sec, 195 secs
lola: 802563 markings, 1000316 edges, 4623 markings/sec, 200 secs
lola: 825562 markings, 1029793 edges, 4600 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: 155140 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(NotifyEventSourceAddedB_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventSourceAddedB_2)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 26977 markings, 27735 edges, 5395 markings/sec, 30 secs
lola: 53652 markings, 56019 edges, 5335 markings/sec, 35 secs
lola: 80132 markings, 84491 edges, 5296 markings/sec, 40 secs
lola: 105922 markings, 112572 edges, 5158 markings/sec, 45 secs
lola: 130686 markings, 139207 edges, 4953 markings/sec, 50 secs
lola: 156783 markings, 168183 edges, 5219 markings/sec, 55 secs
lola: 182297 markings, 196275 edges, 5103 markings/sec, 60 secs
lola: 208028 markings, 225189 edges, 5146 markings/sec, 65 secs
lola: 234195 markings, 254396 edges, 5233 markings/sec, 70 secs
lola: 259529 markings, 282849 edges, 5067 markings/sec, 75 secs
lola: 284647 markings, 311377 edges, 5024 markings/sec, 80 secs
lola: 309721 markings, 339535 edges, 5015 markings/sec, 85 secs
lola: 335514 markings, 368614 edges, 5159 markings/sec, 90 secs
lola: 360738 markings, 396825 edges, 5045 markings/sec, 95 secs
lola: 385469 markings, 425171 edges, 4946 markings/sec, 100 secs
lola: 410627 markings, 455078 edges, 5032 markings/sec, 105 secs
lola: 435376 markings, 483358 edges, 4950 markings/sec, 110 secs
lola: 459974 markings, 512514 edges, 4920 markings/sec, 115 secs
lola: 484595 markings, 540870 edges, 4924 markings/sec, 120 secs
lola: 509183 markings, 569811 edges, 4918 markings/sec, 125 secs
lola: 533349 markings, 598194 edges, 4833 markings/sec, 130 secs
lola: 558333 markings, 626533 edges, 4997 markings/sec, 135 secs
lola: 583563 markings, 655780 edges, 5046 markings/sec, 140 secs
lola: 608345 markings, 685295 edges, 4956 markings/sec, 145 secs
lola: 632761 markings, 713916 edges, 4883 markings/sec, 150 secs
lola: 657202 markings, 742053 edges, 4888 markings/sec, 155 secs
lola: 681903 markings, 770712 edges, 4940 markings/sec, 160 secs
lola: 705944 markings, 799129 edges, 4808 markings/sec, 165 secs
lola: 730861 markings, 828427 edges, 4983 markings/sec, 170 secs
lola: 755775 markings, 857747 edges, 4983 markings/sec, 175 secs
lola: 780133 markings, 886113 edges, 4872 markings/sec, 180 secs
lola: 804697 markings, 915547 edges, 4913 markings/sec, 185 secs
lola: 829133 markings, 944434 edges, 4887 markings/sec, 190 secs
lola: 853617 markings, 973113 edges, 4897 markings/sec, 195 secs
lola: 878303 markings, 1001964 edges, 4937 markings/sec, 200 secs
lola: 902463 markings, 1030155 edges, 4832 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: 168520 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(ScheduleTaskE_Work_8_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ScheduleTaskE_Work_8_3)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 23970 markings, 30496 edges, 4794 markings/sec, 30 secs
lola: 47246 markings, 62914 edges, 4655 markings/sec, 35 secs
lola: 70577 markings, 94987 edges, 4666 markings/sec, 40 secs
lola: 93697 markings, 126602 edges, 4624 markings/sec, 45 secs
lola: 117009 markings, 159263 edges, 4662 markings/sec, 50 secs
lola: 140154 markings, 191802 edges, 4629 markings/sec, 55 secs
lola: 163242 markings, 224024 edges, 4618 markings/sec, 60 secs
lola: 186143 markings, 256693 edges, 4580 markings/sec, 65 secs
lola: 208883 markings, 289220 edges, 4548 markings/sec, 70 secs
lola: 231852 markings, 322175 edges, 4594 markings/sec, 75 secs
lola: 254722 markings, 354748 edges, 4574 markings/sec, 80 secs
lola: 277540 markings, 387140 edges, 4564 markings/sec, 85 secs
lola: 299898 markings, 418783 edges, 4472 markings/sec, 90 secs
lola: 320836 markings, 448407 edges, 4188 markings/sec, 95 secs
lola: 343078 markings, 480707 edges, 4448 markings/sec, 100 secs
lola: 365286 markings, 512300 edges, 4442 markings/sec, 105 secs
lola: 386116 markings, 542580 edges, 4166 markings/sec, 110 secs
lola: 408404 markings, 575696 edges, 4458 markings/sec, 115 secs
lola: 430110 markings, 606517 edges, 4341 markings/sec, 120 secs
lola: 451748 markings, 639238 edges, 4328 markings/sec, 125 secs
lola: 473556 markings, 670398 edges, 4362 markings/sec, 130 secs
lola: 495271 markings, 702522 edges, 4343 markings/sec, 135 secs
lola: 517039 markings, 734859 edges, 4354 markings/sec, 140 secs
lola: 538632 markings, 767153 edges, 4319 markings/sec, 145 secs
lola: 560333 markings, 798636 edges, 4340 markings/sec, 150 secs
lola: 580778 markings, 829980 edges, 4089 markings/sec, 155 secs
lola: 602666 markings, 862194 edges, 4378 markings/sec, 160 secs
lola: 623716 markings, 892514 edges, 4210 markings/sec, 165 secs
lola: 645149 markings, 924366 edges, 4287 markings/sec, 170 secs
lola: 666915 markings, 956995 edges, 4353 markings/sec, 175 secs
lola: 688427 markings, 988844 edges, 4302 markings/sec, 180 secs
lola: 710376 markings, 1020890 edges, 4390 markings/sec, 185 secs
lola: 730662 markings, 1051115 edges, 4057 markings/sec, 190 secs
lola: 752394 markings, 1084986 edges, 4346 markings/sec, 195 secs
lola: 774537 markings, 1117308 edges, 4429 markings/sec, 200 secs
lola: 796584 markings, 1150400 edges, 4409 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: 141200 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(PlaceSources_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PlaceSources_4)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 25350 markings, 27424 edges, 5070 markings/sec, 30 secs
lola: 50687 markings, 55415 edges, 5067 markings/sec, 35 secs
lola: 75807 markings, 84048 edges, 5024 markings/sec, 40 secs
lola: 100852 markings, 112497 edges, 5009 markings/sec, 45 secs
lola: 125650 markings, 141294 edges, 4960 markings/sec, 50 secs
lola: 150303 markings, 170446 edges, 4931 markings/sec, 55 secs
lola: 174752 markings, 199481 edges, 4890 markings/sec, 60 secs
lola: 199255 markings, 228223 edges, 4901 markings/sec, 65 secs
lola: 224064 markings, 258097 edges, 4962 markings/sec, 70 secs
lola: 245190 markings, 283001 edges, 4225 markings/sec, 75 secs
lola: 269117 markings, 312882 edges, 4785 markings/sec, 80 secs
lola: 293591 markings, 342314 edges, 4895 markings/sec, 85 secs
lola: 317671 markings, 371619 edges, 4816 markings/sec, 90 secs
lola: 341920 markings, 400334 edges, 4850 markings/sec, 95 secs
lola: 366074 markings, 429324 edges, 4831 markings/sec, 100 secs
lola: 390693 markings, 458186 edges, 4924 markings/sec, 105 secs
lola: 415080 markings, 487111 edges, 4877 markings/sec, 110 secs
lola: 439209 markings, 515983 edges, 4826 markings/sec, 115 secs
lola: 463378 markings, 545412 edges, 4834 markings/sec, 120 secs
lola: 487430 markings, 574220 edges, 4810 markings/sec, 125 secs
lola: 511789 markings, 603212 edges, 4872 markings/sec, 130 secs
lola: 535975 markings, 632413 edges, 4837 markings/sec, 135 secs
lola: 559972 markings, 661708 edges, 4799 markings/sec, 140 secs
lola: 583694 markings, 690517 edges, 4744 markings/sec, 145 secs
lola: 607722 markings, 719405 edges, 4806 markings/sec, 150 secs
lola: 631594 markings, 748779 edges, 4774 markings/sec, 155 secs
lola: 655846 markings, 778297 edges, 4850 markings/sec, 160 secs
lola: 679726 markings, 807772 edges, 4776 markings/sec, 165 secs
lola: 703629 markings, 836993 edges, 4781 markings/sec, 170 secs
lola: 727675 markings, 866835 edges, 4809 markings/sec, 175 secs
lola: 751400 markings, 896124 edges, 4745 markings/sec, 180 secs
lola: 775622 markings, 925872 edges, 4844 markings/sec, 185 secs
lola: 799765 markings, 955121 edges, 4829 markings/sec, 190 secs
lola: 823938 markings, 984266 edges, 4835 markings/sec, 195 secs
lola: 848069 markings, 1013414 edges, 4826 markings/sec, 200 secs
lola: 872563 markings, 1043064 edges, 4899 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: 161204 KB
lola: time consumption: 2078 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_1_2)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 23500 markings, 27152 edges, 4700 markings/sec, 30 secs
lola: 46594 markings, 55558 edges, 4619 markings/sec, 35 secs
lola: 69276 markings, 83671 edges, 4536 markings/sec, 40 secs
lola: 91060 markings, 110905 edges, 4357 markings/sec, 45 secs
lola: 113668 markings, 139400 edges, 4522 markings/sec, 50 secs
lola: 136034 markings, 168606 edges, 4473 markings/sec, 55 secs
lola: 158415 markings, 197504 edges, 4476 markings/sec, 60 secs
lola: 180885 markings, 225758 edges, 4494 markings/sec, 65 secs
lola: 203143 markings, 254538 edges, 4452 markings/sec, 70 secs
lola: 225390 markings, 283565 edges, 4449 markings/sec, 75 secs
lola: 247616 markings, 312628 edges, 4445 markings/sec, 80 secs
lola: 269866 markings, 341847 edges, 4450 markings/sec, 85 secs
lola: 291802 markings, 370579 edges, 4387 markings/sec, 90 secs
lola: 314155 markings, 399888 edges, 4471 markings/sec, 95 secs
lola: 336432 markings, 429744 edges, 4455 markings/sec, 100 secs
lola: 358404 markings, 458972 edges, 4394 markings/sec, 105 secs
lola: 380475 markings, 488292 edges, 4414 markings/sec, 110 secs
lola: 402607 markings, 517072 edges, 4426 markings/sec, 115 secs
lola: 424495 markings, 546273 edges, 4378 markings/sec, 120 secs
lola: 446557 markings, 575032 edges, 4412 markings/sec, 125 secs
lola: 468792 markings, 604538 edges, 4447 markings/sec, 130 secs
lola: 490789 markings, 633948 edges, 4399 markings/sec, 135 secs
lola: 512870 markings, 663273 edges, 4416 markings/sec, 140 secs
lola: 534779 markings, 692179 edges, 4382 markings/sec, 145 secs
lola: 556726 markings, 721508 edges, 4389 markings/sec, 150 secs
lola: 578821 markings, 750359 edges, 4419 markings/sec, 155 secs
lola: 600871 markings, 779546 edges, 4410 markings/sec, 160 secs
lola: 622677 markings, 808379 edges, 4361 markings/sec, 165 secs
lola: 643661 markings, 836997 edges, 4197 markings/sec, 170 secs
lola: 665628 markings, 866476 edges, 4393 markings/sec, 175 secs
lola: 686008 markings, 894570 edges, 4076 markings/sec, 180 secs
lola: 707847 markings, 923502 edges, 4368 markings/sec, 185 secs
lola: 729937 markings, 953057 edges, 4418 markings/sec, 190 secs
lola: 751806 markings, 982380 edges, 4374 markings/sec, 195 secs
lola: 773790 markings, 1011871 edges, 4397 markings/sec, 200 secs
lola: 795575 markings, 1041251 edges, 4357 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: 147540 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(QueueJobB_6_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_6_2)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 24158 markings, 26535 edges, 4832 markings/sec, 30 secs
lola: 46279 markings, 51149 edges, 4424 markings/sec, 35 secs
lola: 69860 markings, 78348 edges, 4716 markings/sec, 40 secs
lola: 93369 markings, 105578 edges, 4702 markings/sec, 45 secs
lola: 116842 markings, 133095 edges, 4695 markings/sec, 50 secs
lola: 140261 markings, 161251 edges, 4684 markings/sec, 55 secs
lola: 163579 markings, 189550 edges, 4664 markings/sec, 60 secs
lola: 186872 markings, 218658 edges, 4659 markings/sec, 65 secs
lola: 210260 markings, 247370 edges, 4678 markings/sec, 70 secs
lola: 233615 markings, 276948 edges, 4671 markings/sec, 75 secs
lola: 257032 markings, 306153 edges, 4683 markings/sec, 80 secs
lola: 280509 markings, 335431 edges, 4695 markings/sec, 85 secs
lola: 303855 markings, 364470 edges, 4669 markings/sec, 90 secs
lola: 327140 markings, 394121 edges, 4657 markings/sec, 95 secs
lola: 350533 markings, 424121 edges, 4679 markings/sec, 100 secs
lola: 373846 markings, 453462 edges, 4663 markings/sec, 105 secs
lola: 397241 markings, 483849 edges, 4679 markings/sec, 110 secs
lola: 420623 markings, 513437 edges, 4676 markings/sec, 115 secs
lola: 443837 markings, 543441 edges, 4643 markings/sec, 120 secs
lola: 467198 markings, 574468 edges, 4672 markings/sec, 125 secs
lola: 490575 markings, 604261 edges, 4675 markings/sec, 130 secs
lola: 514004 markings, 634128 edges, 4686 markings/sec, 135 secs
lola: 537297 markings, 664418 edges, 4659 markings/sec, 140 secs
lola: 560746 markings, 695135 edges, 4690 markings/sec, 145 secs
lola: 584237 markings, 725528 edges, 4698 markings/sec, 150 secs
lola: 607682 markings, 755753 edges, 4689 markings/sec, 155 secs
lola: 630793 markings, 785204 edges, 4622 markings/sec, 160 secs
lola: 654202 markings, 815063 edges, 4682 markings/sec, 165 secs
lola: 677455 markings, 845825 edges, 4651 markings/sec, 170 secs
lola: 700842 markings, 875482 edges, 4677 markings/sec, 175 secs
lola: 724126 markings, 905694 edges, 4657 markings/sec, 180 secs
lola: 747552 markings, 936307 edges, 4685 markings/sec, 185 secs
lola: 770738 markings, 966265 edges, 4637 markings/sec, 190 secs
lola: 794045 markings, 996463 edges, 4661 markings/sec, 195 secs
lola: 817535 markings, 1027200 edges, 4698 markings/sec, 200 secs
lola: 840933 markings, 1057401 edges, 4680 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: 156780 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(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6 + EnablePollingE_7 + EnablePollingE_8)
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 + EnablePollingE_7 + EnablePollingE_8)
lola: processed formula length: 154
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 26958 markings, 28130 edges, 5392 markings/sec, 30 secs
lola: 49866 markings, 52813 edges, 4582 markings/sec, 35 secs
lola: 74747 markings, 79503 edges, 4976 markings/sec, 40 secs
lola: 99883 markings, 107145 edges, 5027 markings/sec, 45 secs
lola: 125374 markings, 136055 edges, 5098 markings/sec, 50 secs
lola: 151307 markings, 164966 edges, 5187 markings/sec, 55 secs
lola: 176819 markings, 193872 edges, 5102 markings/sec, 60 secs
lola: 201895 markings, 222955 edges, 5015 markings/sec, 65 secs
lola: 226659 markings, 251448 edges, 4953 markings/sec, 70 secs
lola: 251886 markings, 280097 edges, 5045 markings/sec, 75 secs
lola: 277106 markings, 308877 edges, 5044 markings/sec, 80 secs
lola: 301873 markings, 337563 edges, 4953 markings/sec, 85 secs
lola: 326417 markings, 366074 edges, 4909 markings/sec, 90 secs
lola: 350960 markings, 395276 edges, 4909 markings/sec, 95 secs
lola: 375868 markings, 423936 edges, 4982 markings/sec, 100 secs
lola: 400238 markings, 453025 edges, 4874 markings/sec, 105 secs
lola: 424641 markings, 482447 edges, 4881 markings/sec, 110 secs
lola: 449157 markings, 511520 edges, 4903 markings/sec, 115 secs
lola: 472902 markings, 539010 edges, 4749 markings/sec, 120 secs
lola: 497595 markings, 568662 edges, 4939 markings/sec, 125 secs
lola: 522344 markings, 597604 edges, 4950 markings/sec, 130 secs
lola: 547174 markings, 627075 edges, 4966 markings/sec, 135 secs
lola: 570509 markings, 655450 edges, 4667 markings/sec, 140 secs
lola: 594664 markings, 684179 edges, 4831 markings/sec, 145 secs
lola: 619206 markings, 714056 edges, 4908 markings/sec, 150 secs
lola: 642775 markings, 742639 edges, 4714 markings/sec, 155 secs
lola: 667265 markings, 772087 edges, 4898 markings/sec, 160 secs
lola: 691869 markings, 801250 edges, 4921 markings/sec, 165 secs
lola: 716272 markings, 830641 edges, 4881 markings/sec, 170 secs
lola: 740414 markings, 860498 edges, 4828 markings/sec, 175 secs
lola: 764064 markings, 889005 edges, 4730 markings/sec, 180 secs
lola: 788151 markings, 918466 edges, 4817 markings/sec, 185 secs
lola: 812842 markings, 948356 edges, 4938 markings/sec, 190 secs
lola: 836313 markings, 976569 edges, 4694 markings/sec, 195 secs
lola: 861123 markings, 1007560 edges, 4962 markings/sec, 200 secs
lola: 885561 markings, 1037008 edges, 4888 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: 166396 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(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6 + NotifyEventSourceAddedB_7 + NotifyEventSourceAddedB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventSourceAddedB_1 + NotifyEventSourceAddedB_2 + NotifyEventSourceAddedB_3 + NotifyEventSourceAddedB_4 + NotifyEventSourceAddedB_5 + NotifyEventSourceAddedB_6 + NotifyEventSourceAddedB_7 + NotifyEventSourceAddedB_8)
lola: processed formula length: 226
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 26861 markings, 28015 edges, 5372 markings/sec, 30 secs
lola: 53376 markings, 56465 edges, 5303 markings/sec, 35 secs
lola: 79703 markings, 84853 edges, 5265 markings/sec, 40 secs
lola: 105581 markings, 113577 edges, 5176 markings/sec, 45 secs
lola: 131143 markings, 142264 edges, 5112 markings/sec, 50 secs
lola: 156921 markings, 171176 edges, 5156 markings/sec, 55 secs
lola: 182352 markings, 200378 edges, 5086 markings/sec, 60 secs
lola: 207715 markings, 229467 edges, 5073 markings/sec, 65 secs
lola: 232762 markings, 258346 edges, 5009 markings/sec, 70 secs
lola: 258349 markings, 287310 edges, 5117 markings/sec, 75 secs
lola: 283556 markings, 316318 edges, 5041 markings/sec, 80 secs
lola: 308333 markings, 344770 edges, 4955 markings/sec, 85 secs
lola: 333235 markings, 374054 edges, 4980 markings/sec, 90 secs
lola: 357929 markings, 402912 edges, 4939 markings/sec, 95 secs
lola: 382920 markings, 431987 edges, 4998 markings/sec, 100 secs
lola: 407438 markings, 461308 edges, 4904 markings/sec, 105 secs
lola: 431820 markings, 490921 edges, 4876 markings/sec, 110 secs
lola: 456863 markings, 520086 edges, 5009 markings/sec, 115 secs
lola: 481912 markings, 549518 edges, 5010 markings/sec, 120 secs
lola: 506482 markings, 578759 edges, 4914 markings/sec, 125 secs
lola: 531141 markings, 607523 edges, 4932 markings/sec, 130 secs
lola: 555567 markings, 636932 edges, 4885 markings/sec, 135 secs
lola: 580156 markings, 666517 edges, 4918 markings/sec, 140 secs
lola: 604902 markings, 696423 edges, 4949 markings/sec, 145 secs
lola: 629323 markings, 725339 edges, 4884 markings/sec, 150 secs
lola: 653625 markings, 755164 edges, 4860 markings/sec, 155 secs
lola: 678311 markings, 784723 edges, 4937 markings/sec, 160 secs
lola: 702970 markings, 814124 edges, 4932 markings/sec, 165 secs
lola: 727301 markings, 844021 edges, 4866 markings/sec, 170 secs
lola: 752058 markings, 874041 edges, 4951 markings/sec, 175 secs
lola: 776421 markings, 903557 edges, 4873 markings/sec, 180 secs
lola: 800877 markings, 933449 edges, 4891 markings/sec, 185 secs
lola: 825303 markings, 962827 edges, 4885 markings/sec, 190 secs
lola: 849787 markings, 992321 edges, 4897 markings/sec, 195 secs
lola: 874062 markings, 1022493 edges, 4855 markings/sec, 200 secs
lola: 898600 markings, 1052215 edges, 4908 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: 168292 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(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8)
lola: processed formula length: 162
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 27055 markings, 28221 edges, 5411 markings/sec, 30 secs
lola: 53815 markings, 56877 edges, 5352 markings/sec, 35 secs
lola: 80484 markings, 85585 edges, 5334 markings/sec, 40 secs
lola: 106571 markings, 114508 edges, 5217 markings/sec, 45 secs
lola: 132409 markings, 143502 edges, 5168 markings/sec, 50 secs
lola: 158426 markings, 172661 edges, 5203 markings/sec, 55 secs
lola: 184191 markings, 202190 edges, 5153 markings/sec, 60 secs
lola: 209626 markings, 231438 edges, 5087 markings/sec, 65 secs
lola: 234994 markings, 260692 edges, 5074 markings/sec, 70 secs
lola: 260724 markings, 289717 edges, 5146 markings/sec, 75 secs
lola: 286304 markings, 319019 edges, 5116 markings/sec, 80 secs
lola: 311367 markings, 347744 edges, 5013 markings/sec, 85 secs
lola: 336466 markings, 377494 edges, 5020 markings/sec, 90 secs
lola: 361521 markings, 406353 edges, 5011 markings/sec, 95 secs
lola: 385556 markings, 434593 edges, 4807 markings/sec, 100 secs
lola: 410208 markings, 464022 edges, 4930 markings/sec, 105 secs
lola: 433903 markings, 492773 edges, 4739 markings/sec, 110 secs
lola: 459250 markings, 522061 edges, 5069 markings/sec, 115 secs
lola: 484394 markings, 551768 edges, 5029 markings/sec, 120 secs
lola: 509194 markings, 581195 edges, 4960 markings/sec, 125 secs
lola: 533054 markings, 609129 edges, 4772 markings/sec, 130 secs
lola: 558066 markings, 639329 edges, 5002 markings/sec, 135 secs
lola: 583332 markings, 669479 edges, 5053 markings/sec, 140 secs
lola: 608720 markings, 700003 edges, 5078 markings/sec, 145 secs
lola: 633240 markings, 729562 edges, 4904 markings/sec, 150 secs
lola: 657830 markings, 759304 edges, 4918 markings/sec, 155 secs
lola: 682807 markings, 789104 edges, 4995 markings/sec, 160 secs
lola: 707571 markings, 819055 edges, 4953 markings/sec, 165 secs
lola: 732261 markings, 849002 edges, 4938 markings/sec, 170 secs
lola: 757213 markings, 879334 edges, 4990 markings/sec, 175 secs
lola: 781778 markings, 909089 edges, 4913 markings/sec, 180 secs
lola: 806781 markings, 939429 edges, 5001 markings/sec, 185 secs
lola: 831469 markings, 969121 edges, 4938 markings/sec, 190 secs
lola: 856268 markings, 999243 edges, 4960 markings/sec, 195 secs
lola: 880753 markings, 1029498 edges, 4897 markings/sec, 200 secs
lola: 905387 markings, 1058929 edges, 4927 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: 169372 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(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8)
lola: processed formula length: 74
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 27274 markings, 28436 edges, 5455 markings/sec, 30 secs
lola: 54303 markings, 57359 edges, 5406 markings/sec, 35 secs
lola: 81131 markings, 86199 edges, 5366 markings/sec, 40 secs
lola: 107369 markings, 115280 edges, 5248 markings/sec, 45 secs
lola: 133340 markings, 144366 edges, 5194 markings/sec, 50 secs
lola: 159509 markings, 173700 edges, 5234 markings/sec, 55 secs
lola: 185366 markings, 203345 edges, 5171 markings/sec, 60 secs
lola: 210836 markings, 232699 edges, 5094 markings/sec, 65 secs
lola: 236406 markings, 261984 edges, 5114 markings/sec, 70 secs
lola: 262214 markings, 291100 edges, 5162 markings/sec, 75 secs
lola: 287924 markings, 320595 edges, 5142 markings/sec, 80 secs
lola: 313045 markings, 349343 edges, 5024 markings/sec, 85 secs
lola: 338348 markings, 378834 edges, 5061 markings/sec, 90 secs
lola: 363164 markings, 407900 edges, 4963 markings/sec, 95 secs
lola: 388622 markings, 437552 edges, 5092 markings/sec, 100 secs
lola: 413341 markings, 467049 edges, 4944 markings/sec, 105 secs
lola: 438340 markings, 496635 edges, 5000 markings/sec, 110 secs
lola: 463444 markings, 527289 edges, 5021 markings/sec, 115 secs
lola: 488477 markings, 556250 edges, 5007 markings/sec, 120 secs
lola: 513552 markings, 585740 edges, 5015 markings/sec, 125 secs
lola: 538285 markings, 615374 edges, 4947 markings/sec, 130 secs
lola: 563483 markings, 645062 edges, 5040 markings/sec, 135 secs
lola: 588261 markings, 674447 edges, 4956 markings/sec, 140 secs
lola: 613345 markings, 703619 edges, 5017 markings/sec, 145 secs
lola: 637706 markings, 733705 edges, 4872 markings/sec, 150 secs
lola: 662531 markings, 763615 edges, 4965 markings/sec, 155 secs
lola: 687215 markings, 793465 edges, 4937 markings/sec, 160 secs
lola: 712057 markings, 823225 edges, 4968 markings/sec, 165 secs
lola: 736463 markings, 853251 edges, 4881 markings/sec, 170 secs
lola: 760798 markings, 883104 edges, 4867 markings/sec, 175 secs
lola: 785485 markings, 912749 edges, 4937 markings/sec, 180 secs
lola: 809984 markings, 942446 edges, 4900 markings/sec, 185 secs
lola: 834785 markings, 973150 edges, 4960 markings/sec, 190 secs
lola: 859950 markings, 1003582 edges, 5033 markings/sec, 195 secs
lola: 884763 markings, 1033401 edges, 4963 markings/sec, 200 secs
lola: 909387 markings, 1063208 edges, 4925 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: 169948 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(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_2_5 + NotifyEventJobQueuedB_2_6 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_3_5 + NotifyEventJobQueuedB_3_6 + Noti... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_2_5 + NotifyEventJobQueuedB_2_6 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_3_5 + NotifyEventJobQueuedB_3_6 + Noti... (shortened)
lola: processed formula length: 1570
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J06T08-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: 22295 markings, 24299 edges, 4459 markings/sec, 30 secs
lola: 44399 markings, 49627 edges, 4421 markings/sec, 35 secs
lola: 66364 markings, 75692 edges, 4393 markings/sec, 40 secs
lola: 88232 markings, 104091 edges, 4374 markings/sec, 45 secs
lola: 110123 markings, 135045 edges, 4378 markings/sec, 50 secs
lola: 131986 markings, 163846 edges, 4373 markings/sec, 55 secs
lola: 153842 markings, 193074 edges, 4371 markings/sec, 60 secs
lola: 175653 markings, 221565 edges, 4362 markings/sec, 65 secs
lola: 197445 markings, 249054 edges, 4358 markings/sec, 70 secs
lola: 219268 markings, 276749 edges, 4365 markings/sec, 75 secs
lola: 240278 markings, 303579 edges, 4202 markings/sec, 80 secs
lola: 260011 markings, 328797 edges, 3947 markings/sec, 85 secs
lola: 281748 markings, 357964 edges, 4347 markings/sec, 90 secs
lola: 303520 markings, 387750 edges, 4354 markings/sec, 95 secs
lola: 325153 markings, 415676 edges, 4327 markings/sec, 100 secs
lola: 346920 markings, 444069 edges, 4353 markings/sec, 105 secs
lola: 368617 markings, 472664 edges, 4339 markings/sec, 110 secs
lola: 390234 markings, 501303 edges, 4323 markings/sec, 115 secs
lola: 411949 markings, 531171 edges, 4343 markings/sec, 120 secs
lola: 433617 markings, 560181 edges, 4334 markings/sec, 125 secs
lola: 455266 markings, 590206 edges, 4330 markings/sec, 130 secs
lola: 476929 markings, 620428 edges, 4333 markings/sec, 135 secs
lola: 498585 markings, 649514 edges, 4331 markings/sec, 140 secs
lola: 520272 markings, 678573 edges, 4337 markings/sec, 145 secs
lola: 541921 markings, 706626 edges, 4330 markings/sec, 150 secs
lola: 563584 markings, 735192 edges, 4333 markings/sec, 155 secs
lola: 585288 markings, 763605 edges, 4341 markings/sec, 160 secs
lola: 606903 markings, 791937 edges, 4323 markings/sec, 165 secs
lola: 628354 markings, 819691 edges, 4290 markings/sec, 170 secs
lola: 649975 markings, 847519 edges, 4324 markings/sec, 175 secs
lola: 671602 markings, 876547 edges, 4325 markings/sec, 180 secs
lola: 693265 markings, 904934 edges, 4333 markings/sec, 185 secs
lola: 714918 markings, 933101 edges, 4331 markings/sec, 190 secs
lola: 736559 markings, 961441 edges, 4328 markings/sec, 195 secs
lola: 758140 markings, 989341 edges, 4316 markings/sec, 200 secs
lola: 779698 markings, 1018118 edges, 4312 markings/sec, 205 secs
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: 143856 KB
lola: time consumption: 3569 seconds
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: 143856 KB
lola: time consumption: 3569 seconds

BK_STOP 1552992888242

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

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