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 S_SmallOperatingSystem-PT-MT4096DC2048, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496556757315


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT4096DC2048: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT4096DC2048: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SmallOperatingSystem-PT-MT4096DC2048 @ 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-MT4096DC2048-UpperBounds.task
lola: MAX(DiskControllerUnit) : MAX(DiskControllerUnit) : MAX(TaskOnDisk) : MAX(DiskControllerUnit) : MAX(TaskReady) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskOnDisk) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(CPUUnit) : MAX(CPUUnit) : MAX(TaskOnDisk) : MAX(CPUUnit) : MAX(TaskOnDisk) : MAX(TaskOnDisk)
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(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: 1711025 markings, 4061317 edges, 342205 markings/sec, 0 secs
lola: 3267314 markings, 7862395 edges, 311258 markings/sec, 5 secs
lola: 4788150 markings, 11595904 edges, 304167 markings/sec, 10 secs
lola: 6295014 markings, 15296235 edges, 301373 markings/sec, 15 secs
lola: 7779136 markings, 18951338 edges, 296824 markings/sec, 20 secs
lola: 9268257 markings, 22610770 edges, 297824 markings/sec, 25 secs
lola: 10731596 markings, 26208975 edges, 292668 markings/sec, 30 secs
lola: 12179908 markings, 29778489 edges, 289662 markings/sec, 35 secs
lola: 13618122 markings, 33339702 edges, 287643 markings/sec, 40 secs
lola: 15071020 markings, 36910190 edges, 290580 markings/sec, 45 secs
lola: 16492793 markings, 40431347 edges, 284355 markings/sec, 50 secs
lola: 17889774 markings, 43898449 edges, 279396 markings/sec, 55 secs
lola: 19246259 markings, 47247732 edges, 271297 markings/sec, 60 secs
lola: 20483298 markings, 50302308 edges, 247408 markings/sec, 65 secs
lola: 21740325 markings, 53403759 edges, 251405 markings/sec, 70 secs
lola: 23072393 markings, 56697376 edges, 266414 markings/sec, 75 secs
lola: 24429785 markings, 60044379 edges, 271478 markings/sec, 80 secs
lola: 25823380 markings, 63478116 edges, 278719 markings/sec, 85 secs
lola: 27203323 markings, 66878665 edges, 275989 markings/sec, 90 secs
lola: 28616849 markings, 70349152 edges, 282705 markings/sec, 95 secs
lola: 29999025 markings, 73757157 edges, 276435 markings/sec, 100 secs
lola: 31354620 markings, 77112178 edges, 271119 markings/sec, 105 secs
lola: 32754766 markings, 80565279 edges, 280029 markings/sec, 110 secs
lola: 34096906 markings, 83893452 edges, 268428 markings/sec, 115 secs
lola: 35466602 markings, 87280344 edges, 273939 markings/sec, 120 secs
lola: 36846540 markings, 90697937 edges, 275988 markings/sec, 125 secs
lola: 38255490 markings, 94178719 edges, 281790 markings/sec, 130 secs
lola: 39584930 markings, 97482427 edges, 265888 markings/sec, 135 secs
lola: 40934159 markings, 100820914 edges, 269846 markings/sec, 140 secs
lola: 42297473 markings, 104195745 edges, 272663 markings/sec, 145 secs
lola: 43661943 markings, 107575035 edges, 272894 markings/sec, 150 secs
lola: 45017943 markings, 110959534 edges, 271200 markings/sec, 155 secs
lola: 46374598 markings, 114333019 edges, 271331 markings/sec, 160 secs
lola: 47768533 markings, 117801768 edges, 278787 markings/sec, 165 secs
lola: 49134869 markings, 121190464 edges, 273267 markings/sec, 170 secs
lola: 50516245 markings, 124638959 edges, 276275 markings/sec, 175 secs
lola: 51886556 markings, 128034563 edges, 274062 markings/sec, 180 secs
lola: 53288428 markings, 131522536 edges, 280374 markings/sec, 185 secs
lola: 54636376 markings, 134871936 edges, 269590 markings/sec, 190 secs
lola: 56006489 markings, 138282233 edges, 274023 markings/sec, 195 secs
lola: 57375630 markings, 141670842 edges, 273828 markings/sec, 200 secs
lola: 58727655 markings, 145018313 edges, 270405 markings/sec, 205 secs
lola: 60072976 markings, 148363437 edges, 269064 markings/sec, 210 secs
lola: 61446349 markings, 151756517 edges, 274675 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(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: 1753531 markings, 4167126 edges, 350706 markings/sec, 0 secs
lola: 3348288 markings, 8061475 edges, 318951 markings/sec, 5 secs
lola: 4904487 markings, 11883981 edges, 311240 markings/sec, 10 secs
lola: 6441982 markings, 15658186 edges, 307499 markings/sec, 15 secs
lola: 7961396 markings, 19394484 edges, 303883 markings/sec, 20 secs
lola: 9487003 markings, 23136296 edges, 305121 markings/sec, 25 secs
lola: 10963177 markings, 26781200 edges, 295235 markings/sec, 30 secs
lola: 12435303 markings, 30408662 edges, 294425 markings/sec, 35 secs
lola: 13907897 markings, 34049972 edges, 294519 markings/sec, 40 secs
lola: 15376304 markings, 37667430 edges, 293681 markings/sec, 45 secs
lola: 16837827 markings, 41289633 edges, 292305 markings/sec, 50 secs
lola: 18284358 markings, 44873780 edges, 289306 markings/sec, 55 secs
lola: 19731390 markings, 48449409 edges, 289406 markings/sec, 60 secs
lola: 21180879 markings, 52029764 edges, 289898 markings/sec, 65 secs
lola: 22645905 markings, 55646197 edges, 293005 markings/sec, 70 secs
lola: 24117416 markings, 59268958 edges, 294302 markings/sec, 75 secs
lola: 25593143 markings, 62908159 edges, 295145 markings/sec, 80 secs
lola: 27062526 markings, 66530180 edges, 293877 markings/sec, 85 secs
lola: 28543735 markings, 70170822 edges, 296242 markings/sec, 90 secs
lola: 30000250 markings, 73760206 edges, 291303 markings/sec, 95 secs
lola: 31428195 markings, 77294956 edges, 285589 markings/sec, 100 secs
lola: 32884655 markings, 80887291 edges, 291292 markings/sec, 105 secs
lola: 34298487 markings, 84384999 edges, 282766 markings/sec, 110 secs
lola: 35716778 markings, 87892511 edges, 283658 markings/sec, 115 secs
lola: 37131414 markings, 91402966 edges, 282927 markings/sec, 120 secs
lola: 38553274 markings, 94920750 edges, 284372 markings/sec, 125 secs
lola: 39929813 markings, 98329889 edges, 275308 markings/sec, 130 secs
lola: 41313733 markings, 101763451 edges, 276784 markings/sec, 135 secs
lola: 42703775 markings, 105198571 edges, 278008 markings/sec, 140 secs
lola: 44064879 markings, 108581534 edges, 272221 markings/sec, 145 secs
lola: 45409532 markings, 111931890 edges, 268931 markings/sec, 150 secs
lola: 46757286 markings, 115289240 edges, 269551 markings/sec, 155 secs
lola: 48125622 markings, 118690615 edges, 273667 markings/sec, 160 secs
lola: 49468693 markings, 122025689 edges, 268614 markings/sec, 165 secs
lola: 50811731 markings, 125372438 edges, 268608 markings/sec, 170 secs
lola: 52152566 markings, 128696273 edges, 268167 markings/sec, 175 secs
lola: 53497249 markings, 132043010 edges, 268937 markings/sec, 180 secs
lola: 54829053 markings, 135353611 edges, 266361 markings/sec, 185 secs
lola: 56153653 markings, 138646758 edges, 264920 markings/sec, 190 secs
lola: 57482327 markings, 141937020 edges, 265735 markings/sec, 195 secs
lola: 58819551 markings, 145246639 edges, 267445 markings/sec, 200 secs
lola: 60132916 markings, 148513283 edges, 262673 markings/sec, 205 secs
lola: 61479472 markings, 151838745 edges, 269311 markings/sec, 210 secs
lola: 62806014 markings, 155129598 edges, 265308 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(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: 1641991 markings, 3891456 edges, 328398 markings/sec, 0 secs
lola: 3097119 markings, 7443092 edges, 291026 markings/sec, 5 secs
lola: 4508377 markings, 10904445 edges, 282252 markings/sec, 10 secs
lola: 5930776 markings, 14401192 edges, 284480 markings/sec, 15 secs
lola: 7331888 markings, 17853443 edges, 280222 markings/sec, 20 secs
lola: 8740089 markings, 21312715 edges, 281640 markings/sec, 25 secs
lola: 10105863 markings, 24669418 edges, 273155 markings/sec, 30 secs
lola: 11456912 markings, 27999406 edges, 270210 markings/sec, 35 secs
lola: 12763055 markings, 31222001 edges, 261229 markings/sec, 40 secs
lola: 14074438 markings, 34462547 edges, 262277 markings/sec, 45 secs
lola: 15373262 markings, 37660015 edges, 259765 markings/sec, 50 secs
lola: 16673946 markings, 40882393 edges, 260137 markings/sec, 55 secs
lola: 17932963 markings, 44003200 edges, 251803 markings/sec, 60 secs
lola: 19293533 markings, 47364228 edges, 272114 markings/sec, 65 secs
lola: 20673138 markings, 50771683 edges, 275921 markings/sec, 70 secs
lola: 22044799 markings, 54160911 edges, 274332 markings/sec, 75 secs
lola: 23429119 markings, 57563861 edges, 276864 markings/sec, 80 secs
lola: 24789201 markings, 60934793 edges, 272016 markings/sec, 85 secs
lola: 26136363 markings, 64239575 edges, 269432 markings/sec, 90 secs
lola: 27405325 markings, 67374505 edges, 253792 markings/sec, 95 secs
lola: 28738274 markings, 70650609 edges, 266590 markings/sec, 100 secs
lola: 30019147 markings, 73807358 edges, 256175 markings/sec, 105 secs
lola: 31287167 markings, 76945125 edges, 253604 markings/sec, 110 secs
lola: 32590146 markings, 80166200 edges, 260596 markings/sec, 115 secs
lola: 33864556 markings, 83317966 edges, 254882 markings/sec, 120 secs
lola: 35133416 markings, 86451390 edges, 253772 markings/sec, 125 secs
lola: 36406924 markings, 89607796 edges, 254702 markings/sec, 130 secs
lola: 37699532 markings, 92809982 edges, 258522 markings/sec, 135 secs
lola: 38956116 markings, 95922561 edges, 251317 markings/sec, 140 secs
lola: 40187343 markings, 98964587 edges, 246245 markings/sec, 145 secs
lola: 41426126 markings, 102043316 edges, 247757 markings/sec, 150 secs
lola: 42686058 markings, 105154911 edges, 251986 markings/sec, 155 secs
lola: 43927257 markings, 108237437 edges, 248240 markings/sec, 160 secs
lola: 45163813 markings, 111322316 edges, 247311 markings/sec, 165 secs
lola: 46405586 markings, 114410328 edges, 248355 markings/sec, 170 secs
lola: 47658038 markings, 117523658 edges, 250490 markings/sec, 175 secs
lola: 48896120 markings, 120594372 edges, 247616 markings/sec, 180 secs
lola: 50193633 markings, 123834671 edges, 259503 markings/sec, 185 secs
lola: 51467313 markings, 126996870 edges, 254736 markings/sec, 190 secs
lola: 52762307 markings, 130211485 edges, 258999 markings/sec, 195 secs
lola: 54106969 markings, 133560210 edges, 268932 markings/sec, 200 secs
lola: 55500893 markings, 137020601 edges, 278785 markings/sec, 205 secs
lola: 56872924 markings, 140432488 edges, 274406 markings/sec, 210 secs
lola: 58200862 markings, 143711259 edges, 265588 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(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: 1740458 markings, 4134657 edges, 348092 markings/sec, 0 secs
lola: 3276185 markings, 7884439 edges, 307145 markings/sec, 5 secs
lola: 4782210 markings, 11580667 edges, 301205 markings/sec, 10 secs
lola: 6280693 markings, 15260877 edges, 299697 markings/sec, 15 secs
lola: 7775600 markings, 18943352 edges, 298981 markings/sec, 20 secs
lola: 9284310 markings, 22650214 edges, 301742 markings/sec, 25 secs
lola: 10767053 markings, 26296328 edges, 296549 markings/sec, 30 secs
lola: 12234420 markings, 29912498 edges, 293473 markings/sec, 35 secs
lola: 13698775 markings, 33536215 edges, 292871 markings/sec, 40 secs
lola: 15173150 markings, 37163097 edges, 294875 markings/sec, 45 secs
lola: 16633507 markings, 40783296 edges, 292071 markings/sec, 50 secs
lola: 18070535 markings, 44344381 edges, 287406 markings/sec, 55 secs
lola: 19523011 markings, 47930749 edges, 290495 markings/sec, 60 secs
lola: 20965118 markings, 51496444 edges, 288421 markings/sec, 65 secs
lola: 22416490 markings, 55077983 edges, 290274 markings/sec, 70 secs
lola: 23880335 markings, 58684157 edges, 292769 markings/sec, 75 secs
lola: 25326193 markings, 62257859 edges, 289172 markings/sec, 80 secs
lola: 26798771 markings, 65877411 edges, 294516 markings/sec, 85 secs
lola: 28279722 markings, 69515351 edges, 296190 markings/sec, 90 secs
lola: 29725466 markings, 73078932 edges, 289149 markings/sec, 95 secs
lola: 31118483 markings, 76528014 edges, 278603 markings/sec, 100 secs
lola: 32510969 markings, 79971591 edges, 278497 markings/sec, 105 secs
lola: 33856727 markings, 83298736 edges, 269152 markings/sec, 110 secs
lola: 35200225 markings, 86616672 edges, 268700 markings/sec, 115 secs
lola: 36545149 markings, 89951900 edges, 268985 markings/sec, 120 secs
lola: 37898259 markings, 93305299 edges, 270622 markings/sec, 125 secs
lola: 39248034 markings, 96646796 edges, 269955 markings/sec, 130 secs
lola: 40576492 markings, 99931015 edges, 265692 markings/sec, 135 secs
lola: 41911021 markings, 103237449 edges, 266906 markings/sec, 140 secs
lola: 43234853 markings, 106514457 edges, 264766 markings/sec, 145 secs
lola: 44565528 markings, 109831054 edges, 266135 markings/sec, 150 secs
lola: 45874938 markings, 113090094 edges, 261882 markings/sec, 155 secs
lola: 47199056 markings, 116390566 edges, 264824 markings/sec, 160 secs
lola: 48547161 markings, 119729676 edges, 269621 markings/sec, 165 secs
lola: 49871294 markings, 123030670 edges, 264827 markings/sec, 170 secs
lola: 51184012 markings, 126296585 edges, 262544 markings/sec, 175 secs
lola: 52504464 markings, 129570507 edges, 264090 markings/sec, 180 secs
lola: 53806266 markings, 132813746 edges, 260360 markings/sec, 185 secs
lola: 55105424 markings, 136038384 edges, 259832 markings/sec, 190 secs
lola: 56407040 markings, 139277280 edges, 260323 markings/sec, 195 secs
lola: 57710123 markings, 142499005 edges, 260617 markings/sec, 200 secs
lola: 59026805 markings, 145760906 edges, 263336 markings/sec, 205 secs
lola: 60351037 markings, 149056735 edges, 264846 markings/sec, 210 secs
lola: 61678124 markings, 152330898 edges, 265417 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(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: 1745445 markings, 4147310 edges, 349089 markings/sec, 0 secs
lola: 3281106 markings, 7896836 edges, 307132 markings/sec, 5 secs
lola: 4767762 markings, 11544657 edges, 297331 markings/sec, 10 secs
lola: 6237380 markings, 15155064 edges, 293924 markings/sec, 15 secs
lola: 7689179 markings, 18730931 edges, 290360 markings/sec, 20 secs
lola: 9183929 markings, 22401072 edges, 298950 markings/sec, 25 secs
lola: 10652656 markings, 26014309 edges, 293745 markings/sec, 30 secs
lola: 12061039 markings, 29491967 edges, 281677 markings/sec, 35 secs
lola: 13339996 markings, 32650517 edges, 255791 markings/sec, 40 secs
lola: 14633532 markings, 35827235 edges, 258707 markings/sec, 45 secs
lola: 15917214 markings, 39012045 edges, 256736 markings/sec, 50 secs
lola: 17227330 markings, 42254944 edges, 262023 markings/sec, 55 secs
lola: 18526957 markings, 45474887 edges, 259925 markings/sec, 60 secs
lola: 19817613 markings, 48663445 edges, 258131 markings/sec, 65 secs
lola: 21111360 markings, 51859119 edges, 258749 markings/sec, 70 secs
lola: 22410875 markings, 55063943 edges, 259903 markings/sec, 75 secs
lola: 23709222 markings, 58256696 edges, 259669 markings/sec, 80 secs
lola: 24991218 markings, 61431676 edges, 256399 markings/sec, 85 secs
lola: 26284908 markings, 64607129 edges, 258738 markings/sec, 90 secs
lola: 27529857 markings, 67680861 edges, 248990 markings/sec, 95 secs
lola: 28805015 markings, 70816110 edges, 255032 markings/sec, 100 secs
lola: 30038479 markings, 73854846 edges, 246693 markings/sec, 105 secs
lola: 31245489 markings, 76845288 edges, 241402 markings/sec, 110 secs
lola: 32510676 markings, 79970742 edges, 253037 markings/sec, 115 secs
lola: 33767609 markings, 83075205 edges, 251387 markings/sec, 120 secs
lola: 35023684 markings, 86180350 edges, 251215 markings/sec, 125 secs
lola: 36317472 markings, 89386252 edges, 258758 markings/sec, 130 secs
lola: 37621908 markings, 92617656 edges, 260887 markings/sec, 135 secs
lola: 38910374 markings, 95806827 edges, 257693 markings/sec, 140 secs
lola: 40204761 markings, 99007964 edges, 258877 markings/sec, 145 secs
lola: 41523329 markings, 102287369 edges, 263714 markings/sec, 150 secs
lola: 42865525 markings, 105600909 edges, 268439 markings/sec, 155 secs
lola: 44205665 markings, 108931466 edges, 268028 markings/sec, 160 secs
lola: 45534579 markings, 112243062 edges, 265783 markings/sec, 165 secs
lola: 46875939 markings, 115584787 edges, 268272 markings/sec, 170 secs
lola: 48258064 markings, 119012464 edges, 276425 markings/sec, 175 secs
lola: 49596844 markings, 122346474 edges, 267756 markings/sec, 180 secs
lola: 50952534 markings, 125718607 edges, 271138 markings/sec, 185 secs
lola: 52307371 markings, 129081057 edges, 270967 markings/sec, 190 secs
lola: 53666600 markings, 132464402 edges, 271846 markings/sec, 195 secs
lola: 55025214 markings, 135836834 edges, 271723 markings/sec, 200 secs
lola: 56377742 markings, 139204423 edges, 270506 markings/sec, 205 secs
lola: 57716795 markings, 142515746 edges, 267811 markings/sec, 210 secs
lola: 59078958 markings, 145892213 edges, 272433 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(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: 1747307 markings, 4151484 edges, 349461 markings/sec, 0 secs
lola: 3304164 markings, 7953543 edges, 311371 markings/sec, 5 secs
lola: 4799713 markings, 11624103 edges, 299110 markings/sec, 10 secs
lola: 6288886 markings, 15281224 edges, 297835 markings/sec, 15 secs
lola: 7747686 markings, 18873814 edges, 291760 markings/sec, 20 secs
lola: 9222619 markings, 22497755 edges, 294987 markings/sec, 25 secs
lola: 10690143 markings, 26106625 edges, 293505 markings/sec, 30 secs
lola: 12124639 markings, 29649618 edges, 286899 markings/sec, 35 secs
lola: 13574066 markings, 33230127 edges, 289885 markings/sec, 40 secs
lola: 15030109 markings, 36809553 edges, 291209 markings/sec, 45 secs
lola: 16466377 markings, 40367609 edges, 287254 markings/sec, 50 secs
lola: 17867381 markings, 43840844 edges, 280201 markings/sec, 55 secs
lola: 19305105 markings, 47392799 edges, 287545 markings/sec, 60 secs
lola: 20764053 markings, 51000175 edges, 291790 markings/sec, 65 secs
lola: 22208157 markings, 54564572 edges, 288821 markings/sec, 70 secs
lola: 23679476 markings, 58183835 edges, 294264 markings/sec, 75 secs
lola: 25144977 markings, 61813611 edges, 293100 markings/sec, 80 secs
lola: 26639655 markings, 65484938 edges, 298936 markings/sec, 85 secs
lola: 28120211 markings, 69123524 edges, 296111 markings/sec, 90 secs
lola: 29576573 markings, 72714417 edges, 291272 markings/sec, 95 secs
lola: 30983906 markings, 76189537 edges, 281467 markings/sec, 100 secs
lola: 32414881 markings, 79730836 edges, 286195 markings/sec, 105 secs
lola: 33820176 markings, 83207910 edges, 281059 markings/sec, 110 secs
lola: 35237029 markings, 86707733 edges, 283371 markings/sec, 115 secs
lola: 36649108 markings, 90205901 edges, 282416 markings/sec, 120 secs
lola: 38068656 markings, 93718949 edges, 283910 markings/sec, 125 secs
lola: 39456812 markings, 97162862 edges, 277631 markings/sec, 130 secs
lola: 40845934 markings, 100601183 edges, 277824 markings/sec, 135 secs
lola: 42248241 markings, 104075875 edges, 280461 markings/sec, 140 secs
lola: 43643167 markings, 107531197 edges, 278985 markings/sec, 145 secs
lola: 45030308 markings, 110990114 edges, 277428 markings/sec, 150 secs
lola: 46420526 markings, 114448214 edges, 278044 markings/sec, 155 secs
lola: 47812646 markings, 117911815 edges, 278424 markings/sec, 160 secs
lola: 49173759 markings, 121287713 edges, 272223 markings/sec, 165 secs
lola: 50525065 markings, 124659253 edges, 270261 markings/sec, 170 secs
lola: 51878256 markings, 128014121 edges, 270638 markings/sec, 175 secs
lola: 53256678 markings, 131444237 edges, 275684 markings/sec, 180 secs
lola: 54610688 markings, 134808072 edges, 270802 markings/sec, 185 secs
lola: 55971507 markings, 138194108 edges, 272164 markings/sec, 190 secs
lola: 57334898 markings, 141569916 edges, 272678 markings/sec, 195 secs
lola: 58708905 markings, 144971002 edges, 274801 markings/sec, 200 secs
lola: 60069502 markings, 148355315 edges, 272119 markings/sec, 205 secs
lola: 61454023 markings, 151775683 edges, 276904 markings/sec, 210 secs
lola: 62816432 markings, 155155792 edges, 272482 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(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: 3649835 markings, 4867778 edges, 729967 markings/sec, 0 secs
lola: 7154748 markings, 9541679 edges, 700983 markings/sec, 5 secs
lola: 9847949 markings, 13496998 edges, 538640 markings/sec, 10 secs
lola: 12117101 markings, 17083314 edges, 453830 markings/sec, 15 secs
lola: 14343696 markings, 20602553 edges, 445319 markings/sec, 20 secs
lola: 16569536 markings, 24114871 edges, 445168 markings/sec, 25 secs
lola: 18765715 markings, 27576756 edges, 439236 markings/sec, 30 secs
lola: 20998310 markings, 31084601 edges, 446519 markings/sec, 35 secs
lola: 23258076 markings, 34634417 edges, 451953 markings/sec, 40 secs
lola: 25507323 markings, 38154886 edges, 449849 markings/sec, 45 secs
lola: 27754061 markings, 41669557 edges, 449348 markings/sec, 50 secs
lola: 30008236 markings, 45183907 edges, 450835 markings/sec, 55 secs
lola: 32201178 markings, 48638044 edges, 438588 markings/sec, 60 secs
lola: 34503273 markings, 52206948 edges, 460419 markings/sec, 65 secs
lola: 36802215 markings, 55759162 edges, 459788 markings/sec, 70 secs
lola: 39088859 markings, 59280362 edges, 457329 markings/sec, 75 secs
lola: 41424812 markings, 62858426 edges, 467191 markings/sec, 80 secs
lola: 43745924 markings, 66394379 edges, 464222 markings/sec, 85 secs
lola: 46086281 markings, 69931625 edges, 468071 markings/sec, 90 secs
lola: 48017714 markings, 73138572 edges, 386287 markings/sec, 95 secs
lola: 49883231 markings, 76340234 edges, 373103 markings/sec, 100 secs
lola: 51720410 markings, 79493462 edges, 367436 markings/sec, 105 secs
lola: 53561370 markings, 82649579 edges, 368192 markings/sec, 110 secs
lola: 55342886 markings, 85706179 edges, 356303 markings/sec, 115 secs
lola: 57112345 markings, 88745322 edges, 353892 markings/sec, 120 secs
lola: 58920000 markings, 91847451 edges, 361531 markings/sec, 125 secs
lola: 60736988 markings, 94962913 edges, 363398 markings/sec, 130 secs
lola: 62554518 markings, 98082818 edges, 363506 markings/sec, 135 secs
lola: 64371836 markings, 101203402 edges, 363464 markings/sec, 140 secs
lola: 66173378 markings, 104291799 edges, 360308 markings/sec, 145 secs
lola: 67968103 markings, 107372501 edges, 358945 markings/sec, 150 secs
lola: 69758325 markings, 110443007 edges, 358044 markings/sec, 155 secs
lola: 71524394 markings, 113474584 edges, 353214 markings/sec, 160 secs
lola: 73308078 markings, 116538071 edges, 356737 markings/sec, 165 secs
lola: 75089416 markings, 119594858 edges, 356268 markings/sec, 170 secs
lola: 76850737 markings, 122649740 edges, 352264 markings/sec, 175 secs
lola: 78574488 markings, 125618104 edges, 344750 markings/sec, 180 secs
lola: 80328427 markings, 128633139 edges, 350788 markings/sec, 185 secs
lola: 82053912 markings, 131603592 edges, 345097 markings/sec, 190 secs
lola: 83789005 markings, 134639447 edges, 347019 markings/sec, 195 secs
lola: 85546310 markings, 137649465 edges, 351461 markings/sec, 200 secs
lola: 87294702 markings, 140656490 edges, 349678 markings/sec, 205 secs
lola: 88971842 markings, 143541466 edges, 335428 markings/sec, 210 secs
lola: 90675930 markings, 146474886 edges, 340818 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(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: 1801519 markings, 4283806 edges, 360304 markings/sec, 0 secs
lola: 3433487 markings, 8272276 edges, 326394 markings/sec, 5 secs
lola: 5028859 markings, 12191929 edges, 319074 markings/sec, 10 secs
lola: 6601781 markings, 16054357 edges, 314584 markings/sec, 15 secs
lola: 8170645 markings, 19903095 edges, 313773 markings/sec, 20 secs
lola: 9724252 markings, 23722747 edges, 310721 markings/sec, 25 secs
lola: 11235071 markings, 27452945 edges, 302164 markings/sec, 30 secs
lola: 12747651 markings, 31183158 edges, 302516 markings/sec, 35 secs
lola: 14263860 markings, 34927380 edges, 303242 markings/sec, 40 secs
lola: 15769263 markings, 38644850 edges, 301081 markings/sec, 45 secs
lola: 17263984 markings, 42345535 edges, 298944 markings/sec, 50 secs
lola: 18753694 markings, 46027029 edges, 297942 markings/sec, 55 secs
lola: 20237439 markings, 49694969 edges, 296749 markings/sec, 60 secs
lola: 21715990 markings, 53343508 edges, 295710 markings/sec, 65 secs
lola: 23202812 markings, 57017302 edges, 297364 markings/sec, 70 secs
lola: 24695093 markings, 60701392 edges, 298456 markings/sec, 75 secs
lola: 26208727 markings, 64418600 edges, 302727 markings/sec, 80 secs
lola: 27698121 markings, 68092181 edges, 297879 markings/sec, 85 secs
lola: 29194792 markings, 71779570 edges, 299334 markings/sec, 90 secs
lola: 30658202 markings, 75384669 edges, 292682 markings/sec, 95 secs
lola: 32129281 markings, 79027639 edges, 294216 markings/sec, 100 secs
lola: 33584392 markings, 82620852 edges, 291022 markings/sec, 105 secs
lola: 35040779 markings, 86219494 edges, 291277 markings/sec, 110 secs
lola: 36497178 markings, 89833911 edges, 291280 markings/sec, 115 secs
lola: 37968557 markings, 93470291 edges, 294276 markings/sec, 120 secs
lola: 39405091 markings, 97035280 edges, 287307 markings/sec, 125 secs
lola: 40840442 markings, 100587207 edges, 287070 markings/sec, 130 secs
lola: 42285946 markings, 104167480 edges, 289101 markings/sec, 135 secs
lola: 43730777 markings, 107749143 edges, 288966 markings/sec, 140 secs
lola: 45163696 markings, 111322020 edges, 286584 markings/sec, 145 secs
lola: 46601353 markings, 114900529 edges, 287531 markings/sec, 150 secs
lola: 48054454 markings, 118512263 edges, 290620 markings/sec, 155 secs
lola: 49490690 markings, 122080811 edges, 287247 markings/sec, 160 secs
lola: 50928210 markings, 125660030 edges, 287504 markings/sec, 165 secs
lola: 52372170 markings, 129243074 edges, 288792 markings/sec, 170 secs
lola: 53805658 markings, 132812152 edges, 286698 markings/sec, 175 secs
lola: 55241474 markings, 136378155 edges, 287163 markings/sec, 180 secs
lola: 56663757 markings, 139913067 edges, 284457 markings/sec, 185 secs
lola: 58097456 markings, 143455117 edges, 286740 markings/sec, 190 secs
lola: 59524630 markings, 147003826 edges, 285435 markings/sec, 195 secs
lola: 60944117 markings, 150522267 edges, 283897 markings/sec, 200 secs
lola: 62339343 markings, 153973173 edges, 279045 markings/sec, 205 secs
lola: 63744545 markings, 157458399 edges, 281040 markings/sec, 210 secs
lola: 65162269 markings, 160967285 edges, 283545 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 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: 3604484 markings, 4807430 edges, 720897 markings/sec, 0 secs
lola: 7098944 markings, 9466834 edges, 698892 markings/sec, 5 secs
lola: 9827480 markings, 13466187 edges, 545707 markings/sec, 10 secs
lola: 12122573 markings, 17094261 edges, 459019 markings/sec, 15 secs
lola: 14403880 markings, 20697789 edges, 456261 markings/sec, 20 secs
lola: 16665101 markings, 24262698 edges, 452244 markings/sec, 25 secs
lola: 18916583 markings, 27813134 edges, 450296 markings/sec, 30 secs
lola: 21199731 markings, 31401684 edges, 456630 markings/sec, 35 secs
lola: 23500438 markings, 35012220 edges, 460141 markings/sec, 40 secs
lola: 25829480 markings, 38660253 edges, 465808 markings/sec, 45 secs
lola: 28139964 markings, 42272321 edges, 462097 markings/sec, 50 secs
lola: 30421082 markings, 45828932 edges, 456224 markings/sec, 55 secs
lola: 32705642 markings, 49421492 edges, 456912 markings/sec, 60 secs
lola: 35066522 markings, 53078052 edges, 472176 markings/sec, 65 secs
lola: 37406039 markings, 56690428 edges, 467903 markings/sec, 70 secs
lola: 39752619 markings, 60299605 edges, 469316 markings/sec, 75 secs
lola: 42111516 markings, 63908083 edges, 471779 markings/sec, 80 secs
lola: 44444590 markings, 67453804 edges, 466615 markings/sec, 85 secs
lola: 46742552 markings, 70951185 edges, 459592 markings/sec, 90 secs
lola: 48625049 markings, 74179902 edges, 376499 markings/sec, 95 secs
lola: 50509414 markings, 77412097 edges, 376873 markings/sec, 100 secs
lola: 52375181 markings, 80614364 edges, 373153 markings/sec, 105 secs
lola: 54249430 markings, 83830662 edges, 374850 markings/sec, 110 secs
lola: 56106463 markings, 87018218 edges, 371407 markings/sec, 115 secs
lola: 57962703 markings, 90204161 edges, 371248 markings/sec, 120 secs
lola: 59817352 markings, 93383939 edges, 370930 markings/sec, 125 secs
lola: 61685682 markings, 96591938 edges, 373666 markings/sec, 130 secs
lola: 63554205 markings, 99800355 edges, 373705 markings/sec, 135 secs
lola: 65418142 markings, 102998458 edges, 372787 markings/sec, 140 secs
lola: 67267347 markings, 106171078 edges, 369841 markings/sec, 145 secs
lola: 69115785 markings, 109342018 edges, 369688 markings/sec, 150 secs
lola: 70946602 markings, 112483700 edges, 366163 markings/sec, 155 secs
lola: 72775445 markings, 115623024 edges, 365769 markings/sec, 160 secs
lola: 74609061 markings, 118768236 edges, 366723 markings/sec, 165 secs
lola: 76426257 markings, 121918390 edges, 363439 markings/sec, 170 secs
lola: 78219704 markings, 125004936 edges, 358689 markings/sec, 175 secs
lola: 79999608 markings, 128068795 edges, 355981 markings/sec, 180 secs
lola: 81762167 markings, 131101413 edges, 352512 markings/sec, 185 secs
lola: 83529759 markings, 134193781 edges, 353518 markings/sec, 190 secs
lola: 85323238 markings, 137266485 edges, 358696 markings/sec, 195 secs
lola: 87102313 markings, 140326915 edges, 355815 markings/sec, 200 secs
lola: 88869720 markings, 143366776 edges, 353481 markings/sec, 205 secs
lola: 90629901 markings, 146397885 edges, 352036 markings/sec, 210 secs
lola: 92390904 markings, 149426293 edges, 352201 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 221 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: 1836489 markings, 4370527 edges, 367298 markings/sec, 0 secs
lola: 3483762 markings, 8395110 edges, 329455 markings/sec, 5 secs
lola: 5082884 markings, 12325341 edges, 319824 markings/sec, 10 secs
lola: 6668172 markings, 16209815 edges, 317058 markings/sec, 15 secs
lola: 8235358 markings, 20062632 edges, 313437 markings/sec, 20 secs
lola: 9790808 markings, 23886877 edges, 311090 markings/sec, 25 secs
lola: 11302943 markings, 27621069 edges, 302427 markings/sec, 30 secs
lola: 12815707 markings, 31352529 edges, 302553 markings/sec, 35 secs
lola: 14331967 markings, 35096149 edges, 303252 markings/sec, 40 secs
lola: 15836542 markings, 38811837 edges, 300915 markings/sec, 45 secs
lola: 17340118 markings, 42533026 edges, 300715 markings/sec, 50 secs
lola: 18829272 markings, 46214791 edges, 297831 markings/sec, 55 secs
lola: 20318730 markings, 49895823 edges, 297892 markings/sec, 60 secs
lola: 21801211 markings, 53554626 edges, 296496 markings/sec, 65 secs
lola: 23303349 markings, 57263943 edges, 300428 markings/sec, 70 secs
lola: 24796905 markings, 60952834 edges, 298711 markings/sec, 75 secs
lola: 26319574 markings, 64691862 edges, 304534 markings/sec, 80 secs
lola: 27817400 markings, 68384286 edges, 299565 markings/sec, 85 secs
lola: 29299455 markings, 72035231 edges, 296411 markings/sec, 90 secs
lola: 30752377 markings, 75616546 edges, 290584 markings/sec, 95 secs
lola: 32211236 markings, 79226851 edges, 291772 markings/sec, 100 secs
lola: 33651640 markings, 82788012 edges, 288081 markings/sec, 105 secs
lola: 35101076 markings, 86371456 edges, 289887 markings/sec, 110 secs
lola: 36547667 markings, 89958083 edges, 289318 markings/sec, 115 secs
lola: 38010389 markings, 93572291 edges, 292544 markings/sec, 120 secs
lola: 39433243 markings, 97104674 edges, 284571 markings/sec, 125 secs
lola: 40857220 markings, 100628831 edges, 284795 markings/sec, 130 secs
lola: 42288479 markings, 104173203 edges, 286252 markings/sec, 135 secs
lola: 43727537 markings, 107740799 edges, 287812 markings/sec, 140 secs
lola: 45160170 markings, 111313235 edges, 286527 markings/sec, 145 secs
lola: 46594953 markings, 114885644 edges, 286957 markings/sec, 150 secs
lola: 48045936 markings, 118491185 edges, 290197 markings/sec, 155 secs
lola: 49481852 markings, 122058680 edges, 287183 markings/sec, 160 secs
lola: 50916562 markings, 125630887 edges, 286942 markings/sec, 165 secs
lola: 52357230 markings, 129205863 edges, 288134 markings/sec, 170 secs
lola: 53791699 markings, 132778931 edges, 286894 markings/sec, 175 secs
lola: 55227459 markings, 136343454 edges, 287152 markings/sec, 180 secs
lola: 56645746 markings, 139867497 edges, 283657 markings/sec, 185 secs
lola: 58079151 markings, 143410136 edges, 286681 markings/sec, 190 secs
lola: 59518733 markings, 146990382 edges, 287916 markings/sec, 195 secs
lola: 60956613 markings, 150553570 edges, 287576 markings/sec, 200 secs
lola: 62383226 markings, 154081093 edges, 285323 markings/sec, 205 secs
lola: 63802145 markings, 157598911 edges, 283784 markings/sec, 210 secs
lola: 65246890 markings, 161177117 edges, 288949 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(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: 2861260 markings, 4767845 edges, 572252 markings/sec, 0 secs
lola: 5453703 markings, 9088436 edges, 518489 markings/sec, 5 secs
lola: 7982340 markings, 13302779 edges, 505727 markings/sec, 10 secs
lola: 10405344 markings, 17340611 edges, 484601 markings/sec, 15 secs
lola: 12776348 markings, 21292318 edges, 474201 markings/sec, 20 secs
lola: 15159510 markings, 25304337 edges, 476632 markings/sec, 25 secs
lola: 17406901 markings, 29140225 edges, 449478 markings/sec, 30 secs
lola: 19590766 markings, 32907354 edges, 436773 markings/sec, 35 secs
lola: 21729637 markings, 36627869 edges, 427774 markings/sec, 40 secs
lola: 23830518 markings, 40310117 edges, 420176 markings/sec, 45 secs
lola: 25891746 markings, 43943608 edges, 412246 markings/sec, 50 secs
lola: 27915731 markings, 47530841 edges, 404797 markings/sec, 55 secs
lola: 29908974 markings, 51078978 edges, 398649 markings/sec, 60 secs
lola: 31889670 markings, 54618584 edges, 396139 markings/sec, 65 secs
lola: 33855511 markings, 58144908 edges, 393168 markings/sec, 70 secs
lola: 35804322 markings, 61652125 edges, 389762 markings/sec, 75 secs
lola: 37732830 markings, 65133786 edges, 385702 markings/sec, 80 secs
lola: 39632686 markings, 68571722 edges, 379971 markings/sec, 85 secs
lola: 41532415 markings, 72018498 edges, 379946 markings/sec, 90 secs
lola: 43419380 markings, 75450911 edges, 377393 markings/sec, 95 secs
lola: 45292440 markings, 78864335 edges, 374612 markings/sec, 100 secs
lola: 47159475 markings, 82273090 edges, 373407 markings/sec, 105 secs
lola: 49014525 markings, 85665685 edges, 371010 markings/sec, 110 secs
lola: 51060145 markings, 89293425 edges, 409124 markings/sec, 115 secs
lola: 53406752 markings, 93205024 edges, 469321 markings/sec, 120 secs
lola: 55669630 markings, 96976909 edges, 452576 markings/sec, 125 secs
lola: 57872875 markings, 100649513 edges, 440649 markings/sec, 130 secs
lola: 60005222 markings, 104204315 edges, 426469 markings/sec, 135 secs
lola: 62066912 markings, 107640576 edges, 412338 markings/sec, 140 secs
lola: 63313601 markings, 110647345 edges, 249338 markings/sec, 145 secs
lola: 64013943 markings, 113387038 edges, 140068 markings/sec, 150 secs
lola: 64721373 markings, 116113929 edges, 141486 markings/sec, 155 secs
lola: 65442513 markings, 118834685 edges, 144228 markings/sec, 160 secs
lola: 66166885 markings, 121547902 edges, 144874 markings/sec, 165 secs
lola: 66897537 markings, 124244805 edges, 146130 markings/sec, 170 secs
lola: 67638199 markings, 126947947 edges, 148132 markings/sec, 175 secs
lola: 68382977 markings, 129641441 edges, 148956 markings/sec, 180 secs
lola: 69132599 markings, 132329410 edges, 149924 markings/sec, 185 secs
lola: 69885423 markings, 135009787 edges, 150565 markings/sec, 190 secs
lola: 70643579 markings, 137684452 edges, 151631 markings/sec, 195 secs
lola: 71402732 markings, 140350545 edges, 151831 markings/sec, 200 secs
lola: 72169853 markings, 143019876 edges, 153424 markings/sec, 205 secs
lola: 72941333 markings, 145694465 edges, 154296 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: 2917590 markings, 4861991 edges, 583518 markings/sec, 0 secs
lola: 5635713 markings, 9391561 edges, 543625 markings/sec, 5 secs
lola: 8227034 markings, 13710485 edges, 518264 markings/sec, 10 secs
lola: 10705977 markings, 17841964 edges, 495789 markings/sec, 15 secs
lola: 13172092 markings, 21953840 edges, 493223 markings/sec, 20 secs
lola: 15577139 markings, 26013478 edges, 481009 markings/sec, 25 secs
lola: 17851663 markings, 29903810 edges, 454905 markings/sec, 30 secs
lola: 20050864 markings, 33704754 edges, 439840 markings/sec, 35 secs
lola: 22194689 markings, 37441489 edges, 428765 markings/sec, 40 secs
lola: 24295475 markings, 41127818 edges, 420157 markings/sec, 45 secs
lola: 26358968 markings, 44769133 edges, 412699 markings/sec, 50 secs
lola: 28389546 markings, 48371057 edges, 406116 markings/sec, 55 secs
lola: 30381908 markings, 51922345 edges, 398472 markings/sec, 60 secs
lola: 32362662 markings, 55466706 edges, 396151 markings/sec, 65 secs
lola: 34326909 markings, 58992273 edges, 392849 markings/sec, 70 secs
lola: 36275229 markings, 62501135 edges, 389664 markings/sec, 75 secs
lola: 38204827 markings, 65986672 edges, 385920 markings/sec, 80 secs
lola: 40111517 markings, 69439913 edges, 381338 markings/sec, 85 secs
lola: 42009356 markings, 72883930 edges, 379568 markings/sec, 90 secs
lola: 43900925 markings, 76328244 edges, 378314 markings/sec, 95 secs
lola: 45778900 markings, 79752375 edges, 375595 markings/sec, 100 secs
lola: 47647116 markings, 83164853 edges, 373643 markings/sec, 105 secs
lola: 49505214 markings, 86565582 edges, 371620 markings/sec, 110 secs
lola: 51701722 markings, 90363037 edges, 439302 markings/sec, 115 secs
lola: 54032736 markings, 94248647 edges, 466203 markings/sec, 120 secs
lola: 56292159 markings, 98015095 edges, 451885 markings/sec, 125 secs
lola: 58508446 markings, 101709141 edges, 443257 markings/sec, 130 secs
lola: 60682572 markings, 105333464 edges, 434825 markings/sec, 135 secs
lola: 62783591 markings, 108835485 edges, 420204 markings/sec, 140 secs
lola: 63572601 markings, 111666430 edges, 157802 markings/sec, 145 secs
lola: 64275953 markings, 114405085 edges, 140670 markings/sec, 150 secs
lola: 64988184 markings, 117127071 edges, 142446 markings/sec, 155 secs
lola: 65709175 markings, 119843020 edges, 144198 markings/sec, 160 secs
lola: 66437857 markings, 122551921 edges, 145736 markings/sec, 165 secs
lola: 67170679 markings, 125244664 edges, 146564 markings/sec, 170 secs
lola: 67911311 markings, 127939385 edges, 148126 markings/sec, 175 secs
lola: 68659725 markings, 130630276 edges, 149683 markings/sec, 180 secs
lola: 69407942 markings, 133314036 edges, 149643 markings/sec, 185 secs
lola: 70162951 markings, 135989526 edges, 151002 markings/sec, 190 secs
lola: 70920725 markings, 138658683 edges, 151555 markings/sec, 195 secs
lola: 71680155 markings, 141316543 edges, 151886 markings/sec, 200 secs
lola: 72443536 markings, 143970109 edges, 152676 markings/sec, 205 secs
lola: 73211238 markings, 146627427 edges, 153540 markings/sec, 210 secs
lola: 73980555 markings, 149281710 edges, 153863 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(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: 1802760 markings, 4286961 edges, 360552 markings/sec, 0 secs
lola: 3425485 markings, 8252810 edges, 324545 markings/sec, 5 secs
lola: 5004939 markings, 12133149 edges, 315891 markings/sec, 10 secs
lola: 6559309 markings, 15949744 edges, 310874 markings/sec, 15 secs
lola: 8096210 markings, 19727008 edges, 307380 markings/sec, 20 secs
lola: 9633954 markings, 23499335 edges, 307549 markings/sec, 25 secs
lola: 11110957 markings, 27145051 edges, 295401 markings/sec, 30 secs
lola: 12586152 markings, 30780846 edges, 295039 markings/sec, 35 secs
lola: 14069394 markings, 34450150 edges, 296648 markings/sec, 40 secs
lola: 15554607 markings, 38111304 edges, 297043 markings/sec, 45 secs
lola: 17026644 markings, 41757921 edges, 294407 markings/sec, 50 secs
lola: 18495750 markings, 45397061 edges, 293821 markings/sec, 55 secs
lola: 19952605 markings, 48994762 edges, 291371 markings/sec, 60 secs
lola: 21411084 markings, 52596606 edges, 291696 markings/sec, 65 secs
lola: 22881215 markings, 56226052 edges, 294026 markings/sec, 70 secs
lola: 24355244 markings, 59859493 edges, 294806 markings/sec, 75 secs
lola: 25842453 markings, 63523187 edges, 297442 markings/sec, 80 secs
lola: 27311800 markings, 67145919 edges, 293869 markings/sec, 85 secs
lola: 28801211 markings, 70806680 edges, 297882 markings/sec, 90 secs
lola: 30253004 markings, 74385792 edges, 290359 markings/sec, 95 secs
lola: 31691784 markings, 77946872 edges, 287756 markings/sec, 100 secs
lola: 33144220 markings, 81532095 edges, 290487 markings/sec, 105 secs
lola: 34569793 markings, 85055150 edges, 285115 markings/sec, 110 secs
lola: 36008076 markings, 88618391 edges, 287657 markings/sec, 115 secs
lola: 37464731 markings, 92227608 edges, 291331 markings/sec, 120 secs
lola: 38896473 markings, 95772625 edges, 286348 markings/sec, 125 secs
lola: 40304431 markings, 99255858 edges, 281592 markings/sec, 130 secs
lola: 41720960 markings, 102775618 edges, 283306 markings/sec, 135 secs
lola: 43150014 markings, 106301248 edges, 285811 markings/sec, 140 secs
lola: 44564829 markings, 109829535 edges, 282963 markings/sec, 145 secs
lola: 45956209 markings, 113292760 edges, 278276 markings/sec, 150 secs
lola: 47372983 markings, 116825083 edges, 283355 markings/sec, 155 secs
lola: 48797621 markings, 120350625 edges, 284928 markings/sec, 160 secs
lola: 50212226 markings, 123880806 edges, 282921 markings/sec, 165 secs
lola: 51613307 markings, 127359810 edges, 280216 markings/sec, 170 secs
lola: 53042604 markings, 130911993 edges, 285859 markings/sec, 175 secs
lola: 54439048 markings, 134383326 edges, 279289 markings/sec, 180 secs
lola: 55848196 markings, 137885708 edges, 281830 markings/sec, 185 secs
lola: 57257455 markings, 141377774 edges, 281852 markings/sec, 190 secs
lola: 58673981 markings, 144885127 edges, 283305 markings/sec, 195 secs
lola: 60073089 markings, 148363731 edges, 279822 markings/sec, 200 secs
lola: 61491253 markings, 151868492 edges, 283633 markings/sec, 205 secs
lola: 62886417 markings, 155331897 edges, 279033 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 2911302 markings, 4851490 edges, 582260 markings/sec, 0 secs
lola: 5555053 markings, 9257247 edges, 528750 markings/sec, 5 secs
lola: 8072914 markings, 13453356 edges, 503572 markings/sec, 10 secs
lola: 10491712 markings, 17484873 edges, 483760 markings/sec, 15 secs
lola: 12885585 markings, 21474531 edges, 478775 markings/sec, 20 secs
lola: 15280675 markings, 25509926 edges, 479018 markings/sec, 25 secs
lola: 17541989 markings, 29372223 edges, 452263 markings/sec, 30 secs
lola: 19731633 markings, 33151563 edges, 437929 markings/sec, 35 secs
lola: 21864324 markings, 36863960 edges, 426538 markings/sec, 40 secs
lola: 23957072 markings, 40532441 edges, 418550 markings/sec, 45 secs
lola: 26014087 markings, 44159917 edges, 411403 markings/sec, 50 secs
lola: 28038161 markings, 47746925 edges, 404815 markings/sec, 55 secs
lola: 30029523 markings, 51293418 edges, 398272 markings/sec, 60 secs
lola: 32007602 markings, 54829993 edges, 395616 markings/sec, 65 secs
lola: 33968431 markings, 58347559 edges, 392166 markings/sec, 70 secs
lola: 35913362 markings, 61848395 edges, 388986 markings/sec, 75 secs
lola: 37827543 markings, 65304022 edges, 382836 markings/sec, 80 secs
lola: 39711167 markings, 68713644 edges, 376725 markings/sec, 85 secs
lola: 41584511 markings, 72111734 edges, 374669 markings/sec, 90 secs
lola: 43449800 markings, 75505648 edges, 373058 markings/sec, 95 secs
lola: 45305186 markings, 78885499 edges, 371077 markings/sec, 100 secs
lola: 47151849 markings, 82260207 edges, 369333 markings/sec, 105 secs
lola: 48989810 markings, 85620582 edges, 367592 markings/sec, 110 secs
lola: 51002506 markings, 89197661 edges, 402539 markings/sec, 115 secs
lola: 53307235 markings, 93039329 edges, 460946 markings/sec, 120 secs
lola: 55537526 markings, 96756830 edges, 446058 markings/sec, 125 secs
lola: 57738328 markings, 100425294 edges, 440160 markings/sec, 130 secs
lola: 59898952 markings, 104026776 edges, 432125 markings/sec, 135 secs
lola: 62011780 markings, 107548963 edges, 422566 markings/sec, 140 secs
lola: 63302855 markings, 110614762 edges, 258215 markings/sec, 145 secs
lola: 64005989 markings, 113364263 edges, 140627 markings/sec, 150 secs
lola: 64715843 markings, 116088279 edges, 141971 markings/sec, 155 secs
lola: 65429226 markings, 118794788 edges, 142677 markings/sec, 160 secs
lola: 66158039 markings, 121509851 edges, 145763 markings/sec, 165 secs
lola: 66887669 markings, 124207483 edges, 145926 markings/sec, 170 secs
lola: 67625909 markings, 126904681 edges, 147648 markings/sec, 175 secs
lola: 68369393 markings, 129595511 edges, 148697 markings/sec, 180 secs
lola: 69119271 markings, 132279993 edges, 149976 markings/sec, 185 secs
lola: 69863861 markings, 134936254 edges, 148918 markings/sec, 190 secs
lola: 70614796 markings, 137584062 edges, 150187 markings/sec, 195 secs
lola: 71367914 markings, 140225742 edges, 150624 markings/sec, 200 secs
lola: 72123205 markings, 142859829 edges, 151058 markings/sec, 205 secs
lola: 72882434 markings, 145493817 edges, 151846 markings/sec, 210 secs
lola: 73648677 markings, 148137044 edges, 153249 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1817869 markings, 4324234 edges, 363574 markings/sec, 0 secs
lola: 3444316 markings, 8300119 edges, 325289 markings/sec, 5 secs
lola: 5027245 markings, 12188076 edges, 316586 markings/sec, 10 secs
lola: 6584102 markings, 16010675 edges, 311371 markings/sec, 15 secs
lola: 8130951 markings, 19811187 edges, 309370 markings/sec, 20 secs
lola: 9677092 markings, 23606794 edges, 309228 markings/sec, 25 secs
lola: 11171872 markings, 27296002 edges, 298956 markings/sec, 30 secs
lola: 12669543 markings, 30988144 edges, 299534 markings/sec, 35 secs
lola: 14167229 markings, 34690299 edges, 299537 markings/sec, 40 secs
lola: 15655110 markings, 38360686 edges, 297576 markings/sec, 45 secs
lola: 17119214 markings, 41986549 edges, 292821 markings/sec, 50 secs
lola: 18583928 markings, 45613911 edges, 292943 markings/sec, 55 secs
lola: 20047270 markings, 49223757 edges, 292668 markings/sec, 60 secs
lola: 21499823 markings, 52816656 edges, 290511 markings/sec, 65 secs
lola: 22969944 markings, 56444227 edges, 294024 markings/sec, 70 secs
lola: 24433402 markings, 60052786 edges, 292692 markings/sec, 75 secs
lola: 25936518 markings, 63749307 edges, 300623 markings/sec, 80 secs
lola: 27406048 markings, 67376093 edges, 293906 markings/sec, 85 secs
lola: 28908808 markings, 71069248 edges, 300552 markings/sec, 90 secs
lola: 30362460 markings, 74655355 edges, 290730 markings/sec, 95 secs
lola: 31810638 markings, 78240084 edges, 289636 markings/sec, 100 secs
lola: 33266928 markings, 81834916 edges, 291258 markings/sec, 105 secs
lola: 34702661 markings, 85384192 edges, 287147 markings/sec, 110 secs
lola: 36153680 markings, 88979005 edges, 290204 markings/sec, 115 secs
lola: 37614635 markings, 92599276 edges, 292191 markings/sec, 120 secs
lola: 39044034 markings, 96138657 edges, 285880 markings/sec, 125 secs
lola: 40458654 markings, 99636979 edges, 282924 markings/sec, 130 secs
lola: 41892441 markings, 103191399 edges, 286757 markings/sec, 135 secs
lola: 43318712 markings, 106721202 edges, 285254 markings/sec, 140 secs
lola: 44736239 markings, 110257617 edges, 283505 markings/sec, 145 secs
lola: 46145747 markings, 113765043 edges, 281902 markings/sec, 150 secs
lola: 47585362 markings, 117343151 edges, 287923 markings/sec, 155 secs
lola: 49011522 markings, 120884752 edges, 285232 markings/sec, 160 secs
lola: 50431989 markings, 124426412 edges, 284093 markings/sec, 165 secs
lola: 51854389 markings, 127954347 edges, 284480 markings/sec, 170 secs
lola: 53286559 markings, 131517872 edges, 286434 markings/sec, 175 secs
lola: 54683369 markings, 134990352 edges, 279362 markings/sec, 180 secs
lola: 56095067 markings, 138501351 edges, 282340 markings/sec, 185 secs
lola: 57502183 markings, 141984641 edges, 281423 markings/sec, 190 secs
lola: 58917992 markings, 145490920 edges, 283162 markings/sec, 195 secs
lola: 60325714 markings, 148994018 edges, 281544 markings/sec, 200 secs
lola: 61728175 markings, 152454824 edges, 280492 markings/sec, 205 secs
lola: 63130984 markings, 155935322 edges, 280562 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1794525 markings, 4267325 edges, 358905 markings/sec, 0 secs
lola: 3423391 markings, 8247283 edges, 325773 markings/sec, 5 secs
lola: 4987956 markings, 12091265 edges, 312913 markings/sec, 10 secs
lola: 6538129 markings, 15896735 edges, 310035 markings/sec, 15 secs
lola: 8074659 markings, 19673718 edges, 307306 markings/sec, 20 secs
lola: 9618353 markings, 23462265 edges, 308739 markings/sec, 25 secs
lola: 11108680 markings, 27139030 edges, 298065 markings/sec, 30 secs
lola: 12592728 markings, 30797803 edges, 296810 markings/sec, 35 secs
lola: 14076288 markings, 34467099 edges, 296712 markings/sec, 40 secs
lola: 15557899 markings, 38119424 edges, 296322 markings/sec, 45 secs
lola: 17029878 markings, 41765917 edges, 294396 markings/sec, 50 secs
lola: 18497307 markings, 45401537 edges, 293486 markings/sec, 55 secs
lola: 19954756 markings, 48999597 edges, 291490 markings/sec, 60 secs
lola: 21414842 markings, 52605471 edges, 292017 markings/sec, 65 secs
lola: 22880245 markings, 56223744 edges, 293081 markings/sec, 70 secs
lola: 24351795 markings, 59851612 edges, 294310 markings/sec, 75 secs
lola: 25834386 markings, 63502804 edges, 296518 markings/sec, 80 secs
lola: 27297817 markings, 67110623 edges, 292686 markings/sec, 85 secs
lola: 28782604 markings, 70759353 edges, 296957 markings/sec, 90 secs
lola: 30229237 markings, 74327322 edges, 289327 markings/sec, 95 secs
lola: 31664049 markings, 77877396 edges, 286962 markings/sec, 100 secs
lola: 33110936 markings, 81447398 edges, 289377 markings/sec, 105 secs
lola: 34533183 markings, 84963918 edges, 284449 markings/sec, 110 secs
lola: 35963855 markings, 88508729 edges, 286134 markings/sec, 115 secs
lola: 37403423 markings, 92074506 edges, 287914 markings/sec, 120 secs
lola: 38828159 markings, 95603228 edges, 284947 markings/sec, 125 secs
lola: 40220403 markings, 99046561 edges, 278449 markings/sec, 130 secs
lola: 41626309 markings, 102541601 edges, 281181 markings/sec, 135 secs
lola: 43049441 markings, 106053940 edges, 284626 markings/sec, 140 secs
lola: 44462431 markings, 109571979 edges, 282598 markings/sec, 145 secs
lola: 45842936 markings, 113010351 edges, 276101 markings/sec, 150 secs
lola: 47234976 markings, 116480480 edges, 278408 markings/sec, 155 secs
lola: 48645808 markings, 119972728 edges, 282166 markings/sec, 160 secs
lola: 50033017 markings, 123434657 edges, 277442 markings/sec, 165 secs
lola: 51410787 markings, 126857885 edges, 275554 markings/sec, 170 secs
lola: 52812232 markings, 130338808 edges, 280289 markings/sec, 175 secs
lola: 54191798 markings, 133772216 edges, 275913 markings/sec, 180 secs
lola: 55587045 markings, 137235016 edges, 279049 markings/sec, 185 secs
lola: 56965739 markings, 140664722 edges, 275739 markings/sec, 190 secs
lola: 58346613 markings, 144074261 edges, 276175 markings/sec, 195 secs
lola: 59741922 markings, 147542337 edges, 279062 markings/sec, 200 secs
lola: 61120514 markings, 150960429 edges, 275718 markings/sec, 205 secs
lola: 62499736 markings, 154373018 edges, 275844 markings/sec, 210 secs
lola: 63873013 markings, 157772239 edges, 274655 markings/sec, 215 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-MT4096DC2048-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496560297690

--------------------
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="S_SmallOperatingSystem-PT-MT4096DC2048"
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/S_SmallOperatingSystem-PT-MT4096DC2048.tgz
mv S_SmallOperatingSystem-PT-MT4096DC2048 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 S_SmallOperatingSystem-PT-MT4096DC2048, 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 r158-ebro-149443463900038"
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 ;