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

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

=== Now, execution of the tool begins

BK_START 1494694469251


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ EnergyBus-PT-none @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4587/65536 symbol table entries, 981 collisions
lola: preprocessing...
lola: finding significant places
lola: 157 places, 4430 transitions, 134 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1049 transition conflict sets
lola: TASK
lola: reading formula from EnergyBus-PT-none-UpperBounds.task
lola: MAX(p128) : MAX(p154) : MAX(p56) : MAX(p90) : MAX(p65) : MAX(p4) : MAX(p142) : MAX(p141) : MAX(p110) : MAX(p143) : MAX(p125) : MAX(p8) : MAX(p38) : MAX(p56) : MAX(p68) : MAX(p52)
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(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 16983 markings, 34762 edges, 3397 markings/sec, 0 secs
lola: 33923 markings, 69324 edges, 3388 markings/sec, 5 secs
lola: 48587 markings, 99480 edges, 2933 markings/sec, 10 secs
lola: 66246 markings, 135825 edges, 3532 markings/sec, 15 secs
lola: 83693 markings, 171880 edges, 3489 markings/sec, 20 secs
lola: 102178 markings, 210988 edges, 3697 markings/sec, 25 secs
lola: 118016 markings, 245176 edges, 3168 markings/sec, 30 secs
lola: 133653 markings, 277499 edges, 3127 markings/sec, 35 secs
lola: 150899 markings, 313447 edges, 3449 markings/sec, 40 secs
lola: 168122 markings, 352475 edges, 3445 markings/sec, 45 secs
lola: 182041 markings, 384476 edges, 2784 markings/sec, 50 secs
lola: 194750 markings, 414098 edges, 2542 markings/sec, 55 secs
lola: 211640 markings, 448754 edges, 3378 markings/sec, 60 secs
lola: 230382 markings, 488276 edges, 3748 markings/sec, 65 secs
lola: 252275 markings, 535890 edges, 4379 markings/sec, 70 secs
lola: 268681 markings, 572360 edges, 3281 markings/sec, 75 secs
lola: 289228 markings, 617252 edges, 4109 markings/sec, 80 secs
lola: 301448 markings, 646223 edges, 2444 markings/sec, 85 secs
lola: 321480 markings, 691449 edges, 4006 markings/sec, 90 secs
lola: 332901 markings, 719111 edges, 2284 markings/sec, 95 secs
lola: 349875 markings, 756610 edges, 3395 markings/sec, 100 secs
lola: 366754 markings, 794584 edges, 3376 markings/sec, 105 secs
lola: 384373 markings, 833265 edges, 3524 markings/sec, 110 secs
lola: 405586 markings, 878580 edges, 4243 markings/sec, 115 secs
lola: 420874 markings, 915522 edges, 3058 markings/sec, 120 secs
lola: 427552 markings, 933320 edges, 1336 markings/sec, 125 secs
lola: 434587 markings, 951847 edges, 1407 markings/sec, 130 secs
lola: 450001 markings, 985863 edges, 3083 markings/sec, 135 secs
lola: 462088 markings, 1014588 edges, 2417 markings/sec, 140 secs
lola: 472423 markings, 1039844 edges, 2067 markings/sec, 145 secs
lola: 489078 markings, 1080659 edges, 3331 markings/sec, 150 secs
lola: 500063 markings, 1107049 edges, 2197 markings/sec, 155 secs
lola: 518713 markings, 1150757 edges, 3730 markings/sec, 160 secs
lola: 530573 markings, 1179398 edges, 2372 markings/sec, 165 secs
lola: 543795 markings, 1209347 edges, 2644 markings/sec, 170 secs
lola: 558187 markings, 1242640 edges, 2878 markings/sec, 175 secs
lola: 575481 markings, 1282370 edges, 3459 markings/sec, 180 secs
lola: 593090 markings, 1323934 edges, 3522 markings/sec, 185 secs
lola: 603968 markings, 1350926 edges, 2176 markings/sec, 190 secs
lola: 614664 markings, 1376713 edges, 2139 markings/sec, 195 secs
lola: 628407 markings, 1408737 edges, 2749 markings/sec, 200 secs
lola: 634754 markings, 1425759 edges, 1269 markings/sec, 205 secs
lola: 656757 markings, 1476059 edges, 4401 markings/sec, 210 secs
lola: 676290 markings, 1520953 edges, 3907 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(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 3022 markings, 4195 edges, 604 markings/sec, 0 secs
lola: 5222 markings, 7862 edges, 440 markings/sec, 5 secs
lola: 6818 markings, 10607 edges, 319 markings/sec, 10 secs
lola: 8748 markings, 13884 edges, 386 markings/sec, 15 secs
lola: 10916 markings, 17532 edges, 434 markings/sec, 20 secs
lola: 13250 markings, 21323 edges, 467 markings/sec, 25 secs
lola: 15497 markings, 25213 edges, 449 markings/sec, 30 secs
lola: 17301 markings, 28298 edges, 361 markings/sec, 35 secs
lola: 19188 markings, 31627 edges, 377 markings/sec, 40 secs
lola: 21073 markings, 35517 edges, 377 markings/sec, 45 secs
lola: 22750 markings, 38733 edges, 335 markings/sec, 50 secs
lola: 24712 markings, 42325 edges, 392 markings/sec, 55 secs
lola: 26498 markings, 45644 edges, 357 markings/sec, 60 secs
lola: 28394 markings, 49289 edges, 379 markings/sec, 65 secs
lola: 30166 markings, 52563 edges, 354 markings/sec, 70 secs
lola: 32062 markings, 56131 edges, 379 markings/sec, 75 secs
lola: 33852 markings, 59856 edges, 358 markings/sec, 80 secs
lola: 35427 markings, 62754 edges, 315 markings/sec, 85 secs
lola: 37439 markings, 66512 edges, 402 markings/sec, 90 secs
lola: 39572 markings, 70911 edges, 427 markings/sec, 95 secs
lola: 41154 markings, 74102 edges, 316 markings/sec, 100 secs
lola: 42381 markings, 76707 edges, 245 markings/sec, 105 secs
lola: 43867 markings, 79430 edges, 297 markings/sec, 110 secs
lola: 45185 markings, 82024 edges, 264 markings/sec, 115 secs
lola: 47209 markings, 85977 edges, 405 markings/sec, 120 secs
lola: 49237 markings, 89923 edges, 406 markings/sec, 125 secs
lola: 50657 markings, 92493 edges, 284 markings/sec, 130 secs
lola: 52525 markings, 95996 edges, 374 markings/sec, 135 secs
lola: 54288 markings, 99449 edges, 353 markings/sec, 140 secs
lola: 55906 markings, 102592 edges, 324 markings/sec, 145 secs
lola: 57090 markings, 104824 edges, 237 markings/sec, 150 secs
lola: 59152 markings, 108766 edges, 412 markings/sec, 155 secs
lola: 60641 markings, 111935 edges, 298 markings/sec, 160 secs
lola: 62222 markings, 115030 edges, 316 markings/sec, 165 secs
lola: 63940 markings, 118531 edges, 344 markings/sec, 170 secs
lola: 65526 markings, 121664 edges, 317 markings/sec, 175 secs
lola: 67405 markings, 125249 edges, 376 markings/sec, 180 secs
lola: 69023 markings, 128493 edges, 324 markings/sec, 185 secs
lola: 70261 markings, 131508 edges, 248 markings/sec, 190 secs
lola: 71451 markings, 134288 edges, 238 markings/sec, 195 secs
lola: 72571 markings, 136606 edges, 224 markings/sec, 200 secs
lola: 74175 markings, 140118 edges, 321 markings/sec, 205 secs
lola: 75410 markings, 142619 edges, 247 markings/sec, 210 secs
lola: 76936 markings, 145712 edges, 305 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(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 32891 markings, 68605 edges, 6578 markings/sec, 0 secs
lola: 52850 markings, 110859 edges, 3992 markings/sec, 5 secs
lola: 69190 markings, 147601 edges, 3268 markings/sec, 10 secs
lola: 82086 markings, 176139 edges, 2579 markings/sec, 15 secs
lola: 96838 markings, 208078 edges, 2950 markings/sec, 20 secs
lola: 111398 markings, 238753 edges, 2912 markings/sec, 25 secs
lola: 123566 markings, 264451 edges, 2434 markings/sec, 30 secs
lola: 134052 markings, 286964 edges, 2097 markings/sec, 35 secs
lola: 146599 markings, 315712 edges, 2509 markings/sec, 40 secs
lola: 158314 markings, 346835 edges, 2343 markings/sec, 45 secs
lola: 173973 markings, 380585 edges, 3132 markings/sec, 50 secs
lola: 183714 markings, 401437 edges, 1948 markings/sec, 55 secs
lola: 198801 markings, 433091 edges, 3017 markings/sec, 60 secs
lola: 212520 markings, 464546 edges, 2744 markings/sec, 65 secs
lola: 228126 markings, 501467 edges, 3121 markings/sec, 70 secs
lola: 241048 markings, 530745 edges, 2584 markings/sec, 75 secs
lola: 252619 markings, 556028 edges, 2314 markings/sec, 80 secs
lola: 273024 markings, 600421 edges, 4081 markings/sec, 85 secs
lola: 289072 markings, 636783 edges, 3210 markings/sec, 90 secs
lola: 301949 markings, 664865 edges, 2575 markings/sec, 95 secs
lola: 317553 markings, 703412 edges, 3121 markings/sec, 100 secs
lola: 332554 markings, 737048 edges, 3000 markings/sec, 105 secs
lola: 346091 markings, 767396 edges, 2707 markings/sec, 110 secs
lola: 361787 markings, 805840 edges, 3139 markings/sec, 115 secs
lola: 378846 markings, 846843 edges, 3412 markings/sec, 120 secs
lola: 393191 markings, 876963 edges, 2869 markings/sec, 125 secs
lola: 404561 markings, 905760 edges, 2274 markings/sec, 130 secs
lola: 415400 markings, 934770 edges, 2168 markings/sec, 135 secs
lola: 430027 markings, 968744 edges, 2925 markings/sec, 140 secs
lola: 445386 markings, 1002202 edges, 3072 markings/sec, 145 secs
lola: 462597 markings, 1042806 edges, 3442 markings/sec, 150 secs
lola: 474155 markings, 1069766 edges, 2312 markings/sec, 155 secs
lola: 481622 markings, 1090069 edges, 1493 markings/sec, 160 secs
lola: 496010 markings, 1122527 edges, 2878 markings/sec, 165 secs
lola: 507380 markings, 1149750 edges, 2274 markings/sec, 170 secs
lola: 520546 markings, 1181762 edges, 2633 markings/sec, 175 secs
lola: 535576 markings, 1214178 edges, 3006 markings/sec, 180 secs
lola: 550976 markings, 1252285 edges, 3080 markings/sec, 185 secs
lola: 565925 markings, 1291650 edges, 2990 markings/sec, 190 secs
lola: 578988 markings, 1321572 edges, 2613 markings/sec, 195 secs
lola: 596956 markings, 1362232 edges, 3594 markings/sec, 200 secs
lola: 609311 markings, 1392192 edges, 2471 markings/sec, 205 secs
lola: 625721 markings, 1433196 edges, 3282 markings/sec, 210 secs
lola: 642912 markings, 1473735 edges, 3438 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(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 27180 markings, 53497 edges, 5436 markings/sec, 0 secs
lola: 49258 markings, 98008 edges, 4416 markings/sec, 5 secs
lola: 72217 markings, 145155 edges, 4592 markings/sec, 10 secs
lola: 94901 markings, 191306 edges, 4537 markings/sec, 15 secs
lola: 119205 markings, 241382 edges, 4861 markings/sec, 20 secs
lola: 143829 markings, 292729 edges, 4925 markings/sec, 25 secs
lola: 166887 markings, 340146 edges, 4612 markings/sec, 30 secs
lola: 195297 markings, 400419 edges, 5682 markings/sec, 35 secs
lola: 223743 markings, 461489 edges, 5689 markings/sec, 40 secs
lola: 250916 markings, 520609 edges, 5435 markings/sec, 45 secs
lola: 275514 markings, 575140 edges, 4920 markings/sec, 50 secs
lola: 299517 markings, 628627 edges, 4801 markings/sec, 55 secs
lola: 324163 markings, 682998 edges, 4929 markings/sec, 60 secs
lola: 345585 markings, 733614 edges, 4284 markings/sec, 65 secs
lola: 365467 markings, 781700 edges, 3976 markings/sec, 70 secs
lola: 390802 markings, 834671 edges, 5067 markings/sec, 75 secs
lola: 414903 markings, 885025 edges, 4820 markings/sec, 80 secs
lola: 440631 markings, 939221 edges, 5146 markings/sec, 85 secs
lola: 464708 markings, 989379 edges, 4815 markings/sec, 90 secs
lola: 490799 markings, 1044400 edges, 5218 markings/sec, 95 secs
lola: 517967 markings, 1102827 edges, 5434 markings/sec, 100 secs
lola: 542139 markings, 1153844 edges, 4834 markings/sec, 105 secs
lola: 570282 markings, 1214972 edges, 5629 markings/sec, 110 secs
lola: 594841 markings, 1265542 edges, 4912 markings/sec, 115 secs
lola: 625099 markings, 1331758 edges, 6052 markings/sec, 120 secs
lola: 652155 markings, 1389829 edges, 5411 markings/sec, 125 secs
lola: 674999 markings, 1438534 edges, 4569 markings/sec, 130 secs
lola: 699332 markings, 1490089 edges, 4867 markings/sec, 135 secs
lola: 723330 markings, 1542022 edges, 4800 markings/sec, 140 secs
lola: 748938 markings, 1597002 edges, 5122 markings/sec, 145 secs
lola: 772442 markings, 1646577 edges, 4701 markings/sec, 150 secs
lola: 801681 markings, 1709944 edges, 5848 markings/sec, 155 secs
lola: 826801 markings, 1764190 edges, 5024 markings/sec, 160 secs
lola: 853034 markings, 1820580 edges, 5247 markings/sec, 165 secs
lola: 882707 markings, 1887370 edges, 5935 markings/sec, 170 secs
lola: 906262 markings, 1938410 edges, 4711 markings/sec, 175 secs
lola: 931602 markings, 1993331 edges, 5068 markings/sec, 180 secs
lola: 958123 markings, 2050745 edges, 5304 markings/sec, 185 secs
lola: 988055 markings, 2115817 edges, 5986 markings/sec, 190 secs
lola: 1017786 markings, 2181323 edges, 5946 markings/sec, 195 secs
lola: 1048307 markings, 2249909 edges, 6104 markings/sec, 200 secs
lola: 1084149 markings, 2331459 edges, 7168 markings/sec, 205 secs
lola: 1118082 markings, 2406410 edges, 6787 markings/sec, 210 secs
lola: 1149697 markings, 2475441 edges, 6323 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(p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 28430 markings, 75833 edges, 5686 markings/sec, 0 secs
lola: 49616 markings, 131452 edges, 4237 markings/sec, 5 secs
lola: 67003 markings, 172439 edges, 3477 markings/sec, 10 secs
lola: 84282 markings, 215258 edges, 3456 markings/sec, 15 secs
lola: 111622 markings, 283994 edges, 5468 markings/sec, 20 secs
lola: 128836 markings, 326127 edges, 3443 markings/sec, 25 secs
lola: 151985 markings, 383554 edges, 4630 markings/sec, 30 secs
lola: 180471 markings, 461035 edges, 5697 markings/sec, 35 secs
lola: 203836 markings, 521030 edges, 4673 markings/sec, 40 secs
lola: 231669 markings, 594896 edges, 5567 markings/sec, 45 secs
lola: 257402 markings, 660699 edges, 5147 markings/sec, 50 secs
lola: 281998 markings, 725855 edges, 4919 markings/sec, 55 secs
lola: 302283 markings, 776767 edges, 4057 markings/sec, 60 secs
lola: 326955 markings, 838102 edges, 4934 markings/sec, 65 secs
lola: 348635 markings, 891848 edges, 4336 markings/sec, 70 secs
lola: 373401 markings, 956307 edges, 4953 markings/sec, 75 secs
lola: 397365 markings, 1021444 edges, 4793 markings/sec, 80 secs
lola: 421674 markings, 1088917 edges, 4862 markings/sec, 85 secs
lola: 449924 markings, 1166863 edges, 5650 markings/sec, 90 secs
lola: 473394 markings, 1225982 edges, 4694 markings/sec, 95 secs
lola: 491612 markings, 1270396 edges, 3644 markings/sec, 100 secs
lola: 515687 markings, 1334454 edges, 4815 markings/sec, 105 secs
lola: 534618 markings, 1380372 edges, 3786 markings/sec, 110 secs
lola: 559316 markings, 1443520 edges, 4940 markings/sec, 115 secs
lola: 582219 markings, 1501504 edges, 4581 markings/sec, 120 secs
lola: 614405 markings, 1593469 edges, 6437 markings/sec, 125 secs
lola: 640671 markings, 1661035 edges, 5253 markings/sec, 130 secs
lola: 658139 markings, 1703908 edges, 3494 markings/sec, 135 secs
lola: 677861 markings, 1754424 edges, 3944 markings/sec, 140 secs
lola: 697687 markings, 1804868 edges, 3965 markings/sec, 145 secs
lola: 715725 markings, 1850695 edges, 3608 markings/sec, 150 secs
lola: 734389 markings, 1897421 edges, 3733 markings/sec, 155 secs
lola: 760306 markings, 1964235 edges, 5183 markings/sec, 160 secs
lola: 780719 markings, 2019660 edges, 4083 markings/sec, 165 secs
lola: 807604 markings, 2089416 edges, 5377 markings/sec, 170 secs
lola: 825405 markings, 2134544 edges, 3560 markings/sec, 175 secs
lola: 835475 markings, 2160566 edges, 2014 markings/sec, 180 secs
lola: 862190 markings, 2235365 edges, 5343 markings/sec, 185 secs
lola: 887910 markings, 2304793 edges, 5144 markings/sec, 190 secs
lola: 907488 markings, 2353515 edges, 3916 markings/sec, 195 secs
lola: 933352 markings, 2423566 edges, 5173 markings/sec, 200 secs
lola: 952543 markings, 2473219 edges, 3838 markings/sec, 205 secs
lola: 979694 markings, 2546037 edges, 5430 markings/sec, 210 secs
lola: 1001826 markings, 2600979 edges, 4426 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(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 5427 markings, 10276 edges, 1085 markings/sec, 0 secs
lola: 10919 markings, 20684 edges, 1098 markings/sec, 5 secs
lola: 16335 markings, 31002 edges, 1083 markings/sec, 10 secs
lola: 21663 markings, 41199 edges, 1066 markings/sec, 15 secs
lola: 27043 markings, 51427 edges, 1076 markings/sec, 20 secs
lola: 32381 markings, 61543 edges, 1068 markings/sec, 25 secs
lola: 37789 markings, 71771 edges, 1082 markings/sec, 30 secs
lola: 43255 markings, 82329 edges, 1093 markings/sec, 35 secs
lola: 48749 markings, 92863 edges, 1099 markings/sec, 40 secs
lola: 54257 markings, 103709 edges, 1102 markings/sec, 45 secs
lola: 59833 markings, 114555 edges, 1115 markings/sec, 50 secs
lola: 65413 markings, 125470 edges, 1116 markings/sec, 55 secs
lola: 71033 markings, 136643 edges, 1124 markings/sec, 60 secs
lola: 76613 markings, 147714 edges, 1116 markings/sec, 65 secs
lola: 82205 markings, 159661 edges, 1118 markings/sec, 70 secs
lola: 87793 markings, 170857 edges, 1118 markings/sec, 75 secs
lola: 93323 markings, 181293 edges, 1106 markings/sec, 80 secs
lola: 98855 markings, 191855 edges, 1106 markings/sec, 85 secs
lola: 104457 markings, 202501 edges, 1120 markings/sec, 90 secs
lola: 110035 markings, 213135 edges, 1116 markings/sec, 95 secs
lola: 115583 markings, 223652 edges, 1110 markings/sec, 100 secs
lola: 121067 markings, 234144 edges, 1097 markings/sec, 105 secs
lola: 126615 markings, 244741 edges, 1110 markings/sec, 110 secs
lola: 132183 markings, 255443 edges, 1114 markings/sec, 115 secs
lola: 137685 markings, 266260 edges, 1100 markings/sec, 120 secs
lola: 143059 markings, 276811 edges, 1075 markings/sec, 125 secs
lola: 148409 markings, 287747 edges, 1070 markings/sec, 130 secs
lola: 153803 markings, 298571 edges, 1079 markings/sec, 135 secs
lola: 159077 markings, 309020 edges, 1055 markings/sec, 140 secs
lola: 164353 markings, 319536 edges, 1055 markings/sec, 145 secs
lola: 169739 markings, 331002 edges, 1077 markings/sec, 150 secs
lola: 175149 markings, 342079 edges, 1082 markings/sec, 155 secs
lola: 180597 markings, 352836 edges, 1090 markings/sec, 160 secs
lola: 186209 markings, 364774 edges, 1122 markings/sec, 165 secs
lola: 191599 markings, 376358 edges, 1078 markings/sec, 170 secs
lola: 197167 markings, 388466 edges, 1114 markings/sec, 175 secs
lola: 202689 markings, 400777 edges, 1104 markings/sec, 180 secs
lola: 207907 markings, 411844 edges, 1044 markings/sec, 185 secs
lola: 213225 markings, 424597 edges, 1064 markings/sec, 190 secs
lola: 218767 markings, 436636 edges, 1108 markings/sec, 195 secs
lola: 224285 markings, 448033 edges, 1104 markings/sec, 200 secs
lola: 229761 markings, 462233 edges, 1095 markings/sec, 205 secs
lola: 235179 markings, 475285 edges, 1084 markings/sec, 210 secs
lola: 240661 markings, 485744 edges, 1096 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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 30287 markings, 58875 edges, 6057 markings/sec, 0 secs
lola: 60163 markings, 118724 edges, 5975 markings/sec, 5 secs
lola: 90250 markings, 177450 edges, 6017 markings/sec, 10 secs
lola: 119452 markings, 234314 edges, 5840 markings/sec, 15 secs
lola: 148166 markings, 295436 edges, 5743 markings/sec, 20 secs
lola: 176735 markings, 354505 edges, 5714 markings/sec, 25 secs
lola: 205572 markings, 413868 edges, 5767 markings/sec, 30 secs
lola: 235353 markings, 475193 edges, 5956 markings/sec, 35 secs
lola: 264865 markings, 539499 edges, 5902 markings/sec, 40 secs
lola: 295739 markings, 610718 edges, 6175 markings/sec, 45 secs
lola: 326726 markings, 682697 edges, 6197 markings/sec, 50 secs
lola: 356115 markings, 753139 edges, 5878 markings/sec, 55 secs
lola: 384648 markings, 819851 edges, 5707 markings/sec, 60 secs
lola: 412988 markings, 887232 edges, 5668 markings/sec, 65 secs
lola: 440635 markings, 951008 edges, 5529 markings/sec, 70 secs
lola: 468942 markings, 1016157 edges, 5661 markings/sec, 75 secs
lola: 497695 markings, 1079830 edges, 5751 markings/sec, 80 secs
lola: 528282 markings, 1150648 edges, 6117 markings/sec, 85 secs
lola: 553594 markings, 1210669 edges, 5062 markings/sec, 90 secs
lola: 583752 markings, 1278507 edges, 6032 markings/sec, 95 secs
lola: 611363 markings, 1343068 edges, 5522 markings/sec, 100 secs
lola: 638963 markings, 1403438 edges, 5520 markings/sec, 105 secs
lola: 658726 markings, 1447202 edges, 3953 markings/sec, 110 secs
lola: 684437 markings, 1506686 edges, 5142 markings/sec, 115 secs
lola: 715536 markings, 1578032 edges, 6220 markings/sec, 120 secs
lola: 745539 markings, 1648184 edges, 6001 markings/sec, 125 secs
lola: 767683 markings, 1699788 edges, 4429 markings/sec, 130 secs
lola: 793570 markings, 1762431 edges, 5177 markings/sec, 135 secs
lola: 823056 markings, 1834722 edges, 5897 markings/sec, 140 secs
lola: 843474 markings, 1881736 edges, 4084 markings/sec, 145 secs
lola: 870677 markings, 1943914 edges, 5441 markings/sec, 150 secs
lola: 892654 markings, 1995890 edges, 4395 markings/sec, 155 secs
lola: 921189 markings, 2060172 edges, 5707 markings/sec, 160 secs
lola: 941513 markings, 2107655 edges, 4065 markings/sec, 165 secs
lola: 967471 markings, 2170882 edges, 5192 markings/sec, 170 secs
lola: 997013 markings, 2240975 edges, 5908 markings/sec, 175 secs
lola: 1024047 markings, 2301912 edges, 5407 markings/sec, 180 secs
lola: 1052124 markings, 2364803 edges, 5615 markings/sec, 185 secs
lola: 1078233 markings, 2422863 edges, 5222 markings/sec, 190 secs
lola: 1100234 markings, 2477687 edges, 4400 markings/sec, 195 secs
lola: 1116554 markings, 2516753 edges, 3264 markings/sec, 200 secs
lola: 1143717 markings, 2580884 edges, 5433 markings/sec, 205 secs
lola: 1168947 markings, 2636238 edges, 5046 markings/sec, 210 secs
lola: 1198469 markings, 2706875 edges, 5904 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(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 17834 markings, 35576 edges, 3567 markings/sec, 0 secs
lola: 35613 markings, 71687 edges, 3556 markings/sec, 5 secs
lola: 54162 markings, 110119 edges, 3710 markings/sec, 10 secs
lola: 72521 markings, 149568 edges, 3672 markings/sec, 15 secs
lola: 90390 markings, 185675 edges, 3574 markings/sec, 20 secs
lola: 108941 markings, 221875 edges, 3710 markings/sec, 25 secs
lola: 129080 markings, 263368 edges, 4028 markings/sec, 30 secs
lola: 147268 markings, 302401 edges, 3638 markings/sec, 35 secs
lola: 165660 markings, 338426 edges, 3678 markings/sec, 40 secs
lola: 183936 markings, 375555 edges, 3655 markings/sec, 45 secs
lola: 202389 markings, 415119 edges, 3691 markings/sec, 50 secs
lola: 220596 markings, 450836 edges, 3641 markings/sec, 55 secs
lola: 240679 markings, 491262 edges, 4017 markings/sec, 60 secs
lola: 259344 markings, 529001 edges, 3733 markings/sec, 65 secs
lola: 277689 markings, 568303 edges, 3669 markings/sec, 70 secs
lola: 296869 markings, 608542 edges, 3836 markings/sec, 75 secs
lola: 315103 markings, 647158 edges, 3647 markings/sec, 80 secs
lola: 334419 markings, 687296 edges, 3863 markings/sec, 85 secs
lola: 353614 markings, 730064 edges, 3839 markings/sec, 90 secs
lola: 372302 markings, 766855 edges, 3738 markings/sec, 95 secs
lola: 392987 markings, 810130 edges, 4137 markings/sec, 100 secs
lola: 413809 markings, 854020 edges, 4164 markings/sec, 105 secs
lola: 436905 markings, 907642 edges, 4619 markings/sec, 110 secs
lola: 458176 markings, 951860 edges, 4254 markings/sec, 115 secs
lola: 479300 markings, 998895 edges, 4225 markings/sec, 120 secs
lola: 500707 markings, 1047843 edges, 4281 markings/sec, 125 secs
lola: 526176 markings, 1106732 edges, 5094 markings/sec, 130 secs
lola: 549966 markings, 1164118 edges, 4758 markings/sec, 135 secs
lola: 572182 markings, 1214901 edges, 4443 markings/sec, 140 secs
lola: 590293 markings, 1255007 edges, 3622 markings/sec, 145 secs
lola: 606047 markings, 1289492 edges, 3151 markings/sec, 150 secs
lola: 626250 markings, 1332888 edges, 4041 markings/sec, 155 secs
lola: 651104 markings, 1393405 edges, 4971 markings/sec, 160 secs
lola: 669778 markings, 1433128 edges, 3735 markings/sec, 165 secs
lola: 687500 markings, 1470438 edges, 3544 markings/sec, 170 secs
lola: 706670 markings, 1513379 edges, 3834 markings/sec, 175 secs
lola: 726622 markings, 1557311 edges, 3990 markings/sec, 180 secs
lola: 745199 markings, 1598744 edges, 3715 markings/sec, 185 secs
lola: 764369 markings, 1640899 edges, 3834 markings/sec, 190 secs
lola: 783710 markings, 1682278 edges, 3868 markings/sec, 195 secs
lola: 801215 markings, 1721631 edges, 3501 markings/sec, 200 secs
lola: 815913 markings, 1753396 edges, 2940 markings/sec, 205 secs
lola: 833693 markings, 1792486 edges, 3556 markings/sec, 210 secs
lola: 853424 markings, 1837366 edges, 3946 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 8682 markings, 27353 edges, 1736 markings/sec, 0 secs
lola: 15168 markings, 48316 edges, 1297 markings/sec, 5 secs
lola: 23844 markings, 76341 edges, 1735 markings/sec, 10 secs
lola: 32627 markings, 104907 edges, 1757 markings/sec, 15 secs
lola: 41407 markings, 132977 edges, 1756 markings/sec, 20 secs
lola: 47855 markings, 154158 edges, 1290 markings/sec, 25 secs
lola: 55344 markings, 178615 edges, 1498 markings/sec, 30 secs
lola: 63609 markings, 205653 edges, 1653 markings/sec, 35 secs
lola: 72460 markings, 234829 edges, 1770 markings/sec, 40 secs
lola: 81247 markings, 263731 edges, 1757 markings/sec, 45 secs
lola: 90210 markings, 293590 edges, 1793 markings/sec, 50 secs
lola: 99134 markings, 322767 edges, 1785 markings/sec, 55 secs
lola: 107885 markings, 351560 edges, 1750 markings/sec, 60 secs
lola: 116672 markings, 379986 edges, 1757 markings/sec, 65 secs
lola: 125653 markings, 410263 edges, 1796 markings/sec, 70 secs
lola: 135003 markings, 443950 edges, 1870 markings/sec, 75 secs
lola: 144057 markings, 476691 edges, 1811 markings/sec, 80 secs
lola: 150607 markings, 500586 edges, 1310 markings/sec, 85 secs
lola: 158440 markings, 526814 edges, 1567 markings/sec, 90 secs
lola: 167175 markings, 554659 edges, 1747 markings/sec, 95 secs
lola: 175932 markings, 582742 edges, 1751 markings/sec, 100 secs
lola: 184401 markings, 609898 edges, 1694 markings/sec, 105 secs
lola: 193421 markings, 640340 edges, 1804 markings/sec, 110 secs
lola: 202214 markings, 669156 edges, 1759 markings/sec, 115 secs
lola: 210790 markings, 697992 edges, 1715 markings/sec, 120 secs
lola: 218541 markings, 723294 edges, 1550 markings/sec, 125 secs
lola: 226577 markings, 749090 edges, 1607 markings/sec, 130 secs
lola: 235327 markings, 777496 edges, 1750 markings/sec, 135 secs
lola: 244355 markings, 807567 edges, 1806 markings/sec, 140 secs
lola: 253201 markings, 836906 edges, 1769 markings/sec, 145 secs
lola: 262254 markings, 867760 edges, 1811 markings/sec, 150 secs
lola: 270016 markings, 893670 edges, 1552 markings/sec, 155 secs
lola: 278067 markings, 921090 edges, 1610 markings/sec, 160 secs
lola: 286996 markings, 949892 edges, 1786 markings/sec, 165 secs
lola: 295817 markings, 978821 edges, 1764 markings/sec, 170 secs
lola: 304584 markings, 1007417 edges, 1753 markings/sec, 175 secs
lola: 313264 markings, 1037417 edges, 1736 markings/sec, 180 secs
lola: 320487 markings, 1063143 edges, 1445 markings/sec, 185 secs
lola: 329868 markings, 1097788 edges, 1876 markings/sec, 190 secs
lola: 339051 markings, 1131408 edges, 1837 markings/sec, 195 secs
lola: 348529 markings, 1167358 edges, 1896 markings/sec, 200 secs
lola: 355457 markings, 1194462 edges, 1386 markings/sec, 205 secs
lola: 363989 markings, 1226428 edges, 1706 markings/sec, 210 secs
lola: 371499 markings, 1250853 edges, 1502 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 17577 markings, 38896 edges, 3515 markings/sec, 0 secs
lola: 40646 markings, 89879 edges, 4614 markings/sec, 5 secs
lola: 63534 markings, 139827 edges, 4578 markings/sec, 10 secs
lola: 80666 markings, 177535 edges, 3426 markings/sec, 15 secs
lola: 103403 markings, 226071 edges, 4547 markings/sec, 20 secs
lola: 118877 markings, 260215 edges, 3095 markings/sec, 25 secs
lola: 137030 markings, 301194 edges, 3631 markings/sec, 30 secs
lola: 154519 markings, 339813 edges, 3498 markings/sec, 35 secs
lola: 172726 markings, 379022 edges, 3641 markings/sec, 40 secs
lola: 186884 markings, 409815 edges, 2832 markings/sec, 45 secs
lola: 205682 markings, 452384 edges, 3760 markings/sec, 50 secs
lola: 219546 markings, 484051 edges, 2773 markings/sec, 55 secs
lola: 239458 markings, 526522 edges, 3982 markings/sec, 60 secs
lola: 258370 markings, 568863 edges, 3782 markings/sec, 65 secs
lola: 272130 markings, 601134 edges, 2752 markings/sec, 70 secs
lola: 287078 markings, 634945 edges, 2990 markings/sec, 75 secs
lola: 309686 markings, 681226 edges, 4522 markings/sec, 80 secs
lola: 330466 markings, 725525 edges, 4156 markings/sec, 85 secs
lola: 344305 markings, 757382 edges, 2768 markings/sec, 90 secs
lola: 363876 markings, 799633 edges, 3914 markings/sec, 95 secs
lola: 376969 markings, 829381 edges, 2619 markings/sec, 100 secs
lola: 387512 markings, 854351 edges, 2109 markings/sec, 105 secs
lola: 399940 markings, 882768 edges, 2486 markings/sec, 110 secs
lola: 414774 markings, 917442 edges, 2967 markings/sec, 115 secs
lola: 429890 markings, 952217 edges, 3023 markings/sec, 120 secs
lola: 442583 markings, 981145 edges, 2539 markings/sec, 125 secs
lola: 456206 markings, 1012254 edges, 2725 markings/sec, 130 secs
lola: 468451 markings, 1041407 edges, 2449 markings/sec, 135 secs
lola: 490328 markings, 1088502 edges, 4375 markings/sec, 140 secs
lola: 508900 markings, 1129356 edges, 3714 markings/sec, 145 secs
lola: 527691 markings, 1170101 edges, 3758 markings/sec, 150 secs
lola: 542024 markings, 1202343 edges, 2867 markings/sec, 155 secs
lola: 560261 markings, 1243413 edges, 3647 markings/sec, 160 secs
lola: 583175 markings, 1293768 edges, 4583 markings/sec, 165 secs
lola: 601034 markings, 1333519 edges, 3572 markings/sec, 170 secs
lola: 618978 markings, 1372420 edges, 3589 markings/sec, 175 secs
lola: 638330 markings, 1419037 edges, 3870 markings/sec, 180 secs
lola: 657385 markings, 1460504 edges, 3811 markings/sec, 185 secs
lola: 676187 markings, 1502953 edges, 3760 markings/sec, 190 secs
lola: 686622 markings, 1527967 edges, 2087 markings/sec, 195 secs
lola: 690979 markings, 1541318 edges, 871 markings/sec, 200 secs
lola: 710169 markings, 1583154 edges, 3838 markings/sec, 205 secs
lola: 724212 markings, 1615629 edges, 2809 markings/sec, 210 secs
lola: 740952 markings, 1658883 edges, 3348 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 9950 markings, 19464 edges, 1990 markings/sec, 0 secs
lola: 19742 markings, 38880 edges, 1958 markings/sec, 5 secs
lola: 29451 markings, 58035 edges, 1942 markings/sec, 10 secs
lola: 39208 markings, 76935 edges, 1951 markings/sec, 15 secs
lola: 49036 markings, 96074 edges, 1966 markings/sec, 20 secs
lola: 58966 markings, 115890 edges, 1986 markings/sec, 25 secs
lola: 68759 markings, 135185 edges, 1959 markings/sec, 30 secs
lola: 78547 markings, 154552 edges, 1958 markings/sec, 35 secs
lola: 86498 markings, 170254 edges, 1590 markings/sec, 40 secs
lola: 96159 markings, 189332 edges, 1932 markings/sec, 45 secs
lola: 105852 markings, 208554 edges, 1939 markings/sec, 50 secs
lola: 115618 markings, 227448 edges, 1953 markings/sec, 55 secs
lola: 125324 markings, 246442 edges, 1941 markings/sec, 60 secs
lola: 134987 markings, 265441 edges, 1933 markings/sec, 65 secs
lola: 144760 markings, 284830 edges, 1955 markings/sec, 70 secs
lola: 154517 markings, 303992 edges, 1951 markings/sec, 75 secs
lola: 163743 markings, 322048 edges, 1845 markings/sec, 80 secs
lola: 172191 markings, 338512 edges, 1690 markings/sec, 85 secs
lola: 182052 markings, 357997 edges, 1972 markings/sec, 90 secs
lola: 191707 markings, 377144 edges, 1931 markings/sec, 95 secs
lola: 199526 markings, 393219 edges, 1564 markings/sec, 100 secs
lola: 209407 markings, 413203 edges, 1976 markings/sec, 105 secs
lola: 219309 markings, 432469 edges, 1980 markings/sec, 110 secs
lola: 229208 markings, 451867 edges, 1980 markings/sec, 115 secs
lola: 239102 markings, 472353 edges, 1979 markings/sec, 120 secs
lola: 249148 markings, 493362 edges, 2009 markings/sec, 125 secs
lola: 259039 markings, 513470 edges, 1978 markings/sec, 130 secs
lola: 269247 markings, 535640 edges, 2042 markings/sec, 135 secs
lola: 279015 markings, 558238 edges, 1954 markings/sec, 140 secs
lola: 288167 markings, 579288 edges, 1830 markings/sec, 145 secs
lola: 298121 markings, 600411 edges, 1991 markings/sec, 150 secs
lola: 308451 markings, 624216 edges, 2066 markings/sec, 155 secs
lola: 317275 markings, 645419 edges, 1765 markings/sec, 160 secs
lola: 326434 markings, 664881 edges, 1832 markings/sec, 165 secs
lola: 336328 markings, 685365 edges, 1979 markings/sec, 170 secs
lola: 346109 markings, 705806 edges, 1956 markings/sec, 175 secs
lola: 355591 markings, 727463 edges, 1896 markings/sec, 180 secs
lola: 364587 markings, 748289 edges, 1799 markings/sec, 185 secs
lola: 374477 markings, 768941 edges, 1978 markings/sec, 190 secs
lola: 384530 markings, 790642 edges, 2011 markings/sec, 195 secs
lola: 394467 markings, 811950 edges, 1987 markings/sec, 200 secs
lola: 403598 markings, 831648 edges, 1826 markings/sec, 205 secs
lola: 413370 markings, 851915 edges, 1954 markings/sec, 210 secs
lola: 423269 markings, 872417 edges, 1980 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 4768 markings, 14689 edges, 954 markings/sec, 0 secs
lola: 9234 markings, 28139 edges, 893 markings/sec, 5 secs
lola: 13978 markings, 42733 edges, 949 markings/sec, 10 secs
lola: 18593 markings, 57290 edges, 923 markings/sec, 15 secs
lola: 23212 markings, 71947 edges, 924 markings/sec, 20 secs
lola: 27649 markings, 85710 edges, 887 markings/sec, 25 secs
lola: 32391 markings, 99748 edges, 948 markings/sec, 30 secs
lola: 37007 markings, 113960 edges, 923 markings/sec, 35 secs
lola: 41759 markings, 128746 edges, 950 markings/sec, 40 secs
lola: 46510 markings, 143416 edges, 950 markings/sec, 45 secs
lola: 51218 markings, 158255 edges, 942 markings/sec, 50 secs
lola: 55862 markings, 172773 edges, 929 markings/sec, 55 secs
lola: 60591 markings, 187599 edges, 946 markings/sec, 60 secs
lola: 65026 markings, 201864 edges, 887 markings/sec, 65 secs
lola: 69797 markings, 217434 edges, 954 markings/sec, 70 secs
lola: 74560 markings, 231987 edges, 953 markings/sec, 75 secs
lola: 79242 markings, 246067 edges, 936 markings/sec, 80 secs
lola: 84012 markings, 260803 edges, 954 markings/sec, 85 secs
lola: 88765 markings, 276125 edges, 951 markings/sec, 90 secs
lola: 93376 markings, 291720 edges, 922 markings/sec, 95 secs
lola: 98050 markings, 307930 edges, 935 markings/sec, 100 secs
lola: 102750 markings, 323392 edges, 940 markings/sec, 105 secs
lola: 107410 markings, 339334 edges, 932 markings/sec, 110 secs
lola: 112122 markings, 355117 edges, 942 markings/sec, 115 secs
lola: 116814 markings, 369269 edges, 938 markings/sec, 120 secs
lola: 121275 markings, 384832 edges, 892 markings/sec, 125 secs
lola: 126062 markings, 399620 edges, 957 markings/sec, 130 secs
lola: 130718 markings, 416352 edges, 931 markings/sec, 135 secs
lola: 135466 markings, 431090 edges, 950 markings/sec, 140 secs
lola: 140255 markings, 445530 edges, 958 markings/sec, 145 secs
lola: 144768 markings, 458667 edges, 903 markings/sec, 150 secs
lola: 149396 markings, 473895 edges, 926 markings/sec, 155 secs
lola: 154110 markings, 488854 edges, 943 markings/sec, 160 secs
lola: 158662 markings, 505158 edges, 910 markings/sec, 165 secs
lola: 163220 markings, 521115 edges, 912 markings/sec, 170 secs
lola: 167977 markings, 536448 edges, 951 markings/sec, 175 secs
lola: 172779 markings, 550397 edges, 960 markings/sec, 180 secs
lola: 177520 markings, 565516 edges, 948 markings/sec, 185 secs
lola: 182248 markings, 580393 edges, 946 markings/sec, 190 secs
lola: 186847 markings, 594864 edges, 920 markings/sec, 195 secs
lola: 191458 markings, 610260 edges, 922 markings/sec, 200 secs
lola: 195911 markings, 623394 edges, 891 markings/sec, 205 secs
lola: 200638 markings, 638150 edges, 945 markings/sec, 210 secs
lola: 205243 markings, 651945 edges, 921 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 27156 markings, 51956 edges, 5431 markings/sec, 0 secs
lola: 53548 markings, 102182 edges, 5278 markings/sec, 5 secs
lola: 77435 markings, 147814 edges, 4777 markings/sec, 10 secs
lola: 102959 markings, 196480 edges, 5105 markings/sec, 15 secs
lola: 125713 markings, 240063 edges, 4551 markings/sec, 20 secs
lola: 152646 markings, 291564 edges, 5387 markings/sec, 25 secs
lola: 175633 markings, 335589 edges, 4597 markings/sec, 30 secs
lola: 199559 markings, 381293 edges, 4785 markings/sec, 35 secs
lola: 222137 markings, 424506 edges, 4516 markings/sec, 40 secs
lola: 244188 markings, 466746 edges, 4410 markings/sec, 45 secs
lola: 268523 markings, 513647 edges, 4867 markings/sec, 50 secs
lola: 293945 markings, 562764 edges, 5084 markings/sec, 55 secs
lola: 317474 markings, 608393 edges, 4706 markings/sec, 60 secs
lola: 339369 markings, 650848 edges, 4379 markings/sec, 65 secs
lola: 357618 markings, 686376 edges, 3650 markings/sec, 70 secs
lola: 381609 markings, 732465 edges, 4798 markings/sec, 75 secs
lola: 404209 markings, 775789 edges, 4520 markings/sec, 80 secs
lola: 426860 markings, 819595 edges, 4530 markings/sec, 85 secs
lola: 451068 markings, 866279 edges, 4842 markings/sec, 90 secs
lola: 475131 markings, 912438 edges, 4813 markings/sec, 95 secs
lola: 495688 markings, 951934 edges, 4111 markings/sec, 100 secs
lola: 518400 markings, 995438 edges, 4542 markings/sec, 105 secs
lola: 542506 markings, 1041893 edges, 4821 markings/sec, 110 secs
lola: 563564 markings, 1082283 edges, 4212 markings/sec, 115 secs
lola: 591254 markings, 1135921 edges, 5538 markings/sec, 120 secs
lola: 618751 markings, 1189797 edges, 5499 markings/sec, 125 secs
lola: 645599 markings, 1242128 edges, 5370 markings/sec, 130 secs
lola: 672103 markings, 1293667 edges, 5301 markings/sec, 135 secs
lola: 698529 markings, 1345727 edges, 5285 markings/sec, 140 secs
lola: 725503 markings, 1398442 edges, 5395 markings/sec, 145 secs
lola: 743674 markings, 1434009 edges, 3634 markings/sec, 150 secs
lola: 767414 markings, 1481077 edges, 4748 markings/sec, 155 secs
lola: 789023 markings, 1524406 edges, 4322 markings/sec, 160 secs
lola: 820790 markings, 1590522 edges, 6353 markings/sec, 165 secs
lola: 844028 markings, 1635468 edges, 4648 markings/sec, 170 secs
lola: 864476 markings, 1675342 edges, 4090 markings/sec, 175 secs
lola: 890245 markings, 1725293 edges, 5154 markings/sec, 180 secs
lola: 911174 markings, 1767115 edges, 4186 markings/sec, 185 secs
lola: 937079 markings, 1817801 edges, 5181 markings/sec, 190 secs
lola: 963370 markings, 1869622 edges, 5258 markings/sec, 195 secs
lola: 985725 markings, 1913389 edges, 4471 markings/sec, 200 secs
lola: 1008143 markings, 1965167 edges, 4484 markings/sec, 205 secs
lola: 1012519 markings, 1974331 edges, 875 markings/sec, 210 secs
lola: 1020280 markings, 1991303 edges, 1552 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 32638 markings, 68082 edges, 6528 markings/sec, 0 secs
lola: 51227 markings, 107620 edges, 3718 markings/sec, 5 secs
lola: 68664 markings, 146050 edges, 3487 markings/sec, 10 secs
lola: 81694 markings, 175285 edges, 2606 markings/sec, 15 secs
lola: 94567 markings, 202604 edges, 2575 markings/sec, 20 secs
lola: 110546 markings, 236955 edges, 3196 markings/sec, 25 secs
lola: 119799 markings, 256405 edges, 1851 markings/sec, 30 secs
lola: 135031 markings, 289068 edges, 3046 markings/sec, 35 secs
lola: 146647 markings, 315835 edges, 2323 markings/sec, 40 secs
lola: 158229 markings, 346553 edges, 2316 markings/sec, 45 secs
lola: 174016 markings, 380706 edges, 3157 markings/sec, 50 secs
lola: 184015 markings, 402073 edges, 2000 markings/sec, 55 secs
lola: 198807 markings, 433099 edges, 2958 markings/sec, 60 secs
lola: 212406 markings, 464166 edges, 2720 markings/sec, 65 secs
lola: 227690 markings, 500432 edges, 3057 markings/sec, 70 secs
lola: 243034 markings, 535235 edges, 3069 markings/sec, 75 secs
lola: 254905 markings, 560832 edges, 2374 markings/sec, 80 secs
lola: 275281 markings, 605063 edges, 4075 markings/sec, 85 secs
lola: 290640 markings, 640385 edges, 3072 markings/sec, 90 secs
lola: 302345 markings, 666120 edges, 2341 markings/sec, 95 secs
lola: 317863 markings, 704452 edges, 3104 markings/sec, 100 secs
lola: 332573 markings, 737104 edges, 2942 markings/sec, 105 secs
lola: 345994 markings, 767053 edges, 2684 markings/sec, 110 secs
lola: 361257 markings, 804754 edges, 3053 markings/sec, 115 secs
lola: 377637 markings, 844361 edges, 3276 markings/sec, 120 secs
lola: 391734 markings, 873785 edges, 2819 markings/sec, 125 secs
lola: 401883 markings, 900281 edges, 2030 markings/sec, 130 secs
lola: 413859 markings, 930693 edges, 2395 markings/sec, 135 secs
lola: 427098 markings, 962229 edges, 2648 markings/sec, 140 secs
lola: 442044 markings, 993845 edges, 2989 markings/sec, 145 secs
lola: 458772 markings, 1034671 edges, 3346 markings/sec, 150 secs
lola: 471549 markings, 1063084 edges, 2555 markings/sec, 155 secs
lola: 478330 markings, 1080741 edges, 1356 markings/sec, 160 secs
lola: 491828 markings, 1113406 edges, 2700 markings/sec, 165 secs
lola: 502739 markings, 1138633 edges, 2182 markings/sec, 170 secs
lola: 515152 markings, 1170705 edges, 2483 markings/sec, 175 secs
lola: 529767 markings, 1201782 edges, 2923 markings/sec, 180 secs
lola: 545608 markings, 1239258 edges, 3168 markings/sec, 185 secs
lola: 559116 markings, 1274356 edges, 2702 markings/sec, 190 secs
lola: 573757 markings, 1309915 edges, 2928 markings/sec, 195 secs
lola: 591574 markings, 1351047 edges, 3563 markings/sec, 200 secs
lola: 605182 markings, 1382262 edges, 2722 markings/sec, 205 secs
lola: 620621 markings, 1419601 edges, 3088 markings/sec, 210 secs
lola: 634759 markings, 1454335 edges, 2828 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 25043 markings, 48171 edges, 5009 markings/sec, 0 secs
lola: 46201 markings, 89979 edges, 4232 markings/sec, 5 secs
lola: 64694 markings, 131141 edges, 3699 markings/sec, 10 secs
lola: 91804 markings, 183248 edges, 5422 markings/sec, 15 secs
lola: 118851 markings, 235417 edges, 5409 markings/sec, 20 secs
lola: 138489 markings, 275041 edges, 3928 markings/sec, 25 secs
lola: 141205 markings, 281843 edges, 543 markings/sec, 30 secs
lola: 150574 markings, 301999 edges, 1874 markings/sec, 35 secs
lola: 163031 markings, 331264 edges, 2491 markings/sec, 40 secs
lola: 190845 markings, 393053 edges, 5563 markings/sec, 45 secs
lola: 214036 markings, 439959 edges, 4638 markings/sec, 50 secs
lola: 229373 markings, 475290 edges, 3067 markings/sec, 55 secs
lola: 250834 markings, 519510 edges, 4292 markings/sec, 60 secs
lola: 277734 markings, 573563 edges, 5380 markings/sec, 65 secs
lola: 294887 markings, 609489 edges, 3431 markings/sec, 70 secs
lola: 314361 markings, 651539 edges, 3895 markings/sec, 75 secs
lola: 333513 markings, 696308 edges, 3830 markings/sec, 80 secs
lola: 361062 markings, 751987 edges, 5510 markings/sec, 85 secs
lola: 383048 markings, 796851 edges, 4397 markings/sec, 90 secs
lola: 391784 markings, 815715 edges, 1747 markings/sec, 95 secs
lola: 405759 markings, 846520 edges, 2795 markings/sec, 100 secs
lola: 432015 markings, 901329 edges, 5251 markings/sec, 105 secs
lola: 444295 markings, 927464 edges, 2456 markings/sec, 110 secs
lola: 453535 markings, 947403 edges, 1848 markings/sec, 115 secs
lola: 465086 markings, 972462 edges, 2310 markings/sec, 120 secs
lola: 480648 markings, 1003130 edges, 3112 markings/sec, 125 secs
lola: 499476 markings, 1043005 edges, 3766 markings/sec, 130 secs
lola: 512892 markings, 1073596 edges, 2683 markings/sec, 135 secs
lola: 531126 markings, 1111569 edges, 3647 markings/sec, 140 secs
lola: 542181 markings, 1138042 edges, 2211 markings/sec, 145 secs
lola: 563928 markings, 1182596 edges, 4349 markings/sec, 150 secs
lola: 578415 markings, 1217010 edges, 2897 markings/sec, 155 secs
lola: 588737 markings, 1242284 edges, 2064 markings/sec, 160 secs
lola: 601283 markings, 1272230 edges, 2509 markings/sec, 165 secs
lola: 611301 markings, 1297700 edges, 2004 markings/sec, 170 secs
lola: 620596 markings, 1321652 edges, 1859 markings/sec, 175 secs
lola: 642329 markings, 1371580 edges, 4347 markings/sec, 180 secs
lola: 650003 markings, 1388751 edges, 1535 markings/sec, 185 secs
lola: 669319 markings, 1431043 edges, 3863 markings/sec, 190 secs
lola: 693944 markings, 1485256 edges, 4925 markings/sec, 195 secs
lola: 718040 markings, 1534547 edges, 4819 markings/sec, 200 secs
lola: 731019 markings, 1566578 edges, 2596 markings/sec, 205 secs
lola: 736958 markings, 1582697 edges, 1188 markings/sec, 210 secs
lola: 758054 markings, 1633346 edges, 4219 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 26 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: 31839 markings, 89670 edges, 6368 markings/sec, 0 secs
lola: 47636 markings, 134776 edges, 3159 markings/sec, 5 secs
lola: 59263 markings, 170664 edges, 2325 markings/sec, 10 secs
lola: 72511 markings, 215323 edges, 2650 markings/sec, 15 secs
lola: 82642 markings, 243113 edges, 2026 markings/sec, 20 secs
lola: 94331 markings, 275420 edges, 2338 markings/sec, 25 secs
lola: 105205 markings, 305490 edges, 2175 markings/sec, 30 secs
lola: 117419 markings, 339412 edges, 2443 markings/sec, 35 secs
lola: 131933 markings, 379504 edges, 2903 markings/sec, 40 secs
lola: 144015 markings, 413416 edges, 2416 markings/sec, 45 secs
lola: 152421 markings, 440626 edges, 1681 markings/sec, 50 secs
lola: 166274 markings, 483822 edges, 2771 markings/sec, 55 secs
lola: 176601 markings, 520595 edges, 2065 markings/sec, 60 secs
lola: 182488 markings, 537707 edges, 1177 markings/sec, 65 secs
lola: 195356 markings, 579565 edges, 2574 markings/sec, 70 secs
lola: 207514 markings, 613653 edges, 2432 markings/sec, 75 secs
lola: 219735 markings, 647435 edges, 2444 markings/sec, 80 secs
lola: 230269 markings, 676747 edges, 2107 markings/sec, 85 secs
lola: 246716 markings, 722181 edges, 3289 markings/sec, 90 secs
lola: 257746 markings, 752782 edges, 2206 markings/sec, 95 secs
lola: 268587 markings, 782987 edges, 2168 markings/sec, 100 secs
lola: 280077 markings, 815577 edges, 2298 markings/sec, 105 secs
lola: 288122 markings, 839381 edges, 1609 markings/sec, 110 secs
lola: 298116 markings, 871896 edges, 1999 markings/sec, 115 secs
lola: 308937 markings, 901584 edges, 2164 markings/sec, 120 secs
lola: 320597 markings, 933882 edges, 2332 markings/sec, 125 secs
lola: 332898 markings, 968170 edges, 2460 markings/sec, 130 secs
lola: 348127 markings, 1010124 edges, 3046 markings/sec, 135 secs
lola: 359116 markings, 1040636 edges, 2198 markings/sec, 140 secs
lola: 370470 markings, 1075052 edges, 2271 markings/sec, 145 secs
lola: 383779 markings, 1112264 edges, 2662 markings/sec, 150 secs
lola: 398076 markings, 1152648 edges, 2859 markings/sec, 155 secs
lola: 407188 markings, 1178871 edges, 1822 markings/sec, 160 secs
lola: 420402 markings, 1215674 edges, 2643 markings/sec, 165 secs
lola: 432924 markings, 1252594 edges, 2504 markings/sec, 170 secs
lola: 446205 markings, 1290041 edges, 2656 markings/sec, 175 secs
lola: 455694 markings, 1324331 edges, 1898 markings/sec, 180 secs
lola: 464906 markings, 1356534 edges, 1842 markings/sec, 185 secs
lola: 472720 markings, 1383675 edges, 1563 markings/sec, 190 secs
lola: 483269 markings, 1416747 edges, 2110 markings/sec, 195 secs
lola: 496340 markings, 1456777 edges, 2614 markings/sec, 200 secs
lola: 504235 markings, 1482891 edges, 1579 markings/sec, 205 secs
lola: 513229 markings, 1516382 edges, 1799 markings/sec, 210 secs
lola: 524682 markings, 1554908 edges, 2291 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA EnergyBus-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA EnergyBus-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494698009373

--------------------
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="EnergyBus-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/EnergyBus-PT-none.tgz
mv EnergyBus-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is EnergyBus-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r028-blw3-149440264200317"
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 ;