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-12a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200074
=====================================================================

--------------------
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-12a-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-12a-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496485521951


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-12a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-12a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-12a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 595/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 147 places, 448 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 352 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-12a-UpperBounds.task
lola: MAX(p80) : MAX(p8) : MAX(p23) : MAX(p17) : MAX(p103) : MAX(p115) : MAX(p92) : MAX(p129) : MAX(p63) : MAX(p39) : MAX(p111) : MAX(p138) : MAX(p0) : MAX(p52) : MAX(p12) : MAX(p31)
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(p80)
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 27 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: 444842 markings, 639050 edges, 88968 markings/sec, 0 secs
lola: 864109 markings, 1244535 edges, 83853 markings/sec, 5 secs
lola: 1310496 markings, 1882328 edges, 89277 markings/sec, 10 secs
lola: 1756066 markings, 2527893 edges, 89114 markings/sec, 15 secs
lola: 2207675 markings, 3177632 edges, 90322 markings/sec, 20 secs
lola: 2657335 markings, 3822479 edges, 89932 markings/sec, 25 secs
lola: 3105482 markings, 4467830 edges, 89629 markings/sec, 30 secs
lola: 3550695 markings, 5115832 edges, 89043 markings/sec, 35 secs
lola: 3997010 markings, 5752723 edges, 89263 markings/sec, 40 secs
lola: 4438616 markings, 6391532 edges, 88321 markings/sec, 45 secs
lola: 4884217 markings, 7023557 edges, 89120 markings/sec, 50 secs
lola: 5331199 markings, 7665893 edges, 89396 markings/sec, 55 secs
lola: 5779262 markings, 8314631 edges, 89613 markings/sec, 60 secs
lola: 6225861 markings, 8948710 edges, 89320 markings/sec, 65 secs
lola: 6667310 markings, 9585630 edges, 88290 markings/sec, 70 secs
lola: 7109576 markings, 10214472 edges, 88453 markings/sec, 75 secs
lola: 7549303 markings, 10843411 edges, 87945 markings/sec, 80 secs
lola: 7995262 markings, 11475878 edges, 89192 markings/sec, 85 secs
lola: 8435896 markings, 12101671 edges, 88127 markings/sec, 90 secs
lola: 8882569 markings, 12737900 edges, 89335 markings/sec, 95 secs
lola: 9327101 markings, 13382851 edges, 88906 markings/sec, 100 secs
lola: 9770797 markings, 14006133 edges, 88739 markings/sec, 105 secs
lola: 10207281 markings, 14624762 edges, 87297 markings/sec, 110 secs
lola: 10647542 markings, 15257274 edges, 88052 markings/sec, 115 secs
lola: 11092202 markings, 15893739 edges, 88932 markings/sec, 120 secs
lola: 11536799 markings, 16526373 edges, 88919 markings/sec, 125 secs
lola: 11980094 markings, 17165765 edges, 88659 markings/sec, 130 secs
lola: 12422957 markings, 17794555 edges, 88573 markings/sec, 135 secs
lola: 12867751 markings, 18422772 edges, 88959 markings/sec, 140 secs
lola: 13312644 markings, 19030873 edges, 88979 markings/sec, 145 secs
lola: 13737828 markings, 19629151 edges, 85037 markings/sec, 150 secs
lola: 14180182 markings, 20233940 edges, 88471 markings/sec, 155 secs
lola: 14625932 markings, 20854345 edges, 89150 markings/sec, 160 secs
lola: 15071374 markings, 21473961 edges, 89088 markings/sec, 165 secs
lola: 15511755 markings, 22098246 edges, 88076 markings/sec, 170 secs
lola: 15954425 markings, 22705929 edges, 88534 markings/sec, 175 secs
lola: 16397667 markings, 23322331 edges, 88648 markings/sec, 180 secs
lola: 16840877 markings, 23950667 edges, 88642 markings/sec, 185 secs
lola: 17267858 markings, 24550281 edges, 85396 markings/sec, 190 secs
lola: 17708695 markings, 25162443 edges, 88167 markings/sec, 195 secs
lola: 18151441 markings, 25794747 edges, 88549 markings/sec, 200 secs
lola: 18592465 markings, 26403718 edges, 88205 markings/sec, 205 secs
lola: 19016320 markings, 26996013 edges, 84771 markings/sec, 210 secs
lola: 19459167 markings, 27601662 edges, 88569 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(p8)
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 27 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: 448049 markings, 643484 edges, 89610 markings/sec, 0 secs
lola: 891264 markings, 1281656 edges, 88643 markings/sec, 5 secs
lola: 1329393 markings, 1909517 edges, 87626 markings/sec, 10 secs
lola: 1767436 markings, 2544249 edges, 87609 markings/sec, 15 secs
lola: 2211458 markings, 3183032 edges, 88804 markings/sec, 20 secs
lola: 2652522 markings, 3815832 edges, 88213 markings/sec, 25 secs
lola: 3090909 markings, 4447003 edges, 87677 markings/sec, 30 secs
lola: 3461666 markings, 4982105 edges, 74151 markings/sec, 35 secs
lola: 3899386 markings, 5613156 edges, 87544 markings/sec, 40 secs
lola: 4333673 markings, 6238162 edges, 86857 markings/sec, 45 secs
lola: 4771807 markings, 6863856 edges, 87627 markings/sec, 50 secs
lola: 5144977 markings, 7397782 edges, 74634 markings/sec, 55 secs
lola: 5584392 markings, 8030188 edges, 87883 markings/sec, 60 secs
lola: 6023274 markings, 8664291 edges, 87776 markings/sec, 65 secs
lola: 6461785 markings, 9287151 edges, 87702 markings/sec, 70 secs
lola: 6891935 markings, 9903553 edges, 86030 markings/sec, 75 secs
lola: 7316467 markings, 10510768 edges, 84906 markings/sec, 80 secs
lola: 7747258 markings, 11123608 edges, 86158 markings/sec, 85 secs
lola: 8184311 markings, 11743781 edges, 87411 markings/sec, 90 secs
lola: 8621218 markings, 12366446 edges, 87381 markings/sec, 95 secs
lola: 9052352 markings, 12981575 edges, 86227 markings/sec, 100 secs
lola: 9486363 markings, 13609337 edges, 86802 markings/sec, 105 secs
lola: 9917475 markings, 14213192 edges, 86222 markings/sec, 110 secs
lola: 10280717 markings, 14729374 edges, 72648 markings/sec, 115 secs
lola: 10700165 markings, 15335481 edges, 83890 markings/sec, 120 secs
lola: 11128205 markings, 15943820 edges, 85608 markings/sec, 125 secs
lola: 11558568 markings, 16557918 edges, 86073 markings/sec, 130 secs
lola: 11988804 markings, 17177857 edges, 86047 markings/sec, 135 secs
lola: 12421275 markings, 17792013 edges, 86494 markings/sec, 140 secs
lola: 12846101 markings, 18393000 edges, 84965 markings/sec, 145 secs
lola: 13273466 markings, 18975905 edges, 85473 markings/sec, 150 secs
lola: 13647694 markings, 19508129 edges, 74846 markings/sec, 155 secs
lola: 14073331 markings, 20087156 edges, 85127 markings/sec, 160 secs
lola: 14504759 markings, 20688867 edges, 86286 markings/sec, 165 secs
lola: 14933500 markings, 21281604 edges, 85748 markings/sec, 170 secs
lola: 15354593 markings, 21879548 edges, 84219 markings/sec, 175 secs
lola: 15782181 markings, 22469692 edges, 85518 markings/sec, 180 secs
lola: 16204327 markings, 23056914 edges, 84429 markings/sec, 185 secs
lola: 16625219 markings, 23651488 edges, 84178 markings/sec, 190 secs
lola: 17058213 markings, 24257554 edges, 86599 markings/sec, 195 secs
lola: 17485133 markings, 24854022 edges, 85384 markings/sec, 200 secs
lola: 17912566 markings, 25453900 edges, 85487 markings/sec, 205 secs
lola: 18331078 markings, 26041228 edges, 83702 markings/sec, 210 secs
lola: 18691947 markings, 26538362 edges, 72174 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(p23)
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 27 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: 317942 markings, 428700 edges, 63588 markings/sec, 0 secs
lola: 630565 markings, 859250 edges, 62525 markings/sec, 5 secs
lola: 949629 markings, 1309245 edges, 63813 markings/sec, 10 secs
lola: 1233176 markings, 1703421 edges, 56709 markings/sec, 15 secs
lola: 1548434 markings, 2149077 edges, 63052 markings/sec, 20 secs
lola: 1863533 markings, 2600128 edges, 63020 markings/sec, 25 secs
lola: 2178235 markings, 3051675 edges, 62940 markings/sec, 30 secs
lola: 2493342 markings, 3500852 edges, 63021 markings/sec, 35 secs
lola: 2805950 markings, 3946649 edges, 62522 markings/sec, 40 secs
lola: 3118560 markings, 4398822 edges, 62522 markings/sec, 45 secs
lola: 3432807 markings, 4853293 edges, 62849 markings/sec, 50 secs
lola: 3744538 markings, 5300134 edges, 62346 markings/sec, 55 secs
lola: 4057028 markings, 5749215 edges, 62498 markings/sec, 60 secs
lola: 4366420 markings, 6187921 edges, 61878 markings/sec, 65 secs
lola: 4673937 markings, 6626847 edges, 61503 markings/sec, 70 secs
lola: 4983990 markings, 7078752 edges, 62011 markings/sec, 75 secs
lola: 5300032 markings, 7539589 edges, 63208 markings/sec, 80 secs
lola: 5612262 markings, 7998405 edges, 62446 markings/sec, 85 secs
lola: 5920881 markings, 8448577 edges, 61724 markings/sec, 90 secs
lola: 6207341 markings, 8863021 edges, 57292 markings/sec, 95 secs
lola: 6520384 markings, 9322328 edges, 62609 markings/sec, 100 secs
lola: 6828381 markings, 9766412 edges, 61599 markings/sec, 105 secs
lola: 7129127 markings, 10204699 edges, 60149 markings/sec, 110 secs
lola: 7429084 markings, 10629668 edges, 59991 markings/sec, 115 secs
lola: 7741294 markings, 11081153 edges, 62442 markings/sec, 120 secs
lola: 8045268 markings, 11518901 edges, 60795 markings/sec, 125 secs
lola: 8351675 markings, 11962834 edges, 61281 markings/sec, 130 secs
lola: 8656873 markings, 12404662 edges, 61040 markings/sec, 135 secs
lola: 8966286 markings, 12856993 edges, 61883 markings/sec, 140 secs
lola: 9273355 markings, 13305681 edges, 61414 markings/sec, 145 secs
lola: 9583639 markings, 13761545 edges, 62057 markings/sec, 150 secs
lola: 9893841 markings, 14219337 edges, 62040 markings/sec, 155 secs
lola: 10200952 markings, 14662568 edges, 61422 markings/sec, 160 secs
lola: 10510632 markings, 15115459 edges, 61936 markings/sec, 165 secs
lola: 10816304 markings, 15555740 edges, 61134 markings/sec, 170 secs
lola: 11123662 markings, 16005598 edges, 61472 markings/sec, 175 secs
lola: 11432229 markings, 16458195 edges, 61713 markings/sec, 180 secs
lola: 11742055 markings, 16900983 edges, 61965 markings/sec, 185 secs
lola: 12048564 markings, 17350010 edges, 61302 markings/sec, 190 secs
lola: 12326313 markings, 17754989 edges, 55550 markings/sec, 195 secs
lola: 12630752 markings, 18197090 edges, 60888 markings/sec, 200 secs
lola: 12934191 markings, 18637010 edges, 60688 markings/sec, 205 secs
lola: 13240170 markings, 19080163 edges, 61196 markings/sec, 210 secs
lola: 13518970 markings, 19485851 edges, 55760 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(p17)
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 27 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: 412688 markings, 551059 edges, 82538 markings/sec, 0 secs
lola: 820008 markings, 1098107 edges, 81464 markings/sec, 5 secs
lola: 1223080 markings, 1641361 edges, 80614 markings/sec, 10 secs
lola: 1621445 markings, 2178197 edges, 79673 markings/sec, 15 secs
lola: 2023080 markings, 2718981 edges, 80327 markings/sec, 20 secs
lola: 2425863 markings, 3263119 edges, 80557 markings/sec, 25 secs
lola: 2828462 markings, 3804446 edges, 80520 markings/sec, 30 secs
lola: 3220829 markings, 4330710 edges, 78473 markings/sec, 35 secs
lola: 3619069 markings, 4867044 edges, 79648 markings/sec, 40 secs
lola: 4014965 markings, 5406439 edges, 79179 markings/sec, 45 secs
lola: 4407537 markings, 5940807 edges, 78514 markings/sec, 50 secs
lola: 4793031 markings, 6462052 edges, 77099 markings/sec, 55 secs
lola: 5185420 markings, 7000009 edges, 78478 markings/sec, 60 secs
lola: 5577666 markings, 7535093 edges, 78449 markings/sec, 65 secs
lola: 5970091 markings, 8069261 edges, 78485 markings/sec, 70 secs
lola: 6356656 markings, 8598320 edges, 77313 markings/sec, 75 secs
lola: 6747653 markings, 9134757 edges, 78199 markings/sec, 80 secs
lola: 7139363 markings, 9670769 edges, 78342 markings/sec, 85 secs
lola: 7526131 markings, 10204405 edges, 77354 markings/sec, 90 secs
lola: 7917298 markings, 10738831 edges, 78233 markings/sec, 95 secs
lola: 8304363 markings, 11268760 edges, 77413 markings/sec, 100 secs
lola: 8700252 markings, 11809926 edges, 79178 markings/sec, 105 secs
lola: 9089203 markings, 12344292 edges, 77790 markings/sec, 110 secs
lola: 9465419 markings, 12857276 edges, 75243 markings/sec, 115 secs
lola: 9858488 markings, 13388797 edges, 78614 markings/sec, 120 secs
lola: 10247064 markings, 13922035 edges, 77715 markings/sec, 125 secs
lola: 10637442 markings, 14452859 edges, 78076 markings/sec, 130 secs
lola: 11013503 markings, 14964836 edges, 75212 markings/sec, 135 secs
lola: 11404465 markings, 15498483 edges, 78192 markings/sec, 140 secs
lola: 11794584 markings, 16029619 edges, 78024 markings/sec, 145 secs
lola: 12180956 markings, 16556719 edges, 77274 markings/sec, 150 secs
lola: 12563257 markings, 17084933 edges, 76460 markings/sec, 155 secs
lola: 12956800 markings, 17620822 edges, 78709 markings/sec, 160 secs
lola: 13348733 markings, 18150861 edges, 78387 markings/sec, 165 secs
lola: 13737676 markings, 18685229 edges, 77789 markings/sec, 170 secs
lola: 14115874 markings, 19205849 edges, 75640 markings/sec, 175 secs
lola: 14512367 markings, 19747180 edges, 79299 markings/sec, 180 secs
lola: 14898600 markings, 20278553 edges, 77247 markings/sec, 185 secs
lola: 15285264 markings, 20810819 edges, 77333 markings/sec, 190 secs
lola: 15666233 markings, 21325810 edges, 76194 markings/sec, 195 secs
lola: 16048733 markings, 21855507 edges, 76500 markings/sec, 200 secs
lola: 16435149 markings, 22388520 edges, 77283 markings/sec, 205 secs
lola: 16820663 markings, 22915769 edges, 77103 markings/sec, 210 secs
lola: 17208658 markings, 23439763 edges, 77599 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(p103)
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 27 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: 410015 markings, 547342 edges, 82003 markings/sec, 0 secs
lola: 809252 markings, 1084952 edges, 79847 markings/sec, 5 secs
lola: 1204240 markings, 1620365 edges, 78998 markings/sec, 10 secs
lola: 1597001 markings, 2150548 edges, 78552 markings/sec, 15 secs
lola: 1994256 markings, 2685215 edges, 79451 markings/sec, 20 secs
lola: 2385246 markings, 3216031 edges, 78198 markings/sec, 25 secs
lola: 2780250 markings, 3749133 edges, 79001 markings/sec, 30 secs
lola: 3169544 markings, 4279006 edges, 77859 markings/sec, 35 secs
lola: 3555453 markings, 4802821 edges, 77182 markings/sec, 40 secs
lola: 3944894 markings, 5329152 edges, 77888 markings/sec, 45 secs
lola: 4339563 markings, 5861161 edges, 78934 markings/sec, 50 secs
lola: 4731430 markings, 6390558 edges, 78373 markings/sec, 55 secs
lola: 5120997 markings, 6920429 edges, 77913 markings/sec, 60 secs
lola: 5507023 markings, 7446205 edges, 77205 markings/sec, 65 secs
lola: 5898818 markings, 7974728 edges, 78359 markings/sec, 70 secs
lola: 6276384 markings, 8478231 edges, 75513 markings/sec, 75 secs
lola: 6663384 markings, 9004306 edges, 77400 markings/sec, 80 secs
lola: 7053567 markings, 9531736 edges, 78037 markings/sec, 85 secs
lola: 7430464 markings, 10050589 edges, 75379 markings/sec, 90 secs
lola: 7815903 markings, 10569985 edges, 77088 markings/sec, 95 secs
lola: 8216118 markings, 11109357 edges, 80043 markings/sec, 100 secs
lola: 8599692 markings, 11633467 edges, 76715 markings/sec, 105 secs
lola: 8960277 markings, 12127894 edges, 72117 markings/sec, 110 secs
lola: 9322551 markings, 12627068 edges, 72455 markings/sec, 115 secs
lola: 9698009 markings, 13144812 edges, 75092 markings/sec, 120 secs
lola: 10077981 markings, 13667243 edges, 75994 markings/sec, 125 secs
lola: 10451706 markings, 14183483 edges, 74745 markings/sec, 130 secs
lola: 10829408 markings, 14703364 edges, 75540 markings/sec, 135 secs
lola: 11210636 markings, 15224890 edges, 76246 markings/sec, 140 secs
lola: 11590648 markings, 15747144 edges, 76002 markings/sec, 145 secs
lola: 11990436 markings, 16282902 edges, 79958 markings/sec, 150 secs
lola: 12382320 markings, 16814505 edges, 78377 markings/sec, 155 secs
lola: 12768036 markings, 17339644 edges, 77143 markings/sec, 160 secs
lola: 13146292 markings, 17858999 edges, 75651 markings/sec, 165 secs
lola: 13516823 markings, 18372174 edges, 74106 markings/sec, 170 secs
lola: 13888294 markings, 18885734 edges, 74294 markings/sec, 175 secs
lola: 14267885 markings, 19406749 edges, 75918 markings/sec, 180 secs
lola: 14650340 markings, 19929713 edges, 76491 markings/sec, 185 secs
lola: 15026598 markings, 20447074 edges, 75252 markings/sec, 190 secs
lola: 15394214 markings, 20957488 edges, 73523 markings/sec, 195 secs
lola: 15763682 markings, 21472144 edges, 73894 markings/sec, 200 secs
lola: 16138711 markings, 21990099 edges, 75006 markings/sec, 205 secs
lola: 16508774 markings, 22503505 edges, 74013 markings/sec, 210 secs
lola: 16882888 markings, 23021798 edges, 74823 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(p115)
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 27 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: 402617 markings, 537128 edges, 80523 markings/sec, 0 secs
lola: 800051 markings, 1068740 edges, 79487 markings/sec, 5 secs
lola: 1197564 markings, 1605595 edges, 79503 markings/sec, 10 secs
lola: 1591097 markings, 2134285 edges, 78707 markings/sec, 15 secs
lola: 1979317 markings, 2659316 edges, 77644 markings/sec, 20 secs
lola: 2375345 markings, 3189964 edges, 79206 markings/sec, 25 secs
lola: 2765305 markings, 3717737 edges, 77992 markings/sec, 30 secs
lola: 3153796 markings, 4243357 edges, 77698 markings/sec, 35 secs
lola: 3534763 markings, 4762982 edges, 76193 markings/sec, 40 secs
lola: 3919806 markings, 5284146 edges, 77009 markings/sec, 45 secs
lola: 4295585 markings, 5794715 edges, 75156 markings/sec, 50 secs
lola: 4678320 markings, 6315863 edges, 76547 markings/sec, 55 secs
lola: 5063874 markings, 6834364 edges, 77111 markings/sec, 60 secs
lola: 5451958 markings, 7359025 edges, 77617 markings/sec, 65 secs
lola: 5833670 markings, 7873094 edges, 76342 markings/sec, 70 secs
lola: 6218298 markings, 8392143 edges, 76926 markings/sec, 75 secs
lola: 6600678 markings, 8909451 edges, 76476 markings/sec, 80 secs
lola: 6986003 markings, 9428898 edges, 77065 markings/sec, 85 secs
lola: 7365309 markings, 9941460 edges, 75861 markings/sec, 90 secs
lola: 7750108 markings, 10461133 edges, 76960 markings/sec, 95 secs
lola: 8128246 markings, 10975150 edges, 75628 markings/sec, 100 secs
lola: 8505764 markings, 11492596 edges, 75504 markings/sec, 105 secs
lola: 8878618 markings, 12002789 edges, 74571 markings/sec, 110 secs
lola: 9254395 markings, 12513953 edges, 75155 markings/sec, 115 secs
lola: 9635812 markings, 13035625 edges, 76283 markings/sec, 120 secs
lola: 10034973 markings, 13571464 edges, 79832 markings/sec, 125 secs
lola: 10406059 markings, 14078350 edges, 74217 markings/sec, 130 secs
lola: 10781609 markings, 14592607 edges, 75110 markings/sec, 135 secs
lola: 11155929 markings, 15102944 edges, 74864 markings/sec, 140 secs
lola: 11539282 markings, 15626627 edges, 76671 markings/sec, 145 secs
lola: 11906883 markings, 16128661 edges, 73520 markings/sec, 150 secs
lola: 12279635 markings, 16643700 edges, 74550 markings/sec, 155 secs
lola: 12661071 markings, 17161866 edges, 76287 markings/sec, 160 secs
lola: 13038626 markings, 17676446 edges, 75511 markings/sec, 165 secs
lola: 13412412 markings, 18191198 edges, 74757 markings/sec, 170 secs
lola: 13788631 markings, 18708479 edges, 75244 markings/sec, 175 secs
lola: 14174458 markings, 19229864 edges, 77165 markings/sec, 180 secs
lola: 14547340 markings, 19742520 edges, 74576 markings/sec, 185 secs
lola: 14925114 markings, 20253452 edges, 75555 markings/sec, 190 secs
lola: 15304270 markings, 20771246 edges, 75831 markings/sec, 195 secs
lola: 15678783 markings, 21286869 edges, 74903 markings/sec, 200 secs
lola: 16073351 markings, 21820904 edges, 78914 markings/sec, 205 secs
lola: 16443737 markings, 22325273 edges, 74077 markings/sec, 210 secs
lola: 16812118 markings, 22836871 edges, 73676 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(p92)
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 27 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: 447342 markings, 642531 edges, 89468 markings/sec, 0 secs
lola: 897902 markings, 1290900 edges, 90112 markings/sec, 5 secs
lola: 1299523 markings, 1865919 edges, 80324 markings/sec, 10 secs
lola: 1741258 markings, 2506534 edges, 88347 markings/sec, 15 secs
lola: 2185845 markings, 3145889 edges, 88917 markings/sec, 20 secs
lola: 2630901 markings, 3783860 edges, 89011 markings/sec, 25 secs
lola: 3071624 markings, 4419871 edges, 88145 markings/sec, 30 secs
lola: 3511973 markings, 5056517 edges, 88070 markings/sec, 35 secs
lola: 3953513 markings, 5690856 edges, 88308 markings/sec, 40 secs
lola: 4393868 markings, 6329069 edges, 88071 markings/sec, 45 secs
lola: 4796962 markings, 6899825 edges, 80619 markings/sec, 50 secs
lola: 5234184 markings, 7527244 edges, 87444 markings/sec, 55 secs
lola: 5675864 markings, 8166954 edges, 88336 markings/sec, 60 secs
lola: 6119170 markings, 8800430 edges, 88661 markings/sec, 65 secs
lola: 6519513 markings, 9371129 edges, 80069 markings/sec, 70 secs
lola: 6957228 markings, 9997232 edges, 87543 markings/sec, 75 secs
lola: 7390047 markings, 10614733 edges, 86564 markings/sec, 80 secs
lola: 7830820 markings, 11241587 edges, 88155 markings/sec, 85 secs
lola: 8233399 markings, 11811125 edges, 80516 markings/sec, 90 secs
lola: 8675076 markings, 12441965 edges, 88335 markings/sec, 95 secs
lola: 9111367 markings, 13066970 edges, 87258 markings/sec, 100 secs
lola: 9548886 markings, 13700431 edges, 87504 markings/sec, 105 secs
lola: 9986925 markings, 14313000 edges, 87608 markings/sec, 110 secs
lola: 10417114 markings, 14924302 edges, 86038 markings/sec, 115 secs
lola: 10844737 markings, 15549797 edges, 85525 markings/sec, 120 secs
lola: 11285487 markings, 16171140 edges, 88150 markings/sec, 125 secs
lola: 11723638 markings, 16800613 edges, 87630 markings/sec, 130 secs
lola: 12158390 markings, 17416256 edges, 86950 markings/sec, 135 secs
lola: 12597080 markings, 18039764 edges, 87738 markings/sec, 140 secs
lola: 13032315 markings, 18650928 edges, 87047 markings/sec, 145 secs
lola: 13432213 markings, 19201228 edges, 79980 markings/sec, 150 secs
lola: 13868164 markings, 19806154 edges, 87190 markings/sec, 155 secs
lola: 14303820 markings, 20402940 edges, 87131 markings/sec, 160 secs
lola: 14735869 markings, 21008823 edges, 86410 markings/sec, 165 secs
lola: 15155684 markings, 21594921 edges, 83963 markings/sec, 170 secs
lola: 15586754 markings, 22202842 edges, 86214 markings/sec, 175 secs
lola: 16017683 markings, 22793185 edges, 86186 markings/sec, 180 secs
lola: 16454261 markings, 23405623 edges, 87316 markings/sec, 185 secs
lola: 16889767 markings, 24020404 edges, 87101 markings/sec, 190 secs
lola: 17333949 markings, 24642770 edges, 88836 markings/sec, 195 secs
lola: 17771999 markings, 25254146 edges, 87610 markings/sec, 200 secs
lola: 18207381 markings, 25871767 edges, 87076 markings/sec, 205 secs
lola: 18647574 markings, 26478532 edges, 88039 markings/sec, 210 secs
lola: 19093996 markings, 27102236 edges, 89284 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(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 27 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: 453845 markings, 651679 edges, 90769 markings/sec, 0 secs
lola: 898851 markings, 1292190 edges, 89001 markings/sec, 5 secs
lola: 1340440 markings, 1925484 edges, 88318 markings/sec, 10 secs
lola: 1783139 markings, 2567351 edges, 88540 markings/sec, 15 secs
lola: 2234565 markings, 3216607 edges, 90285 markings/sec, 20 secs
lola: 2682989 markings, 3859250 edges, 89685 markings/sec, 25 secs
lola: 3096192 markings, 4454481 edges, 82641 markings/sec, 30 secs
lola: 3539109 markings, 5097577 edges, 88583 markings/sec, 35 secs
lola: 3982076 markings, 5731479 edges, 88593 markings/sec, 40 secs
lola: 4420593 markings, 6366081 edges, 87703 markings/sec, 45 secs
lola: 4863535 markings, 6994863 edges, 88588 markings/sec, 50 secs
lola: 5301302 markings, 7622545 edges, 87553 markings/sec, 55 secs
lola: 5749469 markings, 8270821 edges, 89633 markings/sec, 60 secs
lola: 6196074 markings, 8906704 edges, 89321 markings/sec, 65 secs
lola: 6640242 markings, 9547674 edges, 88834 markings/sec, 70 secs
lola: 7080284 markings, 10172403 edges, 88008 markings/sec, 75 secs
lola: 7508317 markings, 10783171 edges, 85607 markings/sec, 80 secs
lola: 7947703 markings, 11407184 edges, 87877 markings/sec, 85 secs
lola: 8385678 markings, 12028989 edges, 87595 markings/sec, 90 secs
lola: 8835137 markings, 12667884 edges, 89892 markings/sec, 95 secs
lola: 9276873 markings, 13310793 edges, 88347 markings/sec, 100 secs
lola: 9715429 markings, 13930821 edges, 87711 markings/sec, 105 secs
lola: 10142998 markings, 14542999 edges, 85514 markings/sec, 110 secs
lola: 10572164 markings, 15146076 edges, 85833 markings/sec, 115 secs
lola: 11003540 markings, 15765960 edges, 86275 markings/sec, 120 secs
lola: 11432351 markings, 16389307 edges, 85762 markings/sec, 125 secs
lola: 11863726 markings, 16994909 edges, 86275 markings/sec, 130 secs
lola: 12293394 markings, 17603910 edges, 85934 markings/sec, 135 secs
lola: 12728387 markings, 18211338 edges, 86999 markings/sec, 140 secs
lola: 13156820 markings, 18829399 edges, 85687 markings/sec, 145 secs
lola: 13590796 markings, 19437103 edges, 86795 markings/sec, 150 secs
lola: 14018772 markings, 20022972 edges, 85595 markings/sec, 155 secs
lola: 14448472 markings, 20622722 edges, 85940 markings/sec, 160 secs
lola: 14880429 markings, 21224017 edges, 86391 markings/sec, 165 secs
lola: 15317237 markings, 21837771 edges, 87362 markings/sec, 170 secs
lola: 15753390 markings, 22442046 edges, 87231 markings/sec, 175 secs
lola: 16182063 markings, 23030013 edges, 85735 markings/sec, 180 secs
lola: 16612477 markings, 23635482 edges, 86083 markings/sec, 185 secs
lola: 17042453 markings, 24245589 edges, 85995 markings/sec, 190 secs
lola: 17468165 markings, 24836798 edges, 85142 markings/sec, 195 secs
lola: 17891489 markings, 25425185 edges, 84665 markings/sec, 200 secs
lola: 18313213 markings, 26013088 edges, 84345 markings/sec, 205 secs
lola: 18737747 markings, 26589876 edges, 84907 markings/sec, 210 secs
lola: 19176153 markings, 27209402 edges, 87681 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(p63)
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 27 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: 461231 markings, 662445 edges, 92246 markings/sec, 0 secs
lola: 919179 markings, 1321008 edges, 91590 markings/sec, 5 secs
lola: 1369027 markings, 1967656 edges, 89970 markings/sec, 10 secs
lola: 1824916 markings, 2630307 edges, 91178 markings/sec, 15 secs
lola: 2282103 markings, 3287318 edges, 91437 markings/sec, 20 secs
lola: 2739628 markings, 3942154 edges, 91505 markings/sec, 25 secs
lola: 3194779 markings, 4597076 edges, 91030 markings/sec, 30 secs
lola: 3649762 markings, 5256116 edges, 90997 markings/sec, 35 secs
lola: 4103529 markings, 5905454 edges, 90753 markings/sec, 40 secs
lola: 4558604 markings, 6562578 edges, 91015 markings/sec, 45 secs
lola: 5011778 markings, 7206928 edges, 90635 markings/sec, 50 secs
lola: 5467586 markings, 7862225 edges, 91162 markings/sec, 55 secs
lola: 5921537 markings, 8517949 edges, 90790 markings/sec, 60 secs
lola: 6379368 markings, 9168839 edges, 91566 markings/sec, 65 secs
lola: 6823307 markings, 9806475 edges, 88788 markings/sec, 70 secs
lola: 7263981 markings, 10435303 edges, 88135 markings/sec, 75 secs
lola: 7714182 markings, 11076296 edges, 90040 markings/sec, 80 secs
lola: 8170378 markings, 11723490 edges, 91239 markings/sec, 85 secs
lola: 8626096 markings, 12373714 edges, 91144 markings/sec, 90 secs
lola: 9077911 markings, 13019220 edges, 90363 markings/sec, 95 secs
lola: 9530539 markings, 13672957 edges, 90526 markings/sec, 100 secs
lola: 9984289 markings, 14308998 edges, 90750 markings/sec, 105 secs
lola: 10430740 markings, 14943937 edges, 89290 markings/sec, 110 secs
lola: 10875199 markings, 15593330 edges, 88892 markings/sec, 115 secs
lola: 11331709 markings, 16240259 edges, 91302 markings/sec, 120 secs
lola: 11782331 markings, 16886254 edges, 90124 markings/sec, 125 secs
lola: 12231907 markings, 17520541 edges, 89915 markings/sec, 130 secs
lola: 12684149 markings, 18164768 edges, 90448 markings/sec, 135 secs
lola: 13138729 markings, 18793063 edges, 90916 markings/sec, 140 secs
lola: 13593465 markings, 19433987 edges, 90947 markings/sec, 145 secs
lola: 14047928 markings, 20051022 edges, 90893 markings/sec, 150 secs
lola: 14498395 markings, 20680055 edges, 90093 markings/sec, 155 secs
lola: 14941975 markings, 21293742 edges, 88716 markings/sec, 160 secs
lola: 15381774 markings, 21917200 edges, 87960 markings/sec, 165 secs
lola: 15817259 markings, 22519097 edges, 87097 markings/sec, 170 secs
lola: 16254366 markings, 23124939 edges, 87421 markings/sec, 175 secs
lola: 16700657 markings, 23754867 edges, 89258 markings/sec, 180 secs
lola: 17154450 markings, 24392689 edges, 90759 markings/sec, 185 secs
lola: 17569738 markings, 24969193 edges, 83058 markings/sec, 190 secs
lola: 18019027 markings, 25612294 edges, 89858 markings/sec, 195 secs
lola: 18464148 markings, 26228799 edges, 89024 markings/sec, 200 secs
lola: 18916298 markings, 26854889 edges, 90430 markings/sec, 205 secs
lola: 19336719 markings, 27435137 edges, 84084 markings/sec, 210 secs
lola: 19786561 markings, 28059957 edges, 89968 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(p39)
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 27 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: 457537 markings, 656974 edges, 91507 markings/sec, 0 secs
lola: 911599 markings, 1310281 edges, 90812 markings/sec, 5 secs
lola: 1360224 markings, 1954574 edges, 89725 markings/sec, 10 secs
lola: 1810528 markings, 2607898 edges, 90061 markings/sec, 15 secs
lola: 2265341 markings, 3262250 edges, 90963 markings/sec, 20 secs
lola: 2718300 markings, 3911262 edges, 90592 markings/sec, 25 secs
lola: 3166929 markings, 4556679 edges, 89726 markings/sec, 30 secs
lola: 3616408 markings, 5207937 edges, 89896 markings/sec, 35 secs
lola: 4060737 markings, 5844621 edges, 88866 markings/sec, 40 secs
lola: 4510892 markings, 6496322 edges, 90031 markings/sec, 45 secs
lola: 4960754 markings, 7133804 edges, 89972 markings/sec, 50 secs
lola: 5410742 markings, 7782439 edges, 89998 markings/sec, 55 secs
lola: 5860784 markings, 8430480 edges, 90008 markings/sec, 60 secs
lola: 6310968 markings, 9071390 edges, 90037 markings/sec, 65 secs
lola: 6754110 markings, 9710102 edges, 88628 markings/sec, 70 secs
lola: 7199061 markings, 10341667 edges, 88990 markings/sec, 75 secs
lola: 7639327 markings, 10969818 edges, 88053 markings/sec, 80 secs
lola: 8089260 markings, 11610030 edges, 89987 markings/sec, 85 secs
lola: 8536680 markings, 12246326 edges, 89484 markings/sec, 90 secs
lola: 8981298 markings, 12880559 edges, 88924 markings/sec, 95 secs
lola: 9427210 markings, 13525867 edges, 89182 markings/sec, 100 secs
lola: 9875431 markings, 14154844 edges, 89644 markings/sec, 105 secs
lola: 10313461 markings, 14776244 edges, 87606 markings/sec, 110 secs
lola: 10747616 markings, 15406862 edges, 86831 markings/sec, 115 secs
lola: 11194294 markings, 16038571 edges, 89336 markings/sec, 120 secs
lola: 11642425 markings, 16679876 edges, 89626 markings/sec, 125 secs
lola: 12087525 markings, 17316168 edges, 89020 markings/sec, 130 secs
lola: 12531798 markings, 17948912 edges, 88855 markings/sec, 135 secs
lola: 12973402 markings, 18567895 edges, 88321 markings/sec, 140 secs
lola: 13421568 markings, 19186648 edges, 89633 markings/sec, 145 secs
lola: 13867881 markings, 19805775 edges, 89263 markings/sec, 150 secs
lola: 14313660 markings, 20416989 edges, 89156 markings/sec, 155 secs
lola: 14760396 markings, 21043782 edges, 89347 markings/sec, 160 secs
lola: 15203899 markings, 21665674 edges, 88701 markings/sec, 165 secs
lola: 15640644 markings, 22275860 edges, 87349 markings/sec, 170 secs
lola: 16063639 markings, 22859820 edges, 84599 markings/sec, 175 secs
lola: 16488688 markings, 23457920 edges, 85010 markings/sec, 180 secs
lola: 16923660 markings, 24068743 edges, 86994 markings/sec, 185 secs
lola: 17362654 markings, 24683905 edges, 87799 markings/sec, 190 secs
lola: 17801715 markings, 25294726 edges, 87812 markings/sec, 195 secs
lola: 18235506 markings, 25909962 edges, 86758 markings/sec, 200 secs
lola: 18673379 markings, 26513691 edges, 87575 markings/sec, 205 secs
lola: 19120458 markings, 27140246 edges, 89416 markings/sec, 210 secs
lola: 19564320 markings, 27746041 edges, 88772 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(p111)
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 27 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: 454903 markings, 653175 edges, 90981 markings/sec, 0 secs
lola: 903346 markings, 1298479 edges, 89689 markings/sec, 5 secs
lola: 1350720 markings, 1940784 edges, 89475 markings/sec, 10 secs
lola: 1800687 markings, 2593126 edges, 89993 markings/sec, 15 secs
lola: 2252559 markings, 3243046 edges, 90374 markings/sec, 20 secs
lola: 2700811 markings, 3885060 edges, 89650 markings/sec, 25 secs
lola: 3149356 markings, 4532038 edges, 89709 markings/sec, 30 secs
lola: 3593561 markings, 5175206 edges, 88841 markings/sec, 35 secs
lola: 4025203 markings, 5793609 edges, 86328 markings/sec, 40 secs
lola: 4467527 markings, 6432915 edges, 88465 markings/sec, 45 secs
lola: 4913012 markings, 7064404 edges, 89097 markings/sec, 50 secs
lola: 5358603 markings, 7705809 edges, 89118 markings/sec, 55 secs
lola: 5779260 markings, 8314627 edges, 84131 markings/sec, 60 secs
lola: 6226188 markings, 8949176 edges, 89386 markings/sec, 65 secs
lola: 6666161 markings, 9584075 edges, 87995 markings/sec, 70 secs
lola: 7109244 markings, 10213999 edges, 88617 markings/sec, 75 secs
lola: 7518523 markings, 10798037 edges, 81856 markings/sec, 80 secs
lola: 7963550 markings, 11429672 edges, 89005 markings/sec, 85 secs
lola: 8406696 markings, 12059649 edges, 88629 markings/sec, 90 secs
lola: 8849864 markings, 12689344 edges, 88634 markings/sec, 95 secs
lola: 9289930 markings, 13330418 edges, 88013 markings/sec, 100 secs
lola: 9734192 markings, 13956981 edges, 88852 markings/sec, 105 secs
lola: 10166343 markings, 14568123 edges, 86430 markings/sec, 110 secs
lola: 10598924 markings, 15186546 edges, 86516 markings/sec, 115 secs
lola: 11036344 markings, 15818859 edges, 87484 markings/sec, 120 secs
lola: 11478851 markings, 16443691 edges, 88501 markings/sec, 125 secs
lola: 11904714 markings, 17064336 edges, 85173 markings/sec, 130 secs
lola: 12313383 markings, 17641494 edges, 81734 markings/sec, 135 secs
lola: 12727628 markings, 18225295 edges, 82849 markings/sec, 140 secs
lola: 13168999 markings, 18833748 edges, 88274 markings/sec, 145 secs
lola: 13611874 markings, 19459677 edges, 88575 markings/sec, 150 secs
lola: 14046224 markings, 20048487 edges, 86870 markings/sec, 155 secs
lola: 14489555 markings, 20667998 edges, 88666 markings/sec, 160 secs
lola: 14927081 markings, 21272621 edges, 87505 markings/sec, 165 secs
lola: 15358936 markings, 21885651 edges, 86371 markings/sec, 170 secs
lola: 15795175 markings, 22488240 edges, 87248 markings/sec, 175 secs
lola: 16225574 markings, 23080582 edges, 86080 markings/sec, 180 secs
lola: 16607149 markings, 23624110 edges, 76315 markings/sec, 185 secs
lola: 17040291 markings, 24233524 edges, 86628 markings/sec, 190 secs
lola: 17484150 markings, 24851701 edges, 88772 markings/sec, 195 secs
lola: 17920611 markings, 25454032 edges, 87292 markings/sec, 200 secs
lola: 18350714 markings, 26048191 edges, 86021 markings/sec, 205 secs
lola: 18794191 markings, 26673407 edges, 88695 markings/sec, 210 secs
lola: 19222108 markings, 27263949 edges, 85583 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(p138)
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 27 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: 461602 markings, 624088 edges, 92320 markings/sec, 0 secs
lola: 909059 markings, 1233288 edges, 89491 markings/sec, 5 secs
lola: 1344872 markings, 1828288 edges, 87163 markings/sec, 10 secs
lola: 1791656 markings, 2441660 edges, 89357 markings/sec, 15 secs
lola: 2240941 markings, 3060418 edges, 89857 markings/sec, 20 secs
lola: 2691282 markings, 3677177 edges, 90068 markings/sec, 25 secs
lola: 3141865 markings, 4294756 edges, 90117 markings/sec, 30 secs
lola: 3599028 markings, 4919707 edges, 91433 markings/sec, 35 secs
lola: 4044410 markings, 5526694 edges, 89076 markings/sec, 40 secs
lola: 4492246 markings, 6140001 edges, 89567 markings/sec, 45 secs
lola: 4939930 markings, 6754808 edges, 89537 markings/sec, 50 secs
lola: 5387130 markings, 7369320 edges, 89440 markings/sec, 55 secs
lola: 5824706 markings, 7981136 edges, 87515 markings/sec, 60 secs
lola: 6274122 markings, 8598857 edges, 89883 markings/sec, 65 secs
lola: 6714821 markings, 9214001 edges, 88140 markings/sec, 70 secs
lola: 7158993 markings, 9830525 edges, 88834 markings/sec, 75 secs
lola: 7594724 markings, 10442342 edges, 87146 markings/sec, 80 secs
lola: 8035037 markings, 11055441 edges, 88063 markings/sec, 85 secs
lola: 8473425 markings, 11662132 edges, 87678 markings/sec, 90 secs
lola: 8922125 markings, 12277674 edges, 89740 markings/sec, 95 secs
lola: 9371503 markings, 12889334 edges, 89876 markings/sec, 100 secs
lola: 9825893 markings, 13507474 edges, 90878 markings/sec, 105 secs
lola: 10269351 markings, 14116933 edges, 88692 markings/sec, 110 secs
lola: 10713573 markings, 14733917 edges, 88844 markings/sec, 115 secs
lola: 11157710 markings, 15343263 edges, 88827 markings/sec, 120 secs
lola: 11595171 markings, 15950879 edges, 87492 markings/sec, 125 secs
lola: 12040102 markings, 16565899 edges, 88986 markings/sec, 130 secs
lola: 12477275 markings, 17171965 edges, 87435 markings/sec, 135 secs
lola: 12923286 markings, 17790041 edges, 89202 markings/sec, 140 secs
lola: 13350486 markings, 18393300 edges, 85440 markings/sec, 145 secs
lola: 13789508 markings, 18998996 edges, 87804 markings/sec, 150 secs
lola: 14234138 markings, 19608312 edges, 88926 markings/sec, 155 secs
lola: 14669894 markings, 20218640 edges, 87151 markings/sec, 160 secs
lola: 15107506 markings, 20825687 edges, 87522 markings/sec, 165 secs
lola: 15549585 markings, 21432761 edges, 88416 markings/sec, 170 secs
lola: 15990458 markings, 22047887 edges, 88175 markings/sec, 175 secs
lola: 16420971 markings, 22657491 edges, 86103 markings/sec, 180 secs
lola: 16873644 markings, 23278667 edges, 90535 markings/sec, 185 secs
lola: 17304570 markings, 23882935 edges, 86185 markings/sec, 190 secs
lola: 17733509 markings, 24485599 edges, 85788 markings/sec, 195 secs
lola: 18172748 markings, 25097510 edges, 87848 markings/sec, 200 secs
lola: 18603482 markings, 25701825 edges, 86147 markings/sec, 205 secs
lola: 19032654 markings, 26306791 edges, 85834 markings/sec, 210 secs
lola: 19476003 markings, 26920951 edges, 88670 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(p0)
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 27 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: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 295 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 27 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: 430771 markings, 538210 edges, 86154 markings/sec, 0 secs
lola: 859000 markings, 1075356 edges, 85646 markings/sec, 5 secs
lola: 1284291 markings, 1613597 edges, 85058 markings/sec, 10 secs
lola: 1704972 markings, 2152607 edges, 84136 markings/sec, 15 secs
lola: 2131244 markings, 2688733 edges, 85254 markings/sec, 20 secs
lola: 2536406 markings, 3200948 edges, 81032 markings/sec, 25 secs
lola: 2959102 markings, 3737075 edges, 84539 markings/sec, 30 secs
lola: 3377851 markings, 4272273 edges, 83750 markings/sec, 35 secs
lola: 3792665 markings, 4800758 edges, 82963 markings/sec, 40 secs
lola: 4195424 markings, 5325962 edges, 80552 markings/sec, 45 secs
lola: 4602912 markings, 5850610 edges, 81498 markings/sec, 50 secs
lola: 5023417 markings, 6390315 edges, 84101 markings/sec, 55 secs
lola: 5438299 markings, 6924082 edges, 82976 markings/sec, 60 secs
lola: 5858793 markings, 7462380 edges, 84099 markings/sec, 65 secs
lola: 6281434 markings, 7999921 edges, 84528 markings/sec, 70 secs
lola: 6698029 markings, 8538299 edges, 83319 markings/sec, 75 secs
lola: 7114127 markings, 9080521 edges, 83220 markings/sec, 80 secs
lola: 7538194 markings, 9626816 edges, 84813 markings/sec, 85 secs
lola: 7964506 markings, 10183896 edges, 85262 markings/sec, 90 secs
lola: 8399770 markings, 10731450 edges, 87053 markings/sec, 95 secs
lola: 8826276 markings, 11269770 edges, 85301 markings/sec, 100 secs
lola: 9236269 markings, 11799837 edges, 81999 markings/sec, 105 secs
lola: 9663159 markings, 12338148 edges, 85378 markings/sec, 110 secs
lola: 10082883 markings, 12876920 edges, 83945 markings/sec, 115 secs
lola: 10502827 markings, 13415746 edges, 83989 markings/sec, 120 secs
lola: 10923996 markings, 13966582 edges, 84234 markings/sec, 125 secs
lola: 11344342 markings, 14509635 edges, 84069 markings/sec, 130 secs
lola: 11765457 markings, 15053559 edges, 84223 markings/sec, 135 secs
lola: 12190090 markings, 15603359 edges, 84927 markings/sec, 140 secs
lola: 12601642 markings, 16144373 edges, 82310 markings/sec, 145 secs
lola: 13013655 markings, 16687150 edges, 82403 markings/sec, 150 secs
lola: 13429692 markings, 17230992 edges, 83207 markings/sec, 155 secs
lola: 13847909 markings, 17774142 edges, 83643 markings/sec, 160 secs
lola: 14259015 markings, 18305154 edges, 82221 markings/sec, 165 secs
lola: 14671984 markings, 18851996 edges, 82594 markings/sec, 170 secs
lola: 15088518 markings, 19397112 edges, 83307 markings/sec, 175 secs
lola: 15499152 markings, 19941921 edges, 82127 markings/sec, 180 secs
lola: 15899242 markings, 20457388 edges, 80018 markings/sec, 185 secs
lola: 16314155 markings, 20998463 edges, 82983 markings/sec, 190 secs
lola: 16736623 markings, 21536428 edges, 84494 markings/sec, 195 secs
lola: 17155612 markings, 22073632 edges, 83798 markings/sec, 200 secs
lola: 17572999 markings, 22611102 edges, 83477 markings/sec, 205 secs
lola: 17988777 markings, 23151731 edges, 83156 markings/sec, 210 secs
lola: 18406705 markings, 23689137 edges, 83586 markings/sec, 215 secs
lola: 18827980 markings, 24219995 edges, 84255 markings/sec, 220 secs
lola: 19246446 markings, 24755928 edges, 83693 markings/sec, 225 secs
lola: 19661980 markings, 25291771 edges, 83107 markings/sec, 230 secs
lola: 20068942 markings, 25830309 edges, 81392 markings/sec, 235 secs
lola: 20481089 markings, 26370904 edges, 82429 markings/sec, 240 secs
lola: 20883117 markings, 26902301 edges, 80406 markings/sec, 245 secs
lola: 21292733 markings, 27445435 edges, 81923 markings/sec, 250 secs
lola: 21702209 markings, 27987521 edges, 81895 markings/sec, 255 secs
lola: 22111603 markings, 28527889 edges, 81879 markings/sec, 260 secs
lola: 22500653 markings, 29044493 edges, 77810 markings/sec, 265 secs
lola: 22906681 markings, 29582229 edges, 81206 markings/sec, 270 secs
lola: 23321243 markings, 30120739 edges, 82912 markings/sec, 275 secs
lola: 23735735 markings, 30657777 edges, 82898 markings/sec, 280 secs
lola: 24153887 markings, 31194837 edges, 83630 markings/sec, 285 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 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
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 27 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: 323475 markings, 578680 edges, 64695 markings/sec, 0 secs
lola: 626767 markings, 1153580 edges, 60658 markings/sec, 5 secs
lola: 909013 markings, 1657055 edges, 56449 markings/sec, 10 secs
lola: 1220306 markings, 2236862 edges, 62259 markings/sec, 15 secs
lola: 1529792 markings, 2796684 edges, 61897 markings/sec, 20 secs
lola: 1826173 markings, 3340240 edges, 59276 markings/sec, 25 secs
lola: 2106180 markings, 3865124 edges, 56001 markings/sec, 30 secs
lola: 2421794 markings, 4449468 edges, 63123 markings/sec, 35 secs
lola: 2729898 markings, 5020780 edges, 61621 markings/sec, 40 secs
lola: 3038406 markings, 5581462 edges, 61702 markings/sec, 45 secs
lola: 3342163 markings, 6134838 edges, 60751 markings/sec, 50 secs
lola: 3647281 markings, 6704713 edges, 61024 markings/sec, 55 secs
lola: 3948544 markings, 7277154 edges, 60253 markings/sec, 60 secs
lola: 4244960 markings, 7838879 edges, 59283 markings/sec, 65 secs
lola: 4519773 markings, 8358156 edges, 54963 markings/sec, 70 secs
lola: 4821771 markings, 8915196 edges, 60400 markings/sec, 75 secs
lola: 5126622 markings, 9491930 edges, 60970 markings/sec, 80 secs
lola: 5433841 markings, 10050787 edges, 61444 markings/sec, 85 secs
lola: 5727738 markings, 10590480 edges, 58779 markings/sec, 90 secs
lola: 6018786 markings, 11115553 edges, 58210 markings/sec, 95 secs
lola: 6317371 markings, 11691909 edges, 59717 markings/sec, 100 secs
lola: 6624853 markings, 12247620 edges, 61496 markings/sec, 105 secs
lola: 6924589 markings, 12789318 edges, 59947 markings/sec, 110 secs
lola: 7226948 markings, 13348059 edges, 60472 markings/sec, 115 secs
lola: 7522225 markings, 13913883 edges, 59055 markings/sec, 120 secs
lola: 7820277 markings, 14488147 edges, 59610 markings/sec, 125 secs
lola: 8122054 markings, 15037571 edges, 60355 markings/sec, 130 secs
lola: 8421919 markings, 15584849 edges, 59973 markings/sec, 135 secs
lola: 8722509 markings, 16177902 edges, 60118 markings/sec, 140 secs
lola: 9024280 markings, 16744317 edges, 60354 markings/sec, 145 secs
lola: 9325173 markings, 17325049 edges, 60179 markings/sec, 150 secs
lola: 9632442 markings, 17888848 edges, 61454 markings/sec, 155 secs
lola: 9927004 markings, 18446973 edges, 58912 markings/sec, 160 secs
lola: 10243379 markings, 19024130 edges, 63275 markings/sec, 165 secs
lola: 10538403 markings, 19583670 edges, 59005 markings/sec, 170 secs
lola: 10838022 markings, 20117252 edges, 59924 markings/sec, 175 secs
lola: 11133439 markings, 20651345 edges, 59083 markings/sec, 180 secs
lola: 11425963 markings, 21204777 edges, 58505 markings/sec, 185 secs
lola: 11728476 markings, 21782062 edges, 60503 markings/sec, 190 secs
lola: 12026150 markings, 22325208 edges, 59535 markings/sec, 195 secs
lola: 12319761 markings, 22882044 edges, 58722 markings/sec, 200 secs
lola: 12622567 markings, 23447310 edges, 60561 markings/sec, 205 secs
lola: 12918232 markings, 23975122 edges, 59133 markings/sec, 210 secs
lola: 13213733 markings, 24532958 edges, 59100 markings/sec, 215 secs
lola: 13505950 markings, 25060895 edges, 58443 markings/sec, 220 secs
lola: 13805322 markings, 25623306 edges, 59874 markings/sec, 225 secs
lola: 14108441 markings, 26189273 edges, 60624 markings/sec, 230 secs
lola: 14408084 markings, 26744706 edges, 59929 markings/sec, 235 secs
lola: 14695523 markings, 27305985 edges, 57488 markings/sec, 240 secs
lola: 14996240 markings, 27857131 edges, 60143 markings/sec, 245 secs
lola: 15297428 markings, 28443046 edges, 60238 markings/sec, 250 secs
lola: 15605233 markings, 29019918 edges, 61561 markings/sec, 255 secs
lola: 15902535 markings, 29593313 edges, 59460 markings/sec, 260 secs
lola: 16193796 markings, 30147971 edges, 58252 markings/sec, 265 secs
lola: 16489303 markings, 30711375 edges, 59101 markings/sec, 270 secs
lola: 16791563 markings, 31299172 edges, 60452 markings/sec, 275 secs
lola: 17088281 markings, 31836399 edges, 59344 markings/sec, 280 secs
lola: 17381163 markings, 32392020 edges, 58576 markings/sec, 285 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 296 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
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 27 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: 410958 markings, 548761 edges, 82192 markings/sec, 0 secs
lola: 817477 markings, 1093809 edges, 81304 markings/sec, 5 secs
lola: 1200093 markings, 1605708 edges, 76523 markings/sec, 10 secs
lola: 1561630 markings, 2093152 edges, 72307 markings/sec, 15 secs
lola: 1963612 markings, 2636914 edges, 80396 markings/sec, 20 secs
lola: 2351277 markings, 3159287 edges, 77533 markings/sec, 25 secs
lola: 2744974 markings, 3691454 edges, 78739 markings/sec, 30 secs
lola: 3134365 markings, 4220098 edges, 77878 markings/sec, 35 secs
lola: 3528544 markings, 4755849 edges, 78836 markings/sec, 40 secs
lola: 3902645 markings, 5265149 edges, 74820 markings/sec, 45 secs
lola: 4291987 markings, 5793927 edges, 77868 markings/sec, 50 secs
lola: 4684692 markings, 6323541 edges, 78541 markings/sec, 55 secs
lola: 5066571 markings, 6842389 edges, 76376 markings/sec, 60 secs
lola: 5450842 markings, 7365819 edges, 76854 markings/sec, 65 secs
lola: 5845582 markings, 7901363 edges, 78948 markings/sec, 70 secs
lola: 6238744 markings, 8436062 edges, 78632 markings/sec, 75 secs
lola: 6632383 markings, 8967702 edges, 78728 markings/sec, 80 secs
lola: 7022218 markings, 9500970 edges, 77967 markings/sec, 85 secs
lola: 7420875 markings, 10038747 edges, 79731 markings/sec, 90 secs
lola: 7814866 markings, 10571818 edges, 78798 markings/sec, 95 secs
lola: 8206892 markings, 11108456 edges, 78405 markings/sec, 100 secs
lola: 8603984 markings, 11648182 edges, 79418 markings/sec, 105 secs
lola: 8998000 markings, 12185151 edges, 78803 markings/sec, 110 secs
lola: 9389164 markings, 12719943 edges, 78233 markings/sec, 115 secs
lola: 9781003 markings, 13252959 edges, 78368 markings/sec, 120 secs
lola: 10179279 markings, 13792257 edges, 79655 markings/sec, 125 secs
lola: 10572764 markings, 14323439 edges, 78697 markings/sec, 130 secs
lola: 10968119 markings, 14858058 edges, 79071 markings/sec, 135 secs
lola: 11360224 markings, 15390036 edges, 78421 markings/sec, 140 secs
lola: 11751440 markings, 15924261 edges, 78243 markings/sec, 145 secs
lola: 12137488 markings, 16454407 edges, 77210 markings/sec, 150 secs
lola: 12526394 markings, 16984921 edges, 77781 markings/sec, 155 secs
lola: 12914343 markings, 17519110 edges, 77590 markings/sec, 160 secs
lola: 13300587 markings, 18052458 edges, 77249 markings/sec, 165 secs
lola: 13696096 markings, 18591030 edges, 79102 markings/sec, 170 secs
lola: 14088686 markings, 19127885 edges, 78518 markings/sec, 175 secs
lola: 14483764 markings, 19664815 edges, 79016 markings/sec, 180 secs
lola: 14875258 markings, 20196985 edges, 78299 markings/sec, 185 secs
lola: 15267248 markings, 20730753 edges, 78398 markings/sec, 190 secs
lola: 15659260 markings, 21270221 edges, 78402 markings/sec, 195 secs
lola: 16046303 markings, 21797417 edges, 77409 markings/sec, 200 secs
lola: 16439331 markings, 22331408 edges, 78606 markings/sec, 205 secs
lola: 16833835 markings, 22868054 edges, 78901 markings/sec, 210 secs
lola: 17222551 markings, 23398116 edges, 77743 markings/sec, 215 secs
lola: 17608474 markings, 23927559 edges, 77185 markings/sec, 220 secs
lola: 17995479 markings, 24461961 edges, 77401 markings/sec, 225 secs
lola: 18389442 markings, 25000727 edges, 78793 markings/sec, 230 secs
lola: 18785258 markings, 25539724 edges, 79163 markings/sec, 235 secs
lola: 19171790 markings, 26072752 edges, 77306 markings/sec, 240 secs
lola: 19561781 markings, 26606224 edges, 77998 markings/sec, 245 secs
lola: 19949554 markings, 27138389 edges, 77555 markings/sec, 250 secs
lola: 20337634 markings, 27670222 edges, 77616 markings/sec, 255 secs
lola: 20722910 markings, 28202695 edges, 77055 markings/sec, 260 secs
lola: 21109346 markings, 28733236 edges, 77287 markings/sec, 265 secs
lola: 21492108 markings, 29267174 edges, 76552 markings/sec, 270 secs
lola: 21880106 markings, 29799739 edges, 77600 markings/sec, 275 secs
lola: 22267446 markings, 30331985 edges, 77468 markings/sec, 280 secs
lola: 22660370 markings, 30870018 edges, 78585 markings/sec, 285 secs
lola: 23045831 markings, 31406839 edges, 77092 markings/sec, 290 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-12a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-12a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496489061131

--------------------
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-12a"
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-12a.tgz
mv FlexibleBarrier-PT-12a 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-12a, 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-149581034200074"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;