Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r093-smll-155246584400362.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is MultiwaySync-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584400362
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.5K Feb 11 23:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 11 23:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 7 23:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 7 23:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 107 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 345 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 5 00:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 4 06:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 4 06:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 1 00:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 1 00:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 111K 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 MultiwaySync-PT-none-UpperBounds-00
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-01
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-02
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-03
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-04
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-05
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-06
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-07
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-08
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-09
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-10
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-11
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-12
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-13
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-14
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1552910867654

info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ MultiwaySync-PT-none @ 3570 seconds

FORMULA MultiwaySync-PT-none-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA MultiwaySync-PT-none-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ MultiwaySync-PT-none

{
"exit":
{
"memory": 19668,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p128)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown unknown unknown 1 unknown 1 1 1 1 unknown 1 1 1 1 1 unknown "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 694/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 222
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from UpperBounds.xml
lola: MAX(p128) : MAX(p49) : MAX(p70) : MAX(p15) : MAX(p125) : MAX(p167) : MAX(p140) : MAX(p205) : MAX(p200) : MAX(p48) : MAX(p220) : MAX(p174) : MAX(p143) : MAX(p38) : MAX(p64) : MAX(p70)
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(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p128)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 358286 markings, 1242916 edges, 71657 markings/sec, 0 secs
lola: 751304 markings, 2629130 edges, 78604 markings/sec, 5 secs
lola: 1146851 markings, 4018091 edges, 79109 markings/sec, 10 secs
lola: 1533798 markings, 5418133 edges, 77389 markings/sec, 15 secs
lola: 1909782 markings, 6817047 edges, 75197 markings/sec, 20 secs
lola: 2282505 markings, 8206049 edges, 74545 markings/sec, 25 secs
lola: 2655129 markings, 9596889 edges, 74525 markings/sec, 30 secs
lola: 3021027 markings, 10988333 edges, 73180 markings/sec, 35 secs
lola: 3387039 markings, 12375295 edges, 73202 markings/sec, 40 secs
lola: 3746341 markings, 13763220 edges, 71860 markings/sec, 45 secs
lola: 4107022 markings, 15148872 edges, 72136 markings/sec, 50 secs
lola: 4462386 markings, 16531733 edges, 71073 markings/sec, 55 secs
lola: 4813078 markings, 17885480 edges, 70138 markings/sec, 60 secs
lola: 5161320 markings, 19246371 edges, 69648 markings/sec, 65 secs
lola: 5509641 markings, 20605075 edges, 69664 markings/sec, 70 secs
lola: 5857014 markings, 21964140 edges, 69475 markings/sec, 75 secs
lola: 6202195 markings, 23321242 edges, 69036 markings/sec, 80 secs
lola: 6546187 markings, 24678830 edges, 68798 markings/sec, 85 secs
lola: 6891202 markings, 26034212 edges, 69003 markings/sec, 90 secs
lola: 7212264 markings, 27311530 edges, 64212 markings/sec, 95 secs
lola: 7558535 markings, 28681405 edges, 69254 markings/sec, 100 secs
lola: 7902082 markings, 30049464 edges, 68709 markings/sec, 105 secs
lola: 8244196 markings, 31416676 edges, 68423 markings/sec, 110 secs
lola: 8584398 markings, 32781511 edges, 68040 markings/sec, 115 secs
lola: 8922341 markings, 34146706 edges, 67589 markings/sec, 120 secs
lola: 9258802 markings, 35510603 edges, 67292 markings/sec, 125 secs
lola: 9592769 markings, 36872585 edges, 66793 markings/sec, 130 secs
lola: 9928227 markings, 38233110 edges, 67092 markings/sec, 135 secs
lola: 10260142 markings, 39593140 edges, 66383 markings/sec, 140 secs
lola: 10593206 markings, 40951856 edges, 66613 markings/sec, 145 secs
lola: 10923590 markings, 42309280 edges, 66077 markings/sec, 150 secs
lola: 11251460 markings, 43664202 edges, 65574 markings/sec, 155 secs
lola: 11579885 markings, 45017164 edges, 65685 markings/sec, 160 secs
lola: 11905518 markings, 46370407 edges, 65127 markings/sec, 165 secs
lola: 12230241 markings, 47722370 edges, 64945 markings/sec, 170 secs
lola: 12553461 markings, 49073914 edges, 64644 markings/sec, 175 secs
lola: 12876586 markings, 50424060 edges, 64625 markings/sec, 180 secs
lola: 13196369 markings, 51772998 edges, 63957 markings/sec, 185 secs
lola: 13515662 markings, 53120337 edges, 63859 markings/sec, 190 secs
lola: 13831860 markings, 54465917 edges, 63240 markings/sec, 195 secs
lola: 14145582 markings, 55803619 edges, 62744 markings/sec, 200 secs
lola: 14458826 markings, 57142473 edges, 62649 markings/sec, 205 secs
lola: 14769717 markings, 58480051 edges, 62178 markings/sec, 210 secs
lola: 15079695 markings, 59821398 edges, 61996 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: 1562712 KB
lola: time consumption: 227 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p49)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 491540 markings, 1210776 edges, 98308 markings/sec, 0 secs
lola: 994978 markings, 2452665 edges, 100688 markings/sec, 5 secs
lola: 1486565 markings, 3710407 edges, 98317 markings/sec, 10 secs
lola: 1960623 markings, 4979088 edges, 94812 markings/sec, 15 secs
lola: 2428388 markings, 6247406 edges, 93553 markings/sec, 20 secs
lola: 2887113 markings, 7508269 edges, 91745 markings/sec, 25 secs
lola: 3321679 markings, 8717540 edges, 86913 markings/sec, 30 secs
lola: 3756388 markings, 9947036 edges, 86942 markings/sec, 35 secs
lola: 4205526 markings, 11216915 edges, 89828 markings/sec, 40 secs
lola: 4630927 markings, 12432644 edges, 85080 markings/sec, 45 secs
lola: 5072256 markings, 13698055 edges, 88266 markings/sec, 50 secs
lola: 5508652 markings, 14960720 edges, 87279 markings/sec, 55 secs
lola: 5945424 markings, 16226742 edges, 87354 markings/sec, 60 secs
lola: 6379509 markings, 17489908 edges, 86817 markings/sec, 65 secs
lola: 6806373 markings, 18746082 edges, 85373 markings/sec, 70 secs
lola: 7236567 markings, 20007859 edges, 86039 markings/sec, 75 secs
lola: 7662136 markings, 21264981 edges, 85114 markings/sec, 80 secs
lola: 8085590 markings, 22519283 edges, 84691 markings/sec, 85 secs
lola: 8505015 markings, 23774442 edges, 83885 markings/sec, 90 secs
lola: 8921103 markings, 25031077 edges, 83218 markings/sec, 95 secs
lola: 9334704 markings, 26290705 edges, 82720 markings/sec, 100 secs
lola: 9746232 markings, 27549126 edges, 82306 markings/sec, 105 secs
lola: 10156725 markings, 28808588 edges, 82099 markings/sec, 110 secs
lola: 10563099 markings, 30055798 edges, 81275 markings/sec, 115 secs
lola: 10963917 markings, 31298333 edges, 80164 markings/sec, 120 secs
lola: 11367378 markings, 32554157 edges, 80692 markings/sec, 125 secs
lola: 11767163 markings, 33804194 edges, 79957 markings/sec, 130 secs
lola: 12164434 markings, 35059113 edges, 79454 markings/sec, 135 secs
lola: 12562333 markings, 36322213 edges, 79580 markings/sec, 140 secs
lola: 12958861 markings, 37585251 edges, 79306 markings/sec, 145 secs
lola: 13352397 markings, 38847065 edges, 78707 markings/sec, 150 secs
lola: 13741738 markings, 40109127 edges, 77868 markings/sec, 155 secs
lola: 14128651 markings, 41369937 edges, 77383 markings/sec, 160 secs
lola: 14513750 markings, 42631594 edges, 77020 markings/sec, 165 secs
lola: 14894856 markings, 43892809 edges, 76221 markings/sec, 170 secs
lola: 15271587 markings, 45156354 edges, 75346 markings/sec, 175 secs
lola: 15645797 markings, 46419321 edges, 74842 markings/sec, 180 secs
lola: 16016768 markings, 47682829 edges, 74194 markings/sec, 185 secs
lola: 16383092 markings, 48946627 edges, 73265 markings/sec, 190 secs
lola: 16745425 markings, 50211871 edges, 72467 markings/sec, 195 secs
lola: 17102248 markings, 51480015 edges, 71365 markings/sec, 200 secs
lola: 17454483 markings, 52749781 edges, 70447 markings/sec, 205 secs
lola: 17798553 markings, 54026041 edges, 68814 markings/sec, 210 secs
lola: 18135025 markings, 55309052 edges, 67294 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: 1746500 KB
lola: time consumption: 449 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 496527 markings, 1222719 edges, 99305 markings/sec, 0 secs
lola: 1013060 markings, 2496635 edges, 103307 markings/sec, 5 secs
lola: 1515618 markings, 3786295 edges, 100512 markings/sec, 10 secs
lola: 2001982 markings, 5084065 edges, 97273 markings/sec, 15 secs
lola: 2477896 markings, 6382516 edges, 95183 markings/sec, 20 secs
lola: 2947739 markings, 7680686 edges, 93969 markings/sec, 25 secs
lola: 3415715 markings, 8976943 edges, 93595 markings/sec, 30 secs
lola: 3873982 markings, 10277341 edges, 91653 markings/sec, 35 secs
lola: 4330532 markings, 11574094 edges, 91310 markings/sec, 40 secs
lola: 4783577 markings, 12868524 edges, 90609 markings/sec, 45 secs
lola: 5232898 markings, 14162690 edges, 89864 markings/sec, 50 secs
lola: 5679670 markings, 15458282 edges, 89354 markings/sec, 55 secs
lola: 6124736 markings, 16748260 edges, 89013 markings/sec, 60 secs
lola: 6565673 markings, 18040402 edges, 88187 markings/sec, 65 secs
lola: 7007132 markings, 19329327 edges, 88292 markings/sec, 70 secs
lola: 7442212 markings, 20620455 edges, 87016 markings/sec, 75 secs
lola: 7879673 markings, 21907480 edges, 87492 markings/sec, 80 secs
lola: 8312219 markings, 23195409 edges, 86509 markings/sec, 85 secs
lola: 8740117 markings, 24483046 edges, 85580 markings/sec, 90 secs
lola: 9163412 markings, 25771976 edges, 84659 markings/sec, 95 secs
lola: 9585480 markings, 27059384 edges, 84414 markings/sec, 100 secs
lola: 10006049 markings, 28346348 edges, 84114 markings/sec, 105 secs
lola: 10424458 markings, 29632640 edges, 83682 markings/sec, 110 secs
lola: 10841234 markings, 30918744 edges, 83355 markings/sec, 115 secs
lola: 11253765 markings, 32204011 edges, 82506 markings/sec, 120 secs
lola: 11666330 markings, 33487104 edges, 82513 markings/sec, 125 secs
lola: 12072847 markings, 34771886 edges, 81303 markings/sec, 130 secs
lola: 12478684 markings, 36054299 edges, 81167 markings/sec, 135 secs
lola: 12882808 markings, 37338037 edges, 80825 markings/sec, 140 secs
lola: 13282774 markings, 38621859 edges, 79993 markings/sec, 145 secs
lola: 13679214 markings, 39905775 edges, 79288 markings/sec, 150 secs
lola: 14072679 markings, 41188961 edges, 78693 markings/sec, 155 secs
lola: 14465045 markings, 42471103 edges, 78473 markings/sec, 160 secs
lola: 14852980 markings, 43753453 edges, 77587 markings/sec, 165 secs
lola: 15236372 markings, 45037060 edges, 76678 markings/sec, 170 secs
lola: 15616593 markings, 46319820 edges, 76044 markings/sec, 175 secs
lola: 15993637 markings, 47603949 edges, 75409 markings/sec, 180 secs
lola: 16366264 markings, 48888181 edges, 74525 markings/sec, 185 secs
lola: 16734530 markings, 50173187 edges, 73653 markings/sec, 190 secs
lola: 17097710 markings, 51463600 edges, 72636 markings/sec, 195 secs
lola: 17455789 markings, 52754525 edges, 71616 markings/sec, 200 secs
lola: 17805312 markings, 54051272 edges, 69905 markings/sec, 205 secs
lola: 18146818 markings, 55355644 edges, 68301 markings/sec, 210 secs
lola: 18475771 markings, 56679553 edges, 65791 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: 1737628 KB
lola: time consumption: 671 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p15)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================
lola: subprocess 4 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p125)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 422599 markings, 1016795 edges, 84520 markings/sec, 0 secs
lola: 842299 markings, 2206493 edges, 83940 markings/sec, 5 secs
lola: 1248403 markings, 3441517 edges, 81221 markings/sec, 10 secs
lola: 1648535 markings, 4670219 edges, 80026 markings/sec, 15 secs
lola: 2048394 markings, 5904336 edges, 79972 markings/sec, 20 secs
lola: 2437756 markings, 7142419 edges, 77872 markings/sec, 25 secs
lola: 2818463 markings, 8385152 edges, 76141 markings/sec, 30 secs
lola: 3194418 markings, 9624488 edges, 75191 markings/sec, 35 secs
lola: 3574432 markings, 10858956 edges, 76003 markings/sec, 40 secs
lola: 3942635 markings, 12100470 edges, 73641 markings/sec, 45 secs
lola: 4310903 markings, 13339162 edges, 73654 markings/sec, 50 secs
lola: 4680898 markings, 14571603 edges, 73999 markings/sec, 55 secs
lola: 5049632 markings, 15804999 edges, 73747 markings/sec, 60 secs
lola: 5414260 markings, 17041853 edges, 72926 markings/sec, 65 secs
lola: 5776393 markings, 18276594 edges, 72427 markings/sec, 70 secs
lola: 6139145 markings, 19512395 edges, 72550 markings/sec, 75 secs
lola: 6498875 markings, 20749399 edges, 71946 markings/sec, 80 secs
lola: 6854205 markings, 21986334 edges, 71066 markings/sec, 85 secs
lola: 7215259 markings, 23218075 edges, 72211 markings/sec, 90 secs
lola: 7569263 markings, 24454687 edges, 70801 markings/sec, 95 secs
lola: 7921364 markings, 25692212 edges, 70420 markings/sec, 100 secs
lola: 8274442 markings, 26928410 edges, 70616 markings/sec, 105 secs
lola: 8628560 markings, 28162273 edges, 70824 markings/sec, 110 secs
lola: 8978853 markings, 29395943 edges, 70059 markings/sec, 115 secs
lola: 9327224 markings, 30628428 edges, 69674 markings/sec, 120 secs
lola: 9674661 markings, 31860994 edges, 69487 markings/sec, 125 secs
lola: 10021507 markings, 33093009 edges, 69369 markings/sec, 130 secs
lola: 10365427 markings, 34324022 edges, 68784 markings/sec, 135 secs
lola: 10708880 markings, 35555705 edges, 68691 markings/sec, 140 secs
lola: 11051411 markings, 36785933 edges, 68506 markings/sec, 145 secs
lola: 11392121 markings, 38015479 edges, 68142 markings/sec, 150 secs
lola: 11730952 markings, 39245332 edges, 67766 markings/sec, 155 secs
lola: 12068449 markings, 40473905 edges, 67499 markings/sec, 160 secs
lola: 12404525 markings, 41703208 edges, 67215 markings/sec, 165 secs
lola: 12739815 markings, 42930193 edges, 67058 markings/sec, 170 secs
lola: 13074859 markings, 44156852 edges, 67009 markings/sec, 175 secs
lola: 13407569 markings, 45383579 edges, 66542 markings/sec, 180 secs
lola: 13737831 markings, 46611054 edges, 66052 markings/sec, 185 secs
lola: 14067449 markings, 47838911 edges, 65924 markings/sec, 190 secs
lola: 14394742 markings, 49064089 edges, 65459 markings/sec, 195 secs
lola: 14720204 markings, 50289728 edges, 65092 markings/sec, 200 secs
lola: 15043841 markings, 51516161 edges, 64727 markings/sec, 205 secs
lola: 15365224 markings, 52742233 edges, 64277 markings/sec, 210 secs
lola: 15685098 markings, 53966632 edges, 63975 markings/sec, 215 secs
lola: 16002467 markings, 55188337 edges, 63474 markings/sec, 220 secs
lola: 16315440 markings, 56403902 edges, 62595 markings/sec, 225 secs
lola: 16627834 markings, 57620481 edges, 62479 markings/sec, 230 secs
lola: 16938288 markings, 58836503 edges, 62091 markings/sec, 235 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1741528 KB
lola: time consumption: 912 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p167)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 6 will run for 265 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p140)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 7 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p205)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 8 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p200)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p48)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 503636 markings, 1240808 edges, 100727 markings/sec, 0 secs
lola: 1005187 markings, 2476898 edges, 100310 markings/sec, 5 secs
lola: 1494774 markings, 3732064 edges, 97917 markings/sec, 10 secs
lola: 1967930 markings, 4997613 edges, 94631 markings/sec, 15 secs
lola: 2433305 markings, 6260283 edges, 93075 markings/sec, 20 secs
lola: 2892965 markings, 7525481 edges, 91932 markings/sec, 25 secs
lola: 3347761 markings, 8788499 edges, 90959 markings/sec, 30 secs
lola: 3794080 markings, 10056504 edges, 89264 markings/sec, 35 secs
lola: 4240913 markings, 11320622 edges, 89367 markings/sec, 40 secs
lola: 4684147 markings, 12584033 edges, 88647 markings/sec, 45 secs
lola: 5123775 markings, 13847224 edges, 87926 markings/sec, 50 secs
lola: 5559761 markings, 15111331 edges, 87197 markings/sec, 55 secs
lola: 5995059 markings, 16371159 edges, 87060 markings/sec, 60 secs
lola: 6427083 markings, 17632463 edges, 86405 markings/sec, 65 secs
lola: 6857465 markings, 18891647 edges, 86076 markings/sec, 70 secs
lola: 7284362 markings, 20149450 edges, 85379 markings/sec, 75 secs
lola: 7711170 markings, 21407105 edges, 85362 markings/sec, 80 secs
lola: 8134384 markings, 22663664 edges, 84643 markings/sec, 85 secs
lola: 8553617 markings, 23920338 edges, 83847 markings/sec, 90 secs
lola: 8969949 markings, 25179360 edges, 83266 markings/sec, 95 secs
lola: 9382687 markings, 26437394 edges, 82548 markings/sec, 100 secs
lola: 9794005 markings, 27693728 edges, 82264 markings/sec, 105 secs
lola: 10203655 markings, 28950463 edges, 81930 markings/sec, 110 secs
lola: 10613840 markings, 30211353 edges, 82037 markings/sec, 115 secs
lola: 11019957 markings, 31473596 edges, 81223 markings/sec, 120 secs
lola: 11425069 markings, 32735023 edges, 81022 markings/sec, 125 secs
lola: 11827153 markings, 33996679 edges, 80417 markings/sec, 130 secs
lola: 12225230 markings, 35251657 edges, 79615 markings/sec, 135 secs
lola: 12620049 markings, 36503963 edges, 78964 markings/sec, 140 secs
lola: 13012806 markings, 37756251 edges, 78551 markings/sec, 145 secs
lola: 13402386 markings, 39007805 edges, 77916 markings/sec, 150 secs
lola: 13788139 markings, 40258716 edges, 77151 markings/sec, 155 secs
lola: 14171517 markings, 41509684 edges, 76676 markings/sec, 160 secs
lola: 14553223 markings, 42761083 edges, 76341 markings/sec, 165 secs
lola: 14932711 markings, 44018367 edges, 75898 markings/sec, 170 secs
lola: 15308877 markings, 45281029 edges, 75233 markings/sec, 175 secs
lola: 15681793 markings, 46541807 edges, 74583 markings/sec, 180 secs
lola: 16052492 markings, 47804014 edges, 74140 markings/sec, 185 secs
lola: 16418114 markings, 49067585 edges, 73124 markings/sec, 190 secs
lola: 16777952 markings, 50327183 edges, 71968 markings/sec, 195 secs
lola: 17134091 markings, 51595016 edges, 71228 markings/sec, 200 secs
lola: 17485700 markings, 52864589 edges, 70322 markings/sec, 205 secs
lola: 17826518 markings, 54132688 edges, 68164 markings/sec, 210 secs
lola: 18157990 markings, 55399405 edges, 66294 markings/sec, 215 secs
lola: 18477468 markings, 56686170 edges, 63896 markings/sec, 220 secs
lola: 18781269 markings, 58011828 edges, 60760 markings/sec, 225 secs
lola: 19042012 markings, 59471871 edges, 52149 markings/sec, 230 secs
lola: 19069653 markings, 61298514 edges, 5528 markings/sec, 235 secs
lola: 19077194 markings, 63170637 edges, 1508 markings/sec, 240 secs
lola: 19081656 markings, 65067926 edges, 892 markings/sec, 245 secs
lola: 19084988 markings, 66982642 edges, 666 markings/sec, 250 secs
lola: 19087901 markings, 68909172 edges, 583 markings/sec, 255 secs
lola: 19090452 markings, 70849685 edges, 510 markings/sec, 260 secs
lola: 19092640 markings, 72801052 edges, 438 markings/sec, 265 secs
lola: 19094572 markings, 74764735 edges, 386 markings/sec, 270 secs
lola: 19096405 markings, 76733450 edges, 367 markings/sec, 275 secs
lola: 19098272 markings, 78711086 edges, 373 markings/sec, 280 secs
lola: 19099872 markings, 80690413 edges, 320 markings/sec, 285 secs
lola: 19101370 markings, 82678052 edges, 300 markings/sec, 290 secs
lola: 19102861 markings, 84685218 edges, 298 markings/sec, 295 secs
lola: 19104095 markings, 86695342 edges, 247 markings/sec, 300 secs
lola: 19105286 markings, 88709060 edges, 238 markings/sec, 305 secs
lola: 19106510 markings, 90731040 edges, 245 markings/sec, 310 secs
lola: 19107754 markings, 92760869 edges, 249 markings/sec, 315 secs
lola: 19108783 markings, 94793462 edges, 206 markings/sec, 320 secs
lola: 19110016 markings, 96834769 edges, 247 markings/sec, 325 secs
lola: 19111110 markings, 98882824 edges, 219 markings/sec, 330 secs
lola: 19112153 markings, 100930579 edges, 209 markings/sec, 335 secs
lola: 19113195 markings, 102991028 edges, 208 markings/sec, 340 secs
lola: 19114082 markings, 105051564 edges, 177 markings/sec, 345 secs
lola: 19114940 markings, 107103936 edges, 172 markings/sec, 350 secs
lola: 19115756 markings, 109154287 edges, 163 markings/sec, 355 secs
lola: 19116575 markings, 111218063 edges, 164 markings/sec, 360 secs
lola: 19117385 markings, 113298004 edges, 162 markings/sec, 365 secs
lola: 19118191 markings, 115388840 edges, 161 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown 1 1 1 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1781792 KB
lola: time consumption: 1292 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 379 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p220)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p220)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 3 markings, 2 edges
lola: ========================================
lola: subprocess 11 will run for 455 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p174)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 6 markings, 5 edges
lola: ========================================
lola: subprocess 12 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p143)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: ========================================
lola: subprocess 13 will run for 759 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p38)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 6 markings, 5 edges
lola: ========================================
lola: subprocess 14 will run for 1139 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p64)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================
lola: subprocess 15 will run for 2278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p70)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: 495407 markings, 1219898 edges, 99081 markings/sec, 0 secs
lola: 988704 markings, 2437508 edges, 98659 markings/sec, 5 secs
lola: 1492083 markings, 3724864 edges, 100676 markings/sec, 10 secs
lola: 1977419 markings, 5021818 edges, 97067 markings/sec, 15 secs
lola: 2454046 markings, 6316184 edges, 95325 markings/sec, 20 secs
lola: 2923687 markings, 7612504 edges, 93928 markings/sec, 25 secs
lola: 3390887 markings, 8905844 edges, 93440 markings/sec, 30 secs
lola: 3847022 markings, 10202295 edges, 91227 markings/sec, 35 secs
lola: 4303862 markings, 11496690 edges, 91368 markings/sec, 40 secs
lola: 4745998 markings, 12762312 edges, 88427 markings/sec, 45 secs
lola: 5176392 markings, 14004709 edges, 86079 markings/sec, 50 secs
lola: 5606272 markings, 15245122 edges, 85976 markings/sec, 55 secs
lola: 6034121 markings, 16484801 edges, 85570 markings/sec, 60 secs
lola: 6457957 markings, 17726782 edges, 84767 markings/sec, 65 secs
lola: 6883976 markings, 18964732 edges, 85204 markings/sec, 70 secs
lola: 7302908 markings, 20206190 edges, 83786 markings/sec, 75 secs
lola: 7724206 markings, 21445365 edges, 84260 markings/sec, 80 secs
lola: 8141503 markings, 22685175 edges, 83459 markings/sec, 85 secs
lola: 8555180 markings, 23925387 edges, 82735 markings/sec, 90 secs
lola: 8965834 markings, 25166597 edges, 82131 markings/sec, 95 secs
lola: 9373745 markings, 26410028 edges, 81582 markings/sec, 100 secs
lola: 9780247 markings, 27650626 edges, 81300 markings/sec, 105 secs
lola: 10184538 markings, 28892709 edges, 80858 markings/sec, 110 secs
lola: 10588278 markings, 30133723 edges, 80748 markings/sec, 115 secs
lola: 10989208 markings, 31376240 edges, 80186 markings/sec, 120 secs
lola: 11387485 markings, 32618396 edges, 79655 markings/sec, 125 secs
lola: 11784674 markings, 33860142 edges, 79438 markings/sec, 130 secs
lola: 12178002 markings, 35102635 edges, 78666 markings/sec, 135 secs
lola: 12569576 markings, 36345462 edges, 78315 markings/sec, 140 secs
lola: 12959812 markings, 37588364 edges, 78047 markings/sec, 145 secs
lola: 13347411 markings, 38831008 edges, 77520 markings/sec, 150 secs
lola: 13731004 markings, 40074794 edges, 76719 markings/sec, 155 secs
lola: 14112732 markings, 41319048 edges, 76346 markings/sec, 160 secs
lola: 14493236 markings, 42563718 edges, 76101 markings/sec, 165 secs
lola: 14869428 markings, 43808284 edges, 75238 markings/sec, 170 secs
lola: 15241880 markings, 45055358 edges, 74490 markings/sec, 175 secs
lola: 15611212 markings, 46301655 edges, 73866 markings/sec, 180 secs
lola: 15978301 markings, 47550031 edges, 73418 markings/sec, 185 secs
lola: 16341145 markings, 48800990 edges, 72569 markings/sec, 190 secs
lola: 16699001 markings, 50048657 edges, 71571 markings/sec, 195 secs
lola: 17053477 markings, 51306500 edges, 70895 markings/sec, 200 secs
lola: 17403747 markings, 52566202 edges, 70054 markings/sec, 205 secs
lola: 17746484 markings, 53830488 edges, 68547 markings/sec, 210 secs
lola: 18082001 markings, 55104124 edges, 67103 markings/sec, 215 secs
lola: 18406669 markings, 56393017 edges, 64934 markings/sec, 220 secs
lola: 18715068 markings, 57711194 edges, 61680 markings/sec, 225 secs
lola: 18991906 markings, 59095260 edges, 55368 markings/sec, 230 secs
lola: 19066103 markings, 60795431 edges, 14839 markings/sec, 235 secs
lola: 19075286 markings, 62603340 edges, 1837 markings/sec, 240 secs
lola: 19080344 markings, 64446088 edges, 1012 markings/sec, 245 secs
lola: 19083980 markings, 66314687 edges, 727 markings/sec, 250 secs
lola: 19086846 markings, 68200931 edges, 573 markings/sec, 255 secs
lola: 19089442 markings, 70097253 edges, 519 markings/sec, 260 secs
lola: 19091695 markings, 72003440 edges, 451 markings/sec, 265 secs
lola: 19093780 markings, 73922140 edges, 417 markings/sec, 270 secs
lola: 19095590 markings, 75854674 edges, 362 markings/sec, 275 secs
lola: 19097465 markings, 77791257 edges, 375 markings/sec, 280 secs
lola: 19099101 markings, 79732968 edges, 327 markings/sec, 285 secs
lola: 19100630 markings, 81685338 edges, 306 markings/sec, 290 secs
lola: 19102125 markings, 83642508 edges, 299 markings/sec, 295 secs
lola: 19103493 markings, 85610024 edges, 274 markings/sec, 300 secs
lola: 19104599 markings, 87578172 edges, 221 markings/sec, 305 secs
lola: 19105757 markings, 89553516 edges, 232 markings/sec, 310 secs
lola: 19107010 markings, 91538643 edges, 251 markings/sec, 315 secs
lola: 19108085 markings, 93525550 edges, 215 markings/sec, 320 secs
lola: 19109226 markings, 95521338 edges, 228 markings/sec, 325 secs
lola: 19110418 markings, 97516776 edges, 238 markings/sec, 330 secs
lola: 19111504 markings, 99521846 edges, 217 markings/sec, 335 secs
lola: 19112453 markings, 101527118 edges, 190 markings/sec, 340 secs
lola: 19113441 markings, 103542243 edges, 198 markings/sec, 345 secs
lola: 19114318 markings, 105557272 edges, 175 markings/sec, 350 secs
lola: 19115078 markings, 107579100 edges, 152 markings/sec, 355 secs
lola: 19115924 markings, 109603718 edges, 169 markings/sec, 360 secs
lola: 19116732 markings, 111633946 edges, 162 markings/sec, 365 secs
lola: 19117571 markings, 113667051 edges, 168 markings/sec, 370 secs
lola: 19118374 markings, 115704219 edges, 161 markings/sec, 375 secs
lola: 19119089 markings, 117748020 edges, 143 markings/sec, 380 secs
lola: 19119711 markings, 119788118 edges, 124 markings/sec, 385 secs
lola: 19120403 markings, 121835160 edges, 138 markings/sec, 390 secs
lola: 19121083 markings, 123890050 edges, 136 markings/sec, 395 secs
lola: 19121755 markings, 125952165 edges, 134 markings/sec, 400 secs
lola: 19122240 markings, 128019515 edges, 97 markings/sec, 405 secs
lola: 19122954 markings, 130092464 edges, 143 markings/sec, 410 secs
lola: 19123659 markings, 132161747 edges, 141 markings/sec, 415 secs
lola: 19124115 markings, 134234200 edges, 91 markings/sec, 420 secs
lola: 19124661 markings, 136322045 edges, 109 markings/sec, 425 secs
lola: 19125322 markings, 138395357 edges, 132 markings/sec, 430 secs
lola: 19125858 markings, 140481540 edges, 107 markings/sec, 435 secs
lola: 19126252 markings, 142568672 edges, 79 markings/sec, 440 secs
lola: 19126819 markings, 144666441 edges, 113 markings/sec, 445 secs
lola: 19127440 markings, 146763536 edges, 124 markings/sec, 450 secs
lola: 19127860 markings, 148864450 edges, 84 markings/sec, 455 secs
lola: 19128211 markings, 150967376 edges, 70 markings/sec, 460 secs
lola: 19128576 markings, 153077528 edges, 73 markings/sec, 465 secs
lola: 19128818 markings, 155179178 edges, 48 markings/sec, 470 secs
lola: 19129264 markings, 157295914 edges, 89 markings/sec, 475 secs
lola: 19129643 markings, 159417163 edges, 76 markings/sec, 480 secs
lola: 19129888 markings, 161533367 edges, 49 markings/sec, 485 secs
lola: 19130018 markings, 163661393 edges, 26 markings/sec, 490 secs
lola: 19130172 markings, 165784713 edges, 31 markings/sec, 495 secs
lola: 19130449 markings, 167919599 edges, 55 markings/sec, 500 secs
lola: 19130758 markings, 170069430 edges, 62 markings/sec, 505 secs
lola: 19131018 markings, 172211648 edges, 52 markings/sec, 510 secs
lola: 19131467 markings, 174378072 edges, 90 markings/sec, 515 secs
lola: 19131621 markings, 176546509 edges, 31 markings/sec, 520 secs
lola: 19131786 markings, 178728600 edges, 33 markings/sec, 525 secs
lola: 19131948 markings, 180920255 edges, 32 markings/sec, 530 secs
lola: 19132042 markings, 183127042 edges, 19 markings/sec, 535 secs
lola: 19132043 markings, 185324621 edges, 0 markings/sec, 540 secs
lola: 19132047 markings, 187521355 edges, 1 markings/sec, 545 secs
lola: 19134621 markings, 189729533 edges, 515 markings/sec, 550 secs
lola: 19590522 markings, 190921257 edges, 91180 markings/sec, 555 secs
lola: 20053521 markings, 192072108 edges, 92600 markings/sec, 560 secs
lola: 20523086 markings, 193238358 edges, 93913 markings/sec, 565 secs
lola: 20994768 markings, 194411488 edges, 94336 markings/sec, 570 secs
lola: 21445973 markings, 195597373 edges, 90241 markings/sec, 575 secs
lola: 21889488 markings, 196792336 edges, 88703 markings/sec, 580 secs
lola: 22329253 markings, 197988128 edges, 87953 markings/sec, 585 secs
lola: 22761348 markings, 199188673 edges, 86419 markings/sec, 590 secs
lola: 23194397 markings, 200387074 edges, 86610 markings/sec, 595 secs
lola: 23618181 markings, 201589878 edges, 84757 markings/sec, 600 secs
lola: 24039968 markings, 202790872 edges, 84357 markings/sec, 605 secs
lola: 24462501 markings, 203992066 edges, 84507 markings/sec, 610 secs
lola: 24881149 markings, 205196372 edges, 83730 markings/sec, 615 secs
lola: 25298215 markings, 206401270 edges, 83413 markings/sec, 620 secs
lola: 25713038 markings, 207604552 edges, 82965 markings/sec, 625 secs
lola: 26125964 markings, 208807870 edges, 82585 markings/sec, 630 secs
lola: 26534209 markings, 210012054 edges, 81649 markings/sec, 635 secs
lola: 26946101 markings, 211215019 edges, 82378 markings/sec, 640 secs
lola: 27355722 markings, 212419262 edges, 81924 markings/sec, 645 secs
lola: 27761084 markings, 213623348 edges, 81072 markings/sec, 650 secs
lola: 28164145 markings, 214826747 edges, 80612 markings/sec, 655 secs
lola: 28564482 markings, 216030500 edges, 80067 markings/sec, 660 secs
lola: 28959237 markings, 217235211 edges, 78951 markings/sec, 665 secs
lola: 29352307 markings, 218434339 edges, 78614 markings/sec, 670 secs
lola: 29743919 markings, 219631027 edges, 78322 markings/sec, 675 secs
lola: 30133565 markings, 220827513 edges, 77929 markings/sec, 680 secs
lola: 30519607 markings, 222023212 edges, 77208 markings/sec, 685 secs
lola: 30906177 markings, 223218314 edges, 77314 markings/sec, 690 secs
lola: 31287240 markings, 224409327 edges, 76213 markings/sec, 695 secs
lola: 31666778 markings, 225599894 edges, 75908 markings/sec, 700 secs
lola: 32043925 markings, 226789884 edges, 75429 markings/sec, 705 secs
lola: 32417889 markings, 227979132 edges, 74793 markings/sec, 710 secs
lola: 32791318 markings, 229168371 edges, 74686 markings/sec, 715 secs
lola: 33161112 markings, 230356849 edges, 73959 markings/sec, 720 secs
lola: 33527626 markings, 231545455 edges, 73303 markings/sec, 725 secs
lola: 33891407 markings, 232732143 edges, 72756 markings/sec, 730 secs
lola: 34254722 markings, 233920976 edges, 72663 markings/sec, 735 secs
lola: 34613574 markings, 235107278 edges, 71770 markings/sec, 740 secs
lola: 34968651 markings, 236294544 edges, 71015 markings/sec, 745 secs
lola: 35321427 markings, 237482485 edges, 70555 markings/sec, 750 secs
lola: 35670195 markings, 238669820 edges, 69754 markings/sec, 755 secs
lola: 36016857 markings, 239858893 edges, 69332 markings/sec, 760 secs
lola: 36359849 markings, 241050311 edges, 68598 markings/sec, 765 secs
lola: 36697814 markings, 242244615 edges, 67593 markings/sec, 770 secs
lola: 37032273 markings, 243439608 edges, 66892 markings/sec, 775 secs
lola: 37361104 markings, 244640056 edges, 65766 markings/sec, 780 secs
lola: 37683795 markings, 245846326 edges, 64538 markings/sec, 785 secs
lola: 37998259 markings, 247059225 edges, 62893 markings/sec, 790 secs
lola: 38299929 markings, 248291535 edges, 60334 markings/sec, 795 secs
lola: 38584872 markings, 249556112 edges, 56989 markings/sec, 800 secs
lola: 38814584 markings, 250932983 edges, 45942 markings/sec, 805 secs
lola: 38837979 markings, 252580318 edges, 4679 markings/sec, 810 secs
lola: 38845204 markings, 254284264 edges, 1445 markings/sec, 815 secs
lola: 38849615 markings, 256018938 edges, 882 markings/sec, 820 secs
lola: 38852995 markings, 257774198 edges, 676 markings/sec, 825 secs
lola: 38855656 markings, 259544957 edges, 532 markings/sec, 830 secs
lola: 38858142 markings, 261328887 edges, 497 markings/sec, 835 secs
lola: 38860321 markings, 263126934 edges, 436 markings/sec, 840 secs
lola: 38862288 markings, 264933880 edges, 393 markings/sec, 845 secs
lola: 38864107 markings, 266753905 edges, 364 markings/sec, 850 secs
lola: 38865697 markings, 268577913 edges, 318 markings/sec, 855 secs
lola: 38867450 markings, 270408547 edges, 351 markings/sec, 860 secs
lola: 38868946 markings, 272252218 edges, 299 markings/sec, 865 secs
lola: 38870302 markings, 274101894 edges, 271 markings/sec, 870 secs
lola: 38871652 markings, 275962421 edges, 270 markings/sec, 875 secs
lola: 38872835 markings, 277826188 edges, 237 markings/sec, 880 secs
lola: 38873978 markings, 279696691 edges, 229 markings/sec, 885 secs
lola: 38875065 markings, 281570478 edges, 217 markings/sec, 890 secs
lola: 38876250 markings, 283452377 edges, 237 markings/sec, 895 secs
lola: 38877182 markings, 285341868 edges, 186 markings/sec, 900 secs
lola: 38878274 markings, 287237416 edges, 218 markings/sec, 905 secs
lola: 38879426 markings, 289134469 edges, 230 markings/sec, 910 secs
lola: 38880478 markings, 291038864 edges, 210 markings/sec, 915 secs
lola: 38881367 markings, 292946435 edges, 178 markings/sec, 920 secs
lola: 38882301 markings, 294864787 edges, 187 markings/sec, 925 secs
lola: 38883180 markings, 296784293 edges, 176 markings/sec, 930 secs
lola: 38883920 markings, 298715213 edges, 148 markings/sec, 935 secs
lola: 38884705 markings, 300644769 edges, 157 markings/sec, 940 secs
lola: 38885472 markings, 302582917 edges, 153 markings/sec, 945 secs
lola: 38886227 markings, 304519724 edges, 151 markings/sec, 950 secs
lola: 38886947 markings, 306469887 edges, 144 markings/sec, 955 secs
lola: 38887755 markings, 308415537 edges, 162 markings/sec, 960 secs
lola: 38888369 markings, 310368215 edges, 123 markings/sec, 965 secs
lola: 38889023 markings, 312328247 edges, 131 markings/sec, 970 secs
lola: 38889625 markings, 314293808 edges, 120 markings/sec, 975 secs
lola: 38890314 markings, 316266346 edges, 138 markings/sec, 980 secs
lola: 38890895 markings, 318241520 edges, 116 markings/sec, 985 secs
lola: 38891404 markings, 320222025 edges, 102 markings/sec, 990 secs
lola: 38892167 markings, 322210515 edges, 153 markings/sec, 995 secs
lola: 38892707 markings, 324192851 edges, 108 markings/sec, 1000 secs
lola: 38893137 markings, 326187914 edges, 86 markings/sec, 1005 secs
lola: 38893679 markings, 328185050 edges, 108 markings/sec, 1010 secs
lola: 38894309 markings, 330175404 edges, 126 markings/sec, 1015 secs
lola: 38894861 markings, 332175503 edges, 110 markings/sec, 1020 secs
lola: 38895228 markings, 334180878 edges, 73 markings/sec, 1025 secs
lola: 38895759 markings, 336192967 edges, 106 markings/sec, 1030 secs
lola: 38896368 markings, 338208269 edges, 122 markings/sec, 1035 secs
lola: 38896758 markings, 340219409 edges, 78 markings/sec, 1040 secs
lola: 38897051 markings, 342236088 edges, 59 markings/sec, 1045 secs
lola: 38897460 markings, 344264860 edges, 82 markings/sec, 1050 secs
lola: 38897691 markings, 346283321 edges, 46 markings/sec, 1055 secs
lola: 38898044 markings, 348313413 edges, 71 markings/sec, 1060 secs
lola: 38898521 markings, 350352936 edges, 95 markings/sec, 1065 secs
lola: 38898630 markings, 352379325 edges, 22 markings/sec, 1070 secs
lola: 38898899 markings, 354435133 edges, 54 markings/sec, 1075 secs
lola: 38899000 markings, 356482386 edges, 20 markings/sec, 1080 secs
lola: 38899228 markings, 358534653 edges, 46 markings/sec, 1085 secs
lola: 38899573 markings, 360607774 edges, 69 markings/sec, 1090 secs
lola: 38899768 markings, 362664370 edges, 39 markings/sec, 1095 secs
lola: 38900330 markings, 364752953 edges, 112 markings/sec, 1100 secs
lola: 38900440 markings, 366822038 edges, 22 markings/sec, 1105 secs
lola: 38900573 markings, 368917752 edges, 27 markings/sec, 1110 secs
lola: 38900766 markings, 371027666 edges, 39 markings/sec, 1115 secs
lola: 38900893 markings, 373149296 edges, 25 markings/sec, 1120 secs
lola: 38900943 markings, 375272824 edges, 10 markings/sec, 1125 secs
lola: 38900947 markings, 377393767 edges, 1 markings/sec, 1130 secs
lola: 38900947 markings, 379530685 edges, 0 markings/sec, 1135 secs
lola: 39012381 markings, 381390836 edges, 22287 markings/sec, 1140 secs
lola: 39457658 markings, 382568589 edges, 89055 markings/sec, 1145 secs
lola: 39907440 markings, 383760471 edges, 89956 markings/sec, 1150 secs
lola: 40346542 markings, 384956346 edges, 87820 markings/sec, 1155 secs
lola: 40766627 markings, 386159134 edges, 84017 markings/sec, 1160 secs
lola: 41186478 markings, 387362877 edges, 83970 markings/sec, 1165 secs
lola: 41602619 markings, 388566043 edges, 83228 markings/sec, 1170 secs
lola: 42010412 markings, 389769160 edges, 81559 markings/sec, 1175 secs
lola: 42388527 markings, 390887765 edges, 75623 markings/sec, 1180 secs
lola: 42801824 markings, 392126560 edges, 82659 markings/sec, 1185 secs
lola: 43213274 markings, 393365286 edges, 82290 markings/sec, 1190 secs
lola: 43608388 markings, 394560730 edges, 79023 markings/sec, 1195 secs
lola: 44015864 markings, 395802018 edges, 81495 markings/sec, 1200 secs
lola: 44404842 markings, 396992598 edges, 77796 markings/sec, 1205 secs
lola: 44808855 markings, 398232972 edges, 80803 markings/sec, 1210 secs
lola: 45211311 markings, 399472646 edges, 80491 markings/sec, 1215 secs
lola: 45608098 markings, 400708908 edges, 79357 markings/sec, 1220 secs
lola: 46010102 markings, 401946822 edges, 80401 markings/sec, 1225 secs
lola: 46404268 markings, 403183532 edges, 78833 markings/sec, 1230 secs
lola: 46800242 markings, 404417101 edges, 79195 markings/sec, 1235 secs
lola: 47190596 markings, 405645012 edges, 78071 markings/sec, 1240 secs
lola: 47575396 markings, 406867659 edges, 76960 markings/sec, 1245 secs
lola: 47957762 markings, 408091504 edges, 76473 markings/sec, 1250 secs
lola: 48337181 markings, 409313961 edges, 75884 markings/sec, 1255 secs
lola: 48717445 markings, 410536372 edges, 76053 markings/sec, 1260 secs
lola: 49093768 markings, 411756629 edges, 75265 markings/sec, 1265 secs
lola: 49469107 markings, 412974330 edges, 75068 markings/sec, 1270 secs
lola: 49841462 markings, 414191579 edges, 74471 markings/sec, 1275 secs
lola: 50211776 markings, 415407366 edges, 74063 markings/sec, 1280 secs
lola: 50582685 markings, 416625208 edges, 74182 markings/sec, 1285 secs
lola: 50947852 markings, 417843168 edges, 73033 markings/sec, 1290 secs
lola: 51314170 markings, 419060065 edges, 73264 markings/sec, 1295 secs
lola: 51678073 markings, 420277474 edges, 72781 markings/sec, 1300 secs
lola: 52038922 markings, 421494003 edges, 72170 markings/sec, 1305 secs
lola: 52398758 markings, 422710279 edges, 71967 markings/sec, 1310 secs
lola: 52754299 markings, 423925056 edges, 71108 markings/sec, 1315 secs
lola: 53107577 markings, 425137568 edges, 70656 markings/sec, 1320 secs
lola: 53459422 markings, 426350834 edges, 70369 markings/sec, 1325 secs
lola: 53808464 markings, 427565117 edges, 69808 markings/sec, 1330 secs
lola: 54153382 markings, 428779386 edges, 68984 markings/sec, 1335 secs
lola: 54496658 markings, 429993130 edges, 68655 markings/sec, 1340 secs
lola: 54837282 markings, 431207568 edges, 68125 markings/sec, 1345 secs
lola: 55174621 markings, 432423206 edges, 67468 markings/sec, 1350 secs
lola: 55507930 markings, 433636866 edges, 66662 markings/sec, 1355 secs
lola: 55837066 markings, 434853251 edges, 65827 markings/sec, 1360 secs
lola: 56162818 markings, 436070787 edges, 65150 markings/sec, 1365 secs
lola: 56482404 markings, 437288691 edges, 63917 markings/sec, 1370 secs
lola: 56796098 markings, 438510933 edges, 62739 markings/sec, 1375 secs
lola: 57102856 markings, 439738923 edges, 61352 markings/sec, 1380 secs
lola: 57397903 markings, 440983606 edges, 59009 markings/sec, 1385 secs
lola: 57678882 markings, 442257147 edges, 56196 markings/sec, 1390 secs
lola: 57927971 markings, 443615442 edges, 49818 markings/sec, 1395 secs
lola: 57967729 markings, 445239824 edges, 7952 markings/sec, 1400 secs
lola: 57975948 markings, 446924190 edges, 1644 markings/sec, 1405 secs
lola: 57980673 markings, 448642845 edges, 945 markings/sec, 1410 secs
lola: 57984148 markings, 450377311 edges, 695 markings/sec, 1415 secs
lola: 57986822 markings, 452134994 edges, 535 markings/sec, 1420 secs
lola: 57989359 markings, 453905852 edges, 507 markings/sec, 1425 secs
lola: 57991644 markings, 455688171 edges, 457 markings/sec, 1430 secs
lola: 57993575 markings, 457483378 edges, 386 markings/sec, 1435 secs
lola: 57995314 markings, 459290994 edges, 348 markings/sec, 1440 secs
lola: 57996959 markings, 461103281 edges, 329 markings/sec, 1445 secs
lola: 57998735 markings, 462925310 edges, 355 markings/sec, 1450 secs
lola: 58000254 markings, 464749478 edges, 304 markings/sec, 1455 secs
lola: 58001589 markings, 466589102 edges, 267 markings/sec, 1460 secs
lola: 58002974 markings, 468435824 edges, 277 markings/sec, 1465 secs
lola: 58004258 markings, 470292657 edges, 257 markings/sec, 1470 secs
lola: 58005277 markings, 472150586 edges, 204 markings/sec, 1475 secs
lola: 58006329 markings, 474011295 edges, 210 markings/sec, 1480 secs
lola: 58007482 markings, 475885581 edges, 231 markings/sec, 1485 secs
lola: 58008636 markings, 477758620 edges, 231 markings/sec, 1490 secs
lola: 58009570 markings, 479646843 edges, 187 markings/sec, 1495 secs
lola: 58010705 markings, 481532682 edges, 227 markings/sec, 1500 secs
lola: 58011744 markings, 483428400 edges, 208 markings/sec, 1505 secs
lola: 58012702 markings, 485315980 edges, 192 markings/sec, 1510 secs
lola: 58013559 markings, 487218748 edges, 171 markings/sec, 1515 secs
lola: 58014507 markings, 489124056 edges, 190 markings/sec, 1520 secs
lola: 58015317 markings, 491026068 edges, 162 markings/sec, 1525 secs
lola: 58016014 markings, 492937770 edges, 139 markings/sec, 1530 secs
lola: 58016829 markings, 494858805 edges, 163 markings/sec, 1535 secs
lola: 58017561 markings, 496787942 edges, 146 markings/sec, 1540 secs
lola: 58018342 markings, 498706900 edges, 156 markings/sec, 1545 secs
lola: 58019063 markings, 500636375 edges, 144 markings/sec, 1550 secs
lola: 58019749 markings, 502567602 edges, 137 markings/sec, 1555 secs
lola: 58020375 markings, 504497412 edges, 125 markings/sec, 1560 secs
lola: 58020998 markings, 506433840 edges, 125 markings/sec, 1565 secs
lola: 58021569 markings, 508381598 edges, 114 markings/sec, 1570 secs
lola: 58022282 markings, 510336027 edges, 143 markings/sec, 1575 secs
lola: 58022812 markings, 512294452 edges, 106 markings/sec, 1580 secs
lola: 58023377 markings, 514259492 edges, 113 markings/sec, 1585 secs
lola: 58024058 markings, 516232574 edges, 136 markings/sec, 1590 secs
lola: 58024599 markings, 518199534 edges, 108 markings/sec, 1595 secs
lola: 58025028 markings, 520175386 edges, 86 markings/sec, 1600 secs
lola: 58025571 markings, 522158102 edges, 109 markings/sec, 1605 secs
lola: 58026182 markings, 524135466 edges, 122 markings/sec, 1610 secs
lola: 58026719 markings, 526124692 edges, 107 markings/sec, 1615 secs
lola: 58027089 markings, 528112492 edges, 74 markings/sec, 1620 secs
lola: 58027602 markings, 530113866 edges, 103 markings/sec, 1625 secs
lola: 58028144 markings, 532107045 edges, 108 markings/sec, 1630 secs
lola: 58028561 markings, 534100472 edges, 83 markings/sec, 1635 secs
lola: 58028856 markings, 536111881 edges, 59 markings/sec, 1640 secs
lola: 58029201 markings, 538131111 edges, 69 markings/sec, 1645 secs
lola: 58029500 markings, 540133631 edges, 60 markings/sec, 1650 secs
lola: 58029902 markings, 542162214 edges, 80 markings/sec, 1655 secs
lola: 58030370 markings, 544183878 edges, 94 markings/sec, 1660 secs
lola: 58030490 markings, 546200605 edges, 24 markings/sec, 1665 secs
lola: 58030728 markings, 548242985 edges, 48 markings/sec, 1670 secs
lola: 58030840 markings, 550290804 edges, 22 markings/sec, 1675 secs
lola: 58031066 markings, 552335424 edges, 45 markings/sec, 1680 secs
lola: 58031361 markings, 554395973 edges, 59 markings/sec, 1685 secs
lola: 58031582 markings, 556464448 edges, 44 markings/sec, 1690 secs
lola: 58032033 markings, 558541232 edges, 90 markings/sec, 1695 secs
lola: 58032286 markings, 560622150 edges, 51 markings/sec, 1700 secs
lola: 58032417 markings, 562712280 edges, 26 markings/sec, 1705 secs
lola: 58032588 markings, 564832633 edges, 34 markings/sec, 1710 secs
lola: 58032763 markings, 566976321 edges, 35 markings/sec, 1715 secs
lola: 58032815 markings, 569133534 edges, 10 markings/sec, 1720 secs
lola: 58032819 markings, 571293070 edges, 1 markings/sec, 1725 secs
lola: 58032820 markings, 573450330 edges, 0 markings/sec, 1730 secs
lola: 58032820 markings, 575607263 edges, 0 markings/sec, 1735 secs
lola: 58522876 markings, 576921428 edges, 98011 markings/sec, 1740 secs
lola: 59043032 markings, 578199153 edges, 104031 markings/sec, 1745 secs
lola: 59559800 markings, 579488680 edges, 103354 markings/sec, 1750 secs
lola: 60058761 markings, 580800453 edges, 99792 markings/sec, 1755 secs
lola: 60546196 markings, 582115470 edges, 97487 markings/sec, 1760 secs
lola: 61028338 markings, 583427245 edges, 96428 markings/sec, 1765 secs
lola: 61502572 markings, 584746938 edges, 94847 markings/sec, 1770 secs
lola: 61970541 markings, 586068792 edges, 93594 markings/sec, 1775 secs
lola: 62438742 markings, 587384562 edges, 93640 markings/sec, 1780 secs
lola: 62900543 markings, 588702249 edges, 92360 markings/sec, 1785 secs
lola: 63361783 markings, 590017529 edges, 92248 markings/sec, 1790 secs
lola: 63816866 markings, 591335560 edges, 91017 markings/sec, 1795 secs
lola: 64269387 markings, 592649230 edges, 90504 markings/sec, 1800 secs
lola: 64722117 markings, 593966138 edges, 90546 markings/sec, 1805 secs
lola: 65170774 markings, 595283221 edges, 89731 markings/sec, 1810 secs
lola: 65619431 markings, 596599274 edges, 89731 markings/sec, 1815 secs
lola: 66065313 markings, 597916429 edges, 89176 markings/sec, 1820 secs
lola: 66508619 markings, 599233403 edges, 88661 markings/sec, 1825 secs
lola: 66948177 markings, 600549296 edges, 87912 markings/sec, 1830 secs
lola: 67382638 markings, 601865782 edges, 86892 markings/sec, 1835 secs
lola: 67812268 markings, 603175838 edges, 85926 markings/sec, 1840 secs
lola: 68239442 markings, 604479477 edges, 85435 markings/sec, 1845 secs
lola: 68661297 markings, 605780248 edges, 84371 markings/sec, 1850 secs
lola: 69081283 markings, 607076506 edges, 83997 markings/sec, 1855 secs
lola: 69502130 markings, 608379092 edges, 84169 markings/sec, 1860 secs
lola: 69919593 markings, 609682537 edges, 83493 markings/sec, 1865 secs
lola: 70333938 markings, 610987246 edges, 82869 markings/sec, 1870 secs
lola: 70747426 markings, 612291223 edges, 82698 markings/sec, 1875 secs
lola: 71157386 markings, 613596487 edges, 81992 markings/sec, 1880 secs
lola: 71565129 markings, 614901537 edges, 81549 markings/sec, 1885 secs
lola: 71969721 markings, 616207225 edges, 80918 markings/sec, 1890 secs
lola: 72371106 markings, 617513153 edges, 80277 markings/sec, 1895 secs
lola: 72770287 markings, 618819032 edges, 79836 markings/sec, 1900 secs
lola: 73166255 markings, 620125887 edges, 79194 markings/sec, 1905 secs
lola: 73557665 markings, 621433924 edges, 78282 markings/sec, 1910 secs
lola: 73923948 markings, 622668886 edges, 73257 markings/sec, 1915 secs
lola: 74277575 markings, 623871308 edges, 70725 markings/sec, 1920 secs
lola: 74627663 markings, 625074475 edges, 70018 markings/sec, 1925 secs
lola: 74973992 markings, 626277648 edges, 69266 markings/sec, 1930 secs
lola: 75314894 markings, 627483614 edges, 68180 markings/sec, 1935 secs
lola: 75669850 markings, 628755380 edges, 70991 markings/sec, 1940 secs
lola: 76029103 markings, 630073103 edges, 71851 markings/sec, 1945 secs
lola: 76382231 markings, 631402418 edges, 70626 markings/sec, 1950 secs
lola: 76722931 markings, 632746588 edges, 68140 markings/sec, 1955 secs
lola: 77047611 markings, 634119078 edges, 64936 markings/sec, 1960 secs
lola: 77339933 markings, 635563028 edges, 58464 markings/sec, 1965 secs
lola: 77422275 markings, 637336844 edges, 16468 markings/sec, 1970 secs
lola: 77431766 markings, 639239099 edges, 1898 markings/sec, 1975 secs
lola: 77436748 markings, 641177003 edges, 996 markings/sec, 1980 secs
lola: 77440388 markings, 643136231 edges, 728 markings/sec, 1985 secs
lola: 77443414 markings, 645113377 edges, 605 markings/sec, 1990 secs
lola: 77446100 markings, 647104594 edges, 537 markings/sec, 1995 secs
lola: 77448360 markings, 649108298 edges, 452 markings/sec, 2000 secs
lola: 77450355 markings, 651123984 edges, 399 markings/sec, 2005 secs
lola: 77452278 markings, 653145788 edges, 385 markings/sec, 2010 secs
lola: 77454206 markings, 655176430 edges, 386 markings/sec, 2015 secs
lola: 77455858 markings, 657214074 edges, 330 markings/sec, 2020 secs
lola: 77457410 markings, 659261237 edges, 310 markings/sec, 2025 secs
lola: 77458935 markings, 661319790 edges, 305 markings/sec, 2030 secs
lola: 77460156 markings, 663380856 edges, 244 markings/sec, 2035 secs
lola: 77461344 markings, 665444187 edges, 238 markings/sec, 2040 secs
lola: 77462635 markings, 667519433 edges, 258 markings/sec, 2045 secs
lola: 77463882 markings, 669597660 edges, 249 markings/sec, 2050 secs
lola: 77464961 markings, 671686847 edges, 216 markings/sec, 2055 secs
lola: 77466259 markings, 673776158 edges, 260 markings/sec, 2060 secs
lola: 77467391 markings, 675872253 edges, 226 markings/sec, 2065 secs
lola: 77468401 markings, 677971875 edges, 202 markings/sec, 2070 secs
lola: 77469423 markings, 680080240 edges, 204 markings/sec, 2075 secs
lola: 77470334 markings, 682189280 edges, 182 markings/sec, 2080 secs
lola: 77471176 markings, 684305401 edges, 168 markings/sec, 2085 secs
lola: 77472050 markings, 686426423 edges, 175 markings/sec, 2090 secs
lola: 77472851 markings, 688556471 edges, 160 markings/sec, 2095 secs
lola: 77473754 markings, 690685926 edges, 181 markings/sec, 2100 secs
lola: 77474536 markings, 692815858 edges, 156 markings/sec, 2105 secs
lola: 77475263 markings, 694951898 edges, 145 markings/sec, 2110 secs
lola: 77475945 markings, 697086933 edges, 136 markings/sec, 2115 secs
lola: 77476655 markings, 699236439 edges, 142 markings/sec, 2120 secs
lola: 77477391 markings, 701391891 edges, 147 markings/sec, 2125 secs
lola: 77477997 markings, 703548249 edges, 121 markings/sec, 2130 secs
lola: 77478629 markings, 705712691 edges, 126 markings/sec, 2135 secs
lola: 77479369 markings, 707885727 edges, 148 markings/sec, 2140 secs
lola: 77479942 markings, 710053437 edges, 115 markings/sec, 2145 secs
lola: 77480512 markings, 712236083 edges, 114 markings/sec, 2150 secs
lola: 77481082 markings, 714406692 edges, 114 markings/sec, 2155 secs
lola: 77481678 markings, 716589658 edges, 119 markings/sec, 2160 secs
lola: 77482186 markings, 718775532 edges, 102 markings/sec, 2165 secs
lola: 77482774 markings, 720967289 edges, 118 markings/sec, 2170 secs
lola: 77483335 markings, 723161577 edges, 112 markings/sec, 2175 secs
lola: 77483835 markings, 725360599 edges, 100 markings/sec, 2180 secs
lola: 77484191 markings, 727562697 edges, 71 markings/sec, 2185 secs
lola: 77484575 markings, 729771311 edges, 77 markings/sec, 2190 secs
lola: 77484828 markings, 731973332 edges, 51 markings/sec, 2195 secs
lola: 77485438 markings, 734197952 edges, 122 markings/sec, 2200 secs
lola: 77485661 markings, 736412726 edges, 45 markings/sec, 2205 secs
lola: 77485917 markings, 738635363 edges, 51 markings/sec, 2210 secs
lola: 77486025 markings, 740871325 edges, 22 markings/sec, 2215 secs
lola: 77486261 markings, 743104168 edges, 47 markings/sec, 2220 secs
lola: 77486583 markings, 745352871 edges, 64 markings/sec, 2225 secs
lola: 77486832 markings, 747604306 edges, 50 markings/sec, 2230 secs
lola: 77487407 markings, 749876303 edges, 115 markings/sec, 2235 secs
lola: 77487537 markings, 752136048 edges, 26 markings/sec, 2240 secs
lola: 77487664 markings, 754422712 edges, 25 markings/sec, 2245 secs
lola: 77487865 markings, 756724705 edges, 40 markings/sec, 2250 secs
lola: 77488010 markings, 759054223 edges, 29 markings/sec, 2255 secs
lola: 77488020 markings, 761368009 edges, 2 markings/sec, 2260 secs
lola: 77488024 markings, 763699616 edges, 1 markings/sec, 2265 secs
lola: 77488024 markings, 766039321 edges, 0 markings/sec, 2270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown 1 1 1 1 unknown 1 1 1 1 1 unknown
lola: memory consumption: 4201484 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown 1 1 1 1 unknown 1 1 1 1 1 unknown
lola:
preliminary result: unknown unknown unknown 1 unknown 1 1 1 1 unknown 1 1 1 1 1 unknown
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p128)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
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: memory consumption: 20204 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown 1 unknown 1 1 1 1 unknown 1 1 1 1 1 unknown
lola: memory consumption: 19668 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
rslt: finished

BK_STOP 1552914437755

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

grep: GenericPropertiesVerdict.xml: No such file or directory
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="MultiwaySync-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3957"
echo " Executing tool lola"
echo " Input is MultiwaySync-PT-none, 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 r093-smll-155246584400362"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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