About the Execution of LoLA for FlexibleBarrier-PT-14a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2669.540 | 3540172.00 | 3545526.00 | 1475.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-14a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200092
=====================================================================
--------------------
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-14a-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-14a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496488642836
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-14a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-14a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-14a @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 749/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 171 places, 578 transitions, 155 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 438 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-14a-UpperBounds.task
lola: MAX(p144) : MAX(p79) : MAX(p24) : MAX(p21) : MAX(p52) : MAX(p100) : MAX(p145) : MAX(p159) : MAX(p6) : MAX(p32) : MAX(p34) : MAX(p112) : MAX(p46) : MAX(p125) : MAX(p159) : MAX(p129)
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(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 228061 markings, 447027 edges, 45612 markings/sec, 0 secs
lola: 458624 markings, 879319 edges, 46113 markings/sec, 5 secs
lola: 679396 markings, 1332212 edges, 44154 markings/sec, 10 secs
lola: 900729 markings, 1782160 edges, 44267 markings/sec, 15 secs
lola: 1135458 markings, 2228828 edges, 46946 markings/sec, 20 secs
lola: 1365113 markings, 2681393 edges, 45931 markings/sec, 25 secs
lola: 1593998 markings, 3139436 edges, 45777 markings/sec, 30 secs
lola: 1830331 markings, 3598580 edges, 47267 markings/sec, 35 secs
lola: 2063721 markings, 4062575 edges, 46678 markings/sec, 40 secs
lola: 2301992 markings, 4511785 edges, 47654 markings/sec, 45 secs
lola: 2520891 markings, 4956154 edges, 43780 markings/sec, 50 secs
lola: 2740331 markings, 5402092 edges, 43888 markings/sec, 55 secs
lola: 2938714 markings, 5803490 edges, 39677 markings/sec, 60 secs
lola: 3164000 markings, 6243931 edges, 45057 markings/sec, 65 secs
lola: 3383327 markings, 6680874 edges, 43865 markings/sec, 70 secs
lola: 3598690 markings, 7114492 edges, 43073 markings/sec, 75 secs
lola: 3811421 markings, 7553064 edges, 42546 markings/sec, 80 secs
lola: 4033911 markings, 8011032 edges, 44498 markings/sec, 85 secs
lola: 4256531 markings, 8464502 edges, 44524 markings/sec, 90 secs
lola: 4484566 markings, 8918237 edges, 45607 markings/sec, 95 secs
lola: 4709153 markings, 9366248 edges, 44917 markings/sec, 100 secs
lola: 4932752 markings, 9815516 edges, 44720 markings/sec, 105 secs
lola: 5162797 markings, 10271782 edges, 46009 markings/sec, 110 secs
lola: 5387132 markings, 10720046 edges, 44867 markings/sec, 115 secs
lola: 5607872 markings, 11175216 edges, 44148 markings/sec, 120 secs
lola: 5831084 markings, 11619324 edges, 44642 markings/sec, 125 secs
lola: 6050140 markings, 12062383 edges, 43811 markings/sec, 130 secs
lola: 6275294 markings, 12503279 edges, 45031 markings/sec, 135 secs
lola: 6500604 markings, 12945539 edges, 45062 markings/sec, 140 secs
lola: 6715855 markings, 13380347 edges, 43050 markings/sec, 145 secs
lola: 6940493 markings, 13812217 edges, 44928 markings/sec, 150 secs
lola: 7164364 markings, 14242595 edges, 44774 markings/sec, 155 secs
lola: 7388304 markings, 14676474 edges, 44788 markings/sec, 160 secs
lola: 7612962 markings, 15115100 edges, 44932 markings/sec, 165 secs
lola: 7844300 markings, 15548729 edges, 46268 markings/sec, 170 secs
lola: 8071495 markings, 15997065 edges, 45439 markings/sec, 175 secs
lola: 8285263 markings, 16399246 edges, 42754 markings/sec, 180 secs
lola: 8507953 markings, 16832582 edges, 44538 markings/sec, 185 secs
lola: 8721111 markings, 17261474 edges, 42632 markings/sec, 190 secs
lola: 8952218 markings, 17684337 edges, 46221 markings/sec, 195 secs
lola: 9173803 markings, 18117620 edges, 44317 markings/sec, 200 secs
lola: 9395103 markings, 18547092 edges, 44260 markings/sec, 205 secs
lola: 9609020 markings, 18980134 edges, 42783 markings/sec, 210 secs
lola: 9827577 markings, 19408516 edges, 43711 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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 288592 markings, 383697 edges, 57718 markings/sec, 0 secs
lola: 570561 markings, 762542 edges, 56394 markings/sec, 5 secs
lola: 873066 markings, 1169865 edges, 60501 markings/sec, 10 secs
lola: 1173191 markings, 1574121 edges, 60025 markings/sec, 15 secs
lola: 1471454 markings, 1976152 edges, 59653 markings/sec, 20 secs
lola: 1772831 markings, 2384143 edges, 60275 markings/sec, 25 secs
lola: 2071928 markings, 2785519 edges, 59819 markings/sec, 30 secs
lola: 2369715 markings, 3187457 edges, 59557 markings/sec, 35 secs
lola: 2667476 markings, 3591108 edges, 59552 markings/sec, 40 secs
lola: 2964000 markings, 3996330 edges, 59305 markings/sec, 45 secs
lola: 3261147 markings, 4399170 edges, 59429 markings/sec, 50 secs
lola: 3560830 markings, 4807833 edges, 59937 markings/sec, 55 secs
lola: 3856905 markings, 5210828 edges, 59215 markings/sec, 60 secs
lola: 4152298 markings, 5613421 edges, 59079 markings/sec, 65 secs
lola: 4449134 markings, 6015574 edges, 59367 markings/sec, 70 secs
lola: 4743467 markings, 6418055 edges, 58867 markings/sec, 75 secs
lola: 5036653 markings, 6820553 edges, 58637 markings/sec, 80 secs
lola: 5329735 markings, 7222210 edges, 58616 markings/sec, 85 secs
lola: 5623425 markings, 7622653 edges, 58738 markings/sec, 90 secs
lola: 5916101 markings, 8027659 edges, 58535 markings/sec, 95 secs
lola: 6211472 markings, 8431575 edges, 59074 markings/sec, 100 secs
lola: 6504073 markings, 8836052 edges, 58520 markings/sec, 105 secs
lola: 6798720 markings, 9232469 edges, 58929 markings/sec, 110 secs
lola: 7094730 markings, 9635102 edges, 59202 markings/sec, 115 secs
lola: 7391265 markings, 10036207 edges, 59307 markings/sec, 120 secs
lola: 7687720 markings, 10440596 edges, 59291 markings/sec, 125 secs
lola: 7983490 markings, 10842606 edges, 59154 markings/sec, 130 secs
lola: 8277802 markings, 11241411 edges, 58862 markings/sec, 135 secs
lola: 8571341 markings, 11642577 edges, 58708 markings/sec, 140 secs
lola: 8865096 markings, 12042628 edges, 58751 markings/sec, 145 secs
lola: 9158167 markings, 12440320 edges, 58614 markings/sec, 150 secs
lola: 9450572 markings, 12835224 edges, 58481 markings/sec, 155 secs
lola: 9744655 markings, 13237569 edges, 58817 markings/sec, 160 secs
lola: 10038758 markings, 13643384 edges, 58821 markings/sec, 165 secs
lola: 10332624 markings, 14044380 edges, 58773 markings/sec, 170 secs
lola: 10627345 markings, 14449058 edges, 58944 markings/sec, 175 secs
lola: 10920845 markings, 14853626 edges, 58700 markings/sec, 180 secs
lola: 11215684 markings, 15257305 edges, 58968 markings/sec, 185 secs
lola: 11509276 markings, 15658015 edges, 58718 markings/sec, 190 secs
lola: 11802931 markings, 16058831 edges, 58731 markings/sec, 195 secs
lola: 12105559 markings, 16469169 edges, 60526 markings/sec, 200 secs
lola: 12405109 markings, 16878707 edges, 59910 markings/sec, 205 secs
lola: 12705811 markings, 17288422 edges, 60140 markings/sec, 210 secs
lola: 13007774 markings, 17692337 edges, 60393 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(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 222187 markings, 465889 edges, 44437 markings/sec, 0 secs
lola: 443018 markings, 909943 edges, 44166 markings/sec, 5 secs
lola: 665540 markings, 1343800 edges, 44504 markings/sec, 10 secs
lola: 889091 markings, 1780594 edges, 44710 markings/sec, 15 secs
lola: 1116819 markings, 2228631 edges, 45546 markings/sec, 20 secs
lola: 1342498 markings, 2682644 edges, 45136 markings/sec, 25 secs
lola: 1570835 markings, 3131008 edges, 45667 markings/sec, 30 secs
lola: 1804162 markings, 3581573 edges, 46665 markings/sec, 35 secs
lola: 2009935 markings, 3980814 edges, 41155 markings/sec, 40 secs
lola: 2236964 markings, 4429908 edges, 45406 markings/sec, 45 secs
lola: 2461369 markings, 4871052 edges, 44881 markings/sec, 50 secs
lola: 2688516 markings, 5308799 edges, 45429 markings/sec, 55 secs
lola: 2917111 markings, 5750103 edges, 45719 markings/sec, 60 secs
lola: 3142013 markings, 6194365 edges, 44980 markings/sec, 65 secs
lola: 3376984 markings, 6646859 edges, 46994 markings/sec, 70 secs
lola: 3607719 markings, 7095381 edges, 46147 markings/sec, 75 secs
lola: 3837453 markings, 7549630 edges, 45947 markings/sec, 80 secs
lola: 4067015 markings, 7995931 edges, 45912 markings/sec, 85 secs
lola: 4291606 markings, 8437354 edges, 44918 markings/sec, 90 secs
lola: 4518329 markings, 8877892 edges, 45345 markings/sec, 95 secs
lola: 4740713 markings, 9316732 edges, 44477 markings/sec, 100 secs
lola: 4964876 markings, 9762717 edges, 44833 markings/sec, 105 secs
lola: 5201801 markings, 10197454 edges, 47385 markings/sec, 110 secs
lola: 5434907 markings, 10635274 edges, 46621 markings/sec, 115 secs
lola: 5661698 markings, 11068518 edges, 45358 markings/sec, 120 secs
lola: 5888919 markings, 11500902 edges, 45444 markings/sec, 125 secs
lola: 6118120 markings, 11935467 edges, 45840 markings/sec, 130 secs
lola: 6352040 markings, 12366204 edges, 46784 markings/sec, 135 secs
lola: 6548717 markings, 12752933 edges, 39335 markings/sec, 140 secs
lola: 6776512 markings, 13181287 edges, 45559 markings/sec, 145 secs
lola: 7000123 markings, 13616631 edges, 44722 markings/sec, 150 secs
lola: 7226716 markings, 14046572 edges, 45319 markings/sec, 155 secs
lola: 7447020 markings, 14486019 edges, 44061 markings/sec, 160 secs
lola: 7671249 markings, 14928570 edges, 44846 markings/sec, 165 secs
lola: 7896004 markings, 15365481 edges, 44951 markings/sec, 170 secs
lola: 8133952 markings, 15807666 edges, 47590 markings/sec, 175 secs
lola: 8356958 markings, 16253605 edges, 44601 markings/sec, 180 secs
lola: 8591326 markings, 16679343 edges, 46874 markings/sec, 185 secs
lola: 8821986 markings, 17126817 edges, 46132 markings/sec, 190 secs
lola: 9050618 markings, 17559683 edges, 45726 markings/sec, 195 secs
lola: 9247133 markings, 17950518 edges, 39303 markings/sec, 200 secs
lola: 9460757 markings, 18387137 edges, 42725 markings/sec, 205 secs
lola: 9675279 markings, 18821276 edges, 42904 markings/sec, 210 secs
lola: 9897097 markings, 19257750 edges, 44364 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(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 328545 markings, 481272 edges, 65709 markings/sec, 0 secs
lola: 652495 markings, 965259 edges, 64790 markings/sec, 5 secs
lola: 972614 markings, 1444064 edges, 64024 markings/sec, 10 secs
lola: 1292137 markings, 1939169 edges, 63905 markings/sec, 15 secs
lola: 1579172 markings, 2371796 edges, 57407 markings/sec, 20 secs
lola: 1906887 markings, 2847505 edges, 65543 markings/sec, 25 secs
lola: 2228974 markings, 3335294 edges, 64417 markings/sec, 30 secs
lola: 2550669 markings, 3815338 edges, 64339 markings/sec, 35 secs
lola: 2874546 markings, 4296481 edges, 64775 markings/sec, 40 secs
lola: 3194776 markings, 4782695 edges, 64046 markings/sec, 45 secs
lola: 3514685 markings, 5257664 edges, 63982 markings/sec, 50 secs
lola: 3833967 markings, 5727538 edges, 63856 markings/sec, 55 secs
lola: 4122040 markings, 6159054 edges, 57615 markings/sec, 60 secs
lola: 4439693 markings, 6642152 edges, 63531 markings/sec, 65 secs
lola: 4765025 markings, 7118892 edges, 65066 markings/sec, 70 secs
lola: 5087553 markings, 7589919 edges, 64506 markings/sec, 75 secs
lola: 5407655 markings, 8075204 edges, 64020 markings/sec, 80 secs
lola: 5723982 markings, 8563900 edges, 63265 markings/sec, 85 secs
lola: 6042803 markings, 9042949 edges, 63764 markings/sec, 90 secs
lola: 6364380 markings, 9518271 edges, 64315 markings/sec, 95 secs
lola: 6683189 markings, 10003302 edges, 63762 markings/sec, 100 secs
lola: 7001347 markings, 10471794 edges, 63632 markings/sec, 105 secs
lola: 7316767 markings, 10952455 edges, 63084 markings/sec, 110 secs
lola: 7639052 markings, 11427365 edges, 64457 markings/sec, 115 secs
lola: 7963198 markings, 11897900 edges, 64829 markings/sec, 120 secs
lola: 8285542 markings, 12381019 edges, 64469 markings/sec, 125 secs
lola: 8603253 markings, 12874950 edges, 63542 markings/sec, 130 secs
lola: 8927535 markings, 13353728 edges, 64856 markings/sec, 135 secs
lola: 9249133 markings, 13839095 edges, 64320 markings/sec, 140 secs
lola: 9568309 markings, 14305862 edges, 63835 markings/sec, 145 secs
lola: 9884653 markings, 14781728 edges, 63269 markings/sec, 150 secs
lola: 10201408 markings, 15269538 edges, 63351 markings/sec, 155 secs
lola: 10520937 markings, 15743454 edges, 63906 markings/sec, 160 secs
lola: 10837323 markings, 16225872 edges, 63277 markings/sec, 165 secs
lola: 11157688 markings, 16696788 edges, 64073 markings/sec, 170 secs
lola: 11474780 markings, 17181779 edges, 63418 markings/sec, 175 secs
lola: 11764597 markings, 17602362 edges, 57963 markings/sec, 180 secs
lola: 12084798 markings, 18077075 edges, 64040 markings/sec, 185 secs
lola: 12405483 markings, 18559156 edges, 64137 markings/sec, 190 secs
lola: 12726373 markings, 19031156 edges, 64178 markings/sec, 195 secs
lola: 13044672 markings, 19513958 edges, 63660 markings/sec, 200 secs
lola: 13369000 markings, 19992665 edges, 64866 markings/sec, 205 secs
lola: 13689273 markings, 20473755 edges, 64055 markings/sec, 210 secs
lola: 14012986 markings, 20946613 edges, 64743 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 313160 markings, 388862 edges, 62632 markings/sec, 0 secs
lola: 623327 markings, 777332 edges, 62033 markings/sec, 5 secs
lola: 932394 markings, 1169745 edges, 61813 markings/sec, 10 secs
lola: 1223252 markings, 1536909 edges, 58172 markings/sec, 15 secs
lola: 1531635 markings, 1924766 edges, 61677 markings/sec, 20 secs
lola: 1837407 markings, 2315147 edges, 61154 markings/sec, 25 secs
lola: 2143385 markings, 2706425 edges, 61196 markings/sec, 30 secs
lola: 2451769 markings, 3095538 edges, 61677 markings/sec, 35 secs
lola: 2757634 markings, 3486612 edges, 61173 markings/sec, 40 secs
lola: 3061447 markings, 3881061 edges, 60763 markings/sec, 45 secs
lola: 3371452 markings, 4274426 edges, 62001 markings/sec, 50 secs
lola: 3679046 markings, 4663365 edges, 61519 markings/sec, 55 secs
lola: 3985151 markings, 5052246 edges, 61221 markings/sec, 60 secs
lola: 4290443 markings, 5444379 edges, 61058 markings/sec, 65 secs
lola: 4597828 markings, 5834069 edges, 61477 markings/sec, 70 secs
lola: 4904723 markings, 6234851 edges, 61379 markings/sec, 75 secs
lola: 5209406 markings, 6630757 edges, 60937 markings/sec, 80 secs
lola: 5513173 markings, 7023091 edges, 60753 markings/sec, 85 secs
lola: 5815197 markings, 7415832 edges, 60405 markings/sec, 90 secs
lola: 6126793 markings, 7805302 edges, 62319 markings/sec, 95 secs
lola: 6433159 markings, 8197239 edges, 61273 markings/sec, 100 secs
lola: 6737955 markings, 8587330 edges, 60959 markings/sec, 105 secs
lola: 7046116 markings, 8978384 edges, 61632 markings/sec, 110 secs
lola: 7349182 markings, 9370994 edges, 60613 markings/sec, 115 secs
lola: 7655490 markings, 9761027 edges, 61262 markings/sec, 120 secs
lola: 7962108 markings, 10153249 edges, 61324 markings/sec, 125 secs
lola: 8271957 markings, 10541512 edges, 61970 markings/sec, 130 secs
lola: 8575154 markings, 10935734 edges, 60639 markings/sec, 135 secs
lola: 8874900 markings, 11330631 edges, 59949 markings/sec, 140 secs
lola: 9176768 markings, 11722235 edges, 60374 markings/sec, 145 secs
lola: 9481921 markings, 12111914 edges, 61031 markings/sec, 150 secs
lola: 9769410 markings, 12487446 edges, 57498 markings/sec, 155 secs
lola: 10076158 markings, 12883573 edges, 61350 markings/sec, 160 secs
lola: 10381175 markings, 13272457 edges, 61003 markings/sec, 165 secs
lola: 10682252 markings, 13664378 edges, 60215 markings/sec, 170 secs
lola: 10983996 markings, 14058175 edges, 60349 markings/sec, 175 secs
lola: 11284282 markings, 14455801 edges, 60057 markings/sec, 180 secs
lola: 11588039 markings, 14845567 edges, 60751 markings/sec, 185 secs
lola: 11891911 markings, 15241161 edges, 60774 markings/sec, 190 secs
lola: 12193898 markings, 15629054 edges, 60397 markings/sec, 195 secs
lola: 12497186 markings, 16019753 edges, 60658 markings/sec, 200 secs
lola: 12801833 markings, 16408216 edges, 60929 markings/sec, 205 secs
lola: 13106872 markings, 16804419 edges, 61008 markings/sec, 210 secs
lola: 13411828 markings, 17190563 edges, 60991 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(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 303915 markings, 377181 edges, 60783 markings/sec, 0 secs
lola: 616423 markings, 768924 edges, 62502 markings/sec, 5 secs
lola: 919245 markings, 1153409 edges, 60564 markings/sec, 10 secs
lola: 1223183 markings, 1538135 edges, 60788 markings/sec, 15 secs
lola: 1533339 markings, 1928686 edges, 62031 markings/sec, 20 secs
lola: 1836463 markings, 2312454 edges, 60625 markings/sec, 25 secs
lola: 2137708 markings, 2698958 edges, 60249 markings/sec, 30 secs
lola: 2438407 markings, 3080970 edges, 60140 markings/sec, 35 secs
lola: 2733644 markings, 3461061 edges, 59047 markings/sec, 40 secs
lola: 3031774 markings, 3843480 edges, 59626 markings/sec, 45 secs
lola: 3335650 markings, 4231440 edges, 60775 markings/sec, 50 secs
lola: 3639737 markings, 4619738 edges, 60817 markings/sec, 55 secs
lola: 3948958 markings, 5010263 edges, 61844 markings/sec, 60 secs
lola: 4248358 markings, 5397355 edges, 59880 markings/sec, 65 secs
lola: 4543776 markings, 5779471 edges, 59084 markings/sec, 70 secs
lola: 4840916 markings, 6160879 edges, 59428 markings/sec, 75 secs
lola: 5135254 markings, 6542851 edges, 58868 markings/sec, 80 secs
lola: 5429297 markings, 6926070 edges, 58809 markings/sec, 85 secs
lola: 5728990 markings, 7310472 edges, 59939 markings/sec, 90 secs
lola: 6028682 markings, 7693703 edges, 59938 markings/sec, 95 secs
lola: 6327664 markings, 8074908 edges, 59796 markings/sec, 100 secs
lola: 6619626 markings, 8456097 edges, 58392 markings/sec, 105 secs
lola: 6914002 markings, 8837888 edges, 58875 markings/sec, 110 secs
lola: 7217645 markings, 9222078 edges, 60729 markings/sec, 115 secs
lola: 7509991 markings, 9602541 edges, 58469 markings/sec, 120 secs
lola: 7805468 markings, 9984840 edges, 59095 markings/sec, 125 secs
lola: 8098212 markings, 10367449 edges, 58549 markings/sec, 130 secs
lola: 8395535 markings, 10747216 edges, 59465 markings/sec, 135 secs
lola: 8689145 markings, 11131788 edges, 58722 markings/sec, 140 secs
lola: 8988636 markings, 11513465 edges, 59898 markings/sec, 145 secs
lola: 9287262 markings, 11897376 edges, 59725 markings/sec, 150 secs
lola: 9577590 markings, 12281764 edges, 58066 markings/sec, 155 secs
lola: 9871466 markings, 12661464 edges, 58775 markings/sec, 160 secs
lola: 10161039 markings, 13043475 edges, 57915 markings/sec, 165 secs
lola: 10455188 markings, 13426218 edges, 58830 markings/sec, 170 secs
lola: 10749197 markings, 13806330 edges, 58802 markings/sec, 175 secs
lola: 11044566 markings, 14190476 edges, 59074 markings/sec, 180 secs
lola: 11348741 markings, 14575618 edges, 60835 markings/sec, 185 secs
lola: 11646824 markings, 14955489 edges, 59617 markings/sec, 190 secs
lola: 11940503 markings, 15342132 edges, 58736 markings/sec, 195 secs
lola: 12230605 markings, 15724125 edges, 58020 markings/sec, 200 secs
lola: 12527443 markings, 16105241 edges, 59368 markings/sec, 205 secs
lola: 12820670 markings, 16487012 edges, 58645 markings/sec, 210 secs
lola: 13114963 markings, 16868321 edges, 58859 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(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 328595 markings, 497001 edges, 65719 markings/sec, 0 secs
lola: 653580 markings, 998014 edges, 64997 markings/sec, 5 secs
lola: 977309 markings, 1497688 edges, 64746 markings/sec, 10 secs
lola: 1273401 markings, 1970470 edges, 59218 markings/sec, 15 secs
lola: 1580258 markings, 2448550 edges, 61371 markings/sec, 20 secs
lola: 1903477 markings, 2933055 edges, 64644 markings/sec, 25 secs
lola: 2223388 markings, 3432759 edges, 63982 markings/sec, 30 secs
lola: 2521224 markings, 3893352 edges, 59567 markings/sec, 35 secs
lola: 2823544 markings, 4354943 edges, 60464 markings/sec, 40 secs
lola: 3137119 markings, 4846899 edges, 62715 markings/sec, 45 secs
lola: 3459854 markings, 5344365 edges, 64547 markings/sec, 50 secs
lola: 3784534 markings, 5833544 edges, 64936 markings/sec, 55 secs
lola: 4106646 markings, 6331668 edges, 64422 markings/sec, 60 secs
lola: 4430440 markings, 6840271 edges, 64759 markings/sec, 65 secs
lola: 4766507 markings, 7347912 edges, 67213 markings/sec, 70 secs
lola: 5099467 markings, 7850514 edges, 66592 markings/sec, 75 secs
lola: 5430919 markings, 8368696 edges, 66290 markings/sec, 80 secs
lola: 5757210 markings, 8889116 edges, 65258 markings/sec, 85 secs
lola: 6086568 markings, 9396071 edges, 65872 markings/sec, 90 secs
lola: 6415281 markings, 9900158 edges, 65743 markings/sec, 95 secs
lola: 6740728 markings, 10405898 edges, 65089 markings/sec, 100 secs
lola: 7064439 markings, 10902175 edges, 64742 markings/sec, 105 secs
lola: 7387681 markings, 11411352 edges, 64648 markings/sec, 110 secs
lola: 7722010 markings, 11913885 edges, 66866 markings/sec, 115 secs
lola: 8051810 markings, 12412423 edges, 65960 markings/sec, 120 secs
lola: 8381320 markings, 12927116 edges, 65902 markings/sec, 125 secs
lola: 8708965 markings, 13442497 edges, 65529 markings/sec, 130 secs
lola: 9044081 markings, 13961156 edges, 67023 markings/sec, 135 secs
lola: 9373863 markings, 14464921 edges, 65956 markings/sec, 140 secs
lola: 9698941 markings, 14966298 edges, 65016 markings/sec, 145 secs
lola: 10024718 markings, 15473383 edges, 65155 markings/sec, 150 secs
lola: 10352685 markings, 15986301 edges, 65593 markings/sec, 155 secs
lola: 10679951 markings, 16490719 edges, 65453 markings/sec, 160 secs
lola: 11010310 markings, 17000921 edges, 66072 markings/sec, 165 secs
lola: 11344258 markings, 17517839 edges, 66790 markings/sec, 170 secs
lola: 11676722 markings, 18028167 edges, 66493 markings/sec, 175 secs
lola: 12008964 markings, 18539000 edges, 66448 markings/sec, 180 secs
lola: 12342611 markings, 19049991 edges, 66729 markings/sec, 185 secs
lola: 12674056 markings, 19556069 edges, 66289 markings/sec, 190 secs
lola: 12977868 markings, 20033077 edges, 60762 markings/sec, 195 secs
lola: 13298039 markings, 20519035 edges, 64034 markings/sec, 200 secs
lola: 13629240 markings, 21030332 edges, 66240 markings/sec, 205 secs
lola: 13963128 markings, 21537229 edges, 66778 markings/sec, 210 secs
lola: 14295849 markings, 22046983 edges, 66544 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(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 404858 markings, 598085 edges, 80972 markings/sec, 0 secs
lola: 807345 markings, 1195191 edges, 80497 markings/sec, 5 secs
lola: 1198511 markings, 1795151 edges, 78233 markings/sec, 10 secs
lola: 1595269 markings, 2395103 edges, 79352 markings/sec, 15 secs
lola: 1996077 markings, 2983813 edges, 80162 markings/sec, 20 secs
lola: 2394104 markings, 3584809 edges, 79605 markings/sec, 25 secs
lola: 2792158 markings, 4174670 edges, 79611 markings/sec, 30 secs
lola: 3188786 markings, 4773958 edges, 79326 markings/sec, 35 secs
lola: 3586561 markings, 5360020 edges, 79555 markings/sec, 40 secs
lola: 3982134 markings, 5951082 edges, 79115 markings/sec, 45 secs
lola: 4374006 markings, 6542555 edges, 78374 markings/sec, 50 secs
lola: 4769006 markings, 7124441 edges, 79000 markings/sec, 55 secs
lola: 5166051 markings, 7707770 edges, 79409 markings/sec, 60 secs
lola: 5560104 markings, 8306200 edges, 78811 markings/sec, 65 secs
lola: 5952184 markings, 8908520 edges, 78416 markings/sec, 70 secs
lola: 6344725 markings, 9489264 edges, 78508 markings/sec, 75 secs
lola: 6739080 markings, 10082434 edges, 78871 markings/sec, 80 secs
lola: 7136729 markings, 10676274 edges, 79530 markings/sec, 85 secs
lola: 7534053 markings, 11272777 edges, 79465 markings/sec, 90 secs
lola: 7932904 markings, 11855240 edges, 79770 markings/sec, 95 secs
lola: 8333756 markings, 12454385 edges, 80170 markings/sec, 100 secs
lola: 8728365 markings, 13057221 edges, 78922 markings/sec, 105 secs
lola: 9126332 markings, 13657059 edges, 79593 markings/sec, 110 secs
lola: 9519007 markings, 14232700 edges, 78535 markings/sec, 115 secs
lola: 9911400 markings, 14821616 edges, 78479 markings/sec, 120 secs
lola: 10304440 markings, 15423558 edges, 78608 markings/sec, 125 secs
lola: 10699196 markings, 16012244 edges, 78951 markings/sec, 130 secs
lola: 11093910 markings, 16600099 edges, 78943 markings/sec, 135 secs
lola: 11487677 markings, 17200150 edges, 78753 markings/sec, 140 secs
lola: 11884310 markings, 17782730 edges, 79327 markings/sec, 145 secs
lola: 12279282 markings, 18366134 edges, 78994 markings/sec, 150 secs
lola: 12678052 markings, 18958542 edges, 79754 markings/sec, 155 secs
lola: 13073954 markings, 19555758 edges, 79180 markings/sec, 160 secs
lola: 13466988 markings, 20137059 edges, 78607 markings/sec, 165 secs
lola: 13856970 markings, 20718415 edges, 77996 markings/sec, 170 secs
lola: 14250647 markings, 21299592 edges, 78735 markings/sec, 175 secs
lola: 14634458 markings, 21862590 edges, 76762 markings/sec, 180 secs
lola: 15022028 markings, 22439063 edges, 77514 markings/sec, 185 secs
lola: 15413492 markings, 23017462 edges, 78293 markings/sec, 190 secs
lola: 15806701 markings, 23596396 edges, 78642 markings/sec, 195 secs
lola: 16199264 markings, 24179937 edges, 78513 markings/sec, 200 secs
lola: 16590133 markings, 24770459 edges, 78174 markings/sec, 205 secs
lola: 16983786 markings, 25354289 edges, 78731 markings/sec, 210 secs
lola: 17379584 markings, 25933788 edges, 79160 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(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 304292 markings, 404569 edges, 60858 markings/sec, 0 secs
lola: 598608 markings, 806162 edges, 58863 markings/sec, 5 secs
lola: 895945 markings, 1208961 edges, 59467 markings/sec, 10 secs
lola: 1195507 markings, 1612258 edges, 59912 markings/sec, 15 secs
lola: 1495258 markings, 2018133 edges, 59950 markings/sec, 20 secs
lola: 1793559 markings, 2426398 edges, 59660 markings/sec, 25 secs
lola: 2088094 markings, 2827255 edges, 58907 markings/sec, 30 secs
lola: 2373650 markings, 3222352 edges, 57111 markings/sec, 35 secs
lola: 2670705 markings, 3621476 edges, 59411 markings/sec, 40 secs
lola: 2969397 markings, 4023706 edges, 59738 markings/sec, 45 secs
lola: 3263262 markings, 4420842 edges, 58773 markings/sec, 50 secs
lola: 3559875 markings, 4821362 edges, 59323 markings/sec, 55 secs
lola: 3855230 markings, 5221587 edges, 59071 markings/sec, 60 secs
lola: 4151235 markings, 5625746 edges, 59201 markings/sec, 65 secs
lola: 4450012 markings, 6032227 edges, 59755 markings/sec, 70 secs
lola: 4745417 markings, 6434062 edges, 59081 markings/sec, 75 secs
lola: 5038880 markings, 6833147 edges, 58693 markings/sec, 80 secs
lola: 5335462 markings, 7234999 edges, 59316 markings/sec, 85 secs
lola: 5624373 markings, 7628264 edges, 57782 markings/sec, 90 secs
lola: 5917016 markings, 8027543 edges, 58529 markings/sec, 95 secs
lola: 6211201 markings, 8427081 edges, 58837 markings/sec, 100 secs
lola: 6506221 markings, 8829076 edges, 59004 markings/sec, 105 secs
lola: 6800923 markings, 9224950 edges, 58940 markings/sec, 110 secs
lola: 7095823 markings, 9627549 edges, 58980 markings/sec, 115 secs
lola: 7386173 markings, 10025798 edges, 58070 markings/sec, 120 secs
lola: 7679545 markings, 10426215 edges, 58674 markings/sec, 125 secs
lola: 7972455 markings, 10824824 edges, 58582 markings/sec, 130 secs
lola: 8265137 markings, 11220524 edges, 58536 markings/sec, 135 secs
lola: 8558005 markings, 11616110 edges, 58574 markings/sec, 140 secs
lola: 8852746 markings, 12014101 edges, 58948 markings/sec, 145 secs
lola: 9141785 markings, 12408036 edges, 57808 markings/sec, 150 secs
lola: 9433650 markings, 12805461 edges, 58373 markings/sec, 155 secs
lola: 9725551 markings, 13204341 edges, 58380 markings/sec, 160 secs
lola: 10018232 markings, 13603476 edges, 58536 markings/sec, 165 secs
lola: 10310653 markings, 13999575 edges, 58484 markings/sec, 170 secs
lola: 10598621 markings, 14393819 edges, 57594 markings/sec, 175 secs
lola: 10889284 markings, 14787359 edges, 58133 markings/sec, 180 secs
lola: 11180738 markings, 15186731 edges, 58291 markings/sec, 185 secs
lola: 11469556 markings, 15580897 edges, 57764 markings/sec, 190 secs
lola: 11759042 markings, 15974553 edges, 57897 markings/sec, 195 secs
lola: 12048397 markings, 16369435 edges, 57871 markings/sec, 200 secs
lola: 12340384 markings, 16768980 edges, 58397 markings/sec, 205 secs
lola: 12630413 markings, 17167026 edges, 58006 markings/sec, 210 secs
lola: 12920087 markings, 17566578 edges, 57935 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(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 325970 markings, 477574 edges, 65194 markings/sec, 0 secs
lola: 649727 markings, 961142 edges, 64751 markings/sec, 5 secs
lola: 971161 markings, 1441834 edges, 64287 markings/sec, 10 secs
lola: 1290298 markings, 1936294 edges, 63827 markings/sec, 15 secs
lola: 1610824 markings, 2417031 edges, 64105 markings/sec, 20 secs
lola: 1933833 markings, 2887946 edges, 64602 markings/sec, 25 secs
lola: 2250135 markings, 3368183 edges, 63260 markings/sec, 30 secs
lola: 2571625 markings, 3845496 edges, 64298 markings/sec, 35 secs
lola: 2894206 markings, 4326286 edges, 64516 markings/sec, 40 secs
lola: 3213566 markings, 4810676 edges, 63872 markings/sec, 45 secs
lola: 3534583 markings, 5285191 edges, 64203 markings/sec, 50 secs
lola: 3854360 markings, 5757556 edges, 63955 markings/sec, 55 secs
lola: 4173535 markings, 6235809 edges, 63835 markings/sec, 60 secs
lola: 4492220 markings, 6717745 edges, 63737 markings/sec, 65 secs
lola: 4815463 markings, 7190955 edges, 64649 markings/sec, 70 secs
lola: 5137578 markings, 7665230 edges, 64423 markings/sec, 75 secs
lola: 5458584 markings, 8152095 edges, 64201 markings/sec, 80 secs
lola: 5773773 markings, 8641198 edges, 63038 markings/sec, 85 secs
lola: 6092826 markings, 9114939 edges, 63811 markings/sec, 90 secs
lola: 6412084 markings, 9589837 edges, 63852 markings/sec, 95 secs
lola: 6730186 markings, 10069643 edges, 63620 markings/sec, 100 secs
lola: 7048093 markings, 10541640 edges, 63581 markings/sec, 105 secs
lola: 7365040 markings, 11025245 edges, 63389 markings/sec, 110 secs
lola: 7686788 markings, 11496615 edges, 64350 markings/sec, 115 secs
lola: 8008552 markings, 11964374 edges, 64353 markings/sec, 120 secs
lola: 8326930 markings, 12443930 edges, 63676 markings/sec, 125 secs
lola: 8643886 markings, 12932882 edges, 63391 markings/sec, 130 secs
lola: 8967896 markings, 13414177 edges, 64802 markings/sec, 135 secs
lola: 9287782 markings, 13893917 edges, 63977 markings/sec, 140 secs
lola: 9605063 markings, 14361411 edges, 63456 markings/sec, 145 secs
lola: 9922651 markings, 14838837 edges, 63518 markings/sec, 150 secs
lola: 10238970 markings, 15329600 edges, 63264 markings/sec, 155 secs
lola: 10558935 markings, 15802009 edges, 63993 markings/sec, 160 secs
lola: 10875178 markings, 16282629 edges, 63249 markings/sec, 165 secs
lola: 11199986 markings, 16759807 edges, 64962 markings/sec, 170 secs
lola: 11516547 markings, 17239533 edges, 63312 markings/sec, 175 secs
lola: 11825605 markings, 17694069 edges, 61812 markings/sec, 180 secs
lola: 12130941 markings, 18145164 edges, 61067 markings/sec, 185 secs
lola: 12445884 markings, 18615590 edges, 62989 markings/sec, 190 secs
lola: 12759416 markings, 19080066 edges, 62706 markings/sec, 195 secs
lola: 13077303 markings, 19560711 edges, 63577 markings/sec, 200 secs
lola: 13394954 markings, 20032232 edges, 63530 markings/sec, 205 secs
lola: 13708641 markings, 20501678 edges, 62737 markings/sec, 210 secs
lola: 14030135 markings, 20972703 edges, 64299 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(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 325235 markings, 507528 edges, 65047 markings/sec, 0 secs
lola: 650224 markings, 1023849 edges, 64998 markings/sec, 5 secs
lola: 974568 markings, 1539837 edges, 64869 markings/sec, 10 secs
lola: 1294983 markings, 2066856 edges, 64083 markings/sec, 15 secs
lola: 1612383 markings, 2572785 edges, 63480 markings/sec, 20 secs
lola: 1934489 markings, 3073149 edges, 64421 markings/sec, 25 secs
lola: 2253151 markings, 3587566 edges, 63732 markings/sec, 30 secs
lola: 2577400 markings, 4099417 edges, 64850 markings/sec, 35 secs
lola: 2895972 markings, 4604866 edges, 63714 markings/sec, 40 secs
lola: 3208608 markings, 5108815 edges, 62527 markings/sec, 45 secs
lola: 3523024 markings, 5604620 edges, 62883 markings/sec, 50 secs
lola: 3835743 markings, 6095439 edges, 62544 markings/sec, 55 secs
lola: 4151074 markings, 6597307 edges, 63066 markings/sec, 60 secs
lola: 4467852 markings, 7107803 edges, 63356 markings/sec, 65 secs
lola: 4790689 markings, 7611528 edges, 64567 markings/sec, 70 secs
lola: 5110132 markings, 8110655 edges, 63889 markings/sec, 75 secs
lola: 5428238 markings, 8622942 edges, 63621 markings/sec, 80 secs
lola: 5744403 markings, 9142276 edges, 63233 markings/sec, 85 secs
lola: 6064528 markings, 9651393 edges, 64025 markings/sec, 90 secs
lola: 6385803 markings, 10158961 edges, 64255 markings/sec, 95 secs
lola: 6706529 markings, 10674558 edges, 64145 markings/sec, 100 secs
lola: 7023533 markings, 11173381 edges, 63401 markings/sec, 105 secs
lola: 7336739 markings, 11682296 edges, 62641 markings/sec, 110 secs
lola: 7659276 markings, 12187446 edges, 64507 markings/sec, 115 secs
lola: 7982884 markings, 12686713 edges, 64722 markings/sec, 120 secs
lola: 8304365 markings, 13201196 edges, 64296 markings/sec, 125 secs
lola: 8623413 markings, 13724789 edges, 63810 markings/sec, 130 secs
lola: 8949117 markings, 14238380 edges, 65141 markings/sec, 135 secs
lola: 9270593 markings, 14751992 edges, 64295 markings/sec, 140 secs
lola: 9589768 markings, 15252274 edges, 63835 markings/sec, 145 secs
lola: 9907937 markings, 15760046 edges, 63634 markings/sec, 150 secs
lola: 10225300 markings, 16281364 edges, 63473 markings/sec, 155 secs
lola: 10546527 markings, 16787504 edges, 64245 markings/sec, 160 secs
lola: 10864447 markings, 17302587 edges, 63584 markings/sec, 165 secs
lola: 11191690 markings, 17813694 edges, 65449 markings/sec, 170 secs
lola: 11515048 markings, 18334094 edges, 64672 markings/sec, 175 secs
lola: 11839554 markings, 18842602 edges, 64901 markings/sec, 180 secs
lola: 12156384 markings, 19341126 edges, 63366 markings/sec, 185 secs
lola: 12464327 markings, 19829152 edges, 61589 markings/sec, 190 secs
lola: 12771064 markings, 20313855 edges, 61347 markings/sec, 195 secs
lola: 13078562 markings, 20808021 edges, 61500 markings/sec, 200 secs
lola: 13395349 markings, 21308577 edges, 63357 markings/sec, 205 secs
lola: 13709816 markings, 21809191 edges, 62893 markings/sec, 210 secs
lola: 14031113 markings, 22310507 edges, 64259 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(p112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 314478 markings, 390493 edges, 62896 markings/sec, 0 secs
lola: 626670 markings, 780706 edges, 62438 markings/sec, 5 secs
lola: 936567 markings, 1171159 edges, 61979 markings/sec, 10 secs
lola: 1245043 markings, 1563076 edges, 61695 markings/sec, 15 secs
lola: 1551925 markings, 1954037 edges, 61376 markings/sec, 20 secs
lola: 1864114 markings, 2347394 edges, 62438 markings/sec, 25 secs
lola: 2170168 markings, 2740601 edges, 61211 markings/sec, 30 secs
lola: 2481150 markings, 3130170 edges, 62196 markings/sec, 35 secs
lola: 2786975 markings, 3521948 edges, 61165 markings/sec, 40 secs
lola: 3093382 markings, 3910189 edges, 61281 markings/sec, 45 secs
lola: 3395802 markings, 4301920 edges, 60484 markings/sec, 50 secs
lola: 3704697 markings, 4696065 edges, 61779 markings/sec, 55 secs
lola: 4006762 markings, 5088832 edges, 60413 markings/sec, 60 secs
lola: 4311071 markings, 5483410 edges, 60862 markings/sec, 65 secs
lola: 4620056 markings, 5875378 edges, 61797 markings/sec, 70 secs
lola: 4929172 markings, 6267105 edges, 61823 markings/sec, 75 secs
lola: 5232704 markings, 6658722 edges, 60706 markings/sec, 80 secs
lola: 5548730 markings, 7059959 edges, 63205 markings/sec, 85 secs
lola: 5859438 markings, 7452746 edges, 62142 markings/sec, 90 secs
lola: 6168868 markings, 7846883 edges, 61886 markings/sec, 95 secs
lola: 6478151 markings, 8243034 edges, 61857 markings/sec, 100 secs
lola: 6790141 markings, 8642179 edges, 62398 markings/sec, 105 secs
lola: 7101132 markings, 9039059 edges, 62198 markings/sec, 110 secs
lola: 7409564 markings, 9444972 edges, 61686 markings/sec, 115 secs
lola: 7718193 markings, 9842521 edges, 61726 markings/sec, 120 secs
lola: 8022984 markings, 10223435 edges, 60958 markings/sec, 125 secs
lola: 8325612 markings, 10610113 edges, 60526 markings/sec, 130 secs
lola: 8631921 markings, 11003351 edges, 61262 markings/sec, 135 secs
lola: 8934807 markings, 11393665 edges, 60577 markings/sec, 140 secs
lola: 9238465 markings, 11792514 edges, 60732 markings/sec, 145 secs
lola: 9543026 markings, 12184623 edges, 60912 markings/sec, 150 secs
lola: 9845708 markings, 12577134 edges, 60536 markings/sec, 155 secs
lola: 10153664 markings, 12974199 edges, 61591 markings/sec, 160 secs
lola: 10459125 markings, 13368842 edges, 61092 markings/sec, 165 secs
lola: 10767984 markings, 13760685 edges, 61772 markings/sec, 170 secs
lola: 11082441 markings, 14175877 edges, 62891 markings/sec, 175 secs
lola: 11393854 markings, 14579623 edges, 62283 markings/sec, 180 secs
lola: 11706162 markings, 14984411 edges, 62462 markings/sec, 185 secs
lola: 12019012 markings, 15387150 edges, 62570 markings/sec, 190 secs
lola: 12328677 markings, 15790798 edges, 61933 markings/sec, 195 secs
lola: 12638930 markings, 16189540 edges, 62051 markings/sec, 200 secs
lola: 12950186 markings, 16592370 edges, 62251 markings/sec, 205 secs
lola: 13259709 markings, 16994949 edges, 61905 markings/sec, 210 secs
lola: 13567821 markings, 17392753 edges, 61622 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 326908 markings, 510081 edges, 65382 markings/sec, 0 secs
lola: 651318 markings, 1025528 edges, 64882 markings/sec, 5 secs
lola: 971229 markings, 1534432 edges, 63982 markings/sec, 10 secs
lola: 1285649 markings, 2051267 edges, 62884 markings/sec, 15 secs
lola: 1601858 markings, 2557296 edges, 63242 markings/sec, 20 secs
lola: 1916810 markings, 3045292 edges, 62990 markings/sec, 25 secs
lola: 2222387 markings, 3537057 edges, 61115 markings/sec, 30 secs
lola: 2542186 markings, 4045084 edges, 63960 markings/sec, 35 secs
lola: 2864340 markings, 4554237 edges, 64431 markings/sec, 40 secs
lola: 3183618 markings, 5069776 edges, 63856 markings/sec, 45 secs
lola: 3463524 markings, 5515011 edges, 55981 markings/sec, 50 secs
lola: 3783406 markings, 6011933 edges, 63976 markings/sec, 55 secs
lola: 4102177 markings, 6519997 edges, 63754 markings/sec, 60 secs
lola: 4418406 markings, 7033434 edges, 63246 markings/sec, 65 secs
lola: 4742372 markings, 7538869 edges, 64793 markings/sec, 70 secs
lola: 5064520 markings, 8037966 edges, 64430 markings/sec, 75 secs
lola: 5385588 markings, 8553546 edges, 64214 markings/sec, 80 secs
lola: 5701612 markings, 9071473 edges, 63205 markings/sec, 85 secs
lola: 6018426 markings, 9582223 edges, 63363 markings/sec, 90 secs
lola: 6338731 markings, 10084145 edges, 64061 markings/sec, 95 secs
lola: 6656684 markings, 10597844 edges, 63591 markings/sec, 100 secs
lola: 6973288 markings, 11095521 edges, 63321 markings/sec, 105 secs
lola: 7288204 markings, 11603037 edges, 62983 markings/sec, 110 secs
lola: 7609662 markings, 12108866 edges, 64292 markings/sec, 115 secs
lola: 7931648 markings, 12608566 edges, 64397 markings/sec, 120 secs
lola: 8253337 markings, 13117601 edges, 64338 markings/sec, 125 secs
lola: 8568403 markings, 13640730 edges, 63013 markings/sec, 130 secs
lola: 8890764 markings, 14146865 edges, 64472 markings/sec, 135 secs
lola: 9210567 markings, 14661699 edges, 63961 markings/sec, 140 secs
lola: 9528346 markings, 15154073 edges, 63556 markings/sec, 145 secs
lola: 9843507 markings, 15657038 edges, 63032 markings/sec, 150 secs
lola: 10158511 markings, 16169792 edges, 63001 markings/sec, 155 secs
lola: 10476610 markings, 16674632 edges, 63620 markings/sec, 160 secs
lola: 10800878 markings, 17196746 edges, 64854 markings/sec, 165 secs
lola: 11120396 markings, 17698839 edges, 63904 markings/sec, 170 secs
lola: 11437395 markings, 18210983 edges, 63400 markings/sec, 175 secs
lola: 11756325 markings, 18709729 edges, 63786 markings/sec, 180 secs
lola: 12075451 markings, 19213701 edges, 63825 markings/sec, 185 secs
lola: 12394103 markings, 19722585 edges, 63730 markings/sec, 190 secs
lola: 12714235 markings, 20224484 edges, 64026 markings/sec, 195 secs
lola: 13032756 markings, 20738494 edges, 63704 markings/sec, 200 secs
lola: 13354843 markings, 21243388 edges, 64417 markings/sec, 205 secs
lola: 13634291 markings, 21687680 edges, 55890 markings/sec, 210 secs
lola: 13960835 markings, 22198568 edges, 65309 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 304799 markings, 404994 edges, 60960 markings/sec, 0 secs
lola: 605531 markings, 809798 edges, 60146 markings/sec, 5 secs
lola: 904347 markings, 1213305 edges, 59763 markings/sec, 10 secs
lola: 1203886 markings, 1617277 edges, 59908 markings/sec, 15 secs
lola: 1507402 markings, 2026907 edges, 60703 markings/sec, 20 secs
lola: 1803698 markings, 2429972 edges, 59259 markings/sec, 25 secs
lola: 2100494 markings, 2829650 edges, 59359 markings/sec, 30 secs
lola: 2395749 markings, 3228861 edges, 59051 markings/sec, 35 secs
lola: 2690663 markings, 3631103 edges, 58983 markings/sec, 40 secs
lola: 2985566 markings, 4034815 edges, 58981 markings/sec, 45 secs
lola: 3248250 markings, 4393150 edges, 52537 markings/sec, 50 secs
lola: 3549282 markings, 4802784 edges, 60206 markings/sec, 55 secs
lola: 3851463 markings, 5213470 edges, 60436 markings/sec, 60 secs
lola: 4149323 markings, 5623365 edges, 59572 markings/sec, 65 secs
lola: 4446305 markings, 6030516 edges, 59396 markings/sec, 70 secs
lola: 4740117 markings, 6426877 edges, 58762 markings/sec, 75 secs
lola: 5034300 markings, 6827387 edges, 58837 markings/sec, 80 secs
lola: 5326372 markings, 7227508 edges, 58414 markings/sec, 85 secs
lola: 5617125 markings, 7621236 edges, 58151 markings/sec, 90 secs
lola: 5912931 markings, 8024796 edges, 59161 markings/sec, 95 secs
lola: 6205096 markings, 8423683 edges, 58433 markings/sec, 100 secs
lola: 6500654 markings, 8824295 edges, 59112 markings/sec, 105 secs
lola: 6793983 markings, 9225156 edges, 58666 markings/sec, 110 secs
lola: 7085890 markings, 9622287 edges, 58381 markings/sec, 115 secs
lola: 7374968 markings, 10012694 edges, 57816 markings/sec, 120 secs
lola: 7666485 markings, 10409555 edges, 58303 markings/sec, 125 secs
lola: 7955315 markings, 10805334 edges, 57766 markings/sec, 130 secs
lola: 8247599 markings, 11201155 edges, 58457 markings/sec, 135 secs
lola: 8538109 markings, 11601735 edges, 58102 markings/sec, 140 secs
lola: 8823950 markings, 11993719 edges, 57168 markings/sec, 145 secs
lola: 9112376 markings, 12391843 edges, 57685 markings/sec, 150 secs
lola: 9405686 markings, 12792158 edges, 58662 markings/sec, 155 secs
lola: 9697421 markings, 13185802 edges, 58347 markings/sec, 160 secs
lola: 9984727 markings, 13573439 edges, 57461 markings/sec, 165 secs
lola: 10243935 markings, 13932486 edges, 51842 markings/sec, 170 secs
lola: 10535966 markings, 14329011 edges, 58406 markings/sec, 175 secs
lola: 10828319 markings, 14732335 edges, 58471 markings/sec, 180 secs
lola: 11117626 markings, 15124467 edges, 57861 markings/sec, 185 secs
lola: 11380805 markings, 15482682 edges, 52636 markings/sec, 190 secs
lola: 11667293 markings, 15880474 edges, 57298 markings/sec, 195 secs
lola: 11954832 markings, 16277485 edges, 57508 markings/sec, 200 secs
lola: 12246247 markings, 16675533 edges, 58283 markings/sec, 205 secs
lola: 12537384 markings, 17075174 edges, 58227 markings/sec, 210 secs
lola: 12826255 markings, 17475076 edges, 57774 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(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 402967 markings, 595073 edges, 80593 markings/sec, 0 secs
lola: 803894 markings, 1190002 edges, 80185 markings/sec, 5 secs
lola: 1199778 markings, 1797151 edges, 79177 markings/sec, 10 secs
lola: 1597068 markings, 2397831 edges, 79458 markings/sec, 15 secs
lola: 1995963 markings, 2983665 edges, 79779 markings/sec, 20 secs
lola: 2392000 markings, 3581858 edges, 79207 markings/sec, 25 secs
lola: 2800396 markings, 4186430 edges, 81679 markings/sec, 30 secs
lola: 3198397 markings, 4788038 edges, 79600 markings/sec, 35 secs
lola: 3594289 markings, 5370875 edges, 79178 markings/sec, 40 secs
lola: 3976938 markings, 5943317 edges, 76530 markings/sec, 45 secs
lola: 4370238 markings, 6536704 edges, 78660 markings/sec, 50 secs
lola: 4766480 markings, 7120880 edges, 79248 markings/sec, 55 secs
lola: 5162427 markings, 7702380 edges, 79189 markings/sec, 60 secs
lola: 5554207 markings, 8297088 edges, 78356 markings/sec, 65 secs
lola: 5945695 markings, 8898683 edges, 78298 markings/sec, 70 secs
lola: 6339364 markings, 9481365 edges, 78734 markings/sec, 75 secs
lola: 6733093 markings, 10073748 edges, 78746 markings/sec, 80 secs
lola: 7130757 markings, 10667534 edges, 79533 markings/sec, 85 secs
lola: 7527708 markings, 11263587 edges, 79390 markings/sec, 90 secs
lola: 7929985 markings, 11850467 edges, 80455 markings/sec, 95 secs
lola: 8330846 markings, 12449875 edges, 80172 markings/sec, 100 secs
lola: 8724977 markings, 13051950 edges, 78826 markings/sec, 105 secs
lola: 9123744 markings, 13652880 edges, 79753 markings/sec, 110 secs
lola: 9516428 markings, 14228870 edges, 78537 markings/sec, 115 secs
lola: 9907276 markings, 14815407 edges, 78170 markings/sec, 120 secs
lola: 10300106 markings, 15417445 edges, 78566 markings/sec, 125 secs
lola: 10698182 markings, 16010626 edges, 79615 markings/sec, 130 secs
lola: 11097165 markings, 16605156 edges, 79797 markings/sec, 135 secs
lola: 11489228 markings, 17202261 edges, 78413 markings/sec, 140 secs
lola: 11887491 markings, 17787824 edges, 79653 markings/sec, 145 secs
lola: 12287690 markings, 18379416 edges, 80040 markings/sec, 150 secs
lola: 12689207 markings, 18975875 edges, 80303 markings/sec, 155 secs
lola: 13083475 markings, 19569459 edges, 78854 markings/sec, 160 secs
lola: 13475021 markings, 20148817 edges, 78309 markings/sec, 165 secs
lola: 13865663 markings, 20730989 edges, 78128 markings/sec, 170 secs
lola: 14257917 markings, 21310211 edges, 78451 markings/sec, 175 secs
lola: 14642377 markings, 21874328 edges, 76892 markings/sec, 180 secs
lola: 15029579 markings, 22449969 edges, 77440 markings/sec, 185 secs
lola: 15422556 markings, 23031291 edges, 78595 markings/sec, 190 secs
lola: 15816039 markings, 23610585 edges, 78697 markings/sec, 195 secs
lola: 16210157 markings, 24197070 edges, 78824 markings/sec, 200 secs
lola: 16601395 markings, 24787943 edges, 78248 markings/sec, 205 secs
lola: 16995731 markings, 25370924 edges, 78867 markings/sec, 210 secs
lola: 17392627 markings, 25953595 edges, 79379 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(p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 5 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: 334433 markings, 489902 edges, 66887 markings/sec, 0 secs
lola: 666508 markings, 986143 edges, 66415 markings/sec, 5 secs
lola: 994284 markings, 1477398 edges, 65555 markings/sec, 10 secs
lola: 1321123 markings, 1984974 edges, 65368 markings/sec, 15 secs
lola: 1649759 markings, 2473062 edges, 65727 markings/sec, 20 secs
lola: 1977063 markings, 2953911 edges, 65461 markings/sec, 25 secs
lola: 2302559 markings, 3451140 edges, 65099 markings/sec, 30 secs
lola: 2630491 markings, 3932733 edges, 65586 markings/sec, 35 secs
lola: 2958483 markings, 4424423 edges, 65598 markings/sec, 40 secs
lola: 3285304 markings, 4920119 edges, 65364 markings/sec, 45 secs
lola: 3615265 markings, 5401311 edges, 65992 markings/sec, 50 secs
lola: 3945874 markings, 5895944 edges, 66122 markings/sec, 55 secs
lola: 4270089 markings, 6382224 edges, 64843 markings/sec, 60 secs
lola: 4595358 markings, 6868838 edges, 65054 markings/sec, 65 secs
lola: 4924297 markings, 7348934 edges, 65788 markings/sec, 70 secs
lola: 5250797 markings, 7838949 edges, 65300 markings/sec, 75 secs
lola: 5578262 markings, 8334808 edges, 65493 markings/sec, 80 secs
lola: 5896937 markings, 8826328 edges, 63735 markings/sec, 85 secs
lola: 6222942 markings, 9306102 edges, 65201 markings/sec, 90 secs
lola: 6546151 markings, 9795558 edges, 64642 markings/sec, 95 secs
lola: 6867413 markings, 10270488 edges, 64252 markings/sec, 100 secs
lola: 7185081 markings, 10749956 edges, 63534 markings/sec, 105 secs
lola: 7508875 markings, 11236701 edges, 64759 markings/sec, 110 secs
lola: 7836859 markings, 11711242 edges, 65597 markings/sec, 115 secs
lola: 8161067 markings, 12194475 edges, 64842 markings/sec, 120 secs
lola: 8484102 markings, 12690086 edges, 64607 markings/sec, 125 secs
lola: 8810484 markings, 13178304 edges, 65276 markings/sec, 130 secs
lola: 9137892 markings, 13675027 edges, 65482 markings/sec, 135 secs
lola: 9459241 markings, 14146577 edges, 64270 markings/sec, 140 secs
lola: 9781862 markings, 14628193 edges, 64524 markings/sec, 145 secs
lola: 10103447 markings, 15116108 edges, 64317 markings/sec, 150 secs
lola: 10425910 markings, 15601221 edges, 64493 markings/sec, 155 secs
lola: 10748212 markings, 16086402 edges, 64460 markings/sec, 160 secs
lola: 11074831 markings, 16571366 edges, 65324 markings/sec, 165 secs
lola: 11403784 markings, 17069430 edges, 65791 markings/sec, 170 secs
lola: 11731256 markings, 17553761 edges, 65494 markings/sec, 175 secs
lola: 12058590 markings, 18039524 edges, 65467 markings/sec, 180 secs
lola: 12384926 markings, 18527591 edges, 65267 markings/sec, 185 secs
lola: 12711637 markings, 19009977 edges, 65342 markings/sec, 190 secs
lola: 13036190 markings, 19502120 edges, 64911 markings/sec, 195 secs
lola: 13366809 markings, 19989355 edges, 66124 markings/sec, 200 secs
lola: 13690688 markings, 20475794 edges, 64776 markings/sec, 205 secs
lola: 14019496 markings, 20956367 edges, 65762 markings/sec, 210 secs
lola: 14345487 markings, 21441996 edges, 65198 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA FlexibleBarrier-PT-14a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496492183008
--------------------
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-14a"
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-14a.tgz
mv FlexibleBarrier-PT-14a 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-14a, 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-149581034200092"
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 ;