Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r066-ebro-155234666500085.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Diffusion2D-PT-D50N150, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666500085
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.5M
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 23:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 07:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 3 07:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 30 23:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 8 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 7.3M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1552925624367

info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D50N150 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D50N150 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D50N150 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 21904/65536 symbol table entries, 8280 collisions
lola: preprocessing...
lola: Size of bit vector: 80000
lola: finding significant places
lola: 2500 places, 19404 transitions, 2499 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2500 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D50N150-UpperBounds.task
lola: MAX(cAMP__34_3_) : MAX(cAMP__11_10_) : MAX(cAMP__47_43_) : MAX(cAMP__34_48_) : MAX(cAMP__1_40_) : MAX(cAMP__41_30_) : MAX(cAMP__4_42_) : MAX(cAMP__6_43_) : MAX(cAMP__10_10_) : MAX(cAMP__14_39_) : MAX(cAMP__19_23_) : MAX(cAMP__17_11_) : MAX(cAMP__48_3_) : MAX(cAMP__26_14_) : MAX(cAMP__26_9_) : MAX(cAMP__22_17_)
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(cAMP__34_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1732 markings, 5922 edges, 346 markings/sec, 5 secs
lola: 4117 markings, 14711 edges, 477 markings/sec, 10 secs
lola: 6514 markings, 23337 edges, 479 markings/sec, 15 secs
lola: 8922 markings, 31815 edges, 482 markings/sec, 20 secs
lola: 11335 markings, 40264 edges, 483 markings/sec, 25 secs
lola: 13733 markings, 49028 edges, 480 markings/sec, 30 secs
lola: 16119 markings, 57019 edges, 477 markings/sec, 35 secs
lola: 18545 markings, 65131 edges, 485 markings/sec, 40 secs
lola: 20975 markings, 72965 edges, 486 markings/sec, 45 secs
lola: 23410 markings, 80573 edges, 487 markings/sec, 50 secs
lola: 25846 markings, 88111 edges, 487 markings/sec, 55 secs
lola: 28278 markings, 96009 edges, 486 markings/sec, 60 secs
lola: 30699 markings, 104041 edges, 484 markings/sec, 65 secs
lola: 33114 markings, 112570 edges, 483 markings/sec, 70 secs
lola: 35525 markings, 121494 edges, 482 markings/sec, 75 secs
lola: 37955 markings, 129257 edges, 486 markings/sec, 80 secs
lola: 40393 markings, 136709 edges, 488 markings/sec, 85 secs
lola: 42825 markings, 144777 edges, 486 markings/sec, 90 secs
lola: 45262 markings, 152658 edges, 487 markings/sec, 95 secs
lola: 47673 markings, 161206 edges, 482 markings/sec, 100 secs
lola: 50082 markings, 169926 edges, 482 markings/sec, 105 secs
lola: 52506 markings, 178069 edges, 485 markings/sec, 110 secs
lola: 54941 markings, 185637 edges, 487 markings/sec, 115 secs
lola: 57369 markings, 193439 edges, 486 markings/sec, 120 secs
lola: 59789 markings, 201269 edges, 484 markings/sec, 125 secs
lola: 62191 markings, 209506 edges, 480 markings/sec, 130 secs
lola: 64592 markings, 218189 edges, 480 markings/sec, 135 secs
lola: 67011 markings, 226453 edges, 484 markings/sec, 140 secs
lola: 69449 markings, 234374 edges, 488 markings/sec, 145 secs
lola: 71912 markings, 241617 edges, 493 markings/sec, 150 secs
lola: 74360 markings, 249370 edges, 490 markings/sec, 155 secs
lola: 76787 markings, 257315 edges, 485 markings/sec, 160 secs
lola: 79201 markings, 265559 edges, 483 markings/sec, 165 secs
lola: 81591 markings, 273779 edges, 478 markings/sec, 170 secs
lola: 83993 markings, 280685 edges, 480 markings/sec, 175 secs
lola: 86396 markings, 288016 edges, 481 markings/sec, 180 secs
lola: 88824 markings, 295848 edges, 486 markings/sec, 185 secs
lola: 91206 markings, 304124 edges, 476 markings/sec, 190 secs
lola: 93624 markings, 311686 edges, 484 markings/sec, 195 secs
lola: 96041 markings, 319179 edges, 483 markings/sec, 200 secs
lola: 98458 markings, 326900 edges, 483 markings/sec, 205 secs
lola: 100854 markings, 334220 edges, 479 markings/sec, 210 secs
lola: 103243 markings, 342197 edges, 478 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: 86368 KB
lola: time consumption: 238 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(cAMP__11_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__11_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1763 markings, 6371 edges, 353 markings/sec, 5 secs
lola: 4166 markings, 14716 edges, 481 markings/sec, 10 secs
lola: 6585 markings, 23507 edges, 484 markings/sec, 15 secs
lola: 8904 markings, 32504 edges, 464 markings/sec, 20 secs
lola: 11289 markings, 41345 edges, 477 markings/sec, 25 secs
lola: 13672 markings, 49597 edges, 477 markings/sec, 30 secs
lola: 16082 markings, 58529 edges, 482 markings/sec, 35 secs
lola: 18489 markings, 66970 edges, 481 markings/sec, 40 secs
lola: 20890 markings, 75617 edges, 480 markings/sec, 45 secs
lola: 23281 markings, 85067 edges, 478 markings/sec, 50 secs
lola: 25651 markings, 93432 edges, 474 markings/sec, 55 secs
lola: 28023 markings, 101895 edges, 474 markings/sec, 60 secs
lola: 30358 markings, 110428 edges, 467 markings/sec, 65 secs
lola: 32668 markings, 118110 edges, 462 markings/sec, 70 secs
lola: 35001 markings, 125986 edges, 467 markings/sec, 75 secs
lola: 37434 markings, 134545 edges, 487 markings/sec, 80 secs
lola: 39871 markings, 143399 edges, 487 markings/sec, 85 secs
lola: 42265 markings, 151619 edges, 479 markings/sec, 90 secs
lola: 44685 markings, 159725 edges, 484 markings/sec, 95 secs
lola: 47106 markings, 167875 edges, 484 markings/sec, 100 secs
lola: 49524 markings, 176366 edges, 484 markings/sec, 105 secs
lola: 51939 markings, 184666 edges, 483 markings/sec, 110 secs
lola: 54267 markings, 193422 edges, 466 markings/sec, 115 secs
lola: 56631 markings, 202217 edges, 473 markings/sec, 120 secs
lola: 59035 markings, 211114 edges, 481 markings/sec, 125 secs
lola: 61412 markings, 219344 edges, 475 markings/sec, 130 secs
lola: 63784 markings, 228320 edges, 474 markings/sec, 135 secs
lola: 66146 markings, 236932 edges, 472 markings/sec, 140 secs
lola: 68514 markings, 245664 edges, 474 markings/sec, 145 secs
lola: 70874 markings, 254553 edges, 472 markings/sec, 150 secs
lola: 73271 markings, 262832 edges, 479 markings/sec, 155 secs
lola: 75654 markings, 271130 edges, 477 markings/sec, 160 secs
lola: 78090 markings, 280112 edges, 487 markings/sec, 165 secs
lola: 80543 markings, 288523 edges, 491 markings/sec, 170 secs
lola: 82991 markings, 296742 edges, 490 markings/sec, 175 secs
lola: 85365 markings, 304946 edges, 475 markings/sec, 180 secs
lola: 87766 markings, 313564 edges, 480 markings/sec, 185 secs
lola: 90162 markings, 321972 edges, 479 markings/sec, 190 secs
lola: 92565 markings, 330199 edges, 481 markings/sec, 195 secs
lola: 94978 markings, 338480 edges, 483 markings/sec, 200 secs
lola: 97400 markings, 347039 edges, 484 markings/sec, 205 secs
lola: 99730 markings, 355240 edges, 466 markings/sec, 210 secs
lola: 102127 markings, 363420 edges, 479 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: 87160 KB
lola: time consumption: 461 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__47_43_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__47_43_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1826 markings, 6018 edges, 365 markings/sec, 5 secs
lola: 4302 markings, 14734 edges, 495 markings/sec, 10 secs
lola: 6746 markings, 22925 edges, 489 markings/sec, 15 secs
lola: 9199 markings, 31544 edges, 491 markings/sec, 20 secs
lola: 11680 markings, 39983 edges, 496 markings/sec, 25 secs
lola: 14088 markings, 48258 edges, 482 markings/sec, 30 secs
lola: 16529 markings, 56678 edges, 488 markings/sec, 35 secs
lola: 18990 markings, 64591 edges, 492 markings/sec, 40 secs
lola: 21427 markings, 72749 edges, 487 markings/sec, 45 secs
lola: 23936 markings, 81122 edges, 502 markings/sec, 50 secs
lola: 26420 markings, 89500 edges, 497 markings/sec, 55 secs
lola: 28908 markings, 97725 edges, 498 markings/sec, 60 secs
lola: 31417 markings, 106070 edges, 502 markings/sec, 65 secs
lola: 33920 markings, 115528 edges, 501 markings/sec, 70 secs
lola: 36435 markings, 123320 edges, 503 markings/sec, 75 secs
lola: 38897 markings, 132391 edges, 492 markings/sec, 80 secs
lola: 41346 markings, 141464 edges, 490 markings/sec, 85 secs
lola: 43807 markings, 149852 edges, 492 markings/sec, 90 secs
lola: 46294 markings, 158790 edges, 497 markings/sec, 95 secs
lola: 48791 markings, 166862 edges, 499 markings/sec, 100 secs
lola: 51286 markings, 175657 edges, 499 markings/sec, 105 secs
lola: 53757 markings, 183534 edges, 494 markings/sec, 110 secs
lola: 56213 markings, 191917 edges, 491 markings/sec, 115 secs
lola: 58702 markings, 200843 edges, 498 markings/sec, 120 secs
lola: 61170 markings, 209064 edges, 494 markings/sec, 125 secs
lola: 63656 markings, 217793 edges, 497 markings/sec, 130 secs
lola: 66141 markings, 226688 edges, 497 markings/sec, 135 secs
lola: 68644 markings, 234739 edges, 501 markings/sec, 140 secs
lola: 71031 markings, 242991 edges, 477 markings/sec, 145 secs
lola: 73407 markings, 251909 edges, 475 markings/sec, 150 secs
lola: 75928 markings, 260404 edges, 504 markings/sec, 155 secs
lola: 78379 markings, 269324 edges, 490 markings/sec, 160 secs
lola: 80860 markings, 278353 edges, 496 markings/sec, 165 secs
lola: 83365 markings, 286423 edges, 501 markings/sec, 170 secs
lola: 85804 markings, 294998 edges, 488 markings/sec, 175 secs
lola: 88101 markings, 303407 edges, 459 markings/sec, 180 secs
lola: 90560 markings, 313138 edges, 492 markings/sec, 185 secs
lola: 93012 markings, 321968 edges, 490 markings/sec, 190 secs
lola: 95499 markings, 330752 edges, 497 markings/sec, 195 secs
lola: 97970 markings, 339273 edges, 494 markings/sec, 200 secs
lola: 100455 markings, 348467 edges, 497 markings/sec, 205 secs
lola: 102966 markings, 356786 edges, 502 markings/sec, 210 secs
lola: 105417 markings, 365397 edges, 490 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: 88444 KB
lola: time consumption: 683 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__34_48_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__34_48_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1786 markings, 6460 edges, 357 markings/sec, 5 secs
lola: 4213 markings, 15229 edges, 485 markings/sec, 10 secs
lola: 6636 markings, 23494 edges, 485 markings/sec, 15 secs
lola: 9046 markings, 32194 edges, 482 markings/sec, 20 secs
lola: 11454 markings, 40641 edges, 482 markings/sec, 25 secs
lola: 13840 markings, 49145 edges, 477 markings/sec, 30 secs
lola: 16266 markings, 57787 edges, 485 markings/sec, 35 secs
lola: 18660 markings, 66166 edges, 479 markings/sec, 40 secs
lola: 21076 markings, 74690 edges, 483 markings/sec, 45 secs
lola: 23451 markings, 83034 edges, 475 markings/sec, 50 secs
lola: 25864 markings, 91115 edges, 483 markings/sec, 55 secs
lola: 28256 markings, 99611 edges, 478 markings/sec, 60 secs
lola: 30669 markings, 108796 edges, 483 markings/sec, 65 secs
lola: 33123 markings, 117562 edges, 491 markings/sec, 70 secs
lola: 35583 markings, 125827 edges, 492 markings/sec, 75 secs
lola: 38028 markings, 134533 edges, 489 markings/sec, 80 secs
lola: 40468 markings, 142954 edges, 488 markings/sec, 85 secs
lola: 42920 markings, 151599 edges, 490 markings/sec, 90 secs
lola: 45327 markings, 160165 edges, 481 markings/sec, 95 secs
lola: 47777 markings, 168783 edges, 490 markings/sec, 100 secs
lola: 50228 markings, 177443 edges, 490 markings/sec, 105 secs
lola: 52610 markings, 185634 edges, 476 markings/sec, 110 secs
lola: 54977 markings, 194202 edges, 473 markings/sec, 115 secs
lola: 57320 markings, 202468 edges, 469 markings/sec, 120 secs
lola: 59711 markings, 211035 edges, 478 markings/sec, 125 secs
lola: 62126 markings, 219065 edges, 483 markings/sec, 130 secs
lola: 64553 markings, 228011 edges, 485 markings/sec, 135 secs
lola: 66980 markings, 236618 edges, 485 markings/sec, 140 secs
lola: 69386 markings, 245085 edges, 481 markings/sec, 145 secs
lola: 71736 markings, 253030 edges, 470 markings/sec, 150 secs
lola: 74139 markings, 261847 edges, 481 markings/sec, 155 secs
lola: 76545 markings, 270606 edges, 481 markings/sec, 160 secs
lola: 78972 markings, 278622 edges, 485 markings/sec, 165 secs
lola: 81394 markings, 286983 edges, 484 markings/sec, 170 secs
lola: 83760 markings, 295387 edges, 473 markings/sec, 175 secs
lola: 86156 markings, 304131 edges, 479 markings/sec, 180 secs
lola: 88540 markings, 312472 edges, 477 markings/sec, 185 secs
lola: 90992 markings, 320920 edges, 490 markings/sec, 190 secs
lola: 93435 markings, 329531 edges, 489 markings/sec, 195 secs
lola: 95888 markings, 338368 edges, 491 markings/sec, 200 secs
lola: 98282 markings, 346779 edges, 479 markings/sec, 205 secs
lola: 100693 markings, 355288 edges, 482 markings/sec, 210 secs
lola: 103103 markings, 363585 edges, 482 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: 83464 KB
lola: time consumption: 905 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__1_40_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__1_40_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1847 markings, 6567 edges, 369 markings/sec, 5 secs
lola: 4336 markings, 15001 edges, 498 markings/sec, 10 secs
lola: 6801 markings, 23435 edges, 493 markings/sec, 15 secs
lola: 9290 markings, 32062 edges, 498 markings/sec, 20 secs
lola: 11715 markings, 40494 edges, 485 markings/sec, 25 secs
lola: 14168 markings, 49068 edges, 491 markings/sec, 30 secs
lola: 16636 markings, 57745 edges, 494 markings/sec, 35 secs
lola: 19121 markings, 66337 edges, 497 markings/sec, 40 secs
lola: 21618 markings, 75048 edges, 499 markings/sec, 45 secs
lola: 24110 markings, 83795 edges, 498 markings/sec, 50 secs
lola: 26584 markings, 92428 edges, 495 markings/sec, 55 secs
lola: 29046 markings, 101208 edges, 492 markings/sec, 60 secs
lola: 31508 markings, 109688 edges, 492 markings/sec, 65 secs
lola: 33925 markings, 118087 edges, 483 markings/sec, 70 secs
lola: 36359 markings, 126035 edges, 487 markings/sec, 75 secs
lola: 38844 markings, 134819 edges, 497 markings/sec, 80 secs
lola: 41298 markings, 143317 edges, 491 markings/sec, 85 secs
lola: 43749 markings, 151809 edges, 490 markings/sec, 90 secs
lola: 46199 markings, 160043 edges, 490 markings/sec, 95 secs
lola: 48682 markings, 169293 edges, 497 markings/sec, 100 secs
lola: 51162 markings, 178670 edges, 496 markings/sec, 105 secs
lola: 53659 markings, 187209 edges, 499 markings/sec, 110 secs
lola: 56155 markings, 195397 edges, 499 markings/sec, 115 secs
lola: 58492 markings, 202808 edges, 467 markings/sec, 120 secs
lola: 60925 markings, 211479 edges, 487 markings/sec, 125 secs
lola: 63369 markings, 219495 edges, 489 markings/sec, 130 secs
lola: 65813 markings, 227607 edges, 489 markings/sec, 135 secs
lola: 68264 markings, 235776 edges, 490 markings/sec, 140 secs
lola: 70708 markings, 243854 edges, 489 markings/sec, 145 secs
lola: 73087 markings, 251807 edges, 476 markings/sec, 150 secs
lola: 75502 markings, 260494 edges, 483 markings/sec, 155 secs
lola: 77931 markings, 268637 edges, 486 markings/sec, 160 secs
lola: 80416 markings, 276869 edges, 497 markings/sec, 165 secs
lola: 82868 markings, 285367 edges, 490 markings/sec, 170 secs
lola: 85320 markings, 293581 edges, 490 markings/sec, 175 secs
lola: 87760 markings, 301619 edges, 488 markings/sec, 180 secs
lola: 90244 markings, 310270 edges, 497 markings/sec, 185 secs
lola: 92729 markings, 319021 edges, 497 markings/sec, 190 secs
lola: 95218 markings, 327450 edges, 498 markings/sec, 195 secs
lola: 97706 markings, 336494 edges, 498 markings/sec, 200 secs
lola: 100191 markings, 344674 edges, 497 markings/sec, 205 secs
lola: 102618 markings, 353150 edges, 485 markings/sec, 210 secs
lola: 105099 markings, 361347 edges, 496 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: 81692 KB
lola: time consumption: 1127 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__41_30_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__41_30_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1882 markings, 6587 edges, 376 markings/sec, 5 secs
lola: 4355 markings, 15023 edges, 495 markings/sec, 10 secs
lola: 6814 markings, 24099 edges, 492 markings/sec, 15 secs
lola: 9274 markings, 33042 edges, 492 markings/sec, 20 secs
lola: 11690 markings, 41593 edges, 483 markings/sec, 25 secs
lola: 14075 markings, 50135 edges, 477 markings/sec, 30 secs
lola: 16533 markings, 58759 edges, 492 markings/sec, 35 secs
lola: 18966 markings, 67143 edges, 487 markings/sec, 40 secs
lola: 21423 markings, 75069 edges, 491 markings/sec, 45 secs
lola: 23871 markings, 83676 edges, 490 markings/sec, 50 secs
lola: 26245 markings, 91594 edges, 475 markings/sec, 55 secs
lola: 28689 markings, 100649 edges, 489 markings/sec, 60 secs
lola: 31111 markings, 109005 edges, 484 markings/sec, 65 secs
lola: 33535 markings, 117713 edges, 485 markings/sec, 70 secs
lola: 35909 markings, 125864 edges, 475 markings/sec, 75 secs
lola: 38319 markings, 135172 edges, 482 markings/sec, 80 secs
lola: 40721 markings, 143675 edges, 480 markings/sec, 85 secs
lola: 43100 markings, 152323 edges, 476 markings/sec, 90 secs
lola: 45491 markings, 160917 edges, 478 markings/sec, 95 secs
lola: 47942 markings, 169183 edges, 490 markings/sec, 100 secs
lola: 50380 markings, 177767 edges, 488 markings/sec, 105 secs
lola: 52816 markings, 186272 edges, 487 markings/sec, 110 secs
lola: 55267 markings, 195234 edges, 490 markings/sec, 115 secs
lola: 57721 markings, 204004 edges, 491 markings/sec, 120 secs
lola: 60147 markings, 212588 edges, 485 markings/sec, 125 secs
lola: 62479 markings, 220781 edges, 466 markings/sec, 130 secs
lola: 64874 markings, 230439 edges, 479 markings/sec, 135 secs
lola: 67204 markings, 238831 edges, 466 markings/sec, 140 secs
lola: 69581 markings, 247683 edges, 475 markings/sec, 145 secs
lola: 72036 markings, 256304 edges, 491 markings/sec, 150 secs
lola: 74502 markings, 264768 edges, 493 markings/sec, 155 secs
lola: 76958 markings, 273658 edges, 491 markings/sec, 160 secs
lola: 79419 markings, 282436 edges, 492 markings/sec, 165 secs
lola: 81795 markings, 290888 edges, 475 markings/sec, 170 secs
lola: 84203 markings, 299089 edges, 482 markings/sec, 175 secs
lola: 86600 markings, 307595 edges, 479 markings/sec, 180 secs
lola: 89033 markings, 315971 edges, 487 markings/sec, 185 secs
lola: 91483 markings, 323890 edges, 490 markings/sec, 190 secs
lola: 93919 markings, 332543 edges, 487 markings/sec, 195 secs
lola: 96330 markings, 340568 edges, 482 markings/sec, 200 secs
lola: 98761 markings, 348952 edges, 486 markings/sec, 205 secs
lola: 101175 markings, 357517 edges, 483 markings/sec, 210 secs
lola: 103614 markings, 365533 edges, 488 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: 89812 KB
lola: time consumption: 1349 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__4_42_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__4_42_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1856 markings, 5940 edges, 371 markings/sec, 5 secs
lola: 4315 markings, 14456 edges, 492 markings/sec, 10 secs
lola: 6782 markings, 23160 edges, 493 markings/sec, 15 secs
lola: 9258 markings, 31727 edges, 495 markings/sec, 20 secs
lola: 11700 markings, 40123 edges, 488 markings/sec, 25 secs
lola: 14166 markings, 48864 edges, 493 markings/sec, 30 secs
lola: 16654 markings, 57472 edges, 498 markings/sec, 35 secs
lola: 19080 markings, 66010 edges, 485 markings/sec, 40 secs
lola: 21536 markings, 74494 edges, 491 markings/sec, 45 secs
lola: 24023 markings, 83136 edges, 497 markings/sec, 50 secs
lola: 26489 markings, 91651 edges, 493 markings/sec, 55 secs
lola: 28953 markings, 100005 edges, 493 markings/sec, 60 secs
lola: 31395 markings, 108149 edges, 488 markings/sec, 65 secs
lola: 33859 markings, 116951 edges, 493 markings/sec, 70 secs
lola: 36324 markings, 124870 edges, 493 markings/sec, 75 secs
lola: 38708 markings, 133376 edges, 477 markings/sec, 80 secs
lola: 41185 markings, 142329 edges, 495 markings/sec, 85 secs
lola: 43649 markings, 151368 edges, 493 markings/sec, 90 secs
lola: 46041 markings, 160680 edges, 478 markings/sec, 95 secs
lola: 48535 markings, 169019 edges, 499 markings/sec, 100 secs
lola: 50986 markings, 178136 edges, 490 markings/sec, 105 secs
lola: 53390 markings, 187135 edges, 481 markings/sec, 110 secs
lola: 55815 markings, 196003 edges, 485 markings/sec, 115 secs
lola: 58263 markings, 204436 edges, 490 markings/sec, 120 secs
lola: 60726 markings, 213655 edges, 493 markings/sec, 125 secs
lola: 63202 markings, 222753 edges, 495 markings/sec, 130 secs
lola: 65613 markings, 231636 edges, 482 markings/sec, 135 secs
lola: 68026 markings, 240610 edges, 483 markings/sec, 140 secs
lola: 70512 markings, 249119 edges, 497 markings/sec, 145 secs
lola: 72980 markings, 258027 edges, 494 markings/sec, 150 secs
lola: 75406 markings, 266678 edges, 485 markings/sec, 155 secs
lola: 77872 markings, 274982 edges, 493 markings/sec, 160 secs
lola: 80353 markings, 283698 edges, 496 markings/sec, 165 secs
lola: 82784 markings, 292560 edges, 486 markings/sec, 170 secs
lola: 85225 markings, 301236 edges, 488 markings/sec, 175 secs
lola: 87669 markings, 310620 edges, 489 markings/sec, 180 secs
lola: 90150 markings, 319353 edges, 496 markings/sec, 185 secs
lola: 92542 markings, 327667 edges, 478 markings/sec, 190 secs
lola: 95004 markings, 336872 edges, 492 markings/sec, 195 secs
lola: 97449 markings, 346139 edges, 489 markings/sec, 200 secs
lola: 99934 markings, 354524 edges, 497 markings/sec, 205 secs
lola: 102419 markings, 363117 edges, 497 markings/sec, 210 secs
lola: 104878 markings, 371683 edges, 492 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: 88876 KB
lola: time consumption: 1571 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_43_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_43_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1881 markings, 6406 edges, 376 markings/sec, 5 secs
lola: 4383 markings, 14929 edges, 500 markings/sec, 10 secs
lola: 6836 markings, 23319 edges, 491 markings/sec, 15 secs
lola: 9291 markings, 32547 edges, 491 markings/sec, 20 secs
lola: 11764 markings, 41156 edges, 495 markings/sec, 25 secs
lola: 14241 markings, 50173 edges, 495 markings/sec, 30 secs
lola: 16716 markings, 58614 edges, 495 markings/sec, 35 secs
lola: 19196 markings, 66935 edges, 496 markings/sec, 40 secs
lola: 21642 markings, 76181 edges, 489 markings/sec, 45 secs
lola: 24132 markings, 85024 edges, 498 markings/sec, 50 secs
lola: 26515 markings, 93554 edges, 477 markings/sec, 55 secs
lola: 28987 markings, 102124 edges, 494 markings/sec, 60 secs
lola: 31487 markings, 110121 edges, 500 markings/sec, 65 secs
lola: 33955 markings, 118143 edges, 494 markings/sec, 70 secs
lola: 36436 markings, 126357 edges, 496 markings/sec, 75 secs
lola: 38892 markings, 134415 edges, 491 markings/sec, 80 secs
lola: 41335 markings, 143315 edges, 489 markings/sec, 85 secs
lola: 43792 markings, 151721 edges, 491 markings/sec, 90 secs
lola: 46169 markings, 159962 edges, 475 markings/sec, 95 secs
lola: 48615 markings, 169098 edges, 489 markings/sec, 100 secs
lola: 51012 markings, 178154 edges, 479 markings/sec, 105 secs
lola: 53466 markings, 187700 edges, 491 markings/sec, 110 secs
lola: 55889 markings, 196187 edges, 485 markings/sec, 115 secs
lola: 58384 markings, 204335 edges, 499 markings/sec, 120 secs
lola: 60869 markings, 212554 edges, 497 markings/sec, 125 secs
lola: 63335 markings, 221067 edges, 493 markings/sec, 130 secs
lola: 65803 markings, 229907 edges, 494 markings/sec, 135 secs
lola: 68226 markings, 238359 edges, 485 markings/sec, 140 secs
lola: 70671 markings, 246932 edges, 489 markings/sec, 145 secs
lola: 73073 markings, 254704 edges, 480 markings/sec, 150 secs
lola: 75530 markings, 263014 edges, 491 markings/sec, 155 secs
lola: 78012 markings, 271112 edges, 496 markings/sec, 160 secs
lola: 80489 markings, 279025 edges, 495 markings/sec, 165 secs
lola: 82923 markings, 287005 edges, 487 markings/sec, 170 secs
lola: 85394 markings, 295558 edges, 494 markings/sec, 175 secs
lola: 87853 markings, 304148 edges, 492 markings/sec, 180 secs
lola: 90299 markings, 312838 edges, 489 markings/sec, 185 secs
lola: 92753 markings, 321788 edges, 491 markings/sec, 190 secs
lola: 95205 markings, 329891 edges, 490 markings/sec, 195 secs
lola: 97634 markings, 337751 edges, 486 markings/sec, 200 secs
lola: 100104 markings, 345891 edges, 494 markings/sec, 205 secs
lola: 102500 markings, 354753 edges, 479 markings/sec, 210 secs
lola: 104910 markings, 363425 edges, 482 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: 90104 KB
lola: time consumption: 1793 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_10_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1778 markings, 6418 edges, 356 markings/sec, 5 secs
lola: 4215 markings, 14693 edges, 487 markings/sec, 10 secs
lola: 6622 markings, 23145 edges, 481 markings/sec, 15 secs
lola: 9023 markings, 31500 edges, 480 markings/sec, 20 secs
lola: 11438 markings, 39985 edges, 483 markings/sec, 25 secs
lola: 13848 markings, 48951 edges, 482 markings/sec, 30 secs
lola: 16249 markings, 57985 edges, 480 markings/sec, 35 secs
lola: 18658 markings, 66726 edges, 482 markings/sec, 40 secs
lola: 21047 markings, 75149 edges, 478 markings/sec, 45 secs
lola: 23479 markings, 83677 edges, 486 markings/sec, 50 secs
lola: 25896 markings, 91880 edges, 483 markings/sec, 55 secs
lola: 28288 markings, 100561 edges, 478 markings/sec, 60 secs
lola: 30684 markings, 109278 edges, 479 markings/sec, 65 secs
lola: 33087 markings, 117229 edges, 481 markings/sec, 70 secs
lola: 35473 markings, 125945 edges, 477 markings/sec, 75 secs
lola: 37874 markings, 134764 edges, 480 markings/sec, 80 secs
lola: 40273 markings, 144135 edges, 480 markings/sec, 85 secs
lola: 42696 markings, 152381 edges, 485 markings/sec, 90 secs
lola: 45119 markings, 161083 edges, 485 markings/sec, 95 secs
lola: 47538 markings, 169949 edges, 484 markings/sec, 100 secs
lola: 49978 markings, 177987 edges, 488 markings/sec, 105 secs
lola: 52414 markings, 186601 edges, 487 markings/sec, 110 secs
lola: 54855 markings, 195103 edges, 488 markings/sec, 115 secs
lola: 57272 markings, 203742 edges, 483 markings/sec, 120 secs
lola: 59685 markings, 212774 edges, 483 markings/sec, 125 secs
lola: 62102 markings, 221574 edges, 483 markings/sec, 130 secs
lola: 64517 markings, 230330 edges, 483 markings/sec, 135 secs
lola: 66934 markings, 238682 edges, 483 markings/sec, 140 secs
lola: 69348 markings, 247431 edges, 483 markings/sec, 145 secs
lola: 71766 markings, 256057 edges, 484 markings/sec, 150 secs
lola: 74202 markings, 264590 edges, 487 markings/sec, 155 secs
lola: 76629 markings, 273463 edges, 485 markings/sec, 160 secs
lola: 79039 markings, 282686 edges, 482 markings/sec, 165 secs
lola: 81448 markings, 290993 edges, 482 markings/sec, 170 secs
lola: 83891 markings, 299703 edges, 489 markings/sec, 175 secs
lola: 86290 markings, 308226 edges, 480 markings/sec, 180 secs
lola: 88720 markings, 316700 edges, 486 markings/sec, 185 secs
lola: 91157 markings, 325631 edges, 487 markings/sec, 190 secs
lola: 93531 markings, 334103 edges, 475 markings/sec, 195 secs
lola: 95926 markings, 342387 edges, 479 markings/sec, 200 secs
lola: 98339 markings, 351338 edges, 483 markings/sec, 205 secs
lola: 100728 markings, 360003 edges, 478 markings/sec, 210 secs
lola: 103145 markings, 368598 edges, 483 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: 86940 KB
lola: time consumption: 2015 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__14_39_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__14_39_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1799 markings, 6645 edges, 360 markings/sec, 5 secs
lola: 4274 markings, 14892 edges, 495 markings/sec, 10 secs
lola: 6737 markings, 23682 edges, 493 markings/sec, 15 secs
lola: 9198 markings, 32949 edges, 492 markings/sec, 20 secs
lola: 11595 markings, 41285 edges, 479 markings/sec, 25 secs
lola: 14032 markings, 50120 edges, 487 markings/sec, 30 secs
lola: 16472 markings, 58645 edges, 488 markings/sec, 35 secs
lola: 18894 markings, 67957 edges, 484 markings/sec, 40 secs
lola: 21334 markings, 76543 edges, 488 markings/sec, 45 secs
lola: 23777 markings, 84715 edges, 489 markings/sec, 50 secs
lola: 26191 markings, 93204 edges, 483 markings/sec, 55 secs
lola: 28598 markings, 101741 edges, 481 markings/sec, 60 secs
lola: 30945 markings, 110605 edges, 469 markings/sec, 65 secs
lola: 33309 markings, 119230 edges, 473 markings/sec, 70 secs
lola: 35665 markings, 127523 edges, 471 markings/sec, 75 secs
lola: 38003 markings, 135518 edges, 468 markings/sec, 80 secs
lola: 40374 markings, 143955 edges, 474 markings/sec, 85 secs
lola: 42772 markings, 152810 edges, 480 markings/sec, 90 secs
lola: 45176 markings, 161286 edges, 481 markings/sec, 95 secs
lola: 47598 markings, 169280 edges, 484 markings/sec, 100 secs
lola: 50010 markings, 178183 edges, 482 markings/sec, 105 secs
lola: 52422 markings, 186625 edges, 482 markings/sec, 110 secs
lola: 54822 markings, 195636 edges, 480 markings/sec, 115 secs
lola: 57231 markings, 204200 edges, 482 markings/sec, 120 secs
lola: 59634 markings, 212297 edges, 481 markings/sec, 125 secs
lola: 62022 markings, 221037 edges, 478 markings/sec, 130 secs
lola: 64424 markings, 229167 edges, 480 markings/sec, 135 secs
lola: 66818 markings, 237585 edges, 479 markings/sec, 140 secs
lola: 69219 markings, 245716 edges, 480 markings/sec, 145 secs
lola: 71619 markings, 254203 edges, 480 markings/sec, 150 secs
lola: 74014 markings, 262995 edges, 479 markings/sec, 155 secs
lola: 76428 markings, 271268 edges, 483 markings/sec, 160 secs
lola: 78846 markings, 280026 edges, 484 markings/sec, 165 secs
lola: 81270 markings, 288625 edges, 485 markings/sec, 170 secs
lola: 83704 markings, 297249 edges, 487 markings/sec, 175 secs
lola: 86117 markings, 306113 edges, 483 markings/sec, 180 secs
lola: 88537 markings, 314909 edges, 484 markings/sec, 185 secs
lola: 90967 markings, 323794 edges, 486 markings/sec, 190 secs
lola: 93402 markings, 332763 edges, 487 markings/sec, 195 secs
lola: 95822 markings, 342319 edges, 484 markings/sec, 200 secs
lola: 98246 markings, 351754 edges, 485 markings/sec, 205 secs
lola: 100671 markings, 361050 edges, 485 markings/sec, 210 secs
lola: 103097 markings, 370313 edges, 485 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: 88332 KB
lola: time consumption: 2237 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__19_23_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__19_23_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1839 markings, 5680 edges, 368 markings/sec, 5 secs
lola: 4289 markings, 13776 edges, 490 markings/sec, 10 secs
lola: 6747 markings, 21260 edges, 492 markings/sec, 15 secs
lola: 9207 markings, 28542 edges, 492 markings/sec, 20 secs
lola: 11659 markings, 36094 edges, 490 markings/sec, 25 secs
lola: 14132 markings, 44193 edges, 495 markings/sec, 30 secs
lola: 16608 markings, 51875 edges, 495 markings/sec, 35 secs
lola: 19083 markings, 59434 edges, 495 markings/sec, 40 secs
lola: 21560 markings, 67318 edges, 495 markings/sec, 45 secs
lola: 23966 markings, 75315 edges, 481 markings/sec, 50 secs
lola: 26410 markings, 83734 edges, 489 markings/sec, 55 secs
lola: 28867 markings, 91109 edges, 491 markings/sec, 60 secs
lola: 31324 markings, 98547 edges, 491 markings/sec, 65 secs
lola: 33774 markings, 106210 edges, 490 markings/sec, 70 secs
lola: 36228 markings, 113809 edges, 491 markings/sec, 75 secs
lola: 38687 markings, 121179 edges, 492 markings/sec, 80 secs
lola: 41118 markings, 129006 edges, 486 markings/sec, 85 secs
lola: 43571 markings, 136077 edges, 491 markings/sec, 90 secs
lola: 46046 markings, 143579 edges, 495 markings/sec, 95 secs
lola: 48487 markings, 150978 edges, 488 markings/sec, 100 secs
lola: 50929 markings, 159108 edges, 488 markings/sec, 105 secs
lola: 53374 markings, 166886 edges, 489 markings/sec, 110 secs
lola: 55818 markings, 174932 edges, 489 markings/sec, 115 secs
lola: 58281 markings, 182360 edges, 493 markings/sec, 120 secs
lola: 60738 markings, 189795 edges, 491 markings/sec, 125 secs
lola: 63194 markings, 197281 edges, 491 markings/sec, 130 secs
lola: 65637 markings, 205483 edges, 489 markings/sec, 135 secs
lola: 68083 markings, 213426 edges, 489 markings/sec, 140 secs
lola: 70535 markings, 220448 edges, 490 markings/sec, 145 secs
lola: 72978 markings, 228479 edges, 489 markings/sec, 150 secs
lola: 75428 markings, 235945 edges, 490 markings/sec, 155 secs
lola: 77871 markings, 243970 edges, 489 markings/sec, 160 secs
lola: 80326 markings, 251411 edges, 491 markings/sec, 165 secs
lola: 82784 markings, 258865 edges, 492 markings/sec, 170 secs
lola: 85182 markings, 266006 edges, 480 markings/sec, 175 secs
lola: 87612 markings, 273205 edges, 486 markings/sec, 180 secs
lola: 90060 markings, 280586 edges, 490 markings/sec, 185 secs
lola: 92517 markings, 287748 edges, 491 markings/sec, 190 secs
lola: 94969 markings, 295036 edges, 490 markings/sec, 195 secs
lola: 97421 markings, 302129 edges, 490 markings/sec, 200 secs
lola: 99869 markings, 309604 edges, 490 markings/sec, 205 secs
lola: 102315 markings, 316832 edges, 489 markings/sec, 210 secs
lola: 104747 markings, 324247 edges, 486 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: 89464 KB
lola: time consumption: 2459 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__17_11_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__17_11_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1803 markings, 6515 edges, 361 markings/sec, 5 secs
lola: 4217 markings, 14869 edges, 483 markings/sec, 10 secs
lola: 6619 markings, 23481 edges, 480 markings/sec, 15 secs
lola: 9030 markings, 32131 edges, 482 markings/sec, 20 secs
lola: 11431 markings, 40773 edges, 480 markings/sec, 25 secs
lola: 13830 markings, 49290 edges, 480 markings/sec, 30 secs
lola: 16231 markings, 57839 edges, 480 markings/sec, 35 secs
lola: 18643 markings, 66451 edges, 482 markings/sec, 40 secs
lola: 21048 markings, 74510 edges, 481 markings/sec, 45 secs
lola: 23459 markings, 82301 edges, 482 markings/sec, 50 secs
lola: 25864 markings, 90417 edges, 481 markings/sec, 55 secs
lola: 28257 markings, 99073 edges, 479 markings/sec, 60 secs
lola: 30663 markings, 107517 edges, 481 markings/sec, 65 secs
lola: 33042 markings, 116271 edges, 476 markings/sec, 70 secs
lola: 35393 markings, 124347 edges, 470 markings/sec, 75 secs
lola: 37762 markings, 132796 edges, 474 markings/sec, 80 secs
lola: 40134 markings, 140731 edges, 474 markings/sec, 85 secs
lola: 42558 markings, 149122 edges, 485 markings/sec, 90 secs
lola: 44982 markings, 157394 edges, 485 markings/sec, 95 secs
lola: 47415 markings, 165509 edges, 487 markings/sec, 100 secs
lola: 49843 markings, 173985 edges, 486 markings/sec, 105 secs
lola: 52286 markings, 182402 edges, 489 markings/sec, 110 secs
lola: 54728 markings, 191306 edges, 488 markings/sec, 115 secs
lola: 57166 markings, 199724 edges, 488 markings/sec, 120 secs
lola: 59571 markings, 208579 edges, 481 markings/sec, 125 secs
lola: 62013 markings, 217474 edges, 488 markings/sec, 130 secs
lola: 64427 markings, 225964 edges, 483 markings/sec, 135 secs
lola: 66840 markings, 234910 edges, 483 markings/sec, 140 secs
lola: 69255 markings, 243137 edges, 483 markings/sec, 145 secs
lola: 71657 markings, 251298 edges, 480 markings/sec, 150 secs
lola: 74055 markings, 259272 edges, 480 markings/sec, 155 secs
lola: 76468 markings, 268626 edges, 483 markings/sec, 160 secs
lola: 78896 markings, 277184 edges, 486 markings/sec, 165 secs
lola: 81301 markings, 285366 edges, 481 markings/sec, 170 secs
lola: 83718 markings, 294408 edges, 483 markings/sec, 175 secs
lola: 86150 markings, 303262 edges, 486 markings/sec, 180 secs
lola: 88460 markings, 312041 edges, 462 markings/sec, 185 secs
lola: 90860 markings, 320124 edges, 480 markings/sec, 190 secs
lola: 93305 markings, 328527 edges, 489 markings/sec, 195 secs
lola: 95747 markings, 337185 edges, 488 markings/sec, 200 secs
lola: 98185 markings, 345887 edges, 488 markings/sec, 205 secs
lola: 100625 markings, 354311 edges, 488 markings/sec, 210 secs
lola: 103055 markings, 362969 edges, 486 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: 90400 KB
lola: time consumption: 2681 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__48_3_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__48_3_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1868 markings, 5952 edges, 374 markings/sec, 5 secs
lola: 4354 markings, 14192 edges, 497 markings/sec, 10 secs
lola: 6762 markings, 22306 edges, 482 markings/sec, 15 secs
lola: 9244 markings, 30399 edges, 496 markings/sec, 20 secs
lola: 11726 markings, 38788 edges, 496 markings/sec, 25 secs
lola: 14208 markings, 46544 edges, 496 markings/sec, 30 secs
lola: 16639 markings, 54620 edges, 486 markings/sec, 35 secs
lola: 19060 markings, 62988 edges, 484 markings/sec, 40 secs
lola: 21492 markings, 71430 edges, 486 markings/sec, 45 secs
lola: 23960 markings, 79361 edges, 494 markings/sec, 50 secs
lola: 26427 markings, 87550 edges, 493 markings/sec, 55 secs
lola: 28895 markings, 95721 edges, 494 markings/sec, 60 secs
lola: 31357 markings, 104001 edges, 492 markings/sec, 65 secs
lola: 33834 markings, 112115 edges, 495 markings/sec, 70 secs
lola: 36310 markings, 120544 edges, 495 markings/sec, 75 secs
lola: 38779 markings, 129150 edges, 494 markings/sec, 80 secs
lola: 41252 markings, 137757 edges, 495 markings/sec, 85 secs
lola: 43726 markings, 146160 edges, 495 markings/sec, 90 secs
lola: 46198 markings, 154795 edges, 494 markings/sec, 95 secs
lola: 48656 markings, 163168 edges, 492 markings/sec, 100 secs
lola: 51141 markings, 171581 edges, 497 markings/sec, 105 secs
lola: 53636 markings, 179769 edges, 499 markings/sec, 110 secs
lola: 56129 markings, 188128 edges, 499 markings/sec, 115 secs
lola: 58615 markings, 196493 edges, 497 markings/sec, 120 secs
lola: 61048 markings, 204468 edges, 487 markings/sec, 125 secs
lola: 63521 markings, 212794 edges, 495 markings/sec, 130 secs
lola: 66008 markings, 220890 edges, 497 markings/sec, 135 secs
lola: 68435 markings, 229552 edges, 485 markings/sec, 140 secs
lola: 70896 markings, 237981 edges, 492 markings/sec, 145 secs
lola: 73348 markings, 246310 edges, 490 markings/sec, 150 secs
lola: 75780 markings, 254847 edges, 486 markings/sec, 155 secs
lola: 78259 markings, 263355 edges, 496 markings/sec, 160 secs
lola: 80739 markings, 271631 edges, 496 markings/sec, 165 secs
lola: 83221 markings, 280099 edges, 496 markings/sec, 170 secs
lola: 85713 markings, 288404 edges, 498 markings/sec, 175 secs
lola: 88203 markings, 296535 edges, 498 markings/sec, 180 secs
lola: 90672 markings, 304652 edges, 494 markings/sec, 185 secs
lola: 93130 markings, 313198 edges, 492 markings/sec, 190 secs
lola: 95634 markings, 321181 edges, 501 markings/sec, 195 secs
lola: 98122 markings, 330033 edges, 498 markings/sec, 200 secs
lola: 100623 markings, 338269 edges, 500 markings/sec, 205 secs
lola: 103115 markings, 347153 edges, 498 markings/sec, 210 secs
lola: 105610 markings, 355675 edges, 499 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: 86480 KB
lola: time consumption: 2903 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_14_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_14_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1737 markings, 6103 edges, 347 markings/sec, 5 secs
lola: 4185 markings, 14462 edges, 490 markings/sec, 10 secs
lola: 6576 markings, 23104 edges, 478 markings/sec, 15 secs
lola: 8996 markings, 32254 edges, 484 markings/sec, 20 secs
lola: 11400 markings, 40923 edges, 481 markings/sec, 25 secs
lola: 13817 markings, 49891 edges, 483 markings/sec, 30 secs
lola: 16234 markings, 58361 edges, 483 markings/sec, 35 secs
lola: 18641 markings, 66923 edges, 481 markings/sec, 40 secs
lola: 21032 markings, 74969 edges, 478 markings/sec, 45 secs
lola: 23448 markings, 82959 edges, 483 markings/sec, 50 secs
lola: 25856 markings, 91418 edges, 482 markings/sec, 55 secs
lola: 28262 markings, 99462 edges, 481 markings/sec, 60 secs
lola: 30672 markings, 107448 edges, 482 markings/sec, 65 secs
lola: 33082 markings, 115669 edges, 482 markings/sec, 70 secs
lola: 35486 markings, 123915 edges, 481 markings/sec, 75 secs
lola: 37886 markings, 132389 edges, 480 markings/sec, 80 secs
lola: 40282 markings, 140952 edges, 479 markings/sec, 85 secs
lola: 42684 markings, 149559 edges, 480 markings/sec, 90 secs
lola: 45105 markings, 157892 edges, 484 markings/sec, 95 secs
lola: 47496 markings, 166075 edges, 478 markings/sec, 100 secs
lola: 49888 markings, 174536 edges, 478 markings/sec, 105 secs
lola: 52301 markings, 182745 edges, 483 markings/sec, 110 secs
lola: 54705 markings, 191540 edges, 481 markings/sec, 115 secs
lola: 57018 markings, 200177 edges, 463 markings/sec, 120 secs
lola: 59387 markings, 208565 edges, 474 markings/sec, 125 secs
lola: 61782 markings, 217890 edges, 479 markings/sec, 130 secs
lola: 64186 markings, 226647 edges, 481 markings/sec, 135 secs
lola: 66607 markings, 234983 edges, 484 markings/sec, 140 secs
lola: 69030 markings, 243400 edges, 485 markings/sec, 145 secs
lola: 71436 markings, 252039 edges, 481 markings/sec, 150 secs
lola: 73820 markings, 261190 edges, 477 markings/sec, 155 secs
lola: 76216 markings, 270090 edges, 479 markings/sec, 160 secs
lola: 78612 markings, 278486 edges, 479 markings/sec, 165 secs
lola: 81009 markings, 286783 edges, 479 markings/sec, 170 secs
lola: 83384 markings, 295400 edges, 475 markings/sec, 175 secs
lola: 85753 markings, 304295 edges, 474 markings/sec, 180 secs
lola: 88113 markings, 312447 edges, 472 markings/sec, 185 secs
lola: 90508 markings, 320472 edges, 479 markings/sec, 190 secs
lola: 92807 markings, 328939 edges, 460 markings/sec, 195 secs
lola: 95182 markings, 337634 edges, 475 markings/sec, 200 secs
lola: 97558 markings, 345866 edges, 475 markings/sec, 205 secs
lola: 99917 markings, 353567 edges, 472 markings/sec, 210 secs
lola: 102327 markings, 362333 edges, 482 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: 84356 KB
lola: time consumption: 3125 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__26_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__26_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1771 markings, 6413 edges, 354 markings/sec, 5 secs
lola: 4097 markings, 14243 edges, 465 markings/sec, 10 secs
lola: 6477 markings, 22445 edges, 476 markings/sec, 15 secs
lola: 8885 markings, 30985 edges, 482 markings/sec, 20 secs
lola: 11307 markings, 39321 edges, 484 markings/sec, 25 secs
lola: 13698 markings, 47105 edges, 478 markings/sec, 30 secs
lola: 16099 markings, 54799 edges, 480 markings/sec, 35 secs
lola: 18503 markings, 62348 edges, 481 markings/sec, 40 secs
lola: 20854 markings, 69299 edges, 470 markings/sec, 45 secs
lola: 23270 markings, 77049 edges, 483 markings/sec, 50 secs
lola: 25628 markings, 84728 edges, 472 markings/sec, 55 secs
lola: 27964 markings, 92711 edges, 467 markings/sec, 60 secs
lola: 30359 markings, 100639 edges, 479 markings/sec, 65 secs
lola: 32754 markings, 108856 edges, 479 markings/sec, 70 secs
lola: 35099 markings, 117314 edges, 469 markings/sec, 75 secs
lola: 37496 markings, 125323 edges, 479 markings/sec, 80 secs
lola: 39869 markings, 133199 edges, 475 markings/sec, 85 secs
lola: 42240 markings, 140979 edges, 474 markings/sec, 90 secs
lola: 44633 markings, 148290 edges, 479 markings/sec, 95 secs
lola: 47021 markings, 156336 edges, 478 markings/sec, 100 secs
lola: 49425 markings, 164161 edges, 481 markings/sec, 105 secs
lola: 51853 markings, 172233 edges, 486 markings/sec, 110 secs
lola: 54296 markings, 180009 edges, 489 markings/sec, 115 secs
lola: 56719 markings, 188489 edges, 485 markings/sec, 120 secs
lola: 59152 markings, 196702 edges, 487 markings/sec, 125 secs
lola: 61569 markings, 205070 edges, 483 markings/sec, 130 secs
lola: 63975 markings, 213542 edges, 481 markings/sec, 135 secs
lola: 66388 markings, 222336 edges, 483 markings/sec, 140 secs
lola: 68800 markings, 231092 edges, 482 markings/sec, 145 secs
lola: 71198 markings, 239026 edges, 480 markings/sec, 150 secs
lola: 73593 markings, 247061 edges, 479 markings/sec, 155 secs
lola: 76006 markings, 254363 edges, 483 markings/sec, 160 secs
lola: 78405 markings, 261887 edges, 480 markings/sec, 165 secs
lola: 80782 markings, 270383 edges, 475 markings/sec, 170 secs
lola: 83125 markings, 278780 edges, 469 markings/sec, 175 secs
lola: 85506 markings, 287167 edges, 476 markings/sec, 180 secs
lola: 87898 markings, 295064 edges, 478 markings/sec, 185 secs
lola: 90270 markings, 302899 edges, 474 markings/sec, 190 secs
lola: 92630 markings, 310913 edges, 472 markings/sec, 195 secs
lola: 94930 markings, 318505 edges, 460 markings/sec, 200 secs
lola: 97300 markings, 325714 edges, 474 markings/sec, 205 secs
lola: 99696 markings, 333089 edges, 479 markings/sec, 210 secs
lola: 102081 markings, 340905 edges, 477 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: 87308 KB
lola: time consumption: 3347 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__22_17_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__22_17_)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D50N150-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: Structural Bound: 150
lola: 1806 markings, 6064 edges, 361 markings/sec, 5 secs
lola: 4230 markings, 14893 edges, 485 markings/sec, 10 secs
lola: 6647 markings, 23601 edges, 483 markings/sec, 15 secs
lola: 9063 markings, 32511 edges, 483 markings/sec, 20 secs
lola: 11480 markings, 41273 edges, 483 markings/sec, 25 secs
lola: 13905 markings, 49843 edges, 485 markings/sec, 30 secs
lola: 16338 markings, 58141 edges, 487 markings/sec, 35 secs
lola: 18769 markings, 66167 edges, 486 markings/sec, 40 secs
lola: 21213 markings, 74115 edges, 489 markings/sec, 45 secs
lola: 23629 markings, 82456 edges, 483 markings/sec, 50 secs
lola: 26034 markings, 91254 edges, 481 markings/sec, 55 secs
lola: 28411 markings, 99878 edges, 475 markings/sec, 60 secs
lola: 30798 markings, 108318 edges, 477 markings/sec, 65 secs
lola: 33213 markings, 117673 edges, 483 markings/sec, 70 secs
lola: 35560 markings, 126593 edges, 469 markings/sec, 75 secs
lola: 37981 markings, 135369 edges, 484 markings/sec, 80 secs
lola: 40415 markings, 143479 edges, 487 markings/sec, 85 secs
lola: 42846 markings, 151556 edges, 486 markings/sec, 90 secs
lola: 45270 markings, 159693 edges, 485 markings/sec, 95 secs
lola: 47720 markings, 168243 edges, 490 markings/sec, 100 secs
lola: 50164 markings, 176834 edges, 489 markings/sec, 105 secs
lola: 52565 markings, 185833 edges, 480 markings/sec, 110 secs
lola: 54930 markings, 194780 edges, 473 markings/sec, 115 secs
lola: 57314 markings, 203751 edges, 477 markings/sec, 120 secs
lola: 59721 markings, 212650 edges, 481 markings/sec, 125 secs
lola: 62146 markings, 221482 edges, 485 markings/sec, 130 secs
lola: 64532 markings, 230639 edges, 477 markings/sec, 135 secs
lola: 66929 markings, 240744 edges, 479 markings/sec, 140 secs
lola: 69363 markings, 248461 edges, 487 markings/sec, 145 secs
lola: 71716 markings, 256709 edges, 471 markings/sec, 150 secs
lola: 74098 markings, 264807 edges, 476 markings/sec, 155 secs
lola: 76533 markings, 272958 edges, 487 markings/sec, 160 secs
lola: 78957 markings, 281491 edges, 485 markings/sec, 165 secs
lola: 81378 markings, 290171 edges, 484 markings/sec, 170 secs
lola: 83808 markings, 298725 edges, 486 markings/sec, 175 secs
lola: 86225 markings, 307766 edges, 483 markings/sec, 180 secs
lola: 88600 markings, 316257 edges, 475 markings/sec, 185 secs
lola: 91032 markings, 324188 edges, 486 markings/sec, 190 secs
lola: 93459 markings, 332405 edges, 485 markings/sec, 195 secs
lola: 95881 markings, 340900 edges, 484 markings/sec, 200 secs
lola: 98285 markings, 348911 edges, 481 markings/sec, 205 secs
lola: 100695 markings, 357628 edges, 482 markings/sec, 210 secs
lola: 103063 markings, 366708 edges, 474 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: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 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: 85324 KB
lola: time consumption: 3569 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: 85324 KB
lola: time consumption: 3569 seconds

BK_STOP 1552929194371

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is Diffusion2D-PT-D50N150, 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 r066-ebro-155234666500085"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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