Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r022-csrt-155225094500073.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is AutoFlight-PT-48b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094500073
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 4.4K Feb 9 07:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 9 07:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 04:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 22:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 2 00:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 2 00:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Jan 29 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.9K Jan 29 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 956K Mar 10 17:31 model.pnml

--------------------
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 AutoFlight-PT-48b-UpperBounds-00
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-01
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-02
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-03
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-04
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-05
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-06
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-07
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-08
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-09
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552400059251

info: Time: 3600 - MCC
===========================================================================================
prep: translating AutoFlight-PT-48b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating AutoFlight-PT-48b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ AutoFlight-PT-48b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 7886/65536 symbol table entries, 1706 collisions
lola: preprocessing...
lola: Size of bit vector: 3950
lola: finding significant places
lola: 3950 places, 3936 transitions, 3692 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4350 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-48b-UpperBounds.task
lola: MAX(p834) : MAX(p2562) : MAX(p3461) : MAX(p1790) : MAX(p3627) : MAX(p2420) : MAX(p908) : MAX(p1717) : MAX(p2785) : MAX(p2396) : MAX(p1412) : MAX(p3386) : MAX(p1326) : MAX(p2868) : MAX(p834) : MAX(p3572)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p834)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p834)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 165 markings, 164 edges

FORMULA AutoFlight-PT-48b-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2562)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2562)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 40690 markings, 109777 edges, 8138 markings/sec, 0 secs
lola: 87730 markings, 257605 edges, 9408 markings/sec, 5 secs
lola: 134356 markings, 406704 edges, 9325 markings/sec, 10 secs
lola: 183367 markings, 560849 edges, 9802 markings/sec, 15 secs
lola: 233148 markings, 714750 edges, 9956 markings/sec, 20 secs
lola: 282876 markings, 875553 edges, 9946 markings/sec, 25 secs
lola: 334941 markings, 1039559 edges, 10413 markings/sec, 30 secs
lola: 386739 markings, 1202283 edges, 10360 markings/sec, 35 secs
lola: 437957 markings, 1365377 edges, 10244 markings/sec, 40 secs
lola: 490063 markings, 1528674 edges, 10421 markings/sec, 45 secs
lola: 541600 markings, 1691258 edges, 10307 markings/sec, 50 secs
lola: 593360 markings, 1854566 edges, 10352 markings/sec, 55 secs
lola: 644095 markings, 2017775 edges, 10147 markings/sec, 60 secs
lola: 688605 markings, 2190317 edges, 8902 markings/sec, 65 secs
lola: 727805 markings, 2365978 edges, 7840 markings/sec, 70 secs
lola: 769534 markings, 2540642 edges, 8346 markings/sec, 75 secs
lola: 811742 markings, 2714726 edges, 8442 markings/sec, 80 secs
lola: 854093 markings, 2886088 edges, 8470 markings/sec, 85 secs
lola: 894846 markings, 3060482 edges, 8151 markings/sec, 90 secs
lola: 936729 markings, 3235217 edges, 8377 markings/sec, 95 secs
lola: 978785 markings, 3409323 edges, 8411 markings/sec, 100 secs
lola: 1020152 markings, 3582574 edges, 8273 markings/sec, 105 secs
lola: 1062057 markings, 3756920 edges, 8381 markings/sec, 110 secs
lola: 1103996 markings, 3931211 edges, 8388 markings/sec, 115 secs
lola: 1148813 markings, 4101659 edges, 8963 markings/sec, 120 secs
lola: 1187476 markings, 4277507 edges, 7733 markings/sec, 125 secs
lola: 1229047 markings, 4452191 edges, 8314 markings/sec, 130 secs
lola: 1274552 markings, 4623629 edges, 9101 markings/sec, 135 secs
lola: 1319325 markings, 4796215 edges, 8955 markings/sec, 140 secs
lola: 1358512 markings, 4972371 edges, 7837 markings/sec, 145 secs
lola: 1400305 markings, 5145593 edges, 8359 markings/sec, 150 secs
lola: 1441915 markings, 5319465 edges, 8322 markings/sec, 155 secs
lola: 1481735 markings, 5483920 edges, 7964 markings/sec, 160 secs
lola: 1522504 markings, 5653852 edges, 8154 markings/sec, 165 secs
lola: 1563930 markings, 5827571 edges, 8285 markings/sec, 170 secs
lola: 1607076 markings, 6000679 edges, 8629 markings/sec, 175 secs
lola: 1647251 markings, 6173465 edges, 8035 markings/sec, 180 secs
lola: 1687691 markings, 6340694 edges, 8088 markings/sec, 185 secs
lola: 1725759 markings, 6499688 edges, 7614 markings/sec, 190 secs
lola: 1766350 markings, 6656531 edges, 8118 markings/sec, 195 secs
lola: 1802845 markings, 6821175 edges, 7299 markings/sec, 200 secs
lola: 1842655 markings, 6985184 edges, 7962 markings/sec, 205 secs
lola: 1883712 markings, 7145064 edges, 8211 markings/sec, 210 secs
lola: 1923714 markings, 7303541 edges, 8000 markings/sec, 215 secs
lola: 1962368 markings, 7466267 edges, 7731 markings/sec, 220 secs
lola: 2003823 markings, 7640092 edges, 8291 markings/sec, 225 secs
lola: 2045768 markings, 7813510 edges, 8389 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 320896 KB
lola: time consumption: 242 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3461)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3461)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 56238 markings, 137531 edges, 11248 markings/sec, 0 secs
lola: 106271 markings, 310748 edges, 10007 markings/sec, 5 secs
lola: 156513 markings, 481466 edges, 10048 markings/sec, 10 secs
lola: 206688 markings, 652978 edges, 10035 markings/sec, 15 secs
lola: 255606 markings, 827865 edges, 9784 markings/sec, 20 secs
lola: 317239 markings, 989129 edges, 12327 markings/sec, 25 secs
lola: 357989 markings, 1170470 edges, 8150 markings/sec, 30 secs
lola: 405480 markings, 1347081 edges, 9498 markings/sec, 35 secs
lola: 465041 markings, 1510991 edges, 11912 markings/sec, 40 secs
lola: 508972 markings, 1686398 edges, 8786 markings/sec, 45 secs
lola: 553494 markings, 1859823 edges, 8904 markings/sec, 50 secs
lola: 609899 markings, 2025674 edges, 11281 markings/sec, 55 secs
lola: 658202 markings, 2195042 edges, 9661 markings/sec, 60 secs
lola: 700970 markings, 2370588 edges, 8554 markings/sec, 65 secs
lola: 753144 markings, 2536333 edges, 10435 markings/sec, 70 secs
lola: 806613 markings, 2699772 edges, 10694 markings/sec, 75 secs
lola: 847008 markings, 2876113 edges, 8079 markings/sec, 80 secs
lola: 895775 markings, 3045229 edges, 9753 markings/sec, 85 secs
lola: 955647 markings, 3206690 edges, 11974 markings/sec, 90 secs
lola: 994965 markings, 3382194 edges, 7864 markings/sec, 95 secs
lola: 1043591 markings, 3557215 edges, 9725 markings/sec, 100 secs
lola: 1105505 markings, 3719807 edges, 12383 markings/sec, 105 secs
lola: 1168799 markings, 3884207 edges, 12659 markings/sec, 110 secs
lola: 1222934 markings, 4056326 edges, 10827 markings/sec, 115 secs
lola: 1277228 markings, 4225810 edges, 10859 markings/sec, 120 secs
lola: 1331272 markings, 4395974 edges, 10809 markings/sec, 125 secs
lola: 1387152 markings, 4565527 edges, 11176 markings/sec, 130 secs
lola: 1434482 markings, 4736185 edges, 9466 markings/sec, 135 secs
lola: 1479730 markings, 4909901 edges, 9050 markings/sec, 140 secs
lola: 1528810 markings, 5080168 edges, 9816 markings/sec, 145 secs
lola: 1572756 markings, 5254145 edges, 8789 markings/sec, 150 secs
lola: 1619591 markings, 5425927 edges, 9367 markings/sec, 155 secs
lola: 1668145 markings, 5595951 edges, 9711 markings/sec, 160 secs
lola: 1711841 markings, 5770254 edges, 8739 markings/sec, 165 secs
lola: 1761336 markings, 5939321 edges, 9899 markings/sec, 170 secs
lola: 1805393 markings, 6109977 edges, 8811 markings/sec, 175 secs
lola: 1850171 markings, 6281532 edges, 8956 markings/sec, 180 secs
lola: 1898158 markings, 6452918 edges, 9597 markings/sec, 185 secs
lola: 1945117 markings, 6624263 edges, 9392 markings/sec, 190 secs
lola: 1990119 markings, 6792500 edges, 9000 markings/sec, 195 secs
lola: 2035874 markings, 6961909 edges, 9151 markings/sec, 200 secs
lola: 2080746 markings, 7126336 edges, 8974 markings/sec, 205 secs
lola: 2128889 markings, 7299495 edges, 9629 markings/sec, 210 secs
lola: 2172859 markings, 7472279 edges, 8794 markings/sec, 215 secs
lola: 2219112 markings, 7641125 edges, 9251 markings/sec, 220 secs
lola: 2263649 markings, 7808258 edges, 8907 markings/sec, 225 secs
lola: 2308813 markings, 7976349 edges, 9033 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 313492 KB
lola: time consumption: 479 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1790)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1790)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 83 markings, 82 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3627)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3627)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 54741 markings, 132305 edges, 10948 markings/sec, 0 secs
lola: 103408 markings, 300889 edges, 9733 markings/sec, 5 secs
lola: 153342 markings, 467441 edges, 9987 markings/sec, 10 secs
lola: 202635 markings, 634685 edges, 9859 markings/sec, 15 secs
lola: 249009 markings, 804913 edges, 9275 markings/sec, 20 secs
lola: 307124 markings, 964197 edges, 11623 markings/sec, 25 secs
lola: 349611 markings, 1133205 edges, 8497 markings/sec, 30 secs
lola: 392742 markings, 1303034 edges, 8626 markings/sec, 35 secs
lola: 445086 markings, 1461815 edges, 10469 markings/sec, 40 secs
lola: 495196 markings, 1625066 edges, 10022 markings/sec, 45 secs
lola: 535571 markings, 1797642 edges, 8075 markings/sec, 50 secs
lola: 584457 markings, 1962906 edges, 9777 markings/sec, 55 secs
lola: 641516 markings, 2120537 edges, 11412 markings/sec, 60 secs
lola: 680558 markings, 2294687 edges, 7808 markings/sec, 65 secs
lola: 727501 markings, 2462404 edges, 9389 markings/sec, 70 secs
lola: 786141 markings, 2617577 edges, 11728 markings/sec, 75 secs
lola: 827013 markings, 2790473 edges, 8174 markings/sec, 80 secs
lola: 871402 markings, 2960859 edges, 8878 markings/sec, 85 secs
lola: 926439 markings, 3120660 edges, 11007 markings/sec, 90 secs
lola: 973515 markings, 3286823 edges, 9415 markings/sec, 95 secs
lola: 1015166 markings, 3458716 edges, 8330 markings/sec, 100 secs
lola: 1066059 markings, 3622685 edges, 10179 markings/sec, 105 secs
lola: 1127359 markings, 3776680 edges, 12260 markings/sec, 110 secs
lola: 1186063 markings, 3938841 edges, 11741 markings/sec, 115 secs
lola: 1239194 markings, 4106457 edges, 10626 markings/sec, 120 secs
lola: 1293197 markings, 4275290 edges, 10801 markings/sec, 125 secs
lola: 1346574 markings, 4443603 edges, 10675 markings/sec, 130 secs
lola: 1400073 markings, 4609987 edges, 10700 markings/sec, 135 secs
lola: 1447793 markings, 4783509 edges, 9544 markings/sec, 140 secs
lola: 1492439 markings, 4956552 edges, 8929 markings/sec, 145 secs
lola: 1540053 markings, 5125195 edges, 9523 markings/sec, 150 secs
lola: 1585722 markings, 5295125 edges, 9134 markings/sec, 155 secs
lola: 1631134 markings, 5465930 edges, 9082 markings/sec, 160 secs
lola: 1676396 markings, 5635110 edges, 9052 markings/sec, 165 secs
lola: 1722685 markings, 5803144 edges, 9258 markings/sec, 170 secs
lola: 1768271 markings, 5971455 edges, 9117 markings/sec, 175 secs
lola: 1812944 markings, 6139427 edges, 8935 markings/sec, 180 secs
lola: 1857642 markings, 6307270 edges, 8940 markings/sec, 185 secs
lola: 1905575 markings, 6475509 edges, 9587 markings/sec, 190 secs
lola: 1950621 markings, 6646208 edges, 9009 markings/sec, 195 secs
lola: 1997319 markings, 6816127 edges, 9340 markings/sec, 200 secs
lola: 2043312 markings, 6983466 edges, 9199 markings/sec, 205 secs
lola: 2086560 markings, 7153165 edges, 8650 markings/sec, 210 secs
lola: 2132735 markings, 7320638 edges, 9235 markings/sec, 215 secs
lola: 2178317 markings, 7487622 edges, 9116 markings/sec, 220 secs
lola: 2223504 markings, 7655427 edges, 9037 markings/sec, 225 secs
lola: 2266666 markings, 7820733 edges, 8632 markings/sec, 230 secs
lola: 2311575 markings, 7987306 edges, 8982 markings/sec, 235 secs
lola: 2360080 markings, 8154007 edges, 9701 markings/sec, 240 secs
lola: 2407926 markings, 8321070 edges, 9569 markings/sec, 245 secs
lola: 2451223 markings, 8491916 edges, 8659 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 333080 KB
lola: time consumption: 736 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2420)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p908)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p908)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 154 markings, 153 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 314 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1717)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 95 markings, 94 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 353 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2785)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2785)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 381 markings, 380 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 404 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2396)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 30 markings, 29 edges

FORMULA AutoFlight-PT-48b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 471 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1412)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1412)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 119 markings, 118 edges

FORMULA AutoFlight-PT-48b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 565 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3386)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 61342 markings, 136676 edges, 12268 markings/sec, 0 secs
lola: 121834 markings, 304258 edges, 12098 markings/sec, 5 secs
lola: 178669 markings, 468968 edges, 11367 markings/sec, 10 secs
lola: 231331 markings, 639556 edges, 10532 markings/sec, 15 secs
lola: 294226 markings, 802733 edges, 12579 markings/sec, 20 secs
lola: 349349 markings, 972441 edges, 11025 markings/sec, 25 secs
lola: 402743 markings, 1146485 edges, 10679 markings/sec, 30 secs
lola: 471272 markings, 1311233 edges, 13706 markings/sec, 35 secs
lola: 521154 markings, 1491386 edges, 9976 markings/sec, 40 secs
lola: 578426 markings, 1665818 edges, 11454 markings/sec, 45 secs
lola: 645287 markings, 1832367 edges, 13372 markings/sec, 50 secs
lola: 695516 markings, 2012210 edges, 10046 markings/sec, 55 secs
lola: 758485 markings, 2182387 edges, 12594 markings/sec, 60 secs
lola: 816819 markings, 2350336 edges, 11667 markings/sec, 65 secs
lola: 868229 markings, 2522947 edges, 10282 markings/sec, 70 secs
lola: 932841 markings, 2685291 edges, 12922 markings/sec, 75 secs
lola: 985229 markings, 2856304 edges, 10478 markings/sec, 80 secs
lola: 1038933 markings, 3027736 edges, 10741 markings/sec, 85 secs
lola: 1107336 markings, 3187611 edges, 13681 markings/sec, 90 secs
lola: 1173890 markings, 3349925 edges, 13311 markings/sec, 95 secs
lola: 1228274 markings, 3519747 edges, 10877 markings/sec, 100 secs
lola: 1283326 markings, 3694098 edges, 11010 markings/sec, 105 secs
lola: 1338740 markings, 3867068 edges, 11083 markings/sec, 110 secs
lola: 1395555 markings, 4034578 edges, 11363 markings/sec, 115 secs
lola: 1451285 markings, 4205803 edges, 11146 markings/sec, 120 secs
lola: 1504961 markings, 4379367 edges, 10735 markings/sec, 125 secs
lola: 1560202 markings, 4549663 edges, 11048 markings/sec, 130 secs
lola: 1613644 markings, 4724186 edges, 10688 markings/sec, 135 secs
lola: 1671309 markings, 4899404 edges, 11533 markings/sec, 140 secs
lola: 1726934 markings, 5075911 edges, 11125 markings/sec, 145 secs
lola: 1783807 markings, 5248788 edges, 11375 markings/sec, 150 secs
lola: 1837973 markings, 5422601 edges, 10833 markings/sec, 155 secs
lola: 1893532 markings, 5593407 edges, 11112 markings/sec, 160 secs
lola: 1948146 markings, 5765064 edges, 10923 markings/sec, 165 secs
lola: 2003220 markings, 5936066 edges, 11015 markings/sec, 170 secs
lola: 2055641 markings, 6107170 edges, 10484 markings/sec, 175 secs
lola: 2110198 markings, 6277654 edges, 10911 markings/sec, 180 secs
lola: 2165378 markings, 6446141 edges, 11036 markings/sec, 185 secs
lola: 2218022 markings, 6617323 edges, 10529 markings/sec, 190 secs
lola: 2279909 markings, 6788677 edges, 12377 markings/sec, 195 secs
lola: 2325971 markings, 6954652 edges, 9212 markings/sec, 200 secs
lola: 2384580 markings, 7124302 edges, 11722 markings/sec, 205 secs
lola: 2437901 markings, 7297270 edges, 10664 markings/sec, 210 secs
lola: 2492780 markings, 7468515 edges, 10976 markings/sec, 215 secs
lola: 2545749 markings, 7638287 edges, 10594 markings/sec, 220 secs
lola: 2600187 markings, 7808269 edges, 10888 markings/sec, 225 secs
lola: 2654692 markings, 7976718 edges, 10901 markings/sec, 230 secs
lola: 2707539 markings, 8149971 edges, 10569 markings/sec, 235 secs
lola: 2771617 markings, 8319762 edges, 12816 markings/sec, 240 secs
lola: 2817557 markings, 8486541 edges, 9188 markings/sec, 245 secs
lola: 2871040 markings, 8656762 edges, 10697 markings/sec, 250 secs
lola: 2925209 markings, 8826648 edges, 10834 markings/sec, 255 secs
lola: 2986822 markings, 8997491 edges, 12323 markings/sec, 260 secs
lola: 3037047 markings, 9167106 edges, 10045 markings/sec, 265 secs
lola: 3088228 markings, 9334391 edges, 10236 markings/sec, 270 secs
lola: 3146989 markings, 9506511 edges, 11752 markings/sec, 275 secs
lola: 3194291 markings, 9672954 edges, 9460 markings/sec, 280 secs
lola: 3255789 markings, 9843695 edges, 12300 markings/sec, 285 secs
lola: 3301399 markings, 10008306 edges, 9122 markings/sec, 290 secs
lola: 3354401 markings, 10181583 edges, 10600 markings/sec, 295 secs
lola: 3403750 markings, 10354425 edges, 9870 markings/sec, 300 secs
lola: 3453176 markings, 10527133 edges, 9885 markings/sec, 305 secs
lola: 3503081 markings, 10701703 edges, 9981 markings/sec, 310 secs
lola: 3552729 markings, 10875403 edges, 9930 markings/sec, 315 secs
lola: 3601569 markings, 11046573 edges, 9768 markings/sec, 320 secs
lola: 3650573 markings, 11217934 edges, 9801 markings/sec, 325 secs
lola: 3700079 markings, 11389485 edges, 9901 markings/sec, 330 secs
lola: 3754139 markings, 11561389 edges, 10812 markings/sec, 335 secs
lola: 3809493 markings, 11730808 edges, 11071 markings/sec, 340 secs
lola: 3864206 markings, 11901813 edges, 10943 markings/sec, 345 secs
lola: 3918288 markings, 12071563 edges, 10816 markings/sec, 350 secs
lola: 3973187 markings, 12241153 edges, 10980 markings/sec, 355 secs
lola: 4027583 markings, 12411615 edges, 10879 markings/sec, 360 secs
lola: 4081898 markings, 12580420 edges, 10863 markings/sec, 365 secs
lola: 4135755 markings, 12749424 edges, 10771 markings/sec, 370 secs
lola: 4190092 markings, 12916176 edges, 10867 markings/sec, 375 secs
lola: 4242275 markings, 13085216 edges, 10437 markings/sec, 380 secs
lola: 4297513 markings, 13253841 edges, 11048 markings/sec, 385 secs
lola: 4351720 markings, 13422237 edges, 10841 markings/sec, 390 secs
lola: 4410019 markings, 13591591 edges, 11660 markings/sec, 395 secs
lola: 4458580 markings, 13759248 edges, 9712 markings/sec, 400 secs
lola: 4511826 markings, 13928566 edges, 10649 markings/sec, 405 secs
lola: 4568174 markings, 14096265 edges, 11270 markings/sec, 410 secs
lola: 4623302 markings, 14265288 edges, 11026 markings/sec, 415 secs
lola: 4678213 markings, 14432504 edges, 10982 markings/sec, 420 secs
lola: 4726492 markings, 14601211 edges, 9656 markings/sec, 425 secs
lola: 4775582 markings, 14772852 edges, 9818 markings/sec, 430 secs
lola: 4824454 markings, 14943639 edges, 9774 markings/sec, 435 secs
lola: 4873777 markings, 15115926 edges, 9865 markings/sec, 440 secs
lola: 4924577 markings, 15286642 edges, 10160 markings/sec, 445 secs
lola: 4979820 markings, 15456243 edges, 11049 markings/sec, 450 secs
lola: 5033528 markings, 15626960 edges, 10742 markings/sec, 455 secs
lola: 5087063 markings, 15797129 edges, 10707 markings/sec, 460 secs
lola: 5141588 markings, 15965107 edges, 10905 markings/sec, 465 secs
lola: 5196016 markings, 16135998 edges, 10886 markings/sec, 470 secs
lola: 5251238 markings, 16305493 edges, 11044 markings/sec, 475 secs
lola: 5305183 markings, 16473333 edges, 10789 markings/sec, 480 secs
lola: 5363004 markings, 16641676 edges, 11564 markings/sec, 485 secs
lola: 5411977 markings, 16809080 edges, 9795 markings/sec, 490 secs
lola: 5466166 markings, 16979483 edges, 10838 markings/sec, 495 secs
lola: 5520107 markings, 17147078 edges, 10788 markings/sec, 500 secs
lola: 5574303 markings, 17315702 edges, 10839 markings/sec, 505 secs
lola: 5632764 markings, 17484311 edges, 11692 markings/sec, 510 secs
lola: 5682421 markings, 17650895 edges, 9931 markings/sec, 515 secs
lola: 5736474 markings, 17819601 edges, 10811 markings/sec, 520 secs
lola: 5789534 markings, 17987470 edges, 10612 markings/sec, 525 secs
lola: 5844078 markings, 18154578 edges, 10909 markings/sec, 530 secs
lola: 5896971 markings, 18316075 edges, 10579 markings/sec, 535 secs
lola: 5945620 markings, 18484863 edges, 9730 markings/sec, 540 secs
lola: 5994522 markings, 18655829 edges, 9780 markings/sec, 545 secs
lola: 6043537 markings, 18827162 edges, 9803 markings/sec, 550 secs
lola: 6092611 markings, 18998756 edges, 9815 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 unknown 1 1 1 1 1 1 unknown unknown unknown unknown unknown
lola: memory consumption: 769368 KB
lola: time consumption: 1306 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 566 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1326)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 526 markings, 525 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 754 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2868)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2868)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 66 markings, 65 edges

FORMULA AutoFlight-PT-48b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 14 will run for 1131 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p834)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p834)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 165 markings, 164 edges
lola: ========================================

FORMULA AutoFlight-PT-48b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3572)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3572)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 27 markings, 26 edges

FORMULA AutoFlight-PT-48b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p2562)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2562)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file AutoFlight-PT-48b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 44610 markings, 122675 edges, 8922 markings/sec, 0 secs
lola: 95165 markings, 282351 edges, 10111 markings/sec, 5 secs
lola: 146358 markings, 444103 edges, 10239 markings/sec, 10 secs
lola: 197741 markings, 605795 edges, 10277 markings/sec, 15 secs
lola: 248765 markings, 767416 edges, 10205 markings/sec, 20 secs
lola: 299798 markings, 929009 edges, 10207 markings/sec, 25 secs
lola: 351387 markings, 1091659 edges, 10318 markings/sec, 30 secs
lola: 401710 markings, 1250786 edges, 10065 markings/sec, 35 secs
lola: 452713 markings, 1411522 edges, 10201 markings/sec, 40 secs
lola: 502588 markings, 1569635 edges, 9975 markings/sec, 45 secs
lola: 554266 markings, 1732555 edges, 10336 markings/sec, 50 secs
lola: 606036 markings, 1896638 edges, 10354 markings/sec, 55 secs
lola: 655326 markings, 2065690 edges, 9858 markings/sec, 60 secs
lola: 699337 markings, 2238905 edges, 8802 markings/sec, 65 secs
lola: 739585 markings, 2416097 edges, 8050 markings/sec, 70 secs
lola: 782374 markings, 2593344 edges, 8558 markings/sec, 75 secs
lola: 824402 markings, 2769374 edges, 8406 markings/sec, 80 secs
lola: 866399 markings, 2942893 edges, 8399 markings/sec, 85 secs
lola: 908375 markings, 3118326 edges, 8395 markings/sec, 90 secs
lola: 950800 markings, 3293835 edges, 8485 markings/sec, 95 secs
lola: 995533 markings, 3463077 edges, 8947 markings/sec, 100 secs
lola: 1032608 markings, 3633752 edges, 7415 markings/sec, 105 secs
lola: 1074327 markings, 3807900 edges, 8344 markings/sec, 110 secs
lola: 1116443 markings, 3982332 edges, 8423 markings/sec, 115 secs
lola: 1158844 markings, 4154762 edges, 8480 markings/sec, 120 secs
lola: 1200032 markings, 4329508 edges, 8238 markings/sec, 125 secs
lola: 1241435 markings, 4503083 edges, 8281 markings/sec, 130 secs
lola: 1286933 markings, 4674584 edges, 9100 markings/sec, 135 secs
lola: 1329158 markings, 4847605 edges, 8445 markings/sec, 140 secs
lola: 1370783 markings, 5022874 edges, 8325 markings/sec, 145 secs
lola: 1412505 markings, 5197896 edges, 8344 markings/sec, 150 secs
lola: 1455882 markings, 5371604 edges, 8675 markings/sec, 155 secs
lola: 1496051 markings, 5545198 edges, 8034 markings/sec, 160 secs
lola: 1538400 markings, 5720110 edges, 8470 markings/sec, 165 secs
lola: 1579882 markings, 5893341 edges, 8296 markings/sec, 170 secs
lola: 1624072 markings, 6065267 edges, 8838 markings/sec, 175 secs
lola: 1663178 markings, 6239995 edges, 7821 markings/sec, 180 secs
lola: 1705459 markings, 6414561 edges, 8456 markings/sec, 185 secs
lola: 1745701 markings, 6582361 edges, 8048 markings/sec, 190 secs
lola: 1786611 markings, 6752587 edges, 8182 markings/sec, 195 secs
lola: 1827521 markings, 6922409 edges, 8182 markings/sec, 200 secs
lola: 1868505 markings, 7093745 edges, 8197 markings/sec, 205 secs
lola: 1913280 markings, 7262845 edges, 8955 markings/sec, 210 secs
lola: 1954669 markings, 7434484 edges, 8278 markings/sec, 215 secs
lola: 1996207 markings, 7606877 edges, 8308 markings/sec, 220 secs
lola: 2037290 markings, 7779002 edges, 8217 markings/sec, 225 secs
lola: 2080085 markings, 7949612 edges, 8559 markings/sec, 230 secs
lola: 2119538 markings, 8121054 edges, 7891 markings/sec, 235 secs
lola: 2161056 markings, 8292575 edges, 8304 markings/sec, 240 secs
lola: 2202242 markings, 8464832 edges, 8237 markings/sec, 245 secs
lola: 2246155 markings, 8633554 edges, 8783 markings/sec, 250 secs
lola: 2284545 markings, 8806623 edges, 7678 markings/sec, 255 secs
lola: 2325693 markings, 8978180 edges, 8230 markings/sec, 260 secs
lola: 2367293 markings, 9150257 edges, 8320 markings/sec, 265 secs
lola: 2407374 markings, 9314439 edges, 8016 markings/sec, 270 secs
lola: 2446395 markings, 9478653 edges, 7804 markings/sec, 275 secs
lola: 2485442 markings, 9641804 edges, 7809 markings/sec, 280 secs
lola: 2532255 markings, 9799002 edges, 9363 markings/sec, 285 secs
lola: 2579307 markings, 9964719 edges, 9410 markings/sec, 290 secs
lola: 2622702 markings, 10135787 edges, 8679 markings/sec, 295 secs
lola: 2661906 markings, 10309521 edges, 7841 markings/sec, 300 secs
lola: 2703655 markings, 10481623 edges, 8350 markings/sec, 305 secs
lola: 2745238 markings, 10655690 edges, 8317 markings/sec, 310 secs
lola: 2788982 markings, 10827482 edges, 8749 markings/sec, 315 secs
lola: 2828364 markings, 11001291 edges, 7876 markings/sec, 320 secs
lola: 2870015 markings, 11173003 edges, 8330 markings/sec, 325 secs
lola: 2911185 markings, 11345184 edges, 8234 markings/sec, 330 secs
lola: 2952513 markings, 11516096 edges, 8266 markings/sec, 335 secs
lola: 2993657 markings, 11688402 edges, 8229 markings/sec, 340 secs
lola: 3035198 markings, 11859974 edges, 8308 markings/sec, 345 secs
lola: 3078496 markings, 12030723 edges, 8660 markings/sec, 350 secs
lola: 3117507 markings, 12203690 edges, 7802 markings/sec, 355 secs
lola: 3159007 markings, 12374912 edges, 8300 markings/sec, 360 secs
lola: 3200179 markings, 12547507 edges, 8234 markings/sec, 365 secs
lola: 3235430 markings, 12726776 edges, 7050 markings/sec, 370 secs
lola: 3270287 markings, 12905629 edges, 6971 markings/sec, 375 secs
lola: 3305121 markings, 13084787 edges, 6967 markings/sec, 380 secs
lola: 3339536 markings, 13262037 edges, 6883 markings/sec, 385 secs
lola: 3373821 markings, 13439146 edges, 6857 markings/sec, 390 secs
lola: 3410195 markings, 13615515 edges, 7275 markings/sec, 395 secs
lola: 3442809 markings, 13795190 edges, 6523 markings/sec, 400 secs
lola: 3477322 markings, 13973198 edges, 6903 markings/sec, 405 secs
lola: 3511928 markings, 14152242 edges, 6921 markings/sec, 410 secs
lola: 3547538 markings, 14328466 edges, 7122 markings/sec, 415 secs
lola: 3579604 markings, 14501373 edges, 6413 markings/sec, 420 secs
lola: 3614342 markings, 14680230 edges, 6948 markings/sec, 425 secs
lola: 3649897 markings, 14863834 edges, 7111 markings/sec, 430 secs
lola: 3685027 markings, 15045785 edges, 7026 markings/sec, 435 secs
lola: 3720680 markings, 15225455 edges, 7131 markings/sec, 440 secs
lola: 3755235 markings, 15408140 edges, 6911 markings/sec, 445 secs
lola: 3790536 markings, 15590660 edges, 7060 markings/sec, 450 secs
lola: 3829406 markings, 15772694 edges, 7774 markings/sec, 455 secs
lola: 3865354 markings, 15953070 edges, 7190 markings/sec, 460 secs
lola: 3899377 markings, 16133961 edges, 6805 markings/sec, 465 secs
lola: 3934482 markings, 16314691 edges, 7021 markings/sec, 470 secs
lola: 3969626 markings, 16496664 edges, 7029 markings/sec, 475 secs
lola: 4004857 markings, 16678716 edges, 7046 markings/sec, 480 secs
lola: 4040627 markings, 16858625 edges, 7154 markings/sec, 485 secs
lola: 4074957 markings, 17040679 edges, 6866 markings/sec, 490 secs
lola: 4110045 markings, 17221423 edges, 7018 markings/sec, 495 secs
lola: 4143377 markings, 17393004 edges, 6666 markings/sec, 500 secs
lola: 4180357 markings, 17566593 edges, 7396 markings/sec, 505 secs
lola: 4211939 markings, 17747604 edges, 6316 markings/sec, 510 secs
lola: 4246615 markings, 17926033 edges, 6935 markings/sec, 515 secs
lola: 4281946 markings, 18106924 edges, 7066 markings/sec, 520 secs
lola: 4317593 markings, 18288042 edges, 7129 markings/sec, 525 secs
lola: 4351974 markings, 18468393 edges, 6876 markings/sec, 530 secs
lola: 4387159 markings, 18649481 edges, 7037 markings/sec, 535 secs
lola: 4422012 markings, 18830068 edges, 6971 markings/sec, 540 secs
lola: 4459712 markings, 19008064 edges, 7540 markings/sec, 545 secs
lola: 4497044 markings, 19187187 edges, 7466 markings/sec, 550 secs
lola: 4529691 markings, 19369455 edges, 6529 markings/sec, 555 secs
lola: 4564926 markings, 19550852 edges, 7047 markings/sec, 560 secs
lola: 4599840 markings, 19731733 edges, 6983 markings/sec, 565 secs
lola: 4635742 markings, 19914613 edges, 7180 markings/sec, 570 secs
lola: 4671571 markings, 20099703 edges, 7166 markings/sec, 575 secs
lola: 4707034 markings, 20282623 edges, 7093 markings/sec, 580 secs
lola: 4742020 markings, 20463890 edges, 6997 markings/sec, 585 secs
lola: 4777156 markings, 20644785 edges, 7027 markings/sec, 590 secs
lola: 4813172 markings, 20823606 edges, 7203 markings/sec, 595 secs
lola: 4846825 markings, 21004523 edges, 6731 markings/sec, 600 secs
lola: 4881804 markings, 21185617 edges, 6996 markings/sec, 605 secs
lola: 4916841 markings, 21366312 edges, 7007 markings/sec, 610 secs
lola: 4954387 markings, 21544309 edges, 7509 markings/sec, 615 secs
lola: 4986452 markings, 21725596 edges, 6413 markings/sec, 620 secs
lola: 5021412 markings, 21906278 edges, 6992 markings/sec, 625 secs
lola: 5056696 markings, 22086738 edges, 7057 markings/sec, 630 secs
lola: 5098798 markings, 22262188 edges, 8420 markings/sec, 635 secs
lola: 5140985 markings, 22437149 edges, 8437 markings/sec, 640 secs
lola: 5184705 markings, 22609534 edges, 8744 markings/sec, 645 secs
lola: 5224366 markings, 22784616 edges, 7932 markings/sec, 650 secs
lola: 5266309 markings, 22958697 edges, 8389 markings/sec, 655 secs
lola: 5307655 markings, 23131704 edges, 8269 markings/sec, 660 secs
lola: 5350999 markings, 23302213 edges, 8669 markings/sec, 665 secs
lola: 5391051 markings, 23478229 edges, 8010 markings/sec, 670 secs
lola: 5433004 markings, 23651722 edges, 8391 markings/sec, 675 secs
lola: 5474919 markings, 23826557 edges, 8383 markings/sec, 680 secs
lola: 5516674 markings, 23999407 edges, 8351 markings/sec, 685 secs
lola: 5558459 markings, 24174187 edges, 8357 markings/sec, 690 secs
lola: 5600508 markings, 24347531 edges, 8410 markings/sec, 695 secs
lola: 5644526 markings, 24517510 edges, 8804 markings/sec, 700 secs
lola: 5683568 markings, 24693383 edges, 7808 markings/sec, 705 secs
lola: 5725277 markings, 24867295 edges, 8342 markings/sec, 710 secs
lola: 5766725 markings, 25041373 edges, 8290 markings/sec, 715 secs
lola: 5802613 markings, 25221545 edges, 7178 markings/sec, 720 secs
lola: 5836718 markings, 25402602 edges, 6821 markings/sec, 725 secs
lola: 5871746 markings, 25583566 edges, 7006 markings/sec, 730 secs
lola: 5906730 markings, 25764364 edges, 6997 markings/sec, 735 secs
lola: 5942020 markings, 25945971 edges, 7058 markings/sec, 740 secs
lola: 5977764 markings, 26125184 edges, 7149 markings/sec, 745 secs
lola: 6011724 markings, 26305861 edges, 6792 markings/sec, 750 secs
lola: 6046600 markings, 26486619 edges, 6975 markings/sec, 755 secs
lola: 6081788 markings, 26667950 edges, 7038 markings/sec, 760 secs
lola: 6119708 markings, 26846932 edges, 7584 markings/sec, 765 secs
lola: 6151916 markings, 27028922 edges, 6442 markings/sec, 770 secs
lola: 6186837 markings, 27208481 edges, 6984 markings/sec, 775 secs
lola: 6221789 markings, 27388759 edges, 6990 markings/sec, 780 secs
lola: 6257619 markings, 27568732 edges, 7166 markings/sec, 785 secs
lola: 6291632 markings, 27749228 edges, 6803 markings/sec, 790 secs
lola: 6326427 markings, 27929219 edges, 6959 markings/sec, 795 secs
lola: 6361399 markings, 28109510 edges, 6994 markings/sec, 800 secs
lola: 6399193 markings, 28287752 edges, 7559 markings/sec, 805 secs
lola: 6436839 markings, 28467775 edges, 7529 markings/sec, 810 secs
lola: 6469344 markings, 28650196 edges, 6501 markings/sec, 815 secs
lola: 6504365 markings, 28831354 edges, 7004 markings/sec, 820 secs
lola: 6539821 markings, 29012759 edges, 7091 markings/sec, 825 secs
lola: 6575407 markings, 29193888 edges, 7117 markings/sec, 830 secs
lola: 6610014 markings, 29374830 edges, 6921 markings/sec, 835 secs
lola: 6645227 markings, 29555954 edges, 7043 markings/sec, 840 secs
lola: 6680252 markings, 29737556 edges, 7005 markings/sec, 845 secs
lola: 6715494 markings, 29919411 edges, 7048 markings/sec, 850 secs
lola: 6751562 markings, 30098834 edges, 7214 markings/sec, 855 secs
lola: 6785479 markings, 30280923 edges, 6783 markings/sec, 860 secs
lola: 6820499 markings, 30461034 edges, 7004 markings/sec, 865 secs
lola: 6855250 markings, 30641113 edges, 6950 markings/sec, 870 secs
lola: 6893199 markings, 30819402 edges, 7590 markings/sec, 875 secs
lola: 6925253 markings, 31002619 edges, 6411 markings/sec, 880 secs
lola: 6960249 markings, 31182297 edges, 6999 markings/sec, 885 secs
lola: 6995699 markings, 31362853 edges, 7090 markings/sec, 890 secs
lola: 7033292 markings, 31541433 edges, 7519 markings/sec, 895 secs
lola: 7069186 markings, 31717190 edges, 7179 markings/sec, 900 secs
lola: 7101851 markings, 31895364 edges, 6533 markings/sec, 905 secs
lola: 7136419 markings, 32073421 edges, 6914 markings/sec, 910 secs
lola: 7170797 markings, 32251376 edges, 6876 markings/sec, 915 secs
lola: 7206976 markings, 32428049 edges, 7236 markings/sec, 920 secs
lola: 7240157 markings, 32609255 edges, 6636 markings/sec, 925 secs
lola: 7275062 markings, 32789405 edges, 6981 markings/sec, 930 secs
lola: 7310020 markings, 32970089 edges, 6992 markings/sec, 935 secs
lola: 7345219 markings, 33151235 edges, 7040 markings/sec, 940 secs
lola: 7380070 markings, 33329873 edges, 6970 markings/sec, 945 secs
lola: 7414823 markings, 33510657 edges, 6951 markings/sec, 950 secs
lola: 7448989 markings, 33686527 edges, 6833 markings/sec, 955 secs
lola: 7483186 markings, 33862524 edges, 6839 markings/sec, 960 secs
lola: 7518818 markings, 34030627 edges, 7126 markings/sec, 965 secs
lola: 7550616 markings, 34210362 edges, 6360 markings/sec, 970 secs
lola: 7585253 markings, 34388406 edges, 6927 markings/sec, 975 secs
lola: 7620108 markings, 34566101 edges, 6971 markings/sec, 980 secs
lola: 7661272 markings, 34738069 edges, 8233 markings/sec, 985 secs
lola: 7702876 markings, 34910300 edges, 8321 markings/sec, 990 secs
lola: 7746412 markings, 35082063 edges, 8707 markings/sec, 995 secs
lola: 7784013 markings, 35249226 edges, 7520 markings/sec, 1000 secs
lola: 7824004 markings, 35414303 edges, 7998 markings/sec, 1005 secs
lola: 7864151 markings, 35582110 edges, 8029 markings/sec, 1010 secs
lola: 7907594 markings, 35748078 edges, 8689 markings/sec, 1015 secs
lola: 7945195 markings, 35918051 edges, 7520 markings/sec, 1020 secs
lola: 7985725 markings, 36087429 edges, 8106 markings/sec, 1025 secs
lola: 8026110 markings, 36254750 edges, 8077 markings/sec, 1030 secs
lola: 8066078 markings, 36414881 edges, 7994 markings/sec, 1035 secs
lola: 8102779 markings, 36574788 edges, 7340 markings/sec, 1040 secs
lola: 8141243 markings, 36733168 edges, 7693 markings/sec, 1045 secs
lola: 8179413 markings, 36892461 edges, 7634 markings/sec, 1050 secs
lola: 8218546 markings, 37049781 edges, 7827 markings/sec, 1055 secs
lola: 8255470 markings, 37209381 edges, 7385 markings/sec, 1060 secs
lola: 8296197 markings, 37377641 edges, 8145 markings/sec, 1065 secs
lola: 8335263 markings, 37550161 edges, 7813 markings/sec, 1070 secs
lola: 8372477 markings, 37730046 edges, 7443 markings/sec, 1075 secs
lola: 8406033 markings, 37916123 edges, 6711 markings/sec, 1080 secs
lola: 8441925 markings, 38101590 edges, 7178 markings/sec, 1085 secs
lola: 8478153 markings, 38286611 edges, 7246 markings/sec, 1090 secs
lola: 8512503 markings, 38462471 edges, 6870 markings/sec, 1095 secs
lola: 8543495 markings, 38624083 edges, 6198 markings/sec, 1100 secs
lola: 8575133 markings, 38788111 edges, 6328 markings/sec, 1105 secs
lola: 8607440 markings, 38954750 edges, 6461 markings/sec, 1110 secs
lola: 8643555 markings, 39141550 edges, 7223 markings/sec, 1115 secs
lola: 8682038 markings, 39323920 edges, 7697 markings/sec, 1120 secs
lola: 8715614 markings, 39511663 edges, 6715 markings/sec, 1125 secs
lola: 8750007 markings, 39689035 edges, 6879 markings/sec, 1130 secs
lola: 8785436 markings, 39871496 edges, 7086 markings/sec, 1135 secs
lola: 8821843 markings, 40052733 edges, 7281 markings/sec, 1140 secs
lola: 8855587 markings, 40234236 edges, 6749 markings/sec, 1145 secs
lola: 8890612 markings, 40414972 edges, 7005 markings/sec, 1150 secs
lola: 8925890 markings, 40597499 edges, 7056 markings/sec, 1155 secs
lola: 8963883 markings, 40777115 edges, 7599 markings/sec, 1160 secs
lola: 9002021 markings, 40957406 edges, 7628 markings/sec, 1165 secs
lola: 9034950 markings, 41141996 edges, 6586 markings/sec, 1170 secs
lola: 9070322 markings, 41324672 edges, 7074 markings/sec, 1175 secs
lola: 9105584 markings, 41506014 edges, 7052 markings/sec, 1180 secs
lola: 9141916 markings, 41686863 edges, 7266 markings/sec, 1185 secs
lola: 9175702 markings, 41868548 edges, 6757 markings/sec, 1190 secs
lola: 9210895 markings, 42050194 edges, 7039 markings/sec, 1195 secs
lola: 9246197 markings, 42232908 edges, 7060 markings/sec, 1200 secs
lola: 9281821 markings, 42416962 edges, 7125 markings/sec, 1205 secs
lola: 9317432 markings, 42598009 edges, 7122 markings/sec, 1210 secs
lola: 9352431 markings, 42781397 edges, 7000 markings/sec, 1215 secs
lola: 9387955 markings, 42963090 edges, 7105 markings/sec, 1220 secs
lola: 9423341 markings, 43145544 edges, 7077 markings/sec, 1225 secs
lola: 9460473 markings, 43326361 edges, 7426 markings/sec, 1230 secs
lola: 9493760 markings, 43509162 edges, 6657 markings/sec, 1235 secs
lola: 9529312 markings, 43692298 edges, 7110 markings/sec, 1240 secs
lola: 9567189 markings, 43877109 edges, 7575 markings/sec, 1245 secs
lola: 9603253 markings, 44057762 edges, 7213 markings/sec, 1250 secs
lola: 9638688 markings, 44239833 edges, 7087 markings/sec, 1255 secs
lola: 9674110 markings, 44422614 edges, 7084 markings/sec, 1260 secs
lola: 9709599 markings, 44605031 edges, 7098 markings/sec, 1265 secs
lola: 9745032 markings, 44788371 edges, 7087 markings/sec, 1270 secs
lola: 9781852 markings, 44967987 edges, 7364 markings/sec, 1275 secs
lola: 9815631 markings, 45152227 edges, 6756 markings/sec, 1280 secs
lola: 9850856 markings, 45334873 edges, 7045 markings/sec, 1285 secs
lola: 9886247 markings, 45517699 edges, 7078 markings/sec, 1290 secs
lola: 9923478 markings, 45695981 edges, 7446 markings/sec, 1295 secs
lola: 9956422 markings, 45880079 edges, 6589 markings/sec, 1300 secs
lola: 9991656 markings, 46061899 edges, 7047 markings/sec, 1305 secs
lola: 10027070 markings, 46244131 edges, 7083 markings/sec, 1310 secs
lola: 10062984 markings, 46426766 edges, 7183 markings/sec, 1315 secs
lola: 10098030 markings, 46608922 edges, 7009 markings/sec, 1320 secs
lola: 10133546 markings, 46791877 edges, 7103 markings/sec, 1325 secs
lola: 10168930 markings, 46975234 edges, 7077 markings/sec, 1330 secs
lola: 10209096 markings, 47153861 edges, 8033 markings/sec, 1335 secs
lola: 10248968 markings, 47332749 edges, 7974 markings/sec, 1340 secs
lola: 10300863 markings, 47500503 edges, 10379 markings/sec, 1345 secs
lola: 10346297 markings, 47674075 edges, 9087 markings/sec, 1350 secs
lola: 10390630 markings, 47849177 edges, 8867 markings/sec, 1355 secs
lola: 10431255 markings, 48026933 edges, 8125 markings/sec, 1360 secs
lola: 10473767 markings, 48203159 edges, 8502 markings/sec, 1365 secs
lola: 10516359 markings, 48380157 edges, 8518 markings/sec, 1370 secs
lola: 10558444 markings, 48555325 edges, 8417 markings/sec, 1375 secs
lola: 10601007 markings, 48731822 edges, 8513 markings/sec, 1380 secs
lola: 10643666 markings, 48909120 edges, 8532 markings/sec, 1385 secs
lola: 10688766 markings, 49083561 edges, 9020 markings/sec, 1390 secs
lola: 10728621 markings, 49263169 edges, 7971 markings/sec, 1395 secs
lola: 10771454 markings, 49440215 edges, 8567 markings/sec, 1400 secs
lola: 10813947 markings, 49618019 edges, 8499 markings/sec, 1405 secs
lola: 10856330 markings, 49793096 edges, 8477 markings/sec, 1410 secs
lola: 10898245 markings, 49968531 edges, 8383 markings/sec, 1415 secs
lola: 10939320 markings, 50138336 edges, 8215 markings/sec, 1420 secs
lola: 10976314 markings, 50313587 edges, 7399 markings/sec, 1425 secs
lola: 11011998 markings, 50487858 edges, 7137 markings/sec, 1430 secs
lola: 11044357 markings, 50665324 edges, 6472 markings/sec, 1435 secs
lola: 11078561 markings, 50841797 edges, 6841 markings/sec, 1440 secs
lola: 11113181 markings, 51019828 edges, 6924 markings/sec, 1445 secs
lola: 11149852 markings, 51200114 edges, 7334 markings/sec, 1450 secs
lola: 11183792 markings, 51385207 edges, 6788 markings/sec, 1455 secs
lola: 11219559 markings, 51569823 edges, 7153 markings/sec, 1460 secs
lola: 11255315 markings, 51754350 edges, 7151 markings/sec, 1465 secs
lola: 11291229 markings, 51939274 edges, 7183 markings/sec, 1470 secs
lola: 11325645 markings, 52116186 edges, 6883 markings/sec, 1475 secs
lola: 11359878 markings, 52292322 edges, 6847 markings/sec, 1480 secs
lola: 11393825 markings, 52467482 edges, 6789 markings/sec, 1485 secs
lola: 11427946 markings, 52643523 edges, 6824 markings/sec, 1490 secs
lola: 11463943 markings, 52816356 edges, 7199 markings/sec, 1495 secs
lola: 11496028 markings, 52994614 edges, 6417 markings/sec, 1500 secs
lola: 11530117 markings, 53170563 edges, 6818 markings/sec, 1505 secs
lola: 11564761 markings, 53346123 edges, 6929 markings/sec, 1510 secs
lola: 11601040 markings, 53520120 edges, 7256 markings/sec, 1515 secs
lola: 11636473 markings, 53694021 edges, 7087 markings/sec, 1520 secs
lola: 11669493 markings, 53872735 edges, 6604 markings/sec, 1525 secs
lola: 11704759 markings, 54055382 edges, 7053 markings/sec, 1530 secs
lola: 11740107 markings, 54238078 edges, 7070 markings/sec, 1535 secs
lola: 11777342 markings, 54416148 edges, 7447 markings/sec, 1540 secs
lola: 11809856 markings, 54598210 edges, 6503 markings/sec, 1545 secs
lola: 11845243 markings, 54780724 edges, 7077 markings/sec, 1550 secs
lola: 11880406 markings, 54962158 edges, 7033 markings/sec, 1555 secs
lola: 11915750 markings, 55142620 edges, 7069 markings/sec, 1560 secs
lola: 11950925 markings, 55324158 edges, 7035 markings/sec, 1565 secs
lola: 11986409 markings, 55507771 edges, 7097 markings/sec, 1570 secs
lola: 12021703 markings, 55690086 edges, 7059 markings/sec, 1575 secs
lola: 12057309 markings, 55873605 edges, 7121 markings/sec, 1580 secs
lola: 12093715 markings, 56055299 edges, 7281 markings/sec, 1585 secs
lola: 12128178 markings, 56240055 edges, 6893 markings/sec, 1590 secs
lola: 12163348 markings, 56421639 edges, 7034 markings/sec, 1595 secs
lola: 12201636 markings, 56601604 edges, 7658 markings/sec, 1600 secs
lola: 12237792 markings, 56785074 edges, 7231 markings/sec, 1605 secs
lola: 12272294 markings, 56965555 edges, 6900 markings/sec, 1610 secs
lola: 12307040 markings, 57144547 edges, 6949 markings/sec, 1615 secs
lola: 12341499 markings, 57322336 edges, 6892 markings/sec, 1620 secs
lola: 12376653 markings, 57504036 edges, 7031 markings/sec, 1625 secs
lola: 12412646 markings, 57681852 edges, 7199 markings/sec, 1630 secs
lola: 12445889 markings, 57861744 edges, 6649 markings/sec, 1635 secs
lola: 12480708 markings, 58040879 edges, 6964 markings/sec, 1640 secs
lola: 12516351 markings, 58225064 edges, 7129 markings/sec, 1645 secs
lola: 12554305 markings, 58406213 edges, 7591 markings/sec, 1650 secs
lola: 12587103 markings, 58591059 edges, 6560 markings/sec, 1655 secs
lola: 12622803 markings, 58774187 edges, 7140 markings/sec, 1660 secs
lola: 12658454 markings, 58957196 edges, 7130 markings/sec, 1665 secs
lola: 12694574 markings, 59139570 edges, 7224 markings/sec, 1670 secs
lola: 12729226 markings, 59322625 edges, 6930 markings/sec, 1675 secs
lola: 12764711 markings, 59505445 edges, 7097 markings/sec, 1680 secs
lola: 12799799 markings, 59687377 edges, 7018 markings/sec, 1685 secs
lola: 12840587 markings, 59866509 edges, 8158 markings/sec, 1690 secs
lola: 12880340 markings, 60046539 edges, 7951 markings/sec, 1695 secs
lola: 12917778 markings, 60228502 edges, 7488 markings/sec, 1700 secs
lola: 12954253 markings, 60410908 edges, 7295 markings/sec, 1705 secs
lola: 12989031 markings, 60596434 edges, 6956 markings/sec, 1710 secs
lola: 13024724 markings, 60780496 edges, 7139 markings/sec, 1715 secs
lola: 13060448 markings, 60964725 edges, 7145 markings/sec, 1720 secs
lola: 13098485 markings, 61146826 edges, 7607 markings/sec, 1725 secs
lola: 13131833 markings, 61332018 edges, 6670 markings/sec, 1730 secs
lola: 13167364 markings, 61515295 edges, 7106 markings/sec, 1735 secs
lola: 13203127 markings, 61699838 edges, 7153 markings/sec, 1740 secs
lola: 13240443 markings, 61882559 edges, 7463 markings/sec, 1745 secs
lola: 13274160 markings, 62067216 edges, 6743 markings/sec, 1750 secs
lola: 13309244 markings, 62248333 edges, 7017 markings/sec, 1755 secs
lola: 13344502 markings, 62429837 edges, 7052 markings/sec, 1760 secs
lola: 13379531 markings, 62611415 edges, 7006 markings/sec, 1765 secs
lola: 13414768 markings, 62791887 edges, 7047 markings/sec, 1770 secs
lola: 13449795 markings, 62971956 edges, 7005 markings/sec, 1775 secs
lola: 13485078 markings, 63153862 edges, 7057 markings/sec, 1780 secs
lola: 13520044 markings, 63338551 edges, 6993 markings/sec, 1785 secs
lola: 13551290 markings, 63529287 edges, 6249 markings/sec, 1790 secs
lola: 13581581 markings, 63717010 edges, 6058 markings/sec, 1795 secs
lola: 13612165 markings, 63906406 edges, 6117 markings/sec, 1800 secs
lola: 13642854 markings, 64095251 edges, 6138 markings/sec, 1805 secs
lola: 13673672 markings, 64284945 edges, 6164 markings/sec, 1810 secs
lola: 13704857 markings, 64473387 edges, 6237 markings/sec, 1815 secs
lola: 13734938 markings, 64662193 edges, 6016 markings/sec, 1820 secs
lola: 13765543 markings, 64851336 edges, 6121 markings/sec, 1825 secs
lola: 13796102 markings, 65039562 edges, 6112 markings/sec, 1830 secs
lola: 13827040 markings, 65229570 edges, 6188 markings/sec, 1835 secs
lola: 13858514 markings, 65417839 edges, 6295 markings/sec, 1840 secs
lola: 13888354 markings, 65606504 edges, 5968 markings/sec, 1845 secs
lola: 13918754 markings, 65795549 edges, 6080 markings/sec, 1850 secs
lola: 13949600 markings, 65984955 edges, 6169 markings/sec, 1855 secs
lola: 13980176 markings, 66172439 edges, 6115 markings/sec, 1860 secs
lola: 14011390 markings, 66358018 edges, 6243 markings/sec, 1865 secs
lola: 14041078 markings, 66547005 edges, 5938 markings/sec, 1870 secs
lola: 14071725 markings, 66736812 edges, 6129 markings/sec, 1875 secs
lola: 14102329 markings, 66925654 edges, 6121 markings/sec, 1880 secs
lola: 14134873 markings, 67113776 edges, 6509 markings/sec, 1885 secs
lola: 14166475 markings, 67303498 edges, 6320 markings/sec, 1890 secs
lola: 14198278 markings, 67490280 edges, 6361 markings/sec, 1895 secs
lola: 14227770 markings, 67680214 edges, 5898 markings/sec, 1900 secs
lola: 14258452 markings, 67868761 edges, 6136 markings/sec, 1905 secs
lola: 14288898 markings, 68057911 edges, 6089 markings/sec, 1910 secs
lola: 14319843 markings, 68247616 edges, 6189 markings/sec, 1915 secs
lola: 14351459 markings, 68434986 edges, 6323 markings/sec, 1920 secs
lola: 14381083 markings, 68624624 edges, 5925 markings/sec, 1925 secs
lola: 14411612 markings, 68812123 edges, 6106 markings/sec, 1930 secs
lola: 14441719 markings, 68999156 edges, 6021 markings/sec, 1935 secs
lola: 14472493 markings, 69188507 edges, 6155 markings/sec, 1940 secs
lola: 14503919 markings, 69375247 edges, 6285 markings/sec, 1945 secs
lola: 14533692 markings, 69564306 edges, 5955 markings/sec, 1950 secs
lola: 14564188 markings, 69751926 edges, 6099 markings/sec, 1955 secs
lola: 14594861 markings, 69941077 edges, 6135 markings/sec, 1960 secs
lola: 14625401 markings, 70129645 edges, 6108 markings/sec, 1965 secs
lola: 14656622 markings, 70316157 edges, 6244 markings/sec, 1970 secs
lola: 14685820 markings, 70500800 edges, 5840 markings/sec, 1975 secs
lola: 14714913 markings, 70680054 edges, 5819 markings/sec, 1980 secs
lola: 14743888 markings, 70859967 edges, 5795 markings/sec, 1985 secs
lola: 14775726 markings, 71039085 edges, 6368 markings/sec, 1990 secs
lola: 14806862 markings, 71220529 edges, 6227 markings/sec, 1995 secs
lola: 14835456 markings, 71405296 edges, 5719 markings/sec, 2000 secs
lola: 14864955 markings, 71587146 edges, 5900 markings/sec, 2005 secs
lola: 14893946 markings, 71767166 edges, 5798 markings/sec, 2010 secs
lola: 14923330 markings, 71947556 edges, 5877 markings/sec, 2015 secs
lola: 14953515 markings, 72127586 edges, 6037 markings/sec, 2020 secs
lola: 14983403 markings, 72316504 edges, 5978 markings/sec, 2025 secs
lola: 15013702 markings, 72504946 edges, 6060 markings/sec, 2030 secs
lola: 15044450 markings, 72693235 edges, 6150 markings/sec, 2035 secs
lola: 15075009 markings, 72881644 edges, 6112 markings/sec, 2040 secs
lola: 15106726 markings, 73069953 edges, 6343 markings/sec, 2045 secs
lola: 15136220 markings, 73257780 edges, 5899 markings/sec, 2050 secs
lola: 15166691 markings, 73446734 edges, 6094 markings/sec, 2055 secs
lola: 15197169 markings, 73634557 edges, 6096 markings/sec, 2060 secs
lola: 15227659 markings, 73821408 edges, 6098 markings/sec, 2065 secs
lola: 15259462 markings, 74009827 edges, 6361 markings/sec, 2070 secs
lola: 15288842 markings, 74197879 edges, 5876 markings/sec, 2075 secs
lola: 15319524 markings, 74387011 edges, 6136 markings/sec, 2080 secs
lola: 15349845 markings, 74574297 edges, 6064 markings/sec, 2085 secs
lola: 15382034 markings, 74760754 edges, 6438 markings/sec, 2090 secs
lola: 15417604 markings, 74944062 edges, 7114 markings/sec, 2095 secs
lola: 15453124 markings, 75128532 edges, 7104 markings/sec, 2100 secs
lola: 15489626 markings, 75312426 edges, 7300 markings/sec, 2105 secs
lola: 15524711 markings, 75495532 edges, 7017 markings/sec, 2110 secs
lola: 15560179 markings, 75678293 edges, 7094 markings/sec, 2115 secs
lola: 15595739 markings, 75861823 edges, 7112 markings/sec, 2120 secs
lola: 15631476 markings, 76046686 edges, 7147 markings/sec, 2125 secs
lola: 15667811 markings, 76228697 edges, 7267 markings/sec, 2130 secs
lola: 15702316 markings, 76412908 edges, 6901 markings/sec, 2135 secs
lola: 15737909 markings, 76596402 edges, 7119 markings/sec, 2140 secs
lola: 15773411 markings, 76779585 edges, 7100 markings/sec, 2145 secs
lola: 15811247 markings, 76959999 edges, 7567 markings/sec, 2150 secs
lola: 15844370 markings, 77144122 edges, 6625 markings/sec, 2155 secs
lola: 15879372 markings, 77325114 edges, 7000 markings/sec, 2160 secs
lola: 15913330 markings, 77500064 edges, 6792 markings/sec, 2165 secs
lola: 15947271 markings, 77670538 edges, 6788 markings/sec, 2170 secs
lola: 15979894 markings, 77843634 edges, 6525 markings/sec, 2175 secs
lola: 16014538 markings, 78022062 edges, 6929 markings/sec, 2180 secs
lola: 16048655 markings, 78197888 edges, 6823 markings/sec, 2185 secs
lola: 16082652 markings, 78378437 edges, 6799 markings/sec, 2190 secs
lola: 16112048 markings, 78558833 edges, 5879 markings/sec, 2195 secs
lola: 16142354 markings, 78744526 edges, 6061 markings/sec, 2200 secs
lola: 16170705 markings, 78921348 edges, 5670 markings/sec, 2205 secs
lola: 16198735 markings, 79093548 edges, 5606 markings/sec, 2210 secs
lola: 16226373 markings, 79264521 edges, 5528 markings/sec, 2215 secs
lola: 16257225 markings, 79454541 edges, 6170 markings/sec, 2220 secs
lola: 16289286 markings, 79643970 edges, 6412 markings/sec, 2225 secs
lola: 16317121 markings, 79822699 edges, 5567 markings/sec, 2230 secs
lola: 16343607 markings, 79986956 edges, 5297 markings/sec, 2235 secs
lola: 16371949 markings, 80160880 edges, 5668 markings/sec, 2240 secs
lola: 16401458 markings, 80342083 edges, 5902 markings/sec, 2245 secs
lola: 16432279 markings, 80515403 edges, 6164 markings/sec, 2250 secs
lola: 16458012 markings, 80690804 edges, 5147 markings/sec, 2255 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1
lola:
preliminary result: 1 unknown unknown 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 unknown 1 1 1 1 1 1 unknown 1 1 1 1
lola: memory consumption: 2361536 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 2361536 KB
lola: time consumption: 3570 seconds

BK_STOP 1552403629654

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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="AutoFlight-PT-48b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is AutoFlight-PT-48b, 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 r022-csrt-155225094500073"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-48b.tgz
mv AutoFlight-PT-48b execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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 ;