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.r099-smll-155246598400121.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 win2018
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 r099-smll-155246598400121
=====================================================================

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

info: Time: 3600 - MCC
===========================================================================================
prep: translating MultiwaySync-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating MultiwaySync-PT-none formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ MultiwaySync-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 694/65536 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: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-UpperBounds.task
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 223 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 MultiwaySync-PT-none-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: 350870 markings, 1217692 edges, 70174 markings/sec, 0 secs
lola: 724374 markings, 2531236 edges, 74701 markings/sec, 5 secs
lola: 1098132 markings, 3845425 edges, 74752 markings/sec, 10 secs
lola: 1465549 markings, 5168639 edges, 73483 markings/sec, 15 secs
lola: 1820250 markings, 6484969 edges, 70940 markings/sec, 20 secs
lola: 2175722 markings, 7803100 edges, 71094 markings/sec, 25 secs
lola: 2508477 markings, 9048138 edges, 66551 markings/sec, 30 secs
lola: 2858755 markings, 10372082 edges, 70056 markings/sec, 35 secs
lola: 3208225 markings, 11698609 edges, 69894 markings/sec, 40 secs
lola: 3554597 markings, 13029618 edges, 69274 markings/sec, 45 secs
lola: 3901456 markings, 14358307 edges, 69372 markings/sec, 50 secs
lola: 4245035 markings, 15687065 edges, 68716 markings/sec, 55 secs
lola: 4587939 markings, 17014065 edges, 68581 markings/sec, 60 secs
lola: 4929201 markings, 18341693 edges, 68252 markings/sec, 65 secs
lola: 5271611 markings, 19668416 edges, 68482 markings/sec, 70 secs
lola: 5609546 markings, 20997403 edges, 67587 markings/sec, 75 secs
lola: 5947978 markings, 22321443 edges, 67686 markings/sec, 80 secs
lola: 6285381 markings, 23647398 edges, 67481 markings/sec, 85 secs
lola: 6619649 markings, 24974165 edges, 66854 markings/sec, 90 secs
lola: 6957365 markings, 26296102 edges, 67543 markings/sec, 95 secs
lola: 7290077 markings, 27620382 edges, 66542 markings/sec, 100 secs
lola: 7623973 markings, 28944390 edges, 66779 markings/sec, 105 secs
lola: 7956547 markings, 30266591 edges, 66515 markings/sec, 110 secs
lola: 8287547 markings, 31588677 edges, 66200 markings/sec, 115 secs
lola: 8616730 markings, 32910695 edges, 65837 markings/sec, 120 secs
lola: 8943687 markings, 34234106 edges, 65391 markings/sec, 125 secs
lola: 9270117 markings, 35556314 edges, 65286 markings/sec, 130 secs
lola: 9593496 markings, 36875722 edges, 64676 markings/sec, 135 secs
lola: 9917168 markings, 38187472 edges, 64734 markings/sec, 140 secs
lola: 10237844 markings, 39500650 edges, 64135 markings/sec, 145 secs
lola: 10559098 markings, 40810703 edges, 64251 markings/sec, 150 secs
lola: 10878276 markings, 42122360 edges, 63836 markings/sec, 155 secs
lola: 11195974 markings, 43434339 edges, 63540 markings/sec, 160 secs
lola: 11513433 markings, 44744658 edges, 63492 markings/sec, 165 secs
lola: 11829526 markings, 46054495 edges, 63219 markings/sec, 170 secs
lola: 12144252 markings, 47363984 edges, 62945 markings/sec, 175 secs
lola: 12459290 markings, 48677495 edges, 63008 markings/sec, 180 secs
lola: 12774039 markings, 49996035 edges, 62950 markings/sec, 185 secs
lola: 13087409 markings, 51313753 edges, 62674 markings/sec, 190 secs
lola: 13399868 markings, 52631165 edges, 62492 markings/sec, 195 secs
lola: 13710043 markings, 53947936 edges, 62035 markings/sec, 200 secs
lola: 14019046 markings, 55263786 edges, 61801 markings/sec, 205 secs
lola: 14327422 markings, 56580569 edges, 61675 markings/sec, 210 secs
lola: 14634092 markings, 57895936 edges, 61334 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: 1523360 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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 MultiwaySync-PT-none-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: 477365 markings, 1175679 edges, 95473 markings/sec, 0 secs
lola: 934281 markings, 2305077 edges, 91383 markings/sec, 5 secs
lola: 1402415 markings, 3490583 edges, 93627 markings/sec, 10 secs
lola: 1851575 markings, 4693244 edges, 89832 markings/sec, 15 secs
lola: 2296293 markings, 5891833 edges, 88944 markings/sec, 20 secs
lola: 2736025 markings, 7094193 edges, 87946 markings/sec, 25 secs
lola: 3171551 markings, 8296191 edges, 87105 markings/sec, 30 secs
lola: 3584211 markings, 9465134 edges, 82532 markings/sec, 35 secs
lola: 4024072 markings, 10708126 edges, 87972 markings/sec, 40 secs
lola: 4460888 markings, 11952741 edges, 87363 markings/sec, 45 secs
lola: 4894533 markings, 13196539 edges, 86729 markings/sec, 50 secs
lola: 5330001 markings, 14437904 edges, 87094 markings/sec, 55 secs
lola: 5760490 markings, 15686518 edges, 86098 markings/sec, 60 secs
lola: 6187008 markings, 16931815 edges, 85304 markings/sec, 65 secs
lola: 6606367 markings, 18163944 edges, 83872 markings/sec, 70 secs
lola: 7017337 markings, 19360020 edges, 82194 markings/sec, 75 secs
lola: 7421600 markings, 20559172 edges, 80853 markings/sec, 80 secs
lola: 7828602 markings, 21754849 edges, 81400 markings/sec, 85 secs
lola: 8230287 markings, 22951504 edges, 80337 markings/sec, 90 secs
lola: 8629538 markings, 24147902 edges, 79850 markings/sec, 95 secs
lola: 9032512 markings, 25369572 edges, 80595 markings/sec, 100 secs
lola: 9433128 markings, 26592331 edges, 80123 markings/sec, 105 secs
lola: 9832051 markings, 27809214 edges, 79785 markings/sec, 110 secs
lola: 10228962 markings, 29030227 edges, 79382 markings/sec, 115 secs
lola: 10625429 markings, 30248239 edges, 79293 markings/sec, 120 secs
lola: 11017922 markings, 31467342 edges, 78499 markings/sec, 125 secs
lola: 11408742 markings, 32685777 edges, 78164 markings/sec, 130 secs
lola: 11798488 markings, 33903839 edges, 77949 markings/sec, 135 secs
lola: 12171903 markings, 35082726 edges, 74683 markings/sec, 140 secs
lola: 12547825 markings, 36276109 edges, 75184 markings/sec, 145 secs
lola: 12927963 markings, 37483682 edges, 76028 markings/sec, 150 secs
lola: 13302095 markings, 38684296 edges, 74826 markings/sec, 155 secs
lola: 13669629 markings, 39874466 edges, 73507 markings/sec, 160 secs
lola: 14035030 markings, 41063879 edges, 73080 markings/sec, 165 secs
lola: 14398850 markings, 42253699 edges, 72764 markings/sec, 170 secs
lola: 14759079 markings, 43442594 edges, 72046 markings/sec, 175 secs
lola: 15116381 markings, 44631982 edges, 71460 markings/sec, 180 secs
lola: 15469279 markings, 45821305 edges, 70580 markings/sec, 185 secs
lola: 15819947 markings, 47010257 edges, 70134 markings/sec, 190 secs
lola: 16167357 markings, 48199867 edges, 69482 markings/sec, 195 secs
lola: 16511018 markings, 49390244 edges, 68732 markings/sec, 200 secs
lola: 16850472 markings, 50583879 edges, 67891 markings/sec, 205 secs
lola: 17186132 markings, 51780824 edges, 67132 markings/sec, 210 secs
lola: 17517475 markings, 52980180 edges, 66269 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: 1697100 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 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 MultiwaySync-PT-none-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: 484661 markings, 1193290 edges, 96932 markings/sec, 0 secs
lola: 967836 markings, 2385799 edges, 96635 markings/sec, 5 secs
lola: 1441117 markings, 3589844 edges, 94656 markings/sec, 10 secs
lola: 1893990 markings, 4808451 edges, 90575 markings/sec, 15 secs
lola: 2344508 markings, 6021854 edges, 90104 markings/sec, 20 secs
lola: 2788062 markings, 7237412 edges, 88711 markings/sec, 25 secs
lola: 3227526 markings, 8455965 edges, 87893 markings/sec, 30 secs
lola: 3659396 markings, 9675194 edges, 86374 markings/sec, 35 secs
lola: 4090853 markings, 10891489 edges, 86291 markings/sec, 40 secs
lola: 4516797 markings, 12109797 edges, 85189 markings/sec, 45 secs
lola: 4941552 markings, 13324966 edges, 84951 markings/sec, 50 secs
lola: 5364349 markings, 14541526 edges, 84559 markings/sec, 55 secs
lola: 5784494 markings, 15755878 edges, 84029 markings/sec, 60 secs
lola: 6200600 markings, 16970381 edges, 83221 markings/sec, 65 secs
lola: 6613103 markings, 18184173 edges, 82501 markings/sec, 70 secs
lola: 7029049 markings, 19394224 edges, 83189 markings/sec, 75 secs
lola: 7438185 markings, 20608380 edges, 81827 markings/sec, 80 secs
lola: 7849907 markings, 21817868 edges, 82344 markings/sec, 85 secs
lola: 8256727 markings, 23030071 edges, 81364 markings/sec, 90 secs
lola: 8658905 markings, 24238522 edges, 80436 markings/sec, 95 secs
lola: 9058966 markings, 25450197 edges, 80012 markings/sec, 100 secs
lola: 9456409 markings, 26661858 edges, 79489 markings/sec, 105 secs
lola: 9852236 markings, 27870296 edges, 79165 markings/sec, 110 secs
lola: 10245099 markings, 29080677 edges, 78573 markings/sec, 115 secs
lola: 10638051 markings, 30287763 edges, 78590 markings/sec, 120 secs
lola: 11027197 markings, 31497085 edges, 77829 markings/sec, 125 secs
lola: 11414440 markings, 32703475 edges, 77449 markings/sec, 130 secs
lola: 11800110 markings, 33909188 edges, 77134 markings/sec, 135 secs
lola: 12182048 markings, 35115572 edges, 76388 markings/sec, 140 secs
lola: 12562144 markings, 36321571 edges, 76019 markings/sec, 145 secs
lola: 12941573 markings, 37528140 edges, 75886 markings/sec, 150 secs
lola: 13317077 markings, 38732458 edges, 75101 markings/sec, 155 secs
lola: 13688661 markings, 39936976 edges, 74317 markings/sec, 160 secs
lola: 14058064 markings, 41140144 edges, 73881 markings/sec, 165 secs
lola: 14426288 markings, 42343487 edges, 73645 markings/sec, 170 secs
lola: 14790932 markings, 43547702 edges, 72929 markings/sec, 175 secs
lola: 15153232 markings, 44754220 edges, 72460 markings/sec, 180 secs
lola: 15511459 markings, 45963908 edges, 71645 markings/sec, 185 secs
lola: 15867225 markings, 47172311 edges, 71153 markings/sec, 190 secs
lola: 16220650 markings, 48382389 edges, 70685 markings/sec, 195 secs
lola: 16569143 markings, 49592975 edges, 69699 markings/sec, 200 secs
lola: 16911235 markings, 50799666 edges, 68418 markings/sec, 205 secs
lola: 17251226 markings, 52015111 edges, 67998 markings/sec, 210 secs
lola: 17585694 markings, 53234392 edges, 66894 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: 1668952 KB
lola: time consumption: 670 seconds
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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 MultiwaySync-PT-none-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: 394575 markings, 948415 edges, 78915 markings/sec, 0 secs
lola: 798981 markings, 2073447 edges, 80881 markings/sec, 5 secs
lola: 1190561 markings, 3263555 edges, 78316 markings/sec, 10 secs
lola: 1576357 markings, 4458655 edges, 77159 markings/sec, 15 secs
lola: 1967626 markings, 5650263 edges, 78254 markings/sec, 20 secs
lola: 2348550 markings, 6856437 edges, 76185 markings/sec, 25 secs
lola: 2722779 markings, 8069161 edges, 74846 markings/sec, 30 secs
lola: 3091835 markings, 9286089 edges, 73811 markings/sec, 35 secs
lola: 3464466 markings, 10493126 edges, 74526 markings/sec, 40 secs
lola: 3828078 markings, 11711539 edges, 72722 markings/sec, 45 secs
lola: 4187221 markings, 12934246 edges, 71829 markings/sec, 50 secs
lola: 4553155 markings, 14143554 edges, 73187 markings/sec, 55 secs
lola: 4917074 markings, 15353157 edges, 72784 markings/sec, 60 secs
lola: 5275838 markings, 16568265 edges, 71753 markings/sec, 65 secs
lola: 5633119 markings, 17784421 edges, 71456 markings/sec, 70 secs
lola: 5988029 markings, 19000351 edges, 70982 markings/sec, 75 secs
lola: 6342186 markings, 20216038 edges, 70831 markings/sec, 80 secs
lola: 6695173 markings, 21431030 edges, 70597 markings/sec, 85 secs
lola: 7048483 markings, 22643676 edges, 70662 markings/sec, 90 secs
lola: 7398842 markings, 23858404 edges, 70072 markings/sec, 95 secs
lola: 7745962 markings, 25073351 edges, 69424 markings/sec, 100 secs
lola: 8092765 markings, 26289143 edges, 69361 markings/sec, 105 secs
lola: 8438967 markings, 27502800 edges, 69240 markings/sec, 110 secs
lola: 8786532 markings, 28717656 edges, 69513 markings/sec, 115 secs
lola: 9129839 markings, 29932877 edges, 68661 markings/sec, 120 secs
lola: 9473759 markings, 31146672 edges, 68784 markings/sec, 125 secs
lola: 9816432 markings, 32362313 edges, 68535 markings/sec, 130 secs
lola: 10157220 markings, 33576256 edges, 68158 markings/sec, 135 secs
lola: 10495952 markings, 34791005 edges, 67746 markings/sec, 140 secs
lola: 10835312 markings, 36006178 edges, 67872 markings/sec, 145 secs
lola: 11172133 markings, 37221202 edges, 67364 markings/sec, 150 secs
lola: 11507820 markings, 38436633 edges, 67137 markings/sec, 155 secs
lola: 11843435 markings, 39650639 edges, 67123 markings/sec, 160 secs
lola: 12176628 markings, 40867222 edges, 66639 markings/sec, 165 secs
lola: 12508810 markings, 42083574 edges, 66436 markings/sec, 170 secs
lola: 12840438 markings, 43299149 edges, 66326 markings/sec, 175 secs
lola: 13171904 markings, 44513345 edges, 66293 markings/sec, 180 secs
lola: 13500659 markings, 45729241 edges, 65751 markings/sec, 185 secs
lola: 13828134 markings, 46947147 edges, 65495 markings/sec, 190 secs
lola: 14154520 markings, 48163626 edges, 65277 markings/sec, 195 secs
lola: 14479234 markings, 49381104 edges, 64943 markings/sec, 200 secs
lola: 14802176 markings, 50599919 edges, 64588 markings/sec, 205 secs
lola: 15123793 markings, 51818885 edges, 64323 markings/sec, 210 secs
lola: 15442762 markings, 53037970 edges, 63794 markings/sec, 215 secs
lola: 15761247 markings, 54256896 edges, 63697 markings/sec, 220 secs
lola: 16076935 markings, 55477005 edges, 63138 markings/sec, 225 secs
lola: 16390826 markings, 56697415 edges, 62778 markings/sec, 230 secs
lola: 16703746 markings, 57916539 edges, 62584 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: 1717416 KB
lola: time consumption: 911 seconds
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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-5 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-6 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 MultiwaySync-PT-none-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: 3 markings, 2 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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 MultiwaySync-PT-none-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: 479157 markings, 1180233 edges, 95831 markings/sec, 0 secs
lola: 956402 markings, 2358867 edges, 95449 markings/sec, 5 secs
lola: 1425223 markings, 3549195 edges, 93764 markings/sec, 10 secs
lola: 1874710 markings, 4756839 edges, 89897 markings/sec, 15 secs
lola: 2321392 markings, 5959568 edges, 89336 markings/sec, 20 secs
lola: 2762154 markings, 7164376 edges, 88152 markings/sec, 25 secs
lola: 3197290 markings, 8370722 edges, 87027 markings/sec, 30 secs
lola: 3624111 markings, 9581981 edges, 85364 markings/sec, 35 secs
lola: 4051622 markings, 10789313 edges, 85502 markings/sec, 40 secs
lola: 4475668 markings, 11997084 edges, 84809 markings/sec, 45 secs
lola: 4896582 markings, 13202639 edges, 84183 markings/sec, 50 secs
lola: 5319277 markings, 14405952 edges, 84539 markings/sec, 55 secs
lola: 5733946 markings, 15614310 edges, 82934 markings/sec, 60 secs
lola: 6148051 markings, 16816928 edges, 82821 markings/sec, 65 secs
lola: 6559555 markings, 18022205 edges, 82301 markings/sec, 70 secs
lola: 6971352 markings, 19223371 edges, 82359 markings/sec, 75 secs
lola: 7378501 markings, 20430457 edges, 81430 markings/sec, 80 secs
lola: 7789038 markings, 21638921 edges, 82107 markings/sec, 85 secs
lola: 8197345 markings, 22854989 edges, 81661 markings/sec, 90 secs
lola: 8604017 markings, 24071066 edges, 81334 markings/sec, 95 secs
lola: 9006306 markings, 25289788 edges, 80458 markings/sec, 100 secs
lola: 9405370 markings, 26507880 edges, 79813 markings/sec, 105 secs
lola: 9803960 markings, 27722583 edges, 79718 markings/sec, 110 secs
lola: 10199914 markings, 28938985 edges, 79191 markings/sec, 115 secs
lola: 10594744 markings, 30153973 edges, 78966 markings/sec, 120 secs
lola: 10986780 markings, 31368714 edges, 78407 markings/sec, 125 secs
lola: 11376383 markings, 32583581 edges, 77921 markings/sec, 130 secs
lola: 11764764 markings, 33796691 edges, 77676 markings/sec, 135 secs
lola: 12148942 markings, 35010219 edges, 76836 markings/sec, 140 secs
lola: 12531492 markings, 36223478 edges, 76510 markings/sec, 145 secs
lola: 12913659 markings, 37436318 edges, 76433 markings/sec, 150 secs
lola: 13291226 markings, 38648845 edges, 75513 markings/sec, 155 secs
lola: 13665330 markings, 39860685 edges, 74821 markings/sec, 160 secs
lola: 14037458 markings, 41071934 edges, 74426 markings/sec, 165 secs
lola: 14407823 markings, 42282869 edges, 74073 markings/sec, 170 secs
lola: 14774401 markings, 43492704 edges, 73316 markings/sec, 175 secs
lola: 15137913 markings, 44703395 edges, 72702 markings/sec, 180 secs
lola: 15496822 markings, 45913801 edges, 71782 markings/sec, 185 secs
lola: 15853226 markings, 47124265 edges, 71281 markings/sec, 190 secs
lola: 16207097 markings, 48335822 edges, 70774 markings/sec, 195 secs
lola: 16556257 markings, 49547963 edges, 69832 markings/sec, 200 secs
lola: 16900795 markings, 50762564 edges, 68908 markings/sec, 205 secs
lola: 17241006 markings, 51977844 edges, 68042 markings/sec, 210 secs
lola: 17575094 markings, 53195747 edges, 66818 markings/sec, 215 secs
lola: 17902930 markings, 54419263 edges, 65567 markings/sec, 220 secs
lola: 18223349 markings, 55653451 edges, 64084 markings/sec, 225 secs
lola: 18532401 markings, 56916154 edges, 61810 markings/sec, 230 secs
lola: 18825397 markings, 58220197 edges, 58599 markings/sec, 235 secs
lola: 19050413 markings, 59688697 edges, 45003 markings/sec, 240 secs
lola: 19070851 markings, 61518635 edges, 4088 markings/sec, 245 secs
lola: 19077843 markings, 63403408 edges, 1398 markings/sec, 250 secs
lola: 19082129 markings, 65316128 edges, 857 markings/sec, 255 secs
lola: 19085372 markings, 67238286 edges, 649 markings/sec, 260 secs
lola: 19088256 markings, 69175992 edges, 577 markings/sec, 265 secs
lola: 19090765 markings, 71126292 edges, 502 markings/sec, 270 secs
lola: 19092914 markings, 73089018 edges, 430 markings/sec, 275 secs
lola: 19094878 markings, 75062289 edges, 393 markings/sec, 280 secs
lola: 19096660 markings, 77044918 edges, 356 markings/sec, 285 secs
lola: 19098551 markings, 79029818 edges, 378 markings/sec, 290 secs
lola: 19100153 markings, 81025211 edges, 320 markings/sec, 295 secs
lola: 19101691 markings, 83029907 edges, 308 markings/sec, 300 secs
lola: 19103164 markings, 85045875 edges, 295 markings/sec, 305 secs
lola: 19104294 markings, 87064698 edges, 226 markings/sec, 310 secs
lola: 19105435 markings, 89086861 edges, 228 markings/sec, 315 secs
lola: 19106711 markings, 91120766 edges, 255 markings/sec, 320 secs
lola: 19107932 markings, 93158240 edges, 244 markings/sec, 325 secs
lola: 19108995 markings, 95206337 edges, 213 markings/sec, 330 secs
lola: 19110281 markings, 97255302 edges, 257 markings/sec, 335 secs
lola: 19111373 markings, 99311769 edges, 218 markings/sec, 340 secs
lola: 19112387 markings, 101372192 edges, 203 markings/sec, 345 secs
lola: 19113382 markings, 103441646 edges, 199 markings/sec, 350 secs
lola: 19114307 markings, 105512012 edges, 185 markings/sec, 355 secs
lola: 19115082 markings, 107593419 edges, 155 markings/sec, 360 secs
lola: 19115952 markings, 109675799 edges, 174 markings/sec, 365 secs
lola: 19116788 markings, 111768690 edges, 167 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: 1780272 KB
lola: time consumption: 1290 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 380 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 MultiwaySync-PT-none-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: 3 markings, 2 edges

FORMULA MultiwaySync-PT-none-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================lola: subprocess 11 will run for 456 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 MultiwaySync-PT-none-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: 6 markings, 5 edges

FORMULA MultiwaySync-PT-none-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 570 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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges

FORMULA MultiwaySync-PT-none-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 760 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 MultiwaySync-PT-none-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: 6 markings, 5 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1140 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 MultiwaySync-PT-none-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 8 markings, 7 edges
lola: ========================================

FORMULA MultiwaySync-PT-none-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2280 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 MultiwaySync-PT-none-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: 461337 markings, 1135365 edges, 92267 markings/sec, 0 secs
lola: 954626 markings, 2354874 edges, 98658 markings/sec, 5 secs
lola: 1437951 markings, 3581896 edges, 96665 markings/sec, 10 secs
lola: 1902695 markings, 4829990 edges, 92949 markings/sec, 15 secs
lola: 2363330 markings, 6073980 edges, 92127 markings/sec, 20 secs
lola: 2818640 markings, 7321982 edges, 91062 markings/sec, 25 secs
lola: 3269363 markings, 8572884 edges, 90145 markings/sec, 30 secs
lola: 3714035 markings, 9826763 edges, 88934 markings/sec, 35 secs
lola: 4157081 markings, 11079074 edges, 88609 markings/sec, 40 secs
lola: 4595368 markings, 12333826 edges, 87657 markings/sec, 45 secs
lola: 5034028 markings, 13584143 edges, 87732 markings/sec, 50 secs
lola: 5467006 markings, 14839877 edges, 86596 markings/sec, 55 secs
lola: 5899401 markings, 16092879 edges, 86479 markings/sec, 60 secs
lola: 6329771 markings, 17345819 edges, 86074 markings/sec, 65 secs
lola: 6754379 markings, 18601386 edges, 84922 markings/sec, 70 secs
lola: 7183590 markings, 19851801 edges, 85842 markings/sec, 75 secs
lola: 7608386 markings, 21104850 edges, 84959 markings/sec, 80 secs
lola: 8031926 markings, 22359969 edges, 84708 markings/sec, 85 secs
lola: 8454750 markings, 23626118 edges, 84565 markings/sec, 90 secs
lola: 8875025 markings, 24891173 edges, 84055 markings/sec, 95 secs
lola: 9291672 markings, 26159962 edges, 83329 markings/sec, 100 secs
lola: 9706325 markings, 27427515 edges, 82931 markings/sec, 105 secs
lola: 10120025 markings, 28696057 edges, 82740 markings/sec, 110 secs
lola: 10532458 markings, 29962661 edges, 82487 markings/sec, 115 secs
lola: 10941622 markings, 31229509 edges, 81833 markings/sec, 120 secs
lola: 11348573 markings, 32495177 edges, 81390 markings/sec, 125 secs
lola: 11753907 markings, 33762861 edges, 81067 markings/sec, 130 secs
lola: 12156038 markings, 35032182 edges, 80426 markings/sec, 135 secs
lola: 12556094 markings, 36301929 edges, 80011 markings/sec, 140 secs
lola: 12955104 markings, 37572385 edges, 79802 markings/sec, 145 secs
lola: 13350852 markings, 38842015 edges, 79150 markings/sec, 150 secs
lola: 13742811 markings, 40112725 edges, 78392 markings/sec, 155 secs
lola: 14132935 markings, 41384009 edges, 78025 markings/sec, 160 secs
lola: 14521261 markings, 42656216 edges, 77665 markings/sec, 165 secs
lola: 14905577 markings, 43928120 edges, 76863 markings/sec, 170 secs
lola: 15285756 markings, 45203683 edges, 76036 markings/sec, 175 secs
lola: 15663294 markings, 46479082 edges, 75508 markings/sec, 180 secs
lola: 16038036 markings, 47755449 edges, 74948 markings/sec, 185 secs
lola: 16408603 markings, 49034724 edges, 74113 markings/sec, 190 secs
lola: 16774363 markings, 50314161 edges, 73152 markings/sec, 195 secs
lola: 17135410 markings, 51599758 edges, 72209 markings/sec, 200 secs
lola: 17491895 markings, 52886348 edges, 71297 markings/sec, 205 secs
lola: 17839404 markings, 54181615 edges, 69502 markings/sec, 210 secs
lola: 18179270 markings, 55481827 edges, 67973 markings/sec, 215 secs
lola: 18506462 markings, 56807338 edges, 65438 markings/sec, 220 secs
lola: 18815492 markings, 58172141 edges, 61806 markings/sec, 225 secs
lola: 19050688 markings, 59697896 edges, 47039 markings/sec, 230 secs
lola: 19071085 markings, 61565695 edges, 4079 markings/sec, 235 secs
lola: 19078049 markings, 63487135 edges, 1393 markings/sec, 240 secs
lola: 19082418 markings, 65438909 edges, 874 markings/sec, 245 secs
lola: 19085672 markings, 67405077 edges, 651 markings/sec, 250 secs
lola: 19088546 markings, 69391728 edges, 575 markings/sec, 255 secs
lola: 19091048 markings, 71393684 edges, 500 markings/sec, 260 secs
lola: 19093228 markings, 73407335 edges, 436 markings/sec, 265 secs
lola: 19095269 markings, 75432052 edges, 408 markings/sec, 270 secs
lola: 19097141 markings, 77462972 edges, 374 markings/sec, 275 secs
lola: 19098914 markings, 79497684 edges, 355 markings/sec, 280 secs
lola: 19100555 markings, 81547758 edges, 328 markings/sec, 285 secs
lola: 19102111 markings, 83605681 edges, 311 markings/sec, 290 secs
lola: 19103538 markings, 85672902 edges, 285 markings/sec, 295 secs
lola: 19104713 markings, 87744708 edges, 235 markings/sec, 300 secs
lola: 19105918 markings, 89821940 edges, 241 markings/sec, 305 secs
lola: 19107250 markings, 91907031 edges, 266 markings/sec, 310 secs
lola: 19108303 markings, 93998046 edges, 211 markings/sec, 315 secs
lola: 19109496 markings, 96095557 edges, 239 markings/sec, 320 secs
lola: 19110755 markings, 98195112 edges, 252 markings/sec, 325 secs
lola: 19111849 markings, 100300691 edges, 219 markings/sec, 330 secs
lola: 19112856 markings, 102416236 edges, 201 markings/sec, 335 secs
lola: 19113896 markings, 104532235 edges, 208 markings/sec, 340 secs
lola: 19114763 markings, 106657997 edges, 173 markings/sec, 345 secs
lola: 19115636 markings, 108785506 edges, 175 markings/sec, 350 secs
lola: 19116414 markings, 110919033 edges, 156 markings/sec, 355 secs
lola: 19117275 markings, 113053886 edges, 172 markings/sec, 360 secs
lola: 19118119 markings, 115198394 edges, 169 markings/sec, 365 secs
lola: 19118947 markings, 117339186 edges, 166 markings/sec, 370 secs
lola: 19119638 markings, 119488338 edges, 138 markings/sec, 375 secs
lola: 19120324 markings, 121640126 edges, 137 markings/sec, 380 secs
lola: 19121075 markings, 123799055 edges, 150 markings/sec, 385 secs
lola: 19121758 markings, 125967336 edges, 137 markings/sec, 390 secs
lola: 19122250 markings, 128139489 edges, 98 markings/sec, 395 secs
lola: 19123033 markings, 130321661 edges, 157 markings/sec, 400 secs
lola: 19123697 markings, 132496585 edges, 133 markings/sec, 405 secs
lola: 19124217 markings, 134681820 edges, 104 markings/sec, 410 secs
lola: 19124823 markings, 136871179 edges, 121 markings/sec, 415 secs
lola: 19125435 markings, 139054882 edges, 122 markings/sec, 420 secs
lola: 19126043 markings, 141254923 edges, 122 markings/sec, 425 secs
lola: 19126528 markings, 143455780 edges, 97 markings/sec, 430 secs
lola: 19127065 markings, 145623739 edges, 107 markings/sec, 435 secs
lola: 19127588 markings, 147685607 edges, 105 markings/sec, 440 secs
lola: 19127981 markings, 149898059 edges, 79 markings/sec, 445 secs
lola: 19128366 markings, 152120335 edges, 77 markings/sec, 450 secs
lola: 19128716 markings, 154312800 edges, 70 markings/sec, 455 secs
lola: 19129126 markings, 156447335 edges, 82 markings/sec, 460 secs
lola: 19129562 markings, 158581783 edges, 87 markings/sec, 465 secs
lola: 19129720 markings, 160653238 edges, 32 markings/sec, 470 secs
lola: 19129976 markings, 162810531 edges, 51 markings/sec, 475 secs
lola: 19130084 markings, 164964977 edges, 22 markings/sec, 480 secs
lola: 19130328 markings, 167126830 edges, 49 markings/sec, 485 secs
lola: 19130673 markings, 169244230 edges, 69 markings/sec, 490 secs
lola: 19130876 markings, 171422886 edges, 41 markings/sec, 495 secs
lola: 19131440 markings, 173620995 edges, 113 markings/sec, 500 secs
lola: 19131593 markings, 175812582 edges, 31 markings/sec, 505 secs
lola: 19131691 markings, 178029880 edges, 20 markings/sec, 510 secs
lola: 19131888 markings, 180265557 edges, 39 markings/sec, 515 secs
lola: 19132033 markings, 182530079 edges, 29 markings/sec, 520 secs
lola: 19132043 markings, 184770561 edges, 2 markings/sec, 525 secs
lola: 19132047 markings, 187032358 edges, 1 markings/sec, 530 secs
lola: 19132047 markings, 189323116 edges, 0 markings/sec, 535 secs
lola: 19517133 markings, 190718928 edges, 77017 markings/sec, 540 secs
lola: 19946548 markings, 191817424 edges, 85883 markings/sec, 545 secs
lola: 20428831 markings, 193000127 edges, 96457 markings/sec, 550 secs
lola: 20897022 markings, 194164974 edges, 93638 markings/sec, 555 secs
lola: 21331308 markings, 195291446 edges, 86857 markings/sec, 560 secs
lola: 21771801 markings, 196467868 edges, 88099 markings/sec, 565 secs
lola: 22203968 markings, 197646478 edges, 86433 markings/sec, 570 secs
lola: 22632093 markings, 198824971 edges, 85625 markings/sec, 575 secs
lola: 23042025 markings, 199964229 edges, 81986 markings/sec, 580 secs
lola: 23475700 markings, 201187900 edges, 86735 markings/sec, 585 secs
lola: 23893601 markings, 202367102 edges, 83580 markings/sec, 590 secs
lola: 24303964 markings, 203544738 edges, 82073 markings/sec, 595 secs
lola: 24703118 markings, 204686389 edges, 79831 markings/sec, 600 secs
lola: 25130054 markings, 205912929 edges, 85387 markings/sec, 605 secs
lola: 25537243 markings, 207091106 edges, 81438 markings/sec, 610 secs
lola: 25928284 markings, 208232695 edges, 78208 markings/sec, 615 secs
lola: 26346229 markings, 209456986 edges, 83589 markings/sec, 620 secs
lola: 26735460 markings, 210589561 edges, 77846 markings/sec, 625 secs
lola: 27132023 markings, 211765832 edges, 79313 markings/sec, 630 secs
lola: 27533650 markings, 212950940 edges, 80325 markings/sec, 635 secs
lola: 27919896 markings, 214095600 edges, 77249 markings/sec, 640 secs
lola: 28312292 markings, 215271432 edges, 78479 markings/sec, 645 secs
lola: 28701200 markings, 216447719 edges, 77782 markings/sec, 650 secs
lola: 29086892 markings, 217621650 edges, 77138 markings/sec, 655 secs
lola: 29471320 markings, 218796980 edges, 76886 markings/sec, 660 secs
lola: 29855116 markings, 219974139 edges, 76759 markings/sec, 665 secs
lola: 30238369 markings, 221149761 edges, 76651 markings/sec, 670 secs
lola: 30618718 markings, 222325572 edges, 76070 markings/sec, 675 secs
lola: 30995906 markings, 223501657 edges, 75438 markings/sec, 680 secs
lola: 31361125 markings, 224638649 edges, 73044 markings/sec, 685 secs
lola: 31747718 markings, 225856940 edges, 77319 markings/sec, 690 secs
lola: 32133833 markings, 227074733 edges, 77223 markings/sec, 695 secs
lola: 32516903 markings, 228292355 edges, 76614 markings/sec, 700 secs
lola: 32897790 markings, 229511468 edges, 76177 markings/sec, 705 secs
lola: 33277251 markings, 230730369 edges, 75892 markings/sec, 710 secs
lola: 33652609 markings, 231950156 edges, 75072 markings/sec, 715 secs
lola: 34025954 markings, 233171302 edges, 74669 markings/sec, 720 secs
lola: 34381988 markings, 234340433 edges, 71207 markings/sec, 725 secs
lola: 34735920 markings, 235511877 edges, 70786 markings/sec, 730 secs
lola: 35084695 markings, 236686089 edges, 69755 markings/sec, 735 secs
lola: 35431791 markings, 237859100 edges, 69419 markings/sec, 740 secs
lola: 35767388 markings, 239002184 edges, 67119 markings/sec, 745 secs
lola: 36122797 markings, 240226634 edges, 71082 markings/sec, 750 secs
lola: 36474299 markings, 241452367 edges, 70300 markings/sec, 755 secs
lola: 36820985 markings, 242682849 edges, 69337 markings/sec, 760 secs
lola: 37149411 markings, 243863116 edges, 65685 markings/sec, 765 secs
lola: 37463148 markings, 245018339 edges, 62747 markings/sec, 770 secs
lola: 37793102 markings, 246261832 edges, 65991 markings/sec, 775 secs
lola: 38112762 markings, 247519581 edges, 63932 markings/sec, 780 secs
lola: 38404728 markings, 248741525 edges, 58393 markings/sec, 785 secs
lola: 38676947 markings, 250013716 edges, 54444 markings/sec, 790 secs
lola: 38827905 markings, 251504743 edges, 30192 markings/sec, 795 secs
lola: 38841082 markings, 253170868 edges, 2635 markings/sec, 800 secs
lola: 38847249 markings, 254972528 edges, 1233 markings/sec, 805 secs
lola: 38851060 markings, 256721774 edges, 762 markings/sec, 810 secs
lola: 38854035 markings, 258473537 edges, 595 markings/sec, 815 secs
lola: 38856909 markings, 260360706 edges, 575 markings/sec, 820 secs
lola: 38859411 markings, 262264052 edges, 500 markings/sec, 825 secs
lola: 38861450 markings, 264100815 edges, 408 markings/sec, 830 secs
lola: 38863316 markings, 266024409 edges, 373 markings/sec, 835 secs
lola: 38865154 markings, 267950776 edges, 368 markings/sec, 840 secs
lola: 38867014 markings, 269886006 edges, 372 markings/sec, 845 secs
lola: 38868577 markings, 271827204 edges, 313 markings/sec, 850 secs
lola: 38870093 markings, 273779441 edges, 303 markings/sec, 855 secs
lola: 38871514 markings, 275740993 edges, 284 markings/sec, 860 secs
lola: 38872771 markings, 277713198 edges, 251 markings/sec, 865 secs
lola: 38873978 markings, 279693374 edges, 241 markings/sec, 870 secs
lola: 38875135 markings, 281675351 edges, 231 markings/sec, 875 secs
lola: 38876386 markings, 283662899 edges, 250 markings/sec, 880 secs
lola: 38877363 markings, 285661227 edges, 195 markings/sec, 885 secs
lola: 38878538 markings, 287661676 edges, 235 markings/sec, 890 secs
lola: 38879683 markings, 289667728 edges, 229 markings/sec, 895 secs
lola: 38880744 markings, 291676953 edges, 212 markings/sec, 900 secs
lola: 38881695 markings, 293698964 edges, 190 markings/sec, 905 secs
lola: 38882732 markings, 295720159 edges, 207 markings/sec, 910 secs
lola: 38883537 markings, 297746598 edges, 161 markings/sec, 915 secs
lola: 38884355 markings, 299777693 edges, 164 markings/sec, 920 secs
lola: 38885115 markings, 301818402 edges, 152 markings/sec, 925 secs
lola: 38885915 markings, 303858598 edges, 160 markings/sec, 930 secs
lola: 38886804 markings, 305906676 edges, 178 markings/sec, 935 secs
lola: 38887558 markings, 307952579 edges, 151 markings/sec, 940 secs
lola: 38888247 markings, 310006415 edges, 138 markings/sec, 945 secs
lola: 38888873 markings, 312060236 edges, 125 markings/sec, 950 secs
lola: 38889603 markings, 314129608 edges, 146 markings/sec, 955 secs
lola: 38890306 markings, 316203872 edges, 141 markings/sec, 960 secs
lola: 38890898 markings, 318281638 edges, 118 markings/sec, 965 secs
lola: 38891490 markings, 320366764 edges, 118 markings/sec, 970 secs
lola: 38892204 markings, 322459773 edges, 143 markings/sec, 975 secs
lola: 38892752 markings, 324545721 edges, 110 markings/sec, 980 secs
lola: 38893322 markings, 326650911 edges, 114 markings/sec, 985 secs
lola: 38893850 markings, 328744296 edges, 106 markings/sec, 990 secs
lola: 38894467 markings, 330843799 edges, 123 markings/sec, 995 secs
lola: 38895015 markings, 332953582 edges, 110 markings/sec, 1000 secs
lola: 38895470 markings, 335064445 edges, 91 markings/sec, 1005 secs
lola: 38896005 markings, 337175843 edges, 107 markings/sec, 1010 secs
lola: 38896512 markings, 339297066 edges, 101 markings/sec, 1015 secs
lola: 38896897 markings, 341420916 edges, 77 markings/sec, 1020 secs
lola: 38897271 markings, 343554739 edges, 75 markings/sec, 1025 secs
lola: 38897616 markings, 345685316 edges, 69 markings/sec, 1030 secs
lola: 38898026 markings, 347824459 edges, 82 markings/sec, 1035 secs
lola: 38898461 markings, 349962887 edges, 87 markings/sec, 1040 secs
lola: 38898625 markings, 352100667 edges, 33 markings/sec, 1045 secs
lola: 38898889 markings, 354262071 edges, 53 markings/sec, 1050 secs
lola: 38899000 markings, 356417326 edges, 22 markings/sec, 1055 secs
lola: 38899235 markings, 358578782 edges, 47 markings/sec, 1060 secs
lola: 38899598 markings, 360765496 edges, 73 markings/sec, 1065 secs
lola: 38899782 markings, 362938285 edges, 37 markings/sec, 1070 secs
lola: 38900341 markings, 365139727 edges, 112 markings/sec, 1075 secs
lola: 38900499 markings, 367331528 edges, 32 markings/sec, 1080 secs
lola: 38900596 markings, 369548691 edges, 19 markings/sec, 1085 secs
lola: 38900788 markings, 371782074 edges, 38 markings/sec, 1090 secs
lola: 38900936 markings, 374046168 edges, 30 markings/sec, 1095 secs
lola: 38900943 markings, 376281073 edges, 1 markings/sec, 1100 secs
lola: 38900947 markings, 378525727 edges, 1 markings/sec, 1105 secs
lola: 38900947 markings, 380768965 edges, 0 markings/sec, 1110 secs
lola: 39287428 markings, 382113845 edges, 77296 markings/sec, 1115 secs
lola: 39738518 markings, 383323356 edges, 90218 markings/sec, 1120 secs
lola: 40194762 markings, 384535455 edges, 91249 markings/sec, 1125 secs
lola: 40628372 markings, 385755612 edges, 86722 markings/sec, 1130 secs
lola: 41054935 markings, 386977607 edges, 85313 markings/sec, 1135 secs
lola: 41477326 markings, 388199198 edges, 84478 markings/sec, 1140 secs
lola: 41892200 markings, 389422479 edges, 82975 markings/sec, 1145 secs
lola: 42307985 markings, 390641792 edges, 83157 markings/sec, 1150 secs
lola: 42711603 markings, 391863212 edges, 80724 markings/sec, 1155 secs
lola: 43119557 markings, 393082615 edges, 81591 markings/sec, 1160 secs
lola: 43522442 markings, 394303129 edges, 80577 markings/sec, 1165 secs
lola: 43926412 markings, 395523216 edges, 80794 markings/sec, 1170 secs
lola: 44324739 markings, 396745374 edges, 79665 markings/sec, 1175 secs
lola: 44723419 markings, 397966006 edges, 79736 markings/sec, 1180 secs
lola: 45118178 markings, 399186878 edges, 78952 markings/sec, 1185 secs
lola: 45510323 markings, 400405943 edges, 78429 markings/sec, 1190 secs
lola: 45906712 markings, 401625863 edges, 79278 markings/sec, 1195 secs
lola: 46295926 markings, 402846818 edges, 77843 markings/sec, 1200 secs
lola: 46688505 markings, 404067393 edges, 78516 markings/sec, 1205 secs
lola: 47076299 markings, 405286582 edges, 77559 markings/sec, 1210 secs
lola: 47460727 markings, 406503291 edges, 76886 markings/sec, 1215 secs
lola: 47841756 markings, 407720433 edges, 76206 markings/sec, 1220 secs
lola: 48220338 markings, 408936483 edges, 75716 markings/sec, 1225 secs
lola: 48596572 markings, 410151538 edges, 75247 markings/sec, 1230 secs
lola: 48971691 markings, 411366102 edges, 75024 markings/sec, 1235 secs
lola: 49346332 markings, 412577830 edges, 74928 markings/sec, 1240 secs
lola: 49717955 markings, 413788252 edges, 74325 markings/sec, 1245 secs
lola: 50087104 markings, 414998839 edges, 73830 markings/sec, 1250 secs
lola: 50455686 markings, 416209076 edges, 73716 markings/sec, 1255 secs
lola: 50820904 markings, 417419373 edges, 73044 markings/sec, 1260 secs
lola: 51185344 markings, 418629585 edges, 72888 markings/sec, 1265 secs
lola: 51546698 markings, 419838912 edges, 72271 markings/sec, 1270 secs
lola: 51907254 markings, 421048786 edges, 72111 markings/sec, 1275 secs
lola: 52265368 markings, 422258014 edges, 71623 markings/sec, 1280 secs
lola: 52620296 markings, 423467804 edges, 70986 markings/sec, 1285 secs
lola: 52973063 markings, 424677918 edges, 70553 markings/sec, 1290 secs
lola: 53325564 markings, 425887565 edges, 70500 markings/sec, 1295 secs
lola: 53674170 markings, 427096561 edges, 69721 markings/sec, 1300 secs
lola: 54019908 markings, 428305578 edges, 69148 markings/sec, 1305 secs
lola: 54361720 markings, 429514218 edges, 68362 markings/sec, 1310 secs
lola: 54701700 markings, 430723549 edges, 67996 markings/sec, 1315 secs
lola: 55039337 markings, 431934350 edges, 67527 markings/sec, 1320 secs
lola: 55373109 markings, 433144909 edges, 66754 markings/sec, 1325 secs
lola: 55703412 markings, 434356836 edges, 66061 markings/sec, 1330 secs
lola: 56029372 markings, 435570713 edges, 65192 markings/sec, 1335 secs
lola: 56351627 markings, 436784521 edges, 64451 markings/sec, 1340 secs
lola: 56666801 markings, 438003440 edges, 63035 markings/sec, 1345 secs
lola: 56976267 markings, 439227317 edges, 61893 markings/sec, 1350 secs
lola: 57276688 markings, 440464147 edges, 60084 markings/sec, 1355 secs
lola: 57564948 markings, 441723865 edges, 57652 markings/sec, 1360 secs
lola: 57831059 markings, 443034343 edges, 53222 markings/sec, 1365 secs
lola: 57961477 markings, 444570572 edges, 26084 markings/sec, 1370 secs
lola: 57973638 markings, 446280403 edges, 2432 markings/sec, 1375 secs
lola: 57979293 markings, 448034044 edges, 1131 markings/sec, 1380 secs
lola: 57983091 markings, 449813719 edges, 760 markings/sec, 1385 secs
lola: 57986047 markings, 451608902 edges, 591 markings/sec, 1390 secs
lola: 57988753 markings, 453420964 edges, 541 markings/sec, 1395 secs
lola: 57991123 markings, 455247743 edges, 474 markings/sec, 1400 secs
lola: 57993118 markings, 457085622 edges, 399 markings/sec, 1405 secs
lola: 57994987 markings, 458933811 edges, 374 markings/sec, 1410 secs
lola: 57996687 markings, 460788402 edges, 340 markings/sec, 1415 secs
lola: 57998491 markings, 462648651 edges, 361 markings/sec, 1420 secs
lola: 58000029 markings, 464516564 edges, 308 markings/sec, 1425 secs
lola: 58001431 markings, 466399947 edges, 280 markings/sec, 1430 secs
lola: 58002888 markings, 468292360 edges, 291 markings/sec, 1435 secs
lola: 58004187 markings, 470196785 edges, 260 markings/sec, 1440 secs
lola: 58005228 markings, 472101245 edges, 208 markings/sec, 1445 secs
lola: 58006329 markings, 474009501 edges, 220 markings/sec, 1450 secs
lola: 58007506 markings, 475930565 edges, 235 markings/sec, 1455 secs
lola: 58008665 markings, 477851486 edges, 232 markings/sec, 1460 secs
lola: 58009651 markings, 479786058 edges, 197 markings/sec, 1465 secs
lola: 58010808 markings, 481718001 edges, 231 markings/sec, 1470 secs
lola: 58011845 markings, 483661871 edges, 207 markings/sec, 1475 secs
lola: 58012815 markings, 485599692 edges, 194 markings/sec, 1480 secs
lola: 58013748 markings, 487553181 edges, 187 markings/sec, 1485 secs
lola: 58014683 markings, 489505416 edges, 187 markings/sec, 1490 secs
lola: 58015456 markings, 491467291 edges, 155 markings/sec, 1495 secs
lola: 58016243 markings, 493421764 edges, 157 markings/sec, 1500 secs
lola: 58016979 markings, 495380455 edges, 147 markings/sec, 1505 secs
lola: 58017719 markings, 497338466 edges, 148 markings/sec, 1510 secs
lola: 58018573 markings, 499301123 edges, 171 markings/sec, 1515 secs
lola: 58019282 markings, 501263988 edges, 142 markings/sec, 1520 secs
lola: 58020006 markings, 503234678 edges, 145 markings/sec, 1525 secs
lola: 58020565 markings, 505200282 edges, 112 markings/sec, 1530 secs
lola: 58021240 markings, 507180540 edges, 135 markings/sec, 1535 secs
lola: 58021900 markings, 509167804 edges, 132 markings/sec, 1540 secs
lola: 58022530 markings, 511163615 edges, 126 markings/sec, 1545 secs
lola: 58023011 markings, 513165650 edges, 96 markings/sec, 1550 secs
lola: 58023645 markings, 515171895 edges, 127 markings/sec, 1555 secs
lola: 58024370 markings, 517179773 edges, 145 markings/sec, 1560 secs
lola: 58024827 markings, 519184022 edges, 91 markings/sec, 1565 secs
lola: 58025320 markings, 521214226 edges, 99 markings/sec, 1570 secs
lola: 58025873 markings, 523218410 edges, 111 markings/sec, 1575 secs
lola: 58026449 markings, 525241655 edges, 115 markings/sec, 1580 secs
lola: 58026936 markings, 527266708 edges, 97 markings/sec, 1585 secs
lola: 58027406 markings, 529297335 edges, 94 markings/sec, 1590 secs
lola: 58027884 markings, 531324710 edges, 96 markings/sec, 1595 secs
lola: 58028385 markings, 533363420 edges, 100 markings/sec, 1600 secs
lola: 58028763 markings, 535402829 edges, 76 markings/sec, 1605 secs
lola: 58029137 markings, 537451504 edges, 75 markings/sec, 1610 secs
lola: 58029477 markings, 539495387 edges, 68 markings/sec, 1615 secs
lola: 58029783 markings, 541549754 edges, 61 markings/sec, 1620 secs
lola: 58030244 markings, 543602344 edges, 92 markings/sec, 1625 secs
lola: 58030459 markings, 545656361 edges, 43 markings/sec, 1630 secs
lola: 58030713 markings, 547730660 edges, 51 markings/sec, 1635 secs
lola: 58030817 markings, 549826632 edges, 21 markings/sec, 1640 secs
lola: 58031039 markings, 551918761 edges, 44 markings/sec, 1645 secs
lola: 58031311 markings, 554017830 edges, 54 markings/sec, 1650 secs
lola: 58031560 markings, 556132929 edges, 50 markings/sec, 1655 secs
lola: 58031899 markings, 558250405 edges, 68 markings/sec, 1660 secs
lola: 58032271 markings, 560379599 edges, 74 markings/sec, 1665 secs
lola: 58032405 markings, 562515368 edges, 27 markings/sec, 1670 secs
lola: 58032571 markings, 564671536 edges, 33 markings/sec, 1675 secs
lola: 58032747 markings, 566847170 edges, 35 markings/sec, 1680 secs
lola: 58032815 markings, 569039181 edges, 14 markings/sec, 1685 secs
lola: 58032819 markings, 571233595 edges, 1 markings/sec, 1690 secs
lola: 58032820 markings, 573417370 edges, 0 markings/sec, 1695 secs
lola: 58032820 markings, 575604477 edges, 0 markings/sec, 1700 secs
lola: 58502550 markings, 576868537 edges, 93946 markings/sec, 1705 secs
lola: 58997565 markings, 578089033 edges, 99003 markings/sec, 1710 secs
lola: 59491241 markings, 579315886 edges, 98735 markings/sec, 1715 secs
lola: 59971312 markings, 580563570 edges, 96014 markings/sec, 1720 secs
lola: 60438805 markings, 581817052 edges, 93499 markings/sec, 1725 secs
lola: 60898435 markings, 583072419 edges, 91926 markings/sec, 1730 secs
lola: 61352101 markings, 584331808 edges, 90733 markings/sec, 1735 secs
lola: 61804870 markings, 585587557 edges, 90554 markings/sec, 1740 secs
lola: 62250608 markings, 586848503 edges, 89148 markings/sec, 1745 secs
lola: 62693747 markings, 588109328 edges, 88628 markings/sec, 1750 secs
lola: 63134304 markings, 589369537 edges, 88111 markings/sec, 1755 secs
lola: 63571432 markings, 590631210 edges, 87426 markings/sec, 1760 secs
lola: 64008305 markings, 591892165 edges, 87375 markings/sec, 1765 secs
lola: 64443497 markings, 593151064 edges, 87038 markings/sec, 1770 secs
lola: 64873077 markings, 594413805 edges, 85916 markings/sec, 1775 secs
lola: 65304268 markings, 595672071 edges, 86238 markings/sec, 1780 secs
lola: 65730762 markings, 596933723 edges, 85299 markings/sec, 1785 secs
lola: 66158552 markings, 598192333 edges, 85558 markings/sec, 1790 secs
lola: 66581534 markings, 599452866 edges, 84596 markings/sec, 1795 secs
lola: 67002020 markings, 600713280 edges, 84097 markings/sec, 1800 secs
lola: 67418188 markings, 601974998 edges, 83234 markings/sec, 1805 secs
lola: 67831338 markings, 603233879 edges, 82630 markings/sec, 1810 secs
lola: 68243127 markings, 604491341 edges, 82358 markings/sec, 1815 secs
lola: 68651578 markings, 605750210 edges, 81690 markings/sec, 1820 secs
lola: 69058838 markings, 607006031 edges, 81452 markings/sec, 1825 secs
lola: 69464247 markings, 608262859 edges, 81082 markings/sec, 1830 secs
lola: 69866573 markings, 609518040 edges, 80465 markings/sec, 1835 secs
lola: 70266734 markings, 610774342 edges, 80032 markings/sec, 1840 secs
lola: 70665397 markings, 612031642 edges, 79733 markings/sec, 1845 secs
lola: 71061637 markings, 613289277 edges, 79248 markings/sec, 1850 secs
lola: 71454592 markings, 614548264 edges, 78591 markings/sec, 1855 secs
lola: 71846411 markings, 615806189 edges, 78364 markings/sec, 1860 secs
lola: 72233986 markings, 617064658 edges, 77515 markings/sec, 1865 secs
lola: 72619372 markings, 618324971 edges, 77077 markings/sec, 1870 secs
lola: 73002746 markings, 619584652 edges, 76675 markings/sec, 1875 secs
lola: 73382630 markings, 620845828 edges, 75977 markings/sec, 1880 secs
lola: 73758103 markings, 622109364 edges, 75095 markings/sec, 1885 secs
lola: 74131041 markings, 623373348 edges, 74588 markings/sec, 1890 secs
lola: 74500992 markings, 624637697 edges, 73990 markings/sec, 1895 secs
lola: 74866950 markings, 625904426 edges, 73192 markings/sec, 1900 secs
lola: 75227800 markings, 627174055 edges, 72170 markings/sec, 1905 secs
lola: 75584257 markings, 628446906 edges, 71291 markings/sec, 1910 secs
lola: 75933777 markings, 629719730 edges, 69904 markings/sec, 1915 secs
lola: 76277013 markings, 631002627 edges, 68647 markings/sec, 1920 secs
lola: 76611442 markings, 632297742 edges, 66886 markings/sec, 1925 secs
lola: 76932450 markings, 633616359 edges, 64202 markings/sec, 1930 secs
lola: 77231872 markings, 634981801 edges, 59884 markings/sec, 1935 secs
lola: 77413989 markings, 636565718 edges, 36423 markings/sec, 1940 secs
lola: 77428686 markings, 638420518 edges, 2939 markings/sec, 1945 secs
lola: 77434876 markings, 640324174 edges, 1238 markings/sec, 1950 secs
lola: 77438976 markings, 642255498 edges, 820 markings/sec, 1955 secs
lola: 77442026 markings, 644206425 edges, 610 markings/sec, 1960 secs
lola: 77444841 markings, 646171813 edges, 563 markings/sec, 1965 secs
lola: 77447280 markings, 648150204 edges, 488 markings/sec, 1970 secs
lola: 77449406 markings, 650140674 edges, 425 markings/sec, 1975 secs
lola: 77451407 markings, 652141966 edges, 400 markings/sec, 1980 secs
lola: 77453310 markings, 654150356 edges, 381 markings/sec, 1985 secs
lola: 77454997 markings, 656165451 edges, 337 markings/sec, 1990 secs
lola: 77456604 markings, 658192142 edges, 321 markings/sec, 1995 secs
lola: 77458134 markings, 660228380 edges, 306 markings/sec, 2000 secs
lola: 77459561 markings, 662271263 edges, 285 markings/sec, 2005 secs
lola: 77460727 markings, 664318706 edges, 233 markings/sec, 2010 secs
lola: 77461907 markings, 666372136 edges, 236 markings/sec, 2015 secs
lola: 77463231 markings, 668433625 edges, 265 markings/sec, 2020 secs
lola: 77464276 markings, 670500263 edges, 209 markings/sec, 2025 secs
lola: 77465449 markings, 672575402 edges, 235 markings/sec, 2030 secs
lola: 77466711 markings, 674650879 edges, 252 markings/sec, 2035 secs
lola: 77467797 markings, 676732865 edges, 217 markings/sec, 2040 secs
lola: 77468767 markings, 678823933 edges, 194 markings/sec, 2045 secs
lola: 77469840 markings, 680914939 edges, 215 markings/sec, 2050 secs
lola: 77470659 markings, 683013421 edges, 164 markings/sec, 2055 secs
lola: 77471537 markings, 685116142 edges, 176 markings/sec, 2060 secs
lola: 77472292 markings, 687226036 edges, 151 markings/sec, 2065 secs
lola: 77473136 markings, 689335036 edges, 169 markings/sec, 2070 secs
lola: 77474003 markings, 691453881 edges, 173 markings/sec, 2075 secs
lola: 77474838 markings, 693568888 edges, 167 markings/sec, 2080 secs
lola: 77475492 markings, 695689538 edges, 131 markings/sec, 2085 secs
lola: 77476203 markings, 697815827 edges, 142 markings/sec, 2090 secs
lola: 77476872 markings, 699951379 edges, 134 markings/sec, 2095 secs
lola: 77477627 markings, 702088817 edges, 151 markings/sec, 2100 secs
lola: 77478173 markings, 704235936 edges, 109 markings/sec, 2105 secs
lola: 77478826 markings, 706390870 edges, 131 markings/sec, 2110 secs
lola: 77479621 markings, 708543680 edges, 159 markings/sec, 2115 secs
lola: 77480080 markings, 710696382 edges, 92 markings/sec, 2120 secs
lola: 77480641 markings, 712866695 edges, 112 markings/sec, 2125 secs
lola: 77481302 markings, 715021164 edges, 132 markings/sec, 2130 secs
lola: 77481917 markings, 717192354 edges, 123 markings/sec, 2135 secs
lola: 77482313 markings, 719364946 edges, 79 markings/sec, 2140 secs
lola: 77482889 markings, 721539328 edges, 115 markings/sec, 2145 secs
lola: 77483536 markings, 723725570 edges, 129 markings/sec, 2150 secs
lola: 77483914 markings, 725911565 edges, 76 markings/sec, 2155 secs
lola: 77484335 markings, 728096939 edges, 84 markings/sec, 2160 secs
lola: 77484616 markings, 730282973 edges, 56 markings/sec, 2165 secs
lola: 77484984 markings, 732483835 edges, 74 markings/sec, 2170 secs
lola: 77485449 markings, 734681914 edges, 93 markings/sec, 2175 secs
lola: 77485678 markings, 736881275 edges, 46 markings/sec, 2180 secs
lola: 77485928 markings, 739093732 edges, 50 markings/sec, 2185 secs
lola: 77486053 markings, 741314745 edges, 25 markings/sec, 2190 secs
lola: 77486301 markings, 743531934 edges, 50 markings/sec, 2195 secs
lola: 77486652 markings, 745773068 edges, 70 markings/sec, 2200 secs
lola: 77486856 markings, 748004622 edges, 41 markings/sec, 2205 secs
lola: 77487418 markings, 750258545 edges, 112 markings/sec, 2210 secs
lola: 77487576 markings, 752507825 edges, 32 markings/sec, 2215 secs
lola: 77487686 markings, 754780485 edges, 22 markings/sec, 2220 secs
lola: 77487876 markings, 757071428 edges, 38 markings/sec, 2225 secs
lola: 77488019 markings, 759391447 edges, 29 markings/sec, 2230 secs
lola: 77488020 markings, 761692249 edges, 0 markings/sec, 2235 secs
lola: 77488024 markings, 764007796 edges, 1 markings/sec, 2240 secs
lola: 77508781 markings, 766284221 edges, 4151 markings/sec, 2245 secs
lola: 77974162 markings, 767467361 edges, 93076 markings/sec, 2250 secs
lola: 78449812 markings, 768645941 edges, 95130 markings/sec, 2255 secs
lola: 78931800 markings, 769837774 edges, 96398 markings/sec, 2260 secs
lola: 79400354 markings, 771040004 edges, 93711 markings/sec, 2265 secs
lola: 79850499 markings, 772246146 edges, 90029 markings/sec, 2270 secs
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: 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: 4212240 KB
lola: time consumption: 3570 seconds
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: 4212240 KB
lola: time consumption: 3570 seconds

BK_STOP 1552808163124

--------------------
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="MultiwaySync-PT-none"
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-3957"
echo " Executing tool win2018"
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 r099-smll-155246598400121"
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 ;