Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 352 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 154K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-COL-S02J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673526800044
=====================================================================

--------------------
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-COL-S02J06T10-UpperBounds-00
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-01
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-02
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-03
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-04
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-05
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-06
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-07
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-08
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-09
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S02J06T10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526846414972

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-COL-S02J06T10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBLF-COL-S02J06T10 @ 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: 2656/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 27008
lola: finding significant places
lola: 844 places, 1812 transitions, 786 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2543 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: LP says that atomic proposition is always false: (p741 <= 0)
lola: MAX(p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198) : MAX(p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843) : MAX(p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285) : MAX(p126) : MAX(p233) : MAX(p619) : MAX(p241) : MAX(p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543) : MAX(p617) : MAX(p234 + p235 + p236 + p237 + p238 + p239 + p240) : MAX(p188) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p98 + p99) : MAX(p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813) : MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16) : MAX(p741) : MAX(p119 + p120 + p121 + p122 + p123 + p124 + p125)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p741)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 16 markings, 15 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-14 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 233 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p233)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p233)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 29 markings, 28 edges
lola: ========================================

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

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 73907 markings, 85088 edges, 14781 markings/sec, 30 secs
lola: 147253 markings, 170899 edges, 14669 markings/sec, 35 secs
lola: 220153 markings, 256865 edges, 14580 markings/sec, 40 secs
lola: 292996 markings, 342766 edges, 14569 markings/sec, 45 secs
lola: 365452 markings, 428351 edges, 14491 markings/sec, 50 secs
lola: 437904 markings, 513602 edges, 14490 markings/sec, 55 secs
lola: 510342 markings, 599543 edges, 14488 markings/sec, 60 secs
lola: 582862 markings, 685512 edges, 14504 markings/sec, 65 secs
lola: 655226 markings, 771662 edges, 14473 markings/sec, 70 secs
lola: 727545 markings, 857745 edges, 14464 markings/sec, 75 secs
lola: 799665 markings, 943261 edges, 14424 markings/sec, 80 secs
lola: 871865 markings, 1029138 edges, 14440 markings/sec, 85 secs
lola: 944046 markings, 1114324 edges, 14436 markings/sec, 90 secs
lola: 1016182 markings, 1199282 edges, 14427 markings/sec, 95 secs
lola: 1088307 markings, 1285325 edges, 14425 markings/sec, 100 secs
lola: 1160331 markings, 1370376 edges, 14405 markings/sec, 105 secs
lola: 1232635 markings, 1455426 edges, 14461 markings/sec, 110 secs
lola: 1304605 markings, 1540905 edges, 14394 markings/sec, 115 secs
lola: 1376477 markings, 1625445 edges, 14374 markings/sec, 120 secs
lola: 1448451 markings, 1710409 edges, 14395 markings/sec, 125 secs
lola: 1520268 markings, 1795337 edges, 14363 markings/sec, 130 secs
lola: 1592123 markings, 1880614 edges, 14371 markings/sec, 135 secs
lola: 1663955 markings, 1965455 edges, 14366 markings/sec, 140 secs
lola: 1735780 markings, 2050861 edges, 14365 markings/sec, 145 secs
lola: 1807604 markings, 2136410 edges, 14365 markings/sec, 150 secs
lola: 1871769 markings, 2213345 edges, 12833 markings/sec, 155 secs
lola: 1941700 markings, 2296773 edges, 13986 markings/sec, 160 secs
lola: 2012650 markings, 2380835 edges, 14190 markings/sec, 165 secs
lola: 2084094 markings, 2465956 edges, 14289 markings/sec, 170 secs
lola: 2155734 markings, 2550916 edges, 14328 markings/sec, 175 secs
lola: 2227408 markings, 2636544 edges, 14335 markings/sec, 180 secs
lola: 2299032 markings, 2721845 edges, 14325 markings/sec, 185 secs
lola: 2370637 markings, 2807409 edges, 14321 markings/sec, 190 secs
lola: 2442253 markings, 2893067 edges, 14323 markings/sec, 195 secs
lola: 2513412 markings, 2978069 edges, 14232 markings/sec, 200 secs
lola: 2585090 markings, 3063005 edges, 14336 markings/sec, 205 secs
lola: 2656554 markings, 3148168 edges, 14293 markings/sec, 210 secs
lola: 2727841 markings, 3234067 edges, 14257 markings/sec, 215 secs
lola: 2799228 markings, 3319212 edges, 14277 markings/sec, 220 secs
lola: 2870527 markings, 3404592 edges, 14260 markings/sec, 225 secs
lola: 2942120 markings, 3489949 edges, 14319 markings/sec, 230 secs
lola: 3013605 markings, 3574942 edges, 14297 markings/sec, 235 secs
lola: 3085075 markings, 3659965 edges, 14294 markings/sec, 240 secs
lola: 3156433 markings, 3745519 edges, 14272 markings/sec, 245 secs
lola: 3227886 markings, 3830681 edges, 14291 markings/sec, 250 secs
lola: 3299246 markings, 3916503 edges, 14272 markings/sec, 255 secs
lola: 3370521 markings, 4001059 edges, 14255 markings/sec, 260 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 10 unknown unknown unknown unknown unknown unknown unknown unknown 10 unknown
lola: memory consumption: 640216 KB
lola: time consumption: 373 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 266 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p617)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p617)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 290 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p188)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p188)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p126)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 50 markings, 49 edges

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p234 + p235 + p236 + p237 + p238 + p239 + p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p234 + p235 + p236 + p237 + p238 + p239 + p240)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 74298 markings, 88319 edges, 14860 markings/sec, 30 secs
lola: 148147 markings, 176630 edges, 14770 markings/sec, 35 secs
lola: 221898 markings, 264422 edges, 14750 markings/sec, 40 secs
lola: 295511 markings, 352417 edges, 14723 markings/sec, 45 secs
lola: 368830 markings, 440483 edges, 14664 markings/sec, 50 secs
lola: 442154 markings, 528366 edges, 14665 markings/sec, 55 secs
lola: 515506 markings, 616107 edges, 14670 markings/sec, 60 secs
lola: 588734 markings, 703872 edges, 14646 markings/sec, 65 secs
lola: 659013 markings, 788137 edges, 14056 markings/sec, 70 secs
lola: 732160 markings, 876246 edges, 14629 markings/sec, 75 secs
lola: 805451 markings, 964173 edges, 14658 markings/sec, 80 secs
lola: 877960 markings, 1052213 edges, 14502 markings/sec, 85 secs
lola: 950131 markings, 1139103 edges, 14434 markings/sec, 90 secs
lola: 1022444 markings, 1226182 edges, 14463 markings/sec, 95 secs
lola: 1095298 markings, 1314204 edges, 14571 markings/sec, 100 secs
lola: 1168254 markings, 1402299 edges, 14591 markings/sec, 105 secs
lola: 1241102 markings, 1490391 edges, 14570 markings/sec, 110 secs
lola: 1313751 markings, 1577673 edges, 14530 markings/sec, 115 secs
lola: 1386717 markings, 1665197 edges, 14593 markings/sec, 120 secs
lola: 1459614 markings, 1753419 edges, 14579 markings/sec, 125 secs
lola: 1532616 markings, 1840910 edges, 14600 markings/sec, 130 secs
lola: 1605355 markings, 1928524 edges, 14548 markings/sec, 135 secs
lola: 1678024 markings, 2016685 edges, 14534 markings/sec, 140 secs
lola: 1747899 markings, 2101388 edges, 13975 markings/sec, 145 secs
lola: 1820695 markings, 2189001 edges, 14559 markings/sec, 150 secs
lola: 1893416 markings, 2276717 edges, 14544 markings/sec, 155 secs
lola: 1962740 markings, 2360247 edges, 13865 markings/sec, 160 secs
lola: 2034581 markings, 2446881 edges, 14368 markings/sec, 165 secs
lola: 2106350 markings, 2533616 edges, 14354 markings/sec, 170 secs
lola: 2177753 markings, 2619387 edges, 14281 markings/sec, 175 secs
lola: 2248538 markings, 2705433 edges, 14157 markings/sec, 180 secs
lola: 2319392 markings, 2790589 edges, 14171 markings/sec, 185 secs
lola: 2390787 markings, 2876369 edges, 14279 markings/sec, 190 secs
lola: 2462439 markings, 2962276 edges, 14330 markings/sec, 195 secs
lola: 2533866 markings, 3048913 edges, 14285 markings/sec, 200 secs
lola: 2605119 markings, 3135079 edges, 14251 markings/sec, 205 secs
lola: 2676476 markings, 3221501 edges, 14271 markings/sec, 210 secs
lola: 2747898 markings, 3308208 edges, 14284 markings/sec, 215 secs
lola: 2819440 markings, 3394786 edges, 14308 markings/sec, 220 secs
lola: 2890737 markings, 3481482 edges, 14259 markings/sec, 225 secs
lola: 2962318 markings, 3568247 edges, 14316 markings/sec, 230 secs
lola: 3034225 markings, 3655542 edges, 14381 markings/sec, 235 secs
lola: 3106299 markings, 3743024 edges, 14415 markings/sec, 240 secs
lola: 3177915 markings, 3829997 edges, 14323 markings/sec, 245 secs
lola: 3249407 markings, 3916508 edges, 14298 markings/sec, 250 secs
lola: 3320978 markings, 4003349 edges, 14314 markings/sec, 255 secs
lola: 3393053 markings, 4090423 edges, 14415 markings/sec, 260 secs
lola: 3465169 markings, 4177852 edges, 14423 markings/sec, 265 secs
lola: 3537231 markings, 4265470 edges, 14412 markings/sec, 270 secs
lola: 3609486 markings, 4352698 edges, 14451 markings/sec, 275 secs
lola: 3681776 markings, 4440250 edges, 14458 markings/sec, 280 secs
lola: 3754114 markings, 4527573 edges, 14468 markings/sec, 285 secs
lola: 3826441 markings, 4615139 edges, 14465 markings/sec, 290 secs
lola: 3898436 markings, 4702411 edges, 14399 markings/sec, 295 secs
lola: 3970326 markings, 4789324 edges, 14378 markings/sec, 300 secs
lola: 4042251 markings, 4876484 edges, 14385 markings/sec, 305 secs
lola: 4114287 markings, 4963810 edges, 14407 markings/sec, 310 secs
lola: 4185553 markings, 5050528 edges, 14253 markings/sec, 315 secs
lola: 4257398 markings, 5137444 edges, 14369 markings/sec, 320 secs
lola: 4328774 markings, 5224136 edges, 14275 markings/sec, 325 secs
lola: 4398887 markings, 5308633 edges, 14023 markings/sec, 330 secs
lola: 4470205 markings, 5395102 edges, 14264 markings/sec, 335 secs
lola: 4541496 markings, 5481556 edges, 14258 markings/sec, 340 secs
lola: 4612972 markings, 5567432 edges, 14295 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown unknown 1 unknown 1 unknown unknown unknown 10 unknown
lola: memory consumption: 882812 KB
lola: time consumption: 734 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p119 + p120 + p121 + p122 + p123 + p124 + p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p119 + p120 + p121 + p122 + p123 + p124 + p125)
lola: processed formula length: 51
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 68785 markings, 81670 edges, 13757 markings/sec, 30 secs
lola: 137161 markings, 163544 edges, 13675 markings/sec, 35 secs
lola: 205478 markings, 244674 edges, 13663 markings/sec, 40 secs
lola: 273637 markings, 326116 edges, 13632 markings/sec, 45 secs
lola: 341446 markings, 407437 edges, 13562 markings/sec, 50 secs
lola: 409263 markings, 489043 edges, 13563 markings/sec, 55 secs
lola: 477139 markings, 570292 edges, 13575 markings/sec, 60 secs
lola: 545144 markings, 651602 edges, 13601 markings/sec, 65 secs
lola: 612888 markings, 732940 edges, 13549 markings/sec, 70 secs
lola: 680710 markings, 814636 edges, 13564 markings/sec, 75 secs
lola: 748430 markings, 895627 edges, 13544 markings/sec, 80 secs
lola: 816201 markings, 977020 edges, 13554 markings/sec, 85 secs
lola: 883906 markings, 1059282 edges, 13541 markings/sec, 90 secs
lola: 951438 markings, 1140659 edges, 13506 markings/sec, 95 secs
lola: 1019097 markings, 1222267 edges, 13532 markings/sec, 100 secs
lola: 1086630 markings, 1303719 edges, 13507 markings/sec, 105 secs
lola: 1154178 markings, 1385429 edges, 13510 markings/sec, 110 secs
lola: 1222244 markings, 1467931 edges, 13613 markings/sec, 115 secs
lola: 1290673 markings, 1550067 edges, 13686 markings/sec, 120 secs
lola: 1359015 markings, 1631978 edges, 13668 markings/sec, 125 secs
lola: 1427506 markings, 1714425 edges, 13698 markings/sec, 130 secs
lola: 1495973 markings, 1796696 edges, 13693 markings/sec, 135 secs
lola: 1564245 markings, 1879038 edges, 13654 markings/sec, 140 secs
lola: 1631969 markings, 1960766 edges, 13545 markings/sec, 145 secs
lola: 1699274 markings, 2042662 edges, 13461 markings/sec, 150 secs
lola: 1766889 markings, 2124139 edges, 13523 markings/sec, 155 secs
lola: 1834330 markings, 2205469 edges, 13488 markings/sec, 160 secs
lola: 1901689 markings, 2286751 edges, 13472 markings/sec, 165 secs
lola: 1969091 markings, 2367853 edges, 13480 markings/sec, 170 secs
lola: 2036478 markings, 2449125 edges, 13477 markings/sec, 175 secs
lola: 2103896 markings, 2530617 edges, 13484 markings/sec, 180 secs
lola: 2171316 markings, 2611698 edges, 13484 markings/sec, 185 secs
lola: 2238538 markings, 2693501 edges, 13444 markings/sec, 190 secs
lola: 2306122 markings, 2774727 edges, 13517 markings/sec, 195 secs
lola: 2372327 markings, 2854181 edges, 13241 markings/sec, 200 secs
lola: 2438806 markings, 2933915 edges, 13296 markings/sec, 205 secs
lola: 2501373 markings, 3009397 edges, 12513 markings/sec, 210 secs
lola: 2568682 markings, 3091170 edges, 13462 markings/sec, 215 secs
lola: 2631964 markings, 3167502 edges, 12656 markings/sec, 220 secs
lola: 2694495 markings, 3243035 edges, 12506 markings/sec, 225 secs
lola: 2761648 markings, 3324827 edges, 13431 markings/sec, 230 secs
lola: 2828717 markings, 3406084 edges, 13414 markings/sec, 235 secs
lola: 2896240 markings, 3488230 edges, 13505 markings/sec, 240 secs
lola: 2963944 markings, 3570347 edges, 13541 markings/sec, 245 secs
lola: 3031517 markings, 3652375 edges, 13515 markings/sec, 250 secs
lola: 3097746 markings, 3732719 edges, 13246 markings/sec, 255 secs
lola: 3163889 markings, 3812898 edges, 13229 markings/sec, 260 secs
lola: 3230612 markings, 3893893 edges, 13345 markings/sec, 265 secs
lola: 3296243 markings, 3973089 edges, 13126 markings/sec, 270 secs
lola: 3360430 markings, 4051045 edges, 12837 markings/sec, 275 secs
lola: 3426094 markings, 4130382 edges, 13133 markings/sec, 280 secs
lola: 3493552 markings, 4212184 edges, 13492 markings/sec, 285 secs
lola: 3561049 markings, 4294185 edges, 13499 markings/sec, 290 secs
lola: 3628053 markings, 4374876 edges, 13401 markings/sec, 295 secs
lola: 3695661 markings, 4457211 edges, 13522 markings/sec, 300 secs
lola: 3763289 markings, 4538681 edges, 13526 markings/sec, 305 secs
lola: 3830978 markings, 4620915 edges, 13538 markings/sec, 310 secs
lola: 3898866 markings, 4702928 edges, 13578 markings/sec, 315 secs
lola: 3966730 markings, 4784941 edges, 13573 markings/sec, 320 secs
lola: 4034409 markings, 4866778 edges, 13536 markings/sec, 325 secs
lola: 4101967 markings, 4948902 edges, 13512 markings/sec, 330 secs
lola: 4169335 markings, 5031020 edges, 13474 markings/sec, 335 secs
lola: 4236916 markings, 5112379 edges, 13516 markings/sec, 340 secs
lola: 4303971 markings, 5193950 edges, 13411 markings/sec, 345 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown unknown 1 unknown 1 unknown unknown unknown 10 unknown
lola: memory consumption: 825784 KB
lola: time consumption: 1088 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: 54569 markings, 64887 edges, 10914 markings/sec, 0 secs
lola: 125063 markings, 149262 edges, 14099 markings/sec, 5 secs
lola: 196478 markings, 233920 edges, 14283 markings/sec, 10 secs
lola: 267696 markings, 319170 edges, 14244 markings/sec, 15 secs
lola: 338759 markings, 404198 edges, 14213 markings/sec, 20 secs
lola: 409608 markings, 489462 edges, 14170 markings/sec, 25 secs
lola: 480786 markings, 574669 edges, 14236 markings/sec, 30 secs
lola: 552557 markings, 660430 edges, 14354 markings/sec, 35 secs
lola: 621437 markings, 743260 edges, 13776 markings/sec, 40 secs
lola: 692250 markings, 828391 edges, 14163 markings/sec, 45 secs
lola: 763790 markings, 913904 edges, 14308 markings/sec, 50 secs
lola: 835211 markings, 999902 edges, 14284 markings/sec, 55 secs
lola: 906482 markings, 1086278 edges, 14254 markings/sec, 60 secs
lola: 977713 markings, 1172808 edges, 14246 markings/sec, 65 secs
lola: 1049039 markings, 1258519 edges, 14265 markings/sec, 70 secs
lola: 1120187 markings, 1344223 edges, 14230 markings/sec, 75 secs
lola: 1191340 markings, 1430297 edges, 14231 markings/sec, 80 secs
lola: 1262445 markings, 1516024 edges, 14221 markings/sec, 85 secs
lola: 1333595 markings, 1601625 edges, 14230 markings/sec, 90 secs
lola: 1404806 markings, 1687129 edges, 14242 markings/sec, 95 secs
lola: 1475974 markings, 1772652 edges, 14234 markings/sec, 100 secs
lola: 1547024 markings, 1858176 edges, 14210 markings/sec, 105 secs
lola: 1618102 markings, 1944028 edges, 14216 markings/sec, 110 secs
lola: 1689311 markings, 2030557 edges, 14242 markings/sec, 115 secs
lola: 1760765 markings, 2116712 edges, 14291 markings/sec, 120 secs
lola: 1832128 markings, 2202810 edges, 14273 markings/sec, 125 secs
lola: 1903336 markings, 2288697 edges, 14242 markings/sec, 130 secs
lola: 1974630 markings, 2374508 edges, 14259 markings/sec, 135 secs
lola: 2045966 markings, 2460329 edges, 14267 markings/sec, 140 secs
lola: 2117158 markings, 2546586 edges, 14238 markings/sec, 145 secs
lola: 2188440 markings, 2632406 edges, 14256 markings/sec, 150 secs
lola: 2259569 markings, 2718731 edges, 14226 markings/sec, 155 secs
lola: 2330799 markings, 2804236 edges, 14246 markings/sec, 160 secs
lola: 2402256 markings, 2890213 edges, 14291 markings/sec, 165 secs
lola: 2474675 markings, 2977049 edges, 14484 markings/sec, 170 secs
lola: 2546824 markings, 3064574 edges, 14430 markings/sec, 175 secs
lola: 2615899 markings, 3148036 edges, 13815 markings/sec, 180 secs
lola: 2687992 markings, 3235384 edges, 14419 markings/sec, 185 secs
lola: 2760035 markings, 3322857 edges, 14409 markings/sec, 190 secs
lola: 2832084 markings, 3410208 edges, 14410 markings/sec, 195 secs
lola: 2904033 markings, 3497684 edges, 14390 markings/sec, 200 secs
lola: 2973759 markings, 3582358 edges, 13945 markings/sec, 205 secs
lola: 3040429 markings, 3663003 edges, 13334 markings/sec, 210 secs
lola: 3112378 markings, 3750455 edges, 14390 markings/sec, 215 secs
lola: 3184434 markings, 3838098 edges, 14411 markings/sec, 220 secs
lola: 3256473 markings, 3924954 edges, 14408 markings/sec, 225 secs
lola: 3328308 markings, 4012339 edges, 14367 markings/sec, 230 secs
lola: 3400199 markings, 4099180 edges, 14378 markings/sec, 235 secs
lola: 3472261 markings, 4186430 edges, 14412 markings/sec, 240 secs
lola: 3544155 markings, 4273750 edges, 14379 markings/sec, 245 secs
lola: 3616098 markings, 4360531 edges, 14389 markings/sec, 250 secs
lola: 3687904 markings, 4447857 edges, 14361 markings/sec, 255 secs
lola: 3759838 markings, 4534513 edges, 14387 markings/sec, 260 secs
lola: 3831756 markings, 4621817 edges, 14384 markings/sec, 265 secs
lola: 3903670 markings, 4708597 edges, 14383 markings/sec, 270 secs
lola: 3975474 markings, 4795551 edges, 14361 markings/sec, 275 secs
lola: 4047271 markings, 4882483 edges, 14359 markings/sec, 280 secs
lola: 4119198 markings, 4969851 edges, 14385 markings/sec, 285 secs
lola: 4190971 markings, 5056931 edges, 14355 markings/sec, 290 secs
lola: 4262641 markings, 5143807 edges, 14334 markings/sec, 295 secs
lola: 4334522 markings, 5231107 edges, 14376 markings/sec, 300 secs
lola: 4406295 markings, 5317818 edges, 14355 markings/sec, 305 secs
lola: 4478060 markings, 5404587 edges, 14353 markings/sec, 310 secs
lola: 4549756 markings, 5491599 edges, 14339 markings/sec, 315 secs
lola: 4621696 markings, 5577802 edges, 14388 markings/sec, 320 secs
lola: 4693393 markings, 5664673 edges, 14339 markings/sec, 325 secs
lola: 4765194 markings, 5751609 edges, 14360 markings/sec, 330 secs
lola: 4836947 markings, 5838468 edges, 14351 markings/sec, 335 secs
lola: 4908920 markings, 5924767 edges, 14395 markings/sec, 340 secs
lola: 4980596 markings, 6012028 edges, 14335 markings/sec, 345 secs
lola: 5052446 markings, 6098872 edges, 14370 markings/sec, 350 secs
lola: 5124111 markings, 6185857 edges, 14333 markings/sec, 355 secs
lola: 5195872 markings, 6272698 edges, 14352 markings/sec, 360 secs
lola: 5267630 markings, 6358864 edges, 14352 markings/sec, 365 secs
lola: 5339147 markings, 6445846 edges, 14303 markings/sec, 370 secs
lola: 5401989 markings, 6521513 edges, 12568 markings/sec, 375 secs
lola: 5473625 markings, 6608893 edges, 14327 markings/sec, 380 secs
lola: 5545284 markings, 6696365 edges, 14332 markings/sec, 385 secs
lola: 5616830 markings, 6783508 edges, 14309 markings/sec, 390 secs
lola: 5688408 markings, 6870915 edges, 14316 markings/sec, 395 secs
lola: 5759908 markings, 6958131 edges, 14300 markings/sec, 400 secs
lola: 5831652 markings, 7045247 edges, 14349 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown unknown 10 unknown
lola: memory consumption: 1103280 KB
lola: time consumption: 1501 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 413 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)
lola: processed formula length: 59
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBLF-COL-S02J06T10-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 71931 markings, 78941 edges, 14386 markings/sec, 30 secs
lola: 142912 markings, 160173 edges, 14196 markings/sec, 35 secs
lola: 213754 markings, 241067 edges, 14168 markings/sec, 40 secs
lola: 284458 markings, 321881 edges, 14141 markings/sec, 45 secs
lola: 354867 markings, 403221 edges, 14082 markings/sec, 50 secs
lola: 424934 markings, 485635 edges, 14013 markings/sec, 55 secs
lola: 495079 markings, 566991 edges, 14029 markings/sec, 60 secs
lola: 562912 markings, 646047 edges, 13567 markings/sec, 65 secs
lola: 631062 markings, 725620 edges, 13630 markings/sec, 70 secs
lola: 699155 markings, 804293 edges, 13619 markings/sec, 75 secs
lola: 766928 markings, 883150 edges, 13555 markings/sec, 80 secs
lola: 834598 markings, 961398 edges, 13534 markings/sec, 85 secs
lola: 903157 markings, 1042920 edges, 13712 markings/sec, 90 secs
lola: 970752 markings, 1122005 edges, 13519 markings/sec, 95 secs
lola: 1039193 markings, 1203677 edges, 13688 markings/sec, 100 secs
lola: 1107547 markings, 1286637 edges, 13671 markings/sec, 105 secs
lola: 1174026 markings, 1365995 edges, 13296 markings/sec, 110 secs
lola: 1242537 markings, 1447447 edges, 13702 markings/sec, 115 secs
lola: 1309889 markings, 1527173 edges, 13470 markings/sec, 120 secs
lola: 1377345 markings, 1606028 edges, 13491 markings/sec, 125 secs
lola: 1444776 markings, 1685507 edges, 13486 markings/sec, 130 secs
lola: 1511947 markings, 1765741 edges, 13434 markings/sec, 135 secs
lola: 1579341 markings, 1844889 edges, 13479 markings/sec, 140 secs
lola: 1646498 markings, 1925287 edges, 13431 markings/sec, 145 secs
lola: 1713725 markings, 2005317 edges, 13445 markings/sec, 150 secs
lola: 1780928 markings, 2084735 edges, 13441 markings/sec, 155 secs
lola: 1848139 markings, 2164941 edges, 13442 markings/sec, 160 secs
lola: 1915868 markings, 2246189 edges, 13546 markings/sec, 165 secs
lola: 1983448 markings, 2328110 edges, 13516 markings/sec, 170 secs
lola: 2051322 markings, 2407920 edges, 13575 markings/sec, 175 secs
lola: 2119496 markings, 2487044 edges, 13635 markings/sec, 180 secs
lola: 2187715 markings, 2566387 edges, 13644 markings/sec, 185 secs
lola: 2255579 markings, 2646915 edges, 13573 markings/sec, 190 secs
lola: 2323120 markings, 2728181 edges, 13508 markings/sec, 195 secs
lola: 2391016 markings, 2808052 edges, 13579 markings/sec, 200 secs
lola: 2458624 markings, 2889114 edges, 13522 markings/sec, 205 secs
lola: 2526533 markings, 2969170 edges, 13582 markings/sec, 210 secs
lola: 2595072 markings, 3050384 edges, 13708 markings/sec, 215 secs
lola: 2664220 markings, 3132552 edges, 13830 markings/sec, 220 secs
lola: 2733215 markings, 3215312 edges, 13799 markings/sec, 225 secs
lola: 2802370 markings, 3297331 edges, 13831 markings/sec, 230 secs
lola: 2871057 markings, 3379061 edges, 13737 markings/sec, 235 secs
lola: 2940186 markings, 3460156 edges, 13826 markings/sec, 240 secs
lola: 3009096 markings, 3541902 edges, 13782 markings/sec, 245 secs
lola: 3077706 markings, 3622551 edges, 13722 markings/sec, 250 secs
lola: 3144702 markings, 3702407 edges, 13399 markings/sec, 255 secs
lola: 3211627 markings, 3781358 edges, 13385 markings/sec, 260 secs
lola: 3278841 markings, 3860426 edges, 13443 markings/sec, 265 secs
lola: 3345565 markings, 3939770 edges, 13345 markings/sec, 270 secs
lola: 3410746 markings, 4016622 edges, 13036 markings/sec, 275 secs
lola: 3475044 markings, 4091986 edges, 12860 markings/sec, 280 secs
lola: 3541938 markings, 4171227 edges, 13379 markings/sec, 285 secs
lola: 3608917 markings, 4250612 edges, 13396 markings/sec, 290 secs
lola: 3675960 markings, 4329834 edges, 13409 markings/sec, 295 secs
lola: 3741790 markings, 4407410 edges, 13166 markings/sec, 300 secs
lola: 3809163 markings, 4485131 edges, 13475 markings/sec, 305 secs
lola: 3876228 markings, 4563889 edges, 13413 markings/sec, 310 secs
lola: 3943166 markings, 4643157 edges, 13388 markings/sec, 315 secs
lola: 4010620 markings, 4723005 edges, 13491 markings/sec, 320 secs
lola: 4078329 markings, 4803583 edges, 13542 markings/sec, 325 secs
lola: 4145902 markings, 4884309 edges, 13515 markings/sec, 330 secs
lola: 4213530 markings, 4964253 edges, 13526 markings/sec, 335 secs
lola: 4281284 markings, 5043697 edges, 13551 markings/sec, 340 secs
lola: 4348866 markings, 5123954 edges, 13516 markings/sec, 345 secs
lola: 4416691 markings, 5204343 edges, 13565 markings/sec, 350 secs
lola: 4484654 markings, 5283986 edges, 13593 markings/sec, 355 secs
lola: 4552196 markings, 5364377 edges, 13508 markings/sec, 360 secs
lola: 4619844 markings, 5444402 edges, 13530 markings/sec, 365 secs
lola: 4687582 markings, 5524666 edges, 13548 markings/sec, 370 secs
lola: 4755012 markings, 5606339 edges, 13486 markings/sec, 375 secs
lola: 4822111 markings, 5687890 edges, 13420 markings/sec, 380 secs
lola: 4889804 markings, 5768698 edges, 13539 markings/sec, 385 secs
lola: 4957104 markings, 5849755 edges, 13460 markings/sec, 390 secs
lola: 5024582 markings, 5930429 edges, 13496 markings/sec, 395 secs
lola: 5091976 markings, 6011422 edges, 13479 markings/sec, 400 secs
lola: 5159921 markings, 6090648 edges, 13589 markings/sec, 405 secs
lola: 5228058 markings, 6169466 edges, 13627 markings/sec, 410 secs
lola: 5295742 markings, 6249680 edges, 13537 markings/sec, 415 secs
lola: 5363126 markings, 6330805 edges, 13477 markings/sec, 420 secs
lola: 5430984 markings, 6410880 edges, 13572 markings/sec, 425 secs
lola: 5498725 markings, 6490991 edges, 13548 markings/sec, 430 secs
lola: 5566267 markings, 6571142 edges, 13508 markings/sec, 435 secs
lola: 5633721 markings, 6651562 edges, 13491 markings/sec, 440 secs
lola: 5701220 markings, 6731903 edges, 13500 markings/sec, 445 secs
lola: 5768780 markings, 6812740 edges, 13512 markings/sec, 450 secs
lola: 5836396 markings, 6892490 edges, 13523 markings/sec, 455 secs
lola: 5903843 markings, 6972574 edges, 13489 markings/sec, 460 secs
lola: 5971488 markings, 7051814 edges, 13529 markings/sec, 465 secs
lola: 6038726 markings, 7133190 edges, 13448 markings/sec, 470 secs
lola: 6105898 markings, 7214437 edges, 13434 markings/sec, 475 secs
lola: 6173627 markings, 7293639 edges, 13546 markings/sec, 480 secs
lola: 6241257 markings, 7373461 edges, 13526 markings/sec, 485 secs
lola: 6308685 markings, 7454120 edges, 13486 markings/sec, 490 secs
lola: 6375987 markings, 7534415 edges, 13460 markings/sec, 495 secs
lola: 6443728 markings, 7614176 edges, 13548 markings/sec, 500 secs
lola: 6510863 markings, 7695466 edges, 13427 markings/sec, 505 secs
lola: 6578493 markings, 7775490 edges, 13526 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola: memory consumption: 1246820 KB
lola: time consumption: 2019 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 516 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 71844 markings, 83913 edges, 14369 markings/sec, 30 secs
lola: 142932 markings, 169433 edges, 14218 markings/sec, 35 secs
lola: 214003 markings, 253360 edges, 14214 markings/sec, 40 secs
lola: 276140 markings, 328358 edges, 12427 markings/sec, 45 secs
lola: 346935 markings, 414574 edges, 14159 markings/sec, 50 secs
lola: 417456 markings, 499111 edges, 14104 markings/sec, 55 secs
lola: 487804 markings, 584669 edges, 14070 markings/sec, 60 secs
lola: 558758 markings, 670454 edges, 14191 markings/sec, 65 secs
lola: 629033 markings, 756055 edges, 14055 markings/sec, 70 secs
lola: 699265 markings, 841524 edges, 14046 markings/sec, 75 secs
lola: 769449 markings, 926901 edges, 14037 markings/sec, 80 secs
lola: 839513 markings, 1012041 edges, 14013 markings/sec, 85 secs
lola: 909521 markings, 1097700 edges, 14002 markings/sec, 90 secs
lola: 979559 markings, 1182385 edges, 14008 markings/sec, 95 secs
lola: 1049555 markings, 1268057 edges, 13999 markings/sec, 100 secs
lola: 1118161 markings, 1352249 edges, 13721 markings/sec, 105 secs
lola: 1186899 markings, 1437406 edges, 13748 markings/sec, 110 secs
lola: 1256464 markings, 1521746 edges, 13913 markings/sec, 115 secs
lola: 1325170 markings, 1605034 edges, 13741 markings/sec, 120 secs
lola: 1394016 markings, 1690231 edges, 13769 markings/sec, 125 secs
lola: 1461039 markings, 1772478 edges, 13405 markings/sec, 130 secs
lola: 1531668 markings, 1858759 edges, 14126 markings/sec, 135 secs
lola: 1602440 markings, 1945016 edges, 14154 markings/sec, 140 secs
lola: 1673138 markings, 2030094 edges, 14140 markings/sec, 145 secs
lola: 1743708 markings, 2116275 edges, 14114 markings/sec, 150 secs
lola: 1814232 markings, 2202384 edges, 14105 markings/sec, 155 secs
lola: 1884626 markings, 2289455 edges, 14079 markings/sec, 160 secs
lola: 1955104 markings, 2375977 edges, 14096 markings/sec, 165 secs
lola: 2025598 markings, 2462611 edges, 14099 markings/sec, 170 secs
lola: 2095838 markings, 2549976 edges, 14048 markings/sec, 175 secs
lola: 2166310 markings, 2636193 edges, 14094 markings/sec, 180 secs
lola: 2236675 markings, 2722506 edges, 14073 markings/sec, 185 secs
lola: 2306987 markings, 2809487 edges, 14062 markings/sec, 190 secs
lola: 2377133 markings, 2896817 edges, 14029 markings/sec, 195 secs
lola: 2447697 markings, 2983013 edges, 14113 markings/sec, 200 secs
lola: 2518137 markings, 3069171 edges, 14088 markings/sec, 205 secs
lola: 2588310 markings, 3156758 edges, 14035 markings/sec, 210 secs
lola: 2658835 markings, 3242531 edges, 14105 markings/sec, 215 secs
lola: 2729116 markings, 3328856 edges, 14056 markings/sec, 220 secs
lola: 2799341 markings, 3415337 edges, 14045 markings/sec, 225 secs
lola: 2869403 markings, 3502482 edges, 14012 markings/sec, 230 secs
lola: 2939621 markings, 3590106 edges, 14044 markings/sec, 235 secs
lola: 3008584 markings, 3676112 edges, 13793 markings/sec, 240 secs
lola: 3077838 markings, 3760582 edges, 13851 markings/sec, 245 secs
lola: 3144323 markings, 3841827 edges, 13297 markings/sec, 250 secs
lola: 3213625 markings, 3927419 edges, 13860 markings/sec, 255 secs
lola: 3283124 markings, 4012190 edges, 13900 markings/sec, 260 secs
lola: 3352328 markings, 4097812 edges, 13841 markings/sec, 265 secs
lola: 3421679 markings, 4183779 edges, 13870 markings/sec, 270 secs
lola: 3490871 markings, 4269128 edges, 13838 markings/sec, 275 secs
lola: 3560134 markings, 4355077 edges, 13853 markings/sec, 280 secs
lola: 3629419 markings, 4440773 edges, 13857 markings/sec, 285 secs
lola: 3698528 markings, 4527185 edges, 13822 markings/sec, 290 secs
lola: 3767591 markings, 4613343 edges, 13813 markings/sec, 295 secs
lola: 3836854 markings, 4698686 edges, 13853 markings/sec, 300 secs
lola: 3906012 markings, 4784392 edges, 13832 markings/sec, 305 secs
lola: 3975165 markings, 4870542 edges, 13831 markings/sec, 310 secs
lola: 4044550 markings, 4955311 edges, 13877 markings/sec, 315 secs
lola: 4113826 markings, 5040848 edges, 13855 markings/sec, 320 secs
lola: 4183027 markings, 5126761 edges, 13840 markings/sec, 325 secs
lola: 4252070 markings, 5212921 edges, 13809 markings/sec, 330 secs
lola: 4321299 markings, 5298721 edges, 13846 markings/sec, 335 secs
lola: 4390567 markings, 5383920 edges, 13854 markings/sec, 340 secs
lola: 4451070 markings, 5458017 edges, 12101 markings/sec, 345 secs
lola: 4520216 markings, 5544043 edges, 13829 markings/sec, 350 secs
lola: 4589323 markings, 5628900 edges, 13821 markings/sec, 355 secs
lola: 4658526 markings, 5714417 edges, 13841 markings/sec, 360 secs
lola: 4727704 markings, 5798489 edges, 13836 markings/sec, 365 secs
lola: 4796789 markings, 5882805 edges, 13817 markings/sec, 370 secs
lola: 4865653 markings, 5968968 edges, 13773 markings/sec, 375 secs
lola: 4934534 markings, 6054206 edges, 13776 markings/sec, 380 secs
lola: 5003565 markings, 6139704 edges, 13806 markings/sec, 385 secs
lola: 5072566 markings, 6225067 edges, 13800 markings/sec, 390 secs
lola: 5141529 markings, 6310422 edges, 13793 markings/sec, 395 secs
lola: 5210784 markings, 6395398 edges, 13851 markings/sec, 400 secs
lola: 5279566 markings, 6481437 edges, 13756 markings/sec, 405 secs
lola: 5348592 markings, 6565993 edges, 13805 markings/sec, 410 secs
lola: 5417692 markings, 6651189 edges, 13820 markings/sec, 415 secs
lola: 5485859 markings, 6735410 edges, 13633 markings/sec, 420 secs
lola: 5552719 markings, 6819408 edges, 13372 markings/sec, 425 secs
lola: 5620229 markings, 6903619 edges, 13502 markings/sec, 430 secs
lola: 5687956 markings, 6987545 edges, 13545 markings/sec, 435 secs
lola: 5755640 markings, 7071208 edges, 13537 markings/sec, 440 secs
lola: 5823590 markings, 7154689 edges, 13590 markings/sec, 445 secs
lola: 5891513 markings, 7238153 edges, 13585 markings/sec, 450 secs
lola: 5959333 markings, 7323087 edges, 13564 markings/sec, 455 secs
lola: 6027083 markings, 7407240 edges, 13550 markings/sec, 460 secs
lola: 6095003 markings, 7490354 edges, 13584 markings/sec, 465 secs
lola: 6162935 markings, 7574466 edges, 13586 markings/sec, 470 secs
lola: 6230893 markings, 7658270 edges, 13592 markings/sec, 475 secs
lola: 6298712 markings, 7742080 edges, 13564 markings/sec, 480 secs
lola: 6366429 markings, 7826263 edges, 13543 markings/sec, 485 secs
lola: 6434244 markings, 7909861 edges, 13563 markings/sec, 490 secs
lola: 6502065 markings, 7993051 edges, 13564 markings/sec, 495 secs
lola: 6569731 markings, 8077917 edges, 13533 markings/sec, 500 secs
lola: 6637447 markings, 8162002 edges, 13543 markings/sec, 505 secs
lola: 6705303 markings, 8246263 edges, 13571 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola: memory consumption: 1227828 KB
lola: time consumption: 2535 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843)
lola: processed formula length: 142
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 73423 markings, 85085 edges, 14685 markings/sec, 30 secs
lola: 146129 markings, 170477 edges, 14541 markings/sec, 35 secs
lola: 218609 markings, 255671 edges, 14496 markings/sec, 40 secs
lola: 290936 markings, 340175 edges, 14465 markings/sec, 45 secs
lola: 363043 markings, 425986 edges, 14421 markings/sec, 50 secs
lola: 435173 markings, 511177 edges, 14426 markings/sec, 55 secs
lola: 507295 markings, 596400 edges, 14424 markings/sec, 60 secs
lola: 579264 markings, 681477 edges, 14394 markings/sec, 65 secs
lola: 651195 markings, 766625 edges, 14386 markings/sec, 70 secs
lola: 723054 markings, 851975 edges, 14372 markings/sec, 75 secs
lola: 794774 markings, 937289 edges, 14344 markings/sec, 80 secs
lola: 866579 markings, 1022329 edges, 14361 markings/sec, 85 secs
lola: 938409 markings, 1107297 edges, 14366 markings/sec, 90 secs
lola: 1010077 markings, 1192372 edges, 14334 markings/sec, 95 secs
lola: 1081700 markings, 1277364 edges, 14325 markings/sec, 100 secs
lola: 1153424 markings, 1362022 edges, 14345 markings/sec, 105 secs
lola: 1224913 markings, 1447235 edges, 14298 markings/sec, 110 secs
lola: 1296480 markings, 1532280 edges, 14313 markings/sec, 115 secs
lola: 1367942 markings, 1617553 edges, 14292 markings/sec, 120 secs
lola: 1438326 markings, 1701238 edges, 14077 markings/sec, 125 secs
lola: 1508592 markings, 1785074 edges, 14053 markings/sec, 130 secs
lola: 1579111 markings, 1868413 edges, 14104 markings/sec, 135 secs
lola: 1641440 markings, 1942550 edges, 12466 markings/sec, 140 secs
lola: 1712995 markings, 2027542 edges, 14311 markings/sec, 145 secs
lola: 1784322 markings, 2112435 edges, 14265 markings/sec, 150 secs
lola: 1855692 markings, 2197223 edges, 14274 markings/sec, 155 secs
lola: 1926919 markings, 2281711 edges, 14245 markings/sec, 160 secs
lola: 1998150 markings, 2366589 edges, 14246 markings/sec, 165 secs
lola: 2069451 markings, 2451896 edges, 14260 markings/sec, 170 secs
lola: 2140809 markings, 2536442 edges, 14272 markings/sec, 175 secs
lola: 2211024 markings, 2620337 edges, 14043 markings/sec, 180 secs
lola: 2280982 markings, 2703926 edges, 13992 markings/sec, 185 secs
lola: 2351225 markings, 2787534 edges, 14049 markings/sec, 190 secs
lola: 2421369 markings, 2871656 edges, 14029 markings/sec, 195 secs
lola: 2492055 markings, 2956268 edges, 14137 markings/sec, 200 secs
lola: 2562672 markings, 3040862 edges, 14123 markings/sec, 205 secs
lola: 2632911 markings, 3124947 edges, 14048 markings/sec, 210 secs
lola: 2703394 markings, 3208856 edges, 14097 markings/sec, 215 secs
lola: 2774370 markings, 3294673 edges, 14195 markings/sec, 220 secs
lola: 2845386 markings, 3379807 edges, 14203 markings/sec, 225 secs
lola: 2916010 markings, 3464026 edges, 14125 markings/sec, 230 secs
lola: 2986672 markings, 3547600 edges, 14132 markings/sec, 235 secs
lola: 3057708 markings, 3633021 edges, 14207 markings/sec, 240 secs
lola: 3128833 markings, 3717787 edges, 14225 markings/sec, 245 secs
lola: 3200056 markings, 3803068 edges, 14245 markings/sec, 250 secs
lola: 3271132 markings, 3887912 edges, 14215 markings/sec, 255 secs
lola: 3342068 markings, 3973154 edges, 14187 markings/sec, 260 secs
lola: 3413217 markings, 4057387 edges, 14230 markings/sec, 265 secs
lola: 3484380 markings, 4142422 edges, 14233 markings/sec, 270 secs
lola: 3555405 markings, 4227093 edges, 14205 markings/sec, 275 secs
lola: 3626557 markings, 4311915 edges, 14230 markings/sec, 280 secs
lola: 3697649 markings, 4396287 edges, 14218 markings/sec, 285 secs
lola: 3768691 markings, 4482116 edges, 14208 markings/sec, 290 secs
lola: 3839674 markings, 4567399 edges, 14197 markings/sec, 295 secs
lola: 3910706 markings, 4652894 edges, 14206 markings/sec, 300 secs
lola: 3981790 markings, 4737871 edges, 14217 markings/sec, 305 secs
lola: 4052732 markings, 4822800 edges, 14188 markings/sec, 310 secs
lola: 4123896 markings, 4907631 edges, 14233 markings/sec, 315 secs
lola: 4194806 markings, 4992611 edges, 14182 markings/sec, 320 secs
lola: 4265784 markings, 5078072 edges, 14196 markings/sec, 325 secs
lola: 4336632 markings, 5163352 edges, 14170 markings/sec, 330 secs
lola: 4407676 markings, 5248087 edges, 14209 markings/sec, 335 secs
lola: 4478794 markings, 5332758 edges, 14224 markings/sec, 340 secs
lola: 4549755 markings, 5417737 edges, 14192 markings/sec, 345 secs
lola: 4620831 markings, 5502655 edges, 14215 markings/sec, 350 secs
lola: 4691677 markings, 5588004 edges, 14169 markings/sec, 355 secs
lola: 4762681 markings, 5673439 edges, 14201 markings/sec, 360 secs
lola: 4833651 markings, 5758661 edges, 14194 markings/sec, 365 secs
lola: 4904585 markings, 5843696 edges, 14187 markings/sec, 370 secs
lola: 4976385 markings, 5930733 edges, 14360 markings/sec, 375 secs
lola: 5048391 markings, 6016296 edges, 14401 markings/sec, 380 secs
lola: 5120378 markings, 6102729 edges, 14397 markings/sec, 385 secs
lola: 5192339 markings, 6188938 edges, 14392 markings/sec, 390 secs
lola: 5264291 markings, 6275308 edges, 14390 markings/sec, 395 secs
lola: 5336341 markings, 6361412 edges, 14410 markings/sec, 400 secs
lola: 5408140 markings, 6447857 edges, 14360 markings/sec, 405 secs
lola: 5479830 markings, 6533692 edges, 14338 markings/sec, 410 secs
lola: 5551553 markings, 6619397 edges, 14345 markings/sec, 415 secs
lola: 5623284 markings, 6705636 edges, 14346 markings/sec, 420 secs
lola: 5694941 markings, 6791512 edges, 14331 markings/sec, 425 secs
lola: 5766708 markings, 6877377 edges, 14353 markings/sec, 430 secs
lola: 5838263 markings, 6963768 edges, 14311 markings/sec, 435 secs
lola: 5909841 markings, 7049894 edges, 14316 markings/sec, 440 secs
lola: 5981627 markings, 7135655 edges, 14357 markings/sec, 445 secs
lola: 6053144 markings, 7221212 edges, 14303 markings/sec, 450 secs
lola: 6124532 markings, 7307329 edges, 14278 markings/sec, 455 secs
lola: 6196170 markings, 7393706 edges, 14328 markings/sec, 460 secs
lola: 6267947 markings, 7480235 edges, 14355 markings/sec, 465 secs
lola: 6339704 markings, 7566390 edges, 14351 markings/sec, 470 secs
lola: 6411502 markings, 7652462 edges, 14360 markings/sec, 475 secs
lola: 6483191 markings, 7738731 edges, 14338 markings/sec, 480 secs
lola: 6555040 markings, 7824633 edges, 14370 markings/sec, 485 secs
lola: 6626716 markings, 7911357 edges, 14335 markings/sec, 490 secs
lola: 6698610 markings, 7997737 edges, 14379 markings/sec, 495 secs
lola: 6770221 markings, 8084603 edges, 14322 markings/sec, 500 secs
lola: 6841859 markings, 8170911 edges, 14328 markings/sec, 505 secs
lola: 6913571 markings, 8257326 edges, 14342 markings/sec, 510 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola: memory consumption: 1317952 KB
lola: time consumption: 3052 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 517 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p97 + p96 + p95 + p94 + p93 + p92 + p91 + p90 + p89 + p98 + p99)
lola: processed formula length: 131
lola: 0 rewrites
lola: closed formula file PolyORBLF-COL-S02J06T10-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: 61204 markings, 66000 edges, 12241 markings/sec, 30 secs
lola: 129619 markings, 142476 edges, 13683 markings/sec, 35 secs
lola: 199768 markings, 220273 edges, 14030 markings/sec, 40 secs
lola: 269548 markings, 300043 edges, 13956 markings/sec, 45 secs
lola: 339034 markings, 379980 edges, 13897 markings/sec, 50 secs
lola: 408606 markings, 459491 edges, 13914 markings/sec, 55 secs
lola: 477972 markings, 539417 edges, 13873 markings/sec, 60 secs
lola: 547371 markings, 618876 edges, 13880 markings/sec, 65 secs
lola: 616603 markings, 698478 edges, 13846 markings/sec, 70 secs
lola: 682640 markings, 775896 edges, 13207 markings/sec, 75 secs
lola: 751778 markings, 855929 edges, 13828 markings/sec, 80 secs
lola: 820748 markings, 936948 edges, 13794 markings/sec, 85 secs
lola: 889741 markings, 1017962 edges, 13799 markings/sec, 90 secs
lola: 958758 markings, 1098412 edges, 13803 markings/sec, 95 secs
lola: 1027778 markings, 1178133 edges, 13804 markings/sec, 100 secs
lola: 1096909 markings, 1257900 edges, 13826 markings/sec, 105 secs
lola: 1165893 markings, 1337862 edges, 13797 markings/sec, 110 secs
lola: 1234671 markings, 1418540 edges, 13756 markings/sec, 115 secs
lola: 1303587 markings, 1498676 edges, 13783 markings/sec, 120 secs
lola: 1372384 markings, 1579149 edges, 13759 markings/sec, 125 secs
lola: 1441143 markings, 1659099 edges, 13752 markings/sec, 130 secs
lola: 1510186 markings, 1738462 edges, 13809 markings/sec, 135 secs
lola: 1579019 markings, 1818692 edges, 13767 markings/sec, 140 secs
lola: 1647797 markings, 1898928 edges, 13756 markings/sec, 145 secs
lola: 1716783 markings, 1978016 edges, 13797 markings/sec, 150 secs
lola: 1785660 markings, 2057290 edges, 13775 markings/sec, 155 secs
lola: 1854413 markings, 2137137 edges, 13751 markings/sec, 160 secs
lola: 1923171 markings, 2217282 edges, 13752 markings/sec, 165 secs
lola: 1991921 markings, 2297349 edges, 13750 markings/sec, 170 secs
lola: 2060895 markings, 2376491 edges, 13795 markings/sec, 175 secs
lola: 2129761 markings, 2456331 edges, 13773 markings/sec, 180 secs
lola: 2198675 markings, 2535241 edges, 13783 markings/sec, 185 secs
lola: 2267722 markings, 2614183 edges, 13809 markings/sec, 190 secs
lola: 2336459 markings, 2693882 edges, 13747 markings/sec, 195 secs
lola: 2405215 markings, 2773572 edges, 13751 markings/sec, 200 secs
lola: 2473850 markings, 2853660 edges, 13727 markings/sec, 205 secs
lola: 2540019 markings, 2930901 edges, 13234 markings/sec, 210 secs
lola: 2605055 markings, 3005766 edges, 13007 markings/sec, 215 secs
lola: 2673821 markings, 3085351 edges, 13753 markings/sec, 220 secs
lola: 2742460 markings, 3164791 edges, 13728 markings/sec, 225 secs
lola: 2811107 markings, 3245093 edges, 13729 markings/sec, 230 secs
lola: 2879723 markings, 3325513 edges, 13723 markings/sec, 235 secs
lola: 2948441 markings, 3405171 edges, 13744 markings/sec, 240 secs
lola: 3010744 markings, 3475946 edges, 12461 markings/sec, 245 secs
lola: 3076844 markings, 3553161 edges, 13220 markings/sec, 250 secs
lola: 3141675 markings, 3629074 edges, 12966 markings/sec, 255 secs
lola: 3209923 markings, 3709767 edges, 13650 markings/sec, 260 secs
lola: 3278388 markings, 3790308 edges, 13693 markings/sec, 265 secs
lola: 3347250 markings, 3869374 edges, 13772 markings/sec, 270 secs
lola: 3416077 markings, 3947846 edges, 13765 markings/sec, 275 secs
lola: 3484544 markings, 4028348 edges, 13693 markings/sec, 280 secs
lola: 3553107 markings, 4108684 edges, 13713 markings/sec, 285 secs
lola: 3621680 markings, 4188605 edges, 13715 markings/sec, 290 secs
lola: 3690102 markings, 4269260 edges, 13684 markings/sec, 295 secs
lola: 3758612 markings, 4349174 edges, 13702 markings/sec, 300 secs
lola: 3827060 markings, 4429497 edges, 13690 markings/sec, 305 secs
lola: 3891404 markings, 4504690 edges, 12869 markings/sec, 310 secs
lola: 3957305 markings, 4581133 edges, 13180 markings/sec, 315 secs
lola: 4014155 markings, 4646920 edges, 11370 markings/sec, 320 secs
lola: 4082617 markings, 4727012 edges, 13692 markings/sec, 325 secs
lola: 4151311 markings, 4806140 edges, 13739 markings/sec, 330 secs
lola: 4219812 markings, 4886257 edges, 13700 markings/sec, 335 secs
lola: 4288174 markings, 4967118 edges, 13672 markings/sec, 340 secs
lola: 4354219 markings, 5044117 edges, 13209 markings/sec, 345 secs
lola: 4419216 markings, 5118624 edges, 12999 markings/sec, 350 secs
lola: 4487638 markings, 5198679 edges, 13684 markings/sec, 355 secs
lola: 4556423 markings, 5277330 edges, 13757 markings/sec, 360 secs
lola: 4624893 markings, 5357731 edges, 13694 markings/sec, 365 secs
lola: 4693228 markings, 5437303 edges, 13667 markings/sec, 370 secs
lola: 4760817 markings, 5515629 edges, 13518 markings/sec, 375 secs
lola: 4828108 markings, 5595138 edges, 13458 markings/sec, 380 secs
lola: 4895605 markings, 5672799 edges, 13499 markings/sec, 385 secs
lola: 4963011 markings, 5750975 edges, 13481 markings/sec, 390 secs
lola: 5030334 markings, 5830105 edges, 13465 markings/sec, 395 secs
lola: 5097816 markings, 5907374 edges, 13496 markings/sec, 400 secs
lola: 5165216 markings, 5986235 edges, 13480 markings/sec, 405 secs
lola: 5232293 markings, 6065862 edges, 13415 markings/sec, 410 secs
lola: 5299421 markings, 6145164 edges, 13426 markings/sec, 415 secs
lola: 5366739 markings, 6223791 edges, 13464 markings/sec, 420 secs
lola: 5434251 markings, 6300928 edges, 13502 markings/sec, 425 secs
lola: 5501498 markings, 6380009 edges, 13449 markings/sec, 430 secs
lola: 5568983 markings, 6457491 edges, 13497 markings/sec, 435 secs
lola: 5635971 markings, 6537080 edges, 13398 markings/sec, 440 secs
lola: 5703187 markings, 6616189 edges, 13443 markings/sec, 445 secs
lola: 5770758 markings, 6693113 edges, 13514 markings/sec, 450 secs
lola: 5838060 markings, 6771399 edges, 13460 markings/sec, 455 secs
lola: 5905205 markings, 6850703 edges, 13429 markings/sec, 460 secs
lola: 5972662 markings, 6928503 edges, 13491 markings/sec, 465 secs
lola: 6039978 markings, 7007619 edges, 13463 markings/sec, 470 secs
lola: 6107407 markings, 7085545 edges, 13486 markings/sec, 475 secs
lola: 6174557 markings, 7164463 edges, 13430 markings/sec, 480 secs
lola: 6241715 markings, 7243406 edges, 13432 markings/sec, 485 secs
lola: 6308788 markings, 7322508 edges, 13415 markings/sec, 490 secs
lola: 6376115 markings, 7400642 edges, 13465 markings/sec, 495 secs
lola: 6443388 markings, 7479428 edges, 13455 markings/sec, 500 secs
lola: 6510545 markings, 7558581 edges, 13431 markings/sec, 505 secs
lola: 6577577 markings, 7637677 edges, 13406 markings/sec, 510 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown
lola: memory consumption: 1232760 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 1232760 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 1 10 unknown 1 1 unknown 1 unknown unknown 1 10 unknown

BK_STOP 1526849984439

--------------------
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-S02J06T10"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J06T10.tgz
mv PolyORBLF-COL-S02J06T10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S02J06T10, 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 r124-smll-152673526800044"
echo "====================================================================="
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 ;