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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 3.7K Feb 12 09:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 09:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 8 09:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 8 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K Feb 5 00:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 4 12:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 12:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 1 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 1 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 154K 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 booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552901697900

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S04J04T10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S04J04T10 formula LTLCardinality into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking LTLCardinality @ PolyORBLF-COL-S04J04T10 @ 3568 seconds
lola: LoLA will run for 3568 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5904/65536 symbol table entries, 1359 collisions
lola: preprocessing...
lola: Size of bit vector: 27840
lola: finding significant places
lola: 870 places, 5034 transitions, 812 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3097 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p619)
lola: LP says that atomic proposition is always false: (3 <= p858)
lola: LP says that atomic proposition is always false: (2 <= p374)
lola: LP says that atomic proposition is always false: (2 <= p50)
lola: A (G ((p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434))) : A ((X (G ((p479 <= p864))) U X (X ((1 <= p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187))))) : A (X (G (FALSE))) : A ((p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 <= p436)) : A (X (G (X ((2 <= p868 + p867 + p866 + p865))))) : A ((p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 <= p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586)) : A (F (((p436 <= p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122) U G (FALSE)))) : A ((2 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716)) : A (G ((p102 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716))) : A (F (X (X (G ((1 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434)))))) : A ((p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 <= p621 + p622 + p623 + p624)) : A (F ((G ((p163 <= p313)) U (2 <= p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590)))) : A ((p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590 <= p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676)) : A ((p618 + p617 + p616 + p615 + p614 + p613 + p612 + p611 + p610 + p609 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434)) : A ((F (X ((p792 + p793 + p794 + p795 <= p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394))) U G (F (FALSE)))) : A (FALSE)
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
check_solution: Constraint R1 = 0 is above its upper bound -1
check_solution: Constraint R14 = 0 is above its equality of -1
check_solution: Constraint R101 = 0 is above its equality of -1
check_solution: Constraint R102 = 0 is above its equality of -1
check_solution: Constraint R103 = 0 is above its equality of -1
check_solution: Constraint R104 = 0 is above its equality of -1
check_solution: Constraint R105 = 0 is above its equality of -1
check_solution: Constraint R106 = 0 is above its equality of -1
check_solution: Constraint R107 = 0 is above its equality of -1
check_solution: Constraint R108 = 0 is above its equality of -1

Seriously low accuracy found ||*|| = 10 (rel. error 1)

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 227 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 <= p436)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 <= p436)
lola: processed formula length: 77
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 244 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 <= p547 + p548 + p549 + p550 + p551 + p552 + p553 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 <= p547 + p548 + p549 + p550 + p551 + p552 + p553 +... (shortened)
lola: processed formula length: 630
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 262 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (2 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716)
lola: processed formula length: 74
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 310 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 <= p621 + p622 + p623 + p624)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 <= p621 + p622 + p623 + p624)
lola: processed formula length: 98
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590 <= p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590 <= p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676)
lola: processed formula length: 210
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p618 + p617 + p616 + p615 + p614 + p613 + p612 + p611 + p610 + p609 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p618 + p617 + p616 + p615 + p614 + p613 + p612 + p611 + p610 + p609 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434)
lola: processed formula length: 140
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 488 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X ((1 <= p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187)) OR (G ((p479 <= p864)) AND X (F ((1 <= p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X ((1 <= p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187)) OR (G ((p479 <= p864)) AND X (F ((1 <= p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187)))))))
lola: processed formula length: 199
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 867 markings, 881 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 683 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((2 <= p868 + p867 + p866 + p865)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((2 <= p868 + p867 + p866 + p865)))))
lola: processed formula length: 48
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 854 markings, 854 edges
lola:
FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 12 will run for 854 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p102 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p102 <= p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716)))
lola: processed formula length: 85
lola: 34 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: formula 0: (p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + 1 <= p102)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola:
state equation: write sara problem file to PolyORBLF-COL-S04J04T10-LTLCardinality-12-0.sara
FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: lola: ========================================
lola: state equation: calling and running sara
subprocess 13 will run for 1139 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 <= p425 + p426 + p427 + p428 + p429 + p430 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G ((p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 <= p425 + p426 + p427 + p428 + p429 + p430 + ... (shortened)
lola: processed formula length: 428
lola: 34 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: sara: try reading problem file PolyORBLF-COL-S04J04T10-LTLCardinality-12-0.sara.
state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: (p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + 1 <= p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T10-LTLCardinality-13-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 7 markings, 6 edges

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434))))
lola: processed formula length: 86
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 604 markings, 605 edges
lola: ========================================

FORMULA PolyORBLF-COL-S04J04T10-LTLCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3417 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((2 <= p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590) OR (G ((p163 <= p313)) AND F ((2 <= p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((2 <= p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590) OR (G ((p163 <= p313)) AND F ((2 <= p587 + p588 + p589 + p591 + p592 + p593 + p595 + p596 + p597 + p599 + p600 + p601 + p603 + p604 + p605 + p606 + p602 + p598 + p594 + p590))))))
lola: processed formula length: 331
lola: 32 rewrites
lola: closed formula file PolyORBLF-COL-S04J04T10-LTLCardinality.task
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 30691 markings, 61353 edges, 6138 markings/sec, 0 secs
sara: place or transition ordering is non-deterministic

lola: 56143 markings, 95509 edges, 5090 markings/sec, 5 secs
lola: 91761 markings, 169168 edges, 7124 markings/sec, 10 secs
lola: 127340 markings, 244815 edges, 7116 markings/sec, 15 secs
lola: 156565 markings, 304719 edges, 5845 markings/sec, 20 secs
lola: 189558 markings, 379034 edges, 6599 markings/sec, 25 secs
lola: 214992 markings, 425678 edges, 5087 markings/sec, 30 secs
lola: 248131 markings, 500302 edges, 6628 markings/sec, 35 secs
lola: 278767 markings, 564986 edges, 6127 markings/sec, 40 secs
lola: 304830 markings, 613462 edges, 5213 markings/sec, 45 secs
lola: 337855 markings, 687509 edges, 6605 markings/sec, 50 secs
lola: 369670 markings, 755592 edges, 6363 markings/sec, 55 secs
lola: 396535 markings, 806218 edges, 5373 markings/sec, 60 secs
lola: 430212 markings, 881614 edges, 6735 markings/sec, 65 secs
lola: 462256 markings, 950895 edges, 6409 markings/sec, 70 secs
lola: 487835 markings, 998481 edges, 5116 markings/sec, 75 secs
lola: 520692 markings, 1072161 edges, 6571 markings/sec, 80 secs
lola: 552087 markings, 1140400 edges, 6279 markings/sec, 85 secs
lola: 576658 markings, 1186100 edges, 4914 markings/sec, 90 secs
lola: 610309 markings, 1261408 edges, 6730 markings/sec, 95 secs
lola: 642180 markings, 1331442 edges, 6374 markings/sec, 100 secs
lola: 667458 markings, 1378650 edges, 5056 markings/sec, 105 secs
lola: 703432 markings, 1459321 edges, 7195 markings/sec, 110 secs
lola: 734297 markings, 1526229 edges, 6173 markings/sec, 115 secs
lola: 775788 markings, 1611185 edges, 8298 markings/sec, 120 secs
lola: 811469 markings, 1690109 edges, 7136 markings/sec, 125 secs
lola: 866848 markings, 1805879 edges, 11076 markings/sec, 130 secs
lola: 893953 markings, 1855644 edges, 5421 markings/sec, 135 secs
lola: 910155 markings, 1872132 edges, 3240 markings/sec, 140 secs
lola: 926816 markings, 1889117 edges, 3332 markings/sec, 145 secs
lola: 943955 markings, 1906633 edges, 3428 markings/sec, 150 secs
lola: 960853 markings, 1923930 edges, 3380 markings/sec, 155 secs
lola: 978133 markings, 1941665 edges, 3456 markings/sec, 160 secs
lola: 994493 markings, 1958723 edges, 3272 markings/sec, 165 secs
lola: 1010370 markings, 1975112 edges, 3175 markings/sec, 170 secs
lola: 1027759 markings, 1993100 edges, 3478 markings/sec, 175 secs
lola: 1042080 markings, 2007679 edges, 2864 markings/sec, 180 secs
lola: 1056869 markings, 2022748 edges, 2958 markings/sec, 185 secs
lola: 1071559 markings, 2037762 edges, 2938 markings/sec, 190 secs
lola: 1086100 markings, 2052663 edges, 2908 markings/sec, 195 secs
lola: 1100511 markings, 2067464 edges, 2882 markings/sec, 200 secs
lola: 1114798 markings, 2082171 edges, 2857 markings/sec, 205 secs
lola: 1129399 markings, 2097228 edges, 2920 markings/sec, 210 secs
lola: 1144706 markings, 2113126 edges, 3061 markings/sec, 215 secs
lola: 1163301 markings, 2132324 edges, 3719 markings/sec, 220 secs
lola: 1201935 markings, 2216854 edges, 7727 markings/sec, 225 secs
lola: 1239151 markings, 2300349 edges, 7443 markings/sec, 230 secs
lola: 1278745 markings, 2389048 edges, 7919 markings/sec, 235 secs
lola: 1309529 markings, 2434846 edges, 6157 markings/sec, 240 secs
lola: 1333291 markings, 2463116 edges, 4752 markings/sec, 245 secs
lola: 1376799 markings, 2560435 edges, 8702 markings/sec, 250 secs
lola: 1420460 markings, 2658573 edges, 8732 markings/sec, 255 secs
lola: 1447184 markings, 2690181 edges, 5345 markings/sec, 260 secs
lola: 1473403 markings, 2724090 edges, 5244 markings/sec, 265 secs
lola: 1514906 markings, 2817214 edges, 8301 markings/sec, 270 secs
lola: 1559208 markings, 2916714 edges, 8860 markings/sec, 275 secs
lola: 1597101 markings, 3001550 edges, 7579 markings/sec, 280 secs
lola: 1637635 markings, 3092359 edges, 8107 markings/sec, 285 secs
lola: 1679996 markings, 3187710 edges, 8472 markings/sec, 290 secs
lola: 1716623 markings, 3263914 edges, 7325 markings/sec, 295 secs
lola: 1744289 markings, 3292068 edges, 5533 markings/sec, 300 secs
lola: 1766993 markings, 3315147 edges, 4541 markings/sec, 305 secs
lola: 1793560 markings, 3359025 edges, 5313 markings/sec, 310 secs
lola: 1833899 markings, 3449750 edges, 8068 markings/sec, 315 secs
lola: 1867994 markings, 3526280 edges, 6819 markings/sec, 320 secs
lola: 1900667 markings, 3582111 edges, 6535 markings/sec, 325 secs
lola: 1923651 markings, 3610352 edges, 4597 markings/sec, 330 secs
lola: 1966630 markings, 3706939 edges, 8596 markings/sec, 335 secs
lola: 2004716 markings, 3792789 edges, 7617 markings/sec, 340 secs
lola: 2040033 markings, 3854968 edges, 7063 markings/sec, 345 secs
lola: 2063388 markings, 3878797 edges, 4671 markings/sec, 350 secs
lola: 2103757 markings, 3962728 edges, 8074 markings/sec, 355 secs
lola: 2145647 markings, 4056663 edges, 8378 markings/sec, 360 secs
lola: 2190690 markings, 4157754 edges, 9009 markings/sec, 365 secs
lola: 2228997 markings, 4243612 edges, 7661 markings/sec, 370 secs
lola: 2271690 markings, 4339243 edges, 8539 markings/sec, 375 secs
lola: 2313865 markings, 4433278 edges, 8435 markings/sec, 380 secs
lola: 2342501 markings, 4462396 edges, 5727 markings/sec, 385 secs
lola: 2367116 markings, 4487436 edges, 4923 markings/sec, 390 secs
lola: 2392217 markings, 4527364 edges, 5020 markings/sec, 395 secs
lola: 2429274 markings, 4611306 edges, 7411 markings/sec, 400 secs
lola: 2463511 markings, 4688252 edges, 6847 markings/sec, 405 secs
lola: 2492373 markings, 4731017 edges, 5772 markings/sec, 410 secs
lola: 2520659 markings, 4781041 edges, 5657 markings/sec, 415 secs
lola: 2558675 markings, 4866662 edges, 7603 markings/sec, 420 secs
lola: 2597500 markings, 4953918 edges, 7765 markings/sec, 425 secs
lola: 2620133 markings, 4977314 edges, 4527 markings/sec, 430 secs
lola: 2654602 markings, 5034169 edges, 6894 markings/sec, 435 secs
lola: 2701761 markings, 5140122 edges, 9432 markings/sec, 440 secs
lola: 2744595 markings, 5236342 edges, 8567 markings/sec, 445 secs
lola: 2790198 markings, 5338732 edges, 9121 markings/sec, 450 secs
lola: 2831343 markings, 5430865 edges, 8229 markings/sec, 455 secs
lola: 2877373 markings, 5534043 edges, 9206 markings/sec, 460 secs
lola: 2908739 markings, 5570568 edges, 6273 markings/sec, 465 secs
lola: 2934622 markings, 5596885 edges, 5177 markings/sec, 470 secs
lola: 2959037 markings, 5636137 edges, 4883 markings/sec, 475 secs
lola: 2992369 markings, 5711839 edges, 6666 markings/sec, 480 secs
lola: 3027435 markings, 5791280 edges, 7013 markings/sec, 485 secs
lola: 3048681 markings, 5814340 edges, 4249 markings/sec, 490 secs
lola: 3081954 markings, 5883322 edges, 6655 markings/sec, 495 secs
lola: 3116920 markings, 5962797 edges, 6993 markings/sec, 500 secs
lola: 3147882 markings, 6016447 edges, 6192 markings/sec, 505 secs
lola: 3175219 markings, 6049655 edges, 5467 markings/sec, 510 secs
lola: 3220613 markings, 6151332 edges, 9079 markings/sec, 515 secs
lola: 3267815 markings, 6257614 edges, 9440 markings/sec, 520 secs
lola: 3314107 markings, 6361193 edges, 9258 markings/sec, 525 secs
lola: 3359913 markings, 6464186 edges, 9161 markings/sec, 530 secs
lola: 3405798 markings, 6567064 edges, 9177 markings/sec, 535 secs
lola: 3440893 markings, 6614381 edges, 7019 markings/sec, 540 secs
lola: 3468531 markings, 6642501 edges, 5528 markings/sec, 545 secs
lola: 3492322 markings, 6681387 edges, 4758 markings/sec, 550 secs
lola: 3523123 markings, 6751376 edges, 6160 markings/sec, 555 secs
lola: 3553182 markings, 6814640 edges, 6012 markings/sec, 560 secs
lola: 3574060 markings, 6841280 edges, 4176 markings/sec, 565 secs
lola: 3607883 markings, 6918284 edges, 6765 markings/sec, 570 secs
lola: 3640188 markings, 6989642 edges, 6461 markings/sec, 575 secs
lola: 3663377 markings, 7013874 edges, 4638 markings/sec, 580 secs
lola: 3707467 markings, 7102873 edges, 8818 markings/sec, 585 secs
lola: 3756390 markings, 7212391 edges, 9785 markings/sec, 590 secs
lola: 3802920 markings, 7316693 edges, 9306 markings/sec, 595 secs
lola: 3853116 markings, 7429734 edges, 10039 markings/sec, 600 secs
lola: 3900190 markings, 7535107 edges, 9415 markings/sec, 605 secs
lola: 3939235 markings, 7594157 edges, 7809 markings/sec, 610 secs
lola: 3968725 markings, 7624157 edges, 5898 markings/sec, 615 secs
lola: 3990956 markings, 7660275 edges, 4446 markings/sec, 620 secs
lola: 4019520 markings, 7725984 edges, 5713 markings/sec, 625 secs
lola: 4044415 markings, 7772522 edges, 4979 markings/sec, 630 secs
lola: 4067585 markings, 7814958 edges, 4634 markings/sec, 635 secs
lola: 4095929 markings, 7880121 edges, 5669 markings/sec, 640 secs
lola: 4120472 markings, 7921888 edges, 4909 markings/sec, 645 secs
lola: 4164779 markings, 7999003 edges, 8861 markings/sec, 650 secs
lola: 4222202 markings, 8128070 edges, 11485 markings/sec, 655 secs
lola: 4278396 markings, 8253994 edges, 11239 markings/sec, 660 secs
lola: 4335268 markings, 8381467 edges, 11374 markings/sec, 665 secs
lola: 4390698 markings, 8496576 edges, 11086 markings/sec, 670 secs
lola: 4432085 markings, 8538686 edges, 8277 markings/sec, 675 secs
lola: 4451665 markings, 8565040 edges, 3916 markings/sec, 680 secs
lola: 4476294 markings, 8622778 edges, 4926 markings/sec, 685 secs
lola: 4497781 markings, 8662167 edges, 4297 markings/sec, 690 secs
lola: 4519146 markings, 8705909 edges, 4273 markings/sec, 695 secs
lola: 4544229 markings, 8764685 edges, 5017 markings/sec, 700 secs
lola: 4570590 markings, 8793400 edges, 5272 markings/sec, 705 secs
lola: 4641955 markings, 8951657 edges, 14273 markings/sec, 710 secs
lola: 4712342 markings, 9109390 edges, 14077 markings/sec, 715 secs
lola: 4785517 markings, 9273827 edges, 14635 markings/sec, 720 secs
lola: 4846030 markings, 9373264 edges, 12103 markings/sec, 725 secs
lola: 4877340 markings, 9405128 edges, 6262 markings/sec, 730 secs
lola: 4894700 markings, 9444107 edges, 3472 markings/sec, 735 secs
lola: 4911077 markings, 9480595 edges, 3275 markings/sec, 740 secs
lola: 4925146 markings, 9505478 edges, 2814 markings/sec, 745 secs
lola: 4942521 markings, 9546938 edges, 3475 markings/sec, 750 secs
lola: 4957125 markings, 9571437 edges, 2921 markings/sec, 755 secs
lola: 4968146 markings, 9599930 edges, 2204 markings/sec, 760 secs
lola: 4987706 markings, 9628830 edges, 3912 markings/sec, 765 secs
lola: 5081906 markings, 9832275 edges, 18840 markings/sec, 770 secs
lola: 5182630 markings, 10058178 edges, 20145 markings/sec, 775 secs
lola: 5264615 markings, 10210189 edges, 16397 markings/sec, 780 secs
lola: 5301158 markings, 10248491 edges, 7309 markings/sec, 785 secs
lola: 5312017 markings, 10276496 edges, 2172 markings/sec, 790 secs
lola: 5322886 markings, 10298463 edges, 2174 markings/sec, 795 secs
lola: 5333029 markings, 10317189 edges, 2029 markings/sec, 800 secs
lola: 5355003 markings, 10339536 edges, 4395 markings/sec, 805 secs
lola: 5372012 markings, 10356804 edges, 3402 markings/sec, 810 secs
lola: 5406170 markings, 10430008 edges, 6832 markings/sec, 815 secs
lola: 5442267 markings, 10510881 edges, 7219 markings/sec, 820 secs
lola: 5478617 markings, 10592208 edges, 7270 markings/sec, 825 secs
lola: 5519389 markings, 10683660 edges, 8154 markings/sec, 830 secs
lola: 5563393 markings, 10782600 edges, 8801 markings/sec, 835 secs
lola: 5602198 markings, 10869623 edges, 7761 markings/sec, 840 secs
lola: 5634544 markings, 10931433 edges, 6469 markings/sec, 845 secs
lola: 5652103 markings, 10949266 edges, 3512 markings/sec, 850 secs
lola: 5678275 markings, 10975876 edges, 5234 markings/sec, 855 secs
lola: 5695954 markings, 10993846 edges, 3536 markings/sec, 860 secs
lola: 5722073 markings, 11041063 edges, 5224 markings/sec, 865 secs
lola: 5762621 markings, 11132163 edges, 8110 markings/sec, 870 secs
lola: 5802221 markings, 11221227 edges, 7920 markings/sec, 875 secs
lola: 5835708 markings, 11289776 edges, 6697 markings/sec, 880 secs
lola: 5860805 markings, 11333068 edges, 5019 markings/sec, 885 secs
lola: 5900787 markings, 11422994 edges, 7996 markings/sec, 890 secs
lola: 5939929 markings, 11510510 edges, 7828 markings/sec, 895 secs
lola: 5971900 markings, 11574280 edges, 6394 markings/sec, 900 secs
lola: 5999055 markings, 11626084 edges, 5431 markings/sec, 905 secs
lola: 6034973 markings, 11707004 edges, 7184 markings/sec, 910 secs
lola: 6070856 markings, 11787397 edges, 7177 markings/sec, 915 secs
lola: 6111288 markings, 11878583 edges, 8086 markings/sec, 920 secs
lola: 6149774 markings, 11964930 edges, 7697 markings/sec, 925 secs
lola: 6191527 markings, 12059059 edges, 8351 markings/sec, 930 secs
lola: 6208746 markings, 12077036 edges, 3444 markings/sec, 935 secs
lola: 6231247 markings, 12099901 edges, 4500 markings/sec, 940 secs
lola: 6252442 markings, 12121482 edges, 4239 markings/sec, 945 secs
lola: 6274716 markings, 12144294 edges, 4455 markings/sec, 950 secs
lola: 6294198 markings, 12164234 edges, 3896 markings/sec, 955 secs
lola: 6315721 markings, 12197192 edges, 4305 markings/sec, 960 secs
lola: 6357461 markings, 12290895 edges, 8348 markings/sec, 965 secs
lola: 6397232 markings, 12380500 edges, 7954 markings/sec, 970 secs
lola: 6434783 markings, 12461018 edges, 7510 markings/sec, 975 secs
lola: 6457241 markings, 12495340 edges, 4492 markings/sec, 980 secs
lola: 6499365 markings, 12589981 edges, 8425 markings/sec, 985 secs
lola: 6540580 markings, 12682400 edges, 8243 markings/sec, 990 secs
lola: 6572997 markings, 12747615 edges, 6483 markings/sec, 995 secs
lola: 6600589 markings, 12802379 edges, 5518 markings/sec, 1000 secs
lola: 6632344 markings, 12873958 edges, 6351 markings/sec, 1005 secs
lola: 6668625 markings, 12955966 edges, 7256 markings/sec, 1010 secs
lola: 6704295 markings, 13036285 edges, 7134 markings/sec, 1015 secs
lola: 6743230 markings, 13124131 edges, 7787 markings/sec, 1020 secs
lola: 6772642 markings, 13182449 edges, 5882 markings/sec, 1025 secs
lola: 6791206 markings, 13201380 edges, 3713 markings/sec, 1030 secs
lola: 6814186 markings, 13224756 edges, 4596 markings/sec, 1035 secs
lola: 6836054 markings, 13247230 edges, 4374 markings/sec, 1040 secs
lola: 6857409 markings, 13269319 edges, 4271 markings/sec, 1045 secs
lola: 6877282 markings, 13292972 edges, 3975 markings/sec, 1050 secs
lola: 6918018 markings, 13384204 edges, 8147 markings/sec, 1055 secs
lola: 6962161 markings, 13483478 edges, 8829 markings/sec, 1060 secs
lola: 7002582 markings, 13570773 edges, 8084 markings/sec, 1065 secs
lola: 7026211 markings, 13607545 edges, 4726 markings/sec, 1070 secs
lola: 7070243 markings, 13706739 edges, 8806 markings/sec, 1075 secs
lola: 7112212 markings, 13800476 edges, 8394 markings/sec, 1080 secs
lola: 7142753 markings, 13859471 edges, 6108 markings/sec, 1085 secs
lola: 7170050 markings, 13917971 edges, 5459 markings/sec, 1090 secs
lola: 7204270 markings, 13995825 edges, 6844 markings/sec, 1095 secs
lola: 7236106 markings, 14067786 edges, 6367 markings/sec, 1100 secs
lola: 7270897 markings, 14146696 edges, 6958 markings/sec, 1105 secs
lola: 7306653 markings, 14227719 edges, 7151 markings/sec, 1110 secs
lola: 7322452 markings, 14244038 edges, 3160 markings/sec, 1115 secs
lola: 7345822 markings, 14267794 edges, 4674 markings/sec, 1120 secs
lola: 7369125 markings, 14291729 edges, 4661 markings/sec, 1125 secs
lola: 7390553 markings, 14314120 edges, 4286 markings/sec, 1130 secs
lola: 7408963 markings, 14333247 edges, 3682 markings/sec, 1135 secs
lola: 7451979 markings, 14429493 edges, 8603 markings/sec, 1140 secs
lola: 7499198 markings, 14535564 edges, 9444 markings/sec, 1145 secs
lola: 7538465 markings, 14618393 edges, 7853 markings/sec, 1150 secs
lola: 7566474 markings, 14666987 edges, 5602 markings/sec, 1155 secs
lola: 7612858 markings, 14771191 edges, 9277 markings/sec, 1160 secs
lola: 7657587 markings, 14871271 edges, 8946 markings/sec, 1165 secs
lola: 7680993 markings, 14913459 edges, 4681 markings/sec, 1170 secs
lola: 7711753 markings, 14983767 edges, 6152 markings/sec, 1175 secs
lola: 7741210 markings, 15050787 edges, 5891 markings/sec, 1180 secs
lola: 7771798 markings, 15120344 edges, 6118 markings/sec, 1185 secs
lola: 7803390 markings, 15192505 edges, 6318 markings/sec, 1190 secs
lola: 7824447 markings, 15227265 edges, 4211 markings/sec, 1195 secs
lola: 7848372 markings, 15251582 edges, 4785 markings/sec, 1200 secs
lola: 7871169 markings, 15274981 edges, 4559 markings/sec, 1205 secs
lola: 7891472 markings, 15296503 edges, 4061 markings/sec, 1210 secs
lola: 7911315 markings, 15319090 edges, 3969 markings/sec, 1215 secs
lola: 7957625 markings, 15422634 edges, 9262 markings/sec, 1220 secs
lola: 8007055 markings, 15533866 edges, 9886 markings/sec, 1225 secs
lola: 8042830 markings, 15604303 edges, 7155 markings/sec, 1230 secs
lola: 8079948 markings, 15678004 edges, 7424 markings/sec, 1235 secs
lola: 8126681 markings, 15782646 edges, 9347 markings/sec, 1240 secs
lola: 8171211 markings, 15880926 edges, 8906 markings/sec, 1245 secs
lola: 8191362 markings, 15920308 edges, 4030 markings/sec, 1250 secs
lola: 8218670 markings, 15983043 edges, 5462 markings/sec, 1255 secs
lola: 8246226 markings, 16046388 edges, 5511 markings/sec, 1260 secs
lola: 8273917 markings, 16110199 edges, 5538 markings/sec, 1265 secs
lola: 8295019 markings, 16148852 edges, 4220 markings/sec, 1270 secs
lola: 8319629 markings, 16173863 edges, 4922 markings/sec, 1275 secs
lola: 8343038 markings, 16197983 edges, 4682 markings/sec, 1280 secs
lola: 8361254 markings, 16217613 edges, 3643 markings/sec, 1285 secs
lola: 8394523 markings, 16273351 edges, 6654 markings/sec, 1290 secs
lola: 8451248 markings, 16400614 edges, 11345 markings/sec, 1295 secs
lola: 8504546 markings, 16517157 edges, 10660 markings/sec, 1300 secs
lola: 8541370 markings, 16583544 edges, 7365 markings/sec, 1305 secs
lola: 8598179 markings, 16711160 edges, 11362 markings/sec, 1310 secs
lola: 8640493 markings, 16801757 edges, 8463 markings/sec, 1315 secs
lola: 8661475 markings, 16848341 edges, 4196 markings/sec, 1320 secs
lola: 8684990 markings, 16903293 edges, 4703 markings/sec, 1325 secs
lola: 8707920 markings, 16956702 edges, 4586 markings/sec, 1330 secs
lola: 8729638 markings, 17003949 edges, 4344 markings/sec, 1335 secs
lola: 8755382 markings, 17030383 edges, 5149 markings/sec, 1340 secs
lola: 8780290 markings, 17056094 edges, 4982 markings/sec, 1345 secs
lola: 8798103 markings, 17075520 edges, 3563 markings/sec, 1350 secs
lola: 8832962 markings, 17129217 edges, 6972 markings/sec, 1355 secs
lola: 8903968 markings, 17288852 edges, 14201 markings/sec, 1360 secs
lola: 8960486 markings, 17405652 edges, 11304 markings/sec, 1365 secs
lola: 9031674 markings, 17565651 edges, 14238 markings/sec, 1370 secs
lola: 9074399 markings, 17657282 edges, 8545 markings/sec, 1375 secs
lola: 9090490 markings, 17695686 edges, 3218 markings/sec, 1380 secs
lola: 9107626 markings, 17736803 edges, 3427 markings/sec, 1385 secs
lola: 9124455 markings, 17777277 edges, 3366 markings/sec, 1390 secs
lola: 9139109 markings, 17804316 edges, 2931 markings/sec, 1395 secs
lola: 9170819 markings, 17836532 edges, 6342 markings/sec, 1400 secs
lola: 9191665 markings, 17859451 edges, 4169 markings/sec, 1405 secs
lola: 9199387 markings, 17874501 edges, 1544 markings/sec, 1410 secs
lola: 9211885 markings, 17906193 edges, 2500 markings/sec, 1415 secs
lola: 9268766 markings, 18003523 edges, 11376 markings/sec, 1420 secs
lola: 9365369 markings, 18216353 edges, 19321 markings/sec, 1425 secs
lola: 9459862 markings, 18422583 edges, 18899 markings/sec, 1430 secs
lola: 9496293 markings, 18506605 edges, 7286 markings/sec, 1435 secs
lola: 9506726 markings, 18531851 edges, 2087 markings/sec, 1440 secs
lola: 9521936 markings, 18548758 edges, 3042 markings/sec, 1445 secs
lola: 9559735 markings, 18588858 edges, 7560 markings/sec, 1450 secs
lola: 9566785 markings, 18605741 edges, 1410 markings/sec, 1455 secs
lola: 9586777 markings, 18626019 edges, 3998 markings/sec, 1460 secs
lola: 9610038 markings, 18649684 edges, 4652 markings/sec, 1465 secs
lola: 9631224 markings, 18679436 edges, 4237 markings/sec, 1470 secs
lola: 9668217 markings, 18762564 edges, 7399 markings/sec, 1475 secs
lola: 9703000 markings, 18840536 edges, 6957 markings/sec, 1480 secs
lola: 9731280 markings, 18888330 edges, 5656 markings/sec, 1485 secs
lola: 9747745 markings, 18905050 edges, 3293 markings/sec, 1490 secs
lola: 9782459 markings, 18975428 edges, 6943 markings/sec, 1495 secs
lola: 9820605 markings, 19056077 edges, 7629 markings/sec, 1500 secs
lola: 9839102 markings, 19074874 edges, 3699 markings/sec, 1505 secs
lola: 9861111 markings, 19100047 edges, 4402 markings/sec, 1510 secs
lola: 9897876 markings, 19182603 edges, 7353 markings/sec, 1515 secs
lola: 9937332 markings, 19270980 edges, 7891 markings/sec, 1520 secs
lola: 9976461 markings, 19358898 edges, 7826 markings/sec, 1525 secs
lola: 10011324 markings, 19437144 edges, 6973 markings/sec, 1530 secs
lola: 10042161 markings, 19504183 edges, 6167 markings/sec, 1535 secs
lola: 10065282 markings, 19527717 edges, 4624 markings/sec, 1540 secs
lola: 10083558 markings, 19546320 edges, 3655 markings/sec, 1545 secs
lola: 10103869 markings, 19575420 edges, 4062 markings/sec, 1550 secs
lola: 10140504 markings, 19657956 edges, 7327 markings/sec, 1555 secs
lola: 10174703 markings, 19735269 edges, 6840 markings/sec, 1560 secs
lola: 10194360 markings, 19755409 edges, 3931 markings/sec, 1565 secs
lola: 10218303 markings, 19796185 edges, 4789 markings/sec, 1570 secs
lola: 10257813 markings, 19885452 edges, 7902 markings/sec, 1575 secs
lola: 10295284 markings, 19969286 edges, 7494 markings/sec, 1580 secs
lola: 10324819 markings, 20019129 edges, 5907 markings/sec, 1585 secs
lola: 10341021 markings, 20035679 edges, 3240 markings/sec, 1590 secs
lola: 10368084 markings, 20076093 edges, 5413 markings/sec, 1595 secs
lola: 10408590 markings, 20166894 edges, 8101 markings/sec, 1600 secs
lola: 10449637 markings, 20259436 edges, 8209 markings/sec, 1605 secs
lola: 10485615 markings, 20339819 edges, 7196 markings/sec, 1610 secs
lola: 10519101 markings, 20414896 edges, 6697 markings/sec, 1615 secs
lola: 10548450 markings, 20469461 edges, 5870 markings/sec, 1620 secs
lola: 10571837 markings, 20493253 edges, 4677 markings/sec, 1625 secs
lola: 10587633 markings, 20509381 edges, 3159 markings/sec, 1630 secs
lola: 10618265 markings, 20570306 edges, 6126 markings/sec, 1635 secs
lola: 10649851 markings, 20641480 edges, 6317 markings/sec, 1640 secs
lola: 10675694 markings, 20684104 edges, 5169 markings/sec, 1645 secs
lola: 10696271 markings, 20713951 edges, 4115 markings/sec, 1650 secs
lola: 10733127 markings, 20797539 edges, 7371 markings/sec, 1655 secs
lola: 10769972 markings, 20880451 edges, 7369 markings/sec, 1660 secs
lola: 10797740 markings, 20924509 edges, 5554 markings/sec, 1665 secs
lola: 10814564 markings, 20941690 edges, 3365 markings/sec, 1670 secs
lola: 10846935 markings, 21000120 edges, 6474 markings/sec, 1675 secs
lola: 10889378 markings, 21095578 edges, 8489 markings/sec, 1680 secs
lola: 10928478 markings, 21183066 edges, 7820 markings/sec, 1685 secs
lola: 10965335 markings, 21265934 edges, 7371 markings/sec, 1690 secs
lola: 11000869 markings, 21345601 edges, 7107 markings/sec, 1695 secs
lola: 11026658 markings, 21380234 edges, 5158 markings/sec, 1700 secs
lola: 11047776 markings, 21401720 edges, 4224 markings/sec, 1705 secs
lola: 11064708 markings, 21422838 edges, 3386 markings/sec, 1710 secs
lola: 11096524 markings, 21495023 edges, 6363 markings/sec, 1715 secs
lola: 11125398 markings, 21554622 edges, 5775 markings/sec, 1720 secs
lola: 11143216 markings, 21573235 edges, 3564 markings/sec, 1725 secs
lola: 11175948 markings, 21647287 edges, 6546 markings/sec, 1730 secs
lola: 11211935 markings, 21728801 edges, 7197 markings/sec, 1735 secs
lola: 11238582 markings, 21771324 edges, 5329 markings/sec, 1740 secs
lola: 11256447 markings, 21789601 edges, 3573 markings/sec, 1745 secs
lola: 11292195 markings, 21859662 edges, 7150 markings/sec, 1750 secs
lola: 11333984 markings, 21953314 edges, 8358 markings/sec, 1755 secs
lola: 11375722 markings, 22047208 edges, 8348 markings/sec, 1760 secs
lola: 11411625 markings, 22127559 edges, 7181 markings/sec, 1765 secs
lola: 11445908 markings, 22204624 edges, 6857 markings/sec, 1770 secs
lola: 11469132 markings, 22228741 edges, 4645 markings/sec, 1775 secs
lola: 11488110 markings, 22248065 edges, 3796 markings/sec, 1780 secs
lola: 11506798 markings, 22276965 edges, 3738 markings/sec, 1785 secs
lola: 11536113 markings, 22343811 edges, 5863 markings/sec, 1790 secs
lola: 11559921 markings, 22384161 edges, 4762 markings/sec, 1795 secs
lola: 11583657 markings, 22428988 edges, 4747 markings/sec, 1800 secs
lola: 11615947 markings, 22502794 edges, 6458 markings/sec, 1805 secs
lola: 11644680 markings, 22556763 edges, 5747 markings/sec, 1810 secs
lola: 11662106 markings, 22574733 edges, 3485 markings/sec, 1815 secs
lola: 11696617 markings, 22638607 edges, 6902 markings/sec, 1820 secs
lola: 11740927 markings, 22737831 edges, 8862 markings/sec, 1825 secs
lola: 11783685 markings, 22833674 edges, 8552 markings/sec, 1830 secs
lola: 11820340 markings, 22916234 edges, 7331 markings/sec, 1835 secs
lola: 11855116 markings, 22993872 edges, 6955 markings/sec, 1840 secs
lola: 11879140 markings, 23018317 edges, 4805 markings/sec, 1845 secs
lola: 11897578 markings, 23037070 edges, 3688 markings/sec, 1850 secs
lola: 11916394 markings, 23069082 edges, 3763 markings/sec, 1855 secs
lola: 11943640 markings, 23131752 edges, 5449 markings/sec, 1860 secs
lola: 11961624 markings, 23154601 edges, 3597 markings/sec, 1865 secs
lola: 11988677 markings, 23216589 edges, 5411 markings/sec, 1870 secs
lola: 12019558 markings, 23284297 edges, 6176 markings/sec, 1875 secs
lola: 12036527 markings, 23302187 edges, 3394 markings/sec, 1880 secs
lola: 12069950 markings, 23358134 edges, 6685 markings/sec, 1885 secs
lola: 12117258 markings, 23464606 edges, 9462 markings/sec, 1890 secs
lola: 12161540 markings, 23563703 edges, 8856 markings/sec, 1895 secs
lola: 12200399 markings, 23650840 edges, 7772 markings/sec, 1900 secs
lola: 12234758 markings, 23726612 edges, 6872 markings/sec, 1905 secs
lola: 12261590 markings, 23753925 edges, 5366 markings/sec, 1910 secs
lola: 12280013 markings, 23772690 edges, 3685 markings/sec, 1915 secs
lola: 12300123 markings, 23814391 edges, 4022 markings/sec, 1920 secs
lola: 12321431 markings, 23855681 edges, 4262 markings/sec, 1925 secs
lola: 12341042 markings, 23895421 edges, 3922 markings/sec, 1930 secs
lola: 12369432 markings, 23960672 edges, 5678 markings/sec, 1935 secs
lola: 12385704 markings, 23978031 edges, 3254 markings/sec, 1940 secs
lola: 12426491 markings, 24051133 edges, 8157 markings/sec, 1945 secs
lola: 12493266 markings, 24201106 edges, 13355 markings/sec, 1950 secs
lola: 12546205 markings, 24319894 edges, 10588 markings/sec, 1955 secs
lola: 12587003 markings, 24405599 edges, 8160 markings/sec, 1960 secs
lola: 12619398 markings, 24438544 edges, 6479 markings/sec, 1965 secs
lola: 12633993 markings, 24457052 edges, 2919 markings/sec, 1970 secs
lola: 12651969 markings, 24500583 edges, 3595 markings/sec, 1975 secs
lola: 12666044 markings, 24524284 edges, 2815 markings/sec, 1980 secs
lola: 12687957 markings, 24576328 edges, 4383 markings/sec, 1985 secs
lola: 12701393 markings, 24599502 edges, 2687 markings/sec, 1990 secs
lola: 12714466 markings, 24625992 edges, 2615 markings/sec, 1995 secs
lola: 12751373 markings, 24683379 edges, 7381 markings/sec, 2000 secs
lola: 12844912 markings, 24893314 edges, 18708 markings/sec, 2005 secs
lola: 12912513 markings, 25045153 edges, 13520 markings/sec, 2010 secs
lola: 12949939 markings, 25088287 edges, 7485 markings/sec, 2015 secs
lola: 12966007 markings, 25107069 edges, 3214 markings/sec, 2020 secs
lola: 12981468 markings, 25146389 edges, 3092 markings/sec, 2025 secs
lola: 12992092 markings, 25168500 edges, 2125 markings/sec, 2030 secs
lola: 13009751 markings, 25186578 edges, 3532 markings/sec, 2035 secs
lola: 13025018 markings, 25202075 edges, 3053 markings/sec, 2040 secs
lola: 13042734 markings, 25220075 edges, 3543 markings/sec, 2045 secs
lola: 13057834 markings, 25235422 edges, 3020 markings/sec, 2050 secs
lola: 13075353 markings, 25253229 edges, 3504 markings/sec, 2055 secs
lola: 13092716 markings, 25270936 edges, 3473 markings/sec, 2060 secs
lola: 13109973 markings, 25288618 edges, 3451 markings/sec, 2065 secs
lola: 13125503 markings, 25304432 edges, 3106 markings/sec, 2070 secs
lola: 13139723 markings, 25318998 edges, 2844 markings/sec, 2075 secs
lola: 13157399 markings, 25336975 edges, 3535 markings/sec, 2080 secs
lola: 13174914 markings, 25354838 edges, 3503 markings/sec, 2085 secs
lola: 13191585 markings, 25372048 edges, 3334 markings/sec, 2090 secs
lola: 13206870 markings, 25387667 edges, 3057 markings/sec, 2095 secs
lola: 13221060 markings, 25402300 edges, 2838 markings/sec, 2100 secs
lola: 13239167 markings, 25420707 edges, 3621 markings/sec, 2105 secs
lola: 13256536 markings, 25438498 edges, 3474 markings/sec, 2110 secs
lola: 13272556 markings, 25455194 edges, 3204 markings/sec, 2115 secs
lola: 13287172 markings, 25470145 edges, 2923 markings/sec, 2120 secs
lola: 13302646 markings, 25486139 edges, 3095 markings/sec, 2125 secs
lola: 13321059 markings, 25504851 edges, 3683 markings/sec, 2130 secs
lola: 13336889 markings, 25521374 edges, 3166 markings/sec, 2135 secs
lola: 13351858 markings, 25536910 edges, 2994 markings/sec, 2140 secs
lola: 13365609 markings, 25551305 edges, 2750 markings/sec, 2145 secs
lola: 13384458 markings, 25570470 edges, 3770 markings/sec, 2150 secs
lola: 13401461 markings, 25588051 edges, 3401 markings/sec, 2155 secs
lola: 13415571 markings, 25603030 edges, 2822 markings/sec, 2160 secs
lola: 13429083 markings, 25617221 edges, 2702 markings/sec, 2165 secs
lola: 13450982 markings, 25639535 edges, 4380 markings/sec, 2170 secs
lola: 13468383 markings, 25657828 edges, 3480 markings/sec, 2175 secs
lola: 13482783 markings, 25672964 edges, 2880 markings/sec, 2180 secs
lola: 13499732 markings, 25690814 edges, 3390 markings/sec, 2185 secs
lola: 13523825 markings, 25715489 edges, 4819 markings/sec, 2190 secs
lola: 13534821 markings, 25727772 edges, 2199 markings/sec, 2195 secs
lola: 13547121 markings, 25741142 edges, 2460 markings/sec, 2200 secs
lola: 13573286 markings, 25768309 edges, 5233 markings/sec, 2205 secs
lola: 13589604 markings, 25786047 edges, 3264 markings/sec, 2210 secs
lola: 13601787 markings, 25804693 edges, 2437 markings/sec, 2215 secs
lola: 13612169 markings, 25819610 edges, 2076 markings/sec, 2220 secs
lola: 13631057 markings, 25838776 edges, 3778 markings/sec, 2225 secs
lola: 13653091 markings, 25861181 edges, 4407 markings/sec, 2230 secs
lola: 13675340 markings, 25883785 edges, 4450 markings/sec, 2235 secs
lola: 13698784 markings, 25907622 edges, 4689 markings/sec, 2240 secs
lola: 13721332 markings, 25930641 edges, 4510 markings/sec, 2245 secs
lola: 13742864 markings, 25952701 edges, 4306 markings/sec, 2250 secs
lola: 13766715 markings, 25976980 edges, 4770 markings/sec, 2255 secs
lola: 13790881 markings, 26001588 edges, 4833 markings/sec, 2260 secs
lola: 13811294 markings, 26022663 edges, 4083 markings/sec, 2265 secs
lola: 13831879 markings, 26043845 edges, 4117 markings/sec, 2270 secs
lola: 13857769 markings, 26070175 edges, 5178 markings/sec, 2275 secs
lola: 13881418 markings, 26094467 edges, 4730 markings/sec, 2280 secs
lola: 13901345 markings, 26115327 edges, 3985 markings/sec, 2285 secs
lola: 13926519 markings, 26140950 edges, 5035 markings/sec, 2290 secs
lola: 13951391 markings, 26166447 edges, 4974 markings/sec, 2295 secs
lola: 13970831 markings, 26187070 edges, 3888 markings/sec, 2300 secs
lola: 13996570 markings, 26213324 edges, 5148 markings/sec, 2305 secs
lola: 14021971 markings, 26239481 edges, 5080 markings/sec, 2310 secs
lola: 14039601 markings, 26258503 edges, 3526 markings/sec, 2315 secs
lola: 14069450 markings, 26288825 edges, 5970 markings/sec, 2320 secs
lola: 14091354 markings, 26312098 edges, 4381 markings/sec, 2325 secs
lola: 14117332 markings, 26339208 edges, 5196 markings/sec, 2330 secs
lola: 14144460 markings, 26367061 edges, 5426 markings/sec, 2335 secs
lola: 14156230 markings, 26381355 edges, 2354 markings/sec, 2340 secs
lola: 14195170 markings, 26421459 edges, 7788 markings/sec, 2345 secs
lola: 14210275 markings, 26438610 edges, 3021 markings/sec, 2350 secs
lola: 14226918 markings, 26455502 edges, 3329 markings/sec, 2355 secs
lola: 14243193 markings, 26472064 edges, 3255 markings/sec, 2360 secs
lola: 14256865 markings, 26485952 edges, 2734 markings/sec, 2365 secs
lola: 14273293 markings, 26502644 edges, 3286 markings/sec, 2370 secs
lola: 14289121 markings, 26518850 edges, 3166 markings/sec, 2375 secs
lola: 14304819 markings, 26534913 edges, 3140 markings/sec, 2380 secs
lola: 14317618 markings, 26547952 edges, 2560 markings/sec, 2385 secs
lola: 14332044 markings, 26562681 edges, 2885 markings/sec, 2390 secs
lola: 14348333 markings, 26579253 edges, 3258 markings/sec, 2395 secs
lola: 14364147 markings, 26595583 edges, 3163 markings/sec, 2400 secs
lola: 14378244 markings, 26610018 edges, 2819 markings/sec, 2405 secs
lola: 14391126 markings, 26623287 edges, 2576 markings/sec, 2410 secs
lola: 14407463 markings, 26639924 edges, 3267 markings/sec, 2415 secs
lola: 14422898 markings, 26655801 edges, 3087 markings/sec, 2420 secs
lola: 14438050 markings, 26671557 edges, 3030 markings/sec, 2425 secs
lola: 14450749 markings, 26684548 edges, 2540 markings/sec, 2430 secs
lola: 14466016 markings, 26700283 edges, 3053 markings/sec, 2435 secs
lola: 14481984 markings, 26716591 edges, 3194 markings/sec, 2440 secs
lola: 14496792 markings, 26732266 edges, 2962 markings/sec, 2445 secs
lola: 14509485 markings, 26745193 edges, 2539 markings/sec, 2450 secs
lola: 14524607 markings, 26760942 edges, 3024 markings/sec, 2455 secs
lola: 14540733 markings, 26777389 edges, 3225 markings/sec, 2460 secs
lola: 14554572 markings, 26792240 edges, 2768 markings/sec, 2465 secs
lola: 14567202 markings, 26805234 edges, 2526 markings/sec, 2470 secs
lola: 14584304 markings, 26822958 edges, 3420 markings/sec, 2475 secs
lola: 14599688 markings, 26839077 edges, 3077 markings/sec, 2480 secs
lola: 14612885 markings, 26852998 edges, 2639 markings/sec, 2485 secs
lola: 14627862 markings, 26868831 edges, 2995 markings/sec, 2490 secs
lola: 14647232 markings, 26888748 edges, 3874 markings/sec, 2495 secs
lola: 14659287 markings, 26901922 edges, 2411 markings/sec, 2500 secs
lola: 14670576 markings, 26914667 edges, 2258 markings/sec, 2505 secs
lola: 14694559 markings, 26939183 edges, 4797 markings/sec, 2510 secs
lola: 14706910 markings, 26952740 edges, 2470 markings/sec, 2515 secs
lola: 14719863 markings, 26967000 edges, 2591 markings/sec, 2520 secs
lola: 14738995 markings, 26986449 edges, 3826 markings/sec, 2525 secs
lola: 14760035 markings, 27007830 edges, 4208 markings/sec, 2530 secs
lola: 14785932 markings, 27034186 edges, 5179 markings/sec, 2535 secs
lola: 14806751 markings, 27055452 edges, 4164 markings/sec, 2540 secs
lola: 14827749 markings, 27076995 edges, 4200 markings/sec, 2545 secs
lola: 14849193 markings, 27098792 edges, 4289 markings/sec, 2550 secs
lola: 14873978 markings, 27124015 edges, 4957 markings/sec, 2555 secs
lola: 14893873 markings, 27144578 edges, 3979 markings/sec, 2560 secs
lola: 14913610 markings, 27164902 edges, 3947 markings/sec, 2565 secs
lola: 14940936 markings, 27192668 edges, 5465 markings/sec, 2570 secs
lola: 14962346 markings, 27214679 edges, 4282 markings/sec, 2575 secs
lola: 14982383 markings, 27235636 edges, 4007 markings/sec, 2580 secs
lola: 15005659 markings, 27259340 edges, 4655 markings/sec, 2585 secs
lola: 15030263 markings, 27284467 edges, 4921 markings/sec, 2590 secs
lola: 15049651 markings, 27305040 edges, 3878 markings/sec, 2595 secs
lola: 15072277 markings, 27328233 edges, 4525 markings/sec, 2600 secs
lola: 15099247 markings, 27355706 edges, 5394 markings/sec, 2605 secs
lola: 15116678 markings, 27374589 edges, 3486 markings/sec, 2610 secs
lola: 15141826 markings, 27400372 edges, 5030 markings/sec, 2615 secs
lola: 15167328 markings, 27426645 edges, 5100 markings/sec, 2620 secs
lola: 15183270 markings, 27444225 edges, 3188 markings/sec, 2625 secs
lola: 15215714 markings, 27477187 edges, 6489 markings/sec, 2630 secs
lola: 15231922 markings, 27494940 edges, 3242 markings/sec, 2635 secs
lola: 15246151 markings, 27511253 edges, 2846 markings/sec, 2640 secs
lola: 15284898 markings, 27550880 edges, 7749 markings/sec, 2645 secs
lola: 15297271 markings, 27564991 edges, 2475 markings/sec, 2650 secs
lola: 15332880 markings, 27639687 edges, 7122 markings/sec, 2655 secs
lola: 15368613 markings, 27714476 edges, 7147 markings/sec, 2660 secs
lola: 15388568 markings, 27734761 edges, 3991 markings/sec, 2665 secs
lola: 15410375 markings, 27769533 edges, 4361 markings/sec, 2670 secs
lola: 15448963 markings, 27856050 edges, 7718 markings/sec, 2675 secs
lola: 15488661 markings, 27945244 edges, 7940 markings/sec, 2680 secs
lola: 15522366 markings, 28016806 edges, 6741 markings/sec, 2685 secs
lola: 15545680 markings, 28055995 edges, 4663 markings/sec, 2690 secs
lola: 15585046 markings, 28144759 edges, 7873 markings/sec, 2695 secs
lola: 15620913 markings, 28225304 edges, 7173 markings/sec, 2700 secs
lola: 15662486 markings, 28318719 edges, 8315 markings/sec, 2705 secs
lola: 15694932 markings, 28384773 edges, 6489 markings/sec, 2710 secs
lola: 15715648 markings, 28405839 edges, 4143 markings/sec, 2715 secs
lola: 15737726 markings, 28428479 edges, 4416 markings/sec, 2720 secs
lola: 15757042 markings, 28448208 edges, 3863 markings/sec, 2725 secs
lola: 15791723 markings, 28519540 edges, 6936 markings/sec, 2730 secs
lola: 15830437 markings, 28606299 edges, 7743 markings/sec, 2735 secs
lola: 15873784 markings, 28703631 edges, 8669 markings/sec, 2740 secs
lola: 15896401 markings, 28739328 edges, 4523 markings/sec, 2745 secs
lola: 15931529 markings, 28818437 edges, 7026 markings/sec, 2750 secs
lola: 15967272 markings, 28899268 edges, 7149 markings/sec, 2755 secs
lola: 16004942 markings, 28984245 edges, 7534 markings/sec, 2760 secs
lola: 16036316 markings, 29048236 edges, 6275 markings/sec, 2765 secs
lola: 16058791 markings, 29071108 edges, 4495 markings/sec, 2770 secs
lola: 16080641 markings, 29093697 edges, 4370 markings/sec, 2775 secs
lola: 16098560 markings, 29111987 edges, 3584 markings/sec, 2780 secs
lola: 16138421 markings, 29200024 edges, 7972 markings/sec, 2785 secs
lola: 16184077 markings, 29302594 edges, 9131 markings/sec, 2790 secs
lola: 16221787 markings, 29383331 edges, 7542 markings/sec, 2795 secs
lola: 16247339 markings, 29432161 edges, 5110 markings/sec, 2800 secs
lola: 16279851 markings, 29505666 edges, 6502 markings/sec, 2805 secs
lola: 16314303 markings, 29583707 edges, 6890 markings/sec, 2810 secs
lola: 16348273 markings, 29659359 edges, 6794 markings/sec, 2815 secs
lola: 16369557 markings, 29681129 edges, 4257 markings/sec, 2820 secs
lola: 16391256 markings, 29703720 edges, 4340 markings/sec, 2825 secs
lola: 16409713 markings, 29722624 edges, 3691 markings/sec, 2830 secs
lola: 16450565 markings, 29812054 edges, 8170 markings/sec, 2835 secs
lola: 16499000 markings, 29920915 edges, 9687 markings/sec, 2840 secs
lola: 16535024 markings, 29996205 edges, 7205 markings/sec, 2845 secs
lola: 16559510 markings, 30046486 edges, 4897 markings/sec, 2850 secs
lola: 16591706 markings, 30119904 edges, 6439 markings/sec, 2855 secs
lola: 16623910 markings, 30193322 edges, 6441 markings/sec, 2860 secs
lola: 16646470 markings, 30234492 edges, 4512 markings/sec, 2865 secs
lola: 16670084 markings, 30258812 edges, 4723 markings/sec, 2870 secs
lola: 16690238 markings, 30279892 edges, 4031 markings/sec, 2875 secs
lola: 16726642 markings, 30351721 edges, 7281 markings/sec, 2880 secs
lola: 16773237 markings, 30456135 edges, 9319 markings/sec, 2885 secs
lola: 16818810 markings, 30556701 edges, 9115 markings/sec, 2890 secs
lola: 16839788 markings, 30597801 edges, 4196 markings/sec, 2895 secs
lola: 16867984 markings, 30662494 edges, 5639 markings/sec, 2900 secs
lola: 16895462 markings, 30725855 edges, 5496 markings/sec, 2905 secs
lola: 16917105 markings, 30759216 edges, 4329 markings/sec, 2910 secs
lola: 16940456 markings, 30783756 edges, 4670 markings/sec, 2915 secs
lola: 16964063 markings, 30813189 edges, 4721 markings/sec, 2920 secs
lola: 17021222 markings, 30941322 edges, 11432 markings/sec, 2925 secs
lola: 17078217 markings, 31069135 edges, 11399 markings/sec, 2930 secs
lola: 17095896 markings, 31103584 edges, 3536 markings/sec, 2935 secs
lola: 17120461 markings, 31160617 edges, 4913 markings/sec, 2940 secs
lola: 17143683 markings, 31215124 edges, 4644 markings/sec, 2945 secs
lola: 17169186 markings, 31242865 edges, 5101 markings/sec, 2950 secs
lola: 17186901 markings, 31262129 edges, 3543 markings/sec, 2955 secs
lola: 17240413 markings, 31370415 edges, 10702 markings/sec, 2960 secs
lola: 17312678 markings, 31532717 edges, 14453 markings/sec, 2965 secs
lola: 17327342 markings, 31562617 edges, 2933 markings/sec, 2970 secs
lola: 17346400 markings, 31608076 edges, 3812 markings/sec, 2975 secs
lola: 17361113 markings, 31642859 edges, 2943 markings/sec, 2980 secs
lola: 17386236 markings, 31669085 edges, 5025 markings/sec, 2985 secs
lola: 17395821 markings, 31683501 edges, 1917 markings/sec, 2990 secs
lola: 17407758 markings, 31713809 edges, 2387 markings/sec, 2995 secs
lola: 17465249 markings, 31823732 edges, 11498 markings/sec, 3000 secs
lola: 17546894 markings, 32007790 edges, 16329 markings/sec, 3005 secs
lola: 17554734 markings, 32023784 edges, 1568 markings/sec, 3010 secs
lola: 17582830 markings, 32052927 edges, 5619 markings/sec, 3015 secs
lola: 17607765 markings, 32078266 edges, 4987 markings/sec, 3020 secs
lola: 17633762 markings, 32123833 edges, 5199 markings/sec, 3025 secs
lola: 17674089 markings, 32214160 edges, 8065 markings/sec, 3030 secs
lola: 17697140 markings, 32246069 edges, 4610 markings/sec, 3035 secs
lola: 17728124 markings, 32304759 edges, 6197 markings/sec, 3040 secs
lola: 17766379 markings, 32390706 edges, 7651 markings/sec, 3045 secs
lola: 17797945 markings, 32461392 edges, 6313 markings/sec, 3050 secs
lola: 17828939 markings, 32526034 edges, 6199 markings/sec, 3055 secs
lola: 17849631 markings, 32547107 edges, 4138 markings/sec, 3060 secs
lola: 17873689 markings, 32586903 edges, 4812 markings/sec, 3065 secs
lola: 17911346 markings, 32671505 edges, 7531 markings/sec, 3070 secs
lola: 17943371 markings, 32743712 edges, 6405 markings/sec, 3075 secs
lola: 17973074 markings, 32803596 edges, 5941 markings/sec, 3080 secs
lola: 17992443 markings, 32823482 edges, 3874 markings/sec, 3085 secs
lola: 18027262 markings, 32897413 edges, 6964 markings/sec, 3090 secs
lola: 18056936 markings, 32950695 edges, 5935 markings/sec, 3095 secs
lola: 18084647 markings, 32998953 edges, 5542 markings/sec, 3100 secs
lola: 18124811 markings, 33089260 edges, 8033 markings/sec, 3105 secs
lola: 18158513 markings, 33164771 edges, 6740 markings/sec, 3110 secs
lola: 18190377 markings, 33232326 edges, 6373 markings/sec, 3115 secs
lola: 18211405 markings, 33253724 edges, 4206 markings/sec, 3120 secs
lola: 18234341 markings, 33291926 edges, 4587 markings/sec, 3125 secs
lola: 18270028 markings, 33372634 edges, 7137 markings/sec, 3130 secs
lola: 18300624 markings, 33441287 edges, 6119 markings/sec, 3135 secs
lola: 18327941 markings, 33488371 edges, 5463 markings/sec, 3140 secs
lola: 18349122 markings, 33520097 edges, 4236 markings/sec, 3145 secs
lola: 18385669 markings, 33601280 edges, 7309 markings/sec, 3150 secs
lola: 18407248 markings, 33625863 edges, 4316 markings/sec, 3155 secs
lola: 18446590 markings, 33713866 edges, 7868 markings/sec, 3160 secs
lola: 18483995 markings, 33797805 edges, 7481 markings/sec, 3165 secs
lola: 18518720 markings, 33875759 edges, 6945 markings/sec, 3170 secs
lola: 18542852 markings, 33907244 edges, 4826 markings/sec, 3175 secs
lola: 18561774 markings, 33930739 edges, 3784 markings/sec, 3180 secs
lola: 18594302 markings, 34004667 edges, 6506 markings/sec, 3185 secs
lola: 18624665 markings, 34073219 edges, 6073 markings/sec, 3190 secs
lola: 18650742 markings, 34118219 edges, 5215 markings/sec, 3195 secs
lola: 18674459 markings, 34159702 edges, 4743 markings/sec, 3200 secs
lola: 18705225 markings, 34220607 edges, 6153 markings/sec, 3205 secs
lola: 18732548 markings, 34267235 edges, 5465 markings/sec, 3210 secs
lola: 18775846 markings, 34364397 edges, 8660 markings/sec, 3215 secs
lola: 18808074 markings, 34436656 edges, 6446 markings/sec, 3220 secs
lola: 18839768 markings, 34503400 edges, 6339 markings/sec, 3225 secs
lola: 18860704 markings, 34524705 edges, 4187 markings/sec, 3230 secs
lola: 18883422 markings, 34566024 edges, 4544 markings/sec, 3235 secs
lola: 18913110 markings, 34633662 edges, 5938 markings/sec, 3240 secs
lola: 18940768 markings, 34692233 edges, 5532 markings/sec, 3245 secs
lola: 18960630 markings, 34719802 edges, 3972 markings/sec, 3250 secs
lola: 18991032 markings, 34783127 edges, 6080 markings/sec, 3255 secs
lola: 19018582 markings, 34829015 edges, 5510 markings/sec, 3260 secs
lola: 19063152 markings, 34929130 edges, 8914 markings/sec, 3265 secs
lola: 19095995 markings, 35002664 edges, 6569 markings/sec, 3270 secs
lola: 19127436 markings, 35067887 edges, 6288 markings/sec, 3275 secs
lola: 19148498 markings, 35089331 edges, 4212 markings/sec, 3280 secs
lola: 19170491 markings, 35132040 edges, 4399 markings/sec, 3285 secs
lola: 19197695 markings, 35194699 edges, 5441 markings/sec, 3290 secs
lola: 19220989 markings, 35234729 edges, 4659 markings/sec, 3295 secs
lola: 19245905 markings, 35287732 edges, 4983 markings/sec, 3300 secs
lola: 19269667 markings, 35321429 edges, 4752 markings/sec, 3305 secs
lola: 19315017 markings, 35422896 edges, 9070 markings/sec, 3310 secs
lola: 19353370 markings, 35509204 edges, 7671 markings/sec, 3315 secs
lola: 19386842 markings, 35581387 edges, 6694 markings/sec, 3320 secs
lola: 19409922 markings, 35604894 edges, 4616 markings/sec, 3325 secs
lola: 19429500 markings, 35643852 edges, 3916 markings/sec, 3330 secs
lola: 19454825 markings, 35702981 edges, 5065 markings/sec, 3335 secs
lola: 19473143 markings, 35731791 edges, 3664 markings/sec, 3340 secs
lola: 19494582 markings, 35772480 edges, 4288 markings/sec, 3345 secs
lola: 19546867 markings, 35880497 edges, 10457 markings/sec, 3350 secs
lola: 19596925 markings, 35992778 edges, 10012 markings/sec, 3355 secs
lola: 19633787 markings, 36059985 edges, 7372 markings/sec, 3360 secs
lola: 19652944 markings, 36083370 edges, 3831 markings/sec, 3365 secs
lola: 19671180 markings, 36127405 edges, 3647 markings/sec, 3370 secs
lola: 19688828 markings, 36159699 edges, 3530 markings/sec, 3375 secs
lola: 19704264 markings, 36192394 edges, 3087 markings/sec, 3380 secs
lola: 19718048 markings, 36227502 edges, 2757 markings/sec, 3385 secs
lola: 19744464 markings, 36270101 edges, 5283 markings/sec, 3390 secs
lola: 19824338 markings, 36449581 edges, 15975 markings/sec, 3395 secs
lola: 19870309 markings, 36533005 edges, 9194 markings/sec, 3400 secs
lola: 19886272 markings, 36557612 edges, 3193 markings/sec, 3405 secs
lola: 19903694 markings, 36576679 edges, 3484 markings/sec, 3410 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no yes no yes no no no no yes unknown yes yes no no
lola: time limit reached - aborting
lola:
preliminary result: no no no yes no yes no no no no yes unknown yes yes no no
lola:
preliminary result: no no no yes no yes no no no no yes unknown yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no yes no yes no no no no yes unknown yes yes no no
lola: memory consumption: 3502216 KB
lola: time consumption: 3568 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no yes no yes no no no no yes unknown yes yes no no
lola: memory consumption: 3502224 KB
lola: time consumption: 3568 seconds

BK_STOP 1552905267441

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J04T10"
export BK_EXAMINATION="LTLCardinality"
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-COL-S04J04T10, examination is LTLCardinality"
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-155272326100053"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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