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 S_PolyORBNT-PT-S05J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231600128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496331957928


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


checking for too many tokens
===========================================================================================
S_PolyORBNT-PT-S05J80: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-PT-S05J80 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3539/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: finding significant places
lola: 1189 places, 2350 transitions, 1007 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J80-UpperBounds.task
lola: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5) : MAX(Check_Sources_E_1) : MAX(NotifyEventEndOfCheckSourcesB_1) : MAX(cJobCnt) : MAX(Try_Check_Sources_E_1) : MAX(JobCnt) : MAX(Check_Sources_E_1) : MAX(NotifyEventJobQueuedE_1) : MAX(cSources) : MAX(place_787_1) : MAX(place_462) : MAX(JobCnt) : MAX(place_522_1) : MAX(place_782_1) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5) : MAX(place_787_1)
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(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 45925 markings, 52474 edges, 9185 markings/sec, 0 secs
lola: 91326 markings, 108893 edges, 9080 markings/sec, 5 secs
lola: 144314 markings, 178575 edges, 10598 markings/sec, 10 secs
lola: 199234 markings, 245960 edges, 10984 markings/sec, 15 secs
lola: 255158 markings, 315435 edges, 11185 markings/sec, 20 secs
lola: 309900 markings, 385285 edges, 10948 markings/sec, 25 secs
lola: 361513 markings, 461061 edges, 10323 markings/sec, 30 secs
lola: 394932 markings, 514580 edges, 6684 markings/sec, 35 secs
lola: 429111 markings, 570235 edges, 6836 markings/sec, 40 secs
lola: 463395 markings, 627974 edges, 6857 markings/sec, 45 secs
lola: 496243 markings, 692499 edges, 6570 markings/sec, 50 secs
lola: 539685 markings, 743761 edges, 8688 markings/sec, 55 secs
lola: 583467 markings, 797351 edges, 8756 markings/sec, 60 secs
lola: 633347 markings, 863946 edges, 9976 markings/sec, 65 secs
lola: 684886 markings, 927031 edges, 10308 markings/sec, 70 secs
lola: 739681 markings, 995012 edges, 10959 markings/sec, 75 secs
lola: 793515 markings, 1063098 edges, 10767 markings/sec, 80 secs
lola: 844207 markings, 1131222 edges, 10138 markings/sec, 85 secs
lola: 880651 markings, 1191747 edges, 7289 markings/sec, 90 secs
lola: 913303 markings, 1244674 edges, 6530 markings/sec, 95 secs
lola: 947515 markings, 1301277 edges, 6842 markings/sec, 100 secs
lola: 980288 markings, 1359094 edges, 6555 markings/sec, 105 secs
lola: 1018031 markings, 1417264 edges, 7549 markings/sec, 110 secs
lola: 1060686 markings, 1467324 edges, 8531 markings/sec, 115 secs
lola: 1105922 markings, 1529326 edges, 9047 markings/sec, 120 secs
lola: 1156636 markings, 1591207 edges, 10143 markings/sec, 125 secs
lola: 1209274 markings, 1655956 edges, 10528 markings/sec, 130 secs
lola: 1263078 markings, 1723291 edges, 10761 markings/sec, 135 secs
lola: 1315289 markings, 1790550 edges, 10442 markings/sec, 140 secs
lola: 1360492 markings, 1859671 edges, 9041 markings/sec, 145 secs
lola: 1394128 markings, 1913657 edges, 6727 markings/sec, 150 secs
lola: 1429230 markings, 1971108 edges, 7020 markings/sec, 155 secs
lola: 1464068 markings, 2030372 edges, 6968 markings/sec, 160 secs
lola: 1500110 markings, 2095390 edges, 7208 markings/sec, 165 secs
lola: 1545229 markings, 2147602 edges, 9024 markings/sec, 170 secs
lola: 1591642 markings, 2210882 edges, 9283 markings/sec, 175 secs
lola: 1647041 markings, 2278587 edges, 11080 markings/sec, 180 secs
lola: 1703426 markings, 2348009 edges, 11277 markings/sec, 185 secs
lola: 1760151 markings, 2419146 edges, 11345 markings/sec, 190 secs
lola: 1814938 markings, 2490786 edges, 10957 markings/sec, 195 secs
lola: 1857506 markings, 2558753 edges, 8514 markings/sec, 200 secs
lola: 1891119 markings, 2613076 edges, 6723 markings/sec, 205 secs
lola: 1926398 markings, 2671439 edges, 7056 markings/sec, 210 secs
lola: 1960638 markings, 2731643 edges, 6848 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(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 52764 markings, 130418 edges, 10553 markings/sec, 0 secs
lola: 101503 markings, 238651 edges, 9748 markings/sec, 5 secs
lola: 149853 markings, 346939 edges, 9670 markings/sec, 10 secs
lola: 198667 markings, 456576 edges, 9763 markings/sec, 15 secs
lola: 247177 markings, 565554 edges, 9702 markings/sec, 20 secs
lola: 295134 markings, 672960 edges, 9591 markings/sec, 25 secs
lola: 343063 markings, 780664 edges, 9586 markings/sec, 30 secs
lola: 391029 markings, 888393 edges, 9593 markings/sec, 35 secs
lola: 438357 markings, 994440 edges, 9466 markings/sec, 40 secs
lola: 485968 markings, 1101379 edges, 9522 markings/sec, 45 secs
lola: 533867 markings, 1208673 edges, 9580 markings/sec, 50 secs
lola: 581955 markings, 1316708 edges, 9618 markings/sec, 55 secs
lola: 629411 markings, 1423323 edges, 9491 markings/sec, 60 secs
lola: 676439 markings, 1528686 edges, 9406 markings/sec, 65 secs
lola: 723996 markings, 1635540 edges, 9511 markings/sec, 70 secs
lola: 770944 markings, 1740725 edges, 9390 markings/sec, 75 secs
lola: 818158 markings, 1846797 edges, 9443 markings/sec, 80 secs
lola: 865481 markings, 1952822 edges, 9465 markings/sec, 85 secs
lola: 912320 markings, 2058064 edges, 9368 markings/sec, 90 secs
lola: 959288 markings, 2163291 edges, 9394 markings/sec, 95 secs
lola: 1006020 markings, 2268308 edges, 9346 markings/sec, 100 secs
lola: 1052571 markings, 2372607 edges, 9310 markings/sec, 105 secs
lola: 1098263 markings, 2475331 edges, 9138 markings/sec, 110 secs
lola: 1146041 markings, 2614692 edges, 9556 markings/sec, 115 secs
lola: 1201626 markings, 2734062 edges, 11117 markings/sec, 120 secs
lola: 1257854 markings, 2849000 edges, 11246 markings/sec, 125 secs
lola: 1313781 markings, 2963206 edges, 11185 markings/sec, 130 secs
lola: 1370732 markings, 3079681 edges, 11390 markings/sec, 135 secs
lola: 1426482 markings, 3193719 edges, 11150 markings/sec, 140 secs
lola: 1482358 markings, 3307921 edges, 11175 markings/sec, 145 secs
lola: 1538713 markings, 3423184 edges, 11271 markings/sec, 150 secs
lola: 1596472 markings, 3541374 edges, 11552 markings/sec, 155 secs
lola: 1654624 markings, 3660203 edges, 11630 markings/sec, 160 secs
lola: 1715424 markings, 3784798 edges, 12160 markings/sec, 165 secs
lola: 1774996 markings, 3906786 edges, 11914 markings/sec, 170 secs
lola: 1834134 markings, 4027918 edges, 11828 markings/sec, 175 secs
lola: 1892924 markings, 4148369 edges, 11758 markings/sec, 180 secs
lola: 1951765 markings, 4269129 edges, 11768 markings/sec, 185 secs
lola: 2010241 markings, 4389156 edges, 11695 markings/sec, 190 secs
lola: 2068238 markings, 4508204 edges, 11599 markings/sec, 195 secs
lola: 2125988 markings, 4626982 edges, 11550 markings/sec, 200 secs
lola: 2183836 markings, 4745934 edges, 11570 markings/sec, 205 secs
lola: 2240982 markings, 4863732 edges, 11429 markings/sec, 210 secs
lola: 2297972 markings, 4981487 edges, 11398 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(NotifyEventEndOfCheckSourcesB_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 63934 markings, 134347 edges, 12787 markings/sec, 0 secs
lola: 129545 markings, 255805 edges, 13122 markings/sec, 5 secs
lola: 194460 markings, 376041 edges, 12983 markings/sec, 10 secs
lola: 260617 markings, 498629 edges, 13231 markings/sec, 15 secs
lola: 325553 markings, 618819 edges, 12987 markings/sec, 20 secs
lola: 390646 markings, 739541 edges, 13019 markings/sec, 25 secs
lola: 455740 markings, 860044 edges, 13019 markings/sec, 30 secs
lola: 519965 markings, 979062 edges, 12845 markings/sec, 35 secs
lola: 587868 markings, 1105117 edges, 13581 markings/sec, 40 secs
lola: 655686 markings, 1230908 edges, 13564 markings/sec, 45 secs
lola: 721741 markings, 1353606 edges, 13211 markings/sec, 50 secs
lola: 788512 markings, 1477642 edges, 13354 markings/sec, 55 secs
lola: 854277 markings, 1599798 edges, 13153 markings/sec, 60 secs
lola: 919354 markings, 1720940 edges, 13015 markings/sec, 65 secs
lola: 985217 markings, 1843524 edges, 13173 markings/sec, 70 secs
lola: 1048280 markings, 1961124 edges, 12613 markings/sec, 75 secs
lola: 1111177 markings, 2078557 edges, 12579 markings/sec, 80 secs
lola: 1173574 markings, 2195483 edges, 12479 markings/sec, 85 secs
lola: 1235432 markings, 2311634 edges, 12372 markings/sec, 90 secs
lola: 1296336 markings, 2427042 edges, 12181 markings/sec, 95 secs
lola: 1356480 markings, 2547485 edges, 12029 markings/sec, 100 secs
lola: 1418592 markings, 2664330 edges, 12422 markings/sec, 105 secs
lola: 1483723 markings, 2781040 edges, 13026 markings/sec, 110 secs
lola: 1547670 markings, 2895658 edges, 12789 markings/sec, 115 secs
lola: 1610751 markings, 3008736 edges, 12616 markings/sec, 120 secs
lola: 1674252 markings, 3122706 edges, 12700 markings/sec, 125 secs
lola: 1736876 markings, 3235071 edges, 12525 markings/sec, 130 secs
lola: 1799327 markings, 3347187 edges, 12490 markings/sec, 135 secs
lola: 1861027 markings, 3458034 edges, 12340 markings/sec, 140 secs
lola: 1921784 markings, 3567229 edges, 12151 markings/sec, 145 secs
lola: 1982366 markings, 3676155 edges, 12116 markings/sec, 150 secs
lola: 2041981 markings, 3783301 edges, 11923 markings/sec, 155 secs
lola: 2101747 markings, 3891081 edges, 11953 markings/sec, 160 secs
lola: 2160949 markings, 3997823 edges, 11840 markings/sec, 165 secs
lola: 2220744 markings, 4105689 edges, 11959 markings/sec, 170 secs
lola: 2280322 markings, 4213342 edges, 11916 markings/sec, 175 secs
lola: 2341189 markings, 4323446 edges, 12173 markings/sec, 180 secs
lola: 2400391 markings, 4430840 edges, 11840 markings/sec, 185 secs
lola: 2461092 markings, 4541280 edges, 12140 markings/sec, 190 secs
lola: 2521440 markings, 4651590 edges, 12070 markings/sec, 195 secs
lola: 2582402 markings, 4764120 edges, 12192 markings/sec, 200 secs
lola: 2646011 markings, 4887378 edges, 12722 markings/sec, 205 secs
lola: 2676469 markings, 4938726 edges, 6092 markings/sec, 210 secs
lola: 2706024 markings, 4989412 edges, 5911 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(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 45741 markings, 52216 edges, 9148 markings/sec, 0 secs
lola: 90825 markings, 108195 edges, 9017 markings/sec, 5 secs
lola: 143530 markings, 177719 edges, 10541 markings/sec, 10 secs
lola: 198043 markings, 244460 edges, 10903 markings/sec, 15 secs
lola: 253739 markings, 313745 edges, 11139 markings/sec, 20 secs
lola: 308305 markings, 383217 edges, 10913 markings/sec, 25 secs
lola: 360338 markings, 459338 edges, 10407 markings/sec, 30 secs
lola: 394004 markings, 513216 edges, 6733 markings/sec, 35 secs
lola: 428889 markings, 569872 edges, 6977 markings/sec, 40 secs
lola: 464878 markings, 630478 edges, 7198 markings/sec, 45 secs
lola: 500569 markings, 699011 edges, 7138 markings/sec, 50 secs
lola: 546634 markings, 751837 edges, 9213 markings/sec, 55 secs
lola: 592814 markings, 811133 edges, 9236 markings/sec, 60 secs
lola: 646406 markings, 879957 edges, 10718 markings/sec, 65 secs
lola: 701534 markings, 947665 edges, 11026 markings/sec, 70 secs
lola: 759035 markings, 1019232 edges, 11500 markings/sec, 75 secs
lola: 814614 markings, 1090567 edges, 11116 markings/sec, 80 secs
lola: 863323 markings, 1164174 edges, 9742 markings/sec, 85 secs
lola: 897287 markings, 1218540 edges, 6793 markings/sec, 90 secs
lola: 932748 markings, 1276598 edges, 7092 markings/sec, 95 secs
lola: 967819 markings, 1336360 edges, 7014 markings/sec, 100 secs
lola: 1004322 markings, 1401677 edges, 7301 markings/sec, 105 secs
lola: 1049130 markings, 1453419 edges, 8962 markings/sec, 110 secs
lola: 1095027 markings, 1516096 edges, 9179 markings/sec, 115 secs
lola: 1147893 markings, 1580496 edges, 10573 markings/sec, 120 secs
lola: 1202349 markings, 1647427 edges, 10891 markings/sec, 125 secs
lola: 1258954 markings, 1718087 edges, 11321 markings/sec, 130 secs
lola: 1313780 markings, 1788575 edges, 10965 markings/sec, 135 secs
lola: 1361133 markings, 1860586 edges, 9471 markings/sec, 140 secs
lola: 1394479 markings, 1914300 edges, 6669 markings/sec, 145 secs
lola: 1429778 markings, 1972010 edges, 7060 markings/sec, 150 secs
lola: 1464593 markings, 2031380 edges, 6963 markings/sec, 155 secs
lola: 1501053 markings, 2096396 edges, 7292 markings/sec, 160 secs
lola: 1546310 markings, 2148882 edges, 9051 markings/sec, 165 secs
lola: 1592970 markings, 2212629 edges, 9332 markings/sec, 170 secs
lola: 1648951 markings, 2280833 edges, 11196 markings/sec, 175 secs
lola: 1705443 markings, 2350524 edges, 11298 markings/sec, 180 secs
lola: 1762599 markings, 2422258 edges, 11431 markings/sec, 185 secs
lola: 1817449 markings, 2494248 edges, 10970 markings/sec, 190 secs
lola: 1859292 markings, 2561576 edges, 8369 markings/sec, 195 secs
lola: 1893165 markings, 2616287 edges, 6775 markings/sec, 200 secs
lola: 1928370 markings, 2674746 edges, 7041 markings/sec, 205 secs
lola: 1962407 markings, 2735063 edges, 6807 markings/sec, 210 secs
lola: 2003013 markings, 2795229 edges, 8121 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(Try_Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 64050 markings, 130485 edges, 12810 markings/sec, 0 secs
lola: 128755 markings, 248373 edges, 12941 markings/sec, 5 secs
lola: 192952 markings, 365290 edges, 12839 markings/sec, 10 secs
lola: 257239 markings, 482517 edges, 12857 markings/sec, 15 secs
lola: 320368 markings, 597426 edges, 12626 markings/sec, 20 secs
lola: 385202 markings, 715733 edges, 12967 markings/sec, 25 secs
lola: 448821 markings, 831795 edges, 12724 markings/sec, 30 secs
lola: 512755 markings, 948432 edges, 12787 markings/sec, 35 secs
lola: 578932 markings, 1069338 edges, 13235 markings/sec, 40 secs
lola: 643666 markings, 1187497 edges, 12947 markings/sec, 45 secs
lola: 709276 markings, 1307437 edges, 13122 markings/sec, 50 secs
lola: 773807 markings, 1425484 edges, 12906 markings/sec, 55 secs
lola: 837764 markings, 1542559 edges, 12791 markings/sec, 60 secs
lola: 899103 markings, 1654945 edges, 12268 markings/sec, 65 secs
lola: 961353 markings, 1769150 edges, 12450 markings/sec, 70 secs
lola: 1021850 markings, 1880285 edges, 12099 markings/sec, 75 secs
lola: 1081430 markings, 1990026 edges, 11916 markings/sec, 80 secs
lola: 1140144 markings, 2098539 edges, 11743 markings/sec, 85 secs
lola: 1198460 markings, 2207022 edges, 11663 markings/sec, 90 secs
lola: 1256064 markings, 2316242 edges, 11521 markings/sec, 95 secs
lola: 1312555 markings, 2427952 edges, 11298 markings/sec, 100 secs
lola: 1373880 markings, 2533407 edges, 12265 markings/sec, 105 secs
lola: 1435206 markings, 2638823 edges, 12265 markings/sec, 110 secs
lola: 1495445 markings, 2742490 edges, 12048 markings/sec, 115 secs
lola: 1555694 markings, 2846187 edges, 12050 markings/sec, 120 secs
lola: 1615503 markings, 2949179 edges, 11962 markings/sec, 125 secs
lola: 1674710 markings, 3051199 edges, 11841 markings/sec, 130 secs
lola: 1733604 markings, 3152724 edges, 11779 markings/sec, 135 secs
lola: 1791486 markings, 3252426 edges, 11576 markings/sec, 140 secs
lola: 1849241 markings, 3352313 edges, 11551 markings/sec, 145 secs
lola: 1906037 markings, 3450487 edges, 11359 markings/sec, 150 secs
lola: 1962893 markings, 3548849 edges, 11371 markings/sec, 155 secs
lola: 2019753 markings, 3647308 edges, 11372 markings/sec, 160 secs
lola: 2076429 markings, 3745662 edges, 11335 markings/sec, 165 secs
lola: 2134214 markings, 3846015 edges, 11557 markings/sec, 170 secs
lola: 2190764 markings, 3944695 edges, 11310 markings/sec, 175 secs
lola: 2248480 markings, 4045596 edges, 11543 markings/sec, 180 secs
lola: 2305542 markings, 4146018 edges, 11412 markings/sec, 185 secs
lola: 2363443 markings, 4249105 edges, 11580 markings/sec, 190 secs
lola: 2419369 markings, 4354388 edges, 11185 markings/sec, 195 secs
lola: 2448120 markings, 4402943 edges, 5750 markings/sec, 200 secs
lola: 2476010 markings, 4450820 edges, 5578 markings/sec, 205 secs
lola: 2503187 markings, 4498381 edges, 5435 markings/sec, 210 secs
lola: 2530348 markings, 4547820 edges, 5432 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 19593 markings, 33593 edges, 3919 markings/sec, 0 secs
lola: 38944 markings, 66901 edges, 3870 markings/sec, 5 secs
lola: 58093 markings, 99892 edges, 3830 markings/sec, 10 secs
lola: 77261 markings, 132903 edges, 3834 markings/sec, 15 secs
lola: 96421 markings, 165881 edges, 3832 markings/sec, 20 secs
lola: 115574 markings, 198808 edges, 3831 markings/sec, 25 secs
lola: 134590 markings, 235252 edges, 3803 markings/sec, 30 secs
lola: 153366 markings, 269479 edges, 3755 markings/sec, 35 secs
lola: 172105 markings, 303620 edges, 3748 markings/sec, 40 secs
lola: 191240 markings, 337560 edges, 3827 markings/sec, 45 secs
lola: 210364 markings, 370326 edges, 3825 markings/sec, 50 secs
lola: 229494 markings, 403035 edges, 3826 markings/sec, 55 secs
lola: 248628 markings, 435721 edges, 3827 markings/sec, 60 secs
lola: 267405 markings, 472626 edges, 3755 markings/sec, 65 secs
lola: 286054 markings, 507203 edges, 3730 markings/sec, 70 secs
lola: 305124 markings, 540841 edges, 3814 markings/sec, 75 secs
lola: 324665 markings, 573898 edges, 3908 markings/sec, 80 secs
lola: 344644 markings, 607529 edges, 3996 markings/sec, 85 secs
lola: 363805 markings, 646892 edges, 3832 markings/sec, 90 secs
lola: 383671 markings, 681650 edges, 3973 markings/sec, 95 secs
lola: 403686 markings, 715210 edges, 4003 markings/sec, 100 secs
lola: 423149 markings, 753804 edges, 3893 markings/sec, 105 secs
lola: 442246 markings, 788419 edges, 3819 markings/sec, 110 secs
lola: 461560 markings, 820973 edges, 3863 markings/sec, 115 secs
lola: 480535 markings, 857660 edges, 3795 markings/sec, 120 secs
lola: 499205 markings, 892705 edges, 3734 markings/sec, 125 secs
lola: 518407 markings, 925012 edges, 3840 markings/sec, 130 secs
lola: 537276 markings, 961362 edges, 3774 markings/sec, 135 secs
lola: 555978 markings, 996343 edges, 3740 markings/sec, 140 secs
lola: 575263 markings, 1028662 edges, 3857 markings/sec, 145 secs
lola: 593931 markings, 1066139 edges, 3734 markings/sec, 150 secs
lola: 613079 markings, 1099982 edges, 3830 markings/sec, 155 secs
lola: 632068 markings, 1136003 edges, 3798 markings/sec, 160 secs
lola: 650667 markings, 1170779 edges, 3720 markings/sec, 165 secs
lola: 669876 markings, 1202768 edges, 3842 markings/sec, 170 secs
lola: 688319 markings, 1241384 edges, 3689 markings/sec, 175 secs
lola: 707651 markings, 1273515 edges, 3866 markings/sec, 180 secs
lola: 726271 markings, 1312194 edges, 3724 markings/sec, 185 secs
lola: 745788 markings, 1348154 edges, 3903 markings/sec, 190 secs
lola: 764438 markings, 1382963 edges, 3730 markings/sec, 195 secs
lola: 783182 markings, 1419223 edges, 3749 markings/sec, 200 secs
lola: 802056 markings, 1452863 edges, 3775 markings/sec, 205 secs
lola: 820531 markings, 1490935 edges, 3695 markings/sec, 210 secs
lola: 839711 markings, 1526368 edges, 3836 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(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 53152 markings, 131227 edges, 10630 markings/sec, 0 secs
lola: 101926 markings, 239589 edges, 9755 markings/sec, 5 secs
lola: 150448 markings, 348270 edges, 9704 markings/sec, 10 secs
lola: 199377 markings, 458174 edges, 9786 markings/sec, 15 secs
lola: 248115 markings, 567646 edges, 9748 markings/sec, 20 secs
lola: 296201 markings, 675334 edges, 9617 markings/sec, 25 secs
lola: 344274 markings, 783327 edges, 9615 markings/sec, 30 secs
lola: 392381 markings, 891400 edges, 9621 markings/sec, 35 secs
lola: 439842 markings, 997712 edges, 9492 markings/sec, 40 secs
lola: 487699 markings, 1105235 edges, 9571 markings/sec, 45 secs
lola: 535685 markings, 1213034 edges, 9597 markings/sec, 50 secs
lola: 584005 markings, 1321256 edges, 9664 markings/sec, 55 secs
lola: 632188 markings, 1429488 edges, 9637 markings/sec, 60 secs
lola: 679585 markings, 1535664 edges, 9479 markings/sec, 65 secs
lola: 727510 markings, 1643358 edges, 9585 markings/sec, 70 secs
lola: 774959 markings, 1749937 edges, 9490 markings/sec, 75 secs
lola: 822758 markings, 1857006 edges, 9560 markings/sec, 80 secs
lola: 870533 markings, 1964367 edges, 9555 markings/sec, 85 secs
lola: 917863 markings, 2070371 edges, 9466 markings/sec, 90 secs
lola: 965906 markings, 2178324 edges, 9609 markings/sec, 95 secs
lola: 1013794 markings, 2285887 edges, 9578 markings/sec, 100 secs
lola: 1062504 markings, 2394969 edges, 9742 markings/sec, 105 secs
lola: 1110774 markings, 2503425 edges, 9654 markings/sec, 110 secs
lola: 1163637 markings, 2656527 edges, 10573 markings/sec, 115 secs
lola: 1223225 markings, 2778156 edges, 11918 markings/sec, 120 secs
lola: 1282750 markings, 2899799 edges, 11905 markings/sec, 125 secs
lola: 1342573 markings, 3022103 edges, 11965 markings/sec, 130 secs
lola: 1402071 markings, 3143728 edges, 11900 markings/sec, 135 secs
lola: 1460940 markings, 3264087 edges, 11774 markings/sec, 140 secs
lola: 1519929 markings, 3384579 edges, 11798 markings/sec, 145 secs
lola: 1579200 markings, 3506001 edges, 11854 markings/sec, 150 secs
lola: 1638060 markings, 3626426 edges, 11772 markings/sec, 155 secs
lola: 1698962 markings, 3751156 edges, 12180 markings/sec, 160 secs
lola: 1759429 markings, 3874973 edges, 12093 markings/sec, 165 secs
lola: 1819345 markings, 3997691 edges, 11983 markings/sec, 170 secs
lola: 1879345 markings, 4120584 edges, 12000 markings/sec, 175 secs
lola: 1938452 markings, 4241868 edges, 11821 markings/sec, 180 secs
lola: 1997959 markings, 4363930 edges, 11901 markings/sec, 185 secs
lola: 2056942 markings, 4485024 edges, 11797 markings/sec, 190 secs
lola: 2115193 markings, 4604740 edges, 11650 markings/sec, 195 secs
lola: 2173704 markings, 4725143 edges, 11702 markings/sec, 200 secs
lola: 2231179 markings, 4843595 edges, 11495 markings/sec, 205 secs
lola: 2288453 markings, 4961864 edges, 11455 markings/sec, 210 secs
lola: 2345078 markings, 5079146 edges, 11325 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(NotifyEventJobQueuedE_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 9405 markings, 25246 edges, 1881 markings/sec, 0 secs
lola: 18911 markings, 49815 edges, 1901 markings/sec, 5 secs
lola: 28554 markings, 73775 edges, 1929 markings/sec, 10 secs
lola: 37902 markings, 98569 edges, 1870 markings/sec, 15 secs
lola: 47674 markings, 121496 edges, 1954 markings/sec, 20 secs
lola: 57314 markings, 144088 edges, 1928 markings/sec, 25 secs
lola: 66996 markings, 166632 edges, 1936 markings/sec, 30 secs
lola: 76746 markings, 189155 edges, 1950 markings/sec, 35 secs
lola: 86524 markings, 211827 edges, 1956 markings/sec, 40 secs
lola: 96150 markings, 234422 edges, 1925 markings/sec, 45 secs
lola: 105848 markings, 256910 edges, 1940 markings/sec, 50 secs
lola: 115638 markings, 279574 edges, 1958 markings/sec, 55 secs
lola: 125326 markings, 302250 edges, 1938 markings/sec, 60 secs
lola: 134986 markings, 324775 edges, 1932 markings/sec, 65 secs
lola: 144670 markings, 347185 edges, 1937 markings/sec, 70 secs
lola: 154395 markings, 369720 edges, 1945 markings/sec, 75 secs
lola: 164103 markings, 392466 edges, 1942 markings/sec, 80 secs
lola: 173441 markings, 414226 edges, 1868 markings/sec, 85 secs
lola: 182843 markings, 435997 edges, 1880 markings/sec, 90 secs
lola: 192262 markings, 457800 edges, 1884 markings/sec, 95 secs
lola: 201552 markings, 479618 edges, 1858 markings/sec, 100 secs
lola: 210911 markings, 501415 edges, 1872 markings/sec, 105 secs
lola: 220317 markings, 523174 edges, 1881 markings/sec, 110 secs
lola: 229753 markings, 545057 edges, 1887 markings/sec, 115 secs
lola: 239057 markings, 566884 edges, 1861 markings/sec, 120 secs
lola: 248409 markings, 588706 edges, 1870 markings/sec, 125 secs
lola: 257818 markings, 610467 edges, 1882 markings/sec, 130 secs
lola: 267241 markings, 632331 edges, 1885 markings/sec, 135 secs
lola: 276531 markings, 654103 edges, 1858 markings/sec, 140 secs
lola: 285863 markings, 675859 edges, 1866 markings/sec, 145 secs
lola: 295203 markings, 697522 edges, 1868 markings/sec, 150 secs
lola: 304586 markings, 719292 edges, 1877 markings/sec, 155 secs
lola: 313892 markings, 741086 edges, 1861 markings/sec, 160 secs
lola: 323155 markings, 762701 edges, 1853 markings/sec, 165 secs
lola: 332455 markings, 784362 edges, 1860 markings/sec, 170 secs
lola: 341793 markings, 805997 edges, 1868 markings/sec, 175 secs
lola: 351865 markings, 829399 edges, 2014 markings/sec, 180 secs
lola: 368638 markings, 868623 edges, 3355 markings/sec, 185 secs
lola: 385767 markings, 908385 edges, 3426 markings/sec, 190 secs
lola: 403343 markings, 949475 edges, 3515 markings/sec, 195 secs
lola: 421017 markings, 990559 edges, 3535 markings/sec, 200 secs
lola: 438614 markings, 1031661 edges, 3519 markings/sec, 205 secs
lola: 456204 markings, 1072706 edges, 3518 markings/sec, 210 secs
lola: 473834 markings, 1113633 edges, 3526 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(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 36857 markings, 82980 edges, 7371 markings/sec, 0 secs
lola: 75077 markings, 155111 edges, 7644 markings/sec, 5 secs
lola: 112301 markings, 223850 edges, 7445 markings/sec, 10 secs
lola: 150242 markings, 294266 edges, 7588 markings/sec, 15 secs
lola: 187914 markings, 363955 edges, 7534 markings/sec, 20 secs
lola: 225657 markings, 433820 edges, 7549 markings/sec, 25 secs
lola: 263740 markings, 504391 edges, 7617 markings/sec, 30 secs
lola: 300906 markings, 573217 edges, 7433 markings/sec, 35 secs
lola: 338586 markings, 642991 edges, 7536 markings/sec, 40 secs
lola: 375942 markings, 712260 edges, 7471 markings/sec, 45 secs
lola: 413600 markings, 781939 edges, 7532 markings/sec, 50 secs
lola: 451682 markings, 852567 edges, 7616 markings/sec, 55 secs
lola: 488799 markings, 921426 edges, 7423 markings/sec, 60 secs
lola: 526060 markings, 990525 edges, 7452 markings/sec, 65 secs
lola: 564672 markings, 1062130 edges, 7722 markings/sec, 70 secs
lola: 603559 markings, 1134262 edges, 7777 markings/sec, 75 secs
lola: 642235 markings, 1205973 edges, 7735 markings/sec, 80 secs
lola: 679997 markings, 1276042 edges, 7552 markings/sec, 85 secs
lola: 718135 markings, 1346815 edges, 7628 markings/sec, 90 secs
lola: 756708 markings, 1418521 edges, 7715 markings/sec, 95 secs
lola: 794637 markings, 1488878 edges, 7586 markings/sec, 100 secs
lola: 832502 markings, 1559343 edges, 7573 markings/sec, 105 secs
lola: 870476 markings, 1629962 edges, 7595 markings/sec, 110 secs
lola: 907983 markings, 1699697 edges, 7501 markings/sec, 115 secs
lola: 945711 markings, 1769942 edges, 7546 markings/sec, 120 secs
lola: 983513 markings, 1840388 edges, 7560 markings/sec, 125 secs
lola: 1020375 markings, 1909019 edges, 7372 markings/sec, 130 secs
lola: 1057214 markings, 1977827 edges, 7368 markings/sec, 135 secs
lola: 1093754 markings, 2046036 edges, 7308 markings/sec, 140 secs
lola: 1130552 markings, 2114844 edges, 7360 markings/sec, 145 secs
lola: 1166968 markings, 2182985 edges, 7283 markings/sec, 150 secs
lola: 1203343 markings, 2251311 edges, 7275 markings/sec, 155 secs
lola: 1239642 markings, 2319591 edges, 7260 markings/sec, 160 secs
lola: 1275550 markings, 2387474 edges, 7182 markings/sec, 165 secs
lola: 1311578 markings, 2456206 edges, 7206 markings/sec, 170 secs
lola: 1347104 markings, 2527987 edges, 7105 markings/sec, 175 secs
lola: 1381496 markings, 2596429 edges, 6878 markings/sec, 180 secs
lola: 1418847 markings, 2664781 edges, 7470 markings/sec, 185 secs
lola: 1457348 markings, 2733757 edges, 7700 markings/sec, 190 secs
lola: 1494857 markings, 2801004 edges, 7502 markings/sec, 195 secs
lola: 1532616 markings, 2868666 edges, 7552 markings/sec, 200 secs
lola: 1569671 markings, 2935124 edges, 7411 markings/sec, 205 secs
lola: 1607401 markings, 3002744 edges, 7546 markings/sec, 210 secs
lola: 1644579 markings, 3069465 edges, 7436 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 48471 markings, 55413 edges, 9694 markings/sec, 0 secs
lola: 96229 markings, 116416 edges, 9552 markings/sec, 5 secs
lola: 153297 markings, 189538 edges, 11414 markings/sec, 10 secs
lola: 211692 markings, 261299 edges, 11679 markings/sec, 15 secs
lola: 270319 markings, 334585 edges, 11725 markings/sec, 20 secs
lola: 326057 markings, 406598 edges, 11148 markings/sec, 25 secs
lola: 371825 markings, 477605 edges, 9154 markings/sec, 30 secs
lola: 405647 markings, 532017 edges, 6764 markings/sec, 35 secs
lola: 440609 markings, 589277 edges, 6992 markings/sec, 40 secs
lola: 474937 markings, 648287 edges, 6866 markings/sec, 45 secs
lola: 512107 markings, 712079 edges, 7434 markings/sec, 50 secs
lola: 556350 markings, 763400 edges, 8849 markings/sec, 55 secs
lola: 601807 markings, 825579 edges, 9091 markings/sec, 60 secs
lola: 654185 markings, 889391 edges, 10476 markings/sec, 65 secs
lola: 707890 markings, 955420 edges, 10741 markings/sec, 70 secs
lola: 763163 markings, 1024436 edges, 11055 markings/sec, 75 secs
lola: 816683 markings, 1093328 edges, 10704 markings/sec, 80 secs
lola: 863363 markings, 1164264 edges, 9336 markings/sec, 85 secs
lola: 896199 markings, 1216819 edges, 6567 markings/sec, 90 secs
lola: 930332 markings, 1272549 edges, 6827 markings/sec, 95 secs
lola: 964279 markings, 1330152 edges, 6789 markings/sec, 100 secs
lola: 997866 markings, 1394429 edges, 6717 markings/sec, 105 secs
lola: 1041069 markings, 1443902 edges, 8641 markings/sec, 110 secs
lola: 1084988 markings, 1498864 edges, 8784 markings/sec, 115 secs
lola: 1135150 markings, 1564871 edges, 10032 markings/sec, 120 secs
lola: 1186243 markings, 1627508 edges, 10219 markings/sec, 125 secs
lola: 1241372 markings, 1695922 edges, 11026 markings/sec, 130 secs
lola: 1295157 markings, 1764215 edges, 10757 markings/sec, 135 secs
lola: 1345970 markings, 1833690 edges, 10163 markings/sec, 140 secs
lola: 1380641 markings, 1891910 edges, 6934 markings/sec, 145 secs
lola: 1413738 markings, 1945601 edges, 6619 markings/sec, 150 secs
lola: 1448033 markings, 2002607 edges, 6859 markings/sec, 155 secs
lola: 1480802 markings, 2061461 edges, 6554 markings/sec, 160 secs
lola: 1521061 markings, 2119346 edges, 8052 markings/sec, 165 secs
lola: 1564814 markings, 2171571 edges, 8751 markings/sec, 170 secs
lola: 1614134 markings, 2238318 edges, 9864 markings/sec, 175 secs
lola: 1667635 markings, 2303790 edges, 10700 markings/sec, 180 secs
lola: 1723223 markings, 2372742 edges, 11118 markings/sec, 185 secs
lola: 1777993 markings, 2441972 edges, 10954 markings/sec, 190 secs
lola: 1830305 markings, 2512606 edges, 10462 markings/sec, 195 secs
lola: 1866134 markings, 2572604 edges, 7166 markings/sec, 200 secs
lola: 1899389 markings, 2626504 edges, 6651 markings/sec, 205 secs
lola: 1933371 markings, 2683261 edges, 6796 markings/sec, 210 secs
lola: 1966121 markings, 2742451 edges, 6550 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(place_462)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 41882 markings, 47702 edges, 8376 markings/sec, 0 secs
lola: 83095 markings, 97717 edges, 8243 markings/sec, 5 secs
lola: 128300 markings, 159182 edges, 9041 markings/sec, 10 secs
lola: 176343 markings, 217768 edges, 9609 markings/sec, 15 secs
lola: 224856 markings, 277717 edges, 9703 markings/sec, 20 secs
lola: 273572 markings, 338695 edges, 9743 markings/sec, 25 secs
lola: 321005 markings, 399882 edges, 9487 markings/sec, 30 secs
lola: 364498 markings, 465836 edges, 8699 markings/sec, 35 secs
lola: 395645 markings, 515870 edges, 6229 markings/sec, 40 secs
lola: 427447 markings, 567551 edges, 6360 markings/sec, 45 secs
lola: 459559 markings, 621335 edges, 6422 markings/sec, 50 secs
lola: 490490 markings, 677890 edges, 6186 markings/sec, 55 secs
lola: 528328 markings, 730550 edges, 7568 markings/sec, 60 secs
lola: 567909 markings, 777472 edges, 7916 markings/sec, 65 secs
lola: 609741 markings, 835178 edges, 8366 markings/sec, 70 secs
lola: 655189 markings, 890710 edges, 9090 markings/sec, 75 secs
lola: 701849 markings, 948006 edges, 9332 markings/sec, 80 secs
lola: 749920 markings, 1007796 edges, 9614 markings/sec, 85 secs
lola: 797033 markings, 1067640 edges, 9423 markings/sec, 90 secs
lola: 841553 markings, 1127345 edges, 8904 markings/sec, 95 secs
lola: 876220 markings, 1184622 edges, 6933 markings/sec, 100 secs
lola: 906201 markings, 1233060 edges, 5996 markings/sec, 105 secs
lola: 938150 markings, 1285532 edges, 6390 markings/sec, 110 secs
lola: 969262 markings, 1338915 edges, 6222 markings/sec, 115 secs
lola: 1000356 markings, 1397250 edges, 6219 markings/sec, 120 secs
lola: 1038997 markings, 1441525 edges, 7728 markings/sec, 125 secs
lola: 1078135 markings, 1489427 edges, 7828 markings/sec, 130 secs
lola: 1120769 markings, 1547425 edges, 8527 markings/sec, 135 secs
lola: 1165388 markings, 1601980 edges, 8924 markings/sec, 140 secs
lola: 1211744 markings, 1659021 edges, 9271 markings/sec, 145 secs
lola: 1258872 markings, 1717974 edges, 9426 markings/sec, 150 secs
lola: 1304856 markings, 1776856 edges, 9197 markings/sec, 155 secs
lola: 1348394 markings, 1837580 edges, 8708 markings/sec, 160 secs
lola: 1379360 markings, 1889959 edges, 6193 markings/sec, 165 secs
lola: 1409686 markings, 1938994 edges, 6065 markings/sec, 170 secs
lola: 1441340 markings, 1991381 edges, 6331 markings/sec, 175 secs
lola: 1471916 markings, 2044536 edges, 6115 markings/sec, 180 secs
lola: 1504795 markings, 2100727 edges, 6576 markings/sec, 185 secs
lola: 1543898 markings, 2146014 edges, 7821 markings/sec, 190 secs
lola: 1583271 markings, 2197235 edges, 7875 markings/sec, 195 secs
lola: 1629318 markings, 2256861 edges, 9209 markings/sec, 200 secs
lola: 1675610 markings, 2313621 edges, 9258 markings/sec, 205 secs
lola: 1723710 markings, 2373307 edges, 9620 markings/sec, 210 secs
lola: 1771030 markings, 2433057 edges, 9464 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(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 19597 markings, 33597 edges, 3919 markings/sec, 0 secs
lola: 38954 markings, 66911 edges, 3871 markings/sec, 5 secs
lola: 58108 markings, 99907 edges, 3831 markings/sec, 10 secs
lola: 77288 markings, 132930 edges, 3836 markings/sec, 15 secs
lola: 96445 markings, 165905 edges, 3831 markings/sec, 20 secs
lola: 115590 markings, 198824 edges, 3829 markings/sec, 25 secs
lola: 134614 markings, 235312 edges, 3805 markings/sec, 30 secs
lola: 153400 markings, 269559 edges, 3757 markings/sec, 35 secs
lola: 172153 markings, 303728 edges, 3751 markings/sec, 40 secs
lola: 191288 markings, 337638 edges, 3827 markings/sec, 45 secs
lola: 210448 markings, 370410 edges, 3832 markings/sec, 50 secs
lola: 229609 markings, 403158 edges, 3832 markings/sec, 55 secs
lola: 248743 markings, 435880 edges, 3827 markings/sec, 60 secs
lola: 267519 markings, 472878 edges, 3755 markings/sec, 65 secs
lola: 286188 markings, 507495 edges, 3734 markings/sec, 70 secs
lola: 305331 markings, 541094 edges, 3829 markings/sec, 75 secs
lola: 324593 markings, 573800 edges, 3852 markings/sec, 80 secs
lola: 343741 markings, 606362 edges, 3830 markings/sec, 85 secs
lola: 362345 markings, 643672 edges, 3721 markings/sec, 90 secs
lola: 381084 markings, 678343 edges, 3748 markings/sec, 95 secs
lola: 400231 markings, 710823 edges, 3829 markings/sec, 100 secs
lola: 419413 markings, 743268 edges, 3836 markings/sec, 105 secs
lola: 438039 markings, 780883 edges, 3725 markings/sec, 110 secs
lola: 456935 markings, 815100 edges, 3779 markings/sec, 115 secs
lola: 476218 markings, 847586 edges, 3857 markings/sec, 120 secs
lola: 495002 markings, 884129 edges, 3757 markings/sec, 125 secs
lola: 513586 markings, 918908 edges, 3717 markings/sec, 130 secs
lola: 532738 markings, 951112 edges, 3830 markings/sec, 135 secs
lola: 551514 markings, 987645 edges, 3755 markings/sec, 140 secs
lola: 570222 markings, 1022246 edges, 3742 markings/sec, 145 secs
lola: 589479 markings, 1054487 edges, 3851 markings/sec, 150 secs
lola: 607984 markings, 1092333 edges, 3701 markings/sec, 155 secs
lola: 627138 markings, 1125562 edges, 3831 markings/sec, 160 secs
lola: 645882 markings, 1161824 edges, 3749 markings/sec, 165 secs
lola: 664941 markings, 1196525 edges, 3812 markings/sec, 170 secs
lola: 684657 markings, 1234033 edges, 3943 markings/sec, 175 secs
lola: 704420 markings, 1269401 edges, 3953 markings/sec, 180 secs
lola: 723581 markings, 1307201 edges, 3832 markings/sec, 185 secs
lola: 743066 markings, 1340974 edges, 3897 markings/sec, 190 secs
lola: 761640 markings, 1379438 edges, 3715 markings/sec, 195 secs
lola: 781127 markings, 1411569 edges, 3897 markings/sec, 200 secs
lola: 799432 markings, 1449519 edges, 3661 markings/sec, 205 secs
lola: 817380 markings, 1483875 edges, 3590 markings/sec, 210 secs
lola: 836350 markings, 1518283 edges, 3794 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(place_522_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 49524 markings, 122361 edges, 9905 markings/sec, 0 secs
lola: 99348 markings, 231458 edges, 9965 markings/sec, 5 secs
lola: 147339 markings, 336539 edges, 9598 markings/sec, 10 secs
lola: 201774 markings, 456211 edges, 10887 markings/sec, 15 secs
lola: 256950 markings, 577040 edges, 11035 markings/sec, 20 secs
lola: 308458 markings, 690213 edges, 10302 markings/sec, 25 secs
lola: 363795 markings, 811678 edges, 11067 markings/sec, 30 secs
lola: 418356 markings, 931393 edges, 10912 markings/sec, 35 secs
lola: 474004 markings, 1053639 edges, 11130 markings/sec, 40 secs
lola: 530928 markings, 1178454 edges, 11385 markings/sec, 45 secs
lola: 587670 markings, 1303119 edges, 11348 markings/sec, 50 secs
lola: 644862 markings, 1428839 edges, 11438 markings/sec, 55 secs
lola: 696959 markings, 1543482 edges, 10419 markings/sec, 60 secs
lola: 753750 markings, 1668463 edges, 11358 markings/sec, 65 secs
lola: 810222 markings, 1792778 edges, 11294 markings/sec, 70 secs
lola: 866095 markings, 1915802 edges, 11175 markings/sec, 75 secs
lola: 921652 markings, 2038295 edges, 11111 markings/sec, 80 secs
lola: 977657 markings, 2161976 edges, 11201 markings/sec, 85 secs
lola: 1032610 markings, 2283483 edges, 10991 markings/sec, 90 secs
lola: 1087014 markings, 2403874 edges, 10881 markings/sec, 95 secs
lola: 1141442 markings, 2524650 edges, 10886 markings/sec, 100 secs
lola: 1195412 markings, 2644929 edges, 10794 markings/sec, 105 secs
lola: 1248796 markings, 2764370 edges, 10677 markings/sec, 110 secs
lola: 1301696 markings, 2884016 edges, 10580 markings/sec, 115 secs
lola: 1356981 markings, 3017653 edges, 11057 markings/sec, 120 secs
lola: 1420469 markings, 3138728 edges, 12698 markings/sec, 125 secs
lola: 1484995 markings, 3255586 edges, 12905 markings/sec, 130 secs
lola: 1549094 markings, 3371859 edges, 12820 markings/sec, 135 secs
lola: 1613369 markings, 3488400 edges, 12855 markings/sec, 140 secs
lola: 1676309 markings, 3602652 edges, 12588 markings/sec, 145 secs
lola: 1739355 markings, 3717069 edges, 12609 markings/sec, 150 secs
lola: 1801684 markings, 3830442 edges, 12466 markings/sec, 155 secs
lola: 1863461 markings, 3942859 edges, 12355 markings/sec, 160 secs
lola: 1925071 markings, 4055032 edges, 12322 markings/sec, 165 secs
lola: 1986154 markings, 4166324 edges, 12217 markings/sec, 170 secs
lola: 2045916 markings, 4275452 edges, 11952 markings/sec, 175 secs
lola: 2106069 markings, 4385256 edges, 12031 markings/sec, 180 secs
lola: 2166278 markings, 4495520 edges, 12042 markings/sec, 185 secs
lola: 2226144 markings, 4605459 edges, 11973 markings/sec, 190 secs
lola: 2286014 markings, 4715558 edges, 11974 markings/sec, 195 secs
lola: 2347200 markings, 4828369 edges, 12237 markings/sec, 200 secs
lola: 2407418 markings, 4940078 edges, 12044 markings/sec, 205 secs
lola: 2467676 markings, 5052367 edges, 12052 markings/sec, 210 secs
lola: 2527613 markings, 5165070 edges, 11987 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(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 47594 markings, 54389 edges, 9519 markings/sec, 0 secs
lola: 94394 markings, 113486 edges, 9360 markings/sec, 5 secs
lola: 150161 markings, 185746 edges, 11153 markings/sec, 10 secs
lola: 207361 markings, 256074 edges, 11440 markings/sec, 15 secs
lola: 265627 markings, 328627 edges, 11653 markings/sec, 20 secs
lola: 321875 markings, 400988 edges, 11250 markings/sec, 25 secs
lola: 368478 markings, 472256 edges, 9321 markings/sec, 30 secs
lola: 402003 markings, 526057 edges, 6705 markings/sec, 35 secs
lola: 436557 markings, 582649 edges, 6911 markings/sec, 40 secs
lola: 470758 markings, 640848 edges, 6840 markings/sec, 45 secs
lola: 506022 markings, 705133 edges, 7053 markings/sec, 50 secs
lola: 549460 markings, 755211 edges, 8688 markings/sec, 55 secs
lola: 593624 markings, 812568 edges, 8833 markings/sec, 60 secs
lola: 645441 markings, 878714 edges, 10363 markings/sec, 65 secs
lola: 698089 markings, 943324 edges, 10530 markings/sec, 70 secs
lola: 753378 markings, 1012099 edges, 11058 markings/sec, 75 secs
lola: 807062 markings, 1080680 edges, 10737 markings/sec, 80 secs
lola: 856868 markings, 1153878 edges, 9961 markings/sec, 85 secs
lola: 889253 markings, 1205691 edges, 6477 markings/sec, 90 secs
lola: 923015 markings, 1260441 edges, 6752 markings/sec, 95 secs
lola: 957150 markings, 1317722 edges, 6827 markings/sec, 100 secs
lola: 989500 markings, 1377924 edges, 6470 markings/sec, 105 secs
lola: 1030952 markings, 1432122 edges, 8290 markings/sec, 110 secs
lola: 1073956 markings, 1483927 edges, 8601 markings/sec, 115 secs
lola: 1122005 markings, 1548846 edges, 9610 markings/sec, 120 secs
lola: 1173236 markings, 1611521 edges, 10246 markings/sec, 125 secs
lola: 1227006 markings, 1678083 edges, 10754 markings/sec, 130 secs
lola: 1281201 markings, 1746305 edges, 10839 markings/sec, 135 secs
lola: 1332697 markings, 1814210 edges, 10299 markings/sec, 140 secs
lola: 1371590 markings, 1877476 edges, 7779 markings/sec, 145 secs
lola: 1403904 markings, 1929466 edges, 6463 markings/sec, 150 secs
lola: 1438110 markings, 1985932 edges, 6841 markings/sec, 155 secs
lola: 1471249 markings, 2043328 edges, 6628 markings/sec, 160 secs
lola: 1507739 markings, 2104008 edges, 7298 markings/sec, 165 secs
lola: 1550978 markings, 2154501 edges, 8648 markings/sec, 170 secs
lola: 1596372 markings, 2216725 edges, 9079 markings/sec, 175 secs
lola: 1650146 markings, 2282448 edges, 10755 markings/sec, 180 secs
lola: 1704761 markings, 2349756 edges, 10923 markings/sec, 185 secs
lola: 1759790 markings, 2418766 edges, 11006 markings/sec, 190 secs
lola: 1812688 markings, 2487634 edges, 10580 markings/sec, 195 secs
lola: 1854960 markings, 2554589 edges, 8454 markings/sec, 200 secs
lola: 1886808 markings, 2606077 edges, 6370 markings/sec, 205 secs
lola: 1921006 markings, 2662386 edges, 6840 markings/sec, 210 secs
lola: 1954181 markings, 2719655 edges, 6635 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 46378 markings, 52950 edges, 9276 markings/sec, 0 secs
lola: 92041 markings, 109943 edges, 9133 markings/sec, 5 secs
lola: 145855 markings, 180430 edges, 10763 markings/sec, 10 secs
lola: 201096 markings, 248219 edges, 11048 markings/sec, 15 secs
lola: 257599 markings, 318538 edges, 11301 markings/sec, 20 secs
lola: 312755 markings, 389020 edges, 11031 markings/sec, 25 secs
lola: 363437 markings, 464242 edges, 10136 markings/sec, 30 secs
lola: 397097 markings, 518213 edges, 6732 markings/sec, 35 secs
lola: 431643 markings, 574479 edges, 6909 markings/sec, 40 secs
lola: 466116 markings, 632701 edges, 6895 markings/sec, 45 secs
lola: 500088 markings, 698481 edges, 6794 markings/sec, 50 secs
lola: 543966 markings, 748708 edges, 8776 markings/sec, 55 secs
lola: 588350 markings, 804164 edges, 8877 markings/sec, 60 secs
lola: 639467 markings, 871422 edges, 10223 markings/sec, 65 secs
lola: 691523 markings, 935250 edges, 10411 markings/sec, 70 secs
lola: 747388 markings, 1004569 edges, 11173 markings/sec, 75 secs
lola: 801529 markings, 1073408 edges, 10828 markings/sec, 80 secs
lola: 853085 markings, 1145148 edges, 10311 markings/sec, 85 secs
lola: 887714 markings, 1203217 edges, 6926 markings/sec, 90 secs
lola: 922484 markings, 1259690 edges, 6954 markings/sec, 95 secs
lola: 957932 markings, 1319019 edges, 7090 markings/sec, 100 secs
lola: 991384 markings, 1382634 edges, 6690 markings/sec, 105 secs
lola: 1034984 markings, 1436834 edges, 8720 markings/sec, 110 secs
lola: 1080038 markings, 1491948 edges, 9011 markings/sec, 115 secs
lola: 1129781 markings, 1558352 edges, 9949 markings/sec, 120 secs
lola: 1181472 markings, 1621662 edges, 10338 markings/sec, 125 secs
lola: 1237844 markings, 1691563 edges, 11274 markings/sec, 130 secs
lola: 1293304 markings, 1761789 edges, 11092 markings/sec, 135 secs
lola: 1345874 markings, 1833507 edges, 10514 markings/sec, 140 secs
lola: 1381663 markings, 1893523 edges, 7158 markings/sec, 145 secs
lola: 1416134 markings, 1949543 edges, 6894 markings/sec, 150 secs
lola: 1451482 markings, 2008532 edges, 7070 markings/sec, 155 secs
lola: 1485214 markings, 2070700 edges, 6746 markings/sec, 160 secs
lola: 1528834 markings, 2128312 edges, 8724 markings/sec, 165 secs
lola: 1574298 markings, 2184028 edges, 9093 markings/sec, 170 secs
lola: 1627189 markings, 2254310 edges, 10578 markings/sec, 175 secs
lola: 1683227 markings, 2323005 edges, 11208 markings/sec, 180 secs
lola: 1740690 markings, 2394565 edges, 11493 markings/sec, 185 secs
lola: 1796604 markings, 2466235 edges, 11183 markings/sec, 190 secs
lola: 1846578 markings, 2541186 edges, 9995 markings/sec, 195 secs
lola: 1880082 markings, 2595131 edges, 6701 markings/sec, 200 secs
lola: 1915463 markings, 2653119 edges, 7076 markings/sec, 205 secs
lola: 1950306 markings, 2712688 edges, 6969 markings/sec, 210 secs
lola: 1987494 markings, 2777460 edges, 7438 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(place_787_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4028 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: 44667 markings, 50926 edges, 8933 markings/sec, 0 secs
lola: 92616 markings, 110769 edges, 9590 markings/sec, 5 secs
lola: 149178 markings, 184551 edges, 11312 markings/sec, 10 secs
lola: 207356 markings, 256065 edges, 11636 markings/sec, 15 secs
lola: 266373 markings, 329608 edges, 11803 markings/sec, 20 secs
lola: 323964 markings, 403854 edges, 11518 markings/sec, 25 secs
lola: 372269 markings, 478335 edges, 9661 markings/sec, 30 secs
lola: 407789 markings, 535412 edges, 7104 markings/sec, 35 secs
lola: 444326 markings, 595593 edges, 7307 markings/sec, 40 secs
lola: 480141 markings, 657779 edges, 7163 markings/sec, 45 secs
lola: 521059 markings, 722261 edges, 8184 markings/sec, 50 secs
lola: 567544 markings, 776941 edges, 9297 markings/sec, 55 secs
lola: 617405 markings, 844486 edges, 9972 markings/sec, 60 secs
lola: 672246 markings, 911605 edges, 10968 markings/sec, 65 secs
lola: 729497 markings, 982233 edges, 11450 markings/sec, 70 secs
lola: 786705 markings, 1054397 edges, 11442 markings/sec, 75 secs
lola: 841454 markings, 1127153 edges, 10950 markings/sec, 80 secs
lola: 881042 markings, 1192396 edges, 7918 markings/sec, 85 secs
lola: 915819 markings, 1248791 edges, 6955 markings/sec, 90 secs
lola: 951819 markings, 1308669 edges, 7200 markings/sec, 95 secs
lola: 986454 markings, 1371261 edges, 6927 markings/sec, 100 secs
lola: 1029575 markings, 1430531 edges, 8624 markings/sec, 105 secs
lola: 1075375 markings, 1485720 edges, 9160 markings/sec, 110 secs
lola: 1126511 markings, 1554326 edges, 10227 markings/sec, 115 secs
lola: 1179534 markings, 1619371 edges, 10605 markings/sec, 120 secs
lola: 1236997 markings, 1690450 edges, 11493 markings/sec, 125 secs
lola: 1293227 markings, 1761712 edges, 11246 markings/sec, 130 secs
lola: 1346700 markings, 1834809 edges, 10695 markings/sec, 135 secs
lola: 1382568 markings, 1895093 edges, 7174 markings/sec, 140 secs
lola: 1417521 markings, 1951812 edges, 6991 markings/sec, 145 secs
lola: 1453177 markings, 2011473 edges, 7131 markings/sec, 150 secs
lola: 1487311 markings, 2075746 edges, 6827 markings/sec, 155 secs
lola: 1532543 markings, 2132623 edges, 9046 markings/sec, 160 secs
lola: 1578642 markings, 2190094 edges, 9220 markings/sec, 165 secs
lola: 1633065 markings, 2261504 edges, 10885 markings/sec, 170 secs
lola: 1690050 markings, 2331530 edges, 11397 markings/sec, 175 secs
lola: 1748055 markings, 2403862 edges, 11601 markings/sec, 180 secs
lola: 1804209 markings, 2476307 edges, 11231 markings/sec, 185 secs
lola: 1851488 markings, 2549037 edges, 9456 markings/sec, 190 secs
lola: 1885270 markings, 2603582 edges, 6756 markings/sec, 195 secs
lola: 1921092 markings, 2662519 edges, 7164 markings/sec, 200 secs
lola: 1955970 markings, 2722969 edges, 6976 markings/sec, 205 secs
lola: 1995356 markings, 2786423 edges, 7877 markings/sec, 210 secs
lola: 2040900 markings, 2840005 edges, 9109 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496335497197

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBNT-PT-S05J80"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBNT-PT-S05J80.tgz
mv S_PolyORBNT-PT-S05J80 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 S_PolyORBNT-PT-S05J80, 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 r138-smll-149479231600128"
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 ;