Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_CloudDeployment-PT-6a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496438296737


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-6a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-6a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1129/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 221 places, 908 transitions, 185 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 797 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6a-UpperBounds.task
lola: MAX(p85) : MAX(p211) : MAX(p174) : MAX(p11) : MAX(p36) : MAX(p4) : MAX(p60) : MAX(p7) : MAX(p153) : MAX(p194) : MAX(p35) : MAX(p23) : MAX(p3) : MAX(p182) : MAX(p85) : MAX(p45)
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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 36020 markings, 2160130 edges, 7204 markings/sec, 0 secs
lola: 75114 markings, 4442914 edges, 7819 markings/sec, 5 secs
lola: 117283 markings, 6638784 edges, 8434 markings/sec, 10 secs
lola: 156260 markings, 8719488 edges, 7795 markings/sec, 15 secs
lola: 190571 markings, 10836654 edges, 6862 markings/sec, 20 secs
lola: 208044 markings, 13144769 edges, 3495 markings/sec, 25 secs
lola: 224138 markings, 15442754 edges, 3219 markings/sec, 30 secs
lola: 237438 markings, 17741841 edges, 2660 markings/sec, 35 secs
lola: 250636 markings, 20719299 edges, 2640 markings/sec, 40 secs
lola: 280863 markings, 23156727 edges, 6045 markings/sec, 45 secs
lola: 313527 markings, 25447175 edges, 6533 markings/sec, 50 secs
lola: 362852 markings, 27483799 edges, 9865 markings/sec, 55 secs
lola: 395887 markings, 29665386 edges, 6607 markings/sec, 60 secs
lola: 431054 markings, 31696555 edges, 7033 markings/sec, 65 secs
lola: 453599 markings, 33935976 edges, 4509 markings/sec, 70 secs
lola: 468536 markings, 36248797 edges, 2987 markings/sec, 75 secs
lola: 483554 markings, 38555492 edges, 3004 markings/sec, 80 secs
lola: 495978 markings, 41160464 edges, 2485 markings/sec, 85 secs
lola: 523250 markings, 43889041 edges, 5454 markings/sec, 90 secs
lola: 558619 markings, 45996768 edges, 7074 markings/sec, 95 secs
lola: 591076 markings, 48083144 edges, 6491 markings/sec, 100 secs
lola: 620694 markings, 50189687 edges, 5924 markings/sec, 105 secs
lola: 665631 markings, 52012767 edges, 8987 markings/sec, 110 secs
lola: 698129 markings, 53957258 edges, 6500 markings/sec, 115 secs
lola: 715191 markings, 56075846 edges, 3412 markings/sec, 120 secs
lola: 729576 markings, 58225039 edges, 2877 markings/sec, 125 secs
lola: 743350 markings, 60418477 edges, 2755 markings/sec, 130 secs
lola: 753714 markings, 62983861 edges, 2073 markings/sec, 135 secs
lola: 775464 markings, 65656051 edges, 4350 markings/sec, 140 secs
lola: 835348 markings, 67250781 edges, 11977 markings/sec, 145 secs
lola: 894135 markings, 69102311 edges, 11757 markings/sec, 150 secs
lola: 929138 markings, 71327850 edges, 7001 markings/sec, 155 secs
lola: 967571 markings, 73299196 edges, 7687 markings/sec, 160 secs
lola: 992445 markings, 75498246 edges, 4975 markings/sec, 165 secs
lola: 1008874 markings, 77760935 edges, 3286 markings/sec, 170 secs
lola: 1023937 markings, 80108799 edges, 3013 markings/sec, 175 secs
lola: 1035252 markings, 82775036 edges, 2263 markings/sec, 180 secs
lola: 1057853 markings, 85672875 edges, 4520 markings/sec, 185 secs
lola: 1113668 markings, 87368695 edges, 11163 markings/sec, 190 secs
lola: 1181274 markings, 89174382 edges, 13521 markings/sec, 195 secs
lola: 1252355 markings, 91355983 edges, 14216 markings/sec, 200 secs
lola: 1289328 markings, 93268654 edges, 7395 markings/sec, 205 secs
lola: 1319278 markings, 95450841 edges, 5990 markings/sec, 210 secs
lola: 1354132 markings, 97478729 edges, 6971 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(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 130107 markings, 2145932 edges, 26021 markings/sec, 0 secs
lola: 249657 markings, 4218440 edges, 23910 markings/sec, 5 secs
lola: 371047 markings, 6277604 edges, 24278 markings/sec, 10 secs
lola: 491028 markings, 8314739 edges, 23996 markings/sec, 15 secs
lola: 610247 markings, 10333289 edges, 23844 markings/sec, 20 secs
lola: 728735 markings, 12345522 edges, 23698 markings/sec, 25 secs
lola: 830379 markings, 14299670 edges, 20329 markings/sec, 30 secs
lola: 926116 markings, 16253270 edges, 19147 markings/sec, 35 secs
lola: 1020804 markings, 18190696 edges, 18938 markings/sec, 40 secs
lola: 1115556 markings, 20118974 edges, 18950 markings/sec, 45 secs
lola: 1208820 markings, 22030368 edges, 18653 markings/sec, 50 secs
lola: 1301563 markings, 23912378 edges, 18549 markings/sec, 55 secs
lola: 1392271 markings, 25790339 edges, 18142 markings/sec, 60 secs
lola: 1481991 markings, 27657856 edges, 17944 markings/sec, 65 secs
lola: 1571799 markings, 29545570 edges, 17962 markings/sec, 70 secs
lola: 1661839 markings, 31433147 edges, 18008 markings/sec, 75 secs
lola: 1751072 markings, 33302509 edges, 17847 markings/sec, 80 secs
lola: 1839704 markings, 35159139 edges, 17726 markings/sec, 85 secs
lola: 1927255 markings, 36992683 edges, 17510 markings/sec, 90 secs
lola: 2019275 markings, 38770888 edges, 18404 markings/sec, 95 secs
lola: 2107492 markings, 40473159 edges, 17643 markings/sec, 100 secs
lola: 2190619 markings, 42416800 edges, 16625 markings/sec, 105 secs
lola: 2229671 markings, 44774699 edges, 7810 markings/sec, 110 secs
lola: 2272131 markings, 46662926 edges, 8492 markings/sec, 115 secs
lola: 2317503 markings, 48481589 edges, 9074 markings/sec, 120 secs
lola: 2344807 markings, 50323235 edges, 5461 markings/sec, 125 secs
lola: 2389449 markings, 52480891 edges, 8928 markings/sec, 130 secs
lola: 2444344 markings, 54751013 edges, 10979 markings/sec, 135 secs
lola: 2513843 markings, 56777911 edges, 13900 markings/sec, 140 secs
lola: 2555874 markings, 58816085 edges, 8406 markings/sec, 145 secs
lola: 2596295 markings, 60940785 edges, 8084 markings/sec, 150 secs
lola: 2639729 markings, 63119768 edges, 8687 markings/sec, 155 secs
lola: 2726713 markings, 65325381 edges, 17397 markings/sec, 160 secs
lola: 2829058 markings, 67484028 edges, 20469 markings/sec, 165 secs
lola: 2928609 markings, 69583360 edges, 19910 markings/sec, 170 secs
lola: 2989751 markings, 71796316 edges, 12228 markings/sec, 175 secs
lola: 3045383 markings, 74029461 edges, 11126 markings/sec, 180 secs
lola: 3093864 markings, 76241297 edges, 9696 markings/sec, 185 secs
lola: 3122623 markings, 78530582 edges, 5752 markings/sec, 190 secs
lola: 3151147 markings, 80792238 edges, 5705 markings/sec, 195 secs
lola: 3180134 markings, 83069986 edges, 5797 markings/sec, 200 secs
lola: 3208499 markings, 85287414 edges, 5673 markings/sec, 205 secs
lola: 3236812 markings, 87496599 edges, 5663 markings/sec, 210 secs
lola: 3265669 markings, 89766965 edges, 5771 markings/sec, 215 secs
lola: 3294299 markings, 91993130 edges, 5726 markings/sec, 220 secs
lola: 3322143 markings, 94204798 edges, 5569 markings/sec, 225 secs
lola: 3349374 markings, 96385962 edges, 5446 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 63413 markings, 975693 edges, 12683 markings/sec, 0 secs
lola: 93204 markings, 3129701 edges, 5958 markings/sec, 5 secs
lola: 124445 markings, 5309487 edges, 6248 markings/sec, 10 secs
lola: 151578 markings, 7656990 edges, 5427 markings/sec, 15 secs
lola: 208117 markings, 8738254 edges, 11308 markings/sec, 20 secs
lola: 256770 markings, 10037471 edges, 9731 markings/sec, 25 secs
lola: 279096 markings, 12060609 edges, 4465 markings/sec, 30 secs
lola: 288457 markings, 14864677 edges, 1872 markings/sec, 35 secs
lola: 296688 markings, 17783272 edges, 1646 markings/sec, 40 secs
lola: 304986 markings, 20728666 edges, 1660 markings/sec, 45 secs
lola: 315042 markings, 23677846 edges, 2011 markings/sec, 50 secs
lola: 345024 markings, 25667138 edges, 5996 markings/sec, 55 secs
lola: 379542 markings, 27704152 edges, 6904 markings/sec, 60 secs
lola: 416786 markings, 29631470 edges, 7449 markings/sec, 65 secs
lola: 455310 markings, 31495889 edges, 7705 markings/sec, 70 secs
lola: 507944 markings, 32668586 edges, 10527 markings/sec, 75 secs
lola: 542447 markings, 34335059 edges, 6901 markings/sec, 80 secs
lola: 554182 markings, 36812610 edges, 2347 markings/sec, 85 secs
lola: 562359 markings, 39664285 edges, 1635 markings/sec, 90 secs
lola: 570317 markings, 42525244 edges, 1592 markings/sec, 95 secs
lola: 578554 markings, 45476332 edges, 1647 markings/sec, 100 secs
lola: 611831 markings, 47584979 edges, 6655 markings/sec, 105 secs
lola: 649716 markings, 49519832 edges, 7577 markings/sec, 110 secs
lola: 673139 markings, 51966143 edges, 4685 markings/sec, 115 secs
lola: 726937 markings, 53222116 edges, 10760 markings/sec, 120 secs
lola: 776693 markings, 54546040 edges, 9951 markings/sec, 125 secs
lola: 797548 markings, 56721478 edges, 4171 markings/sec, 130 secs
lola: 806419 markings, 59741842 edges, 1774 markings/sec, 135 secs
lola: 814976 markings, 62786369 edges, 1711 markings/sec, 140 secs
lola: 823185 markings, 65790846 edges, 1642 markings/sec, 145 secs
lola: 844113 markings, 68379101 edges, 4186 markings/sec, 150 secs
lola: 893030 markings, 69765469 edges, 9783 markings/sec, 155 secs
lola: 917663 markings, 71942909 edges, 4927 markings/sec, 160 secs
lola: 975667 markings, 72939022 edges, 11601 markings/sec, 165 secs
lola: 1025820 markings, 74112852 edges, 10031 markings/sec, 170 secs
lola: 1049679 markings, 76022709 edges, 4772 markings/sec, 175 secs
lola: 1058752 markings, 78596336 edges, 1815 markings/sec, 180 secs
lola: 1066522 markings, 81351531 edges, 1554 markings/sec, 185 secs
lola: 1074392 markings, 84205847 edges, 1574 markings/sec, 190 secs
lola: 1082234 markings, 87106118 edges, 1568 markings/sec, 195 secs
lola: 1127010 markings, 88591219 edges, 8955 markings/sec, 200 secs
lola: 1163116 markings, 90336656 edges, 7221 markings/sec, 205 secs
lola: 1220009 markings, 91297546 edges, 11379 markings/sec, 210 secs
lola: 1267162 markings, 92491673 edges, 9431 markings/sec, 215 secs
lola: 1289633 markings, 94331475 edges, 4494 markings/sec, 220 secs
lola: 1298677 markings, 96784259 edges, 1809 markings/sec, 225 secs
lola: 1306041 markings, 99376047 edges, 1473 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 38572 markings, 1902675 edges, 7714 markings/sec, 0 secs
lola: 59169 markings, 4561212 edges, 4119 markings/sec, 5 secs
lola: 84137 markings, 6840237 edges, 4994 markings/sec, 10 secs
lola: 119867 markings, 8928682 edges, 7146 markings/sec, 15 secs
lola: 156597 markings, 10975739 edges, 7346 markings/sec, 20 secs
lola: 196117 markings, 12753945 edges, 7904 markings/sec, 25 secs
lola: 219828 markings, 15457113 edges, 4742 markings/sec, 30 secs
lola: 266521 markings, 16775427 edges, 9339 markings/sec, 35 secs
lola: 311537 markings, 18225366 edges, 9003 markings/sec, 40 secs
lola: 348035 markings, 20225698 edges, 7300 markings/sec, 45 secs
lola: 383718 markings, 22148121 edges, 7137 markings/sec, 50 secs
lola: 430863 markings, 23372351 edges, 9429 markings/sec, 55 secs
lola: 474961 markings, 24803786 edges, 8820 markings/sec, 60 secs
lola: 503797 markings, 27000921 edges, 5767 markings/sec, 65 secs
lola: 513146 markings, 30046004 edges, 1870 markings/sec, 70 secs
lola: 522308 markings, 33146843 edges, 1832 markings/sec, 75 secs
lola: 531113 markings, 36276262 edges, 1761 markings/sec, 80 secs
lola: 555542 markings, 38785415 edges, 4886 markings/sec, 85 secs
lola: 566284 markings, 41868496 edges, 2148 markings/sec, 90 secs
lola: 575672 markings, 45033415 edges, 1878 markings/sec, 95 secs
lola: 584575 markings, 48132149 edges, 1781 markings/sec, 100 secs
lola: 602009 markings, 50999559 edges, 3487 markings/sec, 105 secs
lola: 642857 markings, 52462884 edges, 8170 markings/sec, 110 secs
lola: 682266 markings, 54042612 edges, 7882 markings/sec, 115 secs
lola: 721124 markings, 55548790 edges, 7772 markings/sec, 120 secs
lola: 735596 markings, 58188713 edges, 2894 markings/sec, 125 secs
lola: 744951 markings, 61064258 edges, 1871 markings/sec, 130 secs
lola: 753686 markings, 64025235 edges, 1747 markings/sec, 135 secs
lola: 786706 markings, 65875022 edges, 6604 markings/sec, 140 secs
lola: 802602 markings, 68444883 edges, 3179 markings/sec, 145 secs
lola: 832093 markings, 70298112 edges, 5898 markings/sec, 150 secs
lola: 856522 markings, 72449882 edges, 4886 markings/sec, 155 secs
lola: 875701 markings, 74778304 edges, 3836 markings/sec, 160 secs
lola: 910042 markings, 76474004 edges, 6868 markings/sec, 165 secs
lola: 925124 markings, 78963468 edges, 3016 markings/sec, 170 secs
lola: 952388 markings, 80888737 edges, 5453 markings/sec, 175 secs
lola: 978568 markings, 83082091 edges, 5236 markings/sec, 180 secs
lola: 1021438 markings, 84676355 edges, 8574 markings/sec, 185 secs
lola: 1038034 markings, 87626406 edges, 3319 markings/sec, 190 secs
lola: 1063846 markings, 90072371 edges, 5162 markings/sec, 195 secs
lola: 1082294 markings, 92693177 edges, 3690 markings/sec, 200 secs
lola: 1106909 markings, 94929166 edges, 4923 markings/sec, 205 secs
lola: 1134460 markings, 97324929 edges, 5510 markings/sec, 210 secs
lola: 1163921 markings, 99490992 edges, 5892 markings/sec, 215 secs
lola: 1189930 markings, 101875183 edges, 5202 markings/sec, 220 secs
lola: 1215618 markings, 104341631 edges, 5138 markings/sec, 225 secs
lola: 1245575 markings, 106574999 edges, 5991 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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 6 will run for 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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 7 will run for 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 40750 markings, 1432120 edges, 8150 markings/sec, 0 secs
lola: 68414 markings, 3805390 edges, 5533 markings/sec, 5 secs
lola: 93898 markings, 6202970 edges, 5097 markings/sec, 10 secs
lola: 125614 markings, 8131410 edges, 6343 markings/sec, 15 secs
lola: 155629 markings, 9957105 edges, 6003 markings/sec, 20 secs
lola: 192818 markings, 11312716 edges, 7438 markings/sec, 25 secs
lola: 223664 markings, 13118685 edges, 6169 markings/sec, 30 secs
lola: 268735 markings, 14983846 edges, 9014 markings/sec, 35 secs
lola: 295338 markings, 17470884 edges, 5321 markings/sec, 40 secs
lola: 301918 markings, 20462985 edges, 1316 markings/sec, 45 secs
lola: 307935 markings, 23482658 edges, 1203 markings/sec, 50 secs
lola: 322829 markings, 26003651 edges, 2979 markings/sec, 55 secs
lola: 348830 markings, 27857423 edges, 5200 markings/sec, 60 secs
lola: 377122 markings, 29758964 edges, 5658 markings/sec, 65 secs
lola: 406695 markings, 31371910 edges, 5915 markings/sec, 70 secs
lola: 440261 markings, 32661771 edges, 6713 markings/sec, 75 secs
lola: 468627 markings, 34324545 edges, 5673 markings/sec, 80 secs
lola: 507321 markings, 36040793 edges, 7739 markings/sec, 85 secs
lola: 539046 markings, 38034064 edges, 6345 markings/sec, 90 secs
lola: 548013 markings, 40607881 edges, 1793 markings/sec, 95 secs
lola: 553418 markings, 43273478 edges, 1081 markings/sec, 100 secs
lola: 558642 markings, 45931815 edges, 1045 markings/sec, 105 secs
lola: 581275 markings, 47959921 edges, 4527 markings/sec, 110 secs
lola: 609096 markings, 49884459 edges, 5564 markings/sec, 115 secs
lola: 633782 markings, 52066690 edges, 4937 markings/sec, 120 secs
lola: 671215 markings, 53281573 edges, 7487 markings/sec, 125 secs
lola: 701454 markings, 54796223 edges, 6048 markings/sec, 130 secs
lola: 736505 markings, 56593592 edges, 7010 markings/sec, 135 secs
lola: 777739 markings, 58425885 edges, 8247 markings/sec, 140 secs
lola: 792987 markings, 60971998 edges, 3050 markings/sec, 145 secs
lola: 798919 markings, 63822770 edges, 1186 markings/sec, 150 secs
lola: 804572 markings, 66713690 edges, 1131 markings/sec, 155 secs
lola: 828691 markings, 68689663 edges, 4824 markings/sec, 160 secs
lola: 856513 markings, 70511582 edges, 5564 markings/sec, 165 secs
lola: 883780 markings, 72248548 edges, 5453 markings/sec, 170 secs
lola: 918555 markings, 73461945 edges, 6955 markings/sec, 175 secs
lola: 946785 markings, 75019425 edges, 5646 markings/sec, 180 secs
lola: 984671 markings, 76683804 edges, 7577 markings/sec, 185 secs
lola: 1019753 markings, 78502311 edges, 7016 markings/sec, 190 secs
lola: 1029773 markings, 80911347 edges, 2004 markings/sec, 195 secs
lola: 1034822 markings, 83387630 edges, 1010 markings/sec, 200 secs
lola: 1039787 markings, 85936483 edges, 993 markings/sec, 205 secs
lola: 1053712 markings, 88127847 edges, 2785 markings/sec, 210 secs
lola: 1090681 markings, 89566410 edges, 7394 markings/sec, 215 secs
lola: 1123479 markings, 91009466 edges, 6560 markings/sec, 220 secs
lola: 1156681 markings, 92393080 edges, 6640 markings/sec, 225 secs
lola: 1190795 markings, 94146165 edges, 6823 markings/sec, 230 secs
lola: 1233196 markings, 95918052 edges, 8480 markings/sec, 235 secs
lola: 1251400 markings, 98371232 edges, 3641 markings/sec, 240 secs
lola: 1257160 markings, 101151427 edges, 1152 markings/sec, 245 secs
lola: 1262604 markings, 103956000 edges, 1089 markings/sec, 250 secs
lola: 1276550 markings, 106384242 edges, 2789 markings/sec, 255 secs
lola: 1317104 markings, 107480472 edges, 8111 markings/sec, 260 secs
lola: 1351358 markings, 108867929 edges, 6851 markings/sec, 265 secs
lola: 1385743 markings, 110616851 edges, 6877 markings/sec, 270 secs
lola: 1428944 markings, 112430811 edges, 8640 markings/sec, 275 secs
lola: 1448816 markings, 114951140 edges, 3974 markings/sec, 280 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 289 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 24 bytes per marking, with 7 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: 38334 markings, 1914859 edges, 7667 markings/sec, 0 secs
lola: 66130 markings, 4039824 edges, 5559 markings/sec, 5 secs
lola: 91756 markings, 6289331 edges, 5125 markings/sec, 10 secs
lola: 122584 markings, 8289146 edges, 6166 markings/sec, 15 secs
lola: 149518 markings, 10407639 edges, 5387 markings/sec, 20 secs
lola: 194246 markings, 11923416 edges, 8946 markings/sec, 25 secs
lola: 244349 markings, 13121067 edges, 10021 markings/sec, 30 secs
lola: 276182 markings, 14860911 edges, 6367 markings/sec, 35 secs
lola: 288082 markings, 17403824 edges, 2380 markings/sec, 40 secs
lola: 298294 markings, 20347878 edges, 2042 markings/sec, 45 secs
lola: 308412 markings, 23268921 edges, 2024 markings/sec, 50 secs
lola: 318369 markings, 26191729 edges, 1991 markings/sec, 55 secs
lola: 345228 markings, 28343981 edges, 5372 markings/sec, 60 secs
lola: 378368 markings, 30134906 edges, 6628 markings/sec, 65 secs
lola: 406155 markings, 31950113 edges, 5557 markings/sec, 70 secs
lola: 415565 markings, 34680955 edges, 1882 markings/sec, 75 secs
lola: 439270 markings, 36799298 edges, 4741 markings/sec, 80 secs
lola: 462638 markings, 38872814 edges, 4674 markings/sec, 85 secs
lola: 485992 markings, 40980983 edges, 4671 markings/sec, 90 secs
lola: 510238 markings, 43040473 edges, 4849 markings/sec, 95 secs
lola: 533947 markings, 45096221 edges, 4742 markings/sec, 100 secs
lola: 564146 markings, 47226238 edges, 6040 markings/sec, 105 secs
lola: 594013 markings, 49403862 edges, 5973 markings/sec, 110 secs
lola: 630769 markings, 51065988 edges, 7351 markings/sec, 115 secs
lola: 641396 markings, 54129694 edges, 2125 markings/sec, 120 secs
lola: 670723 markings, 56284607 edges, 5865 markings/sec, 125 secs
lola: 689178 markings, 58759257 edges, 3691 markings/sec, 130 secs
lola: 713764 markings, 60921893 edges, 4917 markings/sec, 135 secs
lola: 740847 markings, 63120279 edges, 5417 markings/sec, 140 secs
lola: 765417 markings, 65390510 edges, 4914 markings/sec, 145 secs
lola: 792955 markings, 67655179 edges, 5508 markings/sec, 150 secs
lola: 820370 markings, 69855196 edges, 5483 markings/sec, 155 secs
lola: 842858 markings, 72222450 edges, 4498 markings/sec, 160 secs
lola: 873507 markings, 74256745 edges, 6130 markings/sec, 165 secs
lola: 899228 markings, 76530735 edges, 5144 markings/sec, 170 secs
lola: 920291 markings, 78891222 edges, 4213 markings/sec, 175 secs
lola: 949574 markings, 80802732 edges, 5857 markings/sec, 180 secs
lola: 978607 markings, 82919852 edges, 5807 markings/sec, 185 secs
lola: 1021141 markings, 84375099 edges, 8507 markings/sec, 190 secs
lola: 1031973 markings, 87158550 edges, 2166 markings/sec, 195 secs
lola: 1056590 markings, 89526870 edges, 4923 markings/sec, 200 secs
lola: 1073631 markings, 91876981 edges, 3408 markings/sec, 205 secs
lola: 1096641 markings, 94006340 edges, 4602 markings/sec, 210 secs
lola: 1131521 markings, 95922325 edges, 6976 markings/sec, 215 secs
lola: 1151168 markings, 98638922 edges, 3929 markings/sec, 220 secs
lola: 1178798 markings, 100915748 edges, 5526 markings/sec, 225 secs
lola: 1206174 markings, 103218705 edges, 5475 markings/sec, 230 secs
lola: 1230799 markings, 105483852 edges, 4925 markings/sec, 235 secs
lola: 1257398 markings, 107633978 edges, 5320 markings/sec, 240 secs
lola: 1280905 markings, 109975650 edges, 4701 markings/sec, 245 secs
lola: 1311995 markings, 112096681 edges, 6218 markings/sec, 250 secs
lola: 1333856 markings, 114456300 edges, 4372 markings/sec, 255 secs
lola: 1360722 markings, 116791592 edges, 5373 markings/sec, 260 secs
lola: 1392354 markings, 118844001 edges, 6326 markings/sec, 265 secs
lola: 1413838 markings, 121228745 edges, 4297 markings/sec, 270 secs
lola: 1440211 markings, 123643991 edges, 5275 markings/sec, 275 secs
lola: 1468344 markings, 125838205 edges, 5627 markings/sec, 280 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 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 125112 markings, 2108691 edges, 25022 markings/sec, 0 secs
lola: 246462 markings, 4166337 edges, 24270 markings/sec, 5 secs
lola: 345535 markings, 6154689 edges, 19815 markings/sec, 10 secs
lola: 441008 markings, 8103769 edges, 19095 markings/sec, 15 secs
lola: 534107 markings, 10039628 edges, 18620 markings/sec, 20 secs
lola: 624963 markings, 11939374 edges, 18171 markings/sec, 25 secs
lola: 713975 markings, 13701656 edges, 17802 markings/sec, 30 secs
lola: 761348 markings, 15827310 edges, 9475 markings/sec, 35 secs
lola: 806733 markings, 17870178 edges, 9077 markings/sec, 40 secs
lola: 860606 markings, 19971263 edges, 10775 markings/sec, 45 secs
lola: 931939 markings, 22212882 edges, 14267 markings/sec, 50 secs
lola: 1011611 markings, 24433633 edges, 15934 markings/sec, 55 secs
lola: 1048729 markings, 26739799 edges, 7424 markings/sec, 60 secs
lola: 1078212 markings, 29032395 edges, 5897 markings/sec, 65 secs
lola: 1107519 markings, 31341247 edges, 5861 markings/sec, 70 secs
lola: 1138160 markings, 33534713 edges, 6128 markings/sec, 75 secs
lola: 1172421 markings, 35753305 edges, 6852 markings/sec, 80 secs
lola: 1202943 markings, 38057124 edges, 6104 markings/sec, 85 secs
lola: 1234419 markings, 40247210 edges, 6295 markings/sec, 90 secs
lola: 1265404 markings, 42391592 edges, 6197 markings/sec, 95 secs
lola: 1303549 markings, 44474253 edges, 7629 markings/sec, 100 secs
lola: 1331689 markings, 46805726 edges, 5628 markings/sec, 105 secs
lola: 1361024 markings, 49038218 edges, 5867 markings/sec, 110 secs
lola: 1391252 markings, 51155557 edges, 6046 markings/sec, 115 secs
lola: 1428293 markings, 53321567 edges, 7408 markings/sec, 120 secs
lola: 1464583 markings, 55458285 edges, 7258 markings/sec, 125 secs
lola: 1500287 markings, 57526273 edges, 7141 markings/sec, 130 secs
lola: 1531962 markings, 59553541 edges, 6335 markings/sec, 135 secs
lola: 1566562 markings, 61534965 edges, 6920 markings/sec, 140 secs
lola: 1603855 markings, 63499087 edges, 7459 markings/sec, 145 secs
lola: 1631037 markings, 65471075 edges, 5436 markings/sec, 150 secs
lola: 1699227 markings, 67315798 edges, 13638 markings/sec, 155 secs
lola: 1769097 markings, 69403069 edges, 13974 markings/sec, 160 secs
lola: 1796374 markings, 71551521 edges, 5455 markings/sec, 165 secs
lola: 1831337 markings, 73645925 edges, 6993 markings/sec, 170 secs
lola: 1868063 markings, 75682463 edges, 7345 markings/sec, 175 secs
lola: 1904536 markings, 77767789 edges, 7295 markings/sec, 180 secs
lola: 1950533 markings, 79723643 edges, 9199 markings/sec, 185 secs
lola: 2014575 markings, 81515233 edges, 12808 markings/sec, 190 secs
lola: 2054157 markings, 83539658 edges, 7916 markings/sec, 195 secs
lola: 2101882 markings, 85486329 edges, 9545 markings/sec, 200 secs
lola: 2127885 markings, 87504588 edges, 5201 markings/sec, 205 secs
lola: 2156579 markings, 89343256 edges, 5739 markings/sec, 210 secs
lola: 2200385 markings, 91318039 edges, 8761 markings/sec, 215 secs
lola: 2251205 markings, 93221521 edges, 10164 markings/sec, 220 secs
lola: 2301015 markings, 95092404 edges, 9962 markings/sec, 225 secs
lola: 2345160 markings, 97031659 edges, 8829 markings/sec, 230 secs
lola: 2400860 markings, 98888727 edges, 11140 markings/sec, 235 secs
lola: 2429457 markings, 100823872 edges, 5719 markings/sec, 240 secs
lola: 2457251 markings, 102771908 edges, 5559 markings/sec, 245 secs
lola: 2495569 markings, 104630060 edges, 7664 markings/sec, 250 secs
lola: 2544128 markings, 106257074 edges, 9712 markings/sec, 255 secs
lola: 2583207 markings, 108033764 edges, 7816 markings/sec, 260 secs
lola: 2612629 markings, 109875152 edges, 5884 markings/sec, 265 secs
lola: 2650985 markings, 111771912 edges, 7671 markings/sec, 270 secs
lola: 2686179 markings, 113610145 edges, 7039 markings/sec, 275 secs
lola: 2721493 markings, 115424918 edges, 7063 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 45468 markings, 1221184 edges, 9094 markings/sec, 0 secs
lola: 75854 markings, 3367403 edges, 6077 markings/sec, 5 secs
lola: 105050 markings, 5804715 edges, 5839 markings/sec, 10 secs
lola: 134663 markings, 8022103 edges, 5923 markings/sec, 15 secs
lola: 172989 markings, 9350665 edges, 7665 markings/sec, 20 secs
lola: 203315 markings, 11049155 edges, 6065 markings/sec, 25 secs
lola: 243766 markings, 12947748 edges, 8090 markings/sec, 30 secs
lola: 281940 markings, 15080291 edges, 7635 markings/sec, 35 secs
lola: 292301 markings, 18072919 edges, 2072 markings/sec, 40 secs
lola: 298650 markings, 21159483 edges, 1270 markings/sec, 45 secs
lola: 309585 markings, 24033328 edges, 2187 markings/sec, 50 secs
lola: 337070 markings, 26165737 edges, 5497 markings/sec, 55 secs
lola: 368365 markings, 28291950 edges, 6259 markings/sec, 60 secs
lola: 396825 markings, 30667352 edges, 5692 markings/sec, 65 secs
lola: 432631 markings, 32176635 edges, 7161 markings/sec, 70 secs
lola: 465543 markings, 33709343 edges, 6582 markings/sec, 75 secs
lola: 500632 markings, 35646142 edges, 7018 markings/sec, 80 secs
lola: 543994 markings, 37548579 edges, 8672 markings/sec, 85 secs
lola: 559767 markings, 40325401 edges, 3155 markings/sec, 90 secs
lola: 565966 markings, 43341318 edges, 1240 markings/sec, 95 secs
lola: 572099 markings, 46392584 edges, 1227 markings/sec, 100 secs
lola: 598410 markings, 48689619 edges, 5262 markings/sec, 105 secs
lola: 628662 markings, 50894319 edges, 6050 markings/sec, 110 secs
lola: 662684 markings, 52799385 edges, 6804 markings/sec, 115 secs
lola: 700865 markings, 54181264 edges, 7636 markings/sec, 120 secs
lola: 733273 markings, 56017140 edges, 6482 markings/sec, 125 secs
lola: 778374 markings, 57935347 edges, 9020 markings/sec, 130 secs
lola: 804761 markings, 60522528 edges, 5277 markings/sec, 135 secs
lola: 811550 markings, 63703646 edges, 1358 markings/sec, 140 secs
lola: 817822 markings, 66892431 edges, 1254 markings/sec, 145 secs
lola: 844705 markings, 68960030 edges, 5377 markings/sec, 150 secs
lola: 878176 markings, 70898262 edges, 6694 markings/sec, 155 secs
lola: 909357 markings, 72752132 edges, 6236 markings/sec, 160 secs
lola: 946076 markings, 74154649 edges, 7344 markings/sec, 165 secs
lola: 978448 markings, 76004600 edges, 6474 markings/sec, 170 secs
lola: 1023094 markings, 77842614 edges, 8929 markings/sec, 175 secs
lola: 1047008 markings, 80423001 edges, 4783 markings/sec, 180 secs
lola: 1053340 markings, 83483570 edges, 1266 markings/sec, 185 secs
lola: 1059620 markings, 86666103 edges, 1256 markings/sec, 190 secs
lola: 1085474 markings, 88741382 edges, 5171 markings/sec, 195 secs
lola: 1128682 markings, 89771399 edges, 8642 markings/sec, 200 secs
lola: 1159512 markings, 91612686 edges, 6166 markings/sec, 205 secs
lola: 1195333 markings, 92897888 edges, 7164 markings/sec, 210 secs
lola: 1223679 markings, 94583540 edges, 5669 markings/sec, 215 secs
lola: 1264842 markings, 96338133 edges, 8233 markings/sec, 220 secs
lola: 1297061 markings, 98360429 edges, 6444 markings/sec, 225 secs
lola: 1305923 markings, 101073798 edges, 1772 markings/sec, 230 secs
lola: 1311511 markings, 103833785 edges, 1118 markings/sec, 235 secs
lola: 1317004 markings, 106650764 edges, 1099 markings/sec, 240 secs
lola: 1353231 markings, 108082257 edges, 7245 markings/sec, 245 secs
lola: 1391999 markings, 109415712 edges, 7754 markings/sec, 250 secs
lola: 1423340 markings, 111193970 edges, 6268 markings/sec, 255 secs
lola: 1468082 markings, 113028174 edges, 8948 markings/sec, 260 secs
lola: 1496608 markings, 115474337 edges, 5705 markings/sec, 265 secs
lola: 1503943 markings, 118557215 edges, 1467 markings/sec, 270 secs
lola: 1510092 markings, 121660166 edges, 1230 markings/sec, 275 secs
lola: 1527956 markings, 124082390 edges, 3573 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 27247 markings, 2251240 edges, 5449 markings/sec, 0 secs
lola: 54829 markings, 4250368 edges, 5516 markings/sec, 5 secs
lola: 104978 markings, 6141115 edges, 10030 markings/sec, 10 secs
lola: 159488 markings, 8048145 edges, 10902 markings/sec, 15 secs
lola: 217210 markings, 10036461 edges, 11544 markings/sec, 20 secs
lola: 244850 markings, 12397560 edges, 5528 markings/sec, 25 secs
lola: 273138 markings, 14828376 edges, 5658 markings/sec, 30 secs
lola: 300616 markings, 17179701 edges, 5496 markings/sec, 35 secs
lola: 321580 markings, 19221337 edges, 4193 markings/sec, 40 secs
lola: 342830 markings, 21213348 edges, 4250 markings/sec, 45 secs
lola: 367739 markings, 23265074 edges, 4982 markings/sec, 50 secs
lola: 392712 markings, 25426604 edges, 4995 markings/sec, 55 secs
lola: 419451 markings, 27665641 edges, 5348 markings/sec, 60 secs
lola: 445857 markings, 29937309 edges, 5281 markings/sec, 65 secs
lola: 465481 markings, 31903643 edges, 3925 markings/sec, 70 secs
lola: 488006 markings, 33858770 edges, 4505 markings/sec, 75 secs
lola: 511603 markings, 35879010 edges, 4719 markings/sec, 80 secs
lola: 537073 markings, 38022813 edges, 5094 markings/sec, 85 secs
lola: 564013 markings, 40257813 edges, 5388 markings/sec, 90 secs
lola: 586221 markings, 42350324 edges, 4442 markings/sec, 95 secs
lola: 606528 markings, 44255729 edges, 4061 markings/sec, 100 secs
lola: 628985 markings, 46170753 edges, 4491 markings/sec, 105 secs
lola: 652834 markings, 48214705 edges, 4770 markings/sec, 110 secs
lola: 677833 markings, 50331985 edges, 5000 markings/sec, 115 secs
lola: 703944 markings, 52533144 edges, 5222 markings/sec, 120 secs
lola: 723941 markings, 54463649 edges, 3999 markings/sec, 125 secs
lola: 743984 markings, 56318343 edges, 4009 markings/sec, 130 secs
lola: 766402 markings, 58162895 edges, 4484 markings/sec, 135 secs
lola: 789616 markings, 60184908 edges, 4643 markings/sec, 140 secs
lola: 814688 markings, 62219071 edges, 5014 markings/sec, 145 secs
lola: 839212 markings, 64374100 edges, 4905 markings/sec, 150 secs
lola: 858206 markings, 66192753 edges, 3799 markings/sec, 155 secs
lola: 878118 markings, 67982032 edges, 3982 markings/sec, 160 secs
lola: 898873 markings, 69788662 edges, 4151 markings/sec, 165 secs
lola: 921728 markings, 71745095 edges, 4571 markings/sec, 170 secs
lola: 945419 markings, 73732399 edges, 4738 markings/sec, 175 secs
lola: 969797 markings, 75810398 edges, 4876 markings/sec, 180 secs
lola: 988388 markings, 77618840 edges, 3718 markings/sec, 185 secs
lola: 1006797 markings, 79360522 edges, 3682 markings/sec, 190 secs
lola: 1027635 markings, 81108220 edges, 4168 markings/sec, 195 secs
lola: 1049797 markings, 83003939 edges, 4432 markings/sec, 200 secs
lola: 1075345 markings, 85152386 edges, 5110 markings/sec, 205 secs
lola: 1100973 markings, 87260666 edges, 5126 markings/sec, 210 secs
lola: 1123867 markings, 89307967 edges, 4579 markings/sec, 215 secs
lola: 1143537 markings, 91197135 edges, 3934 markings/sec, 220 secs
lola: 1164646 markings, 93185356 edges, 4222 markings/sec, 225 secs
lola: 1188898 markings, 95250778 edges, 4850 markings/sec, 230 secs
lola: 1214306 markings, 97383756 edges, 5082 markings/sec, 235 secs
lola: 1235804 markings, 99333258 edges, 4300 markings/sec, 240 secs
lola: 1255027 markings, 101171124 edges, 3845 markings/sec, 245 secs
lola: 1278164 markings, 103195460 edges, 4627 markings/sec, 250 secs
lola: 1302941 markings, 105197958 edges, 4955 markings/sec, 255 secs
lola: 1325151 markings, 107222699 edges, 4442 markings/sec, 260 secs
lola: 1343225 markings, 109004461 edges, 3615 markings/sec, 265 secs
lola: 1364201 markings, 110880851 edges, 4195 markings/sec, 270 secs
lola: 1387509 markings, 112802955 edges, 4662 markings/sec, 275 secs
lola: 1410780 markings, 114813652 edges, 4654 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 37196 markings, 2191894 edges, 7439 markings/sec, 0 secs
lola: 75628 markings, 4459221 edges, 7686 markings/sec, 5 secs
lola: 117256 markings, 6630157 edges, 8326 markings/sec, 10 secs
lola: 156020 markings, 8678704 edges, 7753 markings/sec, 15 secs
lola: 189901 markings, 10777665 edges, 6776 markings/sec, 20 secs
lola: 207497 markings, 13072468 edges, 3519 markings/sec, 25 secs
lola: 223690 markings, 15374532 edges, 3239 markings/sec, 30 secs
lola: 237438 markings, 17741795 edges, 2750 markings/sec, 35 secs
lola: 251212 markings, 20796542 edges, 2755 markings/sec, 40 secs
lola: 281335 markings, 23213684 edges, 6025 markings/sec, 45 secs
lola: 314020 markings, 25531638 edges, 6537 markings/sec, 50 secs
lola: 363362 markings, 27539878 edges, 9868 markings/sec, 55 secs
lola: 396707 markings, 29704342 edges, 6669 markings/sec, 60 secs
lola: 431581 markings, 31736044 edges, 6975 markings/sec, 65 secs
lola: 453877 markings, 33973802 edges, 4459 markings/sec, 70 secs
lola: 468784 markings, 36283369 edges, 2981 markings/sec, 75 secs
lola: 483779 markings, 38586524 edges, 2999 markings/sec, 80 secs
lola: 496482 markings, 41251137 edges, 2541 markings/sec, 85 secs
lola: 525185 markings, 43946643 edges, 5741 markings/sec, 90 secs
lola: 560532 markings, 46057664 edges, 7069 markings/sec, 95 secs
lola: 591727 markings, 48139068 edges, 6239 markings/sec, 100 secs
lola: 621609 markings, 50227641 edges, 5976 markings/sec, 105 secs
lola: 666553 markings, 52044364 edges, 8989 markings/sec, 110 secs
lola: 698557 markings, 53994324 edges, 6401 markings/sec, 115 secs
lola: 715450 markings, 56109079 edges, 3379 markings/sec, 120 secs
lola: 729935 markings, 58272264 edges, 2897 markings/sec, 125 secs
lola: 743841 markings, 60482397 edges, 2781 markings/sec, 130 secs
lola: 754244 markings, 63081460 edges, 2081 markings/sec, 135 secs
lola: 778435 markings, 65731181 edges, 4838 markings/sec, 140 secs
lola: 838853 markings, 67343182 edges, 12084 markings/sec, 145 secs
lola: 895955 markings, 69243484 edges, 11420 markings/sec, 150 secs
lola: 932319 markings, 71445261 edges, 7273 markings/sec, 155 secs
lola: 970303 markings, 73440391 edges, 7597 markings/sec, 160 secs
lola: 993766 markings, 75658619 edges, 4693 markings/sec, 165 secs
lola: 1010255 markings, 77926700 edges, 3298 markings/sec, 170 secs
lola: 1025213 markings, 80280915 edges, 2992 markings/sec, 175 secs
lola: 1036485 markings, 83037127 edges, 2254 markings/sec, 180 secs
lola: 1062770 markings, 85817563 edges, 5257 markings/sec, 185 secs
lola: 1118266 markings, 87506947 edges, 11099 markings/sec, 190 secs
lola: 1188354 markings, 89312038 edges, 14018 markings/sec, 195 secs
lola: 1255618 markings, 91469204 edges, 13453 markings/sec, 200 secs
lola: 1290262 markings, 93453247 edges, 6929 markings/sec, 205 secs
lola: 1322531 markings, 95546864 edges, 6454 markings/sec, 210 secs
lola: 1357400 markings, 97585912 edges, 6974 markings/sec, 215 secs
lola: 1404608 markings, 99317103 edges, 9442 markings/sec, 220 secs
lola: 1437447 markings, 101207462 edges, 6568 markings/sec, 225 secs
lola: 1458062 markings, 103264840 edges, 4123 markings/sec, 230 secs
lola: 1471795 markings, 105420580 edges, 2747 markings/sec, 235 secs
lola: 1485161 markings, 107586997 edges, 2673 markings/sec, 240 secs
lola: 1496796 markings, 109832402 edges, 2327 markings/sec, 245 secs
lola: 1510370 markings, 112571369 edges, 2715 markings/sec, 250 secs
lola: 1556770 markings, 114555481 edges, 9280 markings/sec, 255 secs
lola: 1600692 markings, 116434715 edges, 8784 markings/sec, 260 secs
lola: 1632868 markings, 118502796 edges, 6435 markings/sec, 265 secs
lola: 1650625 markings, 120688773 edges, 3551 markings/sec, 270 secs
lola: 1665931 markings, 122976168 edges, 3061 markings/sec, 275 secs
lola: 1679715 markings, 125295086 edges, 2757 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 124251 markings, 2093712 edges, 24850 markings/sec, 0 secs
lola: 245311 markings, 4146022 edges, 24212 markings/sec, 5 secs
lola: 344895 markings, 6139284 edges, 19917 markings/sec, 10 secs
lola: 440144 markings, 8088746 edges, 19050 markings/sec, 15 secs
lola: 533731 markings, 10031691 edges, 18717 markings/sec, 20 secs
lola: 624777 markings, 11935605 edges, 18209 markings/sec, 25 secs
lola: 713848 markings, 13699145 edges, 17814 markings/sec, 30 secs
lola: 761645 markings, 15850647 edges, 9559 markings/sec, 35 secs
lola: 807391 markings, 17925905 edges, 9149 markings/sec, 40 secs
lola: 862346 markings, 20018775 edges, 10991 markings/sec, 45 secs
lola: 935189 markings, 22263003 edges, 14569 markings/sec, 50 secs
lola: 1012331 markings, 24502488 edges, 15428 markings/sec, 55 secs
lola: 1049438 markings, 26796393 edges, 7421 markings/sec, 60 secs
lola: 1079003 markings, 29088781 edges, 5913 markings/sec, 65 secs
lola: 1108199 markings, 31398771 edges, 5839 markings/sec, 70 secs
lola: 1140607 markings, 33545179 edges, 6482 markings/sec, 75 secs
lola: 1175935 markings, 35774914 edges, 7066 markings/sec, 80 secs
lola: 1205627 markings, 38135523 edges, 5938 markings/sec, 85 secs
lola: 1236341 markings, 40362359 edges, 6143 markings/sec, 90 secs
lola: 1268596 markings, 42496645 edges, 6451 markings/sec, 95 secs
lola: 1303571 markings, 44699617 edges, 6995 markings/sec, 100 secs
lola: 1332541 markings, 47031281 edges, 5794 markings/sec, 105 secs
lola: 1364857 markings, 49162458 edges, 6463 markings/sec, 110 secs
lola: 1393297 markings, 51324298 edges, 5688 markings/sec, 115 secs
lola: 1431238 markings, 53503688 edges, 7588 markings/sec, 120 secs
lola: 1469481 markings, 55631176 edges, 7649 markings/sec, 125 secs
lola: 1504146 markings, 57666763 edges, 6933 markings/sec, 130 secs
lola: 1533528 markings, 59729608 edges, 5876 markings/sec, 135 secs
lola: 1568565 markings, 61689522 edges, 7007 markings/sec, 140 secs
lola: 1605888 markings, 63623361 edges, 7465 markings/sec, 145 secs
lola: 1632277 markings, 65572578 edges, 5278 markings/sec, 150 secs
lola: 1703249 markings, 67402785 edges, 14194 markings/sec, 155 secs
lola: 1770251 markings, 69498266 edges, 13400 markings/sec, 160 secs
lola: 1797393 markings, 71638705 edges, 5428 markings/sec, 165 secs
lola: 1833062 markings, 73754391 edges, 7134 markings/sec, 170 secs
lola: 1868733 markings, 75818477 edges, 7134 markings/sec, 175 secs
lola: 1906707 markings, 77845797 edges, 7595 markings/sec, 180 secs
lola: 1952899 markings, 79779070 edges, 9238 markings/sec, 185 secs
lola: 2016059 markings, 81578111 edges, 12632 markings/sec, 190 secs
lola: 2056626 markings, 83597660 edges, 8113 markings/sec, 195 secs
lola: 2103514 markings, 85535535 edges, 9378 markings/sec, 200 secs
lola: 2128476 markings, 87584415 edges, 4992 markings/sec, 205 secs
lola: 2161038 markings, 89436366 edges, 6512 markings/sec, 210 secs
lola: 2202813 markings, 91425031 edges, 8355 markings/sec, 215 secs
lola: 2253783 markings, 93315823 edges, 10194 markings/sec, 220 secs
lola: 2305929 markings, 95197719 edges, 10429 markings/sec, 225 secs
lola: 2347779 markings, 97164057 edges, 8370 markings/sec, 230 secs
lola: 2404156 markings, 99020692 edges, 11275 markings/sec, 235 secs
lola: 2430682 markings, 100990271 edges, 5305 markings/sec, 240 secs
lola: 2459820 markings, 102916120 edges, 5828 markings/sec, 245 secs
lola: 2497213 markings, 104760432 edges, 7479 markings/sec, 250 secs
lola: 2548593 markings, 106366728 edges, 10276 markings/sec, 255 secs
lola: 2583563 markings, 108243388 edges, 6994 markings/sec, 260 secs
lola: 2617471 markings, 109963295 edges, 6782 markings/sec, 265 secs
lola: 2652683 markings, 111899553 edges, 7042 markings/sec, 270 secs
lola: 2687356 markings, 113676490 edges, 6935 markings/sec, 275 secs
lola: 2723179 markings, 115504473 edges, 7165 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 37690 markings, 2204910 edges, 7538 markings/sec, 0 secs
lola: 76571 markings, 4489423 edges, 7776 markings/sec, 5 secs
lola: 117642 markings, 6706595 edges, 8214 markings/sec, 10 secs
lola: 156745 markings, 8750828 edges, 7821 markings/sec, 15 secs
lola: 190758 markings, 10861637 edges, 6803 markings/sec, 20 secs
lola: 208148 markings, 13159419 edges, 3478 markings/sec, 25 secs
lola: 224273 markings, 15467416 edges, 3225 markings/sec, 30 secs
lola: 237442 markings, 17854533 edges, 2634 markings/sec, 35 secs
lola: 251858 markings, 20905035 edges, 2883 markings/sec, 40 secs
lola: 282017 markings, 23292597 edges, 6032 markings/sec, 45 secs
lola: 314763 markings, 25653421 edges, 6549 markings/sec, 50 secs
lola: 363956 markings, 27626375 edges, 9839 markings/sec, 55 secs
lola: 398273 markings, 29767278 edges, 6863 markings/sec, 60 secs
lola: 432862 markings, 31810226 edges, 6918 markings/sec, 65 secs
lola: 454450 markings, 34046665 edges, 4318 markings/sec, 70 secs
lola: 469347 markings, 36357536 edges, 2979 markings/sec, 75 secs
lola: 484260 markings, 38652499 edges, 2983 markings/sec, 80 secs
lola: 496893 markings, 41329920 edges, 2527 markings/sec, 85 secs
lola: 526622 markings, 43986825 edges, 5946 markings/sec, 90 secs
lola: 561562 markings, 46093275 edges, 6988 markings/sec, 95 secs
lola: 592499 markings, 48217443 edges, 6187 markings/sec, 100 secs
lola: 623364 markings, 50281509 edges, 6173 markings/sec, 105 secs
lola: 667947 markings, 52106184 edges, 8917 markings/sec, 110 secs
lola: 699433 markings, 54061092 edges, 6297 markings/sec, 115 secs
lola: 715958 markings, 56175626 edges, 3305 markings/sec, 120 secs
lola: 730425 markings, 58336549 edges, 2893 markings/sec, 125 secs
lola: 744254 markings, 60542388 edges, 2766 markings/sec, 130 secs
lola: 754679 markings, 63163312 edges, 2085 markings/sec, 135 secs
lola: 780430 markings, 65773692 edges, 5150 markings/sec, 140 secs
lola: 840751 markings, 67392462 edges, 12064 markings/sec, 145 secs
lola: 896470 markings, 69303639 edges, 11144 markings/sec, 150 secs
lola: 932750 markings, 71461740 edges, 7256 markings/sec, 155 secs
lola: 969861 markings, 73418497 edges, 7422 markings/sec, 160 secs
lola: 993352 markings, 75605558 edges, 4698 markings/sec, 165 secs
lola: 1009571 markings, 77848153 edges, 3244 markings/sec, 170 secs
lola: 1023807 markings, 80091715 edges, 2847 markings/sec, 175 secs
lola: 1034854 markings, 82687120 edges, 2209 markings/sec, 180 secs
lola: 1054300 markings, 85573877 edges, 3889 markings/sec, 185 secs
lola: 1108889 markings, 87219778 edges, 10918 markings/sec, 190 secs
lola: 1171172 markings, 88976243 edges, 12457 markings/sec, 195 secs
lola: 1247562 markings, 91083382 edges, 15278 markings/sec, 200 secs
lola: 1287063 markings, 92904182 edges, 7900 markings/sec, 205 secs
lola: 1309668 markings, 95118697 edges, 4521 markings/sec, 210 secs
lola: 1343100 markings, 97081566 edges, 6686 markings/sec, 215 secs
lola: 1388117 markings, 98729943 edges, 9003 markings/sec, 220 secs
lola: 1427294 markings, 100505581 edges, 7835 markings/sec, 225 secs
lola: 1452342 markings, 102495576 edges, 5010 markings/sec, 230 secs
lola: 1467278 markings, 104559997 edges, 2987 markings/sec, 235 secs
lola: 1481486 markings, 106646691 edges, 2842 markings/sec, 240 secs
lola: 1494328 markings, 108780362 edges, 2568 markings/sec, 245 secs
lola: 1503718 markings, 111417181 edges, 1878 markings/sec, 250 secs
lola: 1533365 markings, 113775441 edges, 5929 markings/sec, 255 secs
lola: 1582858 markings, 115528298 edges, 9899 markings/sec, 260 secs
lola: 1618231 markings, 117510447 edges, 7075 markings/sec, 265 secs
lola: 1642246 markings, 119667021 edges, 4803 markings/sec, 270 secs
lola: 1657658 markings, 121888216 edges, 3082 markings/sec, 275 secs
lola: 1671883 markings, 124207804 edges, 2845 markings/sec, 280 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 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 7 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: 31403 markings, 2430173 edges, 6281 markings/sec, 0 secs
lola: 58412 markings, 4892444 edges, 5402 markings/sec, 5 secs
lola: 85883 markings, 7226708 edges, 5494 markings/sec, 10 secs
lola: 111526 markings, 9385910 edges, 5129 markings/sec, 15 secs
lola: 136070 markings, 11518048 edges, 4909 markings/sec, 20 secs
lola: 163736 markings, 13590121 edges, 5533 markings/sec, 25 secs
lola: 192879 markings, 15929964 edges, 5829 markings/sec, 30 secs
lola: 217011 markings, 18370998 edges, 4826 markings/sec, 35 secs
lola: 243439 markings, 20631459 edges, 5286 markings/sec, 40 secs
lola: 268082 markings, 22748211 edges, 4929 markings/sec, 45 secs
lola: 291433 markings, 24766805 edges, 4670 markings/sec, 50 secs
lola: 316147 markings, 26847345 edges, 4943 markings/sec, 55 secs
lola: 345845 markings, 28988188 edges, 5940 markings/sec, 60 secs
lola: 370574 markings, 31404098 edges, 4946 markings/sec, 65 secs
lola: 398825 markings, 33692178 edges, 5650 markings/sec, 70 secs
lola: 421762 markings, 35838610 edges, 4587 markings/sec, 75 secs
lola: 445207 markings, 37844104 edges, 4689 markings/sec, 80 secs
lola: 469964 markings, 39997178 edges, 4951 markings/sec, 85 secs
lola: 504021 markings, 41858515 edges, 6811 markings/sec, 90 secs
lola: 521825 markings, 44377124 edges, 3561 markings/sec, 95 secs
lola: 549597 markings, 46747096 edges, 5554 markings/sec, 100 secs
lola: 573891 markings, 48871185 edges, 4859 markings/sec, 105 secs
lola: 597283 markings, 50856489 edges, 4678 markings/sec, 110 secs
lola: 622233 markings, 52907796 edges, 4990 markings/sec, 115 secs
lola: 649689 markings, 54831571 edges, 5491 markings/sec, 120 secs
lola: 673520 markings, 57255749 edges, 4766 markings/sec, 125 secs
lola: 700236 markings, 59563303 edges, 5343 markings/sec, 130 secs
lola: 726655 markings, 61758325 edges, 5284 markings/sec, 135 secs
lola: 749679 markings, 63870141 edges, 4605 markings/sec, 140 secs
lola: 772844 markings, 65851961 edges, 4633 markings/sec, 145 secs
lola: 797388 markings, 67911783 edges, 4909 markings/sec, 150 secs
lola: 844095 markings, 69994511 edges, 9341 markings/sec, 155 secs
lola: 893498 markings, 72026661 edges, 9881 markings/sec, 160 secs
lola: 943306 markings, 74077035 edges, 9962 markings/sec, 165 secs
lola: 992166 markings, 76088385 edges, 9772 markings/sec, 170 secs
lola: 1040902 markings, 78094494 edges, 9747 markings/sec, 175 secs
lola: 1071108 markings, 80325628 edges, 6041 markings/sec, 180 secs
lola: 1096322 markings, 82612578 edges, 5043 markings/sec, 185 secs
lola: 1122737 markings, 84889317 edges, 5283 markings/sec, 190 secs
lola: 1146348 markings, 86961444 edges, 4722 markings/sec, 195 secs
lola: 1169715 markings, 88935332 edges, 4673 markings/sec, 200 secs
lola: 1194183 markings, 91033923 edges, 4894 markings/sec, 205 secs
lola: 1239988 markings, 93054406 edges, 9161 markings/sec, 210 secs
lola: 1267308 markings, 95048435 edges, 5464 markings/sec, 215 secs
lola: 1292580 markings, 97048375 edges, 5054 markings/sec, 220 secs
lola: 1317736 markings, 99043904 edges, 5031 markings/sec, 225 secs
lola: 1342658 markings, 101020099 edges, 4984 markings/sec, 230 secs
lola: 1367367 markings, 102980996 edges, 4942 markings/sec, 235 secs
lola: 1392008 markings, 104935830 edges, 4928 markings/sec, 240 secs
lola: 1433726 markings, 106875818 edges, 8344 markings/sec, 245 secs
lola: 1480982 markings, 108805187 edges, 9451 markings/sec, 250 secs
lola: 1528022 markings, 110729981 edges, 9408 markings/sec, 255 secs
lola: 1574678 markings, 112639285 edges, 9331 markings/sec, 260 secs
lola: 1620798 markings, 114525211 edges, 9224 markings/sec, 265 secs
lola: 1666770 markings, 116407184 edges, 9194 markings/sec, 270 secs
lola: 1701264 markings, 118274569 edges, 6899 markings/sec, 275 secs
lola: 1727530 markings, 120126990 edges, 5253 markings/sec, 280 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-6a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441836121

--------------------
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_CloudDeployment-PT-6a"
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_CloudDeployment-PT-6a.tgz
mv S_CloudDeployment-PT-6a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CloudDeployment-PT-6a, 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 r098-ebro-149488455400038"
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 ;