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

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

=== Now, execution of the tool begins

BK_START 1494928653686


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SmallOperatingSystem-PT-MT8192DC2048 @ 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-MT8192DC2048-UpperBounds.task
lola: MAX(TaskOnDisk) : MAX(TaskSuspended) : MAX(TransferToDisk) : MAX(ExecutingTask) : MAX(CPUUnit) : MAX(CPUUnit) : MAX(LoadingMem) : MAX(LoadingMem) : MAX(CPUUnit) : MAX(TransferToDisk) : MAX(CPUUnit) : MAX(DiskControllerUnit) : MAX(ExecutingTask) : MAX(LoadingMem) : MAX(TransferToDisk) : MAX(DiskControllerUnit)
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(TaskOnDisk)
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: 1808997 markings, 4290285 edges, 361799 markings/sec, 0 secs
lola: 3437924 markings, 8271109 edges, 325785 markings/sec, 5 secs
lola: 5020329 markings, 12159452 edges, 316481 markings/sec, 10 secs
lola: 6584305 markings, 15998956 edges, 312795 markings/sec, 15 secs
lola: 8137849 markings, 19816472 edges, 310709 markings/sec, 20 secs
lola: 9685237 markings, 23614886 edges, 309478 markings/sec, 25 secs
lola: 11184356 markings, 27314643 edges, 299824 markings/sec, 30 secs
lola: 12683605 markings, 31011382 edges, 299850 markings/sec, 35 secs
lola: 14180383 markings, 34711144 edges, 299356 markings/sec, 40 secs
lola: 15678274 markings, 38405982 edges, 299578 markings/sec, 45 secs
lola: 17158744 markings, 42072599 edges, 296094 markings/sec, 50 secs
lola: 18637485 markings, 45735073 edges, 295748 markings/sec, 55 secs
lola: 20113792 markings, 49375883 edges, 295261 markings/sec, 60 secs
lola: 21577197 markings, 52997226 edges, 292681 markings/sec, 65 secs
lola: 23057799 markings, 56649582 edges, 296120 markings/sec, 70 secs
lola: 24539030 markings, 60302258 edges, 296246 markings/sec, 75 secs
lola: 26052140 markings, 64019273 edges, 302622 markings/sec, 80 secs
lola: 27521426 markings, 67646972 edges, 293857 markings/sec, 85 secs
lola: 29018045 markings, 71323742 edges, 299324 markings/sec, 90 secs
lola: 30473879 markings, 74916930 edges, 291167 markings/sec, 95 secs
lola: 31909861 markings, 78473571 edges, 287196 markings/sec, 100 secs
lola: 33346746 markings, 82021172 edges, 287377 markings/sec, 105 secs
lola: 34769736 markings, 85538590 edges, 284598 markings/sec, 110 secs
lola: 36197688 markings, 89076124 edges, 285590 markings/sec, 115 secs
lola: 37642792 markings, 92660258 edges, 289021 markings/sec, 120 secs
lola: 39077376 markings, 96208698 edges, 286917 markings/sec, 125 secs
lola: 40489228 markings, 99700666 edges, 282370 markings/sec, 130 secs
lola: 41916836 markings, 103239585 edges, 285522 markings/sec, 135 secs
lola: 43345990 markings, 106776765 edges, 285831 markings/sec, 140 secs
lola: 44760208 markings, 110302862 edges, 282844 markings/sec, 145 secs
lola: 46165703 markings, 113801985 edges, 281099 markings/sec, 150 secs
lola: 47598189 markings, 117362735 edges, 286497 markings/sec, 155 secs
lola: 49019285 markings, 120891884 edges, 284219 markings/sec, 160 secs
lola: 50420513 markings, 124387282 edges, 280246 markings/sec, 165 secs
lola: 51827669 markings, 127876877 edges, 281431 markings/sec, 170 secs
lola: 53245644 markings, 131405079 edges, 283595 markings/sec, 175 secs
lola: 54637558 markings, 134863165 edges, 278383 markings/sec, 180 secs
lola: 56049480 markings, 138376156 edges, 282384 markings/sec, 185 secs
lola: 57472200 markings, 141898248 edges, 284544 markings/sec, 190 secs
lola: 58907379 markings, 145452928 edges, 287036 markings/sec, 195 secs
lola: 60331419 markings, 148995947 edges, 284808 markings/sec, 200 secs
lola: 61746423 markings, 152488447 edges, 283001 markings/sec, 205 secs
lola: 63161070 markings, 155996040 edges, 282929 markings/sec, 210 secs
lola: 64571266 markings, 159488566 edges, 282039 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(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: 2896906 markings, 4827280 edges, 579381 markings/sec, 0 secs
lola: 5467378 markings, 9111276 edges, 514094 markings/sec, 5 secs
lola: 7938930 markings, 13230131 edges, 494310 markings/sec, 10 secs
lola: 10342184 markings, 17235323 edges, 480651 markings/sec, 15 secs
lola: 12668928 markings, 21113392 edges, 465349 markings/sec, 20 secs
lola: 15010707 markings, 25051981 edges, 468356 markings/sec, 25 secs
lola: 17227484 markings, 28831719 edges, 443355 markings/sec, 30 secs
lola: 19369705 markings, 32524575 edges, 428444 markings/sec, 35 secs
lola: 21438988 markings, 36120553 edges, 413857 markings/sec, 40 secs
lola: 23467695 markings, 39672507 edges, 405741 markings/sec, 45 secs
lola: 25472324 markings, 43202575 edges, 400926 markings/sec, 50 secs
lola: 27441412 markings, 46688573 edges, 393818 markings/sec, 55 secs
lola: 29372489 markings, 50121596 edges, 386215 markings/sec, 60 secs
lola: 31283962 markings, 53533540 edges, 382295 markings/sec, 65 secs
lola: 33191672 markings, 56951846 edges, 381542 markings/sec, 70 secs
lola: 35081204 markings, 60349544 edges, 377906 markings/sec, 75 secs
lola: 36948273 markings, 63716798 edges, 373414 markings/sec, 80 secs
lola: 38799820 markings, 67062956 edges, 370309 markings/sec, 85 secs
lola: 40642591 markings, 70403066 edges, 368554 markings/sec, 90 secs
lola: 42471767 markings, 73726100 edges, 365835 markings/sec, 95 secs
lola: 44285952 markings, 77027195 edges, 362837 markings/sec, 100 secs
lola: 46087136 markings, 80315223 edges, 360237 markings/sec, 105 secs
lola: 47886956 markings, 83603701 edges, 359964 markings/sec, 110 secs
lola: 49676803 markings, 86880313 edges, 357969 markings/sec, 115 secs
lola: 51423118 markings, 90081682 edges, 349263 markings/sec, 120 secs
lola: 53164326 markings, 93280338 edges, 348242 markings/sec, 125 secs
lola: 54907843 markings, 96486008 edges, 348703 markings/sec, 130 secs
lola: 56650896 markings, 99697940 edges, 348611 markings/sec, 135 secs
lola: 58384183 markings, 102894576 edges, 346657 markings/sec, 140 secs
lola: 60113792 markings, 106088714 edges, 345922 markings/sec, 145 secs
lola: 61843390 markings, 109285493 edges, 345920 markings/sec, 150 secs
lola: 63571883 markings, 112484645 edges, 345699 markings/sec, 155 secs
lola: 65287689 markings, 115660384 edges, 343161 markings/sec, 160 secs
lola: 66995245 markings, 118829398 edges, 341511 markings/sec, 165 secs
lola: 68690339 markings, 121974509 edges, 339019 markings/sec, 170 secs
lola: 70394824 markings, 125141941 edges, 340897 markings/sec, 175 secs
lola: 72083160 markings, 128283338 edges, 337667 markings/sec, 180 secs
lola: 73772046 markings, 131426811 edges, 337777 markings/sec, 185 secs
lola: 75456605 markings, 134566371 edges, 336912 markings/sec, 190 secs
lola: 77143355 markings, 137710062 edges, 337350 markings/sec, 195 secs
lola: 78822180 markings, 140843934 edges, 335765 markings/sec, 200 secs
lola: 80492608 markings, 143963421 edges, 334086 markings/sec, 205 secs
lola: 82162333 markings, 147086112 edges, 333945 markings/sec, 210 secs
lola: 83834579 markings, 150213525 edges, 334449 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(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: 3557444 markings, 4744730 edges, 711489 markings/sec, 0 secs
lola: 7005348 markings, 9341994 edges, 689581 markings/sec, 5 secs
lola: 9694154 markings, 13273981 edges, 537761 markings/sec, 10 secs
lola: 11881740 markings, 16805033 edges, 437517 markings/sec, 15 secs
lola: 14074312 markings, 20333173 edges, 438514 markings/sec, 20 secs
lola: 16237230 markings, 23826370 edges, 432584 markings/sec, 25 secs
lola: 18447704 markings, 27387132 edges, 442095 markings/sec, 30 secs
lola: 20632845 markings, 30906852 edges, 437028 markings/sec, 35 secs
lola: 22816585 markings, 34421446 edges, 436748 markings/sec, 40 secs
lola: 24985953 markings, 37921686 edges, 433874 markings/sec, 45 secs
lola: 27173843 markings, 41442837 edges, 437578 markings/sec, 50 secs
lola: 29348866 markings, 44947652 edges, 435005 markings/sec, 55 secs
lola: 31501840 markings, 48423390 edges, 430595 markings/sec, 60 secs
lola: 33645104 markings, 51880021 edges, 428653 markings/sec, 65 secs
lola: 35782310 markings, 55323024 edges, 427441 markings/sec, 70 secs
lola: 37940822 markings, 58794053 edges, 431702 markings/sec, 75 secs
lola: 40055871 markings, 62207121 edges, 423010 markings/sec, 80 secs
lola: 42183357 markings, 65631188 edges, 425497 markings/sec, 85 secs
lola: 44297080 markings, 69042045 edges, 422745 markings/sec, 90 secs
lola: 46428615 markings, 72474208 edges, 426307 markings/sec, 95 secs
lola: 48577843 markings, 75942240 edges, 429846 markings/sec, 100 secs
lola: 50726946 markings, 79407465 edges, 429821 markings/sec, 105 secs
lola: 52852854 markings, 82829960 edges, 425182 markings/sec, 110 secs
lola: 54983833 markings, 86261012 edges, 426196 markings/sec, 115 secs
lola: 57128171 markings, 89718781 edges, 428868 markings/sec, 120 secs
lola: 59237484 markings, 93121433 edges, 421863 markings/sec, 125 secs
lola: 61380004 markings, 96576391 edges, 428504 markings/sec, 130 secs
lola: 63518578 markings, 100022471 edges, 427715 markings/sec, 135 secs
lola: 65692608 markings, 103524770 edges, 434806 markings/sec, 140 secs
lola: 67850413 markings, 106997379 edges, 431561 markings/sec, 145 secs
lola: 69981952 markings, 110437225 edges, 426308 markings/sec, 150 secs
lola: 72097847 markings, 113841774 edges, 423179 markings/sec, 155 secs
lola: 74213213 markings, 117256840 edges, 423073 markings/sec, 160 secs
lola: 76353651 markings, 120707115 edges, 428088 markings/sec, 165 secs
lola: 78480380 markings, 124128451 edges, 425346 markings/sec, 170 secs
lola: 80600818 markings, 127552507 edges, 424088 markings/sec, 175 secs
lola: 82719719 markings, 130959632 edges, 423780 markings/sec, 180 secs
lola: 84710023 markings, 134230173 edges, 398061 markings/sec, 185 secs
lola: 86522990 markings, 137341044 edges, 362593 markings/sec, 190 secs
lola: 88331151 markings, 140441902 edges, 361632 markings/sec, 195 secs
lola: 90114000 markings, 143496929 edges, 356570 markings/sec, 200 secs
lola: 91901947 markings, 146557332 edges, 357589 markings/sec, 205 secs
lola: 93668156 markings, 149594510 edges, 353242 markings/sec, 210 secs
lola: 95439397 markings, 152627653 edges, 354248 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(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: 2740206 markings, 4110311 edges, 548041 markings/sec, 0 secs
lola: 5083560 markings, 7625342 edges, 468671 markings/sec, 5 secs
lola: 7360397 markings, 11040599 edges, 455367 markings/sec, 10 secs
lola: 9588600 markings, 14382904 edges, 445641 markings/sec, 15 secs
lola: 11763619 markings, 17645428 edges, 435004 markings/sec, 20 secs
lola: 13905594 markings, 20888791 edges, 428395 markings/sec, 25 secs
lola: 15961869 markings, 24130335 edges, 411255 markings/sec, 30 secs
lola: 17942530 markings, 27360725 edges, 396132 markings/sec, 35 secs
lola: 19852905 markings, 30563575 edges, 382075 markings/sec, 40 secs
lola: 21711826 markings, 33748052 edges, 371784 markings/sec, 45 secs
lola: 23521550 markings, 36910869 edges, 361945 markings/sec, 50 secs
lola: 25301890 markings, 40073428 edges, 356068 markings/sec, 55 secs
lola: 27047607 markings, 43218642 edges, 349143 markings/sec, 60 secs
lola: 28757978 markings, 46339442 edges, 342074 markings/sec, 65 secs
lola: 30443058 markings, 49449274 edges, 337016 markings/sec, 70 secs
lola: 32108524 markings, 52557505 edges, 333093 markings/sec, 75 secs
lola: 33710984 markings, 55571943 edges, 320492 markings/sec, 80 secs
lola: 35328814 markings, 58641392 edges, 323566 markings/sec, 85 secs
lola: 36920948 markings, 61686102 edges, 318427 markings/sec, 90 secs
lola: 38496711 markings, 64718780 edges, 315153 markings/sec, 95 secs
lola: 40067167 markings, 67762299 edges, 314091 markings/sec, 100 secs
lola: 41615967 markings, 70788822 edges, 309760 markings/sec, 105 secs
lola: 43150217 markings, 73795796 edges, 306850 markings/sec, 110 secs
lola: 44670189 markings, 76795910 edges, 303994 markings/sec, 115 secs
lola: 46190299 markings, 79808245 edges, 304022 markings/sec, 120 secs
lola: 47700253 markings, 82817486 edges, 301991 markings/sec, 125 secs
lola: 49196316 markings, 85809223 edges, 299213 markings/sec, 130 secs
lola: 50687825 markings, 88810313 edges, 298302 markings/sec, 135 secs
lola: 52176755 markings, 91823661 edges, 297786 markings/sec, 140 secs
lola: 53661012 markings, 94844133 edges, 296851 markings/sec, 145 secs
lola: 55143869 markings, 97879259 edges, 296571 markings/sec, 150 secs
lola: 56624930 markings, 100922764 edges, 296212 markings/sec, 155 secs
lola: 58105608 markings, 103971955 edges, 296136 markings/sec, 160 secs
lola: 59576769 markings, 107029621 edges, 294232 markings/sec, 165 secs
lola: 61051003 markings, 110093019 edges, 294847 markings/sec, 170 secs
lola: 62519200 markings, 113157954 edges, 293639 markings/sec, 175 secs
lola: 63983011 markings, 116229554 edges, 292762 markings/sec, 180 secs
lola: 65442786 markings, 119305440 edges, 291955 markings/sec, 185 secs
lola: 66901297 markings, 122381586 edges, 291702 markings/sec, 190 secs
lola: 68355167 markings, 125460432 edges, 290774 markings/sec, 195 secs
lola: 69802903 markings, 128541254 edges, 289547 markings/sec, 200 secs
lola: 71245523 markings, 131622999 edges, 288524 markings/sec, 205 secs
lola: 72684540 markings, 134699670 edges, 287803 markings/sec, 210 secs
lola: 74113380 markings, 137762292 edges, 285768 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(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: 2840333 markings, 4733173 edges, 568067 markings/sec, 0 secs
lola: 5412026 markings, 9019131 edges, 514339 markings/sec, 5 secs
lola: 8013050 markings, 13353739 edges, 520205 markings/sec, 10 secs
lola: 10521416 markings, 17534047 edges, 501673 markings/sec, 15 secs
lola: 12964525 markings, 21606806 edges, 488622 markings/sec, 20 secs
lola: 15359045 markings, 25642840 edges, 478904 markings/sec, 25 secs
lola: 17618193 markings, 29502360 edges, 451830 markings/sec, 30 secs
lola: 19769890 markings, 33217921 edges, 430339 markings/sec, 35 secs
lola: 21860440 markings, 36857080 edges, 418110 markings/sec, 40 secs
lola: 23912907 markings, 40453868 edges, 410493 markings/sec, 45 secs
lola: 25930527 markings, 44012099 edges, 403524 markings/sec, 50 secs
lola: 27914620 markings, 47528389 edges, 396819 markings/sec, 55 secs
lola: 29866071 markings, 51000592 edges, 390290 markings/sec, 60 secs
lola: 31802513 markings, 54462349 edges, 387288 markings/sec, 65 secs
lola: 33725375 markings, 57910899 edges, 384572 markings/sec, 70 secs
lola: 35637869 markings, 61352185 edges, 382499 markings/sec, 75 secs
lola: 37536707 markings, 64778166 edges, 379768 markings/sec, 80 secs
lola: 39417247 markings, 68181211 edges, 376108 markings/sec, 85 secs
lola: 41286956 markings, 71572690 edges, 373942 markings/sec, 90 secs
lola: 43145470 markings, 74952111 edges, 371703 markings/sec, 95 secs
lola: 44995742 markings, 78322521 edges, 370054 markings/sec, 100 secs
lola: 46828681 markings, 81668420 edges, 366588 markings/sec, 105 secs
lola: 48653651 markings, 85005215 edges, 364994 markings/sec, 110 secs
lola: 50464597 markings, 88325746 edges, 362189 markings/sec, 115 secs
lola: 52258137 markings, 91615575 edges, 358708 markings/sec, 120 secs
lola: 54049327 markings, 94907747 edges, 358238 markings/sec, 125 secs
lola: 55840148 markings, 98204307 edges, 358164 markings/sec, 130 secs
lola: 57628685 markings, 101499380 edges, 357707 markings/sec, 135 secs
lola: 59399904 markings, 104768474 edges, 354244 markings/sec, 140 secs
lola: 61165269 markings, 108031863 edges, 353073 markings/sec, 145 secs
lola: 62934522 markings, 111303158 edges, 353851 markings/sec, 150 secs
lola: 64700438 markings, 114572219 edges, 353183 markings/sec, 155 secs
lola: 66459547 markings, 117835319 edges, 351822 markings/sec, 160 secs
lola: 68209624 markings, 121084302 edges, 350015 markings/sec, 165 secs
lola: 69957207 markings, 124328370 edges, 349517 markings/sec, 170 secs
lola: 71693065 markings, 127558971 edges, 347172 markings/sec, 175 secs
lola: 73418529 markings, 130767377 edges, 345093 markings/sec, 180 secs
lola: 75130467 markings, 133960254 edges, 342388 markings/sec, 185 secs
lola: 76841299 markings, 137145961 edges, 342166 markings/sec, 190 secs
lola: 78526070 markings, 140291695 edges, 336954 markings/sec, 195 secs
lola: 80218859 markings, 143450935 edges, 338558 markings/sec, 200 secs
lola: 81910129 markings, 146614153 edges, 338254 markings/sec, 205 secs
lola: 83607479 markings, 149786674 edges, 339470 markings/sec, 210 secs
lola: 85300309 markings, 152956746 edges, 338566 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(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: 2790670 markings, 4650175 edges, 558134 markings/sec, 0 secs
lola: 5281581 markings, 8801543 edges, 498182 markings/sec, 5 secs
lola: 7630118 markings, 12715511 edges, 469707 markings/sec, 10 secs
lola: 9930267 markings, 16548875 edges, 460030 markings/sec, 15 secs
lola: 12205915 markings, 20341770 edges, 455130 markings/sec, 20 secs
lola: 14544479 markings, 24262897 edges, 467713 markings/sec, 25 secs
lola: 16753008 markings, 28019601 edges, 441706 markings/sec, 30 secs
lola: 18880405 markings, 31678154 edges, 425479 markings/sec, 35 secs
lola: 20950632 markings, 35270033 edges, 414045 markings/sec, 40 secs
lola: 22982502 markings, 38821150 edges, 406374 markings/sec, 45 secs
lola: 24980045 markings, 42333960 edges, 399509 markings/sec, 50 secs
lola: 26944031 markings, 45806095 edges, 392797 markings/sec, 55 secs
lola: 28881996 markings, 49248359 edges, 387593 markings/sec, 60 secs
lola: 30799184 markings, 52666900 edges, 383438 markings/sec, 65 secs
lola: 32701604 markings, 56073616 edges, 380484 markings/sec, 70 secs
lola: 34587944 markings, 59462362 edges, 377268 markings/sec, 75 secs
lola: 36457029 markings, 62828466 edges, 373817 markings/sec, 80 secs
lola: 38296250 markings, 66151711 edges, 367844 markings/sec, 85 secs
lola: 40134013 markings, 69480653 edges, 367553 markings/sec, 90 secs
lola: 41963282 markings, 72800567 edges, 365854 markings/sec, 95 secs
lola: 43782454 markings, 76110828 edges, 363834 markings/sec, 100 secs
lola: 45590869 markings, 79408888 edges, 361683 markings/sec, 105 secs
lola: 47388205 markings, 82692882 edges, 359467 markings/sec, 110 secs
lola: 49178706 markings, 85967599 edges, 358100 markings/sec, 115 secs
lola: 50950322 markings, 89213401 edges, 354323 markings/sec, 120 secs
lola: 52705504 markings, 92438356 edges, 351036 markings/sec, 125 secs
lola: 54462032 markings, 95666463 edges, 351306 markings/sec, 130 secs
lola: 56217919 markings, 98898862 edges, 351177 markings/sec, 135 secs
lola: 57968037 markings, 102125604 edges, 350024 markings/sec, 140 secs
lola: 59716531 markings, 105353849 edges, 349699 markings/sec, 145 secs
lola: 61459548 markings, 108574362 edges, 348603 markings/sec, 150 secs
lola: 63199196 markings, 111793065 edges, 347930 markings/sec, 155 secs
lola: 64931756 markings, 115003601 edges, 346512 markings/sec, 160 secs
lola: 66664028 markings, 118213474 edges, 346454 markings/sec, 165 secs
lola: 68387991 markings, 121415760 edges, 344793 markings/sec, 170 secs
lola: 70111058 markings, 124616993 edges, 344613 markings/sec, 175 secs
lola: 71825847 markings, 127803275 edges, 342958 markings/sec, 180 secs
lola: 73535018 markings, 130985113 edges, 341834 markings/sec, 185 secs
lola: 75239026 markings, 134159149 edges, 340802 markings/sec, 190 secs
lola: 76939242 markings, 137331266 edges, 340043 markings/sec, 195 secs
lola: 78636444 markings, 140497359 edges, 339440 markings/sec, 200 secs
lola: 80321819 markings, 143647036 edges, 337075 markings/sec, 205 secs
lola: 82008120 markings, 146798829 edges, 337260 markings/sec, 210 secs
lola: 83693836 markings, 149948167 edges, 337143 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: 1816053 markings, 3526266 edges, 363211 markings/sec, 0 secs
lola: 3602029 markings, 7231655 edges, 357195 markings/sec, 5 secs
lola: 5351544 markings, 10886060 edges, 349903 markings/sec, 10 secs
lola: 7083319 markings, 14502622 edges, 346355 markings/sec, 15 secs
lola: 8804169 markings, 18137540 edges, 344170 markings/sec, 20 secs
lola: 10558062 markings, 21830026 edges, 350779 markings/sec, 25 secs
lola: 12296825 markings, 25517540 edges, 347753 markings/sec, 30 secs
lola: 14020078 markings, 29176401 edges, 344651 markings/sec, 35 secs
lola: 15729553 markings, 32805369 edges, 341895 markings/sec, 40 secs
lola: 17439915 markings, 36435252 edges, 342072 markings/sec, 45 secs
lola: 19160828 markings, 40085241 edges, 344183 markings/sec, 50 secs
lola: 20858965 markings, 43685937 edges, 339627 markings/sec, 55 secs
lola: 22491453 markings, 47006722 edges, 326498 markings/sec, 60 secs
lola: 24194321 markings, 50506988 edges, 340574 markings/sec, 65 secs
lola: 25896376 markings, 53990231 edges, 340411 markings/sec, 70 secs
lola: 27628968 markings, 57534309 edges, 346518 markings/sec, 75 secs
lola: 29361979 markings, 61076521 edges, 346602 markings/sec, 80 secs
lola: 31127831 markings, 64693304 edges, 353170 markings/sec, 85 secs
lola: 32929918 markings, 68388639 edges, 360417 markings/sec, 90 secs
lola: 34715679 markings, 72021374 edges, 357152 markings/sec, 95 secs
lola: 36486715 markings, 75625491 edges, 354207 markings/sec, 100 secs
lola: 38313042 markings, 79280510 edges, 365265 markings/sec, 105 secs
lola: 39903393 markings, 82488797 edges, 318070 markings/sec, 110 secs
lola: 41306684 markings, 85444117 edges, 280658 markings/sec, 115 secs
lola: 42689430 markings, 88366058 edges, 276549 markings/sec, 120 secs
lola: 44049888 markings, 91264570 edges, 272092 markings/sec, 125 secs
lola: 45411386 markings, 94177092 edges, 272300 markings/sec, 130 secs
lola: 46780062 markings, 97099296 edges, 273735 markings/sec, 135 secs
lola: 48144701 markings, 100001471 edges, 272928 markings/sec, 140 secs
lola: 49502914 markings, 102896782 edges, 271643 markings/sec, 145 secs
lola: 50845029 markings, 105778515 edges, 268423 markings/sec, 150 secs
lola: 52194662 markings, 108665070 edges, 269927 markings/sec, 155 secs
lola: 53529480 markings, 111522207 edges, 266964 markings/sec, 160 secs
lola: 54869886 markings, 114390565 edges, 268081 markings/sec, 165 secs
lola: 56203810 markings, 117246329 edges, 266785 markings/sec, 170 secs
lola: 57533126 markings, 120094911 edges, 265863 markings/sec, 175 secs
lola: 58871033 markings, 122958197 edges, 267581 markings/sec, 180 secs
lola: 60201031 markings, 125806222 edges, 266000 markings/sec, 185 secs
lola: 61527987 markings, 128651449 edges, 265391 markings/sec, 190 secs
lola: 62836499 markings, 131459290 edges, 261702 markings/sec, 195 secs
lola: 64162708 markings, 134300758 edges, 265242 markings/sec, 200 secs
lola: 65490946 markings, 137138274 edges, 265648 markings/sec, 205 secs
lola: 66815073 markings, 139966331 edges, 264825 markings/sec, 210 secs
lola: 68129684 markings, 142791300 edges, 262922 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(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: 1859233 markings, 3618144 edges, 371847 markings/sec, 0 secs
lola: 3666641 markings, 7369414 edges, 361482 markings/sec, 5 secs
lola: 5435535 markings, 11066994 edges, 353779 markings/sec, 10 secs
lola: 7190488 markings, 14734319 edges, 350991 markings/sec, 15 secs
lola: 8943072 markings, 18434821 edges, 350517 markings/sec, 20 secs
lola: 10732913 markings, 22200277 edges, 357968 markings/sec, 25 secs
lola: 12511127 markings, 25957317 edges, 355643 markings/sec, 30 secs
lola: 14252069 markings, 29667725 edges, 348188 markings/sec, 35 secs
lola: 15999289 markings, 33372941 edges, 349444 markings/sec, 40 secs
lola: 17738647 markings, 37069813 edges, 347872 markings/sec, 45 secs
lola: 19457422 markings, 40718668 edges, 343755 markings/sec, 50 secs
lola: 21165226 markings, 44349832 edges, 341561 markings/sec, 55 secs
lola: 22830505 markings, 47704248 edges, 333056 markings/sec, 60 secs
lola: 24545064 markings, 51229252 edges, 342912 markings/sec, 65 secs
lola: 26292247 markings, 54787188 edges, 349437 markings/sec, 70 secs
lola: 28032202 markings, 58361041 edges, 347991 markings/sec, 75 secs
lola: 29790358 markings, 61961641 edges, 351631 markings/sec, 80 secs
lola: 31607550 markings, 65682785 edges, 363438 markings/sec, 85 secs
lola: 33433627 markings, 69422020 edges, 365215 markings/sec, 90 secs
lola: 35240036 markings, 73092762 edges, 361282 markings/sec, 95 secs
lola: 37038307 markings, 76735636 edges, 359654 markings/sec, 100 secs
lola: 38888056 markings, 80387163 edges, 369950 markings/sec, 105 secs
lola: 40365070 markings, 83451633 edges, 295403 markings/sec, 110 secs
lola: 41779392 markings, 86439440 edges, 282864 markings/sec, 115 secs
lola: 43184711 markings, 89423038 edges, 281064 markings/sec, 120 secs
lola: 44573660 markings, 92385331 edges, 277790 markings/sec, 125 secs
lola: 45946833 markings, 95322970 edges, 274635 markings/sec, 130 secs
lola: 47319123 markings, 98247462 edges, 274458 markings/sec, 135 secs
lola: 48692749 markings, 101174022 edges, 274725 markings/sec, 140 secs
lola: 50067664 markings, 104105420 edges, 274983 markings/sec, 145 secs
lola: 51421454 markings, 107013344 edges, 270758 markings/sec, 150 secs
lola: 52783947 markings, 109930731 edges, 272499 markings/sec, 155 secs
lola: 54141137 markings, 112829174 edges, 271438 markings/sec, 160 secs
lola: 55495021 markings, 115729388 edges, 270777 markings/sec, 165 secs
lola: 56844739 markings, 118623868 edges, 269944 markings/sec, 170 secs
lola: 58197181 markings, 121517932 edges, 270488 markings/sec, 175 secs
lola: 59540266 markings, 124394880 edges, 268617 markings/sec, 180 secs
lola: 60886844 markings, 127274652 edges, 269316 markings/sec, 185 secs
lola: 62221424 markings, 130140677 edges, 266916 markings/sec, 190 secs
lola: 63559671 markings, 133011561 edges, 267649 markings/sec, 195 secs
lola: 64920727 markings, 135919852 edges, 272211 markings/sec, 200 secs
lola: 66273139 markings, 138810650 edges, 270482 markings/sec, 205 secs
lola: 67610278 markings, 141673556 edges, 267428 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(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: 2924318 markings, 4873073 edges, 584864 markings/sec, 0 secs
lola: 5586186 markings, 9309001 edges, 532374 markings/sec, 5 secs
lola: 8118634 markings, 13529872 edges, 506490 markings/sec, 10 secs
lola: 10541788 markings, 17567823 edges, 484631 markings/sec, 15 secs
lola: 12933578 markings, 21555024 edges, 478358 markings/sec, 20 secs
lola: 15299710 markings, 25541925 edges, 473226 markings/sec, 25 secs
lola: 17534559 markings, 29359345 edges, 446970 markings/sec, 30 secs
lola: 19696896 markings, 33090616 edges, 432467 markings/sec, 35 secs
lola: 21803474 markings, 36757667 edges, 421316 markings/sec, 40 secs
lola: 23867643 markings, 40375243 edges, 412834 markings/sec, 45 secs
lola: 25899032 markings, 43955548 edges, 406278 markings/sec, 50 secs
lola: 27896721 markings, 47496782 edges, 399538 markings/sec, 55 secs
lola: 29865999 markings, 51000438 edges, 393856 markings/sec, 60 secs
lola: 31819985 markings, 54493708 edges, 390797 markings/sec, 65 secs
lola: 33760617 markings, 57974440 edges, 388126 markings/sec, 70 secs
lola: 35685673 markings, 61437993 edges, 385011 markings/sec, 75 secs
lola: 37591861 markings, 64878130 edges, 381238 markings/sec, 80 secs
lola: 39483485 markings, 68301156 edges, 378325 markings/sec, 85 secs
lola: 41363847 markings, 71711593 edges, 376072 markings/sec, 90 secs
lola: 43232022 markings, 75107710 edges, 373635 markings/sec, 95 secs
lola: 45088381 markings, 78491504 edges, 371272 markings/sec, 100 secs
lola: 46932770 markings, 81859059 edges, 368878 markings/sec, 105 secs
lola: 48771356 markings, 85220780 edges, 367717 markings/sec, 110 secs
lola: 50589891 markings, 88554973 edges, 363707 markings/sec, 115 secs
lola: 52394621 markings, 91864543 edges, 360946 markings/sec, 120 secs
lola: 54195922 markings, 95177919 edges, 360260 markings/sec, 125 secs
lola: 55996057 markings, 98491681 edges, 360027 markings/sec, 130 secs
lola: 57793415 markings, 101802527 edges, 359472 markings/sec, 135 secs
lola: 59587505 markings, 105114871 edges, 358818 markings/sec, 140 secs
lola: 61375649 markings, 108418237 edges, 357629 markings/sec, 145 secs
lola: 63160795 markings, 111724269 edges, 357029 markings/sec, 150 secs
lola: 64936226 markings, 115012503 edges, 355086 markings/sec, 155 secs
lola: 66710484 markings, 118301211 edges, 354852 markings/sec, 160 secs
lola: 68479917 markings, 121585262 edges, 353887 markings/sec, 165 secs
lola: 70244759 markings, 124863758 edges, 352968 markings/sec, 170 secs
lola: 72002522 markings, 128132161 edges, 351553 markings/sec, 175 secs
lola: 73754606 markings, 131396602 edges, 350417 markings/sec, 180 secs
lola: 75501382 markings, 134649755 edges, 349355 markings/sec, 185 secs
lola: 77244894 markings, 137902006 edges, 348702 markings/sec, 190 secs
lola: 78984520 markings, 141146513 edges, 347925 markings/sec, 195 secs
lola: 80716010 markings, 144379717 edges, 346298 markings/sec, 200 secs
lola: 82442344 markings, 147608576 edges, 345267 markings/sec, 205 secs
lola: 84171003 markings, 150840588 edges, 345732 markings/sec, 210 secs
lola: 85899543 markings, 154074995 edges, 345708 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(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: 3685709 markings, 4915749 edges, 737142 markings/sec, 0 secs
lola: 7156970 markings, 9544714 edges, 694252 markings/sec, 5 secs
lola: 9800807 markings, 13444314 edges, 528767 markings/sec, 10 secs
lola: 11957900 markings, 16929302 edges, 431419 markings/sec, 15 secs
lola: 14112485 markings, 20393894 edges, 430917 markings/sec, 20 secs
lola: 16250970 markings, 23840686 edges, 427697 markings/sec, 25 secs
lola: 18414084 markings, 27334670 edges, 432623 markings/sec, 30 secs
lola: 20568378 markings, 30797271 edges, 430859 markings/sec, 35 secs
lola: 22700608 markings, 34237807 edges, 426446 markings/sec, 40 secs
lola: 24853341 markings, 37704376 edges, 430547 markings/sec, 45 secs
lola: 27001114 markings, 41169458 edges, 429555 markings/sec, 50 secs
lola: 29173749 markings, 44669044 edges, 434527 markings/sec, 55 secs
lola: 31313298 markings, 48117233 edges, 427910 markings/sec, 60 secs
lola: 33451450 markings, 51562628 edges, 427630 markings/sec, 65 secs
lola: 35574021 markings, 54983605 edges, 424514 markings/sec, 70 secs
lola: 37724655 markings, 58447225 edges, 430127 markings/sec, 75 secs
lola: 39839486 markings, 61861529 edges, 422966 markings/sec, 80 secs
lola: 41959809 markings, 65271763 edges, 424065 markings/sec, 85 secs
lola: 44089283 markings, 68709543 edges, 425895 markings/sec, 90 secs
lola: 46212131 markings, 72127193 edges, 424570 markings/sec, 95 secs
lola: 48365291 markings, 75602163 edges, 430632 markings/sec, 100 secs
lola: 50499960 markings, 79042574 edges, 426934 markings/sec, 105 secs
lola: 52625487 markings, 82461187 edges, 425105 markings/sec, 110 secs
lola: 54740018 markings, 85874837 edges, 422906 markings/sec, 115 secs
lola: 56875308 markings, 89313529 edges, 427058 markings/sec, 120 secs
lola: 58980592 markings, 92708280 edges, 421057 markings/sec, 125 secs
lola: 61094862 markings, 96113890 edges, 422854 markings/sec, 130 secs
lola: 63212396 markings, 99523447 edges, 423507 markings/sec, 135 secs
lola: 65327836 markings, 102939501 edges, 423088 markings/sec, 140 secs
lola: 67464764 markings, 106381878 edges, 427386 markings/sec, 145 secs
lola: 69569250 markings, 109774816 edges, 420897 markings/sec, 150 secs
lola: 71678305 markings, 113171201 edges, 421811 markings/sec, 155 secs
lola: 73778727 markings, 116557363 edges, 420084 markings/sec, 160 secs
lola: 75905983 markings, 119982476 edges, 425451 markings/sec, 165 secs
lola: 78013760 markings, 123382747 edges, 421555 markings/sec, 170 secs
lola: 80119113 markings, 126777553 edges, 421071 markings/sec, 175 secs
lola: 82232304 markings, 130176502 edges, 422638 markings/sec, 180 secs
lola: 84279709 markings, 133492327 edges, 409481 markings/sec, 185 secs
lola: 86080016 markings, 136575509 edges, 360061 markings/sec, 190 secs
lola: 87861041 markings, 139630666 edges, 356205 markings/sec, 195 secs
lola: 89635453 markings, 142670943 edges, 354882 markings/sec, 200 secs
lola: 91410630 markings, 145716914 edges, 355035 markings/sec, 205 secs
lola: 93187926 markings, 148766387 edges, 355459 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 2844221 markings, 4739485 edges, 568844 markings/sec, 0 secs
lola: 5332722 markings, 8886858 edges, 497700 markings/sec, 5 secs
lola: 7708605 markings, 12846452 edges, 475177 markings/sec, 10 secs
lola: 10040809 markings, 16732917 edges, 466441 markings/sec, 15 secs
lola: 12336293 markings, 20558793 edges, 459097 markings/sec, 20 secs
lola: 14685230 markings, 24500620 edges, 469787 markings/sec, 25 secs
lola: 16896237 markings, 28264522 edges, 442201 markings/sec, 30 secs
lola: 19042009 markings, 31957047 edges, 429154 markings/sec, 35 secs
lola: 21127116 markings, 35577527 edges, 417021 markings/sec, 40 secs
lola: 23175875 markings, 39160564 edges, 409752 markings/sec, 45 secs
lola: 25195656 markings, 42714164 edges, 403956 markings/sec, 50 secs
lola: 27186475 markings, 46235642 edges, 398164 markings/sec, 55 secs
lola: 29135916 markings, 49700851 edges, 389888 markings/sec, 60 secs
lola: 31064044 markings, 53141143 edges, 385626 markings/sec, 65 secs
lola: 32979228 markings, 56571605 edges, 383037 markings/sec, 70 secs
lola: 34876988 markings, 59981892 edges, 379552 markings/sec, 75 secs
lola: 36755464 markings, 63367137 edges, 375695 markings/sec, 80 secs
lola: 38627642 markings, 66751415 edges, 374436 markings/sec, 85 secs
lola: 40482023 markings, 70112851 edges, 370876 markings/sec, 90 secs
lola: 42327531 markings, 73462943 edges, 369102 markings/sec, 95 secs
lola: 44170309 markings, 76816264 edges, 368556 markings/sec, 100 secs
lola: 46008362 markings, 80169052 edges, 367611 markings/sec, 105 secs
lola: 47834600 markings, 83506067 edges, 365248 markings/sec, 110 secs
lola: 49653655 markings, 86838423 edges, 363811 markings/sec, 115 secs
lola: 51451803 markings, 90135913 edges, 359630 markings/sec, 120 secs
lola: 53247397 markings, 93431983 edges, 359119 markings/sec, 125 secs
lola: 55037877 markings, 96726006 edges, 358096 markings/sec, 130 secs
lola: 56823870 markings, 100015110 edges, 357199 markings/sec, 135 secs
lola: 58606472 markings, 103303259 edges, 356520 markings/sec, 140 secs
lola: 60382301 markings, 106584696 edges, 355166 markings/sec, 145 secs
lola: 62158428 markings, 109866803 edges, 355225 markings/sec, 150 secs
lola: 63927636 markings, 113141971 edges, 353842 markings/sec, 155 secs
lola: 65688079 markings, 116405823 edges, 352089 markings/sec, 160 secs
lola: 67449126 markings, 119671776 edges, 352209 markings/sec, 165 secs
lola: 69206013 markings, 122932427 edges, 351377 markings/sec, 170 secs
lola: 70953153 markings, 126182057 edges, 349428 markings/sec, 175 secs
lola: 72697887 markings, 129427846 edges, 348947 markings/sec, 180 secs
lola: 74437439 markings, 132667357 edges, 347910 markings/sec, 185 secs
lola: 76175293 markings, 135904177 edges, 347571 markings/sec, 190 secs
lola: 77908756 markings, 139137809 edges, 346693 markings/sec, 195 secs
lola: 79632616 markings, 142356788 edges, 344772 markings/sec, 200 secs
lola: 81351211 markings, 145570980 edges, 343719 markings/sec, 205 secs
lola: 83071114 markings, 148783859 edges, 343981 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(DiskControllerUnit)
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: 1835300 markings, 4356346 edges, 367060 markings/sec, 0 secs
lola: 3487858 markings, 8393439 edges, 330512 markings/sec, 5 secs
lola: 5090086 markings, 12331168 edges, 320446 markings/sec, 10 secs
lola: 6673130 markings, 16210154 edges, 316609 markings/sec, 15 secs
lola: 8232439 markings, 20043794 edges, 311862 markings/sec, 20 secs
lola: 9785154 markings, 23861152 edges, 310543 markings/sec, 25 secs
lola: 11282287 markings, 27556991 edges, 299427 markings/sec, 30 secs
lola: 12775246 markings, 31239526 edges, 298592 markings/sec, 35 secs
lola: 14275762 markings, 34944980 edges, 300103 markings/sec, 40 secs
lola: 15767428 markings, 38627075 edges, 298333 markings/sec, 45 secs
lola: 17250581 markings, 42300572 edges, 296631 markings/sec, 50 secs
lola: 18729506 markings, 45953538 edges, 295785 markings/sec, 55 secs
lola: 20198105 markings, 49585601 edges, 293720 markings/sec, 60 secs
lola: 21664985 markings, 53205277 edges, 293376 markings/sec, 65 secs
lola: 23134949 markings, 56840892 edges, 293993 markings/sec, 70 secs
lola: 24615567 markings, 60491350 edges, 296124 markings/sec, 75 secs
lola: 26119617 markings, 64186138 edges, 300810 markings/sec, 80 secs
lola: 27589053 markings, 67814992 edges, 293887 markings/sec, 85 secs
lola: 29082451 markings, 71486139 edges, 298680 markings/sec, 90 secs
lola: 30534206 markings, 75065041 edges, 290351 markings/sec, 95 secs
lola: 31975657 markings, 78638743 edges, 288290 markings/sec, 100 secs
lola: 33417976 markings, 82197337 edges, 288464 markings/sec, 105 secs
lola: 34841412 markings, 85713830 edges, 284687 markings/sec, 110 secs
lola: 36278877 markings, 89278950 edges, 287493 markings/sec, 115 secs
lola: 37737977 markings, 92894638 edges, 291820 markings/sec, 120 secs
lola: 39177018 markings, 96456387 edges, 287808 markings/sec, 125 secs
lola: 40600228 markings, 99978065 edges, 284642 markings/sec, 130 secs
lola: 42031479 markings, 103524830 edges, 286250 markings/sec, 135 secs
lola: 43468634 markings, 107084726 edges, 287431 markings/sec, 140 secs
lola: 44889022 markings, 110624623 edges, 284078 markings/sec, 145 secs
lola: 46300463 markings, 114136057 edges, 282288 markings/sec, 150 secs
lola: 47743999 markings, 117727883 edges, 288707 markings/sec, 155 secs
lola: 49166371 markings, 121256861 edges, 284474 markings/sec, 160 secs
lola: 50587307 markings, 124801532 edges, 284187 markings/sec, 165 secs
lola: 52014501 markings, 128340362 edges, 285439 markings/sec, 170 secs
lola: 53450467 markings, 131914817 edges, 287193 markings/sec, 175 secs
lola: 54864913 markings, 135429755 edges, 282889 markings/sec, 180 secs
lola: 56289645 markings, 138973978 edges, 284946 markings/sec, 185 secs
lola: 57710387 markings, 142487731 edges, 284148 markings/sec, 190 secs
lola: 59145815 markings, 146047577 edges, 287086 markings/sec, 195 secs
lola: 60584722 markings, 149622541 edges, 287781 markings/sec, 200 secs
lola: 61991581 markings, 153098611 edges, 281372 markings/sec, 205 secs
lola: 63400517 markings, 156592561 edges, 281787 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 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: 2873724 markings, 4310584 edges, 574745 markings/sec, 0 secs
lola: 5368370 markings, 8052555 edges, 498929 markings/sec, 5 secs
lola: 7731370 markings, 11597053 edges, 472600 markings/sec, 10 secs
lola: 10027205 markings, 15040807 edges, 459167 markings/sec, 15 secs
lola: 12255683 markings, 18383523 edges, 445696 markings/sec, 20 secs
lola: 14249543 markings, 21422332 edges, 398772 markings/sec, 25 secs
lola: 16350527 markings, 24755880 edges, 420197 markings/sec, 30 secs
lola: 18366045 markings, 28062699 edges, 403104 markings/sec, 35 secs
lola: 20312728 markings, 31344285 edges, 389337 markings/sec, 40 secs
lola: 22202803 markings, 34602640 edges, 378015 markings/sec, 45 secs
lola: 24045973 markings, 37838373 edges, 368634 markings/sec, 50 secs
lola: 25856887 markings, 41068301 edges, 362183 markings/sec, 55 secs
lola: 27627322 markings, 44274044 edges, 354087 markings/sec, 60 secs
lola: 29364995 markings, 47454946 edges, 347535 markings/sec, 65 secs
lola: 31082977 markings, 50638349 edges, 343596 markings/sec, 70 secs
lola: 32774629 markings, 53803271 edges, 338330 markings/sec, 75 secs
lola: 34441593 markings, 56953799 edges, 333393 markings/sec, 80 secs
lola: 36086463 markings, 60089656 edges, 328974 markings/sec, 85 secs
lola: 37719370 markings, 63221241 edges, 326581 markings/sec, 90 secs
lola: 39337916 markings, 66350484 edges, 323709 markings/sec, 95 secs
lola: 40941826 markings, 69466945 edges, 320782 markings/sec, 100 secs
lola: 42527397 markings, 72574205 edges, 317114 markings/sec, 105 secs
lola: 44094284 markings, 75656786 edges, 313377 markings/sec, 110 secs
lola: 45641038 markings, 78717103 edges, 309351 markings/sec, 115 secs
lola: 47174313 markings, 81763343 edges, 306655 markings/sec, 120 secs
lola: 48687545 markings, 84794640 edges, 302646 markings/sec, 125 secs
lola: 50189540 markings, 87810822 edges, 300399 markings/sec, 130 secs
lola: 51690683 markings, 90842004 edges, 300229 markings/sec, 135 secs
lola: 53185242 markings, 93873553 edges, 298912 markings/sec, 140 secs
lola: 54673445 markings, 96915888 edges, 297641 markings/sec, 145 secs
lola: 56159232 markings, 99965666 edges, 297157 markings/sec, 150 secs
lola: 57642437 markings, 103018320 edges, 296641 markings/sec, 155 secs
lola: 59121845 markings, 106078855 edges, 295882 markings/sec, 160 secs
lola: 60595561 markings, 109141764 edges, 294743 markings/sec, 165 secs
lola: 62062283 markings, 112203316 edges, 293344 markings/sec, 170 secs
lola: 63528585 markings, 115277279 edges, 293260 markings/sec, 175 secs
lola: 64995618 markings, 118362456 edges, 293407 markings/sec, 180 secs
lola: 66456135 markings, 121441978 edges, 292103 markings/sec, 185 secs
lola: 67909468 markings, 124520149 edges, 290667 markings/sec, 190 secs
lola: 69356330 markings, 127595270 edges, 289372 markings/sec, 195 secs
lola: 70802965 markings, 130674792 edges, 289327 markings/sec, 200 secs
lola: 72244310 markings, 133755023 edges, 288269 markings/sec, 205 secs
lola: 73677828 markings, 136832503 edges, 286704 markings/sec, 210 secs
lola: 75110702 markings, 139905360 edges, 286575 markings/sec, 215 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: 1823705 markings, 3541242 edges, 364741 markings/sec, 0 secs
lola: 3620781 markings, 7272917 edges, 359415 markings/sec, 5 secs
lola: 5376244 markings, 10939785 edges, 351093 markings/sec, 10 secs
lola: 7115345 markings, 14572377 edges, 347820 markings/sec, 15 secs
lola: 8846145 markings, 18225065 edges, 346160 markings/sec, 20 secs
lola: 10607586 markings, 21932838 edges, 352288 markings/sec, 25 secs
lola: 12356466 markings, 25638151 edges, 349776 markings/sec, 30 secs
lola: 14097051 markings, 29330977 edges, 348117 markings/sec, 35 secs
lola: 15826333 markings, 32999680 edges, 345856 markings/sec, 40 secs
lola: 17553649 markings, 36664709 edges, 345463 markings/sec, 45 secs
lola: 19259015 markings, 40296992 edges, 341073 markings/sec, 50 secs
lola: 20965833 markings, 43916715 edges, 341364 markings/sec, 55 secs
lola: 22616194 markings, 47259609 edges, 330072 markings/sec, 60 secs
lola: 24333758 markings, 50797035 edges, 343513 markings/sec, 65 secs
lola: 26066320 markings, 54340657 edges, 346512 markings/sec, 70 secs
lola: 27828410 markings, 57947058 edges, 352418 markings/sec, 75 secs
lola: 29605194 markings, 61577679 edges, 355357 markings/sec, 80 secs
lola: 31433917 markings, 65324576 edges, 365745 markings/sec, 85 secs
lola: 33279141 markings, 69101831 edges, 369045 markings/sec, 90 secs
lola: 35111548 markings, 72832355 edges, 366481 markings/sec, 95 secs
lola: 36948853 markings, 76558399 edges, 367461 markings/sec, 100 secs
lola: 38838214 markings, 80287424 edges, 377872 markings/sec, 105 secs
lola: 40346695 markings, 83412130 edges, 301696 markings/sec, 110 secs
lola: 41781563 markings, 86444257 edges, 286974 markings/sec, 115 secs
lola: 43194689 markings, 89444119 edges, 282625 markings/sec, 120 secs
lola: 44596154 markings, 92430829 edges, 280293 markings/sec, 125 secs
lola: 45986321 markings, 95408072 edges, 278033 markings/sec, 130 secs
lola: 47385390 markings, 98388603 edges, 279814 markings/sec, 135 secs
lola: 48775272 markings, 101348400 edges, 277976 markings/sec, 140 secs
lola: 50160113 markings, 104305475 edges, 276968 markings/sec, 145 secs
lola: 51528576 markings, 107243675 edges, 273693 markings/sec, 150 secs
lola: 52898257 markings, 110177786 edges, 273936 markings/sec, 155 secs
lola: 54267574 markings, 113099373 edges, 273863 markings/sec, 160 secs
lola: 55629971 markings, 116017118 edges, 272479 markings/sec, 165 secs
lola: 56986131 markings, 118927974 edges, 271232 markings/sec, 170 secs
lola: 58351810 markings, 121847585 edges, 273136 markings/sec, 175 secs
lola: 59711982 markings, 124761261 edges, 272034 markings/sec, 180 secs
lola: 61070479 markings, 127669235 edges, 271699 markings/sec, 185 secs
lola: 62413833 markings, 130555348 edges, 268671 markings/sec, 190 secs
lola: 63771801 markings, 133467962 edges, 271594 markings/sec, 195 secs
lola: 65130302 markings, 136367881 edges, 271700 markings/sec, 200 secs
lola: 66495755 markings, 139285239 edges, 273091 markings/sec, 205 secs
lola: 67841346 markings, 142169873 edges, 269118 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(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: 3667400 markings, 4891257 edges, 733480 markings/sec, 0 secs
lola: 7131147 markings, 9510172 edges, 692749 markings/sec, 5 secs
lola: 9790881 markings, 13433134 edges, 531947 markings/sec, 10 secs
lola: 11992134 markings, 16982778 edges, 440251 markings/sec, 15 secs
lola: 14199523 markings, 20536950 edges, 441478 markings/sec, 20 secs
lola: 16388747 markings, 24068694 edges, 437845 markings/sec, 25 secs
lola: 18594945 markings, 27624244 edges, 441240 markings/sec, 30 secs
lola: 20771603 markings, 31132456 edges, 435332 markings/sec, 35 secs
lola: 22948196 markings, 34640544 edges, 435319 markings/sec, 40 secs
lola: 25121774 markings, 38141818 edges, 434716 markings/sec, 45 secs
lola: 27310032 markings, 41666847 edges, 437652 markings/sec, 50 secs
lola: 29522898 markings, 45233133 edges, 442573 markings/sec, 55 secs
lola: 31705367 markings, 48746474 edges, 436494 markings/sec, 60 secs
lola: 33878983 markings, 52250943 edges, 434723 markings/sec, 65 secs
lola: 36042507 markings, 55743629 edges, 432705 markings/sec, 70 secs
lola: 38227418 markings, 59261105 edges, 436982 markings/sec, 75 secs
lola: 40367032 markings, 62709025 edges, 427923 markings/sec, 80 secs
lola: 42519959 markings, 66175453 edges, 430585 markings/sec, 85 secs
lola: 44664320 markings, 69633263 edges, 428872 markings/sec, 90 secs
lola: 46823061 markings, 73112538 edges, 431748 markings/sec, 95 secs
lola: 48991864 markings, 76612194 edges, 433761 markings/sec, 100 secs
lola: 51150970 markings, 80085189 edges, 431821 markings/sec, 105 secs
lola: 53282290 markings, 83519233 edges, 426264 markings/sec, 110 secs
lola: 55417729 markings, 86962978 edges, 427088 markings/sec, 115 secs
lola: 57569172 markings, 90428870 edges, 430289 markings/sec, 120 secs
lola: 59683715 markings, 93842893 edges, 422909 markings/sec, 125 secs
lola: 61816700 markings, 97276440 edges, 426597 markings/sec, 130 secs
lola: 63939802 markings, 100695727 edges, 424620 markings/sec, 135 secs
lola: 66099760 markings, 104181858 edges, 431992 markings/sec, 140 secs
lola: 68236376 markings, 107623533 edges, 427323 markings/sec, 145 secs
lola: 70354051 markings, 111034894 edges, 423535 markings/sec, 150 secs
lola: 72464883 markings, 114432587 edges, 422166 markings/sec, 155 secs
lola: 74568978 markings, 117824202 edges, 420819 markings/sec, 160 secs
lola: 76709265 markings, 121273868 edges, 428057 markings/sec, 165 secs
lola: 78823872 markings, 124687472 edges, 422921 markings/sec, 170 secs
lola: 80949145 markings, 128106132 edges, 425055 markings/sec, 175 secs
lola: 83060888 markings, 131513042 edges, 422349 markings/sec, 180 secs
lola: 85011446 markings, 134741993 edges, 390112 markings/sec, 185 secs
lola: 86833122 markings, 137870709 edges, 364335 markings/sec, 190 secs
lola: 88655335 markings, 140991795 edges, 364443 markings/sec, 195 secs
lola: 90461940 markings, 144091096 edges, 361321 markings/sec, 200 secs
lola: 92285472 markings, 147220620 edges, 364706 markings/sec, 205 secs
lola: 94098200 markings, 150331750 edges, 362546 markings/sec, 210 secs
lola: 95906038 markings, 153431877 edges, 361568 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(DiskControllerUnit)
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: 1810308 markings, 4293528 edges, 362062 markings/sec, 0 secs
lola: 3435574 markings, 8265702 edges, 325053 markings/sec, 5 secs
lola: 5019104 markings, 12156036 edges, 316706 markings/sec, 10 secs
lola: 6576082 markings, 15979433 edges, 311396 markings/sec, 15 secs
lola: 8119343 markings, 19772789 edges, 308652 markings/sec, 20 secs
lola: 9663527 markings, 23561476 edges, 308837 markings/sec, 25 secs
lola: 11155787 markings, 27243656 edges, 298452 markings/sec, 30 secs
lola: 12648169 markings, 30924430 edges, 298476 markings/sec, 35 secs
lola: 14136895 markings, 34604518 edges, 297745 markings/sec, 40 secs
lola: 15632460 markings, 38293074 edges, 299113 markings/sec, 45 secs
lola: 17109523 markings, 41950673 edges, 295413 markings/sec, 50 secs
lola: 18586526 markings, 45608741 edges, 295401 markings/sec, 55 secs
lola: 20059566 markings, 49242853 edges, 294608 markings/sec, 60 secs
lola: 21516852 markings, 52846986 edges, 291457 markings/sec, 65 secs
lola: 22991959 markings, 56487446 edges, 295021 markings/sec, 70 secs
lola: 24459734 markings, 60104910 edges, 293555 markings/sec, 75 secs
lola: 25958465 markings, 63790765 edges, 299746 markings/sec, 80 secs
lola: 27424753 markings, 67409210 edges, 293258 markings/sec, 85 secs
lola: 28920894 markings, 71086153 edges, 299228 markings/sec, 90 secs
lola: 30369221 markings, 74660068 edges, 289665 markings/sec, 95 secs
lola: 31811508 markings, 78229985 edges, 288457 markings/sec, 100 secs
lola: 33263148 markings, 81812898 edges, 290328 markings/sec, 105 secs
lola: 34693745 markings, 85349419 edges, 286119 markings/sec, 110 secs
lola: 36124141 markings, 88896410 edges, 286079 markings/sec, 115 secs
lola: 37570084 markings, 92475956 edges, 289189 markings/sec, 120 secs
lola: 38974893 markings, 95954706 edges, 280962 markings/sec, 125 secs
lola: 40360168 markings, 99379813 edges, 277055 markings/sec, 130 secs
lola: 41759519 markings, 102853064 edges, 279870 markings/sec, 135 secs
lola: 43160006 markings, 106314425 edges, 280097 markings/sec, 140 secs
lola: 44556885 markings, 109796343 edges, 279376 markings/sec, 145 secs
lola: 45930768 markings, 113216856 edges, 274777 markings/sec, 150 secs
lola: 47325591 markings, 116694535 edges, 278965 markings/sec, 155 secs
lola: 48740494 markings, 120196058 edges, 282981 markings/sec, 160 secs
lola: 50148622 markings, 123710353 edges, 281626 markings/sec, 165 secs
lola: 51546359 markings, 127180941 edges, 279547 markings/sec, 170 secs
lola: 52971400 markings, 130721628 edges, 285008 markings/sec, 175 secs
lola: 54378801 markings, 134222778 edges, 281480 markings/sec, 180 secs
lola: 55790876 markings, 137729230 edges, 282415 markings/sec, 185 secs
lola: 57206588 markings, 141240210 edges, 283142 markings/sec, 190 secs
lola: 58626001 markings, 144752450 edges, 283883 markings/sec, 195 secs
lola: 60026171 markings, 148237806 edges, 280034 markings/sec, 200 secs
lola: 61452666 markings, 151760061 edges, 285299 markings/sec, 205 secs
lola: 62854223 markings, 155238372 edges, 280311 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT8192DC2048-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494932193793

--------------------
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-MT8192DC2048"
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-MT8192DC2048.tgz
mv SmallOperatingSystem-PT-MT8192DC2048 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-MT8192DC2048, 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-149441008200047"
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 ;