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 1.3M
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K 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.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.2M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Diffusion2D-PT-D20N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r076-blw3-152649937000226
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1526680179004

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D20N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D20N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D20N150 @ 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: 3364/65536 symbol table entries, 222 collisions
lola: preprocessing...
lola: Size of bit vector: 12800
lola: finding significant places
lola: 400 places, 2964 transitions, 399 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 400 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D20N150-UpperBounds.task
lola: MAX(cAMP__4_8_) : MAX(cAMP__20_5_) : MAX(cAMP__20_13_) : MAX(cAMP__14_20_) : MAX(cAMP__14_17_) : MAX(cAMP__2_7_) : MAX(cAMP__10_3_) : MAX(cAMP__10_19_) : MAX(cAMP__4_15_) : MAX(cAMP__6_15_) : MAX(cAMP__11_3_) : MAX(cAMP__13_7_) : MAX(cAMP__13_14_) : MAX(cAMP__10_17_) : MAX(cAMP__9_1_) : MAX(cAMP__18_20_)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_8_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_8_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 47033 markings, 166111 edges, 9407 markings/sec, 0 secs
lola: 95479 markings, 343503 edges, 9689 markings/sec, 5 secs
lola: 143489 markings, 523288 edges, 9602 markings/sec, 10 secs
lola: 191402 markings, 698949 edges, 9583 markings/sec, 15 secs
lola: 239874 markings, 877219 edges, 9694 markings/sec, 20 secs
lola: 288244 markings, 1054031 edges, 9674 markings/sec, 25 secs
lola: 336652 markings, 1222743 edges, 9682 markings/sec, 30 secs
lola: 384844 markings, 1391473 edges, 9638 markings/sec, 35 secs
lola: 433536 markings, 1562074 edges, 9738 markings/sec, 40 secs
lola: 482234 markings, 1735589 edges, 9740 markings/sec, 45 secs
lola: 530749 markings, 1911729 edges, 9703 markings/sec, 50 secs
lola: 579311 markings, 2082768 edges, 9712 markings/sec, 55 secs
lola: 627917 markings, 2255921 edges, 9721 markings/sec, 60 secs
lola: 675892 markings, 2429020 edges, 9595 markings/sec, 65 secs
lola: 724008 markings, 2602878 edges, 9623 markings/sec, 70 secs
lola: 772272 markings, 2778557 edges, 9653 markings/sec, 75 secs
lola: 820208 markings, 2951619 edges, 9587 markings/sec, 80 secs
lola: 866901 markings, 3119226 edges, 9339 markings/sec, 85 secs
lola: 912391 markings, 3296910 edges, 9098 markings/sec, 90 secs
lola: 959511 markings, 3469843 edges, 9424 markings/sec, 95 secs
lola: 1007625 markings, 3645285 edges, 9623 markings/sec, 100 secs
lola: 1056886 markings, 3818503 edges, 9852 markings/sec, 105 secs
lola: 1105786 markings, 3991030 edges, 9780 markings/sec, 110 secs
lola: 1154475 markings, 4167907 edges, 9738 markings/sec, 115 secs
lola: 1202925 markings, 4346253 edges, 9690 markings/sec, 120 secs
lola: 1251654 markings, 4523443 edges, 9746 markings/sec, 125 secs
lola: 1300487 markings, 4704025 edges, 9767 markings/sec, 130 secs
lola: 1348996 markings, 4886757 edges, 9702 markings/sec, 135 secs
lola: 1397440 markings, 5065858 edges, 9689 markings/sec, 140 secs
lola: 1446004 markings, 5233604 edges, 9713 markings/sec, 145 secs
lola: 1494208 markings, 5401113 edges, 9641 markings/sec, 150 secs
lola: 1542189 markings, 5568195 edges, 9596 markings/sec, 155 secs
lola: 1590620 markings, 5736175 edges, 9686 markings/sec, 160 secs
lola: 1638635 markings, 5908344 edges, 9603 markings/sec, 165 secs
lola: 1686912 markings, 6077629 edges, 9655 markings/sec, 170 secs
lola: 1734566 markings, 6255208 edges, 9531 markings/sec, 175 secs
lola: 1782565 markings, 6424137 edges, 9600 markings/sec, 180 secs
lola: 1830521 markings, 6593563 edges, 9591 markings/sec, 185 secs
lola: 1878029 markings, 6768392 edges, 9502 markings/sec, 190 secs
lola: 1925579 markings, 6944586 edges, 9510 markings/sec, 195 secs
lola: 1973990 markings, 7115321 edges, 9682 markings/sec, 200 secs
lola: 2022367 markings, 7286706 edges, 9675 markings/sec, 205 secs
lola: 2070258 markings, 7463041 edges, 9578 markings/sec, 210 secs
lola: 2118716 markings, 7636757 edges, 9692 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: 606572 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 48422 markings, 157339 edges, 9684 markings/sec, 0 secs
lola: 95904 markings, 313823 edges, 9496 markings/sec, 5 secs
lola: 143590 markings, 466697 edges, 9537 markings/sec, 10 secs
lola: 191109 markings, 621318 edges, 9504 markings/sec, 15 secs
lola: 238498 markings, 775901 edges, 9478 markings/sec, 20 secs
lola: 285963 markings, 929932 edges, 9493 markings/sec, 25 secs
lola: 333154 markings, 1085901 edges, 9438 markings/sec, 30 secs
lola: 380744 markings, 1243560 edges, 9518 markings/sec, 35 secs
lola: 428076 markings, 1398501 edges, 9466 markings/sec, 40 secs
lola: 475607 markings, 1549155 edges, 9506 markings/sec, 45 secs
lola: 523132 markings, 1702765 edges, 9505 markings/sec, 50 secs
lola: 570808 markings, 1857593 edges, 9535 markings/sec, 55 secs
lola: 618510 markings, 2013870 edges, 9540 markings/sec, 60 secs
lola: 665957 markings, 2170747 edges, 9489 markings/sec, 65 secs
lola: 713316 markings, 2326790 edges, 9472 markings/sec, 70 secs
lola: 760732 markings, 2481124 edges, 9483 markings/sec, 75 secs
lola: 808242 markings, 2637315 edges, 9502 markings/sec, 80 secs
lola: 855701 markings, 2795219 edges, 9492 markings/sec, 85 secs
lola: 904767 markings, 2955228 edges, 9813 markings/sec, 90 secs
lola: 955067 markings, 3116221 edges, 10060 markings/sec, 95 secs
lola: 1005089 markings, 3278363 edges, 10004 markings/sec, 100 secs
lola: 1055096 markings, 3442851 edges, 10001 markings/sec, 105 secs
lola: 1104941 markings, 3609185 edges, 9969 markings/sec, 110 secs
lola: 1155437 markings, 3771465 edges, 10099 markings/sec, 115 secs
lola: 1205613 markings, 3935176 edges, 10035 markings/sec, 120 secs
lola: 1255890 markings, 4099579 edges, 10055 markings/sec, 125 secs
lola: 1306363 markings, 4263723 edges, 10095 markings/sec, 130 secs
lola: 1356466 markings, 4429134 edges, 10021 markings/sec, 135 secs
lola: 1406791 markings, 4595000 edges, 10065 markings/sec, 140 secs
lola: 1456751 markings, 4758562 edges, 9992 markings/sec, 145 secs
lola: 1506802 markings, 4921335 edges, 10010 markings/sec, 150 secs
lola: 1557317 markings, 5086008 edges, 10103 markings/sec, 155 secs
lola: 1607451 markings, 5250913 edges, 10027 markings/sec, 160 secs
lola: 1656975 markings, 5416525 edges, 9905 markings/sec, 165 secs
lola: 1706914 markings, 5584188 edges, 9988 markings/sec, 170 secs
lola: 1756626 markings, 5758406 edges, 9942 markings/sec, 175 secs
lola: 1805967 markings, 5927070 edges, 9868 markings/sec, 180 secs
lola: 1856413 markings, 6090724 edges, 10089 markings/sec, 185 secs
lola: 1906835 markings, 6253896 edges, 10084 markings/sec, 190 secs
lola: 1956789 markings, 6423194 edges, 9991 markings/sec, 195 secs
lola: 2006734 markings, 6589719 edges, 9989 markings/sec, 200 secs
lola: 2057099 markings, 6755311 edges, 10073 markings/sec, 205 secs
lola: 2107525 markings, 6921700 edges, 10085 markings/sec, 210 secs
lola: 2155873 markings, 7083600 edges, 9670 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: 585540 KB
lola: time consumption: 446 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__20_13_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__20_13_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 46953 markings, 162782 edges, 9391 markings/sec, 0 secs
lola: 94572 markings, 322301 edges, 9524 markings/sec, 5 secs
lola: 142464 markings, 479134 edges, 9578 markings/sec, 10 secs
lola: 190188 markings, 638620 edges, 9545 markings/sec, 15 secs
lola: 240328 markings, 804193 edges, 10028 markings/sec, 20 secs
lola: 289382 markings, 963060 edges, 9811 markings/sec, 25 secs
lola: 340708 markings, 1131151 edges, 10265 markings/sec, 30 secs
lola: 392537 markings, 1300044 edges, 10366 markings/sec, 35 secs
lola: 444845 markings, 1468702 edges, 10462 markings/sec, 40 secs
lola: 496576 markings, 1637360 edges, 10346 markings/sec, 45 secs
lola: 548470 markings, 1807559 edges, 10379 markings/sec, 50 secs
lola: 600078 markings, 1979001 edges, 10322 markings/sec, 55 secs
lola: 652457 markings, 2149158 edges, 10476 markings/sec, 60 secs
lola: 704411 markings, 2318049 edges, 10391 markings/sec, 65 secs
lola: 755913 markings, 2485676 edges, 10300 markings/sec, 70 secs
lola: 807361 markings, 2659283 edges, 10290 markings/sec, 75 secs
lola: 859291 markings, 2831675 edges, 10386 markings/sec, 80 secs
lola: 911383 markings, 3005802 edges, 10418 markings/sec, 85 secs
lola: 962849 markings, 3175644 edges, 10293 markings/sec, 90 secs
lola: 1014549 markings, 3344647 edges, 10340 markings/sec, 95 secs
lola: 1066018 markings, 3514360 edges, 10294 markings/sec, 100 secs
lola: 1117695 markings, 3687214 edges, 10335 markings/sec, 105 secs
lola: 1169798 markings, 3855581 edges, 10421 markings/sec, 110 secs
lola: 1221358 markings, 4025081 edges, 10312 markings/sec, 115 secs
lola: 1273060 markings, 4195801 edges, 10340 markings/sec, 120 secs
lola: 1324514 markings, 4364105 edges, 10291 markings/sec, 125 secs
lola: 1376206 markings, 4536506 edges, 10338 markings/sec, 130 secs
lola: 1428060 markings, 4710560 edges, 10371 markings/sec, 135 secs
lola: 1480207 markings, 4883187 edges, 10429 markings/sec, 140 secs
lola: 1532410 markings, 5053988 edges, 10441 markings/sec, 145 secs
lola: 1584087 markings, 5224022 edges, 10335 markings/sec, 150 secs
lola: 1636342 markings, 5392724 edges, 10451 markings/sec, 155 secs
lola: 1688066 markings, 5559982 edges, 10345 markings/sec, 160 secs
lola: 1739855 markings, 5728234 edges, 10358 markings/sec, 165 secs
lola: 1791720 markings, 5895262 edges, 10373 markings/sec, 170 secs
lola: 1843394 markings, 6064717 edges, 10335 markings/sec, 175 secs
lola: 1895836 markings, 6236569 edges, 10488 markings/sec, 180 secs
lola: 1947749 markings, 6408459 edges, 10383 markings/sec, 185 secs
lola: 1999476 markings, 6579181 edges, 10345 markings/sec, 190 secs
lola: 2051657 markings, 6752674 edges, 10436 markings/sec, 195 secs
lola: 2103440 markings, 6924101 edges, 10357 markings/sec, 200 secs
lola: 2155091 markings, 7091108 edges, 10330 markings/sec, 205 secs
lola: 2206567 markings, 7257363 edges, 10295 markings/sec, 210 secs
lola: 2257829 markings, 7423462 edges, 10252 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: 658136 KB
lola: time consumption: 669 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 49808 markings, 163694 edges, 9962 markings/sec, 0 secs
lola: 100417 markings, 330958 edges, 10122 markings/sec, 5 secs
lola: 151017 markings, 498397 edges, 10120 markings/sec, 10 secs
lola: 201268 markings, 662675 edges, 10050 markings/sec, 15 secs
lola: 251689 markings, 822068 edges, 10084 markings/sec, 20 secs
lola: 302015 markings, 986146 edges, 10065 markings/sec, 25 secs
lola: 352219 markings, 1154158 edges, 10041 markings/sec, 30 secs
lola: 402349 markings, 1322295 edges, 10026 markings/sec, 35 secs
lola: 452764 markings, 1487839 edges, 10083 markings/sec, 40 secs
lola: 502708 markings, 1652625 edges, 9989 markings/sec, 45 secs
lola: 553188 markings, 1814898 edges, 10096 markings/sec, 50 secs
lola: 603660 markings, 1979370 edges, 10094 markings/sec, 55 secs
lola: 654000 markings, 2141678 edges, 10068 markings/sec, 60 secs
lola: 704229 markings, 2304798 edges, 10046 markings/sec, 65 secs
lola: 754787 markings, 2466941 edges, 10112 markings/sec, 70 secs
lola: 805406 markings, 2631144 edges, 10124 markings/sec, 75 secs
lola: 855698 markings, 2791913 edges, 10058 markings/sec, 80 secs
lola: 905900 markings, 2955131 edges, 10040 markings/sec, 85 secs
lola: 956007 markings, 3118218 edges, 10021 markings/sec, 90 secs
lola: 1006438 markings, 3283239 edges, 10086 markings/sec, 95 secs
lola: 1056212 markings, 3445682 edges, 9955 markings/sec, 100 secs
lola: 1106406 markings, 3610283 edges, 10039 markings/sec, 105 secs
lola: 1156616 markings, 3774031 edges, 10042 markings/sec, 110 secs
lola: 1206621 markings, 3934520 edges, 10001 markings/sec, 115 secs
lola: 1256913 markings, 4095761 edges, 10058 markings/sec, 120 secs
lola: 1307298 markings, 4257665 edges, 10077 markings/sec, 125 secs
lola: 1357604 markings, 4417471 edges, 10061 markings/sec, 130 secs
lola: 1407399 markings, 4581080 edges, 9959 markings/sec, 135 secs
lola: 1457565 markings, 4743470 edges, 10033 markings/sec, 140 secs
lola: 1507439 markings, 4907513 edges, 9975 markings/sec, 145 secs
lola: 1556578 markings, 5072214 edges, 9828 markings/sec, 150 secs
lola: 1607009 markings, 5232696 edges, 10086 markings/sec, 155 secs
lola: 1657025 markings, 5395676 edges, 10003 markings/sec, 160 secs
lola: 1706584 markings, 5555866 edges, 9912 markings/sec, 165 secs
lola: 1756504 markings, 5719586 edges, 9984 markings/sec, 170 secs
lola: 1807270 markings, 5882251 edges, 10153 markings/sec, 175 secs
lola: 1857592 markings, 6045494 edges, 10064 markings/sec, 180 secs
lola: 1907569 markings, 6206406 edges, 9995 markings/sec, 185 secs
lola: 1957508 markings, 6370239 edges, 9988 markings/sec, 190 secs
lola: 2007801 markings, 6533927 edges, 10059 markings/sec, 195 secs
lola: 2057667 markings, 6699506 edges, 9973 markings/sec, 200 secs
lola: 2107961 markings, 6861627 edges, 10059 markings/sec, 205 secs
lola: 2158182 markings, 7028263 edges, 10044 markings/sec, 210 secs
lola: 2207945 markings, 7192872 edges, 9953 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: 610760 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 49775 markings, 173673 edges, 9955 markings/sec, 0 secs
lola: 100478 markings, 345403 edges, 10141 markings/sec, 5 secs
lola: 151128 markings, 516239 edges, 10130 markings/sec, 10 secs
lola: 202065 markings, 687003 edges, 10187 markings/sec, 15 secs
lola: 252814 markings, 859312 edges, 10150 markings/sec, 20 secs
lola: 303382 markings, 1030044 edges, 10114 markings/sec, 25 secs
lola: 353698 markings, 1202955 edges, 10063 markings/sec, 30 secs
lola: 404349 markings, 1375831 edges, 10130 markings/sec, 35 secs
lola: 453913 markings, 1551244 edges, 9913 markings/sec, 40 secs
lola: 503914 markings, 1720409 edges, 10000 markings/sec, 45 secs
lola: 554068 markings, 1896761 edges, 10031 markings/sec, 50 secs
lola: 603997 markings, 2067345 edges, 9986 markings/sec, 55 secs
lola: 654378 markings, 2240673 edges, 10076 markings/sec, 60 secs
lola: 704933 markings, 2416544 edges, 10111 markings/sec, 65 secs
lola: 755235 markings, 2596741 edges, 10060 markings/sec, 70 secs
lola: 805786 markings, 2772978 edges, 10110 markings/sec, 75 secs
lola: 856722 markings, 2944322 edges, 10187 markings/sec, 80 secs
lola: 907765 markings, 3117158 edges, 10209 markings/sec, 85 secs
lola: 958924 markings, 3290653 edges, 10232 markings/sec, 90 secs
lola: 1009694 markings, 3461950 edges, 10154 markings/sec, 95 secs
lola: 1060152 markings, 3632850 edges, 10092 markings/sec, 100 secs
lola: 1110821 markings, 3806488 edges, 10134 markings/sec, 105 secs
lola: 1161466 markings, 3978942 edges, 10129 markings/sec, 110 secs
lola: 1212073 markings, 4151419 edges, 10121 markings/sec, 115 secs
lola: 1262420 markings, 4333860 edges, 10069 markings/sec, 120 secs
lola: 1313110 markings, 4507923 edges, 10138 markings/sec, 125 secs
lola: 1363296 markings, 4682617 edges, 10037 markings/sec, 130 secs
lola: 1413923 markings, 4852907 edges, 10125 markings/sec, 135 secs
lola: 1464030 markings, 5026405 edges, 10021 markings/sec, 140 secs
lola: 1514405 markings, 5198434 edges, 10075 markings/sec, 145 secs
lola: 1565155 markings, 5373485 edges, 10150 markings/sec, 150 secs
lola: 1615562 markings, 5548934 edges, 10081 markings/sec, 155 secs
lola: 1666189 markings, 5713462 edges, 10125 markings/sec, 160 secs
lola: 1716444 markings, 5879534 edges, 10051 markings/sec, 165 secs
lola: 1766807 markings, 6049807 edges, 10073 markings/sec, 170 secs
lola: 1816934 markings, 6227453 edges, 10025 markings/sec, 175 secs
lola: 1866394 markings, 6406657 edges, 9892 markings/sec, 180 secs
lola: 1915889 markings, 6592237 edges, 9899 markings/sec, 185 secs
lola: 1965379 markings, 6776038 edges, 9898 markings/sec, 190 secs
lola: 2015155 markings, 6954467 edges, 9955 markings/sec, 195 secs
lola: 2065151 markings, 7126881 edges, 9999 markings/sec, 200 secs
lola: 2115325 markings, 7295793 edges, 10035 markings/sec, 205 secs
lola: 2165449 markings, 7465162 edges, 10025 markings/sec, 210 secs
lola: 2215354 markings, 7638811 edges, 9981 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: 620048 KB
lola: time consumption: 1115 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__2_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__2_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 50050 markings, 169288 edges, 10010 markings/sec, 0 secs
lola: 101390 markings, 344800 edges, 10268 markings/sec, 5 secs
lola: 152490 markings, 522948 edges, 10220 markings/sec, 10 secs
lola: 203957 markings, 700322 edges, 10293 markings/sec, 15 secs
lola: 255228 markings, 881699 edges, 10254 markings/sec, 20 secs
lola: 306073 markings, 1064456 edges, 10169 markings/sec, 25 secs
lola: 357361 markings, 1246120 edges, 10258 markings/sec, 30 secs
lola: 408642 markings, 1427930 edges, 10256 markings/sec, 35 secs
lola: 459473 markings, 1609484 edges, 10166 markings/sec, 40 secs
lola: 509828 markings, 1806600 edges, 10071 markings/sec, 45 secs
lola: 560890 markings, 1988868 edges, 10212 markings/sec, 50 secs
lola: 611798 markings, 2175271 edges, 10182 markings/sec, 55 secs
lola: 662528 markings, 2359009 edges, 10146 markings/sec, 60 secs
lola: 712900 markings, 2544302 edges, 10074 markings/sec, 65 secs
lola: 763653 markings, 2734202 edges, 10151 markings/sec, 70 secs
lola: 814160 markings, 2926728 edges, 10101 markings/sec, 75 secs
lola: 865208 markings, 3112539 edges, 10210 markings/sec, 80 secs
lola: 915696 markings, 3306215 edges, 10098 markings/sec, 85 secs
lola: 966241 markings, 3496800 edges, 10109 markings/sec, 90 secs
lola: 1016905 markings, 3689039 edges, 10133 markings/sec, 95 secs
lola: 1068013 markings, 3874804 edges, 10222 markings/sec, 100 secs
lola: 1118616 markings, 4068698 edges, 10121 markings/sec, 105 secs
lola: 1169106 markings, 4256496 edges, 10098 markings/sec, 110 secs
lola: 1219796 markings, 4446942 edges, 10138 markings/sec, 115 secs
lola: 1269892 markings, 4646376 edges, 10019 markings/sec, 120 secs
lola: 1320120 markings, 4842321 edges, 10046 markings/sec, 125 secs
lola: 1370339 markings, 5039502 edges, 10044 markings/sec, 130 secs
lola: 1420826 markings, 5235910 edges, 10097 markings/sec, 135 secs
lola: 1470730 markings, 5435301 edges, 9981 markings/sec, 140 secs
lola: 1520463 markings, 5632039 edges, 9947 markings/sec, 145 secs
lola: 1570647 markings, 5821598 edges, 10037 markings/sec, 150 secs
lola: 1621221 markings, 6010381 edges, 10115 markings/sec, 155 secs
lola: 1671176 markings, 6211011 edges, 9991 markings/sec, 160 secs
lola: 1721247 markings, 6418801 edges, 10014 markings/sec, 165 secs
lola: 1771661 markings, 6618968 edges, 10083 markings/sec, 170 secs
lola: 1822037 markings, 6818767 edges, 10075 markings/sec, 175 secs
lola: 1872041 markings, 7016029 edges, 10001 markings/sec, 180 secs
lola: 1922790 markings, 7204604 edges, 10150 markings/sec, 185 secs
lola: 1973603 markings, 7395983 edges, 10163 markings/sec, 190 secs
lola: 2024176 markings, 7586563 edges, 10115 markings/sec, 195 secs
lola: 2074799 markings, 7776721 edges, 10125 markings/sec, 200 secs
lola: 2125020 markings, 7969616 edges, 10044 markings/sec, 205 secs
lola: 2175445 markings, 8163256 edges, 10085 markings/sec, 210 secs
lola: 2225870 markings, 8359231 edges, 10085 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: 680996 KB
lola: time consumption: 1338 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 49811 markings, 161904 edges, 9962 markings/sec, 0 secs
lola: 99926 markings, 327307 edges, 10023 markings/sec, 5 secs
lola: 150409 markings, 491622 edges, 10097 markings/sec, 10 secs
lola: 200752 markings, 658506 edges, 10069 markings/sec, 15 secs
lola: 251418 markings, 823280 edges, 10133 markings/sec, 20 secs
lola: 301910 markings, 985938 edges, 10098 markings/sec, 25 secs
lola: 352596 markings, 1153683 edges, 10137 markings/sec, 30 secs
lola: 403162 markings, 1320035 edges, 10113 markings/sec, 35 secs
lola: 453593 markings, 1482996 edges, 10086 markings/sec, 40 secs
lola: 504139 markings, 1652648 edges, 10109 markings/sec, 45 secs
lola: 554822 markings, 1818559 edges, 10137 markings/sec, 50 secs
lola: 605373 markings, 1986249 edges, 10110 markings/sec, 55 secs
lola: 655676 markings, 2159089 edges, 10061 markings/sec, 60 secs
lola: 706068 markings, 2329793 edges, 10078 markings/sec, 65 secs
lola: 756880 markings, 2492296 edges, 10162 markings/sec, 70 secs
lola: 807147 markings, 2654660 edges, 10053 markings/sec, 75 secs
lola: 857454 markings, 2821879 edges, 10061 markings/sec, 80 secs
lola: 907770 markings, 2993143 edges, 10063 markings/sec, 85 secs
lola: 958267 markings, 3155594 edges, 10099 markings/sec, 90 secs
lola: 1008887 markings, 3321778 edges, 10124 markings/sec, 95 secs
lola: 1059391 markings, 3486021 edges, 10101 markings/sec, 100 secs
lola: 1109686 markings, 3655206 edges, 10059 markings/sec, 105 secs
lola: 1159648 markings, 3824024 edges, 9992 markings/sec, 110 secs
lola: 1209887 markings, 3994007 edges, 10048 markings/sec, 115 secs
lola: 1260210 markings, 4166754 edges, 10065 markings/sec, 120 secs
lola: 1309746 markings, 4350302 edges, 9907 markings/sec, 125 secs
lola: 1359937 markings, 4521410 edges, 10038 markings/sec, 130 secs
lola: 1410179 markings, 4689661 edges, 10048 markings/sec, 135 secs
lola: 1460379 markings, 4860089 edges, 10040 markings/sec, 140 secs
lola: 1510591 markings, 5035729 edges, 10042 markings/sec, 145 secs
lola: 1560896 markings, 5206977 edges, 10061 markings/sec, 150 secs
lola: 1610974 markings, 5386019 edges, 10016 markings/sec, 155 secs
lola: 1660874 markings, 5568707 edges, 9980 markings/sec, 160 secs
lola: 1711398 markings, 5735247 edges, 10105 markings/sec, 165 secs
lola: 1761275 markings, 5914374 edges, 9975 markings/sec, 170 secs
lola: 1811357 markings, 6087220 edges, 10016 markings/sec, 175 secs
lola: 1861532 markings, 6261643 edges, 10035 markings/sec, 180 secs
lola: 1911444 markings, 6438400 edges, 9982 markings/sec, 185 secs
lola: 1961696 markings, 6613544 edges, 10050 markings/sec, 190 secs
lola: 2011676 markings, 6787898 edges, 9996 markings/sec, 195 secs
lola: 2061883 markings, 6953118 edges, 10041 markings/sec, 200 secs
lola: 2112080 markings, 7119795 edges, 10039 markings/sec, 205 secs
lola: 2162005 markings, 7290945 edges, 9985 markings/sec, 210 secs
lola: 2212211 markings, 7458039 edges, 10041 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: 664068 KB
lola: time consumption: 1562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_19_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_19_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 48971 markings, 169104 edges, 9794 markings/sec, 0 secs
lola: 99197 markings, 344569 edges, 10045 markings/sec, 5 secs
lola: 149489 markings, 520322 edges, 10058 markings/sec, 10 secs
lola: 199591 markings, 695899 edges, 10020 markings/sec, 15 secs
lola: 249218 markings, 875865 edges, 9925 markings/sec, 20 secs
lola: 299544 markings, 1045671 edges, 10065 markings/sec, 25 secs
lola: 349728 markings, 1216370 edges, 10037 markings/sec, 30 secs
lola: 400168 markings, 1384004 edges, 10088 markings/sec, 35 secs
lola: 450715 markings, 1552981 edges, 10109 markings/sec, 40 secs
lola: 501081 markings, 1725239 edges, 10073 markings/sec, 45 secs
lola: 551421 markings, 1895322 edges, 10068 markings/sec, 50 secs
lola: 601430 markings, 2073221 edges, 10002 markings/sec, 55 secs
lola: 651780 markings, 2253016 edges, 10070 markings/sec, 60 secs
lola: 701041 markings, 2422487 edges, 9852 markings/sec, 65 secs
lola: 750963 markings, 2595940 edges, 9984 markings/sec, 70 secs
lola: 800829 markings, 2770602 edges, 9973 markings/sec, 75 secs
lola: 850444 markings, 2944130 edges, 9923 markings/sec, 80 secs
lola: 899848 markings, 3117594 edges, 9881 markings/sec, 85 secs
lola: 949095 markings, 3296161 edges, 9849 markings/sec, 90 secs
lola: 998796 markings, 3461709 edges, 9940 markings/sec, 95 secs
lola: 1048011 markings, 3635192 edges, 9843 markings/sec, 100 secs
lola: 1097778 markings, 3806119 edges, 9953 markings/sec, 105 secs
lola: 1147551 markings, 3979308 edges, 9955 markings/sec, 110 secs
lola: 1196895 markings, 4153421 edges, 9869 markings/sec, 115 secs
lola: 1246535 markings, 4327142 edges, 9928 markings/sec, 120 secs
lola: 1296296 markings, 4496091 edges, 9952 markings/sec, 125 secs
lola: 1346083 markings, 4664094 edges, 9957 markings/sec, 130 secs
lola: 1395499 markings, 4839662 edges, 9883 markings/sec, 135 secs
lola: 1445714 markings, 5000846 edges, 10043 markings/sec, 140 secs
lola: 1495640 markings, 5168162 edges, 9985 markings/sec, 145 secs
lola: 1545610 markings, 5335810 edges, 9994 markings/sec, 150 secs
lola: 1595628 markings, 5501293 edges, 10004 markings/sec, 155 secs
lola: 1645435 markings, 5666430 edges, 9961 markings/sec, 160 secs
lola: 1694889 markings, 5841685 edges, 9891 markings/sec, 165 secs
lola: 1744851 markings, 6011108 edges, 9992 markings/sec, 170 secs
lola: 1794874 markings, 6179425 edges, 10005 markings/sec, 175 secs
lola: 1844815 markings, 6349683 edges, 9988 markings/sec, 180 secs
lola: 1894001 markings, 6515253 edges, 9837 markings/sec, 185 secs
lola: 1943241 markings, 6683985 edges, 9848 markings/sec, 190 secs
lola: 1992290 markings, 6856138 edges, 9810 markings/sec, 195 secs
lola: 2042021 markings, 7024075 edges, 9946 markings/sec, 200 secs
lola: 2092264 markings, 7190057 edges, 10049 markings/sec, 205 secs
lola: 2141789 markings, 7362889 edges, 9905 markings/sec, 210 secs
lola: 2191824 markings, 7530848 edges, 10007 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: 620068 KB
lola: time consumption: 1785 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 50385 markings, 172014 edges, 10077 markings/sec, 0 secs
lola: 100788 markings, 350719 edges, 10081 markings/sec, 5 secs
lola: 151719 markings, 534866 edges, 10186 markings/sec, 10 secs
lola: 202126 markings, 716116 edges, 10081 markings/sec, 15 secs
lola: 252581 markings, 895618 edges, 10091 markings/sec, 20 secs
lola: 303067 markings, 1078303 edges, 10097 markings/sec, 25 secs
lola: 353000 markings, 1256141 edges, 9987 markings/sec, 30 secs
lola: 403130 markings, 1436349 edges, 10026 markings/sec, 35 secs
lola: 453033 markings, 1615989 edges, 9981 markings/sec, 40 secs
lola: 502829 markings, 1795573 edges, 9959 markings/sec, 45 secs
lola: 552172 markings, 1980699 edges, 9869 markings/sec, 50 secs
lola: 600774 markings, 2155886 edges, 9720 markings/sec, 55 secs
lola: 650853 markings, 2336441 edges, 10016 markings/sec, 60 secs
lola: 700839 markings, 2516520 edges, 9997 markings/sec, 65 secs
lola: 750637 markings, 2696349 edges, 9960 markings/sec, 70 secs
lola: 800857 markings, 2874324 edges, 10044 markings/sec, 75 secs
lola: 850969 markings, 3058318 edges, 10022 markings/sec, 80 secs
lola: 900727 markings, 3240473 edges, 9952 markings/sec, 85 secs
lola: 950238 markings, 3423080 edges, 9902 markings/sec, 90 secs
lola: 999643 markings, 3598981 edges, 9881 markings/sec, 95 secs
lola: 1049948 markings, 3777418 edges, 10061 markings/sec, 100 secs
lola: 1100346 markings, 3958329 edges, 10080 markings/sec, 105 secs
lola: 1149606 markings, 4137245 edges, 9852 markings/sec, 110 secs
lola: 1198673 markings, 4313290 edges, 9813 markings/sec, 115 secs
lola: 1248143 markings, 4494471 edges, 9894 markings/sec, 120 secs
lola: 1297217 markings, 4680290 edges, 9815 markings/sec, 125 secs
lola: 1347300 markings, 4862282 edges, 10017 markings/sec, 130 secs
lola: 1397138 markings, 5043253 edges, 9968 markings/sec, 135 secs
lola: 1446874 markings, 5220947 edges, 9947 markings/sec, 140 secs
lola: 1496433 markings, 5401673 edges, 9912 markings/sec, 145 secs
lola: 1547497 markings, 5585735 edges, 10213 markings/sec, 150 secs
lola: 1597692 markings, 5763106 edges, 10039 markings/sec, 155 secs
lola: 1644960 markings, 5926593 edges, 9454 markings/sec, 160 secs
lola: 1695561 markings, 6112476 edges, 10120 markings/sec, 165 secs
lola: 1746036 markings, 6300480 edges, 10095 markings/sec, 170 secs
lola: 1796408 markings, 6486428 edges, 10074 markings/sec, 175 secs
lola: 1846632 markings, 6670544 edges, 10045 markings/sec, 180 secs
lola: 1897087 markings, 6852566 edges, 10091 markings/sec, 185 secs
lola: 1947219 markings, 7032630 edges, 10026 markings/sec, 190 secs
lola: 1997517 markings, 7215096 edges, 10060 markings/sec, 195 secs
lola: 2048338 markings, 7397161 edges, 10164 markings/sec, 200 secs
lola: 2098938 markings, 7578732 edges, 10120 markings/sec, 205 secs
lola: 2149289 markings, 7758246 edges, 10070 markings/sec, 210 secs
lola: 2200096 markings, 7942050 edges, 10161 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: 613656 KB
lola: time consumption: 2008 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_15_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 50111 markings, 172821 edges, 10022 markings/sec, 0 secs
lola: 101015 markings, 342392 edges, 10181 markings/sec, 5 secs
lola: 152048 markings, 509614 edges, 10207 markings/sec, 10 secs
lola: 202823 markings, 680065 edges, 10155 markings/sec, 15 secs
lola: 253905 markings, 849188 edges, 10216 markings/sec, 20 secs
lola: 305066 markings, 1016585 edges, 10232 markings/sec, 25 secs
lola: 356233 markings, 1183040 edges, 10233 markings/sec, 30 secs
lola: 406619 markings, 1353682 edges, 10077 markings/sec, 35 secs
lola: 457091 markings, 1526614 edges, 10094 markings/sec, 40 secs
lola: 507943 markings, 1693055 edges, 10170 markings/sec, 45 secs
lola: 558523 markings, 1862935 edges, 10116 markings/sec, 50 secs
lola: 609125 markings, 2034445 edges, 10120 markings/sec, 55 secs
lola: 659958 markings, 2206066 edges, 10167 markings/sec, 60 secs
lola: 710739 markings, 2378676 edges, 10156 markings/sec, 65 secs
lola: 761983 markings, 2547172 edges, 10249 markings/sec, 70 secs
lola: 812467 markings, 2712531 edges, 10097 markings/sec, 75 secs
lola: 863516 markings, 2879906 edges, 10210 markings/sec, 80 secs
lola: 914220 markings, 3048871 edges, 10141 markings/sec, 85 secs
lola: 965240 markings, 3216357 edges, 10204 markings/sec, 90 secs
lola: 1016343 markings, 3381740 edges, 10221 markings/sec, 95 secs
lola: 1066952 markings, 3549664 edges, 10122 markings/sec, 100 secs
lola: 1117524 markings, 3719852 edges, 10114 markings/sec, 105 secs
lola: 1168355 markings, 3890412 edges, 10166 markings/sec, 110 secs
lola: 1219124 markings, 4057702 edges, 10154 markings/sec, 115 secs
lola: 1270215 markings, 4225134 edges, 10218 markings/sec, 120 secs
lola: 1320888 markings, 4391309 edges, 10135 markings/sec, 125 secs
lola: 1371166 markings, 4564199 edges, 10056 markings/sec, 130 secs
lola: 1421569 markings, 4734322 edges, 10081 markings/sec, 135 secs
lola: 1472167 markings, 4901869 edges, 10120 markings/sec, 140 secs
lola: 1522527 markings, 5074169 edges, 10072 markings/sec, 145 secs
lola: 1573074 markings, 5244580 edges, 10109 markings/sec, 150 secs
lola: 1623522 markings, 5412440 edges, 10090 markings/sec, 155 secs
lola: 1674114 markings, 5581884 edges, 10118 markings/sec, 160 secs
lola: 1724598 markings, 5751991 edges, 10097 markings/sec, 165 secs
lola: 1774985 markings, 5922370 edges, 10077 markings/sec, 170 secs
lola: 1826008 markings, 6089274 edges, 10205 markings/sec, 175 secs
lola: 1876985 markings, 6258801 edges, 10195 markings/sec, 180 secs
lola: 1928141 markings, 6427041 edges, 10231 markings/sec, 185 secs
lola: 1978476 markings, 6598852 edges, 10067 markings/sec, 190 secs
lola: 2029133 markings, 6765753 edges, 10131 markings/sec, 195 secs
lola: 2079422 markings, 6939929 edges, 10058 markings/sec, 200 secs
lola: 2130348 markings, 7116986 edges, 10185 markings/sec, 205 secs
lola: 2181652 markings, 7284952 edges, 10261 markings/sec, 210 secs
lola: 2232605 markings, 7456064 edges, 10191 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: 628800 KB
lola: time consumption: 2231 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__11_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 49963 markings, 169797 edges, 9993 markings/sec, 0 secs
lola: 100055 markings, 340484 edges, 10018 markings/sec, 5 secs
lola: 150504 markings, 511275 edges, 10090 markings/sec, 10 secs
lola: 200803 markings, 684431 edges, 10060 markings/sec, 15 secs
lola: 250779 markings, 861166 edges, 9995 markings/sec, 20 secs
lola: 301314 markings, 1028593 edges, 10107 markings/sec, 25 secs
lola: 351277 markings, 1205750 edges, 9993 markings/sec, 30 secs
lola: 401575 markings, 1378311 edges, 10060 markings/sec, 35 secs
lola: 451908 markings, 1549216 edges, 10067 markings/sec, 40 secs
lola: 502312 markings, 1719539 edges, 10081 markings/sec, 45 secs
lola: 552630 markings, 1890319 edges, 10064 markings/sec, 50 secs
lola: 602706 markings, 2066105 edges, 10015 markings/sec, 55 secs
lola: 652525 markings, 2241037 edges, 9964 markings/sec, 60 secs
lola: 702758 markings, 2411719 edges, 10047 markings/sec, 65 secs
lola: 752896 markings, 2587391 edges, 10028 markings/sec, 70 secs
lola: 803001 markings, 2762923 edges, 10021 markings/sec, 75 secs
lola: 853284 markings, 2934106 edges, 10057 markings/sec, 80 secs
lola: 903325 markings, 3108349 edges, 10008 markings/sec, 85 secs
lola: 953523 markings, 3280875 edges, 10040 markings/sec, 90 secs
lola: 1003679 markings, 3451930 edges, 10031 markings/sec, 95 secs
lola: 1053104 markings, 3634793 edges, 9885 markings/sec, 100 secs
lola: 1103361 markings, 3806934 edges, 10051 markings/sec, 105 secs
lola: 1153471 markings, 3987007 edges, 10022 markings/sec, 110 secs
lola: 1203545 markings, 4162857 edges, 10015 markings/sec, 115 secs
lola: 1253687 markings, 4337200 edges, 10028 markings/sec, 120 secs
lola: 1303700 markings, 4512997 edges, 10003 markings/sec, 125 secs
lola: 1354200 markings, 4681948 edges, 10100 markings/sec, 130 secs
lola: 1401135 markings, 4846525 edges, 9387 markings/sec, 135 secs
lola: 1447845 markings, 5014594 edges, 9342 markings/sec, 140 secs
lola: 1497655 markings, 5191123 edges, 9962 markings/sec, 145 secs
lola: 1548119 markings, 5363527 edges, 10093 markings/sec, 150 secs
lola: 1598225 markings, 5536933 edges, 10021 markings/sec, 155 secs
lola: 1648215 markings, 5716840 edges, 9998 markings/sec, 160 secs
lola: 1698255 markings, 5896118 edges, 10008 markings/sec, 165 secs
lola: 1748423 markings, 6067621 edges, 10034 markings/sec, 170 secs
lola: 1798922 markings, 6243989 edges, 10100 markings/sec, 175 secs
lola: 1849515 markings, 6414487 edges, 10119 markings/sec, 180 secs
lola: 1899899 markings, 6588292 edges, 10077 markings/sec, 185 secs
lola: 1950220 markings, 6759125 edges, 10064 markings/sec, 190 secs
lola: 2000552 markings, 6930451 edges, 10066 markings/sec, 195 secs
lola: 2049142 markings, 7100555 edges, 9718 markings/sec, 200 secs
lola: 2096696 markings, 7264143 edges, 9511 markings/sec, 205 secs
lola: 2146674 markings, 7438916 edges, 9996 markings/sec, 210 secs
lola: 2196715 markings, 7614913 edges, 10008 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: 627252 KB
lola: time consumption: 2454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_7_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 51048 markings, 148435 edges, 10210 markings/sec, 0 secs
lola: 102384 markings, 307173 edges, 10267 markings/sec, 5 secs
lola: 154411 markings, 455466 edges, 10405 markings/sec, 10 secs
lola: 206320 markings, 603698 edges, 10382 markings/sec, 15 secs
lola: 258371 markings, 751439 edges, 10410 markings/sec, 20 secs
lola: 310236 markings, 906865 edges, 10373 markings/sec, 25 secs
lola: 362285 markings, 1059028 edges, 10410 markings/sec, 30 secs
lola: 414279 markings, 1205904 edges, 10399 markings/sec, 35 secs
lola: 466033 markings, 1353713 edges, 10351 markings/sec, 40 secs
lola: 518011 markings, 1501848 edges, 10396 markings/sec, 45 secs
lola: 569996 markings, 1650457 edges, 10397 markings/sec, 50 secs
lola: 621835 markings, 1799338 edges, 10368 markings/sec, 55 secs
lola: 673829 markings, 1945476 edges, 10399 markings/sec, 60 secs
lola: 725659 markings, 2097195 edges, 10366 markings/sec, 65 secs
lola: 777801 markings, 2244429 edges, 10428 markings/sec, 70 secs
lola: 829803 markings, 2394606 edges, 10400 markings/sec, 75 secs
lola: 881755 markings, 2545331 edges, 10390 markings/sec, 80 secs
lola: 933770 markings, 2692335 edges, 10403 markings/sec, 85 secs
lola: 985684 markings, 2839479 edges, 10383 markings/sec, 90 secs
lola: 1037499 markings, 2986354 edges, 10363 markings/sec, 95 secs
lola: 1089480 markings, 3134777 edges, 10396 markings/sec, 100 secs
lola: 1141586 markings, 3282101 edges, 10421 markings/sec, 105 secs
lola: 1193695 markings, 3429973 edges, 10422 markings/sec, 110 secs
lola: 1245615 markings, 3579491 edges, 10384 markings/sec, 115 secs
lola: 1297828 markings, 3724960 edges, 10443 markings/sec, 120 secs
lola: 1349805 markings, 3873487 edges, 10395 markings/sec, 125 secs
lola: 1401698 markings, 4020920 edges, 10379 markings/sec, 130 secs
lola: 1453494 markings, 4170251 edges, 10359 markings/sec, 135 secs
lola: 1505505 markings, 4314710 edges, 10402 markings/sec, 140 secs
lola: 1557437 markings, 4462537 edges, 10386 markings/sec, 145 secs
lola: 1609220 markings, 4609556 edges, 10357 markings/sec, 150 secs
lola: 1660986 markings, 4755941 edges, 10353 markings/sec, 155 secs
lola: 1712628 markings, 4901924 edges, 10328 markings/sec, 160 secs
lola: 1764335 markings, 5045284 edges, 10341 markings/sec, 165 secs
lola: 1815894 markings, 5193844 edges, 10312 markings/sec, 170 secs
lola: 1867710 markings, 5339898 edges, 10363 markings/sec, 175 secs
lola: 1919606 markings, 5486274 edges, 10379 markings/sec, 180 secs
lola: 1971443 markings, 5631953 edges, 10367 markings/sec, 185 secs
lola: 2023322 markings, 5778045 edges, 10376 markings/sec, 190 secs
lola: 2075046 markings, 5925846 edges, 10345 markings/sec, 195 secs
lola: 2126806 markings, 6074868 edges, 10352 markings/sec, 200 secs
lola: 2178838 markings, 6221392 edges, 10406 markings/sec, 205 secs
lola: 2230877 markings, 6367540 edges, 10408 markings/sec, 210 secs
lola: 2282790 markings, 6513962 edges, 10383 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: 767700 KB
lola: time consumption: 2677 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__13_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__13_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 51858 markings, 143139 edges, 10372 markings/sec, 0 secs
lola: 103998 markings, 297470 edges, 10428 markings/sec, 5 secs
lola: 156223 markings, 447475 edges, 10445 markings/sec, 10 secs
lola: 208083 markings, 610083 edges, 10372 markings/sec, 15 secs
lola: 259881 markings, 772058 edges, 10360 markings/sec, 20 secs
lola: 312499 markings, 914615 edges, 10524 markings/sec, 25 secs
lola: 365598 markings, 1046025 edges, 10620 markings/sec, 30 secs
lola: 418694 markings, 1177334 edges, 10619 markings/sec, 35 secs
lola: 471832 markings, 1308837 edges, 10628 markings/sec, 40 secs
lola: 524972 markings, 1440328 edges, 10628 markings/sec, 45 secs
lola: 578140 markings, 1571852 edges, 10634 markings/sec, 50 secs
lola: 631319 markings, 1703475 edges, 10636 markings/sec, 55 secs
lola: 684043 markings, 1833932 edges, 10545 markings/sec, 60 secs
lola: 737194 markings, 1965486 edges, 10630 markings/sec, 65 secs
lola: 790385 markings, 2097120 edges, 10638 markings/sec, 70 secs
lola: 843536 markings, 2228695 edges, 10630 markings/sec, 75 secs
lola: 896744 markings, 2360552 edges, 10642 markings/sec, 80 secs
lola: 948503 markings, 2523567 edges, 10352 markings/sec, 85 secs
lola: 1000326 markings, 2683085 edges, 10365 markings/sec, 90 secs
lola: 1052154 markings, 2848057 edges, 10366 markings/sec, 95 secs
lola: 1105050 markings, 2978884 edges, 10579 markings/sec, 100 secs
lola: 1157850 markings, 3109457 edges, 10560 markings/sec, 105 secs
lola: 1210675 markings, 3240213 edges, 10565 markings/sec, 110 secs
lola: 1263581 markings, 3371105 edges, 10581 markings/sec, 115 secs
lola: 1316452 markings, 3501930 edges, 10574 markings/sec, 120 secs
lola: 1369369 markings, 3632832 edges, 10583 markings/sec, 125 secs
lola: 1422276 markings, 3763767 edges, 10581 markings/sec, 130 secs
lola: 1475204 markings, 3894722 edges, 10586 markings/sec, 135 secs
lola: 1528158 markings, 4025789 edges, 10591 markings/sec, 140 secs
lola: 1581130 markings, 4156900 edges, 10594 markings/sec, 145 secs
lola: 1634141 markings, 4288168 edges, 10602 markings/sec, 150 secs
lola: 1686486 markings, 4434788 edges, 10469 markings/sec, 155 secs
lola: 1739638 markings, 4568284 edges, 10630 markings/sec, 160 secs
lola: 1792806 markings, 4699883 edges, 10634 markings/sec, 165 secs
lola: 1845975 markings, 4831384 edges, 10634 markings/sec, 170 secs
lola: 1899153 markings, 4962944 edges, 10636 markings/sec, 175 secs
lola: 1952349 markings, 5094559 edges, 10639 markings/sec, 180 secs
lola: 2005552 markings, 5226249 edges, 10641 markings/sec, 185 secs
lola: 2058769 markings, 5357905 edges, 10643 markings/sec, 190 secs
lola: 2111958 markings, 5489552 edges, 10638 markings/sec, 195 secs
lola: 2165155 markings, 5621203 edges, 10639 markings/sec, 200 secs
lola: 2218348 markings, 5752833 edges, 10639 markings/sec, 205 secs
lola: 2271509 markings, 5884472 edges, 10632 markings/sec, 210 secs
lola: 2324271 markings, 6025955 edges, 10552 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: 626968 KB
lola: time consumption: 2900 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 49559 markings, 174415 edges, 9912 markings/sec, 0 secs
lola: 99979 markings, 345131 edges, 10084 markings/sec, 5 secs
lola: 149832 markings, 514471 edges, 9971 markings/sec, 10 secs
lola: 199638 markings, 686798 edges, 9961 markings/sec, 15 secs
lola: 249295 markings, 860654 edges, 9931 markings/sec, 20 secs
lola: 298912 markings, 1037979 edges, 9923 markings/sec, 25 secs
lola: 349817 markings, 1202960 edges, 10181 markings/sec, 30 secs
lola: 400162 markings, 1372191 edges, 10069 markings/sec, 35 secs
lola: 450149 markings, 1544719 edges, 9997 markings/sec, 40 secs
lola: 500533 markings, 1706608 edges, 10077 markings/sec, 45 secs
lola: 550620 markings, 1874819 edges, 10017 markings/sec, 50 secs
lola: 600579 markings, 2048521 edges, 9992 markings/sec, 55 secs
lola: 650329 markings, 2226593 edges, 9950 markings/sec, 60 secs
lola: 701249 markings, 2376087 edges, 10184 markings/sec, 65 secs
lola: 751984 markings, 2531310 edges, 10147 markings/sec, 70 secs
lola: 802752 markings, 2687159 edges, 10154 markings/sec, 75 secs
lola: 853194 markings, 2854352 edges, 10088 markings/sec, 80 secs
lola: 903388 markings, 3023534 edges, 10039 markings/sec, 85 secs
lola: 953837 markings, 3183740 edges, 10090 markings/sec, 90 secs
lola: 1004077 markings, 3347017 edges, 10048 markings/sec, 95 secs
lola: 1053748 markings, 3512524 edges, 9934 markings/sec, 100 secs
lola: 1102924 markings, 3666437 edges, 9835 markings/sec, 105 secs
lola: 1153014 markings, 3828880 edges, 10018 markings/sec, 110 secs
lola: 1203165 markings, 3993344 edges, 10030 markings/sec, 115 secs
lola: 1253574 markings, 4159113 edges, 10082 markings/sec, 120 secs
lola: 1304581 markings, 4320336 edges, 10201 markings/sec, 125 secs
lola: 1355502 markings, 4485178 edges, 10184 markings/sec, 130 secs
lola: 1405702 markings, 4657270 edges, 10040 markings/sec, 135 secs
lola: 1455644 markings, 4832308 edges, 9988 markings/sec, 140 secs
lola: 1505378 markings, 5001475 edges, 9947 markings/sec, 145 secs
lola: 1555292 markings, 5166088 edges, 9983 markings/sec, 150 secs
lola: 1605046 markings, 5322768 edges, 9951 markings/sec, 155 secs
lola: 1654273 markings, 5489127 edges, 9845 markings/sec, 160 secs
lola: 1703606 markings, 5657003 edges, 9867 markings/sec, 165 secs
lola: 1753036 markings, 5817465 edges, 9886 markings/sec, 170 secs
lola: 1802229 markings, 5985760 edges, 9839 markings/sec, 175 secs
lola: 1851644 markings, 6156507 edges, 9883 markings/sec, 180 secs
lola: 1900916 markings, 6317282 edges, 9854 markings/sec, 185 secs
lola: 1950187 markings, 6484132 edges, 9854 markings/sec, 190 secs
lola: 1999391 markings, 6651343 edges, 9841 markings/sec, 195 secs
lola: 2046863 markings, 6806176 edges, 9494 markings/sec, 200 secs
lola: 2091057 markings, 6958878 edges, 8839 markings/sec, 205 secs
lola: 2134878 markings, 7106958 edges, 8764 markings/sec, 210 secs
lola: 2177688 markings, 7255773 edges, 8562 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: 583580 KB
lola: time consumption: 3123 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 45307 markings, 152703 edges, 9061 markings/sec, 0 secs
lola: 91331 markings, 300795 edges, 9205 markings/sec, 5 secs
lola: 139881 markings, 451122 edges, 9710 markings/sec, 10 secs
lola: 187789 markings, 599071 edges, 9582 markings/sec, 15 secs
lola: 236813 markings, 746896 edges, 9805 markings/sec, 20 secs
lola: 284039 markings, 894331 edges, 9445 markings/sec, 25 secs
lola: 332412 markings, 1040145 edges, 9675 markings/sec, 30 secs
lola: 379277 markings, 1186512 edges, 9373 markings/sec, 35 secs
lola: 428391 markings, 1332990 edges, 9823 markings/sec, 40 secs
lola: 478850 markings, 1485118 edges, 10092 markings/sec, 45 secs
lola: 529597 markings, 1638940 edges, 10149 markings/sec, 50 secs
lola: 580255 markings, 1793269 edges, 10132 markings/sec, 55 secs
lola: 630603 markings, 1946766 edges, 10070 markings/sec, 60 secs
lola: 681098 markings, 2096739 edges, 10099 markings/sec, 65 secs
lola: 731428 markings, 2248804 edges, 10066 markings/sec, 70 secs
lola: 781916 markings, 2404439 edges, 10098 markings/sec, 75 secs
lola: 832123 markings, 2556120 edges, 10041 markings/sec, 80 secs
lola: 882290 markings, 2712737 edges, 10033 markings/sec, 85 secs
lola: 932410 markings, 2868489 edges, 10024 markings/sec, 90 secs
lola: 982228 markings, 3026413 edges, 9964 markings/sec, 95 secs
lola: 1033129 markings, 3181961 edges, 10180 markings/sec, 100 secs
lola: 1084085 markings, 3337527 edges, 10191 markings/sec, 105 secs
lola: 1134768 markings, 3496892 edges, 10137 markings/sec, 110 secs
lola: 1185829 markings, 3652280 edges, 10212 markings/sec, 115 secs
lola: 1236071 markings, 3803489 edges, 10048 markings/sec, 120 secs
lola: 1286215 markings, 3957888 edges, 10029 markings/sec, 125 secs
lola: 1336300 markings, 4115134 edges, 10017 markings/sec, 130 secs
lola: 1387181 markings, 4271876 edges, 10176 markings/sec, 135 secs
lola: 1437479 markings, 4430595 edges, 10060 markings/sec, 140 secs
lola: 1488042 markings, 4582178 edges, 10113 markings/sec, 145 secs
lola: 1538364 markings, 4735640 edges, 10064 markings/sec, 150 secs
lola: 1588380 markings, 4896848 edges, 10003 markings/sec, 155 secs
lola: 1638692 markings, 5049068 edges, 10062 markings/sec, 160 secs
lola: 1689708 markings, 5203292 edges, 10203 markings/sec, 165 secs
lola: 1740233 markings, 5361193 edges, 10105 markings/sec, 170 secs
lola: 1790825 markings, 5513920 edges, 10118 markings/sec, 175 secs
lola: 1841516 markings, 5673241 edges, 10138 markings/sec, 180 secs
lola: 1891733 markings, 5832709 edges, 10043 markings/sec, 185 secs
lola: 1942145 markings, 5987225 edges, 10082 markings/sec, 190 secs
lola: 1992288 markings, 6142383 edges, 10029 markings/sec, 195 secs
lola: 2042395 markings, 6292220 edges, 10021 markings/sec, 200 secs
lola: 2092613 markings, 6441756 edges, 10044 markings/sec, 205 secs
lola: 2142773 markings, 6593396 edges, 10032 markings/sec, 210 secs
lola: 2192459 markings, 6744982 edges, 9937 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: 659988 KB
lola: time consumption: 3346 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 224 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__18_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__18_20_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D20N150-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: 150
lola: 50773 markings, 159278 edges, 10155 markings/sec, 0 secs
lola: 102324 markings, 322279 edges, 10310 markings/sec, 5 secs
lola: 153760 markings, 484339 edges, 10287 markings/sec, 10 secs
lola: 205082 markings, 650239 edges, 10264 markings/sec, 15 secs
lola: 256184 markings, 820376 edges, 10220 markings/sec, 20 secs
lola: 307562 markings, 985075 edges, 10276 markings/sec, 25 secs
lola: 359151 markings, 1147049 edges, 10318 markings/sec, 30 secs
lola: 410351 markings, 1310593 edges, 10240 markings/sec, 35 secs
lola: 461560 markings, 1472169 edges, 10242 markings/sec, 40 secs
lola: 512596 markings, 1633113 edges, 10207 markings/sec, 45 secs
lola: 563806 markings, 1793983 edges, 10242 markings/sec, 50 secs
lola: 615061 markings, 1954891 edges, 10251 markings/sec, 55 secs
lola: 666100 markings, 2115109 edges, 10208 markings/sec, 60 secs
lola: 717143 markings, 2276443 edges, 10209 markings/sec, 65 secs
lola: 768062 markings, 2436578 edges, 10184 markings/sec, 70 secs
lola: 819322 markings, 2598170 edges, 10252 markings/sec, 75 secs
lola: 870524 markings, 2759122 edges, 10240 markings/sec, 80 secs
lola: 921462 markings, 2923940 edges, 10188 markings/sec, 85 secs
lola: 972557 markings, 3089427 edges, 10219 markings/sec, 90 secs
lola: 1023766 markings, 3251854 edges, 10242 markings/sec, 95 secs
lola: 1074482 markings, 3418158 edges, 10143 markings/sec, 100 secs
lola: 1125634 markings, 3581069 edges, 10230 markings/sec, 105 secs
lola: 1176935 markings, 3739414 edges, 10260 markings/sec, 110 secs
lola: 1228197 markings, 3899360 edges, 10252 markings/sec, 115 secs
lola: 1279390 markings, 4060425 edges, 10239 markings/sec, 120 secs
lola: 1330455 markings, 4222735 edges, 10213 markings/sec, 125 secs
lola: 1381552 markings, 4384047 edges, 10219 markings/sec, 130 secs
lola: 1432992 markings, 4542797 edges, 10288 markings/sec, 135 secs
lola: 1484422 markings, 4704766 edges, 10286 markings/sec, 140 secs
lola: 1535487 markings, 4869550 edges, 10213 markings/sec, 145 secs
lola: 1586180 markings, 5032109 edges, 10139 markings/sec, 150 secs
lola: 1637687 markings, 5196209 edges, 10301 markings/sec, 155 secs
lola: 1689203 markings, 5362223 edges, 10303 markings/sec, 160 secs
lola: 1739861 markings, 5522003 edges, 10132 markings/sec, 165 secs
lola: 1790153 markings, 5685104 edges, 10058 markings/sec, 170 secs
lola: 1841210 markings, 5848800 edges, 10211 markings/sec, 175 secs
lola: 1892938 markings, 6008044 edges, 10346 markings/sec, 180 secs
lola: 1944115 markings, 6170640 edges, 10235 markings/sec, 185 secs
lola: 1995321 markings, 6335986 edges, 10241 markings/sec, 190 secs
lola: 2046448 markings, 6497969 edges, 10225 markings/sec, 195 secs
lola: 2097502 markings, 6664189 edges, 10211 markings/sec, 200 secs
lola: 2149010 markings, 6830504 edges, 10302 markings/sec, 205 secs
lola: 2200788 markings, 6995628 edges, 10356 markings/sec, 210 secs
lola: 2252017 markings, 7161071 edges, 10246 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 690080 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 690080 KB
lola: time consumption: 3570 seconds

BK_STOP 1526683749209

--------------------
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="Diffusion2D-PT-D20N150"
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/Diffusion2D-PT-D20N150.tgz
mv Diffusion2D-PT-D20N150 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 Diffusion2D-PT-D20N150, 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 r076-blw3-152649937000226"
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 ;