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_Angiogenesis-PT-15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074000119
=====================================================================

--------------------
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 1496332911230


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


checking for too many tokens
===========================================================================================
S_Angiogenesis-PT-15: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 1958843 markings, 3568167 edges, 391769 markings/sec, 0 secs
lola: 3577952 markings, 6621943 edges, 323822 markings/sec, 5 secs
lola: 5126487 markings, 9565895 edges, 309707 markings/sec, 10 secs
lola: 6727375 markings, 12636342 edges, 320178 markings/sec, 15 secs
lola: 8228890 markings, 15551130 edges, 300303 markings/sec, 20 secs
lola: 9699541 markings, 18423343 edges, 294130 markings/sec, 25 secs
lola: 11106078 markings, 21186619 edges, 281307 markings/sec, 30 secs
lola: 12485090 markings, 23879264 edges, 275802 markings/sec, 35 secs
lola: 13824304 markings, 26520925 edges, 267843 markings/sec, 40 secs
lola: 15161913 markings, 29188374 edges, 267522 markings/sec, 45 secs
lola: 16499801 markings, 31864214 edges, 267578 markings/sec, 50 secs
lola: 17846985 markings, 34560126 edges, 269437 markings/sec, 55 secs
lola: 19171040 markings, 37210500 edges, 264811 markings/sec, 60 secs
lola: 20457720 markings, 39773844 edges, 257336 markings/sec, 65 secs
lola: 21704523 markings, 42288537 edges, 249361 markings/sec, 70 secs
lola: 22991596 markings, 44871729 edges, 257415 markings/sec, 75 secs
lola: 24260891 markings, 47416583 edges, 253859 markings/sec, 80 secs
lola: 25473654 markings, 49869750 edges, 242553 markings/sec, 85 secs
lola: 26691548 markings, 52338595 edges, 243579 markings/sec, 90 secs
lola: 27914004 markings, 54817648 edges, 244491 markings/sec, 95 secs
lola: 29164287 markings, 57329924 edges, 250057 markings/sec, 100 secs
lola: 30358145 markings, 59774905 edges, 238772 markings/sec, 105 secs
lola: 31555620 markings, 62211363 edges, 239495 markings/sec, 110 secs
lola: 32766324 markings, 64664555 edges, 242141 markings/sec, 115 secs
lola: 33951935 markings, 67081614 edges, 237122 markings/sec, 120 secs
lola: 35125644 markings, 69480252 edges, 234742 markings/sec, 125 secs
lola: 36302212 markings, 71890479 edges, 235314 markings/sec, 130 secs
lola: 37480546 markings, 74302803 edges, 235667 markings/sec, 135 secs
lola: 38655383 markings, 76701657 edges, 234967 markings/sec, 140 secs
lola: 39802749 markings, 79063218 edges, 229473 markings/sec, 145 secs
lola: 41000917 markings, 81531757 edges, 239634 markings/sec, 150 secs
lola: 42189356 markings, 83979025 edges, 237688 markings/sec, 155 secs
lola: 43355597 markings, 86373258 edges, 233248 markings/sec, 160 secs
lola: 44498893 markings, 88719020 edges, 228659 markings/sec, 165 secs
lola: 45646190 markings, 91072959 edges, 229459 markings/sec, 170 secs
lola: 46800282 markings, 93419787 edges, 230818 markings/sec, 175 secs
lola: 47890689 markings, 95685983 edges, 218081 markings/sec, 180 secs
lola: 49001332 markings, 97986537 edges, 222129 markings/sec, 185 secs
lola: 50144538 markings, 100348985 edges, 228641 markings/sec, 190 secs
lola: 51274297 markings, 102692514 edges, 225952 markings/sec, 195 secs
lola: 52389078 markings, 105009239 edges, 222956 markings/sec, 200 secs
lola: 53486727 markings, 107289873 edges, 219530 markings/sec, 205 secs
lola: 54593585 markings, 109580190 edges, 221372 markings/sec, 210 secs
lola: 55691516 markings, 111854253 edges, 219586 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: 2758956 markings, 4768410 edges, 551791 markings/sec, 0 secs
lola: 5200435 markings, 9037720 edges, 488296 markings/sec, 5 secs
lola: 7534223 markings, 13139628 edges, 466758 markings/sec, 10 secs
lola: 9850126 markings, 17223341 edges, 463181 markings/sec, 15 secs
lola: 12094772 markings, 21187518 edges, 448929 markings/sec, 20 secs
lola: 14237597 markings, 24991146 edges, 428565 markings/sec, 25 secs
lola: 16349567 markings, 28732614 edges, 422394 markings/sec, 30 secs
lola: 18403641 markings, 32389276 edges, 410815 markings/sec, 35 secs
lola: 20456313 markings, 36045887 edges, 410534 markings/sec, 40 secs
lola: 22495784 markings, 39688782 edges, 407894 markings/sec, 45 secs
lola: 24575298 markings, 43385846 edges, 415903 markings/sec, 50 secs
lola: 26620263 markings, 47034770 edges, 408993 markings/sec, 55 secs
lola: 28646981 markings, 50654100 edges, 405344 markings/sec, 60 secs
lola: 30675820 markings, 54280745 edges, 405768 markings/sec, 65 secs
lola: 32660719 markings, 57835322 edges, 396980 markings/sec, 70 secs
lola: 34684990 markings, 61465474 edges, 404854 markings/sec, 75 secs
lola: 36678205 markings, 65038550 edges, 398643 markings/sec, 80 secs
lola: 38671696 markings, 68619322 edges, 398698 markings/sec, 85 secs
lola: 40618521 markings, 72128904 edges, 389365 markings/sec, 90 secs
lola: 42566941 markings, 75640268 edges, 389684 markings/sec, 95 secs
lola: 44530700 markings, 79178177 edges, 392752 markings/sec, 100 secs
lola: 46464626 markings, 82647663 edges, 386785 markings/sec, 105 secs
lola: 48433476 markings, 86197082 edges, 393770 markings/sec, 110 secs
lola: 50407515 markings, 89746265 edges, 394808 markings/sec, 115 secs
lola: 52346458 markings, 93232395 edges, 387789 markings/sec, 120 secs
lola: 54228616 markings, 96638117 edges, 376432 markings/sec, 125 secs
lola: 56161577 markings, 100131769 edges, 386592 markings/sec, 130 secs
lola: 58032994 markings, 103505137 edges, 374283 markings/sec, 135 secs
lola: 59859010 markings, 106806536 edges, 365203 markings/sec, 140 secs
lola: 61661462 markings, 110071160 edges, 360490 markings/sec, 145 secs
lola: 63502036 markings, 113394280 edges, 368115 markings/sec, 150 secs
lola: 65397601 markings, 116822207 edges, 379113 markings/sec, 155 secs
lola: 67207883 markings, 120098609 edges, 362056 markings/sec, 160 secs
lola: 69007089 markings, 123355125 edges, 359841 markings/sec, 165 secs
lola: 70811781 markings, 126623485 edges, 360938 markings/sec, 170 secs
lola: 72608741 markings, 129872414 edges, 359392 markings/sec, 175 secs
lola: 74440333 markings, 133184279 edges, 366318 markings/sec, 180 secs
lola: 76285980 markings, 136510450 edges, 369129 markings/sec, 185 secs
lola: 78101140 markings, 139782412 edges, 363032 markings/sec, 190 secs
lola: 79937822 markings, 143104899 edges, 367336 markings/sec, 195 secs
lola: 81740227 markings, 146368916 edges, 360481 markings/sec, 200 secs
lola: 83552332 markings, 149647937 edges, 362421 markings/sec, 205 secs
lola: 85347748 markings, 152902423 edges, 359083 markings/sec, 210 secs
lola: 87087447 markings, 156064935 edges, 347940 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: 1845325 markings, 3167780 edges, 369065 markings/sec, 0 secs
lola: 3480528 markings, 6013467 edges, 327041 markings/sec, 5 secs
lola: 5073399 markings, 8781337 edges, 318574 markings/sec, 10 secs
lola: 6594035 markings, 11438703 edges, 304127 markings/sec, 15 secs
lola: 8063572 markings, 14027550 edges, 293907 markings/sec, 20 secs
lola: 9532907 markings, 16603964 edges, 293867 markings/sec, 25 secs
lola: 10971189 markings, 19132194 edges, 287656 markings/sec, 30 secs
lola: 12407630 markings, 21675141 edges, 287288 markings/sec, 35 secs
lola: 13860409 markings, 24237435 edges, 290556 markings/sec, 40 secs
lola: 15292782 markings, 26789615 edges, 286475 markings/sec, 45 secs
lola: 16711493 markings, 29320152 edges, 283742 markings/sec, 50 secs
lola: 18131676 markings, 31853827 edges, 284037 markings/sec, 55 secs
lola: 19540343 markings, 34372546 edges, 281733 markings/sec, 60 secs
lola: 20901849 markings, 36809259 edges, 272301 markings/sec, 65 secs
lola: 22239994 markings, 39203235 edges, 267629 markings/sec, 70 secs
lola: 23596149 markings, 41644177 edges, 271231 markings/sec, 75 secs
lola: 24910903 markings, 44031825 edges, 262951 markings/sec, 80 secs
lola: 26236284 markings, 46410975 edges, 265076 markings/sec, 85 secs
lola: 27520338 markings, 48720868 edges, 256811 markings/sec, 90 secs
lola: 28852141 markings, 51118559 edges, 266361 markings/sec, 95 secs
lola: 30157819 markings, 53496294 edges, 261136 markings/sec, 100 secs
lola: 31440794 markings, 55809668 edges, 256595 markings/sec, 105 secs
lola: 32737134 markings, 58150568 edges, 259268 markings/sec, 110 secs
lola: 33986019 markings, 60400681 edges, 249777 markings/sec, 115 secs
lola: 35202671 markings, 62630839 edges, 243330 markings/sec, 120 secs
lola: 36484784 markings, 64967626 edges, 256423 markings/sec, 125 secs
lola: 37768741 markings, 67295429 edges, 256791 markings/sec, 130 secs
lola: 39015626 markings, 69558649 edges, 249377 markings/sec, 135 secs
lola: 40257481 markings, 71843069 edges, 248371 markings/sec, 140 secs
lola: 41504571 markings, 74126102 edges, 249418 markings/sec, 145 secs
lola: 42779477 markings, 76463484 edges, 254981 markings/sec, 150 secs
lola: 44095062 markings, 78864232 edges, 263117 markings/sec, 155 secs
lola: 45382605 markings, 81208029 edges, 257509 markings/sec, 160 secs
lola: 46667101 markings, 83555096 edges, 256899 markings/sec, 165 secs
lola: 47968658 markings, 85937844 edges, 260311 markings/sec, 170 secs
lola: 49220458 markings, 88237676 edges, 250360 markings/sec, 175 secs
lola: 50461513 markings, 90513809 edges, 248211 markings/sec, 180 secs
lola: 51690223 markings, 92776345 edges, 245742 markings/sec, 185 secs
lola: 52924141 markings, 95046583 edges, 246784 markings/sec, 190 secs
lola: 54159905 markings, 97339750 edges, 247153 markings/sec, 195 secs
lola: 55442714 markings, 99682408 edges, 256562 markings/sec, 200 secs
lola: 56627559 markings, 101861487 edges, 236969 markings/sec, 205 secs
lola: 57843740 markings, 104099967 edges, 243236 markings/sec, 210 secs
lola: 59037874 markings, 106289490 edges, 238827 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: 1892658 markings, 3250041 edges, 378532 markings/sec, 0 secs
lola: 3596473 markings, 6215831 edges, 340763 markings/sec, 5 secs
lola: 5386908 markings, 9330772 edges, 358087 markings/sec, 10 secs
lola: 7024020 markings, 12195927 edges, 327422 markings/sec, 15 secs
lola: 8617215 markings, 14994234 edges, 318639 markings/sec, 20 secs
lola: 10195539 markings, 17768205 edges, 315665 markings/sec, 25 secs
lola: 11775537 markings, 20556440 edges, 316000 markings/sec, 30 secs
lola: 13299449 markings, 23246521 edges, 304782 markings/sec, 35 secs
lola: 14823543 markings, 25952771 edges, 304819 markings/sec, 40 secs
lola: 16306022 markings, 28599051 edges, 296496 markings/sec, 45 secs
lola: 17801083 markings, 31270977 edges, 299012 markings/sec, 50 secs
lola: 19359398 markings, 34046207 edges, 311663 markings/sec, 55 secs
lola: 20868609 markings, 36750126 edges, 301842 markings/sec, 60 secs
lola: 22393930 markings, 39474871 edges, 305064 markings/sec, 65 secs
lola: 23875545 markings, 42143777 edges, 296323 markings/sec, 70 secs
lola: 25343856 markings, 44803176 edges, 293662 markings/sec, 75 secs
lola: 26822037 markings, 47465283 edges, 295636 markings/sec, 80 secs
lola: 28305457 markings, 50139004 edges, 296684 markings/sec, 85 secs
lola: 29759824 markings, 52767424 edges, 290873 markings/sec, 90 secs
lola: 31195099 markings, 55369967 edges, 287055 markings/sec, 95 secs
lola: 32678594 markings, 58044780 edges, 296699 markings/sec, 100 secs
lola: 34047249 markings, 60514904 edges, 273731 markings/sec, 105 secs
lola: 35364363 markings, 62929241 edges, 263423 markings/sec, 110 secs
lola: 36702527 markings, 65358841 edges, 267633 markings/sec, 115 secs
lola: 38022219 markings, 67759049 edges, 263938 markings/sec, 120 secs
lola: 39334712 markings, 70154957 edges, 262499 markings/sec, 125 secs
lola: 40635991 markings, 72529941 edges, 260256 markings/sec, 130 secs
lola: 41938340 markings, 74913500 edges, 260470 markings/sec, 135 secs
lola: 43210680 markings, 77253045 edges, 254468 markings/sec, 140 secs
lola: 44579781 markings, 79748612 edges, 273820 markings/sec, 145 secs
lola: 45907164 markings, 82162456 edges, 265477 markings/sec, 150 secs
lola: 47306888 markings, 84723774 edges, 279945 markings/sec, 155 secs
lola: 48663211 markings, 87212547 edges, 271265 markings/sec, 160 secs
lola: 49928312 markings, 89538476 edges, 253020 markings/sec, 165 secs
lola: 51193485 markings, 91857594 edges, 253035 markings/sec, 170 secs
lola: 52460751 markings, 94189848 edges, 253453 markings/sec, 175 secs
lola: 53790264 markings, 96658995 edges, 265903 markings/sec, 180 secs
lola: 55140185 markings, 99119742 edges, 269984 markings/sec, 185 secs
lola: 56467870 markings, 101554364 edges, 265537 markings/sec, 190 secs
lola: 57724865 markings, 103882273 edges, 251399 markings/sec, 195 secs
lola: 59046116 markings, 106304164 edges, 264250 markings/sec, 200 secs
lola: 60284143 markings, 108587132 edges, 247605 markings/sec, 205 secs
lola: 61557276 markings, 110915161 edges, 254627 markings/sec, 210 secs
lola: 62814160 markings, 113225862 edges, 251377 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: 1245625 markings, 3072667 edges, 249125 markings/sec, 0 secs
lola: 2207571 markings, 5608228 edges, 192389 markings/sec, 5 secs
lola: 3109231 markings, 8037598 edges, 180332 markings/sec, 10 secs
lola: 3991485 markings, 10435078 edges, 176451 markings/sec, 15 secs
lola: 4845256 markings, 12780228 edges, 170754 markings/sec, 20 secs
lola: 5675190 markings, 15065477 edges, 165987 markings/sec, 25 secs
lola: 6488392 markings, 17310619 edges, 162640 markings/sec, 30 secs
lola: 7273988 markings, 19497280 edges, 157119 markings/sec, 35 secs
lola: 8044189 markings, 21644878 edges, 154040 markings/sec, 40 secs
lola: 8786888 markings, 23711130 edges, 148540 markings/sec, 45 secs
lola: 9518600 markings, 25764255 edges, 146342 markings/sec, 50 secs
lola: 10262593 markings, 27846080 edges, 148799 markings/sec, 55 secs
lola: 11002672 markings, 29917337 edges, 148016 markings/sec, 60 secs
lola: 11724982 markings, 31966329 edges, 144462 markings/sec, 65 secs
lola: 12426949 markings, 33961285 edges, 140393 markings/sec, 70 secs
lola: 13148097 markings, 35977682 edges, 144230 markings/sec, 75 secs
lola: 13855510 markings, 37982625 edges, 141483 markings/sec, 80 secs
lola: 14558466 markings, 39982681 edges, 140591 markings/sec, 85 secs
lola: 15245689 markings, 41941980 edges, 137445 markings/sec, 90 secs
lola: 15910506 markings, 43839010 edges, 132963 markings/sec, 95 secs
lola: 16583024 markings, 45760197 edges, 134504 markings/sec, 100 secs
lola: 17249430 markings, 47682063 edges, 133281 markings/sec, 105 secs
lola: 17924846 markings, 49613133 edges, 135083 markings/sec, 110 secs
lola: 18577891 markings, 51490240 edges, 130609 markings/sec, 115 secs
lola: 19235708 markings, 53374922 edges, 131563 markings/sec, 120 secs
lola: 19899283 markings, 55266356 edges, 132715 markings/sec, 125 secs
lola: 20577841 markings, 57213595 edges, 135712 markings/sec, 130 secs
lola: 21255093 markings, 59159588 edges, 135450 markings/sec, 135 secs
lola: 21944274 markings, 61145417 edges, 137836 markings/sec, 140 secs
lola: 22636834 markings, 63153189 edges, 138512 markings/sec, 145 secs
lola: 23314768 markings, 65101070 edges, 135587 markings/sec, 150 secs
lola: 23984961 markings, 67042439 edges, 134039 markings/sec, 155 secs
lola: 24677407 markings, 69028395 edges, 138489 markings/sec, 160 secs
lola: 25376266 markings, 71053290 edges, 139772 markings/sec, 165 secs
lola: 26057986 markings, 73014586 edges, 136344 markings/sec, 170 secs
lola: 26744268 markings, 74981318 edges, 137256 markings/sec, 175 secs
lola: 27427207 markings, 76949961 edges, 136588 markings/sec, 180 secs
lola: 28079285 markings, 78840270 edges, 130416 markings/sec, 185 secs
lola: 28749838 markings, 80777588 edges, 134111 markings/sec, 190 secs
lola: 29462383 markings, 82823829 edges, 142509 markings/sec, 195 secs
lola: 30135926 markings, 84775930 edges, 134709 markings/sec, 200 secs
lola: 30840834 markings, 86806113 edges, 140982 markings/sec, 205 secs
lola: 31537897 markings, 88829485 edges, 139413 markings/sec, 210 secs
lola: 32232023 markings, 90838132 edges, 138825 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: 1725120 markings, 3168438 edges, 345024 markings/sec, 0 secs
lola: 3130588 markings, 6014152 edges, 281094 markings/sec, 5 secs
lola: 4404219 markings, 8662105 edges, 254726 markings/sec, 10 secs
lola: 5659454 markings, 11259461 edges, 251047 markings/sec, 15 secs
lola: 6833729 markings, 13732097 edges, 234855 markings/sec, 20 secs
lola: 7979999 markings, 16220292 edges, 229254 markings/sec, 25 secs
lola: 9090103 markings, 18633650 edges, 222021 markings/sec, 30 secs
lola: 10150880 markings, 20933692 edges, 212155 markings/sec, 35 secs
lola: 11271130 markings, 23293739 edges, 224050 markings/sec, 40 secs
lola: 12277300 markings, 25526817 edges, 201234 markings/sec, 45 secs
lola: 13296968 markings, 27742086 edges, 203934 markings/sec, 50 secs
lola: 14226517 markings, 29873698 edges, 185910 markings/sec, 55 secs
lola: 15209204 markings, 32025858 edges, 196537 markings/sec, 60 secs
lola: 16184318 markings, 34215641 edges, 195023 markings/sec, 65 secs
lola: 17155928 markings, 36365142 edges, 194322 markings/sec, 70 secs
lola: 18142644 markings, 38524452 edges, 197343 markings/sec, 75 secs
lola: 19092042 markings, 40638600 edges, 189880 markings/sec, 80 secs
lola: 20021305 markings, 42721570 edges, 185853 markings/sec, 85 secs
lola: 20975715 markings, 44871141 edges, 190882 markings/sec, 90 secs
lola: 21922320 markings, 46991774 edges, 189321 markings/sec, 95 secs
lola: 22778157 markings, 49008116 edges, 171167 markings/sec, 100 secs
lola: 23639527 markings, 51010956 edges, 172274 markings/sec, 105 secs
lola: 24514786 markings, 53049601 edges, 175052 markings/sec, 110 secs
lola: 25399066 markings, 55061195 edges, 176856 markings/sec, 115 secs
lola: 26307118 markings, 57113676 edges, 181610 markings/sec, 120 secs
lola: 27175513 markings, 59115828 edges, 173679 markings/sec, 125 secs
lola: 28064253 markings, 61122613 edges, 177748 markings/sec, 130 secs
lola: 28908094 markings, 63086382 edges, 168768 markings/sec, 135 secs
lola: 29725581 markings, 65026123 edges, 163497 markings/sec, 140 secs
lola: 30545182 markings, 66957615 edges, 163920 markings/sec, 145 secs
lola: 31382190 markings, 68861954 edges, 167402 markings/sec, 150 secs
lola: 32229048 markings, 70807976 edges, 169372 markings/sec, 155 secs
lola: 33075466 markings, 72746926 edges, 169284 markings/sec, 160 secs
lola: 33952191 markings, 74722065 edges, 175345 markings/sec, 165 secs
lola: 34768632 markings, 76662395 edges, 163288 markings/sec, 170 secs
lola: 35605047 markings, 78642840 edges, 167283 markings/sec, 175 secs
lola: 36462377 markings, 80589942 edges, 171466 markings/sec, 180 secs
lola: 37260633 markings, 82467419 edges, 159651 markings/sec, 185 secs
lola: 38049569 markings, 84335904 edges, 157787 markings/sec, 190 secs
lola: 38884094 markings, 86296262 edges, 166905 markings/sec, 195 secs
lola: 39746426 markings, 88307596 edges, 172466 markings/sec, 200 secs
lola: 40559202 markings, 90255932 edges, 162555 markings/sec, 205 secs
lola: 41389763 markings, 92226723 edges, 166112 markings/sec, 210 secs
lola: 42232855 markings, 94191055 edges, 168618 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: 2874186 markings, 5217077 edges, 574837 markings/sec, 0 secs
lola: 5208734 markings, 9529382 edges, 466910 markings/sec, 5 secs
lola: 7425538 markings, 13636306 edges, 443361 markings/sec, 10 secs
lola: 9617572 markings, 17695436 edges, 438407 markings/sec, 15 secs
lola: 11785988 markings, 21729236 edges, 433683 markings/sec, 20 secs
lola: 13889033 markings, 25649558 edges, 420609 markings/sec, 25 secs
lola: 15953107 markings, 29501361 edges, 412815 markings/sec, 30 secs
lola: 17897570 markings, 33135630 edges, 388893 markings/sec, 35 secs
lola: 19960110 markings, 36989044 edges, 412508 markings/sec, 40 secs
lola: 22023243 markings, 40846998 edges, 412627 markings/sec, 45 secs
lola: 24014982 markings, 44579696 edges, 398348 markings/sec, 50 secs
lola: 25900893 markings, 48123961 edges, 377182 markings/sec, 55 secs
lola: 27725637 markings, 51556324 edges, 364949 markings/sec, 60 secs
lola: 29595170 markings, 55067277 edges, 373907 markings/sec, 65 secs
lola: 31530656 markings, 58707340 edges, 387097 markings/sec, 70 secs
lola: 33442762 markings, 62297838 edges, 382421 markings/sec, 75 secs
lola: 35344818 markings, 65881232 edges, 380411 markings/sec, 80 secs
lola: 37247309 markings, 69455830 edges, 380498 markings/sec, 85 secs
lola: 39108863 markings, 72970149 edges, 372311 markings/sec, 90 secs
lola: 40999024 markings, 76525392 edges, 378032 markings/sec, 95 secs
lola: 42790020 markings, 79898229 edges, 358199 markings/sec, 100 secs
lola: 44678729 markings, 83468567 edges, 377742 markings/sec, 105 secs
lola: 46457124 markings, 86831126 edges, 355679 markings/sec, 110 secs
lola: 48276397 markings, 90255934 edges, 363855 markings/sec, 115 secs
lola: 50150314 markings, 93793785 edges, 374783 markings/sec, 120 secs
lola: 51904084 markings, 97094853 edges, 350754 markings/sec, 125 secs
lola: 53655564 markings, 100403612 edges, 350296 markings/sec, 130 secs
lola: 55433390 markings, 103763499 edges, 355565 markings/sec, 135 secs
lola: 57307091 markings, 107305782 edges, 374740 markings/sec, 140 secs
lola: 59201885 markings, 110888657 edges, 378959 markings/sec, 145 secs
lola: 61099408 markings, 114482108 edges, 379505 markings/sec, 150 secs
lola: 63009585 markings, 118095190 edges, 382035 markings/sec, 155 secs
lola: 64865406 markings, 121603887 edges, 371164 markings/sec, 160 secs
lola: 66662033 markings, 125011160 edges, 359325 markings/sec, 165 secs
lola: 68565530 markings, 128617152 edges, 380699 markings/sec, 170 secs
lola: 70366510 markings, 132020012 edges, 360196 markings/sec, 175 secs
lola: 72085627 markings, 135283448 edges, 343823 markings/sec, 180 secs
lola: 73771166 markings, 138485171 edges, 337108 markings/sec, 185 secs
lola: 75497034 markings, 141760066 edges, 345174 markings/sec, 190 secs
lola: 77315366 markings, 145206074 edges, 363666 markings/sec, 195 secs
lola: 79002717 markings, 148400720 edges, 337470 markings/sec, 200 secs
lola: 80708815 markings, 151643839 edges, 341220 markings/sec, 205 secs
lola: 82397880 markings, 154856557 edges, 337813 markings/sec, 210 secs
lola: 84093939 markings, 158079547 edges, 339212 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: 1531188 markings, 3132891 edges, 306238 markings/sec, 0 secs
lola: 2952435 markings, 6096813 edges, 284249 markings/sec, 5 secs
lola: 4307179 markings, 8951143 edges, 270949 markings/sec, 10 secs
lola: 5608342 markings, 11730283 edges, 260233 markings/sec, 15 secs
lola: 6881962 markings, 14440936 edges, 254724 markings/sec, 20 secs
lola: 8104892 markings, 17111051 edges, 244586 markings/sec, 25 secs
lola: 9274930 markings, 19696294 edges, 234008 markings/sec, 30 secs
lola: 10461744 markings, 22314891 edges, 237363 markings/sec, 35 secs
lola: 11680309 markings, 24982222 edges, 243713 markings/sec, 40 secs
lola: 12958184 markings, 27825027 edges, 255575 markings/sec, 45 secs
lola: 14253745 markings, 30674425 edges, 259112 markings/sec, 50 secs
lola: 15502521 markings, 33474861 edges, 249755 markings/sec, 55 secs
lola: 16738346 markings, 36244247 edges, 247165 markings/sec, 60 secs
lola: 17957015 markings, 38997109 edges, 243734 markings/sec, 65 secs
lola: 19179503 markings, 41727846 edges, 244498 markings/sec, 70 secs
lola: 20363082 markings, 44414375 edges, 236716 markings/sec, 75 secs
lola: 21549419 markings, 47104908 edges, 237267 markings/sec, 80 secs
lola: 22763787 markings, 49817931 edges, 242874 markings/sec, 85 secs
lola: 23940117 markings, 52482816 edges, 235266 markings/sec, 90 secs
lola: 25169592 markings, 55217231 edges, 245895 markings/sec, 95 secs
lola: 26346037 markings, 57887053 edges, 235289 markings/sec, 100 secs
lola: 27506399 markings, 60533290 edges, 232072 markings/sec, 105 secs
lola: 28667568 markings, 63186252 edges, 232234 markings/sec, 110 secs
lola: 29839539 markings, 65839167 edges, 234394 markings/sec, 115 secs
lola: 30899621 markings, 68303416 edges, 212016 markings/sec, 120 secs
lola: 31963120 markings, 70764518 edges, 212700 markings/sec, 125 secs
lola: 32987373 markings, 73092215 edges, 204851 markings/sec, 130 secs
lola: 33990676 markings, 75404382 edges, 200661 markings/sec, 135 secs
lola: 35053499 markings, 77822571 edges, 212565 markings/sec, 140 secs
lola: 36062601 markings, 80185587 edges, 201820 markings/sec, 145 secs
lola: 37113411 markings, 82581617 edges, 210162 markings/sec, 150 secs
lola: 38164489 markings, 84991070 edges, 210216 markings/sec, 155 secs
lola: 39269074 markings, 87526890 edges, 220917 markings/sec, 160 secs
lola: 40404411 markings, 90140379 edges, 227067 markings/sec, 165 secs
lola: 41532594 markings, 92747319 edges, 225637 markings/sec, 170 secs
lola: 42657430 markings, 95339153 edges, 224967 markings/sec, 175 secs
lola: 43785212 markings, 97938444 edges, 225556 markings/sec, 180 secs
lola: 44825116 markings, 100434713 edges, 207981 markings/sec, 185 secs
lola: 45936106 markings, 102970477 edges, 222198 markings/sec, 190 secs
lola: 47025570 markings, 105490416 edges, 217893 markings/sec, 195 secs
lola: 48088125 markings, 107982064 edges, 212511 markings/sec, 200 secs
lola: 49177851 markings, 110495261 edges, 217945 markings/sec, 205 secs
lola: 50259743 markings, 112992629 edges, 216378 markings/sec, 210 secs
lola: 51318627 markings, 115448681 edges, 211777 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: 1443217 markings, 2956531 edges, 288643 markings/sec, 0 secs
lola: 2655581 markings, 5582986 edges, 242473 markings/sec, 5 secs
lola: 3779535 markings, 8064395 edges, 224791 markings/sec, 10 secs
lola: 4842284 markings, 10431701 edges, 212550 markings/sec, 15 secs
lola: 5877529 markings, 12758916 edges, 207049 markings/sec, 20 secs
lola: 6923769 markings, 15117783 edges, 209248 markings/sec, 25 secs
lola: 7899251 markings, 17324851 edges, 195096 markings/sec, 30 secs
lola: 8877866 markings, 19561010 edges, 195723 markings/sec, 35 secs
lola: 9833148 markings, 21759194 edges, 191056 markings/sec, 40 secs
lola: 10764968 markings, 23897460 edges, 186364 markings/sec, 45 secs
lola: 11678090 markings, 26007944 edges, 182624 markings/sec, 50 secs
lola: 12582511 markings, 28096721 edges, 180884 markings/sec, 55 secs
lola: 13461846 markings, 30144537 edges, 175867 markings/sec, 60 secs
lola: 14324350 markings, 32162775 edges, 172501 markings/sec, 65 secs
lola: 15182210 markings, 34169342 edges, 171572 markings/sec, 70 secs
lola: 16057315 markings, 36206355 edges, 175021 markings/sec, 75 secs
lola: 16912291 markings, 38207411 edges, 170995 markings/sec, 80 secs
lola: 17748597 markings, 40171813 edges, 167261 markings/sec, 85 secs
lola: 18593654 markings, 42157221 edges, 169011 markings/sec, 90 secs
lola: 19476818 markings, 44230812 edges, 176633 markings/sec, 95 secs
lola: 20305665 markings, 46204310 edges, 165769 markings/sec, 100 secs
lola: 21130534 markings, 48163332 edges, 164974 markings/sec, 105 secs
lola: 21968190 markings, 50140214 edges, 167531 markings/sec, 110 secs
lola: 22786877 markings, 52090929 edges, 163737 markings/sec, 115 secs
lola: 23599096 markings, 54033557 edges, 162444 markings/sec, 120 secs
lola: 24406242 markings, 55944753 edges, 161429 markings/sec, 125 secs
lola: 25217244 markings, 57870900 edges, 162200 markings/sec, 130 secs
lola: 26011912 markings, 59775592 edges, 158934 markings/sec, 135 secs
lola: 26794869 markings, 61641058 edges, 156591 markings/sec, 140 secs
lola: 27573764 markings, 63485333 edges, 155779 markings/sec, 145 secs
lola: 28355844 markings, 65352897 edges, 156416 markings/sec, 150 secs
lola: 29213213 markings, 67397126 edges, 171474 markings/sec, 155 secs
lola: 30011411 markings, 69308278 edges, 159640 markings/sec, 160 secs
lola: 30801609 markings, 71188330 edges, 158040 markings/sec, 165 secs
lola: 31579551 markings, 73047548 edges, 155588 markings/sec, 170 secs
lola: 32342873 markings, 74891736 edges, 152664 markings/sec, 175 secs
lola: 33107966 markings, 76728638 edges, 153019 markings/sec, 180 secs
lola: 33876542 markings, 78568191 edges, 153715 markings/sec, 185 secs
lola: 34641832 markings, 80399398 edges, 153058 markings/sec, 190 secs
lola: 35392771 markings, 82216615 edges, 150188 markings/sec, 195 secs
lola: 36140357 markings, 84024683 edges, 149517 markings/sec, 200 secs
lola: 36881782 markings, 85812699 edges, 148285 markings/sec, 205 secs
lola: 37623734 markings, 87597932 edges, 148390 markings/sec, 210 secs
lola: 38365851 markings, 89381116 edges, 148423 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: 1700546 markings, 3831442 edges, 340109 markings/sec, 0 secs
lola: 3276679 markings, 7481539 edges, 315227 markings/sec, 5 secs
lola: 4807524 markings, 11052769 edges, 306169 markings/sec, 10 secs
lola: 6260781 markings, 14447507 edges, 290651 markings/sec, 15 secs
lola: 7568298 markings, 17516858 edges, 261503 markings/sec, 20 secs
lola: 8896266 markings, 20624369 edges, 265594 markings/sec, 25 secs
lola: 10254981 markings, 23826018 edges, 271743 markings/sec, 30 secs
lola: 11585135 markings, 26960740 edges, 266031 markings/sec, 35 secs
lola: 12864704 markings, 30012229 edges, 255914 markings/sec, 40 secs
lola: 14177191 markings, 33132394 edges, 262497 markings/sec, 45 secs
lola: 15435451 markings, 36131133 edges, 251652 markings/sec, 50 secs
lola: 16743905 markings, 39243188 edges, 261691 markings/sec, 55 secs
lola: 18112758 markings, 42517651 edges, 273771 markings/sec, 60 secs
lola: 19446261 markings, 45725124 edges, 266701 markings/sec, 65 secs
lola: 20809466 markings, 48995182 edges, 272641 markings/sec, 70 secs
lola: 22141945 markings, 52200135 edges, 266496 markings/sec, 75 secs
lola: 23472605 markings, 55389881 edges, 266132 markings/sec, 80 secs
lola: 24853694 markings, 58692399 edges, 276218 markings/sec, 85 secs
lola: 26183306 markings, 61892186 edges, 265922 markings/sec, 90 secs
lola: 27500505 markings, 65072800 edges, 263440 markings/sec, 95 secs
lola: 28819126 markings, 68251794 edges, 263724 markings/sec, 100 secs
lola: 30123480 markings, 71411518 edges, 260871 markings/sec, 105 secs
lola: 31477630 markings, 74660813 edges, 270830 markings/sec, 110 secs
lola: 32776573 markings, 77778111 edges, 259789 markings/sec, 115 secs
lola: 34048092 markings, 80852002 edges, 254304 markings/sec, 120 secs
lola: 35364901 markings, 84003855 edges, 263362 markings/sec, 125 secs
lola: 36615451 markings, 87018128 edges, 250110 markings/sec, 130 secs
lola: 37851829 markings, 90013158 edges, 247276 markings/sec, 135 secs
lola: 39118334 markings, 93087523 edges, 253301 markings/sec, 140 secs
lola: 40400380 markings, 96186979 edges, 256409 markings/sec, 145 secs
lola: 41663615 markings, 99247515 edges, 252647 markings/sec, 150 secs
lola: 42964104 markings, 102380234 edges, 260098 markings/sec, 155 secs
lola: 44209064 markings, 105419076 edges, 248992 markings/sec, 160 secs
lola: 45487761 markings, 108516187 edges, 255739 markings/sec, 165 secs
lola: 46734326 markings, 111558244 edges, 249313 markings/sec, 170 secs
lola: 47997559 markings, 114615957 edges, 252647 markings/sec, 175 secs
lola: 49227855 markings, 117626670 edges, 246059 markings/sec, 180 secs
lola: 50483728 markings, 120664363 edges, 251175 markings/sec, 185 secs
lola: 51739871 markings, 123711865 edges, 251229 markings/sec, 190 secs
lola: 52990164 markings, 126747489 edges, 250059 markings/sec, 195 secs
lola: 54197256 markings, 129692790 edges, 241418 markings/sec, 200 secs
lola: 55465024 markings, 132754852 edges, 253554 markings/sec, 205 secs
lola: 56667735 markings, 135696087 edges, 240542 markings/sec, 210 secs
lola: 57884375 markings, 138661105 edges, 243328 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: 1960267 markings, 3542252 edges, 392053 markings/sec, 0 secs
lola: 3534489 markings, 6450830 edges, 314844 markings/sec, 5 secs
lola: 5038730 markings, 9259963 edges, 300848 markings/sec, 10 secs
lola: 6466060 markings, 11937648 edges, 285466 markings/sec, 15 secs
lola: 7877908 markings, 14588533 edges, 282370 markings/sec, 20 secs
lola: 9262019 markings, 17183243 edges, 276822 markings/sec, 25 secs
lola: 10590005 markings, 19695836 edges, 265597 markings/sec, 30 secs
lola: 11954506 markings, 22265618 edges, 272900 markings/sec, 35 secs
lola: 13304738 markings, 24812093 edges, 270046 markings/sec, 40 secs
lola: 14633226 markings, 27331213 edges, 265698 markings/sec, 45 secs
lola: 15949401 markings, 29822551 edges, 263235 markings/sec, 50 secs
lola: 17245365 markings, 32290397 edges, 259193 markings/sec, 55 secs
lola: 18541291 markings, 34749166 edges, 259185 markings/sec, 60 secs
lola: 19797691 markings, 37154892 edges, 251280 markings/sec, 65 secs
lola: 21066103 markings, 39583923 edges, 253682 markings/sec, 70 secs
lola: 22332769 markings, 42002899 edges, 253333 markings/sec, 75 secs
lola: 23564134 markings, 44372353 edges, 246273 markings/sec, 80 secs
lola: 24783659 markings, 46715868 edges, 243905 markings/sec, 85 secs
lola: 26041147 markings, 49115590 edges, 251498 markings/sec, 90 secs
lola: 27255255 markings, 51447069 edges, 242822 markings/sec, 95 secs
lola: 28461875 markings, 53767218 edges, 241324 markings/sec, 100 secs
lola: 29644188 markings, 56050342 edges, 236463 markings/sec, 105 secs
lola: 30833066 markings, 58339044 edges, 237776 markings/sec, 110 secs
lola: 32254162 markings, 61056793 edges, 284219 markings/sec, 115 secs
lola: 33646788 markings, 63733698 edges, 278525 markings/sec, 120 secs
lola: 35040457 markings, 66421359 edges, 278734 markings/sec, 125 secs
lola: 36415329 markings, 69066061 edges, 274974 markings/sec, 130 secs
lola: 37791558 markings, 71707658 edges, 275246 markings/sec, 135 secs
lola: 39145409 markings, 74332743 edges, 270770 markings/sec, 140 secs
lola: 40536524 markings, 77027909 edges, 278223 markings/sec, 145 secs
lola: 41937751 markings, 79722237 edges, 280245 markings/sec, 150 secs
lola: 43327690 markings, 82402965 edges, 277988 markings/sec, 155 secs
lola: 44707860 markings, 85068401 edges, 276034 markings/sec, 160 secs
lola: 46116701 markings, 87773788 edges, 281768 markings/sec, 165 secs
lola: 47465777 markings, 90384145 edges, 269815 markings/sec, 170 secs
lola: 48821266 markings, 93008077 edges, 271098 markings/sec, 175 secs
lola: 50196545 markings, 95668504 edges, 275056 markings/sec, 180 secs
lola: 51565963 markings, 98313512 edges, 273884 markings/sec, 185 secs
lola: 52910882 markings, 100926679 edges, 268984 markings/sec, 190 secs
lola: 54280010 markings, 103566063 edges, 273826 markings/sec, 195 secs
lola: 55612555 markings, 106153488 edges, 266509 markings/sec, 200 secs
lola: 56948687 markings, 108749842 edges, 267226 markings/sec, 205 secs
lola: 58303215 markings, 111376615 edges, 270906 markings/sec, 210 secs
lola: 59675918 markings, 114022962 edges, 274541 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: 2512513 markings, 4065406 edges, 502503 markings/sec, 0 secs
lola: 4787382 markings, 7805462 edges, 454974 markings/sec, 5 secs
lola: 6957779 markings, 11401645 edges, 434079 markings/sec, 10 secs
lola: 9052363 markings, 14886529 edges, 418917 markings/sec, 15 secs
lola: 11077638 markings, 18273265 edges, 405055 markings/sec, 20 secs
lola: 13035445 markings, 21568941 edges, 391561 markings/sec, 25 secs
lola: 14958513 markings, 24824490 edges, 384614 markings/sec, 30 secs
lola: 16818603 markings, 27980047 edges, 372018 markings/sec, 35 secs
lola: 18640413 markings, 31086707 edges, 364362 markings/sec, 40 secs
lola: 20429181 markings, 34154848 edges, 357754 markings/sec, 45 secs
lola: 22208249 markings, 37194182 edges, 355814 markings/sec, 50 secs
lola: 23960713 markings, 40220370 edges, 350493 markings/sec, 55 secs
lola: 25689735 markings, 43202938 edges, 345804 markings/sec, 60 secs
lola: 27390666 markings, 46144991 edges, 340186 markings/sec, 65 secs
lola: 29079284 markings, 49075139 edges, 337724 markings/sec, 70 secs
lola: 30743042 markings, 51973439 edges, 332752 markings/sec, 75 secs
lola: 32379093 markings, 54842918 edges, 327210 markings/sec, 80 secs
lola: 34005994 markings, 57695202 edges, 325380 markings/sec, 85 secs
lola: 35618708 markings, 60527985 edges, 322543 markings/sec, 90 secs
lola: 37223064 markings, 63342495 edges, 320871 markings/sec, 95 secs
lola: 38816988 markings, 66153073 edges, 318785 markings/sec, 100 secs
lola: 40395037 markings, 68939794 edges, 315610 markings/sec, 105 secs
lola: 41926208 markings, 71656019 edges, 306234 markings/sec, 110 secs
lola: 43465134 markings, 74385724 edges, 307785 markings/sec, 115 secs
lola: 45009092 markings, 77131584 edges, 308792 markings/sec, 120 secs
lola: 46537170 markings, 79850524 edges, 305616 markings/sec, 125 secs
lola: 48065258 markings, 82567894 edges, 305618 markings/sec, 130 secs
lola: 49549344 markings, 85221385 edges, 296817 markings/sec, 135 secs
lola: 51032569 markings, 87869447 edges, 296645 markings/sec, 140 secs
lola: 52488555 markings, 90488005 edges, 291197 markings/sec, 145 secs
lola: 53954945 markings, 93121911 edges, 293278 markings/sec, 150 secs
lola: 55444336 markings, 95800428 edges, 297878 markings/sec, 155 secs
lola: 56926515 markings, 98472502 edges, 296436 markings/sec, 160 secs
lola: 58344964 markings, 101031170 edges, 283690 markings/sec, 165 secs
lola: 59714693 markings, 103525712 edges, 273946 markings/sec, 170 secs
lola: 61094810 markings, 106019682 edges, 276023 markings/sec, 175 secs
lola: 62474666 markings, 108505490 edges, 275971 markings/sec, 180 secs
lola: 63855536 markings, 111007824 edges, 276174 markings/sec, 185 secs
lola: 65229599 markings, 113495596 edges, 274813 markings/sec, 190 secs
lola: 66627052 markings, 116047447 edges, 279491 markings/sec, 195 secs
lola: 68001392 markings, 118544090 edges, 274868 markings/sec, 200 secs
lola: 69372576 markings, 121047439 edges, 274237 markings/sec, 205 secs
lola: 70713373 markings, 123499377 edges, 268159 markings/sec, 210 secs
lola: 72051179 markings, 125955165 edges, 267561 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: 1971113 markings, 3561550 edges, 394223 markings/sec, 0 secs
lola: 3811537 markings, 6962430 edges, 368085 markings/sec, 5 secs
lola: 5557966 markings, 10232460 edges, 349286 markings/sec, 10 secs
lola: 7172776 markings, 13271014 edges, 322962 markings/sec, 15 secs
lola: 8818764 markings, 16346884 edges, 329198 markings/sec, 20 secs
lola: 10306104 markings, 19164262 edges, 297468 markings/sec, 25 secs
lola: 11841056 markings, 22046459 edges, 306990 markings/sec, 30 secs
lola: 13459117 markings, 25104973 edges, 323612 markings/sec, 35 secs
lola: 15048352 markings, 28117429 edges, 317847 markings/sec, 40 secs
lola: 16626117 markings, 31112221 edges, 315553 markings/sec, 45 secs
lola: 18080865 markings, 33875576 edges, 290950 markings/sec, 50 secs
lola: 19426913 markings, 36459153 edges, 269210 markings/sec, 55 secs
lola: 20901135 markings, 39267358 edges, 294844 markings/sec, 60 secs
lola: 22296471 markings, 41936331 edges, 279067 markings/sec, 65 secs
lola: 23650287 markings, 44542993 edges, 270763 markings/sec, 70 secs
lola: 25036193 markings, 47191783 edges, 277181 markings/sec, 75 secs
lola: 26466286 markings, 49935168 edges, 286019 markings/sec, 80 secs
lola: 27871648 markings, 52631323 edges, 281072 markings/sec, 85 secs
lola: 29259467 markings, 55306607 edges, 277564 markings/sec, 90 secs
lola: 30620118 markings, 57925315 edges, 272130 markings/sec, 95 secs
lola: 32006803 markings, 60583478 edges, 277337 markings/sec, 100 secs
lola: 33374852 markings, 63210121 edges, 273610 markings/sec, 105 secs
lola: 34720366 markings, 65807738 edges, 269103 markings/sec, 110 secs
lola: 36058209 markings, 68387255 edges, 267569 markings/sec, 115 secs
lola: 37407930 markings, 70977141 edges, 269944 markings/sec, 120 secs
lola: 38771056 markings, 73606534 edges, 272625 markings/sec, 125 secs
lola: 40113516 markings, 76209162 edges, 268492 markings/sec, 130 secs
lola: 41480924 markings, 78842194 edges, 273482 markings/sec, 135 secs
lola: 42831132 markings, 81440162 edges, 270042 markings/sec, 140 secs
lola: 44174647 markings, 84042186 edges, 268703 markings/sec, 145 secs
lola: 45539323 markings, 86664774 edges, 272935 markings/sec, 150 secs
lola: 46875182 markings, 89246724 edges, 267172 markings/sec, 155 secs
lola: 48230924 markings, 91854039 edges, 271148 markings/sec, 160 secs
lola: 49555490 markings, 94423724 edges, 264913 markings/sec, 165 secs
lola: 50885409 markings, 97005143 edges, 265984 markings/sec, 170 secs
lola: 52219579 markings, 99588553 edges, 266834 markings/sec, 175 secs
lola: 53531537 markings, 102125674 edges, 262392 markings/sec, 180 secs
lola: 54839307 markings, 104646564 edges, 261554 markings/sec, 185 secs
lola: 56105865 markings, 107114242 edges, 253312 markings/sec, 190 secs
lola: 57405165 markings, 109628406 edges, 259860 markings/sec, 195 secs
lola: 58688280 markings, 112129106 edges, 256623 markings/sec, 200 secs
lola: 60015709 markings, 114689159 edges, 265486 markings/sec, 205 secs
lola: 61279296 markings, 117156171 edges, 252717 markings/sec, 210 secs
lola: 62535733 markings, 119615825 edges, 251287 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(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: 1723240 markings, 4122290 edges, 344648 markings/sec, 0 secs
lola: 3297580 markings, 7957336 edges, 314868 markings/sec, 5 secs
lola: 4824029 markings, 11717139 edges, 305290 markings/sec, 10 secs
lola: 6296415 markings, 15382551 edges, 294477 markings/sec, 15 secs
lola: 7748368 markings, 18968361 edges, 290391 markings/sec, 20 secs
lola: 9152585 markings, 22477938 edges, 280843 markings/sec, 25 secs
lola: 10534707 markings, 25937975 edges, 276424 markings/sec, 30 secs
lola: 11895324 markings, 29364868 edges, 272123 markings/sec, 35 secs
lola: 13284011 markings, 32801970 edges, 277737 markings/sec, 40 secs
lola: 14655557 markings, 36212542 edges, 274309 markings/sec, 45 secs
lola: 15969056 markings, 39535252 edges, 262700 markings/sec, 50 secs
lola: 17294452 markings, 42884113 edges, 265079 markings/sec, 55 secs
lola: 18596880 markings, 46185679 edges, 260486 markings/sec, 60 secs
lola: 19903009 markings, 49521282 edges, 261226 markings/sec, 65 secs
lola: 21190167 markings, 52792205 edges, 257432 markings/sec, 70 secs
lola: 22450887 markings, 55981593 edges, 252144 markings/sec, 75 secs
lola: 23717438 markings, 59192735 edges, 253310 markings/sec, 80 secs
lola: 25008485 markings, 62446633 edges, 258209 markings/sec, 85 secs
lola: 26279463 markings, 65703955 edges, 254196 markings/sec, 90 secs
lola: 27552957 markings, 68937276 edges, 254699 markings/sec, 95 secs
lola: 28825465 markings, 72182757 edges, 254502 markings/sec, 100 secs
lola: 30076732 markings, 75363252 edges, 250253 markings/sec, 105 secs
lola: 31341805 markings, 78563020 edges, 253015 markings/sec, 110 secs
lola: 32572131 markings, 81688674 edges, 246065 markings/sec, 115 secs
lola: 33794977 markings, 84829007 edges, 244569 markings/sec, 120 secs
lola: 35031560 markings, 87976513 edges, 247317 markings/sec, 125 secs
lola: 36258023 markings, 91087261 edges, 245293 markings/sec, 130 secs
lola: 37509415 markings, 94264445 edges, 250278 markings/sec, 135 secs
lola: 38672623 markings, 97259381 edges, 232642 markings/sec, 140 secs
lola: 39832973 markings, 100221118 edges, 232070 markings/sec, 145 secs
lola: 40988002 markings, 103182906 edges, 231006 markings/sec, 150 secs
lola: 42134541 markings, 106130044 edges, 229308 markings/sec, 155 secs
lola: 43290691 markings, 109092509 edges, 231230 markings/sec, 160 secs
lola: 44445144 markings, 112057612 edges, 230891 markings/sec, 165 secs
lola: 45588957 markings, 115006860 edges, 228763 markings/sec, 170 secs
lola: 46723703 markings, 117915078 edges, 226949 markings/sec, 175 secs
lola: 47866898 markings, 120851323 edges, 228639 markings/sec, 180 secs
lola: 49005939 markings, 123752617 edges, 227808 markings/sec, 185 secs
lola: 50129599 markings, 126681605 edges, 224732 markings/sec, 190 secs
lola: 51262093 markings, 129592564 edges, 226499 markings/sec, 195 secs
lola: 52387060 markings, 132477339 edges, 224993 markings/sec, 200 secs
lola: 53530653 markings, 135401712 edges, 228719 markings/sec, 205 secs
lola: 54649886 markings, 138259002 edges, 223847 markings/sec, 210 secs
lola: 55811683 markings, 141267181 edges, 232359 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(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: 1871926 markings, 3754530 edges, 374385 markings/sec, 0 secs
lola: 3518722 markings, 7211459 edges, 329359 markings/sec, 5 secs
lola: 5093196 markings, 10568704 edges, 314895 markings/sec, 10 secs
lola: 6588759 markings, 13826140 edges, 299113 markings/sec, 15 secs
lola: 8047709 markings, 17023720 edges, 291790 markings/sec, 20 secs
lola: 9461211 markings, 20155023 edges, 282700 markings/sec, 25 secs
lola: 10862793 markings, 23265603 edges, 280316 markings/sec, 30 secs
lola: 12220071 markings, 26308928 edges, 271456 markings/sec, 35 secs
lola: 13572232 markings, 29340715 edges, 270432 markings/sec, 40 secs
lola: 14878863 markings, 32297820 edges, 261326 markings/sec, 45 secs
lola: 16162108 markings, 35225412 edges, 256649 markings/sec, 50 secs
lola: 17464114 markings, 38181303 edges, 260401 markings/sec, 55 secs
lola: 18733796 markings, 41097203 edges, 253936 markings/sec, 60 secs
lola: 19986942 markings, 43972946 edges, 250629 markings/sec, 65 secs
lola: 21232843 markings, 46838193 edges, 249180 markings/sec, 70 secs
lola: 22461835 markings, 49676618 edges, 245798 markings/sec, 75 secs
lola: 23677924 markings, 52502280 edges, 243218 markings/sec, 80 secs
lola: 24888668 markings, 55310501 edges, 242149 markings/sec, 85 secs
lola: 26086657 markings, 58106042 edges, 239598 markings/sec, 90 secs
lola: 27292211 markings, 60919884 edges, 241111 markings/sec, 95 secs
lola: 28497180 markings, 63732037 edges, 240994 markings/sec, 100 secs
lola: 29689689 markings, 66521700 edges, 238502 markings/sec, 105 secs
lola: 30865332 markings, 69289305 edges, 235129 markings/sec, 110 secs
lola: 32042931 markings, 72051912 edges, 235520 markings/sec, 115 secs
lola: 33215335 markings, 74816769 edges, 234481 markings/sec, 120 secs
lola: 34380829 markings, 77566773 edges, 233099 markings/sec, 125 secs
lola: 35537802 markings, 80306461 edges, 231395 markings/sec, 130 secs
lola: 36698413 markings, 83044003 edges, 232122 markings/sec, 135 secs
lola: 37846130 markings, 85761806 edges, 229543 markings/sec, 140 secs
lola: 38990726 markings, 88469708 edges, 228919 markings/sec, 145 secs
lola: 40134548 markings, 91178973 edges, 228764 markings/sec, 150 secs
lola: 41267615 markings, 93878445 edges, 226613 markings/sec, 155 secs
lola: 42381676 markings, 96546239 edges, 222812 markings/sec, 160 secs
lola: 43510983 markings, 99235198 edges, 225861 markings/sec, 165 secs
lola: 44627970 markings, 101906121 edges, 223397 markings/sec, 170 secs
lola: 45735508 markings, 104563438 edges, 221508 markings/sec, 175 secs
lola: 46848519 markings, 107229697 edges, 222602 markings/sec, 180 secs
lola: 47953393 markings, 109876931 edges, 220975 markings/sec, 185 secs
lola: 49044307 markings, 112511860 edges, 218183 markings/sec, 190 secs
lola: 50142836 markings, 115156517 edges, 219706 markings/sec, 195 secs
lola: 51241479 markings, 117802319 edges, 219729 markings/sec, 200 secs
lola: 52352790 markings, 120477023 edges, 222262 markings/sec, 205 secs
lola: 53467124 markings, 123152741 edges, 222867 markings/sec, 210 secs
lola: 54554830 markings, 125789840 edges, 217541 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 1996102 markings, 3800308 edges, 399220 markings/sec, 0 secs
lola: 3748494 markings, 7257637 edges, 350478 markings/sec, 5 secs
lola: 5354155 markings, 10500594 edges, 321132 markings/sec, 10 secs
lola: 6943479 markings, 13727023 edges, 317865 markings/sec, 15 secs
lola: 8452049 markings, 16832723 edges, 301714 markings/sec, 20 secs
lola: 9963433 markings, 19947435 edges, 302277 markings/sec, 25 secs
lola: 11446718 markings, 23032964 edges, 296657 markings/sec, 30 secs
lola: 12910530 markings, 26085934 edges, 292762 markings/sec, 35 secs
lola: 14356527 markings, 29128230 edges, 289199 markings/sec, 40 secs
lola: 15734841 markings, 32029628 edges, 275663 markings/sec, 45 secs
lola: 17068901 markings, 34849465 edges, 266812 markings/sec, 50 secs
lola: 18394793 markings, 37667333 edges, 265178 markings/sec, 55 secs
lola: 19759680 markings, 40566972 edges, 272977 markings/sec, 60 secs
lola: 21129347 markings, 43499139 edges, 273933 markings/sec, 65 secs
lola: 22495619 markings, 46433349 edges, 273254 markings/sec, 70 secs
lola: 23850095 markings, 49347480 edges, 270895 markings/sec, 75 secs
lola: 25181683 markings, 52213222 edges, 266318 markings/sec, 80 secs
lola: 26518651 markings, 55106384 edges, 267394 markings/sec, 85 secs
lola: 27860609 markings, 57987879 edges, 268392 markings/sec, 90 secs
lola: 29180721 markings, 60857983 edges, 264022 markings/sec, 95 secs
lola: 30507028 markings, 63731972 edges, 265261 markings/sec, 100 secs
lola: 31820296 markings, 66569335 edges, 262654 markings/sec, 105 secs
lola: 33115314 markings, 69406234 edges, 259004 markings/sec, 110 secs
lola: 34414950 markings, 72243270 edges, 259927 markings/sec, 115 secs
lola: 35696457 markings, 75054165 edges, 256301 markings/sec, 120 secs
lola: 36974844 markings, 77872134 edges, 255677 markings/sec, 125 secs
lola: 38264378 markings, 80690068 edges, 257907 markings/sec, 130 secs
lola: 39527044 markings, 83476916 edges, 252533 markings/sec, 135 secs
lola: 40808206 markings, 86291253 edges, 256232 markings/sec, 140 secs
lola: 42082860 markings, 89077505 edges, 254931 markings/sec, 145 secs
lola: 43338091 markings, 91853987 edges, 251046 markings/sec, 150 secs
lola: 44600295 markings, 94637260 edges, 252441 markings/sec, 155 secs
lola: 45855737 markings, 97402272 edges, 251088 markings/sec, 160 secs
lola: 47099491 markings, 100154790 edges, 248751 markings/sec, 165 secs
lola: 48329080 markings, 102882275 edges, 245918 markings/sec, 170 secs
lola: 49576919 markings, 105635638 edges, 249568 markings/sec, 175 secs
lola: 50813414 markings, 108379412 edges, 247299 markings/sec, 180 secs
lola: 52016285 markings, 111068199 edges, 240574 markings/sec, 185 secs
lola: 53251243 markings, 113804739 edges, 246992 markings/sec, 190 secs
lola: 54498052 markings, 116563335 edges, 249362 markings/sec, 195 secs
lola: 55719741 markings, 119289247 edges, 244338 markings/sec, 200 secs
lola: 56938789 markings, 122011600 edges, 243810 markings/sec, 205 secs
lola: 58103644 markings, 124613110 edges, 232971 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1496336451497

--------------------
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_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/S_Angiogenesis-PT-15.tgz
mv S_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 S_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 r088-csrt-149441074000119"
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 ;