Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r132-oct2-155403939100007.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is PolyORBNT-COL-S05J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939100007
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 4.5K Feb 12 09:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 12 09:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 8 10:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 8 10:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 00:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.9K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 4 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 4 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 1 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 08:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 93K Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554066390128

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-COL-S05J40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-COL-S05J40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ PolyORBNT-COL-S05J40 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2299/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: Size of bit vector: 21408
lola: finding significant places
lola: 669 places, 1630 transitions, 567 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1208 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J40-UpperBounds.task
lola: MAX(p294) : MAX(p10) : MAX(p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418) : MAX(p185) : MAX(p188) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p95 + p96 + p97 + p98 + p99) : MAX(p667) : MAX(p247 + p246 + p245 + p244 + p243) : MAX(p0) : MAX(p186) : MAX(p3 + p4 + p5 + p6 + p7) : MAX(p1) : MAX(p185) : MAX(p295) : MAX(p94) : MAX(p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + 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 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p294)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 30 markings, 29 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p10)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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 PolyORBNT-COL-S05J40-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 99371 markings, 156015 edges, 19874 markings/sec, 0 secs
lola: 196442 markings, 342289 edges, 19414 markings/sec, 5 secs
lola: 292936 markings, 527827 edges, 19299 markings/sec, 10 secs
lola: 387632 markings, 710195 edges, 18939 markings/sec, 15 secs
lola: 485457 markings, 864248 edges, 19565 markings/sec, 20 secs
lola: 579806 markings, 1047043 edges, 18870 markings/sec, 25 secs
lola: 672484 markings, 1225958 edges, 18536 markings/sec, 30 secs
lola: 766379 markings, 1408172 edges, 18779 markings/sec, 35 secs
lola: 861602 markings, 1591229 edges, 19045 markings/sec, 40 secs
lola: 955747 markings, 1773762 edges, 18829 markings/sec, 45 secs
lola: 1051458 markings, 1924231 edges, 19142 markings/sec, 50 secs
lola: 1143245 markings, 2102919 edges, 18357 markings/sec, 55 secs
lola: 1235336 markings, 2281953 edges, 18418 markings/sec, 60 secs
lola: 1327172 markings, 2459787 edges, 18367 markings/sec, 65 secs
lola: 1419456 markings, 2639068 edges, 18457 markings/sec, 70 secs
lola: 1513653 markings, 2820801 edges, 18839 markings/sec, 75 secs
lola: 1607462 markings, 3002036 edges, 18762 markings/sec, 80 secs
lola: 1701282 markings, 3183283 edges, 18764 markings/sec, 85 secs
lola: 1793263 markings, 3362181 edges, 18396 markings/sec, 90 secs
lola: 1889144 markings, 3513777 edges, 19176 markings/sec, 95 secs
lola: 1980626 markings, 3691161 edges, 18296 markings/sec, 100 secs
lola: 2071973 markings, 3868368 edges, 18269 markings/sec, 105 secs
lola: 2164038 markings, 4047372 edges, 18413 markings/sec, 110 secs
lola: 2256360 markings, 4225827 edges, 18464 markings/sec, 115 secs
lola: 2347224 markings, 4403292 edges, 18173 markings/sec, 120 secs
lola: 2438025 markings, 4579807 edges, 18160 markings/sec, 125 secs
lola: 2528730 markings, 4756189 edges, 18141 markings/sec, 130 secs
lola: 2622782 markings, 4904570 edges, 18810 markings/sec, 135 secs
lola: 2713443 markings, 5080903 edges, 18132 markings/sec, 140 secs
lola: 2803843 markings, 5256894 edges, 18080 markings/sec, 145 secs
lola: 2893878 markings, 5432429 edges, 18007 markings/sec, 150 secs
lola: 2983560 markings, 5607507 edges, 17936 markings/sec, 155 secs
lola: 3073141 markings, 5781581 edges, 17916 markings/sec, 160 secs
lola: 3162664 markings, 5956455 edges, 17905 markings/sec, 165 secs
lola: 3255925 markings, 6103819 edges, 18652 markings/sec, 170 secs
lola: 3345464 markings, 6278712 edges, 17908 markings/sec, 175 secs
lola: 3434859 markings, 6452550 edges, 17879 markings/sec, 180 secs
lola: 3523907 markings, 6626814 edges, 17810 markings/sec, 185 secs
lola: 3612972 markings, 6800230 edges, 17813 markings/sec, 190 secs
lola: 3701831 markings, 6974255 edges, 17772 markings/sec, 195 secs
lola: 3790692 markings, 7147406 edges, 17772 markings/sec, 200 secs
lola: 3883310 markings, 7293945 edges, 18524 markings/sec, 205 secs
lola: 3972094 markings, 7466999 edges, 17757 markings/sec, 210 secs
lola: 4061780 markings, 7642083 edges, 17937 markings/sec, 215 secs
lola: 4152463 markings, 7818447 edges, 18137 markings/sec, 220 secs
lola: 4241520 markings, 7992720 edges, 17811 markings/sec, 225 secs
lola: 4330122 markings, 8165541 edges, 17720 markings/sec, 230 secs
lola: 4418682 markings, 8338312 edges, 17712 markings/sec, 235 secs
lola: 4511257 markings, 8484792 edges, 18515 markings/sec, 240 secs
lola: 4599606 markings, 8658166 edges, 17670 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 402024 KB
lola: time consumption: 289 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 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 PolyORBNT-COL-S05J40-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: 9 markings, 8 edges
lola: ========================================

FORMULA PolyORBNT-COL-S05J40-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p667)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 5 markings, 4 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 79079 markings, 157454 edges, 15816 markings/sec, 0 secs
lola: 175749 markings, 331841 edges, 19334 markings/sec, 5 secs
lola: 243431 markings, 496805 edges, 13536 markings/sec, 10 secs
lola: 323672 markings, 655953 edges, 16048 markings/sec, 15 secs
lola: 419398 markings, 833377 edges, 19145 markings/sec, 20 secs
lola: 488535 markings, 996848 edges, 13827 markings/sec, 25 secs
lola: 572031 markings, 1160767 edges, 16699 markings/sec, 30 secs
lola: 665335 markings, 1337235 edges, 18661 markings/sec, 35 secs
lola: 734701 markings, 1498980 edges, 13873 markings/sec, 40 secs
lola: 817362 markings, 1660095 edges, 16532 markings/sec, 45 secs
lola: 904354 markings, 1830381 edges, 17398 markings/sec, 50 secs
lola: 973465 markings, 1987704 edges, 13822 markings/sec, 55 secs
lola: 1058479 markings, 2151004 edges, 17003 markings/sec, 60 secs
lola: 1142549 markings, 2321791 edges, 16814 markings/sec, 65 secs
lola: 1212766 markings, 2477894 edges, 14043 markings/sec, 70 secs
lola: 1300964 markings, 2644351 edges, 17640 markings/sec, 75 secs
lola: 1379838 markings, 2811466 edges, 15775 markings/sec, 80 secs
lola: 1450351 markings, 2966579 edges, 14103 markings/sec, 85 secs
lola: 1542080 markings, 3136532 edges, 18346 markings/sec, 90 secs
lola: 1614702 markings, 3302882 edges, 14524 markings/sec, 95 secs
lola: 1689639 markings, 3462638 edges, 14987 markings/sec, 100 secs
lola: 1782228 markings, 3634420 edges, 18518 markings/sec, 105 secs
lola: 1850044 markings, 3793337 edges, 13563 markings/sec, 110 secs
lola: 1931642 markings, 3952753 edges, 16320 markings/sec, 115 secs
lola: 2016396 markings, 4121430 edges, 16951 markings/sec, 120 secs
lola: 2085780 markings, 4277595 edges, 13877 markings/sec, 125 secs
lola: 2173389 markings, 4443596 edges, 17522 markings/sec, 130 secs
lola: 2248151 markings, 4609902 edges, 14952 markings/sec, 135 secs
lola: 2321728 markings, 4770128 edges, 14715 markings/sec, 140 secs
lola: 2413180 markings, 4941299 edges, 18290 markings/sec, 145 secs
lola: 2481582 markings, 5099487 edges, 13680 markings/sec, 150 secs
lola: 2564990 markings, 5260747 edges, 16682 markings/sec, 155 secs
lola: 2644597 markings, 5427343 edges, 15921 markings/sec, 160 secs
lola: 2714352 markings, 5583848 edges, 13951 markings/sec, 165 secs
lola: 2807186 markings, 5756201 edges, 18567 markings/sec, 170 secs
lola: 2875849 markings, 5919712 edges, 13733 markings/sec, 175 secs
lola: 2959517 markings, 6081793 edges, 16734 markings/sec, 180 secs
lola: 3038040 markings, 6249293 edges, 15705 markings/sec, 185 secs
lola: 3109180 markings, 6409527 edges, 14228 markings/sec, 190 secs
lola: 3200978 markings, 6581317 edges, 18360 markings/sec, 195 secs
lola: 3269287 markings, 6738798 edges, 13662 markings/sec, 200 secs
lola: 3355231 markings, 6903970 edges, 17189 markings/sec, 205 secs
lola: 3428625 markings, 7072407 edges, 14679 markings/sec, 210 secs
lola: 3507531 markings, 7232981 edges, 15781 markings/sec, 215 secs
lola: 3589698 markings, 7401161 edges, 16433 markings/sec, 220 secs
lola: 3658838 markings, 7560684 edges, 13828 markings/sec, 225 secs
lola: 3750396 markings, 7732944 edges, 18312 markings/sec, 230 secs
lola: 3818593 markings, 7889945 edges, 13639 markings/sec, 235 secs
lola: 3905176 markings, 8056440 edges, 17317 markings/sec, 240 secs
lola: 3976134 markings, 8224019 edges, 14192 markings/sec, 245 secs
lola: 4058774 markings, 8385157 edges, 16528 markings/sec, 250 secs
lola: 4134162 markings, 8553071 edges, 15078 markings/sec, 255 secs
lola: 4212101 markings, 8714697 edges, 15588 markings/sec, 260 secs
lola: 4292897 markings, 8882558 edges, 16159 markings/sec, 265 secs
lola: 4365709 markings, 9045054 edges, 14562 markings/sec, 270 secs
lola: 4449839 markings, 9214257 edges, 16826 markings/sec, 275 secs
lola: 4520746 markings, 9376375 edges, 14181 markings/sec, 280 secs
lola: 4606647 markings, 9545519 edges, 17180 markings/sec, 285 secs
lola: 4675206 markings, 9706725 edges, 13712 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 427664 KB
lola: time consumption: 587 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 67161 markings, 128311 edges, 13432 markings/sec, 0 secs
lola: 140145 markings, 274615 edges, 14597 markings/sec, 5 secs
lola: 211473 markings, 414118 edges, 14266 markings/sec, 10 secs
lola: 281121 markings, 554596 edges, 13930 markings/sec, 15 secs
lola: 349618 markings, 689176 edges, 13699 markings/sec, 20 secs
lola: 416886 markings, 821611 edges, 13454 markings/sec, 25 secs
lola: 483124 markings, 952277 edges, 13248 markings/sec, 30 secs
lola: 548555 markings, 1081544 edges, 13086 markings/sec, 35 secs
lola: 613626 markings, 1210175 edges, 13014 markings/sec, 40 secs
lola: 668806 markings, 1455796 edges, 11036 markings/sec, 45 secs
lola: 733213 markings, 1592053 edges, 12881 markings/sec, 50 secs
lola: 804613 markings, 1735554 edges, 14280 markings/sec, 55 secs
lola: 875121 markings, 1873639 edges, 14102 markings/sec, 60 secs
lola: 943773 markings, 2008494 edges, 13730 markings/sec, 65 secs
lola: 1011010 markings, 2140872 edges, 13447 markings/sec, 70 secs
lola: 1076887 markings, 2274803 edges, 13175 markings/sec, 75 secs
lola: 1142035 markings, 2403571 edges, 13030 markings/sec, 80 secs
lola: 1206339 markings, 2530856 edges, 12861 markings/sec, 85 secs
lola: 1269835 markings, 2656783 edges, 12699 markings/sec, 90 secs
lola: 1333391 markings, 2778892 edges, 12711 markings/sec, 95 secs
lola: 1387934 markings, 3032165 edges, 10909 markings/sec, 100 secs
lola: 1457621 markings, 3172701 edges, 13937 markings/sec, 105 secs
lola: 1528477 markings, 3311400 edges, 14171 markings/sec, 110 secs
lola: 1597678 markings, 3447193 edges, 13840 markings/sec, 115 secs
lola: 1665126 markings, 3583851 edges, 13490 markings/sec, 120 secs
lola: 1731811 markings, 3715262 edges, 13337 markings/sec, 125 secs
lola: 1797374 markings, 3844765 edges, 13113 markings/sec, 130 secs
lola: 1862026 markings, 3972675 edges, 12930 markings/sec, 135 secs
lola: 1925878 markings, 4099184 edges, 12770 markings/sec, 140 secs
lola: 1989135 markings, 4224668 edges, 12651 markings/sec, 145 secs
lola: 2043194 markings, 4477099 edges, 10812 markings/sec, 150 secs
lola: 2114903 markings, 4617239 edges, 14342 markings/sec, 155 secs
lola: 2184860 markings, 4754379 edges, 13991 markings/sec, 160 secs
lola: 2253279 markings, 4892731 edges, 13684 markings/sec, 165 secs
lola: 2320876 markings, 5025747 edges, 13519 markings/sec, 170 secs
lola: 2387413 markings, 5156910 edges, 13307 markings/sec, 175 secs
lola: 2453012 markings, 5286499 edges, 13120 markings/sec, 180 secs
lola: 2517877 markings, 5414759 edges, 12973 markings/sec, 185 secs
lola: 2582098 markings, 5541915 edges, 12844 markings/sec, 190 secs
lola: 2640500 markings, 5735859 edges, 11680 markings/sec, 195 secs
lola: 2702375 markings, 5924969 edges, 12375 markings/sec, 200 secs
lola: 2772760 markings, 6066723 edges, 14077 markings/sec, 205 secs
lola: 2841813 markings, 6202281 edges, 13811 markings/sec, 210 secs
lola: 2909263 markings, 6335028 edges, 13490 markings/sec, 215 secs
lola: 2975366 markings, 6465484 edges, 13221 markings/sec, 220 secs
lola: 3040412 markings, 6594064 edges, 13009 markings/sec, 225 secs
lola: 3104532 markings, 6721017 edges, 12824 markings/sec, 230 secs
lola: 3167698 markings, 6846368 edges, 12633 markings/sec, 235 secs
lola: 3230232 markings, 6970572 edges, 12507 markings/sec, 240 secs
lola: 3282544 markings, 7219986 edges, 10462 markings/sec, 245 secs
lola: 3349432 markings, 7351764 edges, 13378 markings/sec, 250 secs
lola: 3419105 markings, 7488427 edges, 13935 markings/sec, 255 secs
lola: 3487008 markings, 7621968 edges, 13581 markings/sec, 260 secs
lola: 3553237 markings, 7756487 edges, 13246 markings/sec, 265 secs
lola: 3618545 markings, 7885534 edges, 13062 markings/sec, 270 secs
lola: 3682854 markings, 8012843 edges, 12862 markings/sec, 275 secs
lola: 3746674 markings, 8135401 edges, 12764 markings/sec, 280 secs
lola: 3809529 markings, 8260181 edges, 12571 markings/sec, 285 secs
lola: 3871830 markings, 8384020 edges, 12460 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 281144 KB
lola: time consumption: 885 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 29 markings, 28 edges
lola: ========================================

FORMULA PolyORBNT-COL-S05J40-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 97853 markings, 153193 edges, 19571 markings/sec, 0 secs
lola: 192702 markings, 336630 edges, 18970 markings/sec, 5 secs
lola: 287382 markings, 518970 edges, 18936 markings/sec, 10 secs
lola: 382189 markings, 701486 edges, 18961 markings/sec, 15 secs
lola: 479228 markings, 854521 edges, 19408 markings/sec, 20 secs
lola: 572511 markings, 1035086 edges, 18657 markings/sec, 25 secs
lola: 664797 markings, 1214367 edges, 18457 markings/sec, 30 secs
lola: 757307 markings, 1393906 edges, 18502 markings/sec, 35 secs
lola: 850685 markings, 1574627 edges, 18676 markings/sec, 40 secs
lola: 943566 markings, 1752819 edges, 18576 markings/sec, 45 secs
lola: 1038633 markings, 1903446 edges, 19013 markings/sec, 50 secs
lola: 1130366 markings, 2082932 edges, 18347 markings/sec, 55 secs
lola: 1222589 markings, 2261264 edges, 18445 markings/sec, 60 secs
lola: 1314679 markings, 2440298 edges, 18418 markings/sec, 65 secs
lola: 1406901 markings, 2618628 edges, 18444 markings/sec, 70 secs
lola: 1498904 markings, 2797551 edges, 18401 markings/sec, 75 secs
lola: 1591136 markings, 2975893 edges, 18446 markings/sec, 80 secs
lola: 1684587 markings, 3143750 edges, 18690 markings/sec, 85 secs
lola: 1778546 markings, 3305804 edges, 18792 markings/sec, 90 secs
lola: 1870688 markings, 3484032 edges, 18428 markings/sec, 95 secs
lola: 1962590 markings, 3662820 edges, 18380 markings/sec, 100 secs
lola: 2054344 markings, 3840556 edges, 18351 markings/sec, 105 secs
lola: 2145920 markings, 4018930 edges, 18315 markings/sec, 110 secs
lola: 2237451 markings, 4196374 edges, 18306 markings/sec, 115 secs
lola: 2328778 markings, 4373558 edges, 18265 markings/sec, 120 secs
lola: 2420275 markings, 4549470 edges, 18299 markings/sec, 125 secs
lola: 2514673 markings, 4700656 edges, 18880 markings/sec, 130 secs
lola: 2605848 markings, 4877645 edges, 18235 markings/sec, 135 secs
lola: 2696847 markings, 5054408 edges, 18200 markings/sec, 140 secs
lola: 2787608 markings, 5231741 edges, 18152 markings/sec, 145 secs
lola: 2878334 markings, 5408154 edges, 18145 markings/sec, 150 secs
lola: 2968894 markings, 5584354 edges, 18112 markings/sec, 155 secs
lola: 3059420 markings, 5760515 edges, 18105 markings/sec, 160 secs
lola: 3153423 markings, 5908829 edges, 18801 markings/sec, 165 secs
lola: 3243806 markings, 6084804 edges, 18077 markings/sec, 170 secs
lola: 3334064 markings, 6260619 edges, 18052 markings/sec, 175 secs
lola: 3424135 markings, 6436198 edges, 18014 markings/sec, 180 secs
lola: 3514160 markings, 6610837 edges, 18005 markings/sec, 185 secs
lola: 3603867 markings, 6785951 edges, 17941 markings/sec, 190 secs
lola: 3693445 markings, 6960891 edges, 17916 markings/sec, 195 secs
lola: 3785451 markings, 7117061 edges, 18401 markings/sec, 200 secs
lola: 3876135 markings, 7283011 edges, 18137 markings/sec, 205 secs
lola: 3965571 markings, 7456899 edges, 17887 markings/sec, 210 secs
lola: 4054756 markings, 7631341 edges, 17837 markings/sec, 215 secs
lola: 4143879 markings, 7804832 edges, 17825 markings/sec, 220 secs
lola: 4232511 markings, 7978564 edges, 17726 markings/sec, 225 secs
lola: 4319270 markings, 8148154 edges, 17352 markings/sec, 230 secs
lola: 4410948 markings, 8293491 edges, 18336 markings/sec, 235 secs
lola: 4499725 markings, 8466536 edges, 17755 markings/sec, 240 secs
lola: 4588289 markings, 8640181 edges, 17713 markings/sec, 245 secs
lola: 4676816 markings, 8812905 edges, 17705 markings/sec, 250 secs
lola: 4765163 markings, 8985402 edges, 17669 markings/sec, 255 secs
lola: 4853346 markings, 9157685 edges, 17637 markings/sec, 260 secs
lola: 4941546 markings, 9326668 edges, 17640 markings/sec, 265 secs
lola: 4961411 markings, 10109459 edges, 3973 markings/sec, 270 secs
lola: 5000884 markings, 10667722 edges, 7895 markings/sec, 275 secs
lola: 5084088 markings, 10847815 edges, 16641 markings/sec, 280 secs
lola: 5163418 markings, 11031495 edges, 15866 markings/sec, 285 secs
lola: 5239204 markings, 11177419 edges, 15157 markings/sec, 290 secs
lola: 5311494 markings, 11319445 edges, 14458 markings/sec, 295 secs
lola: 5378553 markings, 11458825 edges, 13412 markings/sec, 300 secs
lola: 5433581 markings, 11606032 edges, 11006 markings/sec, 305 secs
lola: 5481689 markings, 11736178 edges, 9622 markings/sec, 310 secs
lola: 5532390 markings, 11882677 edges, 10140 markings/sec, 315 secs
lola: 5619011 markings, 12059113 edges, 17324 markings/sec, 320 secs
lola: 5698127 markings, 12246600 edges, 15823 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 unknown 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown
lola: memory consumption: 488380 KB
lola: time consumption: 1220 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p295)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 21 markings, 20 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-13 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p94)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 21 markings, 20 edges
lola: ========================================

FORMULA PolyORBNT-COL-S05J40-UpperBounds-14 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p247 + p246 + p245 + p244 + p243)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p247 + p246 + p245 + p244 + p243)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-7 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 586 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3 + p4 + p5 + p6 + p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3 + p4 + p5 + p6 + p7)
lola: processed formula length: 27
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-10 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p95 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p95 + p96 + p97 + p98 + p99)
lola: processed formula length: 284
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 22 markings, 21 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418)
lola: processed formula length: 289
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 59955 markings, 134618 edges, 11991 markings/sec, 0 secs
lola: 123300 markings, 275964 edges, 12669 markings/sec, 5 secs
lola: 177785 markings, 431470 edges, 10897 markings/sec, 10 secs
lola: 223908 markings, 581894 edges, 9225 markings/sec, 15 secs
lola: 286773 markings, 722622 edges, 12573 markings/sec, 20 secs
lola: 349481 markings, 863871 edges, 12542 markings/sec, 25 secs
lola: 402360 markings, 1018519 edges, 10576 markings/sec, 30 secs
lola: 449317 markings, 1167231 edges, 9391 markings/sec, 35 secs
lola: 512788 markings, 1309048 edges, 12694 markings/sec, 40 secs
lola: 575183 markings, 1450702 edges, 12479 markings/sec, 45 secs
lola: 626644 markings, 1604462 edges, 10292 markings/sec, 50 secs
lola: 675476 markings, 1750858 edges, 9766 markings/sec, 55 secs
lola: 737764 markings, 1892794 edges, 12458 markings/sec, 60 secs
lola: 798456 markings, 2034410 edges, 12138 markings/sec, 65 secs
lola: 846990 markings, 2186477 edges, 9707 markings/sec, 70 secs
lola: 900875 markings, 2325548 edges, 10777 markings/sec, 75 secs
lola: 962554 markings, 2474077 edges, 12336 markings/sec, 80 secs
lola: 1021489 markings, 2624293 edges, 11787 markings/sec, 85 secs
lola: 1067057 markings, 2769287 edges, 9114 markings/sec, 90 secs
lola: 1124310 markings, 2916267 edges, 11451 markings/sec, 95 secs
lola: 1186622 markings, 3054723 edges, 12462 markings/sec, 100 secs
lola: 1241442 markings, 3208183 edges, 10964 markings/sec, 105 secs
lola: 1286878 markings, 3357809 edges, 9087 markings/sec, 110 secs
lola: 1349556 markings, 3496973 edges, 12536 markings/sec, 115 secs
lola: 1410243 markings, 3637193 edges, 12137 markings/sec, 120 secs
lola: 1459385 markings, 3789686 edges, 9828 markings/sec, 125 secs
lola: 1512967 markings, 3940362 edges, 10716 markings/sec, 130 secs
lola: 1575120 markings, 4077665 edges, 12431 markings/sec, 135 secs
lola: 1631398 markings, 4230897 edges, 11256 markings/sec, 140 secs
lola: 1676679 markings, 4378096 edges, 9056 markings/sec, 145 secs
lola: 1738594 markings, 4519369 edges, 12383 markings/sec, 150 secs
lola: 1799370 markings, 4658910 edges, 12155 markings/sec, 155 secs
lola: 1849031 markings, 4811315 edges, 9932 markings/sec, 160 secs
lola: 1902142 markings, 4962463 edges, 10622 markings/sec, 165 secs
lola: 1964109 markings, 5099717 edges, 12393 markings/sec, 170 secs
lola: 2018971 markings, 5252580 edges, 10972 markings/sec, 175 secs
lola: 2067132 markings, 5400463 edges, 9632 markings/sec, 180 secs
lola: 2129316 markings, 5542091 edges, 12437 markings/sec, 185 secs
lola: 2188355 markings, 5685871 edges, 11808 markings/sec, 190 secs
lola: 2234421 markings, 5836571 edges, 9213 markings/sec, 195 secs
lola: 2293870 markings, 5984114 edges, 11890 markings/sec, 200 secs
lola: 2354387 markings, 6122670 edges, 12103 markings/sec, 205 secs
lola: 2404244 markings, 6275039 edges, 9971 markings/sec, 210 secs
lola: 2459511 markings, 6427689 edges, 11053 markings/sec, 215 secs
lola: 2532644 markings, 6593774 edges, 14627 markings/sec, 220 secs
lola: 2594961 markings, 6742788 edges, 12463 markings/sec, 225 secs
lola: 2669219 markings, 6911721 edges, 14852 markings/sec, 230 secs
lola: 2730978 markings, 7072314 edges, 12352 markings/sec, 235 secs
lola: 2804089 markings, 7230055 edges, 14622 markings/sec, 240 secs
lola: 2866771 markings, 7401242 edges, 12536 markings/sec, 245 secs
lola: 2938561 markings, 7553619 edges, 14358 markings/sec, 250 secs
lola: 3002132 markings, 7727310 edges, 12714 markings/sec, 255 secs
lola: 3073503 markings, 7877937 edges, 14274 markings/sec, 260 secs
lola: 3137265 markings, 8050223 edges, 12752 markings/sec, 265 secs
lola: 3208226 markings, 8202016 edges, 14192 markings/sec, 270 secs
lola: 3272491 markings, 8371526 edges, 12853 markings/sec, 275 secs
lola: 3342773 markings, 8527224 edges, 14056 markings/sec, 280 secs
lola: 3406497 markings, 8700727 edges, 12745 markings/sec, 285 secs
lola: 3477769 markings, 8853347 edges, 14254 markings/sec, 290 secs
lola: 3540732 markings, 9023110 edges, 12593 markings/sec, 295 secs
lola: 3612417 markings, 9179481 edges, 14337 markings/sec, 300 secs
lola: 3674680 markings, 9345129 edges, 12453 markings/sec, 305 secs
lola: 3745892 markings, 9514853 edges, 14242 markings/sec, 310 secs
lola: 3807984 markings, 9675384 edges, 12418 markings/sec, 315 secs
lola: 3878918 markings, 9840150 edges, 14187 markings/sec, 320 secs
lola: 3943408 markings, 9999999 edges, 12898 markings/sec, 325 secs
lola: 4011582 markings, 10165747 edges, 13635 markings/sec, 330 secs
lola: 4078331 markings, 10325559 edges, 13350 markings/sec, 335 secs
lola: 4142710 markings, 10499382 edges, 12876 markings/sec, 340 secs
lola: 4213111 markings, 10655264 edges, 14080 markings/sec, 345 secs
lola: 4274271 markings, 10824649 edges, 12232 markings/sec, 350 secs
lola: 4344878 markings, 10989127 edges, 14121 markings/sec, 355 secs
lola: 4409953 markings, 11150035 edges, 13015 markings/sec, 360 secs
lola: 4475296 markings, 11322957 edges, 13069 markings/sec, 365 secs
lola: 4544916 markings, 11481934 edges, 13924 markings/sec, 370 secs
lola: 4606978 markings, 11650190 edges, 12412 markings/sec, 375 secs
lola: 4675402 markings, 11815586 edges, 13685 markings/sec, 380 secs
lola: 4742404 markings, 11977699 edges, 13400 markings/sec, 385 secs
lola: 4804987 markings, 12142405 edges, 12517 markings/sec, 390 secs
lola: 4873433 markings, 12316030 edges, 13689 markings/sec, 395 secs
lola: 4940043 markings, 12477724 edges, 13322 markings/sec, 400 secs
lola: 5002623 markings, 12643344 edges, 12516 markings/sec, 405 secs
lola: 5070369 markings, 12817302 edges, 13549 markings/sec, 410 secs
lola: 5137524 markings, 12981235 edges, 13431 markings/sec, 415 secs
lola: 5200199 markings, 13151945 edges, 12535 markings/sec, 420 secs
lola: 5265912 markings, 13323148 edges, 13143 markings/sec, 425 secs
lola: 5332881 markings, 13491278 edges, 13394 markings/sec, 430 secs
lola: 5398330 markings, 13654664 edges, 13090 markings/sec, 435 secs
lola: 5461064 markings, 13827775 edges, 12547 markings/sec, 440 secs
lola: 5526508 markings, 14001293 edges, 13089 markings/sec, 445 secs
lola: 5592752 markings, 14167742 edges, 13249 markings/sec, 450 secs
lola: 5658691 markings, 14336367 edges, 13188 markings/sec, 455 secs
lola: 5722501 markings, 14504510 edges, 12762 markings/sec, 460 secs
lola: 5785415 markings, 14678655 edges, 12583 markings/sec, 465 secs
lola: 5849705 markings, 14847460 edges, 12858 markings/sec, 470 secs
lola: 5914613 markings, 15026397 edges, 12982 markings/sec, 475 secs
lola: 5979894 markings, 15194099 edges, 13056 markings/sec, 480 secs
lola: 6044227 markings, 15368096 edges, 12867 markings/sec, 485 secs
lola: 6108456 markings, 15542383 edges, 12846 markings/sec, 490 secs
lola: 6172569 markings, 15716515 edges, 12823 markings/sec, 495 secs
lola: 6236225 markings, 15891552 edges, 12731 markings/sec, 500 secs
lola: 6299880 markings, 16066680 edges, 12731 markings/sec, 505 secs
lola: 6363430 markings, 16241575 edges, 12710 markings/sec, 510 secs
lola: 6426472 markings, 16417501 edges, 12608 markings/sec, 515 secs
lola: 6489418 markings, 16594658 edges, 12589 markings/sec, 520 secs
lola: 6551918 markings, 16774591 edges, 12500 markings/sec, 525 secs
lola: 6614335 markings, 16952701 edges, 12483 markings/sec, 530 secs
lola: 6678324 markings, 17128591 edges, 12798 markings/sec, 535 secs
lola: 6740797 markings, 17313395 edges, 12495 markings/sec, 540 secs
lola: 6802243 markings, 17496060 edges, 12289 markings/sec, 545 secs
lola: 6864738 markings, 17675001 edges, 12499 markings/sec, 550 secs
lola: 6926704 markings, 17860948 edges, 12393 markings/sec, 555 secs
lola: 6987757 markings, 18045884 edges, 12211 markings/sec, 560 secs
lola: 7049310 markings, 18233752 edges, 12311 markings/sec, 565 secs
lola: 7110782 markings, 18420556 edges, 12294 markings/sec, 570 secs
lola: 7170788 markings, 18612073 edges, 12001 markings/sec, 575 secs
lola: 7230684 markings, 18806716 edges, 11979 markings/sec, 580 secs
lola: 7290652 markings, 19001520 edges, 11994 markings/sec, 585 secs
lola: 7350501 markings, 19198839 edges, 11970 markings/sec, 590 secs
lola: 7408463 markings, 19403314 edges, 11592 markings/sec, 595 secs
lola: 7466774 markings, 19610277 edges, 11662 markings/sec, 600 secs
lola: 7523599 markings, 19823248 edges, 11365 markings/sec, 605 secs
lola: 7579759 markings, 20043813 edges, 11232 markings/sec, 610 secs
lola: 7633743 markings, 20278826 edges, 10797 markings/sec, 615 secs
lola: 7684533 markings, 20536728 edges, 10158 markings/sec, 620 secs
lola: 7731909 markings, 20813538 edges, 9475 markings/sec, 625 secs
lola: 7805850 markings, 20974066 edges, 14788 markings/sec, 630 secs
lola: 7881211 markings, 21154521 edges, 15072 markings/sec, 635 secs
lola: 7950694 markings, 21290781 edges, 13897 markings/sec, 640 secs
lola: 8017898 markings, 21424607 edges, 13441 markings/sec, 645 secs
lola: 8081592 markings, 21556213 edges, 12739 markings/sec, 650 secs
lola: 8140391 markings, 21698739 edges, 11760 markings/sec, 655 secs
lola: 8185575 markings, 21827600 edges, 9037 markings/sec, 660 secs
lola: 8229985 markings, 21955304 edges, 8882 markings/sec, 665 secs
lola: 8286341 markings, 22098605 edges, 11271 markings/sec, 670 secs
lola: 8364122 markings, 22260704 edges, 15556 markings/sec, 675 secs
lola: 8436628 markings, 22431385 edges, 14501 markings/sec, 680 secs
lola: 8505528 markings, 22566595 edges, 13780 markings/sec, 685 secs
lola: 8571102 markings, 22699136 edges, 13115 markings/sec, 690 secs
lola: 8633720 markings, 22830852 edges, 12524 markings/sec, 695 secs
lola: 8687481 markings, 22973771 edges, 10752 markings/sec, 700 secs
lola: 8732437 markings, 23099891 edges, 8991 markings/sec, 705 secs
lola: 8776249 markings, 23230483 edges, 8762 markings/sec, 710 secs
lola: 8843033 markings, 23380530 edges, 13357 markings/sec, 715 secs
lola: 8920585 markings, 23546824 edges, 15510 markings/sec, 720 secs
lola: 8991303 markings, 23706071 edges, 14144 markings/sec, 725 secs
lola: 9058952 markings, 23840223 edges, 13530 markings/sec, 730 secs
lola: 9123569 markings, 23971951 edges, 12923 markings/sec, 735 secs
lola: 9184899 markings, 24104953 edges, 12266 markings/sec, 740 secs
lola: 9234250 markings, 24245079 edges, 9870 markings/sec, 745 secs
lola: 9278935 markings, 24371532 edges, 8937 markings/sec, 750 secs
lola: 9327137 markings, 24503718 edges, 9640 markings/sec, 755 secs
lola: 9399453 markings, 24660769 edges, 14463 markings/sec, 760 secs
lola: 9472202 markings, 24835901 edges, 14550 markings/sec, 765 secs
lola: 9539964 markings, 24969063 edges, 13552 markings/sec, 770 secs
lola: 9605140 markings, 25099808 edges, 13035 markings/sec, 775 secs
lola: 9667166 markings, 25228771 edges, 12405 markings/sec, 780 secs
lola: 9722482 markings, 25370611 edges, 11063 markings/sec, 785 secs
lola: 9767376 markings, 25496315 edges, 8979 markings/sec, 790 secs
lola: 9811209 markings, 25625498 edges, 8767 markings/sec, 795 secs
lola: 9875676 markings, 25773332 edges, 12893 markings/sec, 800 secs
lola: 9951215 markings, 25936272 edges, 15108 markings/sec, 805 secs
lola: 10019667 markings, 26091051 edges, 13690 markings/sec, 810 secs
lola: 10085719 markings, 26222369 edges, 13210 markings/sec, 815 secs
lola: 10149043 markings, 26351782 edges, 12665 markings/sec, 820 secs
lola: 10208333 markings, 26483336 edges, 11858 markings/sec, 825 secs
lola: 10255306 markings, 26620426 edges, 9395 markings/sec, 830 secs
lola: 10299484 markings, 26746573 edges, 8836 markings/sec, 835 secs
lola: 10352358 markings, 26874809 edges, 10575 markings/sec, 840 secs
lola: 10427339 markings, 27043143 edges, 14996 markings/sec, 845 secs
lola: 10498847 markings, 27211793 edges, 14302 markings/sec, 850 secs
lola: 10565382 markings, 27343725 edges, 13307 markings/sec, 855 secs
lola: 10630096 markings, 27473962 edges, 12943 markings/sec, 860 secs
lola: 10690868 markings, 27602953 edges, 12154 markings/sec, 865 secs
lola: 10742852 markings, 27743772 edges, 10397 markings/sec, 870 secs
lola: 10787488 markings, 27869449 edges, 8927 markings/sec, 875 secs
lola: 10833129 markings, 28002236 edges, 9128 markings/sec, 880 secs
lola: 10904424 markings, 28155326 edges, 14259 markings/sec, 885 secs
lola: 10976697 markings, 28329276 edges, 14455 markings/sec, 890 secs
lola: 11043817 markings, 28462027 edges, 13424 markings/sec, 895 secs
lola: 11108461 markings, 28591716 edges, 12929 markings/sec, 900 secs
lola: 11169283 markings, 28720309 edges, 12164 markings/sec, 905 secs
lola: 11222110 markings, 28860795 edges, 10565 markings/sec, 910 secs
lola: 11266795 markings, 28986696 edges, 8937 markings/sec, 915 secs
lola: 11313337 markings, 29119353 edges, 9308 markings/sec, 920 secs
lola: 11384895 markings, 29273757 edges, 14312 markings/sec, 925 secs
lola: 11456884 markings, 29447099 edges, 14398 markings/sec, 930 secs
lola: 11523961 markings, 29578903 edges, 13415 markings/sec, 935 secs
lola: 11587766 markings, 29708006 edges, 12761 markings/sec, 940 secs
lola: 11648603 markings, 29836263 edges, 12167 markings/sec, 945 secs
lola: 11700915 markings, 29976426 edges, 10462 markings/sec, 950 secs
lola: 11745496 markings, 30102406 edges, 8916 markings/sec, 955 secs
lola: 11792522 markings, 30234479 edges, 9405 markings/sec, 960 secs
lola: 11864217 markings, 30389777 edges, 14339 markings/sec, 965 secs
lola: 11936346 markings, 30562537 edges, 14426 markings/sec, 970 secs
lola: 12002626 markings, 30693580 edges, 13256 markings/sec, 975 secs
lola: 12066823 markings, 30823444 edges, 12839 markings/sec, 980 secs
lola: 12127678 markings, 30951907 edges, 12171 markings/sec, 985 secs
lola: 12179663 markings, 31092143 edges, 10397 markings/sec, 990 secs
lola: 12224201 markings, 31217944 edges, 8908 markings/sec, 995 secs
lola: 12272343 markings, 31349063 edges, 9628 markings/sec, 1000 secs
lola: 12344502 markings, 31507553 edges, 14432 markings/sec, 1005 secs
lola: 12414456 markings, 31674721 edges, 13991 markings/sec, 1010 secs
lola: 12480258 markings, 31805395 edges, 13160 markings/sec, 1015 secs
lola: 12543570 markings, 31934123 edges, 12662 markings/sec, 1020 secs
lola: 12602692 markings, 32064040 edges, 11824 markings/sec, 1025 secs
lola: 12650519 markings, 32202051 edges, 9565 markings/sec, 1030 secs
lola: 12694718 markings, 32329370 edges, 8840 markings/sec, 1035 secs
lola: 12753945 markings, 32475152 edges, 11845 markings/sec, 1040 secs
lola: 12827779 markings, 32634784 edges, 14767 markings/sec, 1045 secs
lola: 12894718 markings, 32786857 edges, 13388 markings/sec, 1050 secs
lola: 12959278 markings, 32916202 edges, 12912 markings/sec, 1055 secs
lola: 13020903 markings, 33044464 edges, 12325 markings/sec, 1060 secs
lola: 13076084 markings, 33185007 edges, 11036 markings/sec, 1065 secs
lola: 13120808 markings, 33310906 edges, 8945 markings/sec, 1070 secs
lola: 13166176 markings, 33443480 edges, 9074 markings/sec, 1075 secs
lola: 13236838 markings, 33595601 edges, 14132 markings/sec, 1080 secs
lola: 13307882 markings, 33766020 edges, 14209 markings/sec, 1085 secs
lola: 13373590 markings, 33896770 edges, 13142 markings/sec, 1090 secs
lola: 13436768 markings, 34025007 edges, 12636 markings/sec, 1095 secs
lola: 13496558 markings, 34153319 edges, 11958 markings/sec, 1100 secs
lola: 13545919 markings, 34291978 edges, 9872 markings/sec, 1105 secs
lola: 13590114 markings, 34418171 edges, 8839 markings/sec, 1110 secs
lola: 13644218 markings, 34560314 edges, 10821 markings/sec, 1115 secs
lola: 13717367 markings, 34716784 edges, 14630 markings/sec, 1120 secs
lola: 13784162 markings, 34870881 edges, 13359 markings/sec, 1125 secs
lola: 13848291 markings, 34999722 edges, 12826 markings/sec, 1130 secs
lola: 13909105 markings, 35127100 edges, 12163 markings/sec, 1135 secs
lola: 13962611 markings, 35266866 edges, 10701 markings/sec, 1140 secs
lola: 14006978 markings, 35392579 edges, 8873 markings/sec, 1145 secs
lola: 14056268 markings, 35522635 edges, 9858 markings/sec, 1150 secs
lola: 14127988 markings, 35682978 edges, 14344 markings/sec, 1155 secs
lola: 14195796 markings, 35843537 edges, 13562 markings/sec, 1160 secs
lola: 14260534 markings, 35973161 edges, 12948 markings/sec, 1165 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 1 1 5 unknown unknown 5 1 unknown 2 4 unknown
lola: memory consumption: 1119708 KB
lola: time consumption: 2397 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1173 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + 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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + 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... (shortened)
lola: processed formula length: 576
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 4 markings, 3 edges

FORMULA PolyORBNT-COL-S05J40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p185)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-COL-S05J40-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: 97925 markings, 153287 edges, 19585 markings/sec, 0 secs
lola: 192936 markings, 336933 edges, 19002 markings/sec, 5 secs
lola: 287839 markings, 519557 edges, 18981 markings/sec, 10 secs
lola: 382525 markings, 702785 edges, 18937 markings/sec, 15 secs
lola: 479725 markings, 855160 edges, 19440 markings/sec, 20 secs
lola: 573044 markings, 1035768 edges, 18664 markings/sec, 25 secs
lola: 665377 markings, 1215111 edges, 18467 markings/sec, 30 secs
lola: 757795 markings, 1394567 edges, 18484 markings/sec, 35 secs
lola: 851308 markings, 1575427 edges, 18703 markings/sec, 40 secs
lola: 944061 markings, 1755312 edges, 18551 markings/sec, 45 secs
lola: 1039204 markings, 1905054 edges, 19029 markings/sec, 50 secs
lola: 1131472 markings, 2084344 edges, 18454 markings/sec, 55 secs
lola: 1224029 markings, 2263979 edges, 18511 markings/sec, 60 secs
lola: 1316469 markings, 2442594 edges, 18488 markings/sec, 65 secs
lola: 1408607 markings, 2621681 edges, 18428 markings/sec, 70 secs
lola: 1500717 markings, 2799871 edges, 18422 markings/sec, 75 secs
lola: 1592884 markings, 2979004 edges, 18433 markings/sec, 80 secs
lola: 1685015 markings, 3158089 edges, 18426 markings/sec, 85 secs
lola: 1780292 markings, 3308037 edges, 19055 markings/sec, 90 secs
lola: 1872296 markings, 3486962 edges, 18401 markings/sec, 95 secs
lola: 1964251 markings, 3664952 edges, 18391 markings/sec, 100 secs
lola: 2055914 markings, 3843436 edges, 18333 markings/sec, 105 secs
lola: 2147574 markings, 4021051 edges, 18332 markings/sec, 110 secs
lola: 2238975 markings, 4198331 edges, 18280 markings/sec, 115 secs
lola: 2330236 markings, 4376301 edges, 18252 markings/sec, 120 secs
lola: 2421437 markings, 4553321 edges, 18240 markings/sec, 125 secs
lola: 2515941 markings, 4703152 edges, 18901 markings/sec, 130 secs
lola: 2607126 markings, 4880151 edges, 18237 markings/sec, 135 secs
lola: 2698165 markings, 5056970 edges, 18208 markings/sec, 140 secs
lola: 2788990 markings, 5233513 edges, 18165 markings/sec, 145 secs
lola: 2879636 markings, 5409820 edges, 18129 markings/sec, 150 secs
lola: 2970149 markings, 5585964 edges, 18103 markings/sec, 155 secs
lola: 3060645 markings, 5762084 edges, 18099 markings/sec, 160 secs
lola: 3154629 markings, 5910371 edges, 18797 markings/sec, 165 secs
lola: 3245063 markings, 6086413 edges, 18087 markings/sec, 170 secs
lola: 3335335 markings, 6262249 edges, 18054 markings/sec, 175 secs
lola: 3425356 markings, 6437762 edges, 18004 markings/sec, 180 secs
lola: 3515026 markings, 6612821 edges, 17934 markings/sec, 185 secs
lola: 3604836 markings, 6787188 edges, 17962 markings/sec, 190 secs
lola: 3694437 markings, 6962162 edges, 17920 markings/sec, 195 secs
lola: 3785639 markings, 7124427 edges, 18240 markings/sec, 200 secs
lola: 3877212 markings, 7284388 edges, 18315 markings/sec, 205 secs
lola: 3966514 markings, 7458986 edges, 17860 markings/sec, 210 secs
lola: 4055787 markings, 7632664 edges, 17855 markings/sec, 215 secs
lola: 4144799 markings, 7806884 edges, 17802 markings/sec, 220 secs
lola: 4233789 markings, 7980202 edges, 17798 markings/sec, 225 secs
lola: 4322542 markings, 8153215 edges, 17751 markings/sec, 230 secs
lola: 4415065 markings, 8299635 edges, 18505 markings/sec, 235 secs
lola: 4503630 markings, 8473284 edges, 17713 markings/sec, 240 secs
lola: 4591885 markings, 8645661 edges, 17651 markings/sec, 245 secs
lola: 4680122 markings, 8818012 edges, 17647 markings/sec, 250 secs
lola: 4768237 markings, 8990214 edges, 17623 markings/sec, 255 secs
lola: 4856264 markings, 9162300 edges, 17605 markings/sec, 260 secs
lola: 4942127 markings, 9349624 edges, 17173 markings/sec, 265 secs
lola: 4961848 markings, 10126800 edges, 3944 markings/sec, 270 secs
lola: 5002833 markings, 10670880 edges, 8197 markings/sec, 275 secs
lola: 5085779 markings, 10851345 edges, 16589 markings/sec, 280 secs
lola: 5164359 markings, 11033801 edges, 15716 markings/sec, 285 secs
lola: 5240630 markings, 11180164 edges, 15254 markings/sec, 290 secs
lola: 5312709 markings, 11321644 edges, 14416 markings/sec, 295 secs
lola: 5379366 markings, 11460273 edges, 13331 markings/sec, 300 secs
lola: 5434015 markings, 11607243 edges, 10930 markings/sec, 305 secs
lola: 5482147 markings, 11737465 edges, 9626 markings/sec, 310 secs
lola: 5533295 markings, 11884022 edges, 10230 markings/sec, 315 secs
lola: 5619684 markings, 12060520 edges, 17278 markings/sec, 320 secs
lola: 5698822 markings, 12247929 edges, 15828 markings/sec, 325 secs
lola: 5775579 markings, 12394659 edges, 15351 markings/sec, 330 secs
lola: 5848128 markings, 12536205 edges, 14510 markings/sec, 335 secs
lola: 5916005 markings, 12674730 edges, 13575 markings/sec, 340 secs
lola: 5974216 markings, 12823498 edges, 11642 markings/sec, 345 secs
lola: 6022431 markings, 12953119 edges, 9643 markings/sec, 350 secs
lola: 6069482 markings, 13086207 edges, 9410 markings/sec, 355 secs
lola: 6151792 markings, 13266711 edges, 16462 markings/sec, 360 secs
lola: 6232210 markings, 13445323 edges, 16084 markings/sec, 365 secs
lola: 6309164 markings, 13606535 edges, 15391 markings/sec, 370 secs
lola: 6383100 markings, 13749559 edges, 14787 markings/sec, 375 secs
lola: 6452098 markings, 13888895 edges, 13800 markings/sec, 380 secs
lola: 6514382 markings, 14037729 edges, 12457 markings/sec, 385 secs
lola: 6562694 markings, 14169223 edges, 9662 markings/sec, 390 secs
lola: 6610110 markings, 14300486 edges, 9483 markings/sec, 395 secs
lola: 6682423 markings, 14471648 edges, 14463 markings/sec, 400 secs
lola: 6761825 markings, 14641376 edges, 15880 markings/sec, 405 secs
lola: 6837055 markings, 14807781 edges, 15046 markings/sec, 410 secs
lola: 6909851 markings, 14949165 edges, 14559 markings/sec, 415 secs
lola: 6978431 markings, 15086530 edges, 13716 markings/sec, 420 secs
lola: 7040502 markings, 15228927 edges, 12414 markings/sec, 425 secs
lola: 7088934 markings, 15365561 edges, 9686 markings/sec, 430 secs
lola: 7136369 markings, 15497520 edges, 9487 markings/sec, 435 secs
lola: 7210896 markings, 15670454 edges, 14905 markings/sec, 440 secs
lola: 7289889 markings, 15841361 edges, 15799 markings/sec, 445 secs
lola: 7364853 markings, 16004796 edges, 14993 markings/sec, 450 secs
lola: 7437209 markings, 16145416 edges, 14471 markings/sec, 455 secs
lola: 7505451 markings, 16282486 edges, 13648 markings/sec, 460 secs
lola: 7566502 markings, 16428998 edges, 12210 markings/sec, 465 secs
lola: 7614625 markings, 16560368 edges, 9625 markings/sec, 470 secs
lola: 7661750 markings, 16692091 edges, 9425 markings/sec, 475 secs
lola: 7737696 markings, 16865963 edges, 15189 markings/sec, 480 secs
lola: 7816348 markings, 17037675 edges, 15730 markings/sec, 485 secs
lola: 7891467 markings, 17199370 edges, 15024 markings/sec, 490 secs
lola: 7963484 markings, 17339344 edges, 14403 markings/sec, 495 secs
lola: 8031274 markings, 17476387 edges, 13558 markings/sec, 500 secs
lola: 8091653 markings, 17624835 edges, 12076 markings/sec, 505 secs
lola: 8139873 markings, 17754117 edges, 9644 markings/sec, 510 secs
lola: 8186946 markings, 17886225 edges, 9415 markings/sec, 515 secs
lola: 8263121 markings, 18059908 edges, 15235 markings/sec, 520 secs
lola: 8340217 markings, 18234660 edges, 15419 markings/sec, 525 secs
lola: 8414298 markings, 18387439 edges, 14816 markings/sec, 530 secs
lola: 8485100 markings, 18526303 edges, 14160 markings/sec, 535 secs
lola: 8551349 markings, 18662274 edges, 13250 markings/sec, 540 secs
lola: 8606955 markings, 18808379 edges, 11121 markings/sec, 545 secs
lola: 8654941 markings, 18938663 edges, 9597 markings/sec, 550 secs
lola: 8710208 markings, 19086039 edges, 11053 markings/sec, 555 secs
lola: 8790729 markings, 19258180 edges, 16104 markings/sec, 560 secs
lola: 8865754 markings, 19433680 edges, 15005 markings/sec, 565 secs
lola: 8938910 markings, 19575147 edges, 14631 markings/sec, 570 secs
lola: 9007947 markings, 19711976 edges, 13807 markings/sec, 575 secs
lola: 9071354 markings, 19848749 edges, 12681 markings/sec, 580 secs
lola: 9121626 markings, 19990855 edges, 10054 markings/sec, 585 secs
lola: 9168982 markings, 20121514 edges, 9471 markings/sec, 590 secs
lola: 9238214 markings, 20289396 edges, 13846 markings/sec, 595 secs
lola: 9316177 markings, 20456607 edges, 15593 markings/sec, 600 secs
lola: 9390290 markings, 20620560 edges, 14823 markings/sec, 605 secs
lola: 9461644 markings, 20759513 edges, 14271 markings/sec, 610 secs
lola: 9528650 markings, 20895271 edges, 13401 markings/sec, 615 secs
lola: 9587720 markings, 21042776 edges, 11814 markings/sec, 620 secs
lola: 9635781 markings, 21172367 edges, 9612 markings/sec, 625 secs
lola: 9682535 markings, 21307069 edges, 9351 markings/sec, 630 secs
lola: 9762761 markings, 21481493 edges, 16045 markings/sec, 635 secs
lola: 9837198 markings, 21658528 edges, 14887 markings/sec, 640 secs
lola: 9910374 markings, 21799569 edges, 14635 markings/sec, 645 secs
lola: 9978868 markings, 21935945 edges, 13699 markings/sec, 650 secs
lola: 10042267 markings, 22072895 edges, 12680 markings/sec, 655 secs
lola: 10092596 markings, 22215315 edges, 10066 markings/sec, 660 secs
lola: 10139950 markings, 22347012 edges, 9471 markings/sec, 665 secs
lola: 10212057 markings, 22516678 edges, 14421 markings/sec, 670 secs
lola: 10287761 markings, 22687314 edges, 15141 markings/sec, 675 secs
lola: 10360667 markings, 22839758 edges, 14581 markings/sec, 680 secs
lola: 10430495 markings, 22977309 edges, 13966 markings/sec, 685 secs
lola: 10495367 markings, 23112453 edges, 12974 markings/sec, 690 secs
lola: 10548873 markings, 23257059 edges, 10701 markings/sec, 695 secs
lola: 10596492 markings, 23387455 edges, 9524 markings/sec, 700 secs
lola: 10660132 markings, 23549999 edges, 12728 markings/sec, 705 secs
lola: 10736915 markings, 23713201 edges, 15357 markings/sec, 710 secs
lola: 10810437 markings, 23878218 edges, 14704 markings/sec, 715 secs
lola: 10880979 markings, 24016537 edges, 14108 markings/sec, 720 secs
lola: 10947552 markings, 24151998 edges, 13315 markings/sec, 725 secs
lola: 11005061 markings, 24298930 edges, 11502 markings/sec, 730 secs
lola: 11052956 markings, 24428633 edges, 9579 markings/sec, 735 secs
lola: 11106422 markings, 24574590 edges, 10693 markings/sec, 740 secs
lola: 11183785 markings, 24741889 edges, 15473 markings/sec, 745 secs
lola: 11256422 markings, 24910891 edges, 14527 markings/sec, 750 secs
lola: 11327558 markings, 25049348 edges, 14227 markings/sec, 755 secs
lola: 11394016 markings, 25184788 edges, 13292 markings/sec, 760 secs
lola: 11452000 markings, 25331430 edges, 11597 markings/sec, 765 secs
lola: 11499870 markings, 25461494 edges, 9574 markings/sec, 770 secs
lola: 11557671 markings, 25610215 edges, 11560 markings/sec, 775 secs
lola: 11633464 markings, 25779051 edges, 15159 markings/sec, 780 secs
lola: 11705796 markings, 25945520 edges, 14466 markings/sec, 785 secs
lola: 11776322 markings, 26083335 edges, 14105 markings/sec, 790 secs
lola: 11842449 markings, 26218377 edges, 13225 markings/sec, 795 secs
lola: 11899075 markings, 26364595 edges, 11325 markings/sec, 800 secs
lola: 11946771 markings, 26494502 edges, 9539 markings/sec, 805 secs
lola: 12005946 markings, 26648511 edges, 11835 markings/sec, 810 secs
lola: 12081199 markings, 26811838 edges, 15051 markings/sec, 815 secs
lola: 12153389 markings, 26976627 edges, 14438 markings/sec, 820 secs
lola: 12223743 markings, 27114338 edges, 14071 markings/sec, 825 secs
lola: 12289497 markings, 27249687 edges, 13151 markings/sec, 830 secs
lola: 12345369 markings, 27395533 edges, 11174 markings/sec, 835 secs
lola: 12392983 markings, 27525584 edges, 9523 markings/sec, 840 secs
lola: 12453012 markings, 27684172 edges, 12006 markings/sec, 845 secs
lola: 12526978 markings, 27843376 edges, 14793 markings/sec, 850 secs
lola: 12598005 markings, 28002187 edges, 14205 markings/sec, 855 secs
lola: 12667080 markings, 28138741 edges, 13815 markings/sec, 860 secs
lola: 12730699 markings, 28273540 edges, 12724 markings/sec, 865 secs
lola: 12782203 markings, 28416598 edges, 10301 markings/sec, 870 secs
lola: 12829329 markings, 28548521 edges, 9425 markings/sec, 875 secs
lola: 12900296 markings, 28715057 edges, 14193 markings/sec, 880 secs
lola: 12971964 markings, 28887407 edges, 14334 markings/sec, 885 secs
lola: 13043032 markings, 29025553 edges, 14214 markings/sec, 890 secs
lola: 13109919 markings, 29160296 edges, 13377 markings/sec, 895 secs
lola: 13170696 markings, 29301507 edges, 12155 markings/sec, 900 secs
lola: 13218287 markings, 29436341 edges, 9518 markings/sec, 905 secs
lola: 13270396 markings, 29580930 edges, 10422 markings/sec, 910 secs
lola: 13345960 markings, 29744840 edges, 15113 markings/sec, 915 secs
lola: 13417095 markings, 29909853 edges, 14227 markings/sec, 920 secs
lola: 13486895 markings, 30046751 edges, 13960 markings/sec, 925 secs
lola: 13551783 markings, 30180999 edges, 12978 markings/sec, 930 secs
lola: 13606641 markings, 30325796 edges, 10972 markings/sec, 935 secs
lola: 13653923 markings, 30455799 edges, 9456 markings/sec, 940 secs
lola: 13716605 markings, 30615437 edges, 12536 markings/sec, 945 secs
lola: 13788202 markings, 30777830 edges, 14319 markings/sec, 950 secs
lola: 13858210 markings, 30925660 edges, 14002 markings/sec, 955 secs
lola: 13925022 markings, 31059920 edges, 13362 markings/sec, 960 secs
lola: 13985894 markings, 31199090 edges, 12174 markings/sec, 965 secs
lola: 14033471 markings, 31335789 edges, 9515 markings/sec, 970 secs
lola: 14088091 markings, 31480620 edges, 10924 markings/sec, 975 secs
lola: 14160760 markings, 31643803 edges, 14534 markings/sec, 980 secs
lola: 14230838 markings, 31803603 edges, 14016 markings/sec, 985 secs
lola: 14298721 markings, 31938720 edges, 13577 markings/sec, 990 secs
lola: 14361792 markings, 32072580 edges, 12614 markings/sec, 995 secs
lola: 14412490 markings, 32215003 edges, 10140 markings/sec, 1000 secs
lola: 14459129 markings, 32348092 edges, 9328 markings/sec, 1005 secs
lola: 14532199 markings, 32513984 edges, 14614 markings/sec, 1010 secs
lola: 14602495 markings, 32680235 edges, 14059 markings/sec, 1015 secs
lola: 14671607 markings, 32816358 edges, 13822 markings/sec, 1020 secs
lola: 14736464 markings, 32949613 edges, 12971 markings/sec, 1025 secs
lola: 14791258 markings, 33094033 edges, 10959 markings/sec, 1030 secs
lola: 14838336 markings, 33224159 edges, 9416 markings/sec, 1035 secs
lola: 14901913 markings, 33383604 edges, 12715 markings/sec, 1040 secs
lola: 14971250 markings, 33551459 edges, 13867 markings/sec, 1045 secs
lola: 15040170 markings, 33686777 edges, 13784 markings/sec, 1050 secs
lola: 15105369 markings, 33819890 edges, 13040 markings/sec, 1055 secs
lola: 15161409 markings, 33964397 edges, 11208 markings/sec, 1060 secs
lola: 15208569 markings, 34094647 edges, 9432 markings/sec, 1065 secs
lola: 15272203 markings, 34254106 edges, 12727 markings/sec, 1070 secs
lola: 15341402 markings, 34421563 edges, 13840 markings/sec, 1075 secs
lola: 15410396 markings, 34557173 edges, 13799 markings/sec, 1080 secs
lola: 15475485 markings, 34689922 edges, 13018 markings/sec, 1085 secs
lola: 15531359 markings, 34834199 edges, 11175 markings/sec, 1090 secs
lola: 15578420 markings, 34964208 edges, 9412 markings/sec, 1095 secs
lola: 15641922 markings, 35123372 edges, 12700 markings/sec, 1100 secs
lola: 15710960 markings, 35290725 edges, 13808 markings/sec, 1105 secs
lola: 15779937 markings, 35425972 edges, 13795 markings/sec, 1110 secs
lola: 15844937 markings, 35558926 edges, 13000 markings/sec, 1115 secs
lola: 15900982 markings, 35703091 edges, 11209 markings/sec, 1120 secs
lola: 15947994 markings, 35833076 edges, 9402 markings/sec, 1125 secs
lola: 16010210 markings, 35990570 edges, 12443 markings/sec, 1130 secs
lola: 16077895 markings, 36154921 edges, 13537 markings/sec, 1135 secs
lola: 16146091 markings, 36289281 edges, 13639 markings/sec, 1140 secs
lola: 16209662 markings, 36421603 edges, 12714 markings/sec, 1145 secs
lola: 16262605 markings, 36564206 edges, 10589 markings/sec, 1150 secs
lola: 16309126 markings, 36696802 edges, 9304 markings/sec, 1155 secs
lola: 16378612 markings, 36858200 edges, 13897 markings/sec, 1160 secs
lola: 16446014 markings, 37017609 edges, 13480 markings/sec, 1165 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 1 1 5 unknown unknown 5 1 unknown 2 4 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 1 1 5 unknown unknown 5 1 unknown 2 4 1
lola:
preliminary result: 1 1 unknown unknown 1 1 1 5 unknown unknown 5 1 unknown 2 4 1
lola: memory consumption: 1232152 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 1 1 1 5 unknown unknown 5 1 unknown 2 4 1
lola: memory consumption: 1232404 KB
lola: time consumption: 3570 seconds

BK_STOP 1554069960549

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-COL-S05J40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is PolyORBNT-COL-S05J40, 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 r132-oct2-155403939100007"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S05J40.tgz
mv PolyORBNT-COL-S05J40 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;