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-3254
Executing tool lola
Input is S_PaceMaker-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650100299
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496374858102


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


checking for too many tokens
===========================================================================================
S_PaceMaker-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PaceMaker-PT-none @ 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: 234/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 70 places, 164 transitions, 35 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 105 transition conflict sets
lola: TASK
lola: reading formula from PaceMaker-PT-none-UpperBounds.task
lola: MAX(Atrium) : MAX(A_LRI) : MAX(A_SIG_IncrClk) : MAX(A_RAConductor) : MAX(A_SIG_IncrClk) : MAX(A_AVI) : MAX(A_SIG_Aget) : MAX(RVConductor) : MAX(VRGEctopic) : MAX(A_VRG) : MAX(A_SIG_Vget) : MAX(A_SIG_Clk0) : MAX(A_SIG_VPOut) : MAX(SIG_Vbeat) : MAX(A_SIG_Clk1) : MAX(A_LRI)
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(Atrium)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2421948 markings, 2875185 edges, 484390 markings/sec, 0 secs
lola: 5043951 markings, 5958653 edges, 524401 markings/sec, 5 secs
lola: 7615240 markings, 8992959 edges, 514258 markings/sec, 10 secs
lola: 10101860 markings, 11944807 edges, 497324 markings/sec, 15 secs
lola: 12552210 markings, 14869727 edges, 490070 markings/sec, 20 secs
lola: 15075327 markings, 17878573 edges, 504623 markings/sec, 25 secs
lola: 17583085 markings, 20879443 edges, 501552 markings/sec, 30 secs
lola: 20082441 markings, 23876236 edges, 499871 markings/sec, 35 secs
lola: 22453572 markings, 26726810 edges, 474226 markings/sec, 40 secs
lola: 24703158 markings, 29438940 edges, 449917 markings/sec, 45 secs
lola: 26933079 markings, 32134806 edges, 445984 markings/sec, 50 secs
lola: 29332429 markings, 35035658 edges, 479870 markings/sec, 55 secs
lola: 31696956 markings, 37896543 edges, 472905 markings/sec, 60 secs
lola: 34004458 markings, 40839015 edges, 461500 markings/sec, 65 secs
lola: 36215286 markings, 43514492 edges, 442166 markings/sec, 70 secs
lola: 38593597 markings, 46396329 edges, 475662 markings/sec, 75 secs
lola: 41035214 markings, 49357902 edges, 488323 markings/sec, 80 secs
lola: 43470849 markings, 52317829 edges, 487127 markings/sec, 85 secs
lola: 45906615 markings, 55274346 edges, 487153 markings/sec, 90 secs
lola: 48339911 markings, 58232953 edges, 486659 markings/sec, 95 secs
lola: 50667438 markings, 61174271 edges, 465505 markings/sec, 100 secs
lola: 52902059 markings, 63898357 edges, 446924 markings/sec, 105 secs
lola: 55109838 markings, 66585978 edges, 441556 markings/sec, 110 secs
lola: 57532836 markings, 69530444 edges, 484600 markings/sec, 115 secs
lola: 59962898 markings, 72480188 edges, 486012 markings/sec, 120 secs
lola: 62293191 markings, 75313259 edges, 466059 markings/sec, 125 secs
lola: 64578077 markings, 78084458 edges, 456977 markings/sec, 130 secs
lola: 66858377 markings, 80855923 edges, 456060 markings/sec, 135 secs
lola: 69284647 markings, 83802302 edges, 485254 markings/sec, 140 secs
lola: 71655570 markings, 86685291 edges, 474185 markings/sec, 145 secs
lola: 73981288 markings, 89509954 edges, 465144 markings/sec, 150 secs
lola: 76113031 markings, 92113349 edges, 426349 markings/sec, 155 secs
lola: 78363921 markings, 94852712 edges, 450178 markings/sec, 160 secs
lola: 80674242 markings, 97666936 edges, 462064 markings/sec, 165 secs
lola: 82994581 markings, 100496220 edges, 464068 markings/sec, 170 secs
lola: 85403008 markings, 103437748 edges, 481685 markings/sec, 175 secs
lola: 87815886 markings, 106384322 edges, 482576 markings/sec, 180 secs
lola: 90222153 markings, 109325565 edges, 481253 markings/sec, 185 secs
lola: 92529613 markings, 112141974 edges, 461492 markings/sec, 190 secs
lola: 94837559 markings, 114967037 edges, 461589 markings/sec, 195 secs
lola: 97246009 markings, 117920849 edges, 481690 markings/sec, 200 secs
lola: 99671204 markings, 120940780 edges, 485039 markings/sec, 205 secs
lola: 102072022 markings, 123888295 edges, 480164 markings/sec, 210 secs
lola: 104474868 markings, 126840524 edges, 480569 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(A_LRI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2101287 markings, 2979658 edges, 420257 markings/sec, 0 secs
lola: 3941523 markings, 5936021 edges, 368047 markings/sec, 5 secs
lola: 5698681 markings, 9170104 edges, 351432 markings/sec, 10 secs
lola: 7024073 markings, 12098358 edges, 265078 markings/sec, 15 secs
lola: 8440804 markings, 14855575 edges, 283346 markings/sec, 20 secs
lola: 9949844 markings, 17775271 edges, 301808 markings/sec, 25 secs
lola: 11356461 markings, 20468441 edges, 281323 markings/sec, 30 secs
lola: 12786849 markings, 23221788 edges, 286078 markings/sec, 35 secs
lola: 14260987 markings, 26294613 edges, 294828 markings/sec, 40 secs
lola: 15733414 markings, 29184253 edges, 294485 markings/sec, 45 secs
lola: 17177926 markings, 32063372 edges, 288902 markings/sec, 50 secs
lola: 18581292 markings, 34874047 edges, 280673 markings/sec, 55 secs
lola: 19916187 markings, 37596426 edges, 266979 markings/sec, 60 secs
lola: 21273979 markings, 40432793 edges, 271558 markings/sec, 65 secs
lola: 22595624 markings, 43304952 edges, 264329 markings/sec, 70 secs
lola: 23890535 markings, 46223829 edges, 258982 markings/sec, 75 secs
lola: 25223436 markings, 49190196 edges, 266580 markings/sec, 80 secs
lola: 26556678 markings, 52210680 edges, 266648 markings/sec, 85 secs
lola: 27905069 markings, 55195371 edges, 269678 markings/sec, 90 secs
lola: 29252295 markings, 58116349 edges, 269445 markings/sec, 95 secs
lola: 30628440 markings, 60989363 edges, 275229 markings/sec, 100 secs
lola: 32054492 markings, 63912583 edges, 285210 markings/sec, 105 secs
lola: 33515353 markings, 67289453 edges, 292172 markings/sec, 110 secs
lola: 34946895 markings, 70271342 edges, 286308 markings/sec, 115 secs
lola: 36332364 markings, 73109857 edges, 277094 markings/sec, 120 secs
lola: 37748548 markings, 76028509 edges, 283237 markings/sec, 125 secs
lola: 39129209 markings, 78843780 edges, 276132 markings/sec, 130 secs
lola: 40570807 markings, 81746245 edges, 288320 markings/sec, 135 secs
lola: 41988767 markings, 84634834 edges, 283592 markings/sec, 140 secs
lola: 43400200 markings, 87462075 edges, 282287 markings/sec, 145 secs
lola: 44807283 markings, 90340051 edges, 281417 markings/sec, 150 secs
lola: 46286590 markings, 93271214 edges, 295861 markings/sec, 155 secs
lola: 47677216 markings, 96098391 edges, 278125 markings/sec, 160 secs
lola: 49069526 markings, 98961454 edges, 278462 markings/sec, 165 secs
lola: 50528045 markings, 101903618 edges, 291704 markings/sec, 170 secs
lola: 51882875 markings, 104729638 edges, 270966 markings/sec, 175 secs
lola: 53269895 markings, 107623287 edges, 277404 markings/sec, 180 secs
lola: 54564511 markings, 110366711 edges, 258923 markings/sec, 185 secs
lola: 55924740 markings, 113212255 edges, 272046 markings/sec, 190 secs
lola: 57277515 markings, 116032531 edges, 270555 markings/sec, 195 secs
lola: 58721402 markings, 119021358 edges, 288777 markings/sec, 200 secs
lola: 60137571 markings, 121946072 edges, 283234 markings/sec, 205 secs
lola: 61597257 markings, 124959729 edges, 291937 markings/sec, 210 secs
lola: 63018062 markings, 127952128 edges, 284161 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(A_SIG_IncrClk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2317477 markings, 4612088 edges, 463495 markings/sec, 0 secs
lola: 4414258 markings, 9116684 edges, 419356 markings/sec, 5 secs
lola: 6644676 markings, 13101924 edges, 446084 markings/sec, 10 secs
lola: 8515203 markings, 16844847 edges, 374105 markings/sec, 15 secs
lola: 9644350 markings, 20514306 edges, 225829 markings/sec, 20 secs
lola: 11296097 markings, 24864697 edges, 330349 markings/sec, 25 secs
lola: 13502692 markings, 28921950 edges, 441319 markings/sec, 30 secs
lola: 15895364 markings, 33116015 edges, 478534 markings/sec, 35 secs
lola: 18254076 markings, 37004294 edges, 471742 markings/sec, 40 secs
lola: 20528056 markings, 40952902 edges, 454796 markings/sec, 45 secs
lola: 22703043 markings, 44754008 edges, 434997 markings/sec, 50 secs
lola: 24760564 markings, 48518015 edges, 411504 markings/sec, 55 secs
lola: 26762885 markings, 52196357 edges, 400464 markings/sec, 60 secs
lola: 28654283 markings, 55722419 edges, 378280 markings/sec, 65 secs
lola: 30577196 markings, 59368432 edges, 384583 markings/sec, 70 secs
lola: 32307385 markings, 62716568 edges, 346038 markings/sec, 75 secs
lola: 33930498 markings, 65885607 edges, 324623 markings/sec, 80 secs
lola: 35715492 markings, 69422066 edges, 356999 markings/sec, 85 secs
lola: 37370914 markings, 72728438 edges, 331084 markings/sec, 90 secs
lola: 38946374 markings, 75982258 edges, 315092 markings/sec, 95 secs
lola: 40634658 markings, 79468111 edges, 337657 markings/sec, 100 secs
lola: 42271165 markings, 83026842 edges, 327301 markings/sec, 105 secs
lola: 43875696 markings, 86576299 edges, 320906 markings/sec, 110 secs
lola: 45389493 markings, 90016540 edges, 302759 markings/sec, 115 secs
lola: 46909517 markings, 93808273 edges, 304005 markings/sec, 120 secs
lola: 48470258 markings, 97151551 edges, 312148 markings/sec, 125 secs
lola: 49671466 markings, 100564311 edges, 240242 markings/sec, 130 secs
lola: 50233405 markings, 103732027 edges, 112388 markings/sec, 135 secs
lola: 50653201 markings, 106966742 edges, 83959 markings/sec, 140 secs
lola: 51008286 markings, 110241975 edges, 71017 markings/sec, 145 secs
lola: 51305298 markings, 113609762 edges, 59402 markings/sec, 150 secs
lola: 51654305 markings, 117587819 edges, 69801 markings/sec, 155 secs
lola: 53606170 markings, 121512995 edges, 390373 markings/sec, 160 secs
lola: 55721804 markings, 124843201 edges, 423127 markings/sec, 165 secs
lola: 57675331 markings, 128004371 edges, 390705 markings/sec, 170 secs
lola: 59536015 markings, 131092346 edges, 372137 markings/sec, 175 secs
lola: 61264658 markings, 134013493 edges, 345729 markings/sec, 180 secs
lola: 63120455 markings, 137232434 edges, 371159 markings/sec, 185 secs
lola: 64765920 markings, 140157174 edges, 329093 markings/sec, 190 secs
lola: 66395803 markings, 143128419 edges, 325977 markings/sec, 195 secs
lola: 68007827 markings, 146088238 edges, 322405 markings/sec, 200 secs
lola: 69561586 markings, 149011898 edges, 310752 markings/sec, 205 secs
lola: 71226204 markings, 152153273 edges, 332924 markings/sec, 210 secs
lola: 72678945 markings, 154935624 edges, 290548 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(A_RAConductor)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1576300 markings, 2543401 edges, 315260 markings/sec, 0 secs
lola: 3096374 markings, 5003895 edges, 304015 markings/sec, 5 secs
lola: 4664119 markings, 7544085 edges, 313549 markings/sec, 10 secs
lola: 6184403 markings, 10008675 edges, 304057 markings/sec, 15 secs
lola: 7658564 markings, 12436405 edges, 294832 markings/sec, 20 secs
lola: 9165275 markings, 14896179 edges, 301342 markings/sec, 25 secs
lola: 10659133 markings, 17337694 edges, 298772 markings/sec, 30 secs
lola: 12115042 markings, 19755882 edges, 291182 markings/sec, 35 secs
lola: 13548813 markings, 22176571 edges, 286754 markings/sec, 40 secs
lola: 14982737 markings, 24591690 edges, 286785 markings/sec, 45 secs
lola: 16382657 markings, 27004031 edges, 279984 markings/sec, 50 secs
lola: 17785838 markings, 29425436 edges, 280636 markings/sec, 55 secs
lola: 19031832 markings, 31596313 edges, 249199 markings/sec, 60 secs
lola: 20327752 markings, 33875807 edges, 259184 markings/sec, 65 secs
lola: 21642526 markings, 36212697 edges, 262955 markings/sec, 70 secs
lola: 22940590 markings, 38543649 edges, 259613 markings/sec, 75 secs
lola: 24210640 markings, 40877012 edges, 254010 markings/sec, 80 secs
lola: 25509416 markings, 43293884 edges, 259755 markings/sec, 85 secs
lola: 26825602 markings, 45792329 edges, 263237 markings/sec, 90 secs
lola: 28127640 markings, 48294393 edges, 260408 markings/sec, 95 secs
lola: 29418920 markings, 50816095 edges, 258256 markings/sec, 100 secs
lola: 30607923 markings, 53220394 edges, 237801 markings/sec, 105 secs
lola: 31835037 markings, 55772624 edges, 245423 markings/sec, 110 secs
lola: 32991342 markings, 58170432 edges, 231261 markings/sec, 115 secs
lola: 34176579 markings, 60577069 edges, 237047 markings/sec, 120 secs
lola: 35417206 markings, 63009989 edges, 248125 markings/sec, 125 secs
lola: 36627267 markings, 65375030 edges, 242012 markings/sec, 130 secs
lola: 37868143 markings, 67797865 edges, 248175 markings/sec, 135 secs
lola: 39078523 markings, 70188757 edges, 242076 markings/sec, 140 secs
lola: 40336306 markings, 72665763 edges, 251557 markings/sec, 145 secs
lola: 41581198 markings, 75141982 edges, 248978 markings/sec, 150 secs
lola: 42808595 markings, 77617859 edges, 245479 markings/sec, 155 secs
lola: 43989667 markings, 80015841 edges, 236214 markings/sec, 160 secs
lola: 45140656 markings, 82371373 edges, 230198 markings/sec, 165 secs
lola: 46308244 markings, 84785104 edges, 233518 markings/sec, 170 secs
lola: 47512023 markings, 87287351 edges, 240756 markings/sec, 175 secs
lola: 48685680 markings, 89740803 edges, 234731 markings/sec, 180 secs
lola: 49778136 markings, 92049685 edges, 218491 markings/sec, 185 secs
lola: 50897196 markings, 94452660 edges, 223812 markings/sec, 190 secs
lola: 52015922 markings, 96874863 edges, 223745 markings/sec, 195 secs
lola: 53141570 markings, 99329740 edges, 225130 markings/sec, 200 secs
lola: 54206594 markings, 101696754 edges, 213005 markings/sec, 205 secs
lola: 55283692 markings, 104067290 edges, 215420 markings/sec, 210 secs
lola: 56379071 markings, 106611256 edges, 219076 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(A_SIG_IncrClk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2320052 markings, 4616812 edges, 464010 markings/sec, 0 secs
lola: 4332219 markings, 8980556 edges, 402433 markings/sec, 5 secs
lola: 6552686 markings, 12929798 edges, 444093 markings/sec, 10 secs
lola: 8412319 markings, 16608556 edges, 371927 markings/sec, 15 secs
lola: 9618527 markings, 20244068 edges, 241242 markings/sec, 20 secs
lola: 11138843 markings, 24484292 edges, 304063 markings/sec, 25 secs
lola: 13161852 markings, 28397449 edges, 404602 markings/sec, 30 secs
lola: 15574098 markings, 32549440 edges, 482449 markings/sec, 35 secs
lola: 17922267 markings, 36448029 edges, 469634 markings/sec, 40 secs
lola: 20144644 markings, 40292509 edges, 444475 markings/sec, 45 secs
lola: 22279571 markings, 44008324 edges, 426985 markings/sec, 50 secs
lola: 24304871 markings, 47683627 edges, 405060 markings/sec, 55 secs
lola: 26269758 markings, 51272172 edges, 392977 markings/sec, 60 secs
lola: 28195964 markings, 54863950 edges, 385241 markings/sec, 65 secs
lola: 30091484 markings, 58440649 edges, 379104 markings/sec, 70 secs
lola: 31938095 markings, 62012361 edges, 369322 markings/sec, 75 secs
lola: 33762660 markings, 65558097 edges, 364913 markings/sec, 80 secs
lola: 35508381 markings, 69002570 edges, 349144 markings/sec, 85 secs
lola: 37165020 markings, 72298999 edges, 331328 markings/sec, 90 secs
lola: 38732696 markings, 75549187 edges, 313535 markings/sec, 95 secs
lola: 40378855 markings, 78954055 edges, 329232 markings/sec, 100 secs
lola: 42043126 markings, 82519482 edges, 332854 markings/sec, 105 secs
lola: 43638272 markings, 86064490 edges, 319029 markings/sec, 110 secs
lola: 45231821 markings, 89581394 edges, 318710 markings/sec, 115 secs
lola: 46674657 markings, 93308111 edges, 288567 markings/sec, 120 secs
lola: 48417248 markings, 97027894 edges, 348518 markings/sec, 125 secs
lola: 49702767 markings, 100701675 edges, 257104 markings/sec, 130 secs
lola: 50252479 markings, 103876811 edges, 109942 markings/sec, 135 secs
lola: 50661298 markings, 107033005 edges, 81764 markings/sec, 140 secs
lola: 51012745 markings, 110291698 edges, 70289 markings/sec, 145 secs
lola: 51315877 markings, 113728004 edges, 60626 markings/sec, 150 secs
lola: 51654735 markings, 117593226 edges, 67772 markings/sec, 155 secs
lola: 53535276 markings, 121402160 edges, 376108 markings/sec, 160 secs
lola: 55691885 markings, 124795019 edges, 431322 markings/sec, 165 secs
lola: 57731617 markings, 128097695 edges, 407946 markings/sec, 170 secs
lola: 59700056 markings, 131369026 edges, 393688 markings/sec, 175 secs
lola: 61609192 markings, 134600628 edges, 381827 markings/sec, 180 secs
lola: 63423530 markings, 137767397 edges, 362868 markings/sec, 185 secs
lola: 65173281 markings, 140899932 edges, 349950 markings/sec, 190 secs
lola: 66885129 markings, 144020927 edges, 342370 markings/sec, 195 secs
lola: 68556489 markings, 147117514 edges, 334272 markings/sec, 200 secs
lola: 70197383 markings, 150204275 edges, 328179 markings/sec, 205 secs
lola: 71821493 markings, 153293603 edges, 324822 markings/sec, 210 secs
lola: 73427725 markings, 156373280 edges, 321246 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(A_AVI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2239451 markings, 4025291 edges, 447890 markings/sec, 0 secs
lola: 4392688 markings, 7599558 edges, 430647 markings/sec, 5 secs
lola: 5825094 markings, 11201559 edges, 286481 markings/sec, 10 secs
lola: 7749349 markings, 15129386 edges, 384851 markings/sec, 15 secs
lola: 9737216 markings, 18513813 edges, 397573 markings/sec, 20 secs
lola: 10909158 markings, 21913607 edges, 234388 markings/sec, 25 secs
lola: 12904568 markings, 25903326 edges, 399082 markings/sec, 30 secs
lola: 14889548 markings, 29349856 edges, 396996 markings/sec, 35 secs
lola: 16149359 markings, 32960152 edges, 251962 markings/sec, 40 secs
lola: 18123495 markings, 36849772 edges, 394827 markings/sec, 45 secs
lola: 20076114 markings, 40279715 edges, 390524 markings/sec, 50 secs
lola: 21351596 markings, 43869576 edges, 255096 markings/sec, 55 secs
lola: 23437723 markings, 47500832 edges, 417225 markings/sec, 60 secs
lola: 25715077 markings, 50935364 edges, 455471 markings/sec, 65 secs
lola: 27757993 markings, 54213358 edges, 408583 markings/sec, 70 secs
lola: 29749270 markings, 57402243 edges, 398255 markings/sec, 75 secs
lola: 31636293 markings, 60640418 edges, 377405 markings/sec, 80 secs
lola: 33437301 markings, 63857319 edges, 360202 markings/sec, 85 secs
lola: 35142081 markings, 67108499 edges, 340956 markings/sec, 90 secs
lola: 36730436 markings, 70438614 edges, 317671 markings/sec, 95 secs
lola: 38368938 markings, 73871423 edges, 327700 markings/sec, 100 secs
lola: 40151326 markings, 77389259 edges, 356478 markings/sec, 105 secs
lola: 42074230 markings, 80787921 edges, 384581 markings/sec, 110 secs
lola: 43818262 markings, 84228769 edges, 348806 markings/sec, 115 secs
lola: 44313599 markings, 87436106 edges, 99067 markings/sec, 120 secs
lola: 44648288 markings, 90354425 edges, 66938 markings/sec, 125 secs
lola: 45251669 markings, 93647089 edges, 120676 markings/sec, 130 secs
lola: 47112187 markings, 97056039 edges, 372104 markings/sec, 135 secs
lola: 49305921 markings, 100413660 edges, 438747 markings/sec, 140 secs
lola: 51349431 markings, 103677738 edges, 408702 markings/sec, 145 secs
lola: 53309867 markings, 106875142 edges, 392087 markings/sec, 150 secs
lola: 55127553 markings, 110028275 edges, 363537 markings/sec, 155 secs
lola: 56901237 markings, 113110600 edges, 354737 markings/sec, 160 secs
lola: 58516052 markings, 116195016 edges, 322963 markings/sec, 165 secs
lola: 59958647 markings, 119385191 edges, 288519 markings/sec, 170 secs
lola: 61374739 markings, 122541871 edges, 283218 markings/sec, 175 secs
lola: 62999361 markings, 126080929 edges, 324924 markings/sec, 180 secs
lola: 64788393 markings, 129500038 edges, 357806 markings/sec, 185 secs
lola: 66581331 markings, 132831722 edges, 358588 markings/sec, 190 secs
lola: 67896886 markings, 136170260 edges, 263111 markings/sec, 195 secs
lola: 68210027 markings, 139145887 edges, 62628 markings/sec, 200 secs
lola: 68507378 markings, 141994859 edges, 59470 markings/sec, 205 secs
lola: 68917141 markings, 145279246 edges, 81953 markings/sec, 210 secs
lola: 70829547 markings, 148841449 edges, 382481 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(A_SIG_Aget)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 3312118 markings, 4399331 edges, 662424 markings/sec, 0 secs
lola: 6522733 markings, 8828445 edges, 642123 markings/sec, 5 secs
lola: 9298742 markings, 13100867 edges, 555202 markings/sec, 10 secs
lola: 12023058 markings, 17106801 edges, 544863 markings/sec, 15 secs
lola: 14354931 markings, 20999583 edges, 466375 markings/sec, 20 secs
lola: 16719488 markings, 24884649 edges, 472911 markings/sec, 25 secs
lola: 19720193 markings, 29065943 edges, 600141 markings/sec, 30 secs
lola: 22683323 markings, 33196854 edges, 592626 markings/sec, 35 secs
lola: 25571451 markings, 37251823 edges, 577626 markings/sec, 40 secs
lola: 28320603 markings, 41226526 edges, 549830 markings/sec, 45 secs
lola: 31052548 markings, 45175294 edges, 546389 markings/sec, 50 secs
lola: 33698851 markings, 49115514 edges, 529261 markings/sec, 55 secs
lola: 36310999 markings, 53036029 edges, 522430 markings/sec, 60 secs
lola: 38907085 markings, 57038563 edges, 519217 markings/sec, 65 secs
lola: 41521495 markings, 61039198 edges, 522882 markings/sec, 70 secs
lola: 44147234 markings, 64930436 edges, 525148 markings/sec, 75 secs
lola: 46723326 markings, 68735249 edges, 515218 markings/sec, 80 secs
lola: 49159132 markings, 72418527 edges, 487161 markings/sec, 85 secs
lola: 51617685 markings, 76219676 edges, 491711 markings/sec, 90 secs
lola: 53299460 markings, 79648289 edges, 336355 markings/sec, 95 secs
lola: 54365463 markings, 83513392 edges, 213201 markings/sec, 100 secs
lola: 56217367 markings, 87643778 edges, 370381 markings/sec, 105 secs
lola: 59033722 markings, 91452707 edges, 563271 markings/sec, 110 secs
lola: 61778567 markings, 95213256 edges, 548969 markings/sec, 115 secs
lola: 64432791 markings, 98903068 edges, 530845 markings/sec, 120 secs
lola: 67023235 markings, 102537553 edges, 518089 markings/sec, 125 secs
lola: 69545562 markings, 106146529 edges, 504465 markings/sec, 130 secs
lola: 72009646 markings, 109722754 edges, 492817 markings/sec, 135 secs
lola: 74396672 markings, 113276562 edges, 477405 markings/sec, 140 secs
lola: 76757427 markings, 116838652 edges, 472151 markings/sec, 145 secs
lola: 79102284 markings, 120405812 edges, 468971 markings/sec, 150 secs
lola: 81440575 markings, 123998837 edges, 467658 markings/sec, 155 secs
lola: 83776204 markings, 127642524 edges, 467126 markings/sec, 160 secs
lola: 86166039 markings, 131296837 edges, 477967 markings/sec, 165 secs
lola: 88579527 markings, 134901216 edges, 482698 markings/sec, 170 secs
lola: 90998671 markings, 138444062 edges, 483829 markings/sec, 175 secs
lola: 93345659 markings, 141926217 edges, 469398 markings/sec, 180 secs
lola: 95579980 markings, 145344862 edges, 446864 markings/sec, 185 secs
lola: 97795175 markings, 148883933 edges, 443039 markings/sec, 190 secs
lola: 100081567 markings, 152351424 edges, 457278 markings/sec, 195 secs
lola: 101387779 markings, 155212418 edges, 261242 markings/sec, 200 secs
lola: 102658671 markings, 158373930 edges, 254178 markings/sec, 205 secs
lola: 103287663 markings, 161363049 edges, 125798 markings/sec, 210 secs
lola: 104068171 markings, 164559239 edges, 156102 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(RVConductor)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1616994 markings, 1897648 edges, 323399 markings/sec, 0 secs
lola: 3453847 markings, 4056247 edges, 367371 markings/sec, 5 secs
lola: 5220370 markings, 6131366 edges, 353305 markings/sec, 10 secs
lola: 7014135 markings, 8250871 edges, 358753 markings/sec, 15 secs
lola: 8614701 markings, 10148701 edges, 320113 markings/sec, 20 secs
lola: 10358976 markings, 12219430 edges, 348855 markings/sec, 25 secs
lola: 12012319 markings, 14189348 edges, 330669 markings/sec, 30 secs
lola: 13774192 markings, 16292024 edges, 352375 markings/sec, 35 secs
lola: 15529586 markings, 18393028 edges, 351079 markings/sec, 40 secs
lola: 17281433 markings, 20492021 edges, 350369 markings/sec, 45 secs
lola: 18899787 markings, 22433559 edges, 323671 markings/sec, 50 secs
lola: 20669363 markings, 24561500 edges, 353915 markings/sec, 55 secs
lola: 22433234 markings, 26684496 edges, 352774 markings/sec, 60 secs
lola: 24128211 markings, 28726025 edges, 338995 markings/sec, 65 secs
lola: 25862248 markings, 30816467 edges, 346807 markings/sec, 70 secs
lola: 27588415 markings, 32903616 edges, 345233 markings/sec, 75 secs
lola: 29314214 markings, 34986479 edges, 345160 markings/sec, 80 secs
lola: 31056226 markings, 37110143 edges, 348402 markings/sec, 85 secs
lola: 32752642 markings, 39296938 edges, 339283 markings/sec, 90 secs
lola: 34474784 markings, 41378046 edges, 344428 markings/sec, 95 secs
lola: 36167879 markings, 43432646 edges, 338619 markings/sec, 100 secs
lola: 37801089 markings, 45414951 edges, 326642 markings/sec, 105 secs
lola: 39538562 markings, 47523464 edges, 347495 markings/sec, 110 secs
lola: 41224651 markings, 49568678 edges, 337218 markings/sec, 115 secs
lola: 42890112 markings, 51590447 edges, 333092 markings/sec, 120 secs
lola: 44601534 markings, 53680472 edges, 342284 markings/sec, 125 secs
lola: 46250954 markings, 55791835 edges, 329884 markings/sec, 130 secs
lola: 47922856 markings, 57817711 edges, 334380 markings/sec, 135 secs
lola: 49578315 markings, 59829249 edges, 331092 markings/sec, 140 secs
lola: 51291507 markings, 61905627 edges, 342638 markings/sec, 145 secs
lola: 52879095 markings, 63835010 edges, 317518 markings/sec, 150 secs
lola: 54616022 markings, 65947065 edges, 347385 markings/sec, 155 secs
lola: 56354112 markings, 68061074 edges, 347618 markings/sec, 160 secs
lola: 58018311 markings, 70082402 edges, 332840 markings/sec, 165 secs
lola: 59754238 markings, 72191366 edges, 347185 markings/sec, 170 secs
lola: 61467925 markings, 74271895 edges, 342737 markings/sec, 175 secs
lola: 63204167 markings, 76380859 edges, 347248 markings/sec, 180 secs
lola: 64938150 markings, 78490369 edges, 346797 markings/sec, 185 secs
lola: 66671325 markings, 80596767 edges, 346635 markings/sec, 190 secs
lola: 68408835 markings, 82705870 edges, 347502 markings/sec, 195 secs
lola: 70137780 markings, 84810962 edges, 345789 markings/sec, 200 secs
lola: 71869292 markings, 86916465 edges, 346302 markings/sec, 205 secs
lola: 73595913 markings, 89019645 edges, 345324 markings/sec, 210 secs
lola: 75326460 markings, 91123681 edges, 346109 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(VRGEctopic)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2352638 markings, 4601467 edges, 470528 markings/sec, 0 secs
lola: 4779683 markings, 9600349 edges, 485409 markings/sec, 5 secs
lola: 7239135 markings, 14632089 edges, 491890 markings/sec, 10 secs
lola: 9663492 markings, 19525074 edges, 484871 markings/sec, 15 secs
lola: 12125360 markings, 24683919 edges, 492374 markings/sec, 20 secs
lola: 14504165 markings, 29564632 edges, 475761 markings/sec, 25 secs
lola: 16849041 markings, 34324179 edges, 468975 markings/sec, 30 secs
lola: 19109163 markings, 38885838 edges, 452024 markings/sec, 35 secs
lola: 21485996 markings, 43702228 edges, 475367 markings/sec, 40 secs
lola: 23830065 markings, 48451143 edges, 468814 markings/sec, 45 secs
lola: 26174699 markings, 53197826 edges, 468927 markings/sec, 50 secs
lola: 28488472 markings, 58150362 edges, 462755 markings/sec, 55 secs
lola: 30865536 markings, 62959081 edges, 475413 markings/sec, 60 secs
lola: 33196264 markings, 67678440 edges, 466146 markings/sec, 65 secs
lola: 35511656 markings, 72386434 edges, 463078 markings/sec, 70 secs
lola: 37911470 markings, 77236900 edges, 479963 markings/sec, 75 secs
lola: 40241168 markings, 81959566 edges, 465940 markings/sec, 80 secs
lola: 42547162 markings, 86643327 edges, 461199 markings/sec, 85 secs
lola: 44861412 markings, 91347037 edges, 462850 markings/sec, 90 secs
lola: 47161925 markings, 96024064 edges, 460103 markings/sec, 95 secs
lola: 49467606 markings, 100715584 edges, 461136 markings/sec, 100 secs
lola: 51793817 markings, 105438118 edges, 465242 markings/sec, 105 secs
lola: 54097112 markings, 110128517 edges, 460659 markings/sec, 110 secs
lola: 56412699 markings, 114833875 edges, 463117 markings/sec, 115 secs
lola: 58722929 markings, 119536245 edges, 462046 markings/sec, 120 secs
lola: 61070158 markings, 124279558 edges, 469446 markings/sec, 125 secs
lola: 63374969 markings, 128964744 edges, 460962 markings/sec, 130 secs
lola: 65662766 markings, 133637692 edges, 457559 markings/sec, 135 secs
lola: 67947407 markings, 138290288 edges, 456928 markings/sec, 140 secs
lola: 70234711 markings, 142953891 edges, 457461 markings/sec, 145 secs
lola: 72506862 markings, 147620491 edges, 454430 markings/sec, 150 secs
lola: 74796077 markings, 152294674 edges, 457843 markings/sec, 155 secs
lola: 77090152 markings, 156967265 edges, 458815 markings/sec, 160 secs
lola: 79364329 markings, 161604594 edges, 454835 markings/sec, 165 secs
lola: 81665767 markings, 166281785 edges, 460288 markings/sec, 170 secs
lola: 83913928 markings, 170903982 edges, 449632 markings/sec, 175 secs
lola: 86174769 markings, 175520426 edges, 452168 markings/sec, 180 secs
lola: 88458257 markings, 180161496 edges, 456698 markings/sec, 185 secs
lola: 90760527 markings, 184864332 edges, 460454 markings/sec, 190 secs
lola: 93004951 markings, 189463081 edges, 448885 markings/sec, 195 secs
lola: 95278142 markings, 194110331 edges, 454638 markings/sec, 200 secs
lola: 97515332 markings, 198875155 edges, 447438 markings/sec, 205 secs
lola: 99762880 markings, 203488966 edges, 449510 markings/sec, 210 secs
lola: 102036874 markings, 208144607 edges, 454799 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(A_VRG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1734152 markings, 2035846 edges, 346830 markings/sec, 0 secs
lola: 3497748 markings, 4107124 edges, 352719 markings/sec, 5 secs
lola: 5245280 markings, 6163057 edges, 349506 markings/sec, 10 secs
lola: 6985350 markings, 8217944 edges, 348014 markings/sec, 15 secs
lola: 8719573 markings, 10271406 edges, 346845 markings/sec, 20 secs
lola: 10449899 markings, 12329253 edges, 346065 markings/sec, 25 secs
lola: 12167061 markings, 14375473 edges, 343432 markings/sec, 30 secs
lola: 13880711 markings, 16421863 edges, 342730 markings/sec, 35 secs
lola: 15591821 markings, 18464875 edges, 342222 markings/sec, 40 secs
lola: 17300413 markings, 20515952 edges, 341718 markings/sec, 45 secs
lola: 19003015 markings, 22557018 edges, 340520 markings/sec, 50 secs
lola: 20702486 markings, 24600394 edges, 339894 markings/sec, 55 secs
lola: 22398810 markings, 26643102 edges, 339265 markings/sec, 60 secs
lola: 24091206 markings, 28685342 edges, 338479 markings/sec, 65 secs
lola: 25605370 markings, 30511728 edges, 302833 markings/sec, 70 secs
lola: 27181154 markings, 32414132 edges, 315157 markings/sec, 75 secs
lola: 28796827 markings, 34368183 edges, 323135 markings/sec, 80 secs
lola: 30442283 markings, 36356393 edges, 329091 markings/sec, 85 secs
lola: 32048839 markings, 38359696 edges, 321311 markings/sec, 90 secs
lola: 33586101 markings, 40309736 edges, 307452 markings/sec, 95 secs
lola: 35266843 markings, 42345614 edges, 336148 markings/sec, 100 secs
lola: 36827146 markings, 44234967 edges, 312061 markings/sec, 105 secs
lola: 38501588 markings, 46267796 edges, 334888 markings/sec, 110 secs
lola: 40176035 markings, 48298714 edges, 334889 markings/sec, 115 secs
lola: 41836174 markings, 50314531 edges, 332028 markings/sec, 120 secs
lola: 43398806 markings, 52212876 edges, 312526 markings/sec, 125 secs
lola: 45007744 markings, 54164798 edges, 321788 markings/sec, 130 secs
lola: 46677097 markings, 56192233 edges, 333871 markings/sec, 135 secs
lola: 48347849 markings, 58223973 edges, 334150 markings/sec, 140 secs
lola: 50034720 markings, 60303413 edges, 337374 markings/sec, 145 secs
lola: 51681730 markings, 62393228 edges, 329402 markings/sec, 150 secs
lola: 53284879 markings, 64340653 edges, 320630 markings/sec, 155 secs
lola: 54939591 markings, 66348507 edges, 330942 markings/sec, 160 secs
lola: 56610259 markings, 68373728 edges, 334134 markings/sec, 165 secs
lola: 58280002 markings, 70401491 edges, 333949 markings/sec, 170 secs
lola: 59945667 markings, 72429343 edges, 333133 markings/sec, 175 secs
lola: 61614846 markings, 74459287 edges, 333836 markings/sec, 180 secs
lola: 63281930 markings, 76484010 edges, 333417 markings/sec, 185 secs
lola: 64950345 markings, 78507428 edges, 333683 markings/sec, 190 secs
lola: 66617767 markings, 80533256 edges, 333484 markings/sec, 195 secs
lola: 68279890 markings, 82557315 edges, 332425 markings/sec, 200 secs
lola: 69947204 markings, 84581375 edges, 333463 markings/sec, 205 secs
lola: 71613609 markings, 86608521 edges, 333281 markings/sec, 210 secs
lola: 73273839 markings, 88632448 edges, 332046 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_SIG_Vget)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2887229 markings, 3735442 edges, 577446 markings/sec, 0 secs
lola: 5219512 markings, 6858580 edges, 466457 markings/sec, 5 secs
lola: 7445972 markings, 9867629 edges, 445292 markings/sec, 10 secs
lola: 9705166 markings, 12947456 edges, 451839 markings/sec, 15 secs
lola: 11964562 markings, 16066970 edges, 451879 markings/sec, 20 secs
lola: 14189657 markings, 19156075 edges, 445019 markings/sec, 25 secs
lola: 16400475 markings, 22206256 edges, 442164 markings/sec, 30 secs
lola: 18580909 markings, 25237318 edges, 436087 markings/sec, 35 secs
lola: 20772405 markings, 28266946 edges, 438299 markings/sec, 40 secs
lola: 22962339 markings, 31296419 edges, 437987 markings/sec, 45 secs
lola: 25113494 markings, 34303838 edges, 430231 markings/sec, 50 secs
lola: 27259659 markings, 37299355 edges, 429233 markings/sec, 55 secs
lola: 29403255 markings, 40322491 edges, 428719 markings/sec, 60 secs
lola: 31497772 markings, 43259988 edges, 418903 markings/sec, 65 secs
lola: 33542875 markings, 46133302 edges, 409021 markings/sec, 70 secs
lola: 35553003 markings, 48982954 edges, 402026 markings/sec, 75 secs
lola: 37564966 markings, 51855641 edges, 402393 markings/sec, 80 secs
lola: 39580143 markings, 54722949 edges, 403035 markings/sec, 85 secs
lola: 41630763 markings, 57637571 edges, 410124 markings/sec, 90 secs
lola: 43741637 markings, 60646721 edges, 422175 markings/sec, 95 secs
lola: 45819079 markings, 63621899 edges, 415488 markings/sec, 100 secs
lola: 47897077 markings, 66612676 edges, 415600 markings/sec, 105 secs
lola: 49973058 markings, 69618097 edges, 415196 markings/sec, 110 secs
lola: 52054529 markings, 72614561 edges, 416294 markings/sec, 115 secs
lola: 54126585 markings, 75606398 edges, 414411 markings/sec, 120 secs
lola: 56184161 markings, 78589805 edges, 411515 markings/sec, 125 secs
lola: 58249175 markings, 81590902 edges, 413003 markings/sec, 130 secs
lola: 60309869 markings, 84586794 edges, 412139 markings/sec, 135 secs
lola: 62377691 markings, 87588764 edges, 413564 markings/sec, 140 secs
lola: 64434248 markings, 90588673 edges, 411311 markings/sec, 145 secs
lola: 66478123 markings, 93587400 edges, 408775 markings/sec, 150 secs
lola: 68528209 markings, 96578128 edges, 410017 markings/sec, 155 secs
lola: 70497620 markings, 99474381 edges, 393882 markings/sec, 160 secs
lola: 72541615 markings, 102474210 edges, 408799 markings/sec, 165 secs
lola: 74561931 markings, 105496377 edges, 404063 markings/sec, 170 secs
lola: 76590347 markings, 108493495 edges, 405683 markings/sec, 175 secs
lola: 78618648 markings, 111527515 edges, 405660 markings/sec, 180 secs
lola: 80654384 markings, 114539092 edges, 407147 markings/sec, 185 secs
lola: 82684008 markings, 117521243 edges, 405925 markings/sec, 190 secs
lola: 84703735 markings, 120534369 edges, 403945 markings/sec, 195 secs
lola: 86724913 markings, 123548920 edges, 404236 markings/sec, 200 secs
lola: 88740693 markings, 126549493 edges, 403156 markings/sec, 205 secs
lola: 90740851 markings, 129532519 edges, 400032 markings/sec, 210 secs
lola: 92748972 markings, 132538614 edges, 401624 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_SIG_Clk0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2131596 markings, 3755851 edges, 426319 markings/sec, 0 secs
lola: 4348417 markings, 7461837 edges, 443364 markings/sec, 5 secs
lola: 5881146 markings, 11105854 edges, 306546 markings/sec, 10 secs
lola: 7778653 markings, 15134242 edges, 379501 markings/sec, 15 secs
lola: 9833091 markings, 18623379 edges, 410888 markings/sec, 20 secs
lola: 10986369 markings, 21944744 edges, 230656 markings/sec, 25 secs
lola: 12775417 markings, 25647052 edges, 357810 markings/sec, 30 secs
lola: 14847445 markings, 29168393 edges, 414406 markings/sec, 35 secs
lola: 16102583 markings, 32788718 edges, 251028 markings/sec, 40 secs
lola: 17988219 markings, 36190619 edges, 377127 markings/sec, 45 secs
lola: 20262878 markings, 39615429 edges, 454932 markings/sec, 50 secs
lola: 22188011 markings, 42650190 edges, 385027 markings/sec, 55 secs
lola: 24148737 markings, 45801636 edges, 392145 markings/sec, 60 secs
lola: 25982492 markings, 48865754 edges, 366751 markings/sec, 65 secs
lola: 27682841 markings, 51877413 edges, 340070 markings/sec, 70 secs
lola: 29324136 markings, 54851967 edges, 328259 markings/sec, 75 secs
lola: 30746415 markings, 57841561 edges, 284456 markings/sec, 80 secs
lola: 32248393 markings, 60957523 edges, 300396 markings/sec, 85 secs
lola: 33832226 markings, 64235068 edges, 316767 markings/sec, 90 secs
lola: 35552518 markings, 67503945 edges, 344058 markings/sec, 95 secs
lola: 37332584 markings, 70709890 edges, 356013 markings/sec, 100 secs
lola: 38841385 markings, 73829961 edges, 301760 markings/sec, 105 secs
lola: 39277730 markings, 76628994 edges, 87269 markings/sec, 110 secs
lola: 39571870 markings, 79220983 edges, 58828 markings/sec, 115 secs
lola: 39958941 markings, 82260588 edges, 77414 markings/sec, 120 secs
lola: 41614651 markings, 85707230 edges, 331142 markings/sec, 125 secs
lola: 43883998 markings, 89068476 edges, 453869 markings/sec, 130 secs
lola: 45808625 markings, 92160148 edges, 384925 markings/sec, 135 secs
lola: 47653297 markings, 95171871 edges, 368934 markings/sec, 140 secs
lola: 49486861 markings, 98174959 edges, 366713 markings/sec, 145 secs
lola: 51323158 markings, 101428998 edges, 367259 markings/sec, 150 secs
lola: 53039682 markings, 104600747 edges, 343305 markings/sec, 155 secs
lola: 54460616 markings, 107640795 edges, 284187 markings/sec, 160 secs
lola: 55871132 markings, 110804920 edges, 282103 markings/sec, 165 secs
lola: 57403400 markings, 114202357 edges, 306454 markings/sec, 170 secs
lola: 59081322 markings, 117633351 edges, 335584 markings/sec, 175 secs
lola: 61000989 markings, 121091053 edges, 383933 markings/sec, 180 secs
lola: 62541960 markings, 124399262 edges, 308194 markings/sec, 185 secs
lola: 63082357 markings, 127128469 edges, 108079 markings/sec, 190 secs
lola: 63275505 markings, 129391854 edges, 38630 markings/sec, 195 secs
lola: 63586423 markings, 132189753 edges, 62184 markings/sec, 200 secs
lola: 64252350 markings, 135282316 edges, 133185 markings/sec, 205 secs
lola: 66175292 markings, 138698943 edges, 384588 markings/sec, 210 secs
lola: 68407136 markings, 142144204 edges, 446369 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_SIG_VPOut)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2417996 markings, 3031191 edges, 483599 markings/sec, 0 secs
lola: 4847675 markings, 6071195 edges, 485936 markings/sec, 5 secs
lola: 7347160 markings, 9176293 edges, 499897 markings/sec, 10 secs
lola: 9899451 markings, 12388280 edges, 510458 markings/sec, 15 secs
lola: 12425612 markings, 15536346 edges, 505232 markings/sec, 20 secs
lola: 14839029 markings, 18553485 edges, 482683 markings/sec, 25 secs
lola: 17244176 markings, 21566494 edges, 481029 markings/sec, 30 secs
lola: 19738993 markings, 24693319 edges, 498963 markings/sec, 35 secs
lola: 22234457 markings, 27822396 edges, 499093 markings/sec, 40 secs
lola: 24723633 markings, 30958186 edges, 497835 markings/sec, 45 secs
lola: 27185521 markings, 34060309 edges, 492378 markings/sec, 50 secs
lola: 29639857 markings, 37179837 edges, 490867 markings/sec, 55 secs
lola: 32097513 markings, 40277167 edges, 491531 markings/sec, 60 secs
lola: 34551341 markings, 43382978 edges, 490766 markings/sec, 65 secs
lola: 36994716 markings, 46473597 edges, 488675 markings/sec, 70 secs
lola: 39356541 markings, 49460263 edges, 472365 markings/sec, 75 secs
lola: 41591863 markings, 52311472 edges, 447064 markings/sec, 80 secs
lola: 44021555 markings, 55395425 edges, 485938 markings/sec, 85 secs
lola: 46435554 markings, 58484647 edges, 482800 markings/sec, 90 secs
lola: 48851865 markings, 61580596 edges, 483262 markings/sec, 95 secs
lola: 51258032 markings, 64657997 edges, 481233 markings/sec, 100 secs
lola: 53662570 markings, 67728107 edges, 480908 markings/sec, 105 secs
lola: 55946757 markings, 70655119 edges, 456837 markings/sec, 110 secs
lola: 58344351 markings, 73733572 edges, 479519 markings/sec, 115 secs
lola: 60727307 markings, 76798557 edges, 476591 markings/sec, 120 secs
lola: 63002285 markings, 79721076 edges, 454996 markings/sec, 125 secs
lola: 65343550 markings, 82731589 edges, 468253 markings/sec, 130 secs
lola: 67721360 markings, 85803236 edges, 475562 markings/sec, 135 secs
lola: 70092693 markings, 88853711 edges, 474267 markings/sec, 140 secs
lola: 72474060 markings, 91927124 edges, 476273 markings/sec, 145 secs
lola: 74848275 markings, 95003813 edges, 474843 markings/sec, 150 secs
lola: 77213523 markings, 98091986 edges, 473050 markings/sec, 155 secs
lola: 79592964 markings, 101162899 edges, 475888 markings/sec, 160 secs
lola: 81956743 markings, 104236606 edges, 472756 markings/sec, 165 secs
lola: 84314920 markings, 107313689 edges, 471635 markings/sec, 170 secs
lola: 86692354 markings, 110402262 edges, 475487 markings/sec, 175 secs
lola: 89059284 markings, 113493520 edges, 473386 markings/sec, 180 secs
lola: 91418553 markings, 116578586 edges, 471854 markings/sec, 185 secs
lola: 93787446 markings, 119645694 edges, 473779 markings/sec, 190 secs
lola: 96124370 markings, 122718430 edges, 467385 markings/sec, 195 secs
lola: 98475304 markings, 125790215 edges, 470187 markings/sec, 200 secs
lola: 100826060 markings, 128866226 edges, 470151 markings/sec, 205 secs
lola: 103170091 markings, 131938125 edges, 468806 markings/sec, 210 secs
lola: 105502014 markings, 134997826 edges, 466385 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SIG_Vbeat)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 1617572 markings, 3275907 edges, 323514 markings/sec, 0 secs
lola: 3185847 markings, 6515870 edges, 313655 markings/sec, 5 secs
lola: 4746484 markings, 9717607 edges, 312127 markings/sec, 10 secs
lola: 6299010 markings, 12883223 edges, 310505 markings/sec, 15 secs
lola: 7841004 markings, 16032178 edges, 308399 markings/sec, 20 secs
lola: 9379894 markings, 19207962 edges, 307778 markings/sec, 25 secs
lola: 10918475 markings, 22354458 edges, 307716 markings/sec, 30 secs
lola: 12446580 markings, 25483044 edges, 305621 markings/sec, 35 secs
lola: 13979843 markings, 28631455 edges, 306653 markings/sec, 40 secs
lola: 15503699 markings, 31753914 edges, 304771 markings/sec, 45 secs
lola: 17026171 markings, 34877827 edges, 304494 markings/sec, 50 secs
lola: 18549884 markings, 38019799 edges, 304743 markings/sec, 55 secs
lola: 20074408 markings, 41160440 edges, 304905 markings/sec, 60 secs
lola: 21593573 markings, 44287619 edges, 303833 markings/sec, 65 secs
lola: 23117883 markings, 47423314 edges, 304862 markings/sec, 70 secs
lola: 24636420 markings, 50554764 edges, 303707 markings/sec, 75 secs
lola: 26153907 markings, 53688286 edges, 303497 markings/sec, 80 secs
lola: 27676934 markings, 56843341 edges, 304605 markings/sec, 85 secs
lola: 29193281 markings, 59987334 edges, 303269 markings/sec, 90 secs
lola: 30705022 markings, 63121062 edges, 302348 markings/sec, 95 secs
lola: 32219810 markings, 66258785 edges, 302958 markings/sec, 100 secs
lola: 33727610 markings, 69379777 edges, 301560 markings/sec, 105 secs
lola: 35231511 markings, 72495359 edges, 300780 markings/sec, 110 secs
lola: 36738279 markings, 75633904 edges, 301354 markings/sec, 115 secs
lola: 38242212 markings, 78766383 edges, 300787 markings/sec, 120 secs
lola: 39747714 markings, 81899017 edges, 301100 markings/sec, 125 secs
lola: 41246491 markings, 85010766 edges, 299755 markings/sec, 130 secs
lola: 42747294 markings, 88132200 edges, 300161 markings/sec, 135 secs
lola: 44249879 markings, 91246353 edges, 300517 markings/sec, 140 secs
lola: 45751587 markings, 94377417 edges, 300342 markings/sec, 145 secs
lola: 47246237 markings, 97489051 edges, 298930 markings/sec, 150 secs
lola: 48750783 markings, 100627627 edges, 300909 markings/sec, 155 secs
lola: 50254737 markings, 103770222 edges, 300791 markings/sec, 160 secs
lola: 51748572 markings, 106905161 edges, 298767 markings/sec, 165 secs
lola: 53244753 markings, 110024877 edges, 299236 markings/sec, 170 secs
lola: 54737799 markings, 113138778 edges, 298609 markings/sec, 175 secs
lola: 56234056 markings, 116263290 edges, 299251 markings/sec, 180 secs
lola: 57726237 markings, 119394000 edges, 298436 markings/sec, 185 secs
lola: 59215554 markings, 122503395 edges, 297863 markings/sec, 190 secs
lola: 60710823 markings, 125644353 edges, 299054 markings/sec, 195 secs
lola: 62199732 markings, 128759254 edges, 297782 markings/sec, 200 secs
lola: 63684951 markings, 131867818 edges, 297044 markings/sec, 205 secs
lola: 65177937 markings, 135009350 edges, 298597 markings/sec, 210 secs
lola: 66664669 markings, 138130148 edges, 297346 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_SIG_Clk1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2200188 markings, 4026966 edges, 440038 markings/sec, 0 secs
lola: 4390835 markings, 7671360 edges, 438129 markings/sec, 5 secs
lola: 5883488 markings, 11507095 edges, 298531 markings/sec, 10 secs
lola: 7901053 markings, 15425270 edges, 403513 markings/sec, 15 secs
lola: 9874160 markings, 18910390 edges, 394621 markings/sec, 20 secs
lola: 11246079 markings, 22703372 edges, 274384 markings/sec, 25 secs
lola: 13278248 markings, 26527841 edges, 406434 markings/sec, 30 secs
lola: 15229960 markings, 30080368 edges, 390342 markings/sec, 35 secs
lola: 16568939 markings, 33828877 edges, 267796 markings/sec, 40 secs
lola: 18829094 markings, 37465116 edges, 452031 markings/sec, 45 secs
lola: 21087950 markings, 40972325 edges, 451771 markings/sec, 50 secs
lola: 23216733 markings, 44409727 edges, 425757 markings/sec, 55 secs
lola: 25253621 markings, 47679901 edges, 407378 markings/sec, 60 secs
lola: 27158683 markings, 51057042 edges, 381012 markings/sec, 65 secs
lola: 28958513 markings, 54326881 edges, 359966 markings/sec, 70 secs
lola: 30564762 markings, 57690058 edges, 321250 markings/sec, 75 secs
lola: 32238892 markings, 61156751 edges, 334826 markings/sec, 80 secs
lola: 34035424 markings, 64830171 edges, 359306 markings/sec, 85 secs
lola: 35965922 markings, 68341441 edges, 386100 markings/sec, 90 secs
lola: 37821920 markings, 71847202 edges, 371200 markings/sec, 95 secs
lola: 38886868 markings, 75281288 edges, 212990 markings/sec, 100 secs
lola: 39210672 markings, 78328591 edges, 64761 markings/sec, 105 secs
lola: 39644322 markings, 81745244 edges, 86730 markings/sec, 110 secs
lola: 41297451 markings, 85280715 edges, 330626 markings/sec, 115 secs
lola: 43679732 markings, 88827073 edges, 476456 markings/sec, 120 secs
lola: 45768110 markings, 92178465 edges, 417676 markings/sec, 125 secs
lola: 47816685 markings, 95503163 edges, 409715 markings/sec, 130 secs
lola: 49737635 markings, 98799491 edges, 384190 markings/sec, 135 secs
lola: 51549999 markings, 102031580 edges, 362473 markings/sec, 140 secs
lola: 53234376 markings, 105215220 edges, 336875 markings/sec, 145 secs
lola: 54712523 markings, 108503888 edges, 295629 markings/sec, 150 secs
lola: 56211164 markings, 111819701 edges, 299728 markings/sec, 155 secs
lola: 57869980 markings, 115414125 edges, 331763 markings/sec, 160 secs
lola: 59687713 markings, 118849820 edges, 363547 markings/sec, 165 secs
lola: 61476743 markings, 122277879 edges, 357806 markings/sec, 170 secs
lola: 62679106 markings, 125692685 edges, 240473 markings/sec, 175 secs
lola: 62944923 markings, 128682980 edges, 53163 markings/sec, 180 secs
lola: 63277154 markings, 131707644 edges, 66446 markings/sec, 185 secs
lola: 64135437 markings, 135251366 edges, 171657 markings/sec, 190 secs
lola: 66159475 markings, 138722650 edges, 404808 markings/sec, 195 secs
lola: 68383310 markings, 142176425 edges, 444767 markings/sec, 200 secs
lola: 70473729 markings, 145580998 edges, 418084 markings/sec, 205 secs
lola: 72485785 markings, 148896928 edges, 402411 markings/sec, 210 secs
lola: 74389574 markings, 152266443 edges, 380758 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A_LRI)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 140 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: 2131576 markings, 3024727 edges, 426315 markings/sec, 0 secs
lola: 3948721 markings, 5947741 edges, 363429 markings/sec, 5 secs
lola: 5691176 markings, 9149876 edges, 348491 markings/sec, 10 secs
lola: 7231374 markings, 12497968 edges, 308040 markings/sec, 15 secs
lola: 8778865 markings, 15517169 edges, 309498 markings/sec, 20 secs
lola: 10307904 markings, 18456918 edges, 305808 markings/sec, 25 secs
lola: 11814399 markings, 21349145 edges, 301299 markings/sec, 30 secs
lola: 13324746 markings, 24331000 edges, 302069 markings/sec, 35 secs
lola: 14773872 markings, 27304167 edges, 289825 markings/sec, 40 secs
lola: 16225755 markings, 30153961 edges, 290377 markings/sec, 45 secs
lola: 17650391 markings, 33018017 edges, 284927 markings/sec, 50 secs
lola: 19069864 markings, 35869152 edges, 283895 markings/sec, 55 secs
lola: 20470030 markings, 38738580 edges, 280033 markings/sec, 60 secs
lola: 21840263 markings, 41631615 edges, 274047 markings/sec, 65 secs
lola: 23160271 markings, 44577833 edges, 264002 markings/sec, 70 secs
lola: 24487449 markings, 47558695 edges, 265436 markings/sec, 75 secs
lola: 25810679 markings, 50552298 edges, 264646 markings/sec, 80 secs
lola: 27145083 markings, 53530672 edges, 266881 markings/sec, 85 secs
lola: 28499955 markings, 56504085 edges, 270974 markings/sec, 90 secs
lola: 29875832 markings, 59434093 edges, 275175 markings/sec, 95 secs
lola: 31291201 markings, 62352364 edges, 283074 markings/sec, 100 secs
lola: 32717112 markings, 65263295 edges, 285182 markings/sec, 105 secs
lola: 34142108 markings, 68638303 edges, 284999 markings/sec, 110 secs
lola: 35565008 markings, 71528250 edges, 284580 markings/sec, 115 secs
lola: 36961673 markings, 74408009 edges, 279333 markings/sec, 120 secs
lola: 38365125 markings, 77286266 edges, 280690 markings/sec, 125 secs
lola: 39773491 markings, 80137139 edges, 281673 markings/sec, 130 secs
lola: 41198310 markings, 83025859 edges, 284964 markings/sec, 135 secs
lola: 42608194 markings, 85876387 edges, 281977 markings/sec, 140 secs
lola: 44018109 markings, 88720237 edges, 281983 markings/sec, 145 secs
lola: 45458197 markings, 91619294 edges, 288018 markings/sec, 150 secs
lola: 46906362 markings, 94523481 edges, 289633 markings/sec, 155 secs
lola: 48312647 markings, 97381359 edges, 281257 markings/sec, 160 secs
lola: 49716159 markings, 100293076 edges, 280702 markings/sec, 165 secs
lola: 51151124 markings, 103197775 edges, 286993 markings/sec, 170 secs
lola: 52541401 markings, 106104146 edges, 278055 markings/sec, 175 secs
lola: 53926955 markings, 109012628 edges, 277111 markings/sec, 180 secs
lola: 55311004 markings, 111939706 edges, 276810 markings/sec, 185 secs
lola: 56727890 markings, 114881000 edges, 283377 markings/sec, 190 secs
lola: 58155706 markings, 117838826 edges, 285563 markings/sec, 195 secs
lola: 59603461 markings, 120833888 edges, 289551 markings/sec, 200 secs
lola: 61035958 markings, 123823678 edges, 286499 markings/sec, 205 secs
lola: 62467565 markings, 126809395 edges, 286321 markings/sec, 210 secs
lola: 63903635 markings, 129799268 edges, 287214 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 PaceMaker-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PaceMaker-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496378398357

--------------------
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_PaceMaker-PT-none"
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_PaceMaker-PT-none.tgz
mv S_PaceMaker-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PaceMaker-PT-none, 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 r118-blw7-149441650100299"
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 ;