Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r055-oct2-155234418600166.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 DLCround-PT-13b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r055-oct2-155234418600166
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.2K Feb 10 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 23:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 23:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 30 13:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 13:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 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 2.1M 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 DLCround-PT-13b-UpperBounds-00
FORMULA_NAME DLCround-PT-13b-UpperBounds-01
FORMULA_NAME DLCround-PT-13b-UpperBounds-02
FORMULA_NAME DLCround-PT-13b-UpperBounds-03
FORMULA_NAME DLCround-PT-13b-UpperBounds-04
FORMULA_NAME DLCround-PT-13b-UpperBounds-05
FORMULA_NAME DLCround-PT-13b-UpperBounds-06
FORMULA_NAME DLCround-PT-13b-UpperBounds-07
FORMULA_NAME DLCround-PT-13b-UpperBounds-08
FORMULA_NAME DLCround-PT-13b-UpperBounds-09
FORMULA_NAME DLCround-PT-13b-UpperBounds-10
FORMULA_NAME DLCround-PT-13b-UpperBounds-11
FORMULA_NAME DLCround-PT-13b-UpperBounds-12
FORMULA_NAME DLCround-PT-13b-UpperBounds-13
FORMULA_NAME DLCround-PT-13b-UpperBounds-14
FORMULA_NAME DLCround-PT-13b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552700355926

info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-13b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-13b formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ DLCround-PT-13b @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: Size of bit vector: 5343
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-UpperBounds.task
lola: MAX(p2340) : MAX(p5232) : MAX(p379) : MAX(p3247) : MAX(p1003) : MAX(p158) : MAX(p4835) : MAX(p3276) : MAX(p5151) : MAX(p2954) : MAX(p4732) : MAX(p2634) : MAX(p2819) : MAX(p886) : MAX(p3703) : MAX(p4175)
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(p2340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2340)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 232 markings, 231 edges
lola: ========================================

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

FORMULA DLCround-PT-13b-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p379)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p379)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 456 markings, 455 edges

FORMULA DLCround-PT-13b-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3247)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 17153 markings, 20971 edges, 3431 markings/sec, 0 secs
lola: 41017 markings, 49954 edges, 4773 markings/sec, 5 secs
lola: 65897 markings, 80028 edges, 4976 markings/sec, 10 secs
lola: 90792 markings, 108955 edges, 4979 markings/sec, 15 secs
lola: 115720 markings, 137904 edges, 4986 markings/sec, 20 secs
lola: 140570 markings, 166852 edges, 4970 markings/sec, 25 secs
lola: 165059 markings, 196271 edges, 4898 markings/sec, 30 secs
lola: 189631 markings, 225876 edges, 4914 markings/sec, 35 secs
lola: 214380 markings, 255432 edges, 4950 markings/sec, 40 secs
lola: 238720 markings, 284371 edges, 4868 markings/sec, 45 secs
lola: 263074 markings, 313066 edges, 4871 markings/sec, 50 secs
lola: 288025 markings, 342796 edges, 4990 markings/sec, 55 secs
lola: 312148 markings, 372787 edges, 4825 markings/sec, 60 secs
lola: 336281 markings, 401814 edges, 4827 markings/sec, 65 secs
lola: 360327 markings, 432025 edges, 4809 markings/sec, 70 secs
lola: 384497 markings, 460986 edges, 4834 markings/sec, 75 secs
lola: 408975 markings, 490291 edges, 4896 markings/sec, 80 secs
lola: 433553 markings, 519680 edges, 4916 markings/sec, 85 secs
lola: 458652 markings, 549756 edges, 5020 markings/sec, 90 secs
lola: 483839 markings, 580976 edges, 5037 markings/sec, 95 secs
lola: 508835 markings, 611644 edges, 4999 markings/sec, 100 secs
lola: 533927 markings, 642058 edges, 5018 markings/sec, 105 secs
lola: 558975 markings, 672934 edges, 5010 markings/sec, 110 secs
lola: 583954 markings, 703381 edges, 4996 markings/sec, 115 secs
lola: 608841 markings, 734382 edges, 4977 markings/sec, 120 secs
lola: 633832 markings, 764517 edges, 4998 markings/sec, 125 secs
lola: 658723 markings, 795813 edges, 4978 markings/sec, 130 secs
lola: 683838 markings, 825332 edges, 5023 markings/sec, 135 secs
lola: 708771 markings, 855449 edges, 4987 markings/sec, 140 secs
lola: 733895 markings, 885500 edges, 5025 markings/sec, 145 secs
lola: 758830 markings, 917146 edges, 4987 markings/sec, 150 secs
lola: 783855 markings, 948643 edges, 5005 markings/sec, 155 secs
lola: 808866 markings, 979455 edges, 5002 markings/sec, 160 secs
lola: 834012 markings, 1009954 edges, 5029 markings/sec, 165 secs
lola: 859115 markings, 1040570 edges, 5021 markings/sec, 170 secs
lola: 884079 markings, 1072071 edges, 4993 markings/sec, 175 secs
lola: 908994 markings, 1103558 edges, 4983 markings/sec, 180 secs
lola: 933943 markings, 1134647 edges, 4990 markings/sec, 185 secs
lola: 959075 markings, 1165205 edges, 5026 markings/sec, 190 secs
lola: 984285 markings, 1195831 edges, 5042 markings/sec, 195 secs
lola: 1009465 markings, 1226007 edges, 5036 markings/sec, 200 secs
lola: 1034510 markings, 1257194 edges, 5009 markings/sec, 205 secs
lola: 1059627 markings, 1287640 edges, 5023 markings/sec, 210 secs
lola: 1084727 markings, 1318536 edges, 5020 markings/sec, 215 secs
lola: 1108720 markings, 1347405 edges, 4799 markings/sec, 220 secs
lola: 1132561 markings, 1376942 edges, 4768 markings/sec, 225 secs
lola: 1156555 markings, 1405623 edges, 4799 markings/sec, 230 secs
lola: 1180632 markings, 1434892 edges, 4815 markings/sec, 235 secs
lola: 1205176 markings, 1463913 edges, 4909 markings/sec, 240 secs
lola: 1229804 markings, 1493558 edges, 4926 markings/sec, 245 secs
lola: 1254171 markings, 1524098 edges, 4873 markings/sec, 250 secs
lola: 1278888 markings, 1554227 edges, 4943 markings/sec, 255 secs
lola: 1303351 markings, 1584695 edges, 4893 markings/sec, 260 secs
lola: 1327996 markings, 1614408 edges, 4929 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 461976 KB
lola: time consumption: 283 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1003)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1003)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 31 markings, 30 edges

FORMULA DLCround-PT-13b-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 18250 markings, 22329 edges, 3650 markings/sec, 0 secs
lola: 42084 markings, 51635 edges, 4767 markings/sec, 5 secs
lola: 66801 markings, 82397 edges, 4943 markings/sec, 10 secs
lola: 91780 markings, 114343 edges, 4996 markings/sec, 15 secs
lola: 116790 markings, 146164 edges, 5002 markings/sec, 20 secs
lola: 141842 markings, 178910 edges, 5010 markings/sec, 25 secs
lola: 167168 markings, 210904 edges, 5065 markings/sec, 30 secs
lola: 192799 markings, 242765 edges, 5126 markings/sec, 35 secs
lola: 218854 markings, 275572 edges, 5211 markings/sec, 40 secs
lola: 244698 markings, 307980 edges, 5169 markings/sec, 45 secs
lola: 270781 markings, 340498 edges, 5217 markings/sec, 50 secs
lola: 296723 markings, 373124 edges, 5188 markings/sec, 55 secs
lola: 321974 markings, 404699 edges, 5050 markings/sec, 60 secs
lola: 347009 markings, 436174 edges, 5007 markings/sec, 65 secs
lola: 372102 markings, 467387 edges, 5019 markings/sec, 70 secs
lola: 397090 markings, 498895 edges, 4998 markings/sec, 75 secs
lola: 422522 markings, 530944 edges, 5086 markings/sec, 80 secs
lola: 447696 markings, 562751 edges, 5035 markings/sec, 85 secs
lola: 472447 markings, 594245 edges, 4950 markings/sec, 90 secs
lola: 496727 markings, 625517 edges, 4856 markings/sec, 95 secs
lola: 521035 markings, 656823 edges, 4862 markings/sec, 100 secs
lola: 545582 markings, 687728 edges, 4909 markings/sec, 105 secs
lola: 570269 markings, 718910 edges, 4937 markings/sec, 110 secs
lola: 594541 markings, 749076 edges, 4854 markings/sec, 115 secs
lola: 618702 markings, 780022 edges, 4832 markings/sec, 120 secs
lola: 642818 markings, 811559 edges, 4823 markings/sec, 125 secs
lola: 667048 markings, 842380 edges, 4846 markings/sec, 130 secs
lola: 691218 markings, 873512 edges, 4834 markings/sec, 135 secs
lola: 715430 markings, 904464 edges, 4842 markings/sec, 140 secs
lola: 739769 markings, 936051 edges, 4868 markings/sec, 145 secs
lola: 763948 markings, 966808 edges, 4836 markings/sec, 150 secs
lola: 788277 markings, 998412 edges, 4866 markings/sec, 155 secs
lola: 813237 markings, 1029010 edges, 4992 markings/sec, 160 secs
lola: 837468 markings, 1059535 edges, 4846 markings/sec, 165 secs
lola: 861501 markings, 1090639 edges, 4807 markings/sec, 170 secs
lola: 885605 markings, 1121727 edges, 4821 markings/sec, 175 secs
lola: 910221 markings, 1152799 edges, 4923 markings/sec, 180 secs
lola: 935621 markings, 1185052 edges, 5080 markings/sec, 185 secs
lola: 961097 markings, 1216935 edges, 5095 markings/sec, 190 secs
lola: 986683 markings, 1248885 edges, 5117 markings/sec, 195 secs
lola: 1012220 markings, 1280840 edges, 5107 markings/sec, 200 secs
lola: 1037736 markings, 1312839 edges, 5103 markings/sec, 205 secs
lola: 1063031 markings, 1344801 edges, 5059 markings/sec, 210 secs
lola: 1088188 markings, 1376771 edges, 5031 markings/sec, 215 secs
lola: 1113272 markings, 1409144 edges, 5017 markings/sec, 220 secs
lola: 1138482 markings, 1440844 edges, 5042 markings/sec, 225 secs
lola: 1163734 markings, 1472710 edges, 5050 markings/sec, 230 secs
lola: 1189468 markings, 1504697 edges, 5147 markings/sec, 235 secs
lola: 1214710 markings, 1536631 edges, 5048 markings/sec, 240 secs
lola: 1239861 markings, 1568568 edges, 5030 markings/sec, 245 secs
lola: 1264861 markings, 1601294 edges, 5000 markings/sec, 250 secs
lola: 1289486 markings, 1633283 edges, 4925 markings/sec, 255 secs
lola: 1313412 markings, 1663888 edges, 4785 markings/sec, 260 secs
lola: 1337072 markings, 1694174 edges, 4732 markings/sec, 265 secs
lola: 1360945 markings, 1724431 edges, 4775 markings/sec, 270 secs
lola: 1385910 markings, 1755874 edges, 4993 markings/sec, 275 secs
lola: 1411076 markings, 1787829 edges, 5033 markings/sec, 280 secs
lola: 1436123 markings, 1820701 edges, 5009 markings/sec, 285 secs
lola: 1461231 markings, 1852552 edges, 5022 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 423964 KB
lola: time consumption: 582 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4835)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4835)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 378 markings, 377 edges
lola: ========================================

FORMULA DLCround-PT-13b-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p3276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3276)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 4188 markings, 4714 edges
lola:
FORMULA DLCround-PT-13b-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 373 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p5151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p5151)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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

FORMULA DLCround-PT-13b-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2954)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2954)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 277 markings, 276 edges
lola: ========================================

FORMULA DLCround-PT-13b-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 496 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p4732)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p4732)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 65 markings, 64 edges
lola: ========================================

FORMULA DLCround-PT-13b-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2634)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 308 markings, 307 edges

FORMULA DLCround-PT-13b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p2819)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p2819)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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: 259 markings, 258 edges

FORMULA DLCround-PT-13b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 992 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p886)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p886)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 273 markings, 272 edges

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

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

FORMULA DLCround-PT-13b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(p3247)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p3247)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file DLCround-PT-13b-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: 18037 markings, 22074 edges, 3607 markings/sec, 0 secs
lola: 43226 markings, 52626 edges, 5038 markings/sec, 5 secs
lola: 69255 markings, 83910 edges, 5206 markings/sec, 10 secs
lola: 95621 markings, 114544 edges, 5273 markings/sec, 15 secs
lola: 122070 markings, 145280 edges, 5290 markings/sec, 20 secs
lola: 148361 markings, 175936 edges, 5258 markings/sec, 25 secs
lola: 174320 markings, 207544 edges, 5192 markings/sec, 30 secs
lola: 200448 markings, 238579 edges, 5226 markings/sec, 35 secs
lola: 226237 markings, 269683 edges, 5158 markings/sec, 40 secs
lola: 251875 markings, 299839 edges, 5128 markings/sec, 45 secs
lola: 277666 markings, 330271 edges, 5158 markings/sec, 50 secs
lola: 303028 markings, 361618 edges, 5072 markings/sec, 55 secs
lola: 328398 markings, 392531 edges, 5074 markings/sec, 60 secs
lola: 353623 markings, 423377 edges, 5045 markings/sec, 65 secs
lola: 378918 markings, 454483 edges, 5059 markings/sec, 70 secs
lola: 404278 markings, 484563 edges, 5072 markings/sec, 75 secs
lola: 429456 markings, 514927 edges, 5036 markings/sec, 80 secs
lola: 454769 markings, 545028 edges, 5063 markings/sec, 85 secs
lola: 480080 markings, 575980 edges, 5062 markings/sec, 90 secs
lola: 505127 markings, 607204 edges, 5009 markings/sec, 95 secs
lola: 530312 markings, 637504 edges, 5037 markings/sec, 100 secs
lola: 555400 markings, 668507 edges, 5018 markings/sec, 105 secs
lola: 580522 markings, 699089 edges, 5024 markings/sec, 110 secs
lola: 605572 markings, 730467 edges, 5010 markings/sec, 115 secs
lola: 630657 markings, 760531 edges, 5017 markings/sec, 120 secs
lola: 655575 markings, 792160 edges, 4984 markings/sec, 125 secs
lola: 680961 markings, 821901 edges, 5077 markings/sec, 130 secs
lola: 705989 markings, 851979 edges, 5006 markings/sec, 135 secs
lola: 731605 markings, 882628 edges, 5123 markings/sec, 140 secs
lola: 756803 markings, 914409 edges, 5040 markings/sec, 145 secs
lola: 782051 markings, 946557 edges, 5050 markings/sec, 150 secs
lola: 807146 markings, 977362 edges, 5019 markings/sec, 155 secs
lola: 832398 markings, 1008024 edges, 5050 markings/sec, 160 secs
lola: 857543 markings, 1038672 edges, 5029 markings/sec, 165 secs
lola: 882604 markings, 1070089 edges, 5012 markings/sec, 170 secs
lola: 907607 markings, 1101859 edges, 5001 markings/sec, 175 secs
lola: 932698 markings, 1133036 edges, 5018 markings/sec, 180 secs
lola: 957835 markings, 1163741 edges, 5027 markings/sec, 185 secs
lola: 983065 markings, 1194434 edges, 5046 markings/sec, 190 secs
lola: 1008308 markings, 1224659 edges, 5049 markings/sec, 195 secs
lola: 1033692 markings, 1256243 edges, 5077 markings/sec, 200 secs
lola: 1058929 markings, 1286797 edges, 5047 markings/sec, 205 secs
lola: 1084030 markings, 1317715 edges, 5020 markings/sec, 210 secs
lola: 1109157 markings, 1347986 edges, 5025 markings/sec, 215 secs
lola: 1134254 markings, 1378908 edges, 5019 markings/sec, 220 secs
lola: 1159682 markings, 1409426 edges, 5086 markings/sec, 225 secs
lola: 1184948 markings, 1440185 edges, 5053 markings/sec, 230 secs
lola: 1210219 markings, 1469870 edges, 5054 markings/sec, 235 secs
lola: 1235245 markings, 1500578 edges, 5005 markings/sec, 240 secs
lola: 1260282 markings, 1531548 edges, 5007 markings/sec, 245 secs
lola: 1285414 markings, 1562063 edges, 5026 markings/sec, 250 secs
lola: 1310402 markings, 1593061 edges, 4998 markings/sec, 255 secs
lola: 1335485 markings, 1623747 edges, 5017 markings/sec, 260 secs
lola: 1360453 markings, 1655227 edges, 4994 markings/sec, 265 secs
lola: 1385532 markings, 1685879 edges, 5016 markings/sec, 270 secs
lola: 1410908 markings, 1715893 edges, 5075 markings/sec, 275 secs
lola: 1436165 markings, 1746674 edges, 5051 markings/sec, 280 secs
lola: 1461689 markings, 1777811 edges, 5105 markings/sec, 285 secs
lola: 1487077 markings, 1809234 edges, 5078 markings/sec, 290 secs
lola: 1512435 markings, 1840484 edges, 5072 markings/sec, 295 secs
lola: 1537743 markings, 1871848 edges, 5062 markings/sec, 300 secs
lola: 1563037 markings, 1903526 edges, 5059 markings/sec, 305 secs
lola: 1588272 markings, 1934711 edges, 5047 markings/sec, 310 secs
lola: 1613577 markings, 1965891 edges, 5061 markings/sec, 315 secs
lola: 1638918 markings, 1997501 edges, 5068 markings/sec, 320 secs
lola: 1664281 markings, 2027995 edges, 5073 markings/sec, 325 secs
lola: 1689639 markings, 2057860 edges, 5072 markings/sec, 330 secs
lola: 1714776 markings, 2088617 edges, 5027 markings/sec, 335 secs
lola: 1739745 markings, 2120495 edges, 4994 markings/sec, 340 secs
lola: 1764889 markings, 2150916 edges, 5029 markings/sec, 345 secs
lola: 1790472 markings, 2180716 edges, 5117 markings/sec, 350 secs
lola: 1816021 markings, 2211539 edges, 5110 markings/sec, 355 secs
lola: 1841576 markings, 2242492 edges, 5111 markings/sec, 360 secs
lola: 1866720 markings, 2273735 edges, 5029 markings/sec, 365 secs
lola: 1891896 markings, 2305136 edges, 5035 markings/sec, 370 secs
lola: 1917165 markings, 2336812 edges, 5054 markings/sec, 375 secs
lola: 1942497 markings, 2367825 edges, 5066 markings/sec, 380 secs
lola: 1967633 markings, 2397961 edges, 5027 markings/sec, 385 secs
lola: 1993077 markings, 2428232 edges, 5089 markings/sec, 390 secs
lola: 2018719 markings, 2458427 edges, 5128 markings/sec, 395 secs
lola: 2044070 markings, 2489546 edges, 5070 markings/sec, 400 secs
lola: 2069348 markings, 2520729 edges, 5056 markings/sec, 405 secs
lola: 2094618 markings, 2551428 edges, 5054 markings/sec, 410 secs
lola: 2119720 markings, 2581046 edges, 5020 markings/sec, 415 secs
lola: 2144691 markings, 2610470 edges, 4994 markings/sec, 420 secs
lola: 2169692 markings, 2639889 edges, 5000 markings/sec, 425 secs
lola: 2194671 markings, 2669733 edges, 4996 markings/sec, 430 secs
lola: 2219516 markings, 2700811 edges, 4969 markings/sec, 435 secs
lola: 2244269 markings, 2730547 edges, 4951 markings/sec, 440 secs
lola: 2268858 markings, 2761792 edges, 4918 markings/sec, 445 secs
lola: 2293795 markings, 2790940 edges, 4987 markings/sec, 450 secs
lola: 2318565 markings, 2820502 edges, 4954 markings/sec, 455 secs
lola: 2343578 markings, 2850459 edges, 5003 markings/sec, 460 secs
lola: 2368497 markings, 2880372 edges, 4984 markings/sec, 465 secs
lola: 2393179 markings, 2911155 edges, 4936 markings/sec, 470 secs
lola: 2418015 markings, 2942000 edges, 4967 markings/sec, 475 secs
lola: 2443279 markings, 2972916 edges, 5053 markings/sec, 480 secs
lola: 2468457 markings, 3002796 edges, 5036 markings/sec, 485 secs
lola: 2493601 markings, 3033178 edges, 5029 markings/sec, 490 secs
lola: 2518695 markings, 3062420 edges, 5019 markings/sec, 495 secs
lola: 2543997 markings, 3091920 edges, 5060 markings/sec, 500 secs
lola: 2569237 markings, 3122544 edges, 5048 markings/sec, 505 secs
lola: 2594297 markings, 3153724 edges, 5012 markings/sec, 510 secs
lola: 2619315 markings, 3184365 edges, 5004 markings/sec, 515 secs
lola: 2644483 markings, 3214329 edges, 5034 markings/sec, 520 secs
lola: 2669819 markings, 3243827 edges, 5067 markings/sec, 525 secs
lola: 2694972 markings, 3273841 edges, 5031 markings/sec, 530 secs
lola: 2720032 markings, 3304035 edges, 5012 markings/sec, 535 secs
lola: 2744873 markings, 3334234 edges, 4968 markings/sec, 540 secs
lola: 2769914 markings, 3363791 edges, 5008 markings/sec, 545 secs
lola: 2795012 markings, 3393032 edges, 5020 markings/sec, 550 secs
lola: 2819934 markings, 3423395 edges, 4984 markings/sec, 555 secs
lola: 2844799 markings, 3454317 edges, 4973 markings/sec, 560 secs
lola: 2869825 markings, 3484543 edges, 5005 markings/sec, 565 secs
lola: 2894792 markings, 3515788 edges, 4993 markings/sec, 570 secs
lola: 2919806 markings, 3546647 edges, 5003 markings/sec, 575 secs
lola: 2944591 markings, 3578091 edges, 4957 markings/sec, 580 secs
lola: 2969797 markings, 3608939 edges, 5041 markings/sec, 585 secs
lola: 2994794 markings, 3639568 edges, 4999 markings/sec, 590 secs
lola: 3019630 markings, 3670189 edges, 4967 markings/sec, 595 secs
lola: 3044621 markings, 3699790 edges, 4998 markings/sec, 600 secs
lola: 3069631 markings, 3730005 edges, 5002 markings/sec, 605 secs
lola: 3094939 markings, 3759655 edges, 5062 markings/sec, 610 secs
lola: 3119911 markings, 3790488 edges, 4994 markings/sec, 615 secs
lola: 3144815 markings, 3821729 edges, 4981 markings/sec, 620 secs
lola: 3169917 markings, 3852125 edges, 5020 markings/sec, 625 secs
lola: 3195049 markings, 3882438 edges, 5026 markings/sec, 630 secs
lola: 3220229 markings, 3912385 edges, 5036 markings/sec, 635 secs
lola: 3244743 markings, 3943021 edges, 4903 markings/sec, 640 secs
lola: 3269813 markings, 3973077 edges, 5014 markings/sec, 645 secs
lola: 3294536 markings, 4002767 edges, 4945 markings/sec, 650 secs
lola: 3319475 markings, 4032940 edges, 4988 markings/sec, 655 secs
lola: 3344443 markings, 4062636 edges, 4994 markings/sec, 660 secs
lola: 3369219 markings, 4093291 edges, 4955 markings/sec, 665 secs
lola: 3394134 markings, 4123692 edges, 4983 markings/sec, 670 secs
lola: 3418979 markings, 4154247 edges, 4969 markings/sec, 675 secs
lola: 3443883 markings, 4185213 edges, 4981 markings/sec, 680 secs
lola: 3468846 markings, 4215563 edges, 4993 markings/sec, 685 secs
lola: 3493677 markings, 4246915 edges, 4966 markings/sec, 690 secs
lola: 3518649 markings, 4276970 edges, 4994 markings/sec, 695 secs
lola: 3543781 markings, 4307043 edges, 5026 markings/sec, 700 secs
lola: 3568841 markings, 4337472 edges, 5012 markings/sec, 705 secs
lola: 3594052 markings, 4368395 edges, 5042 markings/sec, 710 secs
lola: 3619305 markings, 4399666 edges, 5051 markings/sec, 715 secs
lola: 3644473 markings, 4430911 edges, 5034 markings/sec, 720 secs
lola: 3669598 markings, 4461921 edges, 5025 markings/sec, 725 secs
lola: 3694678 markings, 4493371 edges, 5016 markings/sec, 730 secs
lola: 3719856 markings, 4524382 edges, 5036 markings/sec, 735 secs
lola: 3745043 markings, 4555223 edges, 5037 markings/sec, 740 secs
lola: 3770304 markings, 4586746 edges, 5052 markings/sec, 745 secs
lola: 3795346 markings, 4616723 edges, 5008 markings/sec, 750 secs
lola: 3820470 markings, 4646759 edges, 5025 markings/sec, 755 secs
lola: 3845532 markings, 4677523 edges, 5012 markings/sec, 760 secs
lola: 3870544 markings, 4709236 edges, 5002 markings/sec, 765 secs
lola: 3895742 markings, 4739419 edges, 5040 markings/sec, 770 secs
lola: 3921065 markings, 4768824 edges, 5065 markings/sec, 775 secs
lola: 3945998 markings, 4799399 edges, 4987 markings/sec, 780 secs
lola: 3971199 markings, 4829529 edges, 5040 markings/sec, 785 secs
lola: 3996180 markings, 4860785 edges, 4996 markings/sec, 790 secs
lola: 4021233 markings, 4891902 edges, 5011 markings/sec, 795 secs
lola: 4046133 markings, 4923114 edges, 4980 markings/sec, 800 secs
lola: 4071235 markings, 4953980 edges, 5020 markings/sec, 805 secs
lola: 4096347 markings, 4983957 edges, 5022 markings/sec, 810 secs
lola: 4121617 markings, 5014040 edges, 5054 markings/sec, 815 secs
lola: 4146899 markings, 5043725 edges, 5056 markings/sec, 820 secs
lola: 4171947 markings, 5073555 edges, 5010 markings/sec, 825 secs
lola: 4196879 markings, 5104440 edges, 4986 markings/sec, 830 secs
lola: 4221844 markings, 5134519 edges, 4993 markings/sec, 835 secs
lola: 4246555 markings, 5165419 edges, 4942 markings/sec, 840 secs
lola: 4271412 markings, 5195320 edges, 4971 markings/sec, 845 secs
lola: 4296081 markings, 5224844 edges, 4934 markings/sec, 850 secs
lola: 4320567 markings, 5254128 edges, 4897 markings/sec, 855 secs
lola: 4344855 markings, 5283247 edges, 4858 markings/sec, 860 secs
lola: 4369590 markings, 5313725 edges, 4947 markings/sec, 865 secs
lola: 4393958 markings, 5344031 edges, 4874 markings/sec, 870 secs
lola: 4418728 markings, 5374433 edges, 4954 markings/sec, 875 secs
lola: 4443683 markings, 5404090 edges, 4991 markings/sec, 880 secs
lola: 4468247 markings, 5433765 edges, 4913 markings/sec, 885 secs
lola: 4492504 markings, 5462340 edges, 4851 markings/sec, 890 secs
lola: 4516913 markings, 5490904 edges, 4882 markings/sec, 895 secs
lola: 4540920 markings, 5519623 edges, 4801 markings/sec, 900 secs
lola: 4564932 markings, 5548403 edges, 4802 markings/sec, 905 secs
lola: 4589687 markings, 5579612 edges, 4951 markings/sec, 910 secs
lola: 4613285 markings, 5608035 edges, 4720 markings/sec, 915 secs
lola: 4637554 markings, 5636686 edges, 4854 markings/sec, 920 secs
lola: 4661325 markings, 5664442 edges, 4754 markings/sec, 925 secs
lola: 4685023 markings, 5693381 edges, 4740 markings/sec, 930 secs
lola: 4709514 markings, 5722499 edges, 4898 markings/sec, 935 secs
lola: 4733556 markings, 5751549 edges, 4808 markings/sec, 940 secs
lola: 4757733 markings, 5780101 edges, 4835 markings/sec, 945 secs
lola: 4782201 markings, 5808654 edges, 4894 markings/sec, 950 secs
lola: 4805987 markings, 5837765 edges, 4757 markings/sec, 955 secs
lola: 4829775 markings, 5867384 edges, 4758 markings/sec, 960 secs
lola: 4853770 markings, 5896301 edges, 4799 markings/sec, 965 secs
lola: 4878424 markings, 5927180 edges, 4931 markings/sec, 970 secs
lola: 4903160 markings, 5957691 edges, 4947 markings/sec, 975 secs
lola: 4927820 markings, 5988949 edges, 4932 markings/sec, 980 secs
lola: 4952568 markings, 6019251 edges, 4950 markings/sec, 985 secs
lola: 4977115 markings, 6049304 edges, 4909 markings/sec, 990 secs
lola: 5001783 markings, 6079881 edges, 4934 markings/sec, 995 secs
lola: 5026636 markings, 6109236 edges, 4971 markings/sec, 1000 secs
lola: 5051324 markings, 6139154 edges, 4938 markings/sec, 1005 secs
lola: 5076218 markings, 6168263 edges, 4979 markings/sec, 1010 secs
lola: 5100985 markings, 6198723 edges, 4953 markings/sec, 1015 secs
lola: 5125544 markings, 6229440 edges, 4912 markings/sec, 1020 secs
lola: 5150235 markings, 6259581 edges, 4938 markings/sec, 1025 secs
lola: 5175099 markings, 6289618 edges, 4973 markings/sec, 1030 secs
lola: 5199891 markings, 6319183 edges, 4958 markings/sec, 1035 secs
lola: 5224282 markings, 6349388 edges, 4878 markings/sec, 1040 secs
lola: 5248731 markings, 6378812 edges, 4890 markings/sec, 1045 secs
lola: 5273387 markings, 6408448 edges, 4931 markings/sec, 1050 secs
lola: 5297967 markings, 6438383 edges, 4916 markings/sec, 1055 secs
lola: 5322548 markings, 6467170 edges, 4916 markings/sec, 1060 secs
lola: 5346889 markings, 6497119 edges, 4868 markings/sec, 1065 secs
lola: 5371224 markings, 6527257 edges, 4867 markings/sec, 1070 secs
lola: 5395709 markings, 6557009 edges, 4897 markings/sec, 1075 secs
lola: 5420124 markings, 6587329 edges, 4883 markings/sec, 1080 secs
lola: 5444588 markings, 6617033 edges, 4893 markings/sec, 1085 secs
lola: 5468907 markings, 6647818 edges, 4864 markings/sec, 1090 secs
lola: 5493348 markings, 6677785 edges, 4888 markings/sec, 1095 secs
lola: 5517964 markings, 6706843 edges, 4923 markings/sec, 1100 secs
lola: 5542570 markings, 6737067 edges, 4921 markings/sec, 1105 secs
lola: 5567292 markings, 6766967 edges, 4944 markings/sec, 1110 secs
lola: 5592082 markings, 6797433 edges, 4958 markings/sec, 1115 secs
lola: 5616813 markings, 6828175 edges, 4946 markings/sec, 1120 secs
lola: 5641493 markings, 6858641 edges, 4936 markings/sec, 1125 secs
lola: 5666148 markings, 6889360 edges, 4931 markings/sec, 1130 secs
lola: 5690817 markings, 6920002 edges, 4934 markings/sec, 1135 secs
lola: 5715499 markings, 6950728 edges, 4936 markings/sec, 1140 secs
lola: 5740302 markings, 6981330 edges, 4961 markings/sec, 1145 secs
lola: 5765108 markings, 7011643 edges, 4961 markings/sec, 1150 secs
lola: 5789886 markings, 7040954 edges, 4956 markings/sec, 1155 secs
lola: 5814459 markings, 7070355 edges, 4915 markings/sec, 1160 secs
lola: 5839125 markings, 7101260 edges, 4933 markings/sec, 1165 secs
lola: 5863845 markings, 7132139 edges, 4944 markings/sec, 1170 secs
lola: 5888781 markings, 7161730 edges, 4987 markings/sec, 1175 secs
lola: 5913646 markings, 7190867 edges, 4973 markings/sec, 1180 secs
lola: 5938085 markings, 7221016 edges, 4888 markings/sec, 1185 secs
lola: 5962862 markings, 7250944 edges, 4955 markings/sec, 1190 secs
lola: 5987265 markings, 7281674 edges, 4881 markings/sec, 1195 secs
lola: 6011573 markings, 7312367 edges, 4862 markings/sec, 1200 secs
lola: 6036206 markings, 7342577 edges, 4927 markings/sec, 1205 secs
lola: 6060939 markings, 7372748 edges, 4947 markings/sec, 1210 secs
lola: 6085796 markings, 7402502 edges, 4971 markings/sec, 1215 secs
lola: 6110798 markings, 7432002 edges, 5000 markings/sec, 1220 secs
lola: 6135681 markings, 7461183 edges, 4977 markings/sec, 1225 secs
lola: 6160831 markings, 7491077 edges, 5030 markings/sec, 1230 secs
lola: 6185649 markings, 7521406 edges, 4964 markings/sec, 1235 secs
lola: 6210382 markings, 7550587 edges, 4947 markings/sec, 1240 secs
lola: 6235402 markings, 7579800 edges, 5004 markings/sec, 1245 secs
lola: 6260555 markings, 7610148 edges, 5031 markings/sec, 1250 secs
lola: 6285744 markings, 7641751 edges, 5038 markings/sec, 1255 secs
lola: 6310495 markings, 7672543 edges, 4950 markings/sec, 1260 secs
lola: 6335402 markings, 7703355 edges, 4981 markings/sec, 1265 secs
lola: 6360439 markings, 7735329 edges, 5007 markings/sec, 1270 secs
lola: 6385187 markings, 7766292 edges, 4950 markings/sec, 1275 secs
lola: 6410011 markings, 7796810 edges, 4965 markings/sec, 1280 secs
lola: 6434767 markings, 7827555 edges, 4951 markings/sec, 1285 secs
lola: 6459736 markings, 7858407 edges, 4994 markings/sec, 1290 secs
lola: 6484044 markings, 7888206 edges, 4862 markings/sec, 1295 secs
lola: 6508626 markings, 7917546 edges, 4916 markings/sec, 1300 secs
lola: 6532968 markings, 7947581 edges, 4868 markings/sec, 1305 secs
lola: 6557642 markings, 7977584 edges, 4935 markings/sec, 1310 secs
lola: 6582092 markings, 8008356 edges, 4890 markings/sec, 1315 secs
lola: 6606723 markings, 8039080 edges, 4926 markings/sec, 1320 secs
lola: 6631051 markings, 8068716 edges, 4866 markings/sec, 1325 secs
lola: 6655319 markings, 8098446 edges, 4854 markings/sec, 1330 secs
lola: 6679506 markings, 8128264 edges, 4837 markings/sec, 1335 secs
lola: 6703711 markings, 8156944 edges, 4841 markings/sec, 1340 secs
lola: 6727983 markings, 8185992 edges, 4854 markings/sec, 1345 secs
lola: 6752371 markings, 8215584 edges, 4878 markings/sec, 1350 secs
lola: 6776920 markings, 8246656 edges, 4910 markings/sec, 1355 secs
lola: 6801631 markings, 8277496 edges, 4942 markings/sec, 1360 secs
lola: 6826267 markings, 8308006 edges, 4927 markings/sec, 1365 secs
lola: 6851175 markings, 8338158 edges, 4982 markings/sec, 1370 secs
lola: 6876084 markings, 8368566 edges, 4982 markings/sec, 1375 secs
lola: 6900846 markings, 8399953 edges, 4952 markings/sec, 1380 secs
lola: 6925622 markings, 8431280 edges, 4955 markings/sec, 1385 secs
lola: 6950460 markings, 8462140 edges, 4968 markings/sec, 1390 secs
lola: 6975298 markings, 8492318 edges, 4968 markings/sec, 1395 secs
lola: 7000289 markings, 8522650 edges, 4998 markings/sec, 1400 secs
lola: 7025639 markings, 8553057 edges, 5070 markings/sec, 1405 secs
lola: 7050171 markings, 8583612 edges, 4906 markings/sec, 1410 secs
lola: 7075235 markings, 8614062 edges, 5013 markings/sec, 1415 secs
lola: 7100475 markings, 8644872 edges, 5048 markings/sec, 1420 secs
lola: 7125346 markings, 8675525 edges, 4974 markings/sec, 1425 secs
lola: 7150318 markings, 8705588 edges, 4994 markings/sec, 1430 secs
lola: 7175126 markings, 8735504 edges, 4962 markings/sec, 1435 secs
lola: 7199863 markings, 8765204 edges, 4947 markings/sec, 1440 secs
lola: 7224884 markings, 8795183 edges, 5004 markings/sec, 1445 secs
lola: 7249812 markings, 8825988 edges, 4986 markings/sec, 1450 secs
lola: 7274115 markings, 8855470 edges, 4861 markings/sec, 1455 secs
lola: 7298949 markings, 8886056 edges, 4967 markings/sec, 1460 secs
lola: 7323116 markings, 8916133 edges, 4833 markings/sec, 1465 secs
lola: 7347636 markings, 8945984 edges, 4904 markings/sec, 1470 secs
lola: 7371946 markings, 8976732 edges, 4862 markings/sec, 1475 secs
lola: 7396479 markings, 9006238 edges, 4907 markings/sec, 1480 secs
lola: 7420986 markings, 9035562 edges, 4901 markings/sec, 1485 secs
lola: 7445095 markings, 9064811 edges, 4822 markings/sec, 1490 secs
lola: 7469554 markings, 9094766 edges, 4892 markings/sec, 1495 secs
lola: 7494188 markings, 9125211 edges, 4927 markings/sec, 1500 secs
lola: 7518408 markings, 9155245 edges, 4844 markings/sec, 1505 secs
lola: 7542444 markings, 9184960 edges, 4807 markings/sec, 1510 secs
lola: 7566597 markings, 9215247 edges, 4831 markings/sec, 1515 secs
lola: 7590574 markings, 9244899 edges, 4795 markings/sec, 1520 secs
lola: 7614821 markings, 9274781 edges, 4849 markings/sec, 1525 secs
lola: 7639002 markings, 9304672 edges, 4836 markings/sec, 1530 secs
lola: 7662995 markings, 9333840 edges, 4799 markings/sec, 1535 secs
lola: 7687259 markings, 9362514 edges, 4853 markings/sec, 1540 secs
lola: 7711379 markings, 9391656 edges, 4824 markings/sec, 1545 secs
lola: 7735351 markings, 9421768 edges, 4794 markings/sec, 1550 secs
lola: 7759751 markings, 9452007 edges, 4880 markings/sec, 1555 secs
lola: 7783936 markings, 9480746 edges, 4837 markings/sec, 1560 secs
lola: 7808175 markings, 9509145 edges, 4848 markings/sec, 1565 secs
lola: 7832024 markings, 9538580 edges, 4770 markings/sec, 1570 secs
lola: 7856010 markings, 9567424 edges, 4797 markings/sec, 1575 secs
lola: 7880178 markings, 9596290 edges, 4834 markings/sec, 1580 secs
lola: 7903728 markings, 9625872 edges, 4710 markings/sec, 1585 secs
lola: 7927526 markings, 9655121 edges, 4760 markings/sec, 1590 secs
lola: 7951244 markings, 9685245 edges, 4744 markings/sec, 1595 secs
lola: 7975000 markings, 9714827 edges, 4751 markings/sec, 1600 secs
lola: 7998867 markings, 9744556 edges, 4773 markings/sec, 1605 secs
lola: 8022272 markings, 9774493 edges, 4681 markings/sec, 1610 secs
lola: 8046279 markings, 9804867 edges, 4801 markings/sec, 1615 secs
lola: 8069823 markings, 9834466 edges, 4709 markings/sec, 1620 secs
lola: 8093339 markings, 9863712 edges, 4703 markings/sec, 1625 secs
lola: 8117316 markings, 9893157 edges, 4795 markings/sec, 1630 secs
lola: 8141208 markings, 9923365 edges, 4778 markings/sec, 1635 secs
lola: 8165166 markings, 9952239 edges, 4792 markings/sec, 1640 secs
lola: 8189023 markings, 9982186 edges, 4771 markings/sec, 1645 secs
lola: 8212819 markings, 10011789 edges, 4759 markings/sec, 1650 secs
lola: 8236550 markings, 10040403 edges, 4746 markings/sec, 1655 secs
lola: 8260108 markings, 10069811 edges, 4712 markings/sec, 1660 secs
lola: 8283950 markings, 10099790 edges, 4768 markings/sec, 1665 secs
lola: 8307902 markings, 10129873 edges, 4790 markings/sec, 1670 secs
lola: 8331625 markings, 10160516 edges, 4745 markings/sec, 1675 secs
lola: 8356005 markings, 10190907 edges, 4876 markings/sec, 1680 secs
lola: 8380903 markings, 10222274 edges, 4980 markings/sec, 1685 secs
lola: 8405857 markings, 10253752 edges, 4991 markings/sec, 1690 secs
lola: 8430841 markings, 10284887 edges, 4997 markings/sec, 1695 secs
lola: 8455292 markings, 10314921 edges, 4890 markings/sec, 1700 secs
lola: 8480065 markings, 10345600 edges, 4955 markings/sec, 1705 secs
lola: 8504739 markings, 10376456 edges, 4935 markings/sec, 1710 secs
lola: 8529499 markings, 10406973 edges, 4952 markings/sec, 1715 secs
lola: 8554194 markings, 10438158 edges, 4939 markings/sec, 1720 secs
lola: 8578905 markings, 10470222 edges, 4942 markings/sec, 1725 secs
lola: 8604029 markings, 10501442 edges, 5025 markings/sec, 1730 secs
lola: 8629116 markings, 10533224 edges, 5017 markings/sec, 1735 secs
lola: 8654265 markings, 10564767 edges, 5030 markings/sec, 1740 secs
lola: 8679390 markings, 10597247 edges, 5025 markings/sec, 1745 secs
lola: 8704542 markings, 10627650 edges, 5030 markings/sec, 1750 secs
lola: 8729458 markings, 10657808 edges, 4983 markings/sec, 1755 secs
lola: 8754239 markings, 10689047 edges, 4956 markings/sec, 1760 secs
lola: 8779064 markings, 10719897 edges, 4965 markings/sec, 1765 secs
lola: 8803885 markings, 10750867 edges, 4964 markings/sec, 1770 secs
lola: 8828743 markings, 10781499 edges, 4972 markings/sec, 1775 secs
lola: 8853490 markings, 10813082 edges, 4949 markings/sec, 1780 secs
lola: 8878405 markings, 10843238 edges, 4983 markings/sec, 1785 secs
lola: 8903170 markings, 10874456 edges, 4953 markings/sec, 1790 secs
lola: 8928130 markings, 10905222 edges, 4992 markings/sec, 1795 secs
lola: 8953049 markings, 10935104 edges, 4984 markings/sec, 1800 secs
lola: 8977817 markings, 10965887 edges, 4954 markings/sec, 1805 secs
lola: 9002632 markings, 10997029 edges, 4963 markings/sec, 1810 secs
lola: 9027383 markings, 11028412 edges, 4950 markings/sec, 1815 secs
lola: 9052142 markings, 11059521 edges, 4952 markings/sec, 1820 secs
lola: 9076962 markings, 11090433 edges, 4964 markings/sec, 1825 secs
lola: 9101656 markings, 11122626 edges, 4939 markings/sec, 1830 secs
lola: 9126539 markings, 11153497 edges, 4977 markings/sec, 1835 secs
lola: 9151157 markings, 11185762 edges, 4924 markings/sec, 1840 secs
lola: 9176227 markings, 11215840 edges, 5014 markings/sec, 1845 secs
lola: 9201276 markings, 11246738 edges, 5010 markings/sec, 1850 secs
lola: 9226330 markings, 11277351 edges, 5011 markings/sec, 1855 secs
lola: 9251610 markings, 11307792 edges, 5056 markings/sec, 1860 secs
lola: 9276681 markings, 11338367 edges, 5014 markings/sec, 1865 secs
lola: 9301729 markings, 11368545 edges, 5010 markings/sec, 1870 secs
lola: 9326585 markings, 11397923 edges, 4971 markings/sec, 1875 secs
lola: 9351368 markings, 11427728 edges, 4957 markings/sec, 1880 secs
lola: 9376182 markings, 11457521 edges, 4963 markings/sec, 1885 secs
lola: 9401004 markings, 11487657 edges, 4964 markings/sec, 1890 secs
lola: 9425842 markings, 11517376 edges, 4968 markings/sec, 1895 secs
lola: 9450599 markings, 11547731 edges, 4951 markings/sec, 1900 secs
lola: 9475370 markings, 11577655 edges, 4954 markings/sec, 1905 secs
lola: 9500186 markings, 11607113 edges, 4963 markings/sec, 1910 secs
lola: 9524916 markings, 11637541 edges, 4946 markings/sec, 1915 secs
lola: 9549775 markings, 11667805 edges, 4972 markings/sec, 1920 secs
lola: 9574718 markings, 11699010 edges, 4989 markings/sec, 1925 secs
lola: 9599662 markings, 11730242 edges, 4989 markings/sec, 1930 secs
lola: 9624567 markings, 11761448 edges, 4981 markings/sec, 1935 secs
lola: 9649394 markings, 11792497 edges, 4965 markings/sec, 1940 secs
lola: 9674277 markings, 11822226 edges, 4977 markings/sec, 1945 secs
lola: 9699203 markings, 11853869 edges, 4985 markings/sec, 1950 secs
lola: 9724088 markings, 11885518 edges, 4977 markings/sec, 1955 secs
lola: 9748957 markings, 11916534 edges, 4974 markings/sec, 1960 secs
lola: 9773833 markings, 11947477 edges, 4975 markings/sec, 1965 secs
lola: 9798556 markings, 11979020 edges, 4945 markings/sec, 1970 secs
lola: 9823490 markings, 12009928 edges, 4987 markings/sec, 1975 secs
lola: 9848403 markings, 12039374 edges, 4983 markings/sec, 1980 secs
lola: 9873183 markings, 12068929 edges, 4956 markings/sec, 1985 secs
lola: 9898522 markings, 12099390 edges, 5068 markings/sec, 1990 secs
lola: 9923813 markings, 12129833 edges, 5058 markings/sec, 1995 secs
lola: 9948968 markings, 12159769 edges, 5031 markings/sec, 2000 secs
lola: 9974302 markings, 12190084 edges, 5067 markings/sec, 2005 secs
lola: 9999482 markings, 12220775 edges, 5036 markings/sec, 2010 secs
lola: 10024511 markings, 12250709 edges, 5006 markings/sec, 2015 secs
lola: 10049512 markings, 12280530 edges, 5000 markings/sec, 2020 secs
lola: 10074513 markings, 12311030 edges, 5000 markings/sec, 2025 secs
lola: 10099563 markings, 12341480 edges, 5010 markings/sec, 2030 secs
lola: 10124633 markings, 12371780 edges, 5014 markings/sec, 2035 secs
lola: 10149719 markings, 12401847 edges, 5017 markings/sec, 2040 secs
lola: 10174900 markings, 12432465 edges, 5036 markings/sec, 2045 secs
lola: 10200115 markings, 12463330 edges, 5043 markings/sec, 2050 secs
lola: 10225027 markings, 12493940 edges, 4982 markings/sec, 2055 secs
lola: 10249863 markings, 12524734 edges, 4967 markings/sec, 2060 secs
lola: 10274739 markings, 12555225 edges, 4975 markings/sec, 2065 secs
lola: 10299491 markings, 12586358 edges, 4950 markings/sec, 2070 secs
lola: 10324365 markings, 12617991 edges, 4975 markings/sec, 2075 secs
lola: 10349266 markings, 12649475 edges, 4980 markings/sec, 2080 secs
lola: 10374184 markings, 12680883 edges, 4984 markings/sec, 2085 secs
lola: 10399224 markings, 12711316 edges, 5008 markings/sec, 2090 secs
lola: 10424261 markings, 12741077 edges, 5007 markings/sec, 2095 secs
lola: 10449302 markings, 12770969 edges, 5008 markings/sec, 2100 secs
lola: 10474422 markings, 12801774 edges, 5024 markings/sec, 2105 secs
lola: 10499479 markings, 12831493 edges, 5011 markings/sec, 2110 secs
lola: 10524510 markings, 12861409 edges, 5006 markings/sec, 2115 secs
lola: 10549577 markings, 12891409 edges, 5013 markings/sec, 2120 secs
lola: 10574562 markings, 12921614 edges, 4997 markings/sec, 2125 secs
lola: 10599612 markings, 12951737 edges, 5010 markings/sec, 2130 secs
lola: 10624697 markings, 12981827 edges, 5017 markings/sec, 2135 secs
lola: 10649888 markings, 13011854 edges, 5038 markings/sec, 2140 secs
lola: 10675215 markings, 13042989 edges, 5065 markings/sec, 2145 secs
lola: 10700548 markings, 13073992 edges, 5067 markings/sec, 2150 secs
lola: 10725715 markings, 13104401 edges, 5033 markings/sec, 2155 secs
lola: 10750715 markings, 13134939 edges, 5000 markings/sec, 2160 secs
lola: 10776008 markings, 13165596 edges, 5059 markings/sec, 2165 secs
lola: 10801484 markings, 13196472 edges, 5095 markings/sec, 2170 secs
lola: 10826944 markings, 13227362 edges, 5092 markings/sec, 2175 secs
lola: 10852369 markings, 13258094 edges, 5085 markings/sec, 2180 secs
lola: 10877881 markings, 13288534 edges, 5102 markings/sec, 2185 secs
lola: 10903355 markings, 13319106 edges, 5095 markings/sec, 2190 secs
lola: 10928841 markings, 13349940 edges, 5097 markings/sec, 2195 secs
lola: 10954378 markings, 13380633 edges, 5107 markings/sec, 2200 secs
lola: 10980110 markings, 13410923 edges, 5146 markings/sec, 2205 secs
lola: 11005590 markings, 13441246 edges, 5096 markings/sec, 2210 secs
lola: 11030989 markings, 13471120 edges, 5080 markings/sec, 2215 secs
lola: 11056354 markings, 13501166 edges, 5073 markings/sec, 2220 secs
lola: 11081668 markings, 13532344 edges, 5063 markings/sec, 2225 secs
lola: 11107018 markings, 13564078 edges, 5070 markings/sec, 2230 secs
lola: 11132626 markings, 13596822 edges, 5122 markings/sec, 2235 secs
lola: 11158376 markings, 13629234 edges, 5150 markings/sec, 2240 secs
lola: 11184241 markings, 13660440 edges, 5173 markings/sec, 2245 secs
lola: 11210194 markings, 13690939 edges, 5191 markings/sec, 2250 secs
lola: 11235934 markings, 13721521 edges, 5148 markings/sec, 2255 secs
lola: 11261708 markings, 13752306 edges, 5155 markings/sec, 2260 secs
lola: 11287030 markings, 13782950 edges, 5064 markings/sec, 2265 secs
lola: 11312220 markings, 13813024 edges, 5038 markings/sec, 2270 secs
lola: 11337531 markings, 13844095 edges, 5062 markings/sec, 2275 secs
lola: 11363028 markings, 13874421 edges, 5099 markings/sec, 2280 secs
lola: 11388489 markings, 13905483 edges, 5092 markings/sec, 2285 secs
lola: 11414273 markings, 13936274 edges, 5157 markings/sec, 2290 secs
lola: 11439982 markings, 13967910 edges, 5142 markings/sec, 2295 secs
lola: 11465692 markings, 13999154 edges, 5142 markings/sec, 2300 secs
lola: 11490880 markings, 14030290 edges, 5038 markings/sec, 2305 secs
lola: 11516282 markings, 14062176 edges, 5080 markings/sec, 2310 secs
lola: 11541759 markings, 14093006 edges, 5095 markings/sec, 2315 secs
lola: 11567530 markings, 14123938 edges, 5154 markings/sec, 2320 secs
lola: 11592937 markings, 14155754 edges, 5081 markings/sec, 2325 secs
lola: 11618650 markings, 14187673 edges, 5143 markings/sec, 2330 secs
lola: 11644453 markings, 14219931 edges, 5161 markings/sec, 2335 secs
lola: 11670406 markings, 14252288 edges, 5191 markings/sec, 2340 secs
lola: 11696376 markings, 14284815 edges, 5194 markings/sec, 2345 secs
lola: 11722301 markings, 14317407 edges, 5185 markings/sec, 2350 secs
lola: 11748194 markings, 14350250 edges, 5179 markings/sec, 2355 secs
lola: 11774064 markings, 14383015 edges, 5174 markings/sec, 2360 secs
lola: 11800143 markings, 14414298 edges, 5216 markings/sec, 2365 secs
lola: 11826235 markings, 14445199 edges, 5218 markings/sec, 2370 secs
lola: 11852271 markings, 14476104 edges, 5207 markings/sec, 2375 secs
lola: 11878315 markings, 14507122 edges, 5209 markings/sec, 2380 secs
lola: 11904269 markings, 14538906 edges, 5191 markings/sec, 2385 secs
lola: 11930221 markings, 14570703 edges, 5190 markings/sec, 2390 secs
lola: 11956170 markings, 14601852 edges, 5190 markings/sec, 2395 secs
lola: 11982043 markings, 14632950 edges, 5175 markings/sec, 2400 secs
lola: 12007487 markings, 14665273 edges, 5089 markings/sec, 2405 secs
lola: 12033161 markings, 14697368 edges, 5135 markings/sec, 2410 secs
lola: 12058945 markings, 14728218 edges, 5157 markings/sec, 2415 secs
lola: 12084857 markings, 14758986 edges, 5182 markings/sec, 2420 secs
lola: 12110602 markings, 14790251 edges, 5149 markings/sec, 2425 secs
lola: 12136351 markings, 14821991 edges, 5150 markings/sec, 2430 secs
lola: 12162093 markings, 14853819 edges, 5148 markings/sec, 2435 secs
lola: 12187887 markings, 14885396 edges, 5159 markings/sec, 2440 secs
lola: 12213727 markings, 14916408 edges, 5168 markings/sec, 2445 secs
lola: 12239247 markings, 14946860 edges, 5104 markings/sec, 2450 secs
lola: 12264973 markings, 14978338 edges, 5145 markings/sec, 2455 secs
lola: 12290617 markings, 15009005 edges, 5129 markings/sec, 2460 secs
lola: 12315988 markings, 15040065 edges, 5074 markings/sec, 2465 secs
lola: 12341396 markings, 15071134 edges, 5082 markings/sec, 2470 secs
lola: 12366956 markings, 15101767 edges, 5112 markings/sec, 2475 secs
lola: 12392554 markings, 15132293 edges, 5120 markings/sec, 2480 secs
lola: 12418063 markings, 15163298 edges, 5102 markings/sec, 2485 secs
lola: 12443637 markings, 15194164 edges, 5115 markings/sec, 2490 secs
lola: 12469228 markings, 15224726 edges, 5118 markings/sec, 2495 secs
lola: 12494759 markings, 15255607 edges, 5106 markings/sec, 2500 secs
lola: 12520188 markings, 15287706 edges, 5086 markings/sec, 2505 secs
lola: 12545800 markings, 15320201 edges, 5122 markings/sec, 2510 secs
lola: 12571364 markings, 15351102 edges, 5113 markings/sec, 2515 secs
lola: 12597102 markings, 15382863 edges, 5148 markings/sec, 2520 secs
lola: 12622659 markings, 15413939 edges, 5111 markings/sec, 2525 secs
lola: 12648458 markings, 15445331 edges, 5160 markings/sec, 2530 secs
lola: 12674076 markings, 15476095 edges, 5124 markings/sec, 2535 secs
lola: 12699824 markings, 15506842 edges, 5150 markings/sec, 2540 secs
lola: 12725621 markings, 15537715 edges, 5159 markings/sec, 2545 secs
lola: 12751409 markings, 15568613 edges, 5158 markings/sec, 2550 secs
lola: 12776896 markings, 15599514 edges, 5097 markings/sec, 2555 secs
lola: 12802416 markings, 15630682 edges, 5104 markings/sec, 2560 secs
lola: 12827833 markings, 15660654 edges, 5083 markings/sec, 2565 secs
lola: 12853281 markings, 15691054 edges, 5090 markings/sec, 2570 secs
lola: 12878608 markings, 15721004 edges, 5065 markings/sec, 2575 secs
lola: 12903841 markings, 15751225 edges, 5047 markings/sec, 2580 secs
lola: 12929077 markings, 15781166 edges, 5047 markings/sec, 2585 secs
lola: 12954121 markings, 15810967 edges, 5009 markings/sec, 2590 secs
lola: 12979459 markings, 15841164 edges, 5068 markings/sec, 2595 secs
lola: 13004728 markings, 15871300 edges, 5054 markings/sec, 2600 secs
lola: 13029844 markings, 15902261 edges, 5023 markings/sec, 2605 secs
lola: 13055137 markings, 15932870 edges, 5059 markings/sec, 2610 secs
lola: 13080467 markings, 15963429 edges, 5066 markings/sec, 2615 secs
lola: 13105916 markings, 15994012 edges, 5090 markings/sec, 2620 secs
lola: 13131360 markings, 16025140 edges, 5089 markings/sec, 2625 secs
lola: 13156589 markings, 16055178 edges, 5046 markings/sec, 2630 secs
lola: 13181854 markings, 16085331 edges, 5053 markings/sec, 2635 secs
lola: 13207077 markings, 16115386 edges, 5045 markings/sec, 2640 secs
lola: 13232348 markings, 16146387 edges, 5054 markings/sec, 2645 secs
lola: 13257720 markings, 16177287 edges, 5074 markings/sec, 2650 secs
lola: 13283071 markings, 16208877 edges, 5070 markings/sec, 2655 secs
lola: 13308416 markings, 16241180 edges, 5069 markings/sec, 2660 secs
lola: 13333720 markings, 16272761 edges, 5061 markings/sec, 2665 secs
lola: 13359226 markings, 16302864 edges, 5101 markings/sec, 2670 secs
lola: 13384734 markings, 16333561 edges, 5102 markings/sec, 2675 secs
lola: 13410150 markings, 16364613 edges, 5083 markings/sec, 2680 secs
lola: 13435566 markings, 16397018 edges, 5083 markings/sec, 2685 secs
lola: 13461035 markings, 16429379 edges, 5094 markings/sec, 2690 secs
lola: 13486584 markings, 16461966 edges, 5110 markings/sec, 2695 secs
lola: 13512083 markings, 16493779 edges, 5100 markings/sec, 2700 secs
lola: 13537578 markings, 16526799 edges, 5099 markings/sec, 2705 secs
lola: 13563076 markings, 16558832 edges, 5100 markings/sec, 2710 secs
lola: 13588626 markings, 16591726 edges, 5110 markings/sec, 2715 secs
lola: 13614264 markings, 16624413 edges, 5128 markings/sec, 2720 secs
lola: 13639819 markings, 16656554 edges, 5111 markings/sec, 2725 secs
lola: 13665545 markings, 16689036 edges, 5145 markings/sec, 2730 secs
lola: 13691400 markings, 16721675 edges, 5171 markings/sec, 2735 secs
lola: 13717317 markings, 16753200 edges, 5183 markings/sec, 2740 secs
lola: 13743089 markings, 16784202 edges, 5154 markings/sec, 2745 secs
lola: 13769006 markings, 16815228 edges, 5183 markings/sec, 2750 secs
lola: 13794851 markings, 16845660 edges, 5169 markings/sec, 2755 secs
lola: 13820571 markings, 16876777 edges, 5144 markings/sec, 2760 secs
lola: 13846530 markings, 16907614 edges, 5192 markings/sec, 2765 secs
lola: 13872433 markings, 16938735 edges, 5181 markings/sec, 2770 secs
lola: 13898308 markings, 16969630 edges, 5175 markings/sec, 2775 secs
lola: 13923795 markings, 16999950 edges, 5097 markings/sec, 2780 secs
lola: 13949625 markings, 17030633 edges, 5166 markings/sec, 2785 secs
lola: 13975394 markings, 17061054 edges, 5154 markings/sec, 2790 secs
lola: 14000803 markings, 17091916 edges, 5082 markings/sec, 2795 secs
lola: 14026678 markings, 17122873 edges, 5175 markings/sec, 2800 secs
lola: 14052482 markings, 17154109 edges, 5161 markings/sec, 2805 secs
lola: 14078241 markings, 17185162 edges, 5152 markings/sec, 2810 secs
lola: 14103598 markings, 17215679 edges, 5071 markings/sec, 2815 secs
lola: 14128981 markings, 17246593 edges, 5077 markings/sec, 2820 secs
lola: 14154427 markings, 17277132 edges, 5089 markings/sec, 2825 secs
lola: 14179571 markings, 17307951 edges, 5029 markings/sec, 2830 secs
lola: 14204923 markings, 17339048 edges, 5070 markings/sec, 2835 secs
lola: 14230824 markings, 17370430 edges, 5180 markings/sec, 2840 secs
lola: 14256866 markings, 17402119 edges, 5208 markings/sec, 2845 secs
lola: 14282351 markings, 17432891 edges, 5097 markings/sec, 2850 secs
lola: 14307906 markings, 17463391 edges, 5111 markings/sec, 2855 secs
lola: 14333471 markings, 17494313 edges, 5113 markings/sec, 2860 secs
lola: 14359357 markings, 17524997 edges, 5177 markings/sec, 2865 secs
lola: 14385312 markings, 17555675 edges, 5191 markings/sec, 2870 secs
lola: 14411135 markings, 17587082 edges, 5165 markings/sec, 2875 secs
lola: 14437036 markings, 17617993 edges, 5180 markings/sec, 2880 secs
lola: 14462885 markings, 17649330 edges, 5170 markings/sec, 2885 secs
lola: 14488733 markings, 17680499 edges, 5170 markings/sec, 2890 secs
lola: 14514612 markings, 17711622 edges, 5176 markings/sec, 2895 secs
lola: 14540443 markings, 17742963 edges, 5166 markings/sec, 2900 secs
lola: 14566389 markings, 17773612 edges, 5189 markings/sec, 2905 secs
lola: 14592341 markings, 17805230 edges, 5190 markings/sec, 2910 secs
lola: 14618291 markings, 17837299 edges, 5190 markings/sec, 2915 secs
lola: 14644181 markings, 17868350 edges, 5178 markings/sec, 2920 secs
lola: 14670063 markings, 17899552 edges, 5176 markings/sec, 2925 secs
lola: 14695921 markings, 17930825 edges, 5172 markings/sec, 2930 secs
lola: 14721806 markings, 17961741 edges, 5177 markings/sec, 2935 secs
lola: 14747602 markings, 17992774 edges, 5159 markings/sec, 2940 secs
lola: 14773272 markings, 18024235 edges, 5134 markings/sec, 2945 secs
lola: 14798528 markings, 18055867 edges, 5051 markings/sec, 2950 secs
lola: 14824184 markings, 18088146 edges, 5131 markings/sec, 2955 secs
lola: 14849789 markings, 18120584 edges, 5121 markings/sec, 2960 secs
lola: 14875422 markings, 18152662 edges, 5127 markings/sec, 2965 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4511296 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 1 1 1 1 1 1 1 1 1
lola: memory consumption: 4511296 KB
lola: time consumption: 3569 seconds

BK_STOP 1552703925574

--------------------
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="DLCround-PT-13b"
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 DLCround-PT-13b, 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 r055-oct2-155234418600166"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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