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 Echo-PT-d04r03, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100299
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494692446396


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d04r03 @ 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: 1869/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1019 places, 850 transitions, 506 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1692 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d04r03-UpperBounds.task
lola: MAX(p424) : MAX(p832) : MAX(p153) : MAX(p299) : MAX(p320) : MAX(p867) : MAX(p79) : MAX(p944) : MAX(p545) : MAX(p448) : MAX(p637) : MAX(p193) : MAX(p956) : MAX(p494) : MAX(p868) : MAX(p616)
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(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1954415 markings, 1954914 edges, 390883 markings/sec, 0 secs
lola: 3932830 markings, 3934622 edges, 395683 markings/sec, 5 secs
lola: 5864330 markings, 5866296 edges, 386300 markings/sec, 10 secs
lola: 7783064 markings, 7785194 edges, 383747 markings/sec, 15 secs
lola: 9714757 markings, 9717253 edges, 386339 markings/sec, 20 secs
lola: 11621175 markings, 11624108 edges, 381284 markings/sec, 25 secs
lola: 13584948 markings, 13595224 edges, 392755 markings/sec, 30 secs
lola: 15520702 markings, 15531836 edges, 387151 markings/sec, 35 secs
lola: 17455668 markings, 17467687 edges, 386993 markings/sec, 40 secs
lola: 19367411 markings, 19380603 edges, 382349 markings/sec, 45 secs
lola: 21203203 markings, 21224012 edges, 367158 markings/sec, 50 secs
lola: 23013621 markings, 23035234 edges, 362084 markings/sec, 55 secs
lola: 24787647 markings, 24810025 edges, 354805 markings/sec, 60 secs
lola: 26589493 markings, 26612818 edges, 360369 markings/sec, 65 secs
lola: 28432951 markings, 28457388 edges, 368692 markings/sec, 70 secs
lola: 30326811 markings, 30358802 edges, 378772 markings/sec, 75 secs
lola: 32246239 markings, 32279080 edges, 383886 markings/sec, 80 secs
lola: 34159028 markings, 34192745 edges, 382558 markings/sec, 85 secs
lola: 35971960 markings, 36006760 edges, 362586 markings/sec, 90 secs
lola: 37442332 markings, 37477969 edges, 294074 markings/sec, 95 secs
lola: 39196708 markings, 39239771 edges, 350875 markings/sec, 100 secs
lola: 40955121 markings, 40998966 edges, 351683 markings/sec, 105 secs
lola: 42776855 markings, 42821574 edges, 364347 markings/sec, 110 secs
lola: 44575937 markings, 44621760 edges, 359816 markings/sec, 115 secs
lola: 46405386 markings, 46458805 edges, 365890 markings/sec, 120 secs
lola: 48281122 markings, 48335374 edges, 375147 markings/sec, 125 secs
lola: 50084591 markings, 50139619 edges, 360694 markings/sec, 130 secs
lola: 51596941 markings, 51652794 edges, 302470 markings/sec, 135 secs
lola: 53327561 markings, 53384442 edges, 346124 markings/sec, 140 secs
lola: 55237232 markings, 55301706 edges, 381934 markings/sec, 145 secs
lola: 57120355 markings, 57185666 edges, 376625 markings/sec, 150 secs
lola: 58654132 markings, 58720129 edges, 306755 markings/sec, 155 secs
lola: 60578704 markings, 60645798 edges, 384914 markings/sec, 160 secs
lola: 62484857 markings, 62553028 edges, 381231 markings/sec, 165 secs
lola: 64364761 markings, 64439796 edges, 375981 markings/sec, 170 secs
lola: 66210853 markings, 66292957 edges, 369218 markings/sec, 175 secs
lola: 68100591 markings, 68190284 edges, 377948 markings/sec, 180 secs
lola: 70014109 markings, 70108299 edges, 382704 markings/sec, 185 secs
lola: 71956173 markings, 72051967 edges, 388413 markings/sec, 190 secs
lola: 73899211 markings, 73995155 edges, 388608 markings/sec, 195 secs
lola: 75806889 markings, 75903004 edges, 381536 markings/sec, 200 secs
lola: 77717030 markings, 77813345 edges, 382028 markings/sec, 205 secs
lola: 79629333 markings, 79726054 edges, 382461 markings/sec, 210 secs
lola: 81531760 markings, 81632828 edges, 380485 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(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2719734 markings, 2719734 edges, 543947 markings/sec, 0 secs
lola: 5432058 markings, 5432058 edges, 542465 markings/sec, 5 secs
lola: 8117743 markings, 8117743 edges, 537137 markings/sec, 10 secs
lola: 10793214 markings, 10793214 edges, 535094 markings/sec, 15 secs
lola: 13464134 markings, 13464134 edges, 534184 markings/sec, 20 secs
lola: 16090009 markings, 16090009 edges, 525175 markings/sec, 25 secs
lola: 18734545 markings, 18734545 edges, 528907 markings/sec, 30 secs
lola: 21394707 markings, 21394707 edges, 532032 markings/sec, 35 secs
lola: 24052220 markings, 24052220 edges, 531503 markings/sec, 40 secs
lola: 26666747 markings, 26666747 edges, 522905 markings/sec, 45 secs
lola: 29291903 markings, 29291902 edges, 525031 markings/sec, 50 secs
lola: 31902110 markings, 31902109 edges, 522041 markings/sec, 55 secs
lola: 34472431 markings, 34472431 edges, 514064 markings/sec, 60 secs
lola: 37109271 markings, 37109271 edges, 527368 markings/sec, 65 secs
lola: 39744858 markings, 39744857 edges, 527117 markings/sec, 70 secs
lola: 42340344 markings, 42340344 edges, 519097 markings/sec, 75 secs
lola: 44906346 markings, 44906346 edges, 513200 markings/sec, 80 secs
lola: 47582779 markings, 47582779 edges, 535287 markings/sec, 85 secs
lola: 50287813 markings, 50287813 edges, 541007 markings/sec, 90 secs
lola: 53007835 markings, 53007835 edges, 544004 markings/sec, 95 secs
lola: 55675656 markings, 55675656 edges, 533564 markings/sec, 100 secs
lola: 58316720 markings, 58316720 edges, 528213 markings/sec, 105 secs
lola: 60937572 markings, 60937572 edges, 524170 markings/sec, 110 secs
lola: 63567102 markings, 63567101 edges, 525906 markings/sec, 115 secs
lola: 66174930 markings, 66174930 edges, 521566 markings/sec, 120 secs
lola: 68744312 markings, 68744312 edges, 513876 markings/sec, 125 secs
lola: 71336396 markings, 71336395 edges, 518417 markings/sec, 130 secs
lola: 73931856 markings, 73931856 edges, 519092 markings/sec, 135 secs
lola: 76528201 markings, 76528200 edges, 519269 markings/sec, 140 secs
lola: 79064149 markings, 79064148 edges, 507190 markings/sec, 145 secs
lola: 81659518 markings, 81659517 edges, 519074 markings/sec, 150 secs
lola: 84235842 markings, 84235842 edges, 515265 markings/sec, 155 secs
lola: 86805951 markings, 86805951 edges, 514022 markings/sec, 160 secs
lola: 89384120 markings, 89384120 edges, 515634 markings/sec, 165 secs
lola: 91955101 markings, 91955101 edges, 514196 markings/sec, 170 secs
lola: 94522755 markings, 94522755 edges, 513531 markings/sec, 175 secs
lola: 97051683 markings, 97051683 edges, 505786 markings/sec, 180 secs
lola: 99613297 markings, 99613297 edges, 512323 markings/sec, 185 secs
lola: 102153307 markings, 102153307 edges, 508002 markings/sec, 190 secs
lola: 104718985 markings, 104718985 edges, 513136 markings/sec, 195 secs
lola: 107264480 markings, 107264480 edges, 509099 markings/sec, 200 secs
lola: 109763020 markings, 109763019 edges, 499708 markings/sec, 205 secs
lola: 112257407 markings, 112257407 edges, 498877 markings/sec, 210 secs
lola: 114794739 markings, 114794739 edges, 507466 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(p153)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2461508 markings, 2461508 edges, 492302 markings/sec, 0 secs
lola: 4856201 markings, 4856200 edges, 478939 markings/sec, 5 secs
lola: 7247088 markings, 7247088 edges, 478177 markings/sec, 10 secs
lola: 9599894 markings, 9599894 edges, 470561 markings/sec, 15 secs
lola: 12094950 markings, 12094949 edges, 499011 markings/sec, 20 secs
lola: 14478086 markings, 14478086 edges, 476627 markings/sec, 25 secs
lola: 16861486 markings, 16861486 edges, 476680 markings/sec, 30 secs
lola: 19283925 markings, 19283925 edges, 484488 markings/sec, 35 secs
lola: 21696168 markings, 21696168 edges, 482449 markings/sec, 40 secs
lola: 24042772 markings, 24042772 edges, 469321 markings/sec, 45 secs
lola: 26436686 markings, 26436686 edges, 478783 markings/sec, 50 secs
lola: 28829633 markings, 28829633 edges, 478589 markings/sec, 55 secs
lola: 31163454 markings, 31163453 edges, 466764 markings/sec, 60 secs
lola: 33472622 markings, 33472622 edges, 461834 markings/sec, 65 secs
lola: 35777224 markings, 35777224 edges, 460920 markings/sec, 70 secs
lola: 38088175 markings, 38088175 edges, 462190 markings/sec, 75 secs
lola: 40333783 markings, 40333783 edges, 449122 markings/sec, 80 secs
lola: 42531168 markings, 42531167 edges, 439477 markings/sec, 85 secs
lola: 44883706 markings, 44883706 edges, 470508 markings/sec, 90 secs
lola: 47090984 markings, 47090984 edges, 441456 markings/sec, 95 secs
lola: 49276056 markings, 49276056 edges, 437014 markings/sec, 100 secs
lola: 51438493 markings, 51438493 edges, 432487 markings/sec, 105 secs
lola: 53608158 markings, 53608158 edges, 433933 markings/sec, 110 secs
lola: 55939462 markings, 55939461 edges, 466261 markings/sec, 115 secs
lola: 58335502 markings, 58335502 edges, 479208 markings/sec, 120 secs
lola: 60663759 markings, 60663759 edges, 465651 markings/sec, 125 secs
lola: 62944787 markings, 62944787 edges, 456206 markings/sec, 130 secs
lola: 64795446 markings, 64795446 edges, 370132 markings/sec, 135 secs
lola: 67115705 markings, 67115705 edges, 464052 markings/sec, 140 secs
lola: 69423255 markings, 69423255 edges, 461510 markings/sec, 145 secs
lola: 71739481 markings, 71739481 edges, 463245 markings/sec, 150 secs
lola: 74127742 markings, 74127742 edges, 477652 markings/sec, 155 secs
lola: 76365165 markings, 76365165 edges, 447485 markings/sec, 160 secs
lola: 78644757 markings, 78644757 edges, 455918 markings/sec, 165 secs
lola: 80851991 markings, 80851991 edges, 441447 markings/sec, 170 secs
lola: 82774825 markings, 82774824 edges, 384567 markings/sec, 175 secs
lola: 85061958 markings, 85061958 edges, 457427 markings/sec, 180 secs
lola: 87291541 markings, 87291541 edges, 445917 markings/sec, 185 secs
lola: 89478842 markings, 89478842 edges, 437460 markings/sec, 190 secs
lola: 91638760 markings, 91638759 edges, 431984 markings/sec, 195 secs
lola: 93949177 markings, 93949177 edges, 462083 markings/sec, 200 secs
lola: 96375809 markings, 96375809 edges, 485326 markings/sec, 205 secs
lola: 98759555 markings, 98759555 edges, 476749 markings/sec, 210 secs
lola: 101103240 markings, 101103240 edges, 468737 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(p299)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1996499 markings, 2034599 edges, 399300 markings/sec, 0 secs
lola: 3992941 markings, 4065402 edges, 399288 markings/sec, 5 secs
lola: 5995633 markings, 6103954 edges, 400538 markings/sec, 10 secs
lola: 7782364 markings, 7925557 edges, 357346 markings/sec, 15 secs
lola: 9797149 markings, 9975398 edges, 402957 markings/sec, 20 secs
lola: 11808295 markings, 12022062 edges, 402229 markings/sec, 25 secs
lola: 13804244 markings, 14057081 edges, 399190 markings/sec, 30 secs
lola: 15765500 markings, 16052163 edges, 392251 markings/sec, 35 secs
lola: 17658559 markings, 17978429 edges, 378612 markings/sec, 40 secs
lola: 19507758 markings, 19909293 edges, 369840 markings/sec, 45 secs
lola: 21246897 markings, 21920831 edges, 347828 markings/sec, 50 secs
lola: 23097074 markings, 23941915 edges, 370035 markings/sec, 55 secs
lola: 24944352 markings, 25932920 edges, 369456 markings/sec, 60 secs
lola: 26861544 markings, 27897925 edges, 383438 markings/sec, 65 secs
lola: 28777315 markings, 29861471 edges, 383154 markings/sec, 70 secs
lola: 30690497 markings, 31822545 edges, 382636 markings/sec, 75 secs
lola: 32623180 markings, 33803425 edges, 386537 markings/sec, 80 secs
lola: 34540892 markings, 35769175 edges, 383542 markings/sec, 85 secs
lola: 36440283 markings, 37716408 edges, 379878 markings/sec, 90 secs
lola: 38356014 markings, 39680393 edges, 383146 markings/sec, 95 secs
lola: 40264643 markings, 41637094 edges, 381726 markings/sec, 100 secs
lola: 42176858 markings, 43597649 edges, 382443 markings/sec, 105 secs
lola: 44098126 markings, 45566833 edges, 384254 markings/sec, 110 secs
lola: 46017414 markings, 47533983 edges, 383858 markings/sec, 115 secs
lola: 47938360 markings, 49503014 edges, 384189 markings/sec, 120 secs
lola: 49865018 markings, 51477719 edges, 385332 markings/sec, 125 secs
lola: 51777303 markings, 53438005 edges, 382457 markings/sec, 130 secs
lola: 53696127 markings, 55405154 edges, 383765 markings/sec, 135 secs
lola: 55602913 markings, 57360114 edges, 381357 markings/sec, 140 secs
lola: 57506292 markings, 59311674 edges, 380676 markings/sec, 145 secs
lola: 59479397 markings, 61334162 edges, 394621 markings/sec, 150 secs
lola: 61233686 markings, 63132197 edges, 350858 markings/sec, 155 secs
lola: 63133062 markings, 65078971 edges, 379875 markings/sec, 160 secs
lola: 65060798 markings, 67054931 edges, 385547 markings/sec, 165 secs
lola: 66978631 markings, 69020590 edges, 383567 markings/sec, 170 secs
lola: 68734152 markings, 70820271 edges, 351104 markings/sec, 175 secs
lola: 70635912 markings, 72770115 edges, 380352 markings/sec, 180 secs
lola: 72540738 markings, 74722929 edges, 380965 markings/sec, 185 secs
lola: 74443710 markings, 76678708 edges, 380594 markings/sec, 190 secs
lola: 76327745 markings, 78648171 edges, 376807 markings/sec, 195 secs
lola: 78203956 markings, 80609451 edges, 375242 markings/sec, 200 secs
lola: 80093168 markings, 82584508 edges, 377842 markings/sec, 205 secs
lola: 81981539 markings, 84558713 edges, 377674 markings/sec, 210 secs
lola: 83853037 markings, 86515617 edges, 374300 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(p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1266289 markings, 2468546 edges, 253258 markings/sec, 0 secs
lola: 2834155 markings, 4658147 edges, 313573 markings/sec, 5 secs
lola: 4182249 markings, 7004979 edges, 269619 markings/sec, 10 secs
lola: 5290395 markings, 9414439 edges, 221629 markings/sec, 15 secs
lola: 6446209 markings, 11772609 edges, 231163 markings/sec, 20 secs
lola: 7608155 markings, 14083973 edges, 232389 markings/sec, 25 secs
lola: 8897359 markings, 16324776 edges, 257841 markings/sec, 30 secs
lola: 10139122 markings, 18568248 edges, 248353 markings/sec, 35 secs
lola: 11564736 markings, 20774364 edges, 285123 markings/sec, 40 secs
lola: 12716234 markings, 23064318 edges, 230300 markings/sec, 45 secs
lola: 13997250 markings, 25222994 edges, 256203 markings/sec, 50 secs
lola: 15404879 markings, 27304360 edges, 281526 markings/sec, 55 secs
lola: 17006074 markings, 29340307 edges, 320239 markings/sec, 60 secs
lola: 18514483 markings, 31347365 edges, 301682 markings/sec, 65 secs
lola: 20240181 markings, 33402699 edges, 345140 markings/sec, 70 secs
lola: 21484456 markings, 35666768 edges, 248855 markings/sec, 75 secs
lola: 22593027 markings, 37940944 edges, 221714 markings/sec, 80 secs
lola: 23774860 markings, 40167510 edges, 236367 markings/sec, 85 secs
lola: 25292831 markings, 42239133 edges, 303594 markings/sec, 90 secs
lola: 26786626 markings, 44309545 edges, 298759 markings/sec, 95 secs
lola: 28321737 markings, 46402831 edges, 307022 markings/sec, 100 secs
lola: 29854315 markings, 48422987 edges, 306516 markings/sec, 105 secs
lola: 31275733 markings, 50363080 edges, 284284 markings/sec, 110 secs
lola: 32822492 markings, 52366008 edges, 309352 markings/sec, 115 secs
lola: 34311539 markings, 54352281 edges, 297809 markings/sec, 120 secs
lola: 35790167 markings, 56369358 edges, 295726 markings/sec, 125 secs
lola: 37330765 markings, 58204369 edges, 308120 markings/sec, 130 secs
lola: 38807441 markings, 60093788 edges, 295335 markings/sec, 135 secs
lola: 40341392 markings, 62069011 edges, 306790 markings/sec, 140 secs
lola: 41983324 markings, 64052601 edges, 328386 markings/sec, 145 secs
lola: 43600995 markings, 66087761 edges, 323534 markings/sec, 150 secs
lola: 44607789 markings, 68402327 edges, 201359 markings/sec, 155 secs
lola: 45711832 markings, 70613777 edges, 220809 markings/sec, 160 secs
lola: 47045081 markings, 72827435 edges, 266650 markings/sec, 165 secs
lola: 48186927 markings, 75036033 edges, 228369 markings/sec, 170 secs
lola: 49293977 markings, 77286328 edges, 221410 markings/sec, 175 secs
lola: 50683337 markings, 79369861 edges, 277872 markings/sec, 180 secs
lola: 51762399 markings, 81651442 edges, 215812 markings/sec, 185 secs
lola: 52672792 markings, 84011564 edges, 182079 markings/sec, 190 secs
lola: 53724156 markings, 86164662 edges, 210273 markings/sec, 195 secs
lola: 54799389 markings, 88518284 edges, 215047 markings/sec, 200 secs
lola: 56161367 markings, 90712086 edges, 272396 markings/sec, 205 secs
lola: 57205560 markings, 92730023 edges, 208839 markings/sec, 210 secs
lola: 58193353 markings, 94924402 edges, 197559 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(p867)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2411463 markings, 2411463 edges, 482293 markings/sec, 0 secs
lola: 4770614 markings, 4770614 edges, 471830 markings/sec, 5 secs
lola: 7067988 markings, 7067988 edges, 459475 markings/sec, 10 secs
lola: 9455093 markings, 9455093 edges, 477421 markings/sec, 15 secs
lola: 11903479 markings, 11903478 edges, 489677 markings/sec, 20 secs
lola: 14316701 markings, 14316701 edges, 482644 markings/sec, 25 secs
lola: 16732845 markings, 16732844 edges, 483229 markings/sec, 30 secs
lola: 19173434 markings, 19173434 edges, 488118 markings/sec, 35 secs
lola: 21592993 markings, 21592993 edges, 483912 markings/sec, 40 secs
lola: 24043700 markings, 24043700 edges, 490141 markings/sec, 45 secs
lola: 26431776 markings, 26431776 edges, 477615 markings/sec, 50 secs
lola: 28815455 markings, 28815455 edges, 476736 markings/sec, 55 secs
lola: 31331662 markings, 31331662 edges, 503241 markings/sec, 60 secs
lola: 33838496 markings, 33838496 edges, 501367 markings/sec, 65 secs
lola: 36195990 markings, 36195990 edges, 471499 markings/sec, 70 secs
lola: 38590594 markings, 38590594 edges, 478921 markings/sec, 75 secs
lola: 40973871 markings, 40973871 edges, 476655 markings/sec, 80 secs
lola: 43323043 markings, 43323043 edges, 469834 markings/sec, 85 secs
lola: 45707324 markings, 45707324 edges, 476856 markings/sec, 90 secs
lola: 48076519 markings, 48076519 edges, 473839 markings/sec, 95 secs
lola: 50445962 markings, 50445962 edges, 473889 markings/sec, 100 secs
lola: 52905222 markings, 52905222 edges, 491852 markings/sec, 105 secs
lola: 55334594 markings, 55334594 edges, 485874 markings/sec, 110 secs
lola: 57764457 markings, 57764457 edges, 485973 markings/sec, 115 secs
lola: 60190027 markings, 60190027 edges, 485114 markings/sec, 120 secs
lola: 62588957 markings, 62588957 edges, 479786 markings/sec, 125 secs
lola: 64987686 markings, 64987686 edges, 479746 markings/sec, 130 secs
lola: 67406204 markings, 67406204 edges, 483704 markings/sec, 135 secs
lola: 69808798 markings, 69808798 edges, 480519 markings/sec, 140 secs
lola: 72204631 markings, 72204631 edges, 479167 markings/sec, 145 secs
lola: 74614065 markings, 74614065 edges, 481887 markings/sec, 150 secs
lola: 77016907 markings, 77016907 edges, 480568 markings/sec, 155 secs
lola: 79394151 markings, 79394151 edges, 475449 markings/sec, 160 secs
lola: 81823567 markings, 81823567 edges, 485883 markings/sec, 165 secs
lola: 84215055 markings, 84215055 edges, 478298 markings/sec, 170 secs
lola: 86613617 markings, 86613617 edges, 479712 markings/sec, 175 secs
lola: 89029979 markings, 89029979 edges, 483272 markings/sec, 180 secs
lola: 91432160 markings, 91432160 edges, 480436 markings/sec, 185 secs
lola: 93483634 markings, 93483634 edges, 410295 markings/sec, 190 secs
lola: 95863715 markings, 95863715 edges, 476016 markings/sec, 195 secs
lola: 98149870 markings, 98149870 edges, 457231 markings/sec, 200 secs
lola: 100469033 markings, 100469033 edges, 463833 markings/sec, 205 secs
lola: 102546803 markings, 102546803 edges, 415554 markings/sec, 210 secs
lola: 104871051 markings, 104871051 edges, 464850 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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 848055 markings, 862908 edges, 169611 markings/sec, 0 secs
lola: 1666703 markings, 1698280 edges, 163730 markings/sec, 5 secs
lola: 2522831 markings, 2571867 edges, 171226 markings/sec, 10 secs
lola: 3385744 markings, 3452489 edges, 172583 markings/sec, 15 secs
lola: 4228342 markings, 4312346 edges, 168520 markings/sec, 20 secs
lola: 5070069 markings, 5171241 edges, 168345 markings/sec, 25 secs
lola: 5938028 markings, 6056970 edges, 173592 markings/sec, 30 secs
lola: 6794940 markings, 6931357 edges, 171382 markings/sec, 35 secs
lola: 7645564 markings, 7799147 edges, 170125 markings/sec, 40 secs
lola: 8499224 markings, 8670491 edges, 170732 markings/sec, 45 secs
lola: 9235064 markings, 9421171 edges, 147168 markings/sec, 50 secs
lola: 10057677 markings, 10260688 edges, 164523 markings/sec, 55 secs
lola: 10909983 markings, 11130619 edges, 170461 markings/sec, 60 secs
lola: 11749415 markings, 11987168 edges, 167886 markings/sec, 65 secs
lola: 12575938 markings, 12830605 edges, 165305 markings/sec, 70 secs
lola: 13405967 markings, 13677612 edges, 166006 markings/sec, 75 secs
lola: 14234896 markings, 14523491 edges, 165786 markings/sec, 80 secs
lola: 15061962 markings, 15367484 edges, 165413 markings/sec, 85 secs
lola: 15800739 markings, 16121167 edges, 147755 markings/sec, 90 secs
lola: 16648480 markings, 16986488 edges, 169548 markings/sec, 95 secs
lola: 17466574 markings, 17821020 edges, 163619 markings/sec, 100 secs
lola: 18302506 markings, 18674364 edges, 167186 markings/sec, 105 secs
lola: 19141933 markings, 19530901 edges, 167885 markings/sec, 110 secs
lola: 19968597 markings, 20374487 edges, 165333 markings/sec, 115 secs
lola: 20786748 markings, 21209157 edges, 163630 markings/sec, 120 secs
lola: 21613586 markings, 22052872 edges, 165368 markings/sec, 125 secs
lola: 22442062 markings, 22898285 edges, 165695 markings/sec, 130 secs
lola: 23284445 markings, 23758155 edges, 168477 markings/sec, 135 secs
lola: 24126051 markings, 24617033 edges, 168321 markings/sec, 140 secs
lola: 24945937 markings, 25453611 edges, 163977 markings/sec, 145 secs
lola: 25666388 markings, 26188830 edges, 144090 markings/sec, 150 secs
lola: 26504332 markings, 27043803 edges, 167589 markings/sec, 155 secs
lola: 27338546 markings, 27895007 edges, 166843 markings/sec, 160 secs
lola: 28145926 markings, 28719177 edges, 161476 markings/sec, 165 secs
lola: 28966074 markings, 29555991 edges, 164030 markings/sec, 170 secs
lola: 29769526 markings, 30375686 edges, 160690 markings/sec, 175 secs
lola: 30604341 markings, 31227562 edges, 166963 markings/sec, 180 secs
lola: 31419620 markings, 32059650 edges, 163056 markings/sec, 185 secs
lola: 32213899 markings, 32870342 edges, 158856 markings/sec, 190 secs
lola: 33018014 markings, 33690715 edges, 160823 markings/sec, 195 secs
lola: 33838357 markings, 34527963 edges, 164069 markings/sec, 200 secs
lola: 34698046 markings, 35403596 edges, 171938 markings/sec, 205 secs
lola: 35564150 markings, 36293212 edges, 173221 markings/sec, 210 secs
lola: 36415693 markings, 37178197 edges, 170309 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(p944)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p545)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2650403 markings, 2650403 edges, 530081 markings/sec, 0 secs
lola: 5265119 markings, 5265118 edges, 522943 markings/sec, 5 secs
lola: 7853139 markings, 7853139 edges, 517604 markings/sec, 10 secs
lola: 10395113 markings, 10395113 edges, 508395 markings/sec, 15 secs
lola: 12956027 markings, 12956027 edges, 512183 markings/sec, 20 secs
lola: 15451938 markings, 15451938 edges, 499182 markings/sec, 25 secs
lola: 17904439 markings, 17904439 edges, 490500 markings/sec, 30 secs
lola: 20316049 markings, 20316049 edges, 482322 markings/sec, 35 secs
lola: 22693449 markings, 22693449 edges, 475480 markings/sec, 40 secs
lola: 25055033 markings, 25055033 edges, 472317 markings/sec, 45 secs
lola: 27451913 markings, 27451913 edges, 479376 markings/sec, 50 secs
lola: 29851875 markings, 29851875 edges, 479992 markings/sec, 55 secs
lola: 32259213 markings, 32259213 edges, 481468 markings/sec, 60 secs
lola: 34638029 markings, 34638029 edges, 475763 markings/sec, 65 secs
lola: 36710085 markings, 36710085 edges, 414411 markings/sec, 70 secs
lola: 39094228 markings, 39094228 edges, 476829 markings/sec, 75 secs
lola: 41466936 markings, 41466936 edges, 474542 markings/sec, 80 secs
lola: 43688240 markings, 43688240 edges, 444261 markings/sec, 85 secs
lola: 45640127 markings, 45640127 edges, 390377 markings/sec, 90 secs
lola: 47852172 markings, 47852172 edges, 442409 markings/sec, 95 secs
lola: 50082724 markings, 50082723 edges, 446110 markings/sec, 100 secs
lola: 52481770 markings, 52481770 edges, 479809 markings/sec, 105 secs
lola: 55239506 markings, 55239506 edges, 551547 markings/sec, 110 secs
lola: 57921351 markings, 57921351 edges, 536369 markings/sec, 115 secs
lola: 60639851 markings, 60639851 edges, 543700 markings/sec, 120 secs
lola: 63225494 markings, 63225493 edges, 517129 markings/sec, 125 secs
lola: 65478789 markings, 65478788 edges, 450659 markings/sec, 130 secs
lola: 68081484 markings, 68081484 edges, 520539 markings/sec, 135 secs
lola: 70758982 markings, 70758982 edges, 535500 markings/sec, 140 secs
lola: 73434446 markings, 73434446 edges, 535093 markings/sec, 145 secs
lola: 76122504 markings, 76122503 edges, 537612 markings/sec, 150 secs
lola: 78714961 markings, 78714961 edges, 518491 markings/sec, 155 secs
lola: 81260723 markings, 81260723 edges, 509152 markings/sec, 160 secs
lola: 83742391 markings, 83742391 edges, 496334 markings/sec, 165 secs
lola: 85914903 markings, 85914903 edges, 434502 markings/sec, 170 secs
lola: 88411473 markings, 88411473 edges, 499314 markings/sec, 175 secs
lola: 90971724 markings, 90971724 edges, 512050 markings/sec, 180 secs
lola: 93478837 markings, 93478837 edges, 501423 markings/sec, 185 secs
lola: 96011577 markings, 96011577 edges, 506548 markings/sec, 190 secs
lola: 98510795 markings, 98510795 edges, 499844 markings/sec, 195 secs
lola: 100981609 markings, 100981609 edges, 494163 markings/sec, 200 secs
lola: 103480188 markings, 103480188 edges, 499716 markings/sec, 205 secs
lola: 106098854 markings, 106098854 edges, 523733 markings/sec, 210 secs
lola: 108696193 markings, 108696192 edges, 519468 markings/sec, 215 secs
lola: 111221446 markings, 111221446 edges, 505051 markings/sec, 220 secs
lola: 113707710 markings, 113707709 edges, 497253 markings/sec, 225 secs
lola: 116146202 markings, 116146202 edges, 487698 markings/sec, 230 secs
lola: 118592827 markings, 118592827 edges, 489325 markings/sec, 235 secs
lola: 120996688 markings, 120996688 edges, 480772 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p448)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2396183 markings, 2416772 edges, 479237 markings/sec, 0 secs
lola: 4297571 markings, 4319319 edges, 380278 markings/sec, 5 secs
lola: 6550959 markings, 6660500 edges, 450678 markings/sec, 10 secs
lola: 8901351 markings, 9089490 edges, 470078 markings/sec, 15 secs
lola: 11389723 markings, 11591473 edges, 497674 markings/sec, 20 secs
lola: 13341510 markings, 13544746 edges, 390357 markings/sec, 25 secs
lola: 15776435 markings, 15981691 edges, 486985 markings/sec, 30 secs
lola: 18201706 markings, 18409056 edges, 485054 markings/sec, 35 secs
lola: 20594642 markings, 20804027 edges, 478587 markings/sec, 40 secs
lola: 23038199 markings, 23252096 edges, 488711 markings/sec, 45 secs
lola: 25458819 markings, 25677072 edges, 484124 markings/sec, 50 secs
lola: 27846294 markings, 28071159 edges, 477495 markings/sec, 55 secs
lola: 30234021 markings, 30471722 edges, 477545 markings/sec, 60 secs
lola: 32634065 markings, 32875973 edges, 480009 markings/sec, 65 secs
lola: 34957914 markings, 35201796 edges, 464770 markings/sec, 70 secs
lola: 37260691 markings, 37506532 edges, 460555 markings/sec, 75 secs
lola: 39541762 markings, 39789391 edges, 456214 markings/sec, 80 secs
lola: 41956737 markings, 42208399 edges, 482995 markings/sec, 85 secs
lola: 44245613 markings, 44501574 edges, 457775 markings/sec, 90 secs
lola: 46538615 markings, 46799038 edges, 458600 markings/sec, 95 secs
lola: 48911803 markings, 49183357 edges, 474638 markings/sec, 100 secs
lola: 51297741 markings, 51577830 edges, 477188 markings/sec, 105 secs
lola: 53688562 markings, 53970733 edges, 478164 markings/sec, 110 secs
lola: 56062723 markings, 56346746 edges, 474832 markings/sec, 115 secs
lola: 58407379 markings, 58693292 edges, 468931 markings/sec, 120 secs
lola: 60777520 markings, 61066815 edges, 474028 markings/sec, 125 secs
lola: 63153867 markings, 63447680 edges, 475269 markings/sec, 130 secs
lola: 65526433 markings, 65824275 edges, 474513 markings/sec, 135 secs
lola: 67839769 markings, 68147413 edges, 462667 markings/sec, 140 secs
lola: 70163564 markings, 70482025 edges, 464759 markings/sec, 145 secs
lola: 72488570 markings, 72808996 edges, 465001 markings/sec, 150 secs
lola: 74796633 markings, 75118840 edges, 461613 markings/sec, 155 secs
lola: 77072560 markings, 77396682 edges, 455185 markings/sec, 160 secs
lola: 79363631 markings, 79690126 edges, 458214 markings/sec, 165 secs
lola: 81629628 markings, 81960386 edges, 453199 markings/sec, 170 secs
lola: 83892865 markings, 84227594 edges, 452647 markings/sec, 175 secs
lola: 86124354 markings, 86465560 edges, 446298 markings/sec, 180 secs
lola: 88272254 markings, 88624566 edges, 429580 markings/sec, 185 secs
lola: 90563560 markings, 90921532 edges, 458261 markings/sec, 190 secs
lola: 92817642 markings, 93177542 edges, 450816 markings/sec, 195 secs
lola: 95023015 markings, 95384738 edges, 441075 markings/sec, 200 secs
lola: 97231501 markings, 97594933 edges, 441697 markings/sec, 205 secs
lola: 99452935 markings, 99819551 edges, 444287 markings/sec, 210 secs
lola: 101705622 markings, 102076479 edges, 450537 markings/sec, 215 secs
lola: 103940530 markings, 104315112 edges, 446982 markings/sec, 220 secs
lola: 106054467 markings, 106545955 edges, 422787 markings/sec, 225 secs
lola: 108095530 markings, 108764467 edges, 408213 markings/sec, 230 secs
lola: 110182437 markings, 111031120 edges, 417381 markings/sec, 235 secs
lola: 112254619 markings, 113272290 edges, 414436 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p637)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2584828 markings, 2584828 edges, 516966 markings/sec, 0 secs
lola: 5127691 markings, 5127691 edges, 508573 markings/sec, 5 secs
lola: 7206744 markings, 7206744 edges, 415811 markings/sec, 10 secs
lola: 9655566 markings, 9655566 edges, 489764 markings/sec, 15 secs
lola: 12124664 markings, 12124664 edges, 493820 markings/sec, 20 secs
lola: 14532672 markings, 14532672 edges, 481602 markings/sec, 25 secs
lola: 16497384 markings, 16497384 edges, 392942 markings/sec, 30 secs
lola: 18971669 markings, 18971669 edges, 494857 markings/sec, 35 secs
lola: 21332068 markings, 21332068 edges, 472080 markings/sec, 40 secs
lola: 23656366 markings, 23656366 edges, 464860 markings/sec, 45 secs
lola: 26020747 markings, 26020747 edges, 472876 markings/sec, 50 secs
lola: 28496442 markings, 28496442 edges, 495139 markings/sec, 55 secs
lola: 30914071 markings, 30914071 edges, 483526 markings/sec, 60 secs
lola: 33346851 markings, 33346851 edges, 486556 markings/sec, 65 secs
lola: 35741608 markings, 35741607 edges, 478951 markings/sec, 70 secs
lola: 38099046 markings, 38099046 edges, 471488 markings/sec, 75 secs
lola: 40418972 markings, 40418972 edges, 463985 markings/sec, 80 secs
lola: 42770373 markings, 42770373 edges, 470280 markings/sec, 85 secs
lola: 45178099 markings, 45178099 edges, 481545 markings/sec, 90 secs
lola: 47579724 markings, 47579724 edges, 480325 markings/sec, 95 secs
lola: 49932767 markings, 49932767 edges, 470609 markings/sec, 100 secs
lola: 52348978 markings, 52348978 edges, 483242 markings/sec, 105 secs
lola: 54949966 markings, 54949966 edges, 520198 markings/sec, 110 secs
lola: 57483770 markings, 57483770 edges, 506761 markings/sec, 115 secs
lola: 60028554 markings, 60028554 edges, 508957 markings/sec, 120 secs
lola: 62538075 markings, 62538075 edges, 501904 markings/sec, 125 secs
lola: 65028019 markings, 65028019 edges, 497989 markings/sec, 130 secs
lola: 67458039 markings, 67458039 edges, 486004 markings/sec, 135 secs
lola: 69988290 markings, 69988290 edges, 506050 markings/sec, 140 secs
lola: 72479859 markings, 72479859 edges, 498314 markings/sec, 145 secs
lola: 74930131 markings, 74930131 edges, 490054 markings/sec, 150 secs
lola: 77342949 markings, 77342949 edges, 482564 markings/sec, 155 secs
lola: 79805690 markings, 79805690 edges, 492548 markings/sec, 160 secs
lola: 82187910 markings, 82187910 edges, 476444 markings/sec, 165 secs
lola: 84543006 markings, 84543006 edges, 471019 markings/sec, 170 secs
lola: 86873879 markings, 86873879 edges, 466175 markings/sec, 175 secs
lola: 89419003 markings, 89419003 edges, 509025 markings/sec, 180 secs
lola: 91878940 markings, 91878940 edges, 491987 markings/sec, 185 secs
lola: 94359501 markings, 94359500 edges, 496112 markings/sec, 190 secs
lola: 96812211 markings, 96812210 edges, 490542 markings/sec, 195 secs
lola: 99218346 markings, 99218346 edges, 481227 markings/sec, 200 secs
lola: 101573007 markings, 101573007 edges, 470932 markings/sec, 205 secs
lola: 104018737 markings, 104018737 edges, 489146 markings/sec, 210 secs
lola: 106544200 markings, 106544200 edges, 505093 markings/sec, 215 secs
lola: 108994186 markings, 108994186 edges, 489997 markings/sec, 220 secs
lola: 111395691 markings, 111395690 edges, 480301 markings/sec, 225 secs
lola: 113826154 markings, 113826154 edges, 486093 markings/sec, 230 secs
lola: 116198302 markings, 116198302 edges, 474430 markings/sec, 235 secs
lola: 118589870 markings, 118589869 edges, 478314 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1701497 markings, 1746220 edges, 340299 markings/sec, 0 secs
lola: 3334463 markings, 3450437 edges, 326593 markings/sec, 5 secs
lola: 5021015 markings, 5273252 edges, 337310 markings/sec, 10 secs
lola: 6788552 markings, 7056406 edges, 353507 markings/sec, 15 secs
lola: 8471132 markings, 8755893 edges, 336516 markings/sec, 20 secs
lola: 10206256 markings, 10506549 edges, 347025 markings/sec, 25 secs
lola: 11939093 markings, 12256689 edges, 346567 markings/sec, 30 secs
lola: 13666025 markings, 13998091 edges, 345386 markings/sec, 35 secs
lola: 15371501 markings, 15719469 edges, 341095 markings/sec, 40 secs
lola: 17061269 markings, 17453390 edges, 337954 markings/sec, 45 secs
lola: 18764009 markings, 19193644 edges, 340548 markings/sec, 50 secs
lola: 20502083 markings, 20969824 edges, 347615 markings/sec, 55 secs
lola: 22164219 markings, 22669944 edges, 332427 markings/sec, 60 secs
lola: 23971157 markings, 24496117 edges, 361388 markings/sec, 65 secs
lola: 25784169 markings, 26321021 edges, 362602 markings/sec, 70 secs
lola: 27603036 markings, 28151992 edges, 363773 markings/sec, 75 secs
lola: 29387816 markings, 29948490 edges, 356956 markings/sec, 80 secs
lola: 31175362 markings, 31748202 edges, 357509 markings/sec, 85 secs
lola: 32981024 markings, 33566251 edges, 361132 markings/sec, 90 secs
lola: 34748281 markings, 35345109 edges, 353451 markings/sec, 95 secs
lola: 36410282 markings, 37018515 edges, 332400 markings/sec, 100 secs
lola: 38148661 markings, 38768778 edges, 347676 markings/sec, 105 secs
lola: 39882436 markings, 40513935 edges, 346755 markings/sec, 110 secs
lola: 41624384 markings, 42267864 edges, 348390 markings/sec, 115 secs
lola: 43342888 markings, 43998070 edges, 343701 markings/sec, 120 secs
lola: 45117365 markings, 45784195 edges, 354895 markings/sec, 125 secs
lola: 46900832 markings, 47580021 edges, 356693 markings/sec, 130 secs
lola: 48697215 markings, 49390463 edges, 359277 markings/sec, 135 secs
lola: 50497918 markings, 51202978 edges, 360141 markings/sec, 140 secs
lola: 52286638 markings, 53003604 edges, 357744 markings/sec, 145 secs
lola: 54018266 markings, 54746594 edges, 346326 markings/sec, 150 secs
lola: 55728282 markings, 56467828 edges, 342003 markings/sec, 155 secs
lola: 57388150 markings, 58139573 edges, 331974 markings/sec, 160 secs
lola: 59116334 markings, 59879095 edges, 345637 markings/sec, 165 secs
lola: 60864364 markings, 61638595 edges, 349606 markings/sec, 170 secs
lola: 62593368 markings, 63379928 edges, 345801 markings/sec, 175 secs
lola: 64301467 markings, 65099233 edges, 341620 markings/sec, 180 secs
lola: 66000354 markings, 66809267 edges, 339777 markings/sec, 185 secs
lola: 67726871 markings, 68548096 edges, 345303 markings/sec, 190 secs
lola: 69446351 markings, 70278859 edges, 343896 markings/sec, 195 secs
lola: 71155966 markings, 71999691 edges, 341923 markings/sec, 200 secs
lola: 72880821 markings, 73737080 edges, 344971 markings/sec, 205 secs
lola: 74635157 markings, 75504640 edges, 350867 markings/sec, 210 secs
lola: 76407953 markings, 77289064 edges, 354559 markings/sec, 215 secs
lola: 78094319 markings, 78986664 edges, 337273 markings/sec, 220 secs
lola: 79496832 markings, 80398381 edges, 280503 markings/sec, 225 secs
lola: 81157875 markings, 82070322 edges, 332209 markings/sec, 230 secs
lola: 82866473 markings, 83791115 edges, 341720 markings/sec, 235 secs
lola: 84576630 markings, 85512494 edges, 342031 markings/sec, 240 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 248 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p956)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p494)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1913790 markings, 1931844 edges, 382758 markings/sec, 0 secs
lola: 3819283 markings, 3855566 edges, 381099 markings/sec, 5 secs
lola: 5668967 markings, 5722844 edges, 369937 markings/sec, 10 secs
lola: 7527958 markings, 7599440 edges, 371798 markings/sec, 15 secs
lola: 9348420 markings, 9437256 edges, 364092 markings/sec, 20 secs
lola: 11241671 markings, 11348518 edges, 378650 markings/sec, 25 secs
lola: 13090123 markings, 13214550 edges, 369690 markings/sec, 30 secs
lola: 14471003 markings, 14608471 edges, 276176 markings/sec, 35 secs
lola: 16285332 markings, 16439997 edges, 362866 markings/sec, 40 secs
lola: 18116505 markings, 18288838 edges, 366235 markings/sec, 45 secs
lola: 19870738 markings, 20059841 edges, 350847 markings/sec, 50 secs
lola: 21595681 markings, 21801446 edges, 344989 markings/sec, 55 secs
lola: 23497087 markings, 23721314 edges, 380281 markings/sec, 60 secs
lola: 25366684 markings, 25608721 edges, 373919 markings/sec, 65 secs
lola: 27197142 markings, 27456568 edges, 366092 markings/sec, 70 secs
lola: 28928251 markings, 29204182 edges, 346222 markings/sec, 75 secs
lola: 30789788 markings, 31083424 edges, 372307 markings/sec, 80 secs
lola: 32588209 markings, 32898914 edges, 359684 markings/sec, 85 secs
lola: 34391104 markings, 34718972 edges, 360579 markings/sec, 90 secs
lola: 36181775 markings, 36526786 edges, 358134 markings/sec, 95 secs
lola: 37973304 markings, 38335288 edges, 358306 markings/sec, 100 secs
lola: 39820697 markings, 40200292 edges, 369479 markings/sec, 105 secs
lola: 41677740 markings, 42074945 edges, 371409 markings/sec, 110 secs
lola: 43551814 markings, 43966839 edges, 374815 markings/sec, 115 secs
lola: 45368701 markings, 45801091 edges, 363377 markings/sec, 120 secs
lola: 47228278 markings, 47678286 edges, 371915 markings/sec, 125 secs
lola: 48948611 markings, 49415105 edges, 344067 markings/sec, 130 secs
lola: 50659027 markings, 51141668 edges, 342083 markings/sec, 135 secs
lola: 52442633 markings, 52942344 edges, 356721 markings/sec, 140 secs
lola: 54138129 markings, 54653963 edges, 339099 markings/sec, 145 secs
lola: 55899869 markings, 56432505 edges, 352348 markings/sec, 150 secs
lola: 57683848 markings, 58233435 edges, 356796 markings/sec, 155 secs
lola: 59430211 markings, 59996455 edges, 349273 markings/sec, 160 secs
lola: 61191084 markings, 61774239 edges, 352175 markings/sec, 165 secs
lola: 62911040 markings, 63510551 edges, 343991 markings/sec, 170 secs
lola: 64716725 markings, 65333416 edges, 361137 markings/sec, 175 secs
lola: 66520210 markings, 67154155 edges, 360697 markings/sec, 180 secs
lola: 68321426 markings, 68972600 edges, 360243 markings/sec, 185 secs
lola: 70009107 markings, 70676354 edges, 337536 markings/sec, 190 secs
lola: 71676308 markings, 72359488 edges, 333440 markings/sec, 195 secs
lola: 73458484 markings, 74158669 edges, 356435 markings/sec, 200 secs
lola: 75207992 markings, 75924737 edges, 349902 markings/sec, 205 secs
lola: 76961099 markings, 77694593 edges, 350621 markings/sec, 210 secs
lola: 78767949 markings, 79518635 edges, 361370 markings/sec, 215 secs
lola: 80523766 markings, 81291208 edges, 351163 markings/sec, 220 secs
lola: 82316678 markings, 83101295 edges, 358582 markings/sec, 225 secs
lola: 84100447 markings, 84903689 edges, 356754 markings/sec, 230 secs
lola: 85849285 markings, 86662579 edges, 349768 markings/sec, 235 secs
lola: 87714705 markings, 88538406 edges, 373084 markings/sec, 240 secs
lola: 89576633 markings, 90410729 edges, 372386 markings/sec, 245 secs
lola: 91411131 markings, 92255527 edges, 366900 markings/sec, 250 secs
lola: 93250864 markings, 94104101 edges, 367947 markings/sec, 255 secs
lola: 95169044 markings, 96034914 edges, 383636 markings/sec, 260 secs
lola: 97075377 markings, 97956432 edges, 381267 markings/sec, 265 secs
lola: 98996183 markings, 99885969 edges, 384161 markings/sec, 270 secs
lola: 100891755 markings, 101795758 edges, 379114 markings/sec, 275 secs
lola: 102799136 markings, 103711843 edges, 381476 markings/sec, 280 secs
lola: 104721329 markings, 105649537 edges, 384439 markings/sec, 285 secs
lola: 106509013 markings, 107451220 edges, 357537 markings/sec, 290 secs
lola: 108278529 markings, 109229170 edges, 353903 markings/sec, 295 secs
lola: 110194915 markings, 111159810 edges, 383277 markings/sec, 300 secs
lola: 112099640 markings, 113073233 edges, 380945 markings/sec, 305 secs
lola: 114013934 markings, 115010920 edges, 382859 markings/sec, 310 secs
lola: 115864519 markings, 116870858 edges, 370117 markings/sec, 315 secs
lola: 117693016 markings, 118712675 edges, 365699 markings/sec, 320 secs
lola: 119515936 markings, 120549667 edges, 364584 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p868)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 1820802 markings, 1864277 edges, 364160 markings/sec, 0 secs
lola: 3683282 markings, 3771259 edges, 372496 markings/sec, 5 secs
lola: 5422310 markings, 5647742 edges, 347806 markings/sec, 10 secs
lola: 7263016 markings, 7540164 edges, 368141 markings/sec, 15 secs
lola: 8938672 markings, 9252298 edges, 335131 markings/sec, 20 secs
lola: 10748178 markings, 11101248 edges, 361901 markings/sec, 25 secs
lola: 12561323 markings, 12952482 edges, 362629 markings/sec, 30 secs
lola: 14388338 markings, 14818960 edges, 365403 markings/sec, 35 secs
lola: 16026305 markings, 16494422 edges, 327593 markings/sec, 40 secs
lola: 17751369 markings, 18260058 edges, 345013 markings/sec, 45 secs
lola: 19509303 markings, 20080024 edges, 351587 markings/sec, 50 secs
lola: 21300863 markings, 21917955 edges, 358312 markings/sec, 55 secs
lola: 23155721 markings, 23803404 edges, 370972 markings/sec, 60 secs
lola: 24997151 markings, 25675203 edges, 368286 markings/sec, 65 secs
lola: 26782309 markings, 27489756 edges, 357032 markings/sec, 70 secs
lola: 28592833 markings, 29330348 edges, 362105 markings/sec, 75 secs
lola: 30376792 markings, 31144153 edges, 356792 markings/sec, 80 secs
lola: 32163178 markings, 32961123 edges, 357277 markings/sec, 85 secs
lola: 33990335 markings, 34818375 edges, 365431 markings/sec, 90 secs
lola: 35807263 markings, 36665242 edges, 363386 markings/sec, 95 secs
lola: 37602405 markings, 38489987 edges, 359028 markings/sec, 100 secs
lola: 39384319 markings, 40301420 edges, 356383 markings/sec, 105 secs
lola: 41136224 markings, 42082378 edges, 350381 markings/sec, 110 secs
lola: 42877286 markings, 43853174 edges, 348212 markings/sec, 115 secs
lola: 44693977 markings, 45700227 edges, 363338 markings/sec, 120 secs
lola: 46526703 markings, 47563179 edges, 366545 markings/sec, 125 secs
lola: 48328023 markings, 49394207 edges, 360264 markings/sec, 130 secs
lola: 50095246 markings, 51190561 edges, 353445 markings/sec, 135 secs
lola: 51839602 markings, 52963933 edges, 348871 markings/sec, 140 secs
lola: 53567317 markings, 54720581 edges, 345543 markings/sec, 145 secs
lola: 55327328 markings, 56510664 edges, 352002 markings/sec, 150 secs
lola: 57153057 markings, 58366477 edges, 365146 markings/sec, 155 secs
lola: 58821402 markings, 60062306 edges, 333669 markings/sec, 160 secs
lola: 60623244 markings, 61893857 edges, 360368 markings/sec, 165 secs
lola: 62403991 markings, 63704105 edges, 356149 markings/sec, 170 secs
lola: 64161478 markings, 65490740 edges, 351497 markings/sec, 175 secs
lola: 65904617 markings, 67263670 edges, 348628 markings/sec, 180 secs
lola: 67694197 markings, 69084398 edges, 357916 markings/sec, 185 secs
lola: 69363344 markings, 70781496 edges, 333829 markings/sec, 190 secs
lola: 71000350 markings, 72445434 edges, 327401 markings/sec, 195 secs
lola: 72530646 markings, 74002034 edges, 306059 markings/sec, 200 secs
lola: 74246649 markings, 75748028 edges, 343201 markings/sec, 205 secs
lola: 75925743 markings, 77456260 edges, 335819 markings/sec, 210 secs
lola: 77668332 markings, 79228030 edges, 348518 markings/sec, 215 secs
lola: 79393168 markings, 80990279 edges, 344967 markings/sec, 220 secs
lola: 81096039 markings, 82721476 edges, 340574 markings/sec, 225 secs
lola: 82823262 markings, 84486285 edges, 345445 markings/sec, 230 secs
lola: 84572296 markings, 86268309 edges, 349807 markings/sec, 235 secs
lola: 86274753 markings, 88002233 edges, 340491 markings/sec, 240 secs
lola: 87964734 markings, 89724397 edges, 337996 markings/sec, 245 secs
lola: 89604193 markings, 91394021 edges, 327892 markings/sec, 250 secs
lola: 91359891 markings, 93183576 edges, 351140 markings/sec, 255 secs
lola: 93059060 markings, 94922415 edges, 339834 markings/sec, 260 secs
lola: 94846232 markings, 96751311 edges, 357434 markings/sec, 265 secs
lola: 96606641 markings, 98552835 edges, 352082 markings/sec, 270 secs
lola: 98443929 markings, 100433064 edges, 367458 markings/sec, 275 secs
lola: 100268263 markings, 102299999 edges, 364867 markings/sec, 280 secs
lola: 102044954 markings, 104118170 edges, 355338 markings/sec, 285 secs
lola: 103777194 markings, 105890863 edges, 346448 markings/sec, 290 secs
lola: 105598701 markings, 107754937 edges, 364301 markings/sec, 295 secs
lola: 107353397 markings, 109550618 edges, 350939 markings/sec, 300 secs
lola: 109084686 markings, 111322327 edges, 346258 markings/sec, 305 secs
lola: 110740199 markings, 113016489 edges, 331103 markings/sec, 310 secs
lola: 112521351 markings, 114839257 edges, 356230 markings/sec, 315 secs
lola: 114313204 markings, 116673076 edges, 358371 markings/sec, 320 secs
lola: 116029251 markings, 118429224 edges, 343209 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p616)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 64 bytes per marking, with 6 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: 2639052 markings, 2639052 edges, 527810 markings/sec, 0 secs
lola: 5344029 markings, 5344029 edges, 540995 markings/sec, 5 secs
lola: 8034738 markings, 8034738 edges, 538142 markings/sec, 10 secs
lola: 10659447 markings, 10659447 edges, 524942 markings/sec, 15 secs
lola: 13291398 markings, 13291398 edges, 526390 markings/sec, 20 secs
lola: 15915777 markings, 15915777 edges, 524876 markings/sec, 25 secs
lola: 18479149 markings, 18479149 edges, 512674 markings/sec, 30 secs
lola: 21064710 markings, 21064710 edges, 517112 markings/sec, 35 secs
lola: 23602569 markings, 23602569 edges, 507572 markings/sec, 40 secs
lola: 26284682 markings, 26284682 edges, 536423 markings/sec, 45 secs
lola: 28931334 markings, 28931333 edges, 529330 markings/sec, 50 secs
lola: 31560150 markings, 31560150 edges, 525763 markings/sec, 55 secs
lola: 34160795 markings, 34160795 edges, 520129 markings/sec, 60 secs
lola: 36773300 markings, 36773300 edges, 522501 markings/sec, 65 secs
lola: 39091683 markings, 39091683 edges, 463677 markings/sec, 70 secs
lola: 41626288 markings, 41626288 edges, 506921 markings/sec, 75 secs
lola: 44140777 markings, 44140777 edges, 502898 markings/sec, 80 secs
lola: 46761046 markings, 46761046 edges, 524054 markings/sec, 85 secs
lola: 49055835 markings, 49055835 edges, 458958 markings/sec, 90 secs
lola: 51625830 markings, 51625829 edges, 513999 markings/sec, 95 secs
lola: 54175807 markings, 54175807 edges, 509995 markings/sec, 100 secs
lola: 56784667 markings, 56784667 edges, 521772 markings/sec, 105 secs
lola: 59334884 markings, 59334883 edges, 510043 markings/sec, 110 secs
lola: 61913642 markings, 61913641 edges, 515752 markings/sec, 115 secs
lola: 64452177 markings, 64452176 edges, 507707 markings/sec, 120 secs
lola: 66956714 markings, 66956714 edges, 500907 markings/sec, 125 secs
lola: 69446487 markings, 69446487 edges, 497955 markings/sec, 130 secs
lola: 71971995 markings, 71971994 edges, 505102 markings/sec, 135 secs
lola: 74421535 markings, 74421535 edges, 489908 markings/sec, 140 secs
lola: 76927290 markings, 76927290 edges, 501151 markings/sec, 145 secs
lola: 79367507 markings, 79367507 edges, 488043 markings/sec, 150 secs
lola: 81883880 markings, 81883880 edges, 503275 markings/sec, 155 secs
lola: 84345776 markings, 84345776 edges, 492379 markings/sec, 160 secs
lola: 86901282 markings, 86901282 edges, 511101 markings/sec, 165 secs
lola: 89465999 markings, 89465999 edges, 512943 markings/sec, 170 secs
lola: 92023602 markings, 92023602 edges, 511521 markings/sec, 175 secs
lola: 94557658 markings, 94557658 edges, 506811 markings/sec, 180 secs
lola: 97106649 markings, 97106649 edges, 509798 markings/sec, 185 secs
lola: 99407146 markings, 99407146 edges, 460099 markings/sec, 190 secs
lola: 101834537 markings, 101834536 edges, 485478 markings/sec, 195 secs
lola: 104225703 markings, 104225703 edges, 478233 markings/sec, 200 secs
lola: 106701745 markings, 106701745 edges, 495208 markings/sec, 205 secs
lola: 109160102 markings, 109160102 edges, 491671 markings/sec, 210 secs
lola: 111586845 markings, 111586845 edges, 485349 markings/sec, 215 secs
lola: 114029416 markings, 114029416 edges, 488514 markings/sec, 220 secs
lola: 116426768 markings, 116426768 edges, 479470 markings/sec, 225 secs
lola: 118805111 markings, 118805111 edges, 475669 markings/sec, 230 secs
lola: 121243037 markings, 121243037 edges, 487585 markings/sec, 235 secs
lola: 123684896 markings, 123684895 edges, 488372 markings/sec, 240 secs
lola: 126176773 markings, 126176773 edges, 498375 markings/sec, 245 secs
lola: 128646262 markings, 128646262 edges, 493898 markings/sec, 250 secs
lola: 131046941 markings, 131046941 edges, 480136 markings/sec, 255 secs
lola: 133477968 markings, 133477968 edges, 486205 markings/sec, 260 secs
lola: 135857679 markings, 135857679 edges, 475942 markings/sec, 265 secs
lola: 138244215 markings, 138244215 edges, 477307 markings/sec, 270 secs
lola: 140614789 markings, 140614789 edges, 474115 markings/sec, 275 secs
lola: 142987914 markings, 142987913 edges, 474625 markings/sec, 280 secs
lola: 145350098 markings, 145350097 edges, 472437 markings/sec, 285 secs
lola: 147720896 markings, 147720896 edges, 474160 markings/sec, 290 secs
lola: 150059366 markings, 150059365 edges, 467694 markings/sec, 295 secs
lola: 152432199 markings, 152432199 edges, 474567 markings/sec, 300 secs
lola: 154754473 markings, 154754473 edges, 464455 markings/sec, 305 secs
lola: 157056452 markings, 157056451 edges, 460396 markings/sec, 310 secs
lola: 159330104 markings, 159330104 edges, 454730 markings/sec, 315 secs
lola: 161642831 markings, 161642831 edges, 462545 markings/sec, 320 secs
lola: 163916788 markings, 163916788 edges, 454791 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d04r03-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d04r03-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494695986499

--------------------
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="Echo-PT-d04r03"
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/Echo-PT-d04r03.tgz
mv Echo-PT-d04r03 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 Echo-PT-d04r03, 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 r028-blw3-149440264100299"
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 ;