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 UtahNoC-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008700371
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494947196079


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ UtahNoC-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: 1193/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 216 places, 977 transitions, 208 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 979 transition conflict sets
lola: TASK
lola: reading formula from UtahNoC-PT-none-UpperBounds.task
lola: MAX(p89) : MAX(p39) : MAX(p81) : MAX(p182) : MAX(p184) : MAX(p81) : MAX(p117) : MAX(p8) : MAX(p213) : MAX(p28) : MAX(p7) : MAX(p201) : MAX(p211) : MAX(p41) : MAX(p135) : MAX(p53)
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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 166960 markings, 308897 edges, 33392 markings/sec, 0 secs
lola: 333927 markings, 617802 edges, 33393 markings/sec, 5 secs
lola: 497768 markings, 924077 edges, 32768 markings/sec, 10 secs
lola: 662202 markings, 1235057 edges, 32887 markings/sec, 15 secs
lola: 827611 markings, 1541715 edges, 33082 markings/sec, 20 secs
lola: 991469 markings, 1854802 edges, 32772 markings/sec, 25 secs
lola: 1153849 markings, 2169784 edges, 32476 markings/sec, 30 secs
lola: 1316788 markings, 2475408 edges, 32588 markings/sec, 35 secs
lola: 1479132 markings, 2783235 edges, 32469 markings/sec, 40 secs
lola: 1642182 markings, 3091358 edges, 32610 markings/sec, 45 secs
lola: 1805147 markings, 3409898 edges, 32593 markings/sec, 50 secs
lola: 1967729 markings, 3721102 edges, 32516 markings/sec, 55 secs
lola: 2131969 markings, 4029629 edges, 32848 markings/sec, 60 secs
lola: 2291281 markings, 4332289 edges, 31862 markings/sec, 65 secs
lola: 2451050 markings, 4636428 edges, 31954 markings/sec, 70 secs
lola: 2609572 markings, 4936871 edges, 31704 markings/sec, 75 secs
lola: 2769843 markings, 5247022 edges, 32054 markings/sec, 80 secs
lola: 2930314 markings, 5556163 edges, 32094 markings/sec, 85 secs
lola: 3089759 markings, 5852158 edges, 31889 markings/sec, 90 secs
lola: 3249188 markings, 6153181 edges, 31886 markings/sec, 95 secs
lola: 3410136 markings, 6462006 edges, 32190 markings/sec, 100 secs
lola: 3574648 markings, 6772205 edges, 32902 markings/sec, 105 secs
lola: 3734568 markings, 7086026 edges, 31984 markings/sec, 110 secs
lola: 3892516 markings, 7391753 edges, 31590 markings/sec, 115 secs
lola: 4048249 markings, 7705883 edges, 31147 markings/sec, 120 secs
lola: 4204881 markings, 8025942 edges, 31326 markings/sec, 125 secs
lola: 4361886 markings, 8325124 edges, 31401 markings/sec, 130 secs
lola: 4518141 markings, 8626991 edges, 31251 markings/sec, 135 secs
lola: 4676456 markings, 8937674 edges, 31663 markings/sec, 140 secs
lola: 4833263 markings, 9250596 edges, 31361 markings/sec, 145 secs
lola: 4990266 markings, 9555396 edges, 31401 markings/sec, 150 secs
lola: 5147702 markings, 9866480 edges, 31487 markings/sec, 155 secs
lola: 5304382 markings, 10186143 edges, 31336 markings/sec, 160 secs
lola: 5462833 markings, 10496652 edges, 31690 markings/sec, 165 secs
lola: 5625051 markings, 10804677 edges, 32444 markings/sec, 170 secs
lola: 5790049 markings, 11112282 edges, 33000 markings/sec, 175 secs
lola: 5953145 markings, 11423070 edges, 32619 markings/sec, 180 secs
lola: 6111945 markings, 11726492 edges, 31760 markings/sec, 185 secs
lola: 6272961 markings, 12036272 edges, 32203 markings/sec, 190 secs
lola: 6433221 markings, 12350496 edges, 32052 markings/sec, 195 secs
lola: 6590092 markings, 12652395 edges, 31374 markings/sec, 200 secs
lola: 6746211 markings, 12959184 edges, 31224 markings/sec, 205 secs
lola: 6901780 markings, 13267409 edges, 31114 markings/sec, 210 secs
lola: 7060900 markings, 13570904 edges, 31824 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(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 145521 markings, 271607 edges, 29104 markings/sec, 0 secs
lola: 291975 markings, 549112 edges, 29291 markings/sec, 5 secs
lola: 440543 markings, 829665 edges, 29714 markings/sec, 10 secs
lola: 585144 markings, 1116286 edges, 28920 markings/sec, 15 secs
lola: 730209 markings, 1394740 edges, 29013 markings/sec, 20 secs
lola: 872442 markings, 1679498 edges, 28447 markings/sec, 25 secs
lola: 1021492 markings, 1953980 edges, 29810 markings/sec, 30 secs
lola: 1165845 markings, 2243885 edges, 28871 markings/sec, 35 secs
lola: 1310842 markings, 2526086 edges, 28999 markings/sec, 40 secs
lola: 1454617 markings, 2814143 edges, 28755 markings/sec, 45 secs
lola: 1596786 markings, 3107225 edges, 28434 markings/sec, 50 secs
lola: 1739264 markings, 3397448 edges, 28496 markings/sec, 55 secs
lola: 1878490 markings, 3706943 edges, 27845 markings/sec, 60 secs
lola: 2016429 markings, 4005755 edges, 27588 markings/sec, 65 secs
lola: 2154833 markings, 4308522 edges, 27681 markings/sec, 70 secs
lola: 2296244 markings, 4593943 edges, 28282 markings/sec, 75 secs
lola: 2441055 markings, 4877043 edges, 28962 markings/sec, 80 secs
lola: 2583599 markings, 5160772 edges, 28509 markings/sec, 85 secs
lola: 2725571 markings, 5448743 edges, 28394 markings/sec, 90 secs
lola: 2869191 markings, 5734889 edges, 28724 markings/sec, 95 secs
lola: 3010209 markings, 6032015 edges, 28204 markings/sec, 100 secs
lola: 3150314 markings, 6335830 edges, 28021 markings/sec, 105 secs
lola: 3287376 markings, 6643750 edges, 27412 markings/sec, 110 secs
lola: 3428251 markings, 6933501 edges, 28175 markings/sec, 115 secs
lola: 3569085 markings, 7221043 edges, 28167 markings/sec, 120 secs
lola: 3707698 markings, 7518091 edges, 27723 markings/sec, 125 secs
lola: 3848430 markings, 7807416 edges, 28146 markings/sec, 130 secs
lola: 3989505 markings, 8105855 edges, 28215 markings/sec, 135 secs
lola: 4128793 markings, 8402632 edges, 27858 markings/sec, 140 secs
lola: 4267300 markings, 8698135 edges, 27701 markings/sec, 145 secs
lola: 4405043 markings, 9008503 edges, 27549 markings/sec, 150 secs
lola: 4546296 markings, 9299760 edges, 28251 markings/sec, 155 secs
lola: 4683068 markings, 9613912 edges, 27354 markings/sec, 160 secs
lola: 4823524 markings, 9916504 edges, 28091 markings/sec, 165 secs
lola: 4959001 markings, 10233667 edges, 27095 markings/sec, 170 secs
lola: 5098002 markings, 10527401 edges, 27800 markings/sec, 175 secs
lola: 5241359 markings, 10802667 edges, 28671 markings/sec, 180 secs
lola: 5389573 markings, 11082218 edges, 29643 markings/sec, 185 secs
lola: 5537413 markings, 11365493 edges, 29568 markings/sec, 190 secs
lola: 5683815 markings, 11653805 edges, 29280 markings/sec, 195 secs
lola: 5828042 markings, 11948330 edges, 28845 markings/sec, 200 secs
lola: 5973331 markings, 12233095 edges, 29058 markings/sec, 205 secs
lola: 6115497 markings, 12529489 edges, 28433 markings/sec, 210 secs
lola: 6253164 markings, 12840076 edges, 27533 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(p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 166866 markings, 326679 edges, 33373 markings/sec, 0 secs
lola: 326060 markings, 687595 edges, 31839 markings/sec, 5 secs
lola: 494175 markings, 1008815 edges, 33623 markings/sec, 10 secs
lola: 658484 markings, 1346163 edges, 32862 markings/sec, 15 secs
lola: 822069 markings, 1667971 edges, 32717 markings/sec, 20 secs
lola: 986955 markings, 1991853 edges, 32977 markings/sec, 25 secs
lola: 1145458 markings, 2344191 edges, 31701 markings/sec, 30 secs
lola: 1301552 markings, 2704601 edges, 31219 markings/sec, 35 secs
lola: 1462540 markings, 3048809 edges, 32198 markings/sec, 40 secs
lola: 1623926 markings, 3390861 edges, 32277 markings/sec, 45 secs
lola: 1785320 markings, 3724762 edges, 32279 markings/sec, 50 secs
lola: 1946652 markings, 4056111 edges, 32266 markings/sec, 55 secs
lola: 2108118 markings, 4393795 edges, 32293 markings/sec, 60 secs
lola: 2265388 markings, 4748970 edges, 31454 markings/sec, 65 secs
lola: 2417888 markings, 5132915 edges, 30500 markings/sec, 70 secs
lola: 2569767 markings, 5514533 edges, 30376 markings/sec, 75 secs
lola: 2730257 markings, 5835379 edges, 32098 markings/sec, 80 secs
lola: 2883581 markings, 6205620 edges, 30665 markings/sec, 85 secs
lola: 3048170 markings, 6541735 edges, 32918 markings/sec, 90 secs
lola: 3213733 markings, 6872469 edges, 33113 markings/sec, 95 secs
lola: 3373539 markings, 7238869 edges, 31961 markings/sec, 100 secs
lola: 3522597 markings, 7628377 edges, 29812 markings/sec, 105 secs
lola: 3679838 markings, 7976708 edges, 31448 markings/sec, 110 secs
lola: 3833173 markings, 8344930 edges, 30667 markings/sec, 115 secs
lola: 3988685 markings, 8694678 edges, 31102 markings/sec, 120 secs
lola: 4139867 markings, 9061284 edges, 30236 markings/sec, 125 secs
lola: 4296186 markings, 9395146 edges, 31264 markings/sec, 130 secs
lola: 4451838 markings, 9731339 edges, 31130 markings/sec, 135 secs
lola: 4599850 markings, 10109488 edges, 29602 markings/sec, 140 secs
lola: 4754179 markings, 10455612 edges, 30866 markings/sec, 145 secs
lola: 4910198 markings, 10808204 edges, 31204 markings/sec, 150 secs
lola: 5067122 markings, 11169887 edges, 31385 markings/sec, 155 secs
lola: 5220679 markings, 11516807 edges, 30711 markings/sec, 160 secs
lola: 5369974 markings, 11884893 edges, 29859 markings/sec, 165 secs
lola: 5519633 markings, 12255224 edges, 29932 markings/sec, 170 secs
lola: 5671397 markings, 12615256 edges, 30353 markings/sec, 175 secs
lola: 5820672 markings, 12996777 edges, 29855 markings/sec, 180 secs
lola: 5976436 markings, 13339038 edges, 31153 markings/sec, 185 secs
lola: 6121661 markings, 13725886 edges, 29045 markings/sec, 190 secs
lola: 6267029 markings, 14099449 edges, 29074 markings/sec, 195 secs
lola: 6420924 markings, 14438498 edges, 30779 markings/sec, 200 secs
lola: 6564924 markings, 14826189 edges, 28800 markings/sec, 205 secs
lola: 6707414 markings, 15214158 edges, 28498 markings/sec, 210 secs
lola: 6858621 markings, 15557903 edges, 30241 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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 162215 markings, 351610 edges, 32443 markings/sec, 0 secs
lola: 320862 markings, 709313 edges, 31729 markings/sec, 5 secs
lola: 469153 markings, 1060561 edges, 29658 markings/sec, 10 secs
lola: 608548 markings, 1406340 edges, 27879 markings/sec, 15 secs
lola: 751944 markings, 1752059 edges, 28679 markings/sec, 20 secs
lola: 901778 markings, 2106500 edges, 29967 markings/sec, 25 secs
lola: 1053538 markings, 2456753 edges, 30352 markings/sec, 30 secs
lola: 1199707 markings, 2803302 edges, 29234 markings/sec, 35 secs
lola: 1343037 markings, 3147619 edges, 28666 markings/sec, 40 secs
lola: 1485311 markings, 3497623 edges, 28455 markings/sec, 45 secs
lola: 1640158 markings, 3849456 edges, 30969 markings/sec, 50 secs
lola: 1785965 markings, 4204299 edges, 29161 markings/sec, 55 secs
lola: 1939879 markings, 4553531 edges, 30783 markings/sec, 60 secs
lola: 2094143 markings, 4903889 edges, 30853 markings/sec, 65 secs
lola: 2229062 markings, 5248530 edges, 26984 markings/sec, 70 secs
lola: 2368143 markings, 5589148 edges, 27816 markings/sec, 75 secs
lola: 2497618 markings, 5933998 edges, 25895 markings/sec, 80 secs
lola: 2626437 markings, 6270269 edges, 25764 markings/sec, 85 secs
lola: 2768106 markings, 6609428 edges, 28334 markings/sec, 90 secs
lola: 2899743 markings, 6949471 edges, 26327 markings/sec, 95 secs
lola: 3032064 markings, 7282966 edges, 26464 markings/sec, 100 secs
lola: 3170875 markings, 7624304 edges, 27762 markings/sec, 105 secs
lola: 3299199 markings, 7964424 edges, 25665 markings/sec, 110 secs
lola: 3423221 markings, 8303963 edges, 24804 markings/sec, 115 secs
lola: 3551087 markings, 8645629 edges, 25573 markings/sec, 120 secs
lola: 3684841 markings, 8987216 edges, 26751 markings/sec, 125 secs
lola: 3816096 markings, 9321109 edges, 26251 markings/sec, 130 secs
lola: 3954082 markings, 9668541 edges, 27597 markings/sec, 135 secs
lola: 4082550 markings, 10002235 edges, 25694 markings/sec, 140 secs
lola: 4222863 markings, 10344724 edges, 28063 markings/sec, 145 secs
lola: 4357782 markings, 10688372 edges, 26984 markings/sec, 150 secs
lola: 4487700 markings, 11024030 edges, 25984 markings/sec, 155 secs
lola: 4613424 markings, 11370481 edges, 25145 markings/sec, 160 secs
lola: 4742058 markings, 11711612 edges, 25727 markings/sec, 165 secs
lola: 4864065 markings, 12051355 edges, 24401 markings/sec, 170 secs
lola: 4998789 markings, 12386656 edges, 26945 markings/sec, 175 secs
lola: 5129394 markings, 12723804 edges, 26121 markings/sec, 180 secs
lola: 5254700 markings, 13065727 edges, 25061 markings/sec, 185 secs
lola: 5377712 markings, 13413727 edges, 24602 markings/sec, 190 secs
lola: 5505950 markings, 13746954 edges, 25648 markings/sec, 195 secs
lola: 5634360 markings, 14085630 edges, 25682 markings/sec, 200 secs
lola: 5768889 markings, 14429455 edges, 26906 markings/sec, 205 secs
lola: 5898713 markings, 14774404 edges, 25965 markings/sec, 210 secs
lola: 6028847 markings, 15109150 edges, 26027 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(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 186938 markings, 325218 edges, 37388 markings/sec, 0 secs
lola: 368371 markings, 670117 edges, 36287 markings/sec, 5 secs
lola: 546744 markings, 1015439 edges, 35675 markings/sec, 10 secs
lola: 725371 markings, 1354479 edges, 35725 markings/sec, 15 secs
lola: 906596 markings, 1686277 edges, 36245 markings/sec, 20 secs
lola: 1086665 markings, 2022765 edges, 36014 markings/sec, 25 secs
lola: 1266335 markings, 2363426 edges, 35934 markings/sec, 30 secs
lola: 1439145 markings, 2707307 edges, 34562 markings/sec, 35 secs
lola: 1611107 markings, 3054002 edges, 34392 markings/sec, 40 secs
lola: 1784258 markings, 3407191 edges, 34630 markings/sec, 45 secs
lola: 1952388 markings, 3773615 edges, 33626 markings/sec, 50 secs
lola: 2125398 markings, 4124967 edges, 34602 markings/sec, 55 secs
lola: 2292664 markings, 4493171 edges, 33453 markings/sec, 60 secs
lola: 2464942 markings, 4843468 edges, 34456 markings/sec, 65 secs
lola: 2633167 markings, 5213874 edges, 33645 markings/sec, 70 secs
lola: 2799953 markings, 5570854 edges, 33357 markings/sec, 75 secs
lola: 2966766 markings, 5924666 edges, 33363 markings/sec, 80 secs
lola: 3131817 markings, 6291223 edges, 33010 markings/sec, 85 secs
lola: 3296915 markings, 6659717 edges, 33020 markings/sec, 90 secs
lola: 3459232 markings, 7032552 edges, 32463 markings/sec, 95 secs
lola: 3623581 markings, 7390804 edges, 32870 markings/sec, 100 secs
lola: 3787007 markings, 7750587 edges, 32685 markings/sec, 105 secs
lola: 3949020 markings, 8124457 edges, 32403 markings/sec, 110 secs
lola: 4111961 markings, 8492971 edges, 32588 markings/sec, 115 secs
lola: 4273436 markings, 8869753 edges, 32295 markings/sec, 120 secs
lola: 4440199 markings, 9228223 edges, 33353 markings/sec, 125 secs
lola: 4601509 markings, 9592437 edges, 32262 markings/sec, 130 secs
lola: 4765684 markings, 9958481 edges, 32835 markings/sec, 135 secs
lola: 4923308 markings, 10339916 edges, 31525 markings/sec, 140 secs
lola: 5084587 markings, 10708219 edges, 32256 markings/sec, 145 secs
lola: 5239116 markings, 11092724 edges, 30906 markings/sec, 150 secs
lola: 5395057 markings, 11482411 edges, 31188 markings/sec, 155 secs
lola: 5561923 markings, 11838810 edges, 33373 markings/sec, 160 secs
lola: 5725581 markings, 12197054 edges, 32732 markings/sec, 165 secs
lola: 5886796 markings, 12577294 edges, 32243 markings/sec, 170 secs
lola: 6048011 markings, 12954719 edges, 32243 markings/sec, 175 secs
lola: 6202067 markings, 13346900 edges, 30811 markings/sec, 180 secs
lola: 6364759 markings, 13712740 edges, 32538 markings/sec, 185 secs
lola: 6516331 markings, 14114026 edges, 30314 markings/sec, 190 secs
lola: 6671477 markings, 14490276 edges, 31029 markings/sec, 195 secs
lola: 6825880 markings, 14870368 edges, 30881 markings/sec, 200 secs
lola: 6988018 markings, 15240457 edges, 32428 markings/sec, 205 secs
lola: 7150102 markings, 15613443 edges, 32417 markings/sec, 210 secs
lola: 7307373 markings, 15996092 edges, 31454 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(p81)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 164920 markings, 323131 edges, 32984 markings/sec, 0 secs
lola: 323486 markings, 681148 edges, 31713 markings/sec, 5 secs
lola: 489721 markings, 1000508 edges, 33247 markings/sec, 10 secs
lola: 652965 markings, 1334446 edges, 32649 markings/sec, 15 secs
lola: 816637 markings, 1657545 edges, 32734 markings/sec, 20 secs
lola: 979887 markings, 1976611 edges, 32650 markings/sec, 25 secs
lola: 1137152 markings, 2324973 edges, 31453 markings/sec, 30 secs
lola: 1291569 markings, 2681538 edges, 30883 markings/sec, 35 secs
lola: 1449879 markings, 3024530 edges, 31662 markings/sec, 40 secs
lola: 1610093 markings, 3359120 edges, 32043 markings/sec, 45 secs
lola: 1770005 markings, 3694633 edges, 31982 markings/sec, 50 secs
lola: 1929477 markings, 4021535 edges, 31894 markings/sec, 55 secs
lola: 2090078 markings, 4351404 edges, 32120 markings/sec, 60 secs
lola: 2244458 markings, 4707131 edges, 30876 markings/sec, 65 secs
lola: 2397100 markings, 5073470 edges, 30528 markings/sec, 70 secs
lola: 2546056 markings, 5461123 edges, 29791 markings/sec, 75 secs
lola: 2706340 markings, 5785188 edges, 32057 markings/sec, 80 secs
lola: 2860372 markings, 6149380 edges, 30806 markings/sec, 85 secs
lola: 3022976 markings, 6490347 edges, 32521 markings/sec, 90 secs
lola: 3188672 markings, 6820527 edges, 33139 markings/sec, 95 secs
lola: 3348194 markings, 7184801 edges, 31904 markings/sec, 100 secs
lola: 3499623 markings, 7562785 edges, 30286 markings/sec, 105 secs
lola: 3654323 markings, 7917975 edges, 30940 markings/sec, 110 secs
lola: 3807077 markings, 8285908 edges, 30551 markings/sec, 115 secs
lola: 3962050 markings, 8635540 edges, 30995 markings/sec, 120 secs
lola: 4111414 markings, 9006222 edges, 29873 markings/sec, 125 secs
lola: 4268080 markings, 9337764 edges, 31333 markings/sec, 130 secs
lola: 4423684 markings, 9671537 edges, 31121 markings/sec, 135 secs
lola: 4571098 markings, 10044429 edges, 29483 markings/sec, 140 secs
lola: 4726113 markings, 10382282 edges, 31003 markings/sec, 145 secs
lola: 4879093 markings, 10742805 edges, 30596 markings/sec, 150 secs
lola: 5031261 markings, 11085511 edges, 30434 markings/sec, 155 secs
lola: 5184237 markings, 11430449 edges, 30595 markings/sec, 160 secs
lola: 5331602 markings, 11796960 edges, 29473 markings/sec, 165 secs
lola: 5476306 markings, 12169804 edges, 28941 markings/sec, 170 secs
lola: 5628497 markings, 12516199 edges, 30438 markings/sec, 175 secs
lola: 5772397 markings, 12899123 edges, 28780 markings/sec, 180 secs
lola: 5929164 markings, 13235475 edges, 31353 markings/sec, 185 secs
lola: 6076941 markings, 13596071 edges, 29555 markings/sec, 190 secs
lola: 6219682 markings, 13971548 edges, 28548 markings/sec, 195 secs
lola: 6369705 markings, 14330281 edges, 30005 markings/sec, 200 secs
lola: 6517813 markings, 14681059 edges, 29622 markings/sec, 205 secs
lola: 6658414 markings, 15073736 edges, 28120 markings/sec, 210 secs
lola: 6804542 markings, 15430435 edges, 29226 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(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 122349 markings, 189270 edges, 24470 markings/sec, 0 secs
lola: 244589 markings, 381484 edges, 24448 markings/sec, 5 secs
lola: 364288 markings, 571932 edges, 23940 markings/sec, 10 secs
lola: 482741 markings, 762320 edges, 23691 markings/sec, 15 secs
lola: 599741 markings, 951537 edges, 23400 markings/sec, 20 secs
lola: 715758 markings, 1137453 edges, 23203 markings/sec, 25 secs
lola: 831875 markings, 1326603 edges, 23223 markings/sec, 30 secs
lola: 949916 markings, 1528253 edges, 23608 markings/sec, 35 secs
lola: 1068120 markings, 1731400 edges, 23641 markings/sec, 40 secs
lola: 1186688 markings, 1932549 edges, 23714 markings/sec, 45 secs
lola: 1303088 markings, 2128606 edges, 23280 markings/sec, 50 secs
lola: 1421541 markings, 2336024 edges, 23691 markings/sec, 55 secs
lola: 1539227 markings, 2544903 edges, 23537 markings/sec, 60 secs
lola: 1656653 markings, 2750986 edges, 23485 markings/sec, 65 secs
lola: 1774045 markings, 2962241 edges, 23478 markings/sec, 70 secs
lola: 1890458 markings, 3171836 edges, 23283 markings/sec, 75 secs
lola: 2005428 markings, 3375873 edges, 22994 markings/sec, 80 secs
lola: 2122268 markings, 3583790 edges, 23368 markings/sec, 85 secs
lola: 2239637 markings, 3793763 edges, 23474 markings/sec, 90 secs
lola: 2355996 markings, 4002721 edges, 23272 markings/sec, 95 secs
lola: 2473550 markings, 4212963 edges, 23511 markings/sec, 100 secs
lola: 2591546 markings, 4436001 edges, 23599 markings/sec, 105 secs
lola: 2708417 markings, 4660224 edges, 23374 markings/sec, 110 secs
lola: 2823829 markings, 4873657 edges, 23082 markings/sec, 115 secs
lola: 2939664 markings, 5094515 edges, 23167 markings/sec, 120 secs
lola: 3053473 markings, 5294997 edges, 22762 markings/sec, 125 secs
lola: 3169817 markings, 5520784 edges, 23269 markings/sec, 130 secs
lola: 3284914 markings, 5740687 edges, 23019 markings/sec, 135 secs
lola: 3399953 markings, 5963940 edges, 23008 markings/sec, 140 secs
lola: 3517316 markings, 6196281 edges, 23473 markings/sec, 145 secs
lola: 3633404 markings, 6415447 edges, 23218 markings/sec, 150 secs
lola: 3748363 markings, 6649740 edges, 22992 markings/sec, 155 secs
lola: 3864399 markings, 6870073 edges, 23207 markings/sec, 160 secs
lola: 3979564 markings, 7101258 edges, 23033 markings/sec, 165 secs
lola: 4097159 markings, 7341410 edges, 23519 markings/sec, 170 secs
lola: 4215844 markings, 7577841 edges, 23737 markings/sec, 175 secs
lola: 4331423 markings, 7804108 edges, 23116 markings/sec, 180 secs
lola: 4447257 markings, 8043971 edges, 23167 markings/sec, 185 secs
lola: 4563675 markings, 8277583 edges, 23284 markings/sec, 190 secs
lola: 4683119 markings, 8520974 edges, 23889 markings/sec, 195 secs
lola: 4799621 markings, 8754538 edges, 23300 markings/sec, 200 secs
lola: 4916312 markings, 8993490 edges, 23338 markings/sec, 205 secs
lola: 5034016 markings, 9243954 edges, 23541 markings/sec, 210 secs
lola: 5150409 markings, 9474043 edges, 23279 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(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 161440 markings, 320311 edges, 32288 markings/sec, 0 secs
lola: 322491 markings, 648227 edges, 32210 markings/sec, 5 secs
lola: 481112 markings, 982210 edges, 31724 markings/sec, 10 secs
lola: 641863 markings, 1309853 edges, 32150 markings/sec, 15 secs
lola: 804477 markings, 1634793 edges, 32523 markings/sec, 20 secs
lola: 964494 markings, 1963903 edges, 32003 markings/sec, 25 secs
lola: 1123730 markings, 2290938 edges, 31847 markings/sec, 30 secs
lola: 1283365 markings, 2612935 edges, 31927 markings/sec, 35 secs
lola: 1441076 markings, 2930246 edges, 31542 markings/sec, 40 secs
lola: 1598007 markings, 3255721 edges, 31386 markings/sec, 45 secs
lola: 1755215 markings, 3585884 edges, 31442 markings/sec, 50 secs
lola: 1912139 markings, 3917460 edges, 31385 markings/sec, 55 secs
lola: 2069288 markings, 4257713 edges, 31430 markings/sec, 60 secs
lola: 2224851 markings, 4596869 edges, 31113 markings/sec, 65 secs
lola: 2384719 markings, 4927681 edges, 31974 markings/sec, 70 secs
lola: 2539748 markings, 5256879 edges, 31006 markings/sec, 75 secs
lola: 2696222 markings, 5583651 edges, 31295 markings/sec, 80 secs
lola: 2856948 markings, 5911504 edges, 32145 markings/sec, 85 secs
lola: 3012460 markings, 6238526 edges, 31102 markings/sec, 90 secs
lola: 3166665 markings, 6558746 edges, 30841 markings/sec, 95 secs
lola: 3321598 markings, 6880263 edges, 30987 markings/sec, 100 secs
lola: 3474254 markings, 7211591 edges, 30531 markings/sec, 105 secs
lola: 3626728 markings, 7540391 edges, 30495 markings/sec, 110 secs
lola: 3778505 markings, 7859554 edges, 30355 markings/sec, 115 secs
lola: 3931616 markings, 8189765 edges, 30622 markings/sec, 120 secs
lola: 4084295 markings, 8515520 edges, 30536 markings/sec, 125 secs
lola: 4239952 markings, 8843140 edges, 31131 markings/sec, 130 secs
lola: 4391781 markings, 9176204 edges, 30366 markings/sec, 135 secs
lola: 4543180 markings, 9510142 edges, 30280 markings/sec, 140 secs
lola: 4695079 markings, 9832470 edges, 30380 markings/sec, 145 secs
lola: 4846364 markings, 10152793 edges, 30257 markings/sec, 150 secs
lola: 4997197 markings, 10475992 edges, 30167 markings/sec, 155 secs
lola: 5157582 markings, 10795321 edges, 32077 markings/sec, 160 secs
lola: 5313574 markings, 11114758 edges, 31198 markings/sec, 165 secs
lola: 5469705 markings, 11441773 edges, 31226 markings/sec, 170 secs
lola: 5624082 markings, 11771689 edges, 30875 markings/sec, 175 secs
lola: 5772056 markings, 12095429 edges, 29595 markings/sec, 180 secs
lola: 5920715 markings, 12441554 edges, 29732 markings/sec, 185 secs
lola: 6072211 markings, 12757719 edges, 30299 markings/sec, 190 secs
lola: 6222180 markings, 13094328 edges, 29994 markings/sec, 195 secs
lola: 6371657 markings, 13410056 edges, 29895 markings/sec, 200 secs
lola: 6525740 markings, 13744268 edges, 30817 markings/sec, 205 secs
lola: 6679032 markings, 14074607 edges, 30658 markings/sec, 210 secs
lola: 6828565 markings, 14402883 edges, 29907 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(p213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 135684 markings, 265701 edges, 27137 markings/sec, 0 secs
lola: 271879 markings, 532589 edges, 27239 markings/sec, 5 secs
lola: 402630 markings, 801874 edges, 26150 markings/sec, 10 secs
lola: 538236 markings, 1068834 edges, 27121 markings/sec, 15 secs
lola: 668498 markings, 1332146 edges, 26052 markings/sec, 20 secs
lola: 795089 markings, 1596139 edges, 25318 markings/sec, 25 secs
lola: 921131 markings, 1859175 edges, 25208 markings/sec, 30 secs
lola: 1047508 markings, 2125771 edges, 25275 markings/sec, 35 secs
lola: 1184734 markings, 2388339 edges, 27445 markings/sec, 40 secs
lola: 1315885 markings, 2650930 edges, 26230 markings/sec, 45 secs
lola: 1446110 markings, 2915329 edges, 26045 markings/sec, 50 secs
lola: 1575349 markings, 3182128 edges, 25848 markings/sec, 55 secs
lola: 1709603 markings, 3448081 edges, 26851 markings/sec, 60 secs
lola: 1838654 markings, 3709489 edges, 25810 markings/sec, 65 secs
lola: 1972810 markings, 3984213 edges, 26831 markings/sec, 70 secs
lola: 2106621 markings, 4247112 edges, 26762 markings/sec, 75 secs
lola: 2235814 markings, 4507904 edges, 25839 markings/sec, 80 secs
lola: 2363102 markings, 4780901 edges, 25458 markings/sec, 85 secs
lola: 2489149 markings, 5040481 edges, 25209 markings/sec, 90 secs
lola: 2616010 markings, 5298826 edges, 25372 markings/sec, 95 secs
lola: 2750732 markings, 5568774 edges, 26944 markings/sec, 100 secs
lola: 2874258 markings, 5828492 edges, 24705 markings/sec, 105 secs
lola: 2999292 markings, 6092152 edges, 25007 markings/sec, 110 secs
lola: 3124463 markings, 6354849 edges, 25034 markings/sec, 115 secs
lola: 3255151 markings, 6621760 edges, 26138 markings/sec, 120 secs
lola: 3387528 markings, 6888866 edges, 26475 markings/sec, 125 secs
lola: 3520802 markings, 7155889 edges, 26655 markings/sec, 130 secs
lola: 3651612 markings, 7422436 edges, 26162 markings/sec, 135 secs
lola: 3779898 markings, 7690621 edges, 25657 markings/sec, 140 secs
lola: 3902755 markings, 7966805 edges, 24571 markings/sec, 145 secs
lola: 4026005 markings, 8233581 edges, 24650 markings/sec, 150 secs
lola: 4150433 markings, 8496964 edges, 24886 markings/sec, 155 secs
lola: 4275596 markings, 8768156 edges, 25033 markings/sec, 160 secs
lola: 4401209 markings, 9037155 edges, 25123 markings/sec, 165 secs
lola: 4528149 markings, 9306356 edges, 25388 markings/sec, 170 secs
lola: 4653321 markings, 9570522 edges, 25034 markings/sec, 175 secs
lola: 4782458 markings, 9848785 edges, 25827 markings/sec, 180 secs
lola: 4910118 markings, 10112107 edges, 25532 markings/sec, 185 secs
lola: 5038105 markings, 10379081 edges, 25597 markings/sec, 190 secs
lola: 5163369 markings, 10645407 edges, 25053 markings/sec, 195 secs
lola: 5286224 markings, 10926773 edges, 24571 markings/sec, 200 secs
lola: 5409136 markings, 11199547 edges, 24582 markings/sec, 205 secs
lola: 5532228 markings, 11475670 edges, 24618 markings/sec, 210 secs
lola: 5656901 markings, 11743565 edges, 24935 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(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 147197 markings, 263381 edges, 29439 markings/sec, 0 secs
lola: 298630 markings, 528517 edges, 30287 markings/sec, 5 secs
lola: 450860 markings, 780686 edges, 30446 markings/sec, 10 secs
lola: 600571 markings, 1050125 edges, 29942 markings/sec, 15 secs
lola: 742162 markings, 1383534 edges, 28318 markings/sec, 20 secs
lola: 890042 markings, 1668369 edges, 29576 markings/sec, 25 secs
lola: 1033820 markings, 1986900 edges, 28756 markings/sec, 30 secs
lola: 1180747 markings, 2283683 edges, 29385 markings/sec, 35 secs
lola: 1330716 markings, 2534531 edges, 29994 markings/sec, 40 secs
lola: 1476788 markings, 2812091 edges, 29214 markings/sec, 45 secs
lola: 1622586 markings, 3090718 edges, 29160 markings/sec, 50 secs
lola: 1771385 markings, 3343154 edges, 29760 markings/sec, 55 secs
lola: 1921140 markings, 3594731 edges, 29951 markings/sec, 60 secs
lola: 2067392 markings, 3839877 edges, 29250 markings/sec, 65 secs
lola: 2212529 markings, 4133397 edges, 29027 markings/sec, 70 secs
lola: 2355739 markings, 4414588 edges, 28642 markings/sec, 75 secs
lola: 2500459 markings, 4683666 edges, 28944 markings/sec, 80 secs
lola: 2645959 markings, 4940489 edges, 29100 markings/sec, 85 secs
lola: 2787269 markings, 5255124 edges, 28262 markings/sec, 90 secs
lola: 2925307 markings, 5592462 edges, 27608 markings/sec, 95 secs
lola: 3066380 markings, 5879340 edges, 28215 markings/sec, 100 secs
lola: 3202036 markings, 6205919 edges, 27131 markings/sec, 105 secs
lola: 3345537 markings, 6493638 edges, 28700 markings/sec, 110 secs
lola: 3488631 markings, 6747142 edges, 28619 markings/sec, 115 secs
lola: 3629468 markings, 7024827 edges, 28167 markings/sec, 120 secs
lola: 3767602 markings, 7340096 edges, 27627 markings/sec, 125 secs
lola: 3906844 markings, 7638374 edges, 27848 markings/sec, 130 secs
lola: 4050508 markings, 7938218 edges, 28733 markings/sec, 135 secs
lola: 4189981 markings, 8283559 edges, 27895 markings/sec, 140 secs
lola: 4329528 markings, 8586833 edges, 27909 markings/sec, 145 secs
lola: 4467183 markings, 8908689 edges, 27531 markings/sec, 150 secs
lola: 4606049 markings, 9206249 edges, 27773 markings/sec, 155 secs
lola: 4741855 markings, 9546527 edges, 27161 markings/sec, 160 secs
lola: 4882046 markings, 9827068 edges, 28038 markings/sec, 165 secs
lola: 5019068 markings, 10132665 edges, 27404 markings/sec, 170 secs
lola: 5155908 markings, 10437175 edges, 27368 markings/sec, 175 secs
lola: 5292737 markings, 10774761 edges, 27366 markings/sec, 180 secs
lola: 5429736 markings, 11085129 edges, 27400 markings/sec, 185 secs
lola: 5564087 markings, 11416127 edges, 26870 markings/sec, 190 secs
lola: 5702548 markings, 11701159 edges, 27692 markings/sec, 195 secs
lola: 5840638 markings, 11993288 edges, 27618 markings/sec, 200 secs
lola: 5976191 markings, 12280906 edges, 27111 markings/sec, 205 secs
lola: 6112579 markings, 12579895 edges, 27278 markings/sec, 210 secs
lola: 6245879 markings, 12921946 edges, 26660 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(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 167315 markings, 328179 edges, 33463 markings/sec, 0 secs
lola: 331340 markings, 659983 edges, 32805 markings/sec, 5 secs
lola: 495544 markings, 987005 edges, 32841 markings/sec, 10 secs
lola: 657042 markings, 1319862 edges, 32300 markings/sec, 15 secs
lola: 823455 markings, 1647381 edges, 33283 markings/sec, 20 secs
lola: 986278 markings, 1976484 edges, 32565 markings/sec, 25 secs
lola: 1146104 markings, 2311716 edges, 31965 markings/sec, 30 secs
lola: 1307017 markings, 2637630 edges, 32183 markings/sec, 35 secs
lola: 1466325 markings, 2973249 edges, 31862 markings/sec, 40 secs
lola: 1628954 markings, 3299144 edges, 32526 markings/sec, 45 secs
lola: 1787331 markings, 3634586 edges, 31675 markings/sec, 50 secs
lola: 1942762 markings, 3974977 edges, 31086 markings/sec, 55 secs
lola: 2097253 markings, 4319849 edges, 30898 markings/sec, 60 secs
lola: 2255221 markings, 4646669 edges, 31594 markings/sec, 65 secs
lola: 2409565 markings, 4980077 edges, 30869 markings/sec, 70 secs
lola: 2565275 markings, 5318330 edges, 31142 markings/sec, 75 secs
lola: 2716502 markings, 5682364 edges, 30245 markings/sec, 80 secs
lola: 2869937 markings, 6036416 edges, 30687 markings/sec, 85 secs
lola: 3028027 markings, 6386165 edges, 31618 markings/sec, 90 secs
lola: 3182700 markings, 6734612 edges, 30935 markings/sec, 95 secs
lola: 3340203 markings, 7074739 edges, 31501 markings/sec, 100 secs
lola: 3494681 markings, 7397873 edges, 30896 markings/sec, 105 secs
lola: 3658595 markings, 7724540 edges, 32783 markings/sec, 110 secs
lola: 3820441 markings, 8059159 edges, 32369 markings/sec, 115 secs
lola: 3973282 markings, 8417973 edges, 30568 markings/sec, 120 secs
lola: 4128657 markings, 8772529 edges, 31075 markings/sec, 125 secs
lola: 4286467 markings, 9118703 edges, 31562 markings/sec, 130 secs
lola: 4443071 markings, 9451159 edges, 31321 markings/sec, 135 secs
lola: 4603504 markings, 9771195 edges, 32087 markings/sec, 140 secs
lola: 4758918 markings, 10103574 edges, 31083 markings/sec, 145 secs
lola: 4912738 markings, 10449551 edges, 30764 markings/sec, 150 secs
lola: 5065309 markings, 10785242 edges, 30514 markings/sec, 155 secs
lola: 5229748 markings, 11109397 edges, 32888 markings/sec, 160 secs
lola: 5392484 markings, 11437194 edges, 32547 markings/sec, 165 secs
lola: 5552881 markings, 11763883 edges, 32079 markings/sec, 170 secs
lola: 5712061 markings, 12092764 edges, 31836 markings/sec, 175 secs
lola: 5861883 markings, 12437453 edges, 29964 markings/sec, 180 secs
lola: 6013142 markings, 12774760 edges, 30252 markings/sec, 185 secs
lola: 6167277 markings, 13122076 edges, 30827 markings/sec, 190 secs
lola: 6315246 markings, 13464574 edges, 29594 markings/sec, 195 secs
lola: 6463571 markings, 13804286 edges, 29665 markings/sec, 200 secs
lola: 6609575 markings, 14170055 edges, 29201 markings/sec, 205 secs
lola: 6762503 markings, 14501895 edges, 30586 markings/sec, 210 secs
lola: 6916881 markings, 14835521 edges, 30876 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(p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 123975 markings, 221530 edges, 24795 markings/sec, 0 secs
lola: 243132 markings, 436098 edges, 23831 markings/sec, 5 secs
lola: 362086 markings, 671421 edges, 23791 markings/sec, 10 secs
lola: 478253 markings, 899783 edges, 23233 markings/sec, 15 secs
lola: 593192 markings, 1136744 edges, 22988 markings/sec, 20 secs
lola: 708071 markings, 1381018 edges, 22976 markings/sec, 25 secs
lola: 820497 markings, 1626310 edges, 22485 markings/sec, 30 secs
lola: 933128 markings, 1874459 edges, 22526 markings/sec, 35 secs
lola: 1045284 markings, 2111509 edges, 22431 markings/sec, 40 secs
lola: 1157968 markings, 2363993 edges, 22537 markings/sec, 45 secs
lola: 1269729 markings, 2621137 edges, 22352 markings/sec, 50 secs
lola: 1378136 markings, 2880745 edges, 21681 markings/sec, 55 secs
lola: 1487514 markings, 3143711 edges, 21876 markings/sec, 60 secs
lola: 1595062 markings, 3404225 edges, 21510 markings/sec, 65 secs
lola: 1702061 markings, 3669225 edges, 21400 markings/sec, 70 secs
lola: 1809926 markings, 3939231 edges, 21573 markings/sec, 75 secs
lola: 1918451 markings, 4211498 edges, 21705 markings/sec, 80 secs
lola: 2026285 markings, 4486428 edges, 21567 markings/sec, 85 secs
lola: 2132609 markings, 4755532 edges, 21265 markings/sec, 90 secs
lola: 2240060 markings, 5017865 edges, 21490 markings/sec, 95 secs
lola: 2346577 markings, 5294126 edges, 21303 markings/sec, 100 secs
lola: 2451924 markings, 5570353 edges, 21069 markings/sec, 105 secs
lola: 2557640 markings, 5835232 edges, 21143 markings/sec, 110 secs
lola: 2661761 markings, 6107698 edges, 20824 markings/sec, 115 secs
lola: 2767284 markings, 6376776 edges, 21105 markings/sec, 120 secs
lola: 2870299 markings, 6657467 edges, 20603 markings/sec, 125 secs
lola: 2975552 markings, 6928357 edges, 21051 markings/sec, 130 secs
lola: 3081533 markings, 7216931 edges, 21196 markings/sec, 135 secs
lola: 3187095 markings, 7492861 edges, 21112 markings/sec, 140 secs
lola: 3293447 markings, 7764919 edges, 21270 markings/sec, 145 secs
lola: 3399195 markings, 8054852 edges, 21150 markings/sec, 150 secs
lola: 3503809 markings, 8350200 edges, 20923 markings/sec, 155 secs
lola: 3608876 markings, 8631150 edges, 21013 markings/sec, 160 secs
lola: 3712705 markings, 8913050 edges, 20766 markings/sec, 165 secs
lola: 3817376 markings, 9199885 edges, 20934 markings/sec, 170 secs
lola: 3920646 markings, 9492252 edges, 20654 markings/sec, 175 secs
lola: 4030419 markings, 9732038 edges, 21955 markings/sec, 180 secs
lola: 4136076 markings, 9980930 edges, 21131 markings/sec, 185 secs
lola: 4239462 markings, 10262153 edges, 20677 markings/sec, 190 secs
lola: 4345114 markings, 10547073 edges, 21130 markings/sec, 195 secs
lola: 4448965 markings, 10834211 edges, 20770 markings/sec, 200 secs
lola: 4555162 markings, 11104293 edges, 21239 markings/sec, 205 secs
lola: 4659380 markings, 11390536 edges, 20844 markings/sec, 210 secs
lola: 4763644 markings, 11690409 edges, 20853 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 168550 markings, 314600 edges, 33710 markings/sec, 0 secs
lola: 329543 markings, 662729 edges, 32199 markings/sec, 5 secs
lola: 492019 markings, 990774 edges, 32495 markings/sec, 10 secs
lola: 658152 markings, 1302111 edges, 33227 markings/sec, 15 secs
lola: 821172 markings, 1628805 edges, 32604 markings/sec, 20 secs
lola: 979602 markings, 1976175 edges, 31686 markings/sec, 25 secs
lola: 1138759 markings, 2318428 edges, 31831 markings/sec, 30 secs
lola: 1301667 markings, 2639402 edges, 32582 markings/sec, 35 secs
lola: 1459640 markings, 2993524 edges, 31595 markings/sec, 40 secs
lola: 1617718 markings, 3352539 edges, 31616 markings/sec, 45 secs
lola: 1778767 markings, 3679996 edges, 32210 markings/sec, 50 secs
lola: 1942287 markings, 3983732 edges, 32704 markings/sec, 55 secs
lola: 2101966 markings, 4320938 edges, 31936 markings/sec, 60 secs
lola: 2262454 markings, 4645998 edges, 32098 markings/sec, 65 secs
lola: 2420904 markings, 4982015 edges, 31690 markings/sec, 70 secs
lola: 2577709 markings, 5331875 edges, 31361 markings/sec, 75 secs
lola: 2731230 markings, 5694316 edges, 30704 markings/sec, 80 secs
lola: 2883694 markings, 6065604 edges, 30493 markings/sec, 85 secs
lola: 3033673 markings, 6448728 edges, 29996 markings/sec, 90 secs
lola: 3182305 markings, 6846084 edges, 29726 markings/sec, 95 secs
lola: 3337035 markings, 7211330 edges, 30946 markings/sec, 100 secs
lola: 3481736 markings, 7635748 edges, 28940 markings/sec, 105 secs
lola: 3632784 markings, 8007576 edges, 30210 markings/sec, 110 secs
lola: 3795976 markings, 8335645 edges, 32638 markings/sec, 115 secs
lola: 3957732 markings, 8684345 edges, 32351 markings/sec, 120 secs
lola: 4119319 markings, 9027788 edges, 32317 markings/sec, 125 secs
lola: 4278245 markings, 9361839 edges, 31785 markings/sec, 130 secs
lola: 4434283 markings, 9700539 edges, 31208 markings/sec, 135 secs
lola: 4590964 markings, 10026707 edges, 31336 markings/sec, 140 secs
lola: 4741473 markings, 10391063 edges, 30102 markings/sec, 145 secs
lola: 4896281 markings, 10721879 edges, 30962 markings/sec, 150 secs
lola: 5051132 markings, 11052190 edges, 30970 markings/sec, 155 secs
lola: 5207117 markings, 11373753 edges, 31197 markings/sec, 160 secs
lola: 5361776 markings, 11706173 edges, 30932 markings/sec, 165 secs
lola: 5511948 markings, 12078239 edges, 30034 markings/sec, 170 secs
lola: 5659311 markings, 12466028 edges, 29473 markings/sec, 175 secs
lola: 5811333 markings, 12824129 edges, 30404 markings/sec, 180 secs
lola: 5961300 markings, 13182005 edges, 29993 markings/sec, 185 secs
lola: 6108302 markings, 13552364 edges, 29400 markings/sec, 190 secs
lola: 6255698 markings, 13925650 edges, 29479 markings/sec, 195 secs
lola: 6400656 markings, 14307658 edges, 28992 markings/sec, 200 secs
lola: 6560758 markings, 14634042 edges, 32020 markings/sec, 205 secs
lola: 6709745 markings, 14988706 edges, 29797 markings/sec, 210 secs
lola: 6859418 markings, 15355033 edges, 29935 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 148530 markings, 287837 edges, 29706 markings/sec, 0 secs
lola: 293910 markings, 592633 edges, 29076 markings/sec, 5 secs
lola: 438185 markings, 897668 edges, 28855 markings/sec, 10 secs
lola: 583797 markings, 1187260 edges, 29122 markings/sec, 15 secs
lola: 726520 markings, 1484351 edges, 28545 markings/sec, 20 secs
lola: 866609 markings, 1795479 edges, 28018 markings/sec, 25 secs
lola: 1007006 markings, 2095169 edges, 28079 markings/sec, 30 secs
lola: 1149887 markings, 2387132 edges, 28576 markings/sec, 35 secs
lola: 1294615 markings, 2675704 edges, 28946 markings/sec, 40 secs
lola: 1440606 markings, 2969691 edges, 29198 markings/sec, 45 secs
lola: 1584466 markings, 3267297 edges, 28772 markings/sec, 50 secs
lola: 1726042 markings, 3570134 edges, 28315 markings/sec, 55 secs
lola: 1865369 markings, 3878280 edges, 27865 markings/sec, 60 secs
lola: 2003938 markings, 4193170 edges, 27714 markings/sec, 65 secs
lola: 2141882 markings, 4501551 edges, 27589 markings/sec, 70 secs
lola: 2277924 markings, 4820581 edges, 27208 markings/sec, 75 secs
lola: 2417486 markings, 5128717 edges, 27912 markings/sec, 80 secs
lola: 2554051 markings, 5440511 edges, 27313 markings/sec, 85 secs
lola: 2692161 markings, 5736181 edges, 27622 markings/sec, 90 secs
lola: 2828734 markings, 6042300 edges, 27315 markings/sec, 95 secs
lola: 2963817 markings, 6358791 edges, 27017 markings/sec, 100 secs
lola: 3099877 markings, 6676140 edges, 27212 markings/sec, 105 secs
lola: 3236044 markings, 6998225 edges, 27233 markings/sec, 110 secs
lola: 3374180 markings, 7308694 edges, 27627 markings/sec, 115 secs
lola: 3512108 markings, 7617139 edges, 27586 markings/sec, 120 secs
lola: 3648218 markings, 7933632 edges, 27222 markings/sec, 125 secs
lola: 3784772 markings, 8252103 edges, 27311 markings/sec, 130 secs
lola: 3919457 markings, 8579723 edges, 26937 markings/sec, 135 secs
lola: 4054635 markings, 8899966 edges, 27036 markings/sec, 140 secs
lola: 4188885 markings, 9231037 edges, 26850 markings/sec, 145 secs
lola: 4335549 markings, 9520167 edges, 29333 markings/sec, 150 secs
lola: 4478724 markings, 9821840 edges, 28635 markings/sec, 155 secs
lola: 4621629 markings, 10115023 edges, 28581 markings/sec, 160 secs
lola: 4762254 markings, 10419512 edges, 28125 markings/sec, 165 secs
lola: 4901142 markings, 10732635 edges, 27778 markings/sec, 170 secs
lola: 5039785 markings, 11043524 edges, 27729 markings/sec, 175 secs
lola: 5179784 markings, 11346956 edges, 28000 markings/sec, 180 secs
lola: 5314715 markings, 11671879 edges, 26986 markings/sec, 185 secs
lola: 5455737 markings, 11977241 edges, 28204 markings/sec, 190 secs
lola: 5598689 markings, 12269693 edges, 28590 markings/sec, 195 secs
lola: 5738970 markings, 12576487 edges, 28056 markings/sec, 200 secs
lola: 5875984 markings, 12892581 edges, 27403 markings/sec, 205 secs
lola: 6013115 markings, 13205639 edges, 27426 markings/sec, 210 secs
lola: 6149387 markings, 13517321 edges, 27254 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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 211898 markings, 474424 edges, 42380 markings/sec, 0 secs
lola: 400060 markings, 934743 edges, 37632 markings/sec, 5 secs
lola: 608784 markings, 1404720 edges, 41745 markings/sec, 10 secs
lola: 801472 markings, 1863270 edges, 38538 markings/sec, 15 secs
lola: 981291 markings, 2312544 edges, 35964 markings/sec, 20 secs
lola: 1155816 markings, 2762338 edges, 34905 markings/sec, 25 secs
lola: 1335235 markings, 3217139 edges, 35884 markings/sec, 30 secs
lola: 1539948 markings, 3688665 edges, 40943 markings/sec, 35 secs
lola: 1726270 markings, 4142264 edges, 37264 markings/sec, 40 secs
lola: 1904427 markings, 4586603 edges, 35631 markings/sec, 45 secs
lola: 2078606 markings, 5032980 edges, 34836 markings/sec, 50 secs
lola: 2248084 markings, 5478782 edges, 33896 markings/sec, 55 secs
lola: 2463617 markings, 5951513 edges, 43107 markings/sec, 60 secs
lola: 2650027 markings, 6400429 edges, 37282 markings/sec, 65 secs
lola: 2821631 markings, 6845189 edges, 34321 markings/sec, 70 secs
lola: 3028205 markings, 7312687 edges, 41315 markings/sec, 75 secs
lola: 3225085 markings, 7773272 edges, 39376 markings/sec, 80 secs
lola: 3408071 markings, 8219337 edges, 36597 markings/sec, 85 secs
lola: 3580942 markings, 8664291 edges, 34574 markings/sec, 90 secs
lola: 3786902 markings, 9132819 edges, 41192 markings/sec, 95 secs
lola: 3974740 markings, 9582274 edges, 37568 markings/sec, 100 secs
lola: 4152691 markings, 10029005 edges, 35590 markings/sec, 105 secs
lola: 4328059 markings, 10476322 edges, 35074 markings/sec, 110 secs
lola: 4532525 markings, 10947127 edges, 40893 markings/sec, 115 secs
lola: 4722627 markings, 11403838 edges, 38020 markings/sec, 120 secs
lola: 4903201 markings, 11852426 edges, 36115 markings/sec, 125 secs
lola: 5076606 markings, 12300839 edges, 34681 markings/sec, 130 secs
lola: 5285861 markings, 12773073 edges, 41851 markings/sec, 135 secs
lola: 5473343 markings, 13228063 edges, 37496 markings/sec, 140 secs
lola: 5652204 markings, 13676378 edges, 35772 markings/sec, 145 secs
lola: 5822683 markings, 14121197 edges, 34096 markings/sec, 150 secs
lola: 5989445 markings, 14563756 edges, 33352 markings/sec, 155 secs
lola: 6187303 markings, 15023468 edges, 39572 markings/sec, 160 secs
lola: 6375052 markings, 15469689 edges, 37550 markings/sec, 165 secs
lola: 6556712 markings, 15911457 edges, 36332 markings/sec, 170 secs
lola: 6750705 markings, 16366583 edges, 38799 markings/sec, 175 secs
lola: 6949774 markings, 16833962 edges, 39814 markings/sec, 180 secs
lola: 7137569 markings, 17289052 edges, 37559 markings/sec, 185 secs
lola: 7343694 markings, 17760093 edges, 41225 markings/sec, 190 secs
lola: 7533538 markings, 18216017 edges, 37969 markings/sec, 195 secs
lola: 7715691 markings, 18668209 edges, 36431 markings/sec, 200 secs
lola: 7895716 markings, 19114486 edges, 36005 markings/sec, 205 secs
lola: 8118393 markings, 19588750 edges, 44535 markings/sec, 210 secs
lola: 8286666 markings, 20025807 edges, 33655 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(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 16 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: 139341 markings, 357789 edges, 27868 markings/sec, 0 secs
lola: 278990 markings, 725529 edges, 27930 markings/sec, 5 secs
lola: 418056 markings, 1112057 edges, 27813 markings/sec, 10 secs
lola: 556211 markings, 1473784 edges, 27631 markings/sec, 15 secs
lola: 694961 markings, 1840066 edges, 27750 markings/sec, 20 secs
lola: 833004 markings, 2206773 edges, 27609 markings/sec, 25 secs
lola: 968530 markings, 2562623 edges, 27105 markings/sec, 30 secs
lola: 1103178 markings, 2924739 edges, 26930 markings/sec, 35 secs
lola: 1238688 markings, 3280031 edges, 27102 markings/sec, 40 secs
lola: 1373327 markings, 3639437 edges, 26928 markings/sec, 45 secs
lola: 1509765 markings, 3989939 edges, 27288 markings/sec, 50 secs
lola: 1645007 markings, 4333476 edges, 27048 markings/sec, 55 secs
lola: 1780994 markings, 4689947 edges, 27197 markings/sec, 60 secs
lola: 1914099 markings, 5067435 edges, 26621 markings/sec, 65 secs
lola: 2047570 markings, 5438839 edges, 26694 markings/sec, 70 secs
lola: 2182885 markings, 5826077 edges, 27063 markings/sec, 75 secs
lola: 2315961 markings, 6184712 edges, 26615 markings/sec, 80 secs
lola: 2448746 markings, 6547354 edges, 26557 markings/sec, 85 secs
lola: 2582840 markings, 6929413 edges, 26819 markings/sec, 90 secs
lola: 2714792 markings, 7332498 edges, 26390 markings/sec, 95 secs
lola: 2846889 markings, 7757951 edges, 26419 markings/sec, 100 secs
lola: 2977585 markings, 8172396 edges, 26139 markings/sec, 105 secs
lola: 3110951 markings, 8533121 edges, 26673 markings/sec, 110 secs
lola: 3244021 markings, 8927454 edges, 26614 markings/sec, 115 secs
lola: 3378589 markings, 9303560 edges, 26914 markings/sec, 120 secs
lola: 3513708 markings, 9679143 edges, 27024 markings/sec, 125 secs
lola: 3647482 markings, 10072101 edges, 26755 markings/sec, 130 secs
lola: 3778943 markings, 10463691 edges, 26292 markings/sec, 135 secs
lola: 3912788 markings, 10844902 edges, 26769 markings/sec, 140 secs
lola: 4046701 markings, 11248483 edges, 26783 markings/sec, 145 secs
lola: 4179477 markings, 11675515 edges, 26555 markings/sec, 150 secs
lola: 4308418 markings, 12113133 edges, 25788 markings/sec, 155 secs
lola: 4436709 markings, 12554295 edges, 25658 markings/sec, 160 secs
lola: 4567208 markings, 12958667 edges, 26100 markings/sec, 165 secs
lola: 4698006 markings, 13360356 edges, 26160 markings/sec, 170 secs
lola: 4829916 markings, 13737560 edges, 26382 markings/sec, 175 secs
lola: 4961304 markings, 14141323 edges, 26278 markings/sec, 180 secs
lola: 5092282 markings, 14570047 edges, 26196 markings/sec, 185 secs
lola: 5224598 markings, 14951965 edges, 26463 markings/sec, 190 secs
lola: 5354774 markings, 15368865 edges, 26035 markings/sec, 195 secs
lola: 5484938 markings, 15791918 edges, 26033 markings/sec, 200 secs
lola: 5621728 markings, 16140935 edges, 27358 markings/sec, 205 secs
lola: 5759843 markings, 16512680 edges, 27623 markings/sec, 210 secs
lola: 5897542 markings, 16894894 edges, 27540 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 UtahNoC-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA UtahNoC-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 1494950736293

--------------------
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="UtahNoC-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/UtahNoC-PT-none.tgz
mv UtahNoC-PT-none 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 UtahNoC-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 r078-ebro-149441008700371"
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 ;