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 SmallOperatingSystem-PT-MT2048DC1024, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008100020
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494927891018


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SmallOperatingSystem-PT-MT2048DC1024 @ 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: 17/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 9 places, 8 transitions, 5 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10 transition conflict sets
lola: TASK
lola: reading formula from SmallOperatingSystem-PT-MT2048DC1024-UpperBounds.task
lola: MAX(TaskSuspended) : MAX(ExecutingTask) : MAX(FreeMemSegment) : MAX(CPUUnit) : MAX(LoadingMem) : MAX(TaskSuspended) : MAX(LoadingMem) : MAX(ExecutingTask) : MAX(TaskReady) : MAX(TaskSuspended) : MAX(TransferToDisk) : MAX(CPUUnit) : MAX(FreeMemSegment) : MAX(LoadingMem) : MAX(TaskSuspended) : MAX(FreeMemSegment)
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(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2931223 markings, 4884417 edges, 586245 markings/sec, 0 secs
lola: 5517167 markings, 9304840 edges, 517189 markings/sec, 5 secs
lola: 7788153 markings, 13324166 edges, 454197 markings/sec, 10 secs
lola: 9916134 markings, 17156695 edges, 425596 markings/sec, 15 secs
lola: 11958091 markings, 20876344 edges, 408391 markings/sec, 20 secs
lola: 14352091 markings, 24969026 edges, 478800 markings/sec, 25 secs
lola: 16053887 markings, 28544270 edges, 340359 markings/sec, 30 secs
lola: 16785827 markings, 31291699 edges, 146388 markings/sec, 35 secs
lola: 17537779 markings, 33990572 edges, 150390 markings/sec, 40 secs
lola: 18306137 markings, 36671980 edges, 153672 markings/sec, 45 secs
lola: 19093245 markings, 39363731 edges, 157422 markings/sec, 50 secs
lola: 19903148 markings, 42081028 edges, 161981 markings/sec, 55 secs
lola: 20738209 markings, 44851607 edges, 167012 markings/sec, 60 secs
lola: 23294432 markings, 49467097 edges, 511245 markings/sec, 65 secs
lola: 25920094 markings, 53844335 edges, 525132 markings/sec, 70 secs
lola: 28398641 markings, 57975172 edges, 495709 markings/sec, 75 secs
lola: 30759908 markings, 61909729 edges, 472253 markings/sec, 80 secs
lola: 33010215 markings, 65661254 edges, 450061 markings/sec, 85 secs
lola: 35148874 markings, 69237630 edges, 427732 markings/sec, 90 secs
lola: 36788584 markings, 72813670 edges, 327942 markings/sec, 95 secs
lola: 37277120 markings, 76231868 edges, 97707 markings/sec, 100 secs
lola: 38047249 markings, 79601748 edges, 154026 markings/sec, 105 secs
lola: 40232516 markings, 83244919 edges, 437053 markings/sec, 110 secs
lola: 42410397 markings, 86883897 edges, 435576 markings/sec, 115 secs
lola: 44564549 markings, 90506021 edges, 430830 markings/sec, 120 secs
lola: 46706003 markings, 94076042 edges, 428291 markings/sec, 125 secs
lola: 48819085 markings, 97645189 edges, 422616 markings/sec, 130 secs
lola: 50948205 markings, 101209106 edges, 425824 markings/sec, 135 secs
lola: 53064203 markings, 104736996 edges, 423200 markings/sec, 140 secs
lola: 55145049 markings, 108266479 edges, 416169 markings/sec, 145 secs
lola: 57216752 markings, 111805072 edges, 414341 markings/sec, 150 secs
lola: 59311064 markings, 115296695 edges, 418862 markings/sec, 155 secs
lola: 61352143 markings, 118768456 edges, 408216 markings/sec, 160 secs
lola: 63429537 markings, 122271653 edges, 415479 markings/sec, 165 secs
lola: 65499968 markings, 125737737 edges, 414086 markings/sec, 170 secs
lola: 67562158 markings, 129200132 edges, 412438 markings/sec, 175 secs
lola: 69575930 markings, 132611440 edges, 402754 markings/sec, 180 secs
lola: 71552468 markings, 135952933 edges, 395308 markings/sec, 185 secs
lola: 73296272 markings, 138883735 edges, 348761 markings/sec, 190 secs
lola: 75169394 markings, 142016089 edges, 374624 markings/sec, 195 secs
lola: 77079617 markings, 145200798 edges, 382045 markings/sec, 200 secs
lola: 78866882 markings, 148207413 edges, 357453 markings/sec, 205 secs
lola: 80393722 markings, 151044466 edges, 305368 markings/sec, 210 secs
lola: 81222149 markings, 153533091 edges, 165685 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(ExecutingTask)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2619719 markings, 3929578 edges, 523944 markings/sec, 0 secs
lola: 4873566 markings, 7489362 edges, 450769 markings/sec, 5 secs
lola: 6688449 markings, 10671929 edges, 362977 markings/sec, 10 secs
lola: 8336021 markings, 13720547 edges, 329514 markings/sec, 15 secs
lola: 9901234 markings, 16715126 edges, 313043 markings/sec, 20 secs
lola: 11399771 markings, 19656797 edges, 299707 markings/sec, 25 secs
lola: 13480713 markings, 23125639 edges, 416188 markings/sec, 30 secs
lola: 15769832 markings, 26563050 edges, 457824 markings/sec, 35 secs
lola: 17924887 markings, 29799141 edges, 431011 markings/sec, 40 secs
lola: 20174578 markings, 33344032 edges, 449938 markings/sec, 45 secs
lola: 22785676 markings, 37549294 edges, 522220 markings/sec, 50 secs
lola: 25233235 markings, 41528171 edges, 489512 markings/sec, 55 secs
lola: 27578280 markings, 45330511 edges, 469009 markings/sec, 60 secs
lola: 30004749 markings, 49333662 edges, 485294 markings/sec, 65 secs
lola: 32479749 markings, 53187289 edges, 495000 markings/sec, 70 secs
lola: 34731714 markings, 57085055 edges, 450393 markings/sec, 75 secs
lola: 36232298 markings, 60813472 edges, 300117 markings/sec, 80 secs
lola: 38314961 markings, 64227109 edges, 416533 markings/sec, 85 secs
lola: 40435683 markings, 67589795 edges, 424144 markings/sec, 90 secs
lola: 42586139 markings, 70851135 edges, 430091 markings/sec, 95 secs
lola: 44680490 markings, 74008735 edges, 418870 markings/sec, 100 secs
lola: 46730041 markings, 77095823 edges, 409910 markings/sec, 105 secs
lola: 48762261 markings, 80155636 edges, 406444 markings/sec, 110 secs
lola: 50917140 markings, 83397671 edges, 430976 markings/sec, 115 secs
lola: 53163204 markings, 86778578 edges, 449213 markings/sec, 120 secs
lola: 55412440 markings, 90162328 edges, 449847 markings/sec, 125 secs
lola: 57651078 markings, 93530267 edges, 447728 markings/sec, 130 secs
lola: 59862758 markings, 96855721 edges, 442336 markings/sec, 135 secs
lola: 62035235 markings, 100124572 edges, 434495 markings/sec, 140 secs
lola: 64184700 markings, 103356888 edges, 429893 markings/sec, 145 secs
lola: 66312597 markings, 106555674 edges, 425579 markings/sec, 150 secs
lola: 68454388 markings, 109775453 edges, 428358 markings/sec, 155 secs
lola: 70590842 markings, 112988279 edges, 427291 markings/sec, 160 secs
lola: 72753587 markings, 116240651 edges, 432549 markings/sec, 165 secs
lola: 74846123 markings, 119386614 edges, 418507 markings/sec, 170 secs
lola: 76987933 markings, 122606633 edges, 428362 markings/sec, 175 secs
lola: 79098437 markings, 125778391 edges, 422101 markings/sec, 180 secs
lola: 81202287 markings, 128941456 edges, 420770 markings/sec, 185 secs
lola: 83303060 markings, 132100067 edges, 420155 markings/sec, 190 secs
lola: 85425573 markings, 135289851 edges, 424503 markings/sec, 195 secs
lola: 87549379 markings, 138482981 edges, 424761 markings/sec, 200 secs
lola: 89662987 markings, 141657494 edges, 422722 markings/sec, 205 secs
lola: 91781455 markings, 144841675 edges, 423694 markings/sec, 210 secs
lola: 93907877 markings, 148046858 edges, 425284 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(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2279970 markings, 5254558 edges, 455994 markings/sec, 0 secs
lola: 4211519 markings, 9795922 edges, 386310 markings/sec, 5 secs
lola: 6011905 markings, 14044743 edges, 360077 markings/sec, 10 secs
lola: 7769019 markings, 18198645 edges, 351423 markings/sec, 15 secs
lola: 9485528 markings, 22264102 edges, 343302 markings/sec, 20 secs
lola: 11131307 markings, 26183325 edges, 329156 markings/sec, 25 secs
lola: 12573353 markings, 29606633 edges, 288409 markings/sec, 30 secs
lola: 14049141 markings, 33119105 edges, 295158 markings/sec, 35 secs
lola: 15525043 markings, 36615255 edges, 295180 markings/sec, 40 secs
lola: 16906572 markings, 39902996 edges, 276306 markings/sec, 45 secs
lola: 18384728 markings, 43420742 edges, 295631 markings/sec, 50 secs
lola: 19830629 markings, 46859702 edges, 289180 markings/sec, 55 secs
lola: 21246395 markings, 50221183 edges, 283153 markings/sec, 60 secs
lola: 22671125 markings, 53624242 edges, 284946 markings/sec, 65 secs
lola: 24100646 markings, 57024655 edges, 285904 markings/sec, 70 secs
lola: 25519011 markings, 60398879 edges, 283673 markings/sec, 75 secs
lola: 26971604 markings, 63848549 edges, 290519 markings/sec, 80 secs
lola: 28385192 markings, 67211642 edges, 282718 markings/sec, 85 secs
lola: 29889405 markings, 70808809 edges, 300843 markings/sec, 90 secs
lola: 31408274 markings, 74432771 edges, 303774 markings/sec, 95 secs
lola: 32927495 markings, 78057410 edges, 303844 markings/sec, 100 secs
lola: 34413064 markings, 81600211 edges, 297114 markings/sec, 105 secs
lola: 35896332 markings, 85127827 edges, 296654 markings/sec, 110 secs
lola: 37422620 markings, 88761934 edges, 305258 markings/sec, 115 secs
lola: 38929740 markings, 92347274 edges, 301424 markings/sec, 120 secs
lola: 40428706 markings, 95906120 edges, 299793 markings/sec, 125 secs
lola: 41894291 markings, 99409005 edges, 293117 markings/sec, 130 secs
lola: 43435323 markings, 103099072 edges, 308206 markings/sec, 135 secs
lola: 44990914 markings, 106814465 edges, 311118 markings/sec, 140 secs
lola: 46530631 markings, 110492313 edges, 307943 markings/sec, 145 secs
lola: 48032735 markings, 114067855 edges, 300421 markings/sec, 150 secs
lola: 49568162 markings, 117729885 edges, 307085 markings/sec, 155 secs
lola: 51059721 markings, 121279065 edges, 298312 markings/sec, 160 secs
lola: 52555719 markings, 124829640 edges, 299200 markings/sec, 165 secs
lola: 54040484 markings, 128379275 edges, 296953 markings/sec, 170 secs
lola: 55503301 markings, 131869452 edges, 292563 markings/sec, 175 secs
lola: 56776134 markings, 134905695 edges, 254567 markings/sec, 180 secs
lola: 58024983 markings, 137883348 edges, 249770 markings/sec, 185 secs
lola: 59392133 markings, 141155850 edges, 273430 markings/sec, 190 secs
lola: 60738091 markings, 144370026 edges, 269192 markings/sec, 195 secs
lola: 62071128 markings, 147559420 edges, 266607 markings/sec, 200 secs
lola: 63400362 markings, 150739509 edges, 265847 markings/sec, 205 secs
lola: 64686880 markings, 153808609 edges, 257304 markings/sec, 210 secs
lola: 66008863 markings, 156965728 edges, 264397 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(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2860002 markings, 4765801 edges, 572000 markings/sec, 0 secs
lola: 5328457 markings, 8975446 edges, 493691 markings/sec, 5 secs
lola: 7331057 markings, 12508192 edges, 400520 markings/sec, 10 secs
lola: 9256426 markings, 15963922 edges, 385074 markings/sec, 15 secs
lola: 11179323 markings, 19454277 edges, 384579 markings/sec, 20 secs
lola: 13269903 markings, 23164955 edges, 418116 markings/sec, 25 secs
lola: 15721220 markings, 27251332 edges, 490263 markings/sec, 30 secs
lola: 16474551 markings, 30138971 edges, 150666 markings/sec, 35 secs
lola: 17238782 markings, 32928795 edges, 152846 markings/sec, 40 secs
lola: 18030009 markings, 35714293 edges, 158245 markings/sec, 45 secs
lola: 18852033 markings, 38542394 edges, 164405 markings/sec, 50 secs
lola: 19711771 markings, 41443259 edges, 171948 markings/sec, 55 secs
lola: 20612227 markings, 44438672 edges, 180091 markings/sec, 60 secs
lola: 22984774 markings, 48950886 edges, 474509 markings/sec, 65 secs
lola: 25656898 markings, 53405612 edges, 534425 markings/sec, 70 secs
lola: 28173813 markings, 57600492 edges, 503383 markings/sec, 75 secs
lola: 30542731 markings, 61547637 edges, 473784 markings/sec, 80 secs
lola: 32789768 markings, 65293749 edges, 449407 markings/sec, 85 secs
lola: 34956814 markings, 68917069 edges, 433409 markings/sec, 90 secs
lola: 36737696 markings, 72458366 edges, 356176 markings/sec, 95 secs
lola: 37214720 markings, 75798305 edges, 95405 markings/sec, 100 secs
lola: 37713391 markings, 79045398 edges, 99734 markings/sec, 105 secs
lola: 39867190 markings, 82635725 edges, 430760 markings/sec, 110 secs
lola: 42035147 markings, 86258537 edges, 433591 markings/sec, 115 secs
lola: 44163385 markings, 89837216 edges, 425648 markings/sec, 120 secs
lola: 46263382 markings, 93338135 edges, 419999 markings/sec, 125 secs
lola: 48371135 markings, 96898435 edges, 421551 markings/sec, 130 secs
lola: 50473204 markings, 100417268 edges, 420414 markings/sec, 135 secs
lola: 52548674 markings, 103877431 edges, 415094 markings/sec, 140 secs
lola: 54591230 markings, 107343224 edges, 408511 markings/sec, 145 secs
lola: 56587331 markings, 110755693 edges, 399220 markings/sec, 150 secs
lola: 58606434 markings, 114121698 edges, 403821 markings/sec, 155 secs
lola: 60602911 markings, 117519408 edges, 399295 markings/sec, 160 secs
lola: 62631665 markings, 120941537 edges, 405751 markings/sec, 165 secs
lola: 64694441 markings, 124380433 edges, 412555 markings/sec, 170 secs
lola: 66743489 markings, 127835506 edges, 409810 markings/sec, 175 secs
lola: 68762532 markings, 131252609 edges, 403809 markings/sec, 180 secs
lola: 70727620 markings, 134550227 edges, 393018 markings/sec, 185 secs
lola: 72696370 markings, 137883625 edges, 393750 markings/sec, 190 secs
lola: 74712159 markings, 141253708 edges, 403158 markings/sec, 195 secs
lola: 76763413 markings, 144673534 edges, 410251 markings/sec, 200 secs
lola: 78701537 markings, 147931448 edges, 387625 markings/sec, 205 secs
lola: 80401399 markings, 151067336 edges, 339972 markings/sec, 210 secs
lola: 81364407 markings, 153959854 edges, 192602 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(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2495437 markings, 4623574 edges, 499087 markings/sec, 0 secs
lola: 4662468 markings, 8875884 edges, 433406 markings/sec, 5 secs
lola: 6760293 markings, 12975539 edges, 419565 markings/sec, 10 secs
lola: 8788294 markings, 17008573 edges, 405600 markings/sec, 15 secs
lola: 10717764 markings, 20938764 edges, 385894 markings/sec, 20 secs
lola: 12526572 markings, 24635002 edges, 361762 markings/sec, 25 secs
lola: 13892358 markings, 27584851 edges, 273157 markings/sec, 30 secs
lola: 15233769 markings, 30482686 edges, 268282 markings/sec, 35 secs
lola: 16540397 markings, 33305756 edges, 261326 markings/sec, 40 secs
lola: 17840569 markings, 36116194 edges, 260034 markings/sec, 45 secs
lola: 19128692 markings, 38900379 edges, 257625 markings/sec, 50 secs
lola: 20429038 markings, 41711643 edges, 260069 markings/sec, 55 secs
lola: 21748976 markings, 44564573 edges, 263988 markings/sec, 60 secs
lola: 23067157 markings, 47414372 edges, 263636 markings/sec, 65 secs
lola: 24349003 markings, 50185091 edges, 256369 markings/sec, 70 secs
lola: 25630144 markings, 52955038 edges, 256228 markings/sec, 75 secs
lola: 26915540 markings, 55734094 edges, 257079 markings/sec, 80 secs
lola: 28189889 markings, 58489089 edges, 254870 markings/sec, 85 secs
lola: 29461555 markings, 61237594 edges, 254333 markings/sec, 90 secs
lola: 30729501 markings, 63978223 edges, 253589 markings/sec, 95 secs
lola: 32003807 markings, 66733412 edges, 254861 markings/sec, 100 secs
lola: 33264692 markings, 69459404 edges, 252177 markings/sec, 105 secs
lola: 34572206 markings, 72286310 edges, 261503 markings/sec, 110 secs
lola: 35882852 markings, 75120217 edges, 262129 markings/sec, 115 secs
lola: 37179323 markings, 77921985 edges, 259294 markings/sec, 120 secs
lola: 38472941 markings, 80719685 edges, 258724 markings/sec, 125 secs
lola: 39770121 markings, 83523999 edges, 259436 markings/sec, 130 secs
lola: 41071706 markings, 86338933 edges, 260317 markings/sec, 135 secs
lola: 42397497 markings, 89204712 edges, 265158 markings/sec, 140 secs
lola: 43720852 markings, 92065851 edges, 264671 markings/sec, 145 secs
lola: 45052987 markings, 94946473 edges, 266427 markings/sec, 150 secs
lola: 46366561 markings, 97787257 edges, 262715 markings/sec, 155 secs
lola: 47676185 markings, 100618483 edges, 261925 markings/sec, 160 secs
lola: 48956944 markings, 103388137 edges, 256152 markings/sec, 165 secs
lola: 50239656 markings, 106160966 edges, 256542 markings/sec, 170 secs
lola: 51545746 markings, 108983470 edges, 261218 markings/sec, 175 secs
lola: 52828555 markings, 111756716 edges, 256562 markings/sec, 180 secs
lola: 54096095 markings, 114498464 edges, 253508 markings/sec, 185 secs
lola: 55352590 markings, 117213017 edges, 251299 markings/sec, 190 secs
lola: 56618315 markings, 119947864 edges, 253145 markings/sec, 195 secs
lola: 57903581 markings, 122724739 edges, 257053 markings/sec, 200 secs
lola: 59215137 markings, 125560488 edges, 262311 markings/sec, 205 secs
lola: 60493419 markings, 128325072 edges, 255656 markings/sec, 210 secs
lola: 61752285 markings, 131047477 edges, 251773 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(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2875423 markings, 4791651 edges, 575085 markings/sec, 0 secs
lola: 5341391 markings, 8997655 edges, 493194 markings/sec, 5 secs
lola: 7471713 markings, 12759022 edges, 426064 markings/sec, 10 secs
lola: 9414574 markings, 16249831 edges, 388572 markings/sec, 15 secs
lola: 11327637 markings, 19723622 edges, 382613 markings/sec, 20 secs
lola: 13452883 markings, 23469875 edges, 425049 markings/sec, 25 secs
lola: 15784371 markings, 27494818 edges, 466298 markings/sec, 30 secs
lola: 16554807 markings, 30438927 edges, 154087 markings/sec, 35 secs
lola: 17348737 markings, 33318005 edges, 158786 markings/sec, 40 secs
lola: 18152356 markings, 36140273 edges, 160724 markings/sec, 45 secs
lola: 18989506 markings, 39008774 edges, 167430 markings/sec, 50 secs
lola: 19852781 markings, 41914442 edges, 172655 markings/sec, 55 secs
lola: 20747603 markings, 44881708 edges, 178964 markings/sec, 60 secs
lola: 23333063 markings, 49531448 edges, 517092 markings/sec, 65 secs
lola: 25863381 markings, 53749831 edges, 506064 markings/sec, 70 secs
lola: 28284197 markings, 57784359 edges, 484163 markings/sec, 75 secs
lola: 30511742 markings, 61496010 edges, 445509 markings/sec, 80 secs
lola: 32652375 markings, 65064614 edges, 428127 markings/sec, 85 secs
lola: 34722830 markings, 68526822 edges, 414091 markings/sec, 90 secs
lola: 36652744 markings, 71863199 edges, 385983 markings/sec, 95 secs
lola: 37120388 markings, 75136104 edges, 93529 markings/sec, 100 secs
lola: 37561834 markings, 78225433 edges, 88289 markings/sec, 105 secs
lola: 39244258 markings, 81597211 edges, 336485 markings/sec, 110 secs
lola: 41286821 markings, 85010875 edges, 408513 markings/sec, 115 secs
lola: 43321985 markings, 88403858 edges, 407033 markings/sec, 120 secs
lola: 45343941 markings, 91805130 edges, 404391 markings/sec, 125 secs
lola: 47352459 markings, 95200134 edges, 401704 markings/sec, 130 secs
lola: 49388214 markings, 98594030 edges, 407151 markings/sec, 135 secs
lola: 51418410 markings, 101992938 edges, 406039 markings/sec, 140 secs
lola: 53395239 markings, 105349516 edges, 395366 markings/sec, 145 secs
lola: 55358925 markings, 108623038 edges, 392737 markings/sec, 150 secs
lola: 57275203 markings, 111902278 edges, 383256 markings/sec, 155 secs
lola: 59209406 markings, 115127145 edges, 386841 markings/sec, 160 secs
lola: 61094065 markings, 118338400 edges, 376932 markings/sec, 165 secs
lola: 63007456 markings, 121568049 edges, 382678 markings/sec, 170 secs
lola: 64927061 markings, 124768390 edges, 383921 markings/sec, 175 secs
lola: 66841974 markings, 127999614 edges, 382983 markings/sec, 180 secs
lola: 68747491 markings, 131227379 edges, 381103 markings/sec, 185 secs
lola: 70554558 markings, 134260919 edges, 361413 markings/sec, 190 secs
lola: 72382073 markings, 137359712 edges, 365503 markings/sec, 195 secs
lola: 74273329 markings, 140512828 edges, 378251 markings/sec, 200 secs
lola: 76192952 markings, 143722354 edges, 383925 markings/sec, 205 secs
lola: 78041274 markings, 146830400 edges, 369664 markings/sec, 210 secs
lola: 79822706 markings, 149801951 edges, 356286 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(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2527171 markings, 4682657 edges, 505434 markings/sec, 0 secs
lola: 4707470 markings, 8964349 edges, 436060 markings/sec, 5 secs
lola: 6830693 markings, 13114245 edges, 424645 markings/sec, 10 secs
lola: 8905034 markings, 17242882 edges, 414868 markings/sec, 15 secs
lola: 10813080 markings, 21128098 edges, 381609 markings/sec, 20 secs
lola: 12626485 markings, 24850562 edges, 362681 markings/sec, 25 secs
lola: 14054941 markings, 27936004 edges, 285691 markings/sec, 30 secs
lola: 15465701 markings, 30984114 edges, 282152 markings/sec, 35 secs
lola: 16877388 markings, 34034137 edges, 282337 markings/sec, 40 secs
lola: 18289528 markings, 37087236 edges, 282428 markings/sec, 45 secs
lola: 19697398 markings, 40129810 edges, 281574 markings/sec, 50 secs
lola: 21103286 markings, 43169004 edges, 281178 markings/sec, 55 secs
lola: 22449353 markings, 46078708 edges, 269213 markings/sec, 60 secs
lola: 23797024 markings, 48991852 edges, 269534 markings/sec, 65 secs
lola: 25155352 markings, 51928235 edges, 271666 markings/sec, 70 secs
lola: 26453770 markings, 54735892 edges, 259684 markings/sec, 75 secs
lola: 27754774 markings, 57548207 edges, 260201 markings/sec, 80 secs
lola: 29034531 markings, 60314292 edges, 255951 markings/sec, 85 secs
lola: 30335287 markings, 63126591 edges, 260151 markings/sec, 90 secs
lola: 31606828 markings, 65875292 edges, 254308 markings/sec, 95 secs
lola: 32898851 markings, 68668521 edges, 258405 markings/sec, 100 secs
lola: 34220151 markings, 71525012 edges, 264260 markings/sec, 105 secs
lola: 35533284 markings, 74364456 edges, 262627 markings/sec, 110 secs
lola: 36797744 markings, 77097825 edges, 252892 markings/sec, 115 secs
lola: 38088145 markings, 79887694 edges, 258080 markings/sec, 120 secs
lola: 39361643 markings, 82640532 edges, 254700 markings/sec, 125 secs
lola: 40677113 markings, 85485713 edges, 263094 markings/sec, 130 secs
lola: 42021276 markings, 88391854 edges, 268833 markings/sec, 135 secs
lola: 43388893 markings, 91347878 edges, 273523 markings/sec, 140 secs
lola: 44759854 markings, 94312476 edges, 274192 markings/sec, 145 secs
lola: 46128167 markings, 97272052 edges, 273663 markings/sec, 150 secs
lola: 47507891 markings, 100254501 edges, 275945 markings/sec, 155 secs
lola: 48875300 markings, 103211970 edges, 273482 markings/sec, 160 secs
lola: 50253917 markings, 106191862 edges, 275723 markings/sec, 165 secs
lola: 51640501 markings, 109188587 edges, 277317 markings/sec, 170 secs
lola: 52939461 markings, 111996902 edges, 259792 markings/sec, 175 secs
lola: 54170034 markings, 114658059 edges, 246115 markings/sec, 180 secs
lola: 55415124 markings, 117348405 edges, 249018 markings/sec, 185 secs
lola: 56690704 markings, 120104552 edges, 255116 markings/sec, 190 secs
lola: 57983021 markings, 122896362 edges, 258463 markings/sec, 195 secs
lola: 59302966 markings, 125750836 edges, 263989 markings/sec, 200 secs
lola: 60578714 markings, 128509169 edges, 255150 markings/sec, 205 secs
lola: 61845076 markings, 131247956 edges, 253272 markings/sec, 210 secs
lola: 63096141 markings, 133950340 edges, 250213 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ExecutingTask)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2626346 markings, 3939522 edges, 525269 markings/sec, 0 secs
lola: 4473319 markings, 6820135 edges, 369395 markings/sec, 5 secs
lola: 6119010 markings, 9650172 edges, 329138 markings/sec, 10 secs
lola: 7665479 markings, 12463339 edges, 309294 markings/sec, 15 secs
lola: 9162502 markings, 15291197 edges, 299405 markings/sec, 20 secs
lola: 10588472 markings, 18056762 edges, 285194 markings/sec, 25 secs
lola: 11975795 markings, 20803161 edges, 277465 markings/sec, 30 secs
lola: 14474097 markings, 24617341 edges, 499660 markings/sec, 35 secs
lola: 16783412 markings, 28085069 edges, 461863 markings/sec, 40 secs
lola: 19017434 markings, 31512182 edges, 446804 markings/sec, 45 secs
lola: 21366380 markings, 35231601 edges, 469789 markings/sec, 50 secs
lola: 23907667 markings, 39369223 edges, 508257 markings/sec, 55 secs
lola: 26217754 markings, 43150009 edges, 462017 markings/sec, 60 secs
lola: 28629480 markings, 47059327 edges, 482345 markings/sec, 65 secs
lola: 31112949 markings, 51131675 edges, 496694 markings/sec, 70 secs
lola: 33906726 markings, 55329389 edges, 558755 markings/sec, 75 secs
lola: 35376284 markings, 59447834 edges, 293912 markings/sec, 80 secs
lola: 37535242 markings, 63025038 edges, 431792 markings/sec, 85 secs
lola: 39833088 markings, 66654568 edges, 459569 markings/sec, 90 secs
lola: 42200030 markings, 70265760 edges, 473388 markings/sec, 95 secs
lola: 44520244 markings, 73765279 edges, 464043 markings/sec, 100 secs
lola: 46773819 markings, 77161508 edges, 450715 markings/sec, 105 secs
lola: 48946262 markings, 80431589 edges, 434489 markings/sec, 110 secs
lola: 50950375 markings, 83447514 edges, 400823 markings/sec, 115 secs
lola: 52921437 markings, 86413955 edges, 394212 markings/sec, 120 secs
lola: 54920299 markings, 89422180 edges, 399772 markings/sec, 125 secs
lola: 56945983 markings, 92468717 edges, 405137 markings/sec, 130 secs
lola: 59061031 markings, 95651323 edges, 423010 markings/sec, 135 secs
lola: 61212681 markings, 98885586 edges, 430330 markings/sec, 140 secs
lola: 63428830 markings, 102219973 edges, 443230 markings/sec, 145 secs
lola: 65640495 markings, 105544475 edges, 442333 markings/sec, 150 secs
lola: 67817180 markings, 108817582 edges, 435337 markings/sec, 155 secs
lola: 69995639 markings, 112093479 edges, 435692 markings/sec, 160 secs
lola: 72166178 markings, 115356354 edges, 434108 markings/sec, 165 secs
lola: 74337386 markings, 118620389 edges, 434242 markings/sec, 170 secs
lola: 76515830 markings, 121896273 edges, 435689 markings/sec, 175 secs
lola: 78706903 markings, 125191217 edges, 438215 markings/sec, 180 secs
lola: 80877713 markings, 128454701 edges, 434162 markings/sec, 185 secs
lola: 83055612 markings, 131726551 edges, 435580 markings/sec, 190 secs
lola: 85111926 markings, 134819486 edges, 411263 markings/sec, 195 secs
lola: 87158720 markings, 137893799 edges, 409359 markings/sec, 200 secs
lola: 89215926 markings, 140987061 edges, 411441 markings/sec, 205 secs
lola: 91259238 markings, 144056103 edges, 408662 markings/sec, 210 secs
lola: 93306752 markings, 147143520 edges, 409503 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1794742 markings, 4327773 edges, 358948 markings/sec, 0 secs
lola: 3430238 markings, 8333463 edges, 327099 markings/sec, 5 secs
lola: 5016035 markings, 12242839 edges, 317159 markings/sec, 10 secs
lola: 6580271 markings, 16090913 edges, 312847 markings/sec, 15 secs
lola: 8123795 markings, 19891373 edges, 308705 markings/sec, 20 secs
lola: 9634751 markings, 23615224 edges, 302191 markings/sec, 25 secs
lola: 11116465 markings, 27273601 edges, 296343 markings/sec, 30 secs
lola: 12583371 markings, 30897396 edges, 293381 markings/sec, 35 secs
lola: 14080957 markings, 34598994 edges, 299517 markings/sec, 40 secs
lola: 15567942 markings, 38277656 edges, 297397 markings/sec, 45 secs
lola: 17058929 markings, 41971626 edges, 298197 markings/sec, 50 secs
lola: 18531281 markings, 45615570 edges, 294470 markings/sec, 55 secs
lola: 19991541 markings, 49225939 edges, 292052 markings/sec, 60 secs
lola: 21447308 markings, 52823033 edges, 291153 markings/sec, 65 secs
lola: 22924262 markings, 56468728 edges, 295391 markings/sec, 70 secs
lola: 24389648 markings, 60091624 edges, 293077 markings/sec, 75 secs
lola: 25889201 markings, 63780400 edges, 299911 markings/sec, 80 secs
lola: 27353060 markings, 67396877 edges, 292772 markings/sec, 85 secs
lola: 28814784 markings, 70999327 edges, 292345 markings/sec, 90 secs
lola: 30253737 markings, 74561162 edges, 287791 markings/sec, 95 secs
lola: 31711644 markings, 78156492 edges, 291581 markings/sec, 100 secs
lola: 33150077 markings, 81725678 edges, 287687 markings/sec, 105 secs
lola: 34602251 markings, 85310356 edges, 290435 markings/sec, 110 secs
lola: 36035665 markings, 88871595 edges, 286683 markings/sec, 115 secs
lola: 37450269 markings, 92395183 edges, 282921 markings/sec, 120 secs
lola: 38877640 markings, 95953169 edges, 285474 markings/sec, 125 secs
lola: 40335581 markings, 99569271 edges, 291588 markings/sec, 130 secs
lola: 41768912 markings, 103121329 edges, 286666 markings/sec, 135 secs
lola: 43182503 markings, 106639356 edges, 282718 markings/sec, 140 secs
lola: 44595558 markings, 110159205 edges, 282611 markings/sec, 145 secs
lola: 46025820 markings, 113725139 edges, 286052 markings/sec, 150 secs
lola: 47446331 markings, 117263945 edges, 284102 markings/sec, 155 secs
lola: 48886838 markings, 120848604 edges, 288101 markings/sec, 160 secs
lola: 50305654 markings, 124379408 edges, 283763 markings/sec, 165 secs
lola: 51741609 markings, 127949589 edges, 287191 markings/sec, 170 secs
lola: 53132577 markings, 131428734 edges, 278194 markings/sec, 175 secs
lola: 54522539 markings, 134876567 edges, 277992 markings/sec, 180 secs
lola: 55917361 markings, 138330752 edges, 278964 markings/sec, 185 secs
lola: 57318360 markings, 141831818 edges, 280200 markings/sec, 190 secs
lola: 58730697 markings, 145337583 edges, 282467 markings/sec, 195 secs
lola: 60164525 markings, 148908575 edges, 286766 markings/sec, 200 secs
lola: 61609992 markings, 152487699 edges, 289093 markings/sec, 205 secs
lola: 63072151 markings, 156080166 edges, 292432 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2891489 markings, 4818286 edges, 578298 markings/sec, 0 secs
lola: 5381533 markings, 9067712 edges, 498009 markings/sec, 5 secs
lola: 7415002 markings, 12657889 edges, 406694 markings/sec, 10 secs
lola: 9376580 markings, 16180699 edges, 392316 markings/sec, 15 secs
lola: 11320667 markings, 19711657 edges, 388817 markings/sec, 20 secs
lola: 13514328 markings, 23572301 edges, 438732 markings/sec, 25 secs
lola: 15814705 markings, 27610186 edges, 460075 markings/sec, 30 secs
lola: 16618326 markings, 30672526 edges, 160724 markings/sec, 35 secs
lola: 17442737 markings, 33653944 edges, 164882 markings/sec, 40 secs
lola: 18271507 markings, 36552375 edges, 165754 markings/sec, 45 secs
lola: 19115369 markings, 39435092 edges, 168772 markings/sec, 50 secs
lola: 19995627 markings, 42389735 edges, 176052 markings/sec, 55 secs
lola: 20918472 markings, 45444213 edges, 184569 markings/sec, 60 secs
lola: 23927614 markings, 50522903 edges, 601828 markings/sec, 65 secs
lola: 26478930 markings, 54775618 edges, 510263 markings/sec, 70 secs
lola: 28956082 markings, 58904229 edges, 495430 markings/sec, 75 secs
lola: 31320193 markings, 62843832 edges, 472822 markings/sec, 80 secs
lola: 33577956 markings, 66616664 edges, 451553 markings/sec, 85 secs
lola: 35704954 markings, 70165865 edges, 425400 markings/sec, 90 secs
lola: 36924138 markings, 73763265 edges, 243837 markings/sec, 95 secs
lola: 37399474 markings, 77088841 edges, 95067 markings/sec, 100 secs
lola: 38613506 markings, 80545688 edges, 242806 markings/sec, 105 secs
lola: 40810116 markings, 84212350 edges, 439322 markings/sec, 110 secs
lola: 42991989 markings, 87853599 edges, 436375 markings/sec, 115 secs
lola: 45161315 markings, 91500718 edges, 433865 markings/sec, 120 secs
lola: 47297061 markings, 95107879 edges, 427149 markings/sec, 125 secs
lola: 49441355 markings, 98682641 edges, 428859 markings/sec, 130 secs
lola: 51587960 markings, 102275747 edges, 429321 markings/sec, 135 secs
lola: 53681880 markings, 105827223 edges, 418784 markings/sec, 140 secs
lola: 55768474 markings, 109305834 edges, 417319 markings/sec, 145 secs
lola: 57737586 markings, 112673304 edges, 393822 markings/sec, 150 secs
lola: 59704473 markings, 116021829 edges, 393377 markings/sec, 155 secs
lola: 61691377 markings, 119334064 edges, 397381 markings/sec, 160 secs
lola: 63689354 markings, 122704724 edges, 399595 markings/sec, 165 secs
lola: 65639298 markings, 125994647 edges, 389989 markings/sec, 170 secs
lola: 67644276 markings, 129337138 edges, 400996 markings/sec, 175 secs
lola: 69618864 markings, 132683275 edges, 394918 markings/sec, 180 secs
lola: 71600302 markings, 136049267 edges, 396288 markings/sec, 185 secs
lola: 73665196 markings, 139498870 edges, 412979 markings/sec, 190 secs
lola: 75763438 markings, 143006291 edges, 419648 markings/sec, 195 secs
lola: 77814697 markings, 146452689 edges, 410252 markings/sec, 200 secs
lola: 79784261 markings, 149737726 edges, 393913 markings/sec, 205 secs
lola: 80991960 markings, 152843938 edges, 241540 markings/sec, 210 secs
lola: 82029830 markings, 156023378 edges, 207574 markings/sec, 215 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(TransferToDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3201400 markings, 4543254 edges, 640280 markings/sec, 0 secs
lola: 5712922 markings, 8501269 edges, 502304 markings/sec, 5 secs
lola: 8166012 markings, 12354945 edges, 490618 markings/sec, 10 secs
lola: 10710510 markings, 16276128 edges, 508900 markings/sec, 15 secs
lola: 12896564 markings, 19817905 edges, 437211 markings/sec, 20 secs
lola: 14820284 markings, 23122609 edges, 384744 markings/sec, 25 secs
lola: 16737174 markings, 26415824 edges, 383378 markings/sec, 30 secs
lola: 18665722 markings, 29727557 edges, 385710 markings/sec, 35 secs
lola: 20491373 markings, 32892667 edges, 365130 markings/sec, 40 secs
lola: 22303627 markings, 36040164 edges, 362451 markings/sec, 45 secs
lola: 24110062 markings, 39159319 edges, 361287 markings/sec, 50 secs
lola: 26016334 markings, 42445381 edges, 381254 markings/sec, 55 secs
lola: 27873070 markings, 45794474 edges, 371347 markings/sec, 60 secs
lola: 29628880 markings, 48976931 edges, 351162 markings/sec, 65 secs
lola: 31374799 markings, 52123245 edges, 349184 markings/sec, 70 secs
lola: 33101631 markings, 55213715 edges, 345366 markings/sec, 75 secs
lola: 34803740 markings, 58320464 edges, 340422 markings/sec, 80 secs
lola: 36501010 markings, 61393731 edges, 339454 markings/sec, 85 secs
lola: 38178504 markings, 64477010 edges, 335499 markings/sec, 90 secs
lola: 39852541 markings, 67555713 edges, 334807 markings/sec, 95 secs
lola: 41537720 markings, 70714103 edges, 337036 markings/sec, 100 secs
lola: 43230446 markings, 73931483 edges, 338545 markings/sec, 105 secs
lola: 44904608 markings, 77123571 edges, 334832 markings/sec, 110 secs
lola: 46554537 markings, 80315797 edges, 329986 markings/sec, 115 secs
lola: 48217966 markings, 83521760 edges, 332686 markings/sec, 120 secs
lola: 49901025 markings, 86669330 edges, 336612 markings/sec, 125 secs
lola: 51600608 markings, 89964901 edges, 339917 markings/sec, 130 secs
lola: 53308305 markings, 93363008 edges, 341539 markings/sec, 135 secs
lola: 55022692 markings, 96771451 edges, 342877 markings/sec, 140 secs
lola: 56848576 markings, 100159933 edges, 365177 markings/sec, 145 secs
lola: 58661840 markings, 103484118 edges, 362653 markings/sec, 150 secs
lola: 60355661 markings, 106973119 edges, 338764 markings/sec, 155 secs
lola: 61997151 markings, 110376357 edges, 328298 markings/sec, 160 secs
lola: 63886966 markings, 113697882 edges, 377963 markings/sec, 165 secs
lola: 65614058 markings, 116927397 edges, 345418 markings/sec, 170 secs
lola: 67302839 markings, 120344329 edges, 337756 markings/sec, 175 secs
lola: 68964436 markings, 123781363 edges, 332319 markings/sec, 180 secs
lola: 70603642 markings, 126963368 edges, 327841 markings/sec, 185 secs
lola: 72196298 markings, 130121709 edges, 318531 markings/sec, 190 secs
lola: 73818175 markings, 133277397 edges, 324375 markings/sec, 195 secs
lola: 75439543 markings, 136277961 edges, 324274 markings/sec, 200 secs
lola: 77070793 markings, 139417935 edges, 326250 markings/sec, 205 secs
lola: 78701680 markings, 142587162 edges, 326177 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(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2961752 markings, 4935309 edges, 592350 markings/sec, 0 secs
lola: 5571038 markings, 9399198 edges, 521857 markings/sec, 5 secs
lola: 7836728 markings, 13411122 edges, 453138 markings/sec, 10 secs
lola: 9932708 markings, 17187393 edges, 419196 markings/sec, 15 secs
lola: 11920991 markings, 20808743 edges, 397657 markings/sec, 20 secs
lola: 14315568 markings, 24908174 edges, 478915 markings/sec, 25 secs
lola: 16088991 markings, 28679006 edges, 354685 markings/sec, 30 secs
lola: 16934309 markings, 31831110 edges, 169064 markings/sec, 35 secs
lola: 17801253 markings, 34915203 edges, 173389 markings/sec, 40 secs
lola: 18680307 markings, 37957826 edges, 175811 markings/sec, 45 secs
lola: 19574671 markings, 40985036 edges, 178873 markings/sec, 50 secs
lola: 20495201 markings, 44047057 edges, 184106 markings/sec, 55 secs
lola: 22625321 markings, 48351549 edges, 426024 markings/sec, 60 secs
lola: 25385757 markings, 52953740 edges, 552087 markings/sec, 65 secs
lola: 27933311 markings, 57199636 edges, 509511 markings/sec, 70 secs
lola: 30346871 markings, 61221814 edges, 482712 markings/sec, 75 secs
lola: 32638831 markings, 65042156 edges, 458392 markings/sec, 80 secs
lola: 34847754 markings, 68735103 edges, 441785 markings/sec, 85 secs
lola: 36721092 markings, 72341478 edges, 374668 markings/sec, 90 secs
lola: 37222166 markings, 75850880 edges, 100215 markings/sec, 95 secs
lola: 37843604 markings, 79262312 edges, 124288 markings/sec, 100 secs
lola: 40057196 markings, 82952471 edges, 442718 markings/sec, 105 secs
lola: 42273522 markings, 86655739 edges, 443265 markings/sec, 110 secs
lola: 44452213 markings, 90318542 edges, 435738 markings/sec, 115 secs
lola: 46599375 markings, 93898282 edges, 429432 markings/sec, 120 secs
lola: 48723659 markings, 97485948 edges, 424857 markings/sec, 125 secs
lola: 50851132 markings, 101047458 edges, 425495 markings/sec, 130 secs
lola: 52966477 markings, 104574077 edges, 423069 markings/sec, 135 secs
lola: 55051409 markings, 108110254 edges, 416986 markings/sec, 140 secs
lola: 57122330 markings, 111647600 edges, 414184 markings/sec, 145 secs
lola: 59216015 markings, 115138120 edges, 418737 markings/sec, 150 secs
lola: 61276598 markings, 118642575 edges, 412117 markings/sec, 155 secs
lola: 63365802 markings, 122165451 edges, 417841 markings/sec, 160 secs
lola: 65460934 markings, 125659457 edges, 419026 markings/sec, 165 secs
lola: 67539250 markings, 129161948 edges, 415663 markings/sec, 170 secs
lola: 69570863 markings, 132603097 edges, 406323 markings/sec, 175 secs
lola: 71559976 markings, 135969746 edges, 397823 markings/sec, 180 secs
lola: 73615438 markings, 139415877 edges, 411092 markings/sec, 185 secs
lola: 75702937 markings, 142905418 edges, 417500 markings/sec, 190 secs
lola: 77727011 markings, 146306317 edges, 404815 markings/sec, 195 secs
lola: 79660561 markings, 149531342 edges, 386710 markings/sec, 200 secs
lola: 80921965 markings, 152633897 edges, 252281 markings/sec, 205 secs
lola: 81967584 markings, 155774193 edges, 209124 markings/sec, 210 secs
lola: 82445219 markings, 158927633 edges, 95527 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(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2326289 markings, 5365735 edges, 465258 markings/sec, 0 secs
lola: 4383498 markings, 10199404 edges, 411442 markings/sec, 5 secs
lola: 6294206 markings, 14705016 edges, 382142 markings/sec, 10 secs
lola: 8143813 markings, 19087424 edges, 369921 markings/sec, 15 secs
lola: 9937030 markings, 23335541 edges, 358643 markings/sec, 20 secs
lola: 11677594 markings, 27478290 edges, 348113 markings/sec, 25 secs
lola: 13399256 markings, 31573127 edges, 344332 markings/sec, 30 secs
lola: 15144808 markings, 35707906 edges, 349110 markings/sec, 35 secs
lola: 16802204 markings, 39654671 edges, 331479 markings/sec, 40 secs
lola: 18495462 markings, 43685762 edges, 338652 markings/sec, 45 secs
lola: 20157117 markings, 47632328 edges, 332331 markings/sec, 50 secs
lola: 21816515 markings, 51583091 edges, 331880 markings/sec, 55 secs
lola: 23439932 markings, 55454330 edges, 324683 markings/sec, 60 secs
lola: 25102254 markings, 59404836 edges, 332464 markings/sec, 65 secs
lola: 26749355 markings, 63316889 edges, 329420 markings/sec, 70 secs
lola: 28383546 markings, 67207557 edges, 326838 markings/sec, 75 secs
lola: 29978182 markings, 71021183 edges, 318927 markings/sec, 80 secs
lola: 31602633 markings, 74892738 edges, 324890 markings/sec, 85 secs
lola: 33222138 markings, 78755209 edges, 323901 markings/sec, 90 secs
lola: 34790670 markings, 82494449 edges, 313706 markings/sec, 95 secs
lola: 36360886 markings, 86229527 edges, 314043 markings/sec, 100 secs
lola: 37974636 markings, 90071713 edges, 322750 markings/sec, 105 secs
lola: 39545968 markings, 93805853 edges, 314266 markings/sec, 110 secs
lola: 41094245 markings, 97496475 edges, 309655 markings/sec, 115 secs
lola: 42645647 markings, 101207065 edges, 310280 markings/sec, 120 secs
lola: 44265984 markings, 105080013 edges, 324067 markings/sec, 125 secs
lola: 45863048 markings, 108894384 edges, 319413 markings/sec, 130 secs
lola: 47456338 markings, 112690102 edges, 318658 markings/sec, 135 secs
lola: 49001959 markings, 116376555 edges, 309124 markings/sec, 140 secs
lola: 50568226 markings, 120112467 edges, 313253 markings/sec, 145 secs
lola: 52090351 markings, 123725255 edges, 304425 markings/sec, 150 secs
lola: 53585272 markings, 127289582 edges, 298984 markings/sec, 155 secs
lola: 55063020 markings, 130824040 edges, 295550 markings/sec, 160 secs
lola: 56592777 markings, 134467144 edges, 305951 markings/sec, 165 secs
lola: 58068028 markings, 137986881 edges, 295050 markings/sec, 170 secs
lola: 59630507 markings, 141724760 edges, 312496 markings/sec, 175 secs
lola: 61213841 markings, 145507850 edges, 316667 markings/sec, 180 secs
lola: 62755446 markings, 149195223 edges, 308321 markings/sec, 185 secs
lola: 64315871 markings, 152922209 edges, 312085 markings/sec, 190 secs
lola: 65848694 markings, 156582794 edges, 306565 markings/sec, 195 secs
lola: 67358927 markings, 160195348 edges, 302047 markings/sec, 200 secs
lola: 68913129 markings, 163907648 edges, 310840 markings/sec, 205 secs
lola: 70448755 markings, 167570723 edges, 307125 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(LoadingMem)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2583737 markings, 4780595 edges, 516747 markings/sec, 0 secs
lola: 4750006 markings, 9047095 edges, 433254 markings/sec, 5 secs
lola: 6873842 markings, 13201304 edges, 424767 markings/sec, 10 secs
lola: 8957297 markings, 17348386 edges, 416691 markings/sec, 15 secs
lola: 10903046 markings, 21312823 edges, 389150 markings/sec, 20 secs
lola: 12695502 markings, 24999403 edges, 358491 markings/sec, 25 secs
lola: 14154247 markings, 28150411 edges, 291749 markings/sec, 30 secs
lola: 15588937 markings, 31250301 edges, 286938 markings/sec, 35 secs
lola: 17026574 markings, 34356812 edges, 287527 markings/sec, 40 secs
lola: 18450573 markings, 37434817 edges, 284800 markings/sec, 45 secs
lola: 19872762 markings, 40508473 edges, 284438 markings/sec, 50 secs
lola: 21291289 markings, 43575036 edges, 283705 markings/sec, 55 secs
lola: 22706217 markings, 46633720 edges, 282986 markings/sec, 60 secs
lola: 24115910 markings, 49681293 edges, 281939 markings/sec, 65 secs
lola: 25532407 markings, 52743631 edges, 283299 markings/sec, 70 secs
lola: 26947607 markings, 55803224 edges, 283040 markings/sec, 75 secs
lola: 28367480 markings, 58873207 edges, 283975 markings/sec, 80 secs
lola: 29773127 markings, 61911365 edges, 281129 markings/sec, 85 secs
lola: 31184018 markings, 64961204 edges, 282178 markings/sec, 90 secs
lola: 32599880 markings, 68022125 edges, 283172 markings/sec, 95 secs
lola: 33994936 markings, 71038141 edges, 279011 markings/sec, 100 secs
lola: 35402718 markings, 74082621 edges, 281556 markings/sec, 105 secs
lola: 36781108 markings, 77061876 edges, 275678 markings/sec, 110 secs
lola: 38177834 markings, 80081772 edges, 279345 markings/sec, 115 secs
lola: 39565151 markings, 83080943 edges, 277463 markings/sec, 120 secs
lola: 40946693 markings, 86068589 edges, 276308 markings/sec, 125 secs
lola: 42347736 markings, 89097374 edges, 280209 markings/sec, 130 secs
lola: 43747544 markings, 92123701 edges, 279962 markings/sec, 135 secs
lola: 45140306 markings, 95135680 edges, 278552 markings/sec, 140 secs
lola: 46516365 markings, 98111129 edges, 275212 markings/sec, 145 secs
lola: 47939922 markings, 101189449 edges, 284711 markings/sec, 150 secs
lola: 49316219 markings, 104164820 edges, 275259 markings/sec, 155 secs
lola: 50701664 markings, 107158125 edges, 277089 markings/sec, 160 secs
lola: 52088661 markings, 110157232 edges, 277399 markings/sec, 165 secs
lola: 53460726 markings, 113123851 edges, 274413 markings/sec, 170 secs
lola: 54837187 markings, 116100283 edges, 275292 markings/sec, 175 secs
lola: 56204893 markings, 119054913 edges, 273541 markings/sec, 180 secs
lola: 57579443 markings, 122023817 edges, 274910 markings/sec, 185 secs
lola: 58988540 markings, 125070261 edges, 281819 markings/sec, 190 secs
lola: 60361825 markings, 128040568 edges, 274657 markings/sec, 195 secs
lola: 61724868 markings, 130988368 edges, 272609 markings/sec, 200 secs
lola: 63099639 markings, 133957890 edges, 274954 markings/sec, 205 secs
lola: 64488853 markings, 136952778 edges, 277843 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskSuspended)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2966358 markings, 4943062 edges, 593272 markings/sec, 0 secs
lola: 5568838 markings, 9395496 edges, 520496 markings/sec, 5 secs
lola: 7822116 markings, 13385461 edges, 450656 markings/sec, 10 secs
lola: 9924735 markings, 17172755 edges, 420524 markings/sec, 15 secs
lola: 11947220 markings, 20856138 edges, 404497 markings/sec, 20 secs
lola: 14349131 markings, 24963959 edges, 480382 markings/sec, 25 secs
lola: 16097807 markings, 28717431 edges, 349735 markings/sec, 30 secs
lola: 16948761 markings, 31881398 edges, 170191 markings/sec, 35 secs
lola: 17817509 markings, 34974388 edges, 173750 markings/sec, 40 secs
lola: 18704263 markings, 38040725 edges, 177351 markings/sec, 45 secs
lola: 19612777 markings, 41110486 edges, 181703 markings/sec, 50 secs
lola: 20543773 markings, 44212156 edges, 186199 markings/sec, 55 secs
lola: 22789848 markings, 48625830 edges, 449215 markings/sec, 60 secs
lola: 25513878 markings, 53167307 edges, 544806 markings/sec, 65 secs
lola: 28048357 markings, 57391364 edges, 506896 markings/sec, 70 secs
lola: 30454827 markings, 61401281 edges, 481294 markings/sec, 75 secs
lola: 32727231 markings, 65189442 edges, 454481 markings/sec, 80 secs
lola: 34918342 markings, 68853043 edges, 438222 markings/sec, 85 secs
lola: 36734671 markings, 72436664 edges, 363266 markings/sec, 90 secs
lola: 37224500 markings, 75865322 edges, 97966 markings/sec, 95 secs
lola: 37801034 markings, 79191271 edges, 115307 markings/sec, 100 secs
lola: 39998516 markings, 82854740 edges, 439496 markings/sec, 105 secs
lola: 42215560 markings, 86559069 edges, 443409 markings/sec, 110 secs
lola: 44395552 markings, 90224154 edges, 435998 markings/sec, 115 secs
lola: 46562190 markings, 93836323 edges, 433328 markings/sec, 120 secs
lola: 48712427 markings, 97467324 edges, 430047 markings/sec, 125 secs
lola: 50842768 markings, 101033315 edges, 426068 markings/sec, 130 secs
lola: 52959874 markings, 104563043 edges, 423421 markings/sec, 135 secs
lola: 55050710 markings, 108109205 edges, 418167 markings/sec, 140 secs
lola: 57128014 markings, 111657110 edges, 415461 markings/sec, 145 secs
lola: 59219918 markings, 115144689 edges, 418381 markings/sec, 150 secs
lola: 61264889 markings, 118623003 edges, 408994 markings/sec, 155 secs
lola: 63334364 markings, 122112925 edges, 413895 markings/sec, 160 secs
lola: 65428611 markings, 125604937 edges, 418849 markings/sec, 165 secs
lola: 67490640 markings, 129081031 edges, 412406 markings/sec, 170 secs
lola: 69517670 markings, 132514054 edges, 405406 markings/sec, 175 secs
lola: 71516997 markings, 135872353 edges, 399865 markings/sec, 180 secs
lola: 73553359 markings, 139312398 edges, 407272 markings/sec, 185 secs
lola: 75637283 markings, 142795992 edges, 416785 markings/sec, 190 secs
lola: 77683184 markings, 146233205 edges, 409180 markings/sec, 195 secs
lola: 79641353 markings, 149499197 edges, 391634 markings/sec, 200 secs
lola: 80900561 markings, 152566839 edges, 251842 markings/sec, 205 secs
lola: 81926845 markings, 155650908 edges, 205257 markings/sec, 210 secs
lola: 82426839 markings, 158796356 edges, 99999 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(FreeMemSegment)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2306972 markings, 5316305 edges, 461394 markings/sec, 0 secs
lola: 4379067 markings, 10188805 edges, 414419 markings/sec, 5 secs
lola: 6319573 markings, 14760466 edges, 388101 markings/sec, 10 secs
lola: 8185580 markings, 19187174 edges, 373201 markings/sec, 15 secs
lola: 10003610 markings, 23494531 edges, 363606 markings/sec, 20 secs
lola: 11781372 markings, 27721269 edges, 355552 markings/sec, 25 secs
lola: 13505183 markings, 31826424 edges, 344762 markings/sec, 30 secs
lola: 15274934 markings, 36018440 edges, 353950 markings/sec, 35 secs
lola: 16972205 markings, 40060155 edges, 339454 markings/sec, 40 secs
lola: 18669628 markings, 44100870 edges, 339485 markings/sec, 45 secs
lola: 20351204 markings, 48095188 edges, 336315 markings/sec, 50 secs
lola: 22046811 markings, 52133784 edges, 339121 markings/sec, 55 secs
lola: 23698401 markings, 56064685 edges, 330318 markings/sec, 60 secs
lola: 25370978 markings, 60046399 edges, 334515 markings/sec, 65 secs
lola: 27056384 markings, 64051106 edges, 337081 markings/sec, 70 secs
lola: 28707668 markings, 67982660 edges, 330257 markings/sec, 75 secs
lola: 30332209 markings, 71867755 edges, 324908 markings/sec, 80 secs
lola: 31982427 markings, 75797939 edges, 330044 markings/sec, 85 secs
lola: 33616075 markings, 79696594 edges, 326730 markings/sec, 90 secs
lola: 35217198 markings, 83504680 edges, 320225 markings/sec, 95 secs
lola: 36829744 markings, 87351475 edges, 322509 markings/sec, 100 secs
lola: 38443027 markings, 91191220 edges, 322657 markings/sec, 105 secs
lola: 40066688 markings, 95040783 edges, 324732 markings/sec, 110 secs
lola: 41611352 markings, 98732402 edges, 308933 markings/sec, 115 secs
lola: 43232567 markings, 102613361 edges, 324243 markings/sec, 120 secs
lola: 44891989 markings, 106578061 edges, 331884 markings/sec, 125 secs
lola: 46517743 markings, 110461628 edges, 325151 markings/sec, 130 secs
lola: 48108957 markings, 114249825 edges, 318243 markings/sec, 135 secs
lola: 49718679 markings, 118090172 edges, 321944 markings/sec, 140 secs
lola: 51296242 markings, 121835770 edges, 315513 markings/sec, 145 secs
lola: 52879942 markings, 125604914 edges, 316740 markings/sec, 150 secs
lola: 54440499 markings, 129334998 edges, 312111 markings/sec, 155 secs
lola: 56017470 markings, 133091256 edges, 315394 markings/sec, 160 secs
lola: 57573293 markings, 136803988 edges, 311165 markings/sec, 165 secs
lola: 59161450 markings, 140603669 edges, 317631 markings/sec, 170 secs
lola: 60754348 markings, 144408709 edges, 318580 markings/sec, 175 secs
lola: 62314169 markings, 148139301 edges, 311964 markings/sec, 180 secs
lola: 63875626 markings, 151875459 edges, 312291 markings/sec, 185 secs
lola: 65480859 markings, 155702284 edges, 321047 markings/sec, 190 secs
lola: 67027300 markings, 159402256 edges, 309288 markings/sec, 195 secs
lola: 68608564 markings, 163178853 edges, 316253 markings/sec, 200 secs
lola: 70156230 markings, 166870669 edges, 309533 markings/sec, 205 secs
lola: 71675054 markings, 170491280 edges, 303765 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT2048DC1024-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494931431209

--------------------
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="SmallOperatingSystem-PT-MT2048DC1024"
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/SmallOperatingSystem-PT-MT2048DC1024.tgz
mv SmallOperatingSystem-PT-MT2048DC1024 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 SmallOperatingSystem-PT-MT2048DC1024, 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 r078-ebro-149441008100020"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;