About the Execution of LoLA for FlexibleBarrier-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3941.010 | 3539170.00 | 3545254.00 | 1450.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is FlexibleBarrier-PT-10a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200056
=====================================================================
--------------------
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 FlexibleBarrier-PT-10a-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-10a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496483907925
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-10a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-10a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-10a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 457/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 123 places, 334 transitions, 111 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 274 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-10a-UpperBounds.task
lola: MAX(p3) : MAX(p13) : MAX(p22) : MAX(p10) : MAX(p73) : MAX(p51) : MAX(p82) : MAX(p64) : MAX(p55) : MAX(p41) : MAX(p49) : MAX(p49) : MAX(p26) : MAX(p40) : MAX(p14) : MAX(p37)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 648321 markings, 899625 edges, 129664 markings/sec, 0 secs
lola: 1299210 markings, 1798978 edges, 130178 markings/sec, 5 secs
lola: 1938799 markings, 2685405 edges, 127918 markings/sec, 10 secs
lola: 2577514 markings, 3560001 edges, 127743 markings/sec, 15 secs
lola: 3214805 markings, 4428004 edges, 127458 markings/sec, 20 secs
lola: 3839661 markings, 5279962 edges, 124971 markings/sec, 25 secs
lola: 4453593 markings, 6117083 edges, 122786 markings/sec, 30 secs
lola: 5073110 markings, 6964255 edges, 123903 markings/sec, 35 secs
lola: 5696286 markings, 7820415 edges, 124635 markings/sec, 40 secs
lola: 6315158 markings, 8664136 edges, 123774 markings/sec, 45 secs
lola: 6933323 markings, 9503231 edges, 123633 markings/sec, 50 secs
lola: 7542014 markings, 10332998 edges, 121738 markings/sec, 55 secs
lola: 8125560 markings, 11132889 edges, 116709 markings/sec, 60 secs
lola: 8706188 markings, 11929097 edges, 116126 markings/sec, 65 secs
lola: 9269414 markings, 12697726 edges, 112645 markings/sec, 70 secs
lola: 9877509 markings, 13533122 edges, 121619 markings/sec, 75 secs
lola: 10479329 markings, 14360881 edges, 120364 markings/sec, 80 secs
lola: 11083066 markings, 15191980 edges, 120747 markings/sec, 85 secs
lola: 11634497 markings, 15950303 edges, 110286 markings/sec, 90 secs
lola: 12230622 markings, 16771485 edges, 119225 markings/sec, 95 secs
lola: 12831714 markings, 17601897 edges, 120218 markings/sec, 100 secs
lola: 13430767 markings, 18433049 edges, 119811 markings/sec, 105 secs
lola: 13982818 markings, 19194435 edges, 110410 markings/sec, 110 secs
lola: 14581851 markings, 20015863 edges, 119807 markings/sec, 115 secs
lola: 15180362 markings, 20841878 edges, 119702 markings/sec, 120 secs
lola: 15769716 markings, 21655560 edges, 117871 markings/sec, 125 secs
lola: 16325100 markings, 22415917 edges, 111077 markings/sec, 130 secs
lola: 16941787 markings, 23253457 edges, 123337 markings/sec, 135 secs
lola: 17530089 markings, 24068254 edges, 117660 markings/sec, 140 secs
lola: 18133785 markings, 24897878 edges, 120739 markings/sec, 145 secs
lola: 18680576 markings, 25656153 edges, 109358 markings/sec, 150 secs
lola: 19276720 markings, 26479482 edges, 119229 markings/sec, 155 secs
lola: 19870671 markings, 27300810 edges, 118790 markings/sec, 160 secs
lola: 20474137 markings, 28127822 edges, 120693 markings/sec, 165 secs
lola: 21060659 markings, 28938872 edges, 117304 markings/sec, 170 secs
lola: 21650775 markings, 29749540 edges, 118023 markings/sec, 175 secs
lola: 22234957 markings, 30558724 edges, 116836 markings/sec, 180 secs
lola: 22815067 markings, 31366033 edges, 116022 markings/sec, 185 secs
lola: 23396949 markings, 32173189 edges, 116376 markings/sec, 190 secs
lola: 23987652 markings, 32988321 edges, 118141 markings/sec, 195 secs
lola: 24581989 markings, 33806923 edges, 118867 markings/sec, 200 secs
lola: 25176392 markings, 34622743 edges, 118881 markings/sec, 205 secs
lola: 25748866 markings, 35420633 edges, 114495 markings/sec, 210 secs
lola: 26339469 markings, 36234876 edges, 118121 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 650127 markings, 933050 edges, 130025 markings/sec, 0 secs
lola: 1302319 markings, 1865215 edges, 130438 markings/sec, 5 secs
lola: 1935418 markings, 2772551 edges, 126620 markings/sec, 10 secs
lola: 2577917 markings, 3683286 edges, 128500 markings/sec, 15 secs
lola: 3221273 markings, 4590189 edges, 128671 markings/sec, 20 secs
lola: 3854211 markings, 5483956 edges, 126588 markings/sec, 25 secs
lola: 4484259 markings, 6373028 edges, 126010 markings/sec, 30 secs
lola: 5111376 markings, 7259553 edges, 125423 markings/sec, 35 secs
lola: 5738770 markings, 8151301 edges, 125479 markings/sec, 40 secs
lola: 6362628 markings, 9031284 edges, 124772 markings/sec, 45 secs
lola: 6979843 markings, 9899105 edges, 123443 markings/sec, 50 secs
lola: 7593406 markings, 10765354 edges, 122713 markings/sec, 55 secs
lola: 8207465 markings, 11634277 edges, 122812 markings/sec, 60 secs
lola: 8825111 markings, 12511288 edges, 123529 markings/sec, 65 secs
lola: 9443195 markings, 13385909 edges, 123617 markings/sec, 70 secs
lola: 10052203 markings, 14252100 edges, 121802 markings/sec, 75 secs
lola: 10658848 markings, 15116104 edges, 121329 markings/sec, 80 secs
lola: 11265293 markings, 15978673 edges, 121289 markings/sec, 85 secs
lola: 11858558 markings, 16825755 edges, 118653 markings/sec, 90 secs
lola: 12443170 markings, 17656720 edges, 116922 markings/sec, 95 secs
lola: 13033490 markings, 18501965 edges, 118064 markings/sec, 100 secs
lola: 13640755 markings, 19370298 edges, 121453 markings/sec, 105 secs
lola: 14235879 markings, 20220560 edges, 119025 markings/sec, 110 secs
lola: 14835539 markings, 21072463 edges, 119932 markings/sec, 115 secs
lola: 15435393 markings, 21929134 edges, 119971 markings/sec, 120 secs
lola: 16034714 markings, 22782212 edges, 119864 markings/sec, 125 secs
lola: 16642632 markings, 23640017 edges, 121584 markings/sec, 130 secs
lola: 17255062 markings, 24507809 edges, 122486 markings/sec, 135 secs
lola: 17849888 markings, 25359044 edges, 118965 markings/sec, 140 secs
lola: 18455257 markings, 26222976 edges, 121074 markings/sec, 145 secs
lola: 19049570 markings, 27073570 edges, 118863 markings/sec, 150 secs
lola: 19654459 markings, 27937291 edges, 120978 markings/sec, 155 secs
lola: 20257763 markings, 28794588 edges, 120661 markings/sec, 160 secs
lola: 20858576 markings, 29651983 edges, 120163 markings/sec, 165 secs
lola: 21456721 markings, 30502346 edges, 119629 markings/sec, 170 secs
lola: 22050336 markings, 31351588 edges, 118723 markings/sec, 175 secs
lola: 22638185 markings, 32198200 edges, 117570 markings/sec, 180 secs
lola: 23228516 markings, 33044426 edges, 118066 markings/sec, 185 secs
lola: 23818811 markings, 33889923 edges, 118059 markings/sec, 190 secs
lola: 24411032 markings, 34734688 edges, 118444 markings/sec, 195 secs
lola: 25011991 markings, 35585611 edges, 120192 markings/sec, 200 secs
lola: 25600529 markings, 36432112 edges, 117708 markings/sec, 205 secs
lola: 26189367 markings, 37277151 edges, 117768 markings/sec, 210 secs
lola: 26801526 markings, 38147122 edges, 122432 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 624935 markings, 926286 edges, 124987 markings/sec, 0 secs
lola: 1251291 markings, 1852205 edges, 125271 markings/sec, 5 secs
lola: 1865283 markings, 2760169 edges, 122798 markings/sec, 10 secs
lola: 2470632 markings, 3649818 edges, 121070 markings/sec, 15 secs
lola: 3075945 markings, 4533131 edges, 121063 markings/sec, 20 secs
lola: 3668930 markings, 5397009 edges, 118597 markings/sec, 25 secs
lola: 4268564 markings, 6270519 edges, 119927 markings/sec, 30 secs
lola: 4799078 markings, 7046895 edges, 106103 markings/sec, 35 secs
lola: 5380982 markings, 7900964 edges, 116381 markings/sec, 40 secs
lola: 5969404 markings, 8761678 edges, 117684 markings/sec, 45 secs
lola: 6560001 markings, 9622309 edges, 118119 markings/sec, 50 secs
lola: 7094913 markings, 10398192 edges, 106982 markings/sec, 55 secs
lola: 7653104 markings, 11213815 edges, 111638 markings/sec, 60 secs
lola: 8236232 markings, 12067842 edges, 116626 markings/sec, 65 secs
lola: 8810168 markings, 12909864 edges, 114787 markings/sec, 70 secs
lola: 9402353 markings, 13775614 edges, 118437 markings/sec, 75 secs
lola: 9981493 markings, 14626273 edges, 115828 markings/sec, 80 secs
lola: 10551485 markings, 15464986 edges, 113998 markings/sec, 85 secs
lola: 11104513 markings, 16278845 edges, 110606 markings/sec, 90 secs
lola: 11666901 markings, 17107072 edges, 112478 markings/sec, 95 secs
lola: 12239564 markings, 17949248 edges, 114533 markings/sec, 100 secs
lola: 12814357 markings, 18797834 edges, 114959 markings/sec, 105 secs
lola: 13385152 markings, 19644437 edges, 114159 markings/sec, 110 secs
lola: 13947543 markings, 20473840 edges, 112478 markings/sec, 115 secs
lola: 14522000 markings, 21317956 edges, 114891 markings/sec, 120 secs
lola: 15095723 markings, 22162955 edges, 114745 markings/sec, 125 secs
lola: 15658383 markings, 22993272 edges, 112532 markings/sec, 130 secs
lola: 16218181 markings, 23812597 edges, 111960 markings/sec, 135 secs
lola: 16812503 markings, 24678424 edges, 118864 markings/sec, 140 secs
lola: 17393614 markings, 25535428 edges, 116222 markings/sec, 145 secs
lola: 17966905 markings, 26380007 edges, 114658 markings/sec, 150 secs
lola: 18537808 markings, 27225006 edges, 114181 markings/sec, 155 secs
lola: 19117807 markings, 28080972 edges, 116000 markings/sec, 160 secs
lola: 19677876 markings, 28907899 edges, 112014 markings/sec, 165 secs
lola: 20200289 markings, 29674742 edges, 104483 markings/sec, 170 secs
lola: 20781045 markings, 30530730 edges, 116151 markings/sec, 175 secs
lola: 21360326 markings, 31380214 edges, 115856 markings/sec, 180 secs
lola: 21927347 markings, 32219937 edges, 113404 markings/sec, 185 secs
lola: 22482059 markings, 33044061 edges, 110942 markings/sec, 190 secs
lola: 23028829 markings, 33855281 edges, 109354 markings/sec, 195 secs
lola: 23579972 markings, 34673315 edges, 110229 markings/sec, 200 secs
lola: 24139901 markings, 35496735 edges, 111986 markings/sec, 205 secs
lola: 24697274 markings, 36316840 edges, 111475 markings/sec, 210 secs
lola: 25261860 markings, 37146833 edges, 112917 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 622715 markings, 922898 edges, 124543 markings/sec, 0 secs
lola: 1242886 markings, 1840341 edges, 124034 markings/sec, 5 secs
lola: 1814546 markings, 2685059 edges, 114332 markings/sec, 10 secs
lola: 2424349 markings, 3583777 edges, 121961 markings/sec, 15 secs
lola: 3036146 markings, 4475971 edges, 122359 markings/sec, 20 secs
lola: 3636372 markings, 5349016 edges, 120045 markings/sec, 25 secs
lola: 4209855 markings, 6185586 edges, 114697 markings/sec, 30 secs
lola: 4778996 markings, 7017517 edges, 113828 markings/sec, 35 secs
lola: 5370311 markings, 7885553 edges, 118263 markings/sec, 40 secs
lola: 5952697 markings, 8737043 edges, 116477 markings/sec, 45 secs
lola: 6537015 markings, 9588811 edges, 116864 markings/sec, 50 secs
lola: 7124173 markings, 10440826 edges, 117432 markings/sec, 55 secs
lola: 7688202 markings, 11264890 edges, 112806 markings/sec, 60 secs
lola: 8262743 markings, 12107078 edges, 114908 markings/sec, 65 secs
lola: 8834918 markings, 12945509 edges, 114435 markings/sec, 70 secs
lola: 9418133 markings, 13798289 edges, 116643 markings/sec, 75 secs
lola: 9990562 markings, 14639666 edges, 114486 markings/sec, 80 secs
lola: 10563527 markings, 15482746 edges, 114593 markings/sec, 85 secs
lola: 11121837 markings, 16304408 edges, 111662 markings/sec, 90 secs
lola: 11670300 markings, 17112140 edges, 109693 markings/sec, 95 secs
lola: 12231426 markings, 17937273 edges, 112225 markings/sec, 100 secs
lola: 12799101 markings, 18775439 edges, 113535 markings/sec, 105 secs
lola: 13358202 markings, 19604947 edges, 111820 markings/sec, 110 secs
lola: 13904184 markings, 20409373 edges, 109196 markings/sec, 115 secs
lola: 14466347 markings, 21237056 edges, 112433 markings/sec, 120 secs
lola: 15034511 markings, 22072106 edges, 113633 markings/sec, 125 secs
lola: 15582656 markings, 22881039 edges, 109629 markings/sec, 130 secs
lola: 16139810 markings, 23698486 edges, 111431 markings/sec, 135 secs
lola: 16711386 markings, 24532033 edges, 114315 markings/sec, 140 secs
lola: 17281096 markings, 25368351 edges, 113942 markings/sec, 145 secs
lola: 17825874 markings, 26172757 edges, 108956 markings/sec, 150 secs
lola: 18380815 markings, 26990947 edges, 110988 markings/sec, 155 secs
lola: 18936020 markings, 27811793 edges, 111041 markings/sec, 160 secs
lola: 19500289 markings, 28643488 edges, 112854 markings/sec, 165 secs
lola: 20053825 markings, 29460471 edges, 110707 markings/sec, 170 secs
lola: 20618000 markings, 30290462 edges, 112835 markings/sec, 175 secs
lola: 21171688 markings, 31105172 edges, 110738 markings/sec, 180 secs
lola: 21717227 markings, 31907934 edges, 109108 markings/sec, 185 secs
lola: 22255318 markings, 32706272 edges, 107618 markings/sec, 190 secs
lola: 22781008 markings, 33487825 edges, 105138 markings/sec, 195 secs
lola: 23319960 markings, 34286794 edges, 107790 markings/sec, 200 secs
lola: 23871192 markings, 35101114 edges, 110246 markings/sec, 205 secs
lola: 24422969 markings, 35914633 edges, 110355 markings/sec, 210 secs
lola: 24983796 markings, 36735040 edges, 112165 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 659087 markings, 945938 edges, 131817 markings/sec, 0 secs
lola: 1320173 markings, 1891174 edges, 132217 markings/sec, 5 secs
lola: 1972332 markings, 2826243 edges, 130432 markings/sec, 10 secs
lola: 2629539 markings, 3756676 edges, 131441 markings/sec, 15 secs
lola: 3283725 markings, 4677435 edges, 130837 markings/sec, 20 secs
lola: 3935996 markings, 5598653 edges, 130454 markings/sec, 25 secs
lola: 4582481 markings, 6511314 edges, 129297 markings/sec, 30 secs
lola: 5231399 markings, 7431158 edges, 129784 markings/sec, 35 secs
lola: 5879575 markings, 8349196 edges, 129635 markings/sec, 40 secs
lola: 6527490 markings, 9264243 edges, 129583 markings/sec, 45 secs
lola: 7175561 markings, 10173916 edges, 129614 markings/sec, 50 secs
lola: 7812021 markings, 11073639 edges, 127292 markings/sec, 55 secs
lola: 8453228 markings, 11983929 edges, 128241 markings/sec, 60 secs
lola: 9096384 markings, 12894578 edges, 128631 markings/sec, 65 secs
lola: 9733473 markings, 13798161 edges, 127418 markings/sec, 70 secs
lola: 10369985 markings, 14701933 edges, 127302 markings/sec, 75 secs
lola: 11008066 markings, 15611367 edges, 127616 markings/sec, 80 secs
lola: 11646004 markings, 16518151 edges, 127588 markings/sec, 85 secs
lola: 12285327 markings, 17426592 edges, 127865 markings/sec, 90 secs
lola: 12927034 markings, 18336069 edges, 128341 markings/sec, 95 secs
lola: 13562401 markings, 19243183 edges, 127073 markings/sec, 100 secs
lola: 14196846 markings, 20150705 edges, 126889 markings/sec, 105 secs
lola: 14831996 markings, 21056875 edges, 127030 markings/sec, 110 secs
lola: 15463964 markings, 21961362 edges, 126394 markings/sec, 115 secs
lola: 16102302 markings, 22871125 edges, 127668 markings/sec, 120 secs
lola: 16737243 markings, 23773810 edges, 126988 markings/sec, 125 secs
lola: 17357917 markings, 24662416 edges, 124135 markings/sec, 130 secs
lola: 17975671 markings, 25547029 edges, 123551 markings/sec, 135 secs
lola: 18598038 markings, 26436995 edges, 124473 markings/sec, 140 secs
lola: 19226409 markings, 27329373 edges, 125674 markings/sec, 145 secs
lola: 19864512 markings, 28237292 edges, 127621 markings/sec, 150 secs
lola: 20492851 markings, 29132702 edges, 125668 markings/sec, 155 secs
lola: 21117446 markings, 30027268 edges, 124919 markings/sec, 160 secs
lola: 21671448 markings, 30819688 edges, 110800 markings/sec, 165 secs
lola: 22287753 markings, 31708345 edges, 123261 markings/sec, 170 secs
lola: 22897525 markings, 32585249 edges, 121954 markings/sec, 175 secs
lola: 23511975 markings, 33467073 edges, 122890 markings/sec, 180 secs
lola: 24130974 markings, 34354164 edges, 123800 markings/sec, 185 secs
lola: 24750221 markings, 35242679 edges, 123849 markings/sec, 190 secs
lola: 25381197 markings, 36140156 edges, 126195 markings/sec, 195 secs
lola: 26000232 markings, 37027625 edges, 123807 markings/sec, 200 secs
lola: 26551894 markings, 37822485 edges, 110332 markings/sec, 205 secs
lola: 27159174 markings, 38692542 edges, 121456 markings/sec, 210 secs
lola: 27780756 markings, 39582099 edges, 124316 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 652105 markings, 904787 edges, 130421 markings/sec, 0 secs
lola: 1305812 markings, 1808128 edges, 130741 markings/sec, 5 secs
lola: 1949658 markings, 2700403 edges, 128769 markings/sec, 10 secs
lola: 2590680 markings, 3578101 edges, 128204 markings/sec, 15 secs
lola: 3236222 markings, 4457230 edges, 129108 markings/sec, 20 secs
lola: 3871632 markings, 5323802 edges, 127082 markings/sec, 25 secs
lola: 4504447 markings, 6187392 edges, 126563 markings/sec, 30 secs
lola: 5140747 markings, 7057355 edges, 127260 markings/sec, 35 secs
lola: 5770082 markings, 7919891 edges, 125867 markings/sec, 40 secs
lola: 6392414 markings, 8768190 edges, 124466 markings/sec, 45 secs
lola: 7023107 markings, 9625504 edges, 126139 markings/sec, 50 secs
lola: 7645898 markings, 10475213 edges, 124558 markings/sec, 55 secs
lola: 8270646 markings, 11331853 edges, 124950 markings/sec, 60 secs
lola: 8899081 markings, 12191269 edges, 125687 markings/sec, 65 secs
lola: 9527792 markings, 13051660 edges, 125742 markings/sec, 70 secs
lola: 10143189 markings, 13897072 edges, 123079 markings/sec, 75 secs
lola: 10753258 markings, 14737338 edges, 122014 markings/sec, 80 secs
lola: 11362082 markings, 15575881 edges, 121765 markings/sec, 85 secs
lola: 11973594 markings, 16419521 edges, 122302 markings/sec, 90 secs
lola: 12594312 markings, 17273386 edges, 124144 markings/sec, 95 secs
lola: 13214542 markings, 18132213 edges, 124046 markings/sec, 100 secs
lola: 13834867 markings, 18989244 edges, 124065 markings/sec, 105 secs
lola: 14452962 markings, 19841139 edges, 123619 markings/sec, 110 secs
lola: 15077522 markings, 20700594 edges, 124912 markings/sec, 115 secs
lola: 15689977 markings, 21545418 edges, 122491 markings/sec, 120 secs
lola: 16309076 markings, 22393424 edges, 123820 markings/sec, 125 secs
lola: 16940339 markings, 23251455 edges, 126253 markings/sec, 130 secs
lola: 17548144 markings, 24093126 edges, 121561 markings/sec, 135 secs
lola: 18165028 markings, 24940803 edges, 123377 markings/sec, 140 secs
lola: 18770686 markings, 25779830 edges, 121132 markings/sec, 145 secs
lola: 19381513 markings, 26622221 edges, 122165 markings/sec, 150 secs
lola: 19986485 markings, 27458964 edges, 120994 markings/sec, 155 secs
lola: 20604353 markings, 28308187 edges, 123574 markings/sec, 160 secs
lola: 21220406 markings, 29155524 edges, 123211 markings/sec, 165 secs
lola: 21804245 markings, 29960126 edges, 116768 markings/sec, 170 secs
lola: 22400540 markings, 30789341 edges, 119259 markings/sec, 175 secs
lola: 23011816 markings, 31639021 edges, 122255 markings/sec, 180 secs
lola: 23622892 markings, 32488015 edges, 122215 markings/sec, 185 secs
lola: 24243708 markings, 33342053 edges, 124163 markings/sec, 190 secs
lola: 24864727 markings, 34193033 edges, 124204 markings/sec, 195 secs
lola: 25481243 markings, 35047180 edges, 123303 markings/sec, 200 secs
lola: 26093528 markings, 35896422 edges, 122457 markings/sec, 205 secs
lola: 26719514 markings, 36757250 edges, 125197 markings/sec, 210 secs
lola: 27330433 markings, 37607536 edges, 122184 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 636683 markings, 944447 edges, 127337 markings/sec, 0 secs
lola: 1269732 markings, 1879273 edges, 126610 markings/sec, 5 secs
lola: 1899838 markings, 2811274 edges, 126021 markings/sec, 10 secs
lola: 2528926 markings, 3734125 edges, 125818 markings/sec, 15 secs
lola: 3160449 markings, 4655432 edges, 126305 markings/sec, 20 secs
lola: 3786245 markings, 5567518 edges, 125159 markings/sec, 25 secs
lola: 4410272 markings, 6478480 edges, 124805 markings/sec, 30 secs
lola: 5028898 markings, 7382602 edges, 123725 markings/sec, 35 secs
lola: 5654293 markings, 8300907 edges, 125079 markings/sec, 40 secs
lola: 6276190 markings, 9208961 edges, 124379 markings/sec, 45 secs
lola: 6897266 markings, 10111671 edges, 124215 markings/sec, 50 secs
lola: 7516443 markings, 11013641 edges, 123835 markings/sec, 55 secs
lola: 8126755 markings, 11908337 edges, 122062 markings/sec, 60 secs
lola: 8736045 markings, 12801267 edges, 121858 markings/sec, 65 secs
lola: 9357990 markings, 13711134 edges, 124389 markings/sec, 70 secs
lola: 9964272 markings, 14600388 edges, 121256 markings/sec, 75 secs
lola: 10577331 markings, 15501427 edges, 122612 markings/sec, 80 secs
lola: 11190248 markings, 16403284 edges, 122583 markings/sec, 85 secs
lola: 11804505 markings, 17306326 edges, 122851 markings/sec, 90 secs
lola: 12425444 markings, 18215273 edges, 124188 markings/sec, 95 secs
lola: 13035088 markings, 19111040 edges, 121929 markings/sec, 100 secs
lola: 13641253 markings, 20009161 edges, 121233 markings/sec, 105 secs
lola: 14251525 markings, 20906971 edges, 122054 markings/sec, 110 secs
lola: 14861901 markings, 21808163 edges, 122075 markings/sec, 115 secs
lola: 15468416 markings, 22704485 edges, 121303 markings/sec, 120 secs
lola: 16074670 markings, 23598098 edges, 121251 markings/sec, 125 secs
lola: 16686461 markings, 24495412 edges, 122358 markings/sec, 130 secs
lola: 17291124 markings, 25390304 edges, 120933 markings/sec, 135 secs
lola: 17892332 markings, 26280862 edges, 120242 markings/sec, 140 secs
lola: 18496578 markings, 27172197 edges, 120849 markings/sec, 145 secs
lola: 19102094 markings, 28064370 edges, 121103 markings/sec, 150 secs
lola: 19718189 markings, 28965742 edges, 123219 markings/sec, 155 secs
lola: 20324841 markings, 29862607 edges, 121330 markings/sec, 160 secs
lola: 20931786 markings, 30758369 edges, 121389 markings/sec, 165 secs
lola: 21537506 markings, 31653366 edges, 121144 markings/sec, 170 secs
lola: 22141202 markings, 32551076 edges, 120739 markings/sec, 175 secs
lola: 22742535 markings, 33445149 edges, 120267 markings/sec, 180 secs
lola: 23347464 markings, 34342164 edges, 120986 markings/sec, 185 secs
lola: 23946615 markings, 35231205 edges, 119830 markings/sec, 190 secs
lola: 24535320 markings, 36102541 edges, 117741 markings/sec, 195 secs
lola: 25128034 markings, 36974876 edges, 118543 markings/sec, 200 secs
lola: 25712405 markings, 37839133 edges, 116874 markings/sec, 205 secs
lola: 26310436 markings, 38727183 edges, 119606 markings/sec, 210 secs
lola: 26907944 markings, 39613434 edges, 119502 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 614633 markings, 766598 edges, 122927 markings/sec, 0 secs
lola: 1225308 markings, 1539390 edges, 122135 markings/sec, 5 secs
lola: 1826552 markings, 2303721 edges, 120249 markings/sec, 10 secs
lola: 2431881 markings, 3077064 edges, 121066 markings/sec, 15 secs
lola: 3036804 markings, 3853878 edges, 120985 markings/sec, 20 secs
lola: 3640151 markings, 4630719 edges, 120669 markings/sec, 25 secs
lola: 4242978 markings, 5412177 edges, 120565 markings/sec, 30 secs
lola: 4844253 markings, 6177219 edges, 120255 markings/sec, 35 secs
lola: 5436688 markings, 6941615 edges, 118487 markings/sec, 40 secs
lola: 6037749 markings, 7713891 edges, 120212 markings/sec, 45 secs
lola: 6635936 markings, 8489894 edges, 119637 markings/sec, 50 secs
lola: 7238878 markings, 9260354 edges, 120588 markings/sec, 55 secs
lola: 7826292 markings, 10024812 edges, 117483 markings/sec, 60 secs
lola: 8413826 markings, 10785698 edges, 117507 markings/sec, 65 secs
lola: 9005897 markings, 11562950 edges, 118414 markings/sec, 70 secs
lola: 9604915 markings, 12331908 edges, 119804 markings/sec, 75 secs
lola: 10201032 markings, 13111520 edges, 119223 markings/sec, 80 secs
lola: 10802890 markings, 13891400 edges, 120372 markings/sec, 85 secs
lola: 11394095 markings, 14667914 edges, 118241 markings/sec, 90 secs
lola: 11989357 markings, 15447455 edges, 119052 markings/sec, 95 secs
lola: 12580134 markings, 16227238 edges, 118155 markings/sec, 100 secs
lola: 13171644 markings, 17007084 edges, 118302 markings/sec, 105 secs
lola: 13776421 markings, 17774337 edges, 120955 markings/sec, 110 secs
lola: 14369299 markings, 18542856 edges, 118576 markings/sec, 115 secs
lola: 14959367 markings, 19319888 edges, 118014 markings/sec, 120 secs
lola: 15545228 markings, 20094869 edges, 117172 markings/sec, 125 secs
lola: 16131447 markings, 20862799 edges, 117244 markings/sec, 130 secs
lola: 16716228 markings, 21642403 edges, 116956 markings/sec, 135 secs
lola: 17304952 markings, 22416200 edges, 117745 markings/sec, 140 secs
lola: 17891041 markings, 23172135 edges, 117218 markings/sec, 145 secs
lola: 18472690 markings, 23947966 edges, 116330 markings/sec, 150 secs
lola: 19054272 markings, 24728080 edges, 116316 markings/sec, 155 secs
lola: 19643659 markings, 25506716 edges, 117877 markings/sec, 160 secs
lola: 20233440 markings, 26282950 edges, 117956 markings/sec, 165 secs
lola: 20816372 markings, 27061862 edges, 116586 markings/sec, 170 secs
lola: 21392693 markings, 27826636 edges, 115264 markings/sec, 175 secs
lola: 21977983 markings, 28596697 edges, 117058 markings/sec, 180 secs
lola: 22565882 markings, 29376091 edges, 117580 markings/sec, 185 secs
lola: 23150186 markings, 30153255 edges, 116861 markings/sec, 190 secs
lola: 23733565 markings, 30935021 edges, 116676 markings/sec, 195 secs
lola: 24325568 markings, 31701963 edges, 118401 markings/sec, 200 secs
lola: 24919574 markings, 32472096 edges, 118801 markings/sec, 205 secs
lola: 25505301 markings, 33247291 edges, 117145 markings/sec, 210 secs
lola: 26091341 markings, 34023826 edges, 117208 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 588075 markings, 785688 edges, 117615 markings/sec, 0 secs
lola: 1161949 markings, 1561856 edges, 114775 markings/sec, 5 secs
lola: 1733381 markings, 2336990 edges, 114286 markings/sec, 10 secs
lola: 2307118 markings, 3112824 edges, 114747 markings/sec, 15 secs
lola: 2883580 markings, 3889628 edges, 115292 markings/sec, 20 secs
lola: 3456477 markings, 4664677 edges, 114579 markings/sec, 25 secs
lola: 4027368 markings, 5436991 edges, 114178 markings/sec, 30 secs
lola: 4591710 markings, 6207059 edges, 112868 markings/sec, 35 secs
lola: 5153437 markings, 6977180 edges, 112345 markings/sec, 40 secs
lola: 5720077 markings, 7746024 edges, 113328 markings/sec, 45 secs
lola: 6280002 markings, 8513543 edges, 111985 markings/sec, 50 secs
lola: 6841684 markings, 9282089 edges, 112336 markings/sec, 55 secs
lola: 7396065 markings, 10045931 edges, 110876 markings/sec, 60 secs
lola: 7955589 markings, 10815962 edges, 111905 markings/sec, 65 secs
lola: 8520449 markings, 11589881 edges, 112972 markings/sec, 70 secs
lola: 9074946 markings, 12358805 edges, 110899 markings/sec, 75 secs
lola: 9636161 markings, 13132105 edges, 112243 markings/sec, 80 secs
lola: 10207999 markings, 13909711 edges, 114368 markings/sec, 85 secs
lola: 10768058 markings, 14678938 edges, 112012 markings/sec, 90 secs
lola: 11328014 markings, 15448759 edges, 111991 markings/sec, 95 secs
lola: 11875813 markings, 16206641 edges, 109560 markings/sec, 100 secs
lola: 12429986 markings, 16975247 edges, 110835 markings/sec, 105 secs
lola: 12994501 markings, 17746559 edges, 112903 markings/sec, 110 secs
lola: 13548034 markings, 18513077 edges, 110707 markings/sec, 115 secs
lola: 14108459 markings, 19283241 edges, 112085 markings/sec, 120 secs
lola: 14664114 markings, 20050025 edges, 111131 markings/sec, 125 secs
lola: 15220572 markings, 20818603 edges, 111292 markings/sec, 130 secs
lola: 15768534 markings, 21583547 edges, 109592 markings/sec, 135 secs
lola: 16316617 markings, 22347646 edges, 109617 markings/sec, 140 secs
lola: 16864882 markings, 23111237 edges, 109653 markings/sec, 145 secs
lola: 17415417 markings, 23875188 edges, 110107 markings/sec, 150 secs
lola: 17964143 markings, 24640929 edges, 109745 markings/sec, 155 secs
lola: 18508418 markings, 25402031 edges, 108855 markings/sec, 160 secs
lola: 19063369 markings, 26167590 edges, 110990 markings/sec, 165 secs
lola: 19624066 markings, 26938856 edges, 112139 markings/sec, 170 secs
lola: 20176502 markings, 27704294 edges, 110487 markings/sec, 175 secs
lola: 20722557 markings, 28466934 edges, 109211 markings/sec, 180 secs
lola: 21266092 markings, 29227772 edges, 108707 markings/sec, 185 secs
lola: 21814514 markings, 29992360 edges, 109684 markings/sec, 190 secs
lola: 22360978 markings, 30756366 edges, 109293 markings/sec, 195 secs
lola: 22918794 markings, 31525267 edges, 111563 markings/sec, 200 secs
lola: 23468090 markings, 32291733 edges, 109859 markings/sec, 205 secs
lola: 24026073 markings, 33062250 edges, 111597 markings/sec, 210 secs
lola: 24573551 markings, 33826904 edges, 109496 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 591738 markings, 788160 edges, 118348 markings/sec, 0 secs
lola: 1176573 markings, 1571845 edges, 116967 markings/sec, 5 secs
lola: 1751137 markings, 2346029 edges, 114913 markings/sec, 10 secs
lola: 2321970 markings, 3119249 edges, 114167 markings/sec, 15 secs
lola: 2886730 markings, 3884157 edges, 112952 markings/sec, 20 secs
lola: 3455166 markings, 4653291 edges, 113687 markings/sec, 25 secs
lola: 4014418 markings, 5417335 edges, 111850 markings/sec, 30 secs
lola: 4579507 markings, 6183109 edges, 113018 markings/sec, 35 secs
lola: 5131543 markings, 6935334 edges, 110407 markings/sec, 40 secs
lola: 5698060 markings, 7704416 edges, 113303 markings/sec, 45 secs
lola: 6262895 markings, 8471613 edges, 112967 markings/sec, 50 secs
lola: 6820548 markings, 9233930 edges, 111531 markings/sec, 55 secs
lola: 7339920 markings, 9947053 edges, 103874 markings/sec, 60 secs
lola: 7897045 markings, 10708429 edges, 111425 markings/sec, 65 secs
lola: 8457109 markings, 11469963 edges, 112013 markings/sec, 70 secs
lola: 9011402 markings, 12230524 edges, 110859 markings/sec, 75 secs
lola: 9571037 markings, 12993848 edges, 111927 markings/sec, 80 secs
lola: 10120859 markings, 13751474 edges, 109964 markings/sec, 85 secs
lola: 10670581 markings, 14509479 edges, 109944 markings/sec, 90 secs
lola: 11214639 markings, 15263346 edges, 108812 markings/sec, 95 secs
lola: 11767107 markings, 16021624 edges, 110494 markings/sec, 100 secs
lola: 12311215 markings, 16775857 edges, 108822 markings/sec, 105 secs
lola: 12869470 markings, 17536074 edges, 111651 markings/sec, 110 secs
lola: 13419171 markings, 18292454 edges, 109940 markings/sec, 115 secs
lola: 13958405 markings, 19035558 edges, 107847 markings/sec, 120 secs
lola: 14507127 markings, 19792496 edges, 109744 markings/sec, 125 secs
lola: 15055947 markings, 20551001 edges, 109764 markings/sec, 130 secs
lola: 15602171 markings, 21305620 edges, 109245 markings/sec, 135 secs
lola: 16149053 markings, 22059835 edges, 109376 markings/sec, 140 secs
lola: 16689392 markings, 22811172 edges, 108068 markings/sec, 145 secs
lola: 17233598 markings, 23563512 edges, 108841 markings/sec, 150 secs
lola: 17773805 markings, 24308953 edges, 108041 markings/sec, 155 secs
lola: 18311955 markings, 25057340 edges, 107630 markings/sec, 160 secs
lola: 18856765 markings, 25810554 edges, 108962 markings/sec, 165 secs
lola: 19402382 markings, 26563726 edges, 109123 markings/sec, 170 secs
lola: 19924637 markings, 27295989 edges, 104451 markings/sec, 175 secs
lola: 20454982 markings, 28032013 edges, 106069 markings/sec, 180 secs
lola: 20994183 markings, 28781220 edges, 107840 markings/sec, 185 secs
lola: 21526719 markings, 29521570 edges, 106507 markings/sec, 190 secs
lola: 22066382 markings, 30271297 edges, 107933 markings/sec, 195 secs
lola: 22596199 markings, 31011598 edges, 105963 markings/sec, 200 secs
lola: 23136554 markings, 31764599 edges, 108071 markings/sec, 205 secs
lola: 23671402 markings, 32505979 edges, 106970 markings/sec, 210 secs
lola: 24207697 markings, 33255172 edges, 107259 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 653989 markings, 938525 edges, 130798 markings/sec, 0 secs
lola: 1307133 markings, 1872171 edges, 130629 markings/sec, 5 secs
lola: 1949310 markings, 2792698 edges, 128435 markings/sec, 10 secs
lola: 2593865 markings, 3705890 edges, 128911 markings/sec, 15 secs
lola: 3234754 markings, 4609158 edges, 128178 markings/sec, 20 secs
lola: 3872350 markings, 5509063 edges, 127519 markings/sec, 25 secs
lola: 4504624 markings, 6402050 edges, 126455 markings/sec, 30 secs
lola: 5136980 markings, 7296582 edges, 126471 markings/sec, 35 secs
lola: 5764734 markings, 8186990 edges, 125551 markings/sec, 40 secs
lola: 6386597 markings, 9064246 edges, 124373 markings/sec, 45 secs
lola: 7012649 markings, 9945359 edges, 125210 markings/sec, 50 secs
lola: 7637890 markings, 10827915 edges, 125048 markings/sec, 55 secs
lola: 8262337 markings, 11713129 edges, 124889 markings/sec, 60 secs
lola: 8890326 markings, 12602553 edges, 125598 markings/sec, 65 secs
lola: 9520643 markings, 13495044 edges, 126063 markings/sec, 70 secs
lola: 10145261 markings, 14382883 edges, 124924 markings/sec, 75 secs
lola: 10760593 markings, 15259632 edges, 123066 markings/sec, 80 secs
lola: 11378447 markings, 16139998 edges, 123571 markings/sec, 85 secs
lola: 11999539 markings, 17026711 edges, 124218 markings/sec, 90 secs
lola: 12621596 markings, 17912384 edges, 124411 markings/sec, 95 secs
lola: 13243462 markings, 18802277 edges, 124373 markings/sec, 100 secs
lola: 13862761 markings, 19687720 edges, 123860 markings/sec, 105 secs
lola: 14482824 markings, 20571380 edges, 124013 markings/sec, 110 secs
lola: 15105727 markings, 21458622 edges, 124581 markings/sec, 115 secs
lola: 15721272 markings, 22337198 edges, 123109 markings/sec, 120 secs
lola: 16341498 markings, 23216453 edges, 124045 markings/sec, 125 secs
lola: 16973814 markings, 24105807 edges, 126463 markings/sec, 130 secs
lola: 17587507 markings, 24984567 edges, 122739 markings/sec, 135 secs
lola: 18203430 markings, 25860804 edges, 123185 markings/sec, 140 secs
lola: 18818306 markings, 26741080 edges, 122975 markings/sec, 145 secs
lola: 19437475 markings, 27625596 edges, 123834 markings/sec, 150 secs
lola: 20051486 markings, 28502397 edges, 122802 markings/sec, 155 secs
lola: 20667558 markings, 29379105 edges, 123214 markings/sec, 160 secs
lola: 21281996 markings, 30252323 edges, 122888 markings/sec, 165 secs
lola: 21889854 markings, 31122076 edges, 121572 markings/sec, 170 secs
lola: 22498992 markings, 31997958 edges, 121828 markings/sec, 175 secs
lola: 23101775 markings, 32862677 edges, 120557 markings/sec, 180 secs
lola: 23710295 markings, 33737581 edges, 121704 markings/sec, 185 secs
lola: 24324818 markings, 34612340 edges, 122905 markings/sec, 190 secs
lola: 24942047 markings, 35485874 edges, 123446 markings/sec, 195 secs
lola: 25546376 markings, 36353851 edges, 120866 markings/sec, 200 secs
lola: 26153343 markings, 37225008 edges, 121393 markings/sec, 205 secs
lola: 26776662 markings, 38111353 edges, 124664 markings/sec, 210 secs
lola: 27382436 markings, 38983445 edges, 121155 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 596562 markings, 855456 edges, 119312 markings/sec, 0 secs
lola: 1247651 markings, 1787711 edges, 130218 markings/sec, 5 secs
lola: 1891429 markings, 2708938 edges, 128756 markings/sec, 10 secs
lola: 2535110 markings, 3622516 edges, 128736 markings/sec, 15 secs
lola: 3126810 markings, 4457388 edges, 118340 markings/sec, 20 secs
lola: 3768784 markings, 5362403 edges, 128395 markings/sec, 25 secs
lola: 4409799 markings, 6267872 edges, 128203 markings/sec, 30 secs
lola: 5041458 markings, 7161385 edges, 126332 markings/sec, 35 secs
lola: 5624441 markings, 7989359 edges, 116597 markings/sec, 40 secs
lola: 6257952 markings, 8884510 edges, 126702 markings/sec, 45 secs
lola: 6889105 markings, 9772100 edges, 126231 markings/sec, 50 secs
lola: 7519051 markings, 10659397 edges, 125989 markings/sec, 55 secs
lola: 8141500 markings, 11541696 edges, 124490 markings/sec, 60 secs
lola: 8767865 markings, 12430826 edges, 125273 markings/sec, 65 secs
lola: 9401450 markings, 13326735 edges, 126717 markings/sec, 70 secs
lola: 10024837 markings, 14212956 edges, 124677 markings/sec, 75 secs
lola: 10591885 markings, 15020402 edges, 113410 markings/sec, 80 secs
lola: 11211840 markings, 15903057 edges, 123991 markings/sec, 85 secs
lola: 11831375 markings, 16786535 edges, 123907 markings/sec, 90 secs
lola: 12452047 markings, 17669253 edges, 124134 markings/sec, 95 secs
lola: 13075332 markings, 18561400 edges, 124657 markings/sec, 100 secs
lola: 13695133 markings, 19448194 edges, 123960 markings/sec, 105 secs
lola: 14310847 markings, 20325521 edges, 123143 markings/sec, 110 secs
lola: 14933012 markings, 21211339 edges, 124433 markings/sec, 115 secs
lola: 15548623 markings, 22090481 edges, 123122 markings/sec, 120 secs
lola: 16167830 markings, 22969423 edges, 123841 markings/sec, 125 secs
lola: 16796967 markings, 23856278 edges, 125827 markings/sec, 130 secs
lola: 17415387 markings, 24738327 edges, 123684 markings/sec, 135 secs
lola: 17984096 markings, 25549061 edges, 113742 markings/sec, 140 secs
lola: 18600938 markings, 26432751 edges, 123368 markings/sec, 145 secs
lola: 19220512 markings, 27316124 edges, 123915 markings/sec, 150 secs
lola: 19837649 markings, 28200532 edges, 123427 markings/sec, 155 secs
lola: 20426122 markings, 29033891 edges, 117695 markings/sec, 160 secs
lola: 21036084 markings, 29907356 edges, 121992 markings/sec, 165 secs
lola: 21650828 markings, 30780437 edges, 122949 markings/sec, 170 secs
lola: 22260191 markings, 31653764 edges, 121873 markings/sec, 175 secs
lola: 22816621 markings, 32454520 edges, 111286 markings/sec, 180 secs
lola: 23424840 markings, 33326569 edges, 121644 markings/sec, 185 secs
lola: 24036432 markings, 34199760 edges, 122318 markings/sec, 190 secs
lola: 24651707 markings, 35076726 edges, 123055 markings/sec, 195 secs
lola: 25265488 markings, 35949231 edges, 122756 markings/sec, 200 secs
lola: 25873622 markings, 36823639 edges, 121627 markings/sec, 205 secs
lola: 26488713 markings, 37701327 edges, 123018 markings/sec, 210 secs
lola: 27105435 markings, 38583563 edges, 123344 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 644557 markings, 925062 edges, 128911 markings/sec, 0 secs
lola: 1292433 markings, 1851155 edges, 129575 markings/sec, 5 secs
lola: 1929650 markings, 2763950 edges, 127443 markings/sec, 10 secs
lola: 2567407 markings, 3667976 edges, 127551 markings/sec, 15 secs
lola: 3208058 markings, 4571716 edges, 128130 markings/sec, 20 secs
lola: 3838629 markings, 5461280 edges, 126114 markings/sec, 25 secs
lola: 4468653 markings, 6350625 edges, 126005 markings/sec, 30 secs
lola: 5064489 markings, 7193280 edges, 119167 markings/sec, 35 secs
lola: 5681176 markings, 8070442 edges, 123337 markings/sec, 40 secs
lola: 6305515 markings, 8951175 edges, 124868 markings/sec, 45 secs
lola: 6929637 markings, 9828021 edges, 124824 markings/sec, 50 secs
lola: 7547015 markings, 10699202 edges, 123476 markings/sec, 55 secs
lola: 8158733 markings, 11566335 edges, 122344 markings/sec, 60 secs
lola: 8775457 markings, 12441377 edges, 123345 markings/sec, 65 secs
lola: 9400596 markings, 13325525 edges, 125028 markings/sec, 70 secs
lola: 10013687 markings, 14197155 edges, 122618 markings/sec, 75 secs
lola: 10620649 markings, 15061608 edges, 121392 markings/sec, 80 secs
lola: 11227643 markings, 15925507 edges, 121399 markings/sec, 85 secs
lola: 11834832 markings, 16791496 edges, 121438 markings/sec, 90 secs
lola: 12443261 markings, 17656854 edges, 121686 markings/sec, 95 secs
lola: 13054162 markings, 18531173 edges, 122180 markings/sec, 100 secs
lola: 13663890 markings, 19403438 edges, 121946 markings/sec, 105 secs
lola: 14266342 markings, 20262981 edges, 120490 markings/sec, 110 secs
lola: 14875373 markings, 21129528 edges, 121806 markings/sec, 115 secs
lola: 15478047 markings, 21990012 edges, 120535 markings/sec, 120 secs
lola: 16084673 markings, 22852029 edges, 121325 markings/sec, 125 secs
lola: 16697998 markings, 23717499 edges, 122665 markings/sec, 130 secs
lola: 17311085 markings, 24588883 edges, 122617 markings/sec, 135 secs
lola: 17915844 markings, 25453065 edges, 120952 markings/sec, 140 secs
lola: 18524659 markings, 26323093 edges, 121763 markings/sec, 145 secs
lola: 19128804 markings, 27186334 edges, 120829 markings/sec, 150 secs
lola: 19736049 markings, 28054998 edges, 121449 markings/sec, 155 secs
lola: 20343979 markings, 28917197 edges, 121586 markings/sec, 160 secs
lola: 20942283 markings, 29771875 edges, 119661 markings/sec, 165 secs
lola: 21543637 markings, 30626866 edges, 120271 markings/sec, 170 secs
lola: 22137150 markings, 31476959 edges, 118703 markings/sec, 175 secs
lola: 22726741 markings, 32325025 edges, 117918 markings/sec, 180 secs
lola: 23319045 markings, 33175173 edges, 118461 markings/sec, 185 secs
lola: 23917676 markings, 34030712 edges, 119726 markings/sec, 190 secs
lola: 24494805 markings, 34853342 edges, 115426 markings/sec, 195 secs
lola: 25091273 markings, 35699083 edges, 119294 markings/sec, 200 secs
lola: 25680631 markings, 36548122 edges, 117872 markings/sec, 205 secs
lola: 26277901 markings, 37402476 edges, 119454 markings/sec, 210 secs
lola: 26888980 markings, 38272339 edges, 122216 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 616334 markings, 769999 edges, 123267 markings/sec, 0 secs
lola: 1220619 markings, 1533458 edges, 120857 markings/sec, 5 secs
lola: 1822582 markings, 2298433 edges, 120393 markings/sec, 10 secs
lola: 2415892 markings, 3062315 edges, 118662 markings/sec, 15 secs
lola: 3010577 markings, 3818379 edges, 118937 markings/sec, 20 secs
lola: 3609634 markings, 4576871 edges, 119811 markings/sec, 25 secs
lola: 4190783 markings, 5333937 edges, 116230 markings/sec, 30 secs
lola: 4785033 markings, 6090835 edges, 118850 markings/sec, 35 secs
lola: 5371418 markings, 6838214 edges, 117277 markings/sec, 40 secs
lola: 5957176 markings, 7595964 edges, 117152 markings/sec, 45 secs
lola: 6537928 markings, 8354261 edges, 116150 markings/sec, 50 secs
lola: 7116431 markings, 9111992 edges, 115701 markings/sec, 55 secs
lola: 7697236 markings, 9865846 edges, 116161 markings/sec, 60 secs
lola: 8277551 markings, 10622761 edges, 116063 markings/sec, 65 secs
lola: 8856535 markings, 11376647 edges, 115797 markings/sec, 70 secs
lola: 9437197 markings, 12143635 edges, 116132 markings/sec, 75 secs
lola: 10014358 markings, 12900389 edges, 115432 markings/sec, 80 secs
lola: 10598266 markings, 13647449 edges, 116782 markings/sec, 85 secs
lola: 11171912 markings, 14394557 edges, 114729 markings/sec, 90 secs
lola: 11757716 markings, 15149873 edges, 117161 markings/sec, 95 secs
lola: 12326022 markings, 15904187 edges, 113661 markings/sec, 100 secs
lola: 12894749 markings, 16656611 edges, 113745 markings/sec, 105 secs
lola: 13469726 markings, 17405582 edges, 114995 markings/sec, 110 secs
lola: 14063187 markings, 18156862 edges, 118692 markings/sec, 115 secs
lola: 14643212 markings, 18902999 edges, 116005 markings/sec, 120 secs
lola: 15213119 markings, 19656789 edges, 113981 markings/sec, 125 secs
lola: 15788614 markings, 20407731 edges, 115099 markings/sec, 130 secs
lola: 16368683 markings, 21143573 edges, 116014 markings/sec, 135 secs
lola: 16931331 markings, 21889403 edges, 112530 markings/sec, 140 secs
lola: 17501722 markings, 22638135 edges, 114078 markings/sec, 145 secs
lola: 18073109 markings, 23388627 edges, 114277 markings/sec, 150 secs
lola: 18646186 markings, 24144245 edges, 114615 markings/sec, 155 secs
lola: 19215750 markings, 24897180 edges, 113913 markings/sec, 160 secs
lola: 19780640 markings, 25649018 edges, 112978 markings/sec, 165 secs
lola: 20345467 markings, 26400252 edges, 112965 markings/sec, 170 secs
lola: 20908918 markings, 27151100 edges, 112690 markings/sec, 175 secs
lola: 21467673 markings, 27900672 edges, 111751 markings/sec, 180 secs
lola: 22029588 markings, 28650301 edges, 112383 markings/sec, 185 secs
lola: 22609006 markings, 29404920 edges, 115884 markings/sec, 190 secs
lola: 23173726 markings, 30141468 edges, 112944 markings/sec, 195 secs
lola: 23736644 markings, 30873471 edges, 112584 markings/sec, 200 secs
lola: 24292797 markings, 31608331 edges, 111231 markings/sec, 205 secs
lola: 24857238 markings, 32358038 edges, 112888 markings/sec, 210 secs
lola: 25427415 markings, 33109952 edges, 114035 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 642951 markings, 922824 edges, 128590 markings/sec, 0 secs
lola: 1283900 markings, 1839329 edges, 128190 markings/sec, 5 secs
lola: 1927684 markings, 2761075 edges, 128757 markings/sec, 10 secs
lola: 2578873 markings, 3684743 edges, 130238 markings/sec, 15 secs
lola: 3229256 markings, 4601331 edges, 130077 markings/sec, 20 secs
lola: 3846675 markings, 5472866 edges, 123484 markings/sec, 25 secs
lola: 4472430 markings, 6356089 edges, 125151 markings/sec, 30 secs
lola: 5089744 markings, 7228881 edges, 123463 markings/sec, 35 secs
lola: 5717036 markings, 8121032 edges, 125458 markings/sec, 40 secs
lola: 6339960 markings, 8999860 edges, 124585 markings/sec, 45 secs
lola: 6966363 markings, 9880236 edges, 125281 markings/sec, 50 secs
lola: 7584588 markings, 10752706 edges, 123645 markings/sec, 55 secs
lola: 8201329 markings, 11625547 edges, 123348 markings/sec, 60 secs
lola: 8790834 markings, 12462907 edges, 117901 markings/sec, 65 secs
lola: 9422457 markings, 13356019 edges, 126325 markings/sec, 70 secs
lola: 10035034 markings, 14227500 edges, 122515 markings/sec, 75 secs
lola: 10646956 markings, 15099219 edges, 122384 markings/sec, 80 secs
lola: 11256845 markings, 15966712 edges, 121978 markings/sec, 85 secs
lola: 11869568 markings, 16841595 edges, 122545 markings/sec, 90 secs
lola: 12480429 markings, 17709738 edges, 122172 markings/sec, 95 secs
lola: 13096761 markings, 18592405 edges, 123266 markings/sec, 100 secs
lola: 13708139 markings, 19466804 edges, 122276 markings/sec, 105 secs
lola: 14312844 markings, 20328301 edges, 120941 markings/sec, 110 secs
lola: 14921721 markings, 21195489 edges, 121775 markings/sec, 115 secs
lola: 15513937 markings, 22041363 edges, 118443 markings/sec, 120 secs
lola: 16121063 markings, 22903846 edges, 121425 markings/sec, 125 secs
lola: 16741691 markings, 23778823 edges, 124126 markings/sec, 130 secs
lola: 17358433 markings, 24656689 edges, 123348 markings/sec, 135 secs
lola: 17976429 markings, 25538106 edges, 123599 markings/sec, 140 secs
lola: 18579021 markings, 26401225 edges, 120518 markings/sec, 145 secs
lola: 19176286 markings, 27253425 edges, 119453 markings/sec, 150 secs
lola: 19772410 markings, 28107492 edges, 119225 markings/sec, 155 secs
lola: 20388522 markings, 28980206 edges, 123222 markings/sec, 160 secs
lola: 20991082 markings, 29842601 edges, 120512 markings/sec, 165 secs
lola: 21597929 markings, 30704092 edges, 121369 markings/sec, 170 secs
lola: 22187886 markings, 31549746 edges, 117991 markings/sec, 175 secs
lola: 22773575 markings, 32392454 edges, 117138 markings/sec, 180 secs
lola: 23358468 markings, 33231723 edges, 116979 markings/sec, 185 secs
lola: 23949179 markings, 34075400 edges, 118142 markings/sec, 190 secs
lola: 24543433 markings, 34922783 edges, 118851 markings/sec, 195 secs
lola: 25142336 markings, 35772778 edges, 119781 markings/sec, 200 secs
lola: 25725852 markings, 36613321 edges, 116703 markings/sec, 205 secs
lola: 26321392 markings, 37462896 edges, 119108 markings/sec, 210 secs
lola: 26924901 markings, 38324026 edges, 120702 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 17 unused bits
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: 649402 markings, 932062 edges, 129880 markings/sec, 0 secs
lola: 1300469 markings, 1862584 edges, 130213 markings/sec, 5 secs
lola: 1941759 markings, 2782355 edges, 128258 markings/sec, 10 secs
lola: 2583862 markings, 3691771 edges, 128421 markings/sec, 15 secs
lola: 3226325 markings, 4597178 edges, 128493 markings/sec, 20 secs
lola: 3862413 markings, 5495119 edges, 127218 markings/sec, 25 secs
lola: 4495363 markings, 6389118 edges, 126590 markings/sec, 30 secs
lola: 5127231 markings, 7283055 edges, 126374 markings/sec, 35 secs
lola: 5756872 markings, 8176187 edges, 125928 markings/sec, 40 secs
lola: 6387010 markings, 9064845 edges, 126028 markings/sec, 45 secs
lola: 7016680 markings, 9950929 edges, 125934 markings/sec, 50 secs
lola: 7635307 markings, 10824246 edges, 123725 markings/sec, 55 secs
lola: 8258578 markings, 11707639 edges, 124654 markings/sec, 60 secs
lola: 8882786 markings, 12591997 edges, 124842 markings/sec, 65 secs
lola: 9500876 markings, 13467319 edges, 123618 markings/sec, 70 secs
lola: 10100770 markings, 14320396 edges, 119979 markings/sec, 75 secs
lola: 10713492 markings, 15193383 edges, 122544 markings/sec, 80 secs
lola: 11323318 markings, 16061351 edges, 121965 markings/sec, 85 secs
lola: 11937705 markings, 16938214 edges, 122877 markings/sec, 90 secs
lola: 12553096 markings, 17813609 edges, 123078 markings/sec, 95 secs
lola: 13169321 markings, 18696565 edges, 123245 markings/sec, 100 secs
lola: 13784034 markings, 19575247 edges, 122943 markings/sec, 105 secs
lola: 14397827 markings, 20449786 edges, 122759 markings/sec, 110 secs
lola: 15014022 markings, 21326357 edges, 123239 markings/sec, 115 secs
lola: 15621276 markings, 22194783 edges, 121451 markings/sec, 120 secs
lola: 16233982 markings, 23062524 edges, 122541 markings/sec, 125 secs
lola: 16857097 markings, 23940745 edges, 124623 markings/sec, 130 secs
lola: 17460359 markings, 24802931 edges, 120652 markings/sec, 135 secs
lola: 18066614 markings, 25665593 edges, 121251 markings/sec, 140 secs
lola: 18675056 markings, 26537592 edges, 121688 markings/sec, 145 secs
lola: 19286266 markings, 27410868 edges, 122242 markings/sec, 150 secs
lola: 19898936 markings, 28286963 edges, 122534 markings/sec, 155 secs
lola: 20515369 markings, 29161295 edges, 123287 markings/sec, 160 secs
lola: 21122981 markings, 30028969 edges, 121522 markings/sec, 165 secs
lola: 21728008 markings, 30889524 edges, 121005 markings/sec, 170 secs
lola: 22330550 markings, 31754099 edges, 120508 markings/sec, 175 secs
lola: 22930237 markings, 32617059 edges, 119937 markings/sec, 180 secs
lola: 23532092 markings, 33481741 edges, 120371 markings/sec, 185 secs
lola: 24137339 markings, 34343717 edges, 121049 markings/sec, 190 secs
lola: 24743116 markings, 35206440 edges, 121155 markings/sec, 195 secs
lola: 25352009 markings, 36073328 edges, 121779 markings/sec, 200 secs
lola: 25952124 markings, 36936414 edges, 120023 markings/sec, 205 secs
lola: 26563430 markings, 37808012 edges, 122261 markings/sec, 210 secs
lola: 27173673 markings, 38681306 edges, 122049 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-10a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496487447095
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-10a"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-10a.tgz
mv FlexibleBarrier-PT-10a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-10a, 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 r188-blw3-149581034200056"
echo "====================================================================="
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 ;