About the Execution of LoLA for S_PermAdmissibility-COL-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11921.440 | 3540204.00 | 3550207.00 | 200.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? 40 ? ? | 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 S_PermAdmissibility-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200380
=====================================================================
--------------------
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 PermAdmissibility-COL-20-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-20-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496382927267
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-COL-20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-COL-20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-COL-20 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-20-UpperBounds.task
lola: MAX(p0) : MAX(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63) : MAX(p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119) : MAX(p145) : MAX(p199) : MAX(p78 + p77 + p76 + p75 + p74 + p73 + p72 + p79) : MAX(p187) : MAX(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127) : MAX(p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186) : MAX(p0) : MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135) : MAX(p136) : MAX(p26) : MAX(p145) : MAX(p78 + p77 + p76 + p75 + p74 + p73 + p72 + p79) : MAX(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99)
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(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 206168 markings, 845611 edges, 41234 markings/sec, 0 secs
lola: 433394 markings, 1905180 edges, 45445 markings/sec, 5 secs
lola: 661261 markings, 3073317 edges, 45573 markings/sec, 10 secs
lola: 885681 markings, 4200869 edges, 44884 markings/sec, 15 secs
lola: 1112413 markings, 5338176 edges, 45346 markings/sec, 20 secs
lola: 1338011 markings, 6453827 edges, 45120 markings/sec, 25 secs
lola: 1569485 markings, 7583311 edges, 46295 markings/sec, 30 secs
lola: 1799064 markings, 8682321 edges, 45916 markings/sec, 35 secs
lola: 2029940 markings, 9815587 edges, 46175 markings/sec, 40 secs
lola: 2257347 markings, 11090290 edges, 45481 markings/sec, 45 secs
lola: 2483726 markings, 12352548 edges, 45276 markings/sec, 50 secs
lola: 2708870 markings, 13537531 edges, 45029 markings/sec, 55 secs
lola: 2925245 markings, 14795580 edges, 43275 markings/sec, 60 secs
lola: 3142446 markings, 16029283 edges, 43440 markings/sec, 65 secs
lola: 3358649 markings, 17338846 edges, 43241 markings/sec, 70 secs
lola: 3578272 markings, 18795152 edges, 43925 markings/sec, 75 secs
lola: 3805664 markings, 20063522 edges, 45478 markings/sec, 80 secs
lola: 4029552 markings, 21212194 edges, 44778 markings/sec, 85 secs
lola: 4264376 markings, 22455520 edges, 46965 markings/sec, 90 secs
lola: 4485472 markings, 23725194 edges, 44219 markings/sec, 95 secs
lola: 4710187 markings, 25013298 edges, 44943 markings/sec, 100 secs
lola: 4928040 markings, 26154874 edges, 43571 markings/sec, 105 secs
lola: 5150599 markings, 27272914 edges, 44512 markings/sec, 110 secs
lola: 5369502 markings, 28532446 edges, 43781 markings/sec, 115 secs
lola: 5584159 markings, 29859577 edges, 42931 markings/sec, 120 secs
lola: 5808470 markings, 31127254 edges, 44862 markings/sec, 125 secs
lola: 6031518 markings, 32279342 edges, 44610 markings/sec, 130 secs
lola: 6257254 markings, 33462576 edges, 45147 markings/sec, 135 secs
lola: 6474164 markings, 34767346 edges, 43382 markings/sec, 140 secs
lola: 6697617 markings, 36007984 edges, 44691 markings/sec, 145 secs
lola: 6918134 markings, 37239785 edges, 44103 markings/sec, 150 secs
lola: 7141683 markings, 38378380 edges, 44710 markings/sec, 155 secs
lola: 7357872 markings, 39640381 edges, 43238 markings/sec, 160 secs
lola: 7581534 markings, 40946856 edges, 44732 markings/sec, 165 secs
lola: 7801547 markings, 42207557 edges, 44003 markings/sec, 170 secs
lola: 8024101 markings, 43455336 edges, 44511 markings/sec, 175 secs
lola: 8253805 markings, 44574120 edges, 45941 markings/sec, 180 secs
lola: 8483721 markings, 45766731 edges, 45983 markings/sec, 185 secs
lola: 8704076 markings, 47094152 edges, 44071 markings/sec, 190 secs
lola: 8934389 markings, 48331791 edges, 46063 markings/sec, 195 secs
lola: 9159767 markings, 49601171 edges, 45076 markings/sec, 200 secs
lola: 9394397 markings, 50826725 edges, 46926 markings/sec, 205 secs
lola: 9617091 markings, 51961830 edges, 44539 markings/sec, 210 secs
lola: 9844122 markings, 53082985 edges, 45406 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(p56 + p57 + p58 + p59 + p60 + p61 + p62 + p63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 127974 markings, 375620 edges, 25595 markings/sec, 0 secs
lola: 258586 markings, 766286 edges, 26122 markings/sec, 5 secs
lola: 396711 markings, 1151197 edges, 27625 markings/sec, 10 secs
lola: 530924 markings, 1535940 edges, 26843 markings/sec, 15 secs
lola: 664567 markings, 1981222 edges, 26729 markings/sec, 20 secs
lola: 794487 markings, 2453787 edges, 25984 markings/sec, 25 secs
lola: 920122 markings, 3236138 edges, 25127 markings/sec, 30 secs
lola: 1043495 markings, 3963781 edges, 24675 markings/sec, 35 secs
lola: 1171122 markings, 4607390 edges, 25525 markings/sec, 40 secs
lola: 1297038 markings, 5185729 edges, 25183 markings/sec, 45 secs
lola: 1421646 markings, 5902609 edges, 24922 markings/sec, 50 secs
lola: 1561643 markings, 6435822 edges, 27999 markings/sec, 55 secs
lola: 1688729 markings, 7115264 edges, 25417 markings/sec, 60 secs
lola: 1822396 markings, 7601632 edges, 26733 markings/sec, 65 secs
lola: 1947145 markings, 8275013 edges, 24950 markings/sec, 70 secs
lola: 2074111 markings, 8881717 edges, 25393 markings/sec, 75 secs
lola: 2204644 markings, 9517594 edges, 26107 markings/sec, 80 secs
lola: 2335772 markings, 10078349 edges, 26226 markings/sec, 85 secs
lola: 2465939 markings, 10487360 edges, 26033 markings/sec, 90 secs
lola: 2601196 markings, 10885519 edges, 27051 markings/sec, 95 secs
lola: 2733083 markings, 11341945 edges, 26377 markings/sec, 100 secs
lola: 2856357 markings, 12064384 edges, 24655 markings/sec, 105 secs
lola: 2980539 markings, 12754677 edges, 24836 markings/sec, 110 secs
lola: 3102797 markings, 13535843 edges, 24452 markings/sec, 115 secs
lola: 3234910 markings, 14134498 edges, 26423 markings/sec, 120 secs
lola: 3363120 markings, 14775834 edges, 25642 markings/sec, 125 secs
lola: 3488644 markings, 15375507 edges, 25105 markings/sec, 130 secs
lola: 3615316 markings, 16086007 edges, 25334 markings/sec, 135 secs
lola: 3744935 markings, 16674533 edges, 25924 markings/sec, 140 secs
lola: 3868383 markings, 17364083 edges, 24690 markings/sec, 145 secs
lola: 3992485 markings, 18054814 edges, 24820 markings/sec, 150 secs
lola: 4114799 markings, 18744745 edges, 24463 markings/sec, 155 secs
lola: 4247503 markings, 19301665 edges, 26541 markings/sec, 160 secs
lola: 4370043 markings, 20026214 edges, 24508 markings/sec, 165 secs
lola: 4494668 markings, 20686867 edges, 24925 markings/sec, 170 secs
lola: 4622605 markings, 21337612 edges, 25587 markings/sec, 175 secs
lola: 4752044 markings, 21803489 edges, 25888 markings/sec, 180 secs
lola: 4885382 markings, 22201056 edges, 26668 markings/sec, 185 secs
lola: 5018693 markings, 22625784 edges, 26662 markings/sec, 190 secs
lola: 5142186 markings, 23310988 edges, 24699 markings/sec, 195 secs
lola: 5264920 markings, 24057476 edges, 24547 markings/sec, 200 secs
lola: 5392839 markings, 24709579 edges, 25584 markings/sec, 205 secs
lola: 5517091 markings, 25362623 edges, 24850 markings/sec, 210 secs
lola: 5641229 markings, 26078184 edges, 24828 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(p112 + p113 + p114 + p115 + p116 + p117 + p118 + p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 301245 markings, 902138 edges, 60249 markings/sec, 0 secs
lola: 611396 markings, 1974980 edges, 62030 markings/sec, 5 secs
lola: 893350 markings, 3197619 edges, 56391 markings/sec, 10 secs
lola: 1198711 markings, 4402303 edges, 61072 markings/sec, 15 secs
lola: 1499198 markings, 5849760 edges, 60097 markings/sec, 20 secs
lola: 1781882 markings, 7448596 edges, 56537 markings/sec, 25 secs
lola: 2147611 markings, 8854522 edges, 73146 markings/sec, 30 secs
lola: 2455006 markings, 10021618 edges, 61479 markings/sec, 35 secs
lola: 2768855 markings, 11293803 edges, 62770 markings/sec, 40 secs
lola: 3062285 markings, 12534887 edges, 58686 markings/sec, 45 secs
lola: 3332987 markings, 14120754 edges, 54140 markings/sec, 50 secs
lola: 3630867 markings, 15825906 edges, 59576 markings/sec, 55 secs
lola: 3966953 markings, 17202772 edges, 67217 markings/sec, 60 secs
lola: 4244871 markings, 18801815 edges, 55584 markings/sec, 65 secs
lola: 4550975 markings, 20550386 edges, 61221 markings/sec, 70 secs
lola: 4838678 markings, 21749958 edges, 57541 markings/sec, 75 secs
lola: 5133168 markings, 22965586 edges, 58898 markings/sec, 80 secs
lola: 5417445 markings, 24457421 edges, 56855 markings/sec, 85 secs
lola: 5700197 markings, 25963863 edges, 56550 markings/sec, 90 secs
lola: 6008334 markings, 27601737 edges, 61627 markings/sec, 95 secs
lola: 6341272 markings, 28901932 edges, 66588 markings/sec, 100 secs
lola: 6634904 markings, 30243913 edges, 58726 markings/sec, 105 secs
lola: 6896832 markings, 31819473 edges, 52386 markings/sec, 110 secs
lola: 7167086 markings, 33596596 edges, 54051 markings/sec, 115 secs
lola: 7515448 markings, 35021102 edges, 69672 markings/sec, 120 secs
lola: 7765524 markings, 36771792 edges, 50015 markings/sec, 125 secs
lola: 8050915 markings, 38559557 edges, 57078 markings/sec, 130 secs
lola: 8306251 markings, 40160117 edges, 51067 markings/sec, 135 secs
lola: 8581202 markings, 41910208 edges, 54990 markings/sec, 140 secs
lola: 8864387 markings, 43535584 edges, 56637 markings/sec, 145 secs
lola: 9126087 markings, 45368608 edges, 52340 markings/sec, 150 secs
lola: 9391062 markings, 47236484 edges, 52995 markings/sec, 155 secs
lola: 9657661 markings, 49243405 edges, 53320 markings/sec, 160 secs
lola: 10032550 markings, 50645478 edges, 74978 markings/sec, 165 secs
lola: 10420893 markings, 51954133 edges, 77669 markings/sec, 170 secs
lola: 10745783 markings, 53349913 edges, 64978 markings/sec, 175 secs
lola: 11045330 markings, 54501794 edges, 59909 markings/sec, 180 secs
lola: 11315910 markings, 55786815 edges, 54116 markings/sec, 185 secs
lola: 11604451 markings, 57163411 edges, 57708 markings/sec, 190 secs
lola: 11877765 markings, 58789803 edges, 54663 markings/sec, 195 secs
lola: 12181040 markings, 60415926 edges, 60655 markings/sec, 200 secs
lola: 12504036 markings, 61783265 edges, 64599 markings/sec, 205 secs
lola: 12784620 markings, 63341154 edges, 56117 markings/sec, 210 secs
lola: 13065939 markings, 65141908 edges, 56264 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(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 157595 markings, 316032 edges, 31519 markings/sec, 0 secs
lola: 317975 markings, 648559 edges, 32076 markings/sec, 5 secs
lola: 478854 markings, 969285 edges, 32176 markings/sec, 10 secs
lola: 640324 markings, 1294158 edges, 32294 markings/sec, 15 secs
lola: 799560 markings, 1630617 edges, 31847 markings/sec, 20 secs
lola: 957955 markings, 2046237 edges, 31679 markings/sec, 25 secs
lola: 1114795 markings, 2461047 edges, 31368 markings/sec, 30 secs
lola: 1270676 markings, 2890163 edges, 31176 markings/sec, 35 secs
lola: 1426144 markings, 3310357 edges, 31094 markings/sec, 40 secs
lola: 1585031 markings, 3693689 edges, 31777 markings/sec, 45 secs
lola: 1742501 markings, 4089312 edges, 31494 markings/sec, 50 secs
lola: 1898931 markings, 4483289 edges, 31286 markings/sec, 55 secs
lola: 2045201 markings, 5051621 edges, 29254 markings/sec, 60 secs
lola: 2191995 markings, 5783560 edges, 29359 markings/sec, 65 secs
lola: 2340210 markings, 6460138 edges, 29643 markings/sec, 70 secs
lola: 2489767 markings, 7125223 edges, 29911 markings/sec, 75 secs
lola: 2638191 markings, 7763049 edges, 29685 markings/sec, 80 secs
lola: 2793981 markings, 8209011 edges, 31158 markings/sec, 85 secs
lola: 2943307 markings, 8634418 edges, 29865 markings/sec, 90 secs
lola: 3095464 markings, 9053129 edges, 30431 markings/sec, 95 secs
lola: 3239755 markings, 9489308 edges, 28858 markings/sec, 100 secs
lola: 3393543 markings, 9972525 edges, 30758 markings/sec, 105 secs
lola: 3547469 markings, 10424583 edges, 30785 markings/sec, 110 secs
lola: 3702496 markings, 10865874 edges, 31005 markings/sec, 115 secs
lola: 3856341 markings, 11352954 edges, 30769 markings/sec, 120 secs
lola: 4009171 markings, 11854658 edges, 30566 markings/sec, 125 secs
lola: 4161914 markings, 12325075 edges, 30549 markings/sec, 130 secs
lola: 4310000 markings, 12789862 edges, 29617 markings/sec, 135 secs
lola: 4449958 markings, 13190052 edges, 27992 markings/sec, 140 secs
lola: 4571037 markings, 13545798 edges, 24216 markings/sec, 145 secs
lola: 4716414 markings, 14012321 edges, 29075 markings/sec, 150 secs
lola: 4868547 markings, 14423010 edges, 30427 markings/sec, 155 secs
lola: 5015676 markings, 14986257 edges, 29426 markings/sec, 160 secs
lola: 5158759 markings, 15801965 edges, 28617 markings/sec, 165 secs
lola: 5301319 markings, 16555221 edges, 28512 markings/sec, 170 secs
lola: 5439239 markings, 17356666 edges, 27584 markings/sec, 175 secs
lola: 5578624 markings, 18143611 edges, 27877 markings/sec, 180 secs
lola: 5715652 markings, 18877269 edges, 27406 markings/sec, 185 secs
lola: 5856814 markings, 19606927 edges, 28232 markings/sec, 190 secs
lola: 5996477 markings, 20354034 edges, 27933 markings/sec, 195 secs
lola: 6140403 markings, 21079997 edges, 28785 markings/sec, 200 secs
lola: 6280052 markings, 21724752 edges, 27930 markings/sec, 205 secs
lola: 6425616 markings, 22391236 edges, 29113 markings/sec, 210 secs
lola: 6566098 markings, 23047474 edges, 28096 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(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 255663 markings, 797984 edges, 51133 markings/sec, 0 secs
lola: 563205 markings, 1834618 edges, 61508 markings/sec, 5 secs
lola: 854151 markings, 3018331 edges, 58189 markings/sec, 10 secs
lola: 1136945 markings, 4076605 edges, 56559 markings/sec, 15 secs
lola: 1431959 markings, 5476475 edges, 59003 markings/sec, 20 secs
lola: 1712874 markings, 6977585 edges, 56183 markings/sec, 25 secs
lola: 2036955 markings, 8535027 edges, 64816 markings/sec, 30 secs
lola: 2372874 markings, 9622152 edges, 67184 markings/sec, 35 secs
lola: 2669736 markings, 10805452 edges, 59372 markings/sec, 40 secs
lola: 2927197 markings, 12060137 edges, 51492 markings/sec, 45 secs
lola: 3224968 markings, 13450494 edges, 59554 markings/sec, 50 secs
lola: 3461240 markings, 14967173 edges, 47254 markings/sec, 55 secs
lola: 3795902 markings, 16409037 edges, 66932 markings/sec, 60 secs
lola: 4085357 markings, 17808864 edges, 57891 markings/sec, 65 secs
lola: 4346673 markings, 19535439 edges, 52263 markings/sec, 70 secs
lola: 4634379 markings, 20961502 edges, 57541 markings/sec, 75 secs
lola: 4924294 markings, 22065146 edges, 57983 markings/sec, 80 secs
lola: 5201106 markings, 23205148 edges, 55362 markings/sec, 85 secs
lola: 5466365 markings, 24729358 edges, 53052 markings/sec, 90 secs
lola: 5726825 markings, 26188525 edges, 52092 markings/sec, 95 secs
lola: 6028217 markings, 27659745 edges, 60278 markings/sec, 100 secs
lola: 6341795 markings, 28904866 edges, 62716 markings/sec, 105 secs
lola: 6628038 markings, 30197944 edges, 57249 markings/sec, 110 secs
lola: 6885187 markings, 31761927 edges, 51430 markings/sec, 115 secs
lola: 7113368 markings, 33351400 edges, 45636 markings/sec, 120 secs
lola: 7449858 markings, 34702400 edges, 67298 markings/sec, 125 secs
lola: 7703001 markings, 36264787 edges, 50629 markings/sec, 130 secs
lola: 7945612 markings, 38002506 edges, 48522 markings/sec, 135 secs
lola: 8224188 markings, 39651399 edges, 55715 markings/sec, 140 secs
lola: 8466732 markings, 41196941 edges, 48509 markings/sec, 145 secs
lola: 8755269 markings, 42828672 edges, 57707 markings/sec, 150 secs
lola: 8998011 markings, 44447213 edges, 48548 markings/sec, 155 secs
lola: 9282705 markings, 46229462 edges, 56939 markings/sec, 160 secs
lola: 9510290 markings, 48217937 edges, 45517 markings/sec, 165 secs
lola: 9828616 markings, 49870739 edges, 63665 markings/sec, 170 secs
lola: 10199162 markings, 51279924 edges, 74109 markings/sec, 175 secs
lola: 10570775 markings, 52360722 edges, 74323 markings/sec, 180 secs
lola: 10841503 markings, 53755660 edges, 54146 markings/sec, 185 secs
lola: 11137954 markings, 54988480 edges, 59290 markings/sec, 190 secs
lola: 11423133 markings, 56266257 edges, 57036 markings/sec, 195 secs
lola: 11709361 markings, 57768628 edges, 57246 markings/sec, 200 secs
lola: 11963280 markings, 59427817 edges, 50784 markings/sec, 205 secs
lola: 12309442 markings, 60851010 edges, 69232 markings/sec, 210 secs
lola: 12610168 markings, 62284031 edges, 60145 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(p78 + p77 + p76 + p75 + p74 + p73 + p72 + p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 125362 markings, 291058 edges, 25072 markings/sec, 0 secs
lola: 240494 markings, 593073 edges, 23026 markings/sec, 5 secs
lola: 350446 markings, 849376 edges, 21990 markings/sec, 10 secs
lola: 455289 markings, 1101853 edges, 20969 markings/sec, 15 secs
lola: 564098 markings, 1350329 edges, 21762 markings/sec, 20 secs
lola: 679903 markings, 1643579 edges, 23161 markings/sec, 25 secs
lola: 791092 markings, 1945052 edges, 22238 markings/sec, 30 secs
lola: 902904 markings, 2226055 edges, 22362 markings/sec, 35 secs
lola: 1009323 markings, 2497114 edges, 21284 markings/sec, 40 secs
lola: 1120829 markings, 2782410 edges, 22301 markings/sec, 45 secs
lola: 1220143 markings, 3019697 edges, 19863 markings/sec, 50 secs
lola: 1333434 markings, 3323648 edges, 22658 markings/sec, 55 secs
lola: 1449717 markings, 3649978 edges, 23257 markings/sec, 60 secs
lola: 1554225 markings, 3967728 edges, 20902 markings/sec, 65 secs
lola: 1665567 markings, 4330216 edges, 22268 markings/sec, 70 secs
lola: 1770010 markings, 4673258 edges, 20889 markings/sec, 75 secs
lola: 1878948 markings, 5064180 edges, 21788 markings/sec, 80 secs
lola: 1990799 markings, 5451158 edges, 22370 markings/sec, 85 secs
lola: 2117096 markings, 5725470 edges, 25259 markings/sec, 90 secs
lola: 2243908 markings, 6006385 edges, 25362 markings/sec, 95 secs
lola: 2356587 markings, 6272517 edges, 22536 markings/sec, 100 secs
lola: 2468209 markings, 6559600 edges, 22324 markings/sec, 105 secs
lola: 2580867 markings, 6842325 edges, 22532 markings/sec, 110 secs
lola: 2693609 markings, 7162575 edges, 22548 markings/sec, 115 secs
lola: 2815711 markings, 7506454 edges, 24420 markings/sec, 120 secs
lola: 2931049 markings, 7790817 edges, 23068 markings/sec, 125 secs
lola: 3041130 markings, 8060552 edges, 22016 markings/sec, 130 secs
lola: 3147901 markings, 8328789 edges, 21354 markings/sec, 135 secs
lola: 3254604 markings, 8604888 edges, 21341 markings/sec, 140 secs
lola: 3362780 markings, 8948911 edges, 21635 markings/sec, 145 secs
lola: 3476236 markings, 9219750 edges, 22691 markings/sec, 150 secs
lola: 3586704 markings, 9520005 edges, 22094 markings/sec, 155 secs
lola: 3702515 markings, 9793885 edges, 23162 markings/sec, 160 secs
lola: 3814425 markings, 10074442 edges, 22382 markings/sec, 165 secs
lola: 3927172 markings, 10374830 edges, 22549 markings/sec, 170 secs
lola: 4050671 markings, 10742950 edges, 24700 markings/sec, 175 secs
lola: 4168369 markings, 11046764 edges, 23540 markings/sec, 180 secs
lola: 4289912 markings, 11357240 edges, 24309 markings/sec, 185 secs
lola: 4406855 markings, 11643816 edges, 23389 markings/sec, 190 secs
lola: 4506587 markings, 11896050 edges, 19946 markings/sec, 195 secs
lola: 4611933 markings, 12182382 edges, 21069 markings/sec, 200 secs
lola: 4732864 markings, 12544260 edges, 24186 markings/sec, 205 secs
lola: 4834187 markings, 12787071 edges, 20265 markings/sec, 210 secs
lola: 4941368 markings, 13068637 edges, 21436 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(p187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 127631 markings, 374475 edges, 25526 markings/sec, 0 secs
lola: 241340 markings, 713823 edges, 22742 markings/sec, 5 secs
lola: 363732 markings, 1065095 edges, 24478 markings/sec, 10 secs
lola: 494326 markings, 1430867 edges, 26119 markings/sec, 15 secs
lola: 620216 markings, 1809889 edges, 25178 markings/sec, 20 secs
lola: 744853 markings, 2246836 edges, 24927 markings/sec, 25 secs
lola: 860066 markings, 2839283 edges, 23043 markings/sec, 30 secs
lola: 978507 markings, 3639746 edges, 23688 markings/sec, 35 secs
lola: 1099989 markings, 4209807 edges, 24296 markings/sec, 40 secs
lola: 1213423 markings, 4765149 edges, 22687 markings/sec, 45 secs
lola: 1322340 markings, 5362438 edges, 21783 markings/sec, 50 secs
lola: 1440519 markings, 6004099 edges, 23636 markings/sec, 55 secs
lola: 1577497 markings, 6524573 edges, 27396 markings/sec, 60 secs
lola: 1695638 markings, 7152174 edges, 23628 markings/sec, 65 secs
lola: 1809667 markings, 7549845 edges, 22806 markings/sec, 70 secs
lola: 1917591 markings, 8057854 edges, 21585 markings/sec, 75 secs
lola: 2031520 markings, 8715762 edges, 22786 markings/sec, 80 secs
lola: 2148278 markings, 9308807 edges, 23352 markings/sec, 85 secs
lola: 2268776 markings, 9850266 edges, 24100 markings/sec, 90 secs
lola: 2390667 markings, 10260627 edges, 24378 markings/sec, 95 secs
lola: 2518033 markings, 10644978 edges, 25473 markings/sec, 100 secs
lola: 2649404 markings, 11038779 edges, 26274 markings/sec, 105 secs
lola: 2770790 markings, 11502203 edges, 24277 markings/sec, 110 secs
lola: 2879511 markings, 12244449 edges, 21744 markings/sec, 115 secs
lola: 2990677 markings, 12824614 edges, 22233 markings/sec, 120 secs
lola: 3102739 markings, 13535628 edges, 22412 markings/sec, 125 secs
lola: 3221268 markings, 14053460 edges, 23706 markings/sec, 130 secs
lola: 3329506 markings, 14645049 edges, 21648 markings/sec, 135 secs
lola: 3448255 markings, 15092734 edges, 23750 markings/sec, 140 secs
lola: 3560272 markings, 15808275 edges, 22403 markings/sec, 145 secs
lola: 3670914 markings, 16369010 edges, 22128 markings/sec, 150 secs
lola: 3785425 markings, 16843180 edges, 22902 markings/sec, 155 secs
lola: 3904205 markings, 17619442 edges, 23756 markings/sec, 160 secs
lola: 4025148 markings, 18220822 edges, 24189 markings/sec, 165 secs
lola: 4129757 markings, 18812510 edges, 20922 markings/sec, 170 secs
lola: 4250730 markings, 19319764 edges, 24195 markings/sec, 175 secs
lola: 4364571 markings, 19986705 edges, 22768 markings/sec, 180 secs
lola: 4487324 markings, 20635302 edges, 24551 markings/sec, 185 secs
lola: 4612624 markings, 21285514 edges, 25060 markings/sec, 190 secs
lola: 4735952 markings, 21766505 edges, 24666 markings/sec, 195 secs
lola: 4861434 markings, 22126103 edges, 25096 markings/sec, 200 secs
lola: 4987975 markings, 22501197 edges, 25308 markings/sec, 205 secs
lola: 5106583 markings, 23063335 edges, 23722 markings/sec, 210 secs
lola: 5226155 markings, 23773283 edges, 23914 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(p120 + p121 + p122 + p123 + p124 + p125 + p126 + p127)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: SUBRESULT
lola: result: 40
lola: produced by: state space
lola: The maximum value of the given expression is 40
lola: ========================================
lola: subprocess 8 will run for 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 120236 markings, 280065 edges, 24047 markings/sec, 0 secs
lola: 238330 markings, 587319 edges, 23619 markings/sec, 5 secs
lola: 365953 markings, 891154 edges, 25525 markings/sec, 10 secs
lola: 492010 markings, 1190787 edges, 25211 markings/sec, 15 secs
lola: 621147 markings, 1492259 edges, 25827 markings/sec, 20 secs
lola: 745698 markings, 1775621 edges, 24910 markings/sec, 25 secs
lola: 869137 markings, 2072886 edges, 24688 markings/sec, 30 secs
lola: 989383 markings, 2397106 edges, 24049 markings/sec, 35 secs
lola: 1111055 markings, 2737695 edges, 24334 markings/sec, 40 secs
lola: 1235967 markings, 3053720 edges, 24982 markings/sec, 45 secs
lola: 1361399 markings, 3366467 edges, 25086 markings/sec, 50 secs
lola: 1488109 markings, 3683711 edges, 25342 markings/sec, 55 secs
lola: 1616302 markings, 4001109 edges, 25639 markings/sec, 60 secs
lola: 1730084 markings, 4284212 edges, 22756 markings/sec, 65 secs
lola: 1855444 markings, 4609500 edges, 25072 markings/sec, 70 secs
lola: 1974968 markings, 4964527 edges, 23905 markings/sec, 75 secs
lola: 2093221 markings, 5343353 edges, 23651 markings/sec, 80 secs
lola: 2213859 markings, 5690719 edges, 24128 markings/sec, 85 secs
lola: 2330756 markings, 6080684 edges, 23379 markings/sec, 90 secs
lola: 2449608 markings, 6363860 edges, 23770 markings/sec, 95 secs
lola: 2568533 markings, 6657477 edges, 23785 markings/sec, 100 secs
lola: 2688842 markings, 6978545 edges, 24062 markings/sec, 105 secs
lola: 2805238 markings, 7261746 edges, 23279 markings/sec, 110 secs
lola: 2924448 markings, 7583901 edges, 23842 markings/sec, 115 secs
lola: 3045977 markings, 7886690 edges, 24306 markings/sec, 120 secs
lola: 3160378 markings, 8204482 edges, 22880 markings/sec, 125 secs
lola: 3272105 markings, 8484284 edges, 22345 markings/sec, 130 secs
lola: 3382124 markings, 8745477 edges, 22004 markings/sec, 135 secs
lola: 3499700 markings, 9027696 edges, 23515 markings/sec, 140 secs
lola: 3613178 markings, 9303705 edges, 22696 markings/sec, 145 secs
lola: 3717743 markings, 9532051 edges, 20913 markings/sec, 150 secs
lola: 3832452 markings, 9811809 edges, 22942 markings/sec, 155 secs
lola: 3942903 markings, 10073851 edges, 22090 markings/sec, 160 secs
lola: 4065361 markings, 10377654 edges, 24492 markings/sec, 165 secs
lola: 4187416 markings, 10704338 edges, 24411 markings/sec, 170 secs
lola: 4304525 markings, 10993983 edges, 23422 markings/sec, 175 secs
lola: 4428624 markings, 11304269 edges, 24820 markings/sec, 180 secs
lola: 4547639 markings, 11636104 edges, 23803 markings/sec, 185 secs
lola: 4663922 markings, 11987336 edges, 23257 markings/sec, 190 secs
lola: 4772678 markings, 12257457 edges, 21751 markings/sec, 195 secs
lola: 4883993 markings, 12521021 edges, 22263 markings/sec, 200 secs
lola: 4993527 markings, 12772448 edges, 21907 markings/sec, 205 secs
lola: 5102768 markings, 13011775 edges, 21848 markings/sec, 210 secs
lola: 5222800 markings, 13313410 edges, 24006 markings/sec, 215 secs
lola: 5330333 markings, 13544436 edges, 21507 markings/sec, 220 secs
lola: 5452488 markings, 13829471 edges, 24431 markings/sec, 225 secs
lola: 5573060 markings, 14152183 edges, 24114 markings/sec, 230 secs
lola: 5692954 markings, 14492671 edges, 23979 markings/sec, 235 secs
lola: 5818490 markings, 14802576 edges, 25107 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 221601 markings, 904612 edges, 44320 markings/sec, 0 secs
lola: 447842 markings, 1976875 edges, 45248 markings/sec, 5 secs
lola: 674648 markings, 3142908 edges, 45361 markings/sec, 10 secs
lola: 897340 markings, 4253997 edges, 44538 markings/sec, 15 secs
lola: 1122284 markings, 5383840 edges, 44989 markings/sec, 20 secs
lola: 1345297 markings, 6484498 edges, 44603 markings/sec, 25 secs
lola: 1574464 markings, 7608802 edges, 45833 markings/sec, 30 secs
lola: 1800825 markings, 8690440 edges, 45272 markings/sec, 35 secs
lola: 2028363 markings, 9808827 edges, 45508 markings/sec, 40 secs
lola: 2252947 markings, 11061980 edges, 44917 markings/sec, 45 secs
lola: 2478119 markings, 12323635 edges, 45034 markings/sec, 50 secs
lola: 2701224 markings, 13500582 edges, 44621 markings/sec, 55 secs
lola: 2913927 markings, 14724536 edges, 42541 markings/sec, 60 secs
lola: 3127054 markings, 15937369 edges, 42625 markings/sec, 65 secs
lola: 3341284 markings, 17228082 edges, 42846 markings/sec, 70 secs
lola: 3550008 markings, 18583055 edges, 41745 markings/sec, 75 secs
lola: 3774209 markings, 19880716 edges, 44840 markings/sec, 80 secs
lola: 3993408 markings, 21030039 edges, 43840 markings/sec, 85 secs
lola: 4225174 markings, 22227138 edges, 46353 markings/sec, 90 secs
lola: 4447393 markings, 23505980 edges, 44444 markings/sec, 95 secs
lola: 4670341 markings, 24834038 edges, 44590 markings/sec, 100 secs
lola: 4887563 markings, 25949113 edges, 43444 markings/sec, 105 secs
lola: 5107196 markings, 27055851 edges, 43927 markings/sec, 110 secs
lola: 5327000 markings, 28271397 edges, 43961 markings/sec, 115 secs
lola: 5534857 markings, 29618925 edges, 41571 markings/sec, 120 secs
lola: 5756541 markings, 30807524 edges, 44337 markings/sec, 125 secs
lola: 5972379 markings, 31972208 edges, 43168 markings/sec, 130 secs
lola: 6195159 markings, 33125760 edges, 44556 markings/sec, 135 secs
lola: 6410369 markings, 34391797 edges, 43042 markings/sec, 140 secs
lola: 6632589 markings, 35670391 edges, 44444 markings/sec, 145 secs
lola: 6844426 markings, 36852690 edges, 42367 markings/sec, 150 secs
lola: 7065099 markings, 37998212 edges, 44135 markings/sec, 155 secs
lola: 7285089 markings, 39197074 edges, 43998 markings/sec, 160 secs
lola: 7503406 markings, 40485285 edges, 43663 markings/sec, 165 secs
lola: 7718386 markings, 41740469 edges, 42996 markings/sec, 170 secs
lola: 7936727 markings, 42977140 edges, 43668 markings/sec, 175 secs
lola: 8160540 markings, 44105245 edges, 44763 markings/sec, 180 secs
lola: 8385725 markings, 45223016 edges, 45037 markings/sec, 185 secs
lola: 8607011 markings, 46461634 edges, 44257 markings/sec, 190 secs
lola: 8831978 markings, 47751303 edges, 44993 markings/sec, 195 secs
lola: 9054161 markings, 48975953 edges, 44437 markings/sec, 200 secs
lola: 9278152 markings, 50190131 edges, 44798 markings/sec, 205 secs
lola: 9496379 markings, 51385812 edges, 43645 markings/sec, 210 secs
lola: 9721668 markings, 52485656 edges, 45058 markings/sec, 215 secs
lola: 9948799 markings, 53661898 edges, 45426 markings/sec, 220 secs
lola: 10165877 markings, 54947208 edges, 43416 markings/sec, 225 secs
lola: 10392268 markings, 56169202 edges, 45278 markings/sec, 230 secs
lola: 10613715 markings, 57397834 edges, 44289 markings/sec, 235 secs
lola: 10837597 markings, 58624850 edges, 44776 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 135771 markings, 220827 edges, 27154 markings/sec, 0 secs
lola: 274949 markings, 453413 edges, 27836 markings/sec, 5 secs
lola: 413701 markings, 684944 edges, 27750 markings/sec, 10 secs
lola: 552551 markings, 952832 edges, 27770 markings/sec, 15 secs
lola: 689807 markings, 1253165 edges, 27451 markings/sec, 20 secs
lola: 826811 markings, 1554046 edges, 27401 markings/sec, 25 secs
lola: 963429 markings, 1855283 edges, 27324 markings/sec, 30 secs
lola: 1101016 markings, 2155244 edges, 27517 markings/sec, 35 secs
lola: 1237931 markings, 2455842 edges, 27383 markings/sec, 40 secs
lola: 1374613 markings, 2756605 edges, 27336 markings/sec, 45 secs
lola: 1510773 markings, 3054861 edges, 27232 markings/sec, 50 secs
lola: 1647246 markings, 3384408 edges, 27295 markings/sec, 55 secs
lola: 1782319 markings, 3771736 edges, 27015 markings/sec, 60 secs
lola: 1916296 markings, 4156024 edges, 26795 markings/sec, 65 secs
lola: 2050369 markings, 4538037 edges, 26815 markings/sec, 70 secs
lola: 2184085 markings, 4922039 edges, 26743 markings/sec, 75 secs
lola: 2318967 markings, 5292029 edges, 26976 markings/sec, 80 secs
lola: 2455980 markings, 5674653 edges, 27403 markings/sec, 85 secs
lola: 2589991 markings, 6089081 edges, 26802 markings/sec, 90 secs
lola: 2722555 markings, 6544161 edges, 26513 markings/sec, 95 secs
lola: 2856119 markings, 6967983 edges, 26713 markings/sec, 100 secs
lola: 2989036 markings, 7422657 edges, 26583 markings/sec, 105 secs
lola: 3120498 markings, 7864346 edges, 26292 markings/sec, 110 secs
lola: 3248586 markings, 8402780 edges, 25618 markings/sec, 115 secs
lola: 3376534 markings, 8949304 edges, 25590 markings/sec, 120 secs
lola: 3507509 markings, 9421937 edges, 26195 markings/sec, 125 secs
lola: 3640222 markings, 9889009 edges, 26543 markings/sec, 130 secs
lola: 3772901 markings, 10310185 edges, 26536 markings/sec, 135 secs
lola: 3901920 markings, 10856968 edges, 25804 markings/sec, 140 secs
lola: 4029987 markings, 11411242 edges, 25613 markings/sec, 145 secs
lola: 4158267 markings, 11972617 edges, 25656 markings/sec, 150 secs
lola: 4291267 markings, 12407562 edges, 26600 markings/sec, 155 secs
lola: 4423871 markings, 12873457 edges, 26521 markings/sec, 160 secs
lola: 4554273 markings, 13332091 edges, 26080 markings/sec, 165 secs
lola: 4681973 markings, 13890842 edges, 25540 markings/sec, 170 secs
lola: 4809558 markings, 14446504 edges, 25517 markings/sec, 175 secs
lola: 4939002 markings, 14922588 edges, 25889 markings/sec, 180 secs
lola: 5066710 markings, 15488959 edges, 25542 markings/sec, 185 secs
lola: 5193888 markings, 16064748 edges, 25436 markings/sec, 190 secs
lola: 5321431 markings, 16638336 edges, 25509 markings/sec, 195 secs
lola: 5455385 markings, 17003602 edges, 26791 markings/sec, 200 secs
lola: 5589353 markings, 17355151 edges, 26794 markings/sec, 205 secs
lola: 5721690 markings, 17717900 edges, 26467 markings/sec, 210 secs
lola: 5853605 markings, 18065060 edges, 26383 markings/sec, 215 secs
lola: 5986027 markings, 18452902 edges, 26484 markings/sec, 220 secs
lola: 6119263 markings, 18812175 edges, 26647 markings/sec, 225 secs
lola: 6252706 markings, 19163180 edges, 26689 markings/sec, 230 secs
lola: 6385107 markings, 19535155 edges, 26480 markings/sec, 235 secs
lola: 6516772 markings, 19932970 edges, 26333 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 121866 markings, 282001 edges, 24373 markings/sec, 0 secs
lola: 237039 markings, 584785 edges, 23035 markings/sec, 5 secs
lola: 351121 markings, 850883 edges, 22816 markings/sec, 10 secs
lola: 464198 markings, 1122884 edges, 22615 markings/sec, 15 secs
lola: 582437 markings, 1393081 edges, 23648 markings/sec, 20 secs
lola: 700384 markings, 1706904 edges, 23589 markings/sec, 25 secs
lola: 814903 markings, 2004568 edges, 22904 markings/sec, 30 secs
lola: 927512 markings, 2290262 edges, 22522 markings/sec, 35 secs
lola: 1038199 markings, 2570969 edges, 22137 markings/sec, 40 secs
lola: 1149336 markings, 2850748 edges, 22227 markings/sec, 45 secs
lola: 1266575 markings, 3130603 edges, 23448 markings/sec, 50 secs
lola: 1380625 markings, 3447649 edges, 22810 markings/sec, 55 secs
lola: 1499972 markings, 3819320 edges, 23869 markings/sec, 60 secs
lola: 1615621 markings, 4158154 edges, 23130 markings/sec, 65 secs
lola: 1732518 markings, 4528031 edges, 23379 markings/sec, 70 secs
lola: 1850201 markings, 4944239 edges, 23537 markings/sec, 75 secs
lola: 1970115 markings, 5385251 edges, 23983 markings/sec, 80 secs
lola: 2099988 markings, 5691140 edges, 25975 markings/sec, 85 secs
lola: 2228809 markings, 5966500 edges, 25764 markings/sec, 90 secs
lola: 2343830 markings, 6242899 edges, 23004 markings/sec, 95 secs
lola: 2460016 markings, 6535796 edges, 23237 markings/sec, 100 secs
lola: 2572514 markings, 6822763 edges, 22500 markings/sec, 105 secs
lola: 2689150 markings, 7148986 edges, 23327 markings/sec, 110 secs
lola: 2818611 markings, 7513567 edges, 25892 markings/sec, 115 secs
lola: 2934649 markings, 7798847 edges, 23208 markings/sec, 120 secs
lola: 3049629 markings, 8081967 edges, 22996 markings/sec, 125 secs
lola: 3163441 markings, 8366201 edges, 22762 markings/sec, 130 secs
lola: 3279379 markings, 8681032 edges, 23188 markings/sec, 135 secs
lola: 3404791 markings, 9052213 edges, 25082 markings/sec, 140 secs
lola: 3525008 markings, 9347612 edges, 24043 markings/sec, 145 secs
lola: 3663572 markings, 9690105 edges, 27713 markings/sec, 150 secs
lola: 3776008 markings, 9973338 edges, 22487 markings/sec, 155 secs
lola: 3887107 markings, 10260419 edges, 22220 markings/sec, 160 secs
lola: 4003764 markings, 10629746 edges, 23331 markings/sec, 165 secs
lola: 4124924 markings, 10923668 edges, 24232 markings/sec, 170 secs
lola: 4244484 markings, 11229882 edges, 23912 markings/sec, 175 secs
lola: 4370631 markings, 11556605 edges, 25229 markings/sec, 180 secs
lola: 4482871 markings, 11834947 edges, 22448 markings/sec, 185 secs
lola: 4594191 markings, 12132845 edges, 22264 markings/sec, 190 secs
lola: 4713490 markings, 12504566 edges, 23860 markings/sec, 195 secs
lola: 4834523 markings, 12787819 edges, 24207 markings/sec, 200 secs
lola: 4951615 markings, 13099523 edges, 23418 markings/sec, 205 secs
lola: 5075951 markings, 13417863 edges, 24867 markings/sec, 210 secs
lola: 5200016 markings, 13746189 edges, 24813 markings/sec, 215 secs
lola: 5312597 markings, 14094517 edges, 22516 markings/sec, 220 secs
lola: 5423668 markings, 14414114 edges, 22214 markings/sec, 225 secs
lola: 5533865 markings, 14733310 edges, 22039 markings/sec, 230 secs
lola: 5649313 markings, 15269209 edges, 23090 markings/sec, 235 secs
lola: 5763269 markings, 15710815 edges, 22791 markings/sec, 240 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 249 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 708 bytes per marking, with 0 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: 167015 markings, 342540 edges, 33403 markings/sec, 0 secs
lola: 335668 markings, 674346 edges, 33731 markings/sec, 5 secs
lola: 503433 markings, 1003839 edges, 33553 markings/sec, 10 secs
lola: 670150 markings, 1377274 edges, 33343 markings/sec, 15 secs
lola: 837483 markings, 1718539 edges, 33467 markings/sec, 20 secs
lola: 1002668 markings, 2106152 edges, 33037 markings/sec, 25 secs
lola: 1168567 markings, 2472482 edges, 33180 markings/sec, 30 secs
lola: 1333968 markings, 2837232 edges, 33080 markings/sec, 35 secs
lola: 1499020 markings, 3194552 edges, 33010 markings/sec, 40 secs
lola: 1664778 markings, 3532416 edges, 33152 markings/sec, 45 secs
lola: 1829464 markings, 3892259 edges, 32937 markings/sec, 50 secs
lola: 1992692 markings, 4295382 edges, 32646 markings/sec, 55 secs
lola: 2154731 markings, 4700445 edges, 32408 markings/sec, 60 secs
lola: 2317722 markings, 5099788 edges, 32598 markings/sec, 65 secs
lola: 2481864 markings, 5458341 edges, 32828 markings/sec, 70 secs
lola: 2645235 markings, 5903866 edges, 32674 markings/sec, 75 secs
lola: 2807905 markings, 6362078 edges, 32534 markings/sec, 80 secs
lola: 2970190 markings, 6803802 edges, 32457 markings/sec, 85 secs
lola: 3132418 markings, 7230256 edges, 32446 markings/sec, 90 secs
lola: 3294655 markings, 7685642 edges, 32447 markings/sec, 95 secs
lola: 3457640 markings, 8109726 edges, 32597 markings/sec, 100 secs
lola: 3621339 markings, 8508278 edges, 32740 markings/sec, 105 secs
lola: 3784401 markings, 8903340 edges, 32612 markings/sec, 110 secs
lola: 3942980 markings, 9434252 edges, 31716 markings/sec, 115 secs
lola: 4102481 markings, 9909617 edges, 31900 markings/sec, 120 secs
lola: 4262414 markings, 10386403 edges, 31987 markings/sec, 125 secs
lola: 4419799 markings, 10890024 edges, 31477 markings/sec, 130 secs
lola: 4578984 markings, 11330916 edges, 31837 markings/sec, 135 secs
lola: 4738044 markings, 11771809 edges, 31812 markings/sec, 140 secs
lola: 4896126 markings, 12211775 edges, 31616 markings/sec, 145 secs
lola: 5054472 markings, 12678966 edges, 31669 markings/sec, 150 secs
lola: 5213028 markings, 13182497 edges, 31711 markings/sec, 155 secs
lola: 5370838 markings, 13678074 edges, 31562 markings/sec, 160 secs
lola: 5527568 markings, 14191616 edges, 31346 markings/sec, 165 secs
lola: 5688607 markings, 14606028 edges, 32208 markings/sec, 170 secs
lola: 5848708 markings, 15020428 edges, 32020 markings/sec, 175 secs
lola: 6009207 markings, 15433191 edges, 32100 markings/sec, 180 secs
lola: 6160281 markings, 16131200 edges, 30215 markings/sec, 185 secs
lola: 6309205 markings, 16876008 edges, 29785 markings/sec, 190 secs
lola: 6457804 markings, 17617437 edges, 29720 markings/sec, 195 secs
lola: 6608358 markings, 18322371 edges, 30111 markings/sec, 200 secs
lola: 6760157 markings, 18955322 edges, 30360 markings/sec, 205 secs
lola: 6903124 markings, 19825336 edges, 28593 markings/sec, 210 secs
lola: 7047652 markings, 20643030 edges, 28906 markings/sec, 215 secs
lola: 7194136 markings, 21371784 edges, 29297 markings/sec, 220 secs
lola: 7341330 markings, 22073547 edges, 29439 markings/sec, 225 secs
lola: 7485756 markings, 22869296 edges, 28885 markings/sec, 230 secs
lola: 7629742 markings, 23660782 edges, 28797 markings/sec, 235 secs
lola: 7773733 markings, 24434483 edges, 28798 markings/sec, 240 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 249 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 708 bytes per marking, with 0 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: 157329 markings, 315537 edges, 31466 markings/sec, 0 secs
lola: 317529 markings, 647596 edges, 32040 markings/sec, 5 secs
lola: 478162 markings, 967909 edges, 32127 markings/sec, 10 secs
lola: 639441 markings, 1292395 edges, 32256 markings/sec, 15 secs
lola: 798425 markings, 1628135 edges, 31797 markings/sec, 20 secs
lola: 956549 markings, 2042109 edges, 31625 markings/sec, 25 secs
lola: 1113004 markings, 2457358 edges, 31291 markings/sec, 30 secs
lola: 1268516 markings, 2883862 edges, 31102 markings/sec, 35 secs
lola: 1423891 markings, 3303750 edges, 31075 markings/sec, 40 secs
lola: 1582277 markings, 3685503 edges, 31677 markings/sec, 45 secs
lola: 1739390 markings, 4080046 edges, 31423 markings/sec, 50 secs
lola: 1895585 markings, 4473208 edges, 31239 markings/sec, 55 secs
lola: 2046897 markings, 5060976 edges, 30262 markings/sec, 60 secs
lola: 2193218 markings, 5788154 edges, 29264 markings/sec, 65 secs
lola: 2340882 markings, 6462597 edges, 29533 markings/sec, 70 secs
lola: 2489949 markings, 7126214 edges, 29813 markings/sec, 75 secs
lola: 2637928 markings, 7762312 edges, 29596 markings/sec, 80 secs
lola: 2793431 markings, 8207346 edges, 31101 markings/sec, 85 secs
lola: 2948761 markings, 8648745 edges, 31066 markings/sec, 90 secs
lola: 3102838 markings, 9074449 edges, 30815 markings/sec, 95 secs
lola: 3257363 markings, 9542099 edges, 30905 markings/sec, 100 secs
lola: 3411641 markings, 10026731 edges, 30856 markings/sec, 105 secs
lola: 3568008 markings, 10480755 edges, 31273 markings/sec, 110 secs
lola: 3722479 markings, 10930108 edges, 30894 markings/sec, 115 secs
lola: 3876300 markings, 11425025 edges, 30764 markings/sec, 120 secs
lola: 4028989 markings, 11936737 edges, 30538 markings/sec, 125 secs
lola: 4182248 markings, 12392397 edges, 30652 markings/sec, 130 secs
lola: 4335383 markings, 12885429 edges, 30627 markings/sec, 135 secs
lola: 4489556 markings, 13330006 edges, 30835 markings/sec, 140 secs
lola: 4643712 markings, 13783064 edges, 30831 markings/sec, 145 secs
lola: 4797480 markings, 14213496 edges, 30754 markings/sec, 150 secs
lola: 4948896 markings, 14688770 edges, 30283 markings/sec, 155 secs
lola: 5093276 markings, 15427882 edges, 28876 markings/sec, 160 secs
lola: 5235555 markings, 16220088 edges, 28456 markings/sec, 165 secs
lola: 5377528 markings, 16993548 edges, 28395 markings/sec, 170 secs
lola: 5518495 markings, 17768768 edges, 28193 markings/sec, 175 secs
lola: 5658489 markings, 18556665 edges, 27999 markings/sec, 180 secs
lola: 5799070 markings, 19314627 edges, 28116 markings/sec, 185 secs
lola: 5941431 markings, 20012614 edges, 28472 markings/sec, 190 secs
lola: 6081581 markings, 20789780 edges, 28030 markings/sec, 195 secs
lola: 6226117 markings, 21476315 edges, 28907 markings/sec, 200 secs
lola: 6369752 markings, 22149723 edges, 28727 markings/sec, 205 secs
lola: 6518228 markings, 22758610 edges, 29695 markings/sec, 210 secs
lola: 6659550 markings, 23635018 edges, 28264 markings/sec, 215 secs
lola: 6801719 markings, 24412124 edges, 28434 markings/sec, 220 secs
lola: 6940752 markings, 25278884 edges, 27807 markings/sec, 225 secs
lola: 7079455 markings, 26100192 edges, 27741 markings/sec, 230 secs
lola: 7220475 markings, 26880068 edges, 28204 markings/sec, 235 secs
lola: 7360802 markings, 27632692 edges, 28065 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p78 + p77 + p76 + p75 + p74 + p73 + p72 + p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 121378 markings, 280575 edges, 24276 markings/sec, 0 secs
lola: 236066 markings, 582486 edges, 22938 markings/sec, 5 secs
lola: 349691 markings, 847670 edges, 22725 markings/sec, 10 secs
lola: 462627 markings, 1119462 edges, 22587 markings/sec, 15 secs
lola: 580495 markings, 1387356 edges, 23574 markings/sec, 20 secs
lola: 698350 markings, 1700773 edges, 23571 markings/sec, 25 secs
lola: 812950 markings, 1998820 edges, 22920 markings/sec, 30 secs
lola: 925654 markings, 2286088 edges, 22541 markings/sec, 35 secs
lola: 1036417 markings, 2566603 edges, 22153 markings/sec, 40 secs
lola: 1147050 markings, 2845453 edges, 22127 markings/sec, 45 secs
lola: 1263196 markings, 3122647 edges, 23229 markings/sec, 50 secs
lola: 1377692 markings, 3441445 edges, 22899 markings/sec, 55 secs
lola: 1496453 markings, 3809532 edges, 23752 markings/sec, 60 secs
lola: 1611743 markings, 4141290 edges, 23058 markings/sec, 65 secs
lola: 1729463 markings, 4515639 edges, 23544 markings/sec, 70 secs
lola: 1847095 markings, 4936133 edges, 23526 markings/sec, 75 secs
lola: 1966883 markings, 5372577 edges, 23958 markings/sec, 80 secs
lola: 2096464 markings, 5684074 edges, 25916 markings/sec, 85 secs
lola: 2225802 markings, 5958978 edges, 25868 markings/sec, 90 secs
lola: 2340389 markings, 6234028 edges, 22917 markings/sec, 95 secs
lola: 2456464 markings, 6526864 edges, 23215 markings/sec, 100 secs
lola: 2567940 markings, 6811769 edges, 22295 markings/sec, 105 secs
lola: 2684328 markings, 7133607 edges, 23278 markings/sec, 110 secs
lola: 2813571 markings, 7500206 edges, 25849 markings/sec, 115 secs
lola: 2929697 markings, 7787799 edges, 23225 markings/sec, 120 secs
lola: 3044793 markings, 8069498 edges, 23019 markings/sec, 125 secs
lola: 3158474 markings, 8354348 edges, 22736 markings/sec, 130 secs
lola: 3273791 markings, 8664929 edges, 23063 markings/sec, 135 secs
lola: 3398421 markings, 9038513 edges, 24926 markings/sec, 140 secs
lola: 3519018 markings, 9331351 edges, 24119 markings/sec, 145 secs
lola: 3655133 markings, 9673102 edges, 27223 markings/sec, 150 secs
lola: 3769407 markings, 9955292 edges, 22855 markings/sec, 155 secs
lola: 3880756 markings, 10243385 edges, 22270 markings/sec, 160 secs
lola: 3997678 markings, 10608125 edges, 23384 markings/sec, 165 secs
lola: 4119394 markings, 10909526 edges, 24343 markings/sec, 170 secs
lola: 4238550 markings, 11215000 edges, 23831 markings/sec, 175 secs
lola: 4364787 markings, 11541067 edges, 25247 markings/sec, 180 secs
lola: 4476611 markings, 11820327 edges, 22365 markings/sec, 185 secs
lola: 4587429 markings, 12113130 edges, 22164 markings/sec, 190 secs
lola: 4705255 markings, 12486581 edges, 23565 markings/sec, 195 secs
lola: 4827089 markings, 12767099 edges, 24367 markings/sec, 200 secs
lola: 4944144 markings, 13076560 edges, 23411 markings/sec, 205 secs
lola: 5068532 markings, 13398923 edges, 24878 markings/sec, 210 secs
lola: 5192040 markings, 13724748 edges, 24702 markings/sec, 215 secs
lola: 5305080 markings, 14074581 edges, 22608 markings/sec, 220 secs
lola: 5415480 markings, 14389940 edges, 22080 markings/sec, 225 secs
lola: 5525107 markings, 14707811 edges, 21925 markings/sec, 230 secs
lola: 5641023 markings, 15226605 edges, 23183 markings/sec, 235 secs
lola: 5755041 markings, 15680584 edges, 22804 markings/sec, 240 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 249 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p100 + p101 + p102 + p103 + p96 + p97 + p98 + p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 625785 markings, 2277670 edges, 125157 markings/sec, 0 secs
lola: 1260076 markings, 4756392 edges, 126858 markings/sec, 5 secs
lola: 1890294 markings, 7298327 edges, 126044 markings/sec, 10 secs
lola: 2515665 markings, 9839546 edges, 125074 markings/sec, 15 secs
lola: 3151371 markings, 12263149 edges, 127141 markings/sec, 20 secs
lola: 3781491 markings, 14676573 edges, 126024 markings/sec, 25 secs
lola: 4406564 markings, 17167950 edges, 125015 markings/sec, 30 secs
lola: 4986326 markings, 19637808 edges, 115952 markings/sec, 35 secs
lola: 5527160 markings, 22174445 edges, 108167 markings/sec, 40 secs
lola: 6064626 markings, 24773297 edges, 107493 markings/sec, 45 secs
lola: 6619686 markings, 27323442 edges, 111012 markings/sec, 50 secs
lola: 7180500 markings, 29948064 edges, 112163 markings/sec, 55 secs
lola: 7772922 markings, 32511887 edges, 118484 markings/sec, 60 secs
lola: 8359602 markings, 35064971 edges, 117336 markings/sec, 65 secs
lola: 8999104 markings, 37483298 edges, 127900 markings/sec, 70 secs
lola: 9627396 markings, 39983213 edges, 125658 markings/sec, 75 secs
lola: 10244992 markings, 42502130 edges, 123519 markings/sec, 80 secs
lola: 10813983 markings, 45144989 edges, 113798 markings/sec, 85 secs
lola: 11376326 markings, 47855673 edges, 112469 markings/sec, 90 secs
lola: 11949341 markings, 50553650 edges, 114603 markings/sec, 95 secs
lola: 12536622 markings, 53231295 edges, 117456 markings/sec, 100 secs
lola: 13138234 markings, 55849529 edges, 120322 markings/sec, 105 secs
lola: 13725507 markings, 58461149 edges, 117455 markings/sec, 110 secs
lola: 14360614 markings, 60846544 edges, 127021 markings/sec, 115 secs
lola: 14984687 markings, 63312523 edges, 124815 markings/sec, 120 secs
lola: 15598448 markings, 65812174 edges, 122752 markings/sec, 125 secs
lola: 16162707 markings, 68414639 edges, 112852 markings/sec, 130 secs
lola: 16718544 markings, 71082173 edges, 111167 markings/sec, 135 secs
lola: 17273139 markings, 73771856 edges, 110919 markings/sec, 140 secs
lola: 17819818 markings, 76247849 edges, 109336 markings/sec, 145 secs
lola: 18353491 markings, 78804576 edges, 106735 markings/sec, 150 secs
lola: 18890100 markings, 81411209 edges, 107322 markings/sec, 155 secs
lola: 19366242 markings, 84117660 edges, 95228 markings/sec, 160 secs
lola: 19810621 markings, 86928792 edges, 88876 markings/sec, 165 secs
lola: 20250966 markings, 89774918 edges, 88069 markings/sec, 170 secs
lola: 20694007 markings, 92687948 edges, 88608 markings/sec, 175 secs
lola: 21257980 markings, 95307045 edges, 112795 markings/sec, 180 secs
lola: 21800653 markings, 97993460 edges, 108535 markings/sec, 185 secs
lola: 22265950 markings, 100834357 edges, 93059 markings/sec, 190 secs
lola: 22845341 markings, 103431738 edges, 115878 markings/sec, 195 secs
lola: 23387129 markings, 106122120 edges, 108358 markings/sec, 200 secs
lola: 23842272 markings, 109007637 edges, 91029 markings/sec, 205 secs
lola: 24384083 markings, 111754332 edges, 108362 markings/sec, 210 secs
lola: 25026700 markings, 114149839 edges, 128523 markings/sec, 215 secs
lola: 25657271 markings, 116627913 edges, 126114 markings/sec, 220 secs
lola: 26280080 markings, 119135966 edges, 124562 markings/sec, 225 secs
lola: 26836793 markings, 121698271 edges, 111343 markings/sec, 230 secs
lola: 27398064 markings, 124370879 edges, 112254 markings/sec, 235 secs
lola: 27954143 markings, 127107436 edges, 111216 markings/sec, 240 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown 40 unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA PermAdmissibility-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-7 40 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496386467471
--------------------
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="S_PermAdmissibility-COL-20"
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/S_PermAdmissibility-COL-20.tgz
mv S_PermAdmissibility-COL-20 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 S_PermAdmissibility-COL-20, 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 r118-blw7-149441650200380"
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 ;