About the Execution of LoLA for ClientsAndServers-PT-N0200P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9067.930 | 3540384.00 | 3556375.00 | 665.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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-N0200P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920100281
=====================================================================
--------------------
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-N0200P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0200P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496605339978
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0200P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0200P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0200P0 @ 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-N0200P0-UpperBounds.task
lola: MAX(CA) : MAX(Si) : MAX(Si) : MAX(Ci) : MAX(CwA) : MAX(StR) : MAX(CA) : MAX(StR) : MAX(CA) : MAX(MwU) : MAX(CR) : MAX(SG) : MAX(CwA) : MAX(CwA) : MAX(SA) : MAX(StR)
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(CA)
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: 2855090 markings, 3244525 edges, 571018 markings/sec, 0 secs
lola: 5643168 markings, 6413718 edges, 557616 markings/sec, 5 secs
lola: 8372860 markings, 9517896 edges, 545938 markings/sec, 10 secs
lola: 11067004 markings, 12583185 edges, 538829 markings/sec, 15 secs
lola: 13731622 markings, 15613412 edges, 532924 markings/sec, 20 secs
lola: 16393687 markings, 18664879 edges, 532413 markings/sec, 25 secs
lola: 19049781 markings, 21726372 edges, 531219 markings/sec, 30 secs
lola: 21725738 markings, 24808096 edges, 535191 markings/sec, 35 secs
lola: 24433568 markings, 27924777 edges, 541566 markings/sec, 40 secs
lola: 25713450 markings, 29798118 edges, 255976 markings/sec, 45 secs
lola: 26037717 markings, 30816126 edges, 64853 markings/sec, 50 secs
lola: 28151398 markings, 33383720 edges, 422736 markings/sec, 55 secs
lola: 30339753 markings, 36041345 edges, 437671 markings/sec, 60 secs
lola: 32533939 markings, 38695470 edges, 438837 markings/sec, 65 secs
lola: 34713258 markings, 41326629 edges, 435864 markings/sec, 70 secs
lola: 36871678 markings, 43938075 edges, 431684 markings/sec, 75 secs
lola: 39128195 markings, 46678310 edges, 451303 markings/sec, 80 secs
lola: 41327143 markings, 49324487 edges, 439790 markings/sec, 85 secs
lola: 43641398 markings, 52121889 edges, 462851 markings/sec, 90 secs
lola: 45890453 markings, 54847248 edges, 449811 markings/sec, 95 secs
lola: 48121668 markings, 57542895 edges, 446243 markings/sec, 100 secs
lola: 50398546 markings, 60298190 edges, 455376 markings/sec, 105 secs
lola: 52656747 markings, 63027015 edges, 451640 markings/sec, 110 secs
lola: 54904584 markings, 65745448 edges, 449567 markings/sec, 115 secs
lola: 57193515 markings, 68521727 edges, 457786 markings/sec, 120 secs
lola: 59388251 markings, 71161425 edges, 438947 markings/sec, 125 secs
lola: 61708799 markings, 73986862 edges, 464110 markings/sec, 130 secs
lola: 63889180 markings, 76603623 edges, 436076 markings/sec, 135 secs
lola: 66182235 markings, 79383263 edges, 458611 markings/sec, 140 secs
lola: 68473905 markings, 82170809 edges, 458334 markings/sec, 145 secs
lola: 70611004 markings, 84721608 edges, 427420 markings/sec, 150 secs
lola: 72947812 markings, 87566302 edges, 467362 markings/sec, 155 secs
lola: 75266781 markings, 90370857 edges, 463794 markings/sec, 160 secs
lola: 77442321 markings, 92980842 edges, 435108 markings/sec, 165 secs
lola: 79751013 markings, 95791085 edges, 461738 markings/sec, 170 secs
lola: 81995455 markings, 98512175 edges, 448888 markings/sec, 175 secs
lola: 84008847 markings, 100913849 edges, 402678 markings/sec, 180 secs
lola: 86293109 markings, 103694186 edges, 456852 markings/sec, 185 secs
lola: 88563220 markings, 106457254 edges, 454022 markings/sec, 190 secs
lola: 90633845 markings, 108943282 edges, 414125 markings/sec, 195 secs
lola: 92852909 markings, 111615055 edges, 443813 markings/sec, 200 secs
lola: 95069817 markings, 114313222 edges, 443382 markings/sec, 205 secs
lola: 97313640 markings, 117022025 edges, 448765 markings/sec, 210 secs
lola: 99367526 markings, 119477225 edges, 410777 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Si)
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: 1748130 markings, 3224825 edges, 349626 markings/sec, 0 secs
lola: 3215762 markings, 6037422 edges, 293526 markings/sec, 5 secs
lola: 4614580 markings, 8719041 edges, 279764 markings/sec, 10 secs
lola: 6014904 markings, 11369550 edges, 280065 markings/sec, 15 secs
lola: 7401893 markings, 14044890 edges, 277398 markings/sec, 20 secs
lola: 8810401 markings, 16763308 edges, 281702 markings/sec, 25 secs
lola: 10346477 markings, 19719585 edges, 307215 markings/sec, 30 secs
lola: 11885316 markings, 22655760 edges, 307768 markings/sec, 35 secs
lola: 13359056 markings, 25491612 edges, 294748 markings/sec, 40 secs
lola: 14825910 markings, 28348524 edges, 293371 markings/sec, 45 secs
lola: 16317786 markings, 31242761 edges, 298375 markings/sec, 50 secs
lola: 17825509 markings, 34148816 edges, 301545 markings/sec, 55 secs
lola: 19354851 markings, 37091299 edges, 305868 markings/sec, 60 secs
lola: 20892042 markings, 40043303 edges, 307438 markings/sec, 65 secs
lola: 22407301 markings, 42959246 edges, 303052 markings/sec, 70 secs
lola: 23926551 markings, 45880913 edges, 303850 markings/sec, 75 secs
lola: 25434355 markings, 48808741 edges, 301561 markings/sec, 80 secs
lola: 26973093 markings, 51802371 edges, 307748 markings/sec, 85 secs
lola: 28492276 markings, 54730111 edges, 303837 markings/sec, 90 secs
lola: 30014895 markings, 57706190 edges, 304524 markings/sec, 95 secs
lola: 31526952 markings, 60625877 edges, 302411 markings/sec, 100 secs
lola: 33026922 markings, 63565632 edges, 299994 markings/sec, 105 secs
lola: 34548929 markings, 66549837 edges, 304401 markings/sec, 110 secs
lola: 36064013 markings, 69527364 edges, 303017 markings/sec, 115 secs
lola: 37526927 markings, 72404755 edges, 292583 markings/sec, 120 secs
lola: 38993089 markings, 75306547 edges, 293232 markings/sec, 125 secs
lola: 40487377 markings, 78239936 edges, 298858 markings/sec, 130 secs
lola: 41985277 markings, 81226965 edges, 299580 markings/sec, 135 secs
lola: 43465590 markings, 84138309 edges, 296063 markings/sec, 140 secs
lola: 44962052 markings, 87079487 edges, 299292 markings/sec, 145 secs
lola: 46467837 markings, 90061407 edges, 301157 markings/sec, 150 secs
lola: 47950334 markings, 92976473 edges, 296499 markings/sec, 155 secs
lola: 49435671 markings, 95904674 edges, 297067 markings/sec, 160 secs
lola: 50875921 markings, 98755686 edges, 288050 markings/sec, 165 secs
lola: 52306042 markings, 101589148 edges, 286024 markings/sec, 170 secs
lola: 53761245 markings, 104471509 edges, 291041 markings/sec, 175 secs
lola: 55241668 markings, 107425964 edges, 296085 markings/sec, 180 secs
lola: 56656658 markings, 110239187 edges, 282998 markings/sec, 185 secs
lola: 57979895 markings, 112939449 edges, 264647 markings/sec, 190 secs
lola: 59347933 markings, 115688136 edges, 273608 markings/sec, 195 secs
lola: 60796594 markings, 118570840 edges, 289732 markings/sec, 200 secs
lola: 62255730 markings, 121482878 edges, 291827 markings/sec, 205 secs
lola: 63691807 markings, 124354681 edges, 287215 markings/sec, 210 secs
lola: 65162804 markings, 127277690 edges, 294199 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Si)
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: 1734017 markings, 3197546 edges, 346803 markings/sec, 0 secs
lola: 3282297 markings, 6168340 edges, 309656 markings/sec, 5 secs
lola: 4794763 markings, 9069801 edges, 302493 markings/sec, 10 secs
lola: 6306712 markings, 11942748 edges, 302390 markings/sec, 15 secs
lola: 7813228 markings, 14837699 edges, 301303 markings/sec, 20 secs
lola: 9325157 markings, 17748915 edges, 302386 markings/sec, 25 secs
lola: 10866972 markings, 20710266 edges, 308363 markings/sec, 30 secs
lola: 12383113 markings, 23602422 edges, 303228 markings/sec, 35 secs
lola: 13864005 markings, 26474129 edges, 296178 markings/sec, 40 secs
lola: 15347276 markings, 29385220 edges, 296654 markings/sec, 45 secs
lola: 16830766 markings, 32229631 edges, 296698 markings/sec, 50 secs
lola: 18345589 markings, 35141924 edges, 302965 markings/sec, 55 secs
lola: 19885747 markings, 38104282 edges, 308032 markings/sec, 60 secs
lola: 21414261 markings, 41048177 edges, 305703 markings/sec, 65 secs
lola: 22915002 markings, 43944935 edges, 300148 markings/sec, 70 secs
lola: 24452964 markings, 46902929 edges, 307592 markings/sec, 75 secs
lola: 25957612 markings, 49827245 edges, 300930 markings/sec, 80 secs
lola: 27466193 markings, 52748848 edges, 301716 markings/sec, 85 secs
lola: 28988190 markings, 55702808 edges, 304399 markings/sec, 90 secs
lola: 30514008 markings, 58685055 edges, 305164 markings/sec, 95 secs
lola: 32010437 markings, 61572365 edges, 299286 markings/sec, 100 secs
lola: 33519773 markings, 64534607 edges, 301867 markings/sec, 105 secs
lola: 35057313 markings, 67552179 edges, 307508 markings/sec, 110 secs
lola: 36532628 markings, 70449915 edges, 295063 markings/sec, 115 secs
lola: 38014917 markings, 73366378 edges, 296458 markings/sec, 120 secs
lola: 39489773 markings, 76284236 edges, 294971 markings/sec, 125 secs
lola: 40996554 markings, 79246612 edges, 301356 markings/sec, 130 secs
lola: 42485218 markings, 82213517 edges, 297733 markings/sec, 135 secs
lola: 43967962 markings, 85132670 edges, 296549 markings/sec, 140 secs
lola: 45479797 markings, 88096670 edges, 302367 markings/sec, 145 secs
lola: 46982904 markings, 91072725 edges, 300621 markings/sec, 150 secs
lola: 48469593 markings, 93997118 edges, 297338 markings/sec, 155 secs
lola: 49936948 markings, 96892587 edges, 293471 markings/sec, 160 secs
lola: 51408270 markings, 99810674 edges, 294264 markings/sec, 165 secs
lola: 52836441 markings, 102637417 edges, 285634 markings/sec, 170 secs
lola: 54310899 markings, 105563094 edges, 294892 markings/sec, 175 secs
lola: 55797305 markings, 108530208 edges, 297281 markings/sec, 180 secs
lola: 57244175 markings, 111407703 edges, 289374 markings/sec, 185 secs
lola: 58489308 markings, 113984201 edges, 249027 markings/sec, 190 secs
lola: 59937821 markings, 116863155 edges, 289703 markings/sec, 195 secs
lola: 61379693 markings, 119736698 edges, 288374 markings/sec, 200 secs
lola: 62840885 markings, 122667006 edges, 292238 markings/sec, 205 secs
lola: 64287132 markings, 125532938 edges, 289249 markings/sec, 210 secs
lola: 65756308 markings, 128468250 edges, 293835 markings/sec, 215 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 221 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: 2860087 markings, 3187616 edges, 572017 markings/sec, 0 secs
lola: 5689313 markings, 6300175 edges, 565845 markings/sec, 5 secs
lola: 8747455 markings, 9717756 edges, 611628 markings/sec, 10 secs
lola: 11778743 markings, 13106175 edges, 606258 markings/sec, 15 secs
lola: 14781211 markings, 16462346 edges, 600494 markings/sec, 20 secs
lola: 17706597 markings, 19732349 edges, 585077 markings/sec, 25 secs
lola: 19890002 markings, 22496472 edges, 436681 markings/sec, 30 secs
lola: 21241052 markings, 24699727 edges, 270210 markings/sec, 35 secs
lola: 23589722 markings, 27485366 edges, 469734 markings/sec, 40 secs
lola: 25974895 markings, 30315557 edges, 477035 markings/sec, 45 secs
lola: 28339380 markings, 33120266 edges, 472897 markings/sec, 50 secs
lola: 30666238 markings, 35874824 edges, 465372 markings/sec, 55 secs
lola: 33040882 markings, 38684106 edges, 474929 markings/sec, 60 secs
lola: 35458438 markings, 41553815 edges, 483511 markings/sec, 65 secs
lola: 37907445 markings, 44461397 edges, 489801 markings/sec, 70 secs
lola: 40259534 markings, 47239247 edges, 470418 markings/sec, 75 secs
lola: 42732569 markings, 50174549 edges, 494607 markings/sec, 80 secs
lola: 45074865 markings, 52952779 edges, 468459 markings/sec, 85 secs
lola: 47430988 markings, 55747521 edges, 471225 markings/sec, 90 secs
lola: 49834605 markings, 58597600 edges, 480723 markings/sec, 95 secs
lola: 52211494 markings, 61412575 edges, 475378 markings/sec, 100 secs
lola: 54565410 markings, 64203282 edges, 470783 markings/sec, 105 secs
lola: 56971236 markings, 67060820 edges, 481165 markings/sec, 110 secs
lola: 59271043 markings, 69776895 edges, 459961 markings/sec, 115 secs
lola: 61735245 markings, 72712227 edges, 492840 markings/sec, 120 secs
lola: 64021513 markings, 75401880 edges, 457254 markings/sec, 125 secs
lola: 66445064 markings, 78288601 edges, 484710 markings/sec, 130 secs
lola: 68828821 markings, 81105602 edges, 476751 markings/sec, 135 secs
lola: 71078968 markings, 83772637 edges, 450029 markings/sec, 140 secs
lola: 73508469 markings, 86666266 edges, 485900 markings/sec, 145 secs
lola: 75796115 markings, 89370730 edges, 457529 markings/sec, 150 secs
lola: 78189152 markings, 92203942 edges, 478607 markings/sec, 155 secs
lola: 80600609 markings, 95075958 edges, 482291 markings/sec, 160 secs
lola: 82838808 markings, 97708100 edges, 447640 markings/sec, 165 secs
lola: 85286555 markings, 100617966 edges, 489549 markings/sec, 170 secs
lola: 87732112 markings, 103530446 edges, 489111 markings/sec, 175 secs
lola: 89993653 markings, 106189547 edges, 452308 markings/sec, 180 secs
lola: 92411801 markings, 109063098 edges, 483630 markings/sec, 185 secs
lola: 94815404 markings, 111925470 edges, 480721 markings/sec, 190 secs
lola: 97069851 markings, 114593056 edges, 450889 markings/sec, 195 secs
lola: 99441661 markings, 117394913 edges, 474362 markings/sec, 200 secs
lola: 101844427 markings, 120256210 edges, 480553 markings/sec, 205 secs
lola: 104240693 markings, 123084640 edges, 479253 markings/sec, 210 secs
lola: 106463520 markings, 125715316 edges, 444565 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwA)
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: 3044919 markings, 3363798 edges, 608984 markings/sec, 0 secs
lola: 6052664 markings, 6683407 edges, 601549 markings/sec, 5 secs
lola: 9033568 markings, 9987860 edges, 596181 markings/sec, 10 secs
lola: 11582390 markings, 12946629 edges, 509764 markings/sec, 15 secs
lola: 14110188 markings, 15875084 edges, 505560 markings/sec, 20 secs
lola: 16606911 markings, 18779453 edges, 499345 markings/sec, 25 secs
lola: 19101971 markings, 21676115 edges, 499012 markings/sec, 30 secs
lola: 21580740 markings, 24556192 edges, 495754 markings/sec, 35 secs
lola: 24041557 markings, 27412207 edges, 492163 markings/sec, 40 secs
lola: 26482235 markings, 30241353 edges, 488136 markings/sec, 45 secs
lola: 28953937 markings, 33106865 edges, 494340 markings/sec, 50 secs
lola: 31419897 markings, 35981501 edges, 493192 markings/sec, 55 secs
lola: 33877604 markings, 38836649 edges, 491541 markings/sec, 60 secs
lola: 36350388 markings, 41697197 edges, 494557 markings/sec, 65 secs
lola: 38829145 markings, 44591833 edges, 495751 markings/sec, 70 secs
lola: 41285758 markings, 47438321 edges, 491323 markings/sec, 75 secs
lola: 43736829 markings, 50288519 edges, 490214 markings/sec, 80 secs
lola: 46197448 markings, 53149431 edges, 492124 markings/sec, 85 secs
lola: 48611144 markings, 55948989 edges, 482739 markings/sec, 90 secs
lola: 51046670 markings, 58785396 edges, 487105 markings/sec, 95 secs
lola: 53479278 markings, 61606575 edges, 486522 markings/sec, 100 secs
lola: 55955759 markings, 64490526 edges, 495296 markings/sec, 105 secs
lola: 58391204 markings, 67315637 edges, 487089 markings/sec, 110 secs
lola: 60821148 markings, 70139651 edges, 485989 markings/sec, 115 secs
lola: 63196071 markings, 72926025 edges, 474985 markings/sec, 120 secs
lola: 65635415 markings, 75736376 edges, 487869 markings/sec, 125 secs
lola: 68079200 markings, 78595571 edges, 488757 markings/sec, 130 secs
lola: 70456909 markings, 81347290 edges, 475542 markings/sec, 135 secs
lola: 72842596 markings, 84123145 edges, 477137 markings/sec, 140 secs
lola: 75243729 markings, 86923678 edges, 480227 markings/sec, 145 secs
lola: 77721458 markings, 89783748 edges, 495546 markings/sec, 150 secs
lola: 80195997 markings, 92679408 edges, 494908 markings/sec, 155 secs
lola: 82623531 markings, 95488423 edges, 485507 markings/sec, 160 secs
lola: 85086402 markings, 98351672 edges, 492574 markings/sec, 165 secs
lola: 87528472 markings, 101204948 edges, 488414 markings/sec, 170 secs
lola: 89945410 markings, 103989619 edges, 483388 markings/sec, 175 secs
lola: 92374598 markings, 106827912 edges, 485838 markings/sec, 180 secs
lola: 94746284 markings, 109588393 edges, 474337 markings/sec, 185 secs
lola: 97132625 markings, 112339917 edges, 477268 markings/sec, 190 secs
lola: 99514333 markings, 115126721 edges, 476342 markings/sec, 195 secs
lola: 101802586 markings, 117808445 edges, 457651 markings/sec, 200 secs
lola: 104201160 markings, 120577945 edges, 479715 markings/sec, 205 secs
lola: 106611575 markings, 123380323 edges, 482083 markings/sec, 210 secs
lola: 109027330 markings, 126205755 edges, 483151 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 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: 2013708 markings, 3118934 edges, 402742 markings/sec, 0 secs
lola: 3739035 markings, 5864335 edges, 345065 markings/sec, 5 secs
lola: 5459682 markings, 8608628 edges, 344129 markings/sec, 10 secs
lola: 7152836 markings, 11311192 edges, 338631 markings/sec, 15 secs
lola: 8837542 markings, 14001481 edges, 336941 markings/sec, 20 secs
lola: 10508046 markings, 16663212 edges, 334101 markings/sec, 25 secs
lola: 12017094 markings, 19076469 edges, 301810 markings/sec, 30 secs
lola: 13668057 markings, 21714318 edges, 330193 markings/sec, 35 secs
lola: 15297720 markings, 24314999 edges, 325933 markings/sec, 40 secs
lola: 16894844 markings, 26866277 edges, 319425 markings/sec, 45 secs
lola: 18526719 markings, 29469362 edges, 326375 markings/sec, 50 secs
lola: 20175399 markings, 32105080 edges, 329736 markings/sec, 55 secs
lola: 21821012 markings, 34731684 edges, 329123 markings/sec, 60 secs
lola: 23449411 markings, 37333165 edges, 325680 markings/sec, 65 secs
lola: 25070011 markings, 39923722 edges, 324120 markings/sec, 70 secs
lola: 26694545 markings, 42521555 edges, 324907 markings/sec, 75 secs
lola: 28334671 markings, 45144726 edges, 328025 markings/sec, 80 secs
lola: 29928446 markings, 47689422 edges, 318755 markings/sec, 85 secs
lola: 31568403 markings, 50312146 edges, 327991 markings/sec, 90 secs
lola: 33170454 markings, 52872824 edges, 320410 markings/sec, 95 secs
lola: 34798260 markings, 55476246 edges, 325561 markings/sec, 100 secs
lola: 36412077 markings, 58059171 edges, 322763 markings/sec, 105 secs
lola: 38035990 markings, 60651802 edges, 324783 markings/sec, 110 secs
lola: 39661290 markings, 63245643 edges, 325060 markings/sec, 115 secs
lola: 41255258 markings, 65790630 edges, 318794 markings/sec, 120 secs
lola: 42858708 markings, 68350861 edges, 320690 markings/sec, 125 secs
lola: 44457271 markings, 70912736 edges, 319713 markings/sec, 130 secs
lola: 46057452 markings, 73470759 edges, 320036 markings/sec, 135 secs
lola: 47639435 markings, 76001543 edges, 316397 markings/sec, 140 secs
lola: 49227403 markings, 78542528 edges, 317594 markings/sec, 145 secs
lola: 50818829 markings, 81083617 edges, 318285 markings/sec, 150 secs
lola: 52417647 markings, 83644366 edges, 319764 markings/sec, 155 secs
lola: 53980981 markings, 86143068 edges, 312667 markings/sec, 160 secs
lola: 55570264 markings, 88683660 edges, 317857 markings/sec, 165 secs
lola: 57153563 markings, 91211262 edges, 316660 markings/sec, 170 secs
lola: 58728126 markings, 93734233 edges, 314913 markings/sec, 175 secs
lola: 60324663 markings, 96285488 edges, 319307 markings/sec, 180 secs
lola: 61889737 markings, 98786743 edges, 313015 markings/sec, 185 secs
lola: 63414919 markings, 101224546 edges, 305036 markings/sec, 190 secs
lola: 65011529 markings, 103778533 edges, 319322 markings/sec, 195 secs
lola: 66589934 markings, 106302144 edges, 315681 markings/sec, 200 secs
lola: 68151133 markings, 108806367 edges, 312240 markings/sec, 205 secs
lola: 69760093 markings, 111380571 edges, 321792 markings/sec, 210 secs
lola: 71353472 markings, 113928197 edges, 318676 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CA)
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: 2957021 markings, 3359083 edges, 591404 markings/sec, 0 secs
lola: 5804836 markings, 6598430 edges, 569563 markings/sec, 5 secs
lola: 8604955 markings, 9781954 edges, 560024 markings/sec, 10 secs
lola: 11366093 markings, 12921739 edges, 552228 markings/sec, 15 secs
lola: 14082564 markings, 16013893 edges, 543294 markings/sec, 20 secs
lola: 16786274 markings, 19118154 edges, 540742 markings/sec, 25 secs
lola: 19493451 markings, 22237282 edges, 541435 markings/sec, 30 secs
lola: 22197055 markings, 25350015 edges, 540721 markings/sec, 35 secs
lola: 25000636 markings, 28577590 edges, 560716 markings/sec, 40 secs
lola: 25862838 markings, 30248610 edges, 172440 markings/sec, 45 secs
lola: 27318378 markings, 32377825 edges, 291108 markings/sec, 50 secs
lola: 29543956 markings, 35069790 edges, 445116 markings/sec, 55 secs
lola: 31829037 markings, 37835518 edges, 457016 markings/sec, 60 secs
lola: 34082694 markings, 40559011 edges, 450731 markings/sec, 65 secs
lola: 36394330 markings, 43361144 edges, 462327 markings/sec, 70 secs
lola: 38629539 markings, 46070567 edges, 447042 markings/sec, 75 secs
lola: 40879968 markings, 48779660 edges, 450086 markings/sec, 80 secs
lola: 43266728 markings, 51681976 edges, 477352 markings/sec, 85 secs
lola: 45532213 markings, 54410862 edges, 453097 markings/sec, 90 secs
lola: 47864711 markings, 57227867 edges, 466500 markings/sec, 95 secs
lola: 50134831 markings, 59977004 edges, 454024 markings/sec, 100 secs
lola: 52463095 markings, 62789667 edges, 465653 markings/sec, 105 secs
lola: 54699543 markings, 65495739 edges, 447290 markings/sec, 110 secs
lola: 57004559 markings, 68300837 edges, 461003 markings/sec, 115 secs
lola: 59182072 markings, 70910371 edges, 435503 markings/sec, 120 secs
lola: 61502956 markings, 73736239 edges, 464177 markings/sec, 125 secs
lola: 63701682 markings, 76384562 edges, 439745 markings/sec, 130 secs
lola: 65996632 markings, 79157287 edges, 458990 markings/sec, 135 secs
lola: 68301597 markings, 81963444 edges, 460993 markings/sec, 140 secs
lola: 70439645 markings, 84513001 edges, 427610 markings/sec, 145 secs
lola: 72788642 markings, 87372510 edges, 469799 markings/sec, 150 secs
lola: 75132923 markings, 90214431 edges, 468856 markings/sec, 155 secs
lola: 77302297 markings, 92810385 edges, 433875 markings/sec, 160 secs
lola: 79623127 markings, 95635426 edges, 464166 markings/sec, 165 secs
lola: 81943735 markings, 98451745 edges, 464122 markings/sec, 170 secs
lola: 84073576 markings, 100992648 edges, 425968 markings/sec, 175 secs
lola: 86413703 markings, 103840969 edges, 468025 markings/sec, 180 secs
lola: 88752149 markings, 106687243 edges, 467689 markings/sec, 185 secs
lola: 90893995 markings, 109247109 edges, 428369 markings/sec, 190 secs
lola: 93201458 markings, 112039285 edges, 461493 markings/sec, 195 secs
lola: 95494594 markings, 114830213 edges, 458627 markings/sec, 200 secs
lola: 97750282 markings, 117537678 edges, 451138 markings/sec, 205 secs
lola: 99807351 markings, 120012518 edges, 411414 markings/sec, 210 secs
lola: 102119934 markings, 122827021 edges, 462517 markings/sec, 215 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 221 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: 2126128 markings, 3297111 edges, 425226 markings/sec, 0 secs
lola: 3883715 markings, 6094293 edges, 351517 markings/sec, 5 secs
lola: 5615194 markings, 8856256 edges, 346296 markings/sec, 10 secs
lola: 7308076 markings, 11559412 edges, 338576 markings/sec, 15 secs
lola: 9001261 markings, 14261808 edges, 338637 markings/sec, 20 secs
lola: 10688070 markings, 16950200 edges, 337362 markings/sec, 25 secs
lola: 12342963 markings, 19596998 edges, 330979 markings/sec, 30 secs
lola: 14014567 markings, 22268529 edges, 334321 markings/sec, 35 secs
lola: 15660077 markings, 24893395 edges, 329102 markings/sec, 40 secs
lola: 17293822 markings, 27502433 edges, 326749 markings/sec, 45 secs
lola: 18963139 markings, 30164603 edges, 333863 markings/sec, 50 secs
lola: 20609032 markings, 32798074 edges, 329179 markings/sec, 55 secs
lola: 22248852 markings, 35414271 edges, 327964 markings/sec, 60 secs
lola: 23864842 markings, 37998001 edges, 323198 markings/sec, 65 secs
lola: 25496930 markings, 40606619 edges, 326418 markings/sec, 70 secs
lola: 27132988 markings, 43219690 edges, 327212 markings/sec, 75 secs
lola: 28743916 markings, 45797723 edges, 322186 markings/sec, 80 secs
lola: 30336613 markings, 48343763 edges, 318539 markings/sec, 85 secs
lola: 31980133 markings, 50969609 edges, 328704 markings/sec, 90 secs
lola: 33572175 markings, 53514867 edges, 318408 markings/sec, 95 secs
lola: 35204206 markings, 56124991 edges, 326406 markings/sec, 100 secs
lola: 36807822 markings, 58691176 edges, 320723 markings/sec, 105 secs
lola: 38420748 markings, 61266079 edges, 322585 markings/sec, 110 secs
lola: 40051535 markings, 63868128 edges, 326157 markings/sec, 115 secs
lola: 41658573 markings, 66435948 edges, 321408 markings/sec, 120 secs
lola: 43280163 markings, 69031495 edges, 324318 markings/sec, 125 secs
lola: 44895168 markings, 71612524 edges, 323001 markings/sec, 130 secs
lola: 46490249 markings, 74164848 edges, 319016 markings/sec, 135 secs
lola: 48092412 markings, 76726109 edges, 320433 markings/sec, 140 secs
lola: 49688152 markings, 79279460 edges, 319148 markings/sec, 145 secs
lola: 51321062 markings, 81884850 edges, 326582 markings/sec, 150 secs
lola: 52910762 markings, 84432321 edges, 317940 markings/sec, 155 secs
lola: 54511343 markings, 86988977 edges, 320116 markings/sec, 160 secs
lola: 56122402 markings, 89565316 edges, 322212 markings/sec, 165 secs
lola: 57726058 markings, 92129088 edges, 320731 markings/sec, 170 secs
lola: 59315345 markings, 94671241 edges, 317857 markings/sec, 175 secs
lola: 60922988 markings, 97242028 edges, 321529 markings/sec, 180 secs
lola: 62486346 markings, 99741579 edges, 312672 markings/sec, 185 secs
lola: 64072590 markings, 102274724 edges, 317249 markings/sec, 190 secs
lola: 65695276 markings, 104874444 edges, 324537 markings/sec, 195 secs
lola: 67277567 markings, 107403018 edges, 316458 markings/sec, 200 secs
lola: 68866756 markings, 109949904 edges, 317838 markings/sec, 205 secs
lola: 70473953 markings, 112521779 edges, 321439 markings/sec, 210 secs
lola: 72055524 markings, 115050899 edges, 316314 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CA)
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: 2937678 markings, 3337166 edges, 587536 markings/sec, 0 secs
lola: 5782250 markings, 6572714 edges, 568914 markings/sec, 5 secs
lola: 8572603 markings, 9745900 edges, 558071 markings/sec, 10 secs
lola: 11319121 markings, 12868889 edges, 549304 markings/sec, 15 secs
lola: 14026773 markings, 15950189 edges, 541530 markings/sec, 20 secs
lola: 16728200 markings, 19050672 edges, 540285 markings/sec, 25 secs
lola: 19417909 markings, 22149734 edges, 537942 markings/sec, 30 secs
lola: 22112283 markings, 25252431 edges, 538875 markings/sec, 35 secs
lola: 24902876 markings, 28464640 edges, 558119 markings/sec, 40 secs
lola: 25843588 markings, 30190514 edges, 188142 markings/sec, 45 secs
lola: 27204959 markings, 32238691 edges, 272274 markings/sec, 50 secs
lola: 29447063 markings, 34955084 edges, 448421 markings/sec, 55 secs
lola: 31712130 markings, 37692893 edges, 453013 markings/sec, 60 secs
lola: 33972115 markings, 40429444 edges, 451997 markings/sec, 65 secs
lola: 36283185 markings, 43231033 edges, 462214 markings/sec, 70 secs
lola: 38518657 markings, 45935430 edges, 447094 markings/sec, 75 secs
lola: 40763149 markings, 48637311 edges, 448898 markings/sec, 80 secs
lola: 43171252 markings, 51568976 edges, 481621 markings/sec, 85 secs
lola: 45450368 markings, 54311163 edges, 455823 markings/sec, 90 secs
lola: 47813635 markings, 57167675 edges, 472653 markings/sec, 95 secs
lola: 50099205 markings, 59933609 edges, 457114 markings/sec, 100 secs
lola: 52464524 markings, 62791409 edges, 473064 markings/sec, 105 secs
lola: 54737073 markings, 65541453 edges, 454510 markings/sec, 110 secs
lola: 57091455 markings, 68402417 edges, 470876 markings/sec, 115 secs
lola: 59319414 markings, 71077611 edges, 445592 markings/sec, 120 secs
lola: 61708367 markings, 73986318 edges, 477791 markings/sec, 125 secs
lola: 63940889 markings, 76664031 edges, 446504 markings/sec, 130 secs
lola: 66286275 markings, 79509922 edges, 469077 markings/sec, 135 secs
lola: 68643449 markings, 82370257 edges, 471435 markings/sec, 140 secs
lola: 70837302 markings, 84997089 edges, 438771 markings/sec, 145 secs
lola: 73214926 markings, 87891466 edges, 475525 markings/sec, 150 secs
lola: 75563404 markings, 90716973 edges, 469696 markings/sec, 155 secs
lola: 77788597 markings, 93402311 edges, 445039 markings/sec, 160 secs
lola: 80136470 markings, 96260266 edges, 469575 markings/sec, 165 secs
lola: 82455577 markings, 99049784 edges, 463821 markings/sec, 170 secs
lola: 84645986 markings, 101689363 edges, 438082 markings/sec, 175 secs
lola: 87018333 markings, 104576870 edges, 474469 markings/sec, 180 secs
lola: 89374946 markings, 107431667 edges, 471323 markings/sec, 185 secs
lola: 91551500 markings, 110031116 edges, 435311 markings/sec, 190 secs
lola: 93887548 markings, 112874271 edges, 467210 markings/sec, 195 secs
lola: 96244691 markings, 115743162 edges, 471429 markings/sec, 200 secs
lola: 98390301 markings, 118321401 edges, 429122 markings/sec, 205 secs
lola: 100722140 markings, 121125873 edges, 466368 markings/sec, 210 secs
lola: 103076097 markings, 123990700 edges, 470791 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MwU)
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: 1917135 markings, 2870551 edges, 383427 markings/sec, 0 secs
lola: 3728288 markings, 5578558 edges, 362231 markings/sec, 5 secs
lola: 5502483 markings, 8228110 edges, 354839 markings/sec, 10 secs
lola: 7264858 markings, 10857952 edges, 352475 markings/sec, 15 secs
lola: 9009643 markings, 13462977 edges, 348957 markings/sec, 20 secs
lola: 10759924 markings, 16071329 edges, 350056 markings/sec, 25 secs
lola: 12491074 markings, 18653329 edges, 346230 markings/sec, 30 secs
lola: 14204735 markings, 21210754 edges, 342732 markings/sec, 35 secs
lola: 15927826 markings, 23777928 edges, 344618 markings/sec, 40 secs
lola: 17627080 markings, 26308054 edges, 339851 markings/sec, 45 secs
lola: 19326643 markings, 28842119 edges, 339913 markings/sec, 50 secs
lola: 21024269 markings, 31375340 edges, 339525 markings/sec, 55 secs
lola: 22721792 markings, 33900328 edges, 339505 markings/sec, 60 secs
lola: 24417260 markings, 36425706 edges, 339094 markings/sec, 65 secs
lola: 26099976 markings, 38931982 edges, 336543 markings/sec, 70 secs
lola: 27784176 markings, 41438901 edges, 336840 markings/sec, 75 secs
lola: 29458637 markings, 43933425 edges, 334892 markings/sec, 80 secs
lola: 31123058 markings, 46411683 edges, 332884 markings/sec, 85 secs
lola: 32793898 markings, 48897906 edges, 334168 markings/sec, 90 secs
lola: 34440586 markings, 51349927 edges, 329338 markings/sec, 95 secs
lola: 36112654 markings, 53841205 edges, 334414 markings/sec, 100 secs
lola: 37789211 markings, 56333464 edges, 335311 markings/sec, 105 secs
lola: 39450825 markings, 58810926 edges, 332323 markings/sec, 110 secs
lola: 41117267 markings, 61290147 edges, 333288 markings/sec, 115 secs
lola: 42773469 markings, 63751902 edges, 331240 markings/sec, 120 secs
lola: 44415481 markings, 66199956 edges, 328402 markings/sec, 125 secs
lola: 46064430 markings, 68657186 edges, 329790 markings/sec, 130 secs
lola: 47713818 markings, 71109892 edges, 329878 markings/sec, 135 secs
lola: 49377421 markings, 73588872 edges, 332721 markings/sec, 140 secs
lola: 51022952 markings, 76038085 edges, 329106 markings/sec, 145 secs
lola: 52692794 markings, 78516938 edges, 333968 markings/sec, 150 secs
lola: 54365082 markings, 81002668 edges, 334458 markings/sec, 155 secs
lola: 56003683 markings, 83446075 edges, 327720 markings/sec, 160 secs
lola: 57658774 markings, 85905525 edges, 331018 markings/sec, 165 secs
lola: 59335764 markings, 88397450 edges, 335398 markings/sec, 170 secs
lola: 60961129 markings, 90817754 edges, 325073 markings/sec, 175 secs
lola: 62601672 markings, 93268702 edges, 328109 markings/sec, 180 secs
lola: 64269565 markings, 95741211 edges, 333579 markings/sec, 185 secs
lola: 65906697 markings, 98176362 edges, 327426 markings/sec, 190 secs
lola: 67561781 markings, 100637642 edges, 331017 markings/sec, 195 secs
lola: 69191426 markings, 103068323 edges, 325929 markings/sec, 200 secs
lola: 70854326 markings, 105539685 edges, 332580 markings/sec, 205 secs
lola: 72485860 markings, 107966250 edges, 326307 markings/sec, 210 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 220 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: 3106525 markings, 3400832 edges, 621305 markings/sec, 0 secs
lola: 6108875 markings, 6689678 edges, 600470 markings/sec, 5 secs
lola: 9068866 markings, 9935306 edges, 591998 markings/sec, 10 secs
lola: 11950393 markings, 13151537 edges, 576305 markings/sec, 15 secs
lola: 14495341 markings, 16124933 edges, 508990 markings/sec, 20 secs
lola: 17032856 markings, 19089291 edges, 507503 markings/sec, 25 secs
lola: 19559683 markings, 22046185 edges, 505365 markings/sec, 30 secs
lola: 22058705 markings, 24966309 edges, 499804 markings/sec, 35 secs
lola: 24541569 markings, 27869782 edges, 496573 markings/sec, 40 secs
lola: 27017540 markings, 30761569 edges, 495194 markings/sec, 45 secs
lola: 29487431 markings, 33649760 edges, 493978 markings/sec, 50 secs
lola: 31992614 markings, 36583077 edges, 501037 markings/sec, 55 secs
lola: 34441861 markings, 39444155 edges, 489849 markings/sec, 60 secs
lola: 36904770 markings, 42324622 edges, 492582 markings/sec, 65 secs
lola: 39397612 markings, 45242960 edges, 498568 markings/sec, 70 secs
lola: 41854905 markings, 48113450 edges, 491459 markings/sec, 75 secs
lola: 44313583 markings, 50989678 edges, 491736 markings/sec, 80 secs
lola: 46823095 markings, 53925871 edges, 501902 markings/sec, 85 secs
lola: 49242405 markings, 56751247 edges, 483862 markings/sec, 90 secs
lola: 51769046 markings, 59708728 edges, 505328 markings/sec, 95 secs
lola: 54200470 markings, 62551884 edges, 486285 markings/sec, 100 secs
lola: 56694171 markings, 65470483 edges, 498740 markings/sec, 105 secs
lola: 59083630 markings, 68261880 edges, 477892 markings/sec, 110 secs
lola: 61608051 markings, 71216506 edges, 504884 markings/sec, 115 secs
lola: 64080746 markings, 74107498 edges, 494539 markings/sec, 120 secs
lola: 66525559 markings, 76970006 edges, 488963 markings/sec, 125 secs
lola: 69009611 markings, 79877116 edges, 496810 markings/sec, 130 secs
lola: 71419960 markings, 82693246 edges, 482070 markings/sec, 135 secs
lola: 73930990 markings, 85631910 edges, 502206 markings/sec, 140 secs
lola: 76342857 markings, 88452625 edges, 482373 markings/sec, 145 secs
lola: 78844014 markings, 91379520 edges, 500231 markings/sec, 150 secs
lola: 81324483 markings, 94282226 edges, 496094 markings/sec, 155 secs
lola: 83734798 markings, 97097845 edges, 482063 markings/sec, 160 secs
lola: 86269656 markings, 100064217 edges, 506972 markings/sec, 165 secs
lola: 88745641 markings, 102959291 edges, 495197 markings/sec, 170 secs
lola: 91272203 markings, 105916713 edges, 505312 markings/sec, 175 secs
lola: 93792835 markings, 108866257 edges, 504126 markings/sec, 180 secs
lola: 96215356 markings, 111698654 edges, 484504 markings/sec, 185 secs
lola: 98765173 markings, 114682362 edges, 509963 markings/sec, 190 secs
lola: 101283008 markings, 117628664 edges, 503567 markings/sec, 195 secs
lola: 103680660 markings, 120432502 edges, 479530 markings/sec, 200 secs
lola: 106167194 markings, 123341979 edges, 497307 markings/sec, 205 secs
lola: 108637752 markings, 126232788 edges, 494112 markings/sec, 210 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 221 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: 2187715 markings, 2762695 edges, 437543 markings/sec, 0 secs
lola: 4237737 markings, 5337928 edges, 410004 markings/sec, 5 secs
lola: 6275365 markings, 7897955 edges, 407526 markings/sec, 10 secs
lola: 8275988 markings, 10405415 edges, 400125 markings/sec, 15 secs
lola: 10263207 markings, 12895214 edges, 397444 markings/sec, 20 secs
lola: 12239124 markings, 15369056 edges, 395183 markings/sec, 25 secs
lola: 14207585 markings, 17835456 edges, 393692 markings/sec, 30 secs
lola: 16162368 markings, 20281273 edges, 390957 markings/sec, 35 secs
lola: 18090116 markings, 22692218 edges, 385550 markings/sec, 40 secs
lola: 20019959 markings, 25107076 edges, 385969 markings/sec, 45 secs
lola: 21941680 markings, 27511104 edges, 384344 markings/sec, 50 secs
lola: 23854563 markings, 29904080 edges, 382577 markings/sec, 55 secs
lola: 25757178 markings, 32284891 edges, 380523 markings/sec, 60 secs
lola: 27662005 markings, 34668378 edges, 380965 markings/sec, 65 secs
lola: 29558813 markings, 37044126 edges, 379362 markings/sec, 70 secs
lola: 31456436 markings, 39417429 edges, 379525 markings/sec, 75 secs
lola: 33333193 markings, 41760493 edges, 375351 markings/sec, 80 secs
lola: 35257241 markings, 44166989 edges, 384810 markings/sec, 85 secs
lola: 37167378 markings, 46555629 edges, 382027 markings/sec, 90 secs
lola: 39063782 markings, 48926076 edges, 379281 markings/sec, 95 secs
lola: 40961495 markings, 51297076 edges, 379543 markings/sec, 100 secs
lola: 42845063 markings, 53650585 edges, 376714 markings/sec, 105 secs
lola: 44747407 markings, 56027098 edges, 380469 markings/sec, 110 secs
lola: 46622827 markings, 58369254 edges, 375084 markings/sec, 115 secs
lola: 48507785 markings, 60724303 edges, 376992 markings/sec, 120 secs
lola: 50375601 markings, 63058105 edges, 373563 markings/sec, 125 secs
lola: 52221452 markings, 65364095 edges, 369170 markings/sec, 130 secs
lola: 54096642 markings, 67706913 edges, 375038 markings/sec, 135 secs
lola: 55958640 markings, 70032317 edges, 372400 markings/sec, 140 secs
lola: 57818852 markings, 72356657 edges, 372042 markings/sec, 145 secs
lola: 59707043 markings, 74718800 edges, 377638 markings/sec, 150 secs
lola: 61573329 markings, 77048981 edges, 373257 markings/sec, 155 secs
lola: 63437668 markings, 79377359 edges, 372868 markings/sec, 160 secs
lola: 65298743 markings, 81701937 edges, 372215 markings/sec, 165 secs
lola: 67175802 markings, 84048365 edges, 375412 markings/sec, 170 secs
lola: 69037594 markings, 86371880 edges, 372358 markings/sec, 175 secs
lola: 70896812 markings, 88691989 edges, 371844 markings/sec, 180 secs
lola: 72769703 markings, 91034211 edges, 374578 markings/sec, 185 secs
lola: 74635046 markings, 93365568 edges, 373069 markings/sec, 190 secs
lola: 76510275 markings, 95707342 edges, 375046 markings/sec, 195 secs
lola: 78368963 markings, 98027328 edges, 371738 markings/sec, 200 secs
lola: 80235833 markings, 100356884 edges, 373374 markings/sec, 205 secs
lola: 82112392 markings, 102698029 edges, 375312 markings/sec, 210 secs
lola: 83977530 markings, 105027796 edges, 373028 markings/sec, 215 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwA)
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: 3065405 markings, 3386213 edges, 613081 markings/sec, 0 secs
lola: 6084293 markings, 6717844 edges, 603778 markings/sec, 5 secs
lola: 9064779 markings, 10024053 edges, 596097 markings/sec, 10 secs
lola: 11654427 markings, 13028297 edges, 517930 markings/sec, 15 secs
lola: 14227537 markings, 16012639 edges, 514622 markings/sec, 20 secs
lola: 16752621 markings, 18948727 edges, 505017 markings/sec, 25 secs
lola: 19294745 markings, 21897839 edges, 508425 markings/sec, 30 secs
lola: 21794637 markings, 24801609 edges, 499978 markings/sec, 35 secs
lola: 24331750 markings, 27749848 edges, 507423 markings/sec, 40 secs
lola: 26801985 markings, 30615750 edges, 494047 markings/sec, 45 secs
lola: 29303699 markings, 33514362 edges, 500343 markings/sec, 50 secs
lola: 31803205 markings, 36423091 edges, 499901 markings/sec, 55 secs
lola: 34298549 markings, 39329443 edges, 499069 markings/sec, 60 secs
lola: 36798942 markings, 42222223 edges, 500079 markings/sec, 65 secs
lola: 39318056 markings, 45154999 edges, 503823 markings/sec, 70 secs
lola: 41818716 markings, 48062174 edges, 500132 markings/sec, 75 secs
lola: 44334819 markings, 50977353 edges, 503221 markings/sec, 80 secs
lola: 46861198 markings, 53926302 edges, 505276 markings/sec, 85 secs
lola: 49320474 markings, 56765677 edges, 491855 markings/sec, 90 secs
lola: 51810191 markings, 59676673 edges, 497943 markings/sec, 95 secs
lola: 54292138 markings, 62543506 edges, 496389 markings/sec, 100 secs
lola: 56831764 markings, 65514191 edges, 507925 markings/sec, 105 secs
lola: 59296031 markings, 68357807 edges, 492853 markings/sec, 110 secs
lola: 61786697 markings, 71269631 edges, 498133 markings/sec, 115 secs
lola: 64222787 markings, 74109415 edges, 487218 markings/sec, 120 secs
lola: 66733258 markings, 77020478 edges, 502094 markings/sec, 125 secs
lola: 69225909 markings, 79929571 edges, 498530 markings/sec, 130 secs
lola: 71692574 markings, 82777343 edges, 493333 markings/sec, 135 secs
lola: 74187596 markings, 85697088 edges, 499004 markings/sec, 140 secs
lola: 76706980 markings, 88608898 edges, 503877 markings/sec, 145 secs
lola: 79244834 markings, 91566379 edges, 507571 markings/sec, 150 secs
lola: 81783298 markings, 94520716 edges, 507693 markings/sec, 155 secs
lola: 84327909 markings, 97464121 edges, 508922 markings/sec, 160 secs
lola: 86904473 markings, 100479092 edges, 515313 markings/sec, 165 secs
lola: 89419652 markings, 103384117 edges, 503036 markings/sec, 170 secs
lola: 91949800 markings, 106330818 edges, 506030 markings/sec, 175 secs
lola: 94464928 markings, 109264395 edges, 503026 markings/sec, 180 secs
lola: 96927275 markings, 112101357 edges, 492469 markings/sec, 185 secs
lola: 99379553 markings, 114969044 edges, 490456 markings/sec, 190 secs
lola: 101740084 markings, 117734963 edges, 472106 markings/sec, 195 secs
lola: 104184628 markings, 120558929 edges, 488909 markings/sec, 200 secs
lola: 106655731 markings, 123432013 edges, 494221 markings/sec, 205 secs
lola: 109146807 markings, 126347360 edges, 498215 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwA)
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: 3059741 markings, 3380024 edges, 611948 markings/sec, 0 secs
lola: 6114519 markings, 6751112 edges, 610956 markings/sec, 5 secs
lola: 9137044 markings, 10107595 edges, 604505 markings/sec, 10 secs
lola: 11719600 markings, 13104171 edges, 516511 markings/sec, 15 secs
lola: 14275311 markings, 16068644 edges, 511142 markings/sec, 20 secs
lola: 16798074 markings, 19001441 edges, 504553 markings/sec, 25 secs
lola: 19344714 markings, 21955433 edges, 509328 markings/sec, 30 secs
lola: 21852362 markings, 24868139 edges, 501530 markings/sec, 35 secs
lola: 24388098 markings, 27816495 edges, 507147 markings/sec, 40 secs
lola: 26873059 markings, 30698974 edges, 496992 markings/sec, 45 secs
lola: 29363712 markings, 33584640 edges, 498131 markings/sec, 50 secs
lola: 31861173 markings, 36489868 edges, 499492 markings/sec, 55 secs
lola: 34360177 markings, 39401588 edges, 499801 markings/sec, 60 secs
lola: 36881499 markings, 42318846 edges, 504264 markings/sec, 65 secs
lola: 39415995 markings, 45267800 edges, 506899 markings/sec, 70 secs
lola: 41934762 markings, 48198017 edges, 503753 markings/sec, 75 secs
lola: 44461829 markings, 51123655 edges, 505413 markings/sec, 80 secs
lola: 47004120 markings, 54093590 edges, 508458 markings/sec, 85 secs
lola: 49476192 markings, 56947321 edges, 494414 markings/sec, 90 secs
lola: 51973708 markings, 59870544 edges, 499503 markings/sec, 95 secs
lola: 54497552 markings, 62783923 edges, 504769 markings/sec, 100 secs
lola: 57024295 markings, 65741124 edges, 505349 markings/sec, 105 secs
lola: 59501657 markings, 68595471 edges, 495472 markings/sec, 110 secs
lola: 62009718 markings, 71530628 edges, 501612 markings/sec, 115 secs
lola: 64428570 markings, 74346422 edges, 483770 markings/sec, 120 secs
lola: 66944463 markings, 77267651 edges, 503179 markings/sec, 125 secs
lola: 69423277 markings, 80156896 edges, 495763 markings/sec, 130 secs
lola: 71893645 markings, 83012680 edges, 494074 markings/sec, 135 secs
lola: 74397295 markings, 85941514 edges, 500730 markings/sec, 140 secs
lola: 76904025 markings, 88835871 edges, 501346 markings/sec, 145 secs
lola: 79448926 markings, 91805195 edges, 508980 markings/sec, 150 secs
lola: 81978188 markings, 94745191 edges, 505852 markings/sec, 155 secs
lola: 84522473 markings, 97691790 edges, 508857 markings/sec, 160 secs
lola: 87068126 markings, 100669864 edges, 509131 markings/sec, 165 secs
lola: 89549517 markings, 103533690 edges, 496278 markings/sec, 170 secs
lola: 92054590 markings, 106453423 edges, 501015 markings/sec, 175 secs
lola: 94555926 markings, 109369155 edges, 500267 markings/sec, 180 secs
lola: 97020503 markings, 112209298 edges, 492915 markings/sec, 185 secs
lola: 99505388 markings, 115116262 edges, 496977 markings/sec, 190 secs
lola: 101876717 markings, 117895577 edges, 474266 markings/sec, 195 secs
lola: 104354377 markings, 120754428 edges, 495532 markings/sec, 200 secs
lola: 106856430 markings, 123666859 edges, 500411 markings/sec, 205 secs
lola: 109361004 markings, 126595426 edges, 500915 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SA)
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: 2232118 markings, 3005011 edges, 446424 markings/sec, 0 secs
lola: 4411634 markings, 5937389 edges, 435903 markings/sec, 5 secs
lola: 6435106 markings, 8678605 edges, 404694 markings/sec, 10 secs
lola: 8578220 markings, 11560897 edges, 428623 markings/sec, 15 secs
lola: 10663149 markings, 14362760 edges, 416986 markings/sec, 20 secs
lola: 12527921 markings, 16883391 edges, 372954 markings/sec, 25 secs
lola: 14385068 markings, 19407493 edges, 371429 markings/sec, 30 secs
lola: 16361537 markings, 22078996 edges, 395294 markings/sec, 35 secs
lola: 18459266 markings, 24898757 edges, 419546 markings/sec, 40 secs
lola: 20521745 markings, 27675162 edges, 412496 markings/sec, 45 secs
lola: 22579264 markings, 30441528 edges, 411504 markings/sec, 50 secs
lola: 24621534 markings, 33188285 edges, 408454 markings/sec, 55 secs
lola: 26660482 markings, 35932335 edges, 407790 markings/sec, 60 secs
lola: 28539009 markings, 38438078 edges, 375705 markings/sec, 65 secs
lola: 30364247 markings, 40905177 edges, 365048 markings/sec, 70 secs
lola: 32212550 markings, 43417457 edges, 369661 markings/sec, 75 secs
lola: 34052330 markings, 45916649 edges, 367956 markings/sec, 80 secs
lola: 35875052 markings, 48393137 edges, 364544 markings/sec, 85 secs
lola: 37701410 markings, 50874758 edges, 365272 markings/sec, 90 secs
lola: 39530300 markings, 53359495 edges, 365778 markings/sec, 95 secs
lola: 41355560 markings, 55843340 edges, 365052 markings/sec, 100 secs
lola: 43074517 markings, 58109520 edges, 343791 markings/sec, 105 secs
lola: 44954513 markings, 60622305 edges, 375999 markings/sec, 110 secs
lola: 46899853 markings, 63266291 edges, 389068 markings/sec, 115 secs
lola: 48781064 markings, 65824039 edges, 376242 markings/sec, 120 secs
lola: 50658419 markings, 68373557 edges, 375471 markings/sec, 125 secs
lola: 52536438 markings, 70925273 edges, 375604 markings/sec, 130 secs
lola: 54420843 markings, 73486963 edges, 376881 markings/sec, 135 secs
lola: 56300255 markings, 76037626 edges, 375882 markings/sec, 140 secs
lola: 58164580 markings, 78569468 edges, 372865 markings/sec, 145 secs
lola: 60034345 markings, 81108809 edges, 373953 markings/sec, 150 secs
lola: 61902997 markings, 83654134 edges, 373730 markings/sec, 155 secs
lola: 63641544 markings, 85959149 edges, 347709 markings/sec, 160 secs
lola: 65379365 markings, 88251724 edges, 347564 markings/sec, 165 secs
lola: 67367250 markings, 90953894 edges, 397577 markings/sec, 170 secs
lola: 69278363 markings, 93553293 edges, 382223 markings/sec, 175 secs
lola: 71173438 markings, 96130158 edges, 379015 markings/sec, 180 secs
lola: 73048605 markings, 98676689 edges, 375033 markings/sec, 185 secs
lola: 74931420 markings, 101237055 edges, 376563 markings/sec, 190 secs
lola: 76807797 markings, 103788015 edges, 375275 markings/sec, 195 secs
lola: 78676377 markings, 106327516 edges, 373716 markings/sec, 200 secs
lola: 80546058 markings, 108870033 edges, 373936 markings/sec, 205 secs
lola: 82427724 markings, 111433916 edges, 376333 markings/sec, 210 secs
lola: 84228717 markings, 113842856 edges, 360199 markings/sec, 215 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 220 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: 2098027 markings, 3252406 edges, 419605 markings/sec, 0 secs
lola: 3858662 markings, 6053890 edges, 352127 markings/sec, 5 secs
lola: 5594195 markings, 8822542 edges, 347107 markings/sec, 10 secs
lola: 7291039 markings, 11532236 edges, 339369 markings/sec, 15 secs
lola: 8986289 markings, 14238126 edges, 339050 markings/sec, 20 secs
lola: 10675607 markings, 16930464 edges, 337864 markings/sec, 25 secs
lola: 12336263 markings, 19586301 edges, 332131 markings/sec, 30 secs
lola: 14017697 markings, 22273488 edges, 336287 markings/sec, 35 secs
lola: 15671687 markings, 24911970 edges, 330798 markings/sec, 40 secs
lola: 17313649 markings, 27534274 edges, 328392 markings/sec, 45 secs
lola: 18992813 markings, 30211841 edges, 335833 markings/sec, 50 secs
lola: 20648820 markings, 32861377 edges, 331201 markings/sec, 55 secs
lola: 22298197 markings, 35492875 edges, 329875 markings/sec, 60 secs
lola: 23927721 markings, 38099422 edges, 325905 markings/sec, 65 secs
lola: 25567125 markings, 40719155 edges, 327881 markings/sec, 70 secs
lola: 27214096 markings, 43349498 edges, 329394 markings/sec, 75 secs
lola: 28839216 markings, 45949303 edges, 325024 markings/sec, 80 secs
lola: 30445907 markings, 48519136 edges, 321338 markings/sec, 85 secs
lola: 32089581 markings, 51145148 edges, 328735 markings/sec, 90 secs
lola: 33692824 markings, 53707549 edges, 320649 markings/sec, 95 secs
lola: 35325573 markings, 56320294 edges, 326550 markings/sec, 100 secs
lola: 36939097 markings, 58899937 edges, 322705 markings/sec, 105 secs
lola: 38540185 markings, 61455929 edges, 320218 markings/sec, 110 secs
lola: 40154248 markings, 64032218 edges, 322813 markings/sec, 115 secs
lola: 41747733 markings, 66578165 edges, 318697 markings/sec, 120 secs
lola: 43358105 markings, 69156511 edges, 322074 markings/sec, 125 secs
lola: 44981614 markings, 71750400 edges, 324702 markings/sec, 130 secs
lola: 46589360 markings, 74323549 edges, 321549 markings/sec, 135 secs
lola: 48199164 markings, 76896617 edges, 321961 markings/sec, 140 secs
lola: 49816283 markings, 79483770 edges, 323424 markings/sec, 145 secs
lola: 51449201 markings, 82089406 edges, 326584 markings/sec, 150 secs
lola: 53057310 markings, 84666635 edges, 321622 markings/sec, 155 secs
lola: 54677892 markings, 87256496 edges, 324116 markings/sec, 160 secs
lola: 56294229 markings, 89840863 edges, 323267 markings/sec, 165 secs
lola: 57904583 markings, 92415158 edges, 322071 markings/sec, 170 secs
lola: 59505112 markings, 94974410 edges, 320106 markings/sec, 175 secs
lola: 61117331 markings, 97552607 edges, 322444 markings/sec, 180 secs
lola: 62689559 markings, 100065986 edges, 314446 markings/sec, 185 secs
lola: 64295223 markings, 102629963 edges, 321133 markings/sec, 190 secs
lola: 65920192 markings, 105232922 edges, 324994 markings/sec, 195 secs
lola: 67512422 markings, 107779267 edges, 318446 markings/sec, 200 secs
lola: 69127426 markings, 110368281 edges, 323001 markings/sec, 205 secs
lola: 70743186 markings, 112952635 edges, 323152 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0200P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496608880362
--------------------
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-N0200P0"
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-N0200P0.tgz
mv ClientsAndServers-PT-N0200P0 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-N0200P0, 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-149580920100281"
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 '
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 ;