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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBNT-PT-S05J80 @ 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: 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: 47621 markings, 54427 edges, 9524 markings/sec, 0 secs
lola: 93936 markings, 112715 edges, 9263 markings/sec, 5 secs
lola: 149646 markings, 185214 edges, 11142 markings/sec, 10 secs
lola: 207037 markings, 255615 edges, 11478 markings/sec, 15 secs
lola: 264971 markings, 327802 edges, 11587 markings/sec, 20 secs
lola: 321601 markings, 400715 edges, 11326 markings/sec, 25 secs
lola: 369637 markings, 474010 edges, 9607 markings/sec, 30 secs
lola: 404390 markings, 529993 edges, 6951 markings/sec, 35 secs
lola: 440341 markings, 588897 edges, 7190 markings/sec, 40 secs
lola: 475721 markings, 649712 edges, 7076 markings/sec, 45 secs
lola: 513010 markings, 713037 edges, 7458 markings/sec, 50 secs
lola: 557364 markings, 764571 edges, 8871 markings/sec, 55 secs
lola: 602553 markings, 826585 edges, 9038 markings/sec, 60 secs
lola: 654521 markings, 889867 edges, 10394 markings/sec, 65 secs
lola: 709358 markings, 957290 edges, 10967 markings/sec, 70 secs
lola: 766279 markings, 1028399 edges, 11384 markings/sec, 75 secs
lola: 821102 markings, 1099167 edges, 10965 markings/sec, 80 secs
lola: 866999 markings, 1170028 edges, 9179 markings/sec, 85 secs
lola: 900787 markings, 1224346 edges, 6758 markings/sec, 90 secs
lola: 936272 markings, 1282524 edges, 7097 markings/sec, 95 secs
lola: 971121 markings, 1342224 edges, 6970 markings/sec, 100 secs
lola: 1008360 markings, 1406232 edges, 7448 markings/sec, 105 secs
lola: 1052096 markings, 1456963 edges, 8747 markings/sec, 110 secs
lola: 1098178 markings, 1519894 edges, 9216 markings/sec, 115 secs
lola: 1150713 markings, 1583930 edges, 10507 markings/sec, 120 secs
lola: 1204963 markings, 1650683 edges, 10850 markings/sec, 125 secs
lola: 1259004 markings, 1718158 edges, 10808 markings/sec, 130 secs
lola: 1311183 markings, 1785137 edges, 10436 markings/sec, 135 secs
lola: 1359087 markings, 1857379 edges, 9581 markings/sec, 140 secs
lola: 1392651 markings, 1911259 edges, 6713 markings/sec, 145 secs
lola: 1427719 markings, 1968533 edges, 7014 markings/sec, 150 secs
lola: 1462597 markings, 2027758 edges, 6976 markings/sec, 155 secs
lola: 1498191 markings, 2093208 edges, 7119 markings/sec, 160 secs
lola: 1543302 markings, 2145362 edges, 9022 markings/sec, 165 secs
lola: 1589212 markings, 2208065 edges, 9182 markings/sec, 170 secs
lola: 1644984 markings, 2276033 edges, 11154 markings/sec, 175 secs
lola: 1701968 markings, 2346220 edges, 11397 markings/sec, 180 secs
lola: 1759014 markings, 2417693 edges, 11409 markings/sec, 185 secs
lola: 1814060 markings, 2489557 edges, 11009 markings/sec, 190 secs
lola: 1857027 markings, 2558065 edges, 8593 markings/sec, 195 secs
lola: 1890792 markings, 2612583 edges, 6753 markings/sec, 200 secs
lola: 1926272 markings, 2671230 edges, 7096 markings/sec, 205 secs
lola: 1960574 markings, 2731550 edges, 6860 markings/sec, 210 secs
lola: 2000819 markings, 2792701 edges, 8049 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: 55912 markings, 136939 edges, 11182 markings/sec, 0 secs
lola: 106889 markings, 250606 edges, 10195 markings/sec, 5 secs
lola: 158060 markings, 365479 edges, 10234 markings/sec, 10 secs
lola: 209190 markings, 480263 edges, 10226 markings/sec, 15 secs
lola: 260554 markings, 595576 edges, 10273 markings/sec, 20 secs
lola: 311203 markings, 709273 edges, 10130 markings/sec, 25 secs
lola: 361421 markings, 821708 edges, 10044 markings/sec, 30 secs
lola: 411525 markings, 934208 edges, 10021 markings/sec, 35 secs
lola: 461294 markings, 1045989 edges, 9954 markings/sec, 40 secs
lola: 511462 markings, 1158639 edges, 10034 markings/sec, 45 secs
lola: 559433 markings, 1266074 edges, 9594 markings/sec, 50 secs
lola: 609451 markings, 1378399 edges, 10004 markings/sec, 55 secs
lola: 659163 markings, 1490008 edges, 9942 markings/sec, 60 secs
lola: 707982 markings, 1599341 edges, 9764 markings/sec, 65 secs
lola: 754818 markings, 1704620 edges, 9367 markings/sec, 70 secs
lola: 802592 markings, 1811919 edges, 9555 markings/sec, 75 secs
lola: 849865 markings, 1917843 edges, 9455 markings/sec, 80 secs
lola: 896890 markings, 2023485 edges, 9405 markings/sec, 85 secs
lola: 943437 markings, 2127776 edges, 9309 markings/sec, 90 secs
lola: 990948 markings, 2234553 edges, 9502 markings/sec, 95 secs
lola: 1037982 markings, 2339897 edges, 9407 markings/sec, 100 secs
lola: 1083887 markings, 2443104 edges, 9181 markings/sec, 105 secs
lola: 1128782 markings, 2576687 edges, 8979 markings/sec, 110 secs
lola: 1184182 markings, 2698441 edges, 11080 markings/sec, 115 secs
lola: 1240510 markings, 2813504 edges, 11266 markings/sec, 120 secs
lola: 1296978 markings, 2928896 edges, 11294 markings/sec, 125 secs
lola: 1355675 markings, 3048937 edges, 11739 markings/sec, 130 secs
lola: 1414751 markings, 3169697 edges, 11815 markings/sec, 135 secs
lola: 1473437 markings, 3289671 edges, 11737 markings/sec, 140 secs
lola: 1532609 markings, 3410660 edges, 11834 markings/sec, 145 secs
lola: 1590904 markings, 3529902 edges, 11659 markings/sec, 150 secs
lola: 1649958 markings, 3650820 edges, 11811 markings/sec, 155 secs
lola: 1710700 markings, 3775214 edges, 12148 markings/sec, 160 secs
lola: 1770789 markings, 3898213 edges, 12018 markings/sec, 165 secs
lola: 1830198 markings, 4019937 edges, 11882 markings/sec, 170 secs
lola: 1889761 markings, 4141935 edges, 11913 markings/sec, 175 secs
lola: 1948787 markings, 4263059 edges, 11805 markings/sec, 180 secs
lola: 2007746 markings, 4384032 edges, 11792 markings/sec, 185 secs
lola: 2066083 markings, 4503806 edges, 11667 markings/sec, 190 secs
lola: 2123736 markings, 4622330 edges, 11531 markings/sec, 195 secs
lola: 2181661 markings, 4741516 edges, 11585 markings/sec, 200 secs
lola: 2238742 markings, 4859194 edges, 11416 markings/sec, 205 secs
lola: 2294703 markings, 4974778 edges, 11192 markings/sec, 210 secs
lola: 2348959 markings, 5087205 edges, 10851 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: 62815 markings, 132347 edges, 12563 markings/sec, 0 secs
lola: 125576 markings, 248557 edges, 12552 markings/sec, 5 secs
lola: 187559 markings, 363304 edges, 12397 markings/sec, 10 secs
lola: 250786 markings, 480348 edges, 12645 markings/sec, 15 secs
lola: 312393 markings, 594376 edges, 12321 markings/sec, 20 secs
lola: 374590 markings, 709731 edges, 12439 markings/sec, 25 secs
lola: 437622 markings, 826507 edges, 12606 markings/sec, 30 secs
lola: 501280 markings, 944577 edges, 12732 markings/sec, 35 secs
lola: 566834 markings, 1066114 edges, 13111 markings/sec, 40 secs
lola: 631731 markings, 1186453 edges, 12979 markings/sec, 45 secs
lola: 696458 markings, 1306602 edges, 12945 markings/sec, 50 secs
lola: 762937 markings, 1430002 edges, 13296 markings/sec, 55 secs
lola: 828273 markings, 1551489 edges, 13067 markings/sec, 60 secs
lola: 893457 markings, 1672690 edges, 13037 markings/sec, 65 secs
lola: 955516 markings, 1788214 edges, 12412 markings/sec, 70 secs
lola: 1016924 markings, 1902675 edges, 12282 markings/sec, 75 secs
lola: 1077245 markings, 2015131 edges, 12064 markings/sec, 80 secs
lola: 1138491 markings, 2129676 edges, 12249 markings/sec, 85 secs
lola: 1197936 markings, 2241168 edges, 11889 markings/sec, 90 secs
lola: 1256950 markings, 2352301 edges, 11803 markings/sec, 95 secs
lola: 1315362 markings, 2463526 edges, 11682 markings/sec, 100 secs
lola: 1372686 markings, 2578149 edges, 11465 markings/sec, 105 secs
lola: 1433845 markings, 2691649 edges, 12232 markings/sec, 110 secs
lola: 1498643 markings, 2807771 edges, 12960 markings/sec, 115 secs
lola: 1561758 markings, 2920913 edges, 12623 markings/sec, 120 secs
lola: 1623506 markings, 3031479 edges, 12350 markings/sec, 125 secs
lola: 1684212 markings, 3140577 edges, 12141 markings/sec, 130 secs
lola: 1744547 markings, 3248848 edges, 12067 markings/sec, 135 secs
lola: 1803780 markings, 3355207 edges, 11847 markings/sec, 140 secs
lola: 1863429 markings, 3462315 edges, 11930 markings/sec, 145 secs
lola: 1921514 markings, 3566754 edges, 11617 markings/sec, 150 secs
lola: 1979531 markings, 3671081 edges, 11603 markings/sec, 155 secs
lola: 2037118 markings, 3774698 edges, 11517 markings/sec, 160 secs
lola: 2094521 markings, 3878030 edges, 11481 markings/sec, 165 secs
lola: 2152431 markings, 3982448 edges, 11582 markings/sec, 170 secs
lola: 2211989 markings, 4089865 edges, 11912 markings/sec, 175 secs
lola: 2271035 markings, 4196522 edges, 11809 markings/sec, 180 secs
lola: 2330609 markings, 4304357 edges, 11915 markings/sec, 185 secs
lola: 2387555 markings, 4407466 edges, 11389 markings/sec, 190 secs
lola: 2446188 markings, 4514140 edges, 11727 markings/sec, 195 secs
lola: 2504353 markings, 4620283 edges, 11633 markings/sec, 200 secs
lola: 2562201 markings, 4726648 edges, 11570 markings/sec, 205 secs
lola: 2625322 markings, 4845108 edges, 12624 markings/sec, 210 secs
lola: 2664077 markings, 4917703 edges, 7751 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: 45630 markings, 52045 edges, 9126 markings/sec, 0 secs
lola: 90629 markings, 107913 edges, 9000 markings/sec, 5 secs
lola: 143808 markings, 178061 edges, 10636 markings/sec, 10 secs
lola: 199078 markings, 245737 edges, 11054 markings/sec, 15 secs
lola: 255400 markings, 315729 edges, 11264 markings/sec, 20 secs
lola: 310475 markings, 386057 edges, 11015 markings/sec, 25 secs
lola: 361715 markings, 461503 edges, 10248 markings/sec, 30 secs
lola: 395294 markings, 515169 edges, 6716 markings/sec, 35 secs
lola: 429408 markings, 570844 edges, 6823 markings/sec, 40 secs
lola: 463901 markings, 628825 edges, 6899 markings/sec, 45 secs
lola: 497168 markings, 695141 edges, 6653 markings/sec, 50 secs
lola: 541096 markings, 745329 edges, 8786 markings/sec, 55 secs
lola: 585336 markings, 799898 edges, 8848 markings/sec, 60 secs
lola: 635883 markings, 867005 edges, 10109 markings/sec, 65 secs
lola: 687873 markings, 930780 edges, 10398 markings/sec, 70 secs
lola: 743547 markings, 999819 edges, 11135 markings/sec, 75 secs
lola: 797757 markings, 1068561 edges, 10842 markings/sec, 80 secs
lola: 848804 markings, 1138135 edges, 10209 markings/sec, 85 secs
lola: 884031 markings, 1197126 edges, 7045 markings/sec, 90 secs
lola: 917213 markings, 1251068 edges, 6636 markings/sec, 95 secs
lola: 951587 markings, 1308182 edges, 6875 markings/sec, 100 secs
lola: 984302 markings, 1366921 edges, 6543 markings/sec, 105 secs
lola: 1023866 markings, 1423959 edges, 7913 markings/sec, 110 secs
lola: 1066823 markings, 1474897 edges, 8591 markings/sec, 115 secs
lola: 1113477 markings, 1538452 edges, 9331 markings/sec, 120 secs
lola: 1164827 markings, 1601176 edges, 10270 markings/sec, 125 secs
lola: 1217864 markings, 1666665 edges, 10607 markings/sec, 130 secs
lola: 1272249 markings, 1734892 edges, 10877 markings/sec, 135 secs
lola: 1324328 markings, 1802741 edges, 10416 markings/sec, 140 secs
lola: 1366318 markings, 1868979 edges, 8398 markings/sec, 145 secs
lola: 1398580 markings, 1920958 edges, 6452 markings/sec, 150 secs
lola: 1432769 markings, 1977030 edges, 6838 markings/sec, 155 secs
lola: 1466351 markings, 2034461 edges, 6716 markings/sec, 160 secs
lola: 1501334 markings, 2096790 edges, 6997 markings/sec, 165 secs
lola: 1544844 markings, 2147161 edges, 8702 markings/sec, 170 secs
lola: 1589147 markings, 2207972 edges, 8861 markings/sec, 175 secs
lola: 1642777 markings, 2273276 edges, 10726 markings/sec, 180 secs
lola: 1697434 markings, 2340659 edges, 10931 markings/sec, 185 secs
lola: 1752407 markings, 2409391 edges, 10995 markings/sec, 190 secs
lola: 1805772 markings, 2478327 edges, 10673 markings/sec, 195 secs
lola: 1850315 markings, 2547298 edges, 8909 markings/sec, 200 secs
lola: 1882412 markings, 2598914 edges, 6419 markings/sec, 205 secs
lola: 1916436 markings, 2654653 edges, 6805 markings/sec, 210 secs
lola: 1949648 markings, 2711533 edges, 6642 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: 62143 markings, 126964 edges, 12429 markings/sec, 0 secs
lola: 125496 markings, 242425 edges, 12671 markings/sec, 5 secs
lola: 189090 markings, 358308 edges, 12719 markings/sec, 10 secs
lola: 252705 markings, 474124 edges, 12723 markings/sec, 15 secs
lola: 316177 markings, 589926 edges, 12694 markings/sec, 20 secs
lola: 379619 markings, 705631 edges, 12688 markings/sec, 25 secs
lola: 442816 markings, 820845 edges, 12639 markings/sec, 30 secs
lola: 505867 markings, 935920 edges, 12610 markings/sec, 35 secs
lola: 571880 markings, 1056379 edges, 13203 markings/sec, 40 secs
lola: 636412 markings, 1174328 edges, 12906 markings/sec, 45 secs
lola: 701216 markings, 1292750 edges, 12961 markings/sec, 50 secs
lola: 765190 markings, 1409690 edges, 12795 markings/sec, 55 secs
lola: 829329 markings, 1527143 edges, 12828 markings/sec, 60 secs
lola: 892628 markings, 1643117 edges, 12660 markings/sec, 65 secs
lola: 955012 markings, 1757458 edges, 12477 markings/sec, 70 secs
lola: 1016951 markings, 1871360 edges, 12388 markings/sec, 75 secs
lola: 1078167 markings, 1984025 edges, 12243 markings/sec, 80 secs
lola: 1138716 markings, 2095929 edges, 12110 markings/sec, 85 secs
lola: 1198568 markings, 2207297 edges, 11970 markings/sec, 90 secs
lola: 1257877 markings, 2319735 edges, 11862 markings/sec, 95 secs
lola: 1315847 markings, 2433560 edges, 11594 markings/sec, 100 secs
lola: 1379751 markings, 2543467 edges, 12781 markings/sec, 105 secs
lola: 1442311 markings, 2651089 edges, 12512 markings/sec, 110 secs
lola: 1504556 markings, 2758168 edges, 12449 markings/sec, 115 secs
lola: 1566590 markings, 2864949 edges, 12407 markings/sec, 120 secs
lola: 1628239 markings, 2971120 edges, 12330 markings/sec, 125 secs
lola: 1689182 markings, 3076142 edges, 12189 markings/sec, 130 secs
lola: 1749191 markings, 3179454 edges, 12002 markings/sec, 135 secs
lola: 1808027 markings, 3281159 edges, 11767 markings/sec, 140 secs
lola: 1868524 markings, 3385647 edges, 12099 markings/sec, 145 secs
lola: 1928534 markings, 3489340 edges, 12002 markings/sec, 150 secs
lola: 1987891 markings, 3592165 edges, 11871 markings/sec, 155 secs
lola: 2047805 markings, 3695991 edges, 11983 markings/sec, 160 secs
lola: 2107419 markings, 3799479 edges, 11923 markings/sec, 165 secs
lola: 2168500 markings, 3905766 edges, 12216 markings/sec, 170 secs
lola: 2229180 markings, 4011809 edges, 12136 markings/sec, 175 secs
lola: 2289433 markings, 4117662 edges, 12051 markings/sec, 180 secs
lola: 2349671 markings, 4224493 edges, 12048 markings/sec, 185 secs
lola: 2414198 markings, 4345690 edges, 12905 markings/sec, 190 secs
lola: 2444525 markings, 4396934 edges, 6065 markings/sec, 195 secs
lola: 2473986 markings, 4447424 edges, 5892 markings/sec, 200 secs
lola: 2502485 markings, 4497202 edges, 5700 markings/sec, 205 secs
lola: 2531161 markings, 4549408 edges, 5735 markings/sec, 210 secs
lola: 2566954 markings, 4630112 edges, 7159 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, 33594 edges, 3919 markings/sec, 0 secs
lola: 38823 markings, 66735 edges, 3846 markings/sec, 5 secs
lola: 57822 markings, 99531 edges, 3800 markings/sec, 10 secs
lola: 76817 markings, 132352 edges, 3799 markings/sec, 15 secs
lola: 95820 markings, 165100 edges, 3801 markings/sec, 20 secs
lola: 114810 markings, 197863 edges, 3798 markings/sec, 25 secs
lola: 133804 markings, 230542 edges, 3799 markings/sec, 30 secs
lola: 152488 markings, 267543 edges, 3737 markings/sec, 35 secs
lola: 171133 markings, 301484 edges, 3729 markings/sec, 40 secs
lola: 189924 markings, 335905 edges, 3758 markings/sec, 45 secs
lola: 209225 markings, 368872 edges, 3860 markings/sec, 50 secs
lola: 229149 markings, 402589 edges, 3985 markings/sec, 55 secs
lola: 249057 markings, 436284 edges, 3982 markings/sec, 60 secs
lola: 268436 markings, 474892 edges, 3876 markings/sec, 65 secs
lola: 288000 markings, 510764 edges, 3913 markings/sec, 70 secs
lola: 307956 markings, 544431 edges, 3991 markings/sec, 75 secs
lola: 327940 markings, 578054 edges, 3997 markings/sec, 80 secs
lola: 347264 markings, 616643 edges, 3865 markings/sec, 85 secs
lola: 366775 markings, 652043 edges, 3902 markings/sec, 90 secs
lola: 386707 markings, 685496 edges, 3986 markings/sec, 95 secs
lola: 406380 markings, 722731 edges, 3935 markings/sec, 100 secs
lola: 425616 markings, 759253 edges, 3847 markings/sec, 105 secs
lola: 445548 markings, 792610 edges, 3986 markings/sec, 110 secs
lola: 465359 markings, 829789 edges, 3962 markings/sec, 115 secs
lola: 484675 markings, 866331 edges, 3863 markings/sec, 120 secs
lola: 504569 markings, 899509 edges, 3979 markings/sec, 125 secs
lola: 523980 markings, 937315 edges, 3882 markings/sec, 130 secs
lola: 543457 markings, 972614 edges, 3895 markings/sec, 135 secs
lola: 563424 markings, 1005796 edges, 3993 markings/sec, 140 secs
lola: 582561 markings, 1045724 edges, 3827 markings/sec, 145 secs
lola: 602614 markings, 1078942 edges, 4011 markings/sec, 150 secs
lola: 621854 markings, 1118838 edges, 3848 markings/sec, 155 secs
lola: 641750 markings, 1151760 edges, 3979 markings/sec, 160 secs
lola: 660851 markings, 1190339 edges, 3820 markings/sec, 165 secs
lola: 680756 markings, 1224218 edges, 3981 markings/sec, 170 secs
lola: 699990 markings, 1263784 edges, 3847 markings/sec, 175 secs
lola: 720099 markings, 1296836 edges, 4022 markings/sec, 180 secs
lola: 739660 markings, 1336643 edges, 3912 markings/sec, 185 secs
lola: 759328 markings, 1374165 edges, 3934 markings/sec, 190 secs
lola: 778897 markings, 1408754 edges, 3914 markings/sec, 195 secs
lola: 798013 markings, 1447740 edges, 3823 markings/sec, 200 secs
lola: 817663 markings, 1484495 edges, 3930 markings/sec, 205 secs
lola: 837280 markings, 1519438 edges, 3923 markings/sec, 210 secs
lola: 856672 markings, 1558535 edges, 3878 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: 52993 markings, 130898 edges, 10599 markings/sec, 0 secs
lola: 101616 markings, 238893 edges, 9725 markings/sec, 5 secs
lola: 152048 markings, 352133 edges, 10086 markings/sec, 10 secs
lola: 202930 markings, 466046 edges, 10176 markings/sec, 15 secs
lola: 253721 markings, 580074 edges, 10158 markings/sec, 20 secs
lola: 303741 markings, 692411 edges, 10004 markings/sec, 25 secs
lola: 353383 markings, 803864 edges, 9928 markings/sec, 30 secs
lola: 403221 markings, 915785 edges, 9968 markings/sec, 35 secs
lola: 452545 markings, 1026238 edges, 9865 markings/sec, 40 secs
lola: 502543 markings, 1138507 edges, 10000 markings/sec, 45 secs
lola: 552013 markings, 1249590 edges, 9894 markings/sec, 50 secs
lola: 602046 markings, 1361651 edges, 10007 markings/sec, 55 secs
lola: 652353 markings, 1474572 edges, 10061 markings/sec, 60 secs
lola: 701990 markings, 1586046 edges, 9927 markings/sec, 65 secs
lola: 751122 markings, 1696414 edges, 9826 markings/sec, 70 secs
lola: 801208 markings, 1808825 edges, 10017 markings/sec, 75 secs
lola: 850569 markings, 1919387 edges, 9872 markings/sec, 80 secs
lola: 899698 markings, 2029743 edges, 9826 markings/sec, 85 secs
lola: 948289 markings, 2138869 edges, 9718 markings/sec, 90 secs
lola: 997845 markings, 2249857 edges, 9911 markings/sec, 95 secs
lola: 1046947 markings, 2360118 edges, 9820 markings/sec, 100 secs
lola: 1094729 markings, 2467487 edges, 9556 markings/sec, 105 secs
lola: 1144816 markings, 2612372 edges, 10017 markings/sec, 110 secs
lola: 1202712 markings, 2736266 edges, 11579 markings/sec, 115 secs
lola: 1261782 markings, 2857040 edges, 11814 markings/sec, 120 secs
lola: 1320614 markings, 2977304 edges, 11766 markings/sec, 125 secs
lola: 1379921 markings, 3098460 edges, 11861 markings/sec, 130 secs
lola: 1438339 markings, 3217869 edges, 11684 markings/sec, 135 secs
lola: 1497196 markings, 3338291 edges, 11771 markings/sec, 140 secs
lola: 1556603 markings, 3459813 edges, 11881 markings/sec, 145 secs
lola: 1614454 markings, 3578003 edges, 11570 markings/sec, 150 secs
lola: 1674544 markings, 3701141 edges, 12018 markings/sec, 155 secs
lola: 1735012 markings, 3824970 edges, 12094 markings/sec, 160 secs
lola: 1792128 markings, 3941825 edges, 11423 markings/sec, 165 secs
lola: 1849794 markings, 4060013 edges, 11533 markings/sec, 170 secs
lola: 1907549 markings, 4178478 edges, 11551 markings/sec, 175 secs
lola: 1966423 markings, 4299122 edges, 11775 markings/sec, 180 secs
lola: 2024852 markings, 4419054 edges, 11686 markings/sec, 185 secs
lola: 2083929 markings, 4540478 edges, 11815 markings/sec, 190 secs
lola: 2141488 markings, 4658893 edges, 11512 markings/sec, 195 secs
lola: 2196785 markings, 4772691 edges, 11059 markings/sec, 200 secs
lola: 2253657 markings, 4889869 edges, 11374 markings/sec, 205 secs
lola: 2310346 markings, 5007200 edges, 11338 markings/sec, 210 secs
lola: 2366427 markings, 5123573 edges, 11216 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: 17197 markings, 45841 edges, 3439 markings/sec, 0 secs
lola: 34621 markings, 89858 edges, 3485 markings/sec, 5 secs
lola: 52110 markings, 131936 edges, 3498 markings/sec, 10 secs
lola: 69771 markings, 173062 edges, 3532 markings/sec, 15 secs
lola: 87479 markings, 214037 edges, 3542 markings/sec, 20 secs
lola: 105064 markings, 255056 edges, 3517 markings/sec, 25 secs
lola: 122708 markings, 296178 edges, 3529 markings/sec, 30 secs
lola: 140370 markings, 337065 edges, 3532 markings/sec, 35 secs
lola: 157830 markings, 377802 edges, 3492 markings/sec, 40 secs
lola: 175358 markings, 418654 edges, 3506 markings/sec, 45 secs
lola: 192939 markings, 459400 edges, 3516 markings/sec, 50 secs
lola: 210362 markings, 500138 edges, 3485 markings/sec, 55 secs
lola: 227906 markings, 540914 edges, 3509 markings/sec, 60 secs
lola: 245414 markings, 581613 edges, 3502 markings/sec, 65 secs
lola: 262914 markings, 622431 edges, 3500 markings/sec, 70 secs
lola: 280478 markings, 663156 edges, 3513 markings/sec, 75 secs
lola: 297901 markings, 703888 edges, 3485 markings/sec, 80 secs
lola: 315461 markings, 744590 edges, 3512 markings/sec, 85 secs
lola: 332879 markings, 785345 edges, 3484 markings/sec, 90 secs
lola: 350460 markings, 826097 edges, 3516 markings/sec, 95 secs
lola: 367786 markings, 866649 edges, 3465 markings/sec, 100 secs
lola: 385243 markings, 907136 edges, 3491 markings/sec, 105 secs
lola: 402582 markings, 947714 edges, 3468 markings/sec, 110 secs
lola: 420013 markings, 988177 edges, 3486 markings/sec, 115 secs
lola: 437316 markings, 1028640 edges, 3461 markings/sec, 120 secs
lola: 454712 markings, 1069123 edges, 3479 markings/sec, 125 secs
lola: 472119 markings, 1109599 edges, 3481 markings/sec, 130 secs
lola: 489317 markings, 1149897 edges, 3440 markings/sec, 135 secs
lola: 506643 markings, 1190190 edges, 3465 markings/sec, 140 secs
lola: 523929 markings, 1230572 edges, 3457 markings/sec, 145 secs
lola: 541211 markings, 1270939 edges, 3456 markings/sec, 150 secs
lola: 558689 markings, 1311654 edges, 3496 markings/sec, 155 secs
lola: 576209 markings, 1352464 edges, 3504 markings/sec, 160 secs
lola: 593669 markings, 1393299 edges, 3492 markings/sec, 165 secs
lola: 611012 markings, 1433859 edges, 3469 markings/sec, 170 secs
lola: 628418 markings, 1474541 edges, 3481 markings/sec, 175 secs
lola: 645843 markings, 1515255 edges, 3485 markings/sec, 180 secs
lola: 663293 markings, 1555936 edges, 3490 markings/sec, 185 secs
lola: 680684 markings, 1596570 edges, 3478 markings/sec, 190 secs
lola: 698083 markings, 1637251 edges, 3480 markings/sec, 195 secs
lola: 715503 markings, 1677992 edges, 3484 markings/sec, 200 secs
lola: 732953 markings, 1718927 edges, 3490 markings/sec, 205 secs
lola: 750412 markings, 1759762 edges, 3492 markings/sec, 210 secs
lola: 767799 markings, 1800433 edges, 3477 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: 62142 markings, 131113 edges, 12428 markings/sec, 0 secs
lola: 124628 markings, 246818 edges, 12497 markings/sec, 5 secs
lola: 186444 markings, 361253 edges, 12363 markings/sec, 10 secs
lola: 249389 markings, 477802 edges, 12589 markings/sec, 15 secs
lola: 311161 markings, 592178 edges, 12354 markings/sec, 20 secs
lola: 372644 markings, 706095 edges, 12297 markings/sec, 25 secs
lola: 435666 markings, 822895 edges, 12604 markings/sec, 30 secs
lola: 496809 markings, 936209 edges, 12229 markings/sec, 35 secs
lola: 559824 markings, 1053000 edges, 12603 markings/sec, 40 secs
lola: 624711 markings, 1173444 edges, 12977 markings/sec, 45 secs
lola: 688079 markings, 1291115 edges, 12674 markings/sec, 50 secs
lola: 752057 markings, 1409819 edges, 12796 markings/sec, 55 secs
lola: 814909 markings, 1526599 edges, 12570 markings/sec, 60 secs
lola: 878385 markings, 1644611 edges, 12695 markings/sec, 65 secs
lola: 940892 markings, 1760977 edges, 12501 markings/sec, 70 secs
lola: 1002764 markings, 1876212 edges, 12374 markings/sec, 75 secs
lola: 1063291 markings, 1989094 edges, 12105 markings/sec, 80 secs
lola: 1123397 markings, 2101474 edges, 12021 markings/sec, 85 secs
lola: 1182879 markings, 2212842 edges, 11896 markings/sec, 90 secs
lola: 1242041 markings, 2324107 edges, 11832 markings/sec, 95 secs
lola: 1300439 markings, 2434845 edges, 11680 markings/sec, 100 secs
lola: 1358030 markings, 2550645 edges, 11518 markings/sec, 105 secs
lola: 1417516 markings, 2662397 edges, 11897 markings/sec, 110 secs
lola: 1479720 markings, 2773865 edges, 12441 markings/sec, 115 secs
lola: 1540745 markings, 2883267 edges, 12205 markings/sec, 120 secs
lola: 1601487 markings, 2992177 edges, 12148 markings/sec, 125 secs
lola: 1662228 markings, 3101115 edges, 12148 markings/sec, 130 secs
lola: 1721844 markings, 3207955 edges, 11923 markings/sec, 135 secs
lola: 1781624 markings, 3315436 edges, 11956 markings/sec, 140 secs
lola: 1840675 markings, 3421342 edges, 11810 markings/sec, 145 secs
lola: 1899392 markings, 3526959 edges, 11743 markings/sec, 150 secs
lola: 1957393 markings, 3631257 edges, 11600 markings/sec, 155 secs
lola: 2014979 markings, 3734863 edges, 11517 markings/sec, 160 secs
lola: 2071954 markings, 3837398 edges, 11395 markings/sec, 165 secs
lola: 2128551 markings, 3939382 edges, 11319 markings/sec, 170 secs
lola: 2185593 markings, 4042087 edges, 11408 markings/sec, 175 secs
lola: 2242367 markings, 4144641 edges, 11355 markings/sec, 180 secs
lola: 2299197 markings, 4247481 edges, 11366 markings/sec, 185 secs
lola: 2357540 markings, 4352999 edges, 11669 markings/sec, 190 secs
lola: 2415401 markings, 4458051 edges, 11572 markings/sec, 195 secs
lola: 2472076 markings, 4561254 edges, 11335 markings/sec, 200 secs
lola: 2530108 markings, 4667482 edges, 11606 markings/sec, 205 secs
lola: 2589003 markings, 4776432 edges, 11779 markings/sec, 210 secs
lola: 2647697 markings, 4890200 edges, 11739 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: 45938 markings, 52510 edges, 9188 markings/sec, 0 secs
lola: 91401 markings, 109013 edges, 9093 markings/sec, 5 secs
lola: 144752 markings, 179079 edges, 10670 markings/sec, 10 secs
lola: 199812 markings, 246765 edges, 11012 markings/sec, 15 secs
lola: 256002 markings, 316607 edges, 11238 markings/sec, 20 secs
lola: 311083 markings, 386816 edges, 11016 markings/sec, 25 secs
lola: 362306 markings, 462424 edges, 10245 markings/sec, 30 secs
lola: 395878 markings, 516202 edges, 6714 markings/sec, 35 secs
lola: 430231 markings, 572054 edges, 6871 markings/sec, 40 secs
lola: 464487 markings, 629883 edges, 6851 markings/sec, 45 secs
lola: 497980 markings, 696109 edges, 6699 markings/sec, 50 secs
lola: 541850 markings, 746239 edges, 8774 markings/sec, 55 secs
lola: 585982 markings, 800797 edges, 8826 markings/sec, 60 secs
lola: 636491 markings, 867803 edges, 10102 markings/sec, 65 secs
lola: 688268 markings, 931340 edges, 10355 markings/sec, 70 secs
lola: 743792 markings, 1000166 edges, 11105 markings/sec, 75 secs
lola: 797861 markings, 1068708 edges, 10814 markings/sec, 80 secs
lola: 848795 markings, 1138124 edges, 10187 markings/sec, 85 secs
lola: 883936 markings, 1196991 edges, 7028 markings/sec, 90 secs
lola: 917039 markings, 1250804 edges, 6621 markings/sec, 95 secs
lola: 951217 markings, 1307614 edges, 6836 markings/sec, 100 secs
lola: 984056 markings, 1366469 edges, 6568 markings/sec, 105 secs
lola: 1023749 markings, 1423795 edges, 7939 markings/sec, 110 secs
lola: 1066829 markings, 1474905 edges, 8616 markings/sec, 115 secs
lola: 1113449 markings, 1538420 edges, 9324 markings/sec, 120 secs
lola: 1164864 markings, 1601233 edges, 10283 markings/sec, 125 secs
lola: 1217822 markings, 1666624 edges, 10592 markings/sec, 130 secs
lola: 1272203 markings, 1734826 edges, 10876 markings/sec, 135 secs
lola: 1324214 markings, 1802509 edges, 10402 markings/sec, 140 secs
lola: 1366206 markings, 1868731 edges, 8398 markings/sec, 145 secs
lola: 1398396 markings, 1920558 edges, 6438 markings/sec, 150 secs
lola: 1432478 markings, 1976421 edges, 6816 markings/sec, 155 secs
lola: 1465816 markings, 2033549 edges, 6668 markings/sec, 160 secs
lola: 1500716 markings, 2096046 edges, 6980 markings/sec, 165 secs
lola: 1543967 markings, 2146106 edges, 8650 markings/sec, 170 secs
lola: 1587796 markings, 2206214 edges, 8766 markings/sec, 175 secs
lola: 1641226 markings, 2271453 edges, 10686 markings/sec, 180 secs
lola: 1695587 markings, 2338342 edges, 10872 markings/sec, 185 secs
lola: 1750551 markings, 2407022 edges, 10993 markings/sec, 190 secs
lola: 1803985 markings, 2475990 edges, 10687 markings/sec, 195 secs
lola: 1849197 markings, 2545493 edges, 9042 markings/sec, 200 secs
lola: 1881296 markings, 2597131 edges, 6420 markings/sec, 205 secs
lola: 1915278 markings, 2652712 edges, 6796 markings/sec, 210 secs
lola: 1948453 markings, 2709443 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 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: 41109 markings, 46849 edges, 8222 markings/sec, 0 secs
lola: 81707 markings, 95955 edges, 8120 markings/sec, 5 secs
lola: 125988 markings, 156209 edges, 8856 markings/sec, 10 secs
lola: 173296 markings, 214069 edges, 9462 markings/sec, 15 secs
lola: 221179 markings, 273068 edges, 9577 markings/sec, 20 secs
lola: 269026 markings, 332920 edges, 9569 markings/sec, 25 secs
lola: 316046 markings, 393360 edges, 9404 markings/sec, 30 secs
lola: 360960 markings, 460222 edges, 8983 markings/sec, 35 secs
lola: 391813 markings, 509580 edges, 6171 markings/sec, 40 secs
lola: 423216 markings, 560669 edges, 6281 markings/sec, 45 secs
lola: 454950 markings, 613451 edges, 6347 markings/sec, 50 secs
lola: 485889 markings, 668599 edges, 6188 markings/sec, 55 secs
lola: 522029 markings, 723343 edges, 7228 markings/sec, 60 secs
lola: 561324 markings, 769362 edges, 7859 markings/sec, 65 secs
lola: 601659 markings, 825374 edges, 8067 markings/sec, 70 secs
lola: 646645 markings, 880212 edges, 8997 markings/sec, 75 secs
lola: 691860 markings, 935649 edges, 9043 markings/sec, 80 secs
lola: 739461 markings, 994770 edges, 9520 markings/sec, 85 secs
lola: 786218 markings, 1053718 edges, 9351 markings/sec, 90 secs
lola: 831418 markings, 1113101 edges, 9040 markings/sec, 95 secs
lola: 869119 markings, 1173336 edges, 7540 markings/sec, 100 secs
lola: 899444 markings, 1222158 edges, 6065 markings/sec, 105 secs
lola: 931129 markings, 1273912 edges, 6337 markings/sec, 110 secs
lola: 962485 markings, 1327003 edges, 6271 markings/sec, 115 secs
lola: 992422 markings, 1385808 edges, 5987 markings/sec, 120 secs
lola: 1031108 markings, 1432345 edges, 7737 markings/sec, 125 secs
lola: 1070245 markings, 1479189 edges, 7827 markings/sec, 130 secs
lola: 1111893 markings, 1536686 edges, 8330 markings/sec, 135 secs
lola: 1156632 markings, 1591206 edges, 8948 markings/sec, 140 secs
lola: 1202487 markings, 1647628 edges, 9171 markings/sec, 145 secs
lola: 1249743 markings, 1706430 edges, 9451 markings/sec, 150 secs
lola: 1296159 markings, 1765564 edges, 9283 markings/sec, 155 secs
lola: 1340457 markings, 1825340 edges, 8860 markings/sec, 160 secs
lola: 1374247 markings, 1881577 edges, 6758 markings/sec, 165 secs
lola: 1404121 markings, 1929943 edges, 5975 markings/sec, 170 secs
lola: 1435893 markings, 1982183 edges, 6354 markings/sec, 175 secs
lola: 1466816 markings, 2035322 edges, 6185 markings/sec, 180 secs
lola: 1498779 markings, 2093844 edges, 6393 markings/sec, 185 secs
lola: 1538004 markings, 2139046 edges, 7845 markings/sec, 190 secs
lola: 1577514 markings, 2188442 edges, 7902 markings/sec, 195 secs
lola: 1622626 markings, 2248635 edges, 9022 markings/sec, 200 secs
lola: 1668900 markings, 2305382 edges, 9255 markings/sec, 205 secs
lola: 1716657 markings, 2364560 edges, 9551 markings/sec, 210 secs
lola: 1764134 markings, 2424237 edges, 9495 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: 19603 markings, 33603 edges, 3921 markings/sec, 0 secs
lola: 38973 markings, 66930 edges, 3874 markings/sec, 5 secs
lola: 58126 markings, 99925 edges, 3831 markings/sec, 10 secs
lola: 77306 markings, 132964 edges, 3836 markings/sec, 15 secs
lola: 96471 markings, 165931 edges, 3833 markings/sec, 20 secs
lola: 115616 markings, 198865 edges, 3829 markings/sec, 25 secs
lola: 134630 markings, 235344 edges, 3803 markings/sec, 30 secs
lola: 153416 markings, 269591 edges, 3757 markings/sec, 35 secs
lola: 172173 markings, 303769 edges, 3751 markings/sec, 40 secs
lola: 191326 markings, 337676 edges, 3831 markings/sec, 45 secs
lola: 210485 markings, 370478 edges, 3832 markings/sec, 50 secs
lola: 229647 markings, 403219 edges, 3832 markings/sec, 55 secs
lola: 248791 markings, 435928 edges, 3829 markings/sec, 60 secs
lola: 267564 markings, 472970 edges, 3755 markings/sec, 65 secs
lola: 286228 markings, 507778 edges, 3733 markings/sec, 70 secs
lola: 305388 markings, 541152 edges, 3832 markings/sec, 75 secs
lola: 324645 markings, 573878 edges, 3851 markings/sec, 80 secs
lola: 343796 markings, 606455 edges, 3830 markings/sec, 85 secs
lola: 362397 markings, 643788 edges, 3720 markings/sec, 90 secs
lola: 381148 markings, 678450 edges, 3750 markings/sec, 95 secs
lola: 400312 markings, 710904 edges, 3833 markings/sec, 100 secs
lola: 419492 markings, 743375 edges, 3836 markings/sec, 105 secs
lola: 438107 markings, 781031 edges, 3723 markings/sec, 110 secs
lola: 457027 markings, 815225 edges, 3784 markings/sec, 115 secs
lola: 476321 markings, 847721 edges, 3859 markings/sec, 120 secs
lola: 495101 markings, 884351 edges, 3756 markings/sec, 125 secs
lola: 513721 markings, 919063 edges, 3724 markings/sec, 130 secs
lola: 532879 markings, 951298 edges, 3832 markings/sec, 135 secs
lola: 551642 markings, 987925 edges, 3753 markings/sec, 140 secs
lola: 570390 markings, 1022459 edges, 3750 markings/sec, 145 secs
lola: 589654 markings, 1054707 edges, 3853 markings/sec, 150 secs
lola: 608144 markings, 1092677 edges, 3698 markings/sec, 155 secs
lola: 627350 markings, 1125819 edges, 3841 markings/sec, 160 secs
lola: 646030 markings, 1162142 edges, 3736 markings/sec, 165 secs
lola: 664761 markings, 1196300 edges, 3746 markings/sec, 170 secs
lola: 684034 markings, 1232655 edges, 3855 markings/sec, 175 secs
lola: 703424 markings, 1268141 edges, 3878 markings/sec, 180 secs
lola: 722974 markings, 1305860 edges, 3910 markings/sec, 185 secs
lola: 742986 markings, 1340855 edges, 4002 markings/sec, 190 secs
lola: 762211 markings, 1380151 edges, 3845 markings/sec, 195 secs
lola: 781849 markings, 1416281 edges, 3928 markings/sec, 200 secs
lola: 801136 markings, 1451707 edges, 3857 markings/sec, 205 secs
lola: 819761 markings, 1489940 edges, 3725 markings/sec, 210 secs
lola: 839669 markings, 1526272 edges, 3982 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: 53657 markings, 131248 edges, 10731 markings/sec, 0 secs
lola: 109899 markings, 254725 edges, 11248 markings/sec, 5 secs
lola: 165170 markings, 375740 edges, 11054 markings/sec, 10 secs
lola: 221673 markings, 499795 edges, 11301 markings/sec, 15 secs
lola: 277441 markings, 622180 edges, 11154 markings/sec, 20 secs
lola: 332576 markings, 743067 edges, 11027 markings/sec, 25 secs
lola: 388474 markings, 865722 edges, 11180 markings/sec, 30 secs
lola: 444376 markings, 988475 edges, 11180 markings/sec, 35 secs
lola: 499709 markings, 1110054 edges, 11067 markings/sec, 40 secs
lola: 556518 markings, 1234682 edges, 11362 markings/sec, 45 secs
lola: 613371 markings, 1359627 edges, 11371 markings/sec, 50 secs
lola: 669809 markings, 1483580 edges, 11288 markings/sec, 55 secs
lola: 726008 markings, 1607353 edges, 11240 markings/sec, 60 secs
lola: 781880 markings, 1730196 edges, 11174 markings/sec, 65 secs
lola: 837710 markings, 1853316 edges, 11166 markings/sec, 70 secs
lola: 893645 markings, 1976524 edges, 11187 markings/sec, 75 secs
lola: 948877 markings, 2098359 edges, 11046 markings/sec, 80 secs
lola: 1003954 markings, 2220152 edges, 11015 markings/sec, 85 secs
lola: 1058844 markings, 2341503 edges, 10978 markings/sec, 90 secs
lola: 1113129 markings, 2461830 edges, 10857 markings/sec, 95 secs
lola: 1166957 markings, 2581390 edges, 10766 markings/sec, 100 secs
lola: 1220332 markings, 2700443 edges, 10675 markings/sec, 105 secs
lola: 1273226 markings, 2819354 edges, 10579 markings/sec, 110 secs
lola: 1325620 markings, 2939922 edges, 10479 markings/sec, 115 secs
lola: 1384443 markings, 3073533 edges, 11765 markings/sec, 120 secs
lola: 1450088 markings, 3192413 edges, 13129 markings/sec, 125 secs
lola: 1513319 markings, 3306792 edges, 12646 markings/sec, 130 secs
lola: 1577027 markings, 3422514 edges, 12742 markings/sec, 135 secs
lola: 1640453 markings, 3537566 edges, 12685 markings/sec, 140 secs
lola: 1703037 markings, 3651192 edges, 12517 markings/sec, 145 secs
lola: 1765537 markings, 3764696 edges, 12500 markings/sec, 150 secs
lola: 1827276 markings, 3877000 edges, 12348 markings/sec, 155 secs
lola: 1888430 markings, 3988298 edges, 12231 markings/sec, 160 secs
lola: 1949441 markings, 4099434 edges, 12202 markings/sec, 165 secs
lola: 2009662 markings, 4209116 edges, 12044 markings/sec, 170 secs
lola: 2069597 markings, 4318774 edges, 11987 markings/sec, 175 secs
lola: 2129141 markings, 4427621 edges, 11909 markings/sec, 180 secs
lola: 2189096 markings, 4537475 edges, 11991 markings/sec, 185 secs
lola: 2248939 markings, 4647231 edges, 11969 markings/sec, 190 secs
lola: 2309453 markings, 4758776 edges, 12103 markings/sec, 195 secs
lola: 2368806 markings, 4868277 edges, 11871 markings/sec, 200 secs
lola: 2429782 markings, 4981552 edges, 12195 markings/sec, 205 secs
lola: 2489623 markings, 5093513 edges, 11968 markings/sec, 210 secs
lola: 2548583 markings, 5205042 edges, 11792 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 45820 markings, 52327 edges, 9164 markings/sec, 0 secs
lola: 91063 markings, 108527 edges, 9049 markings/sec, 5 secs
lola: 145334 markings, 179785 edges, 10854 markings/sec, 10 secs
lola: 202646 markings, 250201 edges, 11462 markings/sec, 15 secs
lola: 260998 markings, 322795 edges, 11670 markings/sec, 20 secs
lola: 315063 markings, 392060 edges, 10813 markings/sec, 25 secs
lola: 363472 markings, 464319 edges, 9682 markings/sec, 30 secs
lola: 394953 markings, 514609 edges, 6296 markings/sec, 35 secs
lola: 428225 markings, 568888 edges, 6654 markings/sec, 40 secs
lola: 463937 markings, 628878 edges, 7142 markings/sec, 45 secs
lola: 498655 markings, 696815 edges, 6944 markings/sec, 50 secs
lola: 544694 markings, 749553 edges, 9208 markings/sec, 55 secs
lola: 590751 markings, 807748 edges, 9211 markings/sec, 60 secs
lola: 644158 markings, 877118 edges, 10681 markings/sec, 65 secs
lola: 698959 markings, 944488 edges, 10960 markings/sec, 70 secs
lola: 756777 markings, 1016420 edges, 11564 markings/sec, 75 secs
lola: 812623 markings, 1087963 edges, 11169 markings/sec, 80 secs
lola: 861716 markings, 1161648 edges, 9819 markings/sec, 85 secs
lola: 895477 markings, 1215687 edges, 6752 markings/sec, 90 secs
lola: 930886 markings, 1273563 edges, 7082 markings/sec, 95 secs
lola: 966266 markings, 1333597 edges, 7076 markings/sec, 100 secs
lola: 1001901 markings, 1398944 edges, 7127 markings/sec, 105 secs
lola: 1046402 markings, 1450174 edges, 8900 markings/sec, 110 secs
lola: 1091689 markings, 1510328 edges, 9057 markings/sec, 115 secs
lola: 1144755 markings, 1576626 edges, 10613 markings/sec, 120 secs
lola: 1198799 markings, 1643008 edges, 10809 markings/sec, 125 secs
lola: 1255836 markings, 1714089 edges, 11407 markings/sec, 130 secs
lola: 1310908 markings, 1784780 edges, 11014 markings/sec, 135 secs
lola: 1359002 markings, 1857259 edges, 9619 markings/sec, 140 secs
lola: 1392531 markings, 1910995 edges, 6706 markings/sec, 145 secs
lola: 1427611 markings, 1968380 edges, 7016 markings/sec, 150 secs
lola: 1462695 markings, 2027985 edges, 7017 markings/sec, 155 secs
lola: 1497937 markings, 2092953 edges, 7048 markings/sec, 160 secs
lola: 1543057 markings, 2145005 edges, 9024 markings/sec, 165 secs
lola: 1588992 markings, 2207753 edges, 9187 markings/sec, 170 secs
lola: 1644826 markings, 2275875 edges, 11167 markings/sec, 175 secs
lola: 1701965 markings, 2346217 edges, 11428 markings/sec, 180 secs
lola: 1759398 markings, 2418213 edges, 11487 markings/sec, 185 secs
lola: 1814487 markings, 2490175 edges, 11018 markings/sec, 190 secs
lola: 1857148 markings, 2558240 edges, 8532 markings/sec, 195 secs
lola: 1890796 markings, 2612589 edges, 6730 markings/sec, 200 secs
lola: 1926372 markings, 2671370 edges, 7115 markings/sec, 205 secs
lola: 1960674 markings, 2731694 edges, 6860 markings/sec, 210 secs
lola: 2000625 markings, 2792430 edges, 7990 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: 47279 markings, 54008 edges, 9456 markings/sec, 0 secs
lola: 94196 markings, 113131 edges, 9383 markings/sec, 5 secs
lola: 149674 markings, 185251 edges, 11096 markings/sec, 10 secs
lola: 206850 markings, 255349 edges, 11435 markings/sec, 15 secs
lola: 264669 markings, 327417 edges, 11564 markings/sec, 20 secs
lola: 321024 markings, 399898 edges, 11271 markings/sec, 25 secs
lola: 369160 markings, 473334 edges, 9627 markings/sec, 30 secs
lola: 403545 markings, 528530 edges, 6877 markings/sec, 35 secs
lola: 439394 markings, 587277 edges, 7170 markings/sec, 40 secs
lola: 474619 markings, 647721 edges, 7045 markings/sec, 45 secs
lola: 512258 markings, 712265 edges, 7528 markings/sec, 50 secs
lola: 557099 markings, 764305 edges, 8968 markings/sec, 55 secs
lola: 603242 markings, 827274 edges, 9229 markings/sec, 60 secs
lola: 656495 markings, 892197 edges, 10651 markings/sec, 65 secs
lola: 711342 markings, 959816 edges, 10969 markings/sec, 70 secs
lola: 767743 markings, 1030186 edges, 11280 markings/sec, 75 secs
lola: 821651 markings, 1099932 edges, 10782 markings/sec, 80 secs
lola: 866301 markings, 1168741 edges, 8930 markings/sec, 85 secs
lola: 899376 markings, 1222058 edges, 6615 markings/sec, 90 secs
lola: 934491 markings, 1279509 edges, 7023 markings/sec, 95 secs
lola: 968810 markings, 1338160 edges, 6864 markings/sec, 100 secs
lola: 1003688 markings, 1400944 edges, 6976 markings/sec, 105 secs
lola: 1047056 markings, 1450984 edges, 8674 markings/sec, 110 secs
lola: 1091302 markings, 1509397 edges, 8849 markings/sec, 115 secs
lola: 1142886 markings, 1574419 edges, 10317 markings/sec, 120 secs
lola: 1195558 markings, 1639061 edges, 10534 markings/sec, 125 secs
lola: 1251474 markings, 1708590 edges, 11183 markings/sec, 130 secs
lola: 1305442 markings, 1777613 edges, 10794 markings/sec, 135 secs
lola: 1354478 markings, 1850070 edges, 9807 markings/sec, 140 secs
lola: 1387176 markings, 1902497 edges, 6540 markings/sec, 145 secs
lola: 1421496 markings, 1958312 edges, 6864 markings/sec, 150 secs
lola: 1456293 markings, 2016842 edges, 6959 markings/sec, 155 secs
lola: 1488419 markings, 2078776 edges, 6425 markings/sec, 160 secs
lola: 1532120 markings, 2132145 edges, 8740 markings/sec, 165 secs
lola: 1576488 markings, 2187002 edges, 8874 markings/sec, 170 secs
lola: 1629186 markings, 2256670 edges, 10540 markings/sec, 175 secs
lola: 1684360 markings, 2324385 edges, 11035 markings/sec, 180 secs
lola: 1741049 markings, 2395011 edges, 11338 markings/sec, 185 secs
lola: 1796073 markings, 2465476 edges, 11005 markings/sec, 190 secs
lola: 1844745 markings, 2538290 edges, 9734 markings/sec, 195 secs
lola: 1877618 markings, 2591060 edges, 6575 markings/sec, 200 secs
lola: 1912121 markings, 2647596 edges, 6901 markings/sec, 205 secs
lola: 1946413 markings, 2705759 edges, 6858 markings/sec, 210 secs
lola: 1980131 markings, 2769061 edges, 6744 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: 47753 markings, 54611 edges, 9551 markings/sec, 0 secs
lola: 94908 markings, 114314 edges, 9431 markings/sec, 5 secs
lola: 151337 markings, 187118 edges, 11286 markings/sec, 10 secs
lola: 209000 markings, 257973 edges, 11533 markings/sec, 15 secs
lola: 267553 markings, 331026 edges, 11711 markings/sec, 20 secs
lola: 324077 markings, 404014 edges, 11305 markings/sec, 25 secs
lola: 371228 markings, 476564 edges, 9430 markings/sec, 30 secs
lola: 405779 markings, 532249 edges, 6910 markings/sec, 35 secs
lola: 441944 markings, 591575 edges, 7233 markings/sec, 40 secs
lola: 477110 markings, 652199 edges, 7033 markings/sec, 45 secs
lola: 515407 markings, 715792 edges, 7659 markings/sec, 50 secs
lola: 560596 markings, 768478 edges, 9038 markings/sec, 55 secs
lola: 608938 markings, 834365 edges, 9668 markings/sec, 60 secs
lola: 663853 markings, 901304 edges, 10983 markings/sec, 65 secs
lola: 720638 markings, 971265 edges, 11357 markings/sec, 70 secs
lola: 778487 markings, 1043848 edges, 11570 markings/sec, 75 secs
lola: 833012 markings, 1115260 edges, 10905 markings/sec, 80 secs
lola: 874762 markings, 1182378 edges, 8350 markings/sec, 85 secs
lola: 908852 markings, 1237321 edges, 6818 markings/sec, 90 secs
lola: 945022 markings, 1297165 edges, 7234 markings/sec, 95 secs
lola: 979566 markings, 1357713 edges, 6909 markings/sec, 100 secs
lola: 1019157 markings, 1418547 edges, 7918 markings/sec, 105 secs
lola: 1063846 markings, 1471217 edges, 8938 markings/sec, 110 secs
lola: 1112196 markings, 1536984 edges, 9670 markings/sec, 115 secs
lola: 1165987 markings, 1602700 edges, 10758 markings/sec, 120 secs
lola: 1222215 markings, 1672130 edges, 11246 markings/sec, 125 secs
lola: 1279454 markings, 1744068 edges, 11448 markings/sec, 130 secs
lola: 1333032 markings, 1814721 edges, 10716 markings/sec, 135 secs
lola: 1373072 markings, 1879868 edges, 8008 markings/sec, 140 secs
lola: 1406966 markings, 1934566 edges, 6779 markings/sec, 145 secs
lola: 1443024 markings, 1994096 edges, 7212 markings/sec, 150 secs
lola: 1477227 markings, 2054473 edges, 6841 markings/sec, 155 secs
lola: 1517328 markings, 2115006 edges, 8020 markings/sec, 160 secs
lola: 1558893 markings, 2164197 edges, 8313 markings/sec, 165 secs
lola: 1609089 markings, 2232188 edges, 10039 markings/sec, 170 secs
lola: 1665384 markings, 2301015 edges, 11259 markings/sec, 175 secs
lola: 1723208 markings, 2372722 edges, 11565 markings/sec, 180 secs
lola: 1780263 markings, 2444954 edges, 11411 markings/sec, 185 secs
lola: 1834953 markings, 2519897 edges, 10938 markings/sec, 190 secs
lola: 1870660 markings, 2579875 edges, 7141 markings/sec, 195 secs
lola: 1905677 markings, 2636831 edges, 7003 markings/sec, 200 secs
lola: 1941032 markings, 2696402 edges, 7071 markings/sec, 205 secs
lola: 1975503 markings, 2763868 edges, 6894 markings/sec, 210 secs
lola: 2021070 markings, 2816191 edges, 9113 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 1494723921246

--------------------
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="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/PolyORBNT-PT-S05J80.tgz
mv 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 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 r058-smll-149440926200128"
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 ;