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 AutoFlight-PT-24a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126000236
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494602075395


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ AutoFlight-PT-24a @ 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: 1212/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 607 places, 605 transitions, 459 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 584 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-24a-UpperBounds.task
lola: MAX(p268) : MAX(p53) : MAX(p416) : MAX(p276) : MAX(p464) : MAX(p169) : MAX(p606) : MAX(p527) : MAX(p511) : MAX(p33) : MAX(p590) : MAX(p342) : MAX(p355) : MAX(p555) : MAX(p326) : MAX(p318)
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(p268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 425958 markings, 1836396 edges, 85192 markings/sec, 0 secs
lola: 778633 markings, 3718206 edges, 70535 markings/sec, 5 secs
lola: 1132955 markings, 5649307 edges, 70864 markings/sec, 10 secs
lola: 1433257 markings, 7675121 edges, 60060 markings/sec, 15 secs
lola: 1799792 markings, 9678622 edges, 73307 markings/sec, 20 secs
lola: 2076639 markings, 11622388 edges, 55369 markings/sec, 25 secs
lola: 2392537 markings, 13525699 edges, 63180 markings/sec, 30 secs
lola: 2669799 markings, 15373877 edges, 55452 markings/sec, 35 secs
lola: 2960402 markings, 17299726 edges, 58121 markings/sec, 40 secs
lola: 3265672 markings, 19218674 edges, 61054 markings/sec, 45 secs
lola: 3518095 markings, 21127285 edges, 50485 markings/sec, 50 secs
lola: 3758446 markings, 22949289 edges, 48070 markings/sec, 55 secs
lola: 3988270 markings, 24762294 edges, 45965 markings/sec, 60 secs
lola: 4211791 markings, 26561812 edges, 44704 markings/sec, 65 secs
lola: 4435540 markings, 28368360 edges, 44750 markings/sec, 70 secs
lola: 4658132 markings, 30199507 edges, 44518 markings/sec, 75 secs
lola: 4923224 markings, 32001555 edges, 53018 markings/sec, 80 secs
lola: 5272123 markings, 33861174 edges, 69780 markings/sec, 85 secs
lola: 5541338 markings, 35731801 edges, 53843 markings/sec, 90 secs
lola: 5871348 markings, 37622286 edges, 66002 markings/sec, 95 secs
lola: 6143312 markings, 39476550 edges, 54393 markings/sec, 100 secs
lola: 6368740 markings, 41281613 edges, 45086 markings/sec, 105 secs
lola: 6600781 markings, 43117378 edges, 46408 markings/sec, 110 secs
lola: 6828599 markings, 44922688 edges, 45564 markings/sec, 115 secs
lola: 7154723 markings, 46796718 edges, 65225 markings/sec, 120 secs
lola: 7428985 markings, 48691990 edges, 54852 markings/sec, 125 secs
lola: 7647848 markings, 50493189 edges, 43773 markings/sec, 130 secs
lola: 7865714 markings, 52309436 edges, 43573 markings/sec, 135 secs
lola: 8063983 markings, 54070293 edges, 39654 markings/sec, 140 secs
lola: 8287764 markings, 55900288 edges, 44756 markings/sec, 145 secs
lola: 8580619 markings, 57807995 edges, 58571 markings/sec, 150 secs
lola: 8864788 markings, 59734839 edges, 56834 markings/sec, 155 secs
lola: 9088148 markings, 61558755 edges, 44672 markings/sec, 160 secs
lola: 9304775 markings, 63371340 edges, 43325 markings/sec, 165 secs
lola: 9527981 markings, 65225116 edges, 44641 markings/sec, 170 secs
lola: 9743901 markings, 67067589 edges, 43184 markings/sec, 175 secs
lola: 9959694 markings, 68908529 edges, 43159 markings/sec, 180 secs
lola: 10170697 markings, 70736240 edges, 42201 markings/sec, 185 secs
lola: 10381740 markings, 72579568 edges, 42209 markings/sec, 190 secs
lola: 10590251 markings, 74402245 edges, 41702 markings/sec, 195 secs
lola: 10797450 markings, 76207844 edges, 41440 markings/sec, 200 secs
lola: 10999957 markings, 78006022 edges, 40501 markings/sec, 205 secs
lola: 11212658 markings, 79846622 edges, 42540 markings/sec, 210 secs
lola: 11421371 markings, 81694296 edges, 41743 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(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 330096 markings, 2042055 edges, 66019 markings/sec, 0 secs
lola: 629134 markings, 4099691 edges, 59808 markings/sec, 5 secs
lola: 903264 markings, 6184252 edges, 54826 markings/sec, 10 secs
lola: 1233456 markings, 8218473 edges, 66038 markings/sec, 15 secs
lola: 1547861 markings, 10276553 edges, 62881 markings/sec, 20 secs
lola: 1864641 markings, 12428417 edges, 63356 markings/sec, 25 secs
lola: 2139442 markings, 14519111 edges, 54960 markings/sec, 30 secs
lola: 2392378 markings, 16623169 edges, 50587 markings/sec, 35 secs
lola: 2646289 markings, 18789691 edges, 50782 markings/sec, 40 secs
lola: 2944544 markings, 20960927 edges, 59651 markings/sec, 45 secs
lola: 3229766 markings, 23118010 edges, 57044 markings/sec, 50 secs
lola: 3542792 markings, 25248182 edges, 62605 markings/sec, 55 secs
lola: 3849286 markings, 27346633 edges, 61299 markings/sec, 60 secs
lola: 4161144 markings, 29448510 edges, 62372 markings/sec, 65 secs
lola: 4470581 markings, 31561366 edges, 61887 markings/sec, 70 secs
lola: 4775936 markings, 33649485 edges, 61071 markings/sec, 75 secs
lola: 5067495 markings, 35667576 edges, 58312 markings/sec, 80 secs
lola: 5359842 markings, 37740634 edges, 58469 markings/sec, 85 secs
lola: 5654307 markings, 39997545 edges, 58893 markings/sec, 90 secs
lola: 5924320 markings, 42249739 edges, 54003 markings/sec, 95 secs
lola: 6197416 markings, 44528547 edges, 54619 markings/sec, 100 secs
lola: 6500725 markings, 46777064 edges, 60662 markings/sec, 105 secs
lola: 6801684 markings, 49008879 edges, 60192 markings/sec, 110 secs
lola: 7079086 markings, 51245089 edges, 55480 markings/sec, 115 secs
lola: 7332964 markings, 53455308 edges, 50776 markings/sec, 120 secs
lola: 7540618 markings, 55477622 edges, 41531 markings/sec, 125 secs
lola: 7768597 markings, 57699500 edges, 45596 markings/sec, 130 secs
lola: 8028286 markings, 59835872 edges, 51938 markings/sec, 135 secs
lola: 8271173 markings, 61967795 edges, 48577 markings/sec, 140 secs
lola: 8529602 markings, 64132188 edges, 51686 markings/sec, 145 secs
lola: 8809049 markings, 66270782 edges, 55889 markings/sec, 150 secs
lola: 9092118 markings, 68503987 edges, 56614 markings/sec, 155 secs
lola: 9380765 markings, 70751612 edges, 57729 markings/sec, 160 secs
lola: 9672926 markings, 73036102 edges, 58432 markings/sec, 165 secs
lola: 9958897 markings, 75295319 edges, 57194 markings/sec, 170 secs
lola: 10242254 markings, 77547755 edges, 56671 markings/sec, 175 secs
lola: 10555422 markings, 79816671 edges, 62634 markings/sec, 180 secs
lola: 10864813 markings, 82032203 edges, 61878 markings/sec, 185 secs
lola: 11187006 markings, 84246598 edges, 64439 markings/sec, 190 secs
lola: 11458983 markings, 86478898 edges, 54395 markings/sec, 195 secs
lola: 11745391 markings, 88699760 edges, 57282 markings/sec, 200 secs
lola: 12044519 markings, 90865870 edges, 59826 markings/sec, 205 secs
lola: 12355806 markings, 93057897 edges, 62257 markings/sec, 210 secs
lola: 12657677 markings, 95235841 edges, 60374 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(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 374391 markings, 1956997 edges, 74878 markings/sec, 0 secs
lola: 697036 markings, 3953503 edges, 64529 markings/sec, 5 secs
lola: 1028770 markings, 5957909 edges, 66347 markings/sec, 10 secs
lola: 1351713 markings, 7925650 edges, 64589 markings/sec, 15 secs
lola: 1677462 markings, 10177069 edges, 65150 markings/sec, 20 secs
lola: 1992250 markings, 12357659 edges, 62958 markings/sec, 25 secs
lola: 2312356 markings, 14446529 edges, 64021 markings/sec, 30 secs
lola: 2633027 markings, 16523889 edges, 64134 markings/sec, 35 secs
lola: 2952491 markings, 18707842 edges, 63893 markings/sec, 40 secs
lola: 3262665 markings, 20798853 edges, 62035 markings/sec, 45 secs
lola: 3602483 markings, 22955029 edges, 67964 markings/sec, 50 secs
lola: 3908803 markings, 25181800 edges, 61264 markings/sec, 55 secs
lola: 4223618 markings, 27373029 edges, 62963 markings/sec, 60 secs
lola: 4534433 markings, 29551673 edges, 62163 markings/sec, 65 secs
lola: 4821022 markings, 31770437 edges, 57318 markings/sec, 70 secs
lola: 5104909 markings, 34023595 edges, 56777 markings/sec, 75 secs
lola: 5397077 markings, 36272800 edges, 58434 markings/sec, 80 secs
lola: 5696996 markings, 38474475 edges, 59984 markings/sec, 85 secs
lola: 5982453 markings, 40651696 edges, 57091 markings/sec, 90 secs
lola: 6253866 markings, 42851787 edges, 54283 markings/sec, 95 secs
lola: 6573986 markings, 45027133 edges, 64024 markings/sec, 100 secs
lola: 6884352 markings, 47111366 edges, 62073 markings/sec, 105 secs
lola: 7182152 markings, 49272089 edges, 59560 markings/sec, 110 secs
lola: 7481804 markings, 51480062 edges, 59930 markings/sec, 115 secs
lola: 7783225 markings, 53598606 edges, 60284 markings/sec, 120 secs
lola: 8076293 markings, 55736870 edges, 58614 markings/sec, 125 secs
lola: 8370556 markings, 57858612 edges, 58853 markings/sec, 130 secs
lola: 8721774 markings, 60056821 edges, 70244 markings/sec, 135 secs
lola: 9038030 markings, 62311165 edges, 63251 markings/sec, 140 secs
lola: 9361304 markings, 64567032 edges, 64655 markings/sec, 145 secs
lola: 9672415 markings, 66756180 edges, 62222 markings/sec, 150 secs
lola: 9977864 markings, 69093760 edges, 61090 markings/sec, 155 secs
lola: 10274864 markings, 71457926 edges, 59400 markings/sec, 160 secs
lola: 10542815 markings, 73528575 edges, 53590 markings/sec, 165 secs
lola: 10864987 markings, 75892059 edges, 64434 markings/sec, 170 secs
lola: 11151085 markings, 78075214 edges, 57220 markings/sec, 175 secs
lola: 11405756 markings, 80136943 edges, 50934 markings/sec, 180 secs
lola: 11683819 markings, 82167098 edges, 55613 markings/sec, 185 secs
lola: 11991581 markings, 84464681 edges, 61552 markings/sec, 190 secs
lola: 12291879 markings, 86892974 edges, 60060 markings/sec, 195 secs
lola: 12583582 markings, 89233911 edges, 58341 markings/sec, 200 secs
lola: 12876472 markings, 91553283 edges, 58578 markings/sec, 205 secs
lola: 13146748 markings, 93870617 edges, 54055 markings/sec, 210 secs
lola: 13415532 markings, 96276490 edges, 53757 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(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 456274 markings, 2172156 edges, 91255 markings/sec, 0 secs
lola: 849262 markings, 4350471 edges, 78598 markings/sec, 5 secs
lola: 1203147 markings, 6509149 edges, 70777 markings/sec, 10 secs
lola: 1535669 markings, 8629643 edges, 66504 markings/sec, 15 secs
lola: 1876819 markings, 10745639 edges, 68230 markings/sec, 20 secs
lola: 2187736 markings, 12792017 edges, 62183 markings/sec, 25 secs
lola: 2486871 markings, 14864997 edges, 59827 markings/sec, 30 secs
lola: 2809690 markings, 16945768 edges, 64564 markings/sec, 35 secs
lola: 3117236 markings, 19070436 edges, 61509 markings/sec, 40 secs
lola: 3388268 markings, 21032202 edges, 54206 markings/sec, 45 secs
lola: 3644866 markings, 22973735 edges, 51320 markings/sec, 50 secs
lola: 3898684 markings, 24917986 edges, 50764 markings/sec, 55 secs
lola: 4137805 markings, 26831161 edges, 47824 markings/sec, 60 secs
lola: 4373024 markings, 28740103 edges, 47044 markings/sec, 65 secs
lola: 4614524 markings, 30731688 edges, 48300 markings/sec, 70 secs
lola: 4873113 markings, 32725139 edges, 51718 markings/sec, 75 secs
lola: 5233357 markings, 34744438 edges, 72049 markings/sec, 80 secs
lola: 5527950 markings, 36761802 edges, 58919 markings/sec, 85 secs
lola: 5849368 markings, 38801503 edges, 64284 markings/sec, 90 secs
lola: 6145361 markings, 40840297 edges, 59199 markings/sec, 95 secs
lola: 6391820 markings, 42825573 edges, 49292 markings/sec, 100 secs
lola: 6646215 markings, 44836087 edges, 50879 markings/sec, 105 secs
lola: 6916294 markings, 46815028 edges, 54016 markings/sec, 110 secs
lola: 7235173 markings, 48864121 edges, 63776 markings/sec, 115 secs
lola: 7498777 markings, 50908613 edges, 52721 markings/sec, 120 secs
lola: 7743821 markings, 52895563 edges, 49009 markings/sec, 125 secs
lola: 7978745 markings, 54898628 edges, 46985 markings/sec, 130 secs
lola: 8218411 markings, 56911532 edges, 47933 markings/sec, 135 secs
lola: 8504063 markings, 58952790 edges, 57130 markings/sec, 140 secs
lola: 8791693 markings, 61081783 edges, 57526 markings/sec, 145 secs
lola: 9052833 markings, 63145534 edges, 52228 markings/sec, 150 secs
lola: 9286795 markings, 65146275 edges, 46792 markings/sec, 155 secs
lola: 9533068 markings, 67178930 edges, 49255 markings/sec, 160 secs
lola: 9775221 markings, 69232963 edges, 48431 markings/sec, 165 secs
lola: 10013968 markings, 71263285 edges, 47749 markings/sec, 170 secs
lola: 10242997 markings, 73256821 edges, 45806 markings/sec, 175 secs
lola: 10472761 markings, 75248814 edges, 45953 markings/sec, 180 secs
lola: 10702724 markings, 77262240 edges, 45993 markings/sec, 185 secs
lola: 10931413 markings, 79278446 edges, 45738 markings/sec, 190 secs
lola: 11155955 markings, 81254339 edges, 44908 markings/sec, 195 secs
lola: 11383575 markings, 83281605 edges, 45524 markings/sec, 200 secs
lola: 11615649 markings, 85286054 edges, 46415 markings/sec, 205 secs
lola: 11863675 markings, 87318197 edges, 49605 markings/sec, 210 secs
lola: 12105577 markings, 89327216 edges, 48380 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(p464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 344414 markings, 2075672 edges, 68883 markings/sec, 0 secs
lola: 652582 markings, 4205046 edges, 61634 markings/sec, 5 secs
lola: 939704 markings, 6304367 edges, 57424 markings/sec, 10 secs
lola: 1216002 markings, 8417722 edges, 55260 markings/sec, 15 secs
lola: 1473105 markings, 10482109 edges, 51421 markings/sec, 20 secs
lola: 1717692 markings, 12558916 edges, 48917 markings/sec, 25 secs
lola: 1969813 markings, 14627593 edges, 50424 markings/sec, 30 secs
lola: 2248311 markings, 16740978 edges, 55700 markings/sec, 35 secs
lola: 2493630 markings, 18779606 edges, 49064 markings/sec, 40 secs
lola: 2743457 markings, 20907163 edges, 49965 markings/sec, 45 secs
lola: 2992992 markings, 23029798 edges, 49907 markings/sec, 50 secs
lola: 3247289 markings, 25177325 edges, 50859 markings/sec, 55 secs
lola: 3489374 markings, 27299106 edges, 48417 markings/sec, 60 secs
lola: 3714807 markings, 29291592 edges, 45087 markings/sec, 65 secs
lola: 3958082 markings, 31412562 edges, 48655 markings/sec, 70 secs
lola: 4175991 markings, 33388433 edges, 43582 markings/sec, 75 secs
lola: 4395180 markings, 35407961 edges, 43838 markings/sec, 80 secs
lola: 4600317 markings, 37339899 edges, 41027 markings/sec, 85 secs
lola: 4802691 markings, 39267190 edges, 40475 markings/sec, 90 secs
lola: 5006769 markings, 41206364 edges, 40816 markings/sec, 95 secs
lola: 5212290 markings, 43201417 edges, 41104 markings/sec, 100 secs
lola: 5422789 markings, 45211013 edges, 42100 markings/sec, 105 secs
lola: 5632899 markings, 47227119 edges, 42022 markings/sec, 110 secs
lola: 5838929 markings, 49246971 edges, 41206 markings/sec, 115 secs
lola: 6112391 markings, 51295701 edges, 54692 markings/sec, 120 secs
lola: 6339680 markings, 53345211 edges, 45458 markings/sec, 125 secs
lola: 6546517 markings, 55359053 edges, 41367 markings/sec, 130 secs
lola: 6740104 markings, 57343514 edges, 38717 markings/sec, 135 secs
lola: 6934953 markings, 59344860 edges, 38970 markings/sec, 140 secs
lola: 7130965 markings, 61360182 edges, 39202 markings/sec, 145 secs
lola: 7409211 markings, 63416132 edges, 55649 markings/sec, 150 secs
lola: 7645065 markings, 65445774 edges, 47171 markings/sec, 155 secs
lola: 7902932 markings, 67542147 edges, 51573 markings/sec, 160 secs
lola: 8135174 markings, 69615133 edges, 46448 markings/sec, 165 secs
lola: 8319425 markings, 71590567 edges, 36850 markings/sec, 170 secs
lola: 8569812 markings, 73616494 edges, 50077 markings/sec, 175 secs
lola: 8786905 markings, 75667776 edges, 43419 markings/sec, 180 secs
lola: 8981707 markings, 77642071 edges, 38960 markings/sec, 185 secs
lola: 9209499 markings, 79620197 edges, 45558 markings/sec, 190 secs
lola: 9434322 markings, 81652489 edges, 44965 markings/sec, 195 secs
lola: 9640790 markings, 83671710 edges, 41294 markings/sec, 200 secs
lola: 9867250 markings, 85718286 edges, 45292 markings/sec, 205 secs
lola: 10077714 markings, 87735926 edges, 42093 markings/sec, 210 secs
lola: 10304992 markings, 89797694 edges, 45456 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(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 414906 markings, 2100425 edges, 82981 markings/sec, 0 secs
lola: 782250 markings, 4243352 edges, 73469 markings/sec, 5 secs
lola: 1131344 markings, 6358856 edges, 69819 markings/sec, 10 secs
lola: 1460069 markings, 8473644 edges, 65745 markings/sec, 15 secs
lola: 1760053 markings, 10522280 edges, 59997 markings/sec, 20 secs
lola: 2090918 markings, 12545666 edges, 66173 markings/sec, 25 secs
lola: 2384408 markings, 14536413 edges, 58698 markings/sec, 30 secs
lola: 2670723 markings, 16492768 edges, 57263 markings/sec, 35 secs
lola: 2967917 markings, 18533863 edges, 59439 markings/sec, 40 secs
lola: 3255938 markings, 20561468 edges, 57604 markings/sec, 45 secs
lola: 3541741 markings, 22571405 edges, 57161 markings/sec, 50 secs
lola: 3819038 markings, 24592115 edges, 55459 markings/sec, 55 secs
lola: 4092541 markings, 26616141 edges, 54701 markings/sec, 60 secs
lola: 4363487 markings, 28644099 edges, 54189 markings/sec, 65 secs
lola: 4637178 markings, 30653858 edges, 54738 markings/sec, 70 secs
lola: 4905739 markings, 32677437 edges, 53712 markings/sec, 75 secs
lola: 5165128 markings, 34726447 edges, 51878 markings/sec, 80 secs
lola: 5522769 markings, 36829461 edges, 71528 markings/sec, 85 secs
lola: 5807386 markings, 38878998 edges, 56923 markings/sec, 90 secs
lola: 6060805 markings, 40877409 edges, 50684 markings/sec, 95 secs
lola: 6347244 markings, 42908524 edges, 57288 markings/sec, 100 secs
lola: 6593290 markings, 44907759 edges, 49209 markings/sec, 105 secs
lola: 6842677 markings, 46936486 edges, 49877 markings/sec, 110 secs
lola: 7164240 markings, 49002072 edges, 64313 markings/sec, 115 secs
lola: 7407952 markings, 51005683 edges, 48742 markings/sec, 120 secs
lola: 7676213 markings, 53021314 edges, 53652 markings/sec, 125 secs
lola: 7899190 markings, 54931815 edges, 44595 markings/sec, 130 secs
lola: 8139419 markings, 56877136 edges, 48046 markings/sec, 135 secs
lola: 8376438 markings, 58839263 edges, 47404 markings/sec, 140 secs
lola: 8643219 markings, 60809214 edges, 53356 markings/sec, 145 secs
lola: 8939759 markings, 62857259 edges, 59308 markings/sec, 150 secs
lola: 9169231 markings, 64803207 edges, 45894 markings/sec, 155 secs
lola: 9426011 markings, 66696619 edges, 51356 markings/sec, 160 secs
lola: 9659559 markings, 68569618 edges, 46710 markings/sec, 165 secs
lola: 9898599 markings, 70475832 edges, 47808 markings/sec, 170 secs
lola: 10161585 markings, 72474119 edges, 52597 markings/sec, 175 secs
lola: 10412435 markings, 74438795 edges, 50170 markings/sec, 180 secs
lola: 10644003 markings, 76365497 edges, 46314 markings/sec, 185 secs
lola: 10897913 markings, 78359637 edges, 50782 markings/sec, 190 secs
lola: 11136304 markings, 80341776 edges, 47678 markings/sec, 195 secs
lola: 11382359 markings, 82358600 edges, 49211 markings/sec, 200 secs
lola: 11620904 markings, 84315721 edges, 47709 markings/sec, 205 secs
lola: 11867836 markings, 86297600 edges, 49386 markings/sec, 210 secs
lola: 12095457 markings, 88269140 edges, 45524 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(p606)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 303268 markings, 1912517 edges, 60654 markings/sec, 0 secs
lola: 581770 markings, 3857862 edges, 55700 markings/sec, 5 secs
lola: 838079 markings, 5837890 edges, 51262 markings/sec, 10 secs
lola: 1086616 markings, 7852256 edges, 49707 markings/sec, 15 secs
lola: 1332253 markings, 9863026 edges, 49127 markings/sec, 20 secs
lola: 1563757 markings, 11868329 edges, 46301 markings/sec, 25 secs
lola: 1832830 markings, 13866934 edges, 53815 markings/sec, 30 secs
lola: 2082827 markings, 15897089 edges, 49999 markings/sec, 35 secs
lola: 2337958 markings, 17939623 edges, 51026 markings/sec, 40 secs
lola: 2560442 markings, 19999944 edges, 44497 markings/sec, 45 secs
lola: 2778477 markings, 22004672 edges, 43607 markings/sec, 50 secs
lola: 2993165 markings, 24015944 edges, 42938 markings/sec, 55 secs
lola: 3196789 markings, 26032553 edges, 40725 markings/sec, 60 secs
lola: 3407070 markings, 28022014 edges, 42056 markings/sec, 65 secs
lola: 3618504 markings, 30005980 edges, 42287 markings/sec, 70 secs
lola: 3831426 markings, 31999579 edges, 42584 markings/sec, 75 secs
lola: 4057209 markings, 33997770 edges, 45157 markings/sec, 80 secs
lola: 4267095 markings, 35989311 edges, 41977 markings/sec, 85 secs
lola: 4479721 markings, 37975718 edges, 42525 markings/sec, 90 secs
lola: 4683238 markings, 39948778 edges, 40703 markings/sec, 95 secs
lola: 4881888 markings, 41903255 edges, 39730 markings/sec, 100 secs
lola: 5084084 markings, 43889820 edges, 40439 markings/sec, 105 secs
lola: 5308138 markings, 45857787 edges, 44811 markings/sec, 110 secs
lola: 5585769 markings, 47885164 edges, 55526 markings/sec, 115 secs
lola: 5830198 markings, 49881841 edges, 48886 markings/sec, 120 secs
lola: 6078338 markings, 51897738 edges, 49628 markings/sec, 125 secs
lola: 6303828 markings, 53860772 edges, 45098 markings/sec, 130 secs
lola: 6508869 markings, 55826519 edges, 41008 markings/sec, 135 secs
lola: 6699660 markings, 57773083 edges, 38158 markings/sec, 140 secs
lola: 6890378 markings, 59739359 edges, 38144 markings/sec, 145 secs
lola: 7126137 markings, 61733536 edges, 47152 markings/sec, 150 secs
lola: 7344030 markings, 63794357 edges, 43579 markings/sec, 155 secs
lola: 7583794 markings, 65814193 edges, 47953 markings/sec, 160 secs
lola: 7833883 markings, 67832846 edges, 50018 markings/sec, 165 secs
lola: 8074022 markings, 69834463 edges, 48028 markings/sec, 170 secs
lola: 8294354 markings, 71840778 edges, 44066 markings/sec, 175 secs
lola: 8499546 markings, 73782206 edges, 41038 markings/sec, 180 secs
lola: 8704611 markings, 75736609 edges, 41013 markings/sec, 185 secs
lola: 8905846 markings, 77702703 edges, 40247 markings/sec, 190 secs
lola: 9093392 markings, 79638952 edges, 37509 markings/sec, 195 secs
lola: 9280055 markings, 81588862 edges, 37333 markings/sec, 200 secs
lola: 9537568 markings, 83582116 edges, 51503 markings/sec, 205 secs
lola: 9767957 markings, 85529187 edges, 46078 markings/sec, 210 secs
lola: 9990918 markings, 87540056 edges, 44592 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(p527)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 323622 markings, 2162330 edges, 64724 markings/sec, 0 secs
lola: 617699 markings, 4328864 edges, 58815 markings/sec, 5 secs
lola: 883343 markings, 6534441 edges, 53129 markings/sec, 10 secs
lola: 1157471 markings, 8716129 edges, 54826 markings/sec, 15 secs
lola: 1425746 markings, 10884688 edges, 53655 markings/sec, 20 secs
lola: 1702735 markings, 13102628 edges, 55398 markings/sec, 25 secs
lola: 1955139 markings, 15288855 edges, 50481 markings/sec, 30 secs
lola: 2197075 markings, 17487861 edges, 48387 markings/sec, 35 secs
lola: 2429142 markings, 19713311 edges, 46413 markings/sec, 40 secs
lola: 2662121 markings, 21892749 edges, 46596 markings/sec, 45 secs
lola: 2898535 markings, 24075754 edges, 47283 markings/sec, 50 secs
lola: 3137898 markings, 26235138 edges, 47873 markings/sec, 55 secs
lola: 3369426 markings, 28396193 edges, 46306 markings/sec, 60 secs
lola: 3595191 markings, 30568662 edges, 45153 markings/sec, 65 secs
lola: 3833568 markings, 32699221 edges, 47675 markings/sec, 70 secs
lola: 4072478 markings, 34990145 edges, 47782 markings/sec, 75 secs
lola: 4287977 markings, 37251122 edges, 43100 markings/sec, 80 secs
lola: 4541061 markings, 39522613 edges, 50617 markings/sec, 85 secs
lola: 4799039 markings, 41848025 edges, 51596 markings/sec, 90 secs
lola: 5039706 markings, 44058608 edges, 48133 markings/sec, 95 secs
lola: 5263276 markings, 46254646 edges, 44714 markings/sec, 100 secs
lola: 5505584 markings, 48384188 edges, 48462 markings/sec, 105 secs
lola: 5781262 markings, 50664582 edges, 55136 markings/sec, 110 secs
lola: 6042951 markings, 52949541 edges, 52338 markings/sec, 115 secs
lola: 6288427 markings, 55289208 edges, 49095 markings/sec, 120 secs
lola: 6530819 markings, 57536270 edges, 48478 markings/sec, 125 secs
lola: 6767291 markings, 59783403 edges, 47294 markings/sec, 130 secs
lola: 7028681 markings, 62077503 edges, 52278 markings/sec, 135 secs
lola: 7265155 markings, 64422626 edges, 47295 markings/sec, 140 secs
lola: 7498379 markings, 66744802 edges, 46645 markings/sec, 145 secs
lola: 7716090 markings, 69118460 edges, 43542 markings/sec, 150 secs
lola: 7933830 markings, 71443884 edges, 43548 markings/sec, 155 secs
lola: 8149026 markings, 73719739 edges, 43039 markings/sec, 160 secs
lola: 8362417 markings, 76003362 edges, 42678 markings/sec, 165 secs
lola: 8584934 markings, 78298360 edges, 44503 markings/sec, 170 secs
lola: 8801596 markings, 80609971 edges, 43332 markings/sec, 175 secs
lola: 9005452 markings, 82891336 edges, 40771 markings/sec, 180 secs
lola: 9228112 markings, 85160290 edges, 44532 markings/sec, 185 secs
lola: 9440906 markings, 87470019 edges, 42559 markings/sec, 190 secs
lola: 9622650 markings, 89725718 edges, 36349 markings/sec, 195 secs
lola: 9830533 markings, 92023559 edges, 41577 markings/sec, 200 secs
lola: 10067872 markings, 94318898 edges, 47468 markings/sec, 205 secs
lola: 10263709 markings, 96535384 edges, 39167 markings/sec, 210 secs
lola: 10494636 markings, 98817797 edges, 46185 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(p511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 405842 markings, 2051641 edges, 81168 markings/sec, 0 secs
lola: 767198 markings, 4150911 edges, 72271 markings/sec, 5 secs
lola: 1107249 markings, 6212211 edges, 68010 markings/sec, 10 secs
lola: 1421530 markings, 8213101 edges, 62856 markings/sec, 15 secs
lola: 1714911 markings, 10194353 edges, 58676 markings/sec, 20 secs
lola: 2030884 markings, 12169895 edges, 63195 markings/sec, 25 secs
lola: 2328954 markings, 14131797 edges, 59614 markings/sec, 30 secs
lola: 2611297 markings, 16070821 edges, 56469 markings/sec, 35 secs
lola: 2906338 markings, 18086545 edges, 59008 markings/sec, 40 secs
lola: 3186934 markings, 20091316 edges, 56119 markings/sec, 45 secs
lola: 3475202 markings, 22089659 edges, 57654 markings/sec, 50 secs
lola: 3750085 markings, 24100371 edges, 54977 markings/sec, 55 secs
lola: 4029818 markings, 26114857 edges, 55947 markings/sec, 60 secs
lola: 4306352 markings, 28201126 edges, 55307 markings/sec, 65 secs
lola: 4582735 markings, 30240533 edges, 55277 markings/sec, 70 secs
lola: 4854550 markings, 32271686 edges, 54363 markings/sec, 75 secs
lola: 5110112 markings, 34287212 edges, 51112 markings/sec, 80 secs
lola: 5429697 markings, 36267089 edges, 63917 markings/sec, 85 secs
lola: 5731505 markings, 38253035 edges, 60362 markings/sec, 90 secs
lola: 5977968 markings, 40207843 edges, 49293 markings/sec, 95 secs
lola: 6249751 markings, 42187116 edges, 54357 markings/sec, 100 secs
lola: 6502394 markings, 44198387 edges, 50529 markings/sec, 105 secs
lola: 6754914 markings, 46217902 edges, 50504 markings/sec, 110 secs
lola: 7051545 markings, 48263459 edges, 59326 markings/sec, 115 secs
lola: 7330794 markings, 50358564 edges, 55850 markings/sec, 120 secs
lola: 7591894 markings, 52401439 edges, 52220 markings/sec, 125 secs
lola: 7840296 markings, 54428872 edges, 49680 markings/sec, 130 secs
lola: 8087053 markings, 56425866 edges, 49351 markings/sec, 135 secs
lola: 8326023 markings, 58404375 edges, 47794 markings/sec, 140 secs
lola: 8575035 markings, 60381983 edges, 49802 markings/sec, 145 secs
lola: 8884093 markings, 62412646 edges, 61812 markings/sec, 150 secs
lola: 9113467 markings, 64361773 edges, 45875 markings/sec, 155 secs
lola: 9383486 markings, 66336457 edges, 54004 markings/sec, 160 secs
lola: 9625324 markings, 68278644 edges, 48368 markings/sec, 165 secs
lola: 9863169 markings, 70203255 edges, 47569 markings/sec, 170 secs
lola: 10122101 markings, 72159228 edges, 51786 markings/sec, 175 secs
lola: 10369281 markings, 74121168 edges, 49436 markings/sec, 180 secs
lola: 10608092 markings, 76074495 edges, 47762 markings/sec, 185 secs
lola: 10853581 markings, 78036954 edges, 49098 markings/sec, 190 secs
lola: 11083505 markings, 79912104 edges, 45985 markings/sec, 195 secs
lola: 11308265 markings, 81777182 edges, 44952 markings/sec, 200 secs
lola: 11537064 markings, 83652626 edges, 45760 markings/sec, 205 secs
lola: 11786327 markings, 85610434 edges, 49853 markings/sec, 210 secs
lola: 12014363 markings, 87565933 edges, 45607 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(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 319272 markings, 2218721 edges, 63854 markings/sec, 0 secs
lola: 606390 markings, 4506584 edges, 57424 markings/sec, 5 secs
lola: 888098 markings, 6771829 edges, 56342 markings/sec, 10 secs
lola: 1146632 markings, 9134692 edges, 51707 markings/sec, 15 secs
lola: 1429804 markings, 11564686 edges, 56634 markings/sec, 20 secs
lola: 1713181 markings, 13954303 edges, 56675 markings/sec, 25 secs
lola: 2001916 markings, 16307434 edges, 57747 markings/sec, 30 secs
lola: 2266792 markings, 18549539 edges, 52975 markings/sec, 35 secs
lola: 2508451 markings, 20807242 edges, 48332 markings/sec, 40 secs
lola: 2757255 markings, 23049996 edges, 49761 markings/sec, 45 secs
lola: 2991658 markings, 25368179 edges, 46881 markings/sec, 50 secs
lola: 3222041 markings, 27814362 edges, 46077 markings/sec, 55 secs
lola: 3475515 markings, 30234060 edges, 50695 markings/sec, 60 secs
lola: 3727076 markings, 32632606 edges, 50312 markings/sec, 65 secs
lola: 3997488 markings, 34977913 edges, 54082 markings/sec, 70 secs
lola: 4258496 markings, 37313185 edges, 52202 markings/sec, 75 secs
lola: 4522152 markings, 39691818 edges, 52731 markings/sec, 80 secs
lola: 4774605 markings, 42069040 edges, 50491 markings/sec, 85 secs
lola: 5048512 markings, 44442702 edges, 54781 markings/sec, 90 secs
lola: 5303030 markings, 46805510 edges, 50904 markings/sec, 95 secs
lola: 5565551 markings, 49108532 edges, 52504 markings/sec, 100 secs
lola: 5824208 markings, 51413234 edges, 51731 markings/sec, 105 secs
lola: 6083271 markings, 53765004 edges, 51813 markings/sec, 110 secs
lola: 6330084 markings, 56082042 edges, 49363 markings/sec, 115 secs
lola: 6559030 markings, 58450092 edges, 45789 markings/sec, 120 secs
lola: 6789605 markings, 60786546 edges, 46115 markings/sec, 125 secs
lola: 7045410 markings, 63231645 edges, 51161 markings/sec, 130 secs
lola: 7307157 markings, 65697637 edges, 52349 markings/sec, 135 secs
lola: 7545747 markings, 67986886 edges, 47718 markings/sec, 140 secs
lola: 7768670 markings, 70247986 edges, 44585 markings/sec, 145 secs
lola: 7984931 markings, 72530909 edges, 43252 markings/sec, 150 secs
lola: 8204797 markings, 74787608 edges, 43973 markings/sec, 155 secs
lola: 8407775 markings, 77039236 edges, 40596 markings/sec, 160 secs
lola: 8597404 markings, 79340449 edges, 37926 markings/sec, 165 secs
lola: 8813888 markings, 81722701 edges, 43297 markings/sec, 170 secs
lola: 9028984 markings, 84061916 edges, 43019 markings/sec, 175 secs
lola: 9249098 markings, 86320443 edges, 44023 markings/sec, 180 secs
lola: 9474074 markings, 88588745 edges, 44995 markings/sec, 185 secs
lola: 9697154 markings, 90849886 edges, 44616 markings/sec, 190 secs
lola: 9916414 markings, 93092620 edges, 43852 markings/sec, 195 secs
lola: 10137782 markings, 95444072 edges, 44274 markings/sec, 200 secs
lola: 10363955 markings, 97786886 edges, 45235 markings/sec, 205 secs
lola: 10605602 markings, 100135059 edges, 48329 markings/sec, 210 secs
lola: 10844233 markings, 102451189 edges, 47726 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(p590)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 356758 markings, 2011085 edges, 71352 markings/sec, 0 secs
lola: 683698 markings, 4125374 edges, 65388 markings/sec, 5 secs
lola: 1003014 markings, 6216439 edges, 63863 markings/sec, 10 secs
lola: 1326982 markings, 8301008 edges, 64794 markings/sec, 15 secs
lola: 1634711 markings, 10406130 edges, 61546 markings/sec, 20 secs
lola: 1926501 markings, 12525729 edges, 58358 markings/sec, 25 secs
lola: 2210551 markings, 14664750 edges, 56810 markings/sec, 30 secs
lola: 2520036 markings, 16778651 edges, 61897 markings/sec, 35 secs
lola: 2829781 markings, 18936181 edges, 61949 markings/sec, 40 secs
lola: 3119494 markings, 21094665 edges, 57943 markings/sec, 45 secs
lola: 3459894 markings, 23196948 edges, 68080 markings/sec, 50 secs
lola: 3769495 markings, 25343836 edges, 61920 markings/sec, 55 secs
lola: 4075435 markings, 27477167 edges, 61188 markings/sec, 60 secs
lola: 4372603 markings, 29564828 edges, 59434 markings/sec, 65 secs
lola: 4669729 markings, 31689767 edges, 59425 markings/sec, 70 secs
lola: 4943696 markings, 33826619 edges, 54793 markings/sec, 75 secs
lola: 5222646 markings, 35999667 edges, 55790 markings/sec, 80 secs
lola: 5503457 markings, 38138956 edges, 56162 markings/sec, 85 secs
lola: 5785260 markings, 40245400 edges, 56361 markings/sec, 90 secs
lola: 6080032 markings, 42477759 edges, 58954 markings/sec, 95 secs
lola: 6375691 markings, 44653722 edges, 59132 markings/sec, 100 secs
lola: 6665577 markings, 46677571 edges, 57977 markings/sec, 105 secs
lola: 6939533 markings, 48760449 edges, 54791 markings/sec, 110 secs
lola: 7208596 markings, 50802662 edges, 53813 markings/sec, 115 secs
lola: 7467227 markings, 52834234 edges, 51726 markings/sec, 120 secs
lola: 7776572 markings, 54901322 edges, 61869 markings/sec, 125 secs
lola: 8087310 markings, 57030465 edges, 62148 markings/sec, 130 secs
lola: 8376727 markings, 59131216 edges, 57883 markings/sec, 135 secs
lola: 8656293 markings, 61241062 edges, 55913 markings/sec, 140 secs
lola: 8936448 markings, 63245454 edges, 56031 markings/sec, 145 secs
lola: 9204462 markings, 65265987 edges, 53603 markings/sec, 150 secs
lola: 9458413 markings, 67308992 edges, 50790 markings/sec, 155 secs
lola: 9707437 markings, 69351678 edges, 49805 markings/sec, 160 secs
lola: 9983115 markings, 71473940 edges, 55136 markings/sec, 165 secs
lola: 10260294 markings, 73643928 edges, 55436 markings/sec, 170 secs
lola: 10532513 markings, 75766532 edges, 54444 markings/sec, 175 secs
lola: 10805750 markings, 77895013 edges, 54647 markings/sec, 180 secs
lola: 11115357 markings, 79936106 edges, 61921 markings/sec, 185 secs
lola: 11412914 markings, 82061264 edges, 59511 markings/sec, 190 secs
lola: 11694106 markings, 84168653 edges, 56238 markings/sec, 195 secs
lola: 12005342 markings, 86287959 edges, 62247 markings/sec, 200 secs
lola: 12282649 markings, 88344869 edges, 55461 markings/sec, 205 secs
lola: 12558385 markings, 90397013 edges, 55147 markings/sec, 210 secs
lola: 12818518 markings, 92454080 edges, 52027 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(p342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 287892 markings, 2081294 edges, 57578 markings/sec, 0 secs
lola: 552959 markings, 4272195 edges, 53013 markings/sec, 5 secs
lola: 832425 markings, 6363965 edges, 55893 markings/sec, 10 secs
lola: 1070010 markings, 8447070 edges, 47517 markings/sec, 15 secs
lola: 1292535 markings, 10542230 edges, 44505 markings/sec, 20 secs
lola: 1585137 markings, 12562342 edges, 58520 markings/sec, 25 secs
lola: 1869375 markings, 14567714 edges, 56848 markings/sec, 30 secs
lola: 2137415 markings, 16590925 edges, 53608 markings/sec, 35 secs
lola: 2411806 markings, 18643060 edges, 54878 markings/sec, 40 secs
lola: 2672706 markings, 20727948 edges, 52180 markings/sec, 45 secs
lola: 2937149 markings, 22814296 edges, 52889 markings/sec, 50 secs
lola: 3187180 markings, 24825433 edges, 50006 markings/sec, 55 secs
lola: 3436008 markings, 26848946 edges, 49766 markings/sec, 60 secs
lola: 3679899 markings, 28920043 edges, 48778 markings/sec, 65 secs
lola: 3914987 markings, 30990863 edges, 47018 markings/sec, 70 secs
lola: 4168427 markings, 33050400 edges, 50688 markings/sec, 75 secs
lola: 4402904 markings, 35168241 edges, 46895 markings/sec, 80 secs
lola: 4638623 markings, 37257519 edges, 47144 markings/sec, 85 secs
lola: 4893607 markings, 39379048 edges, 50997 markings/sec, 90 secs
lola: 5124596 markings, 41492627 edges, 46198 markings/sec, 95 secs
lola: 5365183 markings, 43589075 edges, 48117 markings/sec, 100 secs
lola: 5581655 markings, 45755632 edges, 43294 markings/sec, 105 secs
lola: 5812084 markings, 47846162 edges, 46086 markings/sec, 110 secs
lola: 6007930 markings, 49892226 edges, 39169 markings/sec, 115 secs
lola: 6235487 markings, 51872333 edges, 45511 markings/sec, 120 secs
lola: 6482530 markings, 53827773 edges, 49409 markings/sec, 125 secs
lola: 6715702 markings, 55799893 edges, 46634 markings/sec, 130 secs
lola: 6942911 markings, 57827211 edges, 45442 markings/sec, 135 secs
lola: 7173860 markings, 59869761 edges, 46190 markings/sec, 140 secs
lola: 7404956 markings, 61910506 edges, 46219 markings/sec, 145 secs
lola: 7657719 markings, 64002087 edges, 50553 markings/sec, 150 secs
lola: 7871422 markings, 66140601 edges, 42741 markings/sec, 155 secs
lola: 8085705 markings, 68207375 edges, 42857 markings/sec, 160 secs
lola: 8323249 markings, 70237379 edges, 47509 markings/sec, 165 secs
lola: 8564414 markings, 72280247 edges, 48233 markings/sec, 170 secs
lola: 8791692 markings, 74298431 edges, 45456 markings/sec, 175 secs
lola: 9026279 markings, 76302219 edges, 46917 markings/sec, 180 secs
lola: 9278148 markings, 78333575 edges, 50374 markings/sec, 185 secs
lola: 9523618 markings, 80365601 edges, 49094 markings/sec, 190 secs
lola: 9754985 markings, 82370482 edges, 46273 markings/sec, 195 secs
lola: 9980198 markings, 84413088 edges, 45043 markings/sec, 200 secs
lola: 10200860 markings, 86353595 edges, 44132 markings/sec, 205 secs
lola: 10411448 markings, 88387724 edges, 42118 markings/sec, 210 secs
lola: 10615789 markings, 90210786 edges, 40868 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(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 294237 markings, 2053093 edges, 58847 markings/sec, 0 secs
lola: 566226 markings, 4174624 edges, 54398 markings/sec, 5 secs
lola: 823947 markings, 6286203 edges, 51544 markings/sec, 10 secs
lola: 1066832 markings, 8439748 edges, 48577 markings/sec, 15 secs
lola: 1326686 markings, 10548177 edges, 51971 markings/sec, 20 secs
lola: 1582376 markings, 12619236 edges, 51138 markings/sec, 25 secs
lola: 1818983 markings, 14752081 edges, 47321 markings/sec, 30 secs
lola: 2064565 markings, 16852000 edges, 49116 markings/sec, 35 secs
lola: 2286994 markings, 18998967 edges, 44486 markings/sec, 40 secs
lola: 2499544 markings, 21156525 edges, 42510 markings/sec, 45 secs
lola: 2727896 markings, 23269411 edges, 45670 markings/sec, 50 secs
lola: 2958528 markings, 25348859 edges, 46126 markings/sec, 55 secs
lola: 3197254 markings, 27414182 edges, 47745 markings/sec, 60 secs
lola: 3430547 markings, 29441252 edges, 46659 markings/sec, 65 secs
lola: 3659951 markings, 31479346 edges, 45881 markings/sec, 70 secs
lola: 3880110 markings, 33515937 edges, 44032 markings/sec, 75 secs
lola: 4096698 markings, 35559458 edges, 43318 markings/sec, 80 secs
lola: 4307006 markings, 37558578 edges, 42062 markings/sec, 85 secs
lola: 4512749 markings, 39575604 edges, 41149 markings/sec, 90 secs
lola: 4760589 markings, 41611625 edges, 49568 markings/sec, 95 secs
lola: 4998619 markings, 43750709 edges, 47606 markings/sec, 100 secs
lola: 5250027 markings, 46022388 edges, 50282 markings/sec, 105 secs
lola: 5473608 markings, 48317321 edges, 44716 markings/sec, 110 secs
lola: 5710647 markings, 50557846 edges, 47408 markings/sec, 115 secs
lola: 5954225 markings, 52820858 edges, 48716 markings/sec, 120 secs
lola: 6200148 markings, 55101327 edges, 49185 markings/sec, 125 secs
lola: 6429336 markings, 57447766 edges, 45838 markings/sec, 130 secs
lola: 6656924 markings, 59717516 edges, 45518 markings/sec, 135 secs
lola: 6858741 markings, 61989668 edges, 40363 markings/sec, 140 secs
lola: 7071902 markings, 64372227 edges, 42632 markings/sec, 145 secs
lola: 7294082 markings, 66663423 edges, 44436 markings/sec, 150 secs
lola: 7519856 markings, 68937232 edges, 45155 markings/sec, 155 secs
lola: 7746600 markings, 71179448 edges, 45349 markings/sec, 160 secs
lola: 7970088 markings, 73380676 edges, 44698 markings/sec, 165 secs
lola: 8175634 markings, 75443895 edges, 41109 markings/sec, 170 secs
lola: 8373284 markings, 77512030 edges, 39530 markings/sec, 175 secs
lola: 8568673 markings, 79585064 edges, 39078 markings/sec, 180 secs
lola: 8776888 markings, 81804224 edges, 41643 markings/sec, 185 secs
lola: 8979973 markings, 84020762 edges, 40617 markings/sec, 190 secs
lola: 9222868 markings, 86324991 edges, 48579 markings/sec, 195 secs
lola: 9462519 markings, 88569710 edges, 47930 markings/sec, 200 secs
lola: 9686547 markings, 90690186 edges, 44806 markings/sec, 205 secs
lola: 9916013 markings, 92893614 edges, 45893 markings/sec, 210 secs
lola: 10159505 markings, 95165246 edges, 48698 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p555)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 333891 markings, 2103990 edges, 66778 markings/sec, 0 secs
lola: 647979 markings, 4268222 edges, 62818 markings/sec, 5 secs
lola: 934674 markings, 6405135 edges, 57339 markings/sec, 10 secs
lola: 1210824 markings, 8504869 edges, 55230 markings/sec, 15 secs
lola: 1481189 markings, 10644275 edges, 54073 markings/sec, 20 secs
lola: 1752016 markings, 12745856 edges, 54165 markings/sec, 25 secs
lola: 2017828 markings, 14854536 edges, 53162 markings/sec, 30 secs
lola: 2274203 markings, 16976024 edges, 51275 markings/sec, 35 secs
lola: 2550795 markings, 19111861 edges, 55318 markings/sec, 40 secs
lola: 2807850 markings, 21237396 edges, 51411 markings/sec, 45 secs
lola: 3063038 markings, 23393591 edges, 51038 markings/sec, 50 secs
lola: 3314236 markings, 25533654 edges, 50240 markings/sec, 55 secs
lola: 3552976 markings, 27642097 edges, 47748 markings/sec, 60 secs
lola: 3787272 markings, 29751323 edges, 46859 markings/sec, 65 secs
lola: 4027859 markings, 31835290 edges, 48117 markings/sec, 70 secs
lola: 4331688 markings, 33969457 edges, 60766 markings/sec, 75 secs
lola: 4620603 markings, 36090765 edges, 57783 markings/sec, 80 secs
lola: 4891683 markings, 38231231 edges, 54216 markings/sec, 85 secs
lola: 5121425 markings, 40307439 edges, 45948 markings/sec, 90 secs
lola: 5376708 markings, 42441908 edges, 51057 markings/sec, 95 secs
lola: 5619378 markings, 44553920 edges, 48534 markings/sec, 100 secs
lola: 5864657 markings, 46632051 edges, 49056 markings/sec, 105 secs
lola: 6101685 markings, 48731626 edges, 47406 markings/sec, 110 secs
lola: 6299984 markings, 50661253 edges, 39660 markings/sec, 115 secs
lola: 6508125 markings, 52682954 edges, 41628 markings/sec, 120 secs
lola: 6781778 markings, 54760769 edges, 54731 markings/sec, 125 secs
lola: 7004853 markings, 56727046 edges, 44615 markings/sec, 130 secs
lola: 7228957 markings, 58706539 edges, 44821 markings/sec, 135 secs
lola: 7454642 markings, 60685413 edges, 45137 markings/sec, 140 secs
lola: 7678024 markings, 62663034 edges, 44676 markings/sec, 145 secs
lola: 7893721 markings, 64618833 edges, 43139 markings/sec, 150 secs
lola: 8166449 markings, 66695624 edges, 54546 markings/sec, 155 secs
lola: 8403566 markings, 68662870 edges, 47423 markings/sec, 160 secs
lola: 8627254 markings, 70628320 edges, 44738 markings/sec, 165 secs
lola: 8858257 markings, 72588071 edges, 46201 markings/sec, 170 secs
lola: 9094197 markings, 74557796 edges, 47188 markings/sec, 175 secs
lola: 9330711 markings, 76530002 edges, 47303 markings/sec, 180 secs
lola: 9564890 markings, 78491866 edges, 46836 markings/sec, 185 secs
lola: 9791643 markings, 80444496 edges, 45351 markings/sec, 190 secs
lola: 10014411 markings, 82397026 edges, 44554 markings/sec, 195 secs
lola: 10229776 markings, 84354210 edges, 43073 markings/sec, 200 secs
lola: 10443682 markings, 86309162 edges, 42781 markings/sec, 205 secs
lola: 10669681 markings, 88317417 edges, 45200 markings/sec, 210 secs
lola: 10876244 markings, 90250817 edges, 41313 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 304514 markings, 2009230 edges, 60903 markings/sec, 0 secs
lola: 578539 markings, 4079189 edges, 54805 markings/sec, 5 secs
lola: 863652 markings, 6127172 edges, 57023 markings/sec, 10 secs
lola: 1116238 markings, 8191103 edges, 50517 markings/sec, 15 secs
lola: 1372448 markings, 10231767 edges, 51242 markings/sec, 20 secs
lola: 1657728 markings, 12248052 edges, 57056 markings/sec, 25 secs
lola: 1927531 markings, 14292234 edges, 53961 markings/sec, 30 secs
lola: 2192986 markings, 16295939 edges, 53091 markings/sec, 35 secs
lola: 2425835 markings, 18351424 edges, 46570 markings/sec, 40 secs
lola: 2700802 markings, 20438736 edges, 54993 markings/sec, 45 secs
lola: 2946273 markings, 22630102 edges, 49094 markings/sec, 50 secs
lola: 3210688 markings, 24863849 edges, 52883 markings/sec, 55 secs
lola: 3446678 markings, 27032246 edges, 47198 markings/sec, 60 secs
lola: 3726648 markings, 29133950 edges, 55994 markings/sec, 65 secs
lola: 3998181 markings, 31216950 edges, 54307 markings/sec, 70 secs
lola: 4259935 markings, 33322318 edges, 52351 markings/sec, 75 secs
lola: 4515222 markings, 35384756 edges, 51057 markings/sec, 80 secs
lola: 4770950 markings, 37487050 edges, 51146 markings/sec, 85 secs
lola: 5031145 markings, 39559255 edges, 52039 markings/sec, 90 secs
lola: 5301745 markings, 41693300 edges, 54120 markings/sec, 95 secs
lola: 5550418 markings, 43909872 edges, 49735 markings/sec, 100 secs
lola: 5822630 markings, 46055093 edges, 54442 markings/sec, 105 secs
lola: 6060220 markings, 48218869 edges, 47518 markings/sec, 110 secs
lola: 6270400 markings, 50362112 edges, 42036 markings/sec, 115 secs
lola: 6529257 markings, 52425098 edges, 51771 markings/sec, 120 secs
lola: 6791315 markings, 54499500 edges, 52412 markings/sec, 125 secs
lola: 7045713 markings, 56565914 edges, 50880 markings/sec, 130 secs
lola: 7285445 markings, 58713696 edges, 47946 markings/sec, 135 secs
lola: 7507557 markings, 60912232 edges, 44422 markings/sec, 140 secs
lola: 7751328 markings, 63009333 edges, 48754 markings/sec, 145 secs
lola: 7994336 markings, 65063998 edges, 48602 markings/sec, 150 secs
lola: 8234441 markings, 67123238 edges, 48021 markings/sec, 155 secs
lola: 8482282 markings, 69180858 edges, 49568 markings/sec, 160 secs
lola: 8702651 markings, 71363687 edges, 44074 markings/sec, 165 secs
lola: 8913118 markings, 73536539 edges, 42093 markings/sec, 170 secs
lola: 9124920 markings, 75685254 edges, 42360 markings/sec, 175 secs
lola: 9373181 markings, 77732519 edges, 49652 markings/sec, 180 secs
lola: 9608667 markings, 79716153 edges, 47097 markings/sec, 185 secs
lola: 9843087 markings, 81703128 edges, 46884 markings/sec, 190 secs
lola: 10076491 markings, 83658219 edges, 46681 markings/sec, 195 secs
lola: 10303259 markings, 85612700 edges, 45354 markings/sec, 200 secs
lola: 10527512 markings, 87578464 edges, 44851 markings/sec, 205 secs
lola: 10767166 markings, 89648167 edges, 47931 markings/sec, 210 secs
lola: 10999838 markings, 91689262 edges, 46534 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 319861 markings, 2019734 edges, 63972 markings/sec, 0 secs
lola: 604134 markings, 4050706 edges, 56855 markings/sec, 5 secs
lola: 884854 markings, 6060319 edges, 56144 markings/sec, 10 secs
lola: 1147147 markings, 8140378 edges, 52459 markings/sec, 15 secs
lola: 1424969 markings, 10180602 edges, 55564 markings/sec, 20 secs
lola: 1704862 markings, 12166655 edges, 55979 markings/sec, 25 secs
lola: 1978674 markings, 14162402 edges, 54762 markings/sec, 30 secs
lola: 2242748 markings, 16183384 edges, 52815 markings/sec, 35 secs
lola: 2511603 markings, 18347239 edges, 53771 markings/sec, 40 secs
lola: 2771718 markings, 20393421 edges, 52023 markings/sec, 45 secs
lola: 3018445 markings, 22418387 edges, 49345 markings/sec, 50 secs
lola: 3249451 markings, 24470057 edges, 46201 markings/sec, 55 secs
lola: 3489772 markings, 26455168 edges, 48064 markings/sec, 60 secs
lola: 3755755 markings, 28474181 edges, 53197 markings/sec, 65 secs
lola: 4019578 markings, 30499415 edges, 52765 markings/sec, 70 secs
lola: 4270947 markings, 32524955 edges, 50274 markings/sec, 75 secs
lola: 4528606 markings, 34619373 edges, 51532 markings/sec, 80 secs
lola: 4776845 markings, 36665032 edges, 49648 markings/sec, 85 secs
lola: 5027022 markings, 38618072 edges, 50035 markings/sec, 90 secs
lola: 5292293 markings, 40610859 edges, 53054 markings/sec, 95 secs
lola: 5541111 markings, 42718471 edges, 49764 markings/sec, 100 secs
lola: 5808885 markings, 44792949 edges, 53555 markings/sec, 105 secs
lola: 6042602 markings, 46830310 edges, 46743 markings/sec, 110 secs
lola: 6255262 markings, 48875913 edges, 42532 markings/sec, 115 secs
lola: 6510154 markings, 50905893 edges, 50978 markings/sec, 120 secs
lola: 6755508 markings, 52853231 edges, 49071 markings/sec, 125 secs
lola: 6995359 markings, 54777996 edges, 47970 markings/sec, 130 secs
lola: 7242245 markings, 56893779 edges, 49377 markings/sec, 135 secs
lola: 7476674 markings, 59064516 edges, 46886 markings/sec, 140 secs
lola: 7721855 markings, 61154972 edges, 49036 markings/sec, 145 secs
lola: 7958215 markings, 63143747 edges, 47272 markings/sec, 150 secs
lola: 8180285 markings, 65041156 edges, 44414 markings/sec, 155 secs
lola: 8411139 markings, 66972131 edges, 46171 markings/sec, 160 secs
lola: 8638877 markings, 69040694 edges, 45548 markings/sec, 165 secs
lola: 8859957 markings, 71202368 edges, 44216 markings/sec, 170 secs
lola: 9072673 markings, 73357907 edges, 42543 markings/sec, 175 secs
lola: 9327011 markings, 75449979 edges, 50868 markings/sec, 180 secs
lola: 9570551 markings, 77492447 edges, 48708 markings/sec, 185 secs
lola: 9817449 markings, 79587324 edges, 49380 markings/sec, 190 secs
lola: 10065108 markings, 81671295 edges, 49532 markings/sec, 195 secs
lola: 10310022 markings, 83770045 edges, 48983 markings/sec, 200 secs
lola: 10545250 markings, 85835988 edges, 47046 markings/sec, 205 secs
lola: 10785733 markings, 87929744 edges, 48097 markings/sec, 210 secs
lola: 11023208 markings, 89993319 edges, 47495 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA AutoFlight-PT-24a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494605615525

--------------------
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="AutoFlight-PT-24a"
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/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a 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 AutoFlight-PT-24a, 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 r008-csrt-149436126000236"
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 ;