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 '
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 ;