About the Execution of 2018-Gold for Diffusion2D-PT-D10N050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3661.950 | 3600000.00 | 3653961.00 | 740.60 | 50 ? 50 ? ? 50 ? ? ? ? 50 ? 50 ? ? ? | normal |
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-155234666400028.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-D10N050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-ebro-155234666400028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.8K Feb 10 21:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 21:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 17:52 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.5K Feb 4 23:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 07:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 07:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jan 30 23:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 23:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 255K 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-D10N050-UpperBounds-00
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-01
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-02
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-03
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-04
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-05
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-06
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-07
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-08
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-09
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-10
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-11
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-12
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-13
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-14
FORMULA_NAME Diffusion2D-PT-D10N050-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1552912870217
info: Time: 3600 - MCC
===========================================================================================
prep: translating Diffusion2D-PT-D10N050 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Diffusion2D-PT-D10N050 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Diffusion2D-PT-D10N050 @ 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: 784/65536 symbol table entries, 37 collisions
lola: preprocessing...
lola: Size of bit vector: 3200
lola: finding significant places
lola: 100 places, 684 transitions, 99 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from Diffusion2D-PT-D10N050-UpperBounds.task
lola: MAX(cAMP__7_7_) : MAX(cAMP__8_2_) : MAX(cAMP__7_7_) : MAX(cAMP__5_1_) : MAX(cAMP__10_9_) : MAX(cAMP__7_4_) : MAX(cAMP__6_1_) : MAX(cAMP__6_9_) : MAX(cAMP__3_1_) : MAX(cAMP__10_3_) : MAX(cAMP__8_6_) : MAX(cAMP__10_5_) : MAX(cAMP__6_4_) : MAX(cAMP__3_9_) : MAX(cAMP__9_10_) : MAX(cAMP__8_4_)
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__7_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================
FORMULA Diffusion2D-PT-D10N050-UpperBounds-0 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_2_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 118671 markings, 400279 edges, 23734 markings/sec, 0 secs
lola: 239402 markings, 816696 edges, 24146 markings/sec, 5 secs
lola: 362155 markings, 1227295 edges, 24551 markings/sec, 10 secs
lola: 483532 markings, 1642354 edges, 24275 markings/sec, 15 secs
lola: 605731 markings, 2041217 edges, 24440 markings/sec, 20 secs
lola: 726275 markings, 2455506 edges, 24109 markings/sec, 25 secs
lola: 846253 markings, 2865224 edges, 23996 markings/sec, 30 secs
lola: 964282 markings, 3272450 edges, 23606 markings/sec, 35 secs
lola: 1080919 markings, 3669403 edges, 23327 markings/sec, 40 secs
lola: 1197562 markings, 4061524 edges, 23329 markings/sec, 45 secs
lola: 1313041 markings, 4467840 edges, 23096 markings/sec, 50 secs
lola: 1428977 markings, 4872437 edges, 23187 markings/sec, 55 secs
lola: 1546460 markings, 5264215 edges, 23497 markings/sec, 60 secs
lola: 1667650 markings, 5649912 edges, 24238 markings/sec, 65 secs
lola: 1786630 markings, 6047849 edges, 23796 markings/sec, 70 secs
lola: 1907137 markings, 6438201 edges, 24101 markings/sec, 75 secs
lola: 2030033 markings, 6837269 edges, 24579 markings/sec, 80 secs
lola: 2150278 markings, 7231477 edges, 24049 markings/sec, 85 secs
lola: 2270212 markings, 7621148 edges, 23987 markings/sec, 90 secs
lola: 2388707 markings, 8016282 edges, 23699 markings/sec, 95 secs
lola: 2507337 markings, 8424870 edges, 23726 markings/sec, 100 secs
lola: 2626425 markings, 8820549 edges, 23818 markings/sec, 105 secs
lola: 2745651 markings, 9222516 edges, 23845 markings/sec, 110 secs
lola: 2866377 markings, 9620771 edges, 24145 markings/sec, 115 secs
lola: 2989410 markings, 10001152 edges, 24607 markings/sec, 120 secs
lola: 3110365 markings, 10395135 edges, 24191 markings/sec, 125 secs
lola: 3229496 markings, 10774551 edges, 23826 markings/sec, 130 secs
lola: 3347527 markings, 11158998 edges, 23606 markings/sec, 135 secs
lola: 3463271 markings, 11548079 edges, 23149 markings/sec, 140 secs
lola: 3571306 markings, 11910060 edges, 21607 markings/sec, 145 secs
lola: 3686217 markings, 12297346 edges, 22982 markings/sec, 150 secs
lola: 3797500 markings, 12656375 edges, 22257 markings/sec, 155 secs
lola: 3912984 markings, 13035214 edges, 23097 markings/sec, 160 secs
lola: 4020154 markings, 13385888 edges, 21434 markings/sec, 165 secs
lola: 4135205 markings, 13778351 edges, 23010 markings/sec, 170 secs
lola: 4250887 markings, 14165026 edges, 23136 markings/sec, 175 secs
lola: 4365605 markings, 14556448 edges, 22944 markings/sec, 180 secs
lola: 4480628 markings, 14945783 edges, 23005 markings/sec, 185 secs
lola: 4595782 markings, 15333072 edges, 23031 markings/sec, 190 secs
lola: 4710973 markings, 15733127 edges, 23038 markings/sec, 195 secs
lola: 4830444 markings, 16141263 edges, 23894 markings/sec, 200 secs
lola: 4950321 markings, 16529146 edges, 23975 markings/sec, 205 secs
lola: 5068422 markings, 16923300 edges, 23620 markings/sec, 210 secs
lola: 5188318 markings, 17309767 edges, 23979 markings/sec, 215 secs
lola: 5306968 markings, 17716767 edges, 23730 markings/sec, 220 secs
lola: 5426461 markings, 18108917 edges, 23899 markings/sec, 225 secs
lola: 5541626 markings, 18497182 edges, 23033 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1582636 KB
lola: time consumption: 238 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_7_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================
FORMULA Diffusion2D-PT-D10N050-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__5_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__5_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 125582 markings, 416988 edges, 25116 markings/sec, 0 secs
lola: 251312 markings, 839205 edges, 25146 markings/sec, 5 secs
lola: 376564 markings, 1256527 edges, 25050 markings/sec, 10 secs
lola: 501943 markings, 1674002 edges, 25076 markings/sec, 15 secs
lola: 627717 markings, 2082109 edges, 25155 markings/sec, 20 secs
lola: 753321 markings, 2489427 edges, 25121 markings/sec, 25 secs
lola: 878388 markings, 2903071 edges, 25013 markings/sec, 30 secs
lola: 1002853 markings, 3317826 edges, 24893 markings/sec, 35 secs
lola: 1127534 markings, 3730964 edges, 24936 markings/sec, 40 secs
lola: 1252740 markings, 4143789 edges, 25041 markings/sec, 45 secs
lola: 1377468 markings, 4551692 edges, 24946 markings/sec, 50 secs
lola: 1503793 markings, 4958769 edges, 25265 markings/sec, 55 secs
lola: 1629035 markings, 5365935 edges, 25048 markings/sec, 60 secs
lola: 1753539 markings, 5769513 edges, 24901 markings/sec, 65 secs
lola: 1877925 markings, 6184171 edges, 24877 markings/sec, 70 secs
lola: 2001759 markings, 6589766 edges, 24767 markings/sec, 75 secs
lola: 2126746 markings, 6999400 edges, 24997 markings/sec, 80 secs
lola: 2250922 markings, 7416070 edges, 24835 markings/sec, 85 secs
lola: 2376097 markings, 7824486 edges, 25035 markings/sec, 90 secs
lola: 2500914 markings, 8231048 edges, 24963 markings/sec, 95 secs
lola: 2626812 markings, 8639555 edges, 25180 markings/sec, 100 secs
lola: 2752984 markings, 9045803 edges, 25234 markings/sec, 105 secs
lola: 2878278 markings, 9455206 edges, 25059 markings/sec, 110 secs
lola: 3002676 markings, 9866312 edges, 24880 markings/sec, 115 secs
lola: 3126828 markings, 10271054 edges, 24830 markings/sec, 120 secs
lola: 3253264 markings, 10675021 edges, 25287 markings/sec, 125 secs
lola: 3377111 markings, 11078833 edges, 24769 markings/sec, 130 secs
lola: 3500995 markings, 11485930 edges, 24777 markings/sec, 135 secs
lola: 3624621 markings, 11894299 edges, 24725 markings/sec, 140 secs
lola: 3748605 markings, 12301661 edges, 24797 markings/sec, 145 secs
lola: 3872373 markings, 12711978 edges, 24754 markings/sec, 150 secs
lola: 3995517 markings, 13117343 edges, 24629 markings/sec, 155 secs
lola: 4119048 markings, 13520870 edges, 24706 markings/sec, 160 secs
lola: 4242447 markings, 13921810 edges, 24680 markings/sec, 165 secs
lola: 4365789 markings, 14333448 edges, 24668 markings/sec, 170 secs
lola: 4491955 markings, 14737085 edges, 25233 markings/sec, 175 secs
lola: 4616009 markings, 15137703 edges, 24811 markings/sec, 180 secs
lola: 4739828 markings, 15544606 edges, 24764 markings/sec, 185 secs
lola: 4865877 markings, 15953202 edges, 25210 markings/sec, 190 secs
lola: 4990115 markings, 16355000 edges, 24848 markings/sec, 195 secs
lola: 5114504 markings, 16758889 edges, 24878 markings/sec, 200 secs
lola: 5237882 markings, 17161422 edges, 24676 markings/sec, 205 secs
lola: 5361418 markings, 17558473 edges, 24707 markings/sec, 210 secs
lola: 5484803 markings, 17960032 edges, 24677 markings/sec, 215 secs
lola: 5608407 markings, 18365234 edges, 24721 markings/sec, 220 secs
lola: 5731877 markings, 18758186 edges, 24694 markings/sec, 225 secs
lola: 5856205 markings, 19160514 edges, 24866 markings/sec, 230 secs
lola: 5979340 markings, 19558590 edges, 24627 markings/sec, 235 secs
lola: 6102360 markings, 19967422 edges, 24604 markings/sec, 240 secs
lola: 6224815 markings, 20368666 edges, 24491 markings/sec, 245 secs
lola: 6347947 markings, 20772676 edges, 24626 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1714280 KB
lola: time consumption: 494 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_9_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 128360 markings, 373889 edges, 25672 markings/sec, 0 secs
lola: 257506 markings, 759928 edges, 25829 markings/sec, 5 secs
lola: 385502 markings, 1137014 edges, 25599 markings/sec, 10 secs
lola: 510959 markings, 1503101 edges, 25091 markings/sec, 15 secs
lola: 638049 markings, 1880778 edges, 25418 markings/sec, 20 secs
lola: 763877 markings, 2262770 edges, 25166 markings/sec, 25 secs
lola: 891467 markings, 2640480 edges, 25518 markings/sec, 30 secs
lola: 1019432 markings, 3016720 edges, 25593 markings/sec, 35 secs
lola: 1147677 markings, 3393140 edges, 25649 markings/sec, 40 secs
lola: 1275784 markings, 3775357 edges, 25621 markings/sec, 45 secs
lola: 1403349 markings, 4149986 edges, 25513 markings/sec, 50 secs
lola: 1530809 markings, 4523305 edges, 25492 markings/sec, 55 secs
lola: 1658590 markings, 4902058 edges, 25556 markings/sec, 60 secs
lola: 1785905 markings, 5281007 edges, 25463 markings/sec, 65 secs
lola: 1913325 markings, 5653454 edges, 25484 markings/sec, 70 secs
lola: 2040891 markings, 6027932 edges, 25513 markings/sec, 75 secs
lola: 2168679 markings, 6409576 edges, 25558 markings/sec, 80 secs
lola: 2296042 markings, 6783233 edges, 25473 markings/sec, 85 secs
lola: 2422915 markings, 7155790 edges, 25375 markings/sec, 90 secs
lola: 2548529 markings, 7527630 edges, 25123 markings/sec, 95 secs
lola: 2674334 markings, 7902293 edges, 25161 markings/sec, 100 secs
lola: 2801339 markings, 8273612 edges, 25401 markings/sec, 105 secs
lola: 2928476 markings, 8646809 edges, 25427 markings/sec, 110 secs
lola: 3055522 markings, 9026297 edges, 25409 markings/sec, 115 secs
lola: 3180764 markings, 9394131 edges, 25048 markings/sec, 120 secs
lola: 3306861 markings, 9763781 edges, 25219 markings/sec, 125 secs
lola: 3434690 markings, 10142508 edges, 25566 markings/sec, 130 secs
lola: 3559153 markings, 10511846 edges, 24893 markings/sec, 135 secs
lola: 3685148 markings, 10881808 edges, 25199 markings/sec, 140 secs
lola: 3811211 markings, 11251883 edges, 25213 markings/sec, 145 secs
lola: 3938041 markings, 11630342 edges, 25366 markings/sec, 150 secs
lola: 4064204 markings, 12001122 edges, 25233 markings/sec, 155 secs
lola: 4190936 markings, 12372537 edges, 25346 markings/sec, 160 secs
lola: 4316747 markings, 12745399 edges, 25162 markings/sec, 165 secs
lola: 4443700 markings, 13121122 edges, 25391 markings/sec, 170 secs
lola: 4567768 markings, 13485154 edges, 24814 markings/sec, 175 secs
lola: 4692816 markings, 13853801 edges, 25010 markings/sec, 180 secs
lola: 4818232 markings, 14227706 edges, 25083 markings/sec, 185 secs
lola: 4944139 markings, 14596853 edges, 25181 markings/sec, 190 secs
lola: 5070070 markings, 14966822 edges, 25186 markings/sec, 195 secs
lola: 5194364 markings, 15335745 edges, 24859 markings/sec, 200 secs
lola: 5319371 markings, 15703422 edges, 25001 markings/sec, 205 secs
lola: 5446412 markings, 16076443 edges, 25408 markings/sec, 210 secs
lola: 5573567 markings, 16452780 edges, 25431 markings/sec, 215 secs
lola: 5700256 markings, 16830336 edges, 25338 markings/sec, 220 secs
lola: 5827188 markings, 17201531 edges, 25386 markings/sec, 225 secs
lola: 5951697 markings, 17566642 edges, 24902 markings/sec, 230 secs
lola: 6077493 markings, 17942402 edges, 25159 markings/sec, 235 secs
lola: 6202888 markings, 18310668 edges, 25079 markings/sec, 240 secs
lola: 6323727 markings, 18665221 edges, 24168 markings/sec, 245 secs
lola: 6445937 markings, 19027654 edges, 24442 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1882220 KB
lola: time consumption: 750 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__7_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__7_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 72503 markings, 216757 edges
lola: ========================================
FORMULA Diffusion2D-PT-D10N050-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 120126 markings, 416258 edges, 24025 markings/sec, 0 secs
lola: 243369 markings, 822759 edges, 24649 markings/sec, 5 secs
lola: 364783 markings, 1218009 edges, 24283 markings/sec, 10 secs
lola: 487784 markings, 1616805 edges, 24600 markings/sec, 15 secs
lola: 612198 markings, 2021375 edges, 24883 markings/sec, 20 secs
lola: 735582 markings, 2423747 edges, 24677 markings/sec, 25 secs
lola: 859325 markings, 2833614 edges, 24749 markings/sec, 30 secs
lola: 983113 markings, 3246391 edges, 24758 markings/sec, 35 secs
lola: 1108748 markings, 3656968 edges, 25127 markings/sec, 40 secs
lola: 1234077 markings, 4065372 edges, 25066 markings/sec, 45 secs
lola: 1359642 markings, 4473246 edges, 25113 markings/sec, 50 secs
lola: 1485219 markings, 4884738 edges, 25115 markings/sec, 55 secs
lola: 1610275 markings, 5294061 edges, 25011 markings/sec, 60 secs
lola: 1734278 markings, 5698237 edges, 24801 markings/sec, 65 secs
lola: 1858035 markings, 6108784 edges, 24751 markings/sec, 70 secs
lola: 1983277 markings, 6516662 edges, 25048 markings/sec, 75 secs
lola: 2107638 markings, 6927249 edges, 24872 markings/sec, 80 secs
lola: 2231251 markings, 7330710 edges, 24723 markings/sec, 85 secs
lola: 2356179 markings, 7730438 edges, 24986 markings/sec, 90 secs
lola: 2477631 markings, 8130153 edges, 24290 markings/sec, 95 secs
lola: 2600344 markings, 8529909 edges, 24543 markings/sec, 100 secs
lola: 2722250 markings, 8922447 edges, 24381 markings/sec, 105 secs
lola: 2838005 markings, 9292930 edges, 23151 markings/sec, 110 secs
lola: 2954351 markings, 9687085 edges, 23269 markings/sec, 115 secs
lola: 3079323 markings, 10105089 edges, 24994 markings/sec, 120 secs
lola: 3203922 markings, 10515789 edges, 24920 markings/sec, 125 secs
lola: 3327598 markings, 10916921 edges, 24735 markings/sec, 130 secs
lola: 3451826 markings, 11317996 edges, 24846 markings/sec, 135 secs
lola: 3576017 markings, 11722789 edges, 24838 markings/sec, 140 secs
lola: 3700702 markings, 12134885 edges, 24937 markings/sec, 145 secs
lola: 3825455 markings, 12535673 edges, 24951 markings/sec, 150 secs
lola: 3950693 markings, 12927903 edges, 25048 markings/sec, 155 secs
lola: 4075571 markings, 13335109 edges, 24976 markings/sec, 160 secs
lola: 4198631 markings, 13749212 edges, 24612 markings/sec, 165 secs
lola: 4322756 markings, 14152693 edges, 24825 markings/sec, 170 secs
lola: 4445993 markings, 14560797 edges, 24647 markings/sec, 175 secs
lola: 4571453 markings, 14967554 edges, 25092 markings/sec, 180 secs
lola: 4696722 markings, 15375046 edges, 25054 markings/sec, 185 secs
lola: 4820822 markings, 15780486 edges, 24820 markings/sec, 190 secs
lola: 4946251 markings, 16181563 edges, 25086 markings/sec, 195 secs
lola: 5070137 markings, 16588726 edges, 24777 markings/sec, 200 secs
lola: 5195241 markings, 16994967 edges, 25021 markings/sec, 205 secs
lola: 5320643 markings, 17402129 edges, 25080 markings/sec, 210 secs
lola: 5446669 markings, 17807174 edges, 25205 markings/sec, 215 secs
lola: 5570044 markings, 18225011 edges, 24675 markings/sec, 220 secs
lola: 5692297 markings, 18630284 edges, 24451 markings/sec, 225 secs
lola: 5813774 markings, 19030926 edges, 24295 markings/sec, 230 secs
lola: 5935301 markings, 19423862 edges, 24305 markings/sec, 235 secs
lola: 6057364 markings, 19817676 edges, 24413 markings/sec, 240 secs
lola: 6179007 markings, 20217014 edges, 24329 markings/sec, 245 secs
lola: 6301226 markings, 20619816 edges, 24444 markings/sec, 250 secs
lola: 6423232 markings, 21012664 edges, 24401 markings/sec, 255 secs
lola: 6547857 markings, 21402089 edges, 24925 markings/sec, 260 secs
lola: 6670773 markings, 21803615 edges, 24583 markings/sec, 265 secs
lola: 6792087 markings, 22210222 edges, 24263 markings/sec, 270 secs
lola: 6913812 markings, 22606676 edges, 24345 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1936556 KB
lola: time consumption: 1035 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 120089 markings, 412284 edges, 24018 markings/sec, 0 secs
lola: 244311 markings, 839058 edges, 24844 markings/sec, 5 secs
lola: 368296 markings, 1267806 edges, 24797 markings/sec, 10 secs
lola: 490720 markings, 1687347 edges, 24485 markings/sec, 15 secs
lola: 614606 markings, 2115874 edges, 24777 markings/sec, 20 secs
lola: 738729 markings, 2543190 edges, 24825 markings/sec, 25 secs
lola: 862429 markings, 2972335 edges, 24740 markings/sec, 30 secs
lola: 984703 markings, 3400434 edges, 24455 markings/sec, 35 secs
lola: 1107031 markings, 3812082 edges, 24466 markings/sec, 40 secs
lola: 1222162 markings, 4328107 edges, 23026 markings/sec, 45 secs
lola: 1336433 markings, 4851659 edges, 22854 markings/sec, 50 secs
lola: 1456933 markings, 5295034 edges, 24100 markings/sec, 55 secs
lola: 1577144 markings, 5747261 edges, 24042 markings/sec, 60 secs
lola: 1691206 markings, 6277293 edges, 22812 markings/sec, 65 secs
lola: 1804934 markings, 6787670 edges, 22746 markings/sec, 70 secs
lola: 1918355 markings, 7313184 edges, 22684 markings/sec, 75 secs
lola: 2031411 markings, 7837119 edges, 22611 markings/sec, 80 secs
lola: 2150185 markings, 8291026 edges, 23755 markings/sec, 85 secs
lola: 2272634 markings, 8706718 edges, 24490 markings/sec, 90 secs
lola: 2388676 markings, 9210178 edges, 23208 markings/sec, 95 secs
lola: 2502670 markings, 9730757 edges, 22799 markings/sec, 100 secs
lola: 2615530 markings, 10256803 edges, 22572 markings/sec, 105 secs
lola: 2729372 markings, 10769658 edges, 22768 markings/sec, 110 secs
lola: 2842495 markings, 11295920 edges, 22625 markings/sec, 115 secs
lola: 2965583 markings, 11700789 edges, 24618 markings/sec, 120 secs
lola: 3082354 markings, 12196695 edges, 23354 markings/sec, 125 secs
lola: 3196529 markings, 12720881 edges, 22835 markings/sec, 130 secs
lola: 3309921 markings, 13246755 edges, 22678 markings/sec, 135 secs
lola: 3423565 markings, 13765289 edges, 22729 markings/sec, 140 secs
lola: 3536734 markings, 14291202 edges, 22634 markings/sec, 145 secs
lola: 3660301 markings, 14709074 edges, 24713 markings/sec, 150 secs
lola: 3785488 markings, 15107494 edges, 25037 markings/sec, 155 secs
lola: 3910510 markings, 15515420 edges, 25004 markings/sec, 160 secs
lola: 4036578 markings, 15919810 edges, 25214 markings/sec, 165 secs
lola: 4160177 markings, 16334724 edges, 24720 markings/sec, 170 secs
lola: 4276335 markings, 16860104 edges, 23232 markings/sec, 175 secs
lola: 4391156 markings, 17382486 edges, 22964 markings/sec, 180 secs
lola: 4504690 markings, 17908739 edges, 22707 markings/sec, 185 secs
lola: 4618259 markings, 18420984 edges, 22714 markings/sec, 190 secs
lola: 4732166 markings, 18930987 edges, 22781 markings/sec, 195 secs
lola: 4856209 markings, 19348415 edges, 24809 markings/sec, 200 secs
lola: 4978648 markings, 19792330 edges, 24488 markings/sec, 205 secs
lola: 5100882 markings, 20217254 edges, 24447 markings/sec, 210 secs
lola: 5224783 markings, 20622300 edges, 24780 markings/sec, 215 secs
lola: 5349693 markings, 21019950 edges, 24982 markings/sec, 220 secs
lola: 5474943 markings, 21425596 edges, 25050 markings/sec, 225 secs
lola: 5597991 markings, 21841458 edges, 24610 markings/sec, 230 secs
lola: 5712873 markings, 22370665 edges, 22976 markings/sec, 235 secs
lola: 5826735 markings, 22887711 edges, 22772 markings/sec, 240 secs
lola: 5940155 markings, 23412033 edges, 22684 markings/sec, 245 secs
lola: 6053551 markings, 23926179 edges, 22679 markings/sec, 250 secs
lola: 6168847 markings, 24426207 edges, 23059 markings/sec, 255 secs
lola: 6291140 markings, 24850196 edges, 24459 markings/sec, 260 secs
lola: 6415412 markings, 25249245 edges, 24854 markings/sec, 265 secs
lola: 6539887 markings, 25651173 edges, 24895 markings/sec, 270 secs
lola: 6664372 markings, 26053090 edges, 24897 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1945704 KB
lola: time consumption: 1316 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_1_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_1_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 124425 markings, 410518 edges, 24885 markings/sec, 0 secs
lola: 250241 markings, 831657 edges, 25163 markings/sec, 5 secs
lola: 375870 markings, 1243894 edges, 25126 markings/sec, 10 secs
lola: 500167 markings, 1629624 edges, 24859 markings/sec, 15 secs
lola: 623327 markings, 2025345 edges, 24632 markings/sec, 20 secs
lola: 743233 markings, 2423230 edges, 23981 markings/sec, 25 secs
lola: 867414 markings, 2822768 edges, 24836 markings/sec, 30 secs
lola: 986961 markings, 3204443 edges, 23909 markings/sec, 35 secs
lola: 1098273 markings, 3554102 edges, 22262 markings/sec, 40 secs
lola: 1220348 markings, 3932361 edges, 24415 markings/sec, 45 secs
lola: 1342865 markings, 4326402 edges, 24503 markings/sec, 50 secs
lola: 1463900 markings, 4706406 edges, 24207 markings/sec, 55 secs
lola: 1588805 markings, 5091059 edges, 24981 markings/sec, 60 secs
lola: 1712630 markings, 5481655 edges, 24765 markings/sec, 65 secs
lola: 1838281 markings, 5877604 edges, 25130 markings/sec, 70 secs
lola: 1964465 markings, 6260577 edges, 25237 markings/sec, 75 secs
lola: 2088825 markings, 6658097 edges, 24872 markings/sec, 80 secs
lola: 2211434 markings, 7025927 edges, 24522 markings/sec, 85 secs
lola: 2333283 markings, 7423072 edges, 24370 markings/sec, 90 secs
lola: 2459345 markings, 7791677 edges, 25212 markings/sec, 95 secs
lola: 2583481 markings, 8187771 edges, 24827 markings/sec, 100 secs
lola: 2708926 markings, 8560299 edges, 25089 markings/sec, 105 secs
lola: 2830028 markings, 8947068 edges, 24220 markings/sec, 110 secs
lola: 2955442 markings, 9322730 edges, 25083 markings/sec, 115 secs
lola: 3080594 markings, 9691742 edges, 25030 markings/sec, 120 secs
lola: 3206306 markings, 10068904 edges, 25142 markings/sec, 125 secs
lola: 3329851 markings, 10458991 edges, 24709 markings/sec, 130 secs
lola: 3453069 markings, 10822815 edges, 24644 markings/sec, 135 secs
lola: 3577213 markings, 11214884 edges, 24829 markings/sec, 140 secs
lola: 3702172 markings, 11575876 edges, 24992 markings/sec, 145 secs
lola: 3825810 markings, 11971039 edges, 24728 markings/sec, 150 secs
lola: 3949407 markings, 12338717 edges, 24719 markings/sec, 155 secs
lola: 4067067 markings, 12690000 edges, 23532 markings/sec, 160 secs
lola: 4187898 markings, 13073444 edges, 24166 markings/sec, 165 secs
lola: 4312748 markings, 13431157 edges, 24970 markings/sec, 170 secs
lola: 4435541 markings, 13816311 edges, 24559 markings/sec, 175 secs
lola: 4559953 markings, 14195368 edges, 24882 markings/sec, 180 secs
lola: 4683631 markings, 14560063 edges, 24736 markings/sec, 185 secs
lola: 4803596 markings, 14940720 edges, 23993 markings/sec, 190 secs
lola: 4928443 markings, 15303556 edges, 24969 markings/sec, 195 secs
lola: 5053985 markings, 15678269 edges, 25108 markings/sec, 200 secs
lola: 5178001 markings, 16072709 edges, 24803 markings/sec, 205 secs
lola: 5303772 markings, 16436182 edges, 25154 markings/sec, 210 secs
lola: 5429389 markings, 16811859 edges, 25123 markings/sec, 215 secs
lola: 5553526 markings, 17203691 edges, 24827 markings/sec, 220 secs
lola: 5675445 markings, 17554800 edges, 24384 markings/sec, 225 secs
lola: 5800081 markings, 17928029 edges, 24927 markings/sec, 230 secs
lola: 5922402 markings, 18317696 edges, 24464 markings/sec, 235 secs
lola: 6047851 markings, 18680435 edges, 25090 markings/sec, 240 secs
lola: 6172585 markings, 19051251 edges, 24947 markings/sec, 245 secs
lola: 6295554 markings, 19442049 edges, 24594 markings/sec, 250 secs
lola: 6421303 markings, 19805752 edges, 25150 markings/sec, 255 secs
lola: 6547452 markings, 20171005 edges, 25230 markings/sec, 260 secs
lola: 6669899 markings, 20557889 edges, 24489 markings/sec, 265 secs
lola: 6794480 markings, 20934701 edges, 24916 markings/sec, 270 secs
lola: 6920196 markings, 21294808 edges, 25143 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1633884 KB
lola: time consumption: 1597 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 281 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-D10N050-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: 50
lola: 126772 markings, 376568 edges, 25354 markings/sec, 0 secs
lola: 251758 markings, 748988 edges, 24997 markings/sec, 5 secs
lola: 377981 markings, 1124624 edges, 25245 markings/sec, 10 secs
lola: 503467 markings, 1497220 edges, 25097 markings/sec, 15 secs
lola: 632515 markings, 1883141 edges, 25810 markings/sec, 20 secs
lola: 761074 markings, 2267882 edges, 25712 markings/sec, 25 secs
lola: 885979 markings, 2638137 edges, 24981 markings/sec, 30 secs
lola: 1014348 markings, 3022150 edges, 25674 markings/sec, 35 secs
lola: 1140693 markings, 3399891 edges, 25269 markings/sec, 40 secs
lola: 1266575 markings, 3776104 edges, 25176 markings/sec, 45 secs
lola: 1390899 markings, 4143750 edges, 24865 markings/sec, 50 secs
lola: 1517948 markings, 4523754 edges, 25410 markings/sec, 55 secs
lola: 1645752 markings, 4905664 edges, 25561 markings/sec, 60 secs
lola: 1773277 markings, 5284040 edges, 25505 markings/sec, 65 secs
lola: 1900444 markings, 5663887 edges, 25433 markings/sec, 70 secs
lola: 2027768 markings, 6044909 edges, 25465 markings/sec, 75 secs
lola: 2154962 markings, 6424332 edges, 25439 markings/sec, 80 secs
lola: 2281929 markings, 6799835 edges, 25393 markings/sec, 85 secs
lola: 2408572 markings, 7179563 edges, 25329 markings/sec, 90 secs
lola: 2535029 markings, 7556925 edges, 25291 markings/sec, 95 secs
lola: 2662186 markings, 7935739 edges, 25431 markings/sec, 100 secs
lola: 2789515 markings, 8314014 edges, 25466 markings/sec, 105 secs
lola: 2916561 markings, 8693898 edges, 25409 markings/sec, 110 secs
lola: 3040564 markings, 9064648 edges, 24801 markings/sec, 115 secs
lola: 3166044 markings, 9435917 edges, 25096 markings/sec, 120 secs
lola: 3291151 markings, 9812130 edges, 25021 markings/sec, 125 secs
lola: 3415050 markings, 10181040 edges, 24780 markings/sec, 130 secs
lola: 3536857 markings, 10543430 edges, 24361 markings/sec, 135 secs
lola: 3659202 markings, 10908270 edges, 24469 markings/sec, 140 secs
lola: 3784399 markings, 11283094 edges, 25039 markings/sec, 145 secs
lola: 3911049 markings, 11661128 edges, 25330 markings/sec, 150 secs
lola: 4037626 markings, 12034959 edges, 25315 markings/sec, 155 secs
lola: 4162670 markings, 12410480 edges, 25009 markings/sec, 160 secs
lola: 4288884 markings, 12786909 edges, 25243 markings/sec, 165 secs
lola: 4415156 markings, 13162441 edges, 25254 markings/sec, 170 secs
lola: 4542003 markings, 13540124 edges, 25369 markings/sec, 175 secs
lola: 4666943 markings, 13914367 edges, 24988 markings/sec, 180 secs
lola: 4789559 markings, 14280857 edges, 24523 markings/sec, 185 secs
lola: 4914515 markings, 14650295 edges, 24991 markings/sec, 190 secs
lola: 5039749 markings, 15026010 edges, 25047 markings/sec, 195 secs
lola: 5166587 markings, 15403982 edges, 25368 markings/sec, 200 secs
lola: 5293257 markings, 15780360 edges, 25334 markings/sec, 205 secs
lola: 5419619 markings, 16157254 edges, 25272 markings/sec, 210 secs
lola: 5546229 markings, 16536330 edges, 25322 markings/sec, 215 secs
lola: 5673092 markings, 16914734 edges, 25373 markings/sec, 220 secs
lola: 5800030 markings, 17290204 edges, 25388 markings/sec, 225 secs
lola: 5926611 markings, 17670207 edges, 25316 markings/sec, 230 secs
lola: 6053126 markings, 18047421 edges, 25303 markings/sec, 235 secs
lola: 6179010 markings, 18422462 edges, 25177 markings/sec, 240 secs
lola: 6305964 markings, 18799402 edges, 25391 markings/sec, 245 secs
lola: 6432272 markings, 19177569 edges, 25262 markings/sec, 250 secs
lola: 6558720 markings, 19555261 edges, 25290 markings/sec, 255 secs
lola: 6684968 markings, 19928668 edges, 25250 markings/sec, 260 secs
lola: 6810885 markings, 20307255 edges, 25183 markings/sec, 265 secs
lola: 6936111 markings, 20680697 edges, 25045 markings/sec, 270 secs
lola: 7062249 markings, 21056737 edges, 25228 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1816056 KB
lola: time consumption: 1879 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_6_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_6_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 149 edges
lola: ========================================
FORMULA Diffusion2D-PT-D10N050-UpperBounds-10 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__10_5_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__10_5_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 129253 markings, 354127 edges, 25851 markings/sec, 0 secs
lola: 258281 markings, 707859 edges, 25806 markings/sec, 5 secs
lola: 388402 markings, 1062688 edges, 26024 markings/sec, 10 secs
lola: 514992 markings, 1396449 edges, 25318 markings/sec, 15 secs
lola: 640007 markings, 1720934 edges, 25003 markings/sec, 20 secs
lola: 771150 markings, 2066276 edges, 26229 markings/sec, 25 secs
lola: 900898 markings, 2409327 edges, 25950 markings/sec, 30 secs
lola: 1030819 markings, 2753848 edges, 25984 markings/sec, 35 secs
lola: 1161286 markings, 3098189 edges, 26093 markings/sec, 40 secs
lola: 1291350 markings, 3443950 edges, 26013 markings/sec, 45 secs
lola: 1421463 markings, 3787804 edges, 26023 markings/sec, 50 secs
lola: 1553330 markings, 4138261 edges, 26373 markings/sec, 55 secs
lola: 1684684 markings, 4479887 edges, 26271 markings/sec, 60 secs
lola: 1815212 markings, 4827584 edges, 26106 markings/sec, 65 secs
lola: 1945557 markings, 5169975 edges, 26069 markings/sec, 70 secs
lola: 2075939 markings, 5518482 edges, 26076 markings/sec, 75 secs
lola: 2206779 markings, 5860902 edges, 26168 markings/sec, 80 secs
lola: 2337741 markings, 6202891 edges, 26192 markings/sec, 85 secs
lola: 2467537 markings, 6546162 edges, 25959 markings/sec, 90 secs
lola: 2598493 markings, 6891653 edges, 26191 markings/sec, 95 secs
lola: 2729949 markings, 7232464 edges, 26291 markings/sec, 100 secs
lola: 2860538 markings, 7577509 edges, 26118 markings/sec, 105 secs
lola: 2987221 markings, 7916273 edges, 25337 markings/sec, 110 secs
lola: 3114409 markings, 8250939 edges, 25438 markings/sec, 115 secs
lola: 3244467 markings, 8590891 edges, 26012 markings/sec, 120 secs
lola: 3374697 markings, 8932617 edges, 26046 markings/sec, 125 secs
lola: 3503727 markings, 9273330 edges, 25806 markings/sec, 130 secs
lola: 3632154 markings, 9615656 edges, 25685 markings/sec, 135 secs
lola: 3759650 markings, 9951781 edges, 25499 markings/sec, 140 secs
lola: 3888400 markings, 10290355 edges, 25750 markings/sec, 145 secs
lola: 4016808 markings, 10631080 edges, 25682 markings/sec, 150 secs
lola: 4146705 markings, 10978865 edges, 25979 markings/sec, 155 secs
lola: 4276958 markings, 11317724 edges, 26051 markings/sec, 160 secs
lola: 4405309 markings, 11662223 edges, 25670 markings/sec, 165 secs
lola: 4532969 markings, 12008034 edges, 25532 markings/sec, 170 secs
lola: 4660579 markings, 12358994 edges, 25522 markings/sec, 175 secs
lola: 4789816 markings, 12700339 edges, 25847 markings/sec, 180 secs
lola: 4919886 markings, 13044164 edges, 26014 markings/sec, 185 secs
lola: 5050199 markings, 13385724 edges, 26063 markings/sec, 190 secs
lola: 5180110 markings, 13722688 edges, 25982 markings/sec, 195 secs
lola: 5310483 markings, 14058733 edges, 26075 markings/sec, 200 secs
lola: 5439878 markings, 14391872 edges, 25879 markings/sec, 205 secs
lola: 5569279 markings, 14729814 edges, 25880 markings/sec, 210 secs
lola: 5699062 markings, 15068250 edges, 25957 markings/sec, 215 secs
lola: 5829189 markings, 15402862 edges, 26025 markings/sec, 220 secs
lola: 5959082 markings, 15740670 edges, 25979 markings/sec, 225 secs
lola: 6089188 markings, 16079916 edges, 26021 markings/sec, 230 secs
lola: 6218298 markings, 16419526 edges, 25822 markings/sec, 235 secs
lola: 6348329 markings, 16743763 edges, 26006 markings/sec, 240 secs
lola: 6478064 markings, 17073132 edges, 25947 markings/sec, 245 secs
lola: 6607005 markings, 17415633 edges, 25788 markings/sec, 250 secs
lola: 6736634 markings, 17752306 edges, 25926 markings/sec, 255 secs
lola: 6867304 markings, 18084600 edges, 26134 markings/sec, 260 secs
lola: 6996506 markings, 18421010 edges, 25840 markings/sec, 265 secs
lola: 7124711 markings, 18765091 edges, 25641 markings/sec, 270 secs
lola: 7253885 markings, 19106336 edges, 25835 markings/sec, 275 secs
lola: 7380734 markings, 19440660 edges, 25370 markings/sec, 280 secs
lola: 7509442 markings, 19789840 edges, 25742 markings/sec, 285 secs
lola: 7638500 markings, 20140563 edges, 25812 markings/sec, 290 secs
lola: 7767584 markings, 20488384 edges, 25817 markings/sec, 295 secs
lola: 7896747 markings, 20835460 edges, 25833 markings/sec, 300 secs
lola: 8024751 markings, 21184298 edges, 25601 markings/sec, 305 secs
lola: 8153280 markings, 21522933 edges, 25706 markings/sec, 310 secs
lola: 8281716 markings, 21856592 edges, 25687 markings/sec, 315 secs
lola: 8408098 markings, 22189560 edges, 25276 markings/sec, 320 secs
lola: 8536209 markings, 22527942 edges, 25622 markings/sec, 325 secs
lola: 8664077 markings, 22867350 edges, 25574 markings/sec, 330 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown unknown unknown unknown unknown
lola: memory consumption: 2671460 KB
lola: time consumption: 2217 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__6_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__6_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 101 markings, 100 edges
lola: ========================================
FORMULA Diffusion2D-PT-D10N050-UpperBounds-12 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__3_9_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__3_9_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 128123 markings, 355292 edges, 25625 markings/sec, 0 secs
lola: 254083 markings, 702776 edges, 25192 markings/sec, 5 secs
lola: 382307 markings, 1042910 edges, 25645 markings/sec, 10 secs
lola: 510796 markings, 1384288 edges, 25698 markings/sec, 15 secs
lola: 636987 markings, 1740045 edges, 25238 markings/sec, 20 secs
lola: 762439 markings, 2107952 edges, 25090 markings/sec, 25 secs
lola: 888120 markings, 2471848 edges, 25136 markings/sec, 30 secs
lola: 1016085 markings, 2821493 edges, 25593 markings/sec, 35 secs
lola: 1143165 markings, 3179230 edges, 25416 markings/sec, 40 secs
lola: 1268351 markings, 3545681 edges, 25037 markings/sec, 45 secs
lola: 1392687 markings, 3905737 edges, 24867 markings/sec, 50 secs
lola: 1518591 markings, 4282729 edges, 25181 markings/sec, 55 secs
lola: 1643221 markings, 4661205 edges, 24926 markings/sec, 60 secs
lola: 1768402 markings, 5029889 edges, 25036 markings/sec, 65 secs
lola: 1895331 markings, 5384209 edges, 25386 markings/sec, 70 secs
lola: 2019713 markings, 5766841 edges, 24876 markings/sec, 75 secs
lola: 2142732 markings, 6136099 edges, 24604 markings/sec, 80 secs
lola: 2268862 markings, 6502540 edges, 25226 markings/sec, 85 secs
lola: 2391623 markings, 6886669 edges, 24552 markings/sec, 90 secs
lola: 2517443 markings, 7261780 edges, 25164 markings/sec, 95 secs
lola: 2638887 markings, 7646082 edges, 24289 markings/sec, 100 secs
lola: 2764385 markings, 8014571 edges, 25100 markings/sec, 105 secs
lola: 2887873 markings, 8406044 edges, 24698 markings/sec, 110 secs
lola: 3014947 markings, 8772504 edges, 25415 markings/sec, 115 secs
lola: 3142405 markings, 9144174 edges, 25492 markings/sec, 120 secs
lola: 3268005 markings, 9531729 edges, 25120 markings/sec, 125 secs
lola: 3392647 markings, 9912631 edges, 24928 markings/sec, 130 secs
lola: 3518011 markings, 10286190 edges, 25073 markings/sec, 135 secs
lola: 3642859 markings, 10670117 edges, 24970 markings/sec, 140 secs
lola: 3767465 markings, 11055753 edges, 24921 markings/sec, 145 secs
lola: 3892634 markings, 11418685 edges, 25034 markings/sec, 150 secs
lola: 4015748 markings, 11797501 edges, 24623 markings/sec, 155 secs
lola: 4142737 markings, 12146338 edges, 25398 markings/sec, 160 secs
lola: 4272469 markings, 12481815 edges, 25946 markings/sec, 165 secs
lola: 4401092 markings, 12838345 edges, 25725 markings/sec, 170 secs
lola: 4528874 markings, 13194558 edges, 25556 markings/sec, 175 secs
lola: 4655891 markings, 13551662 edges, 25403 markings/sec, 180 secs
lola: 4783257 markings, 13926104 edges, 25473 markings/sec, 185 secs
lola: 4911152 markings, 14293781 edges, 25579 markings/sec, 190 secs
lola: 5039543 markings, 14658237 edges, 25678 markings/sec, 195 secs
lola: 5163149 markings, 15053861 edges, 24721 markings/sec, 200 secs
lola: 5288924 markings, 15426495 edges, 25155 markings/sec, 205 secs
lola: 5414659 markings, 15798493 edges, 25147 markings/sec, 210 secs
lola: 5540281 markings, 16180766 edges, 25124 markings/sec, 215 secs
lola: 5666711 markings, 16550892 edges, 25286 markings/sec, 220 secs
lola: 5793201 markings, 16919715 edges, 25298 markings/sec, 225 secs
lola: 5916144 markings, 17318862 edges, 24589 markings/sec, 230 secs
lola: 6040507 markings, 17707757 edges, 24873 markings/sec, 235 secs
lola: 6162850 markings, 18113230 edges, 24469 markings/sec, 240 secs
lola: 6288666 markings, 18480651 edges, 25163 markings/sec, 245 secs
lola: 6413541 markings, 18863142 edges, 24975 markings/sec, 250 secs
lola: 6536928 markings, 19259694 edges, 24677 markings/sec, 255 secs
lola: 6662272 markings, 19633056 edges, 25069 markings/sec, 260 secs
lola: 6789052 markings, 19998660 edges, 25356 markings/sec, 265 secs
lola: 6916218 markings, 20353975 edges, 25433 markings/sec, 270 secs
lola: 7037772 markings, 20765115 edges, 24311 markings/sec, 275 secs
lola: 7160894 markings, 21163479 edges, 24624 markings/sec, 280 secs
lola: 7285497 markings, 21560402 edges, 24921 markings/sec, 285 secs
lola: 7409671 markings, 21943972 edges, 24835 markings/sec, 290 secs
lola: 7535921 markings, 22315066 edges, 25250 markings/sec, 295 secs
lola: 7657989 markings, 22712834 edges, 24414 markings/sec, 300 secs
lola: 7782772 markings, 23092975 edges, 24957 markings/sec, 305 secs
lola: 7905661 markings, 23487070 edges, 24578 markings/sec, 310 secs
lola: 8027476 markings, 23869884 edges, 24363 markings/sec, 315 secs
lola: 8149678 markings, 24274544 edges, 24440 markings/sec, 320 secs
lola: 8273030 markings, 24666863 edges, 24670 markings/sec, 325 secs
lola: 8399102 markings, 25023468 edges, 25214 markings/sec, 330 secs
lola: 8524214 markings, 25379204 edges, 25022 markings/sec, 335 secs
lola: 8643290 markings, 25737603 edges, 23815 markings/sec, 340 secs
lola: 8765865 markings, 26132790 edges, 24515 markings/sec, 345 secs
lola: 8886814 markings, 26518367 edges, 24190 markings/sec, 350 secs
lola: 9012175 markings, 26899464 edges, 25072 markings/sec, 355 secs
lola: 9131997 markings, 27311238 edges, 23964 markings/sec, 360 secs
lola: 9253908 markings, 27719144 edges, 24382 markings/sec, 365 secs
lola: 9377317 markings, 28115606 edges, 24682 markings/sec, 370 secs
lola: 9503202 markings, 28485795 edges, 25177 markings/sec, 375 secs
lola: 9627977 markings, 28858451 edges, 24955 markings/sec, 380 secs
lola: 9747355 markings, 29239899 edges, 23876 markings/sec, 385 secs
lola: 9874550 markings, 29592954 edges, 25439 markings/sec, 390 secs
lola: 9998269 markings, 29967332 edges, 24744 markings/sec, 395 secs
lola: 10118184 markings, 30368981 edges, 23983 markings/sec, 400 secs
lola: 10238087 markings, 30775242 edges, 23981 markings/sec, 405 secs
lola: 10360021 markings, 31165593 edges, 24387 markings/sec, 410 secs
lola: 10481652 markings, 31546094 edges, 24326 markings/sec, 415 secs
lola: 10607476 markings, 31921223 edges, 25165 markings/sec, 420 secs
lola: 10732785 markings, 32266582 edges, 25062 markings/sec, 425 secs
lola: 10850644 markings, 32651862 edges, 23572 markings/sec, 430 secs
lola: 10969970 markings, 33019364 edges, 23865 markings/sec, 435 secs
lola: 11091787 markings, 33404171 edges, 24363 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: memory consumption: 2856208 KB
lola: time consumption: 2668 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 451 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__9_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__9_10_)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 126228 markings, 404612 edges, 25246 markings/sec, 0 secs
lola: 254528 markings, 824987 edges, 25660 markings/sec, 5 secs
lola: 383128 markings, 1242886 edges, 25720 markings/sec, 10 secs
lola: 510826 markings, 1658135 edges, 25540 markings/sec, 15 secs
lola: 639842 markings, 2075044 edges, 25803 markings/sec, 20 secs
lola: 768384 markings, 2494874 edges, 25708 markings/sec, 25 secs
lola: 892374 markings, 2897311 edges, 24798 markings/sec, 30 secs
lola: 1019234 markings, 3311786 edges, 25372 markings/sec, 35 secs
lola: 1140815 markings, 3707597 edges, 24316 markings/sec, 40 secs
lola: 1262740 markings, 4103134 edges, 24385 markings/sec, 45 secs
lola: 1390365 markings, 4517676 edges, 25525 markings/sec, 50 secs
lola: 1519019 markings, 4941017 edges, 25731 markings/sec, 55 secs
lola: 1646926 markings, 5354873 edges, 25581 markings/sec, 60 secs
lola: 1774021 markings, 5765212 edges, 25419 markings/sec, 65 secs
lola: 1901567 markings, 6184351 edges, 25509 markings/sec, 70 secs
lola: 2028522 markings, 6598387 edges, 25391 markings/sec, 75 secs
lola: 2157916 markings, 7018161 edges, 25879 markings/sec, 80 secs
lola: 2284560 markings, 7433549 edges, 25329 markings/sec, 85 secs
lola: 2411835 markings, 7846230 edges, 25455 markings/sec, 90 secs
lola: 2539596 markings, 8259563 edges, 25552 markings/sec, 95 secs
lola: 2666396 markings, 8674146 edges, 25360 markings/sec, 100 secs
lola: 2793105 markings, 9093912 edges, 25342 markings/sec, 105 secs
lola: 2919620 markings, 9509951 edges, 25303 markings/sec, 110 secs
lola: 3046399 markings, 9927070 edges, 25356 markings/sec, 115 secs
lola: 3173603 markings, 10341972 edges, 25441 markings/sec, 120 secs
lola: 3298189 markings, 10747731 edges, 24917 markings/sec, 125 secs
lola: 3424441 markings, 11165737 edges, 25250 markings/sec, 130 secs
lola: 3550854 markings, 11577296 edges, 25283 markings/sec, 135 secs
lola: 3677736 markings, 11991411 edges, 25376 markings/sec, 140 secs
lola: 3805536 markings, 12411883 edges, 25560 markings/sec, 145 secs
lola: 3934283 markings, 12830104 edges, 25749 markings/sec, 150 secs
lola: 4059611 markings, 13236180 edges, 25066 markings/sec, 155 secs
lola: 4182622 markings, 13632292 edges, 24602 markings/sec, 160 secs
lola: 4309518 markings, 14037119 edges, 25379 markings/sec, 165 secs
lola: 4435744 markings, 14440197 edges, 25245 markings/sec, 170 secs
lola: 4560925 markings, 14840993 edges, 25036 markings/sec, 175 secs
lola: 4686314 markings, 15244994 edges, 25078 markings/sec, 180 secs
lola: 4814690 markings, 15658418 edges, 25675 markings/sec, 185 secs
lola: 4942174 markings, 16076503 edges, 25497 markings/sec, 190 secs
lola: 5069127 markings, 16489318 edges, 25391 markings/sec, 195 secs
lola: 5197484 markings, 16915520 edges, 25671 markings/sec, 200 secs
lola: 5322069 markings, 17318652 edges, 24917 markings/sec, 205 secs
lola: 5447240 markings, 17727636 edges, 25034 markings/sec, 210 secs
lola: 5573472 markings, 18140598 edges, 25246 markings/sec, 215 secs
lola: 5698855 markings, 18547217 edges, 25077 markings/sec, 220 secs
lola: 5826846 markings, 18958697 edges, 25598 markings/sec, 225 secs
lola: 5954229 markings, 19374295 edges, 25477 markings/sec, 230 secs
lola: 6081581 markings, 19788232 edges, 25470 markings/sec, 235 secs
lola: 6208015 markings, 20202970 edges, 25287 markings/sec, 240 secs
lola: 6331700 markings, 20597825 edges, 24737 markings/sec, 245 secs
lola: 6456619 markings, 20999812 edges, 24984 markings/sec, 250 secs
lola: 6582195 markings, 21398162 edges, 25115 markings/sec, 255 secs
lola: 6708224 markings, 21799975 edges, 25206 markings/sec, 260 secs
lola: 6835283 markings, 22204608 edges, 25412 markings/sec, 265 secs
lola: 6959306 markings, 22607722 edges, 24805 markings/sec, 270 secs
lola: 7082848 markings, 23003948 edges, 24708 markings/sec, 275 secs
lola: 7208413 markings, 23408662 edges, 25113 markings/sec, 280 secs
lola: 7335866 markings, 23822997 edges, 25491 markings/sec, 285 secs
lola: 7461664 markings, 24230245 edges, 25160 markings/sec, 290 secs
lola: 7587660 markings, 24639262 edges, 25199 markings/sec, 295 secs
lola: 7715023 markings, 25055043 edges, 25473 markings/sec, 300 secs
lola: 7841332 markings, 25465436 edges, 25262 markings/sec, 305 secs
lola: 7965540 markings, 25866826 edges, 24842 markings/sec, 310 secs
lola: 8091233 markings, 26267299 edges, 25139 markings/sec, 315 secs
lola: 8215865 markings, 26670483 edges, 24926 markings/sec, 320 secs
lola: 8340599 markings, 27074887 edges, 24947 markings/sec, 325 secs
lola: 8465431 markings, 27475187 edges, 24966 markings/sec, 330 secs
lola: 8590738 markings, 27874656 edges, 25061 markings/sec, 335 secs
lola: 8716721 markings, 28288755 edges, 25197 markings/sec, 340 secs
lola: 8841301 markings, 28695193 edges, 24916 markings/sec, 345 secs
lola: 8966361 markings, 29105581 edges, 25012 markings/sec, 350 secs
lola: 9091541 markings, 29514702 edges, 25036 markings/sec, 355 secs
lola: 9216738 markings, 29920753 edges, 25039 markings/sec, 360 secs
lola: 9342498 markings, 30329894 edges, 25152 markings/sec, 365 secs
lola: 9468926 markings, 30740438 edges, 25286 markings/sec, 370 secs
lola: 9592279 markings, 31138960 edges, 24671 markings/sec, 375 secs
lola: 9714835 markings, 31536591 edges, 24511 markings/sec, 380 secs
lola: 9838729 markings, 31938680 edges, 24779 markings/sec, 385 secs
lola: 9961859 markings, 32332102 edges, 24626 markings/sec, 390 secs
lola: 10089579 markings, 32746710 edges, 25544 markings/sec, 395 secs
lola: 10217995 markings, 33164031 edges, 25683 markings/sec, 400 secs
lola: 10346518 markings, 33579899 edges, 25705 markings/sec, 405 secs
lola: 10475196 markings, 33998669 edges, 25736 markings/sec, 410 secs
lola: 10603897 markings, 34416046 edges, 25740 markings/sec, 415 secs
lola: 10732747 markings, 34835673 edges, 25770 markings/sec, 420 secs
lola: 10859132 markings, 35243192 edges, 25277 markings/sec, 425 secs
lola: 10982932 markings, 35648644 edges, 24760 markings/sec, 430 secs
lola: 11107706 markings, 36056841 edges, 24955 markings/sec, 435 secs
lola: 11233369 markings, 36464080 edges, 25133 markings/sec, 440 secs
lola: 11357679 markings, 36872609 edges, 24862 markings/sec, 445 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: memory consumption: 3362484 KB
lola: time consumption: 3119 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 450 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cAMP__8_4_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cAMP__8_4_)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Diffusion2D-PT-D10N050-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: 50
lola: 125232 markings, 355449 edges, 25046 markings/sec, 0 secs
lola: 253425 markings, 722873 edges, 25639 markings/sec, 5 secs
lola: 381464 markings, 1094208 edges, 25608 markings/sec, 10 secs
lola: 510522 markings, 1453950 edges, 25812 markings/sec, 15 secs
lola: 638718 markings, 1821391 edges, 25639 markings/sec, 20 secs
lola: 767505 markings, 2190337 edges, 25757 markings/sec, 25 secs
lola: 895180 markings, 2567073 edges, 25535 markings/sec, 30 secs
lola: 1022935 markings, 2932778 edges, 25551 markings/sec, 35 secs
lola: 1147518 markings, 3295230 edges, 24917 markings/sec, 40 secs
lola: 1274531 markings, 3659293 edges, 25403 markings/sec, 45 secs
lola: 1398570 markings, 4015426 edges, 24808 markings/sec, 50 secs
lola: 1522432 markings, 4402793 edges, 24772 markings/sec, 55 secs
lola: 1647732 markings, 4795746 edges, 25060 markings/sec, 60 secs
lola: 1774657 markings, 5159963 edges, 25385 markings/sec, 65 secs
lola: 1902437 markings, 5525602 edges, 25556 markings/sec, 70 secs
lola: 2029914 markings, 5890721 edges, 25495 markings/sec, 75 secs
lola: 2157965 markings, 6257721 edges, 25610 markings/sec, 80 secs
lola: 2284067 markings, 6645558 edges, 25220 markings/sec, 85 secs
lola: 2407822 markings, 7048173 edges, 24751 markings/sec, 90 secs
lola: 2533810 markings, 7415509 edges, 25198 markings/sec, 95 secs
lola: 2660366 markings, 7782272 edges, 25311 markings/sec, 100 secs
lola: 2784875 markings, 8138787 edges, 24902 markings/sec, 105 secs
lola: 2909578 markings, 8496108 edges, 24941 markings/sec, 110 secs
lola: 3033269 markings, 8851949 edges, 24738 markings/sec, 115 secs
lola: 3159342 markings, 9212928 edges, 25215 markings/sec, 120 secs
lola: 3284113 markings, 9602400 edges, 24954 markings/sec, 125 secs
lola: 3407947 markings, 9990326 edges, 24767 markings/sec, 130 secs
lola: 3532259 markings, 10346716 edges, 24862 markings/sec, 135 secs
lola: 3657718 markings, 10705936 edges, 25092 markings/sec, 140 secs
lola: 3780682 markings, 11105971 edges, 24593 markings/sec, 145 secs
lola: 3905040 markings, 11501386 edges, 24872 markings/sec, 150 secs
lola: 4031201 markings, 11885547 edges, 25232 markings/sec, 155 secs
lola: 4159246 markings, 12252343 edges, 25609 markings/sec, 160 secs
lola: 4287360 markings, 12619421 edges, 25623 markings/sec, 165 secs
lola: 4411889 markings, 13007355 edges, 24906 markings/sec, 170 secs
lola: 4536093 markings, 13375409 edges, 24841 markings/sec, 175 secs
lola: 4661341 markings, 13734467 edges, 25050 markings/sec, 180 secs
lola: 4784480 markings, 14117252 edges, 24628 markings/sec, 185 secs
lola: 4909671 markings, 14475707 edges, 25038 markings/sec, 190 secs
lola: 5034966 markings, 14834724 edges, 25059 markings/sec, 195 secs
lola: 5159241 markings, 15194121 edges, 24855 markings/sec, 200 secs
lola: 5279700 markings, 15539687 edges, 24092 markings/sec, 205 secs
lola: 5402114 markings, 15890584 edges, 24483 markings/sec, 210 secs
lola: 5526394 markings, 16246237 edges, 24856 markings/sec, 215 secs
lola: 5651140 markings, 16607948 edges, 24949 markings/sec, 220 secs
lola: 5776711 markings, 16967802 edges, 25114 markings/sec, 225 secs
lola: 5901687 markings, 17330269 edges, 24995 markings/sec, 230 secs
lola: 6023497 markings, 17693651 edges, 24362 markings/sec, 235 secs
lola: 6148455 markings, 18051571 edges, 24992 markings/sec, 240 secs
lola: 6274005 markings, 18412049 edges, 25110 markings/sec, 245 secs
lola: 6396594 markings, 18796155 edges, 24518 markings/sec, 250 secs
lola: 6522552 markings, 19154490 edges, 25192 markings/sec, 255 secs
lola: 6648475 markings, 19515383 edges, 25185 markings/sec, 260 secs
lola: 6774252 markings, 19877440 edges, 25155 markings/sec, 265 secs
lola: 6901515 markings, 20246282 edges, 25453 markings/sec, 270 secs
lola: 7029725 markings, 20613671 edges, 25642 markings/sec, 275 secs
lola: 7156479 markings, 20976713 edges, 25351 markings/sec, 280 secs
lola: 7280954 markings, 21333808 edges, 24895 markings/sec, 285 secs
lola: 7406852 markings, 21694703 edges, 25180 markings/sec, 290 secs
lola: 7532848 markings, 22055524 edges, 25199 markings/sec, 295 secs
lola: 7655997 markings, 22421655 edges, 24630 markings/sec, 300 secs
lola: 7780416 markings, 22789350 edges, 24884 markings/sec, 305 secs
lola: 7906210 markings, 23149833 edges, 25159 markings/sec, 310 secs
lola: 8032069 markings, 23510377 edges, 25172 markings/sec, 315 secs
lola: 8156415 markings, 23871226 edges, 24869 markings/sec, 320 secs
lola: 8279020 markings, 24222765 edges, 24521 markings/sec, 325 secs
lola: 8401292 markings, 24592051 edges, 24454 markings/sec, 330 secs
lola: 8525270 markings, 24946929 edges, 24796 markings/sec, 335 secs
lola: 8649550 markings, 25303028 edges, 24856 markings/sec, 340 secs
lola: 8772995 markings, 25655845 edges, 24689 markings/sec, 345 secs
lola: 8897580 markings, 26012543 edges, 24917 markings/sec, 350 secs
lola: 9022241 markings, 26369775 edges, 24932 markings/sec, 355 secs
lola: 9145208 markings, 26739663 edges, 24593 markings/sec, 360 secs
lola: 9267613 markings, 27119342 edges, 24481 markings/sec, 365 secs
lola: 9391997 markings, 27496453 edges, 24877 markings/sec, 370 secs
lola: 9517364 markings, 27856350 edges, 25073 markings/sec, 375 secs
lola: 9643656 markings, 28217306 edges, 25258 markings/sec, 380 secs
lola: 9768674 markings, 28580482 edges, 25004 markings/sec, 385 secs
lola: 9894450 markings, 28940841 edges, 25155 markings/sec, 390 secs
lola: 10018990 markings, 29312941 edges, 24908 markings/sec, 395 secs
lola: 10142782 markings, 29671313 edges, 24758 markings/sec, 400 secs
lola: 10267412 markings, 30028469 edges, 24926 markings/sec, 405 secs
lola: 10389913 markings, 30416067 edges, 24500 markings/sec, 410 secs
lola: 10512999 markings, 30800314 edges, 24617 markings/sec, 415 secs
lola: 10636294 markings, 31153526 edges, 24659 markings/sec, 420 secs
lola: 10759513 markings, 31506618 edges, 24644 markings/sec, 425 secs
lola: 10882125 markings, 31862866 edges, 24522 markings/sec, 430 secs
lola: 11002812 markings, 32232973 edges, 24137 markings/sec, 435 secs
lola: 11123523 markings, 32577816 edges, 24142 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: memory consumption: 3538180 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: time limit reached - aborting
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola:
preliminary result: 50 unknown 50 unknown unknown 50 unknown unknown unknown unknown 50 unknown 50 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: memory consumption: 18484 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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-D10N050"
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-D10N050, 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-155234666400028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Diffusion2D-PT-D10N050.tgz
mv Diffusion2D-PT-D10N050 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 '
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 ;