Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBLF-COL-S02J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869800290
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494611638905


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S02J04T06 @ 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: 1396/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: MAX(p444 + p445 + p446 + p447 + p448 + p449) : MAX(p128 + p129) : MAX(p349 + p350 + p351 + p352 + p353 + p354) : MAX(p247) : MAX(p292 + p293 + p294 + p295 + p296 + p297) : MAX(p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396) : MAX(p397) : MAX(p21) : MAX(p405) : MAX(p115 + p116 + p117 + p118 + p119 + p120) : MAX(p404) : MAX(p156 + p157 + p158 + p159 + p160 + p161) : MAX(p450) : MAX(p211 + p212 + p213 + p214 + p215 + p216) : MAX(p132 + p133 + p134 + p135 + p136 + p137) : MAX(p450)
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(p444 + p445 + p446 + p447 + p448 + p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 169914 markings, 177924 edges, 33983 markings/sec, 0 secs
lola: 334302 markings, 360287 edges, 32878 markings/sec, 5 secs
lola: 497404 markings, 545749 edges, 32620 markings/sec, 10 secs
lola: 638313 markings, 709515 edges, 28182 markings/sec, 15 secs
lola: 797893 markings, 895430 edges, 31916 markings/sec, 20 secs
lola: 950728 markings, 1074734 edges, 30567 markings/sec, 25 secs
lola: 1103713 markings, 1254812 edges, 30597 markings/sec, 30 secs
lola: 1265206 markings, 1446259 edges, 32299 markings/sec, 35 secs
lola: 1425453 markings, 1639357 edges, 32049 markings/sec, 40 secs
lola: 1587571 markings, 1836403 edges, 32424 markings/sec, 45 secs
lola: 1747123 markings, 2031899 edges, 31910 markings/sec, 50 secs
lola: 1906957 markings, 2228458 edges, 31967 markings/sec, 55 secs
lola: 2066319 markings, 2426224 edges, 31872 markings/sec, 60 secs
lola: 2225996 markings, 2624423 edges, 31935 markings/sec, 65 secs
lola: 2385273 markings, 2822340 edges, 31855 markings/sec, 70 secs
lola: 2544234 markings, 3020070 edges, 31792 markings/sec, 75 secs
lola: 2703397 markings, 3219357 edges, 31833 markings/sec, 80 secs
lola: 2860290 markings, 3414949 edges, 31379 markings/sec, 85 secs
lola: 3017412 markings, 3612022 edges, 31424 markings/sec, 90 secs
lola: 3173990 markings, 3808472 edges, 31316 markings/sec, 95 secs
lola: 3330505 markings, 4006223 edges, 31303 markings/sec, 100 secs
lola: 3486948 markings, 4199835 edges, 31289 markings/sec, 105 secs
lola: 3643048 markings, 4394837 edges, 31220 markings/sec, 110 secs
lola: 3798654 markings, 4589929 edges, 31121 markings/sec, 115 secs
lola: 3954300 markings, 4788442 edges, 31129 markings/sec, 120 secs
lola: 4110210 markings, 4982807 edges, 31182 markings/sec, 125 secs
lola: 4266072 markings, 5179991 edges, 31172 markings/sec, 130 secs
lola: 4422103 markings, 5375116 edges, 31206 markings/sec, 135 secs
lola: 4575542 markings, 5565365 edges, 30688 markings/sec, 140 secs
lola: 4731574 markings, 5762291 edges, 31206 markings/sec, 145 secs
lola: 4883841 markings, 5951135 edges, 30453 markings/sec, 150 secs
lola: 5038115 markings, 6148555 edges, 30855 markings/sec, 155 secs
lola: 5193098 markings, 6341430 edges, 30997 markings/sec, 160 secs
lola: 5348429 markings, 6535748 edges, 31066 markings/sec, 165 secs
lola: 5503183 markings, 6729319 edges, 30951 markings/sec, 170 secs
lola: 5653562 markings, 6921859 edges, 30076 markings/sec, 175 secs
lola: 5806532 markings, 7114663 edges, 30594 markings/sec, 180 secs
lola: 5961887 markings, 7307890 edges, 31071 markings/sec, 185 secs
lola: 6116563 markings, 7501002 edges, 30935 markings/sec, 190 secs
lola: 6269309 markings, 7694273 edges, 30549 markings/sec, 195 secs
lola: 6422854 markings, 7887351 edges, 30709 markings/sec, 200 secs
lola: 6578453 markings, 8079619 edges, 31120 markings/sec, 205 secs
lola: 6729640 markings, 8269925 edges, 30237 markings/sec, 210 secs
lola: 6881277 markings, 8463221 edges, 30327 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(p128 + p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 174090 markings, 194654 edges, 34818 markings/sec, 0 secs
lola: 346246 markings, 390888 edges, 34431 markings/sec, 5 secs
lola: 516795 markings, 589337 edges, 34110 markings/sec, 10 secs
lola: 687153 markings, 790399 edges, 34072 markings/sec, 15 secs
lola: 856708 markings, 992541 edges, 33911 markings/sec, 20 secs
lola: 1020958 markings, 1188291 edges, 32850 markings/sec, 25 secs
lola: 1190546 markings, 1390683 edges, 33918 markings/sec, 30 secs
lola: 1358617 markings, 1592333 edges, 33614 markings/sec, 35 secs
lola: 1527112 markings, 1795911 edges, 33699 markings/sec, 40 secs
lola: 1695496 markings, 1999998 edges, 33677 markings/sec, 45 secs
lola: 1865570 markings, 2206728 edges, 34015 markings/sec, 50 secs
lola: 2036204 markings, 2415302 edges, 34127 markings/sec, 55 secs
lola: 2206436 markings, 2624228 edges, 34046 markings/sec, 60 secs
lola: 2376406 markings, 2832958 edges, 33994 markings/sec, 65 secs
lola: 2545921 markings, 3041905 edges, 33903 markings/sec, 70 secs
lola: 2714930 markings, 3248732 edges, 33802 markings/sec, 75 secs
lola: 2883336 markings, 3456517 edges, 33681 markings/sec, 80 secs
lola: 3050867 markings, 3662894 edges, 33506 markings/sec, 85 secs
lola: 3218077 markings, 3865788 edges, 33442 markings/sec, 90 secs
lola: 3385254 markings, 4068602 edges, 33435 markings/sec, 95 secs
lola: 3551899 markings, 4271851 edges, 33329 markings/sec, 100 secs
lola: 3718139 markings, 4474532 edges, 33248 markings/sec, 105 secs
lola: 3884561 markings, 4677738 edges, 33284 markings/sec, 110 secs
lola: 4050322 markings, 4878245 edges, 33152 markings/sec, 115 secs
lola: 4209886 markings, 5076140 edges, 31913 markings/sec, 120 secs
lola: 4374813 markings, 5276456 edges, 32985 markings/sec, 125 secs
lola: 4539681 markings, 5478198 edges, 32974 markings/sec, 130 secs
lola: 4702832 markings, 5676521 edges, 32630 markings/sec, 135 secs
lola: 4867946 markings, 5878909 edges, 33023 markings/sec, 140 secs
lola: 5031792 markings, 6077895 edges, 32769 markings/sec, 145 secs
lola: 5194561 markings, 6277579 edges, 32554 markings/sec, 150 secs
lola: 5357075 markings, 6476118 edges, 32503 markings/sec, 155 secs
lola: 5514986 markings, 6672119 edges, 31582 markings/sec, 160 secs
lola: 5675861 markings, 6869651 edges, 32175 markings/sec, 165 secs
lola: 5837733 markings, 7065533 edges, 32374 markings/sec, 170 secs
lola: 6000056 markings, 7263726 edges, 32465 markings/sec, 175 secs
lola: 6161569 markings, 7459458 edges, 32303 markings/sec, 180 secs
lola: 6322273 markings, 7654253 edges, 32141 markings/sec, 185 secs
lola: 6482920 markings, 7849742 edges, 32129 markings/sec, 190 secs
lola: 6641759 markings, 8042584 edges, 31768 markings/sec, 195 secs
lola: 6799714 markings, 8235658 edges, 31591 markings/sec, 200 secs
lola: 6958736 markings, 8426666 edges, 31804 markings/sec, 205 secs
lola: 7116470 markings, 8616207 edges, 31547 markings/sec, 210 secs
lola: 7272391 markings, 8804072 edges, 31184 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(p349 + p350 + p351 + p352 + p353 + p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 166490 markings, 214353 edges, 33298 markings/sec, 0 secs
lola: 329541 markings, 437750 edges, 32610 markings/sec, 5 secs
lola: 491387 markings, 662541 edges, 32369 markings/sec, 10 secs
lola: 652110 markings, 891992 edges, 32145 markings/sec, 15 secs
lola: 811377 markings, 1122869 edges, 31853 markings/sec, 20 secs
lola: 970870 markings, 1352374 edges, 31899 markings/sec, 25 secs
lola: 1129675 markings, 1583032 edges, 31761 markings/sec, 30 secs
lola: 1287791 markings, 1814072 edges, 31623 markings/sec, 35 secs
lola: 1445508 markings, 2042835 edges, 31543 markings/sec, 40 secs
lola: 1602962 markings, 2271334 edges, 31491 markings/sec, 45 secs
lola: 1760788 markings, 2497360 edges, 31565 markings/sec, 50 secs
lola: 1918083 markings, 2723822 edges, 31459 markings/sec, 55 secs
lola: 2075316 markings, 2947767 edges, 31447 markings/sec, 60 secs
lola: 2231650 markings, 3173894 edges, 31267 markings/sec, 65 secs
lola: 2387062 markings, 3396066 edges, 31082 markings/sec, 70 secs
lola: 2543499 markings, 3617921 edges, 31287 markings/sec, 75 secs
lola: 2699188 markings, 3840168 edges, 31138 markings/sec, 80 secs
lola: 2855311 markings, 4066265 edges, 31225 markings/sec, 85 secs
lola: 3011525 markings, 4292717 edges, 31243 markings/sec, 90 secs
lola: 3168705 markings, 4517696 edges, 31436 markings/sec, 95 secs
lola: 3325145 markings, 4743397 edges, 31288 markings/sec, 100 secs
lola: 3476302 markings, 4962635 edges, 30231 markings/sec, 105 secs
lola: 3631244 markings, 5185345 edges, 30988 markings/sec, 110 secs
lola: 3786225 markings, 5411219 edges, 30996 markings/sec, 115 secs
lola: 3942071 markings, 5632444 edges, 31169 markings/sec, 120 secs
lola: 4096892 markings, 5854493 edges, 30964 markings/sec, 125 secs
lola: 4250695 markings, 6077793 edges, 30761 markings/sec, 130 secs
lola: 4404434 markings, 6300793 edges, 30748 markings/sec, 135 secs
lola: 4558195 markings, 6518686 edges, 30752 markings/sec, 140 secs
lola: 4711898 markings, 6741587 edges, 30741 markings/sec, 145 secs
lola: 4865031 markings, 6966530 edges, 30627 markings/sec, 150 secs
lola: 5018614 markings, 7185584 edges, 30717 markings/sec, 155 secs
lola: 5172488 markings, 7406036 edges, 30775 markings/sec, 160 secs
lola: 5325978 markings, 7626744 edges, 30698 markings/sec, 165 secs
lola: 5479541 markings, 7846226 edges, 30713 markings/sec, 170 secs
lola: 5632737 markings, 8063228 edges, 30639 markings/sec, 175 secs
lola: 5785123 markings, 8280045 edges, 30477 markings/sec, 180 secs
lola: 5938673 markings, 8495171 edges, 30710 markings/sec, 185 secs
lola: 6091291 markings, 8713397 edges, 30524 markings/sec, 190 secs
lola: 6239305 markings, 8924711 edges, 29603 markings/sec, 195 secs
lola: 6391158 markings, 9141271 edges, 30371 markings/sec, 200 secs
lola: 6545161 markings, 9356412 edges, 30801 markings/sec, 205 secs
lola: 6692575 markings, 9565100 edges, 29483 markings/sec, 210 secs
lola: 6839217 markings, 9777316 edges, 29328 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(p247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 155273 markings, 186711 edges, 31055 markings/sec, 0 secs
lola: 307709 markings, 372516 edges, 30487 markings/sec, 5 secs
lola: 452391 markings, 549059 edges, 28936 markings/sec, 10 secs
lola: 596348 markings, 725773 edges, 28791 markings/sec, 15 secs
lola: 744941 markings, 908700 edges, 29719 markings/sec, 20 secs
lola: 889295 markings, 1086501 edges, 28871 markings/sec, 25 secs
lola: 1032830 markings, 1263286 edges, 28707 markings/sec, 30 secs
lola: 1175448 markings, 1440176 edges, 28524 markings/sec, 35 secs
lola: 1318407 markings, 1618423 edges, 28592 markings/sec, 40 secs
lola: 1461980 markings, 1796601 edges, 28715 markings/sec, 45 secs
lola: 1604730 markings, 1975283 edges, 28550 markings/sec, 50 secs
lola: 1751111 markings, 2157772 edges, 29276 markings/sec, 55 secs
lola: 1896314 markings, 2338851 edges, 29041 markings/sec, 60 secs
lola: 2039299 markings, 2517487 edges, 28597 markings/sec, 65 secs
lola: 2182168 markings, 2696420 edges, 28574 markings/sec, 70 secs
lola: 2324576 markings, 2875679 edges, 28482 markings/sec, 75 secs
lola: 2466695 markings, 3055201 edges, 28424 markings/sec, 80 secs
lola: 2608959 markings, 3236195 edges, 28453 markings/sec, 85 secs
lola: 2750354 markings, 3414066 edges, 28279 markings/sec, 90 secs
lola: 2892044 markings, 3591304 edges, 28338 markings/sec, 95 secs
lola: 3032873 markings, 3769177 edges, 28166 markings/sec, 100 secs
lola: 3173837 markings, 3947624 edges, 28193 markings/sec, 105 secs
lola: 3314516 markings, 4124645 edges, 28136 markings/sec, 110 secs
lola: 3454687 markings, 4302028 edges, 28034 markings/sec, 115 secs
lola: 3595226 markings, 4477679 edges, 28108 markings/sec, 120 secs
lola: 3735097 markings, 4654542 edges, 27974 markings/sec, 125 secs
lola: 3875267 markings, 4832546 edges, 28034 markings/sec, 130 secs
lola: 4015565 markings, 5009684 edges, 28060 markings/sec, 135 secs
lola: 4159785 markings, 5190090 edges, 28844 markings/sec, 140 secs
lola: 4305556 markings, 5373174 edges, 29154 markings/sec, 145 secs
lola: 4437413 markings, 5541297 edges, 26371 markings/sec, 150 secs
lola: 4569993 markings, 5708897 edges, 26516 markings/sec, 155 secs
lola: 4708514 markings, 5885314 edges, 27704 markings/sec, 160 secs
lola: 4854362 markings, 6073664 edges, 29170 markings/sec, 165 secs
lola: 4998514 markings, 6256043 edges, 28830 markings/sec, 170 secs
lola: 5137052 markings, 6435488 edges, 27708 markings/sec, 175 secs
lola: 5275873 markings, 6615527 edges, 27764 markings/sec, 180 secs
lola: 5415138 markings, 6793990 edges, 27853 markings/sec, 185 secs
lola: 5553508 markings, 6970520 edges, 27674 markings/sec, 190 secs
lola: 5692005 markings, 7149896 edges, 27699 markings/sec, 195 secs
lola: 5831056 markings, 7327363 edges, 27810 markings/sec, 200 secs
lola: 5968913 markings, 7507049 edges, 27571 markings/sec, 205 secs
lola: 6107742 markings, 7686041 edges, 27766 markings/sec, 210 secs
lola: 6244636 markings, 7863518 edges, 27379 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(p292 + p293 + p294 + p295 + p296 + p297)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 160682 markings, 186267 edges, 32136 markings/sec, 0 secs
lola: 320107 markings, 372030 edges, 31885 markings/sec, 5 secs
lola: 477504 markings, 559398 edges, 31479 markings/sec, 10 secs
lola: 634297 markings, 748025 edges, 31359 markings/sec, 15 secs
lola: 791320 markings, 937169 edges, 31405 markings/sec, 20 secs
lola: 948058 markings, 1126185 edges, 31348 markings/sec, 25 secs
lola: 1104875 markings, 1315239 edges, 31363 markings/sec, 30 secs
lola: 1261492 markings, 1506375 edges, 31323 markings/sec, 35 secs
lola: 1418001 markings, 1695668 edges, 31302 markings/sec, 40 secs
lola: 1574281 markings, 1884893 edges, 31256 markings/sec, 45 secs
lola: 1729998 markings, 2075239 edges, 31143 markings/sec, 50 secs
lola: 1885946 markings, 2266072 edges, 31190 markings/sec, 55 secs
lola: 2041772 markings, 2456250 edges, 31165 markings/sec, 60 secs
lola: 2197552 markings, 2646969 edges, 31156 markings/sec, 65 secs
lola: 2353319 markings, 2837636 edges, 31153 markings/sec, 70 secs
lola: 2509628 markings, 3030446 edges, 31262 markings/sec, 75 secs
lola: 2665959 markings, 3221448 edges, 31266 markings/sec, 80 secs
lola: 2822337 markings, 3413699 edges, 31276 markings/sec, 85 secs
lola: 2978456 markings, 3603696 edges, 31224 markings/sec, 90 secs
lola: 3134736 markings, 3795697 edges, 31256 markings/sec, 95 secs
lola: 3290981 markings, 3988294 edges, 31249 markings/sec, 100 secs
lola: 3446857 markings, 4177175 edges, 31175 markings/sec, 105 secs
lola: 3602305 markings, 4365816 edges, 31090 markings/sec, 110 secs
lola: 3758058 markings, 4555425 edges, 31151 markings/sec, 115 secs
lola: 3913562 markings, 4746106 edges, 31101 markings/sec, 120 secs
lola: 4068876 markings, 4934266 edges, 31063 markings/sec, 125 secs
lola: 4224070 markings, 5121656 edges, 31039 markings/sec, 130 secs
lola: 4378458 markings, 5309319 edges, 30878 markings/sec, 135 secs
lola: 4532968 markings, 5498058 edges, 30902 markings/sec, 140 secs
lola: 4686822 markings, 5685236 edges, 30771 markings/sec, 145 secs
lola: 4841105 markings, 5873535 edges, 30857 markings/sec, 150 secs
lola: 4995034 markings, 6060711 edges, 30786 markings/sec, 155 secs
lola: 5149001 markings, 6247388 edges, 30793 markings/sec, 160 secs
lola: 5302624 markings, 6432678 edges, 30725 markings/sec, 165 secs
lola: 5455556 markings, 6621235 edges, 30586 markings/sec, 170 secs
lola: 5608988 markings, 6808293 edges, 30686 markings/sec, 175 secs
lola: 5762308 markings, 6994355 edges, 30664 markings/sec, 180 secs
lola: 5915412 markings, 7183670 edges, 30621 markings/sec, 185 secs
lola: 6068297 markings, 7371647 edges, 30577 markings/sec, 190 secs
lola: 6220052 markings, 7559728 edges, 30351 markings/sec, 195 secs
lola: 6372600 markings, 7750946 edges, 30510 markings/sec, 200 secs
lola: 6525736 markings, 7939500 edges, 30627 markings/sec, 205 secs
lola: 6677447 markings, 8129963 edges, 30342 markings/sec, 210 secs
lola: 6825951 markings, 8317150 edges, 29701 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(p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 163230 markings, 189452 edges, 32646 markings/sec, 0 secs
lola: 324435 markings, 380841 edges, 32241 markings/sec, 5 secs
lola: 484899 markings, 572239 edges, 32093 markings/sec, 10 secs
lola: 644278 markings, 763992 edges, 31876 markings/sec, 15 secs
lola: 804294 markings, 957060 edges, 32003 markings/sec, 20 secs
lola: 964231 markings, 1151066 edges, 31987 markings/sec, 25 secs
lola: 1124177 markings, 1346141 edges, 31989 markings/sec, 30 secs
lola: 1283447 markings, 1541275 edges, 31854 markings/sec, 35 secs
lola: 1442601 markings, 1736911 edges, 31831 markings/sec, 40 secs
lola: 1601886 markings, 1932774 edges, 31857 markings/sec, 45 secs
lola: 1761084 markings, 2130848 edges, 31840 markings/sec, 50 secs
lola: 1920348 markings, 2329751 edges, 31853 markings/sec, 55 secs
lola: 2079794 markings, 2527768 edges, 31889 markings/sec, 60 secs
lola: 2238691 markings, 2727430 edges, 31779 markings/sec, 65 secs
lola: 2391311 markings, 2918606 edges, 30524 markings/sec, 70 secs
lola: 2550685 markings, 3117181 edges, 31875 markings/sec, 75 secs
lola: 2709037 markings, 3315359 edges, 31670 markings/sec, 80 secs
lola: 2866451 markings, 3513185 edges, 31483 markings/sec, 85 secs
lola: 3023989 markings, 3710579 edges, 31508 markings/sec, 90 secs
lola: 3181286 markings, 3907157 edges, 31459 markings/sec, 95 secs
lola: 3338126 markings, 4103915 edges, 31368 markings/sec, 100 secs
lola: 3495175 markings, 4296380 edges, 31410 markings/sec, 105 secs
lola: 3652574 markings, 4492255 edges, 31480 markings/sec, 110 secs
lola: 3815347 markings, 4693428 edges, 32555 markings/sec, 115 secs
lola: 3973787 markings, 4890414 edges, 31688 markings/sec, 120 secs
lola: 4129452 markings, 5082684 edges, 31133 markings/sec, 125 secs
lola: 4284998 markings, 5274745 edges, 31109 markings/sec, 130 secs
lola: 4439195 markings, 5464386 edges, 30839 markings/sec, 135 secs
lola: 4593549 markings, 5656932 edges, 30871 markings/sec, 140 secs
lola: 4748066 markings, 5848233 edges, 30903 markings/sec, 145 secs
lola: 4900604 markings, 6036939 edges, 30508 markings/sec, 150 secs
lola: 5054492 markings, 6226783 edges, 30778 markings/sec, 155 secs
lola: 5207515 markings, 6416429 edges, 30605 markings/sec, 160 secs
lola: 5358666 markings, 6604736 edges, 30230 markings/sec, 165 secs
lola: 5510948 markings, 6793662 edges, 30456 markings/sec, 170 secs
lola: 5661912 markings, 6981855 edges, 30193 markings/sec, 175 secs
lola: 5809218 markings, 7165470 edges, 29461 markings/sec, 180 secs
lola: 5962305 markings, 7353163 edges, 30617 markings/sec, 185 secs
lola: 6113106 markings, 7540646 edges, 30160 markings/sec, 190 secs
lola: 6264295 markings, 7728340 edges, 30238 markings/sec, 195 secs
lola: 6415539 markings, 7914240 edges, 30249 markings/sec, 200 secs
lola: 6566203 markings, 8100088 edges, 30133 markings/sec, 205 secs
lola: 6714462 markings, 8289991 edges, 29652 markings/sec, 210 secs
lola: 6862388 markings, 8477684 edges, 29585 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(p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 102142 markings, 120996 edges, 20428 markings/sec, 0 secs
lola: 202866 markings, 241748 edges, 20145 markings/sec, 5 secs
lola: 303061 markings, 361939 edges, 20039 markings/sec, 10 secs
lola: 402859 markings, 482145 edges, 19960 markings/sec, 15 secs
lola: 502484 markings, 601966 edges, 19925 markings/sec, 20 secs
lola: 601326 markings, 722581 edges, 19768 markings/sec, 25 secs
lola: 700335 markings, 842399 edges, 19802 markings/sec, 30 secs
lola: 799428 markings, 962728 edges, 19819 markings/sec, 35 secs
lola: 898071 markings, 1082436 edges, 19729 markings/sec, 40 secs
lola: 996731 markings, 1203824 edges, 19732 markings/sec, 45 secs
lola: 1095541 markings, 1324325 edges, 19762 markings/sec, 50 secs
lola: 1194071 markings, 1444440 edges, 19706 markings/sec, 55 secs
lola: 1292403 markings, 1565107 edges, 19666 markings/sec, 60 secs
lola: 1418499 markings, 1720704 edges, 25219 markings/sec, 65 secs
lola: 1577262 markings, 1916632 edges, 31753 markings/sec, 70 secs
lola: 1737183 markings, 2115749 edges, 31984 markings/sec, 75 secs
lola: 1896679 markings, 2314244 edges, 31899 markings/sec, 80 secs
lola: 2056064 markings, 2512237 edges, 31877 markings/sec, 85 secs
lola: 2215566 markings, 2712208 edges, 31900 markings/sec, 90 secs
lola: 2371841 markings, 2906739 edges, 31255 markings/sec, 95 secs
lola: 2524792 markings, 3097788 edges, 30590 markings/sec, 100 secs
lola: 2677746 markings, 3289484 edges, 30591 markings/sec, 105 secs
lola: 2834861 markings, 3485775 edges, 31423 markings/sec, 110 secs
lola: 2992424 markings, 3682639 edges, 31513 markings/sec, 115 secs
lola: 3148673 markings, 3878097 edges, 31250 markings/sec, 120 secs
lola: 3305972 markings, 4072282 edges, 31460 markings/sec, 125 secs
lola: 3463110 markings, 4268465 edges, 31428 markings/sec, 130 secs
lola: 3616800 markings, 4462124 edges, 30738 markings/sec, 135 secs
lola: 3770835 markings, 4656254 edges, 30807 markings/sec, 140 secs
lola: 3921676 markings, 4843971 edges, 30168 markings/sec, 145 secs
lola: 4073706 markings, 5035986 edges, 30406 markings/sec, 150 secs
lola: 4229964 markings, 5235060 edges, 31252 markings/sec, 155 secs
lola: 4384343 markings, 5429145 edges, 30876 markings/sec, 160 secs
lola: 4539116 markings, 5624058 edges, 30955 markings/sec, 165 secs
lola: 4694844 markings, 5821362 edges, 31146 markings/sec, 170 secs
lola: 4849804 markings, 6017055 edges, 30992 markings/sec, 175 secs
lola: 5005142 markings, 6213449 edges, 31068 markings/sec, 180 secs
lola: 5159161 markings, 6415035 edges, 30804 markings/sec, 185 secs
lola: 5314828 markings, 6610201 edges, 31133 markings/sec, 190 secs
lola: 5469315 markings, 6806517 edges, 30897 markings/sec, 195 secs
lola: 5622460 markings, 6999231 edges, 30629 markings/sec, 200 secs
lola: 5776172 markings, 7194565 edges, 30742 markings/sec, 205 secs
lola: 5929623 markings, 7389913 edges, 30690 markings/sec, 210 secs
lola: 6083182 markings, 7583390 edges, 30712 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(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 173232 markings, 181518 edges, 34646 markings/sec, 0 secs
lola: 341022 markings, 367877 edges, 33558 markings/sec, 5 secs
lola: 506554 markings, 556071 edges, 33106 markings/sec, 10 secs
lola: 670456 markings, 747014 edges, 32780 markings/sec, 15 secs
lola: 831704 markings, 935113 edges, 32250 markings/sec, 20 secs
lola: 994978 markings, 1126216 edges, 32655 markings/sec, 25 secs
lola: 1157784 markings, 1318286 edges, 32561 markings/sec, 30 secs
lola: 1320777 markings, 1512315 edges, 32599 markings/sec, 35 secs
lola: 1482761 markings, 1708979 edges, 32397 markings/sec, 40 secs
lola: 1644645 markings, 1905416 edges, 32377 markings/sec, 45 secs
lola: 1806085 markings, 2104528 edges, 32288 markings/sec, 50 secs
lola: 1967584 markings, 2303247 edges, 32300 markings/sec, 55 secs
lola: 2128604 markings, 2503566 edges, 32204 markings/sec, 60 secs
lola: 2290016 markings, 2704119 edges, 32282 markings/sec, 65 secs
lola: 2450748 markings, 2903793 edges, 32146 markings/sec, 70 secs
lola: 2610966 markings, 3103218 edges, 32044 markings/sec, 75 secs
lola: 2771879 markings, 3304641 edges, 32183 markings/sec, 80 secs
lola: 2931921 markings, 3505060 edges, 32008 markings/sec, 85 secs
lola: 3092527 markings, 3706679 edges, 32121 markings/sec, 90 secs
lola: 3252211 markings, 3907611 edges, 31937 markings/sec, 95 secs
lola: 3411953 markings, 4107232 edges, 31948 markings/sec, 100 secs
lola: 3571490 markings, 4307675 edges, 31907 markings/sec, 105 secs
lola: 3730426 markings, 4504326 edges, 31787 markings/sec, 110 secs
lola: 3889460 markings, 4705032 edges, 31807 markings/sec, 115 secs
lola: 4048530 markings, 4905847 edges, 31814 markings/sec, 120 secs
lola: 4207690 markings, 5105620 edges, 31832 markings/sec, 125 secs
lola: 4363759 markings, 5301893 edges, 31214 markings/sec, 130 secs
lola: 4520149 markings, 5495167 edges, 31278 markings/sec, 135 secs
lola: 4678810 markings, 5696110 edges, 31732 markings/sec, 140 secs
lola: 4835293 markings, 5890020 edges, 31297 markings/sec, 145 secs
lola: 4991479 markings, 6089538 edges, 31237 markings/sec, 150 secs
lola: 5149725 markings, 6287066 edges, 31649 markings/sec, 155 secs
lola: 5308055 markings, 6486053 edges, 31666 markings/sec, 160 secs
lola: 5465198 markings, 6682488 edges, 31429 markings/sec, 165 secs
lola: 5619662 markings, 6880516 edges, 30893 markings/sec, 170 secs
lola: 5774526 markings, 7074275 edges, 30973 markings/sec, 175 secs
lola: 5932600 markings, 7271814 edges, 31615 markings/sec, 180 secs
lola: 6090563 markings, 7468736 edges, 31593 markings/sec, 185 secs
lola: 6246531 markings, 7666055 edges, 31194 markings/sec, 190 secs
lola: 6402495 markings, 7861878 edges, 31193 markings/sec, 195 secs
lola: 6561891 markings, 8058892 edges, 31879 markings/sec, 200 secs
lola: 6717818 markings, 8253981 edges, 31185 markings/sec, 205 secs
lola: 6873033 markings, 8451801 edges, 31043 markings/sec, 210 secs
lola: 7026760 markings, 8640801 edges, 30745 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(p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 174249 markings, 189110 edges, 34850 markings/sec, 0 secs
lola: 341746 markings, 380191 edges, 33499 markings/sec, 5 secs
lola: 508742 markings, 571469 edges, 33399 markings/sec, 10 secs
lola: 675167 markings, 762847 edges, 33285 markings/sec, 15 secs
lola: 841210 markings, 954866 edges, 33209 markings/sec, 20 secs
lola: 1006532 markings, 1146123 edges, 33064 markings/sec, 25 secs
lola: 1170934 markings, 1338580 edges, 32880 markings/sec, 30 secs
lola: 1335118 markings, 1533181 edges, 32837 markings/sec, 35 secs
lola: 1498464 markings, 1728506 edges, 32669 markings/sec, 40 secs
lola: 1660903 markings, 1924706 edges, 32488 markings/sec, 45 secs
lola: 1822685 markings, 2121855 edges, 32356 markings/sec, 50 secs
lola: 1984228 markings, 2318932 edges, 32309 markings/sec, 55 secs
lola: 2145359 markings, 2518383 edges, 32226 markings/sec, 60 secs
lola: 2306806 markings, 2718065 edges, 32289 markings/sec, 65 secs
lola: 2467785 markings, 2918613 edges, 32196 markings/sec, 70 secs
lola: 2627750 markings, 3117230 edges, 31993 markings/sec, 75 secs
lola: 2784603 markings, 3317109 edges, 31371 markings/sec, 80 secs
lola: 2938019 markings, 3513962 edges, 30683 markings/sec, 85 secs
lola: 3095801 markings, 3714332 edges, 31556 markings/sec, 90 secs
lola: 3255573 markings, 3913963 edges, 31954 markings/sec, 95 secs
lola: 3413071 markings, 4113945 edges, 31500 markings/sec, 100 secs
lola: 3570572 markings, 4313708 edges, 31500 markings/sec, 105 secs
lola: 3727675 markings, 4512033 edges, 31421 markings/sec, 110 secs
lola: 3886780 markings, 4709240 edges, 31821 markings/sec, 115 secs
lola: 4044950 markings, 4908032 edges, 31634 markings/sec, 120 secs
lola: 4204281 markings, 5103506 edges, 31866 markings/sec, 125 secs
lola: 4360745 markings, 5301921 edges, 31293 markings/sec, 130 secs
lola: 4518011 markings, 5500736 edges, 31453 markings/sec, 135 secs
lola: 4672265 markings, 5702679 edges, 30851 markings/sec, 140 secs
lola: 4827909 markings, 5899781 edges, 31129 markings/sec, 145 secs
lola: 4982305 markings, 6095446 edges, 30879 markings/sec, 150 secs
lola: 5139582 markings, 6293627 edges, 31455 markings/sec, 155 secs
lola: 5296174 markings, 6494711 edges, 31318 markings/sec, 160 secs
lola: 5451515 markings, 6691734 edges, 31068 markings/sec, 165 secs
lola: 5606345 markings, 6896686 edges, 30966 markings/sec, 170 secs
lola: 5765131 markings, 7094029 edges, 31757 markings/sec, 175 secs
lola: 5920612 markings, 7294008 edges, 31096 markings/sec, 180 secs
lola: 6074901 markings, 7499782 edges, 30858 markings/sec, 185 secs
lola: 6231856 markings, 7698339 edges, 31391 markings/sec, 190 secs
lola: 6386447 markings, 7897800 edges, 30918 markings/sec, 195 secs
lola: 6538925 markings, 8093376 edges, 30496 markings/sec, 200 secs
lola: 6681241 markings, 8282594 edges, 28463 markings/sec, 205 secs
lola: 6823027 markings, 8476935 edges, 28357 markings/sec, 210 secs
lola: 6952576 markings, 8641822 edges, 25910 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(p115 + p116 + p117 + p118 + p119 + p120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 145577 markings, 162552 edges, 29115 markings/sec, 0 secs
lola: 313156 markings, 352879 edges, 33516 markings/sec, 5 secs
lola: 480886 markings, 546724 edges, 33546 markings/sec, 10 secs
lola: 650919 markings, 747629 edges, 34007 markings/sec, 15 secs
lola: 819581 markings, 948091 edges, 33732 markings/sec, 20 secs
lola: 981848 markings, 1141919 edges, 32453 markings/sec, 25 secs
lola: 1150352 markings, 1342140 edges, 33701 markings/sec, 30 secs
lola: 1312753 markings, 1537524 edges, 32480 markings/sec, 35 secs
lola: 1472774 markings, 1729662 edges, 32004 markings/sec, 40 secs
lola: 1632846 markings, 1923529 edges, 32014 markings/sec, 45 secs
lola: 1792436 markings, 2118257 edges, 31918 markings/sec, 50 secs
lola: 1951945 markings, 2312284 edges, 31902 markings/sec, 55 secs
lola: 2111189 markings, 2507549 edges, 31849 markings/sec, 60 secs
lola: 2270451 markings, 2702794 edges, 31852 markings/sec, 65 secs
lola: 2429029 markings, 2897858 edges, 31716 markings/sec, 70 secs
lola: 2587625 markings, 3092973 edges, 31719 markings/sec, 75 secs
lola: 2745367 markings, 3286290 edges, 31548 markings/sec, 80 secs
lola: 2902692 markings, 3480448 edges, 31465 markings/sec, 85 secs
lola: 3059776 markings, 3673648 edges, 31417 markings/sec, 90 secs
lola: 3216264 markings, 3863520 edges, 31298 markings/sec, 95 secs
lola: 3372830 markings, 4054024 edges, 31313 markings/sec, 100 secs
lola: 3528392 markings, 4242406 edges, 31112 markings/sec, 105 secs
lola: 3682952 markings, 4431648 edges, 30912 markings/sec, 110 secs
lola: 3837890 markings, 4621038 edges, 30988 markings/sec, 115 secs
lola: 3992154 markings, 4808068 edges, 30853 markings/sec, 120 secs
lola: 4144271 markings, 4994389 edges, 30423 markings/sec, 125 secs
lola: 4294294 markings, 5179134 edges, 30005 markings/sec, 130 secs
lola: 4447698 markings, 5366073 edges, 30681 markings/sec, 135 secs
lola: 4601228 markings, 5553576 edges, 30706 markings/sec, 140 secs
lola: 4752444 markings, 5737002 edges, 30243 markings/sec, 145 secs
lola: 4906091 markings, 5925276 edges, 30729 markings/sec, 150 secs
lola: 5058282 markings, 6110305 edges, 30438 markings/sec, 155 secs
lola: 5209916 markings, 6296542 edges, 30327 markings/sec, 160 secs
lola: 5360784 markings, 6480624 edges, 30174 markings/sec, 165 secs
lola: 5507033 markings, 6661904 edges, 29250 markings/sec, 170 secs
lola: 5656915 markings, 6846503 edges, 29976 markings/sec, 175 secs
lola: 5815119 markings, 7038207 edges, 31641 markings/sec, 180 secs
lola: 5973705 markings, 7231838 edges, 31717 markings/sec, 185 secs
lola: 6132412 markings, 7424373 edges, 31741 markings/sec, 190 secs
lola: 6290053 markings, 7615336 edges, 31528 markings/sec, 195 secs
lola: 6443937 markings, 7802568 edges, 30777 markings/sec, 200 secs
lola: 6596700 markings, 7987128 edges, 30553 markings/sec, 205 secs
lola: 6749560 markings, 8175831 edges, 30572 markings/sec, 210 secs
lola: 6901803 markings, 8358949 edges, 30449 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(p404)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 165621 markings, 188063 edges, 33124 markings/sec, 0 secs
lola: 326329 markings, 381102 edges, 32142 markings/sec, 5 secs
lola: 481540 markings, 568148 edges, 31042 markings/sec, 10 secs
lola: 637000 markings, 757101 edges, 31092 markings/sec, 15 secs
lola: 793636 markings, 948449 edges, 31327 markings/sec, 20 secs
lola: 947172 markings, 1136293 edges, 30707 markings/sec, 25 secs
lola: 1095498 markings, 1317951 edges, 29665 markings/sec, 30 secs
lola: 1243501 markings, 1501419 edges, 29601 markings/sec, 35 secs
lola: 1397302 markings, 1692239 edges, 30760 markings/sec, 40 secs
lola: 1551518 markings, 1883707 edges, 30843 markings/sec, 45 secs
lola: 1701864 markings, 2070154 edges, 30069 markings/sec, 50 secs
lola: 1853396 markings, 2259502 edges, 30306 markings/sec, 55 secs
lola: 2006681 markings, 2449519 edges, 30657 markings/sec, 60 secs
lola: 2154576 markings, 2632456 edges, 29579 markings/sec, 65 secs
lola: 2300731 markings, 2815414 edges, 29231 markings/sec, 70 secs
lola: 2447931 markings, 2997507 edges, 29440 markings/sec, 75 secs
lola: 2600571 markings, 3186145 edges, 30528 markings/sec, 80 secs
lola: 2752788 markings, 3374535 edges, 30443 markings/sec, 85 secs
lola: 2898665 markings, 3557573 edges, 29175 markings/sec, 90 secs
lola: 3043632 markings, 3738695 edges, 28993 markings/sec, 95 secs
lola: 3188518 markings, 3920491 edges, 28977 markings/sec, 100 secs
lola: 3337893 markings, 4105687 edges, 29875 markings/sec, 105 secs
lola: 3486443 markings, 4292460 edges, 29710 markings/sec, 110 secs
lola: 3637158 markings, 4479927 edges, 30143 markings/sec, 115 secs
lola: 3787371 markings, 4664730 edges, 30043 markings/sec, 120 secs
lola: 3936144 markings, 4849186 edges, 29755 markings/sec, 125 secs
lola: 4085603 markings, 5035787 edges, 29892 markings/sec, 130 secs
lola: 4233820 markings, 5218209 edges, 29643 markings/sec, 135 secs
lola: 4380642 markings, 5403221 edges, 29364 markings/sec, 140 secs
lola: 4527618 markings, 5588165 edges, 29395 markings/sec, 145 secs
lola: 4676442 markings, 5774090 edges, 29765 markings/sec, 150 secs
lola: 4818581 markings, 5953281 edges, 28428 markings/sec, 155 secs
lola: 4961655 markings, 6135293 edges, 28615 markings/sec, 160 secs
lola: 5107939 markings, 6321274 edges, 29257 markings/sec, 165 secs
lola: 5254041 markings, 6507028 edges, 29220 markings/sec, 170 secs
lola: 5400075 markings, 6694972 edges, 29207 markings/sec, 175 secs
lola: 5548451 markings, 6885023 edges, 29675 markings/sec, 180 secs
lola: 5690341 markings, 7065930 edges, 28378 markings/sec, 185 secs
lola: 5833451 markings, 7247353 edges, 28622 markings/sec, 190 secs
lola: 5975853 markings, 7428903 edges, 28480 markings/sec, 195 secs
lola: 6123636 markings, 7616673 edges, 29557 markings/sec, 200 secs
lola: 6272008 markings, 7807791 edges, 29674 markings/sec, 205 secs
lola: 6417934 markings, 7995587 edges, 29185 markings/sec, 210 secs
lola: 6564555 markings, 8182029 edges, 29324 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(p156 + p157 + p158 + p159 + p160 + p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 167387 markings, 198487 edges, 33477 markings/sec, 0 secs
lola: 337238 markings, 403255 edges, 33970 markings/sec, 5 secs
lola: 506638 markings, 606069 edges, 33880 markings/sec, 10 secs
lola: 674938 markings, 808531 edges, 33660 markings/sec, 15 secs
lola: 843533 markings, 1010632 edges, 33719 markings/sec, 20 secs
lola: 1010961 markings, 1212044 edges, 33486 markings/sec, 25 secs
lola: 1178432 markings, 1412159 edges, 33494 markings/sec, 30 secs
lola: 1345287 markings, 1611597 edges, 33371 markings/sec, 35 secs
lola: 1512240 markings, 1811089 edges, 33391 markings/sec, 40 secs
lola: 1678844 markings, 2009153 edges, 33321 markings/sec, 45 secs
lola: 1837526 markings, 2198555 edges, 31736 markings/sec, 50 secs
lola: 1996052 markings, 2388474 edges, 31705 markings/sec, 55 secs
lola: 2157878 markings, 2582742 edges, 32365 markings/sec, 60 secs
lola: 2314271 markings, 2770484 edges, 31279 markings/sec, 65 secs
lola: 2472059 markings, 2959265 edges, 31558 markings/sec, 70 secs
lola: 2630969 markings, 3149347 edges, 31782 markings/sec, 75 secs
lola: 2787253 markings, 3335966 edges, 31257 markings/sec, 80 secs
lola: 2946829 markings, 3526531 edges, 31915 markings/sec, 85 secs
lola: 3112094 markings, 3724014 edges, 33053 markings/sec, 90 secs
lola: 3276754 markings, 3920727 edges, 32932 markings/sec, 95 secs
lola: 3440937 markings, 4117271 edges, 32837 markings/sec, 100 secs
lola: 3601036 markings, 4309408 edges, 32020 markings/sec, 105 secs
lola: 3762627 markings, 4502150 edges, 32318 markings/sec, 110 secs
lola: 3922116 markings, 4692545 edges, 31898 markings/sec, 115 secs
lola: 4075768 markings, 4875052 edges, 30730 markings/sec, 120 secs
lola: 4227250 markings, 5056068 edges, 30296 markings/sec, 125 secs
lola: 4377769 markings, 5234639 edges, 30104 markings/sec, 130 secs
lola: 4529949 markings, 5415346 edges, 30436 markings/sec, 135 secs
lola: 4686617 markings, 5601540 edges, 31334 markings/sec, 140 secs
lola: 4844180 markings, 5793326 edges, 31513 markings/sec, 145 secs
lola: 5004915 markings, 5984510 edges, 32147 markings/sec, 150 secs
lola: 5165492 markings, 6175821 edges, 32115 markings/sec, 155 secs
lola: 5322132 markings, 6361820 edges, 31328 markings/sec, 160 secs
lola: 5476175 markings, 6544633 edges, 30809 markings/sec, 165 secs
lola: 5632764 markings, 6731303 edges, 31318 markings/sec, 170 secs
lola: 5783411 markings, 6911288 edges, 30129 markings/sec, 175 secs
lola: 5932441 markings, 7096054 edges, 29806 markings/sec, 180 secs
lola: 6089128 markings, 7284572 edges, 31337 markings/sec, 185 secs
lola: 6240831 markings, 7476162 edges, 30341 markings/sec, 190 secs
lola: 6391368 markings, 7659581 edges, 30107 markings/sec, 195 secs
lola: 6545977 markings, 7849015 edges, 30922 markings/sec, 200 secs
lola: 6693140 markings, 8029516 edges, 29433 markings/sec, 205 secs
lola: 6841736 markings, 8212227 edges, 29719 markings/sec, 210 secs
lola: 6998728 markings, 8404207 edges, 31398 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(p450)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 170986 markings, 179086 edges, 34197 markings/sec, 0 secs
lola: 336577 markings, 362840 edges, 33118 markings/sec, 5 secs
lola: 499811 markings, 548448 edges, 32647 markings/sec, 10 secs
lola: 661699 markings, 737125 edges, 32378 markings/sec, 15 secs
lola: 823438 markings, 925459 edges, 32348 markings/sec, 20 secs
lola: 981293 markings, 1110529 edges, 31571 markings/sec, 25 secs
lola: 1135259 markings, 1291739 edges, 30793 markings/sec, 30 secs
lola: 1290178 markings, 1476129 edges, 30984 markings/sec, 35 secs
lola: 1450338 markings, 1669590 edges, 32032 markings/sec, 40 secs
lola: 1610038 markings, 1863513 edges, 31940 markings/sec, 45 secs
lola: 1769158 markings, 2059168 edges, 31824 markings/sec, 50 secs
lola: 1928449 markings, 2255264 edges, 31858 markings/sec, 55 secs
lola: 2087680 markings, 2452902 edges, 31846 markings/sec, 60 secs
lola: 2240252 markings, 2642066 edges, 30514 markings/sec, 65 secs
lola: 2392508 markings, 2831138 edges, 30451 markings/sec, 70 secs
lola: 2545614 markings, 3021882 edges, 30621 markings/sec, 75 secs
lola: 2704598 markings, 3220902 edges, 31797 markings/sec, 80 secs
lola: 2863254 markings, 3418517 edges, 31731 markings/sec, 85 secs
lola: 3021734 markings, 3617646 edges, 31696 markings/sec, 90 secs
lola: 3179677 markings, 3815489 edges, 31589 markings/sec, 95 secs
lola: 3337537 markings, 4015015 edges, 31572 markings/sec, 100 secs
lola: 3495402 markings, 4210859 edges, 31573 markings/sec, 105 secs
lola: 3647924 markings, 4400875 edges, 30504 markings/sec, 110 secs
lola: 3798306 markings, 4589510 edges, 30076 markings/sec, 115 secs
lola: 3949091 markings, 4781883 edges, 30157 markings/sec, 120 secs
lola: 4100008 markings, 4970716 edges, 30183 markings/sec, 125 secs
lola: 4250635 markings, 5159569 edges, 30125 markings/sec, 130 secs
lola: 4400793 markings, 5348669 edges, 30032 markings/sec, 135 secs
lola: 4548353 markings, 5531903 edges, 29512 markings/sec, 140 secs
lola: 4699232 markings, 5721449 edges, 30176 markings/sec, 145 secs
lola: 4846611 markings, 5903324 edges, 29476 markings/sec, 150 secs
lola: 4994792 markings, 6093440 edges, 29636 markings/sec, 155 secs
lola: 5144811 markings, 6280701 edges, 30004 markings/sec, 160 secs
lola: 5294704 markings, 6469732 edges, 29979 markings/sec, 165 secs
lola: 5446978 markings, 6658745 edges, 30455 markings/sec, 170 secs
lola: 5600832 markings, 6858048 edges, 30771 markings/sec, 175 secs
lola: 5753719 markings, 7048541 edges, 30577 markings/sec, 180 secs
lola: 5910535 markings, 7244416 edges, 31363 markings/sec, 185 secs
lola: 6065717 markings, 7438161 edges, 31036 markings/sec, 190 secs
lola: 6196071 markings, 7601475 edges, 26071 markings/sec, 195 secs
lola: 6329569 markings, 7767477 edges, 26700 markings/sec, 200 secs
lola: 6474507 markings, 7951051 edges, 28988 markings/sec, 205 secs
lola: 6624001 markings, 8135521 edges, 29899 markings/sec, 210 secs
lola: 6772444 markings, 8325409 edges, 29689 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p211 + p212 + p213 + p214 + p215 + p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 150968 markings, 200666 edges, 30194 markings/sec, 0 secs
lola: 309876 markings, 422619 edges, 31782 markings/sec, 5 secs
lola: 467836 markings, 644424 edges, 31592 markings/sec, 10 secs
lola: 626744 markings, 873995 edges, 31782 markings/sec, 15 secs
lola: 783645 markings, 1101149 edges, 31380 markings/sec, 20 secs
lola: 940107 markings, 1328360 edges, 31292 markings/sec, 25 secs
lola: 1096389 markings, 1552138 edges, 31256 markings/sec, 30 secs
lola: 1252221 markings, 1777227 edges, 31166 markings/sec, 35 secs
lola: 1407573 markings, 2001797 edges, 31070 markings/sec, 40 secs
lola: 1562477 markings, 2224962 edges, 30981 markings/sec, 45 secs
lola: 1717272 markings, 2448375 edges, 30959 markings/sec, 50 secs
lola: 1871589 markings, 2673065 edges, 30863 markings/sec, 55 secs
lola: 2025675 markings, 2897883 edges, 30817 markings/sec, 60 secs
lola: 2179334 markings, 3123750 edges, 30732 markings/sec, 65 secs
lola: 2333493 markings, 3345094 edges, 30832 markings/sec, 70 secs
lola: 2487147 markings, 3564453 edges, 30731 markings/sec, 75 secs
lola: 2640401 markings, 3785593 edges, 30651 markings/sec, 80 secs
lola: 2794008 markings, 4005200 edges, 30721 markings/sec, 85 secs
lola: 2947362 markings, 4225357 edges, 30671 markings/sec, 90 secs
lola: 3099936 markings, 4449311 edges, 30515 markings/sec, 95 secs
lola: 3253096 markings, 4665476 edges, 30632 markings/sec, 100 secs
lola: 3405170 markings, 4886737 edges, 30415 markings/sec, 105 secs
lola: 3557488 markings, 5106000 edges, 30464 markings/sec, 110 secs
lola: 3710139 markings, 5322678 edges, 30530 markings/sec, 115 secs
lola: 3861906 markings, 5540263 edges, 30353 markings/sec, 120 secs
lola: 4013738 markings, 5755998 edges, 30366 markings/sec, 125 secs
lola: 4165468 markings, 5975950 edges, 30346 markings/sec, 130 secs
lola: 4317666 markings, 6189634 edges, 30440 markings/sec, 135 secs
lola: 4469394 markings, 6406487 edges, 30346 markings/sec, 140 secs
lola: 4621000 markings, 6623969 edges, 30321 markings/sec, 145 secs
lola: 4772203 markings, 6839613 edges, 30241 markings/sec, 150 secs
lola: 4923254 markings, 7056989 edges, 30210 markings/sec, 155 secs
lola: 5074444 markings, 7275171 edges, 30238 markings/sec, 160 secs
lola: 5224931 markings, 7493571 edges, 30097 markings/sec, 165 secs
lola: 5375963 markings, 7706425 edges, 30206 markings/sec, 170 secs
lola: 5526654 markings, 7923668 edges, 30138 markings/sec, 175 secs
lola: 5677721 markings, 8137985 edges, 30213 markings/sec, 180 secs
lola: 5828664 markings, 8351262 edges, 30189 markings/sec, 185 secs
lola: 5979846 markings, 8567242 edges, 30236 markings/sec, 190 secs
lola: 6130228 markings, 8778337 edges, 30076 markings/sec, 195 secs
lola: 6280908 markings, 8993839 edges, 30136 markings/sec, 200 secs
lola: 6431308 markings, 9211540 edges, 30080 markings/sec, 205 secs
lola: 6582123 markings, 9423253 edges, 30163 markings/sec, 210 secs
lola: 6732806 markings, 9636887 edges, 30137 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p132 + p133 + p134 + p135 + p136 + p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 164097 markings, 191514 edges, 32819 markings/sec, 0 secs
lola: 326649 markings, 384222 edges, 32510 markings/sec, 5 secs
lola: 488071 markings, 576937 edges, 32284 markings/sec, 10 secs
lola: 648472 markings, 770032 edges, 32080 markings/sec, 15 secs
lola: 809240 markings, 964527 edges, 32154 markings/sec, 20 secs
lola: 970200 markings, 1159758 edges, 32192 markings/sec, 25 secs
lola: 1130716 markings, 1355584 edges, 32103 markings/sec, 30 secs
lola: 1291014 markings, 1553480 edges, 32060 markings/sec, 35 secs
lola: 1450908 markings, 1751265 edges, 31979 markings/sec, 40 secs
lola: 1611041 markings, 1949402 edges, 32027 markings/sec, 45 secs
lola: 1771415 markings, 2149301 edges, 32075 markings/sec, 50 secs
lola: 1931281 markings, 2350070 edges, 31973 markings/sec, 55 secs
lola: 2091420 markings, 2550849 edges, 32028 markings/sec, 60 secs
lola: 2251142 markings, 2751974 edges, 31944 markings/sec, 65 secs
lola: 2410713 markings, 2951538 edges, 31914 markings/sec, 70 secs
lola: 2570130 markings, 3151325 edges, 31883 markings/sec, 75 secs
lola: 2729285 markings, 3349640 edges, 31831 markings/sec, 80 secs
lola: 2887836 markings, 3546918 edges, 31710 markings/sec, 85 secs
lola: 3045992 markings, 3742928 edges, 31631 markings/sec, 90 secs
lola: 3204151 markings, 3938851 edges, 31632 markings/sec, 95 secs
lola: 3362011 markings, 4133727 edges, 31572 markings/sec, 100 secs
lola: 3519733 markings, 4326888 edges, 31544 markings/sec, 105 secs
lola: 3677017 markings, 4521846 edges, 31457 markings/sec, 110 secs
lola: 3833677 markings, 4715373 edges, 31332 markings/sec, 115 secs
lola: 3991317 markings, 4910426 edges, 31528 markings/sec, 120 secs
lola: 4148707 markings, 5104301 edges, 31478 markings/sec, 125 secs
lola: 4303978 markings, 5301535 edges, 31054 markings/sec, 130 secs
lola: 4460692 markings, 5498643 edges, 31343 markings/sec, 135 secs
lola: 4617665 markings, 5695439 edges, 31395 markings/sec, 140 secs
lola: 4773510 markings, 5894156 edges, 31169 markings/sec, 145 secs
lola: 4929494 markings, 6091166 edges, 31197 markings/sec, 150 secs
lola: 5086668 markings, 6287403 edges, 31435 markings/sec, 155 secs
lola: 5242247 markings, 6481989 edges, 31116 markings/sec, 160 secs
lola: 5398046 markings, 6675746 edges, 31160 markings/sec, 165 secs
lola: 5553904 markings, 6867670 edges, 31172 markings/sec, 170 secs
lola: 5708895 markings, 7062954 edges, 30998 markings/sec, 175 secs
lola: 5863906 markings, 7257693 edges, 31002 markings/sec, 180 secs
lola: 6017876 markings, 7448167 edges, 30794 markings/sec, 185 secs
lola: 6172009 markings, 7639329 edges, 30827 markings/sec, 190 secs
lola: 6325948 markings, 7830844 edges, 30788 markings/sec, 195 secs
lola: 6479558 markings, 8024158 edges, 30722 markings/sec, 200 secs
lola: 6632758 markings, 8218112 edges, 30640 markings/sec, 205 secs
lola: 6785542 markings, 8411395 edges, 30557 markings/sec, 210 secs
lola: 6938448 markings, 8601989 edges, 30581 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(p450)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 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: 172976 markings, 181251 edges, 34595 markings/sec, 0 secs
lola: 340263 markings, 367050 edges, 33457 markings/sec, 5 secs
lola: 505309 markings, 554680 edges, 33009 markings/sec, 10 secs
lola: 668823 markings, 745146 edges, 32703 markings/sec, 15 secs
lola: 832637 markings, 936169 edges, 32763 markings/sec, 20 secs
lola: 995634 markings, 1127031 edges, 32599 markings/sec, 25 secs
lola: 1158484 markings, 1319107 edges, 32570 markings/sec, 30 secs
lola: 1321253 markings, 1512871 edges, 32554 markings/sec, 35 secs
lola: 1483175 markings, 1709493 edges, 32384 markings/sec, 40 secs
lola: 1644920 markings, 1905732 edges, 32349 markings/sec, 45 secs
lola: 1806139 markings, 2104607 edges, 32244 markings/sec, 50 secs
lola: 1967382 markings, 2302998 edges, 32249 markings/sec, 55 secs
lola: 2128158 markings, 2503021 edges, 32155 markings/sec, 60 secs
lola: 2289301 markings, 2703204 edges, 32229 markings/sec, 65 secs
lola: 2449791 markings, 2902636 edges, 32098 markings/sec, 70 secs
lola: 2610191 markings, 3102252 edges, 32080 markings/sec, 75 secs
lola: 2770930 markings, 3303407 edges, 32148 markings/sec, 80 secs
lola: 2930564 markings, 3503382 edges, 31927 markings/sec, 85 secs
lola: 3090916 markings, 3704628 edges, 32070 markings/sec, 90 secs
lola: 3250337 markings, 3905011 edges, 31884 markings/sec, 95 secs
lola: 3409794 markings, 4104580 edges, 31891 markings/sec, 100 secs
lola: 3569075 markings, 4304740 edges, 31856 markings/sec, 105 secs
lola: 3727777 markings, 4500789 edges, 31740 markings/sec, 110 secs
lola: 3886340 markings, 4701235 edges, 31713 markings/sec, 115 secs
lola: 4045190 markings, 4901771 edges, 31770 markings/sec, 120 secs
lola: 4203899 markings, 5100843 edges, 31742 markings/sec, 125 secs
lola: 4362313 markings, 5299958 edges, 31683 markings/sec, 130 secs
lola: 4518329 markings, 5492661 edges, 31203 markings/sec, 135 secs
lola: 4676635 markings, 5693334 edges, 31661 markings/sec, 140 secs
lola: 4832816 markings, 5887036 edges, 31236 markings/sec, 145 secs
lola: 4988469 markings, 6085845 edges, 31131 markings/sec, 150 secs
lola: 5146224 markings, 6282507 edges, 31551 markings/sec, 155 secs
lola: 5304288 markings, 6481394 edges, 31613 markings/sec, 160 secs
lola: 5461051 markings, 6677297 edges, 31353 markings/sec, 165 secs
lola: 5615465 markings, 6875600 edges, 30883 markings/sec, 170 secs
lola: 5769778 markings, 7068131 edges, 30863 markings/sec, 175 secs
lola: 5927749 markings, 7265415 edges, 31594 markings/sec, 180 secs
lola: 6085607 markings, 7462579 edges, 31572 markings/sec, 185 secs
lola: 6241668 markings, 7658838 edges, 31212 markings/sec, 190 secs
lola: 6396670 markings, 7854740 edges, 31000 markings/sec, 195 secs
lola: 6554920 markings, 8050927 edges, 31650 markings/sec, 200 secs
lola: 6709827 markings, 8244226 edges, 30981 markings/sec, 205 secs
lola: 6864148 markings, 8440517 edges, 30864 markings/sec, 210 secs
lola: 7016467 markings, 8628341 edges, 30464 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 PolyORBLF-COL-S02J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494615178684

--------------------
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="PolyORBLF-COL-S02J04T06"
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/PolyORBLF-COL-S02J04T06.tgz
mv PolyORBLF-COL-S02J04T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S02J04T06, 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 r048-smll-149440869800290"
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 ;