About the Execution of 2018-Gold for NeoElection-COL-4
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5239.560 | 3569498.00 | 3607443.00 | 270.20 | 4 4 4 4 ? 0 0 16 0 0 0 4 0 4 4 0 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r110-oct2-155272242200046.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is NeoElection-COL-4, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242200046
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.9K Feb 12 02:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 02:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 8 01:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 8 01:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 5 00:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 4 06:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 4 06:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 1 00:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 00:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 81K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NeoElection-COL-4-UpperBounds-00
FORMULA_NAME NeoElection-COL-4-UpperBounds-01
FORMULA_NAME NeoElection-COL-4-UpperBounds-02
FORMULA_NAME NeoElection-COL-4-UpperBounds-03
FORMULA_NAME NeoElection-COL-4-UpperBounds-04
FORMULA_NAME NeoElection-COL-4-UpperBounds-05
FORMULA_NAME NeoElection-COL-4-UpperBounds-06
FORMULA_NAME NeoElection-COL-4-UpperBounds-07
FORMULA_NAME NeoElection-COL-4-UpperBounds-08
FORMULA_NAME NeoElection-COL-4-UpperBounds-09
FORMULA_NAME NeoElection-COL-4-UpperBounds-10
FORMULA_NAME NeoElection-COL-4-UpperBounds-11
FORMULA_NAME NeoElection-COL-4-UpperBounds-12
FORMULA_NAME NeoElection-COL-4-UpperBounds-13
FORMULA_NAME NeoElection-COL-4-UpperBounds-14
FORMULA_NAME NeoElection-COL-4-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553031694912
info: Time: 3600 - MCC
===========================================================================================
prep: translating NeoElection-COL-4 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating NeoElection-COL-4 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ NeoElection-COL-4 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4220/65536 symbol table entries, 60 collisions
lola: preprocessing...
lola: Size of bit vector: 58560
lola: finding significant places
lola: 1830 places, 2390 transitions, 520 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 995 transition conflict sets
lola: TASK
lola: reading formula from NeoElection-COL-4-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p995 + p990 + p985 + p980 + p975 + p974 + p973 + p972 + p971 + p970 + p965 + p960 + p955 + p950 + p945 + p944 + p943 + p305 + p942 + p941 + p940 + p935 + p310 + p311 + p312 + p313 + p314 + p315 + p930 + p925 + p920 + p915 + p320 + p914 + p913 + p912 + p911 + p325 + p910 + p905 + p900 + p330 + p335 + p340 + p341 + p342 + p343 + p344 + p345 + p895 + p350 + p890 + p885 + p884 + p883 + p355 + p882 + p881 + p880 + p875 + p360 + p870 + p865 + p860 + p855 + p365 + p854 + p853 + p852 + p851 + p370 + p371 + p372 + p373 + p374 + p375 + p850 + p845 + p840 + p835 + p380 + p830 + p825 + p824 + p823 + p385 + p822 + p821 + p820 + p815 + p390 + p810 + p805 + p800 + p395 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1010 + p795 + p1015 + p794 + p793 + p792 + p791 + p1020 + p790 + p785 + p780 + p775 + p1025 + p770 + p765 + p764 + p763 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p762 + p761 + p760 + p755 + p1040 + p750 + p745 + p740 + p735 + p1045 + p734 + p733 + p732 + p731 + p1050 + p730 + p725 + p720 + p715 + p710 + p705 + p704 + p703 + p702 + p701 + p700 + p695 + p690 + p685 + p680 + p675 + p674 + p673 + p672 + p671 + p670 + p665 + p660 + p655 + p650 + p400 + p401 + p402 + p403 + p404 + p405 + p645 + p644 + p643 + p642 + p410 + p641 + p640 + p635 + p630 + p415 + p625 + p620 + p615 + p614 + p420 + p613 + p612 + p611 + p610 + p425 + p605 + p600 + p430 + p431 + p432 + p433 + p434 + p435 + p440 + p445 + p595 + p590 + p450 + p585 + p584 + p583 + p582 + p455 + p581 + p580 + p575 + p570 + p460 + p461 + p462 + p463 + p464 + p465 + p565 + p560 + p555 + p554 + p470 + p553 + p552 + p551 + p550 + p475 + p545 + p540 + p535 + p530 + p480 + p525 + p524 + p523 + p522 + p485 + p521 + p520 + p515 + p510 + p490 + p491 + p492 + p493 + p494 + p495 + p505 + p500 + p499 + p498 + p497 + p501 + p502 + p503 + p504 + p496 + p506 + p507 + p508 + p509 + p489 + p511 + p512 + p513 + p514 + p488 + p516 + p517 + p518 + p519 + p487 + p486 + p484 + p483 + p482 + p481 + p526 + p527 + p528 + p529 + p479 + p531 + p532 + p533 + p534 + p478 + p536 + p537 + p538 + p539 + p477 + p541 + p542 + p543 + p544 + p476 + p546 + p547 + p548 + p549 + p474 + p473 + p472 + p471 + p469 + p468 + p556 + p557 + p558 + p559 + p467 + p561 + p562 + p563 + p564 + p466 + p566 + p567 + p568 + p569 + p459 + p571 + p572 + p573 + p574 + p458 + p576 + p577 + p578 + p579 + p457 + p456 + p454 + p453 + p452 + p451 + p586 + p587 + p588 + p589 + p449 + p591 + p592 + p593 + p594 + p448 + p596 + p597 + p598 + p599 + p447 + p446 + p444 + p443 + p442 + p441 + p439 + p438 + p437 + p436 + p429 + p428 + p427 + p601 + p602 + p603 + p604 + p426 + p606 + p607 + p608 + p609 + p424 + p423 + p422 + p421 + p419 + p418 + p616 + p617 + p618 + p619 + p417 + p621 + p622 + p623 + p624 + p416 + p626 + p627 + p628 + p629 + p414 + p631 + p632 + p633 + p634 + p413 + p636 + p637 + p638 + p639 + p412 + p411 + p409 + p408 + p407 + p406 + p646 + p647 + p648 + p649 + p651 + p652 + p653 + p654 + p656 + p657 + p658 + p659 + p661 + p662 + p663 + p664 + p666 + p667 + p668 + p669 + p676 + p677 + p678 + p679 + p681 + p682 + p683 + p684 + p686 + p687 + p688 + p689 + p691 + p692 + p693 + p694 + p696 + p697 + p698 + p699 + p706 + p707 + p708 + p709 + p711 + p712 + p713 + p714 + p1054 + p716 + p717 + p718 + p719 + p1053 + p721 + p722 + p723 + p724 + p1052 + p726 + p727 + p728 + p729 + p1051 + p1049 + p1048 + p1047 + p1046 + p1044 + p736 + p737 + p738 + p739 + p1043 + p741 + p742 + p743 + p744 + p1042 + p746 + p747 + p748 + p749 + p1041 + p751 + p752 + p753 + p754 + p1039 + p756 + p757 + p758 + p759 + p1038 + p1037 + p1036 + p1029 + p1028 + p1027 + p766 + p767 + p768 + p769 + p1026 + p771 + p772 + p773 + p774 + p1024 + p776 + p777 + p778 + p779 + p1023 + p781 + p782 + p783 + p784 + p1022 + p786 + p787 + p788 + p789 + p1021 + p1019 + p1018 + p1017 + p1016 + p1014 + p796 + p797 + p798 + p799 + p1013 + p1012 + p1011 + p1009 + p1008 + p1007 + p1006 + p399 + p398 + p397 + p396 + p394 + p393 + p801 + p802 + p803 + p804 + p392 + p806 + p807 + p808 + p809 + p391 + p811 + p812 + p813 + p814 + p389 + p816 + p817 + p818 + p819 + p388 + p387 + p386 + p384 + p383 + p382 + p826 + p827 + p828 + p829 + p381 + p831 + p832 + p833 + p834 + p379 + p836 + p837 + p838 + p839 + p378 + p841 + p842 + p843 + p844 + p377 + p846 + p847 + p848 + p849 + p376 + p369 + p368 + p367 + p366 + p364 + p856 + p857 + p858 + p859 + p363 + p861 + p862 + p863 + p864 + p362 + p866 + p867 + p868 + p869 + p361 + p871 + p872 + p873 + p874 + p359 + p876 + p877 + p878 + p879 + p358 + p357 + p356 + p354 + p353 + p352 + p886 + p887 + p888 + p889 + p351 + p891 + p892 + p893 + p894 + p349 + p896 + p897 + p898 + p899 + p348 + p347 + p346 + p339 + p338 + p337 + p336 + p334 + p333 + p332 + p331 + p329 + p328 + p901 + p902 + p903 + p904 + p327 + p906 + p907 + p908 + p909 + p326 + p324 + p323 + p322 + p321 + p319 + p916 + p917 + p918 + p919 + p318 + p921 + p922 + p923 + p924 + p317 + p926 + p927 + p928 + p929 + p316 + p931 + p932 + p933 + p934 + p309 + p936 + p937 + p938 + p939 + p308 + p307 + p306 + p946 + p947 + p948 + p949 + p951 + p952 + p953 + p954 + p956 + p957 + p958 + p959 + p961 + p962 + p963 + p964 + p966 + p967 + p968 + p969 + p976 + p977 + p978 + p979 + p981 + p982 + p983 + p984 + p986 + p987 + p988 + p989 + p991 + p992 + p993 + p994 + p996 + p997 + p998 + p999 <= 0)
lola: after: (p995 + p990 + p985 + p980 + p975 + p974 + p973 + p972 + p971 + p970 + p965 + p960 + p955 + p950 + p945 + p944 + p943 + p305 + p942 + p941 + p940 + p935 + p310 + p311 + p312 + p313 + p314 + p315 + p930 + p925 + p920 + p915 + p320 + p914 + p913 + p912 + p911 + p325 + p910 + p905 + p900 + p330 + p335 + p340 + p341 + p342 + p343 + p344 + p345 + p895 + p350 + p890 + p885 + p884 + p883 + p355 + p882 + p881 + p880 + p875 + p360 + p870 + p865 + p860 + p855 + p365 + p854 + p853 + p852 + p851 + p370 + p371 + p372 + p373 + p374 + p375 + p850 + p845 + p840 + p835 + p380 + p830 + p825 + p824 + p823 + p385 + p822 + p821 + p820 + p815 + p390 + p810 + p805 + p800 + p395 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1010 + p795 + p1015 + p794 + p793 + p792 + p791 + p1020 + p790 + p785 + p780 + p775 + p1025 + p770 + p765 + p764 + p763 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p762 + p761 + p760 + p755 + p1040 + p750 + p745 + p740 + p735 + p1045 + p734 + p733 + p732 + p731 + p1050 + p730 + p725 + p720 + p715 + p710 + p705 + p704 + p703 + p702 + p701 + p700 + p695 + p690 + p685 + p680 + p675 + p674 + p673 + p672 + p671 + p670 + p665 + p660 + p655 + p650 + p400 + p401 + p402 + p403 + p404 + p405 + p645 + p644 + p643 + p642 + p410 + p641 + p640 + p635 + p630 + p415 + p625 + p620 + p615 + p614 + p420 + p613 + p612 + p611 + p610 + p425 + p605 + p600 + p430 + p431 + p432 + p433 + p434 + p435 + p440 + p445 + p595 + p590 + p450 + p585 + p584 + p583 + p582 + p455 + p581 + p580 + p575 + p570 + p460 + p461 + p462 + p463 + p464 + p465 + p565 + p560 + p555 + p554 + p470 + p553 + p552 + p551 + p550 + p475 + p545 + p540 + p535 + p530 + p480 + p525 + p524 + p523 + p522 + p485 + p521 + p520 + p515 + p510 + p490 + p491 + p492 + p493 + p494 + p495 + p505 + p500 <= 0)
lola: LP says that atomic proposition is always true: (p29 + p28 + p27 + p26 + p25 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p139 + p138 + p137 + p136 + p135 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p100 + p101 + p102 + p104 + p105 + p107 + p108 + p98 + p96 + p95 + p93 + p92 + p90 + p89 + p87 + p86 + p84 + p83 + p81 + p80 + p78 + p77 + p75 + p74 + p72 + p71 + p69 + p68 + p66 + p65 + p63 + p62 + p60 + p59 + p57 + p56 + p54 + p53 + p51 + p50 + p48 + p47 + p45 + p44 + p42 + p41 + p39 + p38 + p36 + p35 + p37 + p40 + p43 + p46 + p49 + p52 + p55 + p58 + p61 + p64 + p67 + p70 + p73 + p76 + p79 + p82 + p85 + p88 + p91 + p94 + p97 + p99 + p109 + p106 + p103 <= 0)
lola: after: (16 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p20 + p21 + p22 + p23 + p24 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: LP says that atomic proposition is always true: (p1828 + p1827 + p1826 + p1824 + p1823 + p1822 + p1820 + p1819 + p1818 + p1816 + p1815 + p1814 + p1812 + p1811 + p1810 + p1813 + p1817 + p1821 + p1825 + p1829 <= 0)
lola: place invariant simplifies atomic proposition
lola: before: (p139 + p138 + p137 + p136 + p135 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p139 + p138 + p137 + p136 + p135 <= 0)
lola: after: (0 <= 0)
lola: always true
lola: place invariant simplifies atomic proposition
lola: before: (p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p294 + p284 + p274 + p264 <= 0)
lola: after: (4 <= 0)
lola: always false
lola: LP says that atomic proposition is always true: (p29 + p28 + p27 + p26 + p25 <= 0)
lola: MAX(p110 + p111 + p112 + p113 + p114) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p1809 + p1808 + p1807 + p1806 + p1805) : MAX(p115 + p116 + p117 + p118 + p119) : MAX(p995 + p990 + p985 + p980 + p975 + p974 + p973 + p972 + p971 + p970 + p965 + p960 + p955 + p950 + p945 + p944 + p943 + p305 + p942 + p941 + p940 + p935 + p310 + p311 + p312 + p313 + p314 + p315 + p930 + p925 + p920 + p915 + p320 + p914 + p913 + p912 + p911 + p325 + p910 + p905 + p900 + p330 + p335 + p340 + p341 + p342 + p343 + p344 + p345 + p895 + p350 + p890 + p885 + p884 + p883 + p355 + p882 + p881 + p880 + p875 + p360 + p870 + p865 + p860 + p855 + p365 + p854 + p853 + p852 + p851 + p370 + p371 + p372 + p373 + p374 + p375 + p850 + p845 + p840 + p835 + p380 + p830 + p825 + p824 + p823 + p385 + p822 + p821 + p820 + p815 + p390 + p810 + p805 + p800 + p395 + p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1010 + p795 + p1015 + p794 + p793 + p792 + p791 + p1020 + p790 + p785 + p780 + p775 + p1025 + p770 + p765 + p764 + p763 + p1030 + p1031 + p1032 + p1033 + p1034 + p1035 + p762 + p761 + p760 + p755 + p1040 + p750 + p745 + p740 + p735 + p1045 + p734 + p733 + p732 + p731 + p1050 + p730 + p725 + p720 + p715 + p710 + p705 + p704 + p703 + p702 + p701 + p700 + p695 + p690 + p685 + p680 + p675 + p674 + p673 + p672 + p671 + p670 + p665 + p660 + p655 + p650 + p400 + p401 + p402 + p403 + p404 + p405 + p645 + p644 + p643 + p642 + p410 + p641 + p640 + p635 + p630 + p415 + p625 + p620 + p615 + p614 + p420 + p613 + p612 + p611 + p610 + p425 + p605 + p600 + p430 + p431 + p432 + p433 + p434 + p435 + p440 + p445 + p595 + p590 + p450 + p585 + p584 + p583 + p582 + p455 + p581 + p580 + p575 + p570 + p460 + p461 + p462 + p463 + p464 + p465 + p565 + p560 + p555 + p554 + p470 + p553 + p552 + p551 + p550 + p475 + p545 + p540 + p535 + p530 + p480 + p525 + p524 + p523 + p522 + p485 + p521 + p520 + p515 + p510 + p490 + p491 + p492 + p493 + p494 + p495 + p505 + p500) : MAX(p29 + p28 + p27 + p26 + p25) : MAX(0) : MAX(0) : MAX(0) : MAX(p1828 + p1827 + p1826 + p1824 + p1823 + p1822 + p1820 + p1819 + p1818 + p1816 + p1815 + p1814 + p1812 + p1811 + p1810 + p1813 + p1817 + p1821 + p1825 + p1829) : MAX(0) : MAX(p115 + p116 + p117 + p118 + p119) : MAX(0) : MAX(0) : MAX(p110 + p111 + p112 + p113 + p114) : MAX(p29 + p28 + p27 + p26 + p25)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29 + p28 + p27 + p26 + p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29 + p28 + p27 + p26 + p25)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-5 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
FORMULA NeoElection-COL-4-UpperBounds-6 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 16
lola: SUBRESULT
lola: result: 16
lola: produced by: state space
lola: The maximum value of the given expression is 16
lola: 0 markings, 0 edges
FORMULA NeoElection-COL-4-UpperBounds-7 16 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
FORMULA NeoElection-COL-4-UpperBounds-8 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1828 + p1827 + p1826 + p1824 + p1823 + p1822 + p1820 + p1819 + p1818 + p1816 + p1815 + p1814 + p1812 + p1811 + p1810 + p1813 + p1817 + p1821 + p1825 + p1829)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1828 + p1827 + p1826 + p1824 + p1823 + p1822 + p1820 + p1819 + p1818 + p1816 + p1815 + p1814 + p1812 + p1811 + p1810 + p1813 + p1817 + p1821 + p1825 + p1829)
lola: processed formula length: 162
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-9 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-10 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-12 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-13 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p29 + p28 + p27 + p26 + p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p29 + p28 + p27 + p26 + p25)
lola: processed formula length: 32
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 0
lola: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: 0 markings, 0 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-15 0 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p115 + p116 + p117 + p118 + p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p115 + p116 + p117 + p118 + p119)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 93 markings, 92 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-11 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p110 + p111 + p112 + p113 + p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p110 + p111 + p112 + p113 + p114)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 103 markings, 102 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-0 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1809 + p1808 + p1807 + p1806 + p1805)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1809 + p1808 + p1807 + p1806 + p1805)
lola: processed formula length: 42
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 71 markings, 70 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-2 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 892 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p110 + p111 + p112 + p113 + p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p110 + p111 + p112 + p113 + p114)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 103 markings, 102 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-14 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p115 + p116 + p117 + p118 + p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p115 + p116 + p117 + p118 + p119)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 93 markings, 92 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-3 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: processed formula length: 112
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 5 markings, 4 edges
lola: ========================================
FORMULA NeoElection-COL-4-UpperBounds-1 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p995 + p990 + p985 + p980 + p975 + p974 + p973 + p972 + p971 + p970 + p965 + p960 + p955 + p950 + p945 + p944 + p943 + p305 + p942 + p941 + p940 + p935 + p310 + p311 + p312 + p313 + p314 + p315 + p930 + p925 + p920 + p915 + p320 + p914 + p913 + p912 + p911 + p325 + p910 + p905 + p900 + p330 + p335 + p340 + p341 + p342 + p343 + p344 + p345 + p895 + p350 + p890 + p885 + p884 + p883 + p355 + p882... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p995 + p990 + p985 + p980 + p975 + p974 + p973 + p972 + p971 + p970 + p965 + p960 + p955 + p950 + p945 + p944 + p943 + p305 + p942 + p941 + p940 + p935 + p310 + p311 + p312 + p313 + p314 + p315 + p930 + p925 + p920 + p915 + p320 + p914 + p913 + p912 + p911 + p325 + p910 + p905 + p900 + p330 + p335 + p340 + p341 + p342 + p343 + p344 + p345 + p895 + p350 + p890 + p885 + p884 + p883 + p355 + p882... (shortened)
lola: processed formula length: 1771
lola: 0 rewrites
lola: closed formula file NeoElection-COL-4-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4294967295
lola: 174451 markings, 571136 edges, 34890 markings/sec, 0 secs
lola: 348630 markings, 1172497 edges, 34836 markings/sec, 5 secs
lola: 515703 markings, 1819413 edges, 33415 markings/sec, 10 secs
lola: 680459 markings, 2498547 edges, 32951 markings/sec, 15 secs
lola: 857101 markings, 3132144 edges, 35328 markings/sec, 20 secs
lola: 1022112 markings, 3776237 edges, 33002 markings/sec, 25 secs
lola: 1194597 markings, 4374044 edges, 34497 markings/sec, 30 secs
lola: 1355653 markings, 4993730 edges, 32211 markings/sec, 35 secs
lola: 1522560 markings, 5581495 edges, 33381 markings/sec, 40 secs
lola: 1677453 markings, 6182138 edges, 30979 markings/sec, 45 secs
lola: 1826497 markings, 6754384 edges, 29809 markings/sec, 50 secs
lola: 1985726 markings, 7402109 edges, 31846 markings/sec, 55 secs
lola: 2141010 markings, 8051418 edges, 31057 markings/sec, 60 secs
lola: 2284088 markings, 8698934 edges, 28616 markings/sec, 65 secs
lola: 2430362 markings, 9407437 edges, 29255 markings/sec, 70 secs
lola: 2567200 markings, 10057516 edges, 27368 markings/sec, 75 secs
lola: 2731177 markings, 10724933 edges, 32795 markings/sec, 80 secs
lola: 2874491 markings, 11385654 edges, 28663 markings/sec, 85 secs
lola: 3036032 markings, 12059919 edges, 32308 markings/sec, 90 secs
lola: 3182310 markings, 12685722 edges, 29256 markings/sec, 95 secs
lola: 3340221 markings, 13358805 edges, 31582 markings/sec, 100 secs
lola: 3497770 markings, 13998524 edges, 31510 markings/sec, 105 secs
lola: 3638913 markings, 14625045 edges, 28229 markings/sec, 110 secs
lola: 3793865 markings, 15276491 edges, 30990 markings/sec, 115 secs
lola: 3945741 markings, 15898096 edges, 30375 markings/sec, 120 secs
lola: 4096709 markings, 16549679 edges, 30194 markings/sec, 125 secs
lola: 4245537 markings, 17176826 edges, 29766 markings/sec, 130 secs
lola: 4404476 markings, 17795638 edges, 31788 markings/sec, 135 secs
lola: 4561119 markings, 18417362 edges, 31329 markings/sec, 140 secs
lola: 4718327 markings, 19047360 edges, 31442 markings/sec, 145 secs
lola: 4876575 markings, 19700827 edges, 31650 markings/sec, 150 secs
lola: 5015308 markings, 20382756 edges, 27747 markings/sec, 155 secs
lola: 5163441 markings, 21077872 edges, 29627 markings/sec, 160 secs
lola: 5321333 markings, 21755899 edges, 31578 markings/sec, 165 secs
lola: 5478348 markings, 22417913 edges, 31403 markings/sec, 170 secs
lola: 5623120 markings, 23067132 edges, 28954 markings/sec, 175 secs
lola: 5779259 markings, 23710154 edges, 31228 markings/sec, 180 secs
lola: 5924156 markings, 24345781 edges, 28979 markings/sec, 185 secs
lola: 6086933 markings, 25003024 edges, 32555 markings/sec, 190 secs
lola: 6243351 markings, 25631923 edges, 31284 markings/sec, 195 secs
lola: 6378415 markings, 26247469 edges, 27013 markings/sec, 200 secs
lola: 6534591 markings, 26869570 edges, 31235 markings/sec, 205 secs
lola: 6681590 markings, 27506920 edges, 29400 markings/sec, 210 secs
lola: 6826887 markings, 28122371 edges, 29059 markings/sec, 215 secs
lola: 6985296 markings, 28741905 edges, 31682 markings/sec, 220 secs
lola: 7138573 markings, 29362699 edges, 30655 markings/sec, 225 secs
lola: 7295381 markings, 29996049 edges, 31362 markings/sec, 230 secs
lola: 7448133 markings, 30635643 edges, 30550 markings/sec, 235 secs
lola: 7592180 markings, 31308784 edges, 28809 markings/sec, 240 secs
lola: 7730334 markings, 32002394 edges, 27631 markings/sec, 245 secs
lola: 7880627 markings, 32702302 edges, 30059 markings/sec, 250 secs
lola: 8028191 markings, 33369990 edges, 29513 markings/sec, 255 secs
lola: 8178933 markings, 34014728 edges, 30148 markings/sec, 260 secs
lola: 8320625 markings, 34663738 edges, 28338 markings/sec, 265 secs
lola: 8460235 markings, 35321092 edges, 27922 markings/sec, 270 secs
lola: 8600207 markings, 35964153 edges, 27994 markings/sec, 275 secs
lola: 8760488 markings, 36623662 edges, 32056 markings/sec, 280 secs
lola: 8912564 markings, 37258859 edges, 30415 markings/sec, 285 secs
lola: 9044436 markings, 37900510 edges, 26374 markings/sec, 290 secs
lola: 9200578 markings, 38525504 edges, 31228 markings/sec, 295 secs
lola: 9346167 markings, 39177453 edges, 29118 markings/sec, 300 secs
lola: 9491139 markings, 39812140 edges, 28994 markings/sec, 305 secs
lola: 9644242 markings, 40377448 edges, 30621 markings/sec, 310 secs
lola: 9789263 markings, 40939727 edges, 29004 markings/sec, 315 secs
lola: 9935179 markings, 41485007 edges, 29183 markings/sec, 320 secs
lola: 10079739 markings, 42054304 edges, 28912 markings/sec, 325 secs
lola: 10221973 markings, 42632677 edges, 28447 markings/sec, 330 secs
lola: 10362117 markings, 43262902 edges, 28029 markings/sec, 335 secs
lola: 10493065 markings, 43912313 edges, 26190 markings/sec, 340 secs
lola: 10634074 markings, 44545700 edges, 28202 markings/sec, 345 secs
lola: 10774806 markings, 45134669 edges, 28146 markings/sec, 350 secs
lola: 10921096 markings, 45737481 edges, 29258 markings/sec, 355 secs
lola: 11048475 markings, 46333733 edges, 25476 markings/sec, 360 secs
lola: 11197512 markings, 46946434 edges, 29807 markings/sec, 365 secs
lola: 11346322 markings, 47530802 edges, 29762 markings/sec, 370 secs
lola: 11480472 markings, 48136279 edges, 26830 markings/sec, 375 secs
lola: 11624257 markings, 48742177 edges, 28757 markings/sec, 380 secs
lola: 11759549 markings, 49319172 edges, 27058 markings/sec, 385 secs
lola: 11899639 markings, 49896832 edges, 28018 markings/sec, 390 secs
lola: 12034127 markings, 50478887 edges, 26898 markings/sec, 395 secs
lola: 12174658 markings, 51054265 edges, 28106 markings/sec, 400 secs
lola: 12345705 markings, 51639767 edges, 34209 markings/sec, 405 secs
lola: 12502365 markings, 52258915 edges, 31332 markings/sec, 410 secs
lola: 12654861 markings, 52877930 edges, 30499 markings/sec, 415 secs
lola: 12816111 markings, 53501299 edges, 32250 markings/sec, 420 secs
lola: 12982148 markings, 54121927 edges, 33207 markings/sec, 425 secs
lola: 13145615 markings, 54721825 edges, 32693 markings/sec, 430 secs
lola: 13296860 markings, 55354250 edges, 30249 markings/sec, 435 secs
lola: 13452823 markings, 55992450 edges, 31193 markings/sec, 440 secs
lola: 13613264 markings, 56623722 edges, 32088 markings/sec, 445 secs
lola: 13767896 markings, 57257729 edges, 30926 markings/sec, 450 secs
lola: 13920037 markings, 57908672 edges, 30428 markings/sec, 455 secs
lola: 14077148 markings, 58566675 edges, 31422 markings/sec, 460 secs
lola: 14228915 markings, 59256879 edges, 30353 markings/sec, 465 secs
lola: 14377668 markings, 59961241 edges, 29751 markings/sec, 470 secs
lola: 14512237 markings, 60657362 edges, 26914 markings/sec, 475 secs
lola: 14641985 markings, 61374550 edges, 25950 markings/sec, 480 secs
lola: 14792393 markings, 62079998 edges, 30082 markings/sec, 485 secs
lola: 14942086 markings, 62784236 edges, 29939 markings/sec, 490 secs
lola: 15094474 markings, 63479365 edges, 30478 markings/sec, 495 secs
lola: 15244977 markings, 64161625 edges, 30101 markings/sec, 500 secs
lola: 15400591 markings, 64778582 edges, 31123 markings/sec, 505 secs
lola: 15552112 markings, 65453137 edges, 30304 markings/sec, 510 secs
lola: 15699277 markings, 66160461 edges, 29433 markings/sec, 515 secs
lola: 15856347 markings, 66785212 edges, 31414 markings/sec, 520 secs
lola: 16020039 markings, 67414359 edges, 32738 markings/sec, 525 secs
lola: 16175214 markings, 68039761 edges, 31035 markings/sec, 530 secs
lola: 16322885 markings, 68669082 edges, 29534 markings/sec, 535 secs
lola: 16455591 markings, 69329656 edges, 26541 markings/sec, 540 secs
lola: 16599198 markings, 69977066 edges, 28721 markings/sec, 545 secs
lola: 16743070 markings, 70625909 edges, 28774 markings/sec, 550 secs
lola: 16887129 markings, 71285075 edges, 28812 markings/sec, 555 secs
lola: 17038463 markings, 71932401 edges, 30267 markings/sec, 560 secs
lola: 17186038 markings, 72558370 edges, 29515 markings/sec, 565 secs
lola: 17351976 markings, 73196702 edges, 33188 markings/sec, 570 secs
lola: 17509903 markings, 73805983 edges, 31585 markings/sec, 575 secs
lola: 17665126 markings, 74428655 edges, 31045 markings/sec, 580 secs
lola: 17812210 markings, 75055669 edges, 29417 markings/sec, 585 secs
lola: 17946651 markings, 75725331 edges, 26888 markings/sec, 590 secs
lola: 18090688 markings, 76354107 edges, 28807 markings/sec, 595 secs
lola: 18232400 markings, 77017778 edges, 28342 markings/sec, 600 secs
lola: 18389635 markings, 77663495 edges, 31447 markings/sec, 605 secs
lola: 18536498 markings, 78311115 edges, 29373 markings/sec, 610 secs
lola: 18691215 markings, 78947718 edges, 30943 markings/sec, 615 secs
lola: 18835829 markings, 79603596 edges, 28923 markings/sec, 620 secs
lola: 18991762 markings, 80236287 edges, 31187 markings/sec, 625 secs
lola: 19139075 markings, 80875576 edges, 29463 markings/sec, 630 secs
lola: 19282007 markings, 81527109 edges, 28586 markings/sec, 635 secs
lola: 19421503 markings, 82236988 edges, 27899 markings/sec, 640 secs
lola: 19560369 markings, 82937594 edges, 27773 markings/sec, 645 secs
lola: 19714010 markings, 83619375 edges, 30728 markings/sec, 650 secs
lola: 19878703 markings, 84304075 edges, 32939 markings/sec, 655 secs
lola: 20030415 markings, 84980295 edges, 30342 markings/sec, 660 secs
lola: 20181453 markings, 85649683 edges, 30208 markings/sec, 665 secs
lola: 20326045 markings, 86288601 edges, 28918 markings/sec, 670 secs
lola: 20463963 markings, 86937691 edges, 27584 markings/sec, 675 secs
lola: 20613565 markings, 87585121 edges, 29920 markings/sec, 680 secs
lola: 20759283 markings, 88236715 edges, 29144 markings/sec, 685 secs
lola: 20904913 markings, 88908866 edges, 29126 markings/sec, 690 secs
lola: 21035694 markings, 89637369 edges, 26156 markings/sec, 695 secs
lola: 21186533 markings, 90322832 edges, 30168 markings/sec, 700 secs
lola: 21347204 markings, 90997154 edges, 32134 markings/sec, 705 secs
lola: 21495399 markings, 91695825 edges, 29639 markings/sec, 710 secs
lola: 21639184 markings, 92345506 edges, 28757 markings/sec, 715 secs
lola: 21776544 markings, 93006881 edges, 27472 markings/sec, 720 secs
lola: 21921469 markings, 93654772 edges, 28985 markings/sec, 725 secs
lola: 22062228 markings, 94329491 edges, 28152 markings/sec, 730 secs
lola: 22195356 markings, 95045076 edges, 26626 markings/sec, 735 secs
lola: 22347906 markings, 95747746 edges, 30510 markings/sec, 740 secs
lola: 22495989 markings, 96433353 edges, 29617 markings/sec, 745 secs
lola: 22630073 markings, 97102418 edges, 26817 markings/sec, 750 secs
lola: 22769510 markings, 97751000 edges, 27887 markings/sec, 755 secs
lola: 22901885 markings, 98412704 edges, 26475 markings/sec, 760 secs
lola: 23025226 markings, 99066881 edges, 24668 markings/sec, 765 secs
lola: 23149621 markings, 99747648 edges, 24879 markings/sec, 770 secs
lola: 23272048 markings, 100456142 edges, 24485 markings/sec, 775 secs
lola: 23390282 markings, 101187566 edges, 23647 markings/sec, 780 secs
lola: 23510010 markings, 101871995 edges, 23946 markings/sec, 785 secs
lola: 23634654 markings, 102536685 edges, 24929 markings/sec, 790 secs
lola: 23754920 markings, 103224741 edges, 24053 markings/sec, 795 secs
lola: 23899050 markings, 103933935 edges, 28826 markings/sec, 800 secs
lola: 24037803 markings, 104637303 edges, 27751 markings/sec, 805 secs
lola: 24170901 markings, 105306932 edges, 26620 markings/sec, 810 secs
lola: 24297523 markings, 106004470 edges, 25324 markings/sec, 815 secs
lola: 24430017 markings, 106686385 edges, 26499 markings/sec, 820 secs
lola: 24549969 markings, 107332399 edges, 23990 markings/sec, 825 secs
lola: 24672377 markings, 108003312 edges, 24482 markings/sec, 830 secs
lola: 24793848 markings, 108681371 edges, 24294 markings/sec, 835 secs
lola: 24922164 markings, 109346010 edges, 25663 markings/sec, 840 secs
lola: 25046727 markings, 110007359 edges, 24913 markings/sec, 845 secs
lola: 25167429 markings, 110689445 edges, 24140 markings/sec, 850 secs
lola: 25294934 markings, 111346847 edges, 25501 markings/sec, 855 secs
lola: 25439401 markings, 112005703 edges, 28893 markings/sec, 860 secs
lola: 25594537 markings, 112680265 edges, 31027 markings/sec, 865 secs
lola: 25756893 markings, 113335425 edges, 32471 markings/sec, 870 secs
lola: 25905632 markings, 114006560 edges, 29748 markings/sec, 875 secs
lola: 26052032 markings, 114667623 edges, 29280 markings/sec, 880 secs
lola: 26193059 markings, 115311585 edges, 28205 markings/sec, 885 secs
lola: 26329050 markings, 115989944 edges, 27198 markings/sec, 890 secs
lola: 26462000 markings, 116674477 edges, 26590 markings/sec, 895 secs
lola: 26595671 markings, 117402962 edges, 26734 markings/sec, 900 secs
lola: 26730912 markings, 118141290 edges, 27048 markings/sec, 905 secs
lola: 26851067 markings, 118812712 edges, 24031 markings/sec, 910 secs
lola: 27004288 markings, 119509398 edges, 30644 markings/sec, 915 secs
lola: 27164794 markings, 120189768 edges, 32101 markings/sec, 920 secs
lola: 27310732 markings, 120876377 edges, 29188 markings/sec, 925 secs
lola: 27463886 markings, 121551734 edges, 30631 markings/sec, 930 secs
lola: 27618506 markings, 122220406 edges, 30924 markings/sec, 935 secs
lola: 27757390 markings, 122878360 edges, 27777 markings/sec, 940 secs
lola: 27899846 markings, 123535536 edges, 28491 markings/sec, 945 secs
lola: 28047337 markings, 124208410 edges, 29498 markings/sec, 950 secs
lola: 28191093 markings, 124836901 edges, 28751 markings/sec, 955 secs
lola: 28327727 markings, 125480012 edges, 27327 markings/sec, 960 secs
lola: 28478083 markings, 126118852 edges, 30071 markings/sec, 965 secs
lola: 28615740 markings, 126755726 edges, 27531 markings/sec, 970 secs
lola: 28754015 markings, 127417289 edges, 27655 markings/sec, 975 secs
lola: 28889657 markings, 128097048 edges, 27128 markings/sec, 980 secs
lola: 29021330 markings, 128803218 edges, 26335 markings/sec, 985 secs
lola: 29149064 markings, 129484841 edges, 25547 markings/sec, 990 secs
lola: 29285350 markings, 130140198 edges, 27257 markings/sec, 995 secs
lola: 29426365 markings, 130827702 edges, 28203 markings/sec, 1000 secs
lola: 29580633 markings, 131517559 edges, 30854 markings/sec, 1005 secs
lola: 29725260 markings, 132185435 edges, 28925 markings/sec, 1010 secs
lola: 29870307 markings, 132858691 edges, 29009 markings/sec, 1015 secs
lola: 30027796 markings, 133520265 edges, 31498 markings/sec, 1020 secs
lola: 30160762 markings, 134150342 edges, 26593 markings/sec, 1025 secs
lola: 30296838 markings, 134798346 edges, 27215 markings/sec, 1030 secs
lola: 30429920 markings, 135465730 edges, 26616 markings/sec, 1035 secs
lola: 30569845 markings, 136131424 edges, 27985 markings/sec, 1040 secs
lola: 30701232 markings, 136750360 edges, 26277 markings/sec, 1045 secs
lola: 30829273 markings, 137397362 edges, 25608 markings/sec, 1050 secs
lola: 30958028 markings, 138011316 edges, 25751 markings/sec, 1055 secs
lola: 31111114 markings, 138662413 edges, 30617 markings/sec, 1060 secs
lola: 31274089 markings, 139320987 edges, 32595 markings/sec, 1065 secs
lola: 31432353 markings, 139940495 edges, 31653 markings/sec, 1070 secs
lola: 31581786 markings, 140514044 edges, 29887 markings/sec, 1075 secs
lola: 31734625 markings, 141117127 edges, 30568 markings/sec, 1080 secs
lola: 31882273 markings, 141717077 edges, 29530 markings/sec, 1085 secs
lola: 32019418 markings, 142316329 edges, 27429 markings/sec, 1090 secs
lola: 32148896 markings, 142971648 edges, 25896 markings/sec, 1095 secs
lola: 32281476 markings, 143574554 edges, 26516 markings/sec, 1100 secs
lola: 32425497 markings, 144212399 edges, 28804 markings/sec, 1105 secs
lola: 32564836 markings, 144831705 edges, 27868 markings/sec, 1110 secs
lola: 32720531 markings, 145438167 edges, 31139 markings/sec, 1115 secs
lola: 32863412 markings, 146086794 edges, 28576 markings/sec, 1120 secs
lola: 33004785 markings, 146686831 edges, 28275 markings/sec, 1125 secs
lola: 33142010 markings, 147323276 edges, 27445 markings/sec, 1130 secs
lola: 33273099 markings, 147958617 edges, 26218 markings/sec, 1135 secs
lola: 33417701 markings, 148617708 edges, 28920 markings/sec, 1140 secs
lola: 33538858 markings, 149263958 edges, 24231 markings/sec, 1145 secs
lola: 33667245 markings, 149901282 edges, 25677 markings/sec, 1150 secs
lola: 33777968 markings, 150570445 edges, 22145 markings/sec, 1155 secs
lola: 33904492 markings, 151241899 edges, 25305 markings/sec, 1160 secs
lola: 34020086 markings, 151866506 edges, 23119 markings/sec, 1165 secs
lola: 34181106 markings, 152521051 edges, 32204 markings/sec, 1170 secs
lola: 34325357 markings, 153167729 edges, 28850 markings/sec, 1175 secs
lola: 34471261 markings, 153842685 edges, 29181 markings/sec, 1180 secs
lola: 34620229 markings, 154509978 edges, 29794 markings/sec, 1185 secs
lola: 34762475 markings, 155159579 edges, 28449 markings/sec, 1190 secs
lola: 34899713 markings, 155789658 edges, 27448 markings/sec, 1195 secs
lola: 35034434 markings, 156456517 edges, 26944 markings/sec, 1200 secs
lola: 35189171 markings, 157108778 edges, 30947 markings/sec, 1205 secs
lola: 35317362 markings, 157725168 edges, 25638 markings/sec, 1210 secs
lola: 35475170 markings, 158365569 edges, 31562 markings/sec, 1215 secs
lola: 35628587 markings, 158958201 edges, 30683 markings/sec, 1220 secs
lola: 35777859 markings, 159516587 edges, 29854 markings/sec, 1225 secs
lola: 35925288 markings, 160109515 edges, 29486 markings/sec, 1230 secs
lola: 36068940 markings, 160731750 edges, 28730 markings/sec, 1235 secs
lola: 36199994 markings, 161392234 edges, 26211 markings/sec, 1240 secs
lola: 36342971 markings, 162041994 edges, 28595 markings/sec, 1245 secs
lola: 36480590 markings, 162665427 edges, 27524 markings/sec, 1250 secs
lola: 36627583 markings, 163299631 edges, 29399 markings/sec, 1255 secs
lola: 36772570 markings, 163900896 edges, 28997 markings/sec, 1260 secs
lola: 36915406 markings, 164488650 edges, 28567 markings/sec, 1265 secs
lola: 37052234 markings, 165108046 edges, 27366 markings/sec, 1270 secs
lola: 37189455 markings, 165709352 edges, 27444 markings/sec, 1275 secs
lola: 37327430 markings, 166339925 edges, 27595 markings/sec, 1280 secs
lola: 37458413 markings, 166949684 edges, 26197 markings/sec, 1285 secs
lola: 37584990 markings, 167592102 edges, 25315 markings/sec, 1290 secs
lola: 37708376 markings, 168234777 edges, 24677 markings/sec, 1295 secs
lola: 37839961 markings, 168926104 edges, 26317 markings/sec, 1300 secs
lola: 37970246 markings, 169624114 edges, 26057 markings/sec, 1305 secs
lola: 38074260 markings, 170260581 edges, 20803 markings/sec, 1310 secs
lola: 38218239 markings, 170924065 edges, 28796 markings/sec, 1315 secs
lola: 38377851 markings, 171597336 edges, 31922 markings/sec, 1320 secs
lola: 38521452 markings, 172222453 edges, 28720 markings/sec, 1325 secs
lola: 38651012 markings, 172903390 edges, 25912 markings/sec, 1330 secs
lola: 38792541 markings, 173561138 edges, 28306 markings/sec, 1335 secs
lola: 38921131 markings, 174173525 edges, 25718 markings/sec, 1340 secs
lola: 39045183 markings, 174815770 edges, 24810 markings/sec, 1345 secs
lola: 39190144 markings, 175433624 edges, 28992 markings/sec, 1350 secs
lola: 39308142 markings, 176036360 edges, 23600 markings/sec, 1355 secs
lola: 39470810 markings, 176678708 edges, 32534 markings/sec, 1360 secs
lola: 39613053 markings, 177294054 edges, 28449 markings/sec, 1365 secs
lola: 39748825 markings, 177887805 edges, 27154 markings/sec, 1370 secs
lola: 39887249 markings, 178504709 edges, 27685 markings/sec, 1375 secs
lola: 40022725 markings, 179181413 edges, 27095 markings/sec, 1380 secs
lola: 40173195 markings, 179834902 edges, 30094 markings/sec, 1385 secs
lola: 40320326 markings, 180472457 edges, 29426 markings/sec, 1390 secs
lola: 40484170 markings, 181095261 edges, 32769 markings/sec, 1395 secs
lola: 40645082 markings, 181710041 edges, 32182 markings/sec, 1400 secs
lola: 40802725 markings, 182332837 edges, 31529 markings/sec, 1405 secs
lola: 40944741 markings, 182932833 edges, 28403 markings/sec, 1410 secs
lola: 41081933 markings, 183544468 edges, 27438 markings/sec, 1415 secs
lola: 41229372 markings, 184178782 edges, 29488 markings/sec, 1420 secs
lola: 41377382 markings, 184853064 edges, 29602 markings/sec, 1425 secs
lola: 41524836 markings, 185493650 edges, 29491 markings/sec, 1430 secs
lola: 41681181 markings, 186122961 edges, 31269 markings/sec, 1435 secs
lola: 41837729 markings, 186760291 edges, 31310 markings/sec, 1440 secs
lola: 41990922 markings, 187350760 edges, 30639 markings/sec, 1445 secs
lola: 42138404 markings, 187962006 edges, 29496 markings/sec, 1450 secs
lola: 42284622 markings, 188564760 edges, 29244 markings/sec, 1455 secs
lola: 42443015 markings, 189192361 edges, 31679 markings/sec, 1460 secs
lola: 42596301 markings, 189816741 edges, 30657 markings/sec, 1465 secs
lola: 42744725 markings, 190441792 edges, 29685 markings/sec, 1470 secs
lola: 42872695 markings, 191078737 edges, 25594 markings/sec, 1475 secs
lola: 43016376 markings, 191714226 edges, 28736 markings/sec, 1480 secs
lola: 43160650 markings, 192372878 edges, 28855 markings/sec, 1485 secs
lola: 43316155 markings, 193025448 edges, 31101 markings/sec, 1490 secs
lola: 43460283 markings, 193663450 edges, 28826 markings/sec, 1495 secs
lola: 43615332 markings, 194296921 edges, 31010 markings/sec, 1500 secs
lola: 43764703 markings, 194937472 edges, 29874 markings/sec, 1505 secs
lola: 43911589 markings, 195576076 edges, 29377 markings/sec, 1510 secs
lola: 44040654 markings, 196224669 edges, 25813 markings/sec, 1515 secs
lola: 44180474 markings, 196884540 edges, 27964 markings/sec, 1520 secs
lola: 44332866 markings, 197547284 edges, 30478 markings/sec, 1525 secs
lola: 44476344 markings, 198197135 edges, 28696 markings/sec, 1530 secs
lola: 44628258 markings, 198866167 edges, 30383 markings/sec, 1535 secs
lola: 44771192 markings, 199570980 edges, 28587 markings/sec, 1540 secs
lola: 44911732 markings, 200252773 edges, 28108 markings/sec, 1545 secs
lola: 45052167 markings, 200951586 edges, 28087 markings/sec, 1550 secs
lola: 45193745 markings, 201636857 edges, 28316 markings/sec, 1555 secs
lola: 45330568 markings, 202341337 edges, 27365 markings/sec, 1560 secs
lola: 45465714 markings, 203016200 edges, 27029 markings/sec, 1565 secs
lola: 45594161 markings, 203715921 edges, 25689 markings/sec, 1570 secs
lola: 45711055 markings, 204399415 edges, 23379 markings/sec, 1575 secs
lola: 45837148 markings, 205077467 edges, 25219 markings/sec, 1580 secs
lola: 45975952 markings, 205754323 edges, 27761 markings/sec, 1585 secs
lola: 46121228 markings, 206450191 edges, 29055 markings/sec, 1590 secs
lola: 46260305 markings, 207177113 edges, 27815 markings/sec, 1595 secs
lola: 46404550 markings, 207883179 edges, 28849 markings/sec, 1600 secs
lola: 46541249 markings, 208559238 edges, 27340 markings/sec, 1605 secs
lola: 46688026 markings, 209243620 edges, 29355 markings/sec, 1610 secs
lola: 46821066 markings, 209953516 edges, 26608 markings/sec, 1615 secs
lola: 46958301 markings, 210650536 edges, 27447 markings/sec, 1620 secs
lola: 47092865 markings, 211323514 edges, 26913 markings/sec, 1625 secs
lola: 47245021 markings, 211961607 edges, 30431 markings/sec, 1630 secs
lola: 47394057 markings, 212602358 edges, 29807 markings/sec, 1635 secs
lola: 47540105 markings, 213237381 edges, 29210 markings/sec, 1640 secs
lola: 47685986 markings, 213888656 edges, 29176 markings/sec, 1645 secs
lola: 47831490 markings, 214586265 edges, 29101 markings/sec, 1650 secs
lola: 47966766 markings, 215313889 edges, 27055 markings/sec, 1655 secs
lola: 48112145 markings, 216015567 edges, 29076 markings/sec, 1660 secs
lola: 48254502 markings, 216698917 edges, 28471 markings/sec, 1665 secs
lola: 48403434 markings, 217334343 edges, 29786 markings/sec, 1670 secs
lola: 48557674 markings, 217967704 edges, 30848 markings/sec, 1675 secs
lola: 48706411 markings, 218613828 edges, 29747 markings/sec, 1680 secs
lola: 48849688 markings, 219252803 edges, 28655 markings/sec, 1685 secs
lola: 48986559 markings, 219860245 edges, 27374 markings/sec, 1690 secs
lola: 49111037 markings, 220500550 edges, 24896 markings/sec, 1695 secs
lola: 49241696 markings, 221118301 edges, 26132 markings/sec, 1700 secs
lola: 49380503 markings, 221747045 edges, 27761 markings/sec, 1705 secs
lola: 49514139 markings, 222436051 edges, 26727 markings/sec, 1710 secs
lola: 49649616 markings, 223119586 edges, 27095 markings/sec, 1715 secs
lola: 49788402 markings, 223775024 edges, 27757 markings/sec, 1720 secs
lola: 49938136 markings, 224421691 edges, 29947 markings/sec, 1725 secs
lola: 50071308 markings, 225062888 edges, 26634 markings/sec, 1730 secs
lola: 50222858 markings, 225703107 edges, 30310 markings/sec, 1735 secs
lola: 50374355 markings, 226304478 edges, 30299 markings/sec, 1740 secs
lola: 50511938 markings, 226929034 edges, 27517 markings/sec, 1745 secs
lola: 50651557 markings, 227556966 edges, 27924 markings/sec, 1750 secs
lola: 50790975 markings, 228187997 edges, 27884 markings/sec, 1755 secs
lola: 50930632 markings, 228786896 edges, 27931 markings/sec, 1760 secs
lola: 51077619 markings, 229405548 edges, 29397 markings/sec, 1765 secs
lola: 51229489 markings, 230026774 edges, 30374 markings/sec, 1770 secs
lola: 51377017 markings, 230631176 edges, 29506 markings/sec, 1775 secs
lola: 51528423 markings, 231271516 edges, 30281 markings/sec, 1780 secs
lola: 51668026 markings, 231893097 edges, 27921 markings/sec, 1785 secs
lola: 51816299 markings, 232525346 edges, 29655 markings/sec, 1790 secs
lola: 51947694 markings, 233120341 edges, 26279 markings/sec, 1795 secs
lola: 52075007 markings, 233756561 edges, 25463 markings/sec, 1800 secs
lola: 52197117 markings, 234399586 edges, 24422 markings/sec, 1805 secs
lola: 52345828 markings, 234991197 edges, 29742 markings/sec, 1810 secs
lola: 52482707 markings, 235610911 edges, 27376 markings/sec, 1815 secs
lola: 52631444 markings, 236271661 edges, 29747 markings/sec, 1820 secs
lola: 52767469 markings, 236947467 edges, 27205 markings/sec, 1825 secs
lola: 52910970 markings, 237611102 edges, 28700 markings/sec, 1830 secs
lola: 53065209 markings, 238256960 edges, 30848 markings/sec, 1835 secs
lola: 53201552 markings, 238876213 edges, 27269 markings/sec, 1840 secs
lola: 53342522 markings, 239518438 edges, 28194 markings/sec, 1845 secs
lola: 53488425 markings, 240142966 edges, 29181 markings/sec, 1850 secs
lola: 53636547 markings, 240768940 edges, 29624 markings/sec, 1855 secs
lola: 53779412 markings, 241393543 edges, 28573 markings/sec, 1860 secs
lola: 53923622 markings, 242049617 edges, 28842 markings/sec, 1865 secs
lola: 54069740 markings, 242669484 edges, 29224 markings/sec, 1870 secs
lola: 54230081 markings, 243288005 edges, 32068 markings/sec, 1875 secs
lola: 54369476 markings, 243899116 edges, 27879 markings/sec, 1880 secs
lola: 54507039 markings, 244485246 edges, 27513 markings/sec, 1885 secs
lola: 54647072 markings, 245087115 edges, 28007 markings/sec, 1890 secs
lola: 54781251 markings, 245695218 edges, 26836 markings/sec, 1895 secs
lola: 54910291 markings, 246280928 edges, 25808 markings/sec, 1900 secs
lola: 55031301 markings, 246907694 edges, 24202 markings/sec, 1905 secs
lola: 55156150 markings, 247498621 edges, 24970 markings/sec, 1910 secs
lola: 55287512 markings, 248122324 edges, 26272 markings/sec, 1915 secs
lola: 55417217 markings, 248763507 edges, 25941 markings/sec, 1920 secs
lola: 55545228 markings, 249415525 edges, 25602 markings/sec, 1925 secs
lola: 55674182 markings, 250028226 edges, 25791 markings/sec, 1930 secs
lola: 55817116 markings, 250644481 edges, 28587 markings/sec, 1935 secs
lola: 55943823 markings, 251257572 edges, 25341 markings/sec, 1940 secs
lola: 56086244 markings, 251865766 edges, 28484 markings/sec, 1945 secs
lola: 56228026 markings, 252433648 edges, 28356 markings/sec, 1950 secs
lola: 56358300 markings, 253029771 edges, 26055 markings/sec, 1955 secs
lola: 56489946 markings, 253628034 edges, 26329 markings/sec, 1960 secs
lola: 56622127 markings, 254231723 edges, 26436 markings/sec, 1965 secs
lola: 56763307 markings, 254808933 edges, 28236 markings/sec, 1970 secs
lola: 56921775 markings, 255410332 edges, 31694 markings/sec, 1975 secs
lola: 57081565 markings, 255995416 edges, 31958 markings/sec, 1980 secs
lola: 57238108 markings, 256587507 edges, 31309 markings/sec, 1985 secs
lola: 57390296 markings, 257188242 edges, 30438 markings/sec, 1990 secs
lola: 57526767 markings, 257799149 edges, 27294 markings/sec, 1995 secs
lola: 57669452 markings, 258385446 edges, 28537 markings/sec, 2000 secs
lola: 57810862 markings, 258975298 edges, 28282 markings/sec, 2005 secs
lola: 57966289 markings, 259605531 edges, 31085 markings/sec, 2010 secs
lola: 58113203 markings, 260222612 edges, 29383 markings/sec, 2015 secs
lola: 58257808 markings, 260856888 edges, 28921 markings/sec, 2020 secs
lola: 58401396 markings, 261458864 edges, 28718 markings/sec, 2025 secs
lola: 58561372 markings, 262076544 edges, 31995 markings/sec, 2030 secs
lola: 58716616 markings, 262673983 edges, 31049 markings/sec, 2035 secs
lola: 58869106 markings, 263279173 edges, 30498 markings/sec, 2040 secs
lola: 59015954 markings, 263879064 edges, 29370 markings/sec, 2045 secs
lola: 59152641 markings, 264502272 edges, 27337 markings/sec, 2050 secs
lola: 59295858 markings, 265112911 edges, 28643 markings/sec, 2055 secs
lola: 59439397 markings, 265752212 edges, 28708 markings/sec, 2060 secs
lola: 59579945 markings, 266377526 edges, 28110 markings/sec, 2065 secs
lola: 59733475 markings, 267007565 edges, 30706 markings/sec, 2070 secs
lola: 59883678 markings, 267614415 edges, 30041 markings/sec, 2075 secs
lola: 60031107 markings, 268235889 edges, 29486 markings/sec, 2080 secs
lola: 60165687 markings, 268861000 edges, 26916 markings/sec, 2085 secs
lola: 60305428 markings, 269494302 edges, 27948 markings/sec, 2090 secs
lola: 60444673 markings, 270129178 edges, 27849 markings/sec, 2095 secs
lola: 60592691 markings, 270769298 edges, 29604 markings/sec, 2100 secs
lola: 60734794 markings, 271447099 edges, 28421 markings/sec, 2105 secs
lola: 60873722 markings, 272112089 edges, 27786 markings/sec, 2110 secs
lola: 61011825 markings, 272785115 edges, 27621 markings/sec, 2115 secs
lola: 61148224 markings, 273454816 edges, 27280 markings/sec, 2120 secs
lola: 61280598 markings, 274137422 edges, 26475 markings/sec, 2125 secs
lola: 61407988 markings, 274785966 edges, 25478 markings/sec, 2130 secs
lola: 61525467 markings, 275473852 edges, 23496 markings/sec, 2135 secs
lola: 61651518 markings, 276138663 edges, 25210 markings/sec, 2140 secs
lola: 61770433 markings, 276811535 edges, 23783 markings/sec, 2145 secs
lola: 61918611 markings, 277477919 edges, 29636 markings/sec, 2150 secs
lola: 62050426 markings, 278189224 edges, 26363 markings/sec, 2155 secs
lola: 62187572 markings, 278887340 edges, 27429 markings/sec, 2160 secs
lola: 62321845 markings, 279532131 edges, 26855 markings/sec, 2165 secs
lola: 62461619 markings, 280186281 edges, 27955 markings/sec, 2170 secs
lola: 62593703 markings, 280872813 edges, 26417 markings/sec, 2175 secs
lola: 62725144 markings, 281550137 edges, 26288 markings/sec, 2180 secs
lola: 62858373 markings, 282208271 edges, 26646 markings/sec, 2185 secs
lola: 63000930 markings, 282893457 edges, 28511 markings/sec, 2190 secs
lola: 63154568 markings, 283538415 edges, 30728 markings/sec, 2195 secs
lola: 63296295 markings, 284145014 edges, 28345 markings/sec, 2200 secs
lola: 63442914 markings, 284763593 edges, 29324 markings/sec, 2205 secs
lola: 63582517 markings, 285389163 edges, 27921 markings/sec, 2210 secs
lola: 63722222 markings, 286059077 edges, 27941 markings/sec, 2215 secs
lola: 63850675 markings, 286771266 edges, 25691 markings/sec, 2220 secs
lola: 63984641 markings, 287444920 edges, 26793 markings/sec, 2225 secs
lola: 64132782 markings, 288096048 edges, 29628 markings/sec, 2230 secs
lola: 64284036 markings, 288744699 edges, 30251 markings/sec, 2235 secs
lola: 64431106 markings, 289365554 edges, 29414 markings/sec, 2240 secs
lola: 64581180 markings, 290012770 edges, 30015 markings/sec, 2245 secs
lola: 64728020 markings, 290640769 edges, 29368 markings/sec, 2250 secs
lola: 64870131 markings, 291295191 edges, 28422 markings/sec, 2255 secs
lola: 64999280 markings, 291930878 edges, 25830 markings/sec, 2260 secs
lola: 65123409 markings, 292599416 edges, 24826 markings/sec, 2265 secs
lola: 65252802 markings, 293225048 edges, 25879 markings/sec, 2270 secs
lola: 65391185 markings, 293860531 edges, 27677 markings/sec, 2275 secs
lola: 65534857 markings, 294499214 edges, 28734 markings/sec, 2280 secs
lola: 65679066 markings, 295178265 edges, 28842 markings/sec, 2285 secs
lola: 65811170 markings, 295844297 edges, 26421 markings/sec, 2290 secs
lola: 65950656 markings, 296497043 edges, 27897 markings/sec, 2295 secs
lola: 66088754 markings, 297163146 edges, 27620 markings/sec, 2300 secs
lola: 66223918 markings, 297797170 edges, 27033 markings/sec, 2305 secs
lola: 66366830 markings, 298396529 edges, 28582 markings/sec, 2310 secs
lola: 66512978 markings, 299027111 edges, 29230 markings/sec, 2315 secs
lola: 66660379 markings, 299639910 edges, 29480 markings/sec, 2320 secs
lola: 66803337 markings, 300268322 edges, 28592 markings/sec, 2325 secs
lola: 66943924 markings, 300888770 edges, 28117 markings/sec, 2330 secs
lola: 67085968 markings, 301524770 edges, 28409 markings/sec, 2335 secs
lola: 67219662 markings, 302126197 edges, 26739 markings/sec, 2340 secs
lola: 67347630 markings, 302771448 edges, 25594 markings/sec, 2345 secs
lola: 67474869 markings, 303417886 edges, 25448 markings/sec, 2350 secs
lola: 67602412 markings, 304035981 edges, 25509 markings/sec, 2355 secs
lola: 67740864 markings, 304669820 edges, 27690 markings/sec, 2360 secs
lola: 67868990 markings, 305318715 edges, 25625 markings/sec, 2365 secs
lola: 68008298 markings, 305985038 edges, 27862 markings/sec, 2370 secs
lola: 68145894 markings, 306618481 edges, 27519 markings/sec, 2375 secs
lola: 68276253 markings, 307243354 edges, 26072 markings/sec, 2380 secs
lola: 68409861 markings, 307890185 edges, 26722 markings/sec, 2385 secs
lola: 68549354 markings, 308532192 edges, 27899 markings/sec, 2390 secs
lola: 68692602 markings, 309169709 edges, 28650 markings/sec, 2395 secs
lola: 68821338 markings, 309802766 edges, 25747 markings/sec, 2400 secs
lola: 68955758 markings, 310457640 edges, 26884 markings/sec, 2405 secs
lola: 69114500 markings, 311081856 edges, 31748 markings/sec, 2410 secs
lola: 69263691 markings, 311730014 edges, 29838 markings/sec, 2415 secs
lola: 69419993 markings, 312364414 edges, 31260 markings/sec, 2420 secs
lola: 69565516 markings, 312992441 edges, 29105 markings/sec, 2425 secs
lola: 69712256 markings, 313621999 edges, 29348 markings/sec, 2430 secs
lola: 69853142 markings, 314224004 edges, 28177 markings/sec, 2435 secs
lola: 70000496 markings, 314852373 edges, 29471 markings/sec, 2440 secs
lola: 70140683 markings, 315460647 edges, 28037 markings/sec, 2445 secs
lola: 70278317 markings, 316093992 edges, 27527 markings/sec, 2450 secs
lola: 70408563 markings, 316701439 edges, 26049 markings/sec, 2455 secs
lola: 70529198 markings, 317347689 edges, 24127 markings/sec, 2460 secs
lola: 70651415 markings, 317953425 edges, 24443 markings/sec, 2465 secs
lola: 70787898 markings, 318572371 edges, 27297 markings/sec, 2470 secs
lola: 70920566 markings, 319184331 edges, 26534 markings/sec, 2475 secs
lola: 71057983 markings, 319835649 edges, 27483 markings/sec, 2480 secs
lola: 71187848 markings, 320491046 edges, 25973 markings/sec, 2485 secs
lola: 71323066 markings, 321114858 edges, 27044 markings/sec, 2490 secs
lola: 71453188 markings, 321778568 edges, 26024 markings/sec, 2495 secs
lola: 71584476 markings, 322412730 edges, 26258 markings/sec, 2500 secs
lola: 71726587 markings, 323022880 edges, 28422 markings/sec, 2505 secs
lola: 71879893 markings, 323643271 edges, 30661 markings/sec, 2510 secs
lola: 72030362 markings, 324239851 edges, 30094 markings/sec, 2515 secs
lola: 72176039 markings, 324836064 edges, 29135 markings/sec, 2520 secs
lola: 72322058 markings, 325436226 edges, 29204 markings/sec, 2525 secs
lola: 72468952 markings, 326046019 edges, 29379 markings/sec, 2530 secs
lola: 72609296 markings, 326670066 edges, 28069 markings/sec, 2535 secs
lola: 72738922 markings, 327320311 edges, 25925 markings/sec, 2540 secs
lola: 72866088 markings, 327978005 edges, 25433 markings/sec, 2545 secs
lola: 73002843 markings, 328633432 edges, 27351 markings/sec, 2550 secs
lola: 73147765 markings, 329260878 edges, 28984 markings/sec, 2555 secs
lola: 73287772 markings, 329906852 edges, 28001 markings/sec, 2560 secs
lola: 73424258 markings, 330551996 edges, 27297 markings/sec, 2565 secs
lola: 73554177 markings, 331199190 edges, 25984 markings/sec, 2570 secs
lola: 73690793 markings, 331812643 edges, 27323 markings/sec, 2575 secs
lola: 73819755 markings, 332422736 edges, 25792 markings/sec, 2580 secs
lola: 73952486 markings, 333057901 edges, 26546 markings/sec, 2585 secs
lola: 74098502 markings, 333679573 edges, 29203 markings/sec, 2590 secs
lola: 74248871 markings, 334299711 edges, 30074 markings/sec, 2595 secs
lola: 74388302 markings, 334929937 edges, 27886 markings/sec, 2600 secs
lola: 74525385 markings, 335569924 edges, 27417 markings/sec, 2605 secs
lola: 74664938 markings, 336180468 edges, 27911 markings/sec, 2610 secs
lola: 74814947 markings, 336729494 edges, 30002 markings/sec, 2615 secs
lola: 74961147 markings, 337261206 edges, 29240 markings/sec, 2620 secs
lola: 75109282 markings, 337838648 edges, 29627 markings/sec, 2625 secs
lola: 75246910 markings, 338464423 edges, 27526 markings/sec, 2630 secs
lola: 75389896 markings, 339046980 edges, 28597 markings/sec, 2635 secs
lola: 75528504 markings, 339611486 edges, 27722 markings/sec, 2640 secs
lola: 75669982 markings, 340204607 edges, 28296 markings/sec, 2645 secs
lola: 75809073 markings, 340786849 edges, 27818 markings/sec, 2650 secs
lola: 75946858 markings, 341349533 edges, 27557 markings/sec, 2655 secs
lola: 76082092 markings, 341960042 edges, 27047 markings/sec, 2660 secs
lola: 76222911 markings, 342555804 edges, 28164 markings/sec, 2665 secs
lola: 76358102 markings, 343095989 edges, 27038 markings/sec, 2670 secs
lola: 76489900 markings, 343657222 edges, 26360 markings/sec, 2675 secs
lola: 76617552 markings, 344200025 edges, 25530 markings/sec, 2680 secs
lola: 76768174 markings, 344772525 edges, 30124 markings/sec, 2685 secs
lola: 76911206 markings, 345336170 edges, 28606 markings/sec, 2690 secs
lola: 77051890 markings, 345911340 edges, 28137 markings/sec, 2695 secs
lola: 77187388 markings, 346497421 edges, 27100 markings/sec, 2700 secs
lola: 77311906 markings, 347131790 edges, 24904 markings/sec, 2705 secs
lola: 77450977 markings, 347728971 edges, 27814 markings/sec, 2710 secs
lola: 77586899 markings, 348324866 edges, 27184 markings/sec, 2715 secs
lola: 77731107 markings, 348904826 edges, 28842 markings/sec, 2720 secs
lola: 77863036 markings, 349502024 edges, 26386 markings/sec, 2725 secs
lola: 78001148 markings, 350073924 edges, 27622 markings/sec, 2730 secs
lola: 78140948 markings, 350650466 edges, 27960 markings/sec, 2735 secs
lola: 78277643 markings, 351241343 edges, 27339 markings/sec, 2740 secs
lola: 78403238 markings, 351876919 edges, 25119 markings/sec, 2745 secs
lola: 78537987 markings, 352488115 edges, 26950 markings/sec, 2750 secs
lola: 78677260 markings, 353093498 edges, 27855 markings/sec, 2755 secs
lola: 78810131 markings, 353691638 edges, 26574 markings/sec, 2760 secs
lola: 78946900 markings, 354286597 edges, 27354 markings/sec, 2765 secs
lola: 79080141 markings, 354931989 edges, 26648 markings/sec, 2770 secs
lola: 79212770 markings, 355557294 edges, 26526 markings/sec, 2775 secs
lola: 79344898 markings, 356170989 edges, 26426 markings/sec, 2780 secs
lola: 79476490 markings, 356819801 edges, 26318 markings/sec, 2785 secs
lola: 79606801 markings, 357451397 edges, 26062 markings/sec, 2790 secs
lola: 79737216 markings, 358109968 edges, 26083 markings/sec, 2795 secs
lola: 79861096 markings, 358760505 edges, 24776 markings/sec, 2800 secs
lola: 79981413 markings, 359448432 edges, 24063 markings/sec, 2805 secs
lola: 80096278 markings, 360107348 edges, 22973 markings/sec, 2810 secs
lola: 80210351 markings, 360767758 edges, 22815 markings/sec, 2815 secs
lola: 80349765 markings, 361408722 edges, 27883 markings/sec, 2820 secs
lola: 80483406 markings, 362043428 edges, 26728 markings/sec, 2825 secs
lola: 80615701 markings, 362713620 edges, 26459 markings/sec, 2830 secs
lola: 80745718 markings, 363359500 edges, 26003 markings/sec, 2835 secs
lola: 80880443 markings, 363993036 edges, 26945 markings/sec, 2840 secs
lola: 81010007 markings, 364615435 edges, 25913 markings/sec, 2845 secs
lola: 81134863 markings, 365261001 edges, 24971 markings/sec, 2850 secs
lola: 81256347 markings, 365885155 edges, 24297 markings/sec, 2855 secs
lola: 81375964 markings, 366516514 edges, 23923 markings/sec, 2860 secs
lola: 81517953 markings, 367127812 edges, 28398 markings/sec, 2865 secs
lola: 81655430 markings, 367715664 edges, 27495 markings/sec, 2870 secs
lola: 81786611 markings, 368291751 edges, 26236 markings/sec, 2875 secs
lola: 81925071 markings, 368882249 edges, 27692 markings/sec, 2880 secs
lola: 82057343 markings, 369477477 edges, 26454 markings/sec, 2885 secs
lola: 82191408 markings, 370105447 edges, 26813 markings/sec, 2890 secs
lola: 82320210 markings, 370768940 edges, 25760 markings/sec, 2895 secs
lola: 82449325 markings, 371412783 edges, 25823 markings/sec, 2900 secs
lola: 82580720 markings, 372040717 edges, 26279 markings/sec, 2905 secs
lola: 82722590 markings, 372632083 edges, 28374 markings/sec, 2910 secs
lola: 82859796 markings, 373220131 edges, 27441 markings/sec, 2915 secs
lola: 83003543 markings, 373778506 edges, 28749 markings/sec, 2920 secs
lola: 83146480 markings, 374380483 edges, 28587 markings/sec, 2925 secs
lola: 83270182 markings, 375013235 edges, 24740 markings/sec, 2930 secs
lola: 83399528 markings, 375661028 edges, 25869 markings/sec, 2935 secs
lola: 83533199 markings, 376272185 edges, 26734 markings/sec, 2940 secs
lola: 83666704 markings, 376858638 edges, 26701 markings/sec, 2945 secs
lola: 83795152 markings, 377469288 edges, 25690 markings/sec, 2950 secs
lola: 83928744 markings, 378088837 edges, 26718 markings/sec, 2955 secs
lola: 84060757 markings, 378707311 edges, 26403 markings/sec, 2960 secs
lola: 84189473 markings, 379313382 edges, 25743 markings/sec, 2965 secs
lola: 84325335 markings, 379925214 edges, 27172 markings/sec, 2970 secs
lola: 84452394 markings, 380557354 edges, 25412 markings/sec, 2975 secs
lola: 84586148 markings, 381192559 edges, 26751 markings/sec, 2980 secs
lola: 84716454 markings, 381802229 edges, 26061 markings/sec, 2985 secs
lola: 84846583 markings, 382366689 edges, 26026 markings/sec, 2990 secs
lola: 84964072 markings, 382939285 edges, 23498 markings/sec, 2995 secs
lola: 85090657 markings, 383514761 edges, 25317 markings/sec, 3000 secs
lola: 85227361 markings, 384088230 edges, 27341 markings/sec, 3005 secs
lola: 85368201 markings, 384663673 edges, 28168 markings/sec, 3010 secs
lola: 85505197 markings, 385251540 edges, 27399 markings/sec, 3015 secs
lola: 85644494 markings, 385823288 edges, 27859 markings/sec, 3020 secs
lola: 85784580 markings, 386402985 edges, 28017 markings/sec, 3025 secs
lola: 85916080 markings, 386983307 edges, 26300 markings/sec, 3030 secs
lola: 86056525 markings, 387577224 edges, 28089 markings/sec, 3035 secs
lola: 86189581 markings, 388170771 edges, 26611 markings/sec, 3040 secs
lola: 86319524 markings, 388753698 edges, 25989 markings/sec, 3045 secs
lola: 86441322 markings, 389366940 edges, 24360 markings/sec, 3050 secs
lola: 86561566 markings, 389989981 edges, 24049 markings/sec, 3055 secs
lola: 86688354 markings, 390586901 edges, 25358 markings/sec, 3060 secs
lola: 86823270 markings, 391185628 edges, 26983 markings/sec, 3065 secs
lola: 86960993 markings, 391794575 edges, 27545 markings/sec, 3070 secs
lola: 87093528 markings, 392400450 edges, 26507 markings/sec, 3075 secs
lola: 87221978 markings, 392999797 edges, 25690 markings/sec, 3080 secs
lola: 87358380 markings, 393593194 edges, 27280 markings/sec, 3085 secs
lola: 87487691 markings, 394196568 edges, 25862 markings/sec, 3090 secs
lola: 87611301 markings, 394795017 edges, 24722 markings/sec, 3095 secs
lola: 87735557 markings, 395386125 edges, 24851 markings/sec, 3100 secs
lola: 87870295 markings, 395974838 edges, 26948 markings/sec, 3105 secs
lola: 88012205 markings, 396553058 edges, 28382 markings/sec, 3110 secs
lola: 88145836 markings, 397161891 edges, 26726 markings/sec, 3115 secs
lola: 88275239 markings, 397772676 edges, 25881 markings/sec, 3120 secs
lola: 88403031 markings, 398354287 edges, 25558 markings/sec, 3125 secs
lola: 88549681 markings, 398932874 edges, 29330 markings/sec, 3130 secs
lola: 88682331 markings, 399513174 edges, 26530 markings/sec, 3135 secs
lola: 88813066 markings, 400060833 edges, 26147 markings/sec, 3140 secs
lola: 88950765 markings, 400635462 edges, 27540 markings/sec, 3145 secs
lola: 89080000 markings, 401233905 edges, 25847 markings/sec, 3150 secs
lola: 89202130 markings, 401872455 edges, 24426 markings/sec, 3155 secs
lola: 89331938 markings, 402479017 edges, 25962 markings/sec, 3160 secs
lola: 89458014 markings, 403051606 edges, 25215 markings/sec, 3165 secs
lola: 89579695 markings, 403630179 edges, 24336 markings/sec, 3170 secs
lola: 89711273 markings, 404226883 edges, 26316 markings/sec, 3175 secs
lola: 89835592 markings, 404832747 edges, 24864 markings/sec, 3180 secs
lola: 89959587 markings, 405416940 edges, 24799 markings/sec, 3185 secs
lola: 90082188 markings, 405991282 edges, 24520 markings/sec, 3190 secs
lola: 90210216 markings, 406594082 edges, 25606 markings/sec, 3195 secs
lola: 90335473 markings, 407222609 edges, 25051 markings/sec, 3200 secs
lola: 90458824 markings, 407819373 edges, 24670 markings/sec, 3205 secs
lola: 90580694 markings, 408369977 edges, 24374 markings/sec, 3210 secs
lola: 90701710 markings, 408948533 edges, 24203 markings/sec, 3215 secs
lola: 90821403 markings, 409510226 edges, 23939 markings/sec, 3220 secs
lola: 90939487 markings, 410068090 edges, 23617 markings/sec, 3225 secs
lola: 91079592 markings, 410633839 edges, 28021 markings/sec, 3230 secs
lola: 91217273 markings, 411196833 edges, 27536 markings/sec, 3235 secs
lola: 91349878 markings, 411819816 edges, 26521 markings/sec, 3240 secs
lola: 91516591 markings, 412498389 edges, 33343 markings/sec, 3245 secs
lola: 91675325 markings, 413234040 edges, 31747 markings/sec, 3250 secs
lola: 91845454 markings, 413929786 edges, 34026 markings/sec, 3255 secs
lola: 92004653 markings, 414666707 edges, 31840 markings/sec, 3260 secs
lola: 92139642 markings, 415317522 edges, 26998 markings/sec, 3265 secs
lola: 92273272 markings, 415917162 edges, 26726 markings/sec, 3270 secs
lola: 92410155 markings, 416515090 edges, 27377 markings/sec, 3275 secs
lola: 92565196 markings, 417185383 edges, 31008 markings/sec, 3280 secs
lola: 92731458 markings, 417919355 edges, 33252 markings/sec, 3285 secs
lola: 92877743 markings, 418624248 edges, 29257 markings/sec, 3290 secs
lola: 93011075 markings, 419234046 edges, 26666 markings/sec, 3295 secs
lola: 93137704 markings, 419885208 edges, 25326 markings/sec, 3300 secs
lola: 93264457 markings, 420538017 edges, 25351 markings/sec, 3305 secs
lola: 93415886 markings, 421270740 edges, 30286 markings/sec, 3310 secs
lola: 93565255 markings, 422057957 edges, 29874 markings/sec, 3315 secs
lola: 93720437 markings, 422809215 edges, 31036 markings/sec, 3320 secs
lola: 93868088 markings, 423599557 edges, 29530 markings/sec, 3325 secs
lola: 93998428 markings, 424302625 edges, 26068 markings/sec, 3330 secs
lola: 94120901 markings, 424962377 edges, 24495 markings/sec, 3335 secs
lola: 94257676 markings, 425601221 edges, 27355 markings/sec, 3340 secs
lola: 94404662 markings, 426259179 edges, 29397 markings/sec, 3345 secs
lola: 94543444 markings, 426954107 edges, 27756 markings/sec, 3350 secs
lola: 94682214 markings, 427635219 edges, 27754 markings/sec, 3355 secs
lola: 94825652 markings, 428289449 edges, 28688 markings/sec, 3360 secs
lola: 94955913 markings, 428946473 edges, 26052 markings/sec, 3365 secs
lola: 95089739 markings, 429638363 edges, 26765 markings/sec, 3370 secs
lola: 95238389 markings, 430310458 edges, 29730 markings/sec, 3375 secs
lola: 95401404 markings, 430989819 edges, 32603 markings/sec, 3380 secs
lola: 95566616 markings, 431698294 edges, 33042 markings/sec, 3385 secs
lola: 95718189 markings, 432426927 edges, 30315 markings/sec, 3390 secs
lola: 95870812 markings, 433124089 edges, 30525 markings/sec, 3395 secs
lola: 96037898 markings, 433818913 edges, 33417 markings/sec, 3400 secs
lola: 96200285 markings, 434502919 edges, 32477 markings/sec, 3405 secs
lola: 96355765 markings, 435223876 edges, 31096 markings/sec, 3410 secs
lola: 96511158 markings, 435943811 edges, 31079 markings/sec, 3415 secs
lola: 96658265 markings, 436622151 edges, 29421 markings/sec, 3420 secs
lola: 96783470 markings, 437240015 edges, 25041 markings/sec, 3425 secs
lola: 96902027 markings, 437898419 edges, 23711 markings/sec, 3430 secs
lola: 97022604 markings, 438571355 edges, 24115 markings/sec, 3435 secs
lola: 97190508 markings, 439241242 edges, 33581 markings/sec, 3440 secs
lola: 97344403 markings, 439961014 edges, 30779 markings/sec, 3445 secs
lola: 97508798 markings, 440648156 edges, 32879 markings/sec, 3450 secs
lola: 97668408 markings, 441344821 edges, 31922 markings/sec, 3455 secs
lola: 97818576 markings, 442057836 edges, 30034 markings/sec, 3460 secs
lola: 97931825 markings, 442725318 edges, 22650 markings/sec, 3465 secs
lola: 98082040 markings, 443360509 edges, 30043 markings/sec, 3470 secs
lola: 98221472 markings, 444001281 edges, 27886 markings/sec, 3475 secs
lola: 98355390 markings, 444618301 edges, 26784 markings/sec, 3480 secs
lola: 98482685 markings, 445245416 edges, 25459 markings/sec, 3485 secs
lola: 98607396 markings, 445895506 edges, 24942 markings/sec, 3490 secs
lola: 98765196 markings, 446618124 edges, 31560 markings/sec, 3495 secs
lola: 98925680 markings, 447336671 edges, 32097 markings/sec, 3500 secs
lola: 99081434 markings, 448068243 edges, 31151 markings/sec, 3505 secs
lola: 99225039 markings, 448720045 edges, 28721 markings/sec, 3510 secs
lola: 99364888 markings, 449366986 edges, 27970 markings/sec, 3515 secs
lola: 99491230 markings, 449999123 edges, 25268 markings/sec, 3520 secs
lola: 99627323 markings, 450634389 edges, 27219 markings/sec, 3525 secs
lola: 99776224 markings, 451321160 edges, 29780 markings/sec, 3530 secs
lola: 99908134 markings, 451945107 edges, 26382 markings/sec, 3535 secs
lola: 100045308 markings, 452613499 edges, 27435 markings/sec, 3540 secs
lola: 100183061 markings, 453222096 edges, 27551 markings/sec, 3545 secs
lola: 100312815 markings, 453810114 edges, 25951 markings/sec, 3550 secs
lola: 100458620 markings, 454440726 edges, 29161 markings/sec, 3555 secs
lola: 100607014 markings, 455125790 edges, 29679 markings/sec, 3560 secs
lola: time limit reached - aborting
lola:
preliminary result: 4 4 4 4 unknown 0 0 16 0 0 0 4 0 4 4 0
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 4 4 4 4 unknown 0 0 16 0 0 0 4 0 4 4 0
lola:
preliminary result: 4 4 4 4 unknown 0 0 16 0 0 0 4 0 4 4 0
lola: memory consumption: 5147492 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 4 4 4 4 unknown 0 0 16 0 0 0 4 0 4 4 0
lola: memory consumption: 5147736 KB
lola: time consumption: 3569 seconds
BK_STOP 1553035264410
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-4"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is NeoElection-COL-4, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r110-oct2-155272242200046"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-4.tgz
mv NeoElection-COL-4 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;