About the Execution of 2018-Gold for Peterson-COL-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3404.710 | 3570971.00 | 3663471.00 | 302.20 | 8 ? 8 8 8 8 8 8 8 8 8 8 ? 8 8 ? | 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-155272242400172.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 Peterson-COL-7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400172
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 4.1K Feb 12 04:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 12 04:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 8 03:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 8 03:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 101 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 339 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 4 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 4 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 02:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 1 02:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 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 47K 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 Peterson-COL-7-UpperBounds-00
FORMULA_NAME Peterson-COL-7-UpperBounds-01
FORMULA_NAME Peterson-COL-7-UpperBounds-02
FORMULA_NAME Peterson-COL-7-UpperBounds-03
FORMULA_NAME Peterson-COL-7-UpperBounds-04
FORMULA_NAME Peterson-COL-7-UpperBounds-05
FORMULA_NAME Peterson-COL-7-UpperBounds-06
FORMULA_NAME Peterson-COL-7-UpperBounds-07
FORMULA_NAME Peterson-COL-7-UpperBounds-08
FORMULA_NAME Peterson-COL-7-UpperBounds-09
FORMULA_NAME Peterson-COL-7-UpperBounds-10
FORMULA_NAME Peterson-COL-7-UpperBounds-11
FORMULA_NAME Peterson-COL-7-UpperBounds-12
FORMULA_NAME Peterson-COL-7-UpperBounds-13
FORMULA_NAME Peterson-COL-7-UpperBounds-14
FORMULA_NAME Peterson-COL-7-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553041410181
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-COL-7 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating COL Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-COL-7 formula UpperBounds into LoLA format
===========================================================================================
prep: translating COL formula complete
vrfy: Checking UpperBounds @ Peterson-COL-7 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5256/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: Size of bit vector: 65536
lola: finding significant places
lola: 2048 places, 3208 transitions, 2017 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5008 transition conflict sets
lola: TASK
lola: reading formula from Peterson-COL-7-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (p1039 + p1038 + p1037 + p1036 + p1035 + p1034 + p1033 + p1032 + p1031 + p1030 + p1029 + p1028 + p1027 + p1026 + p1025 + p1024 <= 0)
lola: after: (8 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (p1039 + p1038 + p1037 + p1036 + p1035 + p1034 + p1033 + p1032 + p1031 + p1030 + p1029 + p1028 + p1027 + p1026 + p1025 + p1024 <= 0)
lola: after: (8 <= 0)
lola: always false
lola: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559) : MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199 + p200 + p201 + p202 + p203 + p204 + p205 + p206 + p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p482 + p483 + p484 + p485 + p486 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 + p90 + p91 + p92 + p93 + p94 + p95 + p96 + p97 + p98 + p99) : MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + p632 + p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642 + p643 + p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651 + p652 + p653 + p654 + p655 + p656 + p657 + p658 + p659 + p660 + p661 + p662 + p663 + p664 + p665 + p666 + p667 + p668 + p669 + p670 + p671 + p672 + p673 + p674 + p675 + p676 + p677 + p678 + p679 + p680 + p681 + p682 + p683 + p684 + p685 + p686 + p687 + p688 + p689 + p690 + p691 + p692 + p693 + p694 + p695 + p696 + p697 + p698 + p699 + p700 + p701 + p702 + p703 + p704 + p705 + p706 + p707 + p708 + p709 + p710 + p711 + p712 + p713 + p714 + p715 + p716 + p717 + p718 + p719 + p720 + p721 + p722 + p723 + p724 + p725 + p726 + p727 + p728 + p729 + p730 + p731 + p732 + p733 + p734 + p735 + p736 + p737 + p738 + p739 + p740 + p741 + p742 + p743 + p744 + p745 + p746 + p747 + p748 + p749 + p750 + p751 + p752 + p753 + p754 + p755 + p756 + p757 + p758 + p759 + p760 + p761 + p762 + p763 + p764 + p765 + p766 + p767 + p768 + p769 + p770 + p771 + p772 + p773 + p774 + p775 + p776 + p777 + p778 + p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786 + p787 + p788 + p789 + p790 + p791 + p792 + p793 + p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806 + p807 + p808 + p809 + p810 + p811 + p812 + p813 + p814 + p815 + p816 + p817 + p818 + p819 + p820 + p821 + p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829 + p830 + p831 + p832 + p833 + p834 + p835 + p836 + p837 + p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847 + p848 + p849 + p850 + p851 + p852 + p853 + p854 + p855 + p856 + p857 + p858 + p859 + p860 + p861 + p862 + p863 + p864 + p865 + p866 + p867 + p868 + p869 + p870 + p871 + p872 + p873 + p874 + p875 + p876 + p877 + p878 + p879 + p880 + p881 + p882 + p883 + p884 + p885 + p886 + p887 + p888 + p889 + p890 + p891 + p892 + p893 + p894 + p895 + p896 + p897 + p898 + p899 + p900 + p901 + p902 + p903 + p904 + p905 + p906 + p907 + p908 + p909 + p910 + p911 + p912 + p913 + p914 + p915 + p916 + p917 + p918 + p919 + p920 + p921 + p922 + p923 + p924 + p925 + p926 + p927 + p928 + p929 + p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958 + p959 + p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975 + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988 + p989 + p990 + p991 + p992 + p993 + p994 + p995 + p996 + p997 + p998 + p999) : MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p1949 + p1950 + p1951 + p1952 + p1953 + p1954 + p1955 + p1956 + p1957 + p1958 + p1959 + p1960 + p1961 + p1962 + p1963 + p1964 + p1965 + p1966 + p1967 + p1968 + p1969 + p1970 + p1971 + p1972 + p1973 + p1974 + p1975 + p1976 + p1977 + p1978 + p1979 + p1980 + p1981 + p1982 + p1983 + p1984 + p1985 + p1986 + p1987 + p1988 + p1989 + p1990 + p1991 + p1992 + p1993 + p1994 + p1995 + p1996 + p1997 + p1998 + p1999 + p2000 + p2001 + p2002 + p2003 + p2004 + p2005 + p2006 + p2007 + p2008 + p2009 + p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038 + p2039 + p2040 + p2041 + p2042 + p2043 + p2044 + p2045 + p2046 + p2047 + p1898 + p1897 + p1896 + p1895 + p1894 + p1893 + p1892 + p1891 + p1890 + p1889 + p1888 + p1887 + p1886 + p1885 + p1884 + p1883 + p1882 + p1881 + p1880 + p1878 + p1877 + p1876 + p1875 + p1874 + p1873 + p1600 + p1601 + p1602 + p1603 + p1604 + p1605 + p1606 + p1607 + p1608 + p1609 + p1610 + p1611 + p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1872 + p1656 + p1657 + p1658 + p1659 + p1660 + p1661 + p1662 + p1663 + p1664 + p1665 + p1666 + p1667 + p1668 + p1669 + p1670 + p1671 + p1672 + p1673 + p1674 + p1675 + p1676 + p1677 + p1678 + p1679 + p1680 + p1681 + p1682 + p1683 + p1684 + p1685 + p1686 + p1687 + p1688 + p1689 + p1690 + p1691 + p1692 + p1693 + p1694 + p1695 + p1696 + p1697 + p1698 + p1699 + p1700 + p1701 + p1702 + p1703 + p1704 + p1705 + p1706 + p1707 + p1708 + p1709 + p1710 + p1871 + p1712 + p1713 + p1714 + p1715 + p1716 + p1717 + p1718 + p1719 + p1720 + p1721 + p1722 + p1723 + p1724 + p1725 + p1726 + p1727 + p1728 + p1729 + p1730 + p1731 + p1732 + p1733 + p1734 + p1735 + p1736 + p1737 + p1738 + p1739 + p1740 + p1741 + p1742 + p1743 + p1744 + p1745 + p1746 + p1747 + p1748 + p1749 + p1750 + p1751 + p1752 + p1753 + p1754 + p1755 + p1756 + p1757 + p1758 + p1759 + p1760 + p1761 + p1762 + p1763 + p1764 + p1765 + p1766 + p1870 + p1768 + p1769 + p1770 + p1771 + p1772 + p1773 + p1774 + p1775 + p1776 + p1777 + p1778 + p1779 + p1780 + p1781 + p1782 + p1783 + p1784 + p1785 + p1786 + p1787 + p1788 + p1789 + p1790 + p1791 + p1792 + p1793 + p1794 + p1795 + p1796 + p1797 + p1798 + p1799 + p1800 + p1801 + p1802 + p1803 + p1804 + p1805 + p1806 + p1807 + p1808 + p1809 + p1810 + p1811 + p1812 + p1813 + p1814 + p1815 + p1816 + p1817 + p1818 + p1819 + p1820 + p1821 + p1822 + p1869 + p1824 + p1825 + p1826 + p1827 + p1828 + p1829 + p1830 + p1831 + p1832 + p1833 + p1834 + p1835 + p1836 + p1837 + p1838 + p1839 + p1840 + p1841 + p1842 + p1843 + p1844 + p1845 + p1846 + p1847 + p1848 + p1849 + p1850 + p1851 + p1852 + p1853 + p1854 + p1855 + p1856 + p1857 + p1858 + p1859 + p1860 + p1861 + p1862 + p1863 + p1864 + p1865 + p1866 + p1867 + p1868 + p1823 + p1767 + p1711 + p1655 + p1879 + p1899) : MAX(0) : MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p1949 + p1950 + p1951 + p1952 + p1953 + p1954 + p1955 + p1956 + p1957 + p1958 + p1959 + p1960 + p1961 + p1962 + p1963 + p1964 + p1965 + p1966 + p1967 + p1968 + p1969 + p1970 + p1971 + p1972 + p1973 + p1974 + p1975 + p1976 + p1977 + p1978 + p1979 + p1980 + p1981 + p1982 + p1983 + p1984 + p1985 + p1986 + p1987 + p1988 + p1989 + p1990 + p1991 + p1992 + p1993 + p1994 + p1995 + p1996 + p1997 + p1998 + p1999 + p2000 + p2001 + p2002 + p2003 + p2004 + p2005 + p2006 + p2007 + p2008 + p2009 + p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038 + p2039 + p2040 + p2041 + p2042 + p2043 + p2044 + p2045 + p2046 + p2047 + p1898 + p1897 + p1896 + p1895 + p1894 + p1893 + p1892 + p1891 + p1890 + p1889 + p1888 + p1887 + p1886 + p1885 + p1884 + p1883 + p1882 + p1881 + p1880 + p1878 + p1877 + p1876 + p1875 + p1874 + p1873 + p1600 + p1601 + p1602 + p1603 + p1604 + p1605 + p1606 + p1607 + p1608 + p1609 + p1610 + p1611 + p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1872 + p1656 + p1657 + p1658 + p1659 + p1660 + p1661 + p1662 + p1663 + p1664 + p1665 + p1666 + p1667 + p1668 + p1669 + p1670 + p1671 + p1672 + p1673 + p1674 + p1675 + p1676 + p1677 + p1678 + p1679 + p1680 + p1681 + p1682 + p1683 + p1684 + p1685 + p1686 + p1687 + p1688 + p1689 + p1690 + p1691 + p1692 + p1693 + p1694 + p1695 + p1696 + p1697 + p1698 + p1699 + p1700 + p1701 + p1702 + p1703 + p1704 + p1705 + p1706 + p1707 + p1708 + p1709 + p1710 + p1871 + p1712 + p1713 + p1714 + p1715 + p1716 + p1717 + p1718 + p1719 + p1720 + p1721 + p1722 + p1723 + p1724 + p1725 + p1726 + p1727 + p1728 + p1729 + p1730 + p1731 + p1732 + p1733 + p1734 + p1735 + p1736 + p1737 + p1738 + p1739 + p1740 + p1741 + p1742 + p1743 + p1744 + p1745 + p1746 + p1747 + p1748 + p1749 + p1750 + p1751 + p1752 + p1753 + p1754 + p1755 + p1756 + p1757 + p1758 + p1759 + p1760 + p1761 + p1762 + p1763 + p1764 + p1765 + p1766 + p1870 + p1768 + p1769 + p1770 + p1771 + p1772 + p1773 + p1774 + p1775 + p1776 + p1777 + p1778 + p1779 + p1780 + p1781 + p1782 + p1783 + p1784 + p1785 + p1786 + p1787 + p1788 + p1789 + p1790 + p1791 + p1792 + p1793 + p1794 + p1795 + p1796 + p1797 + p1798 + p1799 + p1800 + p1801 + p1802 + p1803 + p1804 + p1805 + p1806 + p1807 + p1808 + p1809 + p1810 + p1811 + p1812 + p1813 + p1814 + p1815 + p1816 + p1817 + p1818 + p1819 + p1820 + p1821 + p1822 + p1869 + p1824 + p1825 + p1826 + p1827 + p1828 + p1829 + p1830 + p1831 + p1832 + p1833 + p1834 + p1835 + p1836 + p1837 + p1838 + p1839 + p1840 + p1841 + p1842 + p1843 + p1844 + p1845 + p1846 + p1847 + p1848 + p1849 + p1850 + p1851 + p1852 + p1853 + p1854 + p1855 + p1856 + p1857 + p1858 + p1859 + p1860 + p1861 + p1862 + p1863 + p1864 + p1865 + p1866 + p1867 + p1868 + p1823 + p1767 + p1711 + p1655 + p1879 + p1899) : MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48) : MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p1949 + p1950 + p1951 + p1952 + p1953 + p1954 + p1955 + p1956 + p1957 + p1958 + p1959 + p1960 + p1961 + p1962 + p1963 + p1964 + p1965 + p1966 + p1967 + p1968 + p1969 + p1970 + p1971 + p1972 + p1973 + p1974 + p1975 + p1976 + p1977 + p1978 + p1979 + p1980 + p1981 + p1982 + p1983 + p1984 + p1985 + p1986 + p1987 + p1988 + p1989 + p1990 + p1991 + p1992 + p1993 + p1994 + p1995 + p1996 + p1997 + p1998 + p1999 + p2000 + p2001 + p2002 + p2003 + p2004 + p2005 + p2006 + p2007 + p2008 + p2009 + p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038 + p2039 + p2040 + p2041 + p2042 + p2043 + p2044 + p2045 + p2046 + p2047 + p1898 + p1897 + p1896 + p1895 + p1894 + p1893 + p1892 + p1891 + p1890 + p1889 + p1888 + p1887 + p1886 + p1885 + p1884 + p1883 + p1882 + p1881 + p1880 + p1878 + p1877 + p1876 + p1875 + p1874 + p1873 + p1600 + p1601 + p1602 + p1603 + p1604 + p1605 + p1606 + p1607 + p1608 + p1609 + p1610 + p1611 + p1612 + p1613 + p1614 + p1615 + p1616 + p1617 + p1618 + p1619 + p1620 + p1621 + p1622 + p1623 + p1624 + p1625 + p1626 + p1627 + p1628 + p1629 + p1630 + p1631 + p1632 + p1633 + p1634 + p1635 + p1636 + p1637 + p1638 + p1639 + p1640 + p1641 + p1642 + p1643 + p1644 + p1645 + p1646 + p1647 + p1648 + p1649 + p1650 + p1651 + p1652 + p1653 + p1654 + p1872 + p1656 + p1657 + p1658 + p1659 + p1660 + p1661 + p1662 + p1663 + p1664 + p1665 + p1666 + p1667 + p1668 + p1669 + p1670 + p1671 + p1672 + p1673 + p1674 + p1675 + p1676 + p1677 + p1678 + p1679 + p1680 + p1681 + p1682 + p1683 + p1684 + p1685 + p1686 + p1687 + p1688 + p1689 + p1690 + p1691 + p1692 + p1693 + p1694 + p1695 + p1696 + p1697 + p1698 + p1699 + p1700 + p1701 + p1702 + p1703 + p1704 + p1705 + p1706 + p1707 + p1708 + p1709 + p1710 + p1871 + p1712 + p1713 + p1714 + p1715 + p1716 + p1717 + p1718 + p1719 + p1720 + p1721 + p1722 + p1723 + p1724 + p1725 + p1726 + p1727 + p1728 + p1729 + p1730 + p1731 + p1732 + p1733 + p1734 + p1735 + p1736 + p1737 + p1738 + p1739 + p1740 + p1741 + p1742 + p1743 + p1744 + p1745 + p1746 + p1747 + p1748 + p1749 + p1750 + p1751 + p1752 + p1753 + p1754 + p1755 + p1756 + p1757 + p1758 + p1759 + p1760 + p1761 + p1762 + p1763 + p1764 + p1765 + p1766 + p1870 + p1768 + p1769 + p1770 + p1771 + p1772 + p1773 + p1774 + p1775 + p1776 + p1777 + p1778 + p1779 + p1780 + p1781 + p1782 + p1783 + p1784 + p1785 + p1786 + p1787 + p1788 + p1789 + p1790 + p1791 + p1792 + p1793 + p1794 + p1795 + p1796 + p1797 + p1798 + p1799 + p1800 + p1801 + p1802 + p1803 + p1804 + p1805 + p1806 + p1807 + p1808 + p1809 + p1810 + p1811 + p1812 + p1813 + p1814 + p1815 + p1816 + p1817 + p1818 + p1819 + p1820 + p1821 + p1822 + p1869 + p1824 + p1825 + p1826 + p1827 + p1828 + p1829 + p1830 + p1831 + p1832 + p1833 + p1834 + p1835 + p1836 + p1837 + p1838 + p1839 + p1840 + p1841 + p1842 + p1843 + p1844 + p1845 + p1846 + p1847 + p1848 + p1849 + p1850 + p1851 + p1852 + p1853 + p1854 + p1855 + p1856 + p1857 + p1858 + p1859 + p1860 + p1861 + p1862 + p1863 + p1864 + p1865 + p1866 + p1867 + p1868 + p1823 + p1767 + p1711 + p1655 + p1879 + p1899) : MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p1089 + p1090 + p1091 + p1092 + p1093 + p1094 + p1095) : MAX(p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023) : MAX(p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567) : MAX(0) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48) : MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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 Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-5 8 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 Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-13 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: 61043 markings, 129739 edges, 12209 markings/sec, 0 secs
lola: 124545 markings, 282575 edges, 12700 markings/sec, 5 secs
lola: 186989 markings, 438989 edges, 12489 markings/sec, 10 secs
lola: 248458 markings, 599022 edges, 12294 markings/sec, 15 secs
lola: 309239 markings, 761922 edges, 12156 markings/sec, 20 secs
lola: 369584 markings, 926401 edges, 12069 markings/sec, 25 secs
lola: 429087 markings, 1094645 edges, 11901 markings/sec, 30 secs
lola: 488246 markings, 1264787 edges, 11832 markings/sec, 35 secs
lola: 547378 markings, 1434143 edges, 11826 markings/sec, 40 secs
lola: 605598 markings, 1607902 edges, 11644 markings/sec, 45 secs
lola: 663552 markings, 1782409 edges, 11591 markings/sec, 50 secs
lola: 721717 markings, 1954889 edges, 11633 markings/sec, 55 secs
lola: 779249 markings, 2131234 edges, 11506 markings/sec, 60 secs
lola: 836850 markings, 2307590 edges, 11520 markings/sec, 65 secs
lola: 894239 markings, 2485197 edges, 11478 markings/sec, 70 secs
lola: 951293 markings, 2663932 edges, 11411 markings/sec, 75 secs
lola: 1008167 markings, 2843352 edges, 11375 markings/sec, 80 secs
lola: 1064449 markings, 3025653 edges, 11256 markings/sec, 85 secs
lola: 1116935 markings, 3231972 edges, 10497 markings/sec, 90 secs
lola: 1164400 markings, 3466915 edges, 9493 markings/sec, 95 secs
lola: 1208913 markings, 3720400 edges, 8903 markings/sec, 100 secs
lola: 1265811 markings, 3898401 edges, 11380 markings/sec, 105 secs
lola: 1322112 markings, 4079448 edges, 11260 markings/sec, 110 secs
lola: 1368539 markings, 4321059 edges, 9285 markings/sec, 115 secs
lola: 1421795 markings, 4520384 edges, 10651 markings/sec, 120 secs
lola: 1478296 markings, 4699483 edges, 11300 markings/sec, 125 secs
lola: 1534658 markings, 4879260 edges, 11272 markings/sec, 130 secs
lola: 1590471 markings, 5062123 edges, 11163 markings/sec, 135 secs
lola: 1646903 markings, 5242364 edges, 11286 markings/sec, 140 secs
lola: 1702376 markings, 5427960 edges, 11095 markings/sec, 145 secs
lola: 1756120 markings, 5624755 edges, 10749 markings/sec, 150 secs
lola: 1796468 markings, 5903562 edges, 8070 markings/sec, 155 secs
lola: 1843903 markings, 6138643 edges, 9487 markings/sec, 160 secs
lola: 1899182 markings, 6323391 edges, 11056 markings/sec, 165 secs
lola: 1953524 markings, 6512045 edges, 10868 markings/sec, 170 secs
lola: 2008616 markings, 6697410 edges, 11018 markings/sec, 175 secs
lola: 2063077 markings, 6886361 edges, 10892 markings/sec, 180 secs
lola: 2117308 markings, 7076888 edges, 10846 markings/sec, 185 secs
lola: 2163176 markings, 7322574 edges, 9174 markings/sec, 190 secs
lola: 2204571 markings, 7600577 edges, 8279 markings/sec, 195 secs
lola: 2254938 markings, 7817174 edges, 10073 markings/sec, 200 secs
lola: 2310269 markings, 8002249 edges, 11066 markings/sec, 205 secs
lola: 2354537 markings, 8249877 edges, 8854 markings/sec, 210 secs
lola: 2399652 markings, 8492599 edges, 9023 markings/sec, 215 secs
lola: 2452851 markings, 8690470 edges, 10640 markings/sec, 220 secs
lola: 2493164 markings, 8960994 edges, 8063 markings/sec, 225 secs
lola: 2538114 markings, 9204796 edges, 8990 markings/sec, 230 secs
lola: 2593825 markings, 9387205 edges, 11142 markings/sec, 235 secs
lola: 2648597 markings, 9574822 edges, 10954 markings/sec, 240 secs
lola: 2703844 markings, 9759618 edges, 11049 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown unknown unknown unknown unknown unknown 8 unknown unknown
lola: memory consumption: 605800 KB
lola: time consumption: 257 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1016 + p1017 + p1018 + p1019 + p1020 + p1021 + p1022 + p1023)
lola: processed formula length: 66
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-11 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p108... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p108... (shortened)
lola: processed formula length: 450
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 9 markings, 8 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-10 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559)
lola: processed formula length: 394
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: 67730 markings, 143061 edges, 13546 markings/sec, 0 secs
lola: 139258 markings, 315850 edges, 14306 markings/sec, 5 secs
lola: 209248 markings, 492935 edges, 13998 markings/sec, 10 secs
lola: 277792 markings, 674820 edges, 13709 markings/sec, 15 secs
lola: 344996 markings, 860993 edges, 13441 markings/sec, 20 secs
lola: 412058 markings, 1050954 edges, 13412 markings/sec, 25 secs
lola: 479212 markings, 1243423 edges, 13431 markings/sec, 30 secs
lola: 546372 markings, 1437740 edges, 13432 markings/sec, 35 secs
lola: 612414 markings, 1631867 edges, 13208 markings/sec, 40 secs
lola: 678342 markings, 1827915 edges, 13186 markings/sec, 45 secs
lola: 743695 markings, 2024799 edges, 13071 markings/sec, 50 secs
lola: 808598 markings, 2223146 edges, 12981 markings/sec, 55 secs
lola: 873084 markings, 2422737 edges, 12897 markings/sec, 60 secs
lola: 937112 markings, 2624452 edges, 12806 markings/sec, 65 secs
lola: 1000844 markings, 2827910 edges, 12746 markings/sec, 70 secs
lola: 1064068 markings, 3032117 edges, 12645 markings/sec, 75 secs
lola: 1126228 markings, 3235712 edges, 12432 markings/sec, 80 secs
lola: 1188342 markings, 3447131 edges, 12423 markings/sec, 85 secs
lola: 1233571 markings, 3739406 edges, 9046 markings/sec, 90 secs
lola: 1277344 markings, 4038571 edges, 8755 markings/sec, 95 secs
lola: 1329801 markings, 4295225 edges, 10491 markings/sec, 100 secs
lola: 1373967 markings, 4590947 edges, 8833 markings/sec, 105 secs
lola: 1424962 markings, 4852346 edges, 10199 markings/sec, 110 secs
lola: 1486886 markings, 5055446 edges, 12385 markings/sec, 115 secs
lola: 1548508 markings, 5258896 edges, 12324 markings/sec, 120 secs
lola: 1610642 markings, 5468995 edges, 12427 markings/sec, 125 secs
lola: 1672106 markings, 5678954 edges, 12293 markings/sec, 130 secs
lola: 1732921 markings, 5895007 edges, 12163 markings/sec, 135 secs
lola: 1784665 markings, 6159205 edges, 10349 markings/sec, 140 secs
lola: 1830050 markings, 6454391 edges, 9077 markings/sec, 145 secs
lola: 1874560 markings, 6751706 edges, 8902 markings/sec, 150 secs
lola: 1935775 markings, 6964222 edges, 12243 markings/sec, 155 secs
lola: 1996605 markings, 7175978 edges, 12166 markings/sec, 160 secs
lola: 2057455 markings, 7390338 edges, 12170 markings/sec, 165 secs
lola: 2116362 markings, 7603971 edges, 11781 markings/sec, 170 secs
lola: 2165474 markings, 7868294 edges, 9822 markings/sec, 175 secs
lola: 2213262 markings, 8137997 edges, 9558 markings/sec, 180 secs
lola: 2259504 markings, 8416987 edges, 9248 markings/sec, 185 secs
lola: 2298601 markings, 8724630 edges, 7819 markings/sec, 190 secs
lola: 2336600 markings, 9043233 edges, 7600 markings/sec, 195 secs
lola: 2380740 markings, 9347193 edges, 8828 markings/sec, 200 secs
lola: 2425080 markings, 9645492 edges, 8868 markings/sec, 205 secs
lola: 2468673 markings, 9943790 edges, 8719 markings/sec, 210 secs
lola: 2512950 markings, 10239219 edges, 8855 markings/sec, 215 secs
lola: 2557067 markings, 10531819 edges, 8823 markings/sec, 220 secs
lola: 2600780 markings, 10825998 edges, 8743 markings/sec, 225 secs
lola: 2644083 markings, 11122459 edges, 8661 markings/sec, 230 secs
lola: 2687735 markings, 11417596 edges, 8730 markings/sec, 235 secs
lola: 2732225 markings, 11707304 edges, 8898 markings/sec, 240 secs
lola: 2775619 markings, 12001696 edges, 8679 markings/sec, 245 secs
lola: 2818957 markings, 12296515 edges, 8668 markings/sec, 250 secs
lola: 2862724 markings, 12592892 edges, 8753 markings/sec, 255 secs
lola: 2907560 markings, 12884992 edges, 8967 markings/sec, 260 secs
lola: 2951571 markings, 13182614 edges, 8802 markings/sec, 265 secs
lola: 2995598 markings, 13479945 edges, 8805 markings/sec, 270 secs
lola: 3039574 markings, 13777362 edges, 8795 markings/sec, 275 secs
lola: 3083268 markings, 14074004 edges, 8739 markings/sec, 280 secs
lola: 3127608 markings, 14369675 edges, 8868 markings/sec, 285 secs
lola: 3173739 markings, 14656183 edges, 9226 markings/sec, 290 secs
lola: 3212522 markings, 14978691 edges, 7757 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown unknown unknown unknown 8 8 unknown 8 unknown unknown
lola: memory consumption: 654128 KB
lola: time consumption: 559 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p108... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1040 + p1041 + p1042 + p1043 + p1044 + p1045 + p1046 + p1047 + p1048 + p1049 + p1050 + p1051 + p1052 + p1053 + p1054 + p1055 + p1056 + p1057 + p1058 + p1059 + p1060 + p1061 + p1062 + p1063 + p1064 + p1065 + p1066 + p1067 + p1068 + p1069 + p1070 + p1071 + p1072 + p1073 + p1074 + p1075 + p1076 + p1077 + p1078 + p1079 + p1080 + p1081 + p1082 + p1083 + p1084 + p1085 + p1086 + p1087 + p1088 + p108... (shortened)
lola: processed formula length: 450
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 9 markings, 8 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-7 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48)
lola: processed formula length: 328
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 17 markings, 16 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-8 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16 + p17 + p18 + p19 + p20 + p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p40 + p41 + p42 + p43 + p44 + p45 + p46 + p47 + p49 + p50 + p51 + p52 + p53 + p54 + p55 + p48)
lola: processed formula length: 328
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 17 markings, 16 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-14 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p504 + p505 + p506 + p507 + p508 + p509 + p510 + p511 + p512 + p513 + p514 + p515 + p516 + p517 + p518 + p519 + p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539 + p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547 + p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559)
lola: processed formula length: 394
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: 65420 markings, 137861 edges, 13084 markings/sec, 0 secs
lola: 134432 markings, 303947 edges, 13802 markings/sec, 5 secs
lola: 202027 markings, 473911 edges, 13519 markings/sec, 10 secs
lola: 267999 markings, 648830 edges, 13194 markings/sec, 15 secs
lola: 332918 markings, 827222 edges, 12984 markings/sec, 20 secs
lola: 397111 markings, 1008124 edges, 12839 markings/sec, 25 secs
lola: 460855 markings, 1190314 edges, 12749 markings/sec, 30 secs
lola: 524339 markings, 1373355 edges, 12697 markings/sec, 35 secs
lola: 587287 markings, 1557978 edges, 12590 markings/sec, 40 secs
lola: 649822 markings, 1742998 edges, 12507 markings/sec, 45 secs
lola: 712034 markings, 1929279 edges, 12442 markings/sec, 50 secs
lola: 773811 markings, 2116582 edges, 12355 markings/sec, 55 secs
lola: 835255 markings, 2304692 edges, 12289 markings/sec, 60 secs
lola: 896078 markings, 2495162 edges, 12165 markings/sec, 65 secs
lola: 956936 markings, 2686230 edges, 12172 markings/sec, 70 secs
lola: 1016885 markings, 2879530 edges, 11990 markings/sec, 75 secs
lola: 1077504 markings, 3074668 edges, 12124 markings/sec, 80 secs
lola: 1137484 markings, 3273687 edges, 11996 markings/sec, 85 secs
lola: 1195279 markings, 3482262 edges, 11559 markings/sec, 90 secs
lola: 1238012 markings, 3765617 edges, 8547 markings/sec, 95 secs
lola: 1279845 markings, 4055529 edges, 8367 markings/sec, 100 secs
lola: 1331172 markings, 4301044 edges, 10265 markings/sec, 105 secs
lola: 1373681 markings, 4589600 edges, 8502 markings/sec, 110 secs
lola: 1422435 markings, 4844448 edges, 9751 markings/sec, 115 secs
lola: 1483338 markings, 5043465 edges, 12181 markings/sec, 120 secs
lola: 1544180 markings, 5244868 edges, 12168 markings/sec, 125 secs
lola: 1603815 markings, 5445097 edges, 11927 markings/sec, 130 secs
lola: 1663234 markings, 5649177 edges, 11884 markings/sec, 135 secs
lola: 1721966 markings, 5854966 edges, 11746 markings/sec, 140 secs
lola: 1775251 markings, 6094698 edges, 10657 markings/sec, 145 secs
lola: 1819539 markings, 6383319 edges, 8858 markings/sec, 150 secs
lola: 1862872 markings, 6669559 edges, 8667 markings/sec, 155 secs
lola: 1917139 markings, 6900403 edges, 10853 markings/sec, 160 secs
lola: 1976212 markings, 7103919 edges, 11815 markings/sec, 165 secs
lola: 2035324 markings, 7312030 edges, 11822 markings/sec, 170 secs
lola: 2093371 markings, 7519026 edges, 11609 markings/sec, 175 secs
lola: 2147540 markings, 7749972 edges, 10834 markings/sec, 180 secs
lola: 2189481 markings, 8034671 edges, 8388 markings/sec, 185 secs
lola: 2239973 markings, 8285257 edges, 10098 markings/sec, 190 secs
lola: 2277768 markings, 8587285 edges, 7559 markings/sec, 195 secs
lola: 2316823 markings, 8886708 edges, 7811 markings/sec, 200 secs
lola: 2357224 markings, 9186011 edges, 8080 markings/sec, 205 secs
lola: 2399703 markings, 9474092 edges, 8496 markings/sec, 210 secs
lola: 2440926 markings, 9754850 edges, 8245 markings/sec, 215 secs
lola: 2483210 markings, 10039668 edges, 8457 markings/sec, 220 secs
lola: 2525589 markings, 10326361 edges, 8476 markings/sec, 225 secs
lola: 2567497 markings, 10605067 edges, 8382 markings/sec, 230 secs
lola: 2610031 markings, 10887576 edges, 8507 markings/sec, 235 secs
lola: 2651469 markings, 11173438 edges, 8288 markings/sec, 240 secs
lola: 2694431 markings, 11456120 edges, 8592 markings/sec, 245 secs
lola: 2736323 markings, 11744837 edges, 8378 markings/sec, 250 secs
lola: 2778429 markings, 12024703 edges, 8421 markings/sec, 255 secs
lola: 2821628 markings, 12307741 edges, 8640 markings/sec, 260 secs
lola: 2863318 markings, 12596451 edges, 8338 markings/sec, 265 secs
lola: 2906901 markings, 12881453 edges, 8717 markings/sec, 270 secs
lola: 2949199 markings, 13172129 edges, 8460 markings/sec, 275 secs
lola: 2992857 markings, 13458883 edges, 8732 markings/sec, 280 secs
lola: 3034936 markings, 13748360 edges, 8416 markings/sec, 285 secs
lola: 3078448 markings, 14032943 edges, 8702 markings/sec, 290 secs
lola: 3121763 markings, 14327693 edges, 8663 markings/sec, 295 secs
lola: 3164981 markings, 14613625 edges, 8644 markings/sec, 300 secs
lola: 3205598 markings, 14912677 edges, 8123 markings/sec, 305 secs
lola: 3246107 markings, 15210245 edges, 8102 markings/sec, 310 secs
lola: 3285329 markings, 15509618 edges, 7844 markings/sec, 315 secs
lola: 3325398 markings, 15813453 edges, 8014 markings/sec, 320 secs
lola: 3369178 markings, 16104457 edges, 8756 markings/sec, 325 secs
lola: 3413782 markings, 16390549 edges, 8921 markings/sec, 330 secs
lola: 3456815 markings, 16677134 edges, 8607 markings/sec, 335 secs
lola: 3499986 markings, 16956996 edges, 8634 markings/sec, 340 secs
lola: 3542905 markings, 17240282 edges, 8584 markings/sec, 345 secs
lola: 3586391 markings, 17526410 edges, 8697 markings/sec, 350 secs
lola: 3630627 markings, 17805304 edges, 8847 markings/sec, 355 secs
lola: 3673909 markings, 18090916 edges, 8656 markings/sec, 360 secs
lola: 3716808 markings, 18375151 edges, 8580 markings/sec, 365 secs
lola: 3760754 markings, 18654571 edges, 8789 markings/sec, 370 secs
lola: 3803326 markings, 18934755 edges, 8514 markings/sec, 375 secs
lola: 3846827 markings, 19221238 edges, 8700 markings/sec, 380 secs
lola: 3890926 markings, 19507695 edges, 8820 markings/sec, 385 secs
lola: 3935022 markings, 19793908 edges, 8819 markings/sec, 390 secs
lola: 3979376 markings, 20077052 edges, 8871 markings/sec, 395 secs
lola: 4024098 markings, 20366417 edges, 8944 markings/sec, 400 secs
lola: 4069101 markings, 20661960 edges, 9001 markings/sec, 405 secs
lola: 4113578 markings, 20959617 edges, 8895 markings/sec, 410 secs
lola: 4156892 markings, 21258196 edges, 8663 markings/sec, 415 secs
lola: 4199512 markings, 21546647 edges, 8524 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 8 unknown 8 8 unknown 8 8 unknown 8 8 unknown
lola: memory consumption: 794568 KB
lola: time consumption: 990 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: processed formula length: 3586
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 1002 markings, 1091 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-4 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: processed formula length: 3094
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 25 markings, 24 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-0 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: processed formula length: 3586
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 1002 markings, 1091 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-6 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 859 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p100 + p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 + p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156... (shortened)
lola: processed formula length: 3094
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 25 markings, 24 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-2 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1288 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p6... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1000 + p1001 + p1002 + p1003 + p1004 + p1005 + p1006 + p1007 + p1008 + p1009 + p1010 + p1011 + p1012 + p1013 + p1014 + p1015 + p568 + p569 + p570 + p571 + p572 + p573 + p574 + p575 + p576 + p577 + p578 + p579 + p580 + p581 + p582 + p583 + p584 + p585 + p586 + p587 + p588 + p589 + p590 + p591 + p592 + p593 + p594 + p595 + p596 + p597 + p598 + p599 + p600 + p601 + p602 + p603 + p604 + p605 + p6... (shortened)
lola: processed formula length: 3154
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 9429 markings, 20560 edges
lola: ========================================
FORMULA Peterson-COL-7-UpperBounds-3 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1919 + p1920 + p1921 + p1922 + p1923 + p1924 + p1925 + p1926 + p1927 + p1928 + p1929 + p1930 + p1931 + p1932 + p1933 + p1934 + p1935 + p1936 + p1937 + p1938 + p1939 + p1940 + p1941 + p1942 + p1943 + p1944 + p1945 + p1946 + p1947 + p1948 + p194... (shortened)
lola: processed formula length: 3586
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: SUBRESULT
lola: result: 8
lola: produced by: state space
lola: The maximum value of the given expression is 8
lola: 1002 markings, 1091 edges
FORMULA Peterson-COL-7-UpperBounds-9 8 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567)
lola: processed formula length: 58
lola: 0 rewrites
lola: closed formula file Peterson-COL-7-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: 8
lola: 58921 markings, 125093 edges, 11784 markings/sec, 0 secs
lola: 123312 markings, 279494 edges, 12878 markings/sec, 5 secs
lola: 186216 markings, 437025 edges, 12581 markings/sec, 10 secs
lola: 248112 markings, 598188 edges, 12379 markings/sec, 15 secs
lola: 309619 markings, 762797 edges, 12301 markings/sec, 20 secs
lola: 370003 markings, 927621 edges, 12077 markings/sec, 25 secs
lola: 428486 markings, 1093181 edges, 11697 markings/sec, 30 secs
lola: 487261 markings, 1261786 edges, 11755 markings/sec, 35 secs
lola: 546899 markings, 1432649 edges, 11928 markings/sec, 40 secs
lola: 605031 markings, 1606035 edges, 11626 markings/sec, 45 secs
lola: 663158 markings, 1781388 edges, 11625 markings/sec, 50 secs
lola: 721660 markings, 1954688 edges, 11700 markings/sec, 55 secs
lola: 779152 markings, 2130869 edges, 11498 markings/sec, 60 secs
lola: 837036 markings, 2308181 edges, 11577 markings/sec, 65 secs
lola: 894072 markings, 2484608 edges, 11407 markings/sec, 70 secs
lola: 950709 markings, 2662067 edges, 11327 markings/sec, 75 secs
lola: 1007210 markings, 2841191 edges, 11300 markings/sec, 80 secs
lola: 1063420 markings, 3022247 edges, 11242 markings/sec, 85 secs
lola: 1115609 markings, 3227428 edges, 10438 markings/sec, 90 secs
lola: 1162946 markings, 3461083 edges, 9467 markings/sec, 95 secs
lola: 1207637 markings, 3716175 edges, 8938 markings/sec, 100 secs
lola: 1264826 markings, 3895342 edges, 11438 markings/sec, 105 secs
lola: 1322165 markings, 4079625 edges, 11468 markings/sec, 110 secs
lola: 1368462 markings, 4320562 edges, 9259 markings/sec, 115 secs
lola: 1423180 markings, 4524914 edges, 10944 markings/sec, 120 secs
lola: 1481695 markings, 4710757 edges, 11703 markings/sec, 125 secs
lola: 1540128 markings, 4897116 edges, 11687 markings/sec, 130 secs
lola: 1597973 markings, 5086222 edges, 11569 markings/sec, 135 secs
lola: 1656129 markings, 5272614 edges, 11631 markings/sec, 140 secs
lola: 1713367 markings, 5463723 edges, 11448 markings/sec, 145 secs
lola: 1764341 markings, 5678462 edges, 10195 markings/sec, 150 secs
lola: 1803889 markings, 5950838 edges, 7910 markings/sec, 155 secs
lola: 1853749 markings, 6172252 edges, 9972 markings/sec, 160 secs
lola: 1909389 markings, 6358438 edges, 11128 markings/sec, 165 secs
lola: 1964324 markings, 6548289 edges, 10987 markings/sec, 170 secs
lola: 2019814 markings, 6735398 edges, 11098 markings/sec, 175 secs
lola: 2074768 markings, 6925988 edges, 10991 markings/sec, 180 secs
lola: 2128976 markings, 7119869 edges, 10842 markings/sec, 185 secs
lola: 2171992 markings, 7385765 edges, 8603 markings/sec, 190 secs
lola: 2214152 markings, 7664111 edges, 8432 markings/sec, 195 secs
lola: 2266627 markings, 7857161 edges, 10495 markings/sec, 200 secs
lola: 2321100 markings, 8040523 edges, 10895 markings/sec, 205 secs
lola: 2360456 markings, 8284234 edges, 7871 markings/sec, 210 secs
lola: 2403794 markings, 8507509 edges, 8668 markings/sec, 215 secs
lola: 2457955 markings, 8719248 edges, 10832 markings/sec, 220 secs
lola: 2498650 markings, 9001983 edges, 8139 markings/sec, 225 secs
lola: 2546424 markings, 9231602 edges, 9555 markings/sec, 230 secs
lola: 2602140 markings, 9416229 edges, 11143 markings/sec, 235 secs
lola: 2657580 markings, 9603530 edges, 11088 markings/sec, 240 secs
lola: 2712291 markings, 9788993 edges, 10942 markings/sec, 245 secs
lola: 2762075 markings, 9970634 edges, 9957 markings/sec, 250 secs
lola: 2812639 markings, 10156669 edges, 10113 markings/sec, 255 secs
lola: 2862257 markings, 10375011 edges, 9924 markings/sec, 260 secs
lola: 2909212 markings, 10605949 edges, 9391 markings/sec, 265 secs
lola: 2962471 markings, 10795610 edges, 10652 markings/sec, 270 secs
lola: 3002097 markings, 11040052 edges, 7925 markings/sec, 275 secs
lola: 3042308 markings, 11290582 edges, 8042 markings/sec, 280 secs
lola: 3082577 markings, 11542736 edges, 8054 markings/sec, 285 secs
lola: 3123632 markings, 11795747 edges, 8211 markings/sec, 290 secs
lola: 3165781 markings, 12060563 edges, 8430 markings/sec, 295 secs
lola: 3204417 markings, 12304480 edges, 7727 markings/sec, 300 secs
lola: 3244751 markings, 12549130 edges, 8067 markings/sec, 305 secs
lola: 3283572 markings, 12793597 edges, 7764 markings/sec, 310 secs
lola: 3324110 markings, 13044551 edges, 8108 markings/sec, 315 secs
lola: 3365383 markings, 13301512 edges, 8255 markings/sec, 320 secs
lola: 3404800 markings, 13549883 edges, 7883 markings/sec, 325 secs
lola: 3445908 markings, 13807946 edges, 8222 markings/sec, 330 secs
lola: 3488173 markings, 14068862 edges, 8453 markings/sec, 335 secs
lola: 3530926 markings, 14330083 edges, 8551 markings/sec, 340 secs
lola: 3572850 markings, 14595518 edges, 8385 markings/sec, 345 secs
lola: 3616427 markings, 14866140 edges, 8715 markings/sec, 350 secs
lola: 3660230 markings, 15133582 edges, 8761 markings/sec, 355 secs
lola: 3702880 markings, 15403298 edges, 8530 markings/sec, 360 secs
lola: 3745776 markings, 15665277 edges, 8579 markings/sec, 365 secs
lola: 3787468 markings, 15928503 edges, 8338 markings/sec, 370 secs
lola: 3831603 markings, 16182436 edges, 8827 markings/sec, 375 secs
lola: 3870929 markings, 16471970 edges, 7865 markings/sec, 380 secs
lola: 3913642 markings, 16726374 edges, 8543 markings/sec, 385 secs
lola: 3953491 markings, 17005816 edges, 7970 markings/sec, 390 secs
lola: 3997197 markings, 17270319 edges, 8741 markings/sec, 395 secs
lola: 4039469 markings, 17536097 edges, 8454 markings/sec, 400 secs
lola: 4080951 markings, 17802955 edges, 8296 markings/sec, 405 secs
lola: 4124197 markings, 18055474 edges, 8649 markings/sec, 410 secs
lola: 4166356 markings, 18314947 edges, 8432 markings/sec, 415 secs
lola: 4206571 markings, 18580099 edges, 8043 markings/sec, 420 secs
lola: 4247375 markings, 18843524 edges, 8161 markings/sec, 425 secs
lola: 4290157 markings, 19101967 edges, 8556 markings/sec, 430 secs
lola: 4329971 markings, 19372293 edges, 7963 markings/sec, 435 secs
lola: 4368092 markings, 19650249 edges, 7624 markings/sec, 440 secs
lola: 4407007 markings, 19926345 edges, 7783 markings/sec, 445 secs
lola: 4445565 markings, 20204866 edges, 7712 markings/sec, 450 secs
lola: 4483488 markings, 20484981 edges, 7585 markings/sec, 455 secs
lola: 4521734 markings, 20762247 edges, 7649 markings/sec, 460 secs
lola: 4562392 markings, 21029640 edges, 8132 markings/sec, 465 secs
lola: 4600250 markings, 21309594 edges, 7572 markings/sec, 470 secs
lola: 4639388 markings, 21578495 edges, 7828 markings/sec, 475 secs
lola: 4681027 markings, 21838108 edges, 8328 markings/sec, 480 secs
lola: 4720371 markings, 22107719 edges, 7869 markings/sec, 485 secs
lola: 4764082 markings, 22361615 edges, 8742 markings/sec, 490 secs
lola: 4803064 markings, 22641996 edges, 7796 markings/sec, 495 secs
lola: 4847124 markings, 22910316 edges, 8812 markings/sec, 500 secs
lola: 4890241 markings, 23180048 edges, 8623 markings/sec, 505 secs
lola: 4931072 markings, 23458003 edges, 8166 markings/sec, 510 secs
lola: 4973910 markings, 23732836 edges, 8568 markings/sec, 515 secs
lola: 5017745 markings, 23999556 edges, 8767 markings/sec, 520 secs
lola: 5060754 markings, 24259372 edges, 8602 markings/sec, 525 secs
lola: 5103519 markings, 24519795 edges, 8553 markings/sec, 530 secs
lola: 5146599 markings, 24782396 edges, 8616 markings/sec, 535 secs
lola: 5189069 markings, 25046193 edges, 8494 markings/sec, 540 secs
lola: 5230642 markings, 25312951 edges, 8315 markings/sec, 545 secs
lola: 5271576 markings, 25566574 edges, 8187 markings/sec, 550 secs
lola: 5313203 markings, 25815483 edges, 8325 markings/sec, 555 secs
lola: 5354550 markings, 26076317 edges, 8269 markings/sec, 560 secs
lola: 5397783 markings, 26336562 edges, 8647 markings/sec, 565 secs
lola: 5440852 markings, 26597306 edges, 8614 markings/sec, 570 secs
lola: 5483713 markings, 26858306 edges, 8572 markings/sec, 575 secs
lola: 5525578 markings, 27116422 edges, 8373 markings/sec, 580 secs
lola: 5567321 markings, 27370945 edges, 8349 markings/sec, 585 secs
lola: 5607811 markings, 27632826 edges, 8098 markings/sec, 590 secs
lola: 5649032 markings, 27887477 edges, 8244 markings/sec, 595 secs
lola: 5691231 markings, 28148796 edges, 8440 markings/sec, 600 secs
lola: 5733925 markings, 28409201 edges, 8539 markings/sec, 605 secs
lola: 5776584 markings, 28666597 edges, 8532 markings/sec, 610 secs
lola: 5818643 markings, 28921998 edges, 8412 markings/sec, 615 secs
lola: 5861240 markings, 29179444 edges, 8519 markings/sec, 620 secs
lola: 5902278 markings, 29439067 edges, 8208 markings/sec, 625 secs
lola: 5944891 markings, 29681801 edges, 8523 markings/sec, 630 secs
lola: 5983210 markings, 29945014 edges, 7664 markings/sec, 635 secs
lola: 6024251 markings, 30193675 edges, 8208 markings/sec, 640 secs
lola: 6065630 markings, 30449588 edges, 8276 markings/sec, 645 secs
lola: 6104264 markings, 30718889 edges, 7727 markings/sec, 650 secs
lola: 6144245 markings, 30987667 edges, 7996 markings/sec, 655 secs
lola: 6185222 markings, 31253095 edges, 8195 markings/sec, 660 secs
lola: 6226327 markings, 31517969 edges, 8221 markings/sec, 665 secs
lola: 6270044 markings, 31777649 edges, 8743 markings/sec, 670 secs
lola: 6309893 markings, 32051146 edges, 7970 markings/sec, 675 secs
lola: 6350306 markings, 32318611 edges, 8083 markings/sec, 680 secs
lola: 6391498 markings, 32582996 edges, 8238 markings/sec, 685 secs
lola: 6433367 markings, 32843245 edges, 8374 markings/sec, 690 secs
lola: 6474497 markings, 33109227 edges, 8226 markings/sec, 695 secs
lola: 6514308 markings, 33375570 edges, 7962 markings/sec, 700 secs
lola: 6554106 markings, 33642273 edges, 7960 markings/sec, 705 secs
lola: 6594943 markings, 33911037 edges, 8167 markings/sec, 710 secs
lola: 6633825 markings, 34186903 edges, 7776 markings/sec, 715 secs
lola: 6671631 markings, 34461021 edges, 7561 markings/sec, 720 secs
lola: 6709483 markings, 34738108 edges, 7570 markings/sec, 725 secs
lola: 6747543 markings, 35015815 edges, 7612 markings/sec, 730 secs
lola: 6788159 markings, 35292977 edges, 8123 markings/sec, 735 secs
lola: 6832392 markings, 35562412 edges, 8847 markings/sec, 740 secs
lola: 6875424 markings, 35830999 edges, 8606 markings/sec, 745 secs
lola: 6916290 markings, 36107429 edges, 8173 markings/sec, 750 secs
lola: 6956420 markings, 36385845 edges, 8026 markings/sec, 755 secs
lola: 6997194 markings, 36662499 edges, 8155 markings/sec, 760 secs
lola: 7038482 markings, 36930520 edges, 8258 markings/sec, 765 secs
lola: 7077332 markings, 37202875 edges, 7770 markings/sec, 770 secs
lola: 7117454 markings, 37466815 edges, 8024 markings/sec, 775 secs
lola: 7159014 markings, 37735130 edges, 8312 markings/sec, 780 secs
lola: 7200372 markings, 38000199 edges, 8272 markings/sec, 785 secs
lola: 7239737 markings, 38270994 edges, 7873 markings/sec, 790 secs
lola: 7280031 markings, 38536501 edges, 8059 markings/sec, 795 secs
lola: 7323460 markings, 38799963 edges, 8686 markings/sec, 800 secs
lola: 7363462 markings, 39079656 edges, 8000 markings/sec, 805 secs
lola: 7403971 markings, 39351740 edges, 8102 markings/sec, 810 secs
lola: 7445441 markings, 39622001 edges, 8294 markings/sec, 815 secs
lola: 7486631 markings, 39896886 edges, 8238 markings/sec, 820 secs
lola: 7529812 markings, 40158943 edges, 8636 markings/sec, 825 secs
lola: 7571071 markings, 40427839 edges, 8252 markings/sec, 830 secs
lola: 7613178 markings, 40692851 edges, 8421 markings/sec, 835 secs
lola: 7656653 markings, 40955434 edges, 8695 markings/sec, 840 secs
lola: 7699473 markings, 41214547 edges, 8564 markings/sec, 845 secs
lola: 7740510 markings, 41481296 edges, 8207 markings/sec, 850 secs
lola: 7781988 markings, 41752191 edges, 8296 markings/sec, 855 secs
lola: 7824824 markings, 42020215 edges, 8567 markings/sec, 860 secs
lola: 7866876 markings, 42288650 edges, 8410 markings/sec, 865 secs
lola: 7909319 markings, 42555262 edges, 8489 markings/sec, 870 secs
lola: 7952449 markings, 42817151 edges, 8626 markings/sec, 875 secs
lola: 7995884 markings, 43076569 edges, 8687 markings/sec, 880 secs
lola: 8037142 markings, 43345948 edges, 8252 markings/sec, 885 secs
lola: 8077929 markings, 43618073 edges, 8157 markings/sec, 890 secs
lola: 8120306 markings, 43879491 edges, 8475 markings/sec, 895 secs
lola: 8161547 markings, 44144291 edges, 8248 markings/sec, 900 secs
lola: 8203487 markings, 44406182 edges, 8388 markings/sec, 905 secs
lola: 8245951 markings, 44663479 edges, 8493 markings/sec, 910 secs
lola: 8288816 markings, 44918213 edges, 8573 markings/sec, 915 secs
lola: 8329166 markings, 45184490 edges, 8070 markings/sec, 920 secs
lola: 8373328 markings, 45435611 edges, 8832 markings/sec, 925 secs
lola: 8410365 markings, 45721929 edges, 7407 markings/sec, 930 secs
lola: 8448569 markings, 46001839 edges, 7641 markings/sec, 935 secs
lola: 8487168 markings, 46277277 edges, 7720 markings/sec, 940 secs
lola: 8525498 markings, 46551574 edges, 7666 markings/sec, 945 secs
lola: 8564111 markings, 46819855 edges, 7723 markings/sec, 950 secs
lola: 8602752 markings, 47092571 edges, 7728 markings/sec, 955 secs
lola: 8639736 markings, 47371026 edges, 7397 markings/sec, 960 secs
lola: 8677175 markings, 47649055 edges, 7488 markings/sec, 965 secs
lola: 8715928 markings, 47929796 edges, 7751 markings/sec, 970 secs
lola: 8753645 markings, 48199735 edges, 7543 markings/sec, 975 secs
lola: 8790495 markings, 48474995 edges, 7370 markings/sec, 980 secs
lola: 8827829 markings, 48748280 edges, 7467 markings/sec, 985 secs
lola: 8865801 markings, 49020579 edges, 7594 markings/sec, 990 secs
lola: 8903552 markings, 49283107 edges, 7550 markings/sec, 995 secs
lola: 8941011 markings, 49553422 edges, 7492 markings/sec, 1000 secs
lola: 8978692 markings, 49823640 edges, 7536 markings/sec, 1005 secs
lola: 9014696 markings, 50090573 edges, 7201 markings/sec, 1010 secs
lola: 9051912 markings, 50360560 edges, 7443 markings/sec, 1015 secs
lola: 9089228 markings, 50635644 edges, 7463 markings/sec, 1020 secs
lola: 9129917 markings, 50907152 edges, 8138 markings/sec, 1025 secs
lola: 9172300 markings, 51167564 edges, 8477 markings/sec, 1030 secs
lola: 9214677 markings, 51431051 edges, 8475 markings/sec, 1035 secs
lola: 9256955 markings, 51692714 edges, 8456 markings/sec, 1040 secs
lola: 9298895 markings, 51955901 edges, 8388 markings/sec, 1045 secs
lola: 9340293 markings, 52217723 edges, 8280 markings/sec, 1050 secs
lola: 9382294 markings, 52478322 edges, 8400 markings/sec, 1055 secs
lola: 9421280 markings, 52752523 edges, 7797 markings/sec, 1060 secs
lola: 9464695 markings, 53003620 edges, 8683 markings/sec, 1065 secs
lola: 9505314 markings, 53268390 edges, 8124 markings/sec, 1070 secs
lola: 9547577 markings, 53525579 edges, 8453 markings/sec, 1075 secs
lola: 9589810 markings, 53781210 edges, 8447 markings/sec, 1080 secs
lola: 9631024 markings, 54042281 edges, 8243 markings/sec, 1085 secs
lola: 9670669 markings, 54312688 edges, 7929 markings/sec, 1090 secs
lola: 9709219 markings, 54585814 edges, 7710 markings/sec, 1095 secs
lola: 9747399 markings, 54861194 edges, 7636 markings/sec, 1100 secs
lola: 9787372 markings, 55126544 edges, 7995 markings/sec, 1105 secs
lola: 9830363 markings, 55389512 edges, 8598 markings/sec, 1110 secs
lola: 9872597 markings, 55655543 edges, 8447 markings/sec, 1115 secs
lola: 9915408 markings, 55923290 edges, 8562 markings/sec, 1120 secs
lola: 9958546 markings, 56189541 edges, 8628 markings/sec, 1125 secs
lola: 10001963 markings, 56453537 edges, 8683 markings/sec, 1130 secs
lola: 10044082 markings, 56724520 edges, 8424 markings/sec, 1135 secs
lola: 10086776 markings, 56997189 edges, 8539 markings/sec, 1140 secs
lola: 10130457 markings, 57262603 edges, 8736 markings/sec, 1145 secs
lola: 10170792 markings, 57545913 edges, 8067 markings/sec, 1150 secs
lola: 10214302 markings, 57811879 edges, 8702 markings/sec, 1155 secs
lola: 10257315 markings, 58080144 edges, 8603 markings/sec, 1160 secs
lola: 10301265 markings, 58344076 edges, 8790 markings/sec, 1165 secs
lola: 10344738 markings, 58609317 edges, 8695 markings/sec, 1170 secs
lola: 10387372 markings, 58877453 edges, 8527 markings/sec, 1175 secs
lola: 10427408 markings, 59157484 edges, 8007 markings/sec, 1180 secs
lola: 10467190 markings, 59437087 edges, 7956 markings/sec, 1185 secs
lola: 10506482 markings, 59717658 edges, 7858 markings/sec, 1190 secs
lola: 10548228 markings, 59988349 edges, 8349 markings/sec, 1195 secs
lola: 10590928 markings, 60254781 edges, 8540 markings/sec, 1200 secs
lola: 10633536 markings, 60523724 edges, 8522 markings/sec, 1205 secs
lola: 10677073 markings, 60793878 edges, 8707 markings/sec, 1210 secs
lola: 10720873 markings, 61062532 edges, 8760 markings/sec, 1215 secs
lola: 10764433 markings, 61336466 edges, 8712 markings/sec, 1220 secs
lola: 10807254 markings, 61605732 edges, 8564 markings/sec, 1225 secs
lola: 10849695 markings, 61874254 edges, 8488 markings/sec, 1230 secs
lola: 10892869 markings, 62141954 edges, 8635 markings/sec, 1235 secs
lola: 10934062 markings, 62427015 edges, 8239 markings/sec, 1240 secs
lola: 10978292 markings, 62694048 edges, 8846 markings/sec, 1245 secs
lola: 11021267 markings, 62967686 edges, 8595 markings/sec, 1250 secs
lola: 11065129 markings, 63231545 edges, 8772 markings/sec, 1255 secs
lola: 11109731 markings, 63496912 edges, 8920 markings/sec, 1260 secs
lola: 11152531 markings, 63767078 edges, 8560 markings/sec, 1265 secs
lola: 11191945 markings, 64049716 edges, 7883 markings/sec, 1270 secs
lola: 11231236 markings, 64330390 edges, 7858 markings/sec, 1275 secs
lola: 11270664 markings, 64607485 edges, 7886 markings/sec, 1280 secs
lola: 11312577 markings, 64877417 edges, 8383 markings/sec, 1285 secs
lola: 11354693 markings, 65148407 edges, 8423 markings/sec, 1290 secs
lola: 11395506 markings, 65421077 edges, 8163 markings/sec, 1295 secs
lola: 11434606 markings, 65696406 edges, 7820 markings/sec, 1300 secs
lola: 11473593 markings, 65971493 edges, 7797 markings/sec, 1305 secs
lola: 11515889 markings, 66236256 edges, 8459 markings/sec, 1310 secs
lola: 11558396 markings, 66498023 edges, 8501 markings/sec, 1315 secs
lola: 11601415 markings, 66760049 edges, 8604 markings/sec, 1320 secs
lola: 11644371 markings, 67024191 edges, 8591 markings/sec, 1325 secs
lola: 11687633 markings, 67293027 edges, 8652 markings/sec, 1330 secs
lola: 11731207 markings, 67557466 edges, 8715 markings/sec, 1335 secs
lola: 11770813 markings, 67826913 edges, 7921 markings/sec, 1340 secs
lola: 11813497 markings, 68084500 edges, 8537 markings/sec, 1345 secs
lola: 11857297 markings, 68340860 edges, 8760 markings/sec, 1350 secs
lola: 11901324 markings, 68604852 edges, 8805 markings/sec, 1355 secs
lola: 11943580 markings, 68878994 edges, 8451 markings/sec, 1360 secs
lola: 11984946 markings, 69158156 edges, 8273 markings/sec, 1365 secs
lola: 12024064 markings, 69441558 edges, 7824 markings/sec, 1370 secs
lola: 12063781 markings, 69717895 edges, 7943 markings/sec, 1375 secs
lola: 12107303 markings, 69980430 edges, 8704 markings/sec, 1380 secs
lola: 12149738 markings, 70245088 edges, 8487 markings/sec, 1385 secs
lola: 12193645 markings, 70509456 edges, 8781 markings/sec, 1390 secs
lola: 12236254 markings, 70776894 edges, 8522 markings/sec, 1395 secs
lola: 12280133 markings, 71042503 edges, 8776 markings/sec, 1400 secs
lola: 12322195 markings, 71312005 edges, 8412 markings/sec, 1405 secs
lola: 12363304 markings, 71580737 edges, 8222 markings/sec, 1410 secs
lola: 12407133 markings, 71836155 edges, 8766 markings/sec, 1415 secs
lola: 12450724 markings, 72097328 edges, 8718 markings/sec, 1420 secs
lola: 12493551 markings, 72361693 edges, 8565 markings/sec, 1425 secs
lola: 12535676 markings, 72630849 edges, 8425 markings/sec, 1430 secs
lola: 12574162 markings, 72903490 edges, 7697 markings/sec, 1435 secs
lola: 12612329 markings, 73176468 edges, 7633 markings/sec, 1440 secs
lola: 12652756 markings, 73442731 edges, 8085 markings/sec, 1445 secs
lola: 12695116 markings, 73700497 edges, 8472 markings/sec, 1450 secs
lola: 12736686 markings, 73961027 edges, 8314 markings/sec, 1455 secs
lola: 12779675 markings, 74221687 edges, 8598 markings/sec, 1460 secs
lola: 12821679 markings, 74484320 edges, 8401 markings/sec, 1465 secs
lola: 12865178 markings, 74745679 edges, 8700 markings/sec, 1470 secs
lola: 12905238 markings, 75012654 edges, 8012 markings/sec, 1475 secs
lola: 12946472 markings, 75272842 edges, 8247 markings/sec, 1480 secs
lola: 12989594 markings, 75523957 edges, 8624 markings/sec, 1485 secs
lola: 13032554 markings, 75782215 edges, 8592 markings/sec, 1490 secs
lola: 13074617 markings, 76043716 edges, 8413 markings/sec, 1495 secs
lola: 13119844 markings, 76292964 edges, 9045 markings/sec, 1500 secs
lola: 13156326 markings, 76581841 edges, 7296 markings/sec, 1505 secs
lola: 13194891 markings, 76861705 edges, 7713 markings/sec, 1510 secs
lola: 13233647 markings, 77137704 edges, 7751 markings/sec, 1515 secs
lola: 13272145 markings, 77412478 edges, 7700 markings/sec, 1520 secs
lola: 13310072 markings, 77691747 edges, 7585 markings/sec, 1525 secs
lola: 13348479 markings, 77966600 edges, 7681 markings/sec, 1530 secs
lola: 13387883 markings, 78242993 edges, 7881 markings/sec, 1535 secs
lola: 13425656 markings, 78519325 edges, 7555 markings/sec, 1540 secs
lola: 13464256 markings, 78794105 edges, 7720 markings/sec, 1545 secs
lola: 13502044 markings, 79071007 edges, 7558 markings/sec, 1550 secs
lola: 13540178 markings, 79349997 edges, 7627 markings/sec, 1555 secs
lola: 13578670 markings, 79624503 edges, 7698 markings/sec, 1560 secs
lola: 13617018 markings, 79901560 edges, 7670 markings/sec, 1565 secs
lola: 13654781 markings, 80187291 edges, 7553 markings/sec, 1570 secs
lola: 13694330 markings, 80462929 edges, 7910 markings/sec, 1575 secs
lola: 13733801 markings, 80744161 edges, 7894 markings/sec, 1580 secs
lola: 13772328 markings, 81019660 edges, 7705 markings/sec, 1585 secs
lola: 13811604 markings, 81292801 edges, 7855 markings/sec, 1590 secs
lola: 13849561 markings, 81568272 edges, 7591 markings/sec, 1595 secs
lola: 13889445 markings, 81850374 edges, 7977 markings/sec, 1600 secs
lola: 13928815 markings, 82127977 edges, 7874 markings/sec, 1605 secs
lola: 13969037 markings, 82410641 edges, 8044 markings/sec, 1610 secs
lola: 14012509 markings, 82674687 edges, 8694 markings/sec, 1615 secs
lola: 14055737 markings, 82937037 edges, 8646 markings/sec, 1620 secs
lola: 14098166 markings, 83198301 edges, 8486 markings/sec, 1625 secs
lola: 14141655 markings, 83464198 edges, 8698 markings/sec, 1630 secs
lola: 14183735 markings, 83732874 edges, 8416 markings/sec, 1635 secs
lola: 14225725 markings, 83993988 edges, 8398 markings/sec, 1640 secs
lola: 14268616 markings, 84251096 edges, 8578 markings/sec, 1645 secs
lola: 14307287 markings, 84531302 edges, 7734 markings/sec, 1650 secs
lola: 14349240 markings, 84792141 edges, 8391 markings/sec, 1655 secs
lola: 14389939 markings, 85060730 edges, 8140 markings/sec, 1660 secs
lola: 14428559 markings, 85335592 edges, 7724 markings/sec, 1665 secs
lola: 14467360 markings, 85609393 edges, 7760 markings/sec, 1670 secs
lola: 14508343 markings, 85870380 edges, 8197 markings/sec, 1675 secs
lola: 14550912 markings, 86131593 edges, 8514 markings/sec, 1680 secs
lola: 14592871 markings, 86392590 edges, 8392 markings/sec, 1685 secs
lola: 14635462 markings, 86653662 edges, 8518 markings/sec, 1690 secs
lola: 14678671 markings, 86912588 edges, 8642 markings/sec, 1695 secs
lola: 14720917 markings, 87178462 edges, 8449 markings/sec, 1700 secs
lola: 14764330 markings, 87442256 edges, 8683 markings/sec, 1705 secs
lola: 14806756 markings, 87709378 edges, 8485 markings/sec, 1710 secs
lola: 14850764 markings, 87973127 edges, 8802 markings/sec, 1715 secs
lola: 14894167 markings, 88239039 edges, 8681 markings/sec, 1720 secs
lola: 14937434 markings, 88504638 edges, 8653 markings/sec, 1725 secs
lola: 14980801 markings, 88768163 edges, 8673 markings/sec, 1730 secs
lola: 15022884 markings, 89037027 edges, 8417 markings/sec, 1735 secs
lola: 15065146 markings, 89302282 edges, 8452 markings/sec, 1740 secs
lola: 15107581 markings, 89565695 edges, 8487 markings/sec, 1745 secs
lola: 15148522 markings, 89846676 edges, 8188 markings/sec, 1750 secs
lola: 15190915 markings, 90112183 edges, 8479 markings/sec, 1755 secs
lola: 15232238 markings, 90383527 edges, 8265 markings/sec, 1760 secs
lola: 15271459 markings, 90662269 edges, 7844 markings/sec, 1765 secs
lola: 15310779 markings, 90939317 edges, 7864 markings/sec, 1770 secs
lola: 15352808 markings, 91209057 edges, 8406 markings/sec, 1775 secs
lola: 15395993 markings, 91472137 edges, 8637 markings/sec, 1780 secs
lola: 15438325 markings, 91736516 edges, 8466 markings/sec, 1785 secs
lola: 15481591 markings, 91999936 edges, 8653 markings/sec, 1790 secs
lola: 15524792 markings, 92263230 edges, 8640 markings/sec, 1795 secs
lola: 15567810 markings, 92529870 edges, 8604 markings/sec, 1800 secs
lola: 15611225 markings, 92795414 edges, 8683 markings/sec, 1805 secs
lola: 15654455 markings, 93060582 edges, 8646 markings/sec, 1810 secs
lola: 15696962 markings, 93320535 edges, 8501 markings/sec, 1815 secs
lola: 15739452 markings, 93579701 edges, 8498 markings/sec, 1820 secs
lola: 15781662 markings, 93840208 edges, 8442 markings/sec, 1825 secs
lola: 15823712 markings, 94097757 edges, 8410 markings/sec, 1830 secs
lola: 15865501 markings, 94358064 edges, 8358 markings/sec, 1835 secs
lola: 15906290 markings, 94620917 edges, 8158 markings/sec, 1840 secs
lola: 15947816 markings, 94877834 edges, 8305 markings/sec, 1845 secs
lola: 15987705 markings, 95146533 edges, 7978 markings/sec, 1850 secs
lola: 16028474 markings, 95405475 edges, 8154 markings/sec, 1855 secs
lola: 16069293 markings, 95670562 edges, 8164 markings/sec, 1860 secs
lola: 16108268 markings, 95941732 edges, 7795 markings/sec, 1865 secs
lola: 16147065 markings, 96220460 edges, 7759 markings/sec, 1870 secs
lola: 16189279 markings, 96489537 edges, 8443 markings/sec, 1875 secs
lola: 16230980 markings, 96752568 edges, 8340 markings/sec, 1880 secs
lola: 16272853 markings, 97008359 edges, 8375 markings/sec, 1885 secs
lola: 16314697 markings, 97267488 edges, 8369 markings/sec, 1890 secs
lola: 16357109 markings, 97525439 edges, 8482 markings/sec, 1895 secs
lola: 16398729 markings, 97786980 edges, 8324 markings/sec, 1900 secs
lola: 16441853 markings, 98048264 edges, 8625 markings/sec, 1905 secs
lola: 16484035 markings, 98311630 edges, 8436 markings/sec, 1910 secs
lola: 16524379 markings, 98579554 edges, 8069 markings/sec, 1915 secs
lola: 16562639 markings, 98853760 edges, 7652 markings/sec, 1920 secs
lola: 16601050 markings, 99129565 edges, 7682 markings/sec, 1925 secs
lola: 16640167 markings, 99403414 edges, 7823 markings/sec, 1930 secs
lola: 16678967 markings, 99677051 edges, 7760 markings/sec, 1935 secs
lola: 16717431 markings, 99954982 edges, 7693 markings/sec, 1940 secs
lola: 16757131 markings, 100230857 edges, 7940 markings/sec, 1945 secs
lola: 16796336 markings, 100507056 edges, 7841 markings/sec, 1950 secs
lola: 16836247 markings, 100781353 edges, 7982 markings/sec, 1955 secs
lola: 16873700 markings, 101056948 edges, 7491 markings/sec, 1960 secs
lola: 16912298 markings, 101330050 edges, 7720 markings/sec, 1965 secs
lola: 16950511 markings, 101603228 edges, 7643 markings/sec, 1970 secs
lola: 16989008 markings, 101874870 edges, 7699 markings/sec, 1975 secs
lola: 17027957 markings, 102147488 edges, 7790 markings/sec, 1980 secs
lola: 17066227 markings, 102418546 edges, 7654 markings/sec, 1985 secs
lola: 17105991 markings, 102688189 edges, 7953 markings/sec, 1990 secs
lola: 17145142 markings, 102955673 edges, 7830 markings/sec, 1995 secs
lola: 17184491 markings, 103227399 edges, 7870 markings/sec, 2000 secs
lola: 17224490 markings, 103500165 edges, 8000 markings/sec, 2005 secs
lola: 17264430 markings, 103768513 edges, 7988 markings/sec, 2010 secs
lola: 17304078 markings, 104045928 edges, 7930 markings/sec, 2015 secs
lola: 17344646 markings, 104320421 edges, 8114 markings/sec, 2020 secs
lola: 17384917 markings, 104590166 edges, 8054 markings/sec, 2025 secs
lola: 17424147 markings, 104866968 edges, 7846 markings/sec, 2030 secs
lola: 17462950 markings, 105144867 edges, 7761 markings/sec, 2035 secs
lola: 17501874 markings, 105422148 edges, 7785 markings/sec, 2040 secs
lola: 17541295 markings, 105696549 edges, 7884 markings/sec, 2045 secs
lola: 17581473 markings, 105975543 edges, 8036 markings/sec, 2050 secs
lola: 17625137 markings, 106246609 edges, 8733 markings/sec, 2055 secs
lola: 17668596 markings, 106507422 edges, 8692 markings/sec, 2060 secs
lola: 17710189 markings, 106779788 edges, 8319 markings/sec, 2065 secs
lola: 17752429 markings, 107046686 edges, 8448 markings/sec, 2070 secs
lola: 17796344 markings, 107310086 edges, 8783 markings/sec, 2075 secs
lola: 17839944 markings, 107572954 edges, 8720 markings/sec, 2080 secs
lola: 17882451 markings, 107838879 edges, 8501 markings/sec, 2085 secs
lola: 17923967 markings, 108109949 edges, 8303 markings/sec, 2090 secs
lola: 17967509 markings, 108374158 edges, 8708 markings/sec, 2095 secs
lola: 18011444 markings, 108634619 edges, 8787 markings/sec, 2100 secs
lola: 18053855 markings, 108892884 edges, 8482 markings/sec, 2105 secs
lola: 18095518 markings, 109152786 edges, 8333 markings/sec, 2110 secs
lola: 18135977 markings, 109419445 edges, 8092 markings/sec, 2115 secs
lola: 18179121 markings, 109678881 edges, 8629 markings/sec, 2120 secs
lola: 18220231 markings, 109952818 edges, 8222 markings/sec, 2125 secs
lola: 18259659 markings, 110231787 edges, 7886 markings/sec, 2130 secs
lola: 18298769 markings, 110512113 edges, 7822 markings/sec, 2135 secs
lola: 18338332 markings, 110790795 edges, 7913 markings/sec, 2140 secs
lola: 18378259 markings, 111068361 edges, 7985 markings/sec, 2145 secs
lola: 18419695 markings, 111344099 edges, 8287 markings/sec, 2150 secs
lola: 18463199 markings, 111606937 edges, 8701 markings/sec, 2155 secs
lola: 18505710 markings, 111872193 edges, 8502 markings/sec, 2160 secs
lola: 18547162 markings, 112144099 edges, 8290 markings/sec, 2165 secs
lola: 18590901 markings, 112407539 edges, 8748 markings/sec, 2170 secs
lola: 18635275 markings, 112671977 edges, 8875 markings/sec, 2175 secs
lola: 18678756 markings, 112937131 edges, 8696 markings/sec, 2180 secs
lola: 18721144 markings, 113206887 edges, 8478 markings/sec, 2185 secs
lola: 18763375 markings, 113478342 edges, 8446 markings/sec, 2190 secs
lola: 18807785 markings, 113745630 edges, 8882 markings/sec, 2195 secs
lola: 18851486 markings, 114004630 edges, 8740 markings/sec, 2200 secs
lola: 18893547 markings, 114268183 edges, 8412 markings/sec, 2205 secs
lola: 18934608 markings, 114536551 edges, 8212 markings/sec, 2210 secs
lola: 18977572 markings, 114798245 edges, 8593 markings/sec, 2215 secs
lola: 19020230 markings, 115062316 edges, 8532 markings/sec, 2220 secs
lola: 19058962 markings, 115336239 edges, 7746 markings/sec, 2225 secs
lola: 19097195 markings, 115610679 edges, 7647 markings/sec, 2230 secs
lola: 19135715 markings, 115885118 edges, 7704 markings/sec, 2235 secs
lola: 19174724 markings, 116156593 edges, 7802 markings/sec, 2240 secs
lola: 19214341 markings, 116431560 edges, 7923 markings/sec, 2245 secs
lola: 19256469 markings, 116694318 edges, 8426 markings/sec, 2250 secs
lola: 19298925 markings, 116951855 edges, 8491 markings/sec, 2255 secs
lola: 19340201 markings, 117216404 edges, 8255 markings/sec, 2260 secs
lola: 19381375 markings, 117480297 edges, 8235 markings/sec, 2265 secs
lola: 19424792 markings, 117740874 edges, 8683 markings/sec, 2270 secs
lola: 19468182 markings, 117999422 edges, 8678 markings/sec, 2275 secs
lola: 19510875 markings, 118264452 edges, 8539 markings/sec, 2280 secs
lola: 19551835 markings, 118533396 edges, 8192 markings/sec, 2285 secs
lola: 19594754 markings, 118795398 edges, 8584 markings/sec, 2290 secs
lola: 19638242 markings, 119056041 edges, 8698 markings/sec, 2295 secs
lola: 19680512 markings, 119312480 edges, 8454 markings/sec, 2300 secs
lola: 19722001 markings, 119570170 edges, 8298 markings/sec, 2305 secs
lola: 19762108 markings, 119835406 edges, 8021 markings/sec, 2310 secs
lola: 19804756 markings, 120091409 edges, 8530 markings/sec, 2315 secs
lola: 19847028 markings, 120350290 edges, 8454 markings/sec, 2320 secs
lola: 19884713 markings, 120628011 edges, 7537 markings/sec, 2325 secs
lola: 19922908 markings, 120904985 edges, 7639 markings/sec, 2330 secs
lola: 19960455 markings, 121181761 edges, 7509 markings/sec, 2335 secs
lola: 19998553 markings, 121461539 edges, 7620 markings/sec, 2340 secs
lola: 20036625 markings, 121733192 edges, 7614 markings/sec, 2345 secs
lola: 20075020 markings, 122006452 edges, 7679 markings/sec, 2350 secs
lola: 20113933 markings, 122280183 edges, 7783 markings/sec, 2355 secs
lola: 20156290 markings, 122536562 edges, 8471 markings/sec, 2360 secs
lola: 20198593 markings, 122792478 edges, 8461 markings/sec, 2365 secs
lola: 20241934 markings, 123049738 edges, 8668 markings/sec, 2370 secs
lola: 20281714 markings, 123314846 edges, 7956 markings/sec, 2375 secs
lola: 20322613 markings, 123577789 edges, 8180 markings/sec, 2380 secs
lola: 20365564 markings, 123831280 edges, 8590 markings/sec, 2385 secs
lola: 20408658 markings, 124087503 edges, 8619 markings/sec, 2390 secs
lola: 20451644 markings, 124348098 edges, 8597 markings/sec, 2395 secs
lola: 20494577 markings, 124607826 edges, 8587 markings/sec, 2400 secs
lola: 20537789 markings, 124864811 edges, 8642 markings/sec, 2405 secs
lola: 20577173 markings, 125138222 edges, 7877 markings/sec, 2410 secs
lola: 20619801 markings, 125397495 edges, 8526 markings/sec, 2415 secs
lola: 20663544 markings, 125650546 edges, 8749 markings/sec, 2420 secs
lola: 20705411 markings, 125904405 edges, 8373 markings/sec, 2425 secs
lola: 20747007 markings, 126159891 edges, 8319 markings/sec, 2430 secs
lola: 20789676 markings, 126415802 edges, 8534 markings/sec, 2435 secs
lola: 20829646 markings, 126675686 edges, 7994 markings/sec, 2440 secs
lola: 20869738 markings, 126936694 edges, 8018 markings/sec, 2445 secs
lola: 20912112 markings, 127187353 edges, 8475 markings/sec, 2450 secs
lola: 20953035 markings, 127452528 edges, 8185 markings/sec, 2455 secs
lola: 20994598 markings, 127719569 edges, 8313 markings/sec, 2460 secs
lola: 21038292 markings, 127976480 edges, 8739 markings/sec, 2465 secs
lola: 21079862 markings, 128237106 edges, 8314 markings/sec, 2470 secs
lola: 21118374 markings, 128511713 edges, 7702 markings/sec, 2475 secs
lola: 21157216 markings, 128788671 edges, 7768 markings/sec, 2480 secs
lola: 21195631 markings, 129063472 edges, 7683 markings/sec, 2485 secs
lola: 21233826 markings, 129339066 edges, 7639 markings/sec, 2490 secs
lola: 21274129 markings, 129607890 edges, 8061 markings/sec, 2495 secs
lola: 21315033 markings, 129879051 edges, 8181 markings/sec, 2500 secs
lola: 21354709 markings, 130151246 edges, 7935 markings/sec, 2505 secs
lola: 21396502 markings, 130412083 edges, 8359 markings/sec, 2510 secs
lola: 21439930 markings, 130667318 edges, 8686 markings/sec, 2515 secs
lola: 21481309 markings, 130929430 edges, 8276 markings/sec, 2520 secs
lola: 21523567 markings, 131191660 edges, 8452 markings/sec, 2525 secs
lola: 21567973 markings, 131453426 edges, 8881 markings/sec, 2530 secs
lola: 21607658 markings, 131731207 edges, 7937 markings/sec, 2535 secs
lola: 21651192 markings, 131988522 edges, 8707 markings/sec, 2540 secs
lola: 21694693 markings, 132244544 edges, 8700 markings/sec, 2545 secs
lola: 21736025 markings, 132513082 edges, 8266 markings/sec, 2550 secs
lola: 21779601 markings, 132775679 edges, 8715 markings/sec, 2555 secs
lola: 21823239 markings, 133037853 edges, 8728 markings/sec, 2560 secs
lola: 21862216 markings, 133307628 edges, 7795 markings/sec, 2565 secs
lola: 21905135 markings, 133560658 edges, 8584 markings/sec, 2570 secs
lola: time limit reached - aborting
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 8 8 8 8 unknown 8 8 unknown
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 8 8 8 8 unknown 8 8 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 8 8 8 8 unknown 8 8 unknown
lola: memory consumption: 3269060 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 8 unknown 8 8 8 8 8 8 8 8 8 8 unknown 8 8 unknown
lola: memory consumption: 3269320 KB
lola: time consumption: 3570 seconds
BK_STOP 1553044981152
--------------------
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="Peterson-COL-7"
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 Peterson-COL-7, 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-155272242400172"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-COL-7.tgz
mv Peterson-COL-7 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 ;