Execution Chart

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

Trace from the execution

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

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


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


checking for too many tokens
===========================================================================================
S_UtahNoC-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 169650 markings, 313925 edges, 33930 markings/sec, 0 secs
lola: 337353 markings, 624248 edges, 33541 markings/sec, 5 secs
lola: 502322 markings, 933338 edges, 32994 markings/sec, 10 secs
lola: 668210 markings, 1246089 edges, 33178 markings/sec, 15 secs
lola: 835026 markings, 1555624 edges, 33363 markings/sec, 20 secs
lola: 999917 markings, 1871498 edges, 32978 markings/sec, 25 secs
lola: 1163913 markings, 2188941 edges, 32799 markings/sec, 30 secs
lola: 1328003 markings, 2495982 edges, 32818 markings/sec, 35 secs
lola: 1491717 markings, 2806373 edges, 32743 markings/sec, 40 secs
lola: 1656262 markings, 3117816 edges, 32909 markings/sec, 45 secs
lola: 1820644 markings, 3441424 edges, 32876 markings/sec, 50 secs
lola: 1985634 markings, 3754576 edges, 32998 markings/sec, 55 secs
lola: 2151963 markings, 4068430 edges, 33266 markings/sec, 60 secs
lola: 2313394 markings, 4376135 edges, 32286 markings/sec, 65 secs
lola: 2476062 markings, 4682910 edges, 32534 markings/sec, 70 secs
lola: 2636428 markings, 4990638 edges, 32073 markings/sec, 75 secs
lola: 2797425 markings, 5299229 edges, 32199 markings/sec, 80 secs
lola: 2958286 markings, 5608930 edges, 32172 markings/sec, 85 secs
lola: 3118256 markings, 5905155 edges, 31994 markings/sec, 90 secs
lola: 3278666 markings, 6208541 edges, 32082 markings/sec, 95 secs
lola: 3441935 markings, 6521020 edges, 32654 markings/sec, 100 secs
lola: 3607338 markings, 6835218 edges, 33081 markings/sec, 105 secs
lola: 3768954 markings, 7149548 edges, 32323 markings/sec, 110 secs
lola: 3928594 markings, 7467404 edges, 31928 markings/sec, 115 secs
lola: 4087442 markings, 7786096 edges, 31770 markings/sec, 120 secs
lola: 4246522 markings, 8105343 edges, 31816 markings/sec, 125 secs
lola: 4406096 markings, 8410119 edges, 31915 markings/sec, 130 secs
lola: 4563510 markings, 8713876 edges, 31483 markings/sec, 135 secs
lola: 4721118 markings, 9028484 edges, 31522 markings/sec, 140 secs
lola: 4879527 markings, 9338588 edges, 31682 markings/sec, 145 secs
lola: 5038300 markings, 9647907 edges, 31755 markings/sec, 150 secs
lola: 5195542 markings, 9962267 edges, 31448 markings/sec, 155 secs
lola: 5353750 markings, 10288741 edges, 31642 markings/sec, 160 secs
lola: 5515007 markings, 10597663 edges, 32251 markings/sec, 165 secs
lola: 5679908 markings, 10906217 edges, 32980 markings/sec, 170 secs
lola: 5844854 markings, 11218130 edges, 32989 markings/sec, 175 secs
lola: 6009236 markings, 11530610 edges, 32876 markings/sec, 180 secs
lola: 6167656 markings, 11833115 edges, 31684 markings/sec, 185 secs
lola: 6330942 markings, 12149833 edges, 32657 markings/sec, 190 secs
lola: 6490211 markings, 12459165 edges, 31854 markings/sec, 195 secs
lola: 6648191 markings, 12764675 edges, 31596 markings/sec, 200 secs
lola: 6805848 markings, 13074206 edges, 31531 markings/sec, 205 secs
lola: 6964360 markings, 13386993 edges, 31702 markings/sec, 210 secs
lola: 7123541 markings, 13693404 edges, 31836 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: 150862 markings, 281240 edges, 30172 markings/sec, 0 secs
lola: 300475 markings, 565890 edges, 29923 markings/sec, 5 secs
lola: 450345 markings, 848414 edges, 29974 markings/sec, 10 secs
lola: 595984 markings, 1137986 edges, 29128 markings/sec, 15 secs
lola: 742770 markings, 1417283 edges, 29357 markings/sec, 20 secs
lola: 887690 markings, 1707985 edges, 28984 markings/sec, 25 secs
lola: 1037474 markings, 1984559 edges, 29957 markings/sec, 30 secs
lola: 1183385 markings, 2277126 edges, 29182 markings/sec, 35 secs
lola: 1330815 markings, 2566539 edges, 29486 markings/sec, 40 secs
lola: 1475529 markings, 2858731 edges, 28943 markings/sec, 45 secs
lola: 1619380 markings, 3157089 edges, 28770 markings/sec, 50 secs
lola: 1761688 markings, 3451698 edges, 28462 markings/sec, 55 secs
lola: 1902025 markings, 3761142 edges, 28067 markings/sec, 60 secs
lola: 2042617 markings, 4062785 edges, 28118 markings/sec, 65 secs
lola: 2181804 markings, 4363789 edges, 27837 markings/sec, 70 secs
lola: 2326963 markings, 4649862 edges, 29032 markings/sec, 75 secs
lola: 2471672 markings, 4935325 edges, 28942 markings/sec, 80 secs
lola: 2616245 markings, 5221183 edges, 28915 markings/sec, 85 secs
lola: 2759106 markings, 5515157 edges, 28572 markings/sec, 90 secs
lola: 2902521 markings, 5803914 edges, 28683 markings/sec, 95 secs
lola: 3044437 markings, 6104913 edges, 28383 markings/sec, 100 secs
lola: 3185310 markings, 6413194 edges, 28175 markings/sec, 105 secs
lola: 3323693 markings, 6724020 edges, 27677 markings/sec, 110 secs
lola: 3467020 markings, 7011108 edges, 28665 markings/sec, 115 secs
lola: 3608356 markings, 7302019 edges, 28267 markings/sec, 120 secs
lola: 3748916 markings, 7608128 edges, 28112 markings/sec, 125 secs
lola: 3893928 markings, 7895827 edges, 29002 markings/sec, 130 secs
lola: 4034578 markings, 8200302 edges, 28130 markings/sec, 135 secs
lola: 4174511 markings, 8500681 edges, 27987 markings/sec, 140 secs
lola: 4315693 markings, 8800557 edges, 28236 markings/sec, 145 secs
lola: 4454555 markings, 9115552 edges, 27772 markings/sec, 150 secs
lola: 4595602 markings, 9408062 edges, 28209 markings/sec, 155 secs
lola: 4731906 markings, 9727065 edges, 27261 markings/sec, 160 secs
lola: 4873447 markings, 10032040 edges, 28308 markings/sec, 165 secs
lola: 5009755 markings, 10350544 edges, 27262 markings/sec, 170 secs
lola: 5152774 markings, 10633774 edges, 28604 markings/sec, 175 secs
lola: 5299927 markings, 10911748 edges, 29431 markings/sec, 180 secs
lola: 5448527 markings, 11196403 edges, 29720 markings/sec, 185 secs
lola: 5598949 markings, 11483038 edges, 30084 markings/sec, 190 secs
lola: 5745475 markings, 11778137 edges, 29305 markings/sec, 195 secs
lola: 5891012 markings, 12076875 edges, 29107 markings/sec, 200 secs
lola: 6036310 markings, 12367768 edges, 29060 markings/sec, 205 secs
lola: 6178900 markings, 12665805 edges, 28518 markings/sec, 210 secs
lola: 6317528 markings, 12974933 edges, 27726 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: 169867 markings, 333387 edges, 33973 markings/sec, 0 secs
lola: 330897 markings, 698538 edges, 32206 markings/sec, 5 secs
lola: 500612 markings, 1020420 edges, 33943 markings/sec, 10 secs
lola: 665770 markings, 1362189 edges, 33032 markings/sec, 15 secs
lola: 832371 markings, 1687529 edges, 33320 markings/sec, 20 secs
lola: 997586 markings, 2016067 edges, 33043 markings/sec, 25 secs
lola: 1156819 markings, 2371846 edges, 31847 markings/sec, 30 secs
lola: 1312612 markings, 2736570 edges, 31159 markings/sec, 35 secs
lola: 1475877 markings, 3075217 edges, 32653 markings/sec, 40 secs
lola: 1637760 markings, 3419525 edges, 32377 markings/sec, 45 secs
lola: 1799836 markings, 3754896 edges, 32415 markings/sec, 50 secs
lola: 1962143 markings, 4086160 edges, 32461 markings/sec, 55 secs
lola: 2123007 markings, 4429604 edges, 32173 markings/sec, 60 secs
lola: 2281977 markings, 4784614 edges, 31794 markings/sec, 65 secs
lola: 2433542 markings, 5177480 edges, 30313 markings/sec, 70 secs
lola: 2586063 markings, 5551052 edges, 30504 markings/sec, 75 secs
lola: 2747984 markings, 5874718 edges, 32384 markings/sec, 80 secs
lola: 2902198 markings, 6249534 edges, 30843 markings/sec, 85 secs
lola: 3068482 markings, 6580082 edges, 33257 markings/sec, 90 secs
lola: 3232636 markings, 6915617 edges, 32831 markings/sec, 95 secs
lola: 3391744 markings, 7277789 edges, 31822 markings/sec, 100 secs
lola: 3540199 markings, 7670464 edges, 29691 markings/sec, 105 secs
lola: 3698430 markings, 8014445 edges, 31646 markings/sec, 110 secs
lola: 3852567 markings, 8383364 edges, 30827 markings/sec, 115 secs
lola: 4007389 markings, 8741221 edges, 30964 markings/sec, 120 secs
lola: 4160256 markings, 9103208 edges, 30573 markings/sec, 125 secs
lola: 4316852 markings, 9436203 edges, 31319 markings/sec, 130 secs
lola: 4472127 markings, 9784242 edges, 31055 markings/sec, 135 secs
lola: 4620624 markings, 10161034 edges, 29699 markings/sec, 140 secs
lola: 4775327 markings, 10508246 edges, 30941 markings/sec, 145 secs
lola: 4933189 markings, 10859201 edges, 31572 markings/sec, 150 secs
lola: 5090384 markings, 11222533 edges, 31439 markings/sec, 155 secs
lola: 5242158 markings, 11579948 edges, 30355 markings/sec, 160 secs
lola: 5392750 markings, 11941267 edges, 30118 markings/sec, 165 secs
lola: 5544004 markings, 12303650 edges, 30251 markings/sec, 170 secs
lola: 5694699 markings, 12673089 edges, 30139 markings/sec, 175 secs
lola: 5846280 markings, 13049675 edges, 30316 markings/sec, 180 secs
lola: 6000112 markings, 13399167 edges, 30766 markings/sec, 185 secs
lola: 6144533 markings, 13793038 edges, 28884 markings/sec, 190 secs
lola: 6292483 markings, 14166439 edges, 29590 markings/sec, 195 secs
lola: 6447960 markings, 14504714 edges, 31095 markings/sec, 200 secs
lola: 6591577 markings, 14901469 edges, 28723 markings/sec, 205 secs
lola: 6737417 markings, 15276335 edges, 29168 markings/sec, 210 secs
lola: 6886468 markings, 15640264 edges, 29810 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: 166417 markings, 361689 edges, 33283 markings/sec, 0 secs
lola: 326856 markings, 722518 edges, 32088 markings/sec, 5 secs
lola: 475266 markings, 1075060 edges, 29682 markings/sec, 10 secs
lola: 614850 markings, 1422696 edges, 27917 markings/sec, 15 secs
lola: 761169 markings, 1772276 edges, 29264 markings/sec, 20 secs
lola: 911297 markings, 2129461 edges, 30026 markings/sec, 25 secs
lola: 1065516 markings, 2483829 edges, 30844 markings/sec, 30 secs
lola: 1211890 markings, 2834127 edges, 29275 markings/sec, 35 secs
lola: 1358778 markings, 3185291 edges, 29378 markings/sec, 40 secs
lola: 1502119 markings, 3540170 edges, 28668 markings/sec, 45 secs
lola: 1659568 markings, 3895989 edges, 31490 markings/sec, 50 secs
lola: 1810184 markings, 4258049 edges, 30123 markings/sec, 55 secs
lola: 1963220 markings, 4611395 edges, 30607 markings/sec, 60 secs
lola: 2118935 markings, 4966020 edges, 31143 markings/sec, 65 secs
lola: 2260734 markings, 5317095 edges, 28360 markings/sec, 70 secs
lola: 2395709 markings, 5662946 edges, 26995 markings/sec, 75 secs
lola: 2526490 markings, 6009396 edges, 26156 markings/sec, 80 secs
lola: 2662994 markings, 6354712 edges, 27301 markings/sec, 85 secs
lola: 2802761 markings, 6698150 edges, 27953 markings/sec, 90 secs
lola: 2936392 markings, 7040521 edges, 26726 markings/sec, 95 secs
lola: 3069550 markings, 7378902 edges, 26632 markings/sec, 100 secs
lola: 3212471 markings, 7726747 edges, 28584 markings/sec, 105 secs
lola: 3338812 markings, 8072333 edges, 25268 markings/sec, 110 secs
lola: 3463708 markings, 8411977 edges, 24979 markings/sec, 115 secs
lola: 3598696 markings, 8765829 edges, 26998 markings/sec, 120 secs
lola: 3732798 markings, 9110466 edges, 26820 markings/sec, 125 secs
lola: 3870546 markings, 9453754 edges, 27550 markings/sec, 130 secs
lola: 4003653 markings, 9798780 edges, 26621 markings/sec, 135 secs
lola: 4139625 markings, 10141808 edges, 27194 markings/sec, 140 secs
lola: 4278531 markings, 10491552 edges, 27781 markings/sec, 145 secs
lola: 4414734 markings, 10834707 edges, 27241 markings/sec, 150 secs
lola: 4542075 markings, 11175860 edges, 25468 markings/sec, 155 secs
lola: 4674762 markings, 11524061 edges, 26537 markings/sec, 160 secs
lola: 4800128 markings, 11871753 edges, 25073 markings/sec, 165 secs
lola: 4928478 markings, 12215384 edges, 25670 markings/sec, 170 secs
lola: 5066189 markings, 12558758 edges, 27542 markings/sec, 175 secs
lola: 5195087 markings, 12904345 edges, 25780 markings/sec, 180 secs
lola: 5320032 markings, 13253006 edges, 24989 markings/sec, 185 secs
lola: 5448712 markings, 13599663 edges, 25736 markings/sec, 190 secs
lola: 5578346 markings, 13939879 edges, 25927 markings/sec, 195 secs
lola: 5714807 markings, 14291135 edges, 27292 markings/sec, 200 secs
lola: 5846788 markings, 14635209 edges, 26396 markings/sec, 205 secs
lola: 5978307 markings, 14978435 edges, 26304 markings/sec, 210 secs
lola: 6108651 markings, 15325151 edges, 26069 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: 189460 markings, 329333 edges, 37892 markings/sec, 0 secs
lola: 373373 markings, 680311 edges, 36783 markings/sec, 5 secs
lola: 554120 markings, 1031179 edges, 36149 markings/sec, 10 secs
lola: 735336 markings, 1375265 edges, 36243 markings/sec, 15 secs
lola: 920146 markings, 1710854 edges, 36962 markings/sec, 20 secs
lola: 1103217 markings, 2050172 edges, 36614 markings/sec, 25 secs
lola: 1284750 markings, 2395606 edges, 36307 markings/sec, 30 secs
lola: 1457863 markings, 2746594 edges, 34623 markings/sec, 35 secs
lola: 1630973 markings, 3099524 edges, 34622 markings/sec, 40 secs
lola: 1805885 markings, 3453019 edges, 34982 markings/sec, 45 secs
lola: 1976448 markings, 3815203 edges, 34113 markings/sec, 50 secs
lola: 2146365 markings, 4169116 edges, 33983 markings/sec, 55 secs
lola: 2313859 markings, 4540230 edges, 33499 markings/sec, 60 secs
lola: 2487438 markings, 4889859 edges, 34716 markings/sec, 65 secs
lola: 2655626 markings, 5259658 edges, 33638 markings/sec, 70 secs
lola: 2822897 markings, 5615929 edges, 33454 markings/sec, 75 secs
lola: 2989097 markings, 5976268 edges, 33240 markings/sec, 80 secs
lola: 3154846 markings, 6344397 edges, 33150 markings/sec, 85 secs
lola: 3319765 markings, 6713467 edges, 32984 markings/sec, 90 secs
lola: 3483632 markings, 7081212 edges, 32773 markings/sec, 95 secs
lola: 3647190 markings, 7447851 edges, 32712 markings/sec, 100 secs
lola: 3812060 markings, 7809801 edges, 32974 markings/sec, 105 secs
lola: 3975821 markings, 8186700 edges, 32752 markings/sec, 110 secs
lola: 4138683 markings, 8557265 edges, 32572 markings/sec, 115 secs
lola: 4303425 markings, 8929964 edges, 32948 markings/sec, 120 secs
lola: 4469737 markings, 9291220 edges, 33262 markings/sec, 125 secs
lola: 4630933 markings, 9661802 edges, 32239 markings/sec, 130 secs
lola: 4797367 markings, 10023507 edges, 33287 markings/sec, 135 secs
lola: 4956646 markings, 10410727 edges, 31856 markings/sec, 140 secs
lola: 5117257 markings, 10787430 edges, 32122 markings/sec, 145 secs
lola: 5274360 markings, 11176499 edges, 31421 markings/sec, 150 secs
lola: 5431950 markings, 11568680 edges, 31518 markings/sec, 155 secs
lola: 5601660 markings, 11923227 edges, 33942 markings/sec, 160 secs
lola: 5765907 markings, 12298205 edges, 32849 markings/sec, 165 secs
lola: 5930235 markings, 12680483 edges, 32866 markings/sec, 170 secs
lola: 6091305 markings, 13066881 edges, 32214 markings/sec, 175 secs
lola: 6249534 markings, 13453606 edges, 31646 markings/sec, 180 secs
lola: 6411078 markings, 13835557 edges, 32309 markings/sec, 185 secs
lola: 6564167 markings, 14238544 edges, 30618 markings/sec, 190 secs
lola: 6724196 markings, 14608682 edges, 32006 markings/sec, 195 secs
lola: 6877745 markings, 15001972 edges, 30710 markings/sec, 200 secs
lola: 7041728 markings, 15375855 edges, 32797 markings/sec, 205 secs
lola: 7206860 markings, 15750547 edges, 33026 markings/sec, 210 secs
lola: 7364814 markings, 16145341 edges, 31591 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: 168078 markings, 329080 edges, 33616 markings/sec, 0 secs
lola: 327552 markings, 690923 edges, 31895 markings/sec, 5 secs
lola: 495495 markings, 1011161 edges, 33589 markings/sec, 10 secs
lola: 659159 markings, 1347609 edges, 32733 markings/sec, 15 secs
lola: 823957 markings, 1671843 edges, 32960 markings/sec, 20 secs
lola: 987875 markings, 1994198 edges, 32784 markings/sec, 25 secs
lola: 1145649 markings, 2344537 edges, 31555 markings/sec, 30 secs
lola: 1300905 markings, 2702662 edges, 31051 markings/sec, 35 secs
lola: 1460704 markings, 3045363 edges, 31960 markings/sec, 40 secs
lola: 1620907 markings, 3384814 edges, 32041 markings/sec, 45 secs
lola: 1781241 markings, 3716681 edges, 32067 markings/sec, 50 secs
lola: 1941490 markings, 4045787 edges, 32050 markings/sec, 55 secs
lola: 2102172 markings, 4378044 edges, 32136 markings/sec, 60 secs
lola: 2257242 markings, 4732588 edges, 31014 markings/sec, 65 secs
lola: 2409340 markings, 5107107 edges, 30420 markings/sec, 70 secs
lola: 2558745 markings, 5490650 edges, 29881 markings/sec, 75 secs
lola: 2718983 markings, 5811293 edges, 32048 markings/sec, 80 secs
lola: 2871703 markings, 6178152 edges, 30544 markings/sec, 85 secs
lola: 3034162 markings, 6513182 edges, 32492 markings/sec, 90 secs
lola: 3198542 markings, 6840275 edges, 32876 markings/sec, 95 secs
lola: 3356697 markings, 7203431 edges, 31631 markings/sec, 100 secs
lola: 3506495 markings, 7581954 edges, 29960 markings/sec, 105 secs
lola: 3660721 markings, 7932872 edges, 30845 markings/sec, 110 secs
lola: 3812034 markings, 8297901 edges, 30263 markings/sec, 115 secs
lola: 3965682 markings, 8642931 edges, 30730 markings/sec, 120 secs
lola: 4113911 markings, 9010887 edges, 29646 markings/sec, 125 secs
lola: 4269396 markings, 9341573 edges, 31097 markings/sec, 130 secs
lola: 4423931 markings, 9672022 edges, 30907 markings/sec, 135 secs
lola: 4570297 markings, 10042978 edges, 29273 markings/sec, 140 secs
lola: 4724223 markings, 10377060 edges, 30785 markings/sec, 145 secs
lola: 4876402 markings, 10736616 edges, 30436 markings/sec, 150 secs
lola: 5032819 markings, 11089650 edges, 31283 markings/sec, 155 secs
lola: 5186170 markings, 11434668 edges, 30670 markings/sec, 160 secs
lola: 5334006 markings, 11802491 edges, 29567 markings/sec, 165 secs
lola: 5479720 markings, 12176578 edges, 29143 markings/sec, 170 secs
lola: 5632810 markings, 12526823 edges, 30618 markings/sec, 175 secs
lola: 5778272 markings, 12911294 edges, 29092 markings/sec, 180 secs
lola: 5935919 markings, 13249458 edges, 31529 markings/sec, 185 secs
lola: 6084315 markings, 13614826 edges, 29679 markings/sec, 190 secs
lola: 6228146 markings, 13992552 edges, 28766 markings/sec, 195 secs
lola: 6379252 markings, 14350058 edges, 30221 markings/sec, 200 secs
lola: 6527434 markings, 14708629 edges, 29636 markings/sec, 205 secs
lola: 6668313 markings, 15104460 edges, 28176 markings/sec, 210 secs
lola: 6815860 markings, 15462468 edges, 29509 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: 120834 markings, 186925 edges, 24167 markings/sec, 0 secs
lola: 242136 markings, 377882 edges, 24260 markings/sec, 5 secs
lola: 360951 markings, 566087 edges, 23763 markings/sec, 10 secs
lola: 479085 markings, 756831 edges, 23627 markings/sec, 15 secs
lola: 595643 markings, 945312 edges, 23312 markings/sec, 20 secs
lola: 710624 markings, 1128836 edges, 22996 markings/sec, 25 secs
lola: 826058 markings, 1317742 edges, 23087 markings/sec, 30 secs
lola: 943282 markings, 1516172 edges, 23445 markings/sec, 35 secs
lola: 1061091 markings, 1719161 edges, 23562 markings/sec, 40 secs
lola: 1178171 markings, 1917616 edges, 23416 markings/sec, 45 secs
lola: 1294233 markings, 2114658 edges, 23212 markings/sec, 50 secs
lola: 1411190 markings, 2317900 edges, 23391 markings/sec, 55 secs
lola: 1528017 markings, 2524050 edges, 23365 markings/sec, 60 secs
lola: 1644031 markings, 2729038 edges, 23203 markings/sec, 65 secs
lola: 1760981 markings, 2938721 edges, 23390 markings/sec, 70 secs
lola: 1877118 markings, 3146316 edges, 23227 markings/sec, 75 secs
lola: 1991921 markings, 3351932 edges, 22961 markings/sec, 80 secs
lola: 2107969 markings, 3557690 edges, 23210 markings/sec, 85 secs
lola: 2225838 markings, 3767880 edges, 23574 markings/sec, 90 secs
lola: 2342094 markings, 3978098 edges, 23251 markings/sec, 95 secs
lola: 2460366 markings, 4188466 edges, 23654 markings/sec, 100 secs
lola: 2578328 markings, 4407768 edges, 23592 markings/sec, 105 secs
lola: 2695775 markings, 4635810 edges, 23489 markings/sec, 110 secs
lola: 2811339 markings, 4850146 edges, 23113 markings/sec, 115 secs
lola: 2927931 markings, 5071674 edges, 23318 markings/sec, 120 secs
lola: 3042522 markings, 5277066 edges, 22918 markings/sec, 125 secs
lola: 3158877 markings, 5499486 edges, 23271 markings/sec, 130 secs
lola: 3274675 markings, 5716920 edges, 23160 markings/sec, 135 secs
lola: 3390440 markings, 5945283 edges, 23153 markings/sec, 140 secs
lola: 3507419 markings, 6176834 edges, 23396 markings/sec, 145 secs
lola: 3624064 markings, 6399594 edges, 23329 markings/sec, 150 secs
lola: 3737272 markings, 6625859 edges, 22642 markings/sec, 155 secs
lola: 3853503 markings, 6846630 edges, 23246 markings/sec, 160 secs
lola: 3968060 markings, 7076229 edges, 22911 markings/sec, 165 secs
lola: 4084057 markings, 7317668 edges, 23199 markings/sec, 170 secs
lola: 4201068 markings, 7548221 edges, 23402 markings/sec, 175 secs
lola: 4314619 markings, 7771553 edges, 22710 markings/sec, 180 secs
lola: 4429303 markings, 8011255 edges, 22937 markings/sec, 185 secs
lola: 4543498 markings, 8238616 edges, 22839 markings/sec, 190 secs
lola: 4659898 markings, 8475065 edges, 23280 markings/sec, 195 secs
lola: 4774536 markings, 8707753 edges, 22928 markings/sec, 200 secs
lola: 4889253 markings, 8939167 edges, 22943 markings/sec, 205 secs
lola: 5005155 markings, 9183893 edges, 23180 markings/sec, 210 secs
lola: 5119664 markings, 9417079 edges, 22902 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: 161597 markings, 320645 edges, 32319 markings/sec, 0 secs
lola: 320322 markings, 643532 edges, 31745 markings/sec, 5 secs
lola: 476496 markings, 971747 edges, 31235 markings/sec, 10 secs
lola: 634554 markings, 1295250 edges, 31612 markings/sec, 15 secs
lola: 794670 markings, 1615627 edges, 32023 markings/sec, 20 secs
lola: 952510 markings, 1938363 edges, 31568 markings/sec, 25 secs
lola: 1109390 markings, 2261175 edges, 31376 markings/sec, 30 secs
lola: 1266493 markings, 2577956 edges, 31421 markings/sec, 35 secs
lola: 1422843 markings, 2892861 edges, 31270 markings/sec, 40 secs
lola: 1578782 markings, 3213562 edges, 31188 markings/sec, 45 secs
lola: 1734071 markings, 3544705 edges, 31058 markings/sec, 50 secs
lola: 1890698 markings, 3871124 edges, 31325 markings/sec, 55 secs
lola: 2046686 markings, 4208938 edges, 31198 markings/sec, 60 secs
lola: 2201606 markings, 4544402 edges, 30984 markings/sec, 65 secs
lola: 2359745 markings, 4876618 edges, 31628 markings/sec, 70 secs
lola: 2514617 markings, 5201524 edges, 30974 markings/sec, 75 secs
lola: 2668416 markings, 5529271 edges, 30760 markings/sec, 80 secs
lola: 2828859 markings, 5852724 edges, 32089 markings/sec, 85 secs
lola: 2984025 markings, 6177265 edges, 31033 markings/sec, 90 secs
lola: 3136691 markings, 6498425 edges, 30533 markings/sec, 95 secs
lola: 3290612 markings, 6814055 edges, 30784 markings/sec, 100 secs
lola: 3442006 markings, 7145987 edges, 30279 markings/sec, 105 secs
lola: 3594187 markings, 7466865 edges, 30436 markings/sec, 110 secs
lola: 3742335 markings, 7786961 edges, 29630 markings/sec, 115 secs
lola: 3893422 markings, 8104644 edges, 30217 markings/sec, 120 secs
lola: 4043896 markings, 8434365 edges, 30095 markings/sec, 125 secs
lola: 4197971 markings, 8750668 edges, 30815 markings/sec, 130 secs
lola: 4348169 markings, 9079762 edges, 30040 markings/sec, 135 secs
lola: 4498178 markings, 9411614 edges, 30002 markings/sec, 140 secs
lola: 4646937 markings, 9732928 edges, 29752 markings/sec, 145 secs
lola: 4798478 markings, 10051402 edges, 30308 markings/sec, 150 secs
lola: 4947992 markings, 10369598 edges, 29903 markings/sec, 155 secs
lola: 5104743 markings, 10688904 edges, 31350 markings/sec, 160 secs
lola: 5261815 markings, 11009444 edges, 31414 markings/sec, 165 secs
lola: 5417481 markings, 11330796 edges, 31133 markings/sec, 170 secs
lola: 5571736 markings, 11660896 edges, 30851 markings/sec, 175 secs
lola: 5721750 markings, 11986052 edges, 30003 markings/sec, 180 secs
lola: 5869493 markings, 12319724 edges, 29549 markings/sec, 185 secs
lola: 6016698 markings, 12643304 edges, 29441 markings/sec, 190 secs
lola: 6166507 markings, 12965410 edges, 29962 markings/sec, 195 secs
lola: 6312468 markings, 13285741 edges, 29192 markings/sec, 200 secs
lola: 6463173 markings, 13606675 edges, 30141 markings/sec, 205 secs
lola: 6615811 markings, 13937932 edges, 30528 markings/sec, 210 secs
lola: 6764633 markings, 14259241 edges, 29764 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: 132411 markings, 259633 edges, 26482 markings/sec, 0 secs
lola: 266004 markings, 520814 edges, 26719 markings/sec, 5 secs
lola: 397095 markings, 790600 edges, 26218 markings/sec, 10 secs
lola: 531867 markings, 1057436 edges, 26954 markings/sec, 15 secs
lola: 661408 markings, 1316499 edges, 25908 markings/sec, 20 secs
lola: 788648 markings, 1580935 edges, 25448 markings/sec, 25 secs
lola: 914366 markings, 1847219 edges, 25144 markings/sec, 30 secs
lola: 1040519 markings, 2110440 edges, 25231 markings/sec, 35 secs
lola: 1176217 markings, 2371984 edges, 27140 markings/sec, 40 secs
lola: 1308108 markings, 2635979 edges, 26378 markings/sec, 45 secs
lola: 1438102 markings, 2898433 edges, 25999 markings/sec, 50 secs
lola: 1566675 markings, 3163870 edges, 25715 markings/sec, 55 secs
lola: 1699925 markings, 3429958 edges, 26650 markings/sec, 60 secs
lola: 1827066 markings, 3685694 edges, 25428 markings/sec, 65 secs
lola: 1959696 markings, 3957967 edges, 26526 markings/sec, 70 secs
lola: 2093123 markings, 4219400 edges, 26685 markings/sec, 75 secs
lola: 2220882 markings, 4477126 edges, 25552 markings/sec, 80 secs
lola: 2347587 markings, 4746857 edges, 25341 markings/sec, 85 secs
lola: 2472022 markings, 5006576 edges, 24887 markings/sec, 90 secs
lola: 2596418 markings, 5258973 edges, 24879 markings/sec, 95 secs
lola: 2727460 markings, 5519979 edges, 26208 markings/sec, 100 secs
lola: 2851212 markings, 5782331 edges, 24750 markings/sec, 105 secs
lola: 2974015 markings, 6035515 edges, 24561 markings/sec, 110 secs
lola: 3097510 markings, 6298852 edges, 24699 markings/sec, 115 secs
lola: 3224353 markings, 6560447 edges, 25369 markings/sec, 120 secs
lola: 3353032 markings, 6822904 edges, 25736 markings/sec, 125 secs
lola: 3486236 markings, 7083133 edges, 26641 markings/sec, 130 secs
lola: 3615320 markings, 7349246 edges, 25817 markings/sec, 135 secs
lola: 3742622 markings, 7612117 edges, 25460 markings/sec, 140 secs
lola: 3865240 markings, 7883963 edges, 24524 markings/sec, 145 secs
lola: 3987414 markings, 8150598 edges, 24435 markings/sec, 150 secs
lola: 4108306 markings, 8406365 edges, 24178 markings/sec, 155 secs
lola: 4232462 markings, 8676176 edges, 24831 markings/sec, 160 secs
lola: 4355383 markings, 8931102 edges, 24584 markings/sec, 165 secs
lola: 4481720 markings, 9204888 edges, 25267 markings/sec, 170 secs
lola: 4604742 markings, 9463856 edges, 24604 markings/sec, 175 secs
lola: 4731915 markings, 9741737 edges, 25435 markings/sec, 180 secs
lola: 4858200 markings, 10004175 edges, 25257 markings/sec, 185 secs
lola: 4983005 markings, 10263818 edges, 24961 markings/sec, 190 secs
lola: 5108391 markings, 10526702 edges, 25077 markings/sec, 195 secs
lola: 5233131 markings, 10805853 edges, 24948 markings/sec, 200 secs
lola: 5353712 markings, 11076544 edges, 24116 markings/sec, 205 secs
lola: 5476819 markings, 11354105 edges, 24621 markings/sec, 210 secs
lola: 5601937 markings, 11628041 edges, 25024 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: 148214 markings, 265333 edges, 29643 markings/sec, 0 secs
lola: 298846 markings, 528853 edges, 30126 markings/sec, 5 secs
lola: 450232 markings, 779758 edges, 30277 markings/sec, 10 secs
lola: 599211 markings, 1046746 edges, 29796 markings/sec, 15 secs
lola: 740151 markings, 1379033 edges, 28188 markings/sec, 20 secs
lola: 887181 markings, 1662953 edges, 29406 markings/sec, 25 secs
lola: 1030501 markings, 1977982 edges, 28664 markings/sec, 30 secs
lola: 1176391 markings, 2276335 edges, 29178 markings/sec, 35 secs
lola: 1325457 markings, 2525825 edges, 29813 markings/sec, 40 secs
lola: 1471257 markings, 2798558 edges, 29160 markings/sec, 45 secs
lola: 1615742 markings, 3079914 edges, 28897 markings/sec, 50 secs
lola: 1763510 markings, 3330810 edges, 29554 markings/sec, 55 secs
lola: 1912829 markings, 3580314 edges, 29864 markings/sec, 60 secs
lola: 2058407 markings, 3825743 edges, 29116 markings/sec, 65 secs
lola: 2203270 markings, 4115988 edges, 28973 markings/sec, 70 secs
lola: 2345641 markings, 4397766 edges, 28474 markings/sec, 75 secs
lola: 2489795 markings, 4660945 edges, 28831 markings/sec, 80 secs
lola: 2632269 markings, 4916818 edges, 28495 markings/sec, 85 secs
lola: 2773396 markings, 5221262 edges, 28225 markings/sec, 90 secs
lola: 2910286 markings, 5552583 edges, 27378 markings/sec, 95 secs
lola: 3048836 markings, 5837462 edges, 27710 markings/sec, 100 secs
lola: 3183791 markings, 6155329 edges, 26991 markings/sec, 105 secs
lola: 3323246 markings, 6453984 edges, 27891 markings/sec, 110 secs
lola: 3464584 markings, 6708063 edges, 28268 markings/sec, 115 secs
lola: 3605686 markings, 6959540 edges, 28220 markings/sec, 120 secs
lola: 3741730 markings, 7279703 edges, 27209 markings/sec, 125 secs
lola: 3878685 markings, 7585107 edges, 27391 markings/sec, 130 secs
lola: 4020907 markings, 7865441 edges, 28444 markings/sec, 135 secs
lola: 4159511 markings, 8205575 edges, 27721 markings/sec, 140 secs
lola: 4296874 markings, 8518977 edges, 27473 markings/sec, 145 secs
lola: 4434195 markings, 8832677 edges, 27464 markings/sec, 150 secs
lola: 4572899 markings, 9117439 edges, 27741 markings/sec, 155 secs
lola: 4704560 markings, 9480911 edges, 26332 markings/sec, 160 secs
lola: 4843002 markings, 9743726 edges, 27688 markings/sec, 165 secs
lola: 4979163 markings, 10045781 edges, 27232 markings/sec, 170 secs
lola: 5114135 markings, 10347541 edges, 26994 markings/sec, 175 secs
lola: 5249910 markings, 10667482 edges, 27155 markings/sec, 180 secs
lola: 5385734 markings, 10987603 edges, 27165 markings/sec, 185 secs
lola: 5520775 markings, 11312261 edges, 27008 markings/sec, 190 secs
lola: 5658269 markings, 11597608 edges, 27499 markings/sec, 195 secs
lola: 5796055 markings, 11896557 edges, 27557 markings/sec, 200 secs
lola: 5930571 markings, 12194027 edges, 26903 markings/sec, 205 secs
lola: 6068491 markings, 12452603 edges, 27584 markings/sec, 210 secs
lola: 6199447 markings, 12823498 edges, 26191 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: 167065 markings, 327716 edges, 33413 markings/sec, 0 secs
lola: 331929 markings, 661108 edges, 32973 markings/sec, 5 secs
lola: 496799 markings, 989413 edges, 32974 markings/sec, 10 secs
lola: 659572 markings, 1324894 edges, 32555 markings/sec, 15 secs
lola: 826100 markings, 1652931 edges, 33306 markings/sec, 20 secs
lola: 989845 markings, 1983642 edges, 32749 markings/sec, 25 secs
lola: 1150964 markings, 2321973 edges, 32224 markings/sec, 30 secs
lola: 1313209 markings, 2649657 edges, 32449 markings/sec, 35 secs
lola: 1474110 markings, 2989142 edges, 32180 markings/sec, 40 secs
lola: 1637472 markings, 3316038 edges, 32672 markings/sec, 45 secs
lola: 1797158 markings, 3656722 edges, 31937 markings/sec, 50 secs
lola: 1955817 markings, 4004331 edges, 31732 markings/sec, 55 secs
lola: 2113519 markings, 4355233 edges, 31540 markings/sec, 60 secs
lola: 2274401 markings, 4686946 edges, 32176 markings/sec, 65 secs
lola: 2433780 markings, 5027669 edges, 31876 markings/sec, 70 secs
lola: 2590837 markings, 5376840 edges, 31411 markings/sec, 75 secs
lola: 2744898 markings, 5748079 edges, 30812 markings/sec, 80 secs
lola: 2903341 markings, 6107222 edges, 31689 markings/sec, 85 secs
lola: 3061001 markings, 6457722 edges, 31532 markings/sec, 90 secs
lola: 3216807 markings, 6804879 edges, 31161 markings/sec, 95 secs
lola: 3373814 markings, 7149117 edges, 31401 markings/sec, 100 secs
lola: 3533984 markings, 7476889 edges, 32034 markings/sec, 105 secs
lola: 3700099 markings, 7806227 edges, 33223 markings/sec, 110 secs
lola: 3857780 markings, 8145667 edges, 31536 markings/sec, 115 secs
lola: 4011102 markings, 8502015 edges, 30664 markings/sec, 120 secs
lola: 4165311 markings, 8853633 edges, 30842 markings/sec, 125 secs
lola: 4322694 markings, 9197085 edges, 31477 markings/sec, 130 secs
lola: 4480772 markings, 9526409 edges, 31616 markings/sec, 135 secs
lola: 4641612 markings, 9846266 edges, 32168 markings/sec, 140 secs
lola: 4797732 markings, 10182554 edges, 31224 markings/sec, 145 secs
lola: 4951784 markings, 10529180 edges, 30810 markings/sec, 150 secs
lola: 5106779 markings, 10870697 edges, 30999 markings/sec, 155 secs
lola: 5274263 markings, 11197846 edges, 33497 markings/sec, 160 secs
lola: 5438495 markings, 11528858 edges, 32846 markings/sec, 165 secs
lola: 5601505 markings, 11858877 edges, 32602 markings/sec, 170 secs
lola: 5757858 markings, 12201713 edges, 31271 markings/sec, 175 secs
lola: 5910116 markings, 12552134 edges, 30452 markings/sec, 180 secs
lola: 6067366 markings, 12892040 edges, 31450 markings/sec, 185 secs
lola: 6219419 markings, 13248243 edges, 30411 markings/sec, 190 secs
lola: 6373206 markings, 13584546 edges, 30757 markings/sec, 195 secs
lola: 6522236 markings, 13946093 edges, 29806 markings/sec, 200 secs
lola: 6672562 markings, 14318726 edges, 30065 markings/sec, 205 secs
lola: 6827234 markings, 14647992 edges, 30934 markings/sec, 210 secs
lola: 6987673 markings, 14987646 edges, 32088 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: 125997 markings, 225125 edges, 25199 markings/sec, 0 secs
lola: 247777 markings, 444563 edges, 24356 markings/sec, 5 secs
lola: 367249 markings, 681573 edges, 23894 markings/sec, 10 secs
lola: 483943 markings, 910509 edges, 23339 markings/sec, 15 secs
lola: 599437 markings, 1148666 edges, 23099 markings/sec, 20 secs
lola: 714375 markings, 1394706 edges, 22988 markings/sec, 25 secs
lola: 827572 markings, 1640128 edges, 22639 markings/sec, 30 secs
lola: 940808 markings, 1891268 edges, 22647 markings/sec, 35 secs
lola: 1053641 markings, 2127643 edges, 22567 markings/sec, 40 secs
lola: 1166796 markings, 2384149 edges, 22631 markings/sec, 45 secs
lola: 1279106 markings, 2644271 edges, 22462 markings/sec, 50 secs
lola: 1388877 markings, 2906994 edges, 21954 markings/sec, 55 secs
lola: 1498193 markings, 3169716 edges, 21863 markings/sec, 60 secs
lola: 1607142 markings, 3433466 edges, 21790 markings/sec, 65 secs
lola: 1716561 markings, 3703039 edges, 21884 markings/sec, 70 secs
lola: 1826445 markings, 3981942 edges, 21977 markings/sec, 75 secs
lola: 1937170 markings, 4257804 edges, 22145 markings/sec, 80 secs
lola: 2047478 markings, 4535086 edges, 22062 markings/sec, 85 secs
lola: 2156286 markings, 4812313 edges, 21762 markings/sec, 90 secs
lola: 2266243 markings, 5085635 edges, 21991 markings/sec, 95 secs
lola: 2375707 markings, 5366801 edges, 21893 markings/sec, 100 secs
lola: 2482571 markings, 5651557 edges, 21373 markings/sec, 105 secs
lola: 2592233 markings, 5916375 edges, 21932 markings/sec, 110 secs
lola: 2699926 markings, 6203576 edges, 21539 markings/sec, 115 secs
lola: 2808322 markings, 6483943 edges, 21679 markings/sec, 120 secs
lola: 2914321 markings, 6767452 edges, 21200 markings/sec, 125 secs
lola: 3021635 markings, 7057088 edges, 21463 markings/sec, 130 secs
lola: 3127978 markings, 7340721 edges, 21269 markings/sec, 135 secs
lola: 3236347 markings, 7615922 edges, 21674 markings/sec, 140 secs
lola: 3341983 markings, 7898844 edges, 21127 markings/sec, 145 secs
lola: 3448685 markings, 8190823 edges, 21340 markings/sec, 150 secs
lola: 3554784 markings, 8488011 edges, 21220 markings/sec, 155 secs
lola: 3660009 markings, 8772613 edges, 21045 markings/sec, 160 secs
lola: 3765500 markings, 9052120 edges, 21098 markings/sec, 165 secs
lola: 3869949 markings, 9353302 edges, 20890 markings/sec, 170 secs
lola: 3976374 markings, 9633777 edges, 21285 markings/sec, 175 secs
lola: 4085885 markings, 9858570 edges, 21902 markings/sec, 180 secs
lola: 4190672 markings, 10124165 edges, 20957 markings/sec, 185 secs
lola: 4296597 markings, 10418289 edges, 21185 markings/sec, 190 secs
lola: 4401972 markings, 10710522 edges, 21075 markings/sec, 195 secs
lola: 4508037 markings, 10986112 edges, 21213 markings/sec, 200 secs
lola: 4613193 markings, 11261393 edges, 21031 markings/sec, 205 secs
lola: 4716566 markings, 11554551 edges, 20675 markings/sec, 210 secs
lola: 4822479 markings, 11854223 edges, 21183 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: 167221 markings, 312248 edges, 33444 markings/sec, 0 secs
lola: 329004 markings, 661670 edges, 32357 markings/sec, 5 secs
lola: 492235 markings, 991279 edges, 32646 markings/sec, 10 secs
lola: 659215 markings, 1304376 edges, 33396 markings/sec, 15 secs
lola: 822731 markings, 1631908 edges, 32703 markings/sec, 20 secs
lola: 981638 markings, 1981067 edges, 31781 markings/sec, 25 secs
lola: 1141514 markings, 2323914 edges, 31975 markings/sec, 30 secs
lola: 1305151 markings, 2645658 edges, 32727 markings/sec, 35 secs
lola: 1463446 markings, 3003323 edges, 31659 markings/sec, 40 secs
lola: 1622635 markings, 3361613 edges, 31838 markings/sec, 45 secs
lola: 1784303 markings, 3689968 edges, 32334 markings/sec, 50 secs
lola: 1948699 markings, 3996573 edges, 32879 markings/sec, 55 secs
lola: 2109403 markings, 4335184 edges, 32141 markings/sec, 60 secs
lola: 2270527 markings, 4661320 edges, 32225 markings/sec, 65 secs
lola: 2429448 markings, 5000279 edges, 31784 markings/sec, 70 secs
lola: 2587359 markings, 5350533 edges, 31582 markings/sec, 75 secs
lola: 2740893 markings, 5722492 edges, 30707 markings/sec, 80 secs
lola: 2894150 markings, 6092636 edges, 30651 markings/sec, 85 secs
lola: 3044448 markings, 6478900 edges, 30060 markings/sec, 90 secs
lola: 3194541 markings, 6871898 edges, 30019 markings/sec, 95 secs
lola: 3349421 markings, 7241366 edges, 30976 markings/sec, 100 secs
lola: 3493607 markings, 7673946 edges, 28837 markings/sec, 105 secs
lola: 3646991 markings, 8038965 edges, 30677 markings/sec, 110 secs
lola: 3811739 markings, 8366022 edges, 32950 markings/sec, 115 secs
lola: 3973401 markings, 8724310 edges, 32332 markings/sec, 120 secs
lola: 4136490 markings, 9062413 edges, 32618 markings/sec, 125 secs
lola: 4295308 markings, 9399276 edges, 31764 markings/sec, 130 secs
lola: 4452767 markings, 9737960 edges, 31492 markings/sec, 135 secs
lola: 4609662 markings, 10066800 edges, 31379 markings/sec, 140 secs
lola: 4760298 markings, 10440838 edges, 30127 markings/sec, 145 secs
lola: 4916549 markings, 10763262 edges, 31250 markings/sec, 150 secs
lola: 5071855 markings, 11093844 edges, 31061 markings/sec, 155 secs
lola: 5228939 markings, 11418360 edges, 31417 markings/sec, 160 secs
lola: 5383734 markings, 11757373 edges, 30959 markings/sec, 165 secs
lola: 5532864 markings, 12140391 edges, 29826 markings/sec, 170 secs
lola: 5681696 markings, 12519527 edges, 29766 markings/sec, 175 secs
lola: 5835328 markings, 12875202 edges, 30726 markings/sec, 180 secs
lola: 5984083 markings, 13244566 edges, 29751 markings/sec, 185 secs
lola: 6134029 markings, 13607520 edges, 29989 markings/sec, 190 secs
lola: 6280517 markings, 13988534 edges, 29298 markings/sec, 195 secs
lola: 6427416 markings, 14366457 edges, 29380 markings/sec, 200 secs
lola: 6587562 markings, 14696855 edges, 32029 markings/sec, 205 secs
lola: 6738290 markings, 15047435 edges, 30146 markings/sec, 210 secs
lola: 6887272 markings, 15432532 edges, 29796 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: 150773 markings, 292564 edges, 30155 markings/sec, 0 secs
lola: 296854 markings, 599226 edges, 29216 markings/sec, 5 secs
lola: 442722 markings, 906407 edges, 29174 markings/sec, 10 secs
lola: 590065 markings, 1201063 edges, 29469 markings/sec, 15 secs
lola: 734852 markings, 1502966 edges, 28957 markings/sec, 20 secs
lola: 876432 markings, 1816377 edges, 28316 markings/sec, 25 secs
lola: 1018693 markings, 2119447 edges, 28452 markings/sec, 30 secs
lola: 1163708 markings, 2414644 edges, 29003 markings/sec, 35 secs
lola: 1310911 markings, 2708419 edges, 29441 markings/sec, 40 secs
lola: 1459145 markings, 3006157 edges, 29647 markings/sec, 45 secs
lola: 1604842 markings, 3311792 edges, 29139 markings/sec, 50 secs
lola: 1748530 markings, 3619075 edges, 28738 markings/sec, 55 secs
lola: 1890045 markings, 3934567 edges, 28303 markings/sec, 60 secs
lola: 2030276 markings, 4252217 edges, 28046 markings/sec, 65 secs
lola: 2168943 markings, 4564407 edges, 27733 markings/sec, 70 secs
lola: 2305769 markings, 4883344 edges, 27365 markings/sec, 75 secs
lola: 2446585 markings, 5189153 edges, 28163 markings/sec, 80 secs
lola: 2583614 markings, 5507737 edges, 27406 markings/sec, 85 secs
lola: 2722182 markings, 5804946 edges, 27714 markings/sec, 90 secs
lola: 2860177 markings, 6109753 edges, 27599 markings/sec, 95 secs
lola: 2994797 markings, 6430687 edges, 26924 markings/sec, 100 secs
lola: 3130942 markings, 6746012 edges, 27229 markings/sec, 105 secs
lola: 3265618 markings, 7070613 edges, 26935 markings/sec, 110 secs
lola: 3404254 markings, 7373577 edges, 27727 markings/sec, 115 secs
lola: 3540072 markings, 7680349 edges, 27164 markings/sec, 120 secs
lola: 3675907 markings, 7992594 edges, 27167 markings/sec, 125 secs
lola: 3810422 markings, 8316886 edges, 26903 markings/sec, 130 secs
lola: 3944007 markings, 8639995 edges, 26717 markings/sec, 135 secs
lola: 4078130 markings, 8959624 edges, 26825 markings/sec, 140 secs
lola: 4213542 markings, 9279435 edges, 27082 markings/sec, 145 secs
lola: 4358752 markings, 9570595 edges, 29042 markings/sec, 150 secs
lola: 4501160 markings, 9867226 edges, 28482 markings/sec, 155 secs
lola: 4643703 markings, 10160543 edges, 28509 markings/sec, 160 secs
lola: 4785058 markings, 10466385 edges, 28271 markings/sec, 165 secs
lola: 4924010 markings, 10782828 edges, 27790 markings/sec, 170 secs
lola: 5064195 markings, 11092582 edges, 28037 markings/sec, 175 secs
lola: 5203297 markings, 11401126 edges, 27820 markings/sec, 180 secs
lola: 5338849 markings, 11728556 edges, 27110 markings/sec, 185 secs
lola: 5482235 markings, 12029598 edges, 28677 markings/sec, 190 secs
lola: 5624179 markings, 12328341 edges, 28389 markings/sec, 195 secs
lola: 5765176 markings, 12635687 edges, 28199 markings/sec, 200 secs
lola: 5901923 markings, 12955494 edges, 27349 markings/sec, 205 secs
lola: 6039882 markings, 13267505 edges, 27592 markings/sec, 210 secs
lola: 6176822 markings, 13583289 edges, 27388 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: 209994 markings, 470236 edges, 41999 markings/sec, 0 secs
lola: 398896 markings, 932088 edges, 37780 markings/sec, 5 secs
lola: 608432 markings, 1404011 edges, 41907 markings/sec, 10 secs
lola: 801961 markings, 1864458 edges, 38706 markings/sec, 15 secs
lola: 982406 markings, 2315378 edges, 36089 markings/sec, 20 secs
lola: 1157452 markings, 2766850 edges, 35009 markings/sec, 25 secs
lola: 1338376 markings, 3224412 edges, 36185 markings/sec, 30 secs
lola: 1543150 markings, 3696370 edges, 40955 markings/sec, 35 secs
lola: 1729896 markings, 4151007 edges, 37349 markings/sec, 40 secs
lola: 1908682 markings, 4596440 edges, 35757 markings/sec, 45 secs
lola: 2083154 markings, 5044188 edges, 34894 markings/sec, 50 secs
lola: 2253120 markings, 5494643 edges, 33993 markings/sec, 55 secs
lola: 2472098 markings, 5971518 edges, 43796 markings/sec, 60 secs
lola: 2658835 markings, 6425318 edges, 37347 markings/sec, 65 secs
lola: 2832250 markings, 6873143 edges, 34683 markings/sec, 70 secs
lola: 3044308 markings, 7349108 edges, 42412 markings/sec, 75 secs
lola: 3240803 markings, 7811228 edges, 39299 markings/sec, 80 secs
lola: 3424460 markings, 8260624 edges, 36731 markings/sec, 85 secs
lola: 3596996 markings, 8706099 edges, 34507 markings/sec, 90 secs
lola: 3804711 markings, 9176834 edges, 41543 markings/sec, 95 secs
lola: 3991627 markings, 9624135 edges, 37383 markings/sec, 100 secs
lola: 4168516 markings, 10068643 edges, 35378 markings/sec, 105 secs
lola: 4341930 markings, 10514681 edges, 34683 markings/sec, 110 secs
lola: 4546976 markings, 10982208 edges, 41009 markings/sec, 115 secs
lola: 4734900 markings, 11434147 edges, 37585 markings/sec, 120 secs
lola: 4913181 markings, 11879306 edges, 35656 markings/sec, 125 secs
lola: 5089307 markings, 12326749 edges, 35225 markings/sec, 130 secs
lola: 5294697 markings, 12795258 edges, 41078 markings/sec, 135 secs
lola: 5481612 markings, 13247631 edges, 37383 markings/sec, 140 secs
lola: 5658152 markings, 13693168 edges, 35308 markings/sec, 145 secs
lola: 5828584 markings, 14135581 edges, 34086 markings/sec, 150 secs
lola: 5995233 markings, 14576885 edges, 33330 markings/sec, 155 secs
lola: 6191777 markings, 15033332 edges, 39309 markings/sec, 160 secs
lola: 6377730 markings, 15476246 edges, 37191 markings/sec, 165 secs
lola: 6558338 markings, 15915737 edges, 36122 markings/sec, 170 secs
lola: 6751473 markings, 16368211 edges, 38627 markings/sec, 175 secs
lola: 6949227 markings, 16832716 edges, 39551 markings/sec, 180 secs
lola: 7136791 markings, 17287390 edges, 37513 markings/sec, 185 secs
lola: 7343614 markings, 17759928 edges, 41365 markings/sec, 190 secs
lola: 7533871 markings, 18216865 edges, 38051 markings/sec, 195 secs
lola: 7716667 markings, 18670373 edges, 36559 markings/sec, 200 secs
lola: 7897772 markings, 19118509 edges, 36221 markings/sec, 205 secs
lola: 8121208 markings, 19595158 edges, 44687 markings/sec, 210 secs
lola: 8289936 markings, 20033401 edges, 33746 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 221 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: 139584 markings, 358497 edges, 27917 markings/sec, 0 secs
lola: 279733 markings, 727429 edges, 28030 markings/sec, 5 secs
lola: 419137 markings, 1115165 edges, 27881 markings/sec, 10 secs
lola: 557841 markings, 1478047 edges, 27741 markings/sec, 15 secs
lola: 696940 markings, 1845867 edges, 27820 markings/sec, 20 secs
lola: 833813 markings, 2208852 edges, 27375 markings/sec, 25 secs
lola: 969119 markings, 2564038 edges, 27061 markings/sec, 30 secs
lola: 1103730 markings, 2926368 edges, 26922 markings/sec, 35 secs
lola: 1239127 markings, 3281266 edges, 27079 markings/sec, 40 secs
lola: 1373651 markings, 3640208 edges, 26905 markings/sec, 45 secs
lola: 1509982 markings, 3990557 edges, 27266 markings/sec, 50 secs
lola: 1645031 markings, 4333559 edges, 27010 markings/sec, 55 secs
lola: 1780858 markings, 4689641 edges, 27165 markings/sec, 60 secs
lola: 1913693 markings, 5066362 edges, 26567 markings/sec, 65 secs
lola: 2047956 markings, 5440023 edges, 26853 markings/sec, 70 secs
lola: 2184677 markings, 5830562 edges, 27344 markings/sec, 75 secs
lola: 2319086 markings, 6193619 edges, 26882 markings/sec, 80 secs
lola: 2453168 markings, 6560251 edges, 26816 markings/sec, 85 secs
lola: 2588550 markings, 6947360 edges, 27076 markings/sec, 90 secs
lola: 2721773 markings, 7353110 edges, 26645 markings/sec, 95 secs
lola: 2854865 markings, 7783838 edges, 26618 markings/sec, 100 secs
lola: 2986869 markings, 8200505 edges, 26401 markings/sec, 105 secs
lola: 3121936 markings, 8562482 edges, 27013 markings/sec, 110 secs
lola: 3255157 markings, 8961944 edges, 26644 markings/sec, 115 secs
lola: 3389548 markings, 9333233 edges, 26878 markings/sec, 120 secs
lola: 3525477 markings, 9713723 edges, 27186 markings/sec, 125 secs
lola: 3658499 markings, 10108491 edges, 26604 markings/sec, 130 secs
lola: 3790371 markings, 10495342 edges, 26374 markings/sec, 135 secs
lola: 3924488 markings, 10880066 edges, 26823 markings/sec, 140 secs
lola: 4058437 markings, 11285247 edges, 26790 markings/sec, 145 secs
lola: 4191165 markings, 11713704 edges, 26546 markings/sec, 150 secs
lola: 4318979 markings, 12152527 edges, 25563 markings/sec, 155 secs
lola: 4447965 markings, 12590284 edges, 25797 markings/sec, 160 secs
lola: 4578439 markings, 13000878 edges, 26095 markings/sec, 165 secs
lola: 4710378 markings, 13398830 edges, 26388 markings/sec, 170 secs
lola: 4842755 markings, 13774278 edges, 26475 markings/sec, 175 secs
lola: 4974488 markings, 14186297 edges, 26347 markings/sec, 180 secs
lola: 5106687 markings, 14607911 edges, 26440 markings/sec, 185 secs
lola: 5239287 markings, 14990881 edges, 26520 markings/sec, 190 secs
lola: 5369665 markings, 15420026 edges, 26076 markings/sec, 195 secs
lola: 5500310 markings, 15832670 edges, 26129 markings/sec, 200 secs
lola: 5638388 markings, 16183914 edges, 27616 markings/sec, 205 secs
lola: 5777495 markings, 16560874 edges, 27821 markings/sec, 210 secs
lola: 5915487 markings, 16947448 edges, 27598 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
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 1496579155273

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_UtahNoC-PT-none.tgz
mv S_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 S_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 r158-ebro-149443464300371"
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 ;