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-155225094700199.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 BridgeAndVehicles-PT-V50P50N10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r022-csrt-155225094700199
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.5M
-rw-r--r-- 1 mcc users 6.8K Feb 9 08:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 9 08:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 37K Feb 5 05:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 5 05:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 117 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 355 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 3.0K Feb 4 22:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 43K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 121K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 2 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 2 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 145K Jan 29 12:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 421K Jan 29 12:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 10 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 BridgeAndVehicles-PT-V50P50N10-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V50P50N10-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552409659351

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V50P50N10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V50P50N10 @ 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: 1456/65536 symbol table entries, 11 collisions
lola: preprocessing...
lola: Size of bit vector: 4096
lola: finding significant places
lola: 128 places, 1328 transitions, 121 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1653 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V50P50N10-UpperBounds.task
lola: MAX(VIDANGE_1 + VIDANGE_2) : MAX(SUR_PONT_B) : MAX(CAPACITE) : MAX(SUR_PONT_B) : MAX(ROUTE_B) : MAX(ATTENTE_A) : MAX(SUR_PONT_A) : MAX(ATTENTE_A) : MAX(NB_ATTENTE_B_39) : MAX(CAPACITE) : MAX(NB_ATTENTE_A_38) : MAX(NB_ATTENTE_A_23) : MAX(NB_ATTENTE_A_34) : MAX(NB_ATTENTE_B_4) : MAX(NB_ATTENTE_B_47) : MAX(COMPTEUR_5)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: 37025 markings, 74993 edges, 7405 markings/sec, 0 secs
lola: 77484 markings, 172870 edges, 8092 markings/sec, 5 secs
lola: 118587 markings, 268628 edges, 8221 markings/sec, 10 secs
lola: 159106 markings, 363834 edges, 8104 markings/sec, 15 secs
lola: 201365 markings, 463804 edges, 8452 markings/sec, 20 secs
lola: 243442 markings, 564149 edges, 8415 markings/sec, 25 secs
lola: 284128 markings, 658875 edges, 8137 markings/sec, 30 secs
lola: 320741 markings, 738755 edges, 7323 markings/sec, 35 secs
lola: 357402 markings, 823401 edges, 7332 markings/sec, 40 secs
lola: 390651 markings, 899057 edges, 6650 markings/sec, 45 secs
lola: 429981 markings, 992252 edges, 7866 markings/sec, 50 secs
lola: 470227 markings, 1087772 edges, 8049 markings/sec, 55 secs
lola: 509598 markings, 1181248 edges, 7874 markings/sec, 60 secs
lola: 549628 markings, 1276313 edges, 8006 markings/sec, 65 secs
lola: 590169 markings, 1372122 edges, 8108 markings/sec, 70 secs
lola: 630978 markings, 1467602 edges, 8162 markings/sec, 75 secs
lola: 670059 markings, 1559917 edges, 7816 markings/sec, 80 secs
lola: 708254 markings, 1650080 edges, 7639 markings/sec, 85 secs
lola: 746647 markings, 1741232 edges, 7679 markings/sec, 90 secs
lola: 783051 markings, 1818635 edges, 7281 markings/sec, 95 secs
lola: 821996 markings, 1910245 edges, 7789 markings/sec, 100 secs
lola: 857450 markings, 1995189 edges, 7091 markings/sec, 105 secs
lola: 895575 markings, 2087851 edges, 7625 markings/sec, 110 secs
lola: 931840 markings, 2175158 edges, 7253 markings/sec, 115 secs
lola: 970310 markings, 2269138 edges, 7694 markings/sec, 120 secs
lola: 1005406 markings, 2353923 edges, 7019 markings/sec, 125 secs
lola: 1040697 markings, 2438833 edges, 7058 markings/sec, 130 secs
lola: 1076331 markings, 2524617 edges, 7127 markings/sec, 135 secs
lola: 1109777 markings, 2605765 edges, 6689 markings/sec, 140 secs
lola: 1149537 markings, 2701990 edges, 7952 markings/sec, 145 secs
lola: 1188135 markings, 2795632 edges, 7720 markings/sec, 150 secs
lola: 1225972 markings, 2888767 edges, 7567 markings/sec, 155 secs
lola: 1262844 markings, 2976533 edges, 7374 markings/sec, 160 secs
lola: 1301633 markings, 3070223 edges, 7758 markings/sec, 165 secs
lola: 1341293 markings, 3166558 edges, 7932 markings/sec, 170 secs
lola: 1375948 markings, 3242304 edges, 6931 markings/sec, 175 secs
lola: 1411709 markings, 3324188 edges, 7152 markings/sec, 180 secs
lola: 1447096 markings, 3404458 edges, 7077 markings/sec, 185 secs
lola: 1487097 markings, 3503463 edges, 8000 markings/sec, 190 secs
lola: 1521295 markings, 3587573 edges, 6840 markings/sec, 195 secs
lola: 1561676 markings, 3685470 edges, 8076 markings/sec, 200 secs
lola: 1597386 markings, 3773770 edges, 7142 markings/sec, 205 secs
lola: 1635877 markings, 3867474 edges, 7698 markings/sec, 210 secs
lola: 1671902 markings, 3956384 edges, 7205 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 99072 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CAPACITE)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-2 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: 40447 markings, 84153 edges, 8089 markings/sec, 0 secs
lola: 80453 markings, 180597 edges, 8001 markings/sec, 5 secs
lola: 119945 markings, 271822 edges, 7898 markings/sec, 10 secs
lola: 159905 markings, 365879 edges, 7992 markings/sec, 15 secs
lola: 200299 markings, 461798 edges, 8079 markings/sec, 20 secs
lola: 241253 markings, 558346 edges, 8191 markings/sec, 25 secs
lola: 279689 markings, 647645 edges, 7687 markings/sec, 30 secs
lola: 315747 markings, 728214 edges, 7212 markings/sec, 35 secs
lola: 352018 markings, 808952 edges, 7254 markings/sec, 40 secs
lola: 386897 markings, 890170 edges, 6976 markings/sec, 45 secs
lola: 423875 markings, 978231 edges, 7396 markings/sec, 50 secs
lola: 460303 markings, 1065018 edges, 7286 markings/sec, 55 secs
lola: 495528 markings, 1149720 edges, 7045 markings/sec, 60 secs
lola: 534367 markings, 1240393 edges, 7768 markings/sec, 65 secs
lola: 573033 markings, 1331577 edges, 7733 markings/sec, 70 secs
lola: 611530 markings, 1422353 edges, 7699 markings/sec, 75 secs
lola: 650761 markings, 1515223 edges, 7846 markings/sec, 80 secs
lola: 689916 markings, 1608894 edges, 7831 markings/sec, 85 secs
lola: 729523 markings, 1700399 edges, 7921 markings/sec, 90 secs
lola: 766106 markings, 1782697 edges, 7317 markings/sec, 95 secs
lola: 801744 markings, 1860703 edges, 7128 markings/sec, 100 secs
lola: 841411 markings, 1956691 edges, 7933 markings/sec, 105 secs
lola: 877582 markings, 2043877 edges, 7234 markings/sec, 110 secs
lola: 918148 markings, 2141751 edges, 8113 markings/sec, 115 secs
lola: 956882 markings, 2236579 edges, 7747 markings/sec, 120 secs
lola: 994218 markings, 2325739 edges, 7467 markings/sec, 125 secs
lola: 1034316 markings, 2422732 edges, 8020 markings/sec, 130 secs
lola: 1073017 markings, 2517787 edges, 7740 markings/sec, 135 secs
lola: 1110373 markings, 2607336 edges, 7471 markings/sec, 140 secs
lola: 1150320 markings, 2704143 edges, 7989 markings/sec, 145 secs
lola: 1189516 markings, 2799205 edges, 7839 markings/sec, 150 secs
lola: 1227824 markings, 2892759 edges, 7662 markings/sec, 155 secs
lola: 1265288 markings, 2982646 edges, 7493 markings/sec, 160 secs
lola: 1304116 markings, 3076237 edges, 7766 markings/sec, 165 secs
lola: 1343755 markings, 3172969 edges, 7928 markings/sec, 170 secs
lola: 1379056 markings, 3250258 edges, 7060 markings/sec, 175 secs
lola: 1414272 markings, 3330436 edges, 7043 markings/sec, 180 secs
lola: 1450378 markings, 3412876 edges, 7221 markings/sec, 185 secs
lola: 1490072 markings, 3511336 edges, 7939 markings/sec, 190 secs
lola: 1526711 markings, 3600397 edges, 7328 markings/sec, 195 secs
lola: 1566603 markings, 3698232 edges, 7978 markings/sec, 200 secs
lola: 1601331 markings, 3783993 edges, 6946 markings/sec, 205 secs
lola: 1640073 markings, 3878008 edges, 7748 markings/sec, 210 secs
lola: 1674875 markings, 3964038 edges, 6960 markings/sec, 215 secs
lola: 1712758 markings, 4056113 edges, 7577 markings/sec, 220 secs
lola: 1747784 markings, 4142870 edges, 7005 markings/sec, 225 secs
lola: 1785473 markings, 4234892 edges, 7538 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 104824 KB
lola: time consumption: 463 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-4 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 258 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-5 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: 70352 markings, 179498 edges, 14070 markings/sec, 0 secs
lola: 140703 markings, 359825 edges, 14070 markings/sec, 5 secs
lola: 217892 markings, 563741 edges, 15438 markings/sec, 10 secs
lola: 290841 markings, 758845 edges, 14590 markings/sec, 15 secs
lola: 349639 markings, 912400 edges, 11760 markings/sec, 20 secs
lola: 408293 markings, 1073691 edges, 11731 markings/sec, 25 secs
lola: 468505 markings, 1239959 edges, 12042 markings/sec, 30 secs
lola: 528767 markings, 1408114 edges, 12052 markings/sec, 35 secs
lola: 593803 markings, 1591269 edges, 13007 markings/sec, 40 secs
lola: 658141 markings, 1773559 edges, 12868 markings/sec, 45 secs
lola: 717083 markings, 1936587 edges, 11788 markings/sec, 50 secs
lola: 768096 markings, 2073709 edges, 10203 markings/sec, 55 secs
lola: 822296 markings, 2221870 edges, 10840 markings/sec, 60 secs
lola: 879854 markings, 2387341 edges, 11512 markings/sec, 65 secs
lola: 927620 markings, 2518711 edges, 9553 markings/sec, 70 secs
lola: 987758 markings, 2692260 edges, 12028 markings/sec, 75 secs
lola: 1048125 markings, 2865125 edges, 12073 markings/sec, 80 secs
lola: 1107740 markings, 3035206 edges, 11923 markings/sec, 85 secs
lola: 1167108 markings, 3208622 edges, 11874 markings/sec, 90 secs
lola: 1226345 markings, 3378508 edges, 11847 markings/sec, 95 secs
lola: 1289517 markings, 3562096 edges, 12634 markings/sec, 100 secs
lola: 1343746 markings, 3718114 edges, 10846 markings/sec, 105 secs
lola: 1386850 markings, 3829254 edges, 8621 markings/sec, 110 secs
lola: 1429095 markings, 3942160 edges, 8449 markings/sec, 115 secs
lola: 1482882 markings, 4096404 edges, 10757 markings/sec, 120 secs
lola: 1538214 markings, 4260582 edges, 11066 markings/sec, 125 secs
lola: 1580111 markings, 4370878 edges, 8379 markings/sec, 130 secs
lola: 1626705 markings, 4504938 edges, 9319 markings/sec, 135 secs
lola: 1683597 markings, 4671602 edges, 11378 markings/sec, 140 secs
lola: 1739719 markings, 4838833 edges, 11224 markings/sec, 145 secs
lola: 1789541 markings, 4982969 edges, 9964 markings/sec, 150 secs
lola: 1845845 markings, 5148012 edges, 11261 markings/sec, 155 secs
lola: 1901606 markings, 5312653 edges, 11152 markings/sec, 160 secs
lola: 1957684 markings, 5475196 edges, 11216 markings/sec, 165 secs
lola: 2013392 markings, 5637058 edges, 11142 markings/sec, 170 secs
lola: 2069196 markings, 5801952 edges, 11161 markings/sec, 175 secs
lola: 2123047 markings, 5961779 edges, 10770 markings/sec, 180 secs
lola: 2165111 markings, 6074868 edges, 8413 markings/sec, 185 secs
lola: 2204615 markings, 6178508 edges, 7901 markings/sec, 190 secs
lola: 2243842 markings, 6284438 edges, 7845 markings/sec, 195 secs
lola: 2290957 markings, 6416605 edges, 9423 markings/sec, 200 secs
lola: 2334699 markings, 6542807 edges, 8748 markings/sec, 205 secs
lola: 2386700 markings, 6700214 edges, 10400 markings/sec, 210 secs
lola: 2425867 markings, 6800534 edges, 7833 markings/sec, 215 secs
lola: 2462419 markings, 6905586 edges, 7310 markings/sec, 220 secs
lola: 2510023 markings, 7043733 edges, 9521 markings/sec, 225 secs
lola: 2566877 markings, 7213339 edges, 11371 markings/sec, 230 secs
lola: 2616860 markings, 7360884 edges, 9997 markings/sec, 235 secs
lola: 2673389 markings, 7529331 edges, 11306 markings/sec, 240 secs
lola: 2724217 markings, 7681006 edges, 10166 markings/sec, 245 secs
lola: 2779846 markings, 7845565 edges, 11126 markings/sec, 250 secs
lola: 2835520 markings, 8008997 edges, 11135 markings/sec, 255 secs
lola: 2888130 markings, 8167425 edges, 10522 markings/sec, 260 secs
lola: 2936223 markings, 8309278 edges, 9619 markings/sec, 265 secs
lola: 2986772 markings, 8458040 edges, 10110 markings/sec, 270 secs
lola: 3036114 markings, 8606338 edges, 9868 markings/sec, 275 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown 50 unknown 50 50 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 156372 KB
lola: time consumption: 746 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 51 markings, 50 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-7 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_39)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 44 markings, 43 edges

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CAPACITE)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CAPACITE)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: SUBRESULT
lola: result: 50
lola: produced by: state space
lola: The maximum value of the given expression is 50
lola: 0 markings, 0 edges

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-9 50 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 403 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_38)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 39 markings, 38 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 470 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_23)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 24 markings, 23 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 564 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_A_34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_A_34)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 35 markings, 34 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 705 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_4)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 5 markings, 4 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 941 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_47)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 52 markings, 51 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_5)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 14 markings, 13 edges

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2823 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(VIDANGE_1 + VIDANGE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(VIDANGE_1 + VIDANGE_2)
lola: processed formula length: 26
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 4 markings, 3 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V50P50N10-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V50P50N10-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: 50
lola: 37252 markings, 75560 edges, 7450 markings/sec, 0 secs
lola: 73331 markings, 162438 edges, 7216 markings/sec, 5 secs
lola: 111829 markings, 253914 edges, 7700 markings/sec, 10 secs
lola: 150741 markings, 343872 edges, 7782 markings/sec, 15 secs
lola: 190934 markings, 439817 edges, 8039 markings/sec, 20 secs
lola: 230722 markings, 532475 edges, 7958 markings/sec, 25 secs
lola: 271829 markings, 630517 edges, 8221 markings/sec, 30 secs
lola: 310273 markings, 716019 edges, 7689 markings/sec, 35 secs
lola: 349058 markings, 801595 edges, 7757 markings/sec, 40 secs
lola: 386547 markings, 889499 edges, 7498 markings/sec, 45 secs
lola: 426431 markings, 984587 edges, 7977 markings/sec, 50 secs
lola: 465627 markings, 1077430 edges, 7839 markings/sec, 55 secs
lola: 505860 markings, 1172764 edges, 8047 markings/sec, 60 secs
lola: 545508 markings, 1266349 edges, 7930 markings/sec, 65 secs
lola: 584433 markings, 1358256 edges, 7785 markings/sec, 70 secs
lola: 624079 markings, 1451858 edges, 7929 markings/sec, 75 secs
lola: 663166 markings, 1544319 edges, 7817 markings/sec, 80 secs
lola: 701547 markings, 1634796 edges, 7676 markings/sec, 85 secs
lola: 741319 markings, 1729635 edges, 7954 markings/sec, 90 secs
lola: 777023 markings, 1806604 edges, 7141 markings/sec, 95 secs
lola: 815536 markings, 1893440 edges, 7703 markings/sec, 100 secs
lola: 854178 markings, 1986837 edges, 7728 markings/sec, 105 secs
lola: 893101 markings, 2082603 edges, 7785 markings/sec, 110 secs
lola: 930850 markings, 2172690 edges, 7550 markings/sec, 115 secs
lola: 970362 markings, 2269294 edges, 7902 markings/sec, 120 secs
lola: 1008696 markings, 2362245 edges, 7667 markings/sec, 125 secs
lola: 1046603 markings, 2452558 edges, 7581 markings/sec, 130 secs
lola: 1085812 markings, 2548542 edges, 7842 markings/sec, 135 secs
lola: 1124069 markings, 2642423 edges, 7651 markings/sec, 140 secs
lola: 1160748 markings, 2729272 edges, 7336 markings/sec, 145 secs
lola: 1200178 markings, 2824482 edges, 7886 markings/sec, 150 secs
lola: 1238669 markings, 2917990 edges, 7698 markings/sec, 155 secs
lola: 1275964 markings, 3009233 edges, 7459 markings/sec, 160 secs
lola: 1313149 markings, 3098759 edges, 7437 markings/sec, 165 secs
lola: 1350820 markings, 3188622 edges, 7534 markings/sec, 170 secs
lola: 1386417 markings, 3269036 edges, 7119 markings/sec, 175 secs
lola: 1420778 markings, 3346356 edges, 6872 markings/sec, 180 secs
lola: 1458382 markings, 3433217 edges, 7521 markings/sec, 185 secs
lola: 1494517 markings, 3521126 edges, 7227 markings/sec, 190 secs
lola: 1530995 markings, 3611226 edges, 7296 markings/sec, 195 secs
lola: 1568382 markings, 3703234 edges, 7477 markings/sec, 200 secs
lola: 1601160 markings, 3783493 edges, 6556 markings/sec, 205 secs
lola: 1637667 markings, 3871801 edges, 7301 markings/sec, 210 secs
lola: 1671505 markings, 3955402 edges, 6768 markings/sec, 215 secs
lola: 1709437 markings, 4048517 edges, 7586 markings/sec, 220 secs
lola: 1746935 markings, 4140771 edges, 7500 markings/sec, 225 secs
lola: 1786331 markings, 4237314 edges, 7879 markings/sec, 230 secs
lola: 1822160 markings, 4326089 edges, 7166 markings/sec, 235 secs
lola: 1861789 markings, 4423400 edges, 7926 markings/sec, 240 secs
lola: 1897403 markings, 4510907 edges, 7123 markings/sec, 245 secs
lola: 1937280 markings, 4607816 edges, 7975 markings/sec, 250 secs
lola: 1975468 markings, 4703107 edges, 7638 markings/sec, 255 secs
lola: 2012508 markings, 4793035 edges, 7408 markings/sec, 260 secs
lola: 2051598 markings, 4889716 edges, 7818 markings/sec, 265 secs
lola: 2089169 markings, 4982793 edges, 7514 markings/sec, 270 secs
lola: 2126639 markings, 5073574 edges, 7494 markings/sec, 275 secs
lola: 2159486 markings, 5146435 edges, 6569 markings/sec, 280 secs
lola: 2195121 markings, 5230871 edges, 7127 markings/sec, 285 secs
lola: 2230492 markings, 5311878 edges, 7074 markings/sec, 290 secs
lola: 2264475 markings, 5388959 edges, 6797 markings/sec, 295 secs
lola: 2303747 markings, 5482570 edges, 7854 markings/sec, 300 secs
lola: 2340987 markings, 5576516 edges, 7448 markings/sec, 305 secs
lola: 2376501 markings, 5665358 edges, 7103 markings/sec, 310 secs
lola: 2416810 markings, 5764535 edges, 8062 markings/sec, 315 secs
lola: 2452956 markings, 5853589 edges, 7229 markings/sec, 320 secs
lola: 2490095 markings, 5947205 edges, 7428 markings/sec, 325 secs
lola: 2527508 markings, 6037686 edges, 7483 markings/sec, 330 secs
lola: 2562571 markings, 6126411 edges, 7013 markings/sec, 335 secs
lola: 2603266 markings, 6226316 edges, 8139 markings/sec, 340 secs
lola: 2639509 markings, 6316348 edges, 7249 markings/sec, 345 secs
lola: 2677045 markings, 6408362 edges, 7507 markings/sec, 350 secs
lola: 2714710 markings, 6503142 edges, 7533 markings/sec, 355 secs
lola: 2752759 markings, 6598189 edges, 7610 markings/sec, 360 secs
lola: 2790504 markings, 6689824 edges, 7549 markings/sec, 365 secs
lola: 2827156 markings, 6782622 edges, 7330 markings/sec, 370 secs
lola: 2865964 markings, 6876963 edges, 7762 markings/sec, 375 secs
lola: 2904645 markings, 6974604 edges, 7736 markings/sec, 380 secs
lola: 2943790 markings, 7069636 edges, 7829 markings/sec, 385 secs
lola: 2982449 markings, 7167597 edges, 7732 markings/sec, 390 secs
lola: 3020188 markings, 7259307 edges, 7548 markings/sec, 395 secs
lola: 3057697 markings, 7353448 edges, 7502 markings/sec, 400 secs
lola: 3094351 markings, 7443710 edges, 7331 markings/sec, 405 secs
lola: 3124811 markings, 7512967 edges, 6092 markings/sec, 410 secs
lola: 3155602 markings, 7583964 edges, 6158 markings/sec, 415 secs
lola: 3192889 markings, 7673547 edges, 7457 markings/sec, 420 secs
lola: 3226026 markings, 7748861 edges, 6627 markings/sec, 425 secs
lola: 3261849 markings, 7833391 edges, 7165 markings/sec, 430 secs
lola: 3296994 markings, 7913826 edges, 7029 markings/sec, 435 secs
lola: 3336206 markings, 8008284 edges, 7842 markings/sec, 440 secs
lola: 3370585 markings, 8094416 edges, 6876 markings/sec, 445 secs
lola: 3403836 markings, 8179628 edges, 6650 markings/sec, 450 secs
lola: 3438460 markings, 8267318 edges, 6925 markings/sec, 455 secs
lola: 3475432 markings, 8358606 edges, 7394 markings/sec, 460 secs
lola: 3513205 markings, 8451369 edges, 7555 markings/sec, 465 secs
lola: 3552104 markings, 8550839 edges, 7780 markings/sec, 470 secs
lola: 3590029 markings, 8644154 edges, 7585 markings/sec, 475 secs
lola: 3627828 markings, 8737864 edges, 7560 markings/sec, 480 secs
lola: 3665823 markings, 8833535 edges, 7599 markings/sec, 485 secs
lola: 3702732 markings, 8925283 edges, 7382 markings/sec, 490 secs
lola: 3740847 markings, 9020482 edges, 7623 markings/sec, 495 secs
lola: 3777853 markings, 9111771 edges, 7401 markings/sec, 500 secs
lola: 3817615 markings, 9210038 edges, 7952 markings/sec, 505 secs
lola: 3853420 markings, 9301421 edges, 7161 markings/sec, 510 secs
lola: 3894459 markings, 9401780 edges, 8208 markings/sec, 515 secs
lola: 3930495 markings, 9492897 edges, 7207 markings/sec, 520 secs
lola: 3969856 markings, 9591712 edges, 7872 markings/sec, 525 secs
lola: 4008802 markings, 9686426 edges, 7789 markings/sec, 530 secs
lola: 4045591 markings, 9780516 edges, 7358 markings/sec, 535 secs
lola: 4086256 markings, 9881265 edges, 8133 markings/sec, 540 secs
lola: 4123465 markings, 9974389 edges, 7442 markings/sec, 545 secs
lola: 4163159 markings, 10071066 edges, 7939 markings/sec, 550 secs
lola: 4200197 markings, 10166175 edges, 7408 markings/sec, 555 secs
lola: 4238140 markings, 10260406 edges, 7589 markings/sec, 560 secs
lola: 4278104 markings, 10358849 edges, 7993 markings/sec, 565 secs
lola: 4310771 markings, 10434606 edges, 6533 markings/sec, 570 secs
lola: 4343211 markings, 10510137 edges, 6488 markings/sec, 575 secs
lola: 4380442 markings, 10597555 edges, 7446 markings/sec, 580 secs
lola: 4414090 markings, 10679260 edges, 6730 markings/sec, 585 secs
lola: 4446664 markings, 10755301 edges, 6515 markings/sec, 590 secs
lola: 4483187 markings, 10842702 edges, 7305 markings/sec, 595 secs
lola: 4515945 markings, 10918235 edges, 6552 markings/sec, 600 secs
lola: 4551754 markings, 11001580 edges, 7162 markings/sec, 605 secs
lola: 4589909 markings, 11093788 edges, 7631 markings/sec, 610 secs
lola: 4627830 markings, 11190403 edges, 7584 markings/sec, 615 secs
lola: 4667396 markings, 11289806 edges, 7913 markings/sec, 620 secs
lola: 4705177 markings, 11386212 edges, 7556 markings/sec, 625 secs
lola: 4744333 markings, 11481368 edges, 7831 markings/sec, 630 secs
lola: 4781463 markings, 11575422 edges, 7426 markings/sec, 635 secs
lola: 4817809 markings, 11667206 edges, 7269 markings/sec, 640 secs
lola: 4855014 markings, 11760989 edges, 7441 markings/sec, 645 secs
lola: 4893304 markings, 11856936 edges, 7658 markings/sec, 650 secs
lola: 4932323 markings, 11953064 edges, 7804 markings/sec, 655 secs
lola: 4970948 markings, 12052360 edges, 7725 markings/sec, 660 secs
lola: 5009312 markings, 12145606 edges, 7673 markings/sec, 665 secs
lola: 5046129 markings, 12239571 edges, 7363 markings/sec, 670 secs
lola: 5083458 markings, 12333593 edges, 7466 markings/sec, 675 secs
lola: 5123868 markings, 12431408 edges, 8082 markings/sec, 680 secs
lola: 5161501 markings, 12527599 edges, 7527 markings/sec, 685 secs
lola: 5197653 markings, 12619480 edges, 7230 markings/sec, 690 secs
lola: 5238642 markings, 12718952 edges, 8198 markings/sec, 695 secs
lola: 5276390 markings, 12815544 edges, 7550 markings/sec, 700 secs
lola: 5312423 markings, 12906979 edges, 7207 markings/sec, 705 secs
lola: 5353098 markings, 13005813 edges, 8135 markings/sec, 710 secs
lola: 5390398 markings, 13101486 edges, 7460 markings/sec, 715 secs
lola: 5428275 markings, 13197377 edges, 7575 markings/sec, 720 secs
lola: 5467000 markings, 13292287 edges, 7745 markings/sec, 725 secs
lola: 5502855 markings, 13383793 edges, 7171 markings/sec, 730 secs
lola: 5541969 markings, 13481974 edges, 7823 markings/sec, 735 secs
lola: 5578395 markings, 13572988 edges, 7285 markings/sec, 740 secs
lola: 5615274 markings, 13665829 edges, 7376 markings/sec, 745 secs
lola: 5651122 markings, 13751970 edges, 7170 markings/sec, 750 secs
lola: 5690119 markings, 13851294 edges, 7799 markings/sec, 755 secs
lola: 5721008 markings, 13924628 edges, 6178 markings/sec, 760 secs
lola: 5752456 markings, 13998834 edges, 6290 markings/sec, 765 secs
lola: 5783708 markings, 14071921 edges, 6250 markings/sec, 770 secs
lola: 5815994 markings, 14146231 edges, 6457 markings/sec, 775 secs
lola: 5852079 markings, 14236791 edges, 7217 markings/sec, 780 secs
lola: 5883261 markings, 14310875 edges, 6236 markings/sec, 785 secs
lola: 5914388 markings, 14383506 edges, 6225 markings/sec, 790 secs
lola: 5949487 markings, 14467325 edges, 7020 markings/sec, 795 secs
lola: 5979551 markings, 14539412 edges, 6013 markings/sec, 800 secs
lola: 6010828 markings, 14612348 edges, 6255 markings/sec, 805 secs
lola: 6042668 markings, 14687424 edges, 6368 markings/sec, 810 secs
lola: 6078129 markings, 14774148 edges, 7092 markings/sec, 815 secs
lola: 6112445 markings, 14856752 edges, 6863 markings/sec, 820 secs
lola: 6145424 markings, 14939021 edges, 6596 markings/sec, 825 secs
lola: 6179117 markings, 15025501 edges, 6739 markings/sec, 830 secs
lola: 6212220 markings, 15111433 edges, 6621 markings/sec, 835 secs
lola: 6245620 markings, 15194661 edges, 6680 markings/sec, 840 secs
lola: 6281603 markings, 15284326 edges, 7197 markings/sec, 845 secs
lola: 6317027 markings, 15373248 edges, 7085 markings/sec, 850 secs
lola: 6353125 markings, 15464467 edges, 7220 markings/sec, 855 secs
lola: 6391921 markings, 15562853 edges, 7759 markings/sec, 860 secs
lola: 6430815 markings, 15658231 edges, 7779 markings/sec, 865 secs
lola: 6465911 markings, 15747393 edges, 7019 markings/sec, 870 secs
lola: 6498766 markings, 15831482 edges, 6571 markings/sec, 875 secs
lola: 6533723 markings, 15918401 edges, 6991 markings/sec, 880 secs
lola: 6568198 markings, 16002074 edges, 6895 markings/sec, 885 secs
lola: 6600860 markings, 16084200 edges, 6532 markings/sec, 890 secs
lola: 6634141 markings, 16170440 edges, 6656 markings/sec, 895 secs
lola: 6667713 markings, 16256413 edges, 6714 markings/sec, 900 secs
lola: 6701948 markings, 16336685 edges, 6847 markings/sec, 905 secs
lola: 6738075 markings, 16429302 edges, 7225 markings/sec, 910 secs
lola: 6774497 markings, 16523637 edges, 7284 markings/sec, 915 secs
lola: 6807947 markings, 16608406 edges, 6690 markings/sec, 920 secs
lola: 6841030 markings, 16687788 edges, 6617 markings/sec, 925 secs
lola: 6874997 markings, 16773743 edges, 6793 markings/sec, 930 secs
lola: 6908017 markings, 16859509 edges, 6604 markings/sec, 935 secs
lola: 6941158 markings, 16942410 edges, 6628 markings/sec, 940 secs
lola: 6974369 markings, 17023905 edges, 6642 markings/sec, 945 secs
lola: 7008722 markings, 17111169 edges, 6871 markings/sec, 950 secs
lola: 7042781 markings, 17198263 edges, 6812 markings/sec, 955 secs
lola: 7077632 markings, 17285329 edges, 6970 markings/sec, 960 secs
lola: 7114861 markings, 17379610 edges, 7446 markings/sec, 965 secs
lola: 7152376 markings, 17473203 edges, 7503 markings/sec, 970 secs
lola: 7185692 markings, 17557440 edges, 6663 markings/sec, 975 secs
lola: 7219265 markings, 17640001 edges, 6715 markings/sec, 980 secs
lola: 7252361 markings, 17724496 edges, 6619 markings/sec, 985 secs
lola: 7288246 markings, 17816252 edges, 7177 markings/sec, 990 secs
lola: 7327489 markings, 17906587 edges, 7849 markings/sec, 995 secs
lola: 7363726 markings, 18003126 edges, 7247 markings/sec, 1000 secs
lola: 7395571 markings, 18079151 edges, 6369 markings/sec, 1005 secs
lola: 7427349 markings, 18154723 edges, 6356 markings/sec, 1010 secs
lola: 7459269 markings, 18230757 edges, 6384 markings/sec, 1015 secs
lola: 7491061 markings, 18305925 edges, 6358 markings/sec, 1020 secs
lola: 7523450 markings, 18381116 edges, 6478 markings/sec, 1025 secs
lola: 7560049 markings, 18473396 edges, 7320 markings/sec, 1030 secs
lola: 7587665 markings, 18539514 edges, 5523 markings/sec, 1035 secs
lola: 7615772 markings, 18605168 edges, 5621 markings/sec, 1040 secs
lola: 7643432 markings, 18671786 edges, 5532 markings/sec, 1045 secs
lola: 7671715 markings, 18738564 edges, 5657 markings/sec, 1050 secs
lola: 7705605 markings, 18821528 edges, 6778 markings/sec, 1055 secs
lola: 7735108 markings, 18891309 edges, 5901 markings/sec, 1060 secs
lola: 7763000 markings, 18957075 edges, 5578 markings/sec, 1065 secs
lola: 7794362 markings, 19031557 edges, 6272 markings/sec, 1070 secs
lola: 7823398 markings, 19099046 edges, 5807 markings/sec, 1075 secs
lola: 7861032 markings, 19192215 edges, 7527 markings/sec, 1080 secs
lola: 7899381 markings, 19284931 edges, 7670 markings/sec, 1085 secs
lola: 7935197 markings, 19374089 edges, 7163 markings/sec, 1090 secs
lola: 7967583 markings, 19458243 edges, 6477 markings/sec, 1095 secs
lola: 8002642 markings, 19549056 edges, 7012 markings/sec, 1100 secs
lola: 8037266 markings, 19634121 edges, 6925 markings/sec, 1105 secs
lola: 8066980 markings, 19704812 edges, 5943 markings/sec, 1110 secs
lola: 8103388 markings, 19800936 edges, 7282 markings/sec, 1115 secs
lola: 8141641 markings, 19897448 edges, 7651 markings/sec, 1120 secs
lola: 8178343 markings, 19989344 edges, 7340 markings/sec, 1125 secs
lola: 8217393 markings, 20086870 edges, 7810 markings/sec, 1130 secs
lola: 8253155 markings, 20171394 edges, 7152 markings/sec, 1135 secs
lola: 8287178 markings, 20262930 edges, 6805 markings/sec, 1140 secs
lola: 8323629 markings, 20355272 edges, 7290 markings/sec, 1145 secs
lola: 8359469 markings, 20446073 edges, 7168 markings/sec, 1150 secs
lola: 8395471 markings, 20535343 edges, 7200 markings/sec, 1155 secs
lola: 8431024 markings, 20620054 edges, 7111 markings/sec, 1160 secs
lola: 8465828 markings, 20708871 edges, 6961 markings/sec, 1165 secs
lola: 8502999 markings, 20804332 edges, 7434 markings/sec, 1170 secs
lola: 8538549 markings, 20896228 edges, 7110 markings/sec, 1175 secs
lola: 8572610 markings, 20980125 edges, 6812 markings/sec, 1180 secs
lola: 8611785 markings, 21077508 edges, 7835 markings/sec, 1185 secs
lola: 8648248 markings, 21170472 edges, 7293 markings/sec, 1190 secs
lola: 8682590 markings, 21257162 edges, 6868 markings/sec, 1195 secs
lola: 8720070 markings, 21351255 edges, 7496 markings/sec, 1200 secs
lola: 8756490 markings, 21438690 edges, 7284 markings/sec, 1205 secs
lola: 8792293 markings, 21529564 edges, 7161 markings/sec, 1210 secs
lola: 8828063 markings, 21622623 edges, 7154 markings/sec, 1215 secs
lola: 8865076 markings, 21714861 edges, 7403 markings/sec, 1220 secs
lola: 8900444 markings, 21798852 edges, 7074 markings/sec, 1225 secs
lola: 8935918 markings, 21891245 edges, 7095 markings/sec, 1230 secs
lola: 8975012 markings, 21991671 edges, 7819 markings/sec, 1235 secs
lola: 9013302 markings, 22087080 edges, 7658 markings/sec, 1240 secs
lola: 9046989 markings, 22167077 edges, 6737 markings/sec, 1245 secs
lola: 9077746 markings, 22249714 edges, 6151 markings/sec, 1250 secs
lola: 9111289 markings, 22333543 edges, 6709 markings/sec, 1255 secs
lola: 9145208 markings, 22421098 edges, 6784 markings/sec, 1260 secs
lola: 9179261 markings, 22501441 edges, 6811 markings/sec, 1265 secs
lola: 9216834 markings, 22599296 edges, 7515 markings/sec, 1270 secs
lola: 9256133 markings, 22698362 edges, 7860 markings/sec, 1275 secs
lola: 9293627 markings, 22792492 edges, 7499 markings/sec, 1280 secs
lola: 9332554 markings, 22883875 edges, 7785 markings/sec, 1285 secs
lola: 9368087 markings, 22977379 edges, 7107 markings/sec, 1290 secs
lola: 9401054 markings, 23054251 edges, 6593 markings/sec, 1295 secs
lola: 9434268 markings, 23134143 edges, 6643 markings/sec, 1300 secs
lola: 9465243 markings, 23209167 edges, 6195 markings/sec, 1305 secs
lola: 9495086 markings, 23280560 edges, 5969 markings/sec, 1310 secs
lola: 9523881 markings, 23348188 edges, 5759 markings/sec, 1315 secs
lola: 9553931 markings, 23419448 edges, 6010 markings/sec, 1320 secs
lola: 9582480 markings, 23488637 edges, 5710 markings/sec, 1325 secs
lola: 9610944 markings, 23555852 edges, 5693 markings/sec, 1330 secs
lola: 9648703 markings, 23649929 edges, 7552 markings/sec, 1335 secs
lola: 9679149 markings, 23722833 edges, 6089 markings/sec, 1340 secs
lola: 9708439 markings, 23793185 edges, 5858 markings/sec, 1345 secs
lola: 9736963 markings, 23859842 edges, 5705 markings/sec, 1350 secs
lola: 9765969 markings, 23930211 edges, 5801 markings/sec, 1355 secs
lola: 9797450 markings, 24005056 edges, 6296 markings/sec, 1360 secs
lola: 9829517 markings, 24080819 edges, 6413 markings/sec, 1365 secs
lola: 9867840 markings, 24174757 edges, 7665 markings/sec, 1370 secs
lola: 9899655 markings, 24250963 edges, 6363 markings/sec, 1375 secs
lola: 9931800 markings, 24327086 edges, 6429 markings/sec, 1380 secs
lola: 9963616 markings, 24402491 edges, 6363 markings/sec, 1385 secs
lola: 9998075 markings, 24485163 edges, 6892 markings/sec, 1390 secs
lola: 10031567 markings, 24564412 edges, 6698 markings/sec, 1395 secs
lola: 10061973 markings, 24637203 edges, 6081 markings/sec, 1400 secs
lola: 10094073 markings, 24711954 edges, 6420 markings/sec, 1405 secs
lola: 10131994 markings, 24812549 edges, 7584 markings/sec, 1410 secs
lola: 10169410 markings, 24905989 edges, 7483 markings/sec, 1415 secs
lola: 10205478 markings, 24998329 edges, 7214 markings/sec, 1420 secs
lola: 10238864 markings, 25084305 edges, 6677 markings/sec, 1425 secs
lola: 10273815 markings, 25172622 edges, 6990 markings/sec, 1430 secs
lola: 10310169 markings, 25258519 edges, 7271 markings/sec, 1435 secs
lola: 10342886 markings, 25345846 edges, 6543 markings/sec, 1440 secs
lola: 10380876 markings, 25442503 edges, 7598 markings/sec, 1445 secs
lola: 10416295 markings, 25531660 edges, 7084 markings/sec, 1450 secs
lola: 10454350 markings, 25627670 edges, 7611 markings/sec, 1455 secs
lola: 10484156 markings, 25700618 edges, 5961 markings/sec, 1460 secs
lola: 10524840 markings, 25805019 edges, 8137 markings/sec, 1465 secs
lola: 10561564 markings, 25897427 edges, 7345 markings/sec, 1470 secs
lola: 10597271 markings, 25989204 edges, 7141 markings/sec, 1475 secs
lola: 10633965 markings, 26082715 edges, 7339 markings/sec, 1480 secs
lola: 10664867 markings, 26159709 edges, 6180 markings/sec, 1485 secs
lola: 10703280 markings, 26254157 edges, 7683 markings/sec, 1490 secs
lola: 10738942 markings, 26343830 edges, 7132 markings/sec, 1495 secs
lola: 10772237 markings, 26429343 edges, 6659 markings/sec, 1500 secs
lola: 10803263 markings, 26510370 edges, 6205 markings/sec, 1505 secs
lola: 10834928 markings, 26590305 edges, 6333 markings/sec, 1510 secs
lola: 10871063 markings, 26676255 edges, 7227 markings/sec, 1515 secs
lola: 10904992 markings, 26763298 edges, 6786 markings/sec, 1520 secs
lola: 10941278 markings, 26856681 edges, 7257 markings/sec, 1525 secs
lola: 10974560 markings, 26943337 edges, 6656 markings/sec, 1530 secs
lola: 11005935 markings, 27022609 edges, 6275 markings/sec, 1535 secs
lola: 11039574 markings, 27102240 edges, 6728 markings/sec, 1540 secs
lola: 11071381 markings, 27185974 edges, 6361 markings/sec, 1545 secs
lola: 11108260 markings, 27279980 edges, 7376 markings/sec, 1550 secs
lola: 11143764 markings, 27370638 edges, 7101 markings/sec, 1555 secs
lola: 11174739 markings, 27448962 edges, 6195 markings/sec, 1560 secs
lola: 11209381 markings, 27532249 edges, 6928 markings/sec, 1565 secs
lola: 11241688 markings, 27613751 edges, 6461 markings/sec, 1570 secs
lola: 11278807 markings, 27709963 edges, 7424 markings/sec, 1575 secs
lola: 11316220 markings, 27806642 edges, 7483 markings/sec, 1580 secs
lola: 11347844 markings, 27881694 edges, 6325 markings/sec, 1585 secs
lola: 11387213 markings, 27984637 edges, 7874 markings/sec, 1590 secs
lola: 11424600 markings, 28079956 edges, 7477 markings/sec, 1595 secs
lola: 11462483 markings, 28176571 edges, 7577 markings/sec, 1600 secs
lola: 11494506 markings, 28255304 edges, 6405 markings/sec, 1605 secs
lola: 11534680 markings, 28357177 edges, 8035 markings/sec, 1610 secs
lola: 11571698 markings, 28451773 edges, 7404 markings/sec, 1615 secs
lola: 11609227 markings, 28547261 edges, 7506 markings/sec, 1620 secs
lola: 11641101 markings, 28625354 edges, 6375 markings/sec, 1625 secs
lola: 11684890 markings, 28732371 edges, 8758 markings/sec, 1630 secs
lola: 11717281 markings, 28814316 edges, 6478 markings/sec, 1635 secs
lola: 11747713 markings, 28888444 edges, 6086 markings/sec, 1640 secs
lola: 11778103 markings, 28962210 edges, 6078 markings/sec, 1645 secs
lola: 11808570 markings, 29035740 edges, 6093 markings/sec, 1650 secs
lola: 11838917 markings, 29108289 edges, 6069 markings/sec, 1655 secs
lola: 11869501 markings, 29182318 edges, 6117 markings/sec, 1660 secs
lola: 11899776 markings, 29256167 edges, 6055 markings/sec, 1665 secs
lola: 11930116 markings, 29328917 edges, 6068 markings/sec, 1670 secs
lola: 11965925 markings, 29410976 edges, 7162 markings/sec, 1675 secs
lola: 12001570 markings, 29504573 edges, 7129 markings/sec, 1680 secs
lola: 12031073 markings, 29575544 edges, 5901 markings/sec, 1685 secs
lola: 12060481 markings, 29647105 edges, 5882 markings/sec, 1690 secs
lola: 12090075 markings, 29717998 edges, 5919 markings/sec, 1695 secs
lola: 12119607 markings, 29788945 edges, 5906 markings/sec, 1700 secs
lola: 12148384 markings, 29858806 edges, 5755 markings/sec, 1705 secs
lola: 12176952 markings, 29927622 edges, 5714 markings/sec, 1710 secs
lola: 12213118 markings, 30016018 edges, 7233 markings/sec, 1715 secs
lola: 12241721 markings, 30085398 edges, 5721 markings/sec, 1720 secs
lola: 12271236 markings, 30155647 edges, 5903 markings/sec, 1725 secs
lola: 12301529 markings, 30228757 edges, 6059 markings/sec, 1730 secs
lola: 12335202 markings, 30308194 edges, 6735 markings/sec, 1735 secs
lola: 12367311 markings, 30386451 edges, 6422 markings/sec, 1740 secs
lola: 12401507 markings, 30467083 edges, 6839 markings/sec, 1745 secs
lola: 12435313 markings, 30552022 edges, 6761 markings/sec, 1750 secs
lola: 12466466 markings, 30624937 edges, 6231 markings/sec, 1755 secs
lola: 12508801 markings, 30734562 edges, 8467 markings/sec, 1760 secs
lola: 12547212 markings, 30829202 edges, 7682 markings/sec, 1765 secs
lola: 12584025 markings, 30922482 edges, 7363 markings/sec, 1770 secs
lola: 12620855 markings, 31018703 edges, 7366 markings/sec, 1775 secs
lola: 12657116 markings, 31109307 edges, 7252 markings/sec, 1780 secs
lola: 12687438 markings, 31182316 edges, 6064 markings/sec, 1785 secs
lola: 12730475 markings, 31292369 edges, 8607 markings/sec, 1790 secs
lola: 12768864 markings, 31387076 edges, 7678 markings/sec, 1795 secs
lola: 12806155 markings, 31481923 edges, 7458 markings/sec, 1800 secs
lola: 12842019 markings, 31575373 edges, 7173 markings/sec, 1805 secs
lola: 12878073 markings, 31665563 edges, 7211 markings/sec, 1810 secs
lola: 12913883 markings, 31747546 edges, 7162 markings/sec, 1815 secs
lola: 12951310 markings, 31847910 edges, 7485 markings/sec, 1820 secs
lola: 12990455 markings, 31946211 edges, 7829 markings/sec, 1825 secs
lola: 13027281 markings, 32040402 edges, 7365 markings/sec, 1830 secs
lola: 13063927 markings, 32133641 edges, 7329 markings/sec, 1835 secs
lola: 13095804 markings, 32212063 edges, 6375 markings/sec, 1840 secs
lola: 13135678 markings, 32308262 edges, 7975 markings/sec, 1845 secs
lola: 13169791 markings, 32394548 edges, 6823 markings/sec, 1850 secs
lola: 13207411 markings, 32492764 edges, 7524 markings/sec, 1855 secs
lola: 13245089 markings, 32587828 edges, 7536 markings/sec, 1860 secs
lola: 13280680 markings, 32677134 edges, 7118 markings/sec, 1865 secs
lola: 13313676 markings, 32753855 edges, 6599 markings/sec, 1870 secs
lola: 13352880 markings, 32857214 edges, 7841 markings/sec, 1875 secs
lola: 13391018 markings, 32953554 edges, 7628 markings/sec, 1880 secs
lola: 13425926 markings, 33042779 edges, 6982 markings/sec, 1885 secs
lola: 13462913 markings, 33134916 edges, 7397 markings/sec, 1890 secs
lola: 13493082 markings, 33209264 edges, 6034 markings/sec, 1895 secs
lola: 13533623 markings, 33310763 edges, 8108 markings/sec, 1900 secs
lola: 13569941 markings, 33401345 edges, 7264 markings/sec, 1905 secs
lola: 13606628 markings, 33495847 edges, 7337 markings/sec, 1910 secs
lola: 13642216 markings, 33587109 edges, 7118 markings/sec, 1915 secs
lola: 13669407 markings, 33653921 edges, 5438 markings/sec, 1920 secs
lola: 13705776 markings, 33741886 edges, 7274 markings/sec, 1925 secs
lola: 13735650 markings, 33817612 edges, 5975 markings/sec, 1930 secs
lola: 13769895 markings, 33907173 edges, 6849 markings/sec, 1935 secs
lola: 13803291 markings, 33991695 edges, 6679 markings/sec, 1940 secs
lola: 13837549 markings, 34077004 edges, 6852 markings/sec, 1945 secs
lola: 13875752 markings, 34167521 edges, 7641 markings/sec, 1950 secs
lola: 13910821 markings, 34257829 edges, 7014 markings/sec, 1955 secs
lola: 13949656 markings, 34356885 edges, 7767 markings/sec, 1960 secs
lola: 13987442 markings, 34455096 edges, 7557 markings/sec, 1965 secs
lola: 14017901 markings, 34529314 edges, 6092 markings/sec, 1970 secs
lola: 14058174 markings, 34630364 edges, 8055 markings/sec, 1975 secs
lola: 14095556 markings, 34724703 edges, 7476 markings/sec, 1980 secs
lola: 14130747 markings, 34814853 edges, 7038 markings/sec, 1985 secs
lola: 14165572 markings, 34901947 edges, 6965 markings/sec, 1990 secs
lola: 14202301 markings, 34984215 edges, 7346 markings/sec, 1995 secs
lola: 14240624 markings, 35086355 edges, 7665 markings/sec, 2000 secs
lola: 14271130 markings, 35161552 edges, 6101 markings/sec, 2005 secs
lola: 14301058 markings, 35232948 edges, 5986 markings/sec, 2010 secs
lola: 14331080 markings, 35304456 edges, 6004 markings/sec, 2015 secs
lola: 14360417 markings, 35374365 edges, 5867 markings/sec, 2020 secs
lola: 14389867 markings, 35444714 edges, 5890 markings/sec, 2025 secs
lola: 14419619 markings, 35515914 edges, 5950 markings/sec, 2030 secs
lola: 14449924 markings, 35588540 edges, 6061 markings/sec, 2035 secs
lola: 14479720 markings, 35660283 edges, 5959 markings/sec, 2040 secs
lola: 14509872 markings, 35732566 edges, 6030 markings/sec, 2045 secs
lola: 14539947 markings, 35804183 edges, 6015 markings/sec, 2050 secs
lola: 14579705 markings, 35899272 edges, 7952 markings/sec, 2055 secs
lola: 14608467 markings, 35971512 edges, 5752 markings/sec, 2060 secs
lola: 14635227 markings, 36035909 edges, 5352 markings/sec, 2065 secs
lola: 14661918 markings, 36100191 edges, 5338 markings/sec, 2070 secs
lola: 14688701 markings, 36164481 edges, 5357 markings/sec, 2075 secs
lola: 14715386 markings, 36228313 edges, 5337 markings/sec, 2080 secs
lola: 14742663 markings, 36291769 edges, 5455 markings/sec, 2085 secs
lola: 14769334 markings, 36356454 edges, 5334 markings/sec, 2090 secs
lola: 14797240 markings, 36422923 edges, 5581 markings/sec, 2095 secs
lola: 14829385 markings, 36498088 edges, 6429 markings/sec, 2100 secs
lola: 14859894 markings, 36574836 edges, 6102 markings/sec, 2105 secs
lola: 14886587 markings, 36639137 edges, 5339 markings/sec, 2110 secs
lola: 14913555 markings, 36703391 edges, 5394 markings/sec, 2115 secs
lola: 14940382 markings, 36766948 edges, 5365 markings/sec, 2120 secs
lola: 14967348 markings, 36830232 edges, 5393 markings/sec, 2125 secs
lola: 14998612 markings, 36905400 edges, 6253 markings/sec, 2130 secs
lola: 15026337 markings, 36971059 edges, 5545 markings/sec, 2135 secs
lola: 15055188 markings, 37038407 edges, 5770 markings/sec, 2140 secs
lola: 15091260 markings, 37127315 edges, 7214 markings/sec, 2145 secs
lola: 15119320 markings, 37196524 edges, 5612 markings/sec, 2150 secs
lola: 15156438 markings, 37280530 edges, 7424 markings/sec, 2155 secs
lola: 15191947 markings, 37378195 edges, 7102 markings/sec, 2160 secs
lola: 15229285 markings, 37469775 edges, 7468 markings/sec, 2165 secs
lola: 15263696 markings, 37556724 edges, 6882 markings/sec, 2170 secs
lola: 15299789 markings, 37650235 edges, 7219 markings/sec, 2175 secs
lola: 15336790 markings, 37745606 edges, 7400 markings/sec, 2180 secs
lola: 15365376 markings, 37815220 edges, 5717 markings/sec, 2185 secs
lola: 15403611 markings, 37903792 edges, 7647 markings/sec, 2190 secs
lola: 15438410 markings, 37998233 edges, 6960 markings/sec, 2195 secs
lola: 15477076 markings, 38094304 edges, 7733 markings/sec, 2200 secs
lola: 15513140 markings, 38185399 edges, 7213 markings/sec, 2205 secs
lola: 15548413 markings, 38277410 edges, 7055 markings/sec, 2210 secs
lola: 15583065 markings, 38363006 edges, 6930 markings/sec, 2215 secs
lola: 15612379 markings, 38434235 edges, 5863 markings/sec, 2220 secs
lola: 15654260 markings, 38537848 edges, 8376 markings/sec, 2225 secs
lola: 15688379 markings, 38622793 edges, 6824 markings/sec, 2230 secs
lola: 15725272 markings, 38720471 edges, 7379 markings/sec, 2235 secs
lola: 15761459 markings, 38812771 edges, 7237 markings/sec, 2240 secs
lola: 15799562 markings, 38909089 edges, 7621 markings/sec, 2245 secs
lola: 15828647 markings, 38979758 edges, 5817 markings/sec, 2250 secs
lola: 15868710 markings, 39073979 edges, 8013 markings/sec, 2255 secs
lola: 15903229 markings, 39166468 edges, 6904 markings/sec, 2260 secs
lola: 15943626 markings, 39269389 edges, 8079 markings/sec, 2265 secs
lola: 15980413 markings, 39363186 edges, 7357 markings/sec, 2270 secs
lola: 16018777 markings, 39459448 edges, 7673 markings/sec, 2275 secs
lola: 16048258 markings, 39531558 edges, 5896 markings/sec, 2280 secs
lola: 16088115 markings, 39626770 edges, 7971 markings/sec, 2285 secs
lola: 16121311 markings, 39714414 edges, 6639 markings/sec, 2290 secs
lola: 16161031 markings, 39816133 edges, 7944 markings/sec, 2295 secs
lola: 16197151 markings, 39907676 edges, 7224 markings/sec, 2300 secs
lola: 16233840 markings, 39998137 edges, 7338 markings/sec, 2305 secs
lola: 16263796 markings, 40072396 edges, 5991 markings/sec, 2310 secs
lola: 16305544 markings, 40175867 edges, 8350 markings/sec, 2315 secs
lola: 16341959 markings, 40265522 edges, 7283 markings/sec, 2320 secs
lola: 16378237 markings, 40359518 edges, 7256 markings/sec, 2325 secs
lola: 16414306 markings, 40454099 edges, 7214 markings/sec, 2330 secs
lola: 16448508 markings, 40538221 edges, 6840 markings/sec, 2335 secs
lola: 16484957 markings, 40621241 edges, 7290 markings/sec, 2340 secs
lola: 16521089 markings, 40720046 edges, 7226 markings/sec, 2345 secs
lola: 16559403 markings, 40816369 edges, 7663 markings/sec, 2350 secs
lola: 16594181 markings, 40905776 edges, 6956 markings/sec, 2355 secs
lola: 16628491 markings, 40990079 edges, 6862 markings/sec, 2360 secs
lola: 16657809 markings, 41062136 edges, 5864 markings/sec, 2365 secs
lola: 16698441 markings, 41163405 edges, 8126 markings/sec, 2370 secs
lola: 16734487 markings, 41253549 edges, 7209 markings/sec, 2375 secs
lola: 16770542 markings, 41346997 edges, 7211 markings/sec, 2380 secs
lola: 16806629 markings, 41440665 edges, 7217 markings/sec, 2385 secs
lola: 16835632 markings, 41510535 edges, 5801 markings/sec, 2390 secs
lola: 16872488 markings, 41599468 edges, 7371 markings/sec, 2395 secs
lola: 16901736 markings, 41675836 edges, 5850 markings/sec, 2400 secs
lola: 16937259 markings, 41767060 edges, 7105 markings/sec, 2405 secs
lola: 16970110 markings, 41851013 edges, 6570 markings/sec, 2410 secs
lola: 17000550 markings, 41926168 edges, 6088 markings/sec, 2415 secs
lola: 17028453 markings, 41988665 edges, 5581 markings/sec, 2420 secs
lola: 17069470 markings, 42092260 edges, 8203 markings/sec, 2425 secs
lola: 17098962 markings, 42168727 edges, 5898 markings/sec, 2430 secs
lola: 17124977 markings, 42231571 edges, 5203 markings/sec, 2435 secs
lola: 17151552 markings, 42293484 edges, 5315 markings/sec, 2440 secs
lola: 17178115 markings, 42356068 edges, 5313 markings/sec, 2445 secs
lola: 17204232 markings, 42419987 edges, 5223 markings/sec, 2450 secs
lola: 17230498 markings, 42481599 edges, 5253 markings/sec, 2455 secs
lola: 17257088 markings, 42543438 edges, 5318 markings/sec, 2460 secs
lola: 17283691 markings, 42606381 edges, 5321 markings/sec, 2465 secs
lola: 17309808 markings, 42669837 edges, 5223 markings/sec, 2470 secs
lola: 17336040 markings, 42732015 edges, 5246 markings/sec, 2475 secs
lola: 17362519 markings, 42794008 edges, 5296 markings/sec, 2480 secs
lola: 17388894 markings, 42856080 edges, 5275 markings/sec, 2485 secs
lola: 17415148 markings, 42917164 edges, 5251 markings/sec, 2490 secs
lola: 17442385 markings, 42981489 edges, 5447 markings/sec, 2495 secs
lola: 17480974 markings, 43078461 edges, 7718 markings/sec, 2500 secs
lola: 17508465 markings, 43146025 edges, 5498 markings/sec, 2505 secs
lola: 17534889 markings, 43208293 edges, 5285 markings/sec, 2510 secs
lola: 17562732 markings, 43274478 edges, 5569 markings/sec, 2515 secs
lola: 17589046 markings, 43336413 edges, 5263 markings/sec, 2520 secs
lola: 17615667 markings, 43399737 edges, 5324 markings/sec, 2525 secs
lola: 17642115 markings, 43462596 edges, 5290 markings/sec, 2530 secs
lola: 17670518 markings, 43530408 edges, 5681 markings/sec, 2535 secs
lola: 17700112 markings, 43600565 edges, 5919 markings/sec, 2540 secs
lola: 17729475 markings, 43668907 edges, 5873 markings/sec, 2545 secs
lola: 17766406 markings, 43757556 edges, 7386 markings/sec, 2550 secs
lola: 17795710 markings, 43830533 edges, 5861 markings/sec, 2555 secs
lola: 17822171 markings, 43893611 edges, 5292 markings/sec, 2560 secs
lola: 17848894 markings, 43955837 edges, 5345 markings/sec, 2565 secs
lola: 17876449 markings, 44020968 edges, 5511 markings/sec, 2570 secs
lola: 17903271 markings, 44084484 edges, 5364 markings/sec, 2575 secs
lola: 17929979 markings, 44146689 edges, 5342 markings/sec, 2580 secs
lola: 17962622 markings, 44225868 edges, 6529 markings/sec, 2585 secs
lola: 17990003 markings, 44290249 edges, 5476 markings/sec, 2590 secs
lola: 18018891 markings, 44356518 edges, 5778 markings/sec, 2595 secs
lola: 18052901 markings, 44439992 edges, 6802 markings/sec, 2600 secs
lola: 18078599 markings, 44502755 edges, 5140 markings/sec, 2605 secs
lola: 18104935 markings, 44565405 edges, 5267 markings/sec, 2610 secs
lola: 18145194 markings, 44664070 edges, 8052 markings/sec, 2615 secs
lola: 18174312 markings, 44742164 edges, 5824 markings/sec, 2620 secs
lola: 18210664 markings, 44831466 edges, 7270 markings/sec, 2625 secs
lola: 18241952 markings, 44910952 edges, 6258 markings/sec, 2630 secs
lola: 18279243 markings, 45007294 edges, 7458 markings/sec, 2635 secs
lola: 18317387 markings, 45106404 edges, 7629 markings/sec, 2640 secs
lola: 18347742 markings, 45179380 edges, 6071 markings/sec, 2645 secs
lola: 18379128 markings, 45250409 edges, 6277 markings/sec, 2650 secs
lola: 18420467 markings, 45359148 edges, 8268 markings/sec, 2655 secs
lola: 18455918 markings, 45445300 edges, 7090 markings/sec, 2660 secs
lola: 18491832 markings, 45542473 edges, 7183 markings/sec, 2665 secs
lola: 18528940 markings, 45636945 edges, 7422 markings/sec, 2670 secs
lola: 18564505 markings, 45727135 edges, 7113 markings/sec, 2675 secs
lola: 18598452 markings, 45809986 edges, 6789 markings/sec, 2680 secs
lola: 18628119 markings, 45880245 edges, 5933 markings/sec, 2685 secs
lola: 18668188 markings, 45980322 edges, 8014 markings/sec, 2690 secs
lola: 18696783 markings, 46055763 edges, 5719 markings/sec, 2695 secs
lola: 18734434 markings, 46151275 edges, 7530 markings/sec, 2700 secs
lola: 18767347 markings, 46233723 edges, 6583 markings/sec, 2705 secs
lola: 18799344 markings, 46317246 edges, 6399 markings/sec, 2710 secs
lola: 18831135 markings, 46394853 edges, 6358 markings/sec, 2715 secs
lola: 18857379 markings, 46460125 edges, 5249 markings/sec, 2720 secs
lola: 18891768 markings, 46537013 edges, 6878 markings/sec, 2725 secs
lola: 18925502 markings, 46629654 edges, 6747 markings/sec, 2730 secs
lola: 18958889 markings, 46710893 edges, 6677 markings/sec, 2735 secs
lola: 18989884 markings, 46794756 edges, 6199 markings/sec, 2740 secs
lola: 19023627 markings, 46880796 edges, 6749 markings/sec, 2745 secs
lola: 19056579 markings, 46964075 edges, 6590 markings/sec, 2750 secs
lola: 19084312 markings, 47031012 edges, 5547 markings/sec, 2755 secs
lola: 19110896 markings, 47093582 edges, 5317 markings/sec, 2760 secs
lola: 19150060 markings, 47192330 edges, 7833 markings/sec, 2765 secs
lola: 19177632 markings, 47263589 edges, 5514 markings/sec, 2770 secs
lola: 19214279 markings, 47357545 edges, 7329 markings/sec, 2775 secs
lola: 19247750 markings, 47442863 edges, 6694 markings/sec, 2780 secs
lola: 19278037 markings, 47520285 edges, 6057 markings/sec, 2785 secs
lola: 19308094 markings, 47593615 edges, 6011 markings/sec, 2790 secs
lola: 19334397 markings, 47656698 edges, 5261 markings/sec, 2795 secs
lola: 19373163 markings, 47751759 edges, 7753 markings/sec, 2800 secs
lola: 19401691 markings, 47827479 edges, 5706 markings/sec, 2805 secs
lola: 19438432 markings, 47920851 edges, 7348 markings/sec, 2810 secs
lola: 19471273 markings, 48004887 edges, 6568 markings/sec, 2815 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown 50 unknown 50 50 unknown 50 1 50 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 50 unknown 50 50 unknown 50 1 50 1 1 1 1 1 1
lola:
preliminary result: 1 unknown 50 unknown 50 50 unknown 50 1 50 1 1 1 1 1 1
lola: memory consumption: 885760 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 unknown 50 unknown 50 50 unknown 50 1 50 1 1 1 1 1 1
lola: memory consumption: 885760 KB
lola: time consumption: 3570 seconds

BK_STOP 1552413229694

--------------------
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="BridgeAndVehicles-PT-V50P50N10"
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 BridgeAndVehicles-PT-V50P50N10, 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-155225094700199"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N10.tgz
mv BridgeAndVehicles-PT-V50P50N10 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 ;