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 732K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K 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.7K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K 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.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 566K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is JoinFreeModules-PT-0100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r100-smll-152658630900268
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526831892591

info: Time: 3600 - MCC
===========================================================================================
prep: translating JoinFreeModules-PT-0100 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating JoinFreeModules-PT-0100 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ JoinFreeModules-PT-0100 @ 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: 1302/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16032
lola: finding significant places
lola: 501 places, 801 transitions, 400 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 901 transition conflict sets
lola: TASK
lola: reading formula from JoinFreeModules-PT-0100-UpperBounds.task
lola: MAX(p2) : MAX(p375) : MAX(p114) : MAX(p36) : MAX(p161) : MAX(p111) : MAX(p285) : MAX(p40) : MAX(p321) : MAX(p130) : MAX(p318) : MAX(p355) : MAX(p419) : MAX(p242) : MAX(p390) : MAX(p244)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2)
lola: processed formula length: 7
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 292319 markings, 830315 edges, 58464 markings/sec, 0 secs
lola: 526832 markings, 1655767 edges, 46903 markings/sec, 5 secs
lola: 757140 markings, 2476929 edges, 46062 markings/sec, 10 secs
lola: 983851 markings, 3291238 edges, 45342 markings/sec, 15 secs
lola: 1206323 markings, 4099612 edges, 44494 markings/sec, 20 secs
lola: 1424631 markings, 4903205 edges, 43662 markings/sec, 25 secs
lola: 1639688 markings, 5705156 edges, 43011 markings/sec, 30 secs
lola: 1853367 markings, 6502611 edges, 42736 markings/sec, 35 secs
lola: 2064893 markings, 7299821 edges, 42305 markings/sec, 40 secs
lola: 2274821 markings, 8092931 edges, 41986 markings/sec, 45 secs
lola: 2484316 markings, 8883494 edges, 41899 markings/sec, 50 secs
lola: 2692175 markings, 9673553 edges, 41572 markings/sec, 55 secs
lola: 2900098 markings, 10465191 edges, 41585 markings/sec, 60 secs
lola: 3107157 markings, 11254191 edges, 41412 markings/sec, 65 secs
lola: 3310407 markings, 12042026 edges, 40650 markings/sec, 70 secs
lola: 3508506 markings, 12828744 edges, 39620 markings/sec, 75 secs
lola: 3694996 markings, 13557505 edges, 37298 markings/sec, 80 secs
lola: 3891926 markings, 14330495 edges, 39386 markings/sec, 85 secs
lola: 4087712 markings, 15112505 edges, 39157 markings/sec, 90 secs
lola: 4281295 markings, 15901346 edges, 38717 markings/sec, 95 secs
lola: 4479949 markings, 16698089 edges, 39731 markings/sec, 100 secs
lola: 4681672 markings, 17508255 edges, 40345 markings/sec, 105 secs
lola: 4873839 markings, 18348639 edges, 38433 markings/sec, 110 secs
lola: 4982014 markings, 19167805 edges, 21635 markings/sec, 115 secs
lola: 4982915 markings, 19945222 edges, 180 markings/sec, 120 secs
lola: 4983736 markings, 20693733 edges, 164 markings/sec, 125 secs
lola: 4987945 markings, 21419936 edges, 842 markings/sec, 130 secs
lola: 4991683 markings, 22137728 edges, 748 markings/sec, 135 secs
lola: 4993622 markings, 22849821 edges, 388 markings/sec, 140 secs
lola: 4994876 markings, 23555473 edges, 251 markings/sec, 145 secs
lola: 4996193 markings, 24260088 edges, 263 markings/sec, 150 secs
lola: 4997183 markings, 24966855 edges, 198 markings/sec, 155 secs
lola: 4998018 markings, 25673985 edges, 167 markings/sec, 160 secs
lola: 4998414 markings, 26386289 edges, 79 markings/sec, 165 secs
lola: 4998502 markings, 27106456 edges, 18 markings/sec, 170 secs
lola: 4998509 markings, 27805446 edges, 1 markings/sec, 175 secs
lola: 4998509 markings, 28583906 edges, 0 markings/sec, 180 secs
lola: 5001130 markings, 29383272 edges, 524 markings/sec, 185 secs
lola: 5259975 markings, 30174886 edges, 51769 markings/sec, 190 secs
lola: 5475282 markings, 30930067 edges, 43061 markings/sec, 195 secs
lola: 5683959 markings, 31671594 edges, 41735 markings/sec, 200 secs
lola: 5875663 markings, 32357922 edges, 38341 markings/sec, 205 secs
lola: 6071144 markings, 33063909 edges, 39096 markings/sec, 210 secs
lola: 6263010 markings, 33763891 edges, 38373 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1957276 KB
lola: time consumption: 227 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p375)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p375)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 248304 markings, 757921 edges, 49661 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges

FORMULA JoinFreeModules-PT-0100-UpperBounds-1 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p114)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: ========================================
lola: Structural Bound: 103
lola: 155237 markings, 480921 edges, 31047 markings/sec, 0 secs
lola: 401047 markings, 1313889 edges, 49162 markings/sec, 5 secs
lola: 633464 markings, 2125500 edges, 46483 markings/sec, 10 secs
lola: 858592 markings, 2923594 edges, 45026 markings/sec, 15 secs
lola: 1080485 markings, 3716122 edges, 44379 markings/sec, 20 secs
lola: 1292679 markings, 4479517 edges, 42439 markings/sec, 25 secs
lola: 1507488 markings, 5256061 edges, 42962 markings/sec, 30 secs
lola: 1721723 markings, 6031916 edges, 42847 markings/sec, 35 secs
lola: 1935372 markings, 6814251 edges, 42730 markings/sec, 40 secs
lola: 2149603 markings, 7595670 edges, 42846 markings/sec, 45 secs
lola: 2360792 markings, 8366554 edges, 42238 markings/sec, 50 secs
lola: 2568912 markings, 9134636 edges, 41624 markings/sec, 55 secs
lola: 2772493 markings, 9898709 edges, 40716 markings/sec, 60 secs
lola: 2976466 markings, 10664800 edges, 40795 markings/sec, 65 secs
lola: 3178779 markings, 11433412 edges, 40463 markings/sec, 70 secs
lola: 3371128 markings, 12165753 edges, 38470 markings/sec, 75 secs
lola: 3554180 markings, 12867554 edges, 36610 markings/sec, 80 secs
lola: 3757156 markings, 13641506 edges, 40595 markings/sec, 85 secs
lola: 3957295 markings, 14414815 edges, 40028 markings/sec, 90 secs
lola: 4157951 markings, 15191011 edges, 40131 markings/sec, 95 secs
lola: 4360191 markings, 15974978 edges, 40448 markings/sec, 100 secs
lola: 4563541 markings, 16767295 edges, 40670 markings/sec, 105 secs
lola: 4766790 markings, 17562967 edges, 40650 markings/sec, 110 secs
lola: 4970421 markings, 18366157 edges, 40726 markings/sec, 115 secs
lola: 5201879 markings, 19198079 edges, 46292 markings/sec, 120 secs
lola: 5449102 markings, 20025384 edges, 49445 markings/sec, 125 secs
lola: 5680233 markings, 20826545 edges, 46226 markings/sec, 130 secs
lola: 5903718 markings, 21618144 edges, 44697 markings/sec, 135 secs
lola: 6125639 markings, 22406502 edges, 44384 markings/sec, 140 secs
lola: 6345416 markings, 23192635 edges, 43955 markings/sec, 145 secs
lola: 6562761 markings, 23978169 edges, 43469 markings/sec, 150 secs
lola: 6779438 markings, 24763128 edges, 43335 markings/sec, 155 secs
lola: 6992631 markings, 25544966 edges, 42639 markings/sec, 160 secs
lola: 7206064 markings, 26325298 edges, 42687 markings/sec, 165 secs
lola: 7418273 markings, 27103503 edges, 42442 markings/sec, 170 secs
lola: 7631673 markings, 27881881 edges, 42680 markings/sec, 175 secs
lola: 7840032 markings, 28658330 edges, 41672 markings/sec, 180 secs
lola: 8047035 markings, 29435570 edges, 41401 markings/sec, 185 secs
lola: 8251768 markings, 30213015 edges, 40947 markings/sec, 190 secs
lola: 8454403 markings, 30991054 edges, 40527 markings/sec, 195 secs
lola: 8658862 markings, 31768993 edges, 40892 markings/sec, 200 secs
lola: 8861209 markings, 32547449 edges, 40469 markings/sec, 205 secs
lola: 9063617 markings, 33326322 edges, 40482 markings/sec, 210 secs
lola: 9265381 markings, 34105665 edges, 40353 markings/sec, 215 secs
lola: 9467042 markings, 34886240 edges, 40332 markings/sec, 220 secs
lola: 9667404 markings, 35668107 edges, 40072 markings/sec, 225 secs
lola: 9868269 markings, 36454732 edges, 40173 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3098268 KB
lola: time consumption: 475 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p36)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 325289 markings, 796907 edges, 65058 markings/sec, 0 secs
lola: 591135 markings, 1593507 edges, 53169 markings/sec, 5 secs
lola: 846882 markings, 2416127 edges, 51149 markings/sec, 10 secs
lola: 1088642 markings, 3231003 edges, 48352 markings/sec, 15 secs
lola: 1326100 markings, 4043898 edges, 47492 markings/sec, 20 secs
lola: 1557355 markings, 4851359 edges, 46251 markings/sec, 25 secs
lola: 1784391 markings, 5657204 edges, 45407 markings/sec, 30 secs
lola: 2007808 markings, 6464818 edges, 44683 markings/sec, 35 secs
lola: 2228692 markings, 7272088 edges, 44177 markings/sec, 40 secs
lola: 2450344 markings, 8082629 edges, 44330 markings/sec, 45 secs
lola: 2664519 markings, 8885642 edges, 42835 markings/sec, 50 secs
lola: 2881514 markings, 9685631 edges, 43399 markings/sec, 55 secs
lola: 3096598 markings, 10490677 edges, 43017 markings/sec, 60 secs
lola: 3313657 markings, 11294461 edges, 43412 markings/sec, 65 secs
lola: 3522899 markings, 12109470 edges, 41848 markings/sec, 70 secs
lola: 3735084 markings, 12925487 edges, 42437 markings/sec, 75 secs
lola: 3926644 markings, 13750857 edges, 38312 markings/sec, 80 secs
lola: 4102008 markings, 14552728 edges, 35073 markings/sec, 85 secs
lola: 4201991 markings, 15360785 edges, 19997 markings/sec, 90 secs
lola: 4317325 markings, 16158395 edges, 23067 markings/sec, 95 secs
lola: 4407635 markings, 16944342 edges, 18062 markings/sec, 100 secs
lola: 4504663 markings, 17731324 edges, 19406 markings/sec, 105 secs
lola: 4592895 markings, 18507831 edges, 17646 markings/sec, 110 secs
lola: 4676466 markings, 19282371 edges, 16714 markings/sec, 115 secs
lola: 4743253 markings, 20053698 edges, 13357 markings/sec, 120 secs
lola: 4804234 markings, 20827022 edges, 12196 markings/sec, 125 secs
lola: 4843547 markings, 21607768 edges, 7863 markings/sec, 130 secs
lola: 4982168 markings, 22442394 edges, 27724 markings/sec, 135 secs
lola: 5289031 markings, 23275767 edges, 61373 markings/sec, 140 secs
lola: 5553378 markings, 24093400 edges, 52869 markings/sec, 145 secs
lola: 5798772 markings, 24897102 edges, 49079 markings/sec, 150 secs
lola: 6031567 markings, 25687832 edges, 46559 markings/sec, 155 secs
lola: 6258012 markings, 26469257 edges, 45289 markings/sec, 160 secs
lola: 6480633 markings, 27249784 edges, 44524 markings/sec, 165 secs
lola: 6700110 markings, 28034516 edges, 43895 markings/sec, 170 secs
lola: 6915921 markings, 28819749 edges, 43162 markings/sec, 175 secs
lola: 7130776 markings, 29602186 edges, 42971 markings/sec, 180 secs
lola: 7343802 markings, 30383737 edges, 42605 markings/sec, 185 secs
lola: 7551268 markings, 31159250 edges, 41493 markings/sec, 190 secs
lola: 7760472 markings, 31933615 edges, 41841 markings/sec, 195 secs
lola: 7965181 markings, 32700449 edges, 40942 markings/sec, 200 secs
lola: 8172408 markings, 33466359 edges, 41445 markings/sec, 205 secs
lola: 8372699 markings, 34243504 edges, 40058 markings/sec, 210 secs
lola: 8574656 markings, 35020680 edges, 40391 markings/sec, 215 secs
lola: 8760840 markings, 35806275 edges, 37237 markings/sec, 220 secs
lola: 8925556 markings, 36573137 edges, 32943 markings/sec, 225 secs
lola: 9056423 markings, 37337984 edges, 26173 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1213036 KB
lola: time consumption: 713 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p161)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 324803 markings, 795301 edges, 64961 markings/sec, 0 secs
lola: 599142 markings, 1619301 edges, 54868 markings/sec, 5 secs
lola: 853652 markings, 2438522 edges, 50902 markings/sec, 10 secs
lola: 1095763 markings, 3254135 edges, 48422 markings/sec, 15 secs
lola: 1333166 markings, 4068866 edges, 47481 markings/sec, 20 secs
lola: 1565508 markings, 4879832 edges, 46468 markings/sec, 25 secs
lola: 1794113 markings, 5692751 edges, 45721 markings/sec, 30 secs
lola: 2019621 markings, 6508740 edges, 45102 markings/sec, 35 secs
lola: 2243798 markings, 7327624 edges, 44835 markings/sec, 40 secs
lola: 2468105 markings, 8149609 edges, 44861 markings/sec, 45 secs
lola: 2689721 markings, 8977106 edges, 44323 markings/sec, 50 secs
lola: 2912600 markings, 9803091 edges, 44576 markings/sec, 55 secs
lola: 3133558 markings, 10627210 edges, 44192 markings/sec, 60 secs
lola: 3355358 markings, 11454771 edges, 44360 markings/sec, 65 secs
lola: 3572074 markings, 12294140 edges, 43343 markings/sec, 70 secs
lola: 3792352 markings, 13149161 edges, 44056 markings/sec, 75 secs
lola: 3978194 markings, 14005338 edges, 37168 markings/sec, 80 secs
lola: 4169567 markings, 14840802 edges, 38275 markings/sec, 85 secs
lola: 4246656 markings, 15666922 edges, 15418 markings/sec, 90 secs
lola: 4353191 markings, 16488000 edges, 21307 markings/sec, 95 secs
lola: 4458341 markings, 17306910 edges, 21030 markings/sec, 100 secs
lola: 4548501 markings, 18116210 edges, 18032 markings/sec, 105 secs
lola: 4638130 markings, 18921779 edges, 17926 markings/sec, 110 secs
lola: 4717750 markings, 19726783 edges, 15924 markings/sec, 115 secs
lola: 4777895 markings, 20529443 edges, 12029 markings/sec, 120 secs
lola: 4829999 markings, 21333575 edges, 10421 markings/sec, 125 secs
lola: 4859520 markings, 22153510 edges, 5904 markings/sec, 130 secs
lola: 5186889 markings, 22978633 edges, 65474 markings/sec, 135 secs
lola: 5455185 markings, 23782777 edges, 53659 markings/sec, 140 secs
lola: 5703201 markings, 24580528 edges, 49603 markings/sec, 145 secs
lola: 5939171 markings, 25376031 edges, 47194 markings/sec, 150 secs
lola: 6171194 markings, 26168390 edges, 46405 markings/sec, 155 secs
lola: 6398229 markings, 26961837 edges, 45407 markings/sec, 160 secs
lola: 6622695 markings, 27756785 edges, 44893 markings/sec, 165 secs
lola: 6844552 markings, 28557437 edges, 44371 markings/sec, 170 secs
lola: 7065473 markings, 29362355 edges, 44184 markings/sec, 175 secs
lola: 7286938 markings, 30171267 edges, 44293 markings/sec, 180 secs
lola: 7504554 markings, 30988834 edges, 43523 markings/sec, 185 secs
lola: 7726542 markings, 31806129 edges, 44398 markings/sec, 190 secs
lola: 7946118 markings, 32628265 edges, 43915 markings/sec, 195 secs
lola: 8168110 markings, 33450291 edges, 44398 markings/sec, 200 secs
lola: 8381594 markings, 34279710 edges, 42697 markings/sec, 205 secs
lola: 8599276 markings, 35117236 edges, 43536 markings/sec, 210 secs
lola: 8794619 markings, 35965040 edges, 39069 markings/sec, 215 secs
lola: 8977007 markings, 36792268 edges, 36478 markings/sec, 220 secs
lola: 9078138 markings, 37613496 edges, 20226 markings/sec, 225 secs
lola: 9294336 markings, 38442024 edges, 43240 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2294000 KB
lola: time consumption: 952 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p111)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p111)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 320742 markings, 783986 edges, 64148 markings/sec, 0 secs
lola: 595444 markings, 1606694 edges, 54940 markings/sec, 5 secs
lola: 848969 markings, 2423112 edges, 50705 markings/sec, 10 secs
lola: 1080469 markings, 3203841 edges, 46300 markings/sec, 15 secs
lola: 1319211 markings, 4020542 edges, 47748 markings/sec, 20 secs
lola: 1552716 markings, 4835511 edges, 46701 markings/sec, 25 secs
lola: 1782508 markings, 5650662 edges, 45958 markings/sec, 30 secs
lola: 1993292 markings, 6412386 edges, 42157 markings/sec, 35 secs
lola: 2219176 markings, 7236105 edges, 45177 markings/sec, 40 secs
lola: 2444818 markings, 8061572 edges, 45128 markings/sec, 45 secs
lola: 2666484 markings, 8892664 edges, 44333 markings/sec, 50 secs
lola: 2890982 markings, 9721868 edges, 44900 markings/sec, 55 secs
lola: 3112847 markings, 10552054 edges, 44373 markings/sec, 60 secs
lola: 3336727 markings, 11384473 edges, 44776 markings/sec, 65 secs
lola: 3551965 markings, 12219447 edges, 43048 markings/sec, 70 secs
lola: 3741649 markings, 12950296 edges, 37937 markings/sec, 75 secs
lola: 3930988 markings, 13774464 edges, 37868 markings/sec, 80 secs
lola: 4100042 markings, 14544294 edges, 33811 markings/sec, 85 secs
lola: 4201983 markings, 15359086 edges, 20388 markings/sec, 90 secs
lola: 4318592 markings, 16184887 edges, 23322 markings/sec, 95 secs
lola: 4418886 markings, 17001459 edges, 20059 markings/sec, 100 secs
lola: 4516511 markings, 17815695 edges, 19525 markings/sec, 105 secs
lola: 4606005 markings, 18622054 edges, 17899 markings/sec, 110 secs
lola: 4691938 markings, 19423201 edges, 17187 markings/sec, 115 secs
lola: 4755236 markings, 20178432 edges, 12660 markings/sec, 120 secs
lola: 4809349 markings, 20980586 edges, 10823 markings/sec, 125 secs
lola: 4849267 markings, 21786096 edges, 7984 markings/sec, 130 secs
lola: 5053111 markings, 22616683 edges, 40769 markings/sec, 135 secs
lola: 5337152 markings, 23419137 edges, 56808 markings/sec, 140 secs
lola: 5590577 markings, 24212815 edges, 50685 markings/sec, 145 secs
lola: 5830888 markings, 25005517 edges, 48062 markings/sec, 150 secs
lola: 6063046 markings, 25796241 edges, 46432 markings/sec, 155 secs
lola: 6275606 markings, 26532212 edges, 42512 markings/sec, 160 secs
lola: 6503485 markings, 27329952 edges, 45576 markings/sec, 165 secs
lola: 6722581 markings, 28114526 edges, 43819 markings/sec, 170 secs
lola: 6940644 markings, 28907307 edges, 43613 markings/sec, 175 secs
lola: 7159850 markings, 29705404 edges, 43841 markings/sec, 180 secs
lola: 7376329 markings, 30509453 edges, 43296 markings/sec, 185 secs
lola: 7588306 markings, 31296492 edges, 42395 markings/sec, 190 secs
lola: 7793217 markings, 32056302 edges, 40982 markings/sec, 195 secs
lola: 8009335 markings, 32862477 edges, 43224 markings/sec, 200 secs
lola: 8223564 markings, 33660939 edges, 42846 markings/sec, 205 secs
lola: 8416873 markings, 34413549 edges, 38662 markings/sec, 210 secs
lola: 8615438 markings, 35181704 edges, 39713 markings/sec, 215 secs
lola: 8808343 markings, 36027696 edges, 38581 markings/sec, 220 secs
lola: 8989085 markings, 36842581 edges, 36148 markings/sec, 225 secs
lola: 9074321 markings, 37597958 edges, 17047 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2499740 KB
lola: time consumption: 1190 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p285)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p285)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 262328 markings, 802971 edges, 52466 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges

FORMULA JoinFreeModules-PT-0100-UpperBounds-6 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 263 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p40)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 262107 markings, 802122 edges, 52421 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0100-UpperBounds-7 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p321)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 338164 markings, 833143 edges, 67633 markings/sec, 0 secs
lola: 615471 markings, 1669955 edges, 55461 markings/sec, 5 secs
lola: 872780 markings, 2501975 edges, 51462 markings/sec, 10 secs
lola: 1118489 markings, 3329589 edges, 49142 markings/sec, 15 secs
lola: 1358307 markings, 4155650 edges, 47964 markings/sec, 20 secs
lola: 1594048 markings, 4980848 edges, 47148 markings/sec, 25 secs
lola: 1826468 markings, 5807294 edges, 46484 markings/sec, 30 secs
lola: 2054116 markings, 6636698 edges, 45530 markings/sec, 35 secs
lola: 2282165 markings, 7466625 edges, 45610 markings/sec, 40 secs
lola: 2507954 markings, 8302338 edges, 45158 markings/sec, 45 secs
lola: 2733081 markings, 9138016 edges, 45025 markings/sec, 50 secs
lola: 2958797 markings, 9977038 edges, 45143 markings/sec, 55 secs
lola: 3182000 markings, 10814088 edges, 44641 markings/sec, 60 secs
lola: 3410832 markings, 11656906 edges, 45766 markings/sec, 65 secs
lola: 3627692 markings, 12510480 edges, 43372 markings/sec, 70 secs
lola: 3846504 markings, 13380572 edges, 43762 markings/sec, 75 secs
lola: 4027930 markings, 14238849 edges, 36285 markings/sec, 80 secs
lola: 4190729 markings, 15033862 edges, 32560 markings/sec, 85 secs
lola: 4263028 markings, 15835292 edges, 14460 markings/sec, 90 secs
lola: 4366430 markings, 16644035 edges, 20680 markings/sec, 95 secs
lola: 4467416 markings, 17439094 edges, 20197 markings/sec, 100 secs
lola: 4564715 markings, 18239909 edges, 19460 markings/sec, 105 secs
lola: 4654970 markings, 19046627 edges, 18051 markings/sec, 110 secs
lola: 4726666 markings, 19848893 edges, 14339 markings/sec, 115 secs
lola: 4782861 markings, 20618798 edges, 11239 markings/sec, 120 secs
lola: 4831609 markings, 21390086 edges, 9750 markings/sec, 125 secs
lola: 4885840 markings, 22228744 edges, 10846 markings/sec, 130 secs
lola: 5204414 markings, 23028149 edges, 63715 markings/sec, 135 secs
lola: 5454097 markings, 23779366 edges, 49937 markings/sec, 140 secs
lola: 5699618 markings, 24567498 edges, 49104 markings/sec, 145 secs
lola: 5933182 markings, 25355956 edges, 46713 markings/sec, 150 secs
lola: 6162687 markings, 26139696 edges, 45901 markings/sec, 155 secs
lola: 6386192 markings, 26920278 edges, 44701 markings/sec, 160 secs
lola: 6613977 markings, 27725639 edges, 45557 markings/sec, 165 secs
lola: 6838486 markings, 28536663 edges, 44902 markings/sec, 170 secs
lola: 7058078 markings, 29334864 edges, 43918 markings/sec, 175 secs
lola: 7269249 markings, 30105627 edges, 42234 markings/sec, 180 secs
lola: 7488401 markings, 30927557 edges, 43830 markings/sec, 185 secs
lola: 7710424 markings, 31747080 edges, 44405 markings/sec, 190 secs
lola: 7915828 markings, 32516675 edges, 41081 markings/sec, 195 secs
lola: 8134817 markings, 33326158 edges, 43798 markings/sec, 200 secs
lola: 8346423 markings, 34138230 edges, 42321 markings/sec, 205 secs
lola: 8545692 markings, 34912367 edges, 39854 markings/sec, 210 secs
lola: 8750118 markings, 35761038 edges, 40885 markings/sec, 215 secs
lola: 8927554 markings, 36581545 edges, 35487 markings/sec, 220 secs
lola: 9060081 markings, 37410337 edges, 26505 markings/sec, 225 secs
lola: 9179761 markings, 38180040 edges, 23936 markings/sec, 230 secs
lola: 9502866 markings, 39006647 edges, 64621 markings/sec, 235 secs
lola: 9772364 markings, 39827334 edges, 53900 markings/sec, 240 secs
lola: 10022507 markings, 40639897 edges, 50029 markings/sec, 245 secs
lola: 10264618 markings, 41457573 edges, 48422 markings/sec, 250 secs
lola: 10497731 markings, 42260384 edges, 46623 markings/sec, 255 secs
lola: 10726356 markings, 43061387 edges, 45725 markings/sec, 260 secs
lola: 10937626 markings, 43812565 edges, 42254 markings/sec, 265 secs
lola: 11164933 markings, 44637168 edges, 45461 markings/sec, 270 secs
lola: 11384936 markings, 45439324 edges, 44001 markings/sec, 275 secs
lola: 11600080 markings, 46228883 edges, 43029 markings/sec, 280 secs
lola: 11821643 markings, 47056386 edges, 44313 markings/sec, 285 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1770556 KB
lola: time consumption: 1503 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p130)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 257752 markings, 788060 edges, 51550 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges

FORMULA JoinFreeModules-PT-0100-UpperBounds-9 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola: subprocess 10 will run for 342 seconds at most (--localtimelimit=0)

lola: ========================================
lola: ...considering subproblem: MAX(p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p318)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 384786 markings, 760739 edges, 76957 markings/sec, 0 secs
lola: 649121 markings, 1619807 edges, 52867 markings/sec, 5 secs
lola: 907241 markings, 2477112 edges, 51624 markings/sec, 10 secs
lola: 1158788 markings, 3333128 edges, 50309 markings/sec, 15 secs
lola: 1431590 markings, 4186147 edges, 54560 markings/sec, 20 secs
lola: 1758091 markings, 5011802 edges, 65300 markings/sec, 25 secs
lola: 2104343 markings, 5823317 edges, 69250 markings/sec, 30 secs
lola: 2416200 markings, 6639364 edges, 62371 markings/sec, 35 secs
lola: 2464218 markings, 7462505 edges, 9604 markings/sec, 40 secs
lola: 2539264 markings, 8285959 edges, 15009 markings/sec, 45 secs
lola: 2874588 markings, 9129243 edges, 67065 markings/sec, 50 secs
lola: 3162175 markings, 9971689 edges, 57517 markings/sec, 55 secs
lola: 3416465 markings, 10809562 edges, 50858 markings/sec, 60 secs
lola: 3665895 markings, 11647454 edges, 49886 markings/sec, 65 secs
lola: 3916148 markings, 12486740 edges, 50051 markings/sec, 70 secs
lola: 4217856 markings, 13304066 edges, 60342 markings/sec, 75 secs
lola: 4549231 markings, 14106333 edges, 66275 markings/sec, 80 secs
lola: 4900608 markings, 14907482 edges, 70275 markings/sec, 85 secs
lola: 5198342 markings, 15722117 edges, 59547 markings/sec, 90 secs
lola: 5539835 markings, 16564938 edges, 68299 markings/sec, 95 secs
lola: 5798285 markings, 17411853 edges, 51690 markings/sec, 100 secs
lola: 6050090 markings, 18258016 edges, 50361 markings/sec, 105 secs
lola: 6298393 markings, 19104809 edges, 49661 markings/sec, 110 secs
lola: 6586916 markings, 19927502 edges, 57705 markings/sec, 115 secs
lola: 6914129 markings, 20731836 edges, 65443 markings/sec, 120 secs
lola: 7262007 markings, 21536124 edges, 69576 markings/sec, 125 secs
lola: 7535079 markings, 22336821 edges, 54614 markings/sec, 130 secs
lola: 7920765 markings, 23161500 edges, 77137 markings/sec, 135 secs
lola: 8176797 markings, 23993837 edges, 51206 markings/sec, 140 secs
lola: 8424342 markings, 24819160 edges, 49509 markings/sec, 145 secs
lola: 8666963 markings, 25645563 edges, 48524 markings/sec, 150 secs
lola: 8930374 markings, 26467218 edges, 52682 markings/sec, 155 secs
lola: 9247842 markings, 27272154 edges, 63494 markings/sec, 160 secs
lola: 9589616 markings, 28072987 edges, 68355 markings/sec, 165 secs
lola: 9907775 markings, 28869454 edges, 63632 markings/sec, 170 secs
lola: 9962623 markings, 29660821 edges, 10970 markings/sec, 175 secs
lola: 10021624 markings, 30444238 edges, 11800 markings/sec, 180 secs
lola: 10293039 markings, 31266094 edges, 54283 markings/sec, 185 secs
lola: 10611350 markings, 32087510 edges, 63662 markings/sec, 190 secs
lola: 10859236 markings, 32907842 edges, 49577 markings/sec, 195 secs
lola: 11104419 markings, 33725418 edges, 49037 markings/sec, 200 secs
lola: 11345089 markings, 34544822 edges, 48134 markings/sec, 205 secs
lola: 11629760 markings, 35351229 edges, 56934 markings/sec, 210 secs
lola: 11937056 markings, 36124410 edges, 61459 markings/sec, 215 secs
lola: 12269072 markings, 36895951 edges, 66403 markings/sec, 220 secs
lola: 12545088 markings, 37700047 edges, 55203 markings/sec, 225 secs
lola: 12944533 markings, 38543367 edges, 79889 markings/sec, 230 secs
lola: 13206367 markings, 39394403 edges, 52367 markings/sec, 235 secs
lola: 13461902 markings, 40243768 edges, 51107 markings/sec, 240 secs
lola: 13711072 markings, 41091729 edges, 49834 markings/sec, 245 secs
lola: 13981217 markings, 41936907 edges, 54029 markings/sec, 250 secs
lola: 14303775 markings, 42755991 edges, 64512 markings/sec, 255 secs
lola: 14647081 markings, 43559749 edges, 68661 markings/sec, 260 secs
lola: 14965051 markings, 44369217 edges, 63594 markings/sec, 265 secs
lola: 15342474 markings, 45200670 edges, 75485 markings/sec, 270 secs
lola: 15606175 markings, 46049895 edges, 52740 markings/sec, 275 secs
lola: 15861717 markings, 46895769 edges, 51108 markings/sec, 280 secs
lola: 16111607 markings, 47741009 edges, 49978 markings/sec, 285 secs
lola: 16368690 markings, 48583660 edges, 51417 markings/sec, 290 secs
lola: 16683680 markings, 49401939 edges, 62998 markings/sec, 295 secs
lola: 17022888 markings, 50202831 edges, 67842 markings/sec, 300 secs
lola: 17377383 markings, 51007767 edges, 70899 markings/sec, 305 secs
lola: 17459954 markings, 51810488 edges, 16514 markings/sec, 310 secs
lola: 17508530 markings, 52618875 edges, 9715 markings/sec, 315 secs
lola: 17738509 markings, 53452496 edges, 45996 markings/sec, 320 secs
lola: 18085655 markings, 54286438 edges, 69429 markings/sec, 325 secs
lola: 18336941 markings, 55121422 edges, 50257 markings/sec, 330 secs
lola: 18588657 markings, 55957145 edges, 50343 markings/sec, 335 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2704116 KB
lola: time consumption: 1855 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p355)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 265296 markings, 812615 edges, 53059 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0100-UpperBounds-11 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p419)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 259969 markings, 829746 edges, 51994 markings/sec, 0 secs
lola: 498362 markings, 1651489 edges, 47679 markings/sec, 5 secs
lola: 728189 markings, 2462847 edges, 45965 markings/sec, 10 secs
lola: 954957 markings, 3266379 edges, 45354 markings/sec, 15 secs
lola: 1177698 markings, 4064601 edges, 44548 markings/sec, 20 secs
lola: 1398282 markings, 4860994 edges, 44117 markings/sec, 25 secs
lola: 1617904 markings, 5656024 edges, 43924 markings/sec, 30 secs
lola: 1836131 markings, 6449224 edges, 43645 markings/sec, 35 secs
lola: 2050490 markings, 7235215 edges, 42872 markings/sec, 40 secs
lola: 2274994 markings, 8053407 edges, 44901 markings/sec, 45 secs
lola: 2497865 markings, 8869015 edges, 44574 markings/sec, 50 secs
lola: 2715447 markings, 9684137 edges, 43516 markings/sec, 55 secs
lola: 2931789 markings, 10496976 edges, 43268 markings/sec, 60 secs
lola: 3146570 markings, 11313841 edges, 42956 markings/sec, 65 secs
lola: 3353426 markings, 12098866 edges, 41371 markings/sec, 70 secs
lola: 3558123 markings, 12882006 edges, 40939 markings/sec, 75 secs
lola: 3764029 markings, 13667388 edges, 41181 markings/sec, 80 secs
lola: 3973944 markings, 14479997 edges, 41983 markings/sec, 85 secs
lola: 4184677 markings, 15293841 edges, 42147 markings/sec, 90 secs
lola: 4394581 markings, 16109573 edges, 41981 markings/sec, 95 secs
lola: 4604545 markings, 16926989 edges, 41993 markings/sec, 100 secs
lola: 4813425 markings, 17747230 edges, 41776 markings/sec, 105 secs
lola: 5023478 markings, 18576985 edges, 42011 markings/sec, 110 secs
lola: 5273580 markings, 19432356 edges, 50020 markings/sec, 115 secs
lola: 5522446 markings, 20278101 edges, 49773 markings/sec, 120 secs
lola: 5759533 markings, 21107511 edges, 47417 markings/sec, 125 secs
lola: 5990598 markings, 21925747 edges, 46213 markings/sec, 130 secs
lola: 6217695 markings, 22735701 edges, 45419 markings/sec, 135 secs
lola: 6442898 markings, 23543150 edges, 45041 markings/sec, 140 secs
lola: 6665254 markings, 24348637 edges, 44471 markings/sec, 145 secs
lola: 6885352 markings, 25151631 edges, 44020 markings/sec, 150 secs
lola: 7103956 markings, 25952474 edges, 43721 markings/sec, 155 secs
lola: 7322696 markings, 26752260 edges, 43748 markings/sec, 160 secs
lola: 7540764 markings, 27551171 edges, 43614 markings/sec, 165 secs
lola: 7756849 markings, 28347650 edges, 43217 markings/sec, 170 secs
lola: 7969581 markings, 29142908 edges, 42546 markings/sec, 175 secs
lola: 8179590 markings, 29938054 edges, 42002 markings/sec, 180 secs
lola: 8387713 markings, 30734165 edges, 41625 markings/sec, 185 secs
lola: 8595628 markings, 31530144 edges, 41583 markings/sec, 190 secs
lola: 8804683 markings, 32328147 edges, 41811 markings/sec, 195 secs
lola: 9011596 markings, 33125015 edges, 41383 markings/sec, 200 secs
lola: 9218200 markings, 33923062 edges, 41321 markings/sec, 205 secs
lola: 9424896 markings, 34722562 edges, 41339 markings/sec, 210 secs
lola: 9629949 markings, 35521644 edges, 41011 markings/sec, 215 secs
lola: 9834873 markings, 36324154 edges, 40985 markings/sec, 220 secs
lola: 10041802 markings, 37134821 edges, 41386 markings/sec, 225 secs
lola: 10263893 markings, 37964517 edges, 44418 markings/sec, 230 secs
lola: 10525562 markings, 38825832 edges, 52334 markings/sec, 235 secs
lola: 10769750 markings, 39671267 edges, 48838 markings/sec, 240 secs
lola: 11005949 markings, 40503863 edges, 47240 markings/sec, 245 secs
lola: 11238159 markings, 41330830 edges, 46442 markings/sec, 250 secs
lola: 11467012 markings, 42153210 edges, 45771 markings/sec, 255 secs
lola: 11693356 markings, 42971227 edges, 45269 markings/sec, 260 secs
lola: 11917198 markings, 43788563 edges, 44768 markings/sec, 265 secs
lola: 12140517 markings, 44601499 edges, 44664 markings/sec, 270 secs
lola: 12362697 markings, 45411434 edges, 44436 markings/sec, 275 secs
lola: 12583880 markings, 46221612 edges, 44237 markings/sec, 280 secs
lola: 12803359 markings, 47031807 edges, 43896 markings/sec, 285 secs
lola: 13020348 markings, 47840080 edges, 43398 markings/sec, 290 secs
lola: 13233811 markings, 48646736 edges, 42693 markings/sec, 295 secs
lola: 13445235 markings, 49452821 edges, 42285 markings/sec, 300 secs
lola: 13656777 markings, 50256741 edges, 42308 markings/sec, 305 secs
lola: 13865898 markings, 51058420 edges, 41824 markings/sec, 310 secs
lola: 14074788 markings, 51860146 edges, 41778 markings/sec, 315 secs
lola: 14282895 markings, 52664539 edges, 41621 markings/sec, 320 secs
lola: 14491222 markings, 53470436 edges, 41665 markings/sec, 325 secs
lola: 14698922 markings, 54277781 edges, 41540 markings/sec, 330 secs
lola: 14906204 markings, 55086409 edges, 41456 markings/sec, 335 secs
lola: 15113582 markings, 55898088 edges, 41476 markings/sec, 340 secs
lola: 15320418 markings, 56720121 edges, 41367 markings/sec, 345 secs
lola: 15367443 markings, 57532028 edges, 9405 markings/sec, 350 secs
lola: 15372550 markings, 58308782 edges, 1021 markings/sec, 355 secs
lola: 15374859 markings, 59076469 edges, 462 markings/sec, 360 secs
lola: 15376467 markings, 59804647 edges, 322 markings/sec, 365 secs
lola: 15378458 markings, 60465591 edges, 398 markings/sec, 370 secs
lola: 15379169 markings, 61213901 edges, 142 markings/sec, 375 secs
lola: 15379670 markings, 61962549 edges, 100 markings/sec, 380 secs
lola: 15380081 markings, 62710321 edges, 82 markings/sec, 385 secs
lola: 15380218 markings, 63453159 edges, 27 markings/sec, 390 secs
lola: 15380405 markings, 64192845 edges, 37 markings/sec, 395 secs
lola: 15380524 markings, 64862210 edges, 24 markings/sec, 400 secs
lola: 15380627 markings, 65554571 edges, 21 markings/sec, 405 secs
lola: 15380769 markings, 66233232 edges, 28 markings/sec, 410 secs
lola: 15380981 markings, 66962981 edges, 42 markings/sec, 415 secs
lola: 15381139 markings, 67724195 edges, 32 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown 103 unknown unknown unknown unknown
lola: memory consumption: 1866296 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p242)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p242)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 281598 markings, 793030 edges, 56320 markings/sec, 0 secs
lola: 496656 markings, 1548716 edges, 43012 markings/sec, 5 secs
lola: 729609 markings, 2378186 edges, 46591 markings/sec, 10 secs
lola: 958438 markings, 3200057 edges, 45766 markings/sec, 15 secs
lola: 1183276 markings, 4015915 edges, 44968 markings/sec, 20 secs
lola: 1403791 markings, 4827189 edges, 44103 markings/sec, 25 secs
lola: 1620972 markings, 5635332 edges, 43436 markings/sec, 30 secs
lola: 1836004 markings, 6438538 edges, 43006 markings/sec, 35 secs
lola: 2049389 markings, 7240768 edges, 42677 markings/sec, 40 secs
lola: 2260852 markings, 8039621 edges, 42293 markings/sec, 45 secs
lola: 2471443 markings, 8836370 edges, 42118 markings/sec, 50 secs
lola: 2681057 markings, 9631686 edges, 41923 markings/sec, 55 secs
lola: 2890494 markings, 10429249 edges, 41887 markings/sec, 60 secs
lola: 3099635 markings, 11225780 edges, 41828 markings/sec, 65 secs
lola: 3305143 markings, 12018731 edges, 41102 markings/sec, 70 secs
lola: 3504499 markings, 12813399 edges, 39871 markings/sec, 75 secs
lola: 3707951 markings, 13604699 edges, 40690 markings/sec, 80 secs
lola: 3908266 markings, 14398093 edges, 40063 markings/sec, 85 secs
lola: 4106854 markings, 15195737 edges, 39718 markings/sec, 90 secs
lola: 4304951 markings, 15995756 edges, 39619 markings/sec, 95 secs
lola: 4506543 markings, 16802493 edges, 40318 markings/sec, 100 secs
lola: 4712307 markings, 17623886 edges, 41153 markings/sec, 105 secs
lola: 4896397 markings, 18473779 edges, 36818 markings/sec, 110 secs
lola: 4982197 markings, 19294251 edges, 17160 markings/sec, 115 secs
lola: 4983010 markings, 20063757 edges, 163 markings/sec, 120 secs
lola: 4986311 markings, 20812451 edges, 660 markings/sec, 125 secs
lola: 4988792 markings, 21553628 edges, 496 markings/sec, 130 secs
lola: 4992072 markings, 22290808 edges, 656 markings/sec, 135 secs
lola: 4993949 markings, 23026916 edges, 375 markings/sec, 140 secs
lola: 4995211 markings, 23757327 edges, 252 markings/sec, 145 secs
lola: 4996602 markings, 24487408 edges, 278 markings/sec, 150 secs
lola: 4997498 markings, 25219808 edges, 179 markings/sec, 155 secs
lola: 4998228 markings, 25955267 edges, 146 markings/sec, 160 secs
lola: 4998478 markings, 26696703 edges, 50 markings/sec, 165 secs
lola: 4998509 markings, 27448568 edges, 6 markings/sec, 170 secs
lola: 4998509 markings, 28216942 edges, 0 markings/sec, 175 secs
lola: 4998509 markings, 28967235 edges, 0 markings/sec, 180 secs
lola: 5111733 markings, 29682893 edges, 22645 markings/sec, 185 secs
lola: 5355813 markings, 30516392 edges, 48816 markings/sec, 190 secs
lola: 5584095 markings, 31319461 edges, 45656 markings/sec, 195 secs
lola: 5796991 markings, 32083318 edges, 42579 markings/sec, 200 secs
lola: 6019011 markings, 32883076 edges, 44404 markings/sec, 205 secs
lola: 6237929 markings, 33676400 edges, 43784 markings/sec, 210 secs
lola: 6427941 markings, 34377640 edges, 38002 markings/sec, 215 secs
lola: 6640227 markings, 35165474 edges, 42457 markings/sec, 220 secs
lola: 6838781 markings, 35908541 edges, 39711 markings/sec, 225 secs
lola: 7037140 markings, 36653890 edges, 39672 markings/sec, 230 secs
lola: 7232709 markings, 37397362 edges, 39114 markings/sec, 235 secs
lola: 7440192 markings, 38177656 edges, 41497 markings/sec, 240 secs
lola: 7645250 markings, 38958802 edges, 41012 markings/sec, 245 secs
lola: 7850261 markings, 39735922 edges, 41002 markings/sec, 250 secs
lola: 8053044 markings, 40513566 edges, 40557 markings/sec, 255 secs
lola: 8252189 markings, 41290411 edges, 39829 markings/sec, 260 secs
lola: 8453680 markings, 42067243 edges, 40298 markings/sec, 265 secs
lola: 8654437 markings, 42838963 edges, 40151 markings/sec, 270 secs
lola: 8848655 markings, 43614811 edges, 38844 markings/sec, 275 secs
lola: 9047959 markings, 44395760 edges, 39861 markings/sec, 280 secs
lola: 9244834 markings, 45179198 edges, 39375 markings/sec, 285 secs
lola: 9440352 markings, 45965696 edges, 39104 markings/sec, 290 secs
lola: 9642926 markings, 46762078 edges, 40515 markings/sec, 295 secs
lola: 9842300 markings, 47589809 edges, 39875 markings/sec, 300 secs
lola: 10050297 markings, 48412243 edges, 41599 markings/sec, 305 secs
lola: 10303951 markings, 49266748 edges, 50731 markings/sec, 310 secs
lola: 10540405 markings, 50102488 edges, 47291 markings/sec, 315 secs
lola: 10771100 markings, 50925109 edges, 46139 markings/sec, 320 secs
lola: 10997713 markings, 51741027 edges, 45323 markings/sec, 325 secs
lola: 11219585 markings, 52550075 edges, 44374 markings/sec, 330 secs
lola: 11437517 markings, 53355633 edges, 43586 markings/sec, 335 secs
lola: 11653889 markings, 54160943 edges, 43274 markings/sec, 340 secs
lola: 11867610 markings, 54960324 edges, 42744 markings/sec, 345 secs
lola: 12080336 markings, 55761981 edges, 42545 markings/sec, 350 secs
lola: 12291596 markings, 56561546 edges, 42252 markings/sec, 355 secs
lola: 12503013 markings, 57360756 edges, 42283 markings/sec, 360 secs
lola: 12712724 markings, 58159938 edges, 41942 markings/sec, 365 secs
lola: 12923275 markings, 58960461 edges, 42110 markings/sec, 370 secs
lola: 13132416 markings, 59758690 edges, 41828 markings/sec, 375 secs
lola: 13336285 markings, 60556395 edges, 40774 markings/sec, 380 secs
lola: 13535263 markings, 61352413 edges, 39796 markings/sec, 385 secs
lola: 13743033 markings, 62148796 edges, 41554 markings/sec, 390 secs
lola: 13943746 markings, 62946880 edges, 40143 markings/sec, 395 secs
lola: 14140157 markings, 63749165 edges, 39282 markings/sec, 400 secs
lola: 14311365 markings, 64437398 edges, 34242 markings/sec, 405 secs
lola: 14514348 markings, 65248359 edges, 40597 markings/sec, 410 secs
lola: 14721412 markings, 66072098 edges, 41413 markings/sec, 415 secs
lola: 14891351 markings, 66916007 edges, 33988 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown 103 unknown unknown unknown unknown
lola: memory consumption: 3169756 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p390)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p390)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 253192 markings, 773253 edges, 50638 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 103
lola: produced by: state space
lola: The maximum value of the given expression is 103
lola: 462384 markings, 1514454 edges
lola: ========================================

FORMULA JoinFreeModules-PT-0100-UpperBounds-14 103 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 843 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p244)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p244)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file JoinFreeModules-PT-0100-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: 103
lola: 238059 markings, 755098 edges, 47612 markings/sec, 0 secs
lola: 462027 markings, 1524136 edges, 44794 markings/sec, 5 secs
lola: 684385 markings, 2307917 edges, 44472 markings/sec, 10 secs
lola: 898974 markings, 3067105 edges, 42918 markings/sec, 15 secs
lola: 1111172 markings, 3825052 edges, 42440 markings/sec, 20 secs
lola: 1334438 markings, 4630985 edges, 44653 markings/sec, 25 secs
lola: 1556719 markings, 5434587 edges, 44456 markings/sec, 30 secs
lola: 1754357 markings, 6150328 edges, 39528 markings/sec, 35 secs
lola: 1960276 markings, 6905452 edges, 41184 markings/sec, 40 secs
lola: 2168063 markings, 7662371 edges, 41557 markings/sec, 45 secs
lola: 2382289 markings, 8445095 edges, 42845 markings/sec, 50 secs
lola: 2584991 markings, 9194859 edges, 40540 markings/sec, 55 secs
lola: 2795430 markings, 9984646 edges, 42088 markings/sec, 60 secs
lola: 3005475 markings, 10775070 edges, 42009 markings/sec, 65 secs
lola: 3213670 markings, 11566652 edges, 41639 markings/sec, 70 secs
lola: 3420706 markings, 12357371 edges, 41407 markings/sec, 75 secs
lola: 3627910 markings, 13148171 edges, 41441 markings/sec, 80 secs
lola: 3834407 markings, 13940513 edges, 41299 markings/sec, 85 secs
lola: 4038955 markings, 14730978 edges, 40910 markings/sec, 90 secs
lola: 4243695 markings, 15522458 edges, 40948 markings/sec, 95 secs
lola: 4448023 markings, 16317326 edges, 40866 markings/sec, 100 secs
lola: 4652815 markings, 17115436 edges, 40958 markings/sec, 105 secs
lola: 4856947 markings, 17918277 edges, 40826 markings/sec, 110 secs
lola: 5063379 markings, 18733326 edges, 41286 markings/sec, 115 secs
lola: 5318571 markings, 19582066 edges, 51038 markings/sec, 120 secs
lola: 5556692 markings, 20396215 edges, 47624 markings/sec, 125 secs
lola: 5764947 markings, 21126807 edges, 41651 markings/sec, 130 secs
lola: 5989460 markings, 21921833 edges, 44903 markings/sec, 135 secs
lola: 6211077 markings, 22711501 edges, 44323 markings/sec, 140 secs
lola: 6431276 markings, 23501624 edges, 44040 markings/sec, 145 secs
lola: 6647980 markings, 24285525 edges, 43341 markings/sec, 150 secs
lola: 6861860 markings, 25064929 edges, 42776 markings/sec, 155 secs
lola: 7073860 markings, 25842629 edges, 42400 markings/sec, 160 secs
lola: 7285977 markings, 26618315 edges, 42423 markings/sec, 165 secs
lola: 7498007 markings, 27395462 edges, 42406 markings/sec, 170 secs
lola: 7710035 markings, 28173980 edges, 42406 markings/sec, 175 secs
lola: 7917749 markings, 28948991 edges, 41543 markings/sec, 180 secs
lola: 8123092 markings, 29723941 edges, 41069 markings/sec, 185 secs
lola: 8326948 markings, 30501513 edges, 40771 markings/sec, 190 secs
lola: 8529697 markings, 31279108 edges, 40550 markings/sec, 195 secs
lola: 8733746 markings, 32056041 edges, 40810 markings/sec, 200 secs
lola: 8934629 markings, 32829656 edges, 40177 markings/sec, 205 secs
lola: 9134788 markings, 33601411 edges, 40032 markings/sec, 210 secs
lola: 9334992 markings, 34374276 edges, 40041 markings/sec, 215 secs
lola: 9534743 markings, 35149611 edges, 39950 markings/sec, 220 secs
lola: 9733349 markings, 35927751 edges, 39721 markings/sec, 225 secs
lola: 9935362 markings, 36717200 edges, 40403 markings/sec, 230 secs
lola: 10138724 markings, 37514768 edges, 40672 markings/sec, 235 secs
lola: 10387049 markings, 38358796 edges, 49665 markings/sec, 240 secs
lola: 10635340 markings, 39199997 edges, 49658 markings/sec, 245 secs
lola: 10869365 markings, 40021933 edges, 46805 markings/sec, 250 secs
lola: 11099854 markings, 40837284 edges, 46098 markings/sec, 255 secs
lola: 11326398 markings, 41647083 edges, 45309 markings/sec, 260 secs
lola: 11550394 markings, 42455876 edges, 44799 markings/sec, 265 secs
lola: 11774083 markings, 43263636 edges, 44738 markings/sec, 270 secs
lola: 11994177 markings, 44068052 edges, 44019 markings/sec, 275 secs
lola: 12214795 markings, 44871122 edges, 44124 markings/sec, 280 secs
lola: 12433691 markings, 45671002 edges, 43779 markings/sec, 285 secs
lola: 12651619 markings, 46469822 edges, 43586 markings/sec, 290 secs
lola: 12867335 markings, 47268464 edges, 43143 markings/sec, 295 secs
lola: 13080120 markings, 48067301 edges, 42557 markings/sec, 300 secs
lola: 13291534 markings, 48866111 edges, 42283 markings/sec, 305 secs
lola: 13501361 markings, 49664043 edges, 41965 markings/sec, 310 secs
lola: 13709820 markings, 50461361 edges, 41692 markings/sec, 315 secs
lola: 13917487 markings, 51257255 edges, 41533 markings/sec, 320 secs
lola: 14124773 markings, 52053391 edges, 41457 markings/sec, 325 secs
lola: 14331128 markings, 52850068 edges, 41271 markings/sec, 330 secs
lola: 14536661 markings, 53647968 edges, 41107 markings/sec, 335 secs
lola: 14742176 markings, 54446477 edges, 41103 markings/sec, 340 secs
lola: 14947775 markings, 55249156 edges, 41120 markings/sec, 345 secs
lola: 15153529 markings, 56055514 edges, 41151 markings/sec, 350 secs
lola: 15348550 markings, 56876179 edges, 39004 markings/sec, 355 secs
lola: 15368472 markings, 57670994 edges, 3984 markings/sec, 360 secs
lola: 15372902 markings, 58442957 edges, 886 markings/sec, 365 secs
lola: 15374970 markings, 59205242 edges, 414 markings/sec, 370 secs
lola: 15378010 markings, 59961228 edges, 608 markings/sec, 375 secs
lola: 15378709 markings, 60711915 edges, 140 markings/sec, 380 secs
lola: 15379421 markings, 61458690 edges, 142 markings/sec, 385 secs
lola: 15379840 markings, 62203952 edges, 84 markings/sec, 390 secs
lola: 15380162 markings, 62944884 edges, 64 markings/sec, 395 secs
lola: 15380263 markings, 63680924 edges, 20 markings/sec, 400 secs
lola: 15380421 markings, 64416575 edges, 32 markings/sec, 405 secs
lola: 15380537 markings, 65152499 edges, 23 markings/sec, 410 secs
lola: 15380717 markings, 65890395 edges, 36 markings/sec, 415 secs
lola: 15380829 markings, 66627768 edges, 22 markings/sec, 420 secs
lola: 15381067 markings, 67370964 edges, 48 markings/sec, 425 secs
lola: 15381224 markings, 68138822 edges, 31 markings/sec, 430 secs
lola: 15595670 markings, 68992616 edges, 42889 markings/sec, 435 secs
lola: 15840201 markings, 69829762 edges, 48906 markings/sec, 440 secs
lola: 16074132 markings, 70653769 edges, 46786 markings/sec, 445 secs
lola: 16304606 markings, 71469417 edges, 46095 markings/sec, 450 secs
lola: 16530909 markings, 72280045 edges, 45261 markings/sec, 455 secs
lola: 16754796 markings, 73088522 edges, 44777 markings/sec, 460 secs
lola: 16977497 markings, 73894534 edges, 44540 markings/sec, 465 secs
lola: 17198701 markings, 74698251 edges, 44241 markings/sec, 470 secs
lola: 17417500 markings, 75499409 edges, 43760 markings/sec, 475 secs
lola: 17636909 markings, 76298940 edges, 43882 markings/sec, 480 secs
lola: 17854909 markings, 77096475 edges, 43600 markings/sec, 485 secs
lola: 18068255 markings, 77893750 edges, 42669 markings/sec, 490 secs
lola: 18280506 markings, 78691058 edges, 42450 markings/sec, 495 secs
lola: 18490963 markings, 79488183 edges, 42091 markings/sec, 500 secs
lola: 18700458 markings, 80285379 edges, 41899 markings/sec, 505 secs
lola: 18908921 markings, 81080917 edges, 41693 markings/sec, 510 secs
lola: 19117567 markings, 81877516 edges, 41729 markings/sec, 515 secs
lola: 19323973 markings, 82673768 edges, 41281 markings/sec, 520 secs
lola: 19529317 markings, 83469520 edges, 41069 markings/sec, 525 secs
lola: 19735360 markings, 84268136 edges, 41209 markings/sec, 530 secs
lola: 19941051 markings, 85068692 edges, 41138 markings/sec, 535 secs
lola: 20145931 markings, 85870747 edges, 40976 markings/sec, 540 secs
lola: 20350674 markings, 86678316 edges, 40949 markings/sec, 545 secs
lola: 20582298 markings, 87511773 edges, 46325 markings/sec, 550 secs
lola: 20832859 markings, 88350209 edges, 50112 markings/sec, 555 secs
lola: 21069485 markings, 89170352 edges, 47325 markings/sec, 560 secs
lola: 21298314 markings, 89981121 edges, 45766 markings/sec, 565 secs
lola: 21524158 markings, 90784112 edges, 45169 markings/sec, 570 secs
lola: 21747570 markings, 91583839 edges, 44682 markings/sec, 575 secs
lola: 21967990 markings, 92380573 edges, 44084 markings/sec, 580 secs
lola: 22187024 markings, 93175317 edges, 43807 markings/sec, 585 secs
lola: 22402693 markings, 93966573 edges, 43134 markings/sec, 590 secs
lola: 22618334 markings, 94756003 edges, 43128 markings/sec, 595 secs
lola: 22833818 markings, 95544686 edges, 43097 markings/sec, 600 secs
lola: 23049279 markings, 96333554 edges, 43092 markings/sec, 605 secs
lola: 23260524 markings, 97120940 edges, 42249 markings/sec, 610 secs
lola: 23469322 markings, 97908333 edges, 41760 markings/sec, 615 secs
lola: 23676316 markings, 98695953 edges, 41399 markings/sec, 620 secs
lola: 23881658 markings, 99482754 edges, 41068 markings/sec, 625 secs
lola: 24088696 markings, 100270781 edges, 41408 markings/sec, 630 secs
lola: 24293598 markings, 101058712 edges, 40980 markings/sec, 635 secs
lola: 24497671 markings, 101846528 edges, 40815 markings/sec, 640 secs
lola: 24701837 markings, 102634866 edges, 40833 markings/sec, 645 secs
lola: 24905181 markings, 103423913 edges, 40669 markings/sec, 650 secs
lola: 25107039 markings, 104214417 edges, 40372 markings/sec, 655 secs
lola: 25310655 markings, 105010143 edges, 40723 markings/sec, 660 secs
lola: 25515107 markings, 105811456 edges, 40890 markings/sec, 665 secs
lola: 25762489 markings, 106655901 edges, 49476 markings/sec, 670 secs
lola: 26012079 markings, 107500490 edges, 49918 markings/sec, 675 secs
lola: 26248370 markings, 108329733 edges, 47258 markings/sec, 680 secs
lola: 26480070 markings, 109149674 edges, 46340 markings/sec, 685 secs
lola: 26707843 markings, 109963974 edges, 45555 markings/sec, 690 secs
lola: 26932498 markings, 110775302 edges, 44931 markings/sec, 695 secs
lola: 27156768 markings, 111584877 edges, 44854 markings/sec, 700 secs
lola: 27377208 markings, 112390764 edges, 44088 markings/sec, 705 secs
lola: 27598381 markings, 113195164 edges, 44235 markings/sec, 710 secs
lola: 27817586 markings, 113996680 edges, 43841 markings/sec, 715 secs
lola: 28035927 markings, 114797086 edges, 43668 markings/sec, 720 secs
lola: 28252208 markings, 115597579 edges, 43256 markings/sec, 725 secs
lola: 28465247 markings, 116397969 edges, 42608 markings/sec, 730 secs
lola: 28676882 markings, 117198452 edges, 42327 markings/sec, 735 secs
lola: 28887285 markings, 117998278 edges, 42081 markings/sec, 740 secs
lola: 29096274 markings, 118797541 edges, 41798 markings/sec, 745 secs
lola: 29305048 markings, 119596984 edges, 41755 markings/sec, 750 secs
lola: 29512887 markings, 120396254 edges, 41568 markings/sec, 755 secs
lola: 29720477 markings, 121196722 edges, 41518 markings/sec, 760 secs
lola: 29926644 markings, 121997570 edges, 41233 markings/sec, 765 secs
lola: 30132906 markings, 122799417 edges, 41252 markings/sec, 770 secs
lola: 30339294 markings, 123605354 edges, 41278 markings/sec, 775 secs
lola: 30545510 markings, 124414294 edges, 41243 markings/sec, 780 secs
lola: 30733472 markings, 125237202 edges, 37592 markings/sec, 785 secs
lola: 30750058 markings, 126033095 edges, 3317 markings/sec, 790 secs
lola: 30754329 markings, 126807245 edges, 854 markings/sec, 795 secs
lola: 30756378 markings, 127572542 edges, 410 markings/sec, 800 secs
lola: 30759325 markings, 128331357 edges, 589 markings/sec, 805 secs
lola: 30760022 markings, 129085314 edges, 139 markings/sec, 810 secs
lola: 30760728 markings, 129835666 edges, 141 markings/sec, 815 secs
lola: 30761155 markings, 130584750 edges, 85 markings/sec, 820 secs
lola: 30761464 markings, 131329898 edges, 62 markings/sec, 825 secs
lola: 30761578 markings, 132070987 edges, 23 markings/sec, 830 secs
lola: 30761727 markings, 132810666 edges, 30 markings/sec, 835 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown 103 unknown unknown 103 unknown
lola: memory consumption: 6851456 KB
lola: time consumption: 3570 seconds
lola: time limit reached - aborting
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown 103 unknown unknown 103 unknown
lola:
preliminary result: unknown 103 unknown unknown unknown unknown 103 103 unknown 103 unknown 103 unknown unknown 103 unknown
lola: memory consumption: 19136 KB
lola: time consumption: 3570 seconds

BK_STOP 1526835462894

--------------------
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="JoinFreeModules-PT-0100"
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/JoinFreeModules-PT-0100.tgz
mv JoinFreeModules-PT-0100 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 JoinFreeModules-PT-0100, 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 r100-smll-152658630900268"
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 ;