About the Execution of ITS-LoLa for DiscoveryGPU-PT-13a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.460 | 3600000.00 | 3597868.00 | 1283.90 | TTFFF?TTTFTFFF?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r178-tajo-158987882700699.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is DiscoveryGPU-PT-13a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-tajo-158987882700699
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.0K Mar 31 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 30 00:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 30 00:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 46K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-13a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591235747155
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 01:55:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 01:55:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 01:55:49] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2020-06-04 01:55:49] [INFO ] Transformed 133 places.
[2020-06-04 01:55:49] [INFO ] Transformed 183 transitions.
[2020-06-04 01:55:49] [INFO ] Found NUPN structural information;
[2020-06-04 01:55:49] [INFO ] Parsed PT model containing 133 places and 183 transitions in 80 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 14 ms.
Finished random walk after 569 steps, including 3 resets, run visited all 11 properties in 9 ms. (steps per millisecond=63 )
[2020-06-04 01:55:49] [INFO ] Initial state reduction rules for CTL removed 10 formulas.
[2020-06-04 01:55:49] [INFO ] Flatten gal took : 40 ms
[2020-06-04 01:55:49] [INFO ] Initial state reduction rules for CTL removed 10 formulas.
[2020-06-04 01:55:49] [INFO ] Flatten gal took : 13 ms
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 01:55:49] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 2 ms.
[2020-06-04 01:55:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ DiscoveryGPU-PT-13a @ 3570 seconds
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DiscoveryGPU-PT-13a-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ DiscoveryGPU-PT-13a
{
"exit":
{
"memory": 28788,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 2,
"F": 0,
"G": 0,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E((((p62 <= 0)) OR ((1 <= p86))) U EX(((1 <= p52))))",
"processed_size": 53,
"rewrites": 14
},
"net":
{
"conflict_clusters": 16,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "yes yes unknown yes yes unknown "
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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: 316/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 133
lola: finding significant places
lola: 133 places, 183 transitions, 131 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p99 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p52 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: E (F (NOT(A (G ((((p103 <= 0)) OR ((1 <= p32)))))))) : E (F (NOT(A (G ((((p94 <= 0)) OR ((1 <= p99)))))))) : E (((((p62 <= 0)) OR ((1 <= p86))) U E (X (((1 <= p52)))))) : E (X (NOT(A (G ((((p1 <= 0)) OR ((1 <= p97)))))))) : E ((A (F ((((p83 <= 0)) OR ((1 <= p101))))) U E (F (((1 <= p75)))))) : E (((((p115 <= 0)) OR ((1 <= p11))) U (((1 <= p73)) AND ((p31 <= 0)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((p62 <= 0)) OR ((1 <= p86))) U E (X (((1 <= p52))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((((p62 <= 0)) OR ((1 <= p86))) U EX(((1 <= p52))))
lola: processed formula length: 53
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 583753 markings, 4081718 edges, 116751 markings/sec, 0 secs
lola: 1171324 markings, 8368321 edges, 117514 markings/sec, 5 secs
lola: 1685199 markings, 12612873 edges, 102775 markings/sec, 10 secs
lola: 2230863 markings, 16858830 edges, 109133 markings/sec, 15 secs
lola: 2735973 markings, 21025404 edges, 101022 markings/sec, 20 secs
lola: 3182732 markings, 24747856 edges, 89352 markings/sec, 25 secs
lola: 3582398 markings, 28463492 edges, 79933 markings/sec, 30 secs
lola: 4022236 markings, 32170965 edges, 87968 markings/sec, 35 secs
lola: 4521210 markings, 36250876 edges, 99795 markings/sec, 40 secs
lola: 5010528 markings, 40541802 edges, 97864 markings/sec, 45 secs
lola: 5496268 markings, 44726256 edges, 97148 markings/sec, 50 secs
lola: 5984628 markings, 48931935 edges, 97672 markings/sec, 55 secs
lola: 6439447 markings, 53069515 edges, 90964 markings/sec, 60 secs
lola: 6918881 markings, 57153426 edges, 95887 markings/sec, 65 secs
lola: 7436089 markings, 61410202 edges, 103442 markings/sec, 70 secs
lola: 7941003 markings, 65356148 edges, 100983 markings/sec, 75 secs
lola: 8408855 markings, 69216909 edges, 93570 markings/sec, 80 secs
lola: 8849412 markings, 73115859 edges, 88111 markings/sec, 85 secs
lola: 9295514 markings, 76983608 edges, 89220 markings/sec, 90 secs
lola: 9777364 markings, 81025574 edges, 96370 markings/sec, 95 secs
lola: 10219615 markings, 84579767 edges, 88450 markings/sec, 100 secs
lola: 10655960 markings, 88153914 edges, 87269 markings/sec, 105 secs
lola: 11074575 markings, 91774350 edges, 83723 markings/sec, 110 secs
lola: 11477409 markings, 95435273 edges, 80567 markings/sec, 115 secs
lola: 11892324 markings, 99041981 edges, 82983 markings/sec, 120 secs
lola: 12279237 markings, 102619807 edges, 77383 markings/sec, 125 secs
lola: 12676064 markings, 106185388 edges, 79365 markings/sec, 130 secs
lola: 13051342 markings, 109827333 edges, 75056 markings/sec, 135 secs
lola: 13400146 markings, 113338886 edges, 69761 markings/sec, 140 secs
lola: 13799537 markings, 116955394 edges, 79878 markings/sec, 145 secs
lola: 14186751 markings, 120505974 edges, 77443 markings/sec, 150 secs
lola: 14556374 markings, 124082646 edges, 73925 markings/sec, 155 secs
lola: 14930979 markings, 127812874 edges, 74921 markings/sec, 160 secs
lola: 15362490 markings, 131835608 edges, 86302 markings/sec, 165 secs
lola: 15784371 markings, 135810583 edges, 84376 markings/sec, 170 secs
lola: 16166829 markings, 139705280 edges, 76492 markings/sec, 175 secs
lola: 16575736 markings, 143572846 edges, 81781 markings/sec, 180 secs
lola: 17031524 markings, 147672953 edges, 91158 markings/sec, 185 secs
lola: 17467423 markings, 151629462 edges, 87180 markings/sec, 190 secs
lola: 17941158 markings, 155752441 edges, 94747 markings/sec, 195 secs
lola: 18364235 markings, 159808840 edges, 84615 markings/sec, 200 secs
lola: 18761259 markings, 163746952 edges, 79405 markings/sec, 205 secs
lola: 19186493 markings, 167674994 edges, 85047 markings/sec, 210 secs
lola: 19652438 markings, 171661963 edges, 93189 markings/sec, 215 secs
lola: 20082350 markings, 175259195 edges, 85982 markings/sec, 220 secs
lola: 20527875 markings, 178854617 edges, 89105 markings/sec, 225 secs
lola: 20940965 markings, 182600621 edges, 82618 markings/sec, 230 secs
lola: 21380835 markings, 186556948 edges, 87974 markings/sec, 235 secs
lola: 21846434 markings, 190678296 edges, 93120 markings/sec, 240 secs
lola: 22276278 markings, 194597846 edges, 85969 markings/sec, 245 secs
lola: 22711875 markings, 198747537 edges, 87119 markings/sec, 250 secs
lola: 23110567 markings, 202730432 edges, 79738 markings/sec, 255 secs
lola: 23555336 markings, 206775177 edges, 88954 markings/sec, 260 secs
lola: 23984443 markings, 210799400 edges, 85821 markings/sec, 265 secs
lola: 24402216 markings, 214792030 edges, 83555 markings/sec, 270 secs
lola: 24781866 markings, 218489069 edges, 75930 markings/sec, 275 secs
lola: 25142176 markings, 221916325 edges, 72062 markings/sec, 280 secs
lola: 25510775 markings, 225369449 edges, 73720 markings/sec, 285 secs
lola: 25850793 markings, 228822955 edges, 68004 markings/sec, 290 secs
lola: 26234505 markings, 232548556 edges, 76742 markings/sec, 295 secs
lola: 26693897 markings, 236623736 edges, 91878 markings/sec, 300 secs
lola: 27116756 markings, 240482973 edges, 84572 markings/sec, 305 secs
lola: 27578260 markings, 244488903 edges, 92301 markings/sec, 310 secs
lola: 27997350 markings, 248478116 edges, 83818 markings/sec, 315 secs
lola: 28359560 markings, 251998575 edges, 72442 markings/sec, 320 secs
lola: 28719721 markings, 255436387 edges, 72032 markings/sec, 325 secs
lola: 29095928 markings, 259054432 edges, 75241 markings/sec, 330 secs
lola: 29564382 markings, 263133039 edges, 93691 markings/sec, 335 secs
lola: 30014666 markings, 267254453 edges, 90057 markings/sec, 340 secs
lola: 30452740 markings, 271415733 edges, 87615 markings/sec, 345 secs
lola: 30852088 markings, 275412171 edges, 79870 markings/sec, 350 secs
lola: 31280064 markings, 279498371 edges, 85595 markings/sec, 355 secs
lola: 31679746 markings, 283565525 edges, 79936 markings/sec, 360 secs
lola: 32084625 markings, 287566012 edges, 80976 markings/sec, 365 secs
lola: 32474430 markings, 291733841 edges, 77961 markings/sec, 370 secs
lola: 32838986 markings, 295703843 edges, 72911 markings/sec, 375 secs
lola: 33250170 markings, 299790930 edges, 82237 markings/sec, 380 secs
lola: 33653259 markings, 303893715 edges, 80618 markings/sec, 385 secs
lola: 34037837 markings, 307985551 edges, 76916 markings/sec, 390 secs
lola: 34411636 markings, 311955647 edges, 74760 markings/sec, 395 secs
lola: 34799123 markings, 315975584 edges, 77497 markings/sec, 400 secs
lola: 35187603 markings, 319963611 edges, 77696 markings/sec, 405 secs
lola: 35541159 markings, 323875427 edges, 70711 markings/sec, 410 secs
lola: 35889986 markings, 327681170 edges, 69765 markings/sec, 415 secs
lola: 36328820 markings, 331863522 edges, 87767 markings/sec, 420 secs
lola: 36732498 markings, 335906746 edges, 80736 markings/sec, 425 secs
lola: 37158365 markings, 340012945 edges, 85173 markings/sec, 430 secs
lola: 37558141 markings, 344139354 edges, 79955 markings/sec, 435 secs
lola: 37945775 markings, 348235263 edges, 77527 markings/sec, 440 secs
lola: 38325071 markings, 352236898 edges, 75859 markings/sec, 445 secs
lola: 38711815 markings, 356252314 edges, 77349 markings/sec, 450 secs
lola: 39220953 markings, 360447384 edges, 101828 markings/sec, 455 secs
lola: 39712043 markings, 364670946 edges, 98218 markings/sec, 460 secs
lola: 40166970 markings, 368751762 edges, 90985 markings/sec, 465 secs
lola: 40652235 markings, 372870233 edges, 97053 markings/sec, 470 secs
lola: 41126946 markings, 377000657 edges, 94942 markings/sec, 475 secs
lola: 41564721 markings, 381122229 edges, 87555 markings/sec, 480 secs
lola: 41980365 markings, 385179540 edges, 83129 markings/sec, 485 secs
lola: 42403855 markings, 389149083 edges, 84698 markings/sec, 490 secs
lola: 42846108 markings, 393203677 edges, 88451 markings/sec, 495 secs
lola: 43300118 markings, 397345570 edges, 90802 markings/sec, 500 secs
lola: 43723127 markings, 401480087 edges, 84602 markings/sec, 505 secs
lola: 44139350 markings, 405484351 edges, 83245 markings/sec, 510 secs
lola: 44564578 markings, 409494762 edges, 85046 markings/sec, 515 secs
lola: 44995744 markings, 413650160 edges, 86233 markings/sec, 520 secs
lola: 45391498 markings, 417795831 edges, 79151 markings/sec, 525 secs
lola: 45784336 markings, 421920674 edges, 78568 markings/sec, 530 secs
lola: 46166135 markings, 425914137 edges, 76360 markings/sec, 535 secs
lola: 46554048 markings, 429975213 edges, 77583 markings/sec, 540 secs
lola: 47036453 markings, 434175586 edges, 96481 markings/sec, 545 secs
lola: 47470955 markings, 438331645 edges, 86900 markings/sec, 550 secs
lola: 47885248 markings, 442480007 edges, 82859 markings/sec, 555 secs
lola: 48304293 markings, 446654024 edges, 83809 markings/sec, 560 secs
lola: 48706526 markings, 450808791 edges, 80447 markings/sec, 565 secs
lola: 49102975 markings, 454875401 edges, 79290 markings/sec, 570 secs
lola: 49504383 markings, 458891815 edges, 80282 markings/sec, 575 secs
lola: 49929143 markings, 462939229 edges, 84952 markings/sec, 580 secs
lola: 50326722 markings, 466990079 edges, 79516 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6541332 KB
lola: time consumption: 597 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((((1 <= p1)) AND ((p97 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (((1 <= p1)) AND ((p97 <= 0)))
lola: processed formula length: 30
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p1)) AND ((p97 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 2 will run for 743 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p75))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p75))))
lola: processed formula length: 20
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p75))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 3 will run for 990 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p94)) AND ((p99 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p94)) AND ((p99 <= 0)))))
lola: processed formula length: 39
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p94)) AND ((p99 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: ========================================
lola: subprocess 4 will run for 1486 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p103)) AND ((p32 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p103)) AND ((p32 <= 0)))))
lola: processed formula length: 40
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p103)) AND ((p32 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 5 will run for 2972 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((p115 <= 0)) OR ((1 <= p11))) U (((1 <= p73)) AND ((p31 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((((p115 <= 0)) OR ((1 <= p11))) U (((1 <= p73)) AND ((p31 <= 0)))))
lola: processed formula length: 72
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p73)) AND ((p31 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-0.sara.
sara: error: :1174: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 585322 markings, 4476065 edges, 117064 markings/sec, 0 secs
lola: sara is running 5 secs || 1149359 markings, 8955954 edges, 112807 markings/sec, 5 secs
lola: sara is running 10 secs || 1662003 markings, 13580282 edges, 102529 markings/sec, 10 secs
lola: sara is running 15 secs || 2209527 markings, 18268027 edges, 109505 markings/sec, 15 secs
lola: sara is running 20 secs || 2728805 markings, 22975223 edges, 103856 markings/sec, 20 secs
lola: sara is running 25 secs || 3251862 markings, 27680757 edges, 104611 markings/sec, 25 secs
lola: sara is running 30 secs || 3716898 markings, 32394652 edges, 93007 markings/sec, 30 secs
lola: sara is running 35 secs || 4236727 markings, 37097685 edges, 103966 markings/sec, 35 secs
lola: sara is running 40 secs || 4741427 markings, 41809476 edges, 100940 markings/sec, 40 secs
lola: sara is running 45 secs || 5228364 markings, 46451830 edges, 97387 markings/sec, 45 secs
lola: sara is running 50 secs || 5718218 markings, 51046477 edges, 97971 markings/sec, 50 secs
lola: sara is running 55 secs || 6202786 markings, 55620558 edges, 96914 markings/sec, 55 secs
lola: sara is running 60 secs || 6656687 markings, 60184671 edges, 90780 markings/sec, 60 secs
lola: sara is running 65 secs || 7142772 markings, 64698449 edges, 97217 markings/sec, 65 secs
lola: sara is running 70 secs || 7660418 markings, 69365113 edges, 103529 markings/sec, 70 secs
lola: sara is running 75 secs || 8202548 markings, 74016055 edges, 108426 markings/sec, 75 secs
lola: sara is running 80 secs || 8698946 markings, 78563201 edges, 99280 markings/sec, 80 secs
lola: sara is running 85 secs || 9129176 markings, 82700464 edges, 86046 markings/sec, 85 secs
lola: sara is running 90 secs || 9558582 markings, 86818663 edges, 85881 markings/sec, 90 secs
lola: sara is running 95 secs || 9992830 markings, 90926975 edges, 86850 markings/sec, 95 secs
lola: sara is running 100 secs || 10510697 markings, 95376506 edges, 103573 markings/sec, 100 secs
lola: sara is running 105 secs || 10960563 markings, 99435372 edges, 89973 markings/sec, 105 secs
lola: sara is running 110 secs || 11397328 markings, 103569394 edges, 87353 markings/sec, 110 secs
lola: sara is running 115 secs || 11812831 markings, 107709808 edges, 83101 markings/sec, 115 secs
lola: sara is running 120 secs || 12240438 markings, 111770863 edges, 85521 markings/sec, 120 secs
lola: sara is running 125 secs || 12655227 markings, 115969574 edges, 82958 markings/sec, 125 secs
lola: sara is running 130 secs || 13083923 markings, 120190264 edges, 85739 markings/sec, 130 secs
lola: sara is running 135 secs || 13466510 markings, 124293476 edges, 76517 markings/sec, 135 secs
lola: sara is running 140 secs || 13850347 markings, 128515665 edges, 76767 markings/sec, 140 secs
lola: sara is running 145 secs || 14295432 markings, 132927215 edges, 89017 markings/sec, 145 secs
lola: sara is running 150 secs || 14734359 markings, 137470674 edges, 87785 markings/sec, 150 secs
lola: sara is running 155 secs || 15162183 markings, 141985840 edges, 85565 markings/sec, 155 secs
lola: sara is running 160 secs || 15558082 markings, 146171981 edges, 79180 markings/sec, 160 secs
lola: sara is running 165 secs || 15935102 markings, 150091956 edges, 75404 markings/sec, 165 secs
lola: sara is running 170 secs || 16329512 markings, 154169715 edges, 78882 markings/sec, 170 secs
lola: sara is running 175 secs || 16707225 markings, 158415688 edges, 75543 markings/sec, 175 secs
lola: sara is running 180 secs || 17144535 markings, 162857695 edges, 87462 markings/sec, 180 secs
lola: sara is running 185 secs || 17602575 markings, 167421302 edges, 91608 markings/sec, 185 secs
lola: sara is running 190 secs || 18064584 markings, 171942157 edges, 92402 markings/sec, 190 secs
lola: sara is running 195 secs || 18534672 markings, 176539627 edges, 94018 markings/sec, 195 secs
lola: sara is running 200 secs || 18966144 markings, 181088883 edges, 86294 markings/sec, 200 secs
lola: sara is running 205 secs || 19374772 markings, 185511046 edges, 81726 markings/sec, 205 secs
lola: sara is running 210 secs || 19811391 markings, 189976096 edges, 87324 markings/sec, 210 secs
lola: sara is running 215 secs || 20302126 markings, 194465249 edges, 98147 markings/sec, 215 secs
lola: sara is running 220 secs || 20806663 markings, 199047116 edges, 100907 markings/sec, 220 secs
lola: sara is running 225 secs || 21310459 markings, 203645405 edges, 100759 markings/sec, 225 secs
lola: sara is running 230 secs || 21758262 markings, 208193836 edges, 89561 markings/sec, 230 secs
lola: sara is running 235 secs || 22238636 markings, 212752811 edges, 96075 markings/sec, 235 secs
lola: sara is running 240 secs || 22684026 markings, 217275257 edges, 89078 markings/sec, 240 secs
lola: sara is running 245 secs || 23085053 markings, 221200658 edges, 80205 markings/sec, 245 secs
lola: sara is running 250 secs || 23470483 markings, 225341641 edges, 77086 markings/sec, 250 secs
lola: sara is running 255 secs || 23841968 markings, 229425933 edges, 74297 markings/sec, 255 secs
lola: sara is running 260 secs || 24300491 markings, 233979616 edges, 91705 markings/sec, 260 secs
lola: sara is running 265 secs || 24740385 markings, 238540750 edges, 87979 markings/sec, 265 secs
lola: sara is running 270 secs || 25166675 markings, 243035470 edges, 85258 markings/sec, 270 secs
lola: sara is running 275 secs || 25582393 markings, 247415920 edges, 83144 markings/sec, 275 secs
lola: sara is running 280 secs || 25997374 markings, 251769732 edges, 82996 markings/sec, 280 secs
lola: sara is running 285 secs || 26429056 markings, 256287273 edges, 86336 markings/sec, 285 secs
lola: sara is running 290 secs || 26825549 markings, 260649071 edges, 79299 markings/sec, 290 secs
lola: sara is running 295 secs || 27275123 markings, 265109422 edges, 89915 markings/sec, 295 secs
lola: sara is running 300 secs || 27722431 markings, 269644014 edges, 89462 markings/sec, 300 secs
lola: sara is running 305 secs || 28196125 markings, 274162032 edges, 94739 markings/sec, 305 secs
lola: sara is running 310 secs || 28650986 markings, 278722954 edges, 90972 markings/sec, 310 secs
lola: sara is running 315 secs || 29069934 markings, 283221103 edges, 83790 markings/sec, 315 secs
lola: sara is running 320 secs || 29482082 markings, 287593456 edges, 82430 markings/sec, 320 secs
lola: sara is running 325 secs || 29905082 markings, 291988093 edges, 84600 markings/sec, 325 secs
lola: sara is running 330 secs || 30380124 markings, 296586510 edges, 95008 markings/sec, 330 secs
lola: sara is running 335 secs || 30844099 markings, 301203889 edges, 92795 markings/sec, 335 secs
lola: sara is running 340 secs || 31299119 markings, 305839627 edges, 91004 markings/sec, 340 secs
lola: sara is running 345 secs || 31708789 markings, 310429772 edges, 81934 markings/sec, 345 secs
lola: sara is running 350 secs || 32145561 markings, 315013101 edges, 87354 markings/sec, 350 secs
lola: sara is running 355 secs || 32570192 markings, 319657993 edges, 84926 markings/sec, 355 secs
lola: sara is running 360 secs || 32983327 markings, 324208864 edges, 82627 markings/sec, 360 secs
lola: sara is running 365 secs || 33390662 markings, 328878456 edges, 81467 markings/sec, 365 secs
lola: sara is running 370 secs || 33771245 markings, 333465771 edges, 76117 markings/sec, 370 secs
lola: sara is running 375 secs || 34184121 markings, 338034135 edges, 82575 markings/sec, 375 secs
lola: sara is running 380 secs || 34603132 markings, 342629676 edges, 83802 markings/sec, 380 secs
lola: sara is running 385 secs || 34998281 markings, 347228506 edges, 79030 markings/sec, 385 secs
lola: sara is running 390 secs || 35373494 markings, 351668665 edges, 75043 markings/sec, 390 secs
lola: sara is running 395 secs || 35772803 markings, 356128559 edges, 79862 markings/sec, 395 secs
lola: sara is running 400 secs || 36164612 markings, 360586102 edges, 78362 markings/sec, 400 secs
lola: sara is running 405 secs || 36543487 markings, 365115081 edges, 75775 markings/sec, 405 secs
lola: sara is running 410 secs || 36911721 markings, 369520673 edges, 73647 markings/sec, 410 secs
lola: sara is running 415 secs || 37336697 markings, 374056549 edges, 84995 markings/sec, 415 secs
lola: sara is running 420 secs || 37746216 markings, 378620029 edges, 81904 markings/sec, 420 secs
lola: sara is running 425 secs || 38177299 markings, 383162064 edges, 86217 markings/sec, 425 secs
lola: sara is running 430 secs || 38595211 markings, 387743715 edges, 83582 markings/sec, 430 secs
lola: sara is running 435 secs || 38988369 markings, 392310188 edges, 78632 markings/sec, 435 secs
lola: sara is running 440 secs || 39361141 markings, 396723146 edges, 74554 markings/sec, 440 secs
lola: sara is running 445 secs || 39758389 markings, 401170908 edges, 79450 markings/sec, 445 secs
lola: sara is running 450 secs || 40206204 markings, 405643433 edges, 89563 markings/sec, 450 secs
lola: sara is running 455 secs || 40708725 markings, 410267149 edges, 100504 markings/sec, 455 secs
lola: sara is running 460 secs || 41184273 markings, 414843169 edges, 95110 markings/sec, 460 secs
lola: sara is running 465 secs || 41665338 markings, 419357493 edges, 96213 markings/sec, 465 secs
lola: sara is running 470 secs || 42141221 markings, 423866440 edges, 95177 markings/sec, 470 secs
lola: sara is running 475 secs || 42605451 markings, 428448631 edges, 92846 markings/sec, 475 secs
lola: sara is running 480 secs || 43033669 markings, 433017072 edges, 85644 markings/sec, 480 secs
lola: sara is running 485 secs || 43444590 markings, 437408221 edges, 82184 markings/sec, 485 secs
lola: sara is running 490 secs || 43872056 markings, 441844838 edges, 85493 markings/sec, 490 secs
lola: sara is running 495 secs || 44338709 markings, 446383130 edges, 93331 markings/sec, 495 secs
lola: sara is running 500 secs || 44779710 markings, 450966812 edges, 88200 markings/sec, 500 secs
lola: sara is running 505 secs || 45206265 markings, 455456324 edges, 85311 markings/sec, 505 secs
lola: sara is running 510 secs || 45631561 markings, 459888213 edges, 85059 markings/sec, 510 secs
lola: sara is running 515 secs || 46051431 markings, 464276290 edges, 83974 markings/sec, 515 secs
lola: sara is running 520 secs || 46482692 markings, 468881849 edges, 86252 markings/sec, 520 secs
lola: sara is running 525 secs || 46879875 markings, 473453682 edges, 79437 markings/sec, 525 secs
lola: sara is running 530 secs || 47262747 markings, 477912864 edges, 76574 markings/sec, 530 secs
lola: sara is running 535 secs || 47652513 markings, 482339553 edges, 77953 markings/sec, 535 secs
lola: sara is running 540 secs || 48039487 markings, 486723017 edges, 77395 markings/sec, 540 secs
lola: sara is running 545 secs || 48512731 markings, 491306855 edges, 94649 markings/sec, 545 secs
lola: sara is running 550 secs || 48941290 markings, 495817430 edges, 85712 markings/sec, 550 secs
lola: sara is running 555 secs || 49354902 markings, 500326613 edges, 82722 markings/sec, 555 secs
lola: sara is running 560 secs || 49759488 markings, 504825417 edges, 80917 markings/sec, 560 secs
lola: sara is running 565 secs || 50156243 markings, 509306040 edges, 79351 markings/sec, 565 secs
lola: sara is running 570 secs || 50552306 markings, 513695428 edges, 79213 markings/sec, 570 secs
lola: sara is running 575 secs || 50944767 markings, 518057411 edges, 78492 markings/sec, 575 secs
lola: sara is running 580 secs || 51359219 markings, 522422514 edges, 82890 markings/sec, 580 secs
lola: sara is running 585 secs || 51747921 markings, 526804572 edges, 77740 markings/sec, 585 secs
lola: sara is running 590 secs || 52155830 markings, 531150235 edges, 81582 markings/sec, 590 secs
lola: sara is running 595 secs || 52561123 markings, 535561825 edges, 81059 markings/sec, 595 secs
lola: sara is running 600 secs || 52941472 markings, 539961242 edges, 76070 markings/sec, 600 secs
lola: sara is running 605 secs || 53306327 markings, 544254492 edges, 72971 markings/sec, 605 secs
lola: sara is running 610 secs || 53682240 markings, 548477244 edges, 75183 markings/sec, 610 secs
lola: sara is running 615 secs || 54063311 markings, 552730425 edges, 76214 markings/sec, 615 secs
lola: sara is running 620 secs || 54529208 markings, 557278969 edges, 93179 markings/sec, 620 secs
lola: sara is running 625 secs || 54958054 markings, 561808869 edges, 85769 markings/sec, 625 secs
lola: sara is running 630 secs || 55365557 markings, 566207417 edges, 81501 markings/sec, 630 secs
lola: sara is running 635 secs || 55784932 markings, 570482433 edges, 83875 markings/sec, 635 secs
lola: sara is running 640 secs || 56178862 markings, 574439369 edges, 78786 markings/sec, 640 secs
lola: sara is running 645 secs || 56584122 markings, 578474151 edges, 81052 markings/sec, 645 secs
lola: sara is running 650 secs || 56965366 markings, 582481553 edges, 76249 markings/sec, 650 secs
lola: sara is running 655 secs || 57372306 markings, 586922694 edges, 81388 markings/sec, 655 secs
lola: sara is running 660 secs || 57721849 markings, 590814090 edges, 69909 markings/sec, 660 secs
lola: sara is running 665 secs || 58078333 markings, 594795578 edges, 71297 markings/sec, 665 secs
lola: sara is running 670 secs || 58422101 markings, 598621016 edges, 68754 markings/sec, 670 secs
lola: sara is running 675 secs || 58766397 markings, 602598462 edges, 68859 markings/sec, 675 secs
lola: sara is running 680 secs || 59124330 markings, 606383402 edges, 71587 markings/sec, 680 secs
lola: sara is running 685 secs || 59483885 markings, 610192945 edges, 71911 markings/sec, 685 secs
lola: sara is running 690 secs || 59818532 markings, 613974620 edges, 66929 markings/sec, 690 secs
lola: sara is running 695 secs || 60179898 markings, 617604510 edges, 72273 markings/sec, 695 secs
lola: sara is running 700 secs || 60600340 markings, 621802116 edges, 84088 markings/sec, 700 secs
lola: sara is running 705 secs || 61019108 markings, 625964867 edges, 83754 markings/sec, 705 secs
lola: sara is running 710 secs || 61429795 markings, 630295512 edges, 82137 markings/sec, 710 secs
lola: sara is running 715 secs || 61790631 markings, 634297039 edges, 72167 markings/sec, 715 secs
lola: sara is running 720 secs || 62183842 markings, 638423269 edges, 78642 markings/sec, 720 secs
lola: sara is running 725 secs || 62570773 markings, 642664735 edges, 77386 markings/sec, 725 secs
lola: sara is running 730 secs || 62964567 markings, 646996537 edges, 78759 markings/sec, 730 secs
lola: sara is running 735 secs || 63363135 markings, 651530665 edges, 79714 markings/sec, 735 secs
lola: sara is running 740 secs || 63724405 markings, 655911265 edges, 72254 markings/sec, 740 secs
lola: sara is running 745 secs || 64107620 markings, 660256239 edges, 76643 markings/sec, 745 secs
lola: sara is running 750 secs || 64516924 markings, 664667640 edges, 81861 markings/sec, 750 secs
lola: sara is running 755 secs || 64897352 markings, 669043869 edges, 76086 markings/sec, 755 secs
lola: sara is running 760 secs || 65265247 markings, 673344203 edges, 73579 markings/sec, 760 secs
lola: sara is running 765 secs || 65636238 markings, 677567445 edges, 74198 markings/sec, 765 secs
lola: sara is running 770 secs || 65999014 markings, 681787349 edges, 72555 markings/sec, 770 secs
lola: sara is running 775 secs || 66375713 markings, 686092042 edges, 75340 markings/sec, 775 secs
lola: sara is running 780 secs || 66712377 markings, 690176151 edges, 67333 markings/sec, 780 secs
lola: sara is running 785 secs || 67085592 markings, 694406043 edges, 74643 markings/sec, 785 secs
lola: sara is running 790 secs || 67454733 markings, 698364300 edges, 73828 markings/sec, 790 secs
lola: sara is running 795 secs || 67799689 markings, 702195972 edges, 68991 markings/sec, 795 secs
lola: sara is running 800 secs || 68181951 markings, 706211477 edges, 76452 markings/sec, 800 secs
lola: sara is running 805 secs || 68579141 markings, 710560494 edges, 79438 markings/sec, 805 secs
lola: sara is running 810 secs || 68935171 markings, 714682879 edges, 71206 markings/sec, 810 secs
lola: sara is running 815 secs || 69273779 markings, 718655828 edges, 67722 markings/sec, 815 secs
lola: sara is running 820 secs || 69615281 markings, 722549791 edges, 68300 markings/sec, 820 secs
lola: sara is running 825 secs || 69972741 markings, 726676641 edges, 71492 markings/sec, 825 secs
lola: sara is running 830 secs || 70431479 markings, 730651398 edges, 91748 markings/sec, 830 secs
lola: sara is running 835 secs || 70874289 markings, 734639516 edges, 88562 markings/sec, 835 secs
lola: sara is running 840 secs || 71325600 markings, 738799570 edges, 90262 markings/sec, 840 secs
lola: sara is running 845 secs || 71749377 markings, 743105507 edges, 84755 markings/sec, 845 secs
lola: sara is running 850 secs || 72169180 markings, 747104732 edges, 83961 markings/sec, 850 secs
lola: sara is running 855 secs || 72572360 markings, 751109713 edges, 80636 markings/sec, 855 secs
lola: sara is running 860 secs || 72968351 markings, 755069774 edges, 79198 markings/sec, 860 secs
lola: sara is running 865 secs || 73356899 markings, 759093722 edges, 77710 markings/sec, 865 secs
lola: sara is running 870 secs || 73712603 markings, 763066135 edges, 71141 markings/sec, 870 secs
lola: sara is running 875 secs || 74092434 markings, 767002065 edges, 75966 markings/sec, 875 secs
lola: sara is running 880 secs || 74523745 markings, 771220242 edges, 86262 markings/sec, 880 secs
lola: sara is running 885 secs || 74946769 markings, 775681797 edges, 84605 markings/sec, 885 secs
lola: sara is running 890 secs || 75346572 markings, 780003912 edges, 79961 markings/sec, 890 secs
lola: sara is running 895 secs || 75769763 markings, 784323496 edges, 84638 markings/sec, 895 secs
lola: sara is running 900 secs || 76187574 markings, 788663687 edges, 83562 markings/sec, 900 secs
lola: sara is running 905 secs || 76584488 markings, 793022212 edges, 79383 markings/sec, 905 secs
lola: sara is running 910 secs || 76966283 markings, 797215582 edges, 76359 markings/sec, 910 secs
lola: sara is running 915 secs || 77435407 markings, 801722299 edges, 93825 markings/sec, 915 secs
lola: sara is running 920 secs || 77878666 markings, 806160716 edges, 88652 markings/sec, 920 secs
lola: sara is running 925 secs || 78342765 markings, 810621131 edges, 92820 markings/sec, 925 secs
lola: sara is running 930 secs || 78772831 markings, 815087419 edges, 86013 markings/sec, 930 secs
lola: sara is running 935 secs || 79190010 markings, 819488225 edges, 83436 markings/sec, 935 secs
lola: sara is running 940 secs || 79602751 markings, 823821247 edges, 82548 markings/sec, 940 secs
lola: sara is running 945 secs || 80021598 markings, 828143843 edges, 83769 markings/sec, 945 secs
lola: sara is running 950 secs || 80553830 markings, 832777422 edges, 106446 markings/sec, 950 secs
lola: sara is running 955 secs || 81033229 markings, 837378783 edges, 95880 markings/sec, 955 secs
lola: sara is running 960 secs || 81496201 markings, 841839462 edges, 92594 markings/sec, 960 secs
lola: sara is running 965 secs || 81971989 markings, 846323018 edges, 95158 markings/sec, 965 secs
lola: sara is running 970 secs || 82450441 markings, 850866453 edges, 95690 markings/sec, 970 secs
lola: sara is running 975 secs || 82878400 markings, 855358423 edges, 85592 markings/sec, 975 secs
lola: sara is running 980 secs || 83288555 markings, 859743992 edges, 82031 markings/sec, 980 secs
lola: sara is running 985 secs || 83712677 markings, 864106478 edges, 84824 markings/sec, 985 secs
lola: sara is running 990 secs || 84142623 markings, 868477220 edges, 85989 markings/sec, 990 secs
lola: sara is running 995 secs || 84603025 markings, 873025603 edges, 92080 markings/sec, 995 secs
lola: sara is running 1000 secs || 85027076 markings, 877543881 edges, 84810 markings/sec, 1000 secs
lola: sara is running 1005 secs || 85434705 markings, 881915332 edges, 81526 markings/sec, 1005 secs
lola: sara is running 1010 secs || 85857567 markings, 886278301 edges, 84572 markings/sec, 1010 secs
lola: sara is running 1015 secs || 86285752 markings, 890713469 edges, 85637 markings/sec, 1015 secs
lola: sara is running 1020 secs || 86690645 markings, 895257667 edges, 80979 markings/sec, 1020 secs
lola: sara is running 1025 secs || 87072411 markings, 899720597 edges, 76353 markings/sec, 1025 secs
lola: sara is running 1030 secs || 87447361 markings, 904083129 edges, 74990 markings/sec, 1030 secs
lola: sara is running 1035 secs || 87833983 markings, 908454452 edges, 77324 markings/sec, 1035 secs
lola: sara is running 1040 secs || 88260858 markings, 912855472 edges, 85375 markings/sec, 1040 secs
lola: sara is running 1045 secs || 88700773 markings, 917342787 edges, 87983 markings/sec, 1045 secs
lola: sara is running 1050 secs || 89122241 markings, 921763061 edges, 84294 markings/sec, 1050 secs
lola: sara is running 1055 secs || 89516317 markings, 926220531 edges, 78815 markings/sec, 1055 secs
lola: sara is running 1060 secs || 89926997 markings, 930690317 edges, 82136 markings/sec, 1060 secs
lola: sara is running 1065 secs || 90320701 markings, 935091590 edges, 78741 markings/sec, 1065 secs
lola: sara is running 1070 secs || 90696856 markings, 939398436 edges, 75231 markings/sec, 1070 secs
lola: sara is running 1075 secs || 91094887 markings, 943681644 edges, 79606 markings/sec, 1075 secs
lola: sara is running 1080 secs || 91503115 markings, 948022457 edges, 81646 markings/sec, 1080 secs
lola: sara is running 1085 secs || 91885919 markings, 952290914 edges, 76561 markings/sec, 1085 secs
lola: sara is running 1090 secs || 92290958 markings, 956570693 edges, 81008 markings/sec, 1090 secs
lola: sara is running 1095 secs || 92677394 markings, 960900880 edges, 77287 markings/sec, 1095 secs
lola: sara is running 1100 secs || 93046264 markings, 965197501 edges, 73774 markings/sec, 1100 secs
lola: sara is running 1105 secs || 93397648 markings, 969370120 edges, 70277 markings/sec, 1105 secs
lola: sara is running 1110 secs || 93774209 markings, 973545135 edges, 75312 markings/sec, 1110 secs
lola: sara is running 1115 secs || 94180255 markings, 977812999 edges, 81209 markings/sec, 1115 secs
lola: sara is running 1120 secs || 94630487 markings, 982303360 edges, 90046 markings/sec, 1120 secs
lola: sara is running 1125 secs || 95047414 markings, 986763977 edges, 83385 markings/sec, 1125 secs
lola: sara is running 1130 secs || 95451675 markings, 991078821 edges, 80852 markings/sec, 1130 secs
lola: sara is running 1135 secs || 95870388 markings, 995426271 edges, 83743 markings/sec, 1135 secs
lola: sara is running 1140 secs || 96322982 markings, 999847397 edges, 90519 markings/sec, 1140 secs
lola: sara is running 1145 secs || 96756859 markings, 1004326057 edges, 86775 markings/sec, 1145 secs
lola: sara is running 1150 secs || 97178123 markings, 1008762423 edges, 84253 markings/sec, 1150 secs
lola: sara is running 1155 secs || 97567624 markings, 1013213745 edges, 77900 markings/sec, 1155 secs
lola: sara is running 1160 secs || 97978096 markings, 1017649344 edges, 82094 markings/sec, 1160 secs
lola: sara is running 1165 secs || 98362426 markings, 1021972817 edges, 76866 markings/sec, 1165 secs
lola: sara is running 1170 secs || 98739009 markings, 1026270971 edges, 75317 markings/sec, 1170 secs
lola: sara is running 1175 secs || 99141530 markings, 1030559202 edges, 80504 markings/sec, 1175 secs
lola: sara is running 1180 secs || 99547202 markings, 1034903702 edges, 81134 markings/sec, 1180 secs
lola: sara is running 1185 secs || 99924793 markings, 1039140095 edges, 75518 markings/sec, 1185 secs
lola: sara is running 1190 secs || 100433873 markings, 1043673754 edges, 101816 markings/sec, 1190 secs
lola: sara is running 1195 secs || 100938844 markings, 1048246011 edges, 100994 markings/sec, 1195 secs
lola: sara is running 1200 secs || 101423969 markings, 1052808690 edges, 97025 markings/sec, 1200 secs
lola: sara is running 1205 secs || 101868311 markings, 1057247543 edges, 88868 markings/sec, 1205 secs
lola: sara is running 1210 secs || 102341776 markings, 1061773980 edges, 94693 markings/sec, 1210 secs
lola: sara is running 1215 secs || 102786405 markings, 1066263694 edges, 88926 markings/sec, 1215 secs
lola: sara is running 1220 secs || 103234717 markings, 1070746622 edges, 89662 markings/sec, 1220 secs
lola: sara is running 1225 secs || 103641941 markings, 1075267568 edges, 81445 markings/sec, 1225 secs
lola: sara is running 1230 secs || 104058189 markings, 1079684932 edges, 83250 markings/sec, 1230 secs
lola: sara is running 1235 secs || 104517692 markings, 1084159249 edges, 91901 markings/sec, 1235 secs
lola: sara is running 1240 secs || 104944065 markings, 1088649647 edges, 85275 markings/sec, 1240 secs
lola: sara is running 1245 secs || 105344619 markings, 1092983077 edges, 80111 markings/sec, 1245 secs
lola: sara is running 1250 secs || 105772927 markings, 1097357147 edges, 85662 markings/sec, 1250 secs
lola: sara is running 1255 secs || 106189825 markings, 1101687864 edges, 83380 markings/sec, 1255 secs
lola: sara is running 1260 secs || 106586632 markings, 1106048001 edges, 79361 markings/sec, 1260 secs
lola: sara is running 1265 secs || 106972031 markings, 1110278564 edges, 77080 markings/sec, 1265 secs
lola: sara is running 1270 secs || 107442582 markings, 1114789332 edges, 94110 markings/sec, 1270 secs
lola: sara is running 1275 secs || 107887557 markings, 1119246043 edges, 88995 markings/sec, 1275 secs
lola: sara is running 1280 secs || 108347598 markings, 1123668362 edges, 92008 markings/sec, 1280 secs
lola: sara is running 1285 secs || 108778284 markings, 1128150302 edges, 86137 markings/sec, 1285 secs
lola: sara is running 1290 secs || 109193656 markings, 1132528714 edges, 83074 markings/sec, 1290 secs
lola: sara is running 1295 secs || 109607871 markings, 1136865506 edges, 82843 markings/sec, 1295 secs
lola: sara is running 1300 secs || 110028831 markings, 1141225429 edges, 84192 markings/sec, 1300 secs
lola: sara is running 1305 secs || 110506093 markings, 1145839208 edges, 95452 markings/sec, 1305 secs
lola: sara is running 1310 secs || 110956503 markings, 1150356255 edges, 90082 markings/sec, 1310 secs
lola: sara is running 1315 secs || 111394006 markings, 1154928863 edges, 87501 markings/sec, 1315 secs
lola: sara is running 1320 secs || 111798507 markings, 1159382781 edges, 80900 markings/sec, 1320 secs
lola: sara is running 1325 secs || 112228734 markings, 1163881786 edges, 86045 markings/sec, 1325 secs
lola: sara is running 1330 secs || 112636358 markings, 1168402034 edges, 81525 markings/sec, 1330 secs
lola: sara is running 1335 secs || 113044798 markings, 1172854905 edges, 81688 markings/sec, 1335 secs
lola: sara is running 1340 secs || 113439948 markings, 1177446534 edges, 79030 markings/sec, 1340 secs
lola: sara is running 1345 secs || 113811578 markings, 1181921344 edges, 74326 markings/sec, 1345 secs
lola: sara is running 1350 secs || 114213856 markings, 1186333358 edges, 80456 markings/sec, 1350 secs
lola: sara is running 1355 secs || 114616812 markings, 1190777901 edges, 80591 markings/sec, 1355 secs
lola: sara is running 1360 secs || 114998202 markings, 1195227564 edges, 76278 markings/sec, 1360 secs
lola: sara is running 1365 secs || 115362209 markings, 1199535061 edges, 72801 markings/sec, 1365 secs
lola: sara is running 1370 secs || 115751189 markings, 1203882312 edges, 77796 markings/sec, 1370 secs
lola: sara is running 1375 secs || 116134619 markings, 1208230134 edges, 76686 markings/sec, 1375 secs
lola: sara is running 1380 secs || 116507449 markings, 1212669028 edges, 74566 markings/sec, 1380 secs
lola: sara is running 1385 secs || 116866946 markings, 1216965950 edges, 71899 markings/sec, 1385 secs
lola: sara is running 1390 secs || 117275369 markings, 1221387115 edges, 81685 markings/sec, 1390 secs
lola: sara is running 1395 secs || 117673003 markings, 1225835135 edges, 79527 markings/sec, 1395 secs
lola: sara is running 1400 secs || 118087430 markings, 1230244682 edges, 82885 markings/sec, 1400 secs
lola: sara is running 1405 secs || 118500890 markings, 1234684776 edges, 82692 markings/sec, 1405 secs
lola: sara is running 1410 secs || 118884551 markings, 1239100279 edges, 76732 markings/sec, 1410 secs
lola: sara is running 1415 secs || 119257854 markings, 1243455162 edges, 74661 markings/sec, 1415 secs
lola: sara is running 1420 secs || 119616675 markings, 1247563977 edges, 71764 markings/sec, 1420 secs
lola: sara is running 1425 secs || 119956226 markings, 1251475287 edges, 67910 markings/sec, 1425 secs
lola: sara is running 1430 secs || 120368371 markings, 1255464397 edges, 82429 markings/sec, 1430 secs
lola: sara is running 1435 secs || 120773650 markings, 1259545495 edges, 81056 markings/sec, 1435 secs
lola: sara is running 1440 secs || 121230002 markings, 1264095355 edges, 91270 markings/sec, 1440 secs
lola: sara is running 1445 secs || 121638722 markings, 1268630991 edges, 81744 markings/sec, 1445 secs
lola: sara is running 1450 secs || 122052491 markings, 1273086934 edges, 82754 markings/sec, 1450 secs
lola: sara is running 1455 secs || 122483028 markings, 1277685253 edges, 86107 markings/sec, 1455 secs
lola: sara is running 1460 secs || 122889398 markings, 1282153001 edges, 81274 markings/sec, 1460 secs
lola: sara is running 1465 secs || 123293621 markings, 1286674103 edges, 80845 markings/sec, 1465 secs
lola: sara is running 1470 secs || 123664354 markings, 1291197198 edges, 74147 markings/sec, 1470 secs
lola: sara is running 1475 secs || 124048428 markings, 1295646336 edges, 76815 markings/sec, 1475 secs
lola: sara is running 1480 secs || 124467652 markings, 1300108007 edges, 83845 markings/sec, 1480 secs
lola: sara is running 1485 secs || 124856003 markings, 1304581530 edges, 77670 markings/sec, 1485 secs
lola: sara is running 1490 secs || 125233115 markings, 1308965664 edges, 75422 markings/sec, 1490 secs
lola: sara is running 1495 secs || 125610068 markings, 1313294549 edges, 75391 markings/sec, 1495 secs
lola: sara is running 1500 secs || 125986279 markings, 1317633544 edges, 75242 markings/sec, 1500 secs
lola: sara is running 1505 secs || 126376120 markings, 1322097105 edges, 77968 markings/sec, 1505 secs
lola: sara is running 1510 secs || 126734711 markings, 1326431258 edges, 71718 markings/sec, 1510 secs
lola: sara is running 1515 secs || 127121379 markings, 1330755884 edges, 77334 markings/sec, 1515 secs
lola: sara is running 1520 secs || 127536370 markings, 1335293723 edges, 82998 markings/sec, 1520 secs
lola: sara is running 1525 secs || 127937783 markings, 1339710366 edges, 80283 markings/sec, 1525 secs
lola: sara is running 1530 secs || 128358845 markings, 1344138766 edges, 84212 markings/sec, 1530 secs
lola: sara is running 1535 secs || 128752167 markings, 1348617983 edges, 78664 markings/sec, 1535 secs
lola: sara is running 1540 secs || 129132861 markings, 1353001069 edges, 76139 markings/sec, 1540 secs
lola: sara is running 1545 secs || 129504443 markings, 1357325726 edges, 74316 markings/sec, 1545 secs
lola: sara is running 1550 secs || 129883200 markings, 1361647009 edges, 75751 markings/sec, 1550 secs
lola: sara is running 1555 secs || 130312932 markings, 1366182169 edges, 85946 markings/sec, 1555 secs
lola: sara is running 1560 secs || 130722912 markings, 1370771186 edges, 81996 markings/sec, 1560 secs
lola: sara is running 1565 secs || 131143026 markings, 1375329428 edges, 84023 markings/sec, 1565 secs
lola: sara is running 1570 secs || 131528662 markings, 1379930230 edges, 77127 markings/sec, 1570 secs
lola: sara is running 1575 secs || 131860921 markings, 1383891478 edges, 66452 markings/sec, 1575 secs
lola: sara is running 1580 secs || 132199186 markings, 1387789489 edges, 67653 markings/sec, 1580 secs
lola: sara is running 1585 secs || 132533698 markings, 1391796642 edges, 66902 markings/sec, 1585 secs
lola: sara is running 1590 secs || 132899073 markings, 1396162577 edges, 73075 markings/sec, 1590 secs
lola: sara is running 1595 secs || 133242175 markings, 1400311958 edges, 68620 markings/sec, 1595 secs
lola: sara is running 1600 secs || 133543889 markings, 1404263361 edges, 60343 markings/sec, 1600 secs
lola: sara is running 1605 secs || 133844232 markings, 1408137498 edges, 60069 markings/sec, 1605 secs
lola: sara is running 1610 secs || 134199449 markings, 1412392792 edges, 71043 markings/sec, 1610 secs
lola: sara is running 1615 secs || 134545987 markings, 1416543546 edges, 69308 markings/sec, 1615 secs
lola: sara is running 1620 secs || 134854924 markings, 1420423535 edges, 61787 markings/sec, 1620 secs
lola: sara is running 1625 secs || 135157645 markings, 1424249860 edges, 60544 markings/sec, 1625 secs
lola: sara is running 1630 secs || 135454503 markings, 1428016279 edges, 59372 markings/sec, 1630 secs
lola: sara is running 1635 secs || 135764653 markings, 1431803544 edges, 62030 markings/sec, 1635 secs
lola: sara is running 1640 secs || 136066463 markings, 1435559539 edges, 60362 markings/sec, 1640 secs
lola: sara is running 1645 secs || 136373993 markings, 1439444650 edges, 61506 markings/sec, 1645 secs
lola: sara is running 1650 secs || 136679492 markings, 1443468391 edges, 61100 markings/sec, 1650 secs
lola: sara is running 1655 secs || 136969729 markings, 1447192208 edges, 58047 markings/sec, 1655 secs
lola: sara is running 1660 secs || 137314153 markings, 1451110588 edges, 68885 markings/sec, 1660 secs
lola: sara is running 1665 secs || 137632821 markings, 1454990569 edges, 63734 markings/sec, 1665 secs
lola: sara is running 1670 secs || 137988303 markings, 1459255839 edges, 71096 markings/sec, 1670 secs
lola: sara is running 1675 secs || 138377583 markings, 1463719952 edges, 77856 markings/sec, 1675 secs
lola: sara is running 1680 secs || 138740455 markings, 1468222202 edges, 72574 markings/sec, 1680 secs
lola: sara is running 1685 secs || 139092978 markings, 1472645840 edges, 70505 markings/sec, 1685 secs
lola: sara is running 1690 secs || 139434118 markings, 1476978180 edges, 68228 markings/sec, 1690 secs
lola: sara is running 1695 secs || 139792661 markings, 1481355506 edges, 71709 markings/sec, 1695 secs
lola: sara is running 1700 secs || 140196099 markings, 1485761645 edges, 80688 markings/sec, 1700 secs
lola: sara is running 1705 secs || 140650342 markings, 1490315604 edges, 90849 markings/sec, 1705 secs
lola: sara is running 1710 secs || 141072124 markings, 1494845423 edges, 84356 markings/sec, 1710 secs
lola: sara is running 1715 secs || 141490046 markings, 1499270325 edges, 83584 markings/sec, 1715 secs
lola: sara is running 1720 secs || 141915683 markings, 1503697323 edges, 85127 markings/sec, 1720 secs
lola: sara is running 1725 secs || 142339180 markings, 1508127403 edges, 84699 markings/sec, 1725 secs
lola: sara is running 1730 secs || 142734231 markings, 1512603507 edges, 79010 markings/sec, 1730 secs
lola: sara is running 1735 secs || 143114631 markings, 1517000517 edges, 76080 markings/sec, 1735 secs
lola: sara is running 1740 secs || 143486727 markings, 1521324485 edges, 74419 markings/sec, 1740 secs
lola: sara is running 1745 secs || 143867377 markings, 1525660116 edges, 76130 markings/sec, 1745 secs
lola: sara is running 1750 secs || 144280068 markings, 1530056115 edges, 82538 markings/sec, 1750 secs
lola: sara is running 1755 secs || 144680248 markings, 1534537722 edges, 80036 markings/sec, 1755 secs
lola: sara is running 1760 secs || 145061045 markings, 1538979534 edges, 76159 markings/sec, 1760 secs
lola: sara is running 1765 secs || 145430303 markings, 1543301266 edges, 73852 markings/sec, 1765 secs
lola: sara is running 1770 secs || 145817399 markings, 1547660400 edges, 77419 markings/sec, 1770 secs
lola: sara is running 1775 secs || 146199995 markings, 1551999278 edges, 76519 markings/sec, 1775 secs
lola: sara is running 1780 secs || 146574660 markings, 1556484013 edges, 74933 markings/sec, 1780 secs
lola: sara is running 1785 secs || 146930207 markings, 1560950408 edges, 71109 markings/sec, 1785 secs
lola: sara is running 1790 secs || 147273083 markings, 1565319258 edges, 68575 markings/sec, 1790 secs
lola: sara is running 1795 secs || 147620901 markings, 1569628900 edges, 69564 markings/sec, 1795 secs
lola: sara is running 1800 secs || 147964099 markings, 1573935385 edges, 68640 markings/sec, 1800 secs
lola: sara is running 1805 secs || 148370894 markings, 1578282187 edges, 81359 markings/sec, 1805 secs
lola: sara is running 1810 secs || 148755388 markings, 1582665627 edges, 76899 markings/sec, 1810 secs
lola: sara is running 1815 secs || 149136151 markings, 1587039193 edges, 76153 markings/sec, 1815 secs
lola: sara is running 1820 secs || 149494591 markings, 1591467095 edges, 71688 markings/sec, 1820 secs
lola: sara is running 1825 secs || 149869944 markings, 1595896007 edges, 75071 markings/sec, 1825 secs
lola: sara is running 1830 secs || 150221585 markings, 1600229216 edges, 70328 markings/sec, 1830 secs
lola: sara is running 1835 secs || 150574173 markings, 1604518692 edges, 70518 markings/sec, 1835 secs
lola: sara is running 1840 secs || 150927549 markings, 1608788815 edges, 70675 markings/sec, 1840 secs
lola: sara is running 1845 secs || 151301564 markings, 1613092932 edges, 74803 markings/sec, 1845 secs
lola: sara is running 1850 secs || 151660209 markings, 1617445184 edges, 71729 markings/sec, 1850 secs
lola: sara is running 1855 secs || 152003925 markings, 1621634300 edges, 68743 markings/sec, 1855 secs
lola: sara is running 1860 secs || 152375466 markings, 1625894434 edges, 74308 markings/sec, 1860 secs
lola: sara is running 1865 secs || 152725763 markings, 1630218267 edges, 70059 markings/sec, 1865 secs
lola: sara is running 1870 secs || 153066248 markings, 1634511646 edges, 68097 markings/sec, 1870 secs
lola: sara is running 1875 secs || 153392316 markings, 1638695805 edges, 65214 markings/sec, 1875 secs
lola: sara is running 1880 secs || 153741206 markings, 1642898816 edges, 69778 markings/sec, 1880 secs
lola: sara is running 1885 secs || 154097356 markings, 1647146631 edges, 71230 markings/sec, 1885 secs
lola: sara is running 1890 secs || 154509564 markings, 1651585049 edges, 82442 markings/sec, 1890 secs
lola: sara is running 1895 secs || 154895359 markings, 1656021782 edges, 77159 markings/sec, 1895 secs
lola: sara is running 1900 secs || 155268063 markings, 1660381285 edges, 74541 markings/sec, 1900 secs
lola: sara is running 1905 secs || 155647061 markings, 1664680179 edges, 75800 markings/sec, 1905 secs
lola: sara is running 1910 secs || 156020179 markings, 1668980162 edges, 74624 markings/sec, 1910 secs
lola: sara is running 1915 secs || 156433470 markings, 1673338218 edges, 82658 markings/sec, 1915 secs
lola: sara is running 1920 secs || 156810891 markings, 1677703169 edges, 75484 markings/sec, 1920 secs
lola: sara is running 1925 secs || 157192383 markings, 1682106842 edges, 76298 markings/sec, 1925 secs
lola: sara is running 1930 secs || 157548765 markings, 1686535824 edges, 71276 markings/sec, 1930 secs
lola: sara is running 1935 secs || 157922053 markings, 1690963170 edges, 74658 markings/sec, 1935 secs
lola: sara is running 1940 secs || 158280125 markings, 1695306177 edges, 71614 markings/sec, 1940 secs
lola: sara is running 1945 secs || 158627852 markings, 1699607552 edges, 69545 markings/sec, 1945 secs
lola: sara is running 1950 secs || 158985720 markings, 1703876759 edges, 71574 markings/sec, 1950 secs
lola: sara is running 1955 secs || 159358850 markings, 1708177089 edges, 74626 markings/sec, 1955 secs
lola: sara is running 1960 secs || 159710191 markings, 1712467549 edges, 70268 markings/sec, 1960 secs
lola: sara is running 1965 secs || 160073339 markings, 1716692338 edges, 72630 markings/sec, 1965 secs
lola: sara is running 1970 secs || 160494932 markings, 1721216838 edges, 84319 markings/sec, 1970 secs
lola: sara is running 1975 secs || 160895076 markings, 1725618585 edges, 80029 markings/sec, 1975 secs
lola: sara is running 1980 secs || 161288480 markings, 1730011671 edges, 78681 markings/sec, 1980 secs
lola: sara is running 1985 secs || 161649011 markings, 1734398701 edges, 72106 markings/sec, 1985 secs
lola: sara is running 1990 secs || 162005386 markings, 1738648016 edges, 71275 markings/sec, 1990 secs
lola: sara is running 1995 secs || 162395269 markings, 1743138481 edges, 77977 markings/sec, 1995 secs
lola: sara is running 2000 secs || 162756373 markings, 1747487795 edges, 72221 markings/sec, 2000 secs
lola: sara is running 2005 secs || 163120477 markings, 1751788429 edges, 72821 markings/sec, 2005 secs
lola: sara is running 2010 secs || 163469193 markings, 1756264172 edges, 69743 markings/sec, 2010 secs
lola: sara is running 2015 secs || 163799247 markings, 1760589478 edges, 66011 markings/sec, 2015 secs
lola: sara is running 2020 secs || 164149190 markings, 1764832815 edges, 69989 markings/sec, 2020 secs
lola: sara is running 2025 secs || 164515079 markings, 1769161133 edges, 73178 markings/sec, 2025 secs
lola: sara is running 2030 secs || 164859492 markings, 1773479732 edges, 68883 markings/sec, 2030 secs
lola: sara is running 2035 secs || 165197856 markings, 1777770556 edges, 67673 markings/sec, 2035 secs
lola: sara is running 2040 secs || 165531744 markings, 1781970694 edges, 66778 markings/sec, 2040 secs
lola: sara is running 2045 secs || 165870225 markings, 1786164843 edges, 67696 markings/sec, 2045 secs
lola: sara is running 2050 secs || 166215919 markings, 1790382635 edges, 69139 markings/sec, 2050 secs
lola: sara is running 2055 secs || 166544522 markings, 1794671002 edges, 65721 markings/sec, 2055 secs
lola: sara is running 2060 secs || 166866325 markings, 1798823884 edges, 64361 markings/sec, 2060 secs
lola: sara is running 2065 secs || 167228359 markings, 1803106341 edges, 72407 markings/sec, 2065 secs
lola: sara is running 2070 secs || 167590572 markings, 1807482882 edges, 72443 markings/sec, 2070 secs
lola: sara is running 2075 secs || 167947271 markings, 1811759336 edges, 71340 markings/sec, 2075 secs
lola: sara is running 2080 secs || 168319360 markings, 1816014995 edges, 74418 markings/sec, 2080 secs
lola: sara is running 2085 secs || 168673552 markings, 1820326254 edges, 70838 markings/sec, 2085 secs
lola: sara is running 2090 secs || 169013500 markings, 1824627925 edges, 67990 markings/sec, 2090 secs
lola: sara is running 2095 secs || 169339783 markings, 1828814149 edges, 65257 markings/sec, 2095 secs
lola: sara is running 2100 secs || 169683537 markings, 1832973699 edges, 68751 markings/sec, 2100 secs
lola: sara is running 2105 secs || 170019626 markings, 1837150347 edges, 67218 markings/sec, 2105 secs
lola: sara is running 2110 secs || 170499182 markings, 1841765806 edges, 95911 markings/sec, 2110 secs
lola: sara is running 2115 secs || 170947831 markings, 1846270787 edges, 89730 markings/sec, 2115 secs
lola: sara is running 2120 secs || 171384016 markings, 1850809084 edges, 87237 markings/sec, 2120 secs
lola: sara is running 2125 secs || 171783796 markings, 1855222773 edges, 79956 markings/sec, 2125 secs
lola: sara is running 2130 secs || 172207262 markings, 1859665987 edges, 84693 markings/sec, 2130 secs
lola: sara is running 2135 secs || 172616147 markings, 1864169385 edges, 81777 markings/sec, 2135 secs
lola: sara is running 2140 secs || 173017634 markings, 1868568918 edges, 80297 markings/sec, 2140 secs
lola: sara is running 2145 secs || 173411051 markings, 1873115652 edges, 78683 markings/sec, 2145 secs
lola: sara is running 2150 secs || 173778933 markings, 1877552939 edges, 73576 markings/sec, 2150 secs
lola: sara is running 2155 secs || 174172528 markings, 1881911285 edges, 78719 markings/sec, 2155 secs
lola: sara is running 2160 secs || 174576547 markings, 1886331297 edges, 80804 markings/sec, 2160 secs
lola: sara is running 2165 secs || 174955417 markings, 1890733231 edges, 75774 markings/sec, 2165 secs
lola: sara is running 2170 secs || 175320952 markings, 1895033936 edges, 73107 markings/sec, 2170 secs
lola: sara is running 2175 secs || 175704171 markings, 1899322749 edges, 76644 markings/sec, 2175 secs
lola: sara is running 2180 secs || 176073444 markings, 1903566844 edges, 73855 markings/sec, 2180 secs
lola: sara is running 2185 secs || 176448565 markings, 1907944596 edges, 75024 markings/sec, 2185 secs
lola: sara is running 2190 secs || 176798363 markings, 1912179560 edges, 69960 markings/sec, 2190 secs
lola: sara is running 2195 secs || 177187569 markings, 1916463586 edges, 77841 markings/sec, 2195 secs
lola: sara is running 2200 secs || 177592759 markings, 1920915880 edges, 81038 markings/sec, 2200 secs
lola: sara is running 2205 secs || 177987578 markings, 1925259403 edges, 78964 markings/sec, 2205 secs
lola: sara is running 2210 secs || 178403744 markings, 1929632564 edges, 83233 markings/sec, 2210 secs
lola: sara is running 2215 secs || 178786367 markings, 1934031057 edges, 76525 markings/sec, 2215 secs
lola: sara is running 2220 secs || 179164711 markings, 1938378602 edges, 75669 markings/sec, 2220 secs
lola: sara is running 2225 secs || 179531714 markings, 1942638643 edges, 73401 markings/sec, 2225 secs
lola: sara is running 2230 secs || 179905965 markings, 1946903872 edges, 74850 markings/sec, 2230 secs
lola: sara is running 2235 secs || 180356365 markings, 1951355075 edges, 90080 markings/sec, 2235 secs
lola: sara is running 2240 secs || 180791188 markings, 1955899228 edges, 86965 markings/sec, 2240 secs
lola: sara is running 2245 secs || 181212057 markings, 1960314830 edges, 84174 markings/sec, 2245 secs
lola: sara is running 2250 secs || 181636129 markings, 1964730181 edges, 84814 markings/sec, 2250 secs
lola: sara is running 2255 secs || 182056864 markings, 1969129726 edges, 84147 markings/sec, 2255 secs
lola: sara is running 2260 secs || 182471660 markings, 1973555766 edges, 82959 markings/sec, 2260 secs
lola: sara is running 2265 secs || 182853882 markings, 1977955802 edges, 76444 markings/sec, 2265 secs
lola: sara is running 2270 secs || 183227595 markings, 1982299371 edges, 74743 markings/sec, 2270 secs
lola: sara is running 2275 secs || 183599039 markings, 1986587997 edges, 74289 markings/sec, 2275 secs
lola: sara is running 2280 secs || 183970280 markings, 1990845302 edges, 74248 markings/sec, 2280 secs
lola: sara is running 2285 secs || 184386161 markings, 1995242177 edges, 83176 markings/sec, 2285 secs
lola: sara is running 2290 secs || 184775378 markings, 1999693293 edges, 77843 markings/sec, 2290 secs
lola: sara is running 2295 secs || 185155752 markings, 2004069697 edges, 76075 markings/sec, 2295 secs
lola: sara is running 2300 secs || 185525540 markings, 2008364455 edges, 73958 markings/sec, 2300 secs
lola: sara is running 2305 secs || 185901365 markings, 2012650594 edges, 75165 markings/sec, 2305 secs
lola: sara is running 2310 secs || 186287172 markings, 2017016466 edges, 77161 markings/sec, 2310 secs
lola: sara is running 2315 secs || 186653105 markings, 2021452517 edges, 73187 markings/sec, 2315 secs
lola: sara is running 2320 secs || 187001266 markings, 2025865704 edges, 69632 markings/sec, 2320 secs
lola: sara is running 2325 secs || 187336466 markings, 2030167581 edges, 67040 markings/sec, 2325 secs
lola: sara is running 2330 secs || 187689566 markings, 2034444543 edges, 70620 markings/sec, 2330 secs
lola: sara is running 2335 secs || 188034268 markings, 2038712100 edges, 68940 markings/sec, 2335 secs
lola: sara is running 2340 secs || 188443732 markings, 2043044192 edges, 81893 markings/sec, 2340 secs
lola: sara is running 2345 secs || 188820694 markings, 2047405803 edges, 75392 markings/sec, 2345 secs
lola: sara is running 2350 secs || 189197861 markings, 2051772798 edges, 75433 markings/sec, 2350 secs
lola: sara is running 2355 secs || 189551608 markings, 2056174613 edges, 70749 markings/sec, 2355 secs
lola: sara is running 2360 secs || 189920012 markings, 2060542881 edges, 73681 markings/sec, 2360 secs
lola: sara is running 2365 secs || 190273082 markings, 2064823532 edges, 70614 markings/sec, 2365 secs
lola: sara is running 2370 secs || 190617671 markings, 2069081128 edges, 68918 markings/sec, 2370 secs
lola: sara is running 2375 secs || 190967197 markings, 2073265775 edges, 69905 markings/sec, 2375 secs
lola: sara is running 2380 secs || 191296197 markings, 2077031652 edges, 65800 markings/sec, 2380 secs
lola: sara is running 2385 secs || 191623307 markings, 2080993555 edges, 65422 markings/sec, 2385 secs
lola: sara is running 2390 secs || 191946633 markings, 2084942128 edges, 64665 markings/sec, 2390 secs
lola: sara is running 2395 secs || 192307702 markings, 2089072491 edges, 72214 markings/sec, 2395 secs
lola: sara is running 2400 secs || 192649977 markings, 2093211411 edges, 68455 markings/sec, 2400 secs
lola: sara is running 2405 secs || 192943437 markings, 2096928996 edges, 58692 markings/sec, 2405 secs
lola: sara is running 2410 secs || 193238823 markings, 2100672040 edges, 59077 markings/sec, 2410 secs
lola: sara is running 2415 secs || 193536653 markings, 2104433503 edges, 59566 markings/sec, 2415 secs
lola: sara is running 2420 secs || 193870170 markings, 2108564100 edges, 66703 markings/sec, 2420 secs
lola: sara is running 2425 secs || 194259623 markings, 2112817056 edges, 77891 markings/sec, 2425 secs
lola: sara is running 2430 secs || 194653450 markings, 2117204071 edges, 78765 markings/sec, 2430 secs
lola: sara is running 2435 secs || 195026586 markings, 2121565114 edges, 74627 markings/sec, 2435 secs
lola: sara is running 2440 secs || 195385514 markings, 2125819856 edges, 71786 markings/sec, 2440 secs
lola: sara is running 2445 secs || 195769603 markings, 2130091443 edges, 76818 markings/sec, 2445 secs
lola: sara is running 2450 secs || 196152576 markings, 2134346031 edges, 76595 markings/sec, 2450 secs
lola: sara is running 2455 secs || 196549749 markings, 2138664767 edges, 79435 markings/sec, 2455 secs
lola: sara is running 2460 secs || 196930512 markings, 2143024055 edges, 76153 markings/sec, 2460 secs
lola: sara is running 2465 secs || 197301082 markings, 2147388046 edges, 74114 markings/sec, 2465 secs
lola: sara is running 2470 secs || 197649982 markings, 2151727644 edges, 69780 markings/sec, 2470 secs
lola: sara is running 2475 secs || 198015168 markings, 2156090769 edges, 73037 markings/sec, 2475 secs
lola: sara is running 2480 secs || 198361287 markings, 2160321147 edges, 69224 markings/sec, 2480 secs
lola: sara is running 2485 secs || 198699568 markings, 2164528783 edges, 67656 markings/sec, 2485 secs
lola: sara is running 2490 secs || 199059670 markings, 2168761986 edges, 72020 markings/sec, 2490 secs
lola: sara is running 2495 secs || 199431842 markings, 2173028017 edges, 74434 markings/sec, 2495 secs
lola: sara is running 2500 secs || 199771695 markings, 2177235510 edges, 67971 markings/sec, 2500 secs
lola: sara is running 2505 secs || 200189204 markings, 2181502622 edges, 83502 markings/sec, 2505 secs
lola: sara is running 2510 secs || 200687677 markings, 2186027160 edges, 99695 markings/sec, 2510 secs
lola: sara is running 2515 secs || 201188817 markings, 2190488027 edges, 100228 markings/sec, 2515 secs
lola: sara is running 2520 secs || 201631692 markings, 2194912692 edges, 88575 markings/sec, 2520 secs
lola: sara is running 2525 secs || 202076833 markings, 2199249318 edges, 89028 markings/sec, 2525 secs
lola: sara is running 2530 secs || 202534136 markings, 2203734291 edges, 91461 markings/sec, 2530 secs
lola: sara is running 2535 secs || 202969442 markings, 2208080198 edges, 87061 markings/sec, 2535 secs
lola: sara is running 2540 secs || 203365794 markings, 2212200956 edges, 79270 markings/sec, 2540 secs
lola: sara is running 2545 secs || 203707123 markings, 2216014833 edges, 68266 markings/sec, 2545 secs
lola: sara is running 2550 secs || 204067606 markings, 2219772433 edges, 72097 markings/sec, 2550 secs
lola: sara is running 2555 secs || 204475840 markings, 2223730031 edges, 81647 markings/sec, 2555 secs
lola: sara is running 2560 secs || 204877532 markings, 2227949477 edges, 80338 markings/sec, 2560 secs
lola: sara is running 2565 secs || 205229930 markings, 2231696967 edges, 70480 markings/sec, 2565 secs
lola: sara is running 2570 secs || 205580131 markings, 2235391737 edges, 70040 markings/sec, 2570 secs
lola: sara is running 2575 secs || 205941529 markings, 2239159085 edges, 72280 markings/sec, 2575 secs
lola: sara is running 2580 secs || 206353173 markings, 2243450418 edges, 82329 markings/sec, 2580 secs
lola: sara is running 2585 secs || 206702830 markings, 2247373698 edges, 69931 markings/sec, 2585 secs
lola: sara is running 2590 secs || 207047108 markings, 2250986075 edges, 68856 markings/sec, 2590 secs
lola: sara is running 2595 secs || 207447696 markings, 2254839336 edges, 80118 markings/sec, 2595 secs
lola: sara is running 2600 secs || 207851436 markings, 2258876412 edges, 80748 markings/sec, 2600 secs
lola: sara is running 2605 secs || 208307077 markings, 2263250346 edges, 91128 markings/sec, 2605 secs
lola: sara is running 2610 secs || 208721383 markings, 2267517717 edges, 82861 markings/sec, 2610 secs
lola: sara is running 2615 secs || 209077500 markings, 2271306687 edges, 71223 markings/sec, 2615 secs
lola: sara is running 2620 secs || 209427078 markings, 2275038717 edges, 69916 markings/sec, 2620 secs
lola: sara is running 2625 secs || 209804409 markings, 2278898903 edges, 75466 markings/sec, 2625 secs
lola: sara is running 2630 secs || 210183593 markings, 2282637162 edges, 75837 markings/sec, 2630 secs
lola: sara is running 2635 secs || 210582045 markings, 2286612338 edges, 79690 markings/sec, 2635 secs
lola: sara is running 2640 secs || 210978118 markings, 2290570326 edges, 79215 markings/sec, 2640 secs
lola: sara is running 2645 secs || 211357495 markings, 2294500774 edges, 75875 markings/sec, 2645 secs
lola: sara is running 2650 secs || 211705186 markings, 2298396021 edges, 69538 markings/sec, 2650 secs
lola: sara is running 2655 secs || 212064615 markings, 2302207010 edges, 71886 markings/sec, 2655 secs
lola: sara is running 2660 secs || 212465292 markings, 2306479433 edges, 80135 markings/sec, 2660 secs
lola: sara is running 2665 secs || 212826430 markings, 2310458261 edges, 72228 markings/sec, 2665 secs
lola: sara is running 2670 secs || 213215634 markings, 2314763443 edges, 77841 markings/sec, 2670 secs
lola: sara is running 2675 secs || 213564998 markings, 2318965942 edges, 69873 markings/sec, 2675 secs
lola: sara is running 2680 secs || 213882441 markings, 2322761626 edges, 63489 markings/sec, 2680 secs
lola: sara is running 2685 secs || 214228914 markings, 2326485766 edges, 69295 markings/sec, 2685 secs
lola: sara is running 2690 secs || 214570856 markings, 2330265643 edges, 68388 markings/sec, 2690 secs
lola: sara is running 2695 secs || 214898968 markings, 2334062245 edges, 65622 markings/sec, 2695 secs
lola: sara is running 2700 secs || 215215830 markings, 2337767951 edges, 63372 markings/sec, 2700 secs
lola: sara is running 2705 secs || 215539367 markings, 2341529506 edges, 64707 markings/sec, 2705 secs
lola: sara is running 2710 secs || 215867495 markings, 2345261686 edges, 65626 markings/sec, 2710 secs
lola: sara is running 2715 secs || 216212417 markings, 2349126494 edges, 68984 markings/sec, 2715 secs
lola: sara is running 2720 secs || 216546359 markings, 2353147791 edges, 66788 markings/sec, 2720 secs
lola: sara is running 2725 secs || 216863139 markings, 2356917964 edges, 63356 markings/sec, 2725 secs
lola: sara is running 2730 secs || 217213211 markings, 2360722162 edges, 70014 markings/sec, 2730 secs
lola: sara is running 2735 secs || 217569419 markings, 2364649278 edges, 71242 markings/sec, 2735 secs
lola: sara is running 2740 secs || 217919989 markings, 2368503173 edges, 70114 markings/sec, 2740 secs
lola: sara is running 2745 secs || 218285646 markings, 2372312331 edges, 73131 markings/sec, 2745 secs
lola: sara is running 2750 secs || 218627977 markings, 2376104101 edges, 68466 markings/sec, 2750 secs
lola: sara is running 2755 secs || 218951042 markings, 2379880548 edges, 64613 markings/sec, 2755 secs
lola: sara is running 2760 secs || 219274849 markings, 2383669152 edges, 64761 markings/sec, 2760 secs
lola: sara is running 2765 secs || 219603835 markings, 2387433594 edges, 65797 markings/sec, 2765 secs
lola: sara is running 2770 secs || 219931206 markings, 2391182078 edges, 65474 markings/sec, 2770 secs
lola: sara is running 2775 secs || 220343778 markings, 2395194497 edges, 82514 markings/sec, 2775 secs
lola: sara is running 2780 secs || 220736408 markings, 2399180011 edges, 78526 markings/sec, 2780 secs
lola: sara is running 2785 secs || 221166887 markings, 2403448189 edges, 86096 markings/sec, 2785 secs
lola: sara is running 2790 secs || 221573888 markings, 2407899868 edges, 81400 markings/sec, 2790 secs
lola: sara is running 2795 secs || 221969443 markings, 2412249559 edges, 79111 markings/sec, 2795 secs
lola: sara is running 2800 secs || 222393918 markings, 2416727787 edges, 84895 markings/sec, 2800 secs
lola: sara is running 2805 secs || 222777785 markings, 2420962520 edges, 76773 markings/sec, 2805 secs
lola: sara is running 2810 secs || 223142290 markings, 2424921071 edges, 72901 markings/sec, 2810 secs
lola: sara is running 2815 secs || 223479928 markings, 2428934209 edges, 67528 markings/sec, 2815 secs
lola: sara is running 2820 secs || 223799916 markings, 2432798289 edges, 63998 markings/sec, 2820 secs
lola: sara is running 2825 secs || 224140531 markings, 2436601616 edges, 68123 markings/sec, 2825 secs
lola: sara is running 2830 secs || 224502894 markings, 2440507669 edges, 72473 markings/sec, 2830 secs
lola: sara is running 2835 secs || 224850584 markings, 2444518341 edges, 69538 markings/sec, 2835 secs
lola: sara is running 2840 secs || 225192420 markings, 2448507260 edges, 68367 markings/sec, 2840 secs
lola: sara is running 2845 secs || 225514049 markings, 2452233955 edges, 64326 markings/sec, 2845 secs
lola: sara is running 2850 secs || 225841237 markings, 2455940089 edges, 65438 markings/sec, 2850 secs
lola: sara is running 2855 secs || 226182656 markings, 2459793223 edges, 68284 markings/sec, 2855 secs
lola: sara is running 2860 secs || 226498520 markings, 2463555285 edges, 63173 markings/sec, 2860 secs
lola: sara is running 2865 secs || 226808694 markings, 2467289510 edges, 62035 markings/sec, 2865 secs
lola: sara is running 2870 secs || 227160115 markings, 2471172514 edges, 70284 markings/sec, 2870 secs
lola: sara is running 2875 secs || 227562741 markings, 2475578480 edges, 80525 markings/sec, 2875 secs
lola: sara is running 2880 secs || 227956458 markings, 2479912331 edges, 78743 markings/sec, 2880 secs
lola: sara is running 2885 secs || 228369868 markings, 2484254301 edges, 82682 markings/sec, 2885 secs
lola: sara is running 2890 secs || 228754621 markings, 2488647683 edges, 76951 markings/sec, 2890 secs
lola: sara is running 2895 secs || 229125238 markings, 2492917383 edges, 74123 markings/sec, 2895 secs
lola: sara is running 2900 secs || 229489383 markings, 2497152897 edges, 72829 markings/sec, 2900 secs
lola: sara is running 2905 secs || 229864213 markings, 2501419412 edges, 74966 markings/sec, 2905 secs
lola: sara is running 2910 secs || 230280918 markings, 2505843767 edges, 83341 markings/sec, 2910 secs
lola: sara is running 2915 secs || 230682812 markings, 2510345108 edges, 80379 markings/sec, 2915 secs
lola: sara is running 2920 secs || 231096332 markings, 2514809010 edges, 82704 markings/sec, 2920 secs
lola: sara is running 2925 secs || 231480824 markings, 2519343614 edges, 76898 markings/sec, 2925 secs
lola: sara is running 2930 secs || 231828028 markings, 2523504751 edges, 69441 markings/sec, 2930 secs
lola: sara is running 2935 secs || 232169381 markings, 2527445464 edges, 68271 markings/sec, 2935 secs
lola: sara is running 2940 secs || 232516329 markings, 2531576777 edges, 69390 markings/sec, 2940 secs
lola: sara is running 2945 secs || 232878419 markings, 2535914516 edges, 72418 markings/sec, 2945 secs
lola: sara is running 2950 secs || 233247259 markings, 2540376221 edges, 73768 markings/sec, 2950 secs
lola: sara is running 2955 secs || 233588699 markings, 2544848805 edges, 68288 markings/sec, 2955 secs
lola: sara is running 2960 secs || 233929032 markings, 2549263963 edges, 68067 markings/sec, 2960 secs
lola: sara is running 2965 secs || 234305937 markings, 2553649110 edges, 75381 markings/sec, 2965 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown yes yes unknown
lola: memory consumption: 8410912 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (((((p62 <= 0)) OR ((1 <= p86))) U E (X (((1 <= p52))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((((p62 <= 0)) OR ((1 <= p86))) U EX(((1 <= p52))))
lola: processed formula length: 53
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: time limit reached - aborting
lola: lola:
preliminary result: yes yes unknown yes yes unknown caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes yes unknown
lola:
preliminary result: yes yes unknown yes yes unknown
lola: memory consumption: 28724 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes yes unknown
lola: memory consumption: 28788 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
--------------------
content from stderr:
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="DiscoveryGPU-PT-13a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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-4028"
echo " Executing tool itslola"
echo " Input is DiscoveryGPU-PT-13a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r178-tajo-158987882700699"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-13a.tgz
mv DiscoveryGPU-PT-13a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; 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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;