fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r168-ebro-149580920000236
Last Updated
June 27, 2017

About the Execution of LoLA for ClientsAndServers-PT-N0020P2

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8906.070 3540232.00 3556283.00 737.60 ? ? ? ? ? ? ? ? ? ? ? ? 160 ? ? ? 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-N0020P2, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920000236
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496603223357


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0020P2: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0020P2 @ 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-N0020P2-UpperBounds.task
lola: MAX(Si) : MAX(SR) : MAX(Si) : MAX(MpG) : MAX(StF) : MAX(Si) : MAX(CwG) : MAX(SG) : MAX(MpA) : MAX(SG) : MAX(MpA) : MAX(CA) : MAX(MpG) : MAX(Uf) : MAX(MwU) : MAX(StF)
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(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: 1589940 markings, 3080527 edges, 317988 markings/sec, 0 secs
lola: 3135842 markings, 6145194 edges, 309180 markings/sec, 5 secs
lola: 4668915 markings, 9224719 edges, 306615 markings/sec, 10 secs
lola: 6193669 markings, 12318306 edges, 304951 markings/sec, 15 secs
lola: 7714060 markings, 15412926 edges, 304078 markings/sec, 20 secs
lola: 9252067 markings, 18605426 edges, 307601 markings/sec, 25 secs
lola: 10818848 markings, 21910456 edges, 313356 markings/sec, 30 secs
lola: 12355421 markings, 25116844 edges, 307315 markings/sec, 35 secs
lola: 13881938 markings, 28295053 edges, 305303 markings/sec, 40 secs
lola: 15419044 markings, 31509108 edges, 307421 markings/sec, 45 secs
lola: 16922776 markings, 34625913 edges, 300746 markings/sec, 50 secs
lola: 18440416 markings, 37788446 edges, 303528 markings/sec, 55 secs
lola: 19953414 markings, 40940640 edges, 302600 markings/sec, 60 secs
lola: 21463205 markings, 44084485 edges, 301958 markings/sec, 65 secs
lola: 22957946 markings, 47183033 edges, 298948 markings/sec, 70 secs
lola: 24465928 markings, 50327990 edges, 301596 markings/sec, 75 secs
lola: 25968351 markings, 53454618 edges, 300485 markings/sec, 80 secs
lola: 27470734 markings, 56585607 edges, 300477 markings/sec, 85 secs
lola: 28970085 markings, 59709220 edges, 299870 markings/sec, 90 secs
lola: 30466113 markings, 62820405 edges, 299206 markings/sec, 95 secs
lola: 31971724 markings, 65952696 edges, 301122 markings/sec, 100 secs
lola: 33475392 markings, 69076983 edges, 300734 markings/sec, 105 secs
lola: 34987425 markings, 72218370 edges, 302407 markings/sec, 110 secs
lola: 36504073 markings, 75362056 edges, 303330 markings/sec, 115 secs
lola: 38025515 markings, 78522416 edges, 304288 markings/sec, 120 secs
lola: 39529040 markings, 81625451 edges, 300705 markings/sec, 125 secs
lola: 41032775 markings, 84726555 edges, 300747 markings/sec, 130 secs
lola: 42532656 markings, 87808621 edges, 299976 markings/sec, 135 secs
lola: 44037028 markings, 90885458 edges, 300874 markings/sec, 140 secs
lola: 45497037 markings, 93934518 edges, 292002 markings/sec, 145 secs
lola: 46866199 markings, 96837319 edges, 273832 markings/sec, 150 secs
lola: 48225762 markings, 99713298 edges, 271913 markings/sec, 155 secs
lola: 49585026 markings, 102585983 edges, 271853 markings/sec, 160 secs
lola: 50944701 markings, 105452877 edges, 271935 markings/sec, 165 secs
lola: 52298938 markings, 108303527 edges, 270847 markings/sec, 170 secs
lola: 53635549 markings, 111118969 edges, 267322 markings/sec, 175 secs
lola: 54980451 markings, 113945312 edges, 268980 markings/sec, 180 secs
lola: 56321912 markings, 116767389 edges, 268292 markings/sec, 185 secs
lola: 57662833 markings, 119588527 edges, 268184 markings/sec, 190 secs
lola: 59009872 markings, 122410705 edges, 269408 markings/sec, 195 secs
lola: 60361125 markings, 125238468 edges, 270251 markings/sec, 200 secs
lola: 61725116 markings, 128103650 edges, 272798 markings/sec, 205 secs
lola: 63084768 markings, 130949479 edges, 271930 markings/sec, 210 secs
lola: 64437013 markings, 133776606 edges, 270449 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(SR)
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: 1953722 markings, 2878749 edges, 390744 markings/sec, 0 secs
lola: 3753793 markings, 5551154 edges, 360014 markings/sec, 5 secs
lola: 5573488 markings, 8254983 edges, 363939 markings/sec, 10 secs
lola: 7342552 markings, 10889191 edges, 353813 markings/sec, 15 secs
lola: 9090161 markings, 13490739 edges, 349522 markings/sec, 20 secs
lola: 10826509 markings, 16075018 edges, 347270 markings/sec, 25 secs
lola: 12492792 markings, 18566611 edges, 333257 markings/sec, 30 secs
lola: 14175308 markings, 21085240 edges, 336503 markings/sec, 35 secs
lola: 15896552 markings, 23663182 edges, 344249 markings/sec, 40 secs
lola: 17616061 markings, 26234737 edges, 343902 markings/sec, 45 secs
lola: 19313383 markings, 28775429 edges, 339464 markings/sec, 50 secs
lola: 20979401 markings, 31274309 edges, 333204 markings/sec, 55 secs
lola: 22711991 markings, 33857565 edges, 346518 markings/sec, 60 secs
lola: 24379861 markings, 36353651 edges, 333574 markings/sec, 65 secs
lola: 26086049 markings, 38906641 edges, 341238 markings/sec, 70 secs
lola: 27742771 markings, 41386516 edges, 331344 markings/sec, 75 secs
lola: 29399649 markings, 43872355 edges, 331376 markings/sec, 80 secs
lola: 31016756 markings, 46304678 edges, 323421 markings/sec, 85 secs
lola: 32618935 markings, 48716563 edges, 320436 markings/sec, 90 secs
lola: 34165565 markings, 51178780 edges, 309326 markings/sec, 95 secs
lola: 34599845 markings, 53116060 edges, 86856 markings/sec, 100 secs
lola: 35052718 markings, 55077089 edges, 90575 markings/sec, 105 secs
lola: 35475787 markings, 56990245 edges, 84614 markings/sec, 110 secs
lola: 35913292 markings, 58871039 edges, 87501 markings/sec, 115 secs
lola: 36406431 markings, 60957809 edges, 98628 markings/sec, 120 secs
lola: 37875822 markings, 63822166 edges, 293878 markings/sec, 125 secs
lola: 39330110 markings, 66614525 edges, 290858 markings/sec, 130 secs
lola: 40752033 markings, 69363530 edges, 284385 markings/sec, 135 secs
lola: 42209702 markings, 72182388 edges, 291534 markings/sec, 140 secs
lola: 43670236 markings, 74993441 edges, 292107 markings/sec, 145 secs
lola: 45133484 markings, 77808179 edges, 292650 markings/sec, 150 secs
lola: 46615198 markings, 80670758 edges, 296343 markings/sec, 155 secs
lola: 48163938 markings, 83655632 edges, 309748 markings/sec, 160 secs
lola: 49706855 markings, 86631185 edges, 308583 markings/sec, 165 secs
lola: 51235929 markings, 89584580 edges, 305815 markings/sec, 170 secs
lola: 52788633 markings, 92575801 edges, 310541 markings/sec, 175 secs
lola: 54330617 markings, 95548424 edges, 308397 markings/sec, 180 secs
lola: 55857904 markings, 98490488 edges, 305457 markings/sec, 185 secs
lola: 57397680 markings, 101453919 edges, 307955 markings/sec, 190 secs
lola: 58945718 markings, 104409133 edges, 309608 markings/sec, 195 secs
lola: 60459775 markings, 107305641 edges, 302811 markings/sec, 200 secs
lola: 62006273 markings, 110241170 edges, 309300 markings/sec, 205 secs
lola: 63626453 markings, 113222282 edges, 324036 markings/sec, 210 secs
lola: 65179363 markings, 115994344 edges, 310582 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: 1502804 markings, 2909018 edges, 300561 markings/sec, 0 secs
lola: 3027489 markings, 5928578 edges, 304937 markings/sec, 5 secs
lola: 4526003 markings, 8934612 edges, 299703 markings/sec, 10 secs
lola: 6008828 markings, 11943341 edges, 296565 markings/sec, 15 secs
lola: 7478396 markings, 14932432 edges, 293914 markings/sec, 20 secs
lola: 8940736 markings, 17943568 edges, 292468 markings/sec, 25 secs
lola: 10479228 markings, 21195544 edges, 307698 markings/sec, 30 secs
lola: 11973075 markings, 24322462 edges, 298769 markings/sec, 35 secs
lola: 13442780 markings, 27384271 edges, 293941 markings/sec, 40 secs
lola: 14925109 markings, 30471058 edges, 296466 markings/sec, 45 secs
lola: 16383580 markings, 33496974 edges, 291694 markings/sec, 50 secs
lola: 17856368 markings, 36567925 edges, 294558 markings/sec, 55 secs
lola: 19324658 markings, 39631945 edges, 293658 markings/sec, 60 secs
lola: 20779219 markings, 42655276 edges, 290912 markings/sec, 65 secs
lola: 22236981 markings, 45688218 edges, 291552 markings/sec, 70 secs
lola: 23698983 markings, 48737104 edges, 292400 markings/sec, 75 secs
lola: 25145486 markings, 51740429 edges, 289301 markings/sec, 80 secs
lola: 26599178 markings, 54768512 edges, 290738 markings/sec, 85 secs
lola: 28054764 markings, 57806022 edges, 291117 markings/sec, 90 secs
lola: 29504796 markings, 60821332 edges, 290006 markings/sec, 95 secs
lola: 30912889 markings, 63752060 edges, 281619 markings/sec, 100 secs
lola: 32342277 markings, 66718548 edges, 285878 markings/sec, 105 secs
lola: 33811839 markings, 69778454 edges, 293912 markings/sec, 110 secs
lola: 35291075 markings, 72849350 edges, 295847 markings/sec, 115 secs
lola: 36783605 markings, 75943147 edges, 298506 markings/sec, 120 secs
lola: 38288865 markings, 79062733 edges, 301052 markings/sec, 125 secs
lola: 39776414 markings, 82134215 edges, 297510 markings/sec, 130 secs
lola: 41257461 markings, 85189300 edges, 296209 markings/sec, 135 secs
lola: 42741006 markings, 88234819 edges, 296709 markings/sec, 140 secs
lola: 44226418 markings, 91271920 edges, 297082 markings/sec, 145 secs
lola: 45652053 markings, 94263673 edges, 285127 markings/sec, 150 secs
lola: 46992264 markings, 97104719 edges, 268042 markings/sec, 155 secs
lola: 48326688 markings, 99926460 edges, 266885 markings/sec, 160 secs
lola: 49649563 markings, 102721296 edges, 264575 markings/sec, 165 secs
lola: 50977827 markings, 105523115 edges, 265653 markings/sec, 170 secs
lola: 52287399 markings, 108279010 edges, 261914 markings/sec, 175 secs
lola: 53603333 markings, 111051781 edges, 263187 markings/sec, 180 secs
lola: 54920354 markings, 113819242 edges, 263404 markings/sec, 185 secs
lola: 56240253 markings, 116595868 edges, 263980 markings/sec, 190 secs
lola: 57557462 markings, 119366606 edges, 263442 markings/sec, 195 secs
lola: 58865699 markings, 122108693 edges, 261647 markings/sec, 200 secs
lola: 60161511 markings, 124820335 edges, 259162 markings/sec, 205 secs
lola: 61433935 markings, 127494181 edges, 254485 markings/sec, 210 secs
lola: 62732109 markings, 130213160 edges, 259635 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(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: 1981151 markings, 2650820 edges, 396230 markings/sec, 0 secs
lola: 3816899 markings, 5088224 edges, 367150 markings/sec, 5 secs
lola: 5673813 markings, 7562393 edges, 371383 markings/sec, 10 secs
lola: 7472233 markings, 10023454 edges, 359684 markings/sec, 15 secs
lola: 9278310 markings, 12535944 edges, 361215 markings/sec, 20 secs
lola: 11147370 markings, 15170130 edges, 373812 markings/sec, 25 secs
lola: 13073399 markings, 17896071 edges, 385206 markings/sec, 30 secs
lola: 15019836 markings, 20651409 edges, 389287 markings/sec, 35 secs
lola: 16944997 markings, 23376095 edges, 385032 markings/sec, 40 secs
lola: 18848170 markings, 26068222 edges, 380635 markings/sec, 45 secs
lola: 20753785 markings, 28776393 edges, 381123 markings/sec, 50 secs
lola: 22687825 markings, 31609259 edges, 386808 markings/sec, 55 secs
lola: 24581321 markings, 34369959 edges, 378699 markings/sec, 60 secs
lola: 26447583 markings, 37083448 edges, 373252 markings/sec, 65 secs
lola: 28297948 markings, 39766853 edges, 370073 markings/sec, 70 secs
lola: 30143625 markings, 42436749 edges, 369135 markings/sec, 75 secs
lola: 31967614 markings, 45067766 edges, 364798 markings/sec, 80 secs
lola: 33805213 markings, 47718399 edges, 367520 markings/sec, 85 secs
lola: 35616728 markings, 50317361 edges, 362303 markings/sec, 90 secs
lola: 37416214 markings, 52881612 edges, 359897 markings/sec, 95 secs
lola: 39228336 markings, 55487739 edges, 362424 markings/sec, 100 secs
lola: 41027688 markings, 58045822 edges, 359870 markings/sec, 105 secs
lola: 42879074 markings, 60644107 edges, 370277 markings/sec, 110 secs
lola: 44782912 markings, 63299576 edges, 380768 markings/sec, 115 secs
lola: 46676825 markings, 65918714 edges, 378783 markings/sec, 120 secs
lola: 47239121 markings, 67783881 edges, 112459 markings/sec, 125 secs
lola: 47822376 markings, 69771854 edges, 116651 markings/sec, 130 secs
lola: 48370704 markings, 71584794 edges, 109666 markings/sec, 135 secs
lola: 49374148 markings, 73809189 edges, 200689 markings/sec, 140 secs
lola: 50790824 markings, 76288592 edges, 283335 markings/sec, 145 secs
lola: 52124440 markings, 78629947 edges, 266723 markings/sec, 150 secs
lola: 53415106 markings, 80886515 edges, 258133 markings/sec, 155 secs
lola: 54677283 markings, 83091635 edges, 252435 markings/sec, 160 secs
lola: 56074872 markings, 85396973 edges, 279518 markings/sec, 165 secs
lola: 57458429 markings, 87645665 edges, 276711 markings/sec, 170 secs
lola: 58723671 markings, 89721012 edges, 253048 markings/sec, 175 secs
lola: 60085648 markings, 91958323 edges, 272395 markings/sec, 180 secs
lola: 61777507 markings, 94661053 edges, 338372 markings/sec, 185 secs
lola: 63280927 markings, 97086587 edges, 300684 markings/sec, 190 secs
lola: 64740922 markings, 99423039 edges, 291999 markings/sec, 195 secs
lola: 66163868 markings, 101718263 edges, 284589 markings/sec, 200 secs
lola: 67600929 markings, 104043848 edges, 287412 markings/sec, 205 secs
lola: 69224585 markings, 106641840 edges, 324731 markings/sec, 210 secs
lola: 70645264 markings, 108946258 edges, 284136 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(StF)
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: 1772361 markings, 2810344 edges, 354472 markings/sec, 0 secs
lola: 3454847 markings, 5487583 edges, 336497 markings/sec, 5 secs
lola: 5147682 markings, 8185985 edges, 338567 markings/sec, 10 secs
lola: 6871460 markings, 10934196 edges, 344756 markings/sec, 15 secs
lola: 8555079 markings, 13620922 edges, 336724 markings/sec, 20 secs
lola: 10257453 markings, 16337701 edges, 340475 markings/sec, 25 secs
lola: 11891216 markings, 18949886 edges, 326753 markings/sec, 30 secs
lola: 13573620 markings, 21637043 edges, 336481 markings/sec, 35 secs
lola: 15233991 markings, 24292764 edges, 332074 markings/sec, 40 secs
lola: 16840528 markings, 26863608 edges, 321307 markings/sec, 45 secs
lola: 18308212 markings, 29218981 edges, 293537 markings/sec, 50 secs
lola: 19847337 markings, 31686045 edges, 307825 markings/sec, 55 secs
lola: 21265673 markings, 33963578 edges, 283667 markings/sec, 60 secs
lola: 22665634 markings, 36212112 edges, 279992 markings/sec, 65 secs
lola: 24254798 markings, 38756208 edges, 317833 markings/sec, 70 secs
lola: 25682998 markings, 41051109 edges, 285640 markings/sec, 75 secs
lola: 27130065 markings, 43376982 edges, 289413 markings/sec, 80 secs
lola: 28593375 markings, 45726891 edges, 292662 markings/sec, 85 secs
lola: 30045148 markings, 48060126 edges, 290355 markings/sec, 90 secs
lola: 31511887 markings, 50417562 edges, 293348 markings/sec, 95 secs
lola: 32953269 markings, 52735852 edges, 288276 markings/sec, 100 secs
lola: 34404543 markings, 55070609 edges, 290255 markings/sec, 105 secs
lola: 35855698 markings, 57404183 edges, 290231 markings/sec, 110 secs
lola: 37308179 markings, 59746010 edges, 290496 markings/sec, 115 secs
lola: 38784551 markings, 62125035 edges, 295274 markings/sec, 120 secs
lola: 40311491 markings, 64589956 edges, 305388 markings/sec, 125 secs
lola: 41913805 markings, 67180718 edges, 320463 markings/sec, 130 secs
lola: 43500779 markings, 69739092 edges, 317395 markings/sec, 135 secs
lola: 44633164 markings, 72078626 edges, 226477 markings/sec, 140 secs
lola: 45142003 markings, 73900222 edges, 101768 markings/sec, 145 secs
lola: 45505007 markings, 75613463 edges, 72601 markings/sec, 150 secs
lola: 45819936 markings, 77342635 edges, 62986 markings/sec, 155 secs
lola: 46095266 markings, 79064925 edges, 55066 markings/sec, 160 secs
lola: 46482602 markings, 80978888 edges, 77467 markings/sec, 165 secs
lola: 46867235 markings, 82884728 edges, 76927 markings/sec, 170 secs
lola: 48015138 markings, 85389364 edges, 229581 markings/sec, 175 secs
lola: 49411611 markings, 87932608 edges, 279295 markings/sec, 180 secs
lola: 50757970 markings, 90387990 edges, 269272 markings/sec, 185 secs
lola: 52097629 markings, 92815200 edges, 267932 markings/sec, 190 secs
lola: 53410843 markings, 95205479 edges, 262643 markings/sec, 195 secs
lola: 54723373 markings, 97591429 edges, 262506 markings/sec, 200 secs
lola: 56048735 markings, 99992549 edges, 265072 markings/sec, 205 secs
lola: 57389171 markings, 102428939 edges, 268087 markings/sec, 210 secs
lola: 58763403 markings, 104928229 edges, 274846 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(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: 1634346 markings, 3167527 edges, 326869 markings/sec, 0 secs
lola: 3155055 markings, 6183782 edges, 304142 markings/sec, 5 secs
lola: 4647117 markings, 9180738 edges, 298412 markings/sec, 10 secs
lola: 6125927 markings, 12180952 edges, 295762 markings/sec, 15 secs
lola: 7648340 markings, 15279589 edges, 304483 markings/sec, 20 secs
lola: 9195526 markings, 18485207 edges, 309437 markings/sec, 25 secs
lola: 10787790 markings, 21845147 edges, 318453 markings/sec, 30 secs
lola: 12354180 markings, 25114399 edges, 313278 markings/sec, 35 secs
lola: 13867746 markings, 28266250 edges, 302713 markings/sec, 40 secs
lola: 15444641 markings, 31560226 edges, 315379 markings/sec, 45 secs
lola: 16995299 markings, 34775048 edges, 310132 markings/sec, 50 secs
lola: 18555767 markings, 38029028 edges, 312094 markings/sec, 55 secs
lola: 20108044 markings, 41261523 edges, 310455 markings/sec, 60 secs
lola: 21661738 markings, 44500439 edges, 310739 markings/sec, 65 secs
lola: 23202930 markings, 47696239 edges, 308238 markings/sec, 70 secs
lola: 24749666 markings, 50919290 edges, 309347 markings/sec, 75 secs
lola: 26300061 markings, 54154317 edges, 310079 markings/sec, 80 secs
lola: 27837429 markings, 57353728 edges, 307474 markings/sec, 85 secs
lola: 29339425 markings, 60481648 edges, 300399 markings/sec, 90 secs
lola: 30863939 markings, 63653262 edges, 304903 markings/sec, 95 secs
lola: 32380241 markings, 66797781 edges, 303260 markings/sec, 100 secs
lola: 33900056 markings, 69959990 edges, 303963 markings/sec, 105 secs
lola: 35428408 markings, 73136357 edges, 305670 markings/sec, 110 secs
lola: 36957731 markings, 76309880 edges, 305865 markings/sec, 115 secs
lola: 38455540 markings, 79408903 edges, 299562 markings/sec, 120 secs
lola: 39949943 markings, 82489521 edges, 298881 markings/sec, 125 secs
lola: 41449942 markings, 85584957 edges, 300000 markings/sec, 130 secs
lola: 42948356 markings, 88661472 edges, 299683 markings/sec, 135 secs
lola: 44445760 markings, 91717640 edges, 299481 markings/sec, 140 secs
lola: 45878160 markings, 94742773 edges, 286480 markings/sec, 145 secs
lola: 47245781 markings, 97640787 edges, 273524 markings/sec, 150 secs
lola: 48611242 markings, 100527759 edges, 273092 markings/sec, 155 secs
lola: 49984059 markings, 103426451 edges, 274563 markings/sec, 160 secs
lola: 51355411 markings, 106319154 edges, 274270 markings/sec, 165 secs
lola: 52712457 markings, 109174482 edges, 271409 markings/sec, 170 secs
lola: 54065414 markings, 112022201 edges, 270591 markings/sec, 175 secs
lola: 55413115 markings, 114856166 edges, 269540 markings/sec, 180 secs
lola: 56754374 markings, 117674555 edges, 268252 markings/sec, 185 secs
lola: 58102091 markings, 120510373 edges, 269543 markings/sec, 190 secs
lola: 59439289 markings, 123310395 edges, 267440 markings/sec, 195 secs
lola: 60785576 markings, 126131811 edges, 269257 markings/sec, 200 secs
lola: 62136778 markings, 128962454 edges, 270240 markings/sec, 205 secs
lola: 63490514 markings, 131798326 edges, 270747 markings/sec, 210 secs
lola: 64818027 markings, 134580104 edges, 265503 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(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: 2740214 markings, 3194477 edges, 548043 markings/sec, 0 secs
lola: 5401864 markings, 6308017 edges, 532330 markings/sec, 5 secs
lola: 7999195 markings, 9346949 edges, 519466 markings/sec, 10 secs
lola: 10584221 markings, 12371755 edges, 517005 markings/sec, 15 secs
lola: 13110333 markings, 15327606 edges, 505222 markings/sec, 20 secs
lola: 15632633 markings, 18279461 edges, 504460 markings/sec, 25 secs
lola: 18182030 markings, 21262857 edges, 509879 markings/sec, 30 secs
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: ========================================
lola: subprocess 7 will run for 241 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: 2306415 markings, 2916148 edges, 461283 markings/sec, 0 secs
lola: 4485685 markings, 5652665 edges, 435854 markings/sec, 5 secs
lola: 6682660 markings, 8450706 edges, 439395 markings/sec, 10 secs
lola: 8867941 markings, 11343037 edges, 437056 markings/sec, 15 secs
lola: 11031098 markings, 14285364 edges, 432631 markings/sec, 20 secs
lola: 13165882 markings, 17197681 edges, 426957 markings/sec, 25 secs
lola: 15298290 markings, 20107052 edges, 426482 markings/sec, 30 secs
lola: 17372824 markings, 22936638 edges, 414907 markings/sec, 35 secs
lola: 19455866 markings, 25779017 edges, 416608 markings/sec, 40 secs
lola: 21610234 markings, 28682110 edges, 430874 markings/sec, 45 secs
lola: 23728301 markings, 31510128 edges, 423613 markings/sec, 50 secs
lola: 25844453 markings, 34326978 edges, 423230 markings/sec, 55 secs
lola: 27936337 markings, 37110309 edges, 418377 markings/sec, 60 secs
lola: 30014419 markings, 39874796 edges, 415616 markings/sec, 65 secs
lola: 32104306 markings, 42651107 edges, 417977 markings/sec, 70 secs
lola: 34182792 markings, 45415662 edges, 415697 markings/sec, 75 secs
lola: 36268457 markings, 48186871 edges, 417133 markings/sec, 80 secs
lola: 38347346 markings, 50945331 edges, 415778 markings/sec, 85 secs
lola: 40457046 markings, 53728814 edges, 421940 markings/sec, 90 secs
lola: 42626374 markings, 56588510 edges, 433866 markings/sec, 95 secs
lola: 44725516 markings, 59353293 edges, 419828 markings/sec, 100 secs
lola: 45728991 markings, 61488955 edges, 200695 markings/sec, 105 secs
lola: 46268996 markings, 63408332 edges, 108001 markings/sec, 110 secs
lola: 47449950 markings, 65744836 edges, 236191 markings/sec, 115 secs
lola: 49398170 markings, 68691631 edges, 389644 markings/sec, 120 secs
lola: 51290648 markings, 71532152 edges, 378496 markings/sec, 125 secs
lola: 53227546 markings, 74382844 edges, 387380 markings/sec, 130 secs
lola: 55156773 markings, 77326462 edges, 385845 markings/sec, 135 secs
lola: 57109184 markings, 80143919 edges, 390482 markings/sec, 140 secs
lola: 59082317 markings, 83174443 edges, 394627 markings/sec, 145 secs
lola: 61027636 markings, 85979449 edges, 389064 markings/sec, 150 secs
lola: 62957790 markings, 88904282 edges, 386031 markings/sec, 155 secs
lola: 64939140 markings, 91832395 edges, 396270 markings/sec, 160 secs
lola: 66946744 markings, 94685574 edges, 401521 markings/sec, 165 secs
lola: 68843722 markings, 97637654 edges, 379396 markings/sec, 170 secs
lola: 70816592 markings, 100497847 edges, 394574 markings/sec, 175 secs
lola: 72794800 markings, 103321555 edges, 395642 markings/sec, 180 secs
lola: 74673935 markings, 106217964 edges, 375827 markings/sec, 185 secs
lola: 76648645 markings, 109130072 edges, 394942 markings/sec, 190 secs
lola: 78598103 markings, 111904051 edges, 389892 markings/sec, 195 secs
lola: 80557637 markings, 114766907 edges, 391907 markings/sec, 200 secs
lola: 82440840 markings, 117655129 edges, 376641 markings/sec, 205 secs
lola: 84372431 markings, 120468394 edges, 386318 markings/sec, 210 secs
lola: 86325309 markings, 123235908 edges, 390576 markings/sec, 215 secs
lola: 88280380 markings, 126086488 edges, 391014 markings/sec, 220 secs
lola: 90112877 markings, 128917082 edges, 366499 markings/sec, 225 secs
lola: 92087450 markings, 131788689 edges, 394915 markings/sec, 230 secs
lola: 93990408 markings, 134497969 edges, 380592 markings/sec, 235 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 241 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: 2118161 markings, 3009512 edges, 423632 markings/sec, 0 secs
lola: 4117848 markings, 5848016 edges, 399937 markings/sec, 5 secs
lola: 6110777 markings, 8677503 edges, 398586 markings/sec, 10 secs
lola: 8077679 markings, 11469414 edges, 393380 markings/sec, 15 secs
lola: 10051273 markings, 14271323 edges, 394719 markings/sec, 20 secs
lola: 12053654 markings, 17114146 edges, 400476 markings/sec, 25 secs
lola: 14064604 markings, 19969051 edges, 402190 markings/sec, 30 secs
lola: 16096155 markings, 22852990 edges, 406310 markings/sec, 35 secs
lola: 18121144 markings, 25727608 edges, 404998 markings/sec, 40 secs
lola: 20137511 markings, 28589687 edges, 403273 markings/sec, 45 secs
lola: 22120151 markings, 31405020 edges, 396528 markings/sec, 50 secs
lola: 23964451 markings, 34131161 edges, 368860 markings/sec, 55 secs
lola: 25777025 markings, 36785303 edges, 362515 markings/sec, 60 secs
lola: 27579735 markings, 39413285 edges, 360542 markings/sec, 65 secs
lola: 29378050 markings, 42034471 edges, 359663 markings/sec, 70 secs
lola: 31173366 markings, 44648080 edges, 359063 markings/sec, 75 secs
lola: 32967690 markings, 47255566 edges, 358865 markings/sec, 80 secs
lola: 34762332 markings, 49863222 edges, 358928 markings/sec, 85 secs
lola: 36548865 markings, 52457393 edges, 357307 markings/sec, 90 secs
lola: 38340337 markings, 55058377 edges, 358294 markings/sec, 95 secs
lola: 40136098 markings, 57662222 edges, 359152 markings/sec, 100 secs
lola: 41933132 markings, 60267522 edges, 359407 markings/sec, 105 secs
lola: 43740779 markings, 62888112 edges, 361529 markings/sec, 110 secs
lola: 45558709 markings, 65524071 edges, 363586 markings/sec, 115 secs
lola: 46791746 markings, 67834118 edges, 246607 markings/sec, 120 secs
lola: 47282683 markings, 69751564 edges, 98187 markings/sec, 125 secs
lola: 47709448 markings, 71728658 edges, 85353 markings/sec, 130 secs
lola: 48660154 markings, 74089724 edges, 190141 markings/sec, 135 secs
lola: 50460163 markings, 76910665 edges, 360002 markings/sec, 140 secs
lola: 52205442 markings, 79632764 edges, 349056 markings/sec, 145 secs
lola: 53944811 markings, 82344629 edges, 347874 markings/sec, 150 secs
lola: 55677147 markings, 85038533 edges, 346467 markings/sec, 155 secs
lola: 57378585 markings, 87679741 edges, 340288 markings/sec, 160 secs
lola: 59097652 markings, 90348343 edges, 343813 markings/sec, 165 secs
lola: 60854016 markings, 93075125 edges, 351273 markings/sec, 170 secs
lola: 62638672 markings, 95851002 edges, 356931 markings/sec, 175 secs
lola: 64395175 markings, 98576360 edges, 351301 markings/sec, 180 secs
lola: 66139380 markings, 101281496 edges, 348841 markings/sec, 185 secs
lola: 67880774 markings, 103991777 edges, 348279 markings/sec, 190 secs
lola: 69718530 markings, 106836590 edges, 367551 markings/sec, 195 secs
lola: 71419865 markings, 109466456 edges, 340267 markings/sec, 200 secs
lola: 73206810 markings, 112228176 edges, 357389 markings/sec, 205 secs
lola: 74940069 markings, 114917444 edges, 346652 markings/sec, 210 secs
lola: 76707030 markings, 117643869 edges, 353392 markings/sec, 215 secs
lola: 78441552 markings, 120340216 edges, 346904 markings/sec, 220 secs
lola: 80209613 markings, 123068326 edges, 353612 markings/sec, 225 secs
lola: 81930069 markings, 125741926 edges, 344091 markings/sec, 230 secs
lola: 83745527 markings, 128554262 edges, 363092 markings/sec, 235 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 241 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: 2317368 markings, 2929942 edges, 463474 markings/sec, 0 secs
lola: 4526208 markings, 5703842 edges, 441768 markings/sec, 5 secs
lola: 6750119 markings, 8539367 edges, 444782 markings/sec, 10 secs
lola: 8963283 markings, 11472071 edges, 442633 markings/sec, 15 secs
lola: 11155023 markings, 14454371 edges, 438348 markings/sec, 20 secs
lola: 13318308 markings, 17405623 edges, 432657 markings/sec, 25 secs
lola: 15489871 markings, 20368323 edges, 434313 markings/sec, 30 secs
lola: 17641745 markings, 23303556 edges, 430375 markings/sec, 35 secs
lola: 19748329 markings, 26177802 edges, 421317 markings/sec, 40 secs
lola: 21904097 markings, 29074930 edges, 431154 markings/sec, 45 secs
lola: 24016482 markings, 31894633 edges, 422477 markings/sec, 50 secs
lola: 26127805 markings, 34704638 edges, 422265 markings/sec, 55 secs
lola: 28233750 markings, 37506733 edges, 421189 markings/sec, 60 secs
lola: 30333274 markings, 40298193 edges, 419905 markings/sec, 65 secs
lola: 32411292 markings, 43060492 edges, 415604 markings/sec, 70 secs
lola: 34459502 markings, 45783349 edges, 409642 markings/sec, 75 secs
lola: 36521519 markings, 48522872 edges, 412403 markings/sec, 80 secs
lola: 38577755 markings, 51251368 edges, 411247 markings/sec, 85 secs
lola: 40686353 markings, 54032581 edges, 421720 markings/sec, 90 secs
lola: 42842254 markings, 56873280 edges, 431180 markings/sec, 95 secs
lola: 44932734 markings, 59622951 edges, 418096 markings/sec, 100 secs
lola: 45823630 markings, 61717073 edges, 178179 markings/sec, 105 secs
lola: 46352086 markings, 63663304 edges, 105691 markings/sec, 110 secs
lola: 47731459 markings, 66170672 edges, 275875 markings/sec, 115 secs
lola: 49648769 markings, 69073405 edges, 383462 markings/sec, 120 secs
lola: 51550181 markings, 71928589 edges, 380282 markings/sec, 125 secs
lola: 53483808 markings, 74753434 edges, 386725 markings/sec, 130 secs
lola: 55388160 markings, 77673024 edges, 380870 markings/sec, 135 secs
lola: 57395189 markings, 80543174 edges, 401406 markings/sec, 140 secs
lola: 59305323 markings, 83508488 edges, 382027 markings/sec, 145 secs
lola: 61296900 markings, 86353051 edges, 398315 markings/sec, 150 secs
lola: 63233651 markings, 89329097 edges, 387350 markings/sec, 155 secs
lola: 65237487 markings, 92254289 edges, 400767 markings/sec, 160 secs
lola: 67229659 markings, 95108631 edges, 398434 markings/sec, 165 secs
lola: 69173833 markings, 98123546 edges, 388835 markings/sec, 170 secs
lola: 71102594 markings, 100913765 edges, 385752 markings/sec, 175 secs
lola: 73129195 markings, 103786432 edges, 405320 markings/sec, 180 secs
lola: 74990972 markings, 106698189 edges, 372355 markings/sec, 185 secs
lola: 76958743 markings, 109572244 edges, 393554 markings/sec, 190 secs
lola: 78918799 markings, 112367496 edges, 392011 markings/sec, 195 secs
lola: 80874585 markings, 115264661 edges, 391157 markings/sec, 200 secs
lola: 82811523 markings, 118220879 edges, 387388 markings/sec, 205 secs
lola: 84745790 markings, 121000726 edges, 386853 markings/sec, 210 secs
lola: 86695202 markings, 123764477 edges, 389882 markings/sec, 215 secs
lola: 88634679 markings, 126641058 edges, 387895 markings/sec, 220 secs
lola: 90535745 markings, 129538737 edges, 380213 markings/sec, 225 secs
lola: 92458750 markings, 132325526 edges, 384601 markings/sec, 230 secs
lola: 94376855 markings, 135040856 edges, 383621 markings/sec, 235 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 241 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: 2104449 markings, 2990016 edges, 420890 markings/sec, 0 secs
lola: 4114638 markings, 5843453 edges, 402038 markings/sec, 5 secs
lola: 6139581 markings, 8718303 edges, 404989 markings/sec, 10 secs
lola: 8164864 markings, 11593472 edges, 405057 markings/sec, 15 secs
lola: 10199333 markings, 14481921 edges, 406894 markings/sec, 20 secs
lola: 12247555 markings, 17389733 edges, 409644 markings/sec, 25 secs
lola: 14305160 markings, 20310544 edges, 411521 markings/sec, 30 secs
lola: 16355406 markings, 23221233 edges, 410049 markings/sec, 35 secs
lola: 18392230 markings, 26112642 edges, 407365 markings/sec, 40 secs
lola: 20416742 markings, 28986071 edges, 404902 markings/sec, 45 secs
lola: 22398294 markings, 31826087 edges, 396310 markings/sec, 50 secs
lola: 24235770 markings, 34527348 edges, 367495 markings/sec, 55 secs
lola: 26055965 markings, 37192541 edges, 364039 markings/sec, 60 secs
lola: 27861337 markings, 39825021 edges, 361074 markings/sec, 65 secs
lola: 29670324 markings, 42460612 edges, 361797 markings/sec, 70 secs
lola: 31475233 markings, 45085769 edges, 360982 markings/sec, 75 secs
lola: 33279673 markings, 47707887 edges, 360888 markings/sec, 80 secs
lola: 35081781 markings, 50328194 edges, 360422 markings/sec, 85 secs
lola: 36882281 markings, 52941988 edges, 360100 markings/sec, 90 secs
lola: 38686641 markings, 55559709 edges, 360872 markings/sec, 95 secs
lola: 40490427 markings, 58176449 edges, 360757 markings/sec, 100 secs
lola: 42288275 markings, 60784233 edges, 359570 markings/sec, 105 secs
lola: 44091591 markings, 63397200 edges, 360663 markings/sec, 110 secs
lola: 45909747 markings, 66032280 edges, 363631 markings/sec, 115 secs
lola: 46861676 markings, 68163283 edges, 190386 markings/sec, 120 secs
lola: 47360128 markings, 70109368 edges, 99690 markings/sec, 125 secs
lola: 47782346 markings, 72068385 edges, 84444 markings/sec, 130 secs
lola: 48967553 markings, 74573645 edges, 237041 markings/sec, 135 secs
lola: 50740074 markings, 77347434 edges, 354504 markings/sec, 140 secs
lola: 52507138 markings, 80104818 edges, 353413 markings/sec, 145 secs
lola: 54227127 markings, 82780780 edges, 343998 markings/sec, 150 secs
lola: 55954692 markings, 85467202 edges, 345513 markings/sec, 155 secs
lola: 57631618 markings, 88082779 edges, 335385 markings/sec, 160 secs
lola: 59365155 markings, 90774204 edges, 346707 markings/sec, 165 secs
lola: 61117043 markings, 93496432 edges, 350378 markings/sec, 170 secs
lola: 62909308 markings, 96263623 edges, 358453 markings/sec, 175 secs
lola: 64714182 markings, 99076420 edges, 360975 markings/sec, 180 secs
lola: 66432817 markings, 101734019 edges, 343727 markings/sec, 185 secs
lola: 68184429 markings, 104457763 edges, 350322 markings/sec, 190 secs
lola: 70004190 markings, 107273156 edges, 363952 markings/sec, 195 secs
lola: 71720150 markings, 109929705 edges, 343192 markings/sec, 200 secs
lola: 73478031 markings, 112646654 edges, 351576 markings/sec, 205 secs
lola: 75205391 markings, 115330433 edges, 345472 markings/sec, 210 secs
lola: 76937253 markings, 118019360 edges, 346372 markings/sec, 215 secs
lola: 78707299 markings, 120752628 edges, 354009 markings/sec, 220 secs
lola: 80471534 markings, 123477281 edges, 352847 markings/sec, 225 secs
lola: 82195328 markings, 126151679 edges, 344759 markings/sec, 230 secs
lola: 83969827 markings, 128893665 edges, 354900 markings/sec, 235 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 241 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: 2599492 markings, 3139299 edges, 519898 markings/sec, 0 secs
lola: 5139250 markings, 6208854 edges, 507952 markings/sec, 5 secs
lola: 7691262 markings, 9297794 edges, 510402 markings/sec, 10 secs
lola: 10205778 markings, 12337966 edges, 502903 markings/sec, 15 secs
lola: 12680540 markings, 15328991 edges, 494952 markings/sec, 20 secs
lola: 15138923 markings, 18298797 edges, 491677 markings/sec, 25 secs
lola: 17603169 markings, 21279238 edges, 492849 markings/sec, 30 secs
lola: 20048474 markings, 24237687 edges, 489061 markings/sec, 35 secs
lola: 22494942 markings, 27196508 edges, 489294 markings/sec, 40 secs
lola: 24943895 markings, 30157863 edges, 489791 markings/sec, 45 secs
lola: 27386288 markings, 33109391 edges, 488479 markings/sec, 50 secs
lola: 29819818 markings, 36046354 edges, 486706 markings/sec, 55 secs
lola: 32272128 markings, 39013133 edges, 490462 markings/sec, 60 secs
lola: 34715580 markings, 41965600 edges, 488690 markings/sec, 65 secs
lola: 37151637 markings, 44910946 edges, 487211 markings/sec, 70 secs
lola: 39567535 markings, 47836354 edges, 483180 markings/sec, 75 secs
lola: 41966414 markings, 50736132 edges, 479776 markings/sec, 80 secs
lola: 44342013 markings, 53613040 edges, 475120 markings/sec, 85 secs
lola: 46712584 markings, 56484716 edges, 474114 markings/sec, 90 secs
lola: 49074897 markings, 59346031 edges, 472463 markings/sec, 95 secs
lola: 51460109 markings, 62234252 edges, 477042 markings/sec, 100 secs
lola: 53834998 markings, 65110647 edges, 474978 markings/sec, 105 secs
lola: 56179852 markings, 67950196 edges, 468971 markings/sec, 110 secs
lola: 58554797 markings, 70829285 edges, 474989 markings/sec, 115 secs
lola: 60908050 markings, 73679869 edges, 470651 markings/sec, 120 secs
lola: 63218890 markings, 76481242 edges, 462168 markings/sec, 125 secs
lola: 65583822 markings, 79345601 edges, 472986 markings/sec, 130 secs
lola: 67879709 markings, 82129937 edges, 459177 markings/sec, 135 secs
lola: 70240782 markings, 84989317 edges, 472215 markings/sec, 140 secs
lola: 72517582 markings, 87746996 edges, 455360 markings/sec, 145 secs
lola: 74846649 markings, 90571404 edges, 465813 markings/sec, 150 secs
lola: 77091103 markings, 93296834 edges, 448891 markings/sec, 155 secs
lola: 79437664 markings, 96135885 edges, 469312 markings/sec, 160 secs
lola: 81689543 markings, 98867007 edges, 450376 markings/sec, 165 secs
lola: 84001820 markings, 101668397 edges, 462455 markings/sec, 170 secs
lola: 86259757 markings, 104406245 edges, 451587 markings/sec, 175 secs
lola: 88534520 markings, 107163855 edges, 454953 markings/sec, 180 secs
lola: 90827063 markings, 109942330 edges, 458509 markings/sec, 185 secs
lola: 93043286 markings, 112631028 edges, 443245 markings/sec, 190 secs
lola: 95331254 markings, 115402761 edges, 457594 markings/sec, 195 secs
lola: 97557190 markings, 118101885 edges, 445187 markings/sec, 200 secs
lola: 99754118 markings, 120766702 edges, 439386 markings/sec, 205 secs
lola: 102045357 markings, 123542844 edges, 458248 markings/sec, 210 secs
lola: 104250992 markings, 126218109 edges, 441127 markings/sec, 215 secs
lola: 106465377 markings, 128903142 edges, 442877 markings/sec, 220 secs
lola: 108727738 markings, 131644899 edges, 452472 markings/sec, 225 secs
lola: 110911000 markings, 134293513 edges, 436652 markings/sec, 230 secs
lola: 113126551 markings, 136979989 edges, 443110 markings/sec, 235 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 241 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: 2054339 markings, 2747892 edges, 410868 markings/sec, 0 secs
lola: 3981981 markings, 5308717 edges, 385528 markings/sec, 5 secs
lola: 5921483 markings, 7896553 edges, 387900 markings/sec, 10 secs
lola: 7832733 markings, 10522807 edges, 382250 markings/sec, 15 secs
lola: 9778104 markings, 13237122 edges, 389074 markings/sec, 20 secs
lola: 11749212 markings, 16022326 edges, 394222 markings/sec, 25 secs
lola: 13729108 markings, 18824660 edges, 395979 markings/sec, 30 secs
lola: 15714226 markings, 21634330 edges, 397024 markings/sec, 35 secs
lola: 17704560 markings, 24450393 edges, 398067 markings/sec, 40 secs
lola: 19668745 markings, 27229073 edges, 392837 markings/sec, 45 secs
lola: 21650601 markings, 30094753 edges, 396371 markings/sec, 50 secs
lola: 23598920 markings, 32938463 edges, 389664 markings/sec, 55 secs
lola: 25495330 markings, 35699502 edges, 379282 markings/sec, 60 secs
lola: 27380450 markings, 38437938 edges, 377024 markings/sec, 65 secs
lola: 29257297 markings, 41153969 edges, 375369 markings/sec, 70 secs
lola: 31135467 markings, 43870214 edges, 375634 markings/sec, 75 secs
lola: 32994347 markings, 46546042 edges, 371776 markings/sec, 80 secs
lola: 34862017 markings, 49228067 edges, 373534 markings/sec, 85 secs
lola: 36712029 markings, 51876350 edges, 370002 markings/sec, 90 secs
lola: 38565742 markings, 54537755 edges, 370743 markings/sec, 95 secs
lola: 40409466 markings, 57166419 edges, 368745 markings/sec, 100 secs
lola: 42269782 markings, 59798561 edges, 372063 markings/sec, 105 secs
lola: 44204564 markings, 62497491 edges, 386956 markings/sec, 110 secs
lola: 46179010 markings, 65236290 edges, 394889 markings/sec, 115 secs
lola: 47149113 markings, 67382743 edges, 194021 markings/sec, 120 secs
lola: 47718543 markings, 69411933 edges, 113886 markings/sec, 125 secs
lola: 48319704 markings, 71434067 edges, 120232 markings/sec, 130 secs
lola: 49320021 markings, 73721554 edges, 200063 markings/sec, 135 secs
lola: 50774751 markings, 76261508 edges, 290946 markings/sec, 140 secs
lola: 52137338 markings, 78651877 edges, 272517 markings/sec, 145 secs
lola: 53457636 markings, 80960619 edges, 264060 markings/sec, 150 secs
lola: 54752047 markings, 83222861 edges, 258882 markings/sec, 155 secs
lola: 56218196 markings, 85621626 edges, 293230 markings/sec, 160 secs
lola: 57586371 markings, 87855451 edges, 273635 markings/sec, 165 secs
lola: 58870463 markings, 89960839 edges, 256818 markings/sec, 170 secs
lola: 60348800 markings, 92362980 edges, 295667 markings/sec, 175 secs
lola: 62005227 markings, 95038191 edges, 331285 markings/sec, 180 secs
lola: 63552333 markings, 97522755 edges, 309421 markings/sec, 185 secs
lola: 65040814 markings, 99907290 edges, 297696 markings/sec, 190 secs
lola: 66505150 markings, 102267254 edges, 292867 markings/sec, 195 secs
lola: 68053880 markings, 104760627 edges, 309746 markings/sec, 200 secs
lola: 69598182 markings, 107250850 edges, 308860 markings/sec, 205 secs
lola: 71004373 markings, 109532421 edges, 281238 markings/sec, 210 secs
lola: 72365128 markings, 111736747 edges, 272151 markings/sec, 215 secs
lola: 73939547 markings, 114267535 edges, 314884 markings/sec, 220 secs
lola: 75667088 markings, 117034601 edges, 345508 markings/sec, 225 secs
lola: 77291145 markings, 119653887 edges, 324811 markings/sec, 230 secs
lola: 78875997 markings, 122200664 edges, 316970 markings/sec, 235 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 241 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: 2117670 markings, 3008812 edges, 423534 markings/sec, 0 secs
lola: 4125788 markings, 5859234 edges, 401624 markings/sec, 5 secs
lola: 6124162 markings, 8696369 edges, 399675 markings/sec, 10 secs
lola: 8121229 markings, 11531424 edges, 399413 markings/sec, 15 secs
lola: 10121521 markings, 14371015 edges, 400058 markings/sec, 20 secs
lola: 12147514 markings, 17247941 edges, 405199 markings/sec, 25 secs
lola: 14172318 markings, 20121938 edges, 404961 markings/sec, 30 secs
lola: 16201459 markings, 23002822 edges, 405828 markings/sec, 35 secs
lola: 18214423 markings, 25859839 edges, 402593 markings/sec, 40 secs
lola: 20215939 markings, 28701374 edges, 400303 markings/sec, 45 secs
lola: 22185303 markings, 31498262 edges, 393873 markings/sec, 50 secs
lola: 24009353 markings, 34196602 edges, 364810 markings/sec, 55 secs
lola: 25793682 markings, 36809612 edges, 356866 markings/sec, 60 secs
lola: 27565404 markings, 39392128 edges, 354344 markings/sec, 65 secs
lola: 29330836 markings, 41966364 edges, 353086 markings/sec, 70 secs
lola: 31092200 markings, 44530325 edges, 352273 markings/sec, 75 secs
lola: 32847954 markings, 47082135 edges, 351151 markings/sec, 80 secs
lola: 34607188 markings, 49637951 edges, 351847 markings/sec, 85 secs
lola: 36363083 markings, 52187042 edges, 351179 markings/sec, 90 secs
lola: 38120713 markings, 54739802 edges, 351526 markings/sec, 95 secs
lola: 39882446 markings, 57293620 edges, 352347 markings/sec, 100 secs
lola: 41628184 markings, 59825173 edges, 349148 markings/sec, 105 secs
lola: 43394587 markings, 62387352 edges, 353281 markings/sec, 110 secs
lola: 45176023 markings, 64968798 edges, 356287 markings/sec, 115 secs
lola: 46711931 markings, 67451509 edges, 307182 markings/sec, 120 secs
lola: 47186822 markings, 69311335 edges, 94978 markings/sec, 125 secs
lola: 47615469 markings, 71293408 edges, 85729 markings/sec, 130 secs
lola: 48219412 markings, 73393879 edges, 120789 markings/sec, 135 secs
lola: 50014484 markings, 76211756 edges, 359014 markings/sec, 140 secs
lola: 51748238 markings, 78922717 edges, 346751 markings/sec, 145 secs
lola: 53464892 markings, 81599021 edges, 343331 markings/sec, 150 secs
lola: 55136725 markings, 84199020 edges, 334367 markings/sec, 155 secs
lola: 56814961 markings, 86806200 edges, 335647 markings/sec, 160 secs
lola: 58497943 markings, 89422379 edges, 336596 markings/sec, 165 secs
lola: 60217536 markings, 92091960 edges, 343919 markings/sec, 170 secs
lola: 61938857 markings, 94763475 edges, 344264 markings/sec, 175 secs
lola: 63667471 markings, 97448273 edges, 345723 markings/sec, 180 secs
lola: 65386266 markings, 100122825 edges, 343759 markings/sec, 185 secs
lola: 67188028 markings, 102911930 edges, 360352 markings/sec, 190 secs
lola: 68866946 markings, 105509619 edges, 335784 markings/sec, 195 secs
lola: 70575086 markings, 108165263 edges, 341628 markings/sec, 200 secs
lola: 72342907 markings, 110897635 edges, 353564 markings/sec, 205 secs
lola: 74025407 markings, 113510804 edges, 336500 markings/sec, 210 secs
lola: 75810020 markings, 116272154 edges, 356923 markings/sec, 215 secs
lola: 77468588 markings, 118843293 edges, 331714 markings/sec, 220 secs
lola: 79246937 markings, 121591599 edges, 355670 markings/sec, 225 secs
lola: 80890278 markings, 124146236 edges, 328668 markings/sec, 230 secs
lola: 82656200 markings, 126865280 edges, 353184 markings/sec, 235 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 241 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: 2050468 markings, 3078209 edges, 410094 markings/sec, 0 secs
lola: 3992672 markings, 5981817 edges, 388441 markings/sec, 5 secs
lola: 5909639 markings, 8843015 edges, 383393 markings/sec, 10 secs
lola: 7811040 markings, 11676396 edges, 380280 markings/sec, 15 secs
lola: 9697221 markings, 14478920 edges, 377236 markings/sec, 20 secs
lola: 11586835 markings, 17287617 edges, 377923 markings/sec, 25 secs
lola: 13484795 markings, 20109012 edges, 379592 markings/sec, 30 secs
lola: 15371433 markings, 22911571 edges, 377328 markings/sec, 35 secs
lola: 17235127 markings, 25677838 edges, 372739 markings/sec, 40 secs
lola: 19074356 markings, 28407288 edges, 367846 markings/sec, 45 secs
lola: 20743606 markings, 31150329 edges, 333850 markings/sec, 50 secs
lola: 22331908 markings, 33844943 edges, 317660 markings/sec, 55 secs
lola: 23931214 markings, 36551686 edges, 319861 markings/sec, 60 secs
lola: 25545888 markings, 39282564 edges, 322935 markings/sec, 65 secs
lola: 27147776 markings, 41989218 edges, 320378 markings/sec, 70 secs
lola: 28741676 markings, 44682345 edges, 318780 markings/sec, 75 secs
lola: 30336323 markings, 47382394 edges, 318929 markings/sec, 80 secs
lola: 31938000 markings, 50087653 edges, 320335 markings/sec, 85 secs
lola: 33518977 markings, 52761146 edges, 316195 markings/sec, 90 secs
lola: 35085412 markings, 55407605 edges, 313287 markings/sec, 95 secs
lola: 36629322 markings, 58018110 edges, 308782 markings/sec, 100 secs
lola: 38169435 markings, 60619901 edges, 308023 markings/sec, 105 secs
lola: 39767328 markings, 63322290 edges, 319579 markings/sec, 110 secs
lola: 41468888 markings, 66194423 edges, 340312 markings/sec, 115 secs
lola: 42757695 markings, 68822084 edges, 257761 markings/sec, 120 secs
lola: 43121095 markings, 70743039 edges, 72680 markings/sec, 125 secs
lola: 43783394 markings, 72834680 edges, 132460 markings/sec, 130 secs
lola: 44419044 markings, 74897583 edges, 127130 markings/sec, 135 secs
lola: 45199162 markings, 77117013 edges, 156024 markings/sec, 140 secs
lola: 46507846 markings, 79734931 edges, 261737 markings/sec, 145 secs
lola: 47740004 markings, 82200282 edges, 246432 markings/sec, 150 secs
lola: 48950713 markings, 84622982 edges, 242142 markings/sec, 155 secs
lola: 50148248 markings, 87019800 edges, 239507 markings/sec, 160 secs
lola: 51344906 markings, 89414668 edges, 239332 markings/sec, 165 secs
lola: 52538676 markings, 91805288 edges, 238754 markings/sec, 170 secs
lola: 53802875 markings, 94280202 edges, 252840 markings/sec, 175 secs
lola: 55401765 markings, 96965925 edges, 319778 markings/sec, 180 secs
lola: 57036122 markings, 99707449 edges, 326871 markings/sec, 185 secs
lola: 58677809 markings, 102467033 edges, 328337 markings/sec, 190 secs
lola: 60297547 markings, 105186137 edges, 323948 markings/sec, 195 secs
lola: 62062338 markings, 108189539 edges, 352958 markings/sec, 200 secs
lola: 63647214 markings, 111005602 edges, 316975 markings/sec, 205 secs
lola: 65154049 markings, 113684331 edges, 301367 markings/sec, 210 secs
lola: 66642543 markings, 116336077 edges, 297699 markings/sec, 215 secs
lola: 68126014 markings, 118971157 edges, 296694 markings/sec, 220 secs
lola: 69601385 markings, 121598218 edges, 295074 markings/sec, 225 secs
lola: 71081105 markings, 124241908 edges, 295944 markings/sec, 230 secs
lola: 72553210 markings, 126896875 edges, 294421 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StF)
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: 1922164 markings, 3048386 edges, 384433 markings/sec, 0 secs
lola: 3760838 markings, 5974425 edges, 367735 markings/sec, 5 secs
lola: 5615123 markings, 8931224 edges, 370857 markings/sec, 10 secs
lola: 7457060 markings, 11870400 edges, 368387 markings/sec, 15 secs
lola: 9307749 markings, 14822692 edges, 370138 markings/sec, 20 secs
lola: 11147010 markings, 17758897 edges, 367852 markings/sec, 25 secs
lola: 12936337 markings, 20619850 edges, 357865 markings/sec, 30 secs
lola: 14836962 markings, 23655010 edges, 380125 markings/sec, 35 secs
lola: 16592332 markings, 26466558 edges, 351074 markings/sec, 40 secs
lola: 18275660 markings, 29166708 edges, 336666 markings/sec, 45 secs
lola: 19971149 markings, 31885052 edges, 339098 markings/sec, 50 secs
lola: 21585932 markings, 34477854 edges, 322957 markings/sec, 55 secs
lola: 23225019 markings, 37108297 edges, 327817 markings/sec, 60 secs
lola: 24965467 markings, 39896572 edges, 348090 markings/sec, 65 secs
lola: 26568331 markings, 42473959 edges, 320573 markings/sec, 70 secs
lola: 28177413 markings, 45059318 edges, 321816 markings/sec, 75 secs
lola: 29805176 markings, 47673937 edges, 325553 markings/sec, 80 secs
lola: 31421350 markings, 50272916 edges, 323235 markings/sec, 85 secs
lola: 33044908 markings, 52882353 edges, 324712 markings/sec, 90 secs
lola: 34671870 markings, 55499889 edges, 325392 markings/sec, 95 secs
lola: 36312589 markings, 58140651 edges, 328144 markings/sec, 100 secs
lola: 37938648 markings, 60762157 edges, 325212 markings/sec, 105 secs
lola: 39616559 markings, 63466984 edges, 335582 markings/sec, 110 secs
lola: 41371282 markings, 66304745 edges, 350945 markings/sec, 115 secs
lola: 43135178 markings, 69149391 edges, 352779 markings/sec, 120 secs
lola: 44565340 markings, 71895286 edges, 286032 markings/sec, 125 secs
lola: 45183436 markings, 74103657 edges, 123619 markings/sec, 130 secs
lola: 45621518 markings, 76213605 edges, 87616 markings/sec, 135 secs
lola: 45963189 markings, 78301871 edges, 68334 markings/sec, 140 secs
lola: 46395353 markings, 80554424 edges, 86433 markings/sec, 145 secs
lola: 46857829 markings, 82837815 edges, 92495 markings/sec, 150 secs
lola: 48179942 markings, 85684636 edges, 264423 markings/sec, 155 secs
lola: 49730763 markings, 88515899 edges, 310164 markings/sec, 160 secs
lola: 51259251 markings, 91290077 edges, 305698 markings/sec, 165 secs
lola: 52787600 markings, 94078063 edges, 305670 markings/sec, 170 secs
lola: 54279502 markings, 96784541 edges, 298380 markings/sec, 175 secs
lola: 55757322 markings, 99465219 edges, 295564 markings/sec, 180 secs
lola: 57239091 markings, 102159090 edges, 296354 markings/sec, 185 secs
lola: 58743428 markings, 104891134 edges, 300867 markings/sec, 190 secs
lola: 60212203 markings, 107555497 edges, 293755 markings/sec, 195 secs
lola: 61741805 markings, 110327631 edges, 305920 markings/sec, 200 secs
lola: 63315821 markings, 113187510 edges, 314803 markings/sec, 205 secs
lola: 64865073 markings, 116010181 edges, 309850 markings/sec, 210 secs
lola: 66361731 markings, 118719592 edges, 299332 markings/sec, 215 secs
lola: 67953447 markings, 121604102 edges, 318343 markings/sec, 220 secs
lola: 69427577 markings, 124282451 edges, 294826 markings/sec, 225 secs
lola: 71000917 markings, 127135252 edges, 314668 markings/sec, 230 secs
lola: 72491412 markings, 129827253 edges, 298099 markings/sec, 235 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown 160 unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-6 160 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P2-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496606763589

--------------------
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-N0020P2"
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-N0020P2.tgz
mv ClientsAndServers-PT-N0020P2 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-N0020P2, 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-149580920000236"
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 ;