About the Execution of LoLA for Angiogenesis-PT-15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12757.420 | 3540117.00 | 3551140.00 | 270.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Angiogenesis-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436125900119
=====================================================================
--------------------
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 Angiogenesis-PT-15-UpperBounds-0
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-1
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-10
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-11
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-12
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-13
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-14
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-15
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-2
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-3
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-4
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-5
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-6
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-7
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-8
FORMULA_NAME Angiogenesis-PT-15-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494598196515
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Angiogenesis-PT-15 @ 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: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-15-UpperBounds.task
lola: MAX(KdStarGStarP3k) : MAX(Enz) : MAX(Gab1) : MAX(Gab1) : MAX(Pg) : MAX(KdStarGStarPgStarP3) : MAX(DAGE) : MAX(KdStarGStarP3kP3) : MAX(KdStarGStarPgStarP3P2) : MAX(GStarP3) : MAX(KdStarG) : MAX(KdStarGStarP3kStarP3P2) : MAX(KdStarG) : MAX(P3k) : MAX(KdStarGStar) : MAX(Pip3)
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(KdStarGStarP3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1796586 markings, 3265271 edges, 359317 markings/sec, 0 secs
lola: 3450146 markings, 6377862 edges, 330712 markings/sec, 5 secs
lola: 5000385 markings, 9329230 edges, 310048 markings/sec, 10 secs
lola: 6506184 markings, 12208548 edges, 301160 markings/sec, 15 secs
lola: 7935014 markings, 14977320 edges, 285766 markings/sec, 20 secs
lola: 9358069 markings, 17756905 edges, 284611 markings/sec, 25 secs
lola: 10849818 markings, 20680779 edges, 298350 markings/sec, 30 secs
lola: 12292017 markings, 23502116 edges, 288440 markings/sec, 35 secs
lola: 13657270 markings, 26191873 edges, 273051 markings/sec, 40 secs
lola: 15007157 markings, 28883330 edges, 269977 markings/sec, 45 secs
lola: 16291154 markings, 31449802 edges, 256799 markings/sec, 50 secs
lola: 17618836 markings, 34112059 edges, 265536 markings/sec, 55 secs
lola: 18951971 markings, 36772450 edges, 266627 markings/sec, 60 secs
lola: 20338391 markings, 39539565 edges, 277284 markings/sec, 65 secs
lola: 21691672 markings, 42262251 edges, 270656 markings/sec, 70 secs
lola: 22995499 markings, 44879573 edges, 260765 markings/sec, 75 secs
lola: 24303015 markings, 47499700 edges, 261503 markings/sec, 80 secs
lola: 25569271 markings, 50059108 edges, 253251 markings/sec, 85 secs
lola: 26827446 markings, 52610772 edges, 251635 markings/sec, 90 secs
lola: 28086779 markings, 55162840 edges, 251867 markings/sec, 95 secs
lola: 29356342 markings, 57726629 edges, 253913 markings/sec, 100 secs
lola: 30599226 markings, 60268182 edges, 248577 markings/sec, 105 secs
lola: 31847263 markings, 62807116 edges, 249607 markings/sec, 110 secs
lola: 33094836 markings, 65330897 edges, 249515 markings/sec, 115 secs
lola: 34303745 markings, 67810324 edges, 241782 markings/sec, 120 secs
lola: 35532302 markings, 70314757 edges, 245711 markings/sec, 125 secs
lola: 36737109 markings, 72784754 edges, 240961 markings/sec, 130 secs
lola: 37963369 markings, 75278891 edges, 245252 markings/sec, 135 secs
lola: 39228662 markings, 77873762 edges, 253059 markings/sec, 140 secs
lola: 40417192 markings, 80323990 edges, 237706 markings/sec, 145 secs
lola: 41592813 markings, 82752828 edges, 235124 markings/sec, 150 secs
lola: 42758081 markings, 85154146 edges, 233054 markings/sec, 155 secs
lola: 43960741 markings, 87608757 edges, 240532 markings/sec, 160 secs
lola: 45163053 markings, 90083269 edges, 240462 markings/sec, 165 secs
lola: 46379184 markings, 92559832 edges, 243226 markings/sec, 170 secs
lola: 47553634 markings, 94974221 edges, 234890 markings/sec, 175 secs
lola: 48697222 markings, 97358468 edges, 228718 markings/sec, 180 secs
lola: 49863945 markings, 99765774 edges, 233345 markings/sec, 185 secs
lola: 51009623 markings, 102146802 edges, 229136 markings/sec, 190 secs
lola: 52175229 markings, 104565256 edges, 233121 markings/sec, 195 secs
lola: 53352087 markings, 107006659 edges, 235372 markings/sec, 200 secs
lola: 54541702 markings, 109470222 edges, 237923 markings/sec, 205 secs
lola: 55727281 markings, 111929189 edges, 237116 markings/sec, 210 secs
lola: 56904903 markings, 114372200 edges, 235524 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(Enz)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2824998 markings, 4882517 edges, 565000 markings/sec, 0 secs
lola: 5296725 markings, 9207152 edges, 494345 markings/sec, 5 secs
lola: 7713620 markings, 13455888 edges, 483379 markings/sec, 10 secs
lola: 10124827 markings, 17707597 edges, 482241 markings/sec, 15 secs
lola: 12478719 markings, 21869134 edges, 470778 markings/sec, 20 secs
lola: 14735804 markings, 25871567 edges, 451417 markings/sec, 25 secs
lola: 16975279 markings, 29845979 edges, 447895 markings/sec, 30 secs
lola: 19083165 markings, 33604022 edges, 421577 markings/sec, 35 secs
lola: 21157190 markings, 37297725 edges, 414805 markings/sec, 40 secs
lola: 23174276 markings, 40897476 edges, 403417 markings/sec, 45 secs
lola: 25273513 markings, 44636124 edges, 419847 markings/sec, 50 secs
lola: 27315523 markings, 48285430 edges, 408402 markings/sec, 55 secs
lola: 29314451 markings, 51857756 edges, 399786 markings/sec, 60 secs
lola: 31376583 markings, 55531281 edges, 412426 markings/sec, 65 secs
lola: 33328854 markings, 59031791 edges, 390454 markings/sec, 70 secs
lola: 35302657 markings, 62570402 edges, 394761 markings/sec, 75 secs
lola: 37363378 markings, 66264146 edges, 412144 markings/sec, 80 secs
lola: 39375661 markings, 69888333 edges, 402457 markings/sec, 85 secs
lola: 41382337 markings, 73508078 edges, 401335 markings/sec, 90 secs
lola: 43355255 markings, 77065125 edges, 394584 markings/sec, 95 secs
lola: 45399792 markings, 80737546 edges, 408907 markings/sec, 100 secs
lola: 47358644 markings, 84255768 edges, 391770 markings/sec, 105 secs
lola: 49246747 markings, 87671647 edges, 377621 markings/sec, 110 secs
lola: 51161715 markings, 91106579 edges, 382994 markings/sec, 115 secs
lola: 53085732 markings, 94570756 edges, 384803 markings/sec, 120 secs
lola: 54957957 markings, 97949625 edges, 374445 markings/sec, 125 secs
lola: 56834404 markings, 101341247 edges, 375289 markings/sec, 130 secs
lola: 58706017 markings, 104719693 edges, 374323 markings/sec, 135 secs
lola: 60580260 markings, 108114907 edges, 374849 markings/sec, 140 secs
lola: 62460897 markings, 111513862 edges, 376127 markings/sec, 145 secs
lola: 64377986 markings, 114971587 edges, 383418 markings/sec, 150 secs
lola: 66199237 markings, 118271256 edges, 364250 markings/sec, 155 secs
lola: 68041160 markings, 121608494 edges, 368385 markings/sec, 160 secs
lola: 69963503 markings, 125092280 edges, 384469 markings/sec, 165 secs
lola: 71916090 markings, 128629294 edges, 390517 markings/sec, 170 secs
lola: 73830348 markings, 132084121 edges, 382852 markings/sec, 175 secs
lola: 75732035 markings, 135505499 edges, 380337 markings/sec, 180 secs
lola: 77534930 markings, 138765637 edges, 360579 markings/sec, 185 secs
lola: 79418519 markings, 142159992 edges, 376718 markings/sec, 190 secs
lola: 81295126 markings, 145570059 edges, 375321 markings/sec, 195 secs
lola: 83138936 markings, 148899769 edges, 368762 markings/sec, 200 secs
lola: 84973157 markings, 152220465 edges, 366844 markings/sec, 205 secs
lola: 86823477 markings, 155584412 edges, 370064 markings/sec, 210 secs
lola: 88746416 markings, 159057261 edges, 384588 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(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1968079 markings, 3380961 edges, 393616 markings/sec, 0 secs
lola: 3724268 markings, 6438237 edges, 351238 markings/sec, 5 secs
lola: 5438832 markings, 9421668 edges, 342913 markings/sec, 10 secs
lola: 7106143 markings, 12338574 edges, 333462 markings/sec, 15 secs
lola: 8741173 markings, 15213449 edges, 327006 markings/sec, 20 secs
lola: 10441972 markings, 18195736 edges, 340160 markings/sec, 25 secs
lola: 12022698 markings, 20993562 edges, 316145 markings/sec, 30 secs
lola: 13590927 markings, 23758505 edges, 313646 markings/sec, 35 secs
lola: 15143275 markings, 26524526 edges, 310470 markings/sec, 40 secs
lola: 16658195 markings, 29223867 edges, 302984 markings/sec, 45 secs
lola: 18183502 markings, 31947214 edges, 305061 markings/sec, 50 secs
lola: 19672098 markings, 34610166 edges, 297719 markings/sec, 55 secs
lola: 21152095 markings, 37256144 edges, 295999 markings/sec, 60 secs
lola: 22632325 markings, 39903800 edges, 296046 markings/sec, 65 secs
lola: 24065333 markings, 42488914 edges, 286602 markings/sec, 70 secs
lola: 25504000 markings, 45088034 edges, 287733 markings/sec, 75 secs
lola: 26935267 markings, 47671550 edges, 286253 markings/sec, 80 secs
lola: 28403010 markings, 50315598 edges, 293549 markings/sec, 85 secs
lola: 29862376 markings, 52958958 edges, 291873 markings/sec, 90 secs
lola: 31328980 markings, 55608176 edges, 293321 markings/sec, 95 secs
lola: 32780781 markings, 58229697 edges, 290360 markings/sec, 100 secs
lola: 34213550 markings, 60819584 edges, 286554 markings/sec, 105 secs
lola: 35608179 markings, 63369231 edges, 278926 markings/sec, 110 secs
lola: 36991799 markings, 65889336 edges, 276724 markings/sec, 115 secs
lola: 38357892 markings, 68366221 edges, 273219 markings/sec, 120 secs
lola: 39716299 markings, 70845226 edges, 271681 markings/sec, 125 secs
lola: 41112439 markings, 73404726 edges, 279228 markings/sec, 130 secs
lola: 42524368 markings, 75997594 edges, 282386 markings/sec, 135 secs
lola: 43937207 markings, 78582109 edges, 282568 markings/sec, 140 secs
lola: 45336880 markings, 81125363 edges, 279935 markings/sec, 145 secs
lola: 46735807 markings, 83680678 edges, 279785 markings/sec, 150 secs
lola: 48124003 markings, 86220119 edges, 277639 markings/sec, 155 secs
lola: 49503072 markings, 88753467 edges, 275814 markings/sec, 160 secs
lola: 50885923 markings, 91292683 edges, 276570 markings/sec, 165 secs
lola: 52238698 markings, 93771996 edges, 270555 markings/sec, 170 secs
lola: 53513246 markings, 96156171 edges, 254910 markings/sec, 175 secs
lola: 54890719 markings, 98665255 edges, 275495 markings/sec, 180 secs
lola: 56261304 markings, 101178281 edges, 274117 markings/sec, 185 secs
lola: 57598587 markings, 103645865 edges, 267457 markings/sec, 190 secs
lola: 58955468 markings, 106139816 edges, 271376 markings/sec, 195 secs
lola: 60288581 markings, 108595071 edges, 266623 markings/sec, 200 secs
lola: 61609889 markings, 111017325 edges, 264262 markings/sec, 205 secs
lola: 62927112 markings, 113431161 edges, 263445 markings/sec, 210 secs
lola: 64237011 markings, 115858906 edges, 261980 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(Gab1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2088063 markings, 3588454 edges, 417613 markings/sec, 0 secs
lola: 3969699 markings, 6865009 edges, 376327 markings/sec, 5 secs
lola: 5829309 markings, 10106873 edges, 371922 markings/sec, 10 secs
lola: 7590212 markings, 13191587 edges, 352181 markings/sec, 15 secs
lola: 9319190 markings, 16224616 edges, 345796 markings/sec, 20 secs
lola: 11014387 markings, 19208144 edges, 339039 markings/sec, 25 secs
lola: 12675323 markings, 22144623 edges, 332187 markings/sec, 30 secs
lola: 14344472 markings, 25098886 edges, 333830 markings/sec, 35 secs
lola: 15971340 markings, 27997461 edges, 325374 markings/sec, 40 secs
lola: 17575285 markings, 30871087 edges, 320789 markings/sec, 45 secs
lola: 19165700 markings, 33700888 edges, 318083 markings/sec, 50 secs
lola: 20633656 markings, 36328984 edges, 293591 markings/sec, 55 secs
lola: 22065411 markings, 38889806 edges, 286351 markings/sec, 60 secs
lola: 23583816 markings, 41621761 edges, 303681 markings/sec, 65 secs
lola: 25064381 markings, 44305008 edges, 296113 markings/sec, 70 secs
lola: 26524478 markings, 46930969 edges, 292019 markings/sec, 75 secs
lola: 27939197 markings, 49479465 edges, 282944 markings/sec, 80 secs
lola: 29347612 markings, 52024870 edges, 281683 markings/sec, 85 secs
lola: 30738957 markings, 54544848 edges, 278269 markings/sec, 90 secs
lola: 32144055 markings, 57079143 edges, 281020 markings/sec, 95 secs
lola: 33544289 markings, 59602469 edges, 280047 markings/sec, 100 secs
lola: 34900269 markings, 62077576 edges, 271196 markings/sec, 105 secs
lola: 36268468 markings, 64566212 edges, 273640 markings/sec, 110 secs
lola: 37618365 markings, 67022197 edges, 269979 markings/sec, 115 secs
lola: 38981381 markings, 69497146 edges, 272603 markings/sec, 120 secs
lola: 40307038 markings, 71931346 edges, 265131 markings/sec, 125 secs
lola: 41670935 markings, 74426057 edges, 272779 markings/sec, 130 secs
lola: 43009359 markings, 76880472 edges, 267685 markings/sec, 135 secs
lola: 44356497 markings, 79346577 edges, 269428 markings/sec, 140 secs
lola: 45688947 markings, 81765985 edges, 266490 markings/sec, 145 secs
lola: 47018888 markings, 84203085 edges, 265988 markings/sec, 150 secs
lola: 48352219 markings, 86635356 edges, 266666 markings/sec, 155 secs
lola: 49658270 markings, 89033241 edges, 261210 markings/sec, 160 secs
lola: 50906954 markings, 91330927 edges, 249737 markings/sec, 165 secs
lola: 52228946 markings, 93753952 edges, 264398 markings/sec, 170 secs
lola: 53498502 markings, 96129453 edges, 253911 markings/sec, 175 secs
lola: 54802196 markings, 98505622 edges, 260739 markings/sec, 180 secs
lola: 56119083 markings, 100917956 edges, 263377 markings/sec, 185 secs
lola: 57398479 markings, 103278718 edges, 255879 markings/sec, 190 secs
lola: 58693543 markings, 105664345 edges, 259013 markings/sec, 195 secs
lola: 59990507 markings, 108052450 edges, 259393 markings/sec, 200 secs
lola: 61321839 markings, 110481991 edges, 266266 markings/sec, 205 secs
lola: 62636769 markings, 112902443 edges, 262986 markings/sec, 210 secs
lola: 63917776 markings, 115269137 edges, 256201 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(Pg)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1333404 markings, 3301536 edges, 266681 markings/sec, 0 secs
lola: 2437783 markings, 6226403 edges, 220876 markings/sec, 5 secs
lola: 3462493 markings, 8988113 edges, 204942 markings/sec, 10 secs
lola: 4440372 markings, 11663929 edges, 195576 markings/sec, 15 secs
lola: 5392520 markings, 14286175 edges, 190430 markings/sec, 20 secs
lola: 6336207 markings, 16893412 edges, 188737 markings/sec, 25 secs
lola: 7247145 markings, 19425367 edges, 182188 markings/sec, 30 secs
lola: 8155806 markings, 21954919 edges, 181732 markings/sec, 35 secs
lola: 9065128 markings, 24490928 edges, 181864 markings/sec, 40 secs
lola: 9954243 markings, 26983282 edges, 177823 markings/sec, 45 secs
lola: 10833242 markings, 29445421 edges, 175800 markings/sec, 50 secs
lola: 11683636 markings, 31845826 edges, 170079 markings/sec, 55 secs
lola: 12482659 markings, 34114883 edges, 159805 markings/sec, 60 secs
lola: 13301897 markings, 36411749 edges, 163848 markings/sec, 65 secs
lola: 14108223 markings, 38700414 edges, 161265 markings/sec, 70 secs
lola: 14890819 markings, 40932307 edges, 156519 markings/sec, 75 secs
lola: 15672196 markings, 43154872 edges, 156275 markings/sec, 80 secs
lola: 16445570 markings, 45364415 edges, 154675 markings/sec, 85 secs
lola: 17217053 markings, 47586481 edges, 154297 markings/sec, 90 secs
lola: 17984184 markings, 49784317 edges, 153426 markings/sec, 95 secs
lola: 18734072 markings, 51941028 edges, 149978 markings/sec, 100 secs
lola: 19499772 markings, 54119971 edges, 153140 markings/sec, 105 secs
lola: 20250533 markings, 56271235 edges, 150152 markings/sec, 110 secs
lola: 21006782 markings, 58442821 edges, 151250 markings/sec, 115 secs
lola: 21747836 markings, 60577552 edges, 148211 markings/sec, 120 secs
lola: 22482484 markings, 62701984 edges, 146930 markings/sec, 125 secs
lola: 23202743 markings, 64779116 edges, 144052 markings/sec, 130 secs
lola: 23952104 markings, 66945367 edges, 149872 markings/sec, 135 secs
lola: 24701423 markings, 69098859 edges, 149864 markings/sec, 140 secs
lola: 25449357 markings, 71255901 edges, 149587 markings/sec, 145 secs
lola: 26217288 markings, 73467508 edges, 153586 markings/sec, 150 secs
lola: 26964686 markings, 75621131 edges, 149480 markings/sec, 155 secs
lola: 27694864 markings, 77721134 edges, 146036 markings/sec, 160 secs
lola: 28418322 markings, 79820757 edges, 144692 markings/sec, 165 secs
lola: 29145187 markings, 81921046 edges, 145373 markings/sec, 170 secs
lola: 29890426 markings, 84057554 edges, 149048 markings/sec, 175 secs
lola: 30632565 markings, 86212546 edges, 148428 markings/sec, 180 secs
lola: 31395063 markings, 88419000 edges, 152500 markings/sec, 185 secs
lola: 32138505 markings, 90569397 edges, 148688 markings/sec, 190 secs
lola: 32869807 markings, 92684183 edges, 146260 markings/sec, 195 secs
lola: 33608317 markings, 94844195 edges, 147702 markings/sec, 200 secs
lola: 34297907 markings, 96863258 edges, 137918 markings/sec, 205 secs
lola: 35003252 markings, 98920701 edges, 141069 markings/sec, 210 secs
lola: 35713389 markings, 100990312 edges, 142027 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(KdStarGStarPgStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1744650 markings, 3206611 edges, 348930 markings/sec, 0 secs
lola: 3167546 markings, 6095086 edges, 284579 markings/sec, 5 secs
lola: 4463974 markings, 8786883 edges, 259286 markings/sec, 10 secs
lola: 5770331 markings, 11490878 edges, 261271 markings/sec, 15 secs
lola: 6997720 markings, 14078046 edges, 245478 markings/sec, 20 secs
lola: 8167795 markings, 16653892 edges, 234015 markings/sec, 25 secs
lola: 9322978 markings, 19140712 edges, 231037 markings/sec, 30 secs
lola: 10490075 markings, 21628173 edges, 233419 markings/sec, 35 secs
lola: 11615573 markings, 24049790 edges, 225100 markings/sec, 40 secs
lola: 12699501 markings, 26451630 edges, 216786 markings/sec, 45 secs
lola: 13771881 markings, 28828723 edges, 214476 markings/sec, 50 secs
lola: 14832623 markings, 31184422 edges, 212148 markings/sec, 55 secs
lola: 15857979 markings, 33470272 edges, 205071 markings/sec, 60 secs
lola: 16870632 markings, 35760071 edges, 202531 markings/sec, 65 secs
lola: 17980087 markings, 38159206 edges, 221891 markings/sec, 70 secs
lola: 19046768 markings, 40545209 edges, 213336 markings/sec, 75 secs
lola: 20048300 markings, 42782754 edges, 200306 markings/sec, 80 secs
lola: 21080901 markings, 45091909 edges, 206520 markings/sec, 85 secs
lola: 22089064 markings, 47367491 edges, 201633 markings/sec, 90 secs
lola: 23043881 markings, 49615545 edges, 190963 markings/sec, 95 secs
lola: 24043307 markings, 51941071 edges, 199885 markings/sec, 100 secs
lola: 24984887 markings, 54128042 edges, 188316 markings/sec, 105 secs
lola: 25960594 markings, 56350019 edges, 195141 markings/sec, 110 secs
lola: 26960486 markings, 58605071 edges, 199978 markings/sec, 115 secs
lola: 27954764 markings, 60884499 edges, 198856 markings/sec, 120 secs
lola: 28889004 markings, 63040871 edges, 186848 markings/sec, 125 secs
lola: 29788779 markings, 65177166 edges, 179955 markings/sec, 130 secs
lola: 30708250 markings, 67338705 edges, 183894 markings/sec, 135 secs
lola: 31673103 markings, 69521022 edges, 192971 markings/sec, 140 secs
lola: 32671933 markings, 71808213 edges, 199766 markings/sec, 145 secs
lola: 33644495 markings, 73998385 edges, 194512 markings/sec, 150 secs
lola: 34553230 markings, 76156422 edges, 181747 markings/sec, 155 secs
lola: 35447161 markings, 78267508 edges, 178786 markings/sec, 160 secs
lola: 36390048 markings, 80420977 edges, 188577 markings/sec, 165 secs
lola: 37281588 markings, 82512861 edges, 178308 markings/sec, 170 secs
lola: 38183351 markings, 84650397 edges, 180353 markings/sec, 175 secs
lola: 39132806 markings, 86902105 edges, 189891 markings/sec, 180 secs
lola: 40114518 markings, 89180019 edges, 196342 markings/sec, 185 secs
lola: 41028516 markings, 91391384 edges, 182800 markings/sec, 190 secs
lola: 41998405 markings, 93649179 edges, 193978 markings/sec, 195 secs
lola: 42906756 markings, 95858693 edges, 181670 markings/sec, 200 secs
lola: 43904139 markings, 98147937 edges, 199477 markings/sec, 205 secs
lola: 44872911 markings, 100394320 edges, 193754 markings/sec, 210 secs
lola: 45860616 markings, 102667683 edges, 197541 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(DAGE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 3008923 markings, 5464866 edges, 601785 markings/sec, 0 secs
lola: 5541392 markings, 10142014 edges, 506494 markings/sec, 5 secs
lola: 7952802 markings, 14606986 edges, 482282 markings/sec, 10 secs
lola: 10306513 markings, 18977693 edges, 470742 markings/sec, 15 secs
lola: 12591969 markings, 23234702 edges, 457091 markings/sec, 20 secs
lola: 14870996 markings, 27481851 edges, 455805 markings/sec, 25 secs
lola: 17060150 markings, 31576263 edges, 437831 markings/sec, 30 secs
lola: 19141683 markings, 35462148 edges, 416307 markings/sec, 35 secs
lola: 21236401 markings, 39377986 edges, 418944 markings/sec, 40 secs
lola: 23211948 markings, 43076836 edges, 395109 markings/sec, 45 secs
lola: 25160344 markings, 46732142 edges, 389679 markings/sec, 50 secs
lola: 27145418 markings, 50461329 edges, 397015 markings/sec, 55 secs
lola: 29231113 markings, 54385528 edges, 417139 markings/sec, 60 secs
lola: 31315997 markings, 58304054 edges, 416977 markings/sec, 65 secs
lola: 33354607 markings, 62132764 edges, 407722 markings/sec, 70 secs
lola: 35350585 markings, 65891824 edges, 399196 markings/sec, 75 secs
lola: 37377481 markings, 69700604 edges, 405379 markings/sec, 80 secs
lola: 39363086 markings, 73448576 edges, 397121 markings/sec, 85 secs
lola: 41357001 markings, 77199609 edges, 398783 markings/sec, 90 secs
lola: 43281304 markings, 80824983 edges, 384861 markings/sec, 95 secs
lola: 45281331 markings, 84605886 edges, 400005 markings/sec, 100 secs
lola: 47128804 markings, 88095009 edges, 369495 markings/sec, 105 secs
lola: 49096409 markings, 91806537 edges, 393521 markings/sec, 110 secs
lola: 50880668 markings, 95170266 edges, 356852 markings/sec, 115 secs
lola: 52757426 markings, 98709941 edges, 375352 markings/sec, 120 secs
lola: 54573842 markings, 102136024 edges, 363283 markings/sec, 125 secs
lola: 56373562 markings, 105540986 edges, 359944 markings/sec, 130 secs
lola: 58176690 markings, 108950338 edges, 360626 markings/sec, 135 secs
lola: 60064514 markings, 112522679 edges, 377565 markings/sec, 140 secs
lola: 61944447 markings, 116076591 edges, 375987 markings/sec, 145 secs
lola: 63728934 markings, 119454332 edges, 356897 markings/sec, 150 secs
lola: 65574788 markings, 122949555 edges, 369171 markings/sec, 155 secs
lola: 67451082 markings, 126503711 edges, 375259 markings/sec, 160 secs
lola: 69262830 markings, 129931721 edges, 362350 markings/sec, 165 secs
lola: 71049409 markings, 133317328 edges, 357316 markings/sec, 170 secs
lola: 72840045 markings, 136718030 edges, 358127 markings/sec, 175 secs
lola: 74727821 markings, 140300817 edges, 377555 markings/sec, 180 secs
lola: 76521932 markings, 143700257 edges, 358822 markings/sec, 185 secs
lola: 78257922 markings, 146992004 edges, 347198 markings/sec, 190 secs
lola: 80012898 markings, 150320046 edges, 350995 markings/sec, 195 secs
lola: 81755145 markings, 153631653 edges, 348449 markings/sec, 200 secs
lola: 83524870 markings, 156998270 edges, 353945 markings/sec, 205 secs
lola: 85227511 markings, 160233626 edges, 340528 markings/sec, 210 secs
lola: 86983657 markings, 163565872 edges, 351229 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(KdStarGStarP3kP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1618465 markings, 3310829 edges, 323693 markings/sec, 0 secs
lola: 3095096 markings, 6405165 edges, 295326 markings/sec, 5 secs
lola: 4517928 markings, 9393016 edges, 284566 markings/sec, 10 secs
lola: 5865870 markings, 12282292 edges, 269588 markings/sec, 15 secs
lola: 7204311 markings, 15141054 edges, 267688 markings/sec, 20 secs
lola: 8484661 markings, 17934086 edges, 256070 markings/sec, 25 secs
lola: 9774336 markings, 20771316 edges, 257935 markings/sec, 30 secs
lola: 11052194 markings, 23628270 edges, 255572 markings/sec, 35 secs
lola: 12383470 markings, 26540356 edges, 266255 markings/sec, 40 secs
lola: 13677220 markings, 29402686 edges, 258750 markings/sec, 45 secs
lola: 14913905 markings, 32170680 edges, 247337 markings/sec, 50 secs
lola: 16132369 markings, 34868647 edges, 243693 markings/sec, 55 secs
lola: 17304401 markings, 37509791 edges, 234406 markings/sec, 60 secs
lola: 18451774 markings, 40082212 edges, 229475 markings/sec, 65 secs
lola: 19535160 markings, 42539546 edges, 216677 markings/sec, 70 secs
lola: 20696981 markings, 45151050 edges, 232364 markings/sec, 75 secs
lola: 21811748 markings, 47694177 edges, 222953 markings/sec, 80 secs
lola: 22957363 markings, 50258204 edges, 229123 markings/sec, 85 secs
lola: 24088531 markings, 52808845 edges, 226234 markings/sec, 90 secs
lola: 25301378 markings, 55515826 edges, 242569 markings/sec, 95 secs
lola: 26483495 markings, 58193406 edges, 236423 markings/sec, 100 secs
lola: 27648617 markings, 60849883 edges, 233024 markings/sec, 105 secs
lola: 28779899 markings, 63448327 edges, 226256 markings/sec, 110 secs
lola: 29945251 markings, 66091614 edges, 233070 markings/sec, 115 secs
lola: 31067850 markings, 68685453 edges, 224520 markings/sec, 120 secs
lola: 32142894 markings, 71181810 edges, 215009 markings/sec, 125 secs
lola: 33282667 markings, 73782557 edges, 227955 markings/sec, 130 secs
lola: 34408968 markings, 76343259 edges, 225260 markings/sec, 135 secs
lola: 35479791 markings, 78837130 edges, 214165 markings/sec, 140 secs
lola: 36539883 markings, 81284229 edges, 212018 markings/sec, 145 secs
lola: 37658198 markings, 83836098 edges, 223663 markings/sec, 150 secs
lola: 38758483 markings, 86345756 edges, 220057 markings/sec, 155 secs
lola: 39831118 markings, 88825309 edges, 214527 markings/sec, 160 secs
lola: 40936956 markings, 91362740 edges, 221168 markings/sec, 165 secs
lola: 42010459 markings, 93857289 edges, 214701 markings/sec, 170 secs
lola: 43095624 markings, 96347736 edges, 217033 markings/sec, 175 secs
lola: 44154690 markings, 98835837 edges, 211813 markings/sec, 180 secs
lola: 45208834 markings, 101316373 edges, 210829 markings/sec, 185 secs
lola: 46334491 markings, 103875686 edges, 225131 markings/sec, 190 secs
lola: 47395250 markings, 106355692 edges, 212152 markings/sec, 195 secs
lola: 48451007 markings, 108841367 edges, 211151 markings/sec, 200 secs
lola: 49548923 markings, 111358569 edges, 219583 markings/sec, 205 secs
lola: 50633534 markings, 113851105 edges, 216922 markings/sec, 210 secs
lola: 51689245 markings, 116318502 edges, 211142 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(KdStarGStarPgStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1690943 markings, 3485504 edges, 338189 markings/sec, 0 secs
lola: 3102628 markings, 6565951 edges, 282337 markings/sec, 5 secs
lola: 4411028 markings, 9472854 edges, 261680 markings/sec, 10 secs
lola: 5668875 markings, 12288462 edges, 251569 markings/sec, 15 secs
lola: 6881566 markings, 15024401 edges, 242538 markings/sec, 20 secs
lola: 8057612 markings, 17685892 edges, 235209 markings/sec, 25 secs
lola: 9210439 markings, 20322092 edges, 230565 markings/sec, 30 secs
lola: 10354838 markings, 22955564 edges, 228880 markings/sec, 35 secs
lola: 11496553 markings, 25588652 edges, 228343 markings/sec, 40 secs
lola: 12614696 markings, 28170868 edges, 223629 markings/sec, 45 secs
lola: 13702744 markings, 30708111 edges, 217610 markings/sec, 50 secs
lola: 14750324 markings, 33157755 edges, 209516 markings/sec, 55 secs
lola: 15801289 markings, 35609557 edges, 210193 markings/sec, 60 secs
lola: 16842059 markings, 38042163 edges, 208154 markings/sec, 65 secs
lola: 17862996 markings, 40441823 edges, 204187 markings/sec, 70 secs
lola: 18877579 markings, 42822156 edges, 202917 markings/sec, 75 secs
lola: 19885153 markings, 45200984 edges, 201515 markings/sec, 80 secs
lola: 20889678 markings, 47588074 edges, 200905 markings/sec, 85 secs
lola: 21922127 markings, 50029677 edges, 206490 markings/sec, 90 secs
lola: 22935843 markings, 52449787 edges, 202743 markings/sec, 95 secs
lola: 23944612 markings, 54854364 edges, 201754 markings/sec, 100 secs
lola: 24948741 markings, 57232359 edges, 200826 markings/sec, 105 secs
lola: 25934606 markings, 59590859 edges, 197173 markings/sec, 110 secs
lola: 26902180 markings, 61892918 edges, 193515 markings/sec, 115 secs
lola: 27856727 markings, 64156408 edges, 190909 markings/sec, 120 secs
lola: 28802346 markings, 66414805 edges, 189124 markings/sec, 125 secs
lola: 29738619 markings, 68655635 edges, 187255 markings/sec, 130 secs
lola: 30684538 markings, 70908033 edges, 189184 markings/sec, 135 secs
lola: 31628113 markings, 73165449 edges, 188715 markings/sec, 140 secs
lola: 32564654 markings, 75430855 edges, 187308 markings/sec, 145 secs
lola: 33524480 markings, 77729049 edges, 191965 markings/sec, 150 secs
lola: 34483281 markings, 80020032 edges, 191760 markings/sec, 155 secs
lola: 35426307 markings, 82296353 edges, 188605 markings/sec, 160 secs
lola: 36362231 markings, 84558806 edges, 187185 markings/sec, 165 secs
lola: 37241044 markings, 86679625 edges, 175763 markings/sec, 170 secs
lola: 38122984 markings, 88795727 edges, 176388 markings/sec, 175 secs
lola: 39004640 markings, 90927254 edges, 176331 markings/sec, 180 secs
lola: 39899117 markings, 93082545 edges, 178895 markings/sec, 185 secs
lola: 40796385 markings, 95253944 edges, 179454 markings/sec, 190 secs
lola: 41698856 markings, 97430231 edges, 180494 markings/sec, 195 secs
lola: 42596939 markings, 99593788 edges, 179617 markings/sec, 200 secs
lola: 43468179 markings, 101707870 edges, 174248 markings/sec, 205 secs
lola: 44334580 markings, 103800726 edges, 173280 markings/sec, 210 secs
lola: 45190187 markings, 105892920 edges, 171121 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(GStarP3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1708658 markings, 3849617 edges, 341732 markings/sec, 0 secs
lola: 3297762 markings, 7529647 edges, 317821 markings/sec, 5 secs
lola: 4790460 markings, 11014336 edges, 298540 markings/sec, 10 secs
lola: 6253222 markings, 14429895 edges, 292552 markings/sec, 15 secs
lola: 7703836 markings, 17828726 edges, 290123 markings/sec, 20 secs
lola: 9107816 markings, 21123251 edges, 280796 markings/sec, 25 secs
lola: 10497350 markings, 24397464 edges, 277907 markings/sec, 30 secs
lola: 11864861 markings, 27625522 edges, 273502 markings/sec, 35 secs
lola: 13202671 markings, 30812752 edges, 267562 markings/sec, 40 secs
lola: 14550342 markings, 34013498 edges, 269534 markings/sec, 45 secs
lola: 15867027 markings, 37158935 edges, 263337 markings/sec, 50 secs
lola: 17210775 markings, 40363080 edges, 268750 markings/sec, 55 secs
lola: 18471150 markings, 43376779 edges, 252075 markings/sec, 60 secs
lola: 19708023 markings, 46352381 edges, 247375 markings/sec, 65 secs
lola: 20962946 markings, 49366528 edges, 250985 markings/sec, 70 secs
lola: 22209177 markings, 52361261 edges, 249246 markings/sec, 75 secs
lola: 23455329 markings, 55349131 edges, 249230 markings/sec, 80 secs
lola: 24734798 markings, 58407167 edges, 255894 markings/sec, 85 secs
lola: 25987723 markings, 61419394 edges, 250585 markings/sec, 90 secs
lola: 27239592 markings, 64440442 edges, 250374 markings/sec, 95 secs
lola: 28474849 markings, 67421073 edges, 247051 markings/sec, 100 secs
lola: 29733785 markings, 70473387 edges, 251787 markings/sec, 105 secs
lola: 30977589 markings, 73463877 edges, 248761 markings/sec, 110 secs
lola: 32255872 markings, 76524594 edges, 255657 markings/sec, 115 secs
lola: 33466767 markings, 79450637 edges, 242179 markings/sec, 120 secs
lola: 34706379 markings, 82436563 edges, 247922 markings/sec, 125 secs
lola: 35970264 markings, 85455781 edges, 252777 markings/sec, 130 secs
lola: 37169617 markings, 88363582 edges, 239871 markings/sec, 135 secs
lola: 38369864 markings, 91267031 edges, 240049 markings/sec, 140 secs
lola: 39578931 markings, 94201913 edges, 241813 markings/sec, 145 secs
lola: 40761800 markings, 97078574 edges, 236574 markings/sec, 150 secs
lola: 41998628 markings, 100053460 edges, 247366 markings/sec, 155 secs
lola: 43205073 markings, 102970466 edges, 241289 markings/sec, 160 secs
lola: 44380999 markings, 105838359 edges, 235185 markings/sec, 165 secs
lola: 45566949 markings, 108714960 edges, 237190 markings/sec, 170 secs
lola: 46747773 markings, 111590565 edges, 236165 markings/sec, 175 secs
lola: 47935626 markings, 114471216 edges, 237571 markings/sec, 180 secs
lola: 49109145 markings, 117335755 edges, 234704 markings/sec, 185 secs
lola: 50286224 markings, 120193988 edges, 235416 markings/sec, 190 secs
lola: 51498197 markings, 123125677 edges, 242395 markings/sec, 195 secs
lola: 52685541 markings, 126006435 edges, 237469 markings/sec, 200 secs
lola: 53827672 markings, 128795684 edges, 228426 markings/sec, 205 secs
lola: 55053090 markings, 131754127 edges, 245084 markings/sec, 210 secs
lola: 56233543 markings, 134628856 edges, 236091 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(KdStarG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1926487 markings, 3482144 edges, 385297 markings/sec, 0 secs
lola: 3701315 markings, 6758592 edges, 354966 markings/sec, 5 secs
lola: 5392801 markings, 9921480 edges, 338297 markings/sec, 10 secs
lola: 6990579 markings, 12927416 edges, 319556 markings/sec, 15 secs
lola: 8614965 markings, 15965731 edges, 324877 markings/sec, 20 secs
lola: 10165049 markings, 18889393 edges, 310017 markings/sec, 25 secs
lola: 11680889 markings, 21749509 edges, 303168 markings/sec, 30 secs
lola: 13175245 markings, 24574210 edges, 298871 markings/sec, 35 secs
lola: 14685564 markings, 27429930 edges, 302064 markings/sec, 40 secs
lola: 16166835 markings, 30235592 edges, 296254 markings/sec, 45 secs
lola: 17620343 markings, 33001485 edges, 290702 markings/sec, 50 secs
lola: 19045201 markings, 35717130 edges, 284972 markings/sec, 55 secs
lola: 20444226 markings, 38408192 edges, 279805 markings/sec, 60 secs
lola: 21933119 markings, 41237026 edges, 297779 markings/sec, 65 secs
lola: 23363237 markings, 43979809 edges, 286024 markings/sec, 70 secs
lola: 24769542 markings, 46689177 edges, 281261 markings/sec, 75 secs
lola: 26203944 markings, 49426168 edges, 286880 markings/sec, 80 secs
lola: 27589496 markings, 52095684 edges, 277110 markings/sec, 85 secs
lola: 28956613 markings, 54721398 edges, 273423 markings/sec, 90 secs
lola: 30286926 markings, 57287347 edges, 266063 markings/sec, 95 secs
lola: 31655054 markings, 59909870 edges, 273626 markings/sec, 100 secs
lola: 33004775 markings, 62497812 edges, 269944 markings/sec, 105 secs
lola: 34328041 markings, 65051435 edges, 264653 markings/sec, 110 secs
lola: 35691032 markings, 67675465 edges, 272598 markings/sec, 115 secs
lola: 37039813 markings, 70268211 edges, 269756 markings/sec, 120 secs
lola: 38387356 markings, 72857415 edges, 269509 markings/sec, 125 secs
lola: 39701303 markings, 75403235 edges, 262789 markings/sec, 130 secs
lola: 41025149 markings, 77959475 edges, 264769 markings/sec, 135 secs
lola: 42333309 markings, 80490018 edges, 261632 markings/sec, 140 secs
lola: 43677050 markings, 83078917 edges, 268748 markings/sec, 145 secs
lola: 44997819 markings, 85637070 edges, 264154 markings/sec, 150 secs
lola: 46375253 markings, 88269367 edges, 275487 markings/sec, 155 secs
lola: 47685229 markings, 90808036 edges, 261995 markings/sec, 160 secs
lola: 49001054 markings, 93353094 edges, 263165 markings/sec, 165 secs
lola: 50324159 markings, 95910971 edges, 264621 markings/sec, 170 secs
lola: 51627892 markings, 98430994 edges, 260747 markings/sec, 175 secs
lola: 52918356 markings, 100941580 edges, 258093 markings/sec, 180 secs
lola: 54240542 markings, 103489792 edges, 264437 markings/sec, 185 secs
lola: 55517409 markings, 105967923 edges, 255373 markings/sec, 190 secs
lola: 56802290 markings, 108464198 edges, 256976 markings/sec, 195 secs
lola: 58107813 markings, 110989622 edges, 261105 markings/sec, 200 secs
lola: 59433726 markings, 113544731 edges, 265183 markings/sec, 205 secs
lola: 60683383 markings, 115997530 edges, 249931 markings/sec, 210 secs
lola: 61958012 markings, 118482358 edges, 254926 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(KdStarGStarP3kStarP3P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 2390821 markings, 3866486 edges, 478164 markings/sec, 0 secs
lola: 4553580 markings, 7416050 edges, 432552 markings/sec, 5 secs
lola: 6602393 markings, 10811414 edges, 409763 markings/sec, 10 secs
lola: 8593443 markings, 14126588 edges, 398210 markings/sec, 15 secs
lola: 10515859 markings, 17334271 edges, 384483 markings/sec, 20 secs
lola: 12373312 markings, 20450680 edges, 371491 markings/sec, 25 secs
lola: 14205544 markings, 23546415 edges, 366446 markings/sec, 30 secs
lola: 16004414 markings, 26597147 edges, 359774 markings/sec, 35 secs
lola: 17781841 markings, 29617856 edges, 355485 markings/sec, 40 secs
lola: 19520871 markings, 32593321 edges, 347806 markings/sec, 45 secs
lola: 21238620 markings, 35535864 edges, 343550 markings/sec, 50 secs
lola: 22958025 markings, 38491432 edges, 343881 markings/sec, 55 secs
lola: 24645046 markings, 41398080 edges, 337404 markings/sec, 60 secs
lola: 26320409 markings, 44294335 edges, 335073 markings/sec, 65 secs
lola: 27974397 markings, 47155085 edges, 330798 markings/sec, 70 secs
lola: 29592245 markings, 49968463 edges, 323570 markings/sec, 75 secs
lola: 31178955 markings, 52736121 edges, 317342 markings/sec, 80 secs
lola: 32761132 markings, 55509483 edges, 316435 markings/sec, 85 secs
lola: 34345709 markings, 58288365 edges, 316915 markings/sec, 90 secs
lola: 35914288 markings, 61048893 edges, 313716 markings/sec, 95 secs
lola: 37481413 markings, 63800582 edges, 313425 markings/sec, 100 secs
lola: 39028016 markings, 66526217 edges, 309321 markings/sec, 105 secs
lola: 40548822 markings, 69212971 edges, 304161 markings/sec, 110 secs
lola: 42031150 markings, 71843588 edges, 296466 markings/sec, 115 secs
lola: 43502756 markings, 74452208 edges, 294321 markings/sec, 120 secs
lola: 44939630 markings, 77005309 edges, 287375 markings/sec, 125 secs
lola: 46394196 markings, 79592667 edges, 290913 markings/sec, 130 secs
lola: 47853030 markings, 82186544 edges, 291767 markings/sec, 135 secs
lola: 49305502 markings, 84782892 edges, 290494 markings/sec, 140 secs
lola: 50742063 markings, 87351952 edges, 287312 markings/sec, 145 secs
lola: 52161501 markings, 89900289 edges, 283888 markings/sec, 150 secs
lola: 53583045 markings, 92452804 edges, 284309 markings/sec, 155 secs
lola: 54999265 markings, 94999170 edges, 283244 markings/sec, 160 secs
lola: 56410342 markings, 97546156 edges, 282215 markings/sec, 165 secs
lola: 57831089 markings, 100107287 edges, 284149 markings/sec, 170 secs
lola: 59224175 markings, 102635848 edges, 278617 markings/sec, 175 secs
lola: 60625911 markings, 105171731 edges, 280347 markings/sec, 180 secs
lola: 62095659 markings, 107817569 edges, 293950 markings/sec, 185 secs
lola: 63496659 markings, 110360733 edges, 280200 markings/sec, 190 secs
lola: 64891522 markings, 112883185 edges, 278973 markings/sec, 195 secs
lola: 66319047 markings, 115485143 edges, 285505 markings/sec, 200 secs
lola: 67766471 markings, 118114123 edges, 289485 markings/sec, 205 secs
lola: 69140958 markings, 120623019 edges, 274897 markings/sec, 210 secs
lola: 70533779 markings, 123170898 edges, 278564 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(KdStarG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1947515 markings, 3519696 edges, 389503 markings/sec, 0 secs
lola: 3659863 markings, 6681261 edges, 342470 markings/sec, 5 secs
lola: 5279663 markings, 9712210 edges, 323960 markings/sec, 10 secs
lola: 6886414 markings, 12731116 edges, 321350 markings/sec, 15 secs
lola: 8537234 markings, 15824258 edges, 330164 markings/sec, 20 secs
lola: 10116397 markings, 18800115 edges, 315833 markings/sec, 25 secs
lola: 11679368 markings, 21746751 edges, 312594 markings/sec, 30 secs
lola: 13224414 markings, 24664613 edges, 309009 markings/sec, 35 secs
lola: 14751081 markings, 27552945 edges, 305333 markings/sec, 40 secs
lola: 16249875 markings, 30395389 edges, 299759 markings/sec, 45 secs
lola: 17742261 markings, 33231148 edges, 298477 markings/sec, 50 secs
lola: 19201433 markings, 36019070 edges, 291834 markings/sec, 55 secs
lola: 20652482 markings, 38799277 edges, 290210 markings/sec, 60 secs
lola: 22118347 markings, 41592101 edges, 293173 markings/sec, 65 secs
lola: 23532707 markings, 44307511 edges, 282872 markings/sec, 70 secs
lola: 24942308 markings, 47013925 edges, 281920 markings/sec, 75 secs
lola: 26348261 markings, 49708010 edges, 281191 markings/sec, 80 secs
lola: 27743837 markings, 52389395 edges, 279115 markings/sec, 85 secs
lola: 29124181 markings, 55043590 edges, 276069 markings/sec, 90 secs
lola: 30493673 markings, 57685478 edges, 273898 markings/sec, 95 secs
lola: 31902822 markings, 60385165 edges, 281830 markings/sec, 100 secs
lola: 33280914 markings, 63035293 edges, 275618 markings/sec, 105 secs
lola: 34654012 markings, 65680147 edges, 274620 markings/sec, 110 secs
lola: 36011766 markings, 68295530 edges, 271551 markings/sec, 115 secs
lola: 37376204 markings, 70915144 edges, 272888 markings/sec, 120 secs
lola: 38719860 markings, 73507962 edges, 268731 markings/sec, 125 secs
lola: 40062308 markings, 76109952 edges, 268490 markings/sec, 130 secs
lola: 41420652 markings, 78723527 edges, 271669 markings/sec, 135 secs
lola: 42763731 markings, 81314394 edges, 268616 markings/sec, 140 secs
lola: 44107355 markings, 83909818 edges, 268725 markings/sec, 145 secs
lola: 45459185 markings, 86505411 edges, 270366 markings/sec, 150 secs
lola: 46789835 markings, 89082123 edges, 266130 markings/sec, 155 secs
lola: 48141420 markings, 91679429 edges, 270317 markings/sec, 160 secs
lola: 49453645 markings, 94224013 edges, 262445 markings/sec, 165 secs
lola: 50783303 markings, 96807758 edges, 265932 markings/sec, 170 secs
lola: 52107397 markings, 99364807 edges, 264819 markings/sec, 175 secs
lola: 53421364 markings, 101915000 edges, 262793 markings/sec, 180 secs
lola: 54742303 markings, 104458974 edges, 264188 markings/sec, 185 secs
lola: 56005301 markings, 106921818 edges, 252600 markings/sec, 190 secs
lola: 57314991 markings, 109451868 edges, 261938 markings/sec, 195 secs
lola: 58609230 markings, 111971416 edges, 258848 markings/sec, 200 secs
lola: 59952000 markings, 114559526 edges, 268554 markings/sec, 205 secs
lola: 61191758 markings, 116991343 edges, 247952 markings/sec, 210 secs
lola: 62492318 markings, 119532348 edges, 260112 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3k)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1757478 markings, 4203815 edges, 351496 markings/sec, 0 secs
lola: 3342462 markings, 8066864 edges, 316997 markings/sec, 5 secs
lola: 4859020 markings, 11806713 edges, 303312 markings/sec, 10 secs
lola: 6381493 markings, 15589617 edges, 304495 markings/sec, 15 secs
lola: 7852030 markings, 19235285 edges, 294107 markings/sec, 20 secs
lola: 9212488 markings, 22628904 edges, 272092 markings/sec, 25 secs
lola: 10552647 markings, 25982313 edges, 268032 markings/sec, 30 secs
lola: 11875372 markings, 29316863 edges, 264545 markings/sec, 35 secs
lola: 13201877 markings, 32607848 edges, 265301 markings/sec, 40 secs
lola: 14519538 markings, 35878134 edges, 263532 markings/sec, 45 secs
lola: 15804434 markings, 39125971 edges, 256979 markings/sec, 50 secs
lola: 17094812 markings, 42362950 edges, 258076 markings/sec, 55 secs
lola: 18345888 markings, 45557722 edges, 250215 markings/sec, 60 secs
lola: 19604566 markings, 48745919 edges, 251736 markings/sec, 65 secs
lola: 20849081 markings, 51919284 edges, 248903 markings/sec, 70 secs
lola: 22098710 markings, 55086016 edges, 249926 markings/sec, 75 secs
lola: 23346169 markings, 58258553 edges, 249492 markings/sec, 80 secs
lola: 24599616 markings, 61395671 edges, 250689 markings/sec, 85 secs
lola: 25890885 markings, 64712748 edges, 258254 markings/sec, 90 secs
lola: 27225088 markings, 68084494 edges, 266841 markings/sec, 95 secs
lola: 28542427 markings, 71467961 edges, 263468 markings/sec, 100 secs
lola: 29855562 markings, 74802391 edges, 262627 markings/sec, 105 secs
lola: 31183303 markings, 78159039 edges, 265548 markings/sec, 110 secs
lola: 32486156 markings, 81470261 edges, 260571 markings/sec, 115 secs
lola: 33778684 markings, 84787629 edges, 258506 markings/sec, 120 secs
lola: 35059823 markings, 88050835 edges, 256228 markings/sec, 125 secs
lola: 36284407 markings, 91152888 edges, 244917 markings/sec, 130 secs
lola: 37523771 markings, 94301747 edges, 247873 markings/sec, 135 secs
lola: 38756121 markings, 97473111 edges, 246470 markings/sec, 140 secs
lola: 39995821 markings, 100646930 edges, 247940 markings/sec, 145 secs
lola: 41219561 markings, 103776942 edges, 244748 markings/sec, 150 secs
lola: 42429465 markings, 106893398 edges, 241981 markings/sec, 155 secs
lola: 43633913 markings, 109973326 edges, 240890 markings/sec, 160 secs
lola: 44839557 markings, 113054694 edges, 241129 markings/sec, 165 secs
lola: 46052883 markings, 116186939 edges, 242665 markings/sec, 170 secs
lola: 47259779 markings, 119300328 edges, 241379 markings/sec, 175 secs
lola: 48465335 markings, 122385059 edges, 241111 markings/sec, 180 secs
lola: 49666680 markings, 125468472 edges, 240269 markings/sec, 185 secs
lola: 50867933 markings, 128568577 edges, 240251 markings/sec, 190 secs
lola: 52074667 markings, 131670548 edges, 241347 markings/sec, 195 secs
lola: 53285854 markings, 134782555 edges, 242237 markings/sec, 200 secs
lola: 54481228 markings, 137837593 edges, 239075 markings/sec, 205 secs
lola: 55667868 markings, 140900268 edges, 237328 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(KdStarGStar)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1911371 markings, 3837842 edges, 382274 markings/sec, 0 secs
lola: 3610111 markings, 7399209 edges, 339748 markings/sec, 5 secs
lola: 5203835 markings, 10809295 edges, 318745 markings/sec, 10 secs
lola: 6728498 markings, 14134585 edges, 304933 markings/sec, 15 secs
lola: 8212626 markings, 17390988 edges, 296826 markings/sec, 20 secs
lola: 9655550 markings, 20585723 edges, 288585 markings/sec, 25 secs
lola: 11080503 markings, 23754330 edges, 284991 markings/sec, 30 secs
lola: 12436884 markings, 26790977 edges, 271276 markings/sec, 35 secs
lola: 13765666 markings, 29777423 edges, 265756 markings/sec, 40 secs
lola: 15071818 markings, 32741024 edges, 261230 markings/sec, 45 secs
lola: 16366990 markings, 35687031 edges, 259034 markings/sec, 50 secs
lola: 17644696 markings, 38596032 edges, 255541 markings/sec, 55 secs
lola: 18906792 markings, 41491509 edges, 252419 markings/sec, 60 secs
lola: 20156789 markings, 44363163 edges, 249999 markings/sec, 65 secs
lola: 21411431 markings, 47244977 edges, 250928 markings/sec, 70 secs
lola: 22640682 markings, 50089753 edges, 245850 markings/sec, 75 secs
lola: 23858004 markings, 52920432 edges, 243464 markings/sec, 80 secs
lola: 25079929 markings, 55754296 edges, 244385 markings/sec, 85 secs
lola: 26272316 markings, 58541839 edges, 238477 markings/sec, 90 secs
lola: 27474532 markings, 61341302 edges, 240443 markings/sec, 95 secs
lola: 28668037 markings, 64132457 edges, 238701 markings/sec, 100 secs
lola: 29877538 markings, 66965184 edges, 241900 markings/sec, 105 secs
lola: 31079328 markings, 69791889 edges, 240358 markings/sec, 110 secs
lola: 32280455 markings, 72613151 edges, 240225 markings/sec, 115 secs
lola: 33461036 markings, 75397205 edges, 236116 markings/sec, 120 secs
lola: 34620524 markings, 78135842 edges, 231898 markings/sec, 125 secs
lola: 35774214 markings, 80857339 edges, 230738 markings/sec, 130 secs
lola: 36915039 markings, 83555188 edges, 228165 markings/sec, 135 secs
lola: 38057043 markings, 86257755 edges, 228401 markings/sec, 140 secs
lola: 39193335 markings, 88951036 edges, 227258 markings/sec, 145 secs
lola: 40320003 markings, 91621141 edges, 225334 markings/sec, 150 secs
lola: 41452144 markings, 94317338 edges, 226428 markings/sec, 155 secs
lola: 42592423 markings, 97042431 edges, 228056 markings/sec, 160 secs
lola: 43736525 markings, 99772377 edges, 228820 markings/sec, 165 secs
lola: 44868977 markings, 102480940 edges, 226490 markings/sec, 170 secs
lola: 45997399 markings, 105187211 edges, 225684 markings/sec, 175 secs
lola: 47122967 markings, 107887266 edges, 225114 markings/sec, 180 secs
lola: 48240633 markings, 110573315 edges, 223533 markings/sec, 185 secs
lola: 49346359 markings, 113233336 edges, 221145 markings/sec, 190 secs
lola: 50455224 markings, 115905706 edges, 221773 markings/sec, 195 secs
lola: 51529439 markings, 118500584 edges, 214843 markings/sec, 200 secs
lola: 52584511 markings, 121031886 edges, 211014 markings/sec, 205 secs
lola: 53613585 markings, 123511216 edges, 205815 markings/sec, 210 secs
lola: 54664621 markings, 126053851 edges, 210207 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pip3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 124 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: 1996537 markings, 3801217 edges, 399307 markings/sec, 0 secs
lola: 3770001 markings, 7302974 edges, 354693 markings/sec, 5 secs
lola: 5403826 markings, 10603531 edges, 326765 markings/sec, 10 secs
lola: 7003666 markings, 13849729 edges, 319968 markings/sec, 15 secs
lola: 8538349 markings, 17008058 edges, 306937 markings/sec, 20 secs
lola: 10041963 markings, 20112204 edges, 300723 markings/sec, 25 secs
lola: 11527649 markings, 23203922 edges, 297137 markings/sec, 30 secs
lola: 13013437 markings, 26299653 edges, 297158 markings/sec, 35 secs
lola: 14448005 markings, 29322161 edges, 286914 markings/sec, 40 secs
lola: 15876875 markings, 32327857 edges, 285774 markings/sec, 45 secs
lola: 17278328 markings, 35300054 edges, 280291 markings/sec, 50 secs
lola: 18659967 markings, 38229962 edges, 276328 markings/sec, 55 secs
lola: 20060365 markings, 41207959 edges, 280080 markings/sec, 60 secs
lola: 21414263 markings, 44109647 edges, 270780 markings/sec, 65 secs
lola: 22787805 markings, 47060284 edges, 274708 markings/sec, 70 secs
lola: 24119471 markings, 49925805 edges, 266333 markings/sec, 75 secs
lola: 25460314 markings, 52818178 edges, 268169 markings/sec, 80 secs
lola: 26777026 markings, 55657458 edges, 263342 markings/sec, 85 secs
lola: 28098484 markings, 58499034 edges, 264292 markings/sec, 90 secs
lola: 29401865 markings, 61332470 edges, 260676 markings/sec, 95 secs
lola: 30707143 markings, 64160307 edges, 261056 markings/sec, 100 secs
lola: 32034570 markings, 67038039 edges, 265485 markings/sec, 105 secs
lola: 33330577 markings, 69877633 edges, 259201 markings/sec, 110 secs
lola: 34631880 markings, 72718682 edges, 260261 markings/sec, 115 secs
lola: 35883138 markings, 75470019 edges, 250252 markings/sec, 120 secs
lola: 37149804 markings, 78255773 edges, 253333 markings/sec, 125 secs
lola: 38426537 markings, 81056626 edges, 255347 markings/sec, 130 secs
lola: 39686721 markings, 83826650 edges, 252037 markings/sec, 135 secs
lola: 40949566 markings, 86597312 edges, 252569 markings/sec, 140 secs
lola: 42195081 markings, 89329175 edges, 249103 markings/sec, 145 secs
lola: 43440192 markings, 92081459 edges, 249022 markings/sec, 150 secs
lola: 44681861 markings, 94815365 edges, 248334 markings/sec, 155 secs
lola: 45917680 markings, 97535210 edges, 247164 markings/sec, 160 secs
lola: 47136337 markings, 100239411 edges, 243731 markings/sec, 165 secs
lola: 48357371 markings, 102945521 edges, 244207 markings/sec, 170 secs
lola: 49592380 markings, 105668085 edges, 247002 markings/sec, 175 secs
lola: 50804136 markings, 108358034 edges, 242351 markings/sec, 180 secs
lola: 51995200 markings, 111017395 edges, 238213 markings/sec, 185 secs
lola: 53214749 markings, 113724118 edges, 243910 markings/sec, 190 secs
lola: 54438565 markings, 116427348 edges, 244763 markings/sec, 195 secs
lola: 55644685 markings, 119122481 edges, 241224 markings/sec, 200 secs
lola: 56848310 markings, 121809158 edges, 240725 markings/sec, 205 secs
lola: 58075570 markings, 124548113 edges, 245452 markings/sec, 210 secs
lola: 59268979 markings, 127219690 edges, 238682 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 Angiogenesis-PT-15-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Angiogenesis-PT-15-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494601736632
--------------------
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="Angiogenesis-PT-15"
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/Angiogenesis-PT-15.tgz
mv Angiogenesis-PT-15 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 Angiogenesis-PT-15, 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 r008-csrt-149436125900119"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;