About the Execution of LoLA for ClientsAndServers-PT-N0100P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8823.620 | 3540384.00 | 3556006.00 | 672.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-N0100P0, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920100272
=====================================================================
--------------------
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-N0100P0-UpperBounds-0
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-1
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-10
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-11
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-12
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-13
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-14
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-15
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-2
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-3
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-4
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-5
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-6
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-7
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-8
FORMULA_NAME ClientsAndServers-PT-N0100P0-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496604637660
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
ClientsAndServers-PT-N0100P0: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0100P0: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0100P0 @ 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-N0100P0-UpperBounds.task
lola: MAX(MwU) : MAX(SpG) : MAX(CF) : MAX(SwA) : MAX(SpA) : MAX(SA) : MAX(MwU) : MAX(SF) : MAX(SpA) : MAX(MpA) : MAX(MwU) : MAX(CwG) : MAX(CF) : MAX(MpG) : MAX(SwG) : MAX(SR)
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(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: 1982842 markings, 2973135 edges, 396568 markings/sec, 0 secs
lola: 3854522 markings, 5770278 edges, 374336 markings/sec, 5 secs
lola: 5703584 markings, 8531858 edges, 369812 markings/sec, 10 secs
lola: 7432028 markings, 11111167 edges, 345689 markings/sec, 15 secs
lola: 9174027 markings, 13712837 edges, 348400 markings/sec, 20 secs
lola: 10917257 markings, 16312290 edges, 348646 markings/sec, 25 secs
lola: 12611298 markings, 18836254 edges, 338808 markings/sec, 30 secs
lola: 14264180 markings, 21302355 edges, 330576 markings/sec, 35 secs
lola: 15957907 markings, 23826150 edges, 338745 markings/sec, 40 secs
lola: 17647554 markings, 26343112 edges, 337929 markings/sec, 45 secs
lola: 19336275 markings, 28860505 edges, 337744 markings/sec, 50 secs
lola: 21025881 markings, 31382689 edges, 337921 markings/sec, 55 secs
lola: 22721430 markings, 33904400 edges, 339110 markings/sec, 60 secs
lola: 24315739 markings, 36277543 edges, 318862 markings/sec, 65 secs
lola: 25854320 markings, 38572699 edges, 307716 markings/sec, 70 secs
lola: 27444580 markings, 40938338 edges, 318052 markings/sec, 75 secs
lola: 29076887 markings, 43368060 edges, 326461 markings/sec, 80 secs
lola: 30745608 markings, 45849889 edges, 333744 markings/sec, 85 secs
lola: 32416945 markings, 48340940 edges, 334267 markings/sec, 90 secs
lola: 34105177 markings, 50851777 edges, 337646 markings/sec, 95 secs
lola: 35782263 markings, 53357709 edges, 335417 markings/sec, 100 secs
lola: 37467537 markings, 55861654 edges, 337055 markings/sec, 105 secs
lola: 39148637 markings, 58362514 edges, 336220 markings/sec, 110 secs
lola: 40832901 markings, 60867147 edges, 336853 markings/sec, 115 secs
lola: 42368705 markings, 63156170 edges, 307161 markings/sec, 120 secs
lola: 43904084 markings, 65441156 edges, 307076 markings/sec, 125 secs
lola: 45495713 markings, 67812995 edges, 318326 markings/sec, 130 secs
lola: 47106282 markings, 70207770 edges, 322114 markings/sec, 135 secs
lola: 48749041 markings, 72654215 edges, 328552 markings/sec, 140 secs
lola: 50415654 markings, 75135487 edges, 333323 markings/sec, 145 secs
lola: 52067329 markings, 77594248 edges, 330335 markings/sec, 150 secs
lola: 53757024 markings, 80101747 edges, 337939 markings/sec, 155 secs
lola: 55402077 markings, 82554115 edges, 329011 markings/sec, 160 secs
lola: 57010599 markings, 84949846 edges, 321704 markings/sec, 165 secs
lola: 58652641 markings, 87390521 edges, 328408 markings/sec, 170 secs
lola: 60385577 markings, 89960168 edges, 346587 markings/sec, 175 secs
lola: 61815821 markings, 92096694 edges, 286049 markings/sec, 180 secs
lola: 63214741 markings, 94178284 edges, 279784 markings/sec, 185 secs
lola: 64759565 markings, 96472429 edges, 308965 markings/sec, 190 secs
lola: 66352927 markings, 98848355 edges, 318672 markings/sec, 195 secs
lola: 68018690 markings, 101328312 edges, 333153 markings/sec, 200 secs
lola: 69669295 markings, 103786690 edges, 330121 markings/sec, 205 secs
lola: 71317357 markings, 106231201 edges, 329612 markings/sec, 210 secs
lola: 72979315 markings, 108702760 edges, 332392 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(SpG)
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: 2292003 markings, 2803072 edges, 458401 markings/sec, 0 secs
lola: 4445849 markings, 5424608 edges, 430769 markings/sec, 5 secs
lola: 6604894 markings, 8053049 edges, 431809 markings/sec, 10 secs
lola: 8761691 markings, 10676479 edges, 431359 markings/sec, 15 secs
lola: 10873018 markings, 13247063 edges, 422265 markings/sec, 20 secs
lola: 12945453 markings, 15767586 edges, 414487 markings/sec, 25 secs
lola: 14882660 markings, 18123714 edges, 387441 markings/sec, 30 secs
lola: 16733209 markings, 20372593 edges, 370110 markings/sec, 35 secs
lola: 18633689 markings, 22684370 edges, 380096 markings/sec, 40 secs
lola: 20631972 markings, 25116412 edges, 399657 markings/sec, 45 secs
lola: 22622323 markings, 27535980 edges, 398070 markings/sec, 50 secs
lola: 24602971 markings, 29941630 edges, 396130 markings/sec, 55 secs
lola: 26573832 markings, 32333163 edges, 394172 markings/sec, 60 secs
lola: 28544285 markings, 34725553 edges, 394091 markings/sec, 65 secs
lola: 30497018 markings, 37094620 edges, 390547 markings/sec, 70 secs
lola: 32458094 markings, 39473458 edges, 392215 markings/sec, 75 secs
lola: 34345413 markings, 41763676 edges, 377464 markings/sec, 80 secs
lola: 36331844 markings, 44176201 edges, 397286 markings/sec, 85 secs
lola: 38299426 markings, 46562385 edges, 393516 markings/sec, 90 secs
lola: 40273460 markings, 48953184 edges, 394807 markings/sec, 95 secs
lola: 42253105 markings, 51356467 edges, 395929 markings/sec, 100 secs
lola: 44229121 markings, 53753510 edges, 395203 markings/sec, 105 secs
lola: 46196163 markings, 56142791 edges, 393408 markings/sec, 110 secs
lola: 48165849 markings, 58534606 edges, 393937 markings/sec, 115 secs
lola: 50139328 markings, 60926065 edges, 394696 markings/sec, 120 secs
lola: 52107719 markings, 63317497 edges, 393678 markings/sec, 125 secs
lola: 54057846 markings, 65690009 edges, 390025 markings/sec, 130 secs
lola: 56007593 markings, 68061068 edges, 389949 markings/sec, 135 secs
lola: 57979139 markings, 70454550 edges, 394309 markings/sec, 140 secs
lola: 59865287 markings, 72746681 edges, 377230 markings/sec, 145 secs
lola: 61850071 markings, 75160528 edges, 396957 markings/sec, 150 secs
lola: 63816762 markings, 77550819 edges, 393338 markings/sec, 155 secs
lola: 65796645 markings, 79953428 edges, 395977 markings/sec, 160 secs
lola: 67734439 markings, 82311391 edges, 387559 markings/sec, 165 secs
lola: 69696818 markings, 84694007 edges, 392476 markings/sec, 170 secs
lola: 71665944 markings, 87086327 edges, 393825 markings/sec, 175 secs
lola: 73600128 markings, 89434367 edges, 386837 markings/sec, 180 secs
lola: 75546862 markings, 91802376 edges, 389347 markings/sec, 185 secs
lola: 77476668 markings, 94150996 edges, 385961 markings/sec, 190 secs
lola: 79445465 markings, 96548603 edges, 393759 markings/sec, 195 secs
lola: 81411607 markings, 98935505 edges, 393228 markings/sec, 200 secs
lola: 83361677 markings, 101298676 edges, 390014 markings/sec, 205 secs
lola: 85323760 markings, 103680730 edges, 392417 markings/sec, 210 secs
lola: 87263447 markings, 106036671 edges, 387937 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(CF)
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: 3017936 markings, 3379238 edges, 603587 markings/sec, 0 secs
lola: 5661158 markings, 6444468 edges, 528644 markings/sec, 5 secs
lola: 8269245 markings, 9475754 edges, 521617 markings/sec, 10 secs
lola: 10861770 markings, 12485124 edges, 518505 markings/sec, 15 secs
lola: 13451637 markings, 15500057 edges, 517973 markings/sec, 20 secs
lola: 16002241 markings, 18457561 edges, 510121 markings/sec, 25 secs
lola: 18548802 markings, 21421391 edges, 509312 markings/sec, 30 secs
lola: 21093163 markings, 24381834 edges, 508872 markings/sec, 35 secs
lola: 23589875 markings, 27285449 edges, 499342 markings/sec, 40 secs
lola: 26134619 markings, 30243807 edges, 508949 markings/sec, 45 secs
lola: 28643749 markings, 33163625 edges, 501826 markings/sec, 50 secs
lola: 31200042 markings, 36134429 edges, 511259 markings/sec, 55 secs
lola: 33712279 markings, 39053361 edges, 502447 markings/sec, 60 secs
lola: 36223555 markings, 41973814 edges, 502255 markings/sec, 65 secs
lola: 38732415 markings, 44897886 edges, 501772 markings/sec, 70 secs
lola: 41212450 markings, 47784508 edges, 496007 markings/sec, 75 secs
lola: 43627632 markings, 50586123 edges, 483036 markings/sec, 80 secs
lola: 46096863 markings, 53464664 edges, 493846 markings/sec, 85 secs
lola: 48575856 markings, 56353700 edges, 495799 markings/sec, 90 secs
lola: 51102966 markings, 59283893 edges, 505422 markings/sec, 95 secs
lola: 53522956 markings, 62119482 edges, 483998 markings/sec, 100 secs
lola: 56008434 markings, 65002822 edges, 497096 markings/sec, 105 secs
lola: 58540858 markings, 67953097 edges, 506485 markings/sec, 110 secs
lola: 61093489 markings, 70925739 edges, 510526 markings/sec, 115 secs
lola: 63579735 markings, 73807337 edges, 497249 markings/sec, 120 secs
lola: 66066263 markings, 76712857 edges, 497306 markings/sec, 125 secs
lola: 68572216 markings, 79620660 edges, 501191 markings/sec, 130 secs
lola: 71060048 markings, 82512918 edges, 497566 markings/sec, 135 secs
lola: 73529123 markings, 85391280 edges, 493815 markings/sec, 140 secs
lola: 75879920 markings, 88135606 edges, 470159 markings/sec, 145 secs
lola: 78371050 markings, 91029613 edges, 498226 markings/sec, 150 secs
lola: 80863964 markings, 93926792 edges, 498583 markings/sec, 155 secs
lola: 83326494 markings, 96797111 edges, 492506 markings/sec, 160 secs
lola: 85818869 markings, 99687814 edges, 498475 markings/sec, 165 secs
lola: 88349662 markings, 102643110 edges, 506159 markings/sec, 170 secs
lola: 90827994 markings, 105512751 edges, 495666 markings/sec, 175 secs
lola: 93321080 markings, 108427805 edges, 498617 markings/sec, 180 secs
lola: 95778174 markings, 111271523 edges, 491419 markings/sec, 185 secs
lola: 98235653 markings, 114144996 edges, 491496 markings/sec, 190 secs
lola: 100502098 markings, 116793489 edges, 453289 markings/sec, 195 secs
lola: 102914531 markings, 119588976 edges, 482487 markings/sec, 200 secs
lola: 105321517 markings, 122402862 edges, 481397 markings/sec, 205 secs
lola: 107770394 markings, 125235671 edges, 489775 markings/sec, 210 secs
lola: 110216744 markings, 128097756 edges, 489270 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(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: 1958634 markings, 2893706 edges, 391727 markings/sec, 0 secs
lola: 3854694 markings, 5705892 edges, 379212 markings/sec, 5 secs
lola: 5779899 markings, 8563542 edges, 385041 markings/sec, 10 secs
lola: 7685943 markings, 11394167 edges, 381209 markings/sec, 15 secs
lola: 9572374 markings, 14197634 edges, 377286 markings/sec, 20 secs
lola: 11470652 markings, 17017561 edges, 379656 markings/sec, 25 secs
lola: 13350078 markings, 19811156 edges, 375885 markings/sec, 30 secs
lola: 15227739 markings, 22602889 edges, 375532 markings/sec, 35 secs
lola: 17122787 markings, 25415314 edges, 379010 markings/sec, 40 secs
lola: 18979219 markings, 28177508 edges, 371286 markings/sec, 45 secs
lola: 20833970 markings, 30934739 edges, 370950 markings/sec, 50 secs
lola: 22683661 markings, 33688388 edges, 369938 markings/sec, 55 secs
lola: 24525385 markings, 36425023 edges, 368345 markings/sec, 60 secs
lola: 26368421 markings, 39168585 edges, 368607 markings/sec, 65 secs
lola: 28213693 markings, 41913296 edges, 369054 markings/sec, 70 secs
lola: 30040484 markings, 44632533 edges, 365358 markings/sec, 75 secs
lola: 31886661 markings, 47378143 edges, 369235 markings/sec, 80 secs
lola: 33731070 markings, 50119666 edges, 368882 markings/sec, 85 secs
lola: 35560735 markings, 52843448 edges, 365933 markings/sec, 90 secs
lola: 37395240 markings, 55572146 edges, 366901 markings/sec, 95 secs
lola: 39227960 markings, 58297192 edges, 366544 markings/sec, 100 secs
lola: 41053027 markings, 61011634 edges, 365013 markings/sec, 105 secs
lola: 42848234 markings, 63683677 edges, 359041 markings/sec, 110 secs
lola: 44660939 markings, 66384181 edges, 362541 markings/sec, 115 secs
lola: 46485463 markings, 69098915 edges, 364905 markings/sec, 120 secs
lola: 48295524 markings, 71793655 edges, 362012 markings/sec, 125 secs
lola: 50110289 markings, 74494155 edges, 362953 markings/sec, 130 secs
lola: 51903334 markings, 77161908 edges, 358609 markings/sec, 135 secs
lola: 53714404 markings, 79854872 edges, 362214 markings/sec, 140 secs
lola: 55487851 markings, 82497378 edges, 354689 markings/sec, 145 secs
lola: 57272705 markings, 85156216 edges, 356971 markings/sec, 150 secs
lola: 59059208 markings, 87816137 edges, 357301 markings/sec, 155 secs
lola: 60861048 markings, 90496316 edges, 360368 markings/sec, 160 secs
lola: 62659924 markings, 93173331 edges, 359775 markings/sec, 165 secs
lola: 64473360 markings, 95872137 edges, 362687 markings/sec, 170 secs
lola: 66270839 markings, 98546005 edges, 359496 markings/sec, 175 secs
lola: 68061514 markings, 101208039 edges, 358135 markings/sec, 180 secs
lola: 69849337 markings, 103869419 edges, 357565 markings/sec, 185 secs
lola: 71619983 markings, 106510206 edges, 354129 markings/sec, 190 secs
lola: 73407786 markings, 109174245 edges, 357561 markings/sec, 195 secs
lola: 75208143 markings, 111852109 edges, 360071 markings/sec, 200 secs
lola: 76974532 markings, 114484001 edges, 353278 markings/sec, 205 secs
lola: 78763010 markings, 117146680 edges, 357696 markings/sec, 210 secs
lola: 80551974 markings, 119810846 edges, 357793 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(SpA)
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: 2267247 markings, 2893148 edges, 453449 markings/sec, 0 secs
lola: 4202696 markings, 5388570 edges, 387090 markings/sec, 5 secs
lola: 6077340 markings, 7849448 edges, 374929 markings/sec, 10 secs
lola: 7993262 markings, 10340007 edges, 383184 markings/sec, 15 secs
lola: 9746635 markings, 12621208 edges, 350675 markings/sec, 20 secs
lola: 11730239 markings, 15224929 edges, 396721 markings/sec, 25 secs
lola: 13519417 markings, 17546187 edges, 357836 markings/sec, 30 secs
lola: 15405162 markings, 20016364 edges, 377149 markings/sec, 35 secs
lola: 17321774 markings, 22502774 edges, 383322 markings/sec, 40 secs
lola: 19118081 markings, 24853470 edges, 359261 markings/sec, 45 secs
lola: 21118943 markings, 27471975 edges, 400172 markings/sec, 50 secs
lola: 22897681 markings, 29778507 edges, 355748 markings/sec, 55 secs
lola: 24826568 markings, 32306429 edges, 385777 markings/sec, 60 secs
lola: 26696398 markings, 34733986 edges, 373966 markings/sec, 65 secs
lola: 28495740 markings, 37089248 edges, 359868 markings/sec, 70 secs
lola: 30501441 markings, 39710916 edges, 401140 markings/sec, 75 secs
lola: 32245767 markings, 41974921 edges, 348865 markings/sec, 80 secs
lola: 34180880 markings, 44511138 edges, 387023 markings/sec, 85 secs
lola: 36029306 markings, 46903390 edges, 369685 markings/sec, 90 secs
lola: 37895179 markings, 49347396 edges, 373175 markings/sec, 95 secs
lola: 39874217 markings, 51930838 edges, 395808 markings/sec, 100 secs
lola: 41625343 markings, 54215020 edges, 350225 markings/sec, 105 secs
lola: 43589913 markings, 56786364 edges, 392914 markings/sec, 110 secs
lola: 45400887 markings, 59125080 edges, 362195 markings/sec, 115 secs
lola: 47263389 markings, 61566047 edges, 372500 markings/sec, 120 secs
lola: 49204315 markings, 64091766 edges, 388185 markings/sec, 125 secs
lola: 50955005 markings, 66385338 edges, 350138 markings/sec, 130 secs
lola: 52934805 markings, 68975964 edges, 395960 markings/sec, 135 secs
lola: 54713612 markings, 71277358 edges, 355761 markings/sec, 140 secs
lola: 56619953 markings, 73779160 edges, 381268 markings/sec, 145 secs
lola: 58515090 markings, 76248633 edges, 379027 markings/sec, 150 secs
lola: 60255659 markings, 78538805 edges, 348114 markings/sec, 155 secs
lola: 62217784 markings, 81094976 edges, 392425 markings/sec, 160 secs
lola: 63991986 markings, 83372452 edges, 354840 markings/sec, 165 secs
lola: 65940331 markings, 85935614 edges, 389669 markings/sec, 170 secs
lola: 67812854 markings, 88397173 edges, 374505 markings/sec, 175 secs
lola: 69545911 markings, 90674054 edges, 346611 markings/sec, 180 secs
lola: 71451256 markings, 93158828 edges, 381069 markings/sec, 185 secs
lola: 73181678 markings, 95391942 edges, 346084 markings/sec, 190 secs
lola: 75182175 markings, 98013492 edges, 400099 markings/sec, 195 secs
lola: 77021819 markings, 100419031 edges, 367929 markings/sec, 200 secs
lola: 78765898 markings, 102707188 edges, 348816 markings/sec, 205 secs
lola: 80639477 markings, 105149765 edges, 374716 markings/sec, 210 secs
lola: 82372751 markings, 107377413 edges, 346655 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(SA)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2185476 markings, 2946436 edges, 437095 markings/sec, 0 secs
lola: 4348215 markings, 5855904 edges, 432548 markings/sec, 5 secs
lola: 6351276 markings, 8569721 edges, 400612 markings/sec, 10 secs
lola: 8409243 markings, 11338685 edges, 411593 markings/sec, 15 secs
lola: 10312314 markings, 13926066 edges, 380614 markings/sec, 20 secs
lola: 12282674 markings, 16574532 edges, 394072 markings/sec, 25 secs
lola: 14238003 markings, 19232875 edges, 391066 markings/sec, 30 secs
lola: 16141674 markings, 21796555 edges, 380734 markings/sec, 35 secs
lola: 18133291 markings, 24500019 edges, 398323 markings/sec, 40 secs
lola: 20070646 markings, 27133587 edges, 387471 markings/sec, 45 secs
lola: 22007886 markings, 29735904 edges, 387448 markings/sec, 50 secs
lola: 23939222 markings, 32362087 edges, 386267 markings/sec, 55 secs
lola: 25883014 markings, 35007818 edges, 388758 markings/sec, 60 secs
lola: 27820912 markings, 37610860 edges, 387580 markings/sec, 65 secs
lola: 29755203 markings, 40240466 edges, 386858 markings/sec, 70 secs
lola: 31652129 markings, 42805655 edges, 379385 markings/sec, 75 secs
lola: 33639840 markings, 45493112 edges, 397542 markings/sec, 80 secs
lola: 35574897 markings, 48123522 edges, 387011 markings/sec, 85 secs
lola: 37489112 markings, 50696518 edges, 382843 markings/sec, 90 secs
lola: 39475424 markings, 53398116 edges, 397262 markings/sec, 95 secs
lola: 41418680 markings, 56042232 edges, 388651 markings/sec, 100 secs
lola: 43393752 markings, 58694867 edges, 395014 markings/sec, 105 secs
lola: 45365149 markings, 61376070 edges, 394279 markings/sec, 110 secs
lola: 47286236 markings, 63982172 edges, 384217 markings/sec, 115 secs
lola: 49229529 markings, 66603577 edges, 388659 markings/sec, 120 secs
lola: 51154199 markings, 69218668 edges, 384934 markings/sec, 125 secs
lola: 53044493 markings, 71759537 edges, 378059 markings/sec, 130 secs
lola: 55054949 markings, 74491646 edges, 402091 markings/sec, 135 secs
lola: 57009426 markings, 77151157 edges, 390895 markings/sec, 140 secs
lola: 58944021 markings, 79748041 edges, 386919 markings/sec, 145 secs
lola: 60892449 markings, 82398793 edges, 389686 markings/sec, 150 secs
lola: 62817800 markings, 85019207 edges, 385070 markings/sec, 155 secs
lola: 64777899 markings, 87651536 edges, 392020 markings/sec, 160 secs
lola: 66727048 markings, 90302959 edges, 389830 markings/sec, 165 secs
lola: 68623839 markings, 92860838 edges, 379358 markings/sec, 170 secs
lola: 70601238 markings, 95541344 edges, 395480 markings/sec, 175 secs
lola: 72523026 markings, 98154538 edges, 384358 markings/sec, 180 secs
lola: 74455544 markings, 100751680 edges, 386504 markings/sec, 185 secs
lola: 76436766 markings, 103446343 edges, 396244 markings/sec, 190 secs
lola: 78387770 markings, 106101058 edges, 390201 markings/sec, 195 secs
lola: 80353643 markings, 108743539 edges, 393175 markings/sec, 200 secs
lola: 82327571 markings, 111426785 edges, 394786 markings/sec, 205 secs
lola: 84269818 markings, 114051600 edges, 388449 markings/sec, 210 secs
lola: 86265757 markings, 116751277 edges, 399188 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(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: 1988180 markings, 2981016 edges, 397636 markings/sec, 0 secs
lola: 3869383 markings, 5792951 edges, 376241 markings/sec, 5 secs
lola: 5704410 markings, 8533070 edges, 367005 markings/sec, 10 secs
lola: 7522546 markings, 11247372 edges, 363627 markings/sec, 15 secs
lola: 9338399 markings, 13956852 edges, 363171 markings/sec, 20 secs
lola: 11151112 markings, 16660144 edges, 362543 markings/sec, 25 secs
lola: 12943843 markings, 19332913 edges, 358546 markings/sec, 30 secs
lola: 14738131 markings, 22005741 edges, 358858 markings/sec, 35 secs
lola: 16534319 markings, 24682157 edges, 359238 markings/sec, 40 secs
lola: 18307163 markings, 27328318 edges, 354569 markings/sec, 45 secs
lola: 20093197 markings, 29986982 edges, 357207 markings/sec, 50 secs
lola: 21884597 markings, 32656017 edges, 358280 markings/sec, 55 secs
lola: 23644032 markings, 35279152 edges, 351887 markings/sec, 60 secs
lola: 25417763 markings, 37918540 edges, 354746 markings/sec, 65 secs
lola: 27180848 markings, 40544484 edges, 352617 markings/sec, 70 secs
lola: 28947773 markings, 43177771 edges, 353385 markings/sec, 75 secs
lola: 30716801 markings, 45807433 edges, 353806 markings/sec, 80 secs
lola: 32465647 markings, 48413953 edges, 349769 markings/sec, 85 secs
lola: 34230475 markings, 51039110 edges, 352966 markings/sec, 90 secs
lola: 35986295 markings, 53659216 edges, 351164 markings/sec, 95 secs
lola: 37740435 markings, 56264770 edges, 350828 markings/sec, 100 secs
lola: 39475889 markings, 58852421 edges, 347091 markings/sec, 105 secs
lola: 41225018 markings, 61456523 edges, 349826 markings/sec, 110 secs
lola: 42961445 markings, 64036955 edges, 347285 markings/sec, 115 secs
lola: 44694634 markings, 66619087 edges, 346638 markings/sec, 120 secs
lola: 46426937 markings, 69199324 edges, 346461 markings/sec, 125 secs
lola: 48171894 markings, 71793120 edges, 348991 markings/sec, 130 secs
lola: 49901096 markings, 74367849 edges, 345840 markings/sec, 135 secs
lola: 51625271 markings, 76936836 edges, 344835 markings/sec, 140 secs
lola: 53342037 markings, 79487449 edges, 343353 markings/sec, 145 secs
lola: 55076112 markings, 82072109 edges, 346815 markings/sec, 150 secs
lola: 56785978 markings, 84613023 edges, 341973 markings/sec, 155 secs
lola: 58488127 markings, 87144237 edges, 340430 markings/sec, 160 secs
lola: 60217429 markings, 89712007 edges, 345860 markings/sec, 165 secs
lola: 61909398 markings, 92236420 edges, 338394 markings/sec, 170 secs
lola: 63618664 markings, 94781855 edges, 341853 markings/sec, 175 secs
lola: 65341999 markings, 97341771 edges, 344667 markings/sec, 180 secs
lola: 67049831 markings, 99883108 edges, 341566 markings/sec, 185 secs
lola: 68779732 markings, 102456864 edges, 345980 markings/sec, 190 secs
lola: 70511437 markings, 105030907 edges, 346341 markings/sec, 195 secs
lola: 72226761 markings, 107585133 edges, 343065 markings/sec, 200 secs
lola: 73944250 markings, 110135958 edges, 343498 markings/sec, 205 secs
lola: 75671869 markings, 112710611 edges, 345524 markings/sec, 210 secs
lola: 77377930 markings, 115249690 edges, 341212 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(SF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2082397 markings, 3076595 edges, 416479 markings/sec, 0 secs
lola: 4080332 markings, 6040430 edges, 399587 markings/sec, 5 secs
lola: 6029384 markings, 8935224 edges, 389810 markings/sec, 10 secs
lola: 7973130 markings, 11821116 edges, 388749 markings/sec, 15 secs
lola: 9891793 markings, 14671758 edges, 383733 markings/sec, 20 secs
lola: 11804683 markings, 17513342 edges, 382578 markings/sec, 25 secs
lola: 13698850 markings, 20329540 edges, 378833 markings/sec, 30 secs
lola: 15596576 markings, 23151220 edges, 379545 markings/sec, 35 secs
lola: 17506470 markings, 25985859 edges, 381979 markings/sec, 40 secs
lola: 19370949 markings, 28762447 edges, 372896 markings/sec, 45 secs
lola: 21247368 markings, 31549965 edges, 375284 markings/sec, 50 secs
lola: 23118882 markings, 34335372 edges, 374303 markings/sec, 55 secs
lola: 24998376 markings, 37130359 edges, 375899 markings/sec, 60 secs
lola: 26853474 markings, 39889485 edges, 371020 markings/sec, 65 secs
lola: 28709733 markings, 42650623 edges, 371252 markings/sec, 70 secs
lola: 30565647 markings, 45412205 edges, 371183 markings/sec, 75 secs
lola: 32411006 markings, 48158239 edges, 369072 markings/sec, 80 secs
lola: 34264266 markings, 50914948 edges, 370652 markings/sec, 85 secs
lola: 36111339 markings, 53663772 edges, 369415 markings/sec, 90 secs
lola: 37961211 markings, 56413046 edges, 369974 markings/sec, 95 secs
lola: 39805373 markings, 59154985 edges, 368832 markings/sec, 100 secs
lola: 41648513 markings, 61896288 edges, 368628 markings/sec, 105 secs
lola: 43481144 markings, 64626070 edges, 366526 markings/sec, 110 secs
lola: 45310212 markings, 67348601 edges, 365814 markings/sec, 115 secs
lola: 47137361 markings, 70071405 edges, 365430 markings/sec, 120 secs
lola: 48976547 markings, 72807983 edges, 367837 markings/sec, 125 secs
lola: 50803594 markings, 75525094 edges, 365409 markings/sec, 130 secs
lola: 52637159 markings, 78253804 edges, 366713 markings/sec, 135 secs
lola: 54469817 markings, 80980510 edges, 366532 markings/sec, 140 secs
lola: 56288654 markings, 83689451 edges, 363767 markings/sec, 145 secs
lola: 58065134 markings, 86337073 edges, 355296 markings/sec, 150 secs
lola: 59872126 markings, 89026000 edges, 361398 markings/sec, 155 secs
lola: 61694877 markings, 91736620 edges, 364550 markings/sec, 160 secs
lola: 63499702 markings, 94424263 edges, 360965 markings/sec, 165 secs
lola: 65316960 markings, 97127045 edges, 363452 markings/sec, 170 secs
lola: 67136695 markings, 99832559 edges, 363947 markings/sec, 175 secs
lola: 68927557 markings, 102498329 edges, 358172 markings/sec, 180 secs
lola: 70726474 markings, 105176586 edges, 359783 markings/sec, 185 secs
lola: 72511536 markings, 107837182 edges, 357012 markings/sec, 190 secs
lola: 74313375 markings, 110519711 edges, 360368 markings/sec, 195 secs
lola: 76122869 markings, 113212755 edges, 361899 markings/sec, 200 secs
lola: 77896922 markings, 115857400 edges, 354811 markings/sec, 205 secs
lola: 79696525 markings, 118538035 edges, 359921 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(SpA)
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: 2263402 markings, 2888101 edges, 452680 markings/sec, 0 secs
lola: 4222784 markings, 5414989 edges, 391876 markings/sec, 5 secs
lola: 6098101 markings, 7876466 edges, 375063 markings/sec, 10 secs
lola: 7999310 markings, 10347522 edges, 380242 markings/sec, 15 secs
lola: 9752838 markings, 12629437 edges, 350706 markings/sec, 20 secs
lola: 11722866 markings, 15215183 edges, 394006 markings/sec, 25 secs
lola: 13516241 markings, 17542100 edges, 358675 markings/sec, 30 secs
lola: 15401056 markings, 20011040 edges, 376963 markings/sec, 35 secs
lola: 17337473 markings, 22523503 edges, 387283 markings/sec, 40 secs
lola: 19157238 markings, 24905067 edges, 363953 markings/sec, 45 secs
lola: 21181621 markings, 27553514 edges, 404877 markings/sec, 50 secs
lola: 22976766 markings, 29882533 edges, 359029 markings/sec, 55 secs
lola: 24939240 markings, 32454139 edges, 392495 markings/sec, 60 secs
lola: 26810097 markings, 34881121 edges, 374171 markings/sec, 65 secs
lola: 28638362 markings, 37275727 edges, 365653 markings/sec, 70 secs
lola: 30620477 markings, 39865845 edges, 396423 markings/sec, 75 secs
lola: 32358126 markings, 42122233 edges, 347530 markings/sec, 80 secs
lola: 34294538 markings, 44660430 edges, 387282 markings/sec, 85 secs
lola: 36110235 markings, 47009056 edges, 363139 markings/sec, 90 secs
lola: 38007160 markings, 49494450 edges, 379385 markings/sec, 95 secs
lola: 39969225 markings, 52051418 edges, 392413 markings/sec, 100 secs
lola: 41741704 markings, 54367662 edges, 354496 markings/sec, 105 secs
lola: 43730330 markings, 56968222 edges, 397725 markings/sec, 110 secs
lola: 45555228 markings, 59328528 edges, 364980 markings/sec, 115 secs
lola: 47466351 markings, 61832788 edges, 382225 markings/sec, 120 secs
lola: 49405595 markings, 64352580 edges, 387849 markings/sec, 125 secs
lola: 51190251 markings, 66693311 edges, 356931 markings/sec, 130 secs
lola: 53192215 markings, 69310846 edges, 400393 markings/sec, 135 secs
lola: 54998831 markings, 71650342 edges, 361323 markings/sec, 140 secs
lola: 56953641 markings, 74217176 edges, 390962 markings/sec, 145 secs
lola: 58790570 markings, 76609936 edges, 367386 markings/sec, 150 secs
lola: 60575230 markings, 78954271 edges, 356932 markings/sec, 155 secs
lola: 62490847 markings, 81450316 edges, 383123 markings/sec, 160 secs
lola: 64262906 markings, 83730140 edges, 354412 markings/sec, 165 secs
lola: 66214981 markings, 86298749 edges, 390415 markings/sec, 170 secs
lola: 68034706 markings, 88690008 edges, 363945 markings/sec, 175 secs
lola: 69819493 markings, 91032178 edges, 356957 markings/sec, 180 secs
lola: 71686513 markings, 93465072 edges, 373404 markings/sec, 185 secs
lola: 73409997 markings, 95685780 edges, 344697 markings/sec, 190 secs
lola: 75418224 markings, 98323878 edges, 401645 markings/sec, 195 secs
lola: 77220095 markings, 100680581 edges, 360374 markings/sec, 200 secs
lola: 79019948 markings, 103038705 edges, 359971 markings/sec, 205 secs
lola: 80868874 markings, 105448331 edges, 369785 markings/sec, 210 secs
lola: 82613231 markings, 107690430 edges, 348871 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(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: 2062051 markings, 2925389 edges, 412410 markings/sec, 0 secs
lola: 4031530 markings, 5719041 edges, 393896 markings/sec, 5 secs
lola: 5974199 markings, 8474544 edges, 388534 markings/sec, 10 secs
lola: 7905864 markings, 11212996 edges, 386333 markings/sec, 15 secs
lola: 9810502 markings, 13911426 edges, 380928 markings/sec, 20 secs
lola: 11686323 markings, 16569517 edges, 375164 markings/sec, 25 secs
lola: 13573193 markings, 19245013 edges, 377374 markings/sec, 30 secs
lola: 15472195 markings, 21937172 edges, 379800 markings/sec, 35 secs
lola: 17352499 markings, 24600686 edges, 376061 markings/sec, 40 secs
lola: 19224174 markings, 27252507 edges, 374335 markings/sec, 45 secs
lola: 21102608 markings, 29915101 edges, 375687 markings/sec, 50 secs
lola: 22951434 markings, 32533841 edges, 369765 markings/sec, 55 secs
lola: 24808541 markings, 35163492 edges, 371421 markings/sec, 60 secs
lola: 26669812 markings, 37801170 edges, 372254 markings/sec, 65 secs
lola: 28529816 markings, 40436206 edges, 372001 markings/sec, 70 secs
lola: 30384663 markings, 43064103 edges, 370969 markings/sec, 75 secs
lola: 32221019 markings, 45664305 edges, 367271 markings/sec, 80 secs
lola: 34052464 markings, 48259009 edges, 366289 markings/sec, 85 secs
lola: 35901475 markings, 50878540 edges, 369802 markings/sec, 90 secs
lola: 37739848 markings, 53482664 edges, 367675 markings/sec, 95 secs
lola: 39585799 markings, 56097498 edges, 369190 markings/sec, 100 secs
lola: 41431925 markings, 58711342 edges, 369225 markings/sec, 105 secs
lola: 43240533 markings, 61272829 edges, 361722 markings/sec, 110 secs
lola: 45058402 markings, 63847196 edges, 363574 markings/sec, 115 secs
lola: 46880894 markings, 66428017 edges, 364498 markings/sec, 120 secs
lola: 48735889 markings, 69057020 edges, 370999 markings/sec, 125 secs
lola: 50558166 markings, 71637692 edges, 364455 markings/sec, 130 secs
lola: 52349078 markings, 74172963 edges, 358182 markings/sec, 135 secs
lola: 54165816 markings, 76746047 edges, 363348 markings/sec, 140 secs
lola: 55932133 markings, 79246094 edges, 353263 markings/sec, 145 secs
lola: 57789603 markings, 81878463 edges, 371494 markings/sec, 150 secs
lola: 59572123 markings, 84402404 edges, 356504 markings/sec, 155 secs
lola: 61313950 markings, 86867679 edges, 348365 markings/sec, 160 secs
lola: 63154289 markings, 89474438 edges, 368068 markings/sec, 165 secs
lola: 64916478 markings, 91970665 edges, 352438 markings/sec, 170 secs
lola: 66676092 markings, 94460423 edges, 351923 markings/sec, 175 secs
lola: 68491282 markings, 97031141 edges, 363038 markings/sec, 180 secs
lola: 70261421 markings, 99537094 edges, 354028 markings/sec, 185 secs
lola: 72132411 markings, 102188390 edges, 374198 markings/sec, 190 secs
lola: 73933851 markings, 104739008 edges, 360288 markings/sec, 195 secs
lola: 75682369 markings, 107214566 edges, 349704 markings/sec, 200 secs
lola: 77451824 markings, 109719159 edges, 353891 markings/sec, 205 secs
lola: 79310975 markings, 112353369 edges, 371830 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 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: 1996600 markings, 2993740 edges, 399320 markings/sec, 0 secs
lola: 3894125 markings, 5830179 edges, 379505 markings/sec, 5 secs
lola: 5748163 markings, 8598522 edges, 370808 markings/sec, 10 secs
lola: 7600256 markings, 11363717 edges, 370419 markings/sec, 15 secs
lola: 9451153 markings, 14124700 edges, 370179 markings/sec, 20 secs
lola: 11298021 markings, 16880182 edges, 369374 markings/sec, 25 secs
lola: 13137596 markings, 19623322 edges, 367915 markings/sec, 30 secs
lola: 14968500 markings, 22348802 edges, 366181 markings/sec, 35 secs
lola: 16780805 markings, 25051805 edges, 362461 markings/sec, 40 secs
lola: 18582626 markings, 27737528 edges, 360364 markings/sec, 45 secs
lola: 20381710 markings, 30415158 edges, 359817 markings/sec, 50 secs
lola: 22189025 markings, 33107411 edges, 361463 markings/sec, 55 secs
lola: 23968650 markings, 35760585 edges, 355925 markings/sec, 60 secs
lola: 25752111 markings, 38420373 edges, 356692 markings/sec, 65 secs
lola: 27537477 markings, 41076893 edges, 357073 markings/sec, 70 secs
lola: 29307822 markings, 43711409 edges, 354069 markings/sec, 75 secs
lola: 31081738 markings, 46354089 edges, 354783 markings/sec, 80 secs
lola: 32861524 markings, 49004420 edges, 355957 markings/sec, 85 secs
lola: 34625059 markings, 51632677 edges, 352707 markings/sec, 90 secs
lola: 36386998 markings, 54254920 edges, 352388 markings/sec, 95 secs
lola: 38146931 markings, 56873899 edges, 351987 markings/sec, 100 secs
lola: 39909796 markings, 59495187 edges, 352573 markings/sec, 105 secs
lola: 41647201 markings, 62087163 edges, 347481 markings/sec, 110 secs
lola: 43394813 markings, 64686844 edges, 349522 markings/sec, 115 secs
lola: 45133549 markings, 67268707 edges, 347747 markings/sec, 120 secs
lola: 46883872 markings, 69877294 edges, 350065 markings/sec, 125 secs
lola: 48634502 markings, 72481708 edges, 350126 markings/sec, 130 secs
lola: 50371908 markings, 75069687 edges, 347481 markings/sec, 135 secs
lola: 52116277 markings, 77666655 edges, 348874 markings/sec, 140 secs
lola: 53841240 markings, 80228206 edges, 344993 markings/sec, 145 secs
lola: 55580643 markings, 82817812 edges, 347881 markings/sec, 150 secs
lola: 57313487 markings, 85398458 edges, 346569 markings/sec, 155 secs
lola: 59045946 markings, 87974311 edges, 346492 markings/sec, 160 secs
lola: 60769166 markings, 90535513 edges, 344644 markings/sec, 165 secs
lola: 62484262 markings, 93098994 edges, 343019 markings/sec, 170 secs
lola: 64223924 markings, 95678255 edges, 347932 markings/sec, 175 secs
lola: 65938243 markings, 98227364 edges, 342864 markings/sec, 180 secs
lola: 67671078 markings, 100805656 edges, 346567 markings/sec, 185 secs
lola: 69384335 markings, 103362678 edges, 342651 markings/sec, 190 secs
lola: 71109499 markings, 105923007 edges, 345033 markings/sec, 195 secs
lola: 72823700 markings, 108472039 edges, 342840 markings/sec, 200 secs
lola: 74535984 markings, 111015938 edges, 342457 markings/sec, 205 secs
lola: 76261663 markings, 113582038 edges, 345136 markings/sec, 210 secs
lola: 77979042 markings, 116140163 edges, 343476 markings/sec, 215 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 220 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: 3125251 markings, 3446655 edges, 625050 markings/sec, 0 secs
lola: 5741658 markings, 6504191 edges, 523281 markings/sec, 5 secs
lola: 8364429 markings, 9571479 edges, 524554 markings/sec, 10 secs
lola: 10955706 markings, 12600583 edges, 518255 markings/sec, 15 secs
lola: 13509131 markings, 15584818 edges, 510685 markings/sec, 20 secs
lola: 16108908 markings, 18627521 edges, 519955 markings/sec, 25 secs
lola: 18666617 markings, 21618397 edges, 511542 markings/sec, 30 secs
lola: 21183199 markings, 24561701 edges, 503316 markings/sec, 35 secs
lola: 23688920 markings, 27491119 edges, 501144 markings/sec, 40 secs
lola: 26190934 markings, 30417971 edges, 500403 markings/sec, 45 secs
lola: 28742050 markings, 33401184 edges, 510223 markings/sec, 50 secs
lola: 31284489 markings, 36377906 edges, 508488 markings/sec, 55 secs
lola: 33810723 markings, 39331784 edges, 505247 markings/sec, 60 secs
lola: 36312280 markings, 42258372 edges, 500311 markings/sec, 65 secs
lola: 38792803 markings, 45159182 edges, 496105 markings/sec, 70 secs
lola: 41286616 markings, 48076500 edges, 498763 markings/sec, 75 secs
lola: 43795332 markings, 51012085 edges, 501743 markings/sec, 80 secs
lola: 46288813 markings, 53928800 edges, 498696 markings/sec, 85 secs
lola: 48749835 markings, 56808161 edges, 492204 markings/sec, 90 secs
lola: 51193754 markings, 59665798 edges, 488784 markings/sec, 95 secs
lola: 53784992 markings, 62697958 edges, 518248 markings/sec, 100 secs
lola: 56291765 markings, 65630922 edges, 501355 markings/sec, 105 secs
lola: 58778076 markings, 68538724 edges, 497262 markings/sec, 110 secs
lola: 61371841 markings, 71573695 edges, 518753 markings/sec, 115 secs
lola: 63849668 markings, 74472515 edges, 495565 markings/sec, 120 secs
lola: 66376602 markings, 77429076 edges, 505387 markings/sec, 125 secs
lola: 68868807 markings, 80344027 edges, 498441 markings/sec, 130 secs
lola: 71336633 markings, 83231731 edges, 493565 markings/sec, 135 secs
lola: 73845874 markings, 86167508 edges, 501848 markings/sec, 140 secs
lola: 76275823 markings, 89011132 edges, 485990 markings/sec, 145 secs
lola: 78803556 markings, 91968475 edges, 505547 markings/sec, 150 secs
lola: 81235578 markings, 94813835 edges, 486404 markings/sec, 155 secs
lola: 83714448 markings, 97714050 edges, 495774 markings/sec, 160 secs
lola: 86168723 markings, 100586639 edges, 490855 markings/sec, 165 secs
lola: 88675587 markings, 103519112 edges, 501373 markings/sec, 170 secs
lola: 91140458 markings, 106402464 edges, 492974 markings/sec, 175 secs
lola: 93606656 markings, 109285641 edges, 493240 markings/sec, 180 secs
lola: 96087275 markings, 112190740 edges, 496124 markings/sec, 185 secs
lola: 98545935 markings, 115064985 edges, 491732 markings/sec, 190 secs
lola: 100941332 markings, 117869342 edges, 479079 markings/sec, 195 secs
lola: 103360959 markings, 120700124 edges, 483925 markings/sec, 200 secs
lola: 105758030 markings, 123505054 edges, 479414 markings/sec, 205 secs
lola: 108220246 markings, 126385623 edges, 492443 markings/sec, 210 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(CF)
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: 3024820 markings, 3386922 edges, 604964 markings/sec, 0 secs
lola: 5692975 markings, 6480895 edges, 533631 markings/sec, 5 secs
lola: 8324651 markings, 9540639 edges, 526335 markings/sec, 10 secs
lola: 10944902 markings, 12582459 edges, 524050 markings/sec, 15 secs
lola: 13576535 markings, 15644077 edges, 526327 markings/sec, 20 secs
lola: 16150847 markings, 18631328 edges, 514862 markings/sec, 25 secs
lola: 18702242 markings, 21600994 edges, 510279 markings/sec, 30 secs
lola: 21279023 markings, 24599368 edges, 515356 markings/sec, 35 secs
lola: 23804791 markings, 27537001 edges, 505154 markings/sec, 40 secs
lola: 26383874 markings, 30535524 edges, 515817 markings/sec, 45 secs
lola: 28926388 markings, 33494390 edges, 508503 markings/sec, 50 secs
lola: 31488238 markings, 36471674 edges, 512370 markings/sec, 55 secs
lola: 34020222 markings, 39413725 edges, 506397 markings/sec, 60 secs
lola: 36531353 markings, 42329928 edges, 502226 markings/sec, 65 secs
lola: 39062361 markings, 45277872 edges, 506202 markings/sec, 70 secs
lola: 41557559 markings, 48185738 edges, 499040 markings/sec, 75 secs
lola: 44084311 markings, 51120491 edges, 505350 markings/sec, 80 secs
lola: 46562129 markings, 54000491 edges, 495564 markings/sec, 85 secs
lola: 49057220 markings, 56913055 edges, 499018 markings/sec, 90 secs
lola: 51632893 markings, 59903903 edges, 515135 markings/sec, 95 secs
lola: 53995981 markings, 62674154 edges, 472618 markings/sec, 100 secs
lola: 56573052 markings, 65663438 edges, 515414 markings/sec, 105 secs
lola: 59156547 markings, 68662077 edges, 516699 markings/sec, 110 secs
lola: 61725948 markings, 71664943 edges, 513880 markings/sec, 115 secs
lola: 64237974 markings, 74577500 edges, 502405 markings/sec, 120 secs
lola: 66763087 markings, 77515332 edges, 505023 markings/sec, 125 secs
lola: 69311430 markings, 80485509 edges, 509669 markings/sec, 130 secs
lola: 71792003 markings, 83358887 edges, 496115 markings/sec, 135 secs
lola: 74275955 markings, 86265404 edges, 496790 markings/sec, 140 secs
lola: 76672244 markings, 89048015 edges, 479258 markings/sec, 145 secs
lola: 79213449 markings, 92015198 edges, 508241 markings/sec, 150 secs
lola: 81669272 markings, 94858235 edges, 491165 markings/sec, 155 secs
lola: 84135753 markings, 97744803 edges, 493296 markings/sec, 160 secs
lola: 86642585 markings, 100645947 edges, 501366 markings/sec, 165 secs
lola: 89142083 markings, 103568818 edges, 499900 markings/sec, 170 secs
lola: 91613161 markings, 106429640 edges, 494216 markings/sec, 175 secs
lola: 94109370 markings, 109348319 edges, 499242 markings/sec, 180 secs
lola: 96622527 markings, 112257783 edges, 502631 markings/sec, 185 secs
lola: 99102165 markings, 115157456 edges, 495928 markings/sec, 190 secs
lola: 101450515 markings, 117885551 edges, 469670 markings/sec, 195 secs
lola: 103897877 markings, 120739391 edges, 489472 markings/sec, 200 secs
lola: 106393996 markings, 123640486 edges, 499224 markings/sec, 205 secs
lola: 108882801 markings, 126537071 edges, 497761 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(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: 2100233 markings, 2836557 edges, 420047 markings/sec, 0 secs
lola: 4001973 markings, 5362175 edges, 380348 markings/sec, 5 secs
lola: 5850666 markings, 7813560 edges, 369739 markings/sec, 10 secs
lola: 7667909 markings, 10216401 edges, 363449 markings/sec, 15 secs
lola: 9482991 markings, 12626142 edges, 363016 markings/sec, 20 secs
lola: 11281004 markings, 15007329 edges, 359603 markings/sec, 25 secs
lola: 13051131 markings, 17339136 edges, 354025 markings/sec, 30 secs
lola: 14829201 markings, 19691804 edges, 355614 markings/sec, 35 secs
lola: 16585711 markings, 22006830 edges, 351302 markings/sec, 40 secs
lola: 18361173 markings, 24357770 edges, 355092 markings/sec, 45 secs
lola: 20112976 markings, 26667083 edges, 350361 markings/sec, 50 secs
lola: 21872262 markings, 29005900 edges, 351857 markings/sec, 55 secs
lola: 23644595 markings, 31356757 edges, 354467 markings/sec, 60 secs
lola: 25389430 markings, 33658493 edges, 348967 markings/sec, 65 secs
lola: 27112848 markings, 35934708 edges, 344684 markings/sec, 70 secs
lola: 28836231 markings, 38207971 edges, 344677 markings/sec, 75 secs
lola: 30553393 markings, 40478936 edges, 343432 markings/sec, 80 secs
lola: 32252174 markings, 42712772 edges, 339756 markings/sec, 85 secs
lola: 33972536 markings, 44975878 edges, 344072 markings/sec, 90 secs
lola: 35660607 markings, 47197219 edges, 337614 markings/sec, 95 secs
lola: 37367153 markings, 49451441 edges, 341309 markings/sec, 100 secs
lola: 39087356 markings, 51737203 edges, 344041 markings/sec, 105 secs
lola: 40777497 markings, 53961328 edges, 338028 markings/sec, 110 secs
lola: 42471257 markings, 56186570 edges, 338752 markings/sec, 115 secs
lola: 44199871 markings, 58488455 edges, 345723 markings/sec, 120 secs
lola: 45898043 markings, 60727196 edges, 339634 markings/sec, 125 secs
lola: 47598052 markings, 62978681 edges, 340002 markings/sec, 130 secs
lola: 49274727 markings, 65184789 edges, 335335 markings/sec, 135 secs
lola: 50945879 markings, 67388443 edges, 334230 markings/sec, 140 secs
lola: 52652921 markings, 69660084 edges, 341408 markings/sec, 145 secs
lola: 54334356 markings, 71879508 edges, 336287 markings/sec, 150 secs
lola: 56010426 markings, 74092470 edges, 335214 markings/sec, 155 secs
lola: 57693537 markings, 76318597 edges, 336622 markings/sec, 160 secs
lola: 59369751 markings, 78536498 edges, 335243 markings/sec, 165 secs
lola: 61041357 markings, 80737877 edges, 334321 markings/sec, 170 secs
lola: 62711516 markings, 82938937 edges, 334032 markings/sec, 175 secs
lola: 64388679 markings, 85148756 edges, 335433 markings/sec, 180 secs
lola: 66039656 markings, 87319203 edges, 330195 markings/sec, 185 secs
lola: 67695470 markings, 89490511 edges, 331163 markings/sec, 190 secs
lola: 69361523 markings, 91680121 edges, 333211 markings/sec, 195 secs
lola: 71028041 markings, 93870798 edges, 333304 markings/sec, 200 secs
lola: 72703691 markings, 96081403 edges, 335130 markings/sec, 205 secs
lola: 74367618 markings, 98269972 edges, 332785 markings/sec, 210 secs
lola: 75967805 markings, 100390793 edges, 320037 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(SwG)
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: 2159529 markings, 3161856 edges, 431906 markings/sec, 0 secs
lola: 4163907 markings, 6129519 edges, 400876 markings/sec, 5 secs
lola: 6106132 markings, 9010421 edges, 388445 markings/sec, 10 secs
lola: 8049007 markings, 11888659 edges, 388575 markings/sec, 15 secs
lola: 9965084 markings, 14731208 edges, 383215 markings/sec, 20 secs
lola: 11866894 markings, 17554870 edges, 380362 markings/sec, 25 secs
lola: 13755335 markings, 20354453 edges, 377688 markings/sec, 30 secs
lola: 15644995 markings, 23156981 edges, 377932 markings/sec, 35 secs
lola: 17523443 markings, 25945311 edges, 375690 markings/sec, 40 secs
lola: 19396984 markings, 28725713 edges, 374708 markings/sec, 45 secs
lola: 21234393 markings, 31455174 edges, 367482 markings/sec, 50 secs
lola: 23098159 markings, 34220138 edges, 372753 markings/sec, 55 secs
lola: 24997776 markings, 37034619 edges, 379923 markings/sec, 60 secs
lola: 26857860 markings, 39793250 edges, 372017 markings/sec, 65 secs
lola: 28657452 markings, 42466881 edges, 359918 markings/sec, 70 secs
lola: 30381764 markings, 45028115 edges, 344862 markings/sec, 75 secs
lola: 32084905 markings, 47552240 edges, 340628 markings/sec, 80 secs
lola: 33749045 markings, 50023299 edges, 332828 markings/sec, 85 secs
lola: 35358842 markings, 52418260 edges, 321959 markings/sec, 90 secs
lola: 37008802 markings, 54868043 edges, 329992 markings/sec, 95 secs
lola: 38586215 markings, 57210151 edges, 315483 markings/sec, 100 secs
lola: 40244543 markings, 59674260 edges, 331666 markings/sec, 105 secs
lola: 41990787 markings, 62270466 edges, 349249 markings/sec, 110 secs
lola: 43802986 markings, 64956947 edges, 362440 markings/sec, 115 secs
lola: 45614700 markings, 67642488 edges, 362343 markings/sec, 120 secs
lola: 47397092 markings, 70290941 edges, 356478 markings/sec, 125 secs
lola: 49178374 markings, 72941021 edges, 356256 markings/sec, 130 secs
lola: 50970836 markings, 75602510 edges, 358492 markings/sec, 135 secs
lola: 52777456 markings, 78285067 edges, 361324 markings/sec, 140 secs
lola: 54567756 markings, 80944393 edges, 358060 markings/sec, 145 secs
lola: 56311518 markings, 83539335 edges, 348752 markings/sec, 150 secs
lola: 58125115 markings, 86233285 edges, 362719 markings/sec, 155 secs
lola: 59901149 markings, 88873889 edges, 355207 markings/sec, 160 secs
lola: 61704602 markings, 91549770 edges, 360691 markings/sec, 165 secs
lola: 63478424 markings, 94186200 edges, 354764 markings/sec, 170 secs
lola: 65185627 markings, 96722692 edges, 341441 markings/sec, 175 secs
lola: 66972572 markings, 99375593 edges, 357389 markings/sec, 180 secs
lola: 68764177 markings, 102033219 edges, 358321 markings/sec, 185 secs
lola: 70579517 markings, 104727364 edges, 363068 markings/sec, 190 secs
lola: 72376037 markings, 107394954 edges, 359304 markings/sec, 195 secs
lola: 74142177 markings, 110020255 edges, 353228 markings/sec, 200 secs
lola: 75906705 markings, 112641735 edges, 352906 markings/sec, 205 secs
lola: 77703263 markings, 115308691 edges, 359312 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(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: 2169859 markings, 3177229 edges, 433972 markings/sec, 0 secs
lola: 4186063 markings, 6162694 edges, 403241 markings/sec, 5 secs
lola: 6144849 markings, 9067802 edges, 391757 markings/sec, 10 secs
lola: 8098774 markings, 11962150 edges, 390785 markings/sec, 15 secs
lola: 10022797 markings, 14817293 edges, 384805 markings/sec, 20 secs
lola: 11933157 markings, 17653711 edges, 382072 markings/sec, 25 secs
lola: 13831682 markings, 20468197 edges, 379705 markings/sec, 30 secs
lola: 15706219 markings, 23248974 edges, 374907 markings/sec, 35 secs
lola: 17583435 markings, 26034219 edges, 375443 markings/sec, 40 secs
lola: 19447529 markings, 28800340 edges, 372819 markings/sec, 45 secs
lola: 21276929 markings, 31518508 edges, 365880 markings/sec, 50 secs
lola: 23135547 markings, 34275249 edges, 371724 markings/sec, 55 secs
lola: 25042679 markings, 37100356 edges, 381426 markings/sec, 60 secs
lola: 26896149 markings, 39850200 edges, 370694 markings/sec, 65 secs
lola: 28702279 markings, 42533514 edges, 361226 markings/sec, 70 secs
lola: 30512511 markings, 45222608 edges, 362046 markings/sec, 75 secs
lola: 32389595 markings, 48002922 edges, 375417 markings/sec, 80 secs
lola: 34197747 markings, 50691534 edges, 361630 markings/sec, 85 secs
lola: 35998137 markings, 53367986 edges, 360078 markings/sec, 90 secs
lola: 37810745 markings, 56059238 edges, 362522 markings/sec, 95 secs
lola: 39640823 markings, 58777210 edges, 366016 markings/sec, 100 secs
lola: 41444307 markings, 61458060 edges, 360697 markings/sec, 105 secs
lola: 43278059 markings, 64179055 edges, 366750 markings/sec, 110 secs
lola: 45103834 markings, 66887171 edges, 365155 markings/sec, 115 secs
lola: 46926308 markings, 69588870 edges, 364495 markings/sec, 120 secs
lola: 48701033 markings, 72230283 edges, 354945 markings/sec, 125 secs
lola: 50509268 markings, 74917201 edges, 361647 markings/sec, 130 secs
lola: 52322055 markings, 77607401 edges, 362557 markings/sec, 135 secs
lola: 54110125 markings, 80264577 edges, 357614 markings/sec, 140 secs
lola: 55872281 markings, 82885787 edges, 352431 markings/sec, 145 secs
lola: 57689610 markings, 85586277 edges, 363466 markings/sec, 150 secs
lola: 59479296 markings, 88248227 edges, 357937 markings/sec, 155 secs
lola: 61295898 markings, 90942619 edges, 363320 markings/sec, 160 secs
lola: 63097067 markings, 93618689 edges, 360234 markings/sec, 165 secs
lola: 64880210 markings, 96269897 edges, 356629 markings/sec, 170 secs
lola: 66686127 markings, 98951109 edges, 361183 markings/sec, 175 secs
lola: 68473017 markings, 101602955 edges, 357378 markings/sec, 180 secs
lola: 70305726 markings, 104320325 edges, 366542 markings/sec, 185 secs
lola: 72101827 markings, 106988353 edges, 359220 markings/sec, 190 secs
lola: 73889461 markings, 109644739 edges, 357527 markings/sec, 195 secs
lola: 75679990 markings, 112303887 edges, 358106 markings/sec, 200 secs
lola: 77477387 markings, 114973558 edges, 359479 markings/sec, 205 secs
lola: 79256143 markings, 117618055 edges, 355751 markings/sec, 210 secs
lola: 81060584 markings, 120296314 edges, 360888 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-N0100P0-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0100P0-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496608178044
--------------------
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-N0100P0"
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-N0100P0.tgz
mv ClientsAndServers-PT-N0100P0 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-N0100P0, 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-149580920100272"
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 ;