About the Execution of LoLA for ClientsAndServers-PT-N1000P0
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12684.160 | 3540432.00 | 3557760.00 | 728.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-N1000P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920200299
=====================================================================
--------------------
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-N1000P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N1000P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496606608656
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N1000P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N1000P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N1000P0 @ 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-N1000P0-UpperBounds.task
lola: MAX(MtF) : MAX(CwA) : MAX(SG) : MAX(MtF) : MAX(MpG) : MAX(MpG) : MAX(Ci) : MAX(MwU) : MAX(Cb) : MAX(SG) : MAX(Uf) : MAX(SwA) : MAX(StR) : MAX(MtF) : MAX(SG) : MAX(MwU)
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(MtF)
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: 1690394 markings, 2464195 edges, 338079 markings/sec, 0 secs
lola: 3302042 markings, 4862215 edges, 322330 markings/sec, 5 secs
lola: 4913003 markings, 7255660 edges, 322192 markings/sec, 10 secs
lola: 6540341 markings, 9671472 edges, 325468 markings/sec, 15 secs
lola: 8182202 markings, 12108814 edges, 328372 markings/sec, 20 secs
lola: 9799841 markings, 14510187 edges, 323528 markings/sec, 25 secs
lola: 11420237 markings, 16915091 edges, 324079 markings/sec, 30 secs
lola: 12875068 markings, 19072770 edges, 290966 markings/sec, 35 secs
lola: 14448952 markings, 21404645 edges, 314777 markings/sec, 40 secs
lola: 16054819 markings, 23786983 edges, 321173 markings/sec, 45 secs
lola: 17650929 markings, 26153127 edges, 319222 markings/sec, 50 secs
lola: 19254548 markings, 28528944 edges, 320724 markings/sec, 55 secs
lola: 20857778 markings, 30905018 edges, 320646 markings/sec, 60 secs
lola: 22432346 markings, 33236958 edges, 314914 markings/sec, 65 secs
lola: 24020539 markings, 35587259 edges, 317639 markings/sec, 70 secs
lola: 25612648 markings, 37949970 edges, 318422 markings/sec, 75 secs
lola: 27176003 markings, 40262863 edges, 312671 markings/sec, 80 secs
lola: 28766586 markings, 42619548 edges, 318117 markings/sec, 85 secs
lola: 30313512 markings, 44911423 edges, 309385 markings/sec, 90 secs
lola: 31765830 markings, 47059240 edges, 290464 markings/sec, 95 secs
lola: 33270542 markings, 49287192 edges, 300942 markings/sec, 100 secs
lola: 34754684 markings, 51485397 edges, 296828 markings/sec, 105 secs
lola: 36260068 markings, 53715128 edges, 301077 markings/sec, 110 secs
lola: 37784004 markings, 55970867 edges, 304787 markings/sec, 115 secs
lola: 39292284 markings, 58202672 edges, 301656 markings/sec, 120 secs
lola: 40820613 markings, 60466525 edges, 305666 markings/sec, 125 secs
lola: 42314111 markings, 62676537 edges, 298700 markings/sec, 130 secs
lola: 43847570 markings, 64946844 edges, 306692 markings/sec, 135 secs
lola: 45301647 markings, 67096626 edges, 290815 markings/sec, 140 secs
lola: 46766158 markings, 69260958 edges, 292902 markings/sec, 145 secs
lola: 48152291 markings, 71314343 edges, 277227 markings/sec, 150 secs
lola: 49580498 markings, 73429752 edges, 285641 markings/sec, 155 secs
lola: 51028302 markings, 75573636 edges, 289561 markings/sec, 160 secs
lola: 52419460 markings, 77630469 edges, 278232 markings/sec, 165 secs
lola: 53795425 markings, 79667367 edges, 275193 markings/sec, 170 secs
lola: 55209951 markings, 81759373 edges, 282905 markings/sec, 175 secs
lola: 56648126 markings, 83885714 edges, 287635 markings/sec, 180 secs
lola: 58105782 markings, 86040978 edges, 291531 markings/sec, 185 secs
lola: 59543531 markings, 88170225 edges, 287550 markings/sec, 190 secs
lola: 60985128 markings, 90298192 edges, 288319 markings/sec, 195 secs
lola: 62432101 markings, 92437922 edges, 289395 markings/sec, 200 secs
lola: 63935480 markings, 94665425 edges, 300676 markings/sec, 205 secs
lola: 65391645 markings, 96813240 edges, 291233 markings/sec, 210 secs
lola: 66883622 markings, 99023293 edges, 298395 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(CwA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3049077 markings, 3359712 edges, 609815 markings/sec, 0 secs
lola: 5879768 markings, 6488459 edges, 566138 markings/sec, 5 secs
lola: 8545965 markings, 9493677 edges, 533239 markings/sec, 10 secs
lola: 11279707 markings, 12515711 edges, 546748 markings/sec, 15 secs
lola: 13962137 markings, 15480282 edges, 536486 markings/sec, 20 secs
lola: 16599104 markings, 18395225 edges, 527393 markings/sec, 25 secs
lola: 19210982 markings, 21281388 edges, 522376 markings/sec, 30 secs
lola: 21888384 markings, 24240666 edges, 535480 markings/sec, 35 secs
lola: 24619643 markings, 27257120 edges, 546252 markings/sec, 40 secs
lola: 27267216 markings, 30182807 edges, 529515 markings/sec, 45 secs
lola: 29925288 markings, 33120087 edges, 531614 markings/sec, 50 secs
lola: 32586210 markings, 36062656 edges, 532184 markings/sec, 55 secs
lola: 35311641 markings, 39075621 edges, 545086 markings/sec, 60 secs
lola: 38067496 markings, 42121437 edges, 551171 markings/sec, 65 secs
lola: 40823815 markings, 45167051 edges, 551264 markings/sec, 70 secs
lola: 43592531 markings, 48227707 edges, 553743 markings/sec, 75 secs
lola: 46368792 markings, 51295496 edges, 555252 markings/sec, 80 secs
lola: 49120894 markings, 54338096 edges, 550420 markings/sec, 85 secs
lola: 51895577 markings, 57403291 edges, 554937 markings/sec, 90 secs
lola: 54670564 markings, 60471574 edges, 554997 markings/sec, 95 secs
lola: 57462413 markings, 63556475 edges, 558370 markings/sec, 100 secs
lola: 60218499 markings, 66602209 edges, 551217 markings/sec, 105 secs
lola: 62746487 markings, 69517011 edges, 505598 markings/sec, 110 secs
lola: 65494282 markings, 72591047 edges, 549559 markings/sec, 115 secs
lola: 68212335 markings, 75593550 edges, 543611 markings/sec, 120 secs
lola: 70920985 markings, 78588742 edges, 541730 markings/sec, 125 secs
lola: 73612012 markings, 81565825 edges, 538205 markings/sec, 130 secs
lola: 76323650 markings, 84562042 edges, 542328 markings/sec, 135 secs
lola: 79015455 markings, 87540380 edges, 538361 markings/sec, 140 secs
lola: 81717584 markings, 90530217 edges, 540426 markings/sec, 145 secs
lola: 84421684 markings, 93521483 edges, 540820 markings/sec, 150 secs
lola: 87140197 markings, 96528436 edges, 543703 markings/sec, 155 secs
lola: 89844755 markings, 99521899 edges, 540912 markings/sec, 160 secs
lola: 92555242 markings, 102521562 edges, 542097 markings/sec, 165 secs
lola: 95280332 markings, 105537428 edges, 545018 markings/sec, 170 secs
lola: 97997265 markings, 108543112 edges, 543387 markings/sec, 175 secs
lola: 100714450 markings, 111551608 edges, 543437 markings/sec, 180 secs
lola: 103433991 markings, 114561970 edges, 543908 markings/sec, 185 secs
lola: 106155602 markings, 117574168 edges, 544322 markings/sec, 190 secs
lola: 108872130 markings, 120583217 edges, 543306 markings/sec, 195 secs
lola: 111596081 markings, 123599124 edges, 544790 markings/sec, 200 secs
lola: 114313411 markings, 126609979 edges, 543466 markings/sec, 205 secs
lola: 117036349 markings, 129623612 edges, 544588 markings/sec, 210 secs
lola: 119746924 markings, 132624981 edges, 542115 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(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: 2129694 markings, 2669817 edges, 425939 markings/sec, 0 secs
lola: 4100131 markings, 5145830 edges, 394087 markings/sec, 5 secs
lola: 6083014 markings, 7637564 edges, 396577 markings/sec, 10 secs
lola: 8052412 markings, 10107393 edges, 393880 markings/sec, 15 secs
lola: 9984748 markings, 12527755 edges, 386467 markings/sec, 20 secs
lola: 11906170 markings, 14934084 edges, 384284 markings/sec, 25 secs
lola: 13827414 markings, 17340975 edges, 384249 markings/sec, 30 secs
lola: 15752220 markings, 19748669 edges, 384961 markings/sec, 35 secs
lola: 17676358 markings, 22156688 edges, 384828 markings/sec, 40 secs
lola: 19601898 markings, 24564340 edges, 385108 markings/sec, 45 secs
lola: 21532580 markings, 26978476 edges, 386136 markings/sec, 50 secs
lola: 23450046 markings, 29379406 edges, 383493 markings/sec, 55 secs
lola: 25358868 markings, 31767563 edges, 381764 markings/sec, 60 secs
lola: 27278338 markings, 34169215 edges, 383894 markings/sec, 65 secs
lola: 29198429 markings, 36575318 edges, 384018 markings/sec, 70 secs
lola: 31111899 markings, 38968172 edges, 382694 markings/sec, 75 secs
lola: 33005551 markings, 41332768 edges, 378730 markings/sec, 80 secs
lola: 34943725 markings, 43755997 edges, 387635 markings/sec, 85 secs
lola: 36861125 markings, 46154881 edges, 383480 markings/sec, 90 secs
lola: 38769042 markings, 48538956 edges, 381583 markings/sec, 95 secs
lola: 40668481 markings, 50910791 edges, 379888 markings/sec, 100 secs
lola: 42557184 markings, 53270777 edges, 377741 markings/sec, 105 secs
lola: 44475371 markings, 55667739 edges, 383637 markings/sec, 110 secs
lola: 46385422 markings, 58053518 edges, 382010 markings/sec, 115 secs
lola: 48306695 markings, 60454842 edges, 384255 markings/sec, 120 secs
lola: 50209334 markings, 62831453 edges, 380528 markings/sec, 125 secs
lola: 52103116 markings, 65197959 edges, 378756 markings/sec, 130 secs
lola: 54030090 markings, 67605456 edges, 385395 markings/sec, 135 secs
lola: 55930177 markings, 69977248 edges, 380017 markings/sec, 140 secs
lola: 57842515 markings, 72367731 edges, 382468 markings/sec, 145 secs
lola: 59782997 markings, 74794918 edges, 388096 markings/sec, 150 secs
lola: 61707555 markings, 77197827 edges, 384912 markings/sec, 155 secs
lola: 63635098 markings, 79604804 edges, 385509 markings/sec, 160 secs
lola: 65546907 markings, 81993854 edges, 382362 markings/sec, 165 secs
lola: 67484371 markings, 84415498 edges, 387493 markings/sec, 170 secs
lola: 69407997 markings, 86816603 edges, 384725 markings/sec, 175 secs
lola: 71325297 markings, 89208641 edges, 383460 markings/sec, 180 secs
lola: 73267993 markings, 91639212 edges, 388539 markings/sec, 185 secs
lola: 75185919 markings, 94035268 edges, 383585 markings/sec, 190 secs
lola: 77124879 markings, 96456296 edges, 387792 markings/sec, 195 secs
lola: 79045281 markings, 98852082 edges, 384080 markings/sec, 200 secs
lola: 80978219 markings, 101263975 edges, 386588 markings/sec, 205 secs
lola: 82895481 markings, 103657477 edges, 383452 markings/sec, 210 secs
lola: 84804724 markings, 106040585 edges, 381849 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(MtF)
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: 1815890 markings, 2650626 edges, 363178 markings/sec, 0 secs
lola: 3452999 markings, 5086044 edges, 327422 markings/sec, 5 secs
lola: 5076979 markings, 7499201 edges, 324796 markings/sec, 10 secs
lola: 6707667 markings, 9919614 edges, 326138 markings/sec, 15 secs
lola: 8336549 markings, 12339416 edges, 325776 markings/sec, 20 secs
lola: 9956388 markings, 14742139 edges, 323968 markings/sec, 25 secs
lola: 11572150 markings, 17139821 edges, 323152 markings/sec, 30 secs
lola: 13181003 markings, 19524914 edges, 321771 markings/sec, 35 secs
lola: 14792707 markings, 21915759 edges, 322341 markings/sec, 40 secs
lola: 16389826 markings, 24282232 edges, 319424 markings/sec, 45 secs
lola: 17983196 markings, 26644764 edges, 318674 markings/sec, 50 secs
lola: 19578875 markings, 29009937 edges, 319136 markings/sec, 55 secs
lola: 21148912 markings, 31336098 edges, 314007 markings/sec, 60 secs
lola: 22732918 markings, 33683164 edges, 316801 markings/sec, 65 secs
lola: 24298030 markings, 35998425 edges, 313022 markings/sec, 70 secs
lola: 25867547 markings, 38326351 edges, 313903 markings/sec, 75 secs
lola: 27405585 markings, 40604520 edges, 307608 markings/sec, 80 secs
lola: 28997890 markings, 42961532 edges, 318461 markings/sec, 85 secs
lola: 30565893 markings, 45285512 edges, 313601 markings/sec, 90 secs
lola: 32132825 markings, 47602845 edges, 313386 markings/sec, 95 secs
lola: 33684239 markings, 49900488 edges, 310283 markings/sec, 100 secs
lola: 35245236 markings, 52211280 edges, 312199 markings/sec, 105 secs
lola: 36790026 markings, 54496837 edges, 308958 markings/sec, 110 secs
lola: 38347996 markings, 56806143 edges, 311594 markings/sec, 115 secs
lola: 39899987 markings, 59102386 edges, 310398 markings/sec, 120 secs
lola: 41451070 markings, 61399909 edges, 310217 markings/sec, 125 secs
lola: 43005715 markings, 63701162 edges, 310929 markings/sec, 130 secs
lola: 44548691 markings, 65983239 edges, 308595 markings/sec, 135 secs
lola: 46073275 markings, 68238347 edges, 304917 markings/sec, 140 secs
lola: 47620065 markings, 70525968 edges, 309358 markings/sec, 145 secs
lola: 49169385 markings, 72819241 edges, 309864 markings/sec, 150 secs
lola: 50735360 markings, 75138819 edges, 313195 markings/sec, 155 secs
lola: 52267245 markings, 77406764 edges, 306377 markings/sec, 160 secs
lola: 53786625 markings, 79654391 edges, 303876 markings/sec, 165 secs
lola: 55327853 markings, 81933747 edges, 308246 markings/sec, 170 secs
lola: 56859703 markings, 84198663 edges, 306370 markings/sec, 175 secs
lola: 58396876 markings, 86471402 edges, 307435 markings/sec, 180 secs
lola: 59905291 markings, 88701668 edges, 301683 markings/sec, 185 secs
lola: 61419280 markings, 90938420 edges, 302798 markings/sec, 190 secs
lola: 62963689 markings, 93223807 edges, 308882 markings/sec, 195 secs
lola: 64528080 markings, 95537057 edges, 312878 markings/sec, 200 secs
lola: 66030656 markings, 97757546 edges, 300515 markings/sec, 205 secs
lola: 67578350 markings, 100052405 edges, 309539 markings/sec, 210 secs
lola: 69147535 markings, 102372657 edges, 313837 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(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: 2433072 markings, 3431028 edges, 486614 markings/sec, 0 secs
lola: 4616463 markings, 6472499 edges, 436678 markings/sec, 5 secs
lola: 6426544 markings, 8882768 edges, 362016 markings/sec, 10 secs
lola: 8199480 markings, 11236873 edges, 354587 markings/sec, 15 secs
lola: 9938888 markings, 13543754 edges, 347882 markings/sec, 20 secs
lola: 11644631 markings, 15797514 edges, 341149 markings/sec, 25 secs
lola: 13343446 markings, 18053780 edges, 339763 markings/sec, 30 secs
lola: 15032149 markings, 20290009 edges, 337741 markings/sec, 35 secs
lola: 16703928 markings, 22491612 edges, 334356 markings/sec, 40 secs
lola: 18379820 markings, 24709807 edges, 335178 markings/sec, 45 secs
lola: 20040847 markings, 26900305 edges, 332205 markings/sec, 50 secs
lola: 21711302 markings, 29110861 edges, 334091 markings/sec, 55 secs
lola: 23364638 markings, 31290272 edges, 330667 markings/sec, 60 secs
lola: 25038715 markings, 33517435 edges, 334815 markings/sec, 65 secs
lola: 26681946 markings, 35688478 edges, 328646 markings/sec, 70 secs
lola: 28337812 markings, 37881195 edges, 331173 markings/sec, 75 secs
lola: 29983853 markings, 40057048 edges, 329208 markings/sec, 80 secs
lola: 31617401 markings, 42212262 edges, 326710 markings/sec, 85 secs
lola: 33258944 markings, 44384295 edges, 328309 markings/sec, 90 secs
lola: 34884434 markings, 46525633 edges, 325098 markings/sec, 95 secs
lola: 36503455 markings, 48653670 edges, 323804 markings/sec, 100 secs
lola: 38119071 markings, 50777342 edges, 323123 markings/sec, 105 secs
lola: 39720850 markings, 52888313 edges, 320356 markings/sec, 110 secs
lola: 41334478 markings, 55018182 edges, 322726 markings/sec, 115 secs
lola: 42964083 markings, 57185499 edges, 325921 markings/sec, 120 secs
lola: 44473416 markings, 59171734 edges, 301867 markings/sec, 125 secs
lola: 46044664 markings, 61235975 edges, 314250 markings/sec, 130 secs
lola: 47664091 markings, 63391285 edges, 323885 markings/sec, 135 secs
lola: 49256454 markings, 65492550 edges, 318473 markings/sec, 140 secs
lola: 50853814 markings, 67607106 edges, 319472 markings/sec, 145 secs
lola: 52437725 markings, 69693573 edges, 316782 markings/sec, 150 secs
lola: 53997532 markings, 71745766 edges, 311961 markings/sec, 155 secs
lola: 55598997 markings, 73868395 edges, 320293 markings/sec, 160 secs
lola: 57195013 markings, 75989629 edges, 319203 markings/sec, 165 secs
lola: 58776333 markings, 78077692 edges, 316264 markings/sec, 170 secs
lola: 60346832 markings, 80146552 edges, 314100 markings/sec, 175 secs
lola: 61941472 markings, 82254261 edges, 318928 markings/sec, 180 secs
lola: 63527607 markings, 84354125 edges, 317227 markings/sec, 185 secs
lola: 65106078 markings, 86432053 edges, 315694 markings/sec, 190 secs
lola: 66683672 markings, 88513179 edges, 315519 markings/sec, 195 secs
lola: 68261286 markings, 90590659 edges, 315523 markings/sec, 200 secs
lola: 69847183 markings, 92676093 edges, 317179 markings/sec, 205 secs
lola: 71405635 markings, 94719082 edges, 311690 markings/sec, 210 secs
lola: 72984045 markings, 96794435 edges, 315682 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(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: 2490663 markings, 3512749 edges, 498133 markings/sec, 0 secs
lola: 4708474 markings, 6595285 edges, 443562 markings/sec, 5 secs
lola: 6539378 markings, 9032802 edges, 366181 markings/sec, 10 secs
lola: 8328179 markings, 11406554 edges, 357760 markings/sec, 15 secs
lola: 10082359 markings, 13732742 edges, 350836 markings/sec, 20 secs
lola: 11806495 markings, 16011399 edges, 344827 markings/sec, 25 secs
lola: 13531991 markings, 18304618 edges, 345099 markings/sec, 30 secs
lola: 15243192 markings, 20567859 edges, 342240 markings/sec, 35 secs
lola: 16931967 markings, 22792786 edges, 337755 markings/sec, 40 secs
lola: 18633032 markings, 25044417 edges, 340213 markings/sec, 45 secs
lola: 20307652 markings, 27251223 edges, 334924 markings/sec, 50 secs
lola: 22005267 markings, 29499667 edges, 339523 markings/sec, 55 secs
lola: 23680679 markings, 31707042 edges, 335082 markings/sec, 60 secs
lola: 25372226 markings, 33957184 edges, 338309 markings/sec, 65 secs
lola: 27056544 markings, 36190588 edges, 336864 markings/sec, 70 secs
lola: 28721751 markings, 38389900 edges, 333041 markings/sec, 75 secs
lola: 30390579 markings, 40592427 edges, 333766 markings/sec, 80 secs
lola: 32058687 markings, 42793344 edges, 333622 markings/sec, 85 secs
lola: 33734155 markings, 45011157 edges, 335094 markings/sec, 90 secs
lola: 35377636 markings, 47173502 edges, 328696 markings/sec, 95 secs
lola: 37032508 markings, 49349532 edges, 330974 markings/sec, 100 secs
lola: 38679947 markings, 51514310 edges, 329488 markings/sec, 105 secs
lola: 40328516 markings, 53690306 edges, 329714 markings/sec, 110 secs
lola: 41995782 markings, 55907063 edges, 333453 markings/sec, 115 secs
lola: 43641750 markings, 58078079 edges, 329194 markings/sec, 120 secs
lola: 45276325 markings, 60225879 edges, 326915 markings/sec, 125 secs
lola: 46925939 markings, 62397756 edges, 329923 markings/sec, 130 secs
lola: 48589119 markings, 64612401 edges, 332636 markings/sec, 135 secs
lola: 50235649 markings, 66784565 edges, 329306 markings/sec, 140 secs
lola: 51892566 markings, 68977606 edges, 331383 markings/sec, 145 secs
lola: 53515820 markings, 71113647 edges, 324651 markings/sec, 150 secs
lola: 55160921 markings, 73283026 edges, 329020 markings/sec, 155 secs
lola: 56808938 markings, 75476577 edges, 329603 markings/sec, 160 secs
lola: 58458917 markings, 77658094 edges, 329996 markings/sec, 165 secs
lola: 60098349 markings, 79820010 edges, 327886 markings/sec, 170 secs
lola: 61755679 markings, 82010958 edges, 331466 markings/sec, 175 secs
lola: 63393755 markings, 84177435 edges, 327615 markings/sec, 180 secs
lola: 65019014 markings, 86317880 edges, 325052 markings/sec, 185 secs
lola: 66644900 markings, 88461707 edges, 325177 markings/sec, 190 secs
lola: 68269698 markings, 90601729 edges, 324960 markings/sec, 195 secs
lola: 69906202 markings, 92753262 edges, 327301 markings/sec, 200 secs
lola: 71519777 markings, 94869515 edges, 322715 markings/sec, 205 secs
lola: 73130393 markings, 96986118 edges, 322123 markings/sec, 210 secs
lola: 74743673 markings, 99107088 edges, 322656 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(Ci)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2937780 markings, 3442573 edges, 587556 markings/sec, 0 secs
lola: 5607141 markings, 6412089 edges, 533872 markings/sec, 5 secs
lola: 8255584 markings, 9313537 edges, 529689 markings/sec, 10 secs
lola: 10883550 markings, 12192265 edges, 525593 markings/sec, 15 secs
lola: 13481248 markings, 15037436 edges, 519540 markings/sec, 20 secs
lola: 16071151 markings, 17874571 edges, 517981 markings/sec, 25 secs
lola: 18656797 markings, 20706815 edges, 517129 markings/sec, 30 secs
lola: 21236604 markings, 23532416 edges, 515961 markings/sec, 35 secs
lola: 23818837 markings, 26360965 edges, 516447 markings/sec, 40 secs
lola: 26414331 markings, 29203646 edges, 519099 markings/sec, 45 secs
lola: 29001572 markings, 32037335 edges, 517448 markings/sec, 50 secs
lola: 31551369 markings, 34830263 edges, 509959 markings/sec, 55 secs
lola: 34087111 markings, 37608147 edges, 507148 markings/sec, 60 secs
lola: 36601747 markings, 40362092 edges, 502927 markings/sec, 65 secs
lola: 39099836 markings, 43098127 edges, 499618 markings/sec, 70 secs
lola: 41590388 markings, 45826661 edges, 498110 markings/sec, 75 secs
lola: 44103646 markings, 48579275 edges, 502652 markings/sec, 80 secs
lola: 46597835 markings, 51311268 edges, 498838 markings/sec, 85 secs
lola: 49093314 markings, 54043914 edges, 499096 markings/sec, 90 secs
lola: 51586111 markings, 56774488 edges, 498559 markings/sec, 95 secs
lola: 54082142 markings, 59508435 edges, 499206 markings/sec, 100 secs
lola: 56575307 markings, 62239027 edges, 498633 markings/sec, 105 secs
lola: 59065963 markings, 64967641 edges, 498131 markings/sec, 110 secs
lola: 61560167 markings, 67699380 edges, 498841 markings/sec, 115 secs
lola: 64053874 markings, 70430613 edges, 498741 markings/sec, 120 secs
lola: 66547965 markings, 73162477 edges, 498818 markings/sec, 125 secs
lola: 69045263 markings, 75897739 edges, 499460 markings/sec, 130 secs
lola: 71535292 markings, 78624859 edges, 498006 markings/sec, 135 secs
lola: 74021097 markings, 81347875 edges, 497161 markings/sec, 140 secs
lola: 76511102 markings, 84075034 edges, 498001 markings/sec, 145 secs
lola: 78985948 markings, 86785530 edges, 494969 markings/sec, 150 secs
lola: 81488733 markings, 89526248 edges, 500557 markings/sec, 155 secs
lola: 84013160 markings, 92291927 edges, 504885 markings/sec, 160 secs
lola: 86450408 markings, 94960777 edges, 487450 markings/sec, 165 secs
lola: 88834017 markings, 97572369 edges, 476722 markings/sec, 170 secs
lola: 91233102 markings, 100201902 edges, 479817 markings/sec, 175 secs
lola: 93635648 markings, 102837594 edges, 480509 markings/sec, 180 secs
lola: 96112284 markings, 105556858 edges, 495327 markings/sec, 185 secs
lola: 98633931 markings, 108326523 edges, 504329 markings/sec, 190 secs
lola: 101171923 markings, 111117388 edges, 507598 markings/sec, 195 secs
lola: 103715353 markings, 113916647 edges, 508686 markings/sec, 200 secs
lola: 106261797 markings, 116721776 edges, 509289 markings/sec, 205 secs
lola: 108828750 markings, 119552972 edges, 513391 markings/sec, 210 secs
lola: 111452988 markings, 122449256 edges, 524848 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MwU)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1799142 markings, 2657135 edges, 359828 markings/sec, 0 secs
lola: 3434650 markings, 5102549 edges, 327102 markings/sec, 5 secs
lola: 5033518 markings, 7491332 edges, 319774 markings/sec, 10 secs
lola: 6637950 markings, 9886633 edges, 320886 markings/sec, 15 secs
lola: 8260744 markings, 12307958 edges, 324559 markings/sec, 20 secs
lola: 9870624 markings, 14710224 edges, 321976 markings/sec, 25 secs
lola: 11468465 markings, 17093555 edges, 319568 markings/sec, 30 secs
lola: 13007931 markings, 19387901 edges, 307893 markings/sec, 35 secs
lola: 14566242 markings, 21710798 edges, 311662 markings/sec, 40 secs
lola: 16115824 markings, 24020561 edges, 309916 markings/sec, 45 secs
lola: 17679317 markings, 26349833 edges, 312699 markings/sec, 50 secs
lola: 19274378 markings, 28729032 edges, 319012 markings/sec, 55 secs
lola: 20872272 markings, 31109447 edges, 319579 markings/sec, 60 secs
lola: 22496155 markings, 33525587 edges, 324777 markings/sec, 65 secs
lola: 24097989 markings, 35912151 edges, 320367 markings/sec, 70 secs
lola: 25664140 markings, 38247109 edges, 313230 markings/sec, 75 secs
lola: 27245703 markings, 40600265 edges, 316313 markings/sec, 80 secs
lola: 28830397 markings, 42962888 edges, 316939 markings/sec, 85 secs
lola: 30416641 markings, 45320369 edges, 317249 markings/sec, 90 secs
lola: 31907423 markings, 47545192 edges, 298156 markings/sec, 95 secs
lola: 33432523 markings, 49813677 edges, 305020 markings/sec, 100 secs
lola: 34919110 markings, 52029648 edges, 297317 markings/sec, 105 secs
lola: 36392670 markings, 54223463 edges, 294712 markings/sec, 110 secs
lola: 37916838 markings, 56488924 edges, 304834 markings/sec, 115 secs
lola: 39396619 markings, 58692637 edges, 295956 markings/sec, 120 secs
lola: 40904758 markings, 60933431 edges, 301628 markings/sec, 125 secs
lola: 42371012 markings, 63119477 edges, 293251 markings/sec, 130 secs
lola: 43871159 markings, 65352742 edges, 300029 markings/sec, 135 secs
lola: 45332052 markings, 67524903 edges, 292179 markings/sec, 140 secs
lola: 46831877 markings, 69758056 edges, 299965 markings/sec, 145 secs
lola: 48371011 markings, 72049826 edges, 307827 markings/sec, 150 secs
lola: 49859507 markings, 74266294 edges, 297699 markings/sec, 155 secs
lola: 51407991 markings, 76570985 edges, 309697 markings/sec, 160 secs
lola: 52940320 markings, 78848198 edges, 306466 markings/sec, 165 secs
lola: 54448613 markings, 81091055 edges, 301659 markings/sec, 170 secs
lola: 55916166 markings, 83279196 edges, 293511 markings/sec, 175 secs
lola: 57395747 markings, 85480458 edges, 295916 markings/sec, 180 secs
lola: 58930937 markings, 87763813 edges, 307038 markings/sec, 185 secs
lola: 60465845 markings, 90039038 edges, 306982 markings/sec, 190 secs
lola: 61868211 markings, 92134202 edges, 280473 markings/sec, 195 secs
lola: 63302277 markings, 94268265 edges, 286813 markings/sec, 200 secs
lola: 64782501 markings, 96465702 edges, 296045 markings/sec, 205 secs
lola: 66206763 markings, 98588320 edges, 284852 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2946799 markings, 3322647 edges, 589360 markings/sec, 0 secs
lola: 5257786 markings, 6040832 edges, 462197 markings/sec, 5 secs
lola: 7679124 markings, 8896577 edges, 484268 markings/sec, 10 secs
lola: 9902630 markings, 11504709 edges, 444701 markings/sec, 15 secs
lola: 12312972 markings, 14328831 edges, 482068 markings/sec, 20 secs
lola: 14646831 markings, 17101117 edges, 466772 markings/sec, 25 secs
lola: 16862371 markings, 19677170 edges, 443108 markings/sec, 30 secs
lola: 19278737 markings, 22516007 edges, 483273 markings/sec, 35 secs
lola: 21688640 markings, 25394593 edges, 481981 markings/sec, 40 secs
lola: 23830092 markings, 27885365 edges, 428290 markings/sec, 45 secs
lola: 26178297 markings, 30623437 edges, 469641 markings/sec, 50 secs
lola: 28575969 markings, 33455575 edges, 479534 markings/sec, 55 secs
lola: 30952523 markings, 36292022 edges, 475311 markings/sec, 60 secs
lola: 33020237 markings, 38698868 edges, 413543 markings/sec, 65 secs
lola: 35334154 markings, 41382713 edges, 462783 markings/sec, 70 secs
lola: 37704183 markings, 44155195 edges, 474006 markings/sec, 75 secs
lola: 40078762 markings, 46980529 edges, 474916 markings/sec, 80 secs
lola: 42409394 markings, 49760705 edges, 466126 markings/sec, 85 secs
lola: 44417444 markings, 52098868 edges, 401610 markings/sec, 90 secs
lola: 46664443 markings, 54701336 edges, 449400 markings/sec, 95 secs
lola: 48992493 markings, 57423953 edges, 465610 markings/sec, 100 secs
lola: 51322275 markings, 60172718 edges, 465956 markings/sec, 105 secs
lola: 53668575 markings, 62970567 edges, 469260 markings/sec, 110 secs
lola: 55941800 markings, 65661535 edges, 454645 markings/sec, 115 secs
lola: 57910339 markings, 67951151 edges, 393708 markings/sec, 120 secs
lola: 60183824 markings, 70591899 edges, 454697 markings/sec, 125 secs
lola: 62544079 markings, 73351608 edges, 472051 markings/sec, 130 secs
lola: 64901668 markings, 76120688 edges, 471518 markings/sec, 135 secs
lola: 67264584 markings, 78937585 edges, 472583 markings/sec, 140 secs
lola: 69591998 markings, 81712179 edges, 465483 markings/sec, 145 secs
lola: 71702811 markings, 84202280 edges, 422163 markings/sec, 150 secs
lola: 73807454 markings, 86638009 edges, 420929 markings/sec, 155 secs
lola: 76080119 markings, 89272026 edges, 454533 markings/sec, 160 secs
lola: 78388018 markings, 91970103 edges, 461580 markings/sec, 165 secs
lola: 80680462 markings, 94659181 edges, 458489 markings/sec, 170 secs
lola: 82985424 markings, 97406443 edges, 460992 markings/sec, 175 secs
lola: 85266036 markings, 100124673 edges, 456122 markings/sec, 180 secs
lola: 87508966 markings, 102780629 edges, 448586 markings/sec, 185 secs
lola: 89454822 markings, 105059034 edges, 389171 markings/sec, 190 secs
lola: 91647929 markings, 107585792 edges, 438621 markings/sec, 195 secs
lola: 93994407 markings, 110323727 edges, 469296 markings/sec, 200 secs
lola: 96330055 markings, 113053885 edges, 467130 markings/sec, 205 secs
lola: 98668304 markings, 115800190 edges, 467650 markings/sec, 210 secs
lola: 101013179 markings, 118594555 edges, 468975 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 2148821 markings, 2694003 edges, 429764 markings/sec, 0 secs
lola: 4147662 markings, 5205411 edges, 399768 markings/sec, 5 secs
lola: 6118717 markings, 7682180 edges, 394211 markings/sec, 10 secs
lola: 8054588 markings, 10110154 edges, 387174 markings/sec, 15 secs
lola: 9962868 markings, 12500218 edges, 381656 markings/sec, 20 secs
lola: 11855361 markings, 14870613 edges, 378499 markings/sec, 25 secs
lola: 13744390 markings, 17236991 edges, 377806 markings/sec, 30 secs
lola: 15644442 markings, 19613964 edges, 380010 markings/sec, 35 secs
lola: 17543814 markings, 21990603 edges, 379874 markings/sec, 40 secs
lola: 19427583 markings, 24345610 edges, 376754 markings/sec, 45 secs
lola: 21329306 markings, 26724653 edges, 380345 markings/sec, 50 secs
lola: 23223077 markings, 29095308 edges, 378754 markings/sec, 55 secs
lola: 25115490 markings, 31463001 edges, 378483 markings/sec, 60 secs
lola: 26997400 markings, 33816753 edges, 376382 markings/sec, 65 secs
lola: 28894313 markings, 36194396 edges, 379383 markings/sec, 70 secs
lola: 30768255 markings, 38535919 edges, 374788 markings/sec, 75 secs
lola: 32660065 markings, 40900942 edges, 378362 markings/sec, 80 secs
lola: 34560516 markings, 43277537 edges, 380090 markings/sec, 85 secs
lola: 36435897 markings, 45620896 edges, 375076 markings/sec, 90 secs
lola: 38279542 markings, 47926603 edges, 368729 markings/sec, 95 secs
lola: 40085935 markings, 50183463 edges, 361279 markings/sec, 100 secs
lola: 41864996 markings, 52408004 edges, 355812 markings/sec, 105 secs
lola: 43660892 markings, 54652452 edges, 359179 markings/sec, 110 secs
lola: 45451942 markings, 56888641 edges, 358210 markings/sec, 115 secs
lola: 47262764 markings, 59150583 edges, 362164 markings/sec, 120 secs
lola: 49058950 markings, 61394191 edges, 359237 markings/sec, 125 secs
lola: 50858276 markings, 63643003 edges, 359865 markings/sec, 130 secs
lola: 52652758 markings, 65886638 edges, 358896 markings/sec, 135 secs
lola: 54447106 markings, 68125097 edges, 358870 markings/sec, 140 secs
lola: 56239032 markings, 70363882 edges, 358385 markings/sec, 145 secs
lola: 58048455 markings, 72625365 edges, 361885 markings/sec, 150 secs
lola: 59900875 markings, 74941770 edges, 370484 markings/sec, 155 secs
lola: 61759562 markings, 77262656 edges, 371737 markings/sec, 160 secs
lola: 63623062 markings, 79589830 edges, 372700 markings/sec, 165 secs
lola: 65489256 markings, 81921470 edges, 373239 markings/sec, 170 secs
lola: 67386447 markings, 84293448 edges, 379438 markings/sec, 175 secs
lola: 69261275 markings, 86633023 edges, 374966 markings/sec, 180 secs
lola: 71145220 markings, 88983141 edges, 376789 markings/sec, 185 secs
lola: 73079181 markings, 91403147 edges, 386792 markings/sec, 190 secs
lola: 74966405 markings, 93761422 edges, 377445 markings/sec, 195 secs
lola: 76880104 markings, 96150884 edges, 382740 markings/sec, 200 secs
lola: 78778395 markings, 98519108 edges, 379658 markings/sec, 205 secs
lola: 80691744 markings, 100906653 edges, 382670 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1819732 markings, 2532479 edges, 363946 markings/sec, 0 secs
lola: 3450607 markings, 4845919 edges, 326175 markings/sec, 5 secs
lola: 5060940 markings, 7130497 edges, 322067 markings/sec, 10 secs
lola: 6647207 markings, 9378918 edges, 317253 markings/sec, 15 secs
lola: 8215077 markings, 11602123 edges, 313574 markings/sec, 20 secs
lola: 9761641 markings, 13793434 edges, 309313 markings/sec, 25 secs
lola: 11304325 markings, 15980546 edges, 308537 markings/sec, 30 secs
lola: 12828297 markings, 18139068 edges, 304794 markings/sec, 35 secs
lola: 14366027 markings, 20320403 edges, 307546 markings/sec, 40 secs
lola: 15898913 markings, 22492524 edges, 306577 markings/sec, 45 secs
lola: 17429478 markings, 24660939 edges, 306113 markings/sec, 50 secs
lola: 19019684 markings, 26913641 edges, 318041 markings/sec, 55 secs
lola: 20615376 markings, 29177013 edges, 319138 markings/sec, 60 secs
lola: 22128861 markings, 31320026 edges, 302697 markings/sec, 65 secs
lola: 23655738 markings, 33482389 edges, 305375 markings/sec, 70 secs
lola: 25229256 markings, 35711681 edges, 314704 markings/sec, 75 secs
lola: 26767379 markings, 37890712 edges, 307625 markings/sec, 80 secs
lola: 28346622 markings, 40128001 edges, 315849 markings/sec, 85 secs
lola: 29912511 markings, 42346440 edges, 313178 markings/sec, 90 secs
lola: 31445763 markings, 44517124 edges, 306650 markings/sec, 95 secs
lola: 33016200 markings, 46742821 edges, 314087 markings/sec, 100 secs
lola: 34546503 markings, 48909525 edges, 306061 markings/sec, 105 secs
lola: 36124225 markings, 51145412 edges, 315544 markings/sec, 110 secs
lola: 37702305 markings, 53380285 edges, 315616 markings/sec, 115 secs
lola: 39295234 markings, 55637081 edges, 318586 markings/sec, 120 secs
lola: 40932055 markings, 57955936 edges, 327364 markings/sec, 125 secs
lola: 42528066 markings, 60215939 edges, 319202 markings/sec, 130 secs
lola: 44143609 markings, 62503098 edges, 323109 markings/sec, 135 secs
lola: 45743646 markings, 64768244 edges, 320007 markings/sec, 140 secs
lola: 47377595 markings, 67083155 edges, 326790 markings/sec, 145 secs
lola: 49058143 markings, 69463955 edges, 336110 markings/sec, 150 secs
lola: 50704001 markings, 71795809 edges, 329172 markings/sec, 155 secs
lola: 52297775 markings, 74051883 edges, 318755 markings/sec, 160 secs
lola: 53947021 markings, 76388454 edges, 329849 markings/sec, 165 secs
lola: 55513349 markings, 78604984 edges, 313266 markings/sec, 170 secs
lola: 57140007 markings, 80909032 edges, 325332 markings/sec, 175 secs
lola: 58754361 markings, 83196461 edges, 322871 markings/sec, 180 secs
lola: 60284541 markings, 85362055 edges, 306036 markings/sec, 185 secs
lola: 61817504 markings, 87531855 edges, 306593 markings/sec, 190 secs
lola: 63443892 markings, 89835313 edges, 325278 markings/sec, 195 secs
lola: 64962156 markings, 91986794 edges, 303653 markings/sec, 200 secs
lola: 66475311 markings, 94128383 edges, 302631 markings/sec, 205 secs
lola: 68050791 markings, 96359158 edges, 315096 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SwA)
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: 1933719 markings, 2801090 edges, 386744 markings/sec, 0 secs
lola: 3725329 markings, 5458507 edges, 358322 markings/sec, 5 secs
lola: 5489752 markings, 8076638 edges, 352885 markings/sec, 10 secs
lola: 7175382 markings, 10583333 edges, 337126 markings/sec, 15 secs
lola: 8845411 markings, 13062697 edges, 334006 markings/sec, 20 secs
lola: 10526332 markings, 15559503 edges, 336184 markings/sec, 25 secs
lola: 12177462 markings, 18013893 edges, 330226 markings/sec, 30 secs
lola: 13831142 markings, 20471332 edges, 330736 markings/sec, 35 secs
lola: 15484718 markings, 22929464 edges, 330715 markings/sec, 40 secs
lola: 17173037 markings, 25434054 edges, 337664 markings/sec, 45 secs
lola: 18795665 markings, 27848355 edges, 324526 markings/sec, 50 secs
lola: 20421972 markings, 30266908 edges, 325261 markings/sec, 55 secs
lola: 22076112 markings, 32723294 edges, 330828 markings/sec, 60 secs
lola: 23667222 markings, 35093014 edges, 318222 markings/sec, 65 secs
lola: 25261733 markings, 37467060 edges, 318902 markings/sec, 70 secs
lola: 26882723 markings, 39876579 edges, 324198 markings/sec, 75 secs
lola: 28509240 markings, 42295109 edges, 325303 markings/sec, 80 secs
lola: 30067142 markings, 44614742 edges, 311580 markings/sec, 85 secs
lola: 31703087 markings, 47047677 edges, 327189 markings/sec, 90 secs
lola: 33355790 markings, 49501347 edges, 330541 markings/sec, 95 secs
lola: 34998097 markings, 51944417 edges, 328461 markings/sec, 100 secs
lola: 36660025 markings, 54417660 edges, 332386 markings/sec, 105 secs
lola: 38329123 markings, 56899060 edges, 333820 markings/sec, 110 secs
lola: 40035837 markings, 59434868 edges, 341343 markings/sec, 115 secs
lola: 41710729 markings, 61924834 edges, 334978 markings/sec, 120 secs
lola: 43393196 markings, 64427337 edges, 336493 markings/sec, 125 secs
lola: 45081338 markings, 66936904 edges, 337628 markings/sec, 130 secs
lola: 46764378 markings, 69441793 edges, 336608 markings/sec, 135 secs
lola: 48432532 markings, 71922152 edges, 333631 markings/sec, 140 secs
lola: 50082106 markings, 74374843 edges, 329915 markings/sec, 145 secs
lola: 51726293 markings, 76818358 edges, 328837 markings/sec, 150 secs
lola: 53357243 markings, 79244039 edges, 326190 markings/sec, 155 secs
lola: 54941263 markings, 81600822 edges, 316804 markings/sec, 160 secs
lola: 56484498 markings, 83904626 edges, 308647 markings/sec, 165 secs
lola: 58123826 markings, 86339096 edges, 327866 markings/sec, 170 secs
lola: 59729780 markings, 88728942 edges, 321191 markings/sec, 175 secs
lola: 61359869 markings, 91151451 edges, 326018 markings/sec, 180 secs
lola: 62970681 markings, 93545522 edges, 322162 markings/sec, 185 secs
lola: 64560371 markings, 95910445 edges, 317938 markings/sec, 190 secs
lola: 66126793 markings, 98244787 edges, 313284 markings/sec, 195 secs
lola: 67766495 markings, 100679592 edges, 327940 markings/sec, 200 secs
lola: 69361676 markings, 103052671 edges, 319036 markings/sec, 205 secs
lola: 70926090 markings, 105383047 edges, 312883 markings/sec, 210 secs
lola: 72542914 markings, 107784633 edges, 323365 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2586147 markings, 3793099 edges, 517229 markings/sec, 0 secs
lola: 4694196 markings, 7052327 edges, 421610 markings/sec, 5 secs
lola: 6343013 markings, 9677061 edges, 329763 markings/sec, 10 secs
lola: 7945342 markings, 12228847 edges, 320466 markings/sec, 15 secs
lola: 9525301 markings, 14751112 edges, 315992 markings/sec, 20 secs
lola: 11086836 markings, 17244180 edges, 312307 markings/sec, 25 secs
lola: 12651959 markings, 19739999 edges, 313025 markings/sec, 30 secs
lola: 14194760 markings, 22202708 edges, 308560 markings/sec, 35 secs
lola: 15719825 markings, 24639350 edges, 305013 markings/sec, 40 secs
lola: 17253748 markings, 27092523 edges, 306785 markings/sec, 45 secs
lola: 18773001 markings, 29516152 edges, 303851 markings/sec, 50 secs
lola: 20276666 markings, 31917680 edges, 300733 markings/sec, 55 secs
lola: 21804131 markings, 34353892 edges, 305493 markings/sec, 60 secs
lola: 23328230 markings, 36791283 edges, 304820 markings/sec, 65 secs
lola: 24843111 markings, 39209371 edges, 302976 markings/sec, 70 secs
lola: 26329224 markings, 41584073 edges, 297223 markings/sec, 75 secs
lola: 27830772 markings, 43981988 edges, 300310 markings/sec, 80 secs
lola: 29335641 markings, 46390060 edges, 300974 markings/sec, 85 secs
lola: 30831062 markings, 48777851 edges, 299084 markings/sec, 90 secs
lola: 32302514 markings, 51131532 edges, 294290 markings/sec, 95 secs
lola: 33776631 markings, 53488761 edges, 294823 markings/sec, 100 secs
lola: 35286294 markings, 55900200 edges, 301933 markings/sec, 105 secs
lola: 36753480 markings, 58245497 edges, 293437 markings/sec, 110 secs
lola: 38247413 markings, 60634139 edges, 298787 markings/sec, 115 secs
lola: 39722937 markings, 62997596 edges, 295105 markings/sec, 120 secs
lola: 41218002 markings, 65384360 edges, 299013 markings/sec, 125 secs
lola: 42719765 markings, 67780889 edges, 300353 markings/sec, 130 secs
lola: 44203833 markings, 70150017 edges, 296814 markings/sec, 135 secs
lola: 45700514 markings, 72539082 edges, 299336 markings/sec, 140 secs
lola: 47229150 markings, 74989418 edges, 305727 markings/sec, 145 secs
lola: 48750375 markings, 77420787 edges, 304245 markings/sec, 150 secs
lola: 50287064 markings, 79878424 edges, 307338 markings/sec, 155 secs
lola: 51806588 markings, 82308555 edges, 303905 markings/sec, 160 secs
lola: 53374212 markings, 84816534 edges, 313525 markings/sec, 165 secs
lola: 54943221 markings, 87321882 edges, 313802 markings/sec, 170 secs
lola: 56465928 markings, 89761780 edges, 304541 markings/sec, 175 secs
lola: 57974048 markings, 92171446 edges, 301624 markings/sec, 180 secs
lola: 59492623 markings, 94599412 edges, 303715 markings/sec, 185 secs
lola: 61009310 markings, 97023050 edges, 303337 markings/sec, 190 secs
lola: 62529117 markings, 99454854 edges, 303961 markings/sec, 195 secs
lola: 64083335 markings, 101938274 edges, 310844 markings/sec, 200 secs
lola: 65488076 markings, 104183972 edges, 280948 markings/sec, 205 secs
lola: 66843376 markings, 106350333 edges, 271060 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
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: 1778583 markings, 2595294 edges, 355717 markings/sec, 0 secs
lola: 3388577 markings, 4990941 edges, 321999 markings/sec, 5 secs
lola: 5049325 markings, 7458331 edges, 332150 markings/sec, 10 secs
lola: 6687759 markings, 9890268 edges, 327687 markings/sec, 15 secs
lola: 8326066 markings, 12323975 edges, 327661 markings/sec, 20 secs
lola: 9946459 markings, 14726892 edges, 324079 markings/sec, 25 secs
lola: 11557729 markings, 17118281 edges, 322254 markings/sec, 30 secs
lola: 13167526 markings, 19505036 edges, 321959 markings/sec, 35 secs
lola: 14772470 markings, 21884908 edges, 320989 markings/sec, 40 secs
lola: 16368651 markings, 24250927 edges, 319236 markings/sec, 45 secs
lola: 17963511 markings, 26615931 edges, 318972 markings/sec, 50 secs
lola: 19506995 markings, 28903204 edges, 308697 markings/sec, 55 secs
lola: 20999981 markings, 31115655 edges, 298597 markings/sec, 60 secs
lola: 22479314 markings, 33307269 edges, 295867 markings/sec, 65 secs
lola: 23961608 markings, 35500336 edges, 296459 markings/sec, 70 secs
lola: 25460145 markings, 37722482 edges, 299707 markings/sec, 75 secs
lola: 26913378 markings, 39873419 edges, 290647 markings/sec, 80 secs
lola: 28401265 markings, 42079990 edges, 297577 markings/sec, 85 secs
lola: 29903934 markings, 44305999 edges, 300534 markings/sec, 90 secs
lola: 31373348 markings, 46479174 edges, 293883 markings/sec, 95 secs
lola: 32911013 markings, 48754899 edges, 307533 markings/sec, 100 secs
lola: 34451658 markings, 51036669 edges, 308129 markings/sec, 105 secs
lola: 35978783 markings, 53299992 edges, 305425 markings/sec, 110 secs
lola: 37514697 markings, 55568829 edges, 307183 markings/sec, 115 secs
lola: 39089377 markings, 57901708 edges, 314936 markings/sec, 120 secs
lola: 40653636 markings, 60219924 edges, 312852 markings/sec, 125 secs
lola: 42175193 markings, 62471643 edges, 304311 markings/sec, 130 secs
lola: 43704024 markings, 64734991 edges, 305766 markings/sec, 135 secs
lola: 45147504 markings, 66868100 edges, 288696 markings/sec, 140 secs
lola: 46618799 markings, 69045369 edges, 294259 markings/sec, 145 secs
lola: 48089003 markings, 71221303 edges, 294041 markings/sec, 150 secs
lola: 49577444 markings, 73425251 edges, 297688 markings/sec, 155 secs
lola: 51067941 markings, 75631284 edges, 298099 markings/sec, 160 secs
lola: 52516784 markings, 77773181 edges, 289769 markings/sec, 165 secs
lola: 53959600 markings, 79909104 edges, 288563 markings/sec, 170 secs
lola: 55435445 markings, 82092941 edges, 295169 markings/sec, 175 secs
lola: 56912301 markings, 84275392 edges, 295371 markings/sec, 180 secs
lola: 58393217 markings, 86466069 edges, 296183 markings/sec, 185 secs
lola: 59853068 markings, 88624143 edges, 291970 markings/sec, 190 secs
lola: 61316892 markings, 90787168 edges, 292765 markings/sec, 195 secs
lola: 62798718 markings, 92980146 edges, 296365 markings/sec, 200 secs
lola: 64337824 markings, 95258583 edges, 307821 markings/sec, 205 secs
lola: 65767256 markings, 97369335 edges, 285886 markings/sec, 210 secs
lola: 67244340 markings, 99559412 edges, 295417 markings/sec, 215 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 220 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: 2170279 markings, 2721558 edges, 434056 markings/sec, 0 secs
lola: 4133882 markings, 5188068 edges, 392721 markings/sec, 5 secs
lola: 6027454 markings, 7568112 edges, 378714 markings/sec, 10 secs
lola: 7895460 markings, 9910116 edges, 373601 markings/sec, 15 secs
lola: 9726166 markings, 12203953 edges, 366141 markings/sec, 20 secs
lola: 11536044 markings, 14469982 edges, 361976 markings/sec, 25 secs
lola: 13355040 markings, 16749661 edges, 363799 markings/sec, 30 secs
lola: 15174617 markings, 19026139 edges, 363915 markings/sec, 35 secs
lola: 16993829 markings, 21302808 edges, 363842 markings/sec, 40 secs
lola: 18807234 markings, 23571655 edges, 362681 markings/sec, 45 secs
lola: 20625196 markings, 25844411 edges, 363592 markings/sec, 50 secs
lola: 22448962 markings, 28127800 edges, 364753 markings/sec, 55 secs
lola: 24261146 markings, 30393594 edges, 362437 markings/sec, 60 secs
lola: 26050698 markings, 32634013 edges, 357910 markings/sec, 65 secs
lola: 27847201 markings, 34880856 edges, 359301 markings/sec, 70 secs
lola: 29699087 markings, 37200830 edges, 370377 markings/sec, 75 secs
lola: 31565305 markings, 39534715 edges, 373244 markings/sec, 80 secs
lola: 33426296 markings, 41858061 edges, 372198 markings/sec, 85 secs
lola: 35345954 markings, 44259062 edges, 383932 markings/sec, 90 secs
lola: 37250512 markings, 46640778 edges, 380912 markings/sec, 95 secs
lola: 39147634 markings, 49012008 edges, 379424 markings/sec, 100 secs
lola: 41029987 markings, 51363933 edges, 376471 markings/sec, 105 secs
lola: 42859062 markings, 53649052 edges, 365815 markings/sec, 110 secs
lola: 44652815 markings, 55889429 edges, 358751 markings/sec, 115 secs
lola: 46434417 markings, 58114542 edges, 356320 markings/sec, 120 secs
lola: 48287905 markings, 60431483 edges, 370698 markings/sec, 125 secs
lola: 50137990 markings, 62742568 edges, 370017 markings/sec, 130 secs
lola: 52004775 markings, 65075713 edges, 373357 markings/sec, 135 secs
lola: 53912166 markings, 67457861 edges, 381478 markings/sec, 140 secs
lola: 55805595 markings, 69821536 edges, 378686 markings/sec, 145 secs
lola: 57708340 markings, 72200000 edges, 380549 markings/sec, 150 secs
lola: 59630726 markings, 74604026 edges, 384477 markings/sec, 155 secs
lola: 61540710 markings, 76989793 edges, 381997 markings/sec, 160 secs
lola: 63412736 markings, 79326943 edges, 374405 markings/sec, 165 secs
lola: 65263335 markings, 81639318 edges, 370120 markings/sec, 170 secs
lola: 67115893 markings, 83955648 edges, 370512 markings/sec, 175 secs
lola: 68951498 markings, 86244987 edges, 367121 markings/sec, 180 secs
lola: 70794565 markings, 88544249 edges, 368613 markings/sec, 185 secs
lola: 72665319 markings, 90882855 edges, 374151 markings/sec, 190 secs
lola: 74531261 markings, 93217418 edges, 373188 markings/sec, 195 secs
lola: 76411767 markings, 95564736 edges, 376101 markings/sec, 200 secs
lola: 78286939 markings, 97906586 edges, 375034 markings/sec, 205 secs
lola: 80171679 markings, 100258579 edges, 376948 markings/sec, 210 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 221 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: 1931901 markings, 2855671 edges, 386380 markings/sec, 0 secs
lola: 3710755 markings, 5515063 edges, 355771 markings/sec, 5 secs
lola: 5470664 markings, 8145204 edges, 351982 markings/sec, 10 secs
lola: 7205097 markings, 10732599 edges, 346887 markings/sec, 15 secs
lola: 8950563 markings, 13336822 edges, 349093 markings/sec, 20 secs
lola: 10708058 markings, 15956014 edges, 351499 markings/sec, 25 secs
lola: 12418710 markings, 18511871 edges, 342130 markings/sec, 30 secs
lola: 14143434 markings, 21083025 edges, 344945 markings/sec, 35 secs
lola: 15894794 markings, 23692519 edges, 350272 markings/sec, 40 secs
lola: 17641300 markings, 26293258 edges, 349301 markings/sec, 45 secs
lola: 19380037 markings, 28885801 edges, 347747 markings/sec, 50 secs
lola: 21096349 markings, 31446716 edges, 343262 markings/sec, 55 secs
lola: 22814594 markings, 34002744 edges, 343649 markings/sec, 60 secs
lola: 24533530 markings, 36563061 edges, 343787 markings/sec, 65 secs
lola: 26254691 markings, 39126008 edges, 344232 markings/sec, 70 secs
lola: 28001890 markings, 41724916 edges, 349440 markings/sec, 75 secs
lola: 29739512 markings, 44315339 edges, 347524 markings/sec, 80 secs
lola: 31461992 markings, 46879108 edges, 344496 markings/sec, 85 secs
lola: 33189200 markings, 49454438 edges, 345442 markings/sec, 90 secs
lola: 34916568 markings, 52025947 edges, 345474 markings/sec, 95 secs
lola: 36632068 markings, 54581049 edges, 343100 markings/sec, 100 secs
lola: 38303243 markings, 57066725 edges, 334235 markings/sec, 105 secs
lola: 39984916 markings, 59566853 edges, 336335 markings/sec, 110 secs
lola: 41630820 markings, 62022893 edges, 329181 markings/sec, 115 secs
lola: 43338951 markings, 64562027 edges, 341626 markings/sec, 120 secs
lola: 45051656 markings, 67107365 edges, 342541 markings/sec, 125 secs
lola: 46755357 markings, 69644891 edges, 340740 markings/sec, 130 secs
lola: 48491660 markings, 72228097 edges, 347261 markings/sec, 135 secs
lola: 50185007 markings, 74748952 edges, 338669 markings/sec, 140 secs
lola: 51862122 markings, 77248210 edges, 335423 markings/sec, 145 secs
lola: 53540211 markings, 79743133 edges, 335618 markings/sec, 150 secs
lola: 55182604 markings, 82189895 edges, 328479 markings/sec, 155 secs
lola: 56815816 markings, 84616644 edges, 326642 markings/sec, 160 secs
lola: 58425110 markings, 87008835 edges, 321859 markings/sec, 165 secs
lola: 60075748 markings, 89460224 edges, 330128 markings/sec, 170 secs
lola: 61688856 markings, 91865024 edges, 322622 markings/sec, 175 secs
lola: 63345166 markings, 94331647 edges, 331262 markings/sec, 180 secs
lola: 65041804 markings, 96852947 edges, 339328 markings/sec, 185 secs
lola: 66687390 markings, 99306681 edges, 329117 markings/sec, 190 secs
lola: 68369721 markings, 101809275 edges, 336466 markings/sec, 195 secs
lola: 70051232 markings, 104310300 edges, 336302 markings/sec, 200 secs
lola: 71732079 markings, 106804436 edges, 336169 markings/sec, 205 secs
lola: 73406930 markings, 109298864 edges, 334970 markings/sec, 210 secs
lola: 75057838 markings, 111756670 edges, 330182 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N1000P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496610149088
--------------------
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-N1000P0"
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-N1000P0.tgz
mv ClientsAndServers-PT-N1000P0 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-N1000P0, 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-149580920200299"
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 ;