Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is ClientsAndServers-PT-N0010P1, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920000200
=====================================================================

--------------------
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 ClientsAndServers-PT-N0010P1-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0010P1-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496601468271


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0010P1: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0010P1: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0010P1 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0010P1-UpperBounds.task
lola: MAX(CwG) : MAX(MpG) : MAX(StR) : MAX(MpA) : MAX(Ci) : MAX(Uf) : MAX(MpG) : MAX(SF) : MAX(Cb) : MAX(SG) : MAX(CG) : MAX(StR) : MAX(Ci) : MAX(SF) : MAX(StR) : MAX(CR)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 1998267 markings, 2784380 edges, 399653 markings/sec, 0 secs
lola: 3948235 markings, 5624445 edges, 389994 markings/sec, 5 secs
lola: 5545143 markings, 8190503 edges, 319382 markings/sec, 10 secs
lola: 6862615 markings, 10566129 edges, 263494 markings/sec, 15 secs
lola: 8458463 markings, 13149222 edges, 319170 markings/sec, 20 secs
lola: 10153773 markings, 15875881 edges, 339062 markings/sec, 25 secs
lola: 11811575 markings, 18537277 edges, 331560 markings/sec, 30 secs
lola: 13510373 markings, 21226067 edges, 339760 markings/sec, 35 secs
lola: 15207173 markings, 23909447 edges, 339360 markings/sec, 40 secs
lola: 16955484 markings, 26678795 edges, 349662 markings/sec, 45 secs
lola: 18612222 markings, 29284178 edges, 331348 markings/sec, 50 secs
lola: 20350834 markings, 32005199 edges, 347722 markings/sec, 55 secs
lola: 22012116 markings, 34646817 edges, 332256 markings/sec, 60 secs
lola: 23754523 markings, 37321070 edges, 348481 markings/sec, 65 secs
lola: 25532095 markings, 40105050 edges, 355514 markings/sec, 70 secs
lola: 27158116 markings, 42620843 edges, 325204 markings/sec, 75 secs
lola: 28989509 markings, 45484921 edges, 366279 markings/sec, 80 secs
lola: 30594671 markings, 47958595 edges, 321032 markings/sec, 85 secs
lola: 32440998 markings, 50837658 edges, 369265 markings/sec, 90 secs
lola: 34045328 markings, 53304432 edges, 320866 markings/sec, 95 secs
lola: 35880258 markings, 56155228 edges, 366986 markings/sec, 100 secs
lola: 37529425 markings, 58693189 edges, 329833 markings/sec, 105 secs
lola: 39299673 markings, 61449388 edges, 354050 markings/sec, 110 secs
lola: 41021778 markings, 64085654 edges, 344421 markings/sec, 115 secs
lola: 42688446 markings, 66725433 edges, 333334 markings/sec, 120 secs
lola: 44544830 markings, 69518190 edges, 371277 markings/sec, 125 secs
lola: 46194697 markings, 72088817 edges, 329973 markings/sec, 130 secs
lola: 48062540 markings, 74933029 edges, 373569 markings/sec, 135 secs
lola: 49656044 markings, 77379942 edges, 318701 markings/sec, 140 secs
lola: 51506848 markings, 80241349 edges, 370161 markings/sec, 145 secs
lola: 53208583 markings, 82842608 edges, 340347 markings/sec, 150 secs
lola: 54870091 markings, 85466940 edges, 332302 markings/sec, 155 secs
lola: 56734567 markings, 88266029 edges, 372895 markings/sec, 160 secs
lola: 58335567 markings, 90729419 edges, 320200 markings/sec, 165 secs
lola: 60188597 markings, 93576965 edges, 370606 markings/sec, 170 secs
lola: 61842953 markings, 96107513 edges, 330871 markings/sec, 175 secs
lola: 63503769 markings, 98740056 edges, 332163 markings/sec, 180 secs
lola: 65366697 markings, 101522841 edges, 372586 markings/sec, 185 secs
lola: 66934567 markings, 103933610 edges, 313574 markings/sec, 190 secs
lola: 68795563 markings, 106795079 edges, 372199 markings/sec, 195 secs
lola: 70473471 markings, 109360030 edges, 335582 markings/sec, 200 secs
lola: 72138443 markings, 111992492 edges, 332994 markings/sec, 205 secs
lola: 74023266 markings, 114814203 edges, 376965 markings/sec, 210 secs
lola: 75629116 markings, 117284091 edges, 321170 markings/sec, 215 secs
lola: 77505626 markings, 120167544 edges, 375302 markings/sec, 220 secs
lola: 79180363 markings, 122728473 edges, 334947 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2012676 markings, 3196921 edges, 402535 markings/sec, 0 secs
lola: 3904309 markings, 6232716 edges, 378327 markings/sec, 5 secs
lola: 5349666 markings, 9085656 edges, 289071 markings/sec, 10 secs
lola: 6496474 markings, 11888306 edges, 229362 markings/sec, 15 secs
lola: 8040557 markings, 15158844 edges, 308817 markings/sec, 20 secs
lola: 9621818 markings, 18415425 edges, 316252 markings/sec, 25 secs
lola: 11281335 markings, 21601227 edges, 331903 markings/sec, 30 secs
lola: 12943802 markings, 24791009 edges, 332493 markings/sec, 35 secs
lola: 14624495 markings, 27994866 edges, 336139 markings/sec, 40 secs
lola: 16266826 markings, 31147869 edges, 328466 markings/sec, 45 secs
lola: 17897338 markings, 34271649 edges, 326102 markings/sec, 50 secs
lola: 19546580 markings, 37416249 edges, 329848 markings/sec, 55 secs
lola: 21205911 markings, 40603220 edges, 331866 markings/sec, 60 secs
lola: 22858838 markings, 43765721 edges, 330585 markings/sec, 65 secs
lola: 24560364 markings, 47018957 edges, 340305 markings/sec, 70 secs
lola: 26235987 markings, 50235510 edges, 335125 markings/sec, 75 secs
lola: 27914354 markings, 53432773 edges, 335673 markings/sec, 80 secs
lola: 29563171 markings, 56598460 edges, 329763 markings/sec, 85 secs
lola: 31218153 markings, 59773759 edges, 330996 markings/sec, 90 secs
lola: 32892413 markings, 62963598 edges, 334852 markings/sec, 95 secs
lola: 34536721 markings, 66117919 edges, 328862 markings/sec, 100 secs
lola: 36166010 markings, 69244839 edges, 325858 markings/sec, 105 secs
lola: 37847706 markings, 72451844 edges, 336339 markings/sec, 110 secs
lola: 39511566 markings, 75644903 edges, 332772 markings/sec, 115 secs
lola: 41157676 markings, 78799995 edges, 329222 markings/sec, 120 secs
lola: 42857105 markings, 82041397 edges, 339886 markings/sec, 125 secs
lola: 44513853 markings, 85223454 edges, 331350 markings/sec, 130 secs
lola: 46141907 markings, 88336619 edges, 325611 markings/sec, 135 secs
lola: 47799595 markings, 91507287 edges, 331538 markings/sec, 140 secs
lola: 49430233 markings, 94636069 edges, 326128 markings/sec, 145 secs
lola: 51115250 markings, 97846780 edges, 337003 markings/sec, 150 secs
lola: 52759146 markings, 101003323 edges, 328779 markings/sec, 155 secs
lola: 54403331 markings, 104159085 edges, 328837 markings/sec, 160 secs
lola: 56078945 markings, 107351530 edges, 335123 markings/sec, 165 secs
lola: 57710963 markings, 110483387 edges, 326404 markings/sec, 170 secs
lola: 59331387 markings, 113591054 edges, 324085 markings/sec, 175 secs
lola: 61006041 markings, 116782083 edges, 334931 markings/sec, 180 secs
lola: 62639318 markings, 119920746 edges, 326655 markings/sec, 185 secs
lola: 64284279 markings, 123072284 edges, 328992 markings/sec, 190 secs
lola: 65972650 markings, 126295586 edges, 337674 markings/sec, 195 secs
lola: 67614193 markings, 129446938 edges, 328309 markings/sec, 200 secs
lola: 69246559 markings, 132568962 edges, 326473 markings/sec, 205 secs
lola: 70901317 markings, 135734127 edges, 330952 markings/sec, 210 secs
lola: 72507305 markings, 138819318 edges, 321198 markings/sec, 215 secs
lola: 74164902 markings, 141976917 edges, 331519 markings/sec, 220 secs
lola: 75799104 markings, 145117965 edges, 326840 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2150122 markings, 3062793 edges, 430024 markings/sec, 0 secs
lola: 4100026 markings, 5917097 edges, 389981 markings/sec, 5 secs
lola: 5588520 markings, 8509213 edges, 297699 markings/sec, 10 secs
lola: 7436953 markings, 11456668 edges, 369687 markings/sec, 15 secs
lola: 9326099 markings, 14409756 edges, 377829 markings/sec, 20 secs
lola: 11173695 markings, 17282446 edges, 369519 markings/sec, 25 secs
lola: 13004783 markings, 20132105 edges, 366218 markings/sec, 30 secs
lola: 14803429 markings, 22928035 edges, 359729 markings/sec, 35 secs
lola: 16484908 markings, 25536765 edges, 336296 markings/sec, 40 secs
lola: 18278242 markings, 28321311 edges, 358667 markings/sec, 45 secs
lola: 20077460 markings, 31120504 edges, 359844 markings/sec, 50 secs
lola: 21857616 markings, 33880862 edges, 356031 markings/sec, 55 secs
lola: 23645007 markings, 36652889 edges, 357478 markings/sec, 60 secs
lola: 25419309 markings, 39405320 edges, 354860 markings/sec, 65 secs
lola: 27176218 markings, 42125401 edges, 351382 markings/sec, 70 secs
lola: 28938288 markings, 44853497 edges, 352414 markings/sec, 75 secs
lola: 30691509 markings, 47572839 edges, 350644 markings/sec, 80 secs
lola: 32446030 markings, 50296861 edges, 350904 markings/sec, 85 secs
lola: 34159202 markings, 52955080 edges, 342634 markings/sec, 90 secs
lola: 35888508 markings, 55627697 edges, 345861 markings/sec, 95 secs
lola: 37631616 markings, 58329649 edges, 348622 markings/sec, 100 secs
lola: 39416262 markings, 61092186 edges, 356929 markings/sec, 105 secs
lola: 41183338 markings, 63835904 edges, 353415 markings/sec, 110 secs
lola: 42919367 markings, 66519611 edges, 347206 markings/sec, 115 secs
lola: 44701895 markings, 69284379 edges, 356506 markings/sec, 120 secs
lola: 46452224 markings, 71998137 edges, 350066 markings/sec, 125 secs
lola: 48185130 markings, 74678338 edges, 346581 markings/sec, 130 secs
lola: 49997844 markings, 77506481 edges, 362543 markings/sec, 135 secs
lola: 51702200 markings, 80128019 edges, 340871 markings/sec, 140 secs
lola: 53467811 markings, 82862835 edges, 353122 markings/sec, 145 secs
lola: 55204402 markings, 85551784 edges, 347318 markings/sec, 150 secs
lola: 56940205 markings, 88247390 edges, 347161 markings/sec, 155 secs
lola: 58703236 markings, 90975536 edges, 352606 markings/sec, 160 secs
lola: 60429776 markings, 93646390 edges, 345308 markings/sec, 165 secs
lola: 62194030 markings, 96383514 edges, 352851 markings/sec, 170 secs
lola: 63893195 markings, 99007399 edges, 339833 markings/sec, 175 secs
lola: 65657608 markings, 101750738 edges, 352883 markings/sec, 180 secs
lola: 67366091 markings, 104384711 edges, 341697 markings/sec, 185 secs
lola: 69135537 markings, 107135915 edges, 353889 markings/sec, 190 secs
lola: 70838785 markings, 109764816 edges, 340650 markings/sec, 195 secs
lola: 72603861 markings, 112504723 edges, 353015 markings/sec, 200 secs
lola: 74317093 markings, 115147749 edges, 342646 markings/sec, 205 secs
lola: 76066374 markings, 117862045 edges, 349856 markings/sec, 210 secs
lola: 77779379 markings, 120516252 edges, 342601 markings/sec, 215 secs
lola: 79504633 markings, 123181619 edges, 345051 markings/sec, 220 secs
lola: 81227098 markings, 125847204 edges, 344493 markings/sec, 225 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ci)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2663115 markings, 3157109 edges, 532623 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 5 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2190023 markings, 3120063 edges, 438005 markings/sec, 0 secs
lola: 4169931 markings, 6019384 edges, 395982 markings/sec, 5 secs
lola: 5647169 markings, 8640738 edges, 295448 markings/sec, 10 secs
lola: 7558391 markings, 11648782 edges, 382244 markings/sec, 15 secs
lola: 9457841 markings, 14610966 edges, 379890 markings/sec, 20 secs
lola: 11312332 markings, 17503242 edges, 370898 markings/sec, 25 secs
lola: 13180831 markings, 20407246 edges, 373700 markings/sec, 30 secs
lola: 14989874 markings, 23215790 edges, 361809 markings/sec, 35 secs
lola: 16821198 markings, 26060289 edges, 366265 markings/sec, 40 secs
lola: 18645708 markings, 28892235 edges, 364902 markings/sec, 45 secs
lola: 20443623 markings, 31677640 edges, 359583 markings/sec, 50 secs
lola: 22247109 markings, 34480843 edges, 360697 markings/sec, 55 secs
lola: 24052983 markings, 37280060 edges, 361175 markings/sec, 60 secs
lola: 25851011 markings, 40065847 edges, 359606 markings/sec, 65 secs
lola: 27659551 markings, 42875014 edges, 361708 markings/sec, 70 secs
lola: 29448443 markings, 45651002 edges, 357778 markings/sec, 75 secs
lola: 31219104 markings, 48389978 edges, 354132 markings/sec, 80 secs
lola: 32992795 markings, 51139641 edges, 354738 markings/sec, 85 secs
lola: 34769895 markings, 53899242 edges, 355420 markings/sec, 90 secs
lola: 36600847 markings, 56738765 edges, 366190 markings/sec, 95 secs
lola: 38350704 markings, 59442541 edges, 349971 markings/sec, 100 secs
lola: 40108166 markings, 62164923 edges, 351492 markings/sec, 105 secs
lola: 41908554 markings, 64957367 edges, 360078 markings/sec, 110 secs
lola: 43667648 markings, 67683880 edges, 351819 markings/sec, 115 secs
lola: 45414106 markings, 70388002 edges, 349292 markings/sec, 120 secs
lola: 47229025 markings, 73207436 edges, 362984 markings/sec, 125 secs
lola: 48939336 markings, 75849831 edges, 342062 markings/sec, 130 secs
lola: 50689685 markings, 78556417 edges, 350070 markings/sec, 135 secs
lola: 52446275 markings, 81284850 edges, 351318 markings/sec, 140 secs
lola: 54177333 markings, 83959476 edges, 346212 markings/sec, 145 secs
lola: 55953715 markings, 86724535 edges, 355276 markings/sec, 150 secs
lola: 57598754 markings, 89261868 edges, 329008 markings/sec, 155 secs
lola: 59395329 markings, 92056463 edges, 359315 markings/sec, 160 secs
lola: 61071270 markings, 94640556 edges, 335188 markings/sec, 165 secs
lola: 62858451 markings, 97414767 edges, 357436 markings/sec, 170 secs
lola: 64543641 markings, 100015332 edges, 337038 markings/sec, 175 secs
lola: 66321142 markings, 102775450 edges, 355500 markings/sec, 180 secs
lola: 68008974 markings, 105381577 edges, 337566 markings/sec, 185 secs
lola: 69803924 markings, 108172335 edges, 358990 markings/sec, 190 secs
lola: 71502860 markings, 110791570 edges, 339787 markings/sec, 195 secs
lola: 73319634 markings, 113616900 edges, 363355 markings/sec, 200 secs
lola: 74989568 markings, 116188777 edges, 333987 markings/sec, 205 secs
lola: 76792592 markings, 119007291 edges, 360605 markings/sec, 210 secs
lola: 78279141 markings, 121281777 edges, 297310 markings/sec, 215 secs
lola: 79886501 markings, 123778562 edges, 321472 markings/sec, 220 secs
lola: 81442265 markings, 126177968 edges, 311153 markings/sec, 225 secs
lola: 83060440 markings, 128689336 edges, 323635 markings/sec, 230 secs
lola: 84838805 markings, 131443608 edges, 355673 markings/sec, 235 secs
lola: 86531863 markings, 134062685 edges, 338612 markings/sec, 240 secs
lola: 88351983 markings, 136902222 edges, 364024 markings/sec, 245 secs
lola: 90009953 markings, 139446750 edges, 331594 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2176904 markings, 3037825 edges, 435381 markings/sec, 0 secs
lola: 4224465 markings, 6020216 edges, 409512 markings/sec, 5 secs
lola: 5802432 markings, 8765324 edges, 315593 markings/sec, 10 secs
lola: 7371351 markings, 11393755 edges, 313784 markings/sec, 15 secs
lola: 9038868 markings, 14083680 edges, 333503 markings/sec, 20 secs
lola: 10746609 markings, 16823106 edges, 341548 markings/sec, 25 secs
lola: 12510720 markings, 19638848 edges, 352822 markings/sec, 30 secs
lola: 14208425 markings, 22343049 edges, 339541 markings/sec, 35 secs
lola: 15920901 markings, 25043117 edges, 342495 markings/sec, 40 secs
lola: 17668865 markings, 27793860 edges, 349593 markings/sec, 45 secs
lola: 19406169 markings, 30535576 edges, 347461 markings/sec, 50 secs
lola: 21081734 markings, 33144128 edges, 335113 markings/sec, 55 secs
lola: 22915016 markings, 36020523 edges, 366656 markings/sec, 60 secs
lola: 24571343 markings, 38618094 edges, 331265 markings/sec, 65 secs
lola: 26351080 markings, 41373740 edges, 355947 markings/sec, 70 secs
lola: 28012577 markings, 43992384 edges, 332299 markings/sec, 75 secs
lola: 29800342 markings, 46732970 edges, 357553 markings/sec, 80 secs
lola: 31458936 markings, 49351715 edges, 331719 markings/sec, 85 secs
lola: 33258912 markings, 52095924 edges, 359995 markings/sec, 90 secs
lola: 34917834 markings, 54704392 edges, 331784 markings/sec, 95 secs
lola: 36735786 markings, 57472893 edges, 363590 markings/sec, 100 secs
lola: 38372337 markings, 60026310 edges, 327310 markings/sec, 105 secs
lola: 40197928 markings, 62821255 edges, 365118 markings/sec, 110 secs
lola: 41793387 markings, 65278529 edges, 319092 markings/sec, 115 secs
lola: 43646301 markings, 68137039 edges, 370583 markings/sec, 120 secs
lola: 45255908 markings, 70608023 edges, 321921 markings/sec, 125 secs
lola: 46966654 markings, 73286990 edges, 342149 markings/sec, 130 secs
lola: 48731179 markings, 75958675 edges, 352905 markings/sec, 135 secs
lola: 50357662 markings, 78502533 edges, 325297 markings/sec, 140 secs
lola: 52195813 markings, 81290515 edges, 367630 markings/sec, 145 secs
lola: 53767056 markings, 83700457 edges, 314249 markings/sec, 150 secs
lola: 55554889 markings, 86468398 edges, 357567 markings/sec, 155 secs
lola: 57267281 markings, 89079400 edges, 342478 markings/sec, 160 secs
lola: 58924383 markings, 91678984 edges, 331420 markings/sec, 165 secs
lola: 60782943 markings, 94484127 edges, 371712 markings/sec, 170 secs
lola: 62370051 markings, 96917045 edges, 317422 markings/sec, 175 secs
lola: 64188362 markings, 99727732 edges, 363662 markings/sec, 180 secs
lola: 65902660 markings, 102341815 edges, 342860 markings/sec, 185 secs
lola: 67556130 markings, 104935201 edges, 330694 markings/sec, 190 secs
lola: 69409705 markings, 107730063 edges, 370715 markings/sec, 195 secs
lola: 70986508 markings, 110147015 edges, 315361 markings/sec, 200 secs
lola: 72773075 markings, 112911214 edges, 357313 markings/sec, 205 secs
lola: 74494635 markings, 115535190 edges, 344312 markings/sec, 210 secs
lola: 76140631 markings, 118105879 edges, 329199 markings/sec, 215 secs
lola: 78010411 markings, 120937853 edges, 373956 markings/sec, 220 secs
lola: 79610980 markings, 123388392 edges, 320114 markings/sec, 225 secs
lola: 81389437 markings, 126142002 edges, 355691 markings/sec, 230 secs
lola: 83145165 markings, 128815408 edges, 351146 markings/sec, 235 secs
lola: 84788568 markings, 131382632 edges, 328681 markings/sec, 240 secs
lola: 86649460 markings, 134200081 edges, 372178 markings/sec, 245 secs
lola: 88254019 markings, 136658202 edges, 320912 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2042597 markings, 3049556 edges, 408519 markings/sec, 0 secs
lola: 4074765 markings, 6097494 edges, 406434 markings/sec, 5 secs
lola: 5425647 markings, 9110522 edges, 270176 markings/sec, 10 secs
lola: 7290790 markings, 12305453 edges, 373029 markings/sec, 15 secs
lola: 9116506 markings, 15429842 edges, 365143 markings/sec, 20 secs
lola: 10918110 markings, 18511894 edges, 360321 markings/sec, 25 secs
lola: 12718216 markings, 21588044 edges, 360021 markings/sec, 30 secs
lola: 14520564 markings, 24664710 edges, 360470 markings/sec, 35 secs
lola: 16285725 markings, 27684166 edges, 353032 markings/sec, 40 secs
lola: 18078381 markings, 30747724 edges, 358531 markings/sec, 45 secs
lola: 19847117 markings, 33763366 edges, 353747 markings/sec, 50 secs
lola: 21607240 markings, 36768076 edges, 352025 markings/sec, 55 secs
lola: 23357151 markings, 39758846 edges, 349982 markings/sec, 60 secs
lola: 25097793 markings, 42731551 edges, 348128 markings/sec, 65 secs
lola: 26837209 markings, 45697631 edges, 347883 markings/sec, 70 secs
lola: 28569227 markings, 48651794 edges, 346404 markings/sec, 75 secs
lola: 30297242 markings, 51601014 edges, 345603 markings/sec, 80 secs
lola: 32031566 markings, 54561401 edges, 346865 markings/sec, 85 secs
lola: 33771833 markings, 57528236 edges, 348053 markings/sec, 90 secs
lola: 35510472 markings, 60491294 edges, 347728 markings/sec, 95 secs
lola: 37248331 markings, 63451534 edges, 347572 markings/sec, 100 secs
lola: 38981935 markings, 66415345 edges, 346721 markings/sec, 105 secs
lola: 40684609 markings, 69313178 edges, 340535 markings/sec, 110 secs
lola: 42415941 markings, 72265533 edges, 346266 markings/sec, 115 secs
lola: 44153976 markings, 75225461 edges, 347607 markings/sec, 120 secs
lola: 45893293 markings, 78186534 edges, 347863 markings/sec, 125 secs
lola: 47577793 markings, 81064786 edges, 336900 markings/sec, 130 secs
lola: 49310214 markings, 84013128 edges, 346484 markings/sec, 135 secs
lola: 51046571 markings, 86968416 edges, 347271 markings/sec, 140 secs
lola: 52745274 markings, 89868074 edges, 339741 markings/sec, 145 secs
lola: 54452386 markings, 92778627 edges, 341422 markings/sec, 150 secs
lola: 56193835 markings, 95734807 edges, 348290 markings/sec, 155 secs
lola: 57909096 markings, 98660705 edges, 343052 markings/sec, 160 secs
lola: 59609257 markings, 101553702 edges, 340032 markings/sec, 165 secs
lola: 61352333 markings, 104519251 edges, 348615 markings/sec, 170 secs
lola: 63048947 markings, 107417336 edges, 339323 markings/sec, 175 secs
lola: 64769022 markings, 110341656 edges, 344015 markings/sec, 180 secs
lola: 66522487 markings, 113316931 edges, 350693 markings/sec, 185 secs
lola: 68203619 markings, 116187222 edges, 336226 markings/sec, 190 secs
lola: 69940771 markings, 119139466 edges, 347430 markings/sec, 195 secs
lola: 71688605 markings, 122118342 edges, 349567 markings/sec, 200 secs
lola: 73369897 markings, 124976196 edges, 336258 markings/sec, 205 secs
lola: 75116741 markings, 127937496 edges, 349369 markings/sec, 210 secs
lola: 76786750 markings, 130790614 edges, 334002 markings/sec, 215 secs
lola: 78511502 markings, 133715276 edges, 344950 markings/sec, 220 secs
lola: 80216582 markings, 136619170 edges, 341016 markings/sec, 225 secs
lola: 81916091 markings, 139509959 edges, 339902 markings/sec, 230 secs
lola: 83670469 markings, 142482459 edges, 350876 markings/sec, 235 secs
lola: 85352906 markings, 145350191 edges, 336487 markings/sec, 240 secs
lola: 87105188 markings, 148322175 edges, 350456 markings/sec, 245 secs
lola: 88796161 markings, 151208357 edges, 338195 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2586150 markings, 3059981 edges, 517230 markings/sec, 0 secs
lola: 5142760 markings, 6114472 edges, 511322 markings/sec, 5 secs
lola: 7591157 markings, 9039893 edges, 489679 markings/sec, 10 secs
lola: 9985991 markings, 11902679 edges, 478967 markings/sec, 15 secs
lola: 12326919 markings, 14705530 edges, 468186 markings/sec, 20 secs
lola: 14679254 markings, 17513390 edges, 470467 markings/sec, 25 secs
lola: 17004067 markings, 20294475 edges, 464963 markings/sec, 30 secs
lola: 19321909 markings, 23066221 edges, 463568 markings/sec, 35 secs
lola: 21634614 markings, 25831068 edges, 462541 markings/sec, 40 secs
lola: 23919176 markings, 28562235 edges, 456912 markings/sec, 45 secs
lola: 26218807 markings, 31315449 edges, 459926 markings/sec, 50 secs
lola: 28519394 markings, 34064314 edges, 460117 markings/sec, 55 secs
lola: 30814498 markings, 36805668 edges, 459021 markings/sec, 60 secs
lola: 33104605 markings, 39541164 edges, 458021 markings/sec, 65 secs
lola: 35395196 markings, 42277406 edges, 458118 markings/sec, 70 secs
lola: 37662794 markings, 44986222 edges, 453520 markings/sec, 75 secs
lola: 39940569 markings, 47713455 edges, 455555 markings/sec, 80 secs
lola: 42214870 markings, 50432488 edges, 454860 markings/sec, 85 secs
lola: 44484434 markings, 53144526 edges, 453913 markings/sec, 90 secs
lola: 46749362 markings, 55851391 edges, 452986 markings/sec, 95 secs
lola: 49012659 markings, 58556924 edges, 452659 markings/sec, 100 secs
lola: 51270106 markings, 61256132 edges, 451489 markings/sec, 105 secs
lola: 53504530 markings, 63928531 edges, 446885 markings/sec, 110 secs
lola: 55727827 markings, 66587414 edges, 444659 markings/sec, 115 secs
lola: 57954446 markings, 69253232 edges, 445324 markings/sec, 120 secs
lola: 60182433 markings, 71920933 edges, 445597 markings/sec, 125 secs
lola: 62408936 markings, 74585081 edges, 445301 markings/sec, 130 secs
lola: 64636080 markings, 77249042 edges, 445429 markings/sec, 135 secs
lola: 66870315 markings, 79922445 edges, 446847 markings/sec, 140 secs
lola: 69112279 markings, 82605453 edges, 448393 markings/sec, 145 secs
lola: 71360628 markings, 85296384 edges, 449670 markings/sec, 150 secs
lola: 73607861 markings, 87986315 edges, 449447 markings/sec, 155 secs
lola: 75857722 markings, 90679991 edges, 449972 markings/sec, 160 secs
lola: 78111066 markings, 93376530 edges, 450669 markings/sec, 165 secs
lola: 80359815 markings, 96070298 edges, 449750 markings/sec, 170 secs
lola: 82596975 markings, 98749931 edges, 447432 markings/sec, 175 secs
lola: 84834581 markings, 101430430 edges, 447521 markings/sec, 180 secs
lola: 87067394 markings, 104104721 edges, 446563 markings/sec, 185 secs
lola: 89305205 markings, 106786181 edges, 447562 markings/sec, 190 secs
lola: 91533015 markings, 109454940 edges, 445562 markings/sec, 195 secs
lola: 93766666 markings, 112130115 edges, 446730 markings/sec, 200 secs
lola: 95983013 markings, 114784396 edges, 443269 markings/sec, 205 secs
lola: 98206954 markings, 117448119 edges, 444788 markings/sec, 210 secs
lola: 100433174 markings, 120114193 edges, 445244 markings/sec, 215 secs
lola: 102661018 markings, 122781814 edges, 445569 markings/sec, 220 secs
lola: 104894833 markings, 125457088 edges, 446763 markings/sec, 225 secs
lola: 107134516 markings, 128138658 edges, 447937 markings/sec, 230 secs
lola: 109379328 markings, 130824843 edges, 448962 markings/sec, 235 secs
lola: SUBRESULT
lola: result: 48
lola: produced by: state space
lola: The maximum value of the given expression is 48
lola: ========================================
lola: subprocess 9 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2366169 markings, 3163656 edges, 473234 markings/sec, 0 secs
lola: 4607089 markings, 6153884 edges, 448184 markings/sec, 5 secs
lola: 6388807 markings, 9002812 edges, 356344 markings/sec, 10 secs
lola: 8463611 markings, 12095155 edges, 414961 markings/sec, 15 secs
lola: 10514567 markings, 15076275 edges, 410191 markings/sec, 20 secs
lola: 12502654 markings, 18012418 edges, 397617 markings/sec, 25 secs
lola: 14506995 markings, 20925832 edges, 400868 markings/sec, 30 secs
lola: 16472133 markings, 23774458 edges, 393028 markings/sec, 35 secs
lola: 18440521 markings, 26599719 edges, 393678 markings/sec, 40 secs
lola: 20422189 markings, 29415120 edges, 396334 markings/sec, 45 secs
lola: 22330055 markings, 32180762 edges, 381573 markings/sec, 50 secs
lola: 24269379 markings, 34993811 edges, 387865 markings/sec, 55 secs
lola: 26171237 markings, 37718456 edges, 380372 markings/sec, 60 secs
lola: 28091875 markings, 40433917 edges, 384128 markings/sec, 65 secs
lola: 29995947 markings, 43186234 edges, 380814 markings/sec, 70 secs
lola: 31860408 markings, 45861602 edges, 372892 markings/sec, 75 secs
lola: 33766840 markings, 48539000 edges, 381286 markings/sec, 80 secs
lola: 35655748 markings, 51268726 edges, 377782 markings/sec, 85 secs
lola: 37539242 markings, 53936652 edges, 376699 markings/sec, 90 secs
lola: 39433372 markings, 56602911 edges, 378826 markings/sec, 95 secs
lola: 41254451 markings, 59214562 edges, 364216 markings/sec, 100 secs
lola: 43215130 markings, 61984488 edges, 392136 markings/sec, 105 secs
lola: 45074689 markings, 64636465 edges, 371912 markings/sec, 110 secs
lola: 46918479 markings, 67270729 edges, 368758 markings/sec, 115 secs
lola: 48848614 markings, 70010029 edges, 386027 markings/sec, 120 secs
lola: 50722475 markings, 72669488 edges, 374772 markings/sec, 125 secs
lola: 52584676 markings, 75323464 edges, 372440 markings/sec, 130 secs
lola: 54525486 markings, 78083151 edges, 388162 markings/sec, 135 secs
lola: 56411248 markings, 80752482 edges, 377152 markings/sec, 140 secs
lola: 58266865 markings, 83390020 edges, 371123 markings/sec, 145 secs
lola: 60210067 markings, 86161497 edges, 388640 markings/sec, 150 secs
lola: 62110830 markings, 88842683 edges, 380153 markings/sec, 155 secs
lola: 63934376 markings, 91430665 edges, 364709 markings/sec, 160 secs
lola: 65896563 markings, 94243901 edges, 392437 markings/sec, 165 secs
lola: 67768602 markings, 96905968 edges, 374408 markings/sec, 170 secs
lola: 69626853 markings, 99524596 edges, 371650 markings/sec, 175 secs
lola: 71570315 markings, 102298782 edges, 388692 markings/sec, 180 secs
lola: 73401800 markings, 104892957 edges, 366297 markings/sec, 185 secs
lola: 75355128 markings, 107689093 edges, 390666 markings/sec, 190 secs
lola: 77229711 markings, 110350664 edges, 374917 markings/sec, 195 secs
lola: 79099486 markings, 112990620 edges, 373955 markings/sec, 200 secs
lola: 81041134 markings, 115779904 edges, 388330 markings/sec, 205 secs
lola: 82842263 markings, 118296393 edges, 360226 markings/sec, 210 secs
lola: 84806735 markings, 121117809 edges, 392894 markings/sec, 215 secs
lola: 86602776 markings, 123656035 edges, 359208 markings/sec, 220 secs
lola: 88551770 markings, 126464572 edges, 389799 markings/sec, 225 secs
lola: 90395463 markings, 129054546 edges, 368739 markings/sec, 230 secs
lola: 92338751 markings, 131846545 edges, 388658 markings/sec, 235 secs
lola: 94177229 markings, 134437317 edges, 367696 markings/sec, 240 secs
lola: 96112708 markings, 137219625 edges, 387096 markings/sec, 245 secs
lola: 97943258 markings, 139799064 edges, 366110 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2701204 markings, 3255614 edges, 540241 markings/sec, 0 secs
lola: 5302676 markings, 6421486 edges, 520294 markings/sec, 5 secs
lola: 7792752 markings, 9466148 edges, 498015 markings/sec, 10 secs
lola: 10200642 markings, 12401271 edges, 481578 markings/sec, 15 secs
lola: 12569002 markings, 15301759 edges, 473672 markings/sec, 20 secs
lola: 14927799 markings, 18174944 edges, 471759 markings/sec, 25 secs
lola: 17308062 markings, 21083432 edges, 476053 markings/sec, 30 secs
lola: 19649631 markings, 23943184 edges, 468314 markings/sec, 35 secs
lola: 21952902 markings, 26753709 edges, 460654 markings/sec, 40 secs
lola: 24269469 markings, 29595117 edges, 463313 markings/sec, 45 secs
lola: 26582678 markings, 32417536 edges, 462642 markings/sec, 50 secs
lola: 28894354 markings, 35234271 edges, 462335 markings/sec, 55 secs
lola: 31188874 markings, 38032006 edges, 458904 markings/sec, 60 secs
lola: 33514899 markings, 40878982 edges, 465205 markings/sec, 65 secs
lola: 35834031 markings, 43704060 edges, 463826 markings/sec, 70 secs
lola: 38149297 markings, 46524641 edges, 463053 markings/sec, 75 secs
lola: 40433474 markings, 49318981 edges, 456835 markings/sec, 80 secs
lola: 42742698 markings, 52136938 edges, 461845 markings/sec, 85 secs
lola: 45045843 markings, 54943504 edges, 460629 markings/sec, 90 secs
lola: 47345282 markings, 57745899 edges, 459888 markings/sec, 95 secs
lola: 49625545 markings, 60540038 edges, 456053 markings/sec, 100 secs
lola: 51916237 markings, 63332818 edges, 458138 markings/sec, 105 secs
lola: 54203843 markings, 66122657 edges, 457521 markings/sec, 110 secs
lola: 56465676 markings, 68881767 edges, 452367 markings/sec, 115 secs
lola: 58711192 markings, 71633715 edges, 449103 markings/sec, 120 secs
lola: 60971535 markings, 74392129 edges, 452069 markings/sec, 125 secs
lola: 63246880 markings, 77170820 edges, 455069 markings/sec, 130 secs
lola: 65517086 markings, 79944171 edges, 454041 markings/sec, 135 secs
lola: 67771650 markings, 82699629 edges, 450913 markings/sec, 140 secs
lola: 70037583 markings, 85476133 edges, 453187 markings/sec, 145 secs
lola: 72302073 markings, 88242598 edges, 452898 markings/sec, 150 secs
lola: 74564882 markings, 91008492 edges, 452562 markings/sec, 155 secs
lola: 76818090 markings, 93763305 edges, 450642 markings/sec, 160 secs
lola: 79070054 markings, 96517261 edges, 450393 markings/sec, 165 secs
lola: 81306309 markings, 99253406 edges, 447251 markings/sec, 170 secs
lola: 83559230 markings, 102013561 edges, 450584 markings/sec, 175 secs
lola: 85801338 markings, 104756406 edges, 448422 markings/sec, 180 secs
lola: 88045603 markings, 107503062 edges, 448853 markings/sec, 185 secs
lola: 90289715 markings, 110250283 edges, 448822 markings/sec, 190 secs
lola: 92531673 markings, 112995311 edges, 448392 markings/sec, 195 secs
lola: 94772255 markings, 115739380 edges, 448116 markings/sec, 200 secs
lola: 97009623 markings, 118479817 edges, 447474 markings/sec, 205 secs
lola: 99233756 markings, 121204515 edges, 444827 markings/sec, 210 secs
lola: 101458295 markings, 123929659 edges, 444908 markings/sec, 215 secs
lola: 103683504 markings, 126655601 edges, 445042 markings/sec, 220 secs
lola: 105919787 markings, 129396370 edges, 447257 markings/sec, 225 secs
lola: 108147763 markings, 132125659 edges, 445595 markings/sec, 230 secs
lola: 110353645 markings, 134827491 edges, 441176 markings/sec, 235 secs
lola: 112537478 markings, 137502216 edges, 436767 markings/sec, 240 secs
lola: 114716430 markings, 140171018 edges, 435790 markings/sec, 245 secs
lola: 116913113 markings, 142861499 edges, 439337 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2024677 markings, 3216189 edges, 404935 markings/sec, 0 secs
lola: 3946882 markings, 6301113 edges, 384441 markings/sec, 5 secs
lola: 5373195 markings, 9178019 edges, 285263 markings/sec, 10 secs
lola: 6644506 markings, 12200984 edges, 254262 markings/sec, 15 secs
lola: 8224267 markings, 15547690 edges, 315952 markings/sec, 20 secs
lola: 9846383 markings, 18844124 edges, 324423 markings/sec, 25 secs
lola: 11540817 markings, 22096693 edges, 338887 markings/sec, 30 secs
lola: 13230940 markings, 25338888 edges, 338025 markings/sec, 35 secs
lola: 14948017 markings, 28616595 edges, 343415 markings/sec, 40 secs
lola: 16635579 markings, 31855310 edges, 337512 markings/sec, 45 secs
lola: 18293928 markings, 35025774 edges, 331670 markings/sec, 50 secs
lola: 19994915 markings, 38278405 edges, 340197 markings/sec, 55 secs
lola: 21670809 markings, 41493724 edges, 335179 markings/sec, 60 secs
lola: 23346377 markings, 44685597 edges, 335114 markings/sec, 65 secs
lola: 25008004 markings, 47877020 edges, 332325 markings/sec, 70 secs
lola: 26666524 markings, 51061516 edges, 331704 markings/sec, 75 secs
lola: 28344864 markings, 54259757 edges, 335668 markings/sec, 80 secs
lola: 29995178 markings, 57425218 edges, 330063 markings/sec, 85 secs
lola: 31629811 markings, 60560358 edges, 326927 markings/sec, 90 secs
lola: 33303870 markings, 63754762 edges, 334812 markings/sec, 95 secs
lola: 34941108 markings, 66898028 edges, 327448 markings/sec, 100 secs
lola: 36557179 markings, 69993058 edges, 323214 markings/sec, 105 secs
lola: 38233337 markings, 73190358 edges, 335232 markings/sec, 110 secs
lola: 39870574 markings, 76334862 edges, 327447 markings/sec, 115 secs
lola: 41501508 markings, 79453392 edges, 326187 markings/sec, 120 secs
lola: 43159810 markings, 82625337 edges, 331660 markings/sec, 125 secs
lola: 44788189 markings, 85749433 edges, 325676 markings/sec, 130 secs
lola: 46444274 markings, 88904430 edges, 331217 markings/sec, 135 secs
lola: 48081171 markings, 92047814 edges, 327379 markings/sec, 140 secs
lola: 49702039 markings, 95158471 edges, 324174 markings/sec, 145 secs
lola: 51369400 markings, 98333827 edges, 333472 markings/sec, 150 secs
lola: 52997974 markings, 101458905 edges, 325715 markings/sec, 155 secs
lola: 54607603 markings, 104550183 edges, 321926 markings/sec, 160 secs
lola: 56273733 markings, 107723817 edges, 333226 markings/sec, 165 secs
lola: 57911334 markings, 110867480 edges, 327520 markings/sec, 170 secs
lola: 59538501 markings, 113988403 edges, 325433 markings/sec, 175 secs
lola: 61216547 markings, 117186006 edges, 335609 markings/sec, 180 secs
lola: 62851634 markings, 120328356 edges, 327017 markings/sec, 185 secs
lola: 64492237 markings, 123467661 edges, 328121 markings/sec, 190 secs
lola: 66157974 markings, 126648785 edges, 333147 markings/sec, 195 secs
lola: 67786209 markings, 129777826 edges, 325647 markings/sec, 200 secs
lola: 69446661 markings, 132949697 edges, 332090 markings/sec, 205 secs
lola: 71093514 markings, 136103524 edges, 329371 markings/sec, 210 secs
lola: 72698983 markings, 139184334 edges, 321094 markings/sec, 215 secs
lola: 74359931 markings, 142354668 edges, 332190 markings/sec, 220 secs
lola: 76006788 markings, 145516058 edges, 329371 markings/sec, 225 secs
lola: 77651477 markings, 148667407 edges, 328938 markings/sec, 230 secs
lola: 79323477 markings, 151862430 edges, 334400 markings/sec, 235 secs
lola: 80952763 markings, 154989095 edges, 325857 markings/sec, 240 secs
lola: 82612868 markings, 158169951 edges, 332021 markings/sec, 245 secs
lola: 84266975 markings, 161334533 edges, 330821 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Ci)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2664691 markings, 3158958 edges, 532938 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: ========================================
lola: subprocess 13 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2060687 markings, 3076527 edges, 412137 markings/sec, 0 secs
lola: 4045837 markings, 6053729 edges, 397030 markings/sec, 5 secs
lola: 5366790 markings, 9009012 edges, 264191 markings/sec, 10 secs
lola: 7208288 markings, 12164170 edges, 368300 markings/sec, 15 secs
lola: 9011544 markings, 15249341 edges, 360651 markings/sec, 20 secs
lola: 10782427 markings, 18279173 edges, 354177 markings/sec, 25 secs
lola: 12552675 markings, 21303773 edges, 354050 markings/sec, 30 secs
lola: 14307917 markings, 24306169 edges, 351048 markings/sec, 35 secs
lola: 16074076 markings, 27321209 edges, 353232 markings/sec, 40 secs
lola: 17824207 markings, 30309376 edges, 350026 markings/sec, 45 secs
lola: 19601352 markings, 33341028 edges, 355429 markings/sec, 50 secs
lola: 21339425 markings, 36310588 edges, 347615 markings/sec, 55 secs
lola: 23075245 markings, 39275573 edges, 347164 markings/sec, 60 secs
lola: 24808066 markings, 42233749 edges, 346564 markings/sec, 65 secs
lola: 26541256 markings, 45190527 edges, 346638 markings/sec, 70 secs
lola: 28272170 markings, 48146622 edges, 346183 markings/sec, 75 secs
lola: 30003040 markings, 51096838 edges, 346174 markings/sec, 80 secs
lola: 31730246 markings, 54044494 edges, 345441 markings/sec, 85 secs
lola: 33457210 markings, 56988894 edges, 345393 markings/sec, 90 secs
lola: 35184405 markings, 59931778 edges, 345439 markings/sec, 95 secs
lola: 36905178 markings, 62872164 edges, 344155 markings/sec, 100 secs
lola: 38589690 markings, 65748934 edges, 336902 markings/sec, 105 secs
lola: 40308913 markings, 68677449 edges, 343845 markings/sec, 110 secs
lola: 42035704 markings, 71617692 edges, 345358 markings/sec, 115 secs
lola: 43762291 markings, 74554596 edges, 345317 markings/sec, 120 secs
lola: 45442938 markings, 77423278 edges, 336129 markings/sec, 125 secs
lola: 47150187 markings, 80336700 edges, 341450 markings/sec, 130 secs
lola: 48873576 markings, 83268861 edges, 344678 markings/sec, 135 secs
lola: 50600255 markings, 86206286 edges, 345336 markings/sec, 140 secs
lola: 52262724 markings, 89049589 edges, 332494 markings/sec, 145 secs
lola: 53985253 markings, 91975838 edges, 344506 markings/sec, 150 secs
lola: 55713041 markings, 94913526 edges, 345558 markings/sec, 155 secs
lola: 57377377 markings, 97755242 edges, 332867 markings/sec, 160 secs
lola: 59095414 markings, 100678656 edges, 343607 markings/sec, 165 secs
lola: 60826086 markings, 103620510 edges, 346134 markings/sec, 170 secs
lola: 62485926 markings, 106457975 edges, 331968 markings/sec, 175 secs
lola: 64216629 markings, 109396737 edges, 346141 markings/sec, 180 secs
lola: 65909578 markings, 112283611 edges, 338590 markings/sec, 185 secs
lola: 67590939 markings, 115144209 edges, 336272 markings/sec, 190 secs
lola: 69317629 markings, 118073706 edges, 345338 markings/sec, 195 secs
lola: 70969354 markings, 120894086 edges, 330345 markings/sec, 200 secs
lola: 72682901 markings, 123803121 edges, 342709 markings/sec, 205 secs
lola: 74375503 markings, 126689756 edges, 338520 markings/sec, 210 secs
lola: 76074947 markings, 129572953 edges, 339889 markings/sec, 215 secs
lola: 77816239 markings, 132528703 edges, 348258 markings/sec, 220 secs
lola: 79483897 markings, 135376839 edges, 333532 markings/sec, 225 secs
lola: 81223192 markings, 138323604 edges, 347859 markings/sec, 230 secs
lola: 82908419 markings, 141195347 edges, 337045 markings/sec, 235 secs
lola: 84628985 markings, 144119492 edges, 344113 markings/sec, 240 secs
lola: 86345490 markings, 147040521 edges, 343301 markings/sec, 245 secs
lola: 88034939 markings, 149911482 edges, 337890 markings/sec, 250 secs
lola: 89769750 markings, 152851371 edges, 346962 markings/sec, 255 secs
lola: 91441531 markings, 155697033 edges, 334356 markings/sec, 260 secs
lola: 93150947 markings, 158602446 edges, 341883 markings/sec, 265 secs
lola: 94835755 markings, 161465311 edges, 336962 markings/sec, 270 secs
lola: 96527809 markings, 164340897 edges, 338411 markings/sec, 275 secs
lola: 98236573 markings, 167237435 edges, 341753 markings/sec, 280 secs
lola: 99906297 markings, 170084009 edges, 333945 markings/sec, 285 secs
lola: 101604080 markings, 172959310 edges, 339557 markings/sec, 290 secs
lola: 103298420 markings, 175830870 edges, 338868 markings/sec, 295 secs
lola: 104958519 markings, 178661284 edges, 332020 markings/sec, 300 secs
lola: 106638562 markings, 181505316 edges, 336009 markings/sec, 305 secs
lola: 108324272 markings, 184361881 edges, 337142 markings/sec, 310 secs
lola: 110009801 markings, 187216932 edges, 337106 markings/sec, 315 secs
lola: 111690854 markings, 190069557 edges, 336211 markings/sec, 320 secs
lola: 113368638 markings, 192914065 edges, 335557 markings/sec, 325 secs
lola: 115051764 markings, 195761809 edges, 336625 markings/sec, 330 secs
lola: 116728762 markings, 198603336 edges, 335400 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: 2007920 markings, 3189276 edges, 401584 markings/sec, 0 secs
lola: 3905647 markings, 6234836 edges, 379545 markings/sec, 5 secs
lola: 5349887 markings, 9087027 edges, 288848 markings/sec, 10 secs
lola: 6571631 markings, 12046695 edges, 244349 markings/sec, 15 secs
lola: 8132910 markings, 15354285 edges, 312256 markings/sec, 20 secs
lola: 9733827 markings, 18628372 edges, 320183 markings/sec, 25 secs
lola: 11409652 markings, 21847828 edges, 335165 markings/sec, 30 secs
lola: 13085617 markings, 25061559 edges, 335193 markings/sec, 35 secs
lola: 14778058 markings, 28289298 edges, 338488 markings/sec, 40 secs
lola: 16447227 markings, 31493869 edges, 333834 markings/sec, 45 secs
lola: 18097578 markings, 34650540 edges, 330070 markings/sec, 50 secs
lola: 19788737 markings, 37883088 edges, 338232 markings/sec, 55 secs
lola: 21445875 markings, 41066111 edges, 331428 markings/sec, 60 secs
lola: 23100048 markings, 44221756 edges, 330835 markings/sec, 65 secs
lola: 24770424 markings, 47422366 edges, 334075 markings/sec, 70 secs
lola: 26423836 markings, 50593502 edges, 330682 markings/sec, 75 secs
lola: 28099497 markings, 53785867 edges, 335132 markings/sec, 80 secs
lola: 29750907 markings, 56956684 edges, 330282 markings/sec, 85 secs
lola: 31397757 markings, 60118155 edges, 329370 markings/sec, 90 secs
lola: 33074042 markings, 63312087 edges, 335257 markings/sec, 95 secs
lola: 34717737 markings, 66467578 edges, 328739 markings/sec, 100 secs
lola: 36350688 markings, 69598022 edges, 326590 markings/sec, 105 secs
lola: 38039546 markings, 72820289 edges, 337772 markings/sec, 110 secs
lola: 39683824 markings, 75977127 edges, 328856 markings/sec, 115 secs
lola: 41318259 markings, 79104588 edges, 326887 markings/sec, 120 secs
lola: 42980797 markings, 82279228 edges, 332508 markings/sec, 125 secs
lola: 44601048 markings, 85392649 edges, 324050 markings/sec, 130 secs
lola: 46233966 markings, 88508309 edges, 326584 markings/sec, 135 secs
lola: 47880444 markings, 91661343 edges, 329296 markings/sec, 140 secs
lola: 49495361 markings, 94762497 edges, 322983 markings/sec, 145 secs
lola: 51161783 markings, 97935336 edges, 333284 markings/sec, 150 secs
lola: 52795738 markings, 101071528 edges, 326791 markings/sec, 155 secs
lola: 54423336 markings, 104196434 edges, 325520 markings/sec, 160 secs
lola: 56104439 markings, 107398757 edges, 336221 markings/sec, 165 secs
lola: 57736473 markings, 110530489 edges, 326407 markings/sec, 170 secs
lola: 59357402 markings, 113642287 edges, 324186 markings/sec, 175 secs
lola: 61028368 markings, 116827163 edges, 334193 markings/sec, 180 secs
lola: 62664222 markings, 119966402 edges, 327171 markings/sec, 185 secs
lola: 64295508 markings, 123092804 edges, 326257 markings/sec, 190 secs
lola: 65956106 markings, 126262240 edges, 332120 markings/sec, 195 secs
lola: 67558005 markings, 129338508 edges, 320380 markings/sec, 200 secs
lola: 69187725 markings, 132457838 edges, 325944 markings/sec, 205 secs
lola: 70830393 markings, 135596311 edges, 328534 markings/sec, 210 secs
lola: 72440042 markings, 138688204 edges, 321930 markings/sec, 215 secs
lola: 74094409 markings, 141844118 edges, 330873 markings/sec, 220 secs
lola: 75717199 markings, 144958728 edges, 324558 markings/sec, 225 secs
lola: 77337062 markings, 148069367 edges, 323973 markings/sec, 230 secs
lola: 78998163 markings, 151238353 edges, 332220 markings/sec, 235 secs
lola: 80622189 markings, 154357257 edges, 324805 markings/sec, 240 secs
lola: 82263257 markings, 157502920 edges, 328214 markings/sec, 245 secs
lola: 83916232 markings, 160662159 edges, 330595 markings/sec, 250 secs
lola: 85527749 markings, 163758782 edges, 322303 markings/sec, 255 secs
lola: 87189960 markings, 166934980 edges, 332442 markings/sec, 260 secs
lola: 88823259 markings, 170068641 edges, 326660 markings/sec, 265 secs
lola: 90448496 markings, 173186624 edges, 325047 markings/sec, 270 secs
lola: 92083983 markings, 176312387 edges, 327097 markings/sec, 275 secs
lola: 93706606 markings, 179429887 edges, 324525 markings/sec, 280 secs
lola: 95364349 markings, 182604778 edges, 331549 markings/sec, 285 secs
lola: 97009390 markings, 185757748 edges, 329008 markings/sec, 290 secs
lola: 98640916 markings, 188889485 edges, 326305 markings/sec, 295 secs
lola: 100292046 markings, 192044419 edges, 330226 markings/sec, 300 secs
lola: 101905827 markings, 195144798 edges, 322756 markings/sec, 305 secs
lola: 103566427 markings, 198328698 edges, 332120 markings/sec, 310 secs
lola: 105195798 markings, 201450034 edges, 325874 markings/sec, 315 secs
lola: 106829876 markings, 204586235 edges, 326816 markings/sec, 320 secs
lola: 108465445 markings, 207720073 edges, 327114 markings/sec, 325 secs
lola: 110081067 markings, 210818485 edges, 323124 markings/sec, 330 secs
lola: 111734435 markings, 213987889 edges, 330674 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 342 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
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: SUBRESULT
lola: result: 80
lola: produced by: state space
lola: The maximum value of the given expression is 80
lola: RESULT
lola:
SUMMARY: 80 unknown unknown unknown 80 unknown unknown unknown 48 unknown unknown unknown 80 unknown unknown 80
lola: ========================================
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-0 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-4 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-8 48 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-12 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0010P1-UpperBounds-15 80 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496604670450

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P1.tgz
mv ClientsAndServers-PT-N0010P1 execution

# this is for BenchKit: explicit launching of the test

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