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 DLCround-PT-11b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961900353
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496543849615


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


checking for too many tokens
===========================================================================================
DLCround-PT-11b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-11b @ 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: 11366/65536 symbol table entries, 3163 collisions
lola: preprocessing...
lola: finding significant places
lola: 4375 places, 6991 transitions, 4131 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10066 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11b-UpperBounds.task
lola: MAX(p4103) : MAX(p1917) : MAX(p215) : MAX(p24) : MAX(p2838) : MAX(p4051) : MAX(p257) : MAX(p591) : MAX(p1914) : MAX(p3586) : MAX(p3208) : MAX(p2271) : MAX(p3677) : MAX(p2972) : MAX(p2903) : MAX(p2410)
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(p4103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1917)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 27115 markings, 32175 edges, 5423 markings/sec, 0 secs
lola: 54013 markings, 64014 edges, 5380 markings/sec, 5 secs
lola: 80192 markings, 95659 edges, 5236 markings/sec, 10 secs
lola: 107876 markings, 128534 edges, 5537 markings/sec, 15 secs
lola: 135886 markings, 161938 edges, 5602 markings/sec, 20 secs
lola: 163039 markings, 194642 edges, 5431 markings/sec, 25 secs
lola: 188994 markings, 225525 edges, 5191 markings/sec, 30 secs
lola: 213919 markings, 255529 edges, 4985 markings/sec, 35 secs
lola: 238097 markings, 284543 edges, 4836 markings/sec, 40 secs
lola: 262312 markings, 314040 edges, 4843 markings/sec, 45 secs
lola: 286710 markings, 343225 edges, 4880 markings/sec, 50 secs
lola: 311512 markings, 372875 edges, 4960 markings/sec, 55 secs
lola: 336421 markings, 402903 edges, 4982 markings/sec, 60 secs
lola: 361492 markings, 433065 edges, 5014 markings/sec, 65 secs
lola: 386307 markings, 463005 edges, 4963 markings/sec, 70 secs
lola: 410744 markings, 492638 edges, 4887 markings/sec, 75 secs
lola: 435093 markings, 521743 edges, 4870 markings/sec, 80 secs
lola: 460559 markings, 552570 edges, 5093 markings/sec, 85 secs
lola: 485806 markings, 582830 edges, 5049 markings/sec, 90 secs
lola: 512860 markings, 615502 edges, 5411 markings/sec, 95 secs
lola: 539807 markings, 648129 edges, 5389 markings/sec, 100 secs
lola: 566991 markings, 680750 edges, 5437 markings/sec, 105 secs
lola: 593456 markings, 712707 edges, 5293 markings/sec, 110 secs
lola: 617199 markings, 741226 edges, 4749 markings/sec, 115 secs
lola: 642378 markings, 771540 edges, 5036 markings/sec, 120 secs
lola: 667139 markings, 801616 edges, 4952 markings/sec, 125 secs
lola: 691574 markings, 830814 edges, 4887 markings/sec, 130 secs
lola: 716558 markings, 861316 edges, 4997 markings/sec, 135 secs
lola: 742174 markings, 893563 edges, 5123 markings/sec, 140 secs
lola: 768114 markings, 925979 edges, 5188 markings/sec, 145 secs
lola: 792539 markings, 956762 edges, 4885 markings/sec, 150 secs
lola: 818566 markings, 989265 edges, 5205 markings/sec, 155 secs
lola: 844270 markings, 1021073 edges, 5141 markings/sec, 160 secs
lola: 870941 markings, 1054770 edges, 5334 markings/sec, 165 secs
lola: 897689 markings, 1088637 edges, 5350 markings/sec, 170 secs
lola: 924837 markings, 1122916 edges, 5430 markings/sec, 175 secs
lola: 950608 markings, 1155622 edges, 5154 markings/sec, 180 secs
lola: 976201 markings, 1188697 edges, 5119 markings/sec, 185 secs
lola: 1002084 markings, 1221322 edges, 5177 markings/sec, 190 secs
lola: 1027801 markings, 1254071 edges, 5143 markings/sec, 195 secs
lola: 1052863 markings, 1286374 edges, 5012 markings/sec, 200 secs
lola: 1077539 markings, 1317519 edges, 4935 markings/sec, 205 secs
lola: 1102763 markings, 1350379 edges, 5045 markings/sec, 210 secs
lola: 1128105 markings, 1382727 edges, 5068 markings/sec, 215 secs
lola: 1153896 markings, 1415575 edges, 5158 markings/sec, 220 secs
lola: 1182209 markings, 1451693 edges, 5663 markings/sec, 225 secs
lola: 1210220 markings, 1487683 edges, 5602 markings/sec, 230 secs
lola: 1238839 markings, 1524804 edges, 5724 markings/sec, 235 secs
lola: 1266439 markings, 1559363 edges, 5520 markings/sec, 240 secs
lola: 1294510 markings, 1596052 edges, 5614 markings/sec, 245 secs
lola: 1321765 markings, 1634712 edges, 5451 markings/sec, 250 secs
lola: 1349314 markings, 1673819 edges, 5510 markings/sec, 255 secs
lola: 1378032 markings, 1714224 edges, 5744 markings/sec, 260 secs
lola: 1406219 markings, 1754110 edges, 5637 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2838)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 122776 markings, 149930 edges, 24555 markings/sec, 0 secs
lola: 243626 markings, 297903 edges, 24170 markings/sec, 5 secs
lola: 366994 markings, 448854 edges, 24674 markings/sec, 10 secs
lola: 491535 markings, 601160 edges, 24908 markings/sec, 15 secs
lola: 615990 markings, 753065 edges, 24891 markings/sec, 20 secs
lola: 737647 markings, 901858 edges, 24331 markings/sec, 25 secs
lola: 861180 markings, 1052827 edges, 24707 markings/sec, 30 secs
lola: 988065 markings, 1207893 edges, 25377 markings/sec, 35 secs
lola: 1113418 markings, 1361542 edges, 25071 markings/sec, 40 secs
lola: 1236517 markings, 1512138 edges, 24620 markings/sec, 45 secs
lola: 1358053 markings, 1661101 edges, 24307 markings/sec, 50 secs
lola: 1479831 markings, 1810099 edges, 24356 markings/sec, 55 secs
lola: 1595518 markings, 1951530 edges, 23137 markings/sec, 60 secs
lola: 1710395 markings, 2092324 edges, 22975 markings/sec, 65 secs
lola: 1834269 markings, 2243882 edges, 24775 markings/sec, 70 secs
lola: 1959212 markings, 2396874 edges, 24989 markings/sec, 75 secs
lola: 2086114 markings, 2552055 edges, 25380 markings/sec, 80 secs
lola: 2214619 markings, 2709215 edges, 25701 markings/sec, 85 secs
lola: 2343467 markings, 2867140 edges, 25770 markings/sec, 90 secs
lola: 2470433 markings, 3022532 edges, 25393 markings/sec, 95 secs
lola: 2589309 markings, 3167942 edges, 23775 markings/sec, 100 secs
lola: 2711436 markings, 3317605 edges, 24425 markings/sec, 105 secs
lola: 2832381 markings, 3465872 edges, 24189 markings/sec, 110 secs
lola: 2959023 markings, 3620845 edges, 25328 markings/sec, 115 secs
lola: 3089721 markings, 3781003 edges, 26140 markings/sec, 120 secs
lola: 3219844 markings, 3940208 edges, 26025 markings/sec, 125 secs
lola: 3350147 markings, 4099667 edges, 26061 markings/sec, 130 secs
lola: 3466491 markings, 4242352 edges, 23269 markings/sec, 135 secs
lola: 3594086 markings, 4398286 edges, 25519 markings/sec, 140 secs
lola: 3725767 markings, 4559599 edges, 26336 markings/sec, 145 secs
lola: 3855736 markings, 4718701 edges, 25994 markings/sec, 150 secs
lola: 3985162 markings, 4877053 edges, 25885 markings/sec, 155 secs
lola: 4110880 markings, 5030973 edges, 25144 markings/sec, 160 secs
lola: 4231045 markings, 5178138 edges, 24033 markings/sec, 165 secs
lola: 4353082 markings, 5327414 edges, 24407 markings/sec, 170 secs
lola: 4482290 markings, 5485617 edges, 25842 markings/sec, 175 secs
lola: 4607307 markings, 5638542 edges, 25003 markings/sec, 180 secs
lola: 4735617 markings, 5795561 edges, 25662 markings/sec, 185 secs
lola: 4866064 markings, 5955391 edges, 26089 markings/sec, 190 secs
lola: 4995453 markings, 6113705 edges, 25878 markings/sec, 195 secs
lola: 5120364 markings, 6266696 edges, 24982 markings/sec, 200 secs
lola: 5231151 markings, 6402238 edges, 22157 markings/sec, 205 secs
lola: 5347128 markings, 6544121 edges, 23195 markings/sec, 210 secs
lola: 5460383 markings, 6682893 edges, 22651 markings/sec, 215 secs
lola: 5580214 markings, 6829426 edges, 23966 markings/sec, 220 secs
lola: 5699603 markings, 6975735 edges, 23878 markings/sec, 225 secs
lola: 5822728 markings, 7126187 edges, 24625 markings/sec, 230 secs
lola: 5947988 markings, 7279236 edges, 25052 markings/sec, 235 secs
lola: 6068452 markings, 7426533 edges, 24093 markings/sec, 240 secs
lola: 6187086 markings, 7571809 edges, 23727 markings/sec, 245 secs
lola: 6304815 markings, 7716029 edges, 23546 markings/sec, 250 secs
lola: 6425066 markings, 7863372 edges, 24050 markings/sec, 255 secs
lola: 6548786 markings, 8014718 edges, 24744 markings/sec, 260 secs
lola: 6671647 markings, 8165177 edges, 24572 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4051)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 150985 markings, 168625 edges, 30197 markings/sec, 0 secs
lola: 297745 markings, 332513 edges, 29352 markings/sec, 5 secs
lola: 444455 markings, 496325 edges, 29342 markings/sec, 10 secs
lola: 591162 markings, 660144 edges, 29341 markings/sec, 15 secs
lola: 734680 markings, 820394 edges, 28704 markings/sec, 20 secs
lola: 874996 markings, 977082 edges, 28063 markings/sec, 25 secs
lola: 1014251 markings, 1132549 edges, 27851 markings/sec, 30 secs
lola: 1158360 markings, 1293438 edges, 28822 markings/sec, 35 secs
lola: 1304675 markings, 1457104 edges, 29263 markings/sec, 40 secs
lola: 1452548 markings, 1622344 edges, 29575 markings/sec, 45 secs
lola: 1595005 markings, 1781678 edges, 28491 markings/sec, 50 secs
lola: 1744023 markings, 1948184 edges, 29804 markings/sec, 55 secs
lola: 1888142 markings, 2109063 edges, 28824 markings/sec, 60 secs
lola: 2030628 markings, 2268201 edges, 28497 markings/sec, 65 secs
lola: 2174332 markings, 2428628 edges, 28741 markings/sec, 70 secs
lola: 2319113 markings, 2590277 edges, 28956 markings/sec, 75 secs
lola: 2467103 markings, 2755528 edges, 29598 markings/sec, 80 secs
lola: 2612165 markings, 2917466 edges, 29012 markings/sec, 85 secs
lola: 2755350 markings, 3077467 edges, 28637 markings/sec, 90 secs
lola: 2898694 markings, 3237542 edges, 28669 markings/sec, 95 secs
lola: 3045336 markings, 3401427 edges, 29328 markings/sec, 100 secs
lola: 3194111 markings, 3567542 edges, 29755 markings/sec, 105 secs
lola: 3342337 markings, 3733165 edges, 29645 markings/sec, 110 secs
lola: 3491197 markings, 3899504 edges, 29772 markings/sec, 115 secs
lola: 3640914 markings, 4066743 edges, 29943 markings/sec, 120 secs
lola: 3788133 markings, 4231157 edges, 29444 markings/sec, 125 secs
lola: 3936263 markings, 4396690 edges, 29626 markings/sec, 130 secs
lola: 4084217 markings, 4562078 edges, 29591 markings/sec, 135 secs
lola: 4232265 markings, 4727689 edges, 29610 markings/sec, 140 secs
lola: 4379294 markings, 4892012 edges, 29406 markings/sec, 145 secs
lola: 4527131 markings, 5057193 edges, 29567 markings/sec, 150 secs
lola: 4674321 markings, 5221715 edges, 29438 markings/sec, 155 secs
lola: 4822620 markings, 5387575 edges, 29660 markings/sec, 160 secs
lola: 4969598 markings, 5551778 edges, 29396 markings/sec, 165 secs
lola: 5117124 markings, 5716765 edges, 29505 markings/sec, 170 secs
lola: 5262080 markings, 5878942 edges, 28991 markings/sec, 175 secs
lola: 5407098 markings, 6041068 edges, 29004 markings/sec, 180 secs
lola: 5549397 markings, 6200372 edges, 28460 markings/sec, 185 secs
lola: 5693160 markings, 6361152 edges, 28753 markings/sec, 190 secs
lola: 5834824 markings, 6519459 edges, 28333 markings/sec, 195 secs
lola: 5980086 markings, 6681962 edges, 29052 markings/sec, 200 secs
lola: 6127606 markings, 6846975 edges, 29504 markings/sec, 205 secs
lola: 6275480 markings, 7012388 edges, 29575 markings/sec, 210 secs
lola: 6423974 markings, 7178551 edges, 29699 markings/sec, 215 secs
lola: 6570805 markings, 7342714 edges, 29366 markings/sec, 220 secs
lola: 6718788 markings, 7508209 edges, 29597 markings/sec, 225 secs
lola: 6862213 markings, 7668565 edges, 28685 markings/sec, 230 secs
lola: 7004172 markings, 7827099 edges, 28392 markings/sec, 235 secs
lola: 7150583 markings, 7990858 edges, 29282 markings/sec, 240 secs
lola: 7297797 markings, 8155407 edges, 29443 markings/sec, 245 secs
lola: 7443202 markings, 8318030 edges, 29081 markings/sec, 250 secs
lola: 7590225 markings, 8482418 edges, 29405 markings/sec, 255 secs
lola: 7737958 markings, 8647582 edges, 29547 markings/sec, 260 secs
lola: 7887477 markings, 8814758 edges, 29904 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 30753 markings, 36618 edges, 6151 markings/sec, 0 secs
lola: 62146 markings, 74027 edges, 6279 markings/sec, 5 secs
lola: 93864 markings, 114008 edges, 6344 markings/sec, 10 secs
lola: 124926 markings, 152467 edges, 6212 markings/sec, 15 secs
lola: 157153 markings, 192450 edges, 6445 markings/sec, 20 secs
lola: 189971 markings, 234419 edges, 6564 markings/sec, 25 secs
lola: 221632 markings, 273270 edges, 6332 markings/sec, 30 secs
lola: 254137 markings, 314799 edges, 6501 markings/sec, 35 secs
lola: 285953 markings, 354790 edges, 6363 markings/sec, 40 secs
lola: 317363 markings, 392910 edges, 6282 markings/sec, 45 secs
lola: 349831 markings, 434391 edges, 6494 markings/sec, 50 secs
lola: 382073 markings, 474675 edges, 6448 markings/sec, 55 secs
lola: 414093 markings, 514621 edges, 6404 markings/sec, 60 secs
lola: 446744 markings, 556891 edges, 6530 markings/sec, 65 secs
lola: 476616 markings, 593136 edges, 5974 markings/sec, 70 secs
lola: 508379 markings, 632121 edges, 6353 markings/sec, 75 secs
lola: 540322 markings, 672404 edges, 6389 markings/sec, 80 secs
lola: 572698 markings, 712225 edges, 6475 markings/sec, 85 secs
lola: 605336 markings, 753644 edges, 6528 markings/sec, 90 secs
lola: 637364 markings, 793212 edges, 6406 markings/sec, 95 secs
lola: 669458 markings, 833854 edges, 6419 markings/sec, 100 secs
lola: 700929 markings, 873699 edges, 6294 markings/sec, 105 secs
lola: 730406 markings, 910647 edges, 5895 markings/sec, 110 secs
lola: 762806 markings, 951870 edges, 6480 markings/sec, 115 secs
lola: 794573 markings, 990395 edges, 6353 markings/sec, 120 secs
lola: 827549 markings, 1032617 edges, 6595 markings/sec, 125 secs
lola: 859962 markings, 1073003 edges, 6483 markings/sec, 130 secs
lola: 892465 markings, 1114075 edges, 6501 markings/sec, 135 secs
lola: 925586 markings, 1156296 edges, 6624 markings/sec, 140 secs
lola: 955179 markings, 1192848 edges, 5919 markings/sec, 145 secs
lola: 987573 markings, 1234747 edges, 6479 markings/sec, 150 secs
lola: 1020474 markings, 1276464 edges, 6580 markings/sec, 155 secs
lola: 1053155 markings, 1318152 edges, 6536 markings/sec, 160 secs
lola: 1084954 markings, 1357487 edges, 6360 markings/sec, 165 secs
lola: 1117604 markings, 1398768 edges, 6530 markings/sec, 170 secs
lola: 1149526 markings, 1439896 edges, 6384 markings/sec, 175 secs
lola: 1181966 markings, 1481420 edges, 6488 markings/sec, 180 secs
lola: 1214765 markings, 1523448 edges, 6560 markings/sec, 185 secs
lola: 1247560 markings, 1564089 edges, 6559 markings/sec, 190 secs
lola: 1280930 markings, 1606766 edges, 6674 markings/sec, 195 secs
lola: 1313018 markings, 1645901 edges, 6418 markings/sec, 200 secs
lola: 1343230 markings, 1684245 edges, 6042 markings/sec, 205 secs
lola: 1374812 markings, 1722969 edges, 6316 markings/sec, 210 secs
lola: 1406059 markings, 1762194 edges, 6249 markings/sec, 215 secs
lola: 1436704 markings, 1799384 edges, 6129 markings/sec, 220 secs
lola: 1467566 markings, 1838444 edges, 6172 markings/sec, 225 secs
lola: 1498975 markings, 1878020 edges, 6282 markings/sec, 230 secs
lola: 1531288 markings, 1917668 edges, 6463 markings/sec, 235 secs
lola: 1561741 markings, 1956089 edges, 6091 markings/sec, 240 secs
lola: 1591098 markings, 1992545 edges, 5871 markings/sec, 245 secs
lola: 1620416 markings, 2028704 edges, 5864 markings/sec, 250 secs
lola: 1650818 markings, 2067533 edges, 6080 markings/sec, 255 secs
lola: 1682398 markings, 2107983 edges, 6316 markings/sec, 260 secs
lola: 1712510 markings, 2144904 edges, 6022 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p591)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 113429 markings, 125211 edges, 22686 markings/sec, 0 secs
lola: 229583 markings, 254691 edges, 23231 markings/sec, 5 secs
lola: 341295 markings, 379460 edges, 22342 markings/sec, 10 secs
lola: 451073 markings, 503080 edges, 21956 markings/sec, 15 secs
lola: 561657 markings, 627614 edges, 22117 markings/sec, 20 secs
lola: 670902 markings, 749806 edges, 21849 markings/sec, 25 secs
lola: 779727 markings, 870747 edges, 21765 markings/sec, 30 secs
lola: 894793 markings, 998897 edges, 23013 markings/sec, 35 secs
lola: 1007403 markings, 1125590 edges, 22522 markings/sec, 40 secs
lola: 1116035 markings, 1246285 edges, 21726 markings/sec, 45 secs
lola: 1225454 markings, 1367774 edges, 21884 markings/sec, 50 secs
lola: 1337419 markings, 1491106 edges, 22393 markings/sec, 55 secs
lola: 1452231 markings, 1618535 edges, 22962 markings/sec, 60 secs
lola: 1565564 markings, 1743337 edges, 22667 markings/sec, 65 secs
lola: 1674566 markings, 1863537 edges, 21800 markings/sec, 70 secs
lola: 1783639 markings, 1984469 edges, 21815 markings/sec, 75 secs
lola: 1890084 markings, 2101465 edges, 21289 markings/sec, 80 secs
lola: 1997044 markings, 2219366 edges, 21392 markings/sec, 85 secs
lola: 2104524 markings, 2337510 edges, 21496 markings/sec, 90 secs
lola: 2202983 markings, 2446136 edges, 19692 markings/sec, 95 secs
lola: 2297752 markings, 2550577 edges, 18954 markings/sec, 100 secs
lola: 2395430 markings, 2658215 edges, 19536 markings/sec, 105 secs
lola: 2493724 markings, 2766499 edges, 19659 markings/sec, 110 secs
lola: 2596415 markings, 2878795 edges, 20538 markings/sec, 115 secs
lola: 2712487 markings, 3006960 edges, 23214 markings/sec, 120 secs
lola: 2828232 markings, 3134021 edges, 23149 markings/sec, 125 secs
lola: 2934330 markings, 3250742 edges, 21220 markings/sec, 130 secs
lola: 3040168 markings, 3367371 edges, 21168 markings/sec, 135 secs
lola: 3150661 markings, 3488592 edges, 22099 markings/sec, 140 secs
lola: 3253776 markings, 3602182 edges, 20623 markings/sec, 145 secs
lola: 3359771 markings, 3718669 edges, 21199 markings/sec, 150 secs
lola: 3471601 markings, 3841793 edges, 22366 markings/sec, 155 secs
lola: 3586861 markings, 3969198 edges, 23052 markings/sec, 160 secs
lola: 3696792 markings, 4090643 edges, 21986 markings/sec, 165 secs
lola: 3806151 markings, 4210611 edges, 21872 markings/sec, 170 secs
lola: 3919661 markings, 4335854 edges, 22702 markings/sec, 175 secs
lola: 4033077 markings, 4460695 edges, 22683 markings/sec, 180 secs
lola: 4139606 markings, 4578016 edges, 21306 markings/sec, 185 secs
lola: 4254563 markings, 4704441 edges, 22991 markings/sec, 190 secs
lola: 4365001 markings, 4826212 edges, 22088 markings/sec, 195 secs
lola: 4479419 markings, 4953002 edges, 22884 markings/sec, 200 secs
lola: 4593066 markings, 5077931 edges, 22729 markings/sec, 205 secs
lola: 4708202 markings, 5205134 edges, 23027 markings/sec, 210 secs
lola: 4818102 markings, 5326221 edges, 21980 markings/sec, 215 secs
lola: 4934529 markings, 5454282 edges, 23285 markings/sec, 220 secs
lola: 5048213 markings, 5579254 edges, 22737 markings/sec, 225 secs
lola: 5162314 markings, 5704826 edges, 22820 markings/sec, 230 secs
lola: 5280563 markings, 5835696 edges, 23650 markings/sec, 235 secs
lola: 5390843 markings, 5957670 edges, 22056 markings/sec, 240 secs
lola: 5496978 markings, 6074315 edges, 21227 markings/sec, 245 secs
lola: 5605471 markings, 6194624 edges, 21699 markings/sec, 250 secs
lola: 5711492 markings, 6311420 edges, 21204 markings/sec, 255 secs
lola: 5823780 markings, 6435218 edges, 22458 markings/sec, 260 secs
lola: 5933772 markings, 6556079 edges, 21998 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 311 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3586)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 82934 markings, 99309 edges, 16587 markings/sec, 0 secs
lola: 170704 markings, 204420 edges, 17554 markings/sec, 5 secs
lola: 264121 markings, 316306 edges, 18683 markings/sec, 10 secs
lola: 361318 markings, 432703 edges, 19439 markings/sec, 15 secs
lola: 460675 markings, 551754 edges, 19871 markings/sec, 20 secs
lola: 558389 markings, 668869 edges, 19543 markings/sec, 25 secs
lola: 652075 markings, 781195 edges, 18737 markings/sec, 30 secs
lola: 748665 markings, 896993 edges, 19318 markings/sec, 35 secs
lola: 856793 markings, 1026504 edges, 21626 markings/sec, 40 secs
lola: 956172 markings, 1145530 edges, 19876 markings/sec, 45 secs
lola: 1047563 markings, 1255032 edges, 18278 markings/sec, 50 secs
lola: 1140812 markings, 1366816 edges, 18650 markings/sec, 55 secs
lola: 1234263 markings, 1478808 edges, 18690 markings/sec, 60 secs
lola: 1331559 markings, 1595365 edges, 19459 markings/sec, 65 secs
lola: 1429129 markings, 1712223 edges, 19514 markings/sec, 70 secs
lola: 1519543 markings, 1820597 edges, 18083 markings/sec, 75 secs
lola: 1617071 markings, 1937397 edges, 19506 markings/sec, 80 secs
lola: 1713934 markings, 2053494 edges, 19373 markings/sec, 85 secs
lola: 1806544 markings, 2164411 edges, 18522 markings/sec, 90 secs
lola: 1902059 markings, 2278945 edges, 19103 markings/sec, 95 secs
lola: 1997766 markings, 2393695 edges, 19141 markings/sec, 100 secs
lola: 2093506 markings, 2508572 edges, 19148 markings/sec, 105 secs
lola: 2188662 markings, 2622602 edges, 19031 markings/sec, 110 secs
lola: 2283989 markings, 2736808 edges, 19065 markings/sec, 115 secs
lola: 2377243 markings, 2848512 edges, 18651 markings/sec, 120 secs
lola: 2470701 markings, 2960475 edges, 18692 markings/sec, 125 secs
lola: 2564029 markings, 3072285 edges, 18666 markings/sec, 130 secs
lola: 2657216 markings, 3183927 edges, 18637 markings/sec, 135 secs
lola: 2752150 markings, 3297627 edges, 18987 markings/sec, 140 secs
lola: 2848782 markings, 3413561 edges, 19326 markings/sec, 145 secs
lola: 2947564 markings, 3531943 edges, 19756 markings/sec, 150 secs
lola: 3041798 markings, 3644820 edges, 18847 markings/sec, 155 secs
lola: 3138434 markings, 3760744 edges, 19327 markings/sec, 160 secs
lola: 3233558 markings, 3874675 edges, 19025 markings/sec, 165 secs
lola: 3330848 markings, 3991235 edges, 19458 markings/sec, 170 secs
lola: 3428600 markings, 4108284 edges, 19550 markings/sec, 175 secs
lola: 3527522 markings, 4226793 edges, 19784 markings/sec, 180 secs
lola: 3626274 markings, 4345157 edges, 19750 markings/sec, 185 secs
lola: 3718991 markings, 4456211 edges, 18543 markings/sec, 190 secs
lola: 3814665 markings, 4570877 edges, 19135 markings/sec, 195 secs
lola: 3910684 markings, 4686044 edges, 19204 markings/sec, 200 secs
lola: 4007083 markings, 4801915 edges, 19280 markings/sec, 205 secs
lola: 4106237 markings, 4920732 edges, 19831 markings/sec, 210 secs
lola: 4204583 markings, 5038600 edges, 19669 markings/sec, 215 secs
lola: 4301428 markings, 5154655 edges, 19369 markings/sec, 220 secs
lola: 4397461 markings, 5269747 edges, 19207 markings/sec, 225 secs
lola: 4493339 markings, 5384614 edges, 19176 markings/sec, 230 secs
lola: 4589704 markings, 5500060 edges, 19273 markings/sec, 235 secs
lola: 4687237 markings, 5617060 edges, 19507 markings/sec, 240 secs
lola: 4783823 markings, 5732758 edges, 19317 markings/sec, 245 secs
lola: 4877719 markings, 5845214 edges, 18779 markings/sec, 250 secs
lola: 4969048 markings, 5954655 edges, 18266 markings/sec, 255 secs
lola: 5066527 markings, 6071504 edges, 19496 markings/sec, 260 secs
lola: 5162423 markings, 6186373 edges, 19179 markings/sec, 265 secs
lola: 5257980 markings, 6300873 edges, 19111 markings/sec, 270 secs
lola: 5353040 markings, 6414991 edges, 19012 markings/sec, 275 secs
lola: 5450448 markings, 6531821 edges, 19482 markings/sec, 280 secs
lola: 5547331 markings, 6648069 edges, 19377 markings/sec, 285 secs
lola: 5646259 markings, 6766569 edges, 19786 markings/sec, 290 secs
lola: 5737142 markings, 6875416 edges, 18177 markings/sec, 295 secs
lola: 5828336 markings, 6984620 edges, 18239 markings/sec, 300 secs
lola: 5923926 markings, 7099143 edges, 19118 markings/sec, 305 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 311 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 113711 markings, 138414 edges, 22742 markings/sec, 0 secs
lola: 228824 markings, 278910 edges, 23023 markings/sec, 5 secs
lola: 345344 markings, 421104 edges, 23304 markings/sec, 10 secs
lola: 461496 markings, 562874 edges, 23230 markings/sec, 15 secs
lola: 574553 markings, 701074 edges, 22611 markings/sec, 20 secs
lola: 690505 markings, 843130 edges, 23190 markings/sec, 25 secs
lola: 805935 markings, 984570 edges, 23086 markings/sec, 30 secs
lola: 921626 markings, 1126284 edges, 23138 markings/sec, 35 secs
lola: 1037664 markings, 1268478 edges, 23208 markings/sec, 40 secs
lola: 1143770 markings, 1398188 edges, 21221 markings/sec, 45 secs
lola: 1249702 markings, 1528038 edges, 21186 markings/sec, 50 secs
lola: 1354996 markings, 1656936 edges, 21059 markings/sec, 55 secs
lola: 1460214 markings, 1785720 edges, 21044 markings/sec, 60 secs
lola: 1571278 markings, 1921763 edges, 22213 markings/sec, 65 secs
lola: 1679573 markings, 2054229 edges, 21659 markings/sec, 70 secs
lola: 1787613 markings, 2186530 edges, 21608 markings/sec, 75 secs
lola: 1900990 markings, 2325463 edges, 22675 markings/sec, 80 secs
lola: 2017330 markings, 2467708 edges, 23268 markings/sec, 85 secs
lola: 2134494 markings, 2611251 edges, 23433 markings/sec, 90 secs
lola: 2254191 markings, 2758303 edges, 23939 markings/sec, 95 secs
lola: 2371902 markings, 2902961 edges, 23542 markings/sec, 100 secs
lola: 2490629 markings, 3048761 edges, 23745 markings/sec, 105 secs
lola: 2608645 markings, 3193574 edges, 23603 markings/sec, 110 secs
lola: 2725430 markings, 3337207 edges, 23357 markings/sec, 115 secs
lola: 2842915 markings, 3481599 edges, 23497 markings/sec, 120 secs
lola: 2961848 markings, 3628647 edges, 23787 markings/sec, 125 secs
lola: 3078351 markings, 3771455 edges, 23301 markings/sec, 130 secs
lola: 3195893 markings, 3915758 edges, 23508 markings/sec, 135 secs
lola: 3309932 markings, 4055573 edges, 22808 markings/sec, 140 secs
lola: 3418411 markings, 4189064 edges, 21696 markings/sec, 145 secs
lola: 3522025 markings, 4316681 edges, 20723 markings/sec, 150 secs
lola: 3625427 markings, 4444306 edges, 20680 markings/sec, 155 secs
lola: 3728218 markings, 4570603 edges, 20558 markings/sec, 160 secs
lola: 3829067 markings, 4693881 edges, 20170 markings/sec, 165 secs
lola: 3932905 markings, 4821061 edges, 20768 markings/sec, 170 secs
lola: 4043455 markings, 4956583 edges, 22110 markings/sec, 175 secs
lola: 4152960 markings, 5090827 edges, 21901 markings/sec, 180 secs
lola: 4261702 markings, 5224532 edges, 21748 markings/sec, 185 secs
lola: 4368871 markings, 5356090 edges, 21434 markings/sec, 190 secs
lola: 4478304 markings, 5490413 edges, 21887 markings/sec, 195 secs
lola: 4588256 markings, 5625390 edges, 21990 markings/sec, 200 secs
lola: 4701077 markings, 5763799 edges, 22564 markings/sec, 205 secs
lola: 4813540 markings, 5901997 edges, 22493 markings/sec, 210 secs
lola: 4928112 markings, 6043040 edges, 22914 markings/sec, 215 secs
lola: 5041642 markings, 6182594 edges, 22706 markings/sec, 220 secs
lola: 5155206 markings, 6321724 edges, 22713 markings/sec, 225 secs
lola: 5264910 markings, 6456476 edges, 21941 markings/sec, 230 secs
lola: 5370513 markings, 6585999 edges, 21121 markings/sec, 235 secs
lola: 5474378 markings, 6713808 edges, 20773 markings/sec, 240 secs
lola: 5576774 markings, 6839702 edges, 20479 markings/sec, 245 secs
lola: 5686230 markings, 6973755 edges, 21891 markings/sec, 250 secs
lola: 5794764 markings, 7106830 edges, 21707 markings/sec, 255 secs
lola: 5902801 markings, 7239196 edges, 21607 markings/sec, 260 secs
lola: 6014331 markings, 7375810 edges, 22306 markings/sec, 265 secs
lola: 6125637 markings, 7512193 edges, 22261 markings/sec, 270 secs
lola: 6237228 markings, 7648634 edges, 22318 markings/sec, 275 secs
lola: 6349424 markings, 7786102 edges, 22439 markings/sec, 280 secs
lola: 6461851 markings, 7923807 edges, 22485 markings/sec, 285 secs
lola: 6574492 markings, 8061574 edges, 22528 markings/sec, 290 secs
lola: 6686455 markings, 8198790 edges, 22393 markings/sec, 295 secs
lola: 6797190 markings, 8334361 edges, 22147 markings/sec, 300 secs
lola: 6909170 markings, 8471346 edges, 22396 markings/sec, 305 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 311 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2271)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 77963 markings, 93064 edges, 15593 markings/sec, 0 secs
lola: 146153 markings, 175893 edges, 13638 markings/sec, 5 secs
lola: 213171 markings, 257218 edges, 13404 markings/sec, 10 secs
lola: 282745 markings, 342067 edges, 13915 markings/sec, 15 secs
lola: 350866 markings, 424974 edges, 13624 markings/sec, 20 secs
lola: 419745 markings, 509257 edges, 13776 markings/sec, 25 secs
lola: 487133 markings, 591492 edges, 13478 markings/sec, 30 secs
lola: 555495 markings, 674014 edges, 13672 markings/sec, 35 secs
lola: 625209 markings, 759660 edges, 13943 markings/sec, 40 secs
lola: 693546 markings, 842762 edges, 13667 markings/sec, 45 secs
lola: 762442 markings, 926836 edges, 13779 markings/sec, 50 secs
lola: 830467 markings, 1009430 edges, 13605 markings/sec, 55 secs
lola: 898534 markings, 1091948 edges, 13613 markings/sec, 60 secs
lola: 967695 markings, 1175973 edges, 13832 markings/sec, 65 secs
lola: 1036424 markings, 1260758 edges, 13746 markings/sec, 70 secs
lola: 1103740 markings, 1342454 edges, 13463 markings/sec, 75 secs
lola: 1170922 markings, 1424558 edges, 13436 markings/sec, 80 secs
lola: 1239568 markings, 1508814 edges, 13729 markings/sec, 85 secs
lola: 1307697 markings, 1592551 edges, 13626 markings/sec, 90 secs
lola: 1373876 markings, 1673627 edges, 13236 markings/sec, 95 secs
lola: 1439751 markings, 1753455 edges, 13175 markings/sec, 100 secs
lola: 1506489 markings, 1835627 edges, 13348 markings/sec, 105 secs
lola: 1575743 markings, 1919878 edges, 13851 markings/sec, 110 secs
lola: 1643776 markings, 2002498 edges, 13607 markings/sec, 115 secs
lola: 1710953 markings, 2084743 edges, 13435 markings/sec, 120 secs
lola: 1777394 markings, 2165456 edges, 13288 markings/sec, 125 secs
lola: 1846016 markings, 2250067 edges, 13724 markings/sec, 130 secs
lola: 1911996 markings, 2330597 edges, 13196 markings/sec, 135 secs
lola: 1977209 markings, 2410095 edges, 13043 markings/sec, 140 secs
lola: 2041783 markings, 2488040 edges, 12915 markings/sec, 145 secs
lola: 2105979 markings, 2565520 edges, 12839 markings/sec, 150 secs
lola: 2169178 markings, 2642374 edges, 12640 markings/sec, 155 secs
lola: 2233048 markings, 2720201 edges, 12774 markings/sec, 160 secs
lola: 2299828 markings, 2801511 edges, 13356 markings/sec, 165 secs
lola: 2367755 markings, 2883388 edges, 13585 markings/sec, 170 secs
lola: 2435159 markings, 2965071 edges, 13481 markings/sec, 175 secs
lola: 2500845 markings, 3045539 edges, 13137 markings/sec, 180 secs
lola: 2565887 markings, 3124502 edges, 13008 markings/sec, 185 secs
lola: 2633352 markings, 3205557 edges, 13493 markings/sec, 190 secs
lola: 2702862 markings, 3289509 edges, 13902 markings/sec, 195 secs
lola: 2771562 markings, 3372345 edges, 13740 markings/sec, 200 secs
lola: 2836070 markings, 3450617 edges, 12902 markings/sec, 205 secs
lola: 2903268 markings, 3532625 edges, 13440 markings/sec, 210 secs
lola: 2972388 markings, 3615949 edges, 13824 markings/sec, 215 secs
lola: 3042586 markings, 3701009 edges, 14040 markings/sec, 220 secs
lola: 3113176 markings, 3787655 edges, 14118 markings/sec, 225 secs
lola: 3182510 markings, 3871949 edges, 13867 markings/sec, 230 secs
lola: 3248442 markings, 3951605 edges, 13186 markings/sec, 235 secs
lola: 3314435 markings, 4032925 edges, 13199 markings/sec, 240 secs
lola: 3377848 markings, 4109139 edges, 12683 markings/sec, 245 secs
lola: 3444598 markings, 4190140 edges, 13350 markings/sec, 250 secs
lola: 3515607 markings, 4276635 edges, 14202 markings/sec, 255 secs
lola: 3585489 markings, 4361895 edges, 13976 markings/sec, 260 secs
lola: 3651299 markings, 4441087 edges, 13162 markings/sec, 265 secs
lola: 3718037 markings, 4521258 edges, 13348 markings/sec, 270 secs
lola: 3783493 markings, 4601071 edges, 13091 markings/sec, 275 secs
lola: 3848961 markings, 4681565 edges, 13094 markings/sec, 280 secs
lola: 3914194 markings, 4759642 edges, 13047 markings/sec, 285 secs
lola: 3979663 markings, 4838319 edges, 13094 markings/sec, 290 secs
lola: 4043915 markings, 4915368 edges, 12850 markings/sec, 295 secs
lola: 4104434 markings, 4987948 edges, 12104 markings/sec, 300 secs
lola: 4164970 markings, 5060403 edges, 12107 markings/sec, 305 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 311 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3677)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 96640 markings, 116382 edges, 19328 markings/sec, 0 secs
lola: 197556 markings, 238024 edges, 20183 markings/sec, 5 secs
lola: 297543 markings, 358780 edges, 19997 markings/sec, 10 secs
lola: 396338 markings, 478207 edges, 19759 markings/sec, 15 secs
lola: 490852 markings, 592577 edges, 18903 markings/sec, 20 secs
lola: 587710 markings, 709762 edges, 19372 markings/sec, 25 secs
lola: 681578 markings, 823298 edges, 18774 markings/sec, 30 secs
lola: 776543 markings, 938283 edges, 18993 markings/sec, 35 secs
lola: 869521 markings, 1050991 edges, 18596 markings/sec, 40 secs
lola: 960884 markings, 1161832 edges, 18273 markings/sec, 45 secs
lola: 1051625 markings, 1271782 edges, 18148 markings/sec, 50 secs
lola: 1146935 markings, 1387087 edges, 19062 markings/sec, 55 secs
lola: 1236754 markings, 1495945 edges, 17964 markings/sec, 60 secs
lola: 1325614 markings, 1603629 edges, 17772 markings/sec, 65 secs
lola: 1416550 markings, 1714000 edges, 18187 markings/sec, 70 secs
lola: 1507385 markings, 1823635 edges, 18167 markings/sec, 75 secs
lola: 1601484 markings, 1937619 edges, 18820 markings/sec, 80 secs
lola: 1691469 markings, 2046693 edges, 17997 markings/sec, 85 secs
lola: 1780618 markings, 2154799 edges, 17830 markings/sec, 90 secs
lola: 1874060 markings, 2267881 edges, 18688 markings/sec, 95 secs
lola: 1966567 markings, 2379948 edges, 18501 markings/sec, 100 secs
lola: 2056153 markings, 2488456 edges, 17917 markings/sec, 105 secs
lola: 2147933 markings, 2599818 edges, 18356 markings/sec, 110 secs
lola: 2235953 markings, 2706494 edges, 17604 markings/sec, 115 secs
lola: 2328079 markings, 2817912 edges, 18425 markings/sec, 120 secs
lola: 2420224 markings, 2929380 edges, 18429 markings/sec, 125 secs
lola: 2508349 markings, 3036128 edges, 17625 markings/sec, 130 secs
lola: 2599009 markings, 3146027 edges, 18132 markings/sec, 135 secs
lola: 2688699 markings, 3254497 edges, 17938 markings/sec, 140 secs
lola: 2776188 markings, 3360616 edges, 17498 markings/sec, 145 secs
lola: 2860528 markings, 3462620 edges, 16868 markings/sec, 150 secs
lola: 2947132 markings, 3567415 edges, 17321 markings/sec, 155 secs
lola: 3036253 markings, 3675290 edges, 17824 markings/sec, 160 secs
lola: 3122175 markings, 3779420 edges, 17184 markings/sec, 165 secs
lola: 3211278 markings, 3887040 edges, 17821 markings/sec, 170 secs
lola: 3304922 markings, 4000546 edges, 18729 markings/sec, 175 secs
lola: 3399745 markings, 4115576 edges, 18965 markings/sec, 180 secs
lola: 3489962 markings, 4224907 edges, 18043 markings/sec, 185 secs
lola: 3582056 markings, 4336814 edges, 18419 markings/sec, 190 secs
lola: 3671722 markings, 4445546 edges, 17933 markings/sec, 195 secs
lola: 3761099 markings, 4553928 edges, 17875 markings/sec, 200 secs
lola: 3850919 markings, 4662784 edges, 17964 markings/sec, 205 secs
lola: 3939370 markings, 4769713 edges, 17690 markings/sec, 210 secs
lola: 4032667 markings, 4882788 edges, 18659 markings/sec, 215 secs
lola: 4124949 markings, 4994998 edges, 18456 markings/sec, 220 secs
lola: 4217212 markings, 5106944 edges, 18453 markings/sec, 225 secs
lola: 4306204 markings, 5214504 edges, 17798 markings/sec, 230 secs
lola: 4399707 markings, 5327677 edges, 18701 markings/sec, 235 secs
lola: 4491493 markings, 5439319 edges, 18357 markings/sec, 240 secs
lola: 4584051 markings, 5551611 edges, 18512 markings/sec, 245 secs
lola: 4677413 markings, 5664602 edges, 18672 markings/sec, 250 secs
lola: 4768673 markings, 5775165 edges, 18252 markings/sec, 255 secs
lola: 4862357 markings, 5888815 edges, 18737 markings/sec, 260 secs
lola: 4955239 markings, 6001350 edges, 18576 markings/sec, 265 secs
lola: 5046838 markings, 6112390 edges, 18320 markings/sec, 270 secs
lola: 5138383 markings, 6223014 edges, 18309 markings/sec, 275 secs
lola: 5230562 markings, 6335025 edges, 18436 markings/sec, 280 secs
lola: 5321160 markings, 6444648 edges, 18120 markings/sec, 285 secs
lola: 5410781 markings, 6553370 edges, 17924 markings/sec, 290 secs
lola: 5501592 markings, 6663420 edges, 18162 markings/sec, 295 secs
lola: 5591019 markings, 6771935 edges, 17885 markings/sec, 300 secs
lola: 5682454 markings, 6882884 edges, 18287 markings/sec, 305 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 311 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2972)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 161612 markings, 176831 edges, 32322 markings/sec, 0 secs
lola: 318788 markings, 348993 edges, 31435 markings/sec, 5 secs
lola: 475480 markings, 520510 edges, 31338 markings/sec, 10 secs
lola: 637130 markings, 697744 edges, 32330 markings/sec, 15 secs
lola: 796993 markings, 873213 edges, 31973 markings/sec, 20 secs
lola: 955796 markings, 1047089 edges, 31761 markings/sec, 25 secs
lola: 1118839 markings, 1225763 edges, 32609 markings/sec, 30 secs
lola: 1280350 markings, 1402891 edges, 32302 markings/sec, 35 secs
lola: 1446365 markings, 1584747 edges, 33203 markings/sec, 40 secs
lola: 1606794 markings, 1761265 edges, 32086 markings/sec, 45 secs
lola: 1770874 markings, 1941232 edges, 32816 markings/sec, 50 secs
lola: 1931741 markings, 2117301 edges, 32173 markings/sec, 55 secs
lola: 2084291 markings, 2284483 edges, 30510 markings/sec, 60 secs
lola: 2232652 markings, 2447218 edges, 29672 markings/sec, 65 secs
lola: 2382268 markings, 2611078 edges, 29923 markings/sec, 70 secs
lola: 2530045 markings, 2772835 edges, 29555 markings/sec, 75 secs
lola: 2674753 markings, 2931309 edges, 28942 markings/sec, 80 secs
lola: 2819714 markings, 3090077 edges, 28992 markings/sec, 85 secs
lola: 2964848 markings, 3248998 edges, 29027 markings/sec, 90 secs
lola: 3105363 markings, 3402897 edges, 28103 markings/sec, 95 secs
lola: 3259502 markings, 3571776 edges, 30828 markings/sec, 100 secs
lola: 3415776 markings, 3743277 edges, 31255 markings/sec, 105 secs
lola: 3573784 markings, 3916422 edges, 31602 markings/sec, 110 secs
lola: 3729336 markings, 4087102 edges, 31110 markings/sec, 115 secs
lola: 3884331 markings, 4257155 edges, 30999 markings/sec, 120 secs
lola: 4034282 markings, 4421553 edges, 29990 markings/sec, 125 secs
lola: 4178513 markings, 4579588 edges, 28846 markings/sec, 130 secs
lola: 4328010 markings, 4743295 edges, 29899 markings/sec, 135 secs
lola: 4480334 markings, 4910688 edges, 30465 markings/sec, 140 secs
lola: 4637276 markings, 5082509 edges, 31388 markings/sec, 145 secs
lola: 4797317 markings, 5257704 edges, 32008 markings/sec, 150 secs
lola: 4962006 markings, 5438157 edges, 32938 markings/sec, 155 secs
lola: 5117572 markings, 5608635 edges, 31113 markings/sec, 160 secs
lola: 5274497 markings, 5780469 edges, 31385 markings/sec, 165 secs
lola: 5433406 markings, 5954735 edges, 31782 markings/sec, 170 secs
lola: 5588212 markings, 6124325 edges, 30961 markings/sec, 175 secs
lola: 5741057 markings, 6292370 edges, 30569 markings/sec, 180 secs
lola: 5896042 markings, 6462165 edges, 30997 markings/sec, 185 secs
lola: 6057623 markings, 6639031 edges, 32316 markings/sec, 190 secs
lola: 6218173 markings, 6814637 edges, 32110 markings/sec, 195 secs
lola: 6376496 markings, 6987987 edges, 31665 markings/sec, 200 secs
lola: 6533820 markings, 7160169 edges, 31465 markings/sec, 205 secs
lola: 6696612 markings, 7338386 edges, 32558 markings/sec, 210 secs
lola: 6859501 markings, 7516722 edges, 32578 markings/sec, 215 secs
lola: 7021050 markings, 7693728 edges, 32310 markings/sec, 220 secs
lola: 7172733 markings, 7859832 edges, 30337 markings/sec, 225 secs
lola: 7321486 markings, 8022968 edges, 29751 markings/sec, 230 secs
lola: 7472165 markings, 8188053 edges, 30136 markings/sec, 235 secs
lola: 7623568 markings, 8353714 edges, 30281 markings/sec, 240 secs
lola: 7774619 markings, 8519093 edges, 30210 markings/sec, 245 secs
lola: 7930281 markings, 8689395 edges, 31132 markings/sec, 250 secs
lola: 8080785 markings, 8854475 edges, 30101 markings/sec, 255 secs
lola: 8232861 markings, 9020928 edges, 30415 markings/sec, 260 secs
lola: 8387614 markings, 9190485 edges, 30951 markings/sec, 265 secs
lola: 8549915 markings, 9368146 edges, 32460 markings/sec, 270 secs
lola: 8705395 markings, 9538508 edges, 31096 markings/sec, 275 secs
lola: 8865586 markings, 9713934 edges, 32038 markings/sec, 280 secs
lola: 9021069 markings, 9884467 edges, 31097 markings/sec, 285 secs
lola: 9178181 markings, 10056460 edges, 31422 markings/sec, 290 secs
lola: 9334867 markings, 10227949 edges, 31337 markings/sec, 295 secs
lola: 9493270 markings, 10401295 edges, 31681 markings/sec, 300 secs
lola: 9652845 markings, 10576021 edges, 31915 markings/sec, 305 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 312 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2903)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 624 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 520 bytes per marking, with 29 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: 61408 markings, 69516 edges, 12282 markings/sec, 0 secs
lola: 122917 markings, 139091 edges, 12302 markings/sec, 5 secs
lola: 184199 markings, 208832 edges, 12256 markings/sec, 10 secs
lola: 246853 markings, 279630 edges, 12531 markings/sec, 15 secs
lola: 306026 markings, 346634 edges, 11835 markings/sec, 20 secs
lola: 369780 markings, 418859 edges, 12751 markings/sec, 25 secs
lola: 433822 markings, 491395 edges, 12808 markings/sec, 30 secs
lola: 498356 markings, 564759 edges, 12907 markings/sec, 35 secs
lola: 559876 markings, 634393 edges, 12304 markings/sec, 40 secs
lola: 619996 markings, 702391 edges, 12024 markings/sec, 45 secs
lola: 680569 markings, 771324 edges, 12115 markings/sec, 50 secs
lola: 742653 markings, 841544 edges, 12417 markings/sec, 55 secs
lola: 805437 markings, 913009 edges, 12557 markings/sec, 60 secs
lola: 867755 markings, 983472 edges, 12464 markings/sec, 65 secs
lola: 930758 markings, 1054946 edges, 12601 markings/sec, 70 secs
lola: 994299 markings, 1127082 edges, 12708 markings/sec, 75 secs
lola: 1056470 markings, 1197567 edges, 12434 markings/sec, 80 secs
lola: 1119189 markings, 1268768 edges, 12544 markings/sec, 85 secs
lola: 1181378 markings, 1339506 edges, 12438 markings/sec, 90 secs
lola: 1242980 markings, 1409248 edges, 12320 markings/sec, 95 secs
lola: 1307137 markings, 1481937 edges, 12831 markings/sec, 100 secs
lola: 1370900 markings, 1553878 edges, 12753 markings/sec, 105 secs
lola: 1435438 markings, 1626896 edges, 12908 markings/sec, 110 secs
lola: 1499350 markings, 1699183 edges, 12782 markings/sec, 115 secs
lola: 1564897 markings, 1773309 edges, 13109 markings/sec, 120 secs
lola: 1629432 markings, 1846419 edges, 12907 markings/sec, 125 secs
lola: 1695991 markings, 1921692 edges, 13312 markings/sec, 130 secs
lola: 1760744 markings, 1994787 edges, 12951 markings/sec, 135 secs
lola: 1826101 markings, 2068624 edges, 13071 markings/sec, 140 secs
lola: 1888412 markings, 2139069 edges, 12462 markings/sec, 145 secs
lola: 1950141 markings, 2209023 edges, 12346 markings/sec, 150 secs
lola: 2013641 markings, 2280901 edges, 12700 markings/sec, 155 secs
lola: 2076216 markings, 2351788 edges, 12515 markings/sec, 160 secs
lola: 2140354 markings, 2424424 edges, 12828 markings/sec, 165 secs
lola: 2205869 markings, 2498665 edges, 13103 markings/sec, 170 secs
lola: 2270593 markings, 2572045 edges, 12945 markings/sec, 175 secs
lola: 2334059 markings, 2644233 edges, 12693 markings/sec, 180 secs
lola: 2398473 markings, 2717321 edges, 12883 markings/sec, 185 secs
lola: 2460171 markings, 2787177 edges, 12340 markings/sec, 190 secs
lola: 2523161 markings, 2858713 edges, 12598 markings/sec, 195 secs
lola: 2586338 markings, 2930436 edges, 12635 markings/sec, 200 secs
lola: 2648387 markings, 3000925 edges, 12410 markings/sec, 205 secs
lola: 2710637 markings, 3071706 edges, 12450 markings/sec, 210 secs
lola: 2772668 markings, 3142112 edges, 12406 markings/sec, 215 secs
lola: 2835000 markings, 3212835 edges, 12466 markings/sec, 220 secs
lola: 2899578 markings, 3286339 edges, 12916 markings/sec, 225 secs
lola: 2964055 markings, 3359538 edges, 12895 markings/sec, 230 secs
lola: 3028594 markings, 3432766 edges, 12908 markings/sec, 235 secs
lola: 3093147 markings, 3505961 edges, 12911 markings/sec, 240 secs
lola: 3157333 markings, 3578611 edges, 12837 markings/sec, 245 secs
lola: 3221363 markings, 3651121 edges, 12806 markings/sec, 250 secs
lola: 3285096 markings, 3723164 edges, 12747 markings/sec, 255 secs
lola: 3348951 markings, 3795421 edges, 12771 markings/sec, 260 secs
lola: 3413307 markings, 3868292 edges, 12871 markings/sec, 265 secs
lola: 3477919 markings, 3941537 edges, 12922 markings/sec, 270 secs
lola: 3543203 markings, 4015705 edges, 13057 markings/sec, 275 secs
lola: 3608631 markings, 4090077 edges, 13086 markings/sec, 280 secs
lola: 3673599 markings, 4164117 edges, 12994 markings/sec, 285 secs
lola: 3737584 markings, 4236601 edges, 12797 markings/sec, 290 secs
lola: 3802496 markings, 4310300 edges, 12982 markings/sec, 295 secs
lola: 3867569 markings, 4384277 edges, 13015 markings/sec, 300 secs
lola: 3931719 markings, 4457263 edges, 12830 markings/sec, 305 secs
lola: 3997064 markings, 4531605 edges, 13069 markings/sec, 310 secs
lola: 4060629 markings, 4603675 edges, 12713 markings/sec, 315 secs
lola: 4124806 markings, 4676728 edges, 12835 markings/sec, 320 secs
lola: 4189946 markings, 4750622 edges, 13028 markings/sec, 325 secs
lola: 4254960 markings, 4824624 edges, 13003 markings/sec, 330 secs
lola: 4320277 markings, 4898809 edges, 13063 markings/sec, 335 secs
lola: 4385495 markings, 4973089 edges, 13044 markings/sec, 340 secs
lola: 4447242 markings, 5043415 edges, 12349 markings/sec, 345 secs
lola: 4511370 markings, 5116004 edges, 12826 markings/sec, 350 secs
lola: 4575234 markings, 5188521 edges, 12773 markings/sec, 355 secs
lola: 4639789 markings, 5261669 edges, 12911 markings/sec, 360 secs
lola: 4703180 markings, 5333535 edges, 12678 markings/sec, 365 secs
lola: 4768009 markings, 5407093 edges, 12966 markings/sec, 370 secs
lola: 4830972 markings, 5479087 edges, 12593 markings/sec, 375 secs
lola: 4894532 markings, 5551870 edges, 12712 markings/sec, 380 secs
lola: 4959747 markings, 5625871 edges, 13043 markings/sec, 385 secs
lola: 5021673 markings, 5696147 edges, 12385 markings/sec, 390 secs
lola: 5083630 markings, 5766825 edges, 12391 markings/sec, 395 secs
lola: 5148552 markings, 5840433 edges, 12984 markings/sec, 400 secs
lola: 5214374 markings, 5915248 edges, 13164 markings/sec, 405 secs
lola: 5280660 markings, 5990622 edges, 13257 markings/sec, 410 secs
lola: 5346895 markings, 6065893 edges, 13247 markings/sec, 415 secs
lola: 5411952 markings, 6140009 edges, 13011 markings/sec, 420 secs
lola: 5478760 markings, 6215918 edges, 13362 markings/sec, 425 secs
lola: 5545238 markings, 6291098 edges, 13296 markings/sec, 430 secs
lola: 5611079 markings, 6365517 edges, 13168 markings/sec, 435 secs
lola: 5677337 markings, 6440585 edges, 13252 markings/sec, 440 secs
lola: 5744297 markings, 6516370 edges, 13392 markings/sec, 445 secs
lola: 5811572 markings, 6592564 edges, 13455 markings/sec, 450 secs
lola: 5878609 markings, 6668546 edges, 13407 markings/sec, 455 secs
lola: 5946640 markings, 6746422 edges, 13606 markings/sec, 460 secs
lola: 6016402 markings, 6825462 edges, 13952 markings/sec, 465 secs
lola: 6086432 markings, 6905264 edges, 14006 markings/sec, 470 secs
lola: 6155280 markings, 6983587 edges, 13770 markings/sec, 475 secs
lola: 6221706 markings, 7058899 edges, 13285 markings/sec, 480 secs
lola: 6290557 markings, 7136746 edges, 13770 markings/sec, 485 secs
lola: 6358630 markings, 7214050 edges, 13615 markings/sec, 490 secs
lola: 6426181 markings, 7291064 edges, 13510 markings/sec, 495 secs
lola: 6495680 markings, 7369863 edges, 13900 markings/sec, 500 secs
lola: 6565466 markings, 7449410 edges, 13957 markings/sec, 505 secs
lola: 6636476 markings, 7529850 edges, 14202 markings/sec, 510 secs
lola: 6707395 markings, 7610660 edges, 14184 markings/sec, 515 secs
lola: 6777248 markings, 7690176 edges, 13971 markings/sec, 520 secs
lola: 6846496 markings, 7768585 edges, 13850 markings/sec, 525 secs
lola: 6914857 markings, 7846097 edges, 13672 markings/sec, 530 secs
lola: 6983878 markings, 7924482 edges, 13804 markings/sec, 535 secs
lola: 7051929 markings, 8001886 edges, 13610 markings/sec, 540 secs
lola: 7121756 markings, 8081235 edges, 13965 markings/sec, 545 secs
lola: 7191140 markings, 8160119 edges, 13877 markings/sec, 550 secs
lola: 7261829 markings, 8240187 edges, 14138 markings/sec, 555 secs
lola: 7329171 markings, 8316541 edges, 13468 markings/sec, 560 secs
lola: 7393300 markings, 8389581 edges, 12826 markings/sec, 565 secs
lola: 7457993 markings, 8462786 edges, 12939 markings/sec, 570 secs
lola: 7525028 markings, 8538989 edges, 13407 markings/sec, 575 secs
lola: 7592819 markings, 8616243 edges, 13558 markings/sec, 580 secs
lola: 7661179 markings, 8693945 edges, 13672 markings/sec, 585 secs
lola: 7730040 markings, 8772104 edges, 13772 markings/sec, 590 secs
lola: 7798807 markings, 8850411 edges, 13753 markings/sec, 595 secs
lola: 7867895 markings, 8928748 edges, 13818 markings/sec, 600 secs
lola: 7936792 markings, 9007295 edges, 13779 markings/sec, 605 secs
lola: 8005491 markings, 9084981 edges, 13740 markings/sec, 610 secs
lola: 8073492 markings, 9161966 edges, 13600 markings/sec, 615 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 1 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown
FORMULA DLCround-PT-11b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-11b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496547389802

--------------------
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="DLCround-PT-11b"
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/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 DLCround-PT-11b, 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 r178-csrt-149580961900353"
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 ;