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 PolyORBLF-COL-S06J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900416
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494674387757


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S06J06T08 @ 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: 15228/65536 symbol table entries, 5390 collisions
lola: preprocessing...
lola: finding significant places
lola: 894 places, 14334 transitions, 832 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4215 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J06T08-UpperBounds.task
lola: MAX(p45) : MAX(p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366) : MAX(p352 + p353 + p354 + p355 + p356 + p357 + p358) : MAX(p814 + p815 + p816 + p817 + p818 + p819 + p820) : MAX(p279) : MAX(p182) : MAX(p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806) : MAX(p409) : MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555) : MAX(p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651) : MAX(p410) : MAX(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255) : MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191) : MAX(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295) : MAX(p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547) : MAX(p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829)
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(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3868 markings, 7234 edges, 774 markings/sec, 0 secs
lola: 7821 markings, 13928 edges, 791 markings/sec, 5 secs
lola: 11582 markings, 21429 edges, 752 markings/sec, 10 secs
lola: 15689 markings, 29637 edges, 821 markings/sec, 15 secs
lola: 19892 markings, 36806 edges, 841 markings/sec, 20 secs
lola: 23438 markings, 45161 edges, 709 markings/sec, 25 secs
lola: 27593 markings, 52523 edges, 831 markings/sec, 30 secs
lola: 31730 markings, 61839 edges, 827 markings/sec, 35 secs
lola: 35678 markings, 68574 edges, 790 markings/sec, 40 secs
lola: 39697 markings, 76066 edges, 804 markings/sec, 45 secs
lola: 43516 markings, 83765 edges, 764 markings/sec, 50 secs
lola: 47511 markings, 92565 edges, 799 markings/sec, 55 secs
lola: 51779 markings, 100555 edges, 854 markings/sec, 60 secs
lola: 55476 markings, 109069 edges, 739 markings/sec, 65 secs
lola: 59543 markings, 115551 edges, 813 markings/sec, 70 secs
lola: 63727 markings, 124289 edges, 837 markings/sec, 75 secs
lola: 67412 markings, 133385 edges, 737 markings/sec, 80 secs
lola: 71323 markings, 139802 edges, 782 markings/sec, 85 secs
lola: 75461 markings, 148659 edges, 828 markings/sec, 90 secs
lola: 79430 markings, 156883 edges, 794 markings/sec, 95 secs
lola: 83661 markings, 164110 edges, 846 markings/sec, 100 secs
lola: 87598 markings, 173776 edges, 787 markings/sec, 105 secs
lola: 92020 markings, 181259 edges, 884 markings/sec, 110 secs
lola: 96085 markings, 187780 edges, 813 markings/sec, 115 secs
lola: 99870 markings, 194963 edges, 757 markings/sec, 120 secs
lola: 103582 markings, 201964 edges, 742 markings/sec, 125 secs
lola: 107573 markings, 211493 edges, 798 markings/sec, 130 secs
lola: 111936 markings, 220408 edges, 873 markings/sec, 135 secs
lola: 116244 markings, 229751 edges, 862 markings/sec, 140 secs
lola: 120519 markings, 239211 edges, 855 markings/sec, 145 secs
lola: 124629 markings, 248375 edges, 822 markings/sec, 150 secs
lola: 129075 markings, 257070 edges, 889 markings/sec, 155 secs
lola: 133767 markings, 264082 edges, 938 markings/sec, 160 secs
lola: 137530 markings, 272913 edges, 753 markings/sec, 165 secs
lola: 142389 markings, 279861 edges, 972 markings/sec, 170 secs
lola: 146967 markings, 287149 edges, 916 markings/sec, 175 secs
lola: 150676 markings, 293549 edges, 742 markings/sec, 180 secs
lola: 155758 markings, 299944 edges, 1016 markings/sec, 185 secs
lola: 160193 markings, 309033 edges, 887 markings/sec, 190 secs
lola: 164670 markings, 317239 edges, 895 markings/sec, 195 secs
lola: 168860 markings, 326556 edges, 838 markings/sec, 200 secs
lola: 173236 markings, 334683 edges, 875 markings/sec, 205 secs
lola: 177936 markings, 343351 edges, 940 markings/sec, 210 secs
lola: 183325 markings, 349778 edges, 1078 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(p359 + p360 + p361 + p362 + p363 + p364 + p365 + p366)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3305 markings, 9044 edges, 661 markings/sec, 0 secs
lola: 6696 markings, 18077 edges, 678 markings/sec, 5 secs
lola: 10519 markings, 25806 edges, 765 markings/sec, 10 secs
lola: 13717 markings, 36132 edges, 640 markings/sec, 15 secs
lola: 17062 markings, 44845 edges, 669 markings/sec, 20 secs
lola: 20894 markings, 52144 edges, 766 markings/sec, 25 secs
lola: 24190 markings, 61442 edges, 659 markings/sec, 30 secs
lola: 27571 markings, 70647 edges, 676 markings/sec, 35 secs
lola: 31222 markings, 79896 edges, 730 markings/sec, 40 secs
lola: 34975 markings, 89499 edges, 751 markings/sec, 45 secs
lola: 38302 markings, 99497 edges, 665 markings/sec, 50 secs
lola: 41932 markings, 107699 edges, 726 markings/sec, 55 secs
lola: 45103 markings, 117455 edges, 634 markings/sec, 60 secs
lola: 48261 markings, 127134 edges, 632 markings/sec, 65 secs
lola: 51399 markings, 137305 edges, 628 markings/sec, 70 secs
lola: 54565 markings, 146588 edges, 633 markings/sec, 75 secs
lola: 57711 markings, 156088 edges, 629 markings/sec, 80 secs
lola: 60858 markings, 165516 edges, 629 markings/sec, 85 secs
lola: 64001 markings, 175325 edges, 629 markings/sec, 90 secs
lola: 67224 markings, 184000 edges, 645 markings/sec, 95 secs
lola: 70670 markings, 193226 edges, 689 markings/sec, 100 secs
lola: 73828 markings, 203364 edges, 632 markings/sec, 105 secs
lola: 76976 markings, 213486 edges, 630 markings/sec, 110 secs
lola: 80115 markings, 223542 edges, 628 markings/sec, 115 secs
lola: 83251 markings, 233396 edges, 627 markings/sec, 120 secs
lola: 86677 markings, 242114 edges, 685 markings/sec, 125 secs
lola: 90316 markings, 250912 edges, 728 markings/sec, 130 secs
lola: 93973 markings, 259875 edges, 731 markings/sec, 135 secs
lola: 97392 markings, 269706 edges, 684 markings/sec, 140 secs
lola: 101107 markings, 277919 edges, 743 markings/sec, 145 secs
lola: 104452 markings, 288046 edges, 669 markings/sec, 150 secs
lola: 107600 markings, 299593 edges, 630 markings/sec, 155 secs
lola: 110748 markings, 311290 edges, 630 markings/sec, 160 secs
lola: 113896 markings, 322665 edges, 630 markings/sec, 165 secs
lola: 117113 markings, 334095 edges, 643 markings/sec, 170 secs
lola: 120346 markings, 343801 edges, 647 markings/sec, 175 secs
lola: 123492 markings, 353871 edges, 629 markings/sec, 180 secs
lola: 126644 markings, 363478 edges, 630 markings/sec, 185 secs
lola: 129812 markings, 373193 edges, 634 markings/sec, 190 secs
lola: 132961 markings, 382869 edges, 630 markings/sec, 195 secs
lola: 136110 markings, 392630 edges, 630 markings/sec, 200 secs
lola: 139266 markings, 402005 edges, 631 markings/sec, 205 secs
lola: 142400 markings, 411700 edges, 627 markings/sec, 210 secs
lola: 145545 markings, 420869 edges, 629 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(p352 + p353 + p354 + p355 + p356 + p357 + p358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5805 markings, 5850 edges, 1161 markings/sec, 0 secs
lola: 11541 markings, 11772 edges, 1147 markings/sec, 5 secs
lola: 17208 markings, 17667 edges, 1133 markings/sec, 10 secs
lola: 22924 markings, 23561 edges, 1143 markings/sec, 15 secs
lola: 28658 markings, 29480 edges, 1147 markings/sec, 20 secs
lola: 34276 markings, 35326 edges, 1124 markings/sec, 25 secs
lola: 39943 markings, 41226 edges, 1133 markings/sec, 30 secs
lola: 45648 markings, 47096 edges, 1141 markings/sec, 35 secs
lola: 51312 markings, 52976 edges, 1133 markings/sec, 40 secs
lola: 57038 markings, 58853 edges, 1145 markings/sec, 45 secs
lola: 62675 markings, 64671 edges, 1127 markings/sec, 50 secs
lola: 68375 markings, 70534 edges, 1140 markings/sec, 55 secs
lola: 74144 markings, 76441 edges, 1154 markings/sec, 60 secs
lola: 79824 markings, 82283 edges, 1136 markings/sec, 65 secs
lola: 85461 markings, 88120 edges, 1127 markings/sec, 70 secs
lola: 91075 markings, 94005 edges, 1123 markings/sec, 75 secs
lola: 96823 markings, 99913 edges, 1150 markings/sec, 80 secs
lola: 102553 markings, 105771 edges, 1146 markings/sec, 85 secs
lola: 108106 markings, 111589 edges, 1111 markings/sec, 90 secs
lola: 113815 markings, 117498 edges, 1142 markings/sec, 95 secs
lola: 119503 markings, 123365 edges, 1138 markings/sec, 100 secs
lola: 125238 markings, 129224 edges, 1147 markings/sec, 105 secs
lola: 130803 markings, 135023 edges, 1113 markings/sec, 110 secs
lola: 136061 markings, 140702 edges, 1052 markings/sec, 115 secs
lola: 141760 markings, 146582 edges, 1140 markings/sec, 120 secs
lola: 147461 markings, 152505 edges, 1140 markings/sec, 125 secs
lola: 153182 markings, 158365 edges, 1144 markings/sec, 130 secs
lola: 158940 markings, 164281 edges, 1152 markings/sec, 135 secs
lola: 164624 markings, 170168 edges, 1137 markings/sec, 140 secs
lola: 170320 markings, 176020 edges, 1139 markings/sec, 145 secs
lola: 175957 markings, 181879 edges, 1127 markings/sec, 150 secs
lola: 181589 markings, 187769 edges, 1126 markings/sec, 155 secs
lola: 187231 markings, 193638 edges, 1128 markings/sec, 160 secs
lola: 193062 markings, 199577 edges, 1166 markings/sec, 165 secs
lola: 198726 markings, 205442 edges, 1133 markings/sec, 170 secs
lola: 204398 markings, 211352 edges, 1134 markings/sec, 175 secs
lola: 210017 markings, 217176 edges, 1124 markings/sec, 180 secs
lola: 215712 markings, 223021 edges, 1139 markings/sec, 185 secs
lola: 221486 markings, 228950 edges, 1155 markings/sec, 190 secs
lola: 225817 markings, 233379 edges, 866 markings/sec, 195 secs
lola: 229218 markings, 236917 edges, 680 markings/sec, 200 secs
lola: 232702 markings, 240520 edges, 697 markings/sec, 205 secs
lola: 236022 markings, 243941 edges, 664 markings/sec, 210 secs
lola: 239432 markings, 247389 edges, 682 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(p814 + p815 + p816 + p817 + p818 + p819 + p820)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5111 markings, 5150 edges, 1022 markings/sec, 0 secs
lola: 10133 markings, 10264 edges, 1004 markings/sec, 5 secs
lola: 15167 markings, 15336 edges, 1007 markings/sec, 10 secs
lola: 20163 markings, 20391 edges, 999 markings/sec, 15 secs
lola: 25165 markings, 25452 edges, 1000 markings/sec, 20 secs
lola: 30215 markings, 30574 edges, 1010 markings/sec, 25 secs
lola: 35208 markings, 35626 edges, 999 markings/sec, 30 secs
lola: 40217 markings, 40683 edges, 1002 markings/sec, 35 secs
lola: 45226 markings, 45752 edges, 1002 markings/sec, 40 secs
lola: 50204 markings, 50807 edges, 996 markings/sec, 45 secs
lola: 55194 markings, 55846 edges, 998 markings/sec, 50 secs
lola: 60177 markings, 60878 edges, 997 markings/sec, 55 secs
lola: 65214 markings, 65974 edges, 1007 markings/sec, 60 secs
lola: 70210 markings, 71019 edges, 999 markings/sec, 65 secs
lola: 75243 markings, 76100 edges, 1007 markings/sec, 70 secs
lola: 80238 markings, 81155 edges, 999 markings/sec, 75 secs
lola: 85263 markings, 86228 edges, 1005 markings/sec, 80 secs
lola: 90256 markings, 91280 edges, 999 markings/sec, 85 secs
lola: 95298 markings, 96404 edges, 1008 markings/sec, 90 secs
lola: 100300 markings, 101454 edges, 1000 markings/sec, 95 secs
lola: 105306 markings, 106509 edges, 1001 markings/sec, 100 secs
lola: 110318 markings, 111580 edges, 1002 markings/sec, 105 secs
lola: 115322 markings, 116643 edges, 1001 markings/sec, 110 secs
lola: 120312 markings, 121682 edges, 998 markings/sec, 115 secs
lola: 125285 markings, 126713 edges, 995 markings/sec, 120 secs
lola: 130290 markings, 131772 edges, 1001 markings/sec, 125 secs
lola: 135290 markings, 136817 edges, 1000 markings/sec, 130 secs
lola: 140313 markings, 141899 edges, 1005 markings/sec, 135 secs
lola: 145331 markings, 146965 edges, 1004 markings/sec, 140 secs
lola: 150360 markings, 152043 edges, 1006 markings/sec, 145 secs
lola: 155366 markings, 157108 edges, 1001 markings/sec, 150 secs
lola: 160355 markings, 162146 edges, 998 markings/sec, 155 secs
lola: 165352 markings, 167212 edges, 999 markings/sec, 160 secs
lola: 170355 markings, 172253 edges, 1001 markings/sec, 165 secs
lola: 175324 markings, 177282 edges, 994 markings/sec, 170 secs
lola: 180306 markings, 182322 edges, 996 markings/sec, 175 secs
lola: 185326 markings, 187392 edges, 1004 markings/sec, 180 secs
lola: 190354 markings, 192469 edges, 1006 markings/sec, 185 secs
lola: 195360 markings, 197523 edges, 1001 markings/sec, 190 secs
lola: 200370 markings, 202592 edges, 1002 markings/sec, 195 secs
lola: 205397 markings, 207667 edges, 1005 markings/sec, 200 secs
lola: 210392 markings, 212722 edges, 999 markings/sec, 205 secs
lola: 215359 markings, 217748 edges, 993 markings/sec, 210 secs
lola: 220362 markings, 222810 edges, 1001 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(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5923 markings, 6006 edges, 1185 markings/sec, 0 secs
lola: 11892 markings, 12012 edges, 1194 markings/sec, 5 secs
lola: 18110 markings, 18266 edges, 1244 markings/sec, 10 secs
lola: 23536 markings, 23936 edges, 1085 markings/sec, 15 secs
lola: 26716 markings, 28188 edges, 636 markings/sec, 20 secs
lola: 29881 markings, 32409 edges, 633 markings/sec, 25 secs
lola: 33027 markings, 36852 edges, 629 markings/sec, 30 secs
lola: 36209 markings, 41127 edges, 636 markings/sec, 35 secs
lola: 39386 markings, 45323 edges, 635 markings/sec, 40 secs
lola: 42565 markings, 49554 edges, 636 markings/sec, 45 secs
lola: 45746 markings, 53723 edges, 636 markings/sec, 50 secs
lola: 48951 markings, 57875 edges, 641 markings/sec, 55 secs
lola: 52172 markings, 61972 edges, 644 markings/sec, 60 secs
lola: 55445 markings, 66072 edges, 655 markings/sec, 65 secs
lola: 58594 markings, 70181 edges, 630 markings/sec, 70 secs
lola: 61747 markings, 74324 edges, 631 markings/sec, 75 secs
lola: 64896 markings, 78484 edges, 630 markings/sec, 80 secs
lola: 68051 markings, 82727 edges, 631 markings/sec, 85 secs
lola: 71198 markings, 87057 edges, 629 markings/sec, 90 secs
lola: 74348 markings, 91185 edges, 630 markings/sec, 95 secs
lola: 77502 markings, 95532 edges, 631 markings/sec, 100 secs
lola: 80657 markings, 99925 edges, 631 markings/sec, 105 secs
lola: 83805 markings, 104382 edges, 630 markings/sec, 110 secs
lola: 86954 markings, 108648 edges, 630 markings/sec, 115 secs
lola: 90107 markings, 112810 edges, 631 markings/sec, 120 secs
lola: 93262 markings, 117146 edges, 631 markings/sec, 125 secs
lola: 96415 markings, 121706 edges, 631 markings/sec, 130 secs
lola: 99577 markings, 126225 edges, 632 markings/sec, 135 secs
lola: 102693 markings, 129945 edges, 623 markings/sec, 140 secs
lola: 105800 markings, 133610 edges, 621 markings/sec, 145 secs
lola: 108886 markings, 137492 edges, 617 markings/sec, 150 secs
lola: 111898 markings, 156429 edges, 602 markings/sec, 155 secs
lola: 114898 markings, 177989 edges, 600 markings/sec, 160 secs
lola: 117896 markings, 199733 edges, 600 markings/sec, 165 secs
lola: 120986 markings, 209188 edges, 618 markings/sec, 170 secs
lola: 124103 markings, 212887 edges, 623 markings/sec, 175 secs
lola: 127156 markings, 222847 edges, 611 markings/sec, 180 secs
lola: 130150 markings, 244432 edges, 599 markings/sec, 185 secs
lola: 133159 markings, 264608 edges, 602 markings/sec, 190 secs
lola: 136284 markings, 268263 edges, 625 markings/sec, 195 secs
lola: 139351 markings, 279368 edges, 613 markings/sec, 200 secs
lola: 142345 markings, 300849 edges, 599 markings/sec, 205 secs
lola: 145462 markings, 308136 edges, 623 markings/sec, 210 secs
lola: 148508 markings, 322814 edges, 609 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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3798 markings, 7216 edges, 760 markings/sec, 0 secs
lola: 7716 markings, 13798 edges, 784 markings/sec, 5 secs
lola: 11414 markings, 21323 edges, 740 markings/sec, 10 secs
lola: 15487 markings, 29330 edges, 815 markings/sec, 15 secs
lola: 19625 markings, 36478 edges, 828 markings/sec, 20 secs
lola: 23138 markings, 44871 edges, 703 markings/sec, 25 secs
lola: 27222 markings, 51860 edges, 817 markings/sec, 30 secs
lola: 31200 markings, 60260 edges, 796 markings/sec, 35 secs
lola: 34792 markings, 67345 edges, 718 markings/sec, 40 secs
lola: 38123 markings, 73816 edges, 666 markings/sec, 45 secs
lola: 41876 markings, 81026 edges, 751 markings/sec, 50 secs
lola: 45878 markings, 88149 edges, 800 markings/sec, 55 secs
lola: 49560 markings, 97802 edges, 736 markings/sec, 60 secs
lola: 53588 markings, 105809 edges, 806 markings/sec, 65 secs
lola: 57302 markings, 113100 edges, 743 markings/sec, 70 secs
lola: 61673 markings, 120521 edges, 874 markings/sec, 75 secs
lola: 65577 markings, 129437 edges, 781 markings/sec, 80 secs
lola: 69166 markings, 137324 edges, 718 markings/sec, 85 secs
lola: 73641 markings, 143879 edges, 895 markings/sec, 90 secs
lola: 77243 markings, 153283 edges, 720 markings/sec, 95 secs
lola: 81419 markings, 160697 edges, 835 markings/sec, 100 secs
lola: 85325 markings, 170032 edges, 781 markings/sec, 105 secs
lola: 89742 markings, 177825 edges, 883 markings/sec, 110 secs
lola: 93839 markings, 185043 edges, 819 markings/sec, 115 secs
lola: 97654 markings, 191508 edges, 763 markings/sec, 120 secs
lola: 101418 markings, 199186 edges, 753 markings/sec, 125 secs
lola: 105234 markings, 206522 edges, 763 markings/sec, 130 secs
lola: 109309 markings, 216277 edges, 815 markings/sec, 135 secs
lola: 113922 markings, 224393 edges, 923 markings/sec, 140 secs
lola: 117940 markings, 234572 edges, 804 markings/sec, 145 secs
lola: 121858 markings, 244901 edges, 784 markings/sec, 150 secs
lola: 126485 markings, 252091 edges, 925 markings/sec, 155 secs
lola: 130826 markings, 261414 edges, 868 markings/sec, 160 secs
lola: 135046 markings, 268720 edges, 844 markings/sec, 165 secs
lola: 139196 markings, 276750 edges, 830 markings/sec, 170 secs
lola: 144119 markings, 283781 edges, 985 markings/sec, 175 secs
lola: 148230 markings, 290783 edges, 822 markings/sec, 180 secs
lola: 152207 markings, 297147 edges, 795 markings/sec, 185 secs
lola: 157499 markings, 303638 edges, 1058 markings/sec, 190 secs
lola: 161418 markings, 314412 edges, 784 markings/sec, 195 secs
lola: 165858 markings, 322377 edges, 888 markings/sec, 200 secs
lola: 170444 markings, 330252 edges, 917 markings/sec, 205 secs
lola: 174916 markings, 338205 edges, 894 markings/sec, 210 secs
lola: 179589 markings, 346819 edges, 935 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(p799 + p800 + p801 + p802 + p803 + p804 + p805 + p806)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5092 markings, 5138 edges, 1018 markings/sec, 0 secs
lola: 10092 markings, 10202 edges, 1000 markings/sec, 5 secs
lola: 15127 markings, 15301 edges, 1007 markings/sec, 10 secs
lola: 20142 markings, 20357 edges, 1003 markings/sec, 15 secs
lola: 25125 markings, 25404 edges, 997 markings/sec, 20 secs
lola: 30133 markings, 30464 edges, 1002 markings/sec, 25 secs
lola: 35123 markings, 35527 edges, 998 markings/sec, 30 secs
lola: 40104 markings, 40564 edges, 996 markings/sec, 35 secs
lola: 45068 markings, 45581 edges, 993 markings/sec, 40 secs
lola: 50056 markings, 50632 edges, 998 markings/sec, 45 secs
lola: 55087 markings, 55705 edges, 1006 markings/sec, 50 secs
lola: 60089 markings, 60772 edges, 1000 markings/sec, 55 secs
lola: 65087 markings, 65833 edges, 1000 markings/sec, 60 secs
lola: 70109 markings, 70908 edges, 1004 markings/sec, 65 secs
lola: 75108 markings, 75959 edges, 1000 markings/sec, 70 secs
lola: 80089 markings, 81005 edges, 996 markings/sec, 75 secs
lola: 85071 markings, 86051 edges, 996 markings/sec, 80 secs
lola: 90071 markings, 91103 edges, 1000 markings/sec, 85 secs
lola: 95040 markings, 96125 edges, 994 markings/sec, 90 secs
lola: 100009 markings, 101157 edges, 994 markings/sec, 95 secs
lola: 105050 markings, 106252 edges, 1008 markings/sec, 100 secs
lola: 110065 markings, 111320 edges, 1003 markings/sec, 105 secs
lola: 115059 markings, 116378 edges, 999 markings/sec, 110 secs
lola: 120061 markings, 121432 edges, 1000 markings/sec, 115 secs
lola: 125081 markings, 126504 edges, 1004 markings/sec, 120 secs
lola: 130057 markings, 131545 edges, 995 markings/sec, 125 secs
lola: 135011 markings, 136563 edges, 991 markings/sec, 130 secs
lola: 140006 markings, 141622 edges, 999 markings/sec, 135 secs
lola: 144991 markings, 146648 edges, 997 markings/sec, 140 secs
lola: 149966 markings, 151688 edges, 995 markings/sec, 145 secs
lola: 154994 markings, 156768 edges, 1006 markings/sec, 150 secs
lola: 160019 markings, 161858 edges, 1005 markings/sec, 155 secs
lola: 165023 markings, 166914 edges, 1001 markings/sec, 160 secs
lola: 169995 markings, 171939 edges, 994 markings/sec, 165 secs
lola: 175010 markings, 177017 edges, 1003 markings/sec, 170 secs
lola: 180000 markings, 182060 edges, 998 markings/sec, 175 secs
lola: 184962 markings, 187087 edges, 992 markings/sec, 180 secs
lola: 189941 markings, 192129 edges, 996 markings/sec, 185 secs
lola: 194929 markings, 197170 edges, 998 markings/sec, 190 secs
lola: 199926 markings, 202227 edges, 999 markings/sec, 195 secs
lola: 204932 markings, 207296 edges, 1001 markings/sec, 200 secs
lola: 209969 markings, 212386 edges, 1007 markings/sec, 205 secs
lola: 214969 markings, 217439 edges, 1000 markings/sec, 210 secs
lola: 219961 markings, 222495 edges, 998 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(p409)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5767 markings, 5812 edges, 1153 markings/sec, 0 secs
lola: 11458 markings, 11689 edges, 1138 markings/sec, 5 secs
lola: 17095 markings, 17538 edges, 1127 markings/sec, 10 secs
lola: 22743 markings, 23380 edges, 1130 markings/sec, 15 secs
lola: 28446 markings, 29252 edges, 1141 markings/sec, 20 secs
lola: 34030 markings, 35078 edges, 1117 markings/sec, 25 secs
lola: 39642 markings, 40908 edges, 1122 markings/sec, 30 secs
lola: 45321 markings, 46756 edges, 1136 markings/sec, 35 secs
lola: 50989 markings, 52611 edges, 1134 markings/sec, 40 secs
lola: 56708 markings, 58467 edges, 1144 markings/sec, 45 secs
lola: 62262 markings, 64189 edges, 1111 markings/sec, 50 secs
lola: 65416 markings, 76658 edges, 631 markings/sec, 55 secs
lola: 69827 markings, 85750 edges, 882 markings/sec, 60 secs
lola: 75355 markings, 91443 edges, 1106 markings/sec, 65 secs
lola: 80809 markings, 97047 edges, 1091 markings/sec, 70 secs
lola: 86265 markings, 102693 edges, 1091 markings/sec, 75 secs
lola: 90256 markings, 111407 edges, 798 markings/sec, 80 secs
lola: 93451 markings, 123872 edges, 639 markings/sec, 85 secs
lola: 99013 markings, 129546 edges, 1112 markings/sec, 90 secs
lola: 104543 markings, 135183 edges, 1106 markings/sec, 95 secs
lola: 109913 markings, 140743 edges, 1074 markings/sec, 100 secs
lola: 115266 markings, 146277 edges, 1071 markings/sec, 105 secs
lola: 120633 markings, 151785 edges, 1073 markings/sec, 110 secs
lola: 125982 markings, 157271 edges, 1070 markings/sec, 115 secs
lola: 131470 markings, 162959 edges, 1098 markings/sec, 120 secs
lola: 135755 markings, 167627 edges, 857 markings/sec, 125 secs
lola: 138926 markings, 171413 edges, 634 markings/sec, 130 secs
lola: 142076 markings, 175293 edges, 630 markings/sec, 135 secs
lola: 145164 markings, 189448 edges, 618 markings/sec, 140 secs
lola: 148209 markings, 211391 edges, 609 markings/sec, 145 secs
lola: 151251 markings, 233446 edges, 608 markings/sec, 150 secs
lola: 154391 markings, 242986 edges, 628 markings/sec, 155 secs
lola: 157567 markings, 246755 edges, 635 markings/sec, 160 secs
lola: 160715 markings, 250658 edges, 630 markings/sec, 165 secs
lola: 163773 markings, 267837 edges, 612 markings/sec, 170 secs
lola: 166800 markings, 289624 edges, 605 markings/sec, 175 secs
lola: 169825 markings, 311623 edges, 605 markings/sec, 180 secs
lola: 173008 markings, 318297 edges, 637 markings/sec, 185 secs
lola: 176202 markings, 322058 edges, 639 markings/sec, 190 secs
lola: 179371 markings, 325972 edges, 634 markings/sec, 195 secs
lola: 182439 markings, 335381 edges, 614 markings/sec, 200 secs
lola: 185426 markings, 347805 edges, 597 markings/sec, 205 secs
lola: 188388 markings, 361068 edges, 592 markings/sec, 210 secs
lola: 191376 markings, 373405 edges, 598 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(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4811 markings, 4916 edges, 962 markings/sec, 0 secs
lola: 9539 markings, 9736 edges, 946 markings/sec, 5 secs
lola: 14291 markings, 14536 edges, 950 markings/sec, 10 secs
lola: 19017 markings, 19310 edges, 945 markings/sec, 15 secs
lola: 23801 markings, 24142 edges, 957 markings/sec, 20 secs
lola: 28547 markings, 28936 edges, 949 markings/sec, 25 secs
lola: 33318 markings, 33756 edges, 954 markings/sec, 30 secs
lola: 38030 markings, 38527 edges, 942 markings/sec, 35 secs
lola: 42757 markings, 43302 edges, 945 markings/sec, 40 secs
lola: 47499 markings, 48092 edges, 948 markings/sec, 45 secs
lola: 52208 markings, 52861 edges, 942 markings/sec, 50 secs
lola: 56948 markings, 57649 edges, 948 markings/sec, 55 secs
lola: 61711 markings, 62461 edges, 953 markings/sec, 60 secs
lola: 66440 markings, 67238 edges, 946 markings/sec, 65 secs
lola: 71211 markings, 72057 edges, 954 markings/sec, 70 secs
lola: 75990 markings, 76930 edges, 956 markings/sec, 75 secs
lola: 80755 markings, 81743 edges, 953 markings/sec, 80 secs
lola: 85483 markings, 86519 edges, 946 markings/sec, 85 secs
lola: 90231 markings, 91326 edges, 950 markings/sec, 90 secs
lola: 94980 markings, 96123 edges, 950 markings/sec, 95 secs
lola: 99733 markings, 100925 edges, 951 markings/sec, 100 secs
lola: 104487 markings, 105727 edges, 951 markings/sec, 105 secs
lola: 109211 markings, 110499 edges, 945 markings/sec, 110 secs
lola: 113974 markings, 115321 edges, 953 markings/sec, 115 secs
lola: 118667 markings, 120139 edges, 939 markings/sec, 120 secs
lola: 123412 markings, 124974 edges, 949 markings/sec, 125 secs
lola: 128167 markings, 129767 edges, 951 markings/sec, 130 secs
lola: 132897 markings, 134556 edges, 946 markings/sec, 135 secs
lola: 137648 markings, 139355 edges, 950 markings/sec, 140 secs
lola: 142382 markings, 144153 edges, 947 markings/sec, 145 secs
lola: 147154 markings, 148973 edges, 954 markings/sec, 150 secs
lola: 151882 markings, 153760 edges, 946 markings/sec, 155 secs
lola: 156648 markings, 158574 edges, 953 markings/sec, 160 secs
lola: 161384 markings, 163359 edges, 947 markings/sec, 165 secs
lola: 166148 markings, 168171 edges, 953 markings/sec, 170 secs
lola: 170885 markings, 172956 edges, 947 markings/sec, 175 secs
lola: 175639 markings, 177769 edges, 951 markings/sec, 180 secs
lola: 180384 markings, 182562 edges, 949 markings/sec, 185 secs
lola: 185162 markings, 187417 edges, 956 markings/sec, 190 secs
lola: 189889 markings, 192203 edges, 945 markings/sec, 195 secs
lola: 194647 markings, 197009 edges, 952 markings/sec, 200 secs
lola: 199416 markings, 201816 edges, 954 markings/sec, 205 secs
lola: 204108 markings, 206583 edges, 938 markings/sec, 210 secs
lola: 208847 markings, 211381 edges, 948 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(p644 + p645 + p646 + p647 + p648 + p649 + p650 + p651)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3595 markings, 8507 edges, 719 markings/sec, 0 secs
lola: 7049 markings, 17059 edges, 691 markings/sec, 5 secs
lola: 10533 markings, 26785 edges, 697 markings/sec, 10 secs
lola: 14162 markings, 36606 edges, 726 markings/sec, 15 secs
lola: 17797 markings, 46230 edges, 727 markings/sec, 20 secs
lola: 21193 markings, 56458 edges, 679 markings/sec, 25 secs
lola: 24611 markings, 67046 edges, 684 markings/sec, 30 secs
lola: 28006 markings, 77633 edges, 679 markings/sec, 35 secs
lola: 31579 markings, 88051 edges, 715 markings/sec, 40 secs
lola: 35924 markings, 95765 edges, 869 markings/sec, 45 secs
lola: 39758 markings, 103127 edges, 767 markings/sec, 50 secs
lola: 42924 markings, 113481 edges, 633 markings/sec, 55 secs
lola: 46760 markings, 121916 edges, 767 markings/sec, 60 secs
lola: 50305 markings, 131055 edges, 709 markings/sec, 65 secs
lola: 53918 markings, 140467 edges, 723 markings/sec, 70 secs
lola: 57372 markings, 151822 edges, 691 markings/sec, 75 secs
lola: 62522 markings, 158387 edges, 1030 markings/sec, 80 secs
lola: 66287 markings, 168709 edges, 753 markings/sec, 85 secs
lola: 70155 markings, 177878 edges, 774 markings/sec, 90 secs
lola: 73801 markings, 188806 edges, 729 markings/sec, 95 secs
lola: 77886 markings, 198010 edges, 817 markings/sec, 100 secs
lola: 81445 markings, 209033 edges, 712 markings/sec, 105 secs
lola: 85106 markings, 219935 edges, 732 markings/sec, 110 secs
lola: 88760 markings, 230834 edges, 731 markings/sec, 115 secs
lola: 92365 markings, 241614 edges, 721 markings/sec, 120 secs
lola: 96149 markings, 252399 edges, 757 markings/sec, 125 secs
lola: 100459 markings, 260978 edges, 862 markings/sec, 130 secs
lola: 104970 markings, 269036 edges, 902 markings/sec, 135 secs
lola: 109259 markings, 278215 edges, 858 markings/sec, 140 secs
lola: 113309 markings, 286849 edges, 810 markings/sec, 145 secs
lola: 117165 markings, 297243 edges, 771 markings/sec, 150 secs
lola: 121368 markings, 305841 edges, 841 markings/sec, 155 secs
lola: 124903 markings, 318319 edges, 707 markings/sec, 160 secs
lola: 128424 markings, 330618 edges, 704 markings/sec, 165 secs
lola: 131931 markings, 343360 edges, 701 markings/sec, 170 secs
lola: 135447 markings, 355168 edges, 703 markings/sec, 175 secs
lola: 139109 markings, 367657 edges, 732 markings/sec, 180 secs
lola: 143723 markings, 375322 edges, 923 markings/sec, 185 secs
lola: 148562 markings, 382234 edges, 968 markings/sec, 190 secs
lola: 153078 markings, 390660 edges, 903 markings/sec, 195 secs
lola: 157614 markings, 398659 edges, 907 markings/sec, 200 secs
lola: 161581 markings, 408744 edges, 793 markings/sec, 205 secs
lola: 165848 markings, 418230 edges, 853 markings/sec, 210 secs
lola: 169594 markings, 429644 edges, 749 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(p410)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6827 markings, 6881 edges, 1365 markings/sec, 0 secs
lola: 13715 markings, 13905 edges, 1378 markings/sec, 5 secs
lola: 20641 markings, 20908 edges, 1385 markings/sec, 10 secs
lola: 27539 markings, 27906 edges, 1380 markings/sec, 15 secs
lola: 34374 markings, 34855 edges, 1367 markings/sec, 20 secs
lola: 41208 markings, 41870 edges, 1367 markings/sec, 25 secs
lola: 48095 markings, 48832 edges, 1377 markings/sec, 30 secs
lola: 54940 markings, 55853 edges, 1369 markings/sec, 35 secs
lola: 61751 markings, 62896 edges, 1362 markings/sec, 40 secs
lola: 68531 markings, 69819 edges, 1356 markings/sec, 45 secs
lola: 75337 markings, 76755 edges, 1361 markings/sec, 50 secs
lola: 82141 markings, 83700 edges, 1361 markings/sec, 55 secs
lola: 89048 markings, 90683 edges, 1381 markings/sec, 60 secs
lola: 95956 markings, 97800 edges, 1382 markings/sec, 65 secs
lola: 102798 markings, 104753 edges, 1368 markings/sec, 70 secs
lola: 109650 markings, 111844 edges, 1370 markings/sec, 75 secs
lola: 116492 markings, 118858 edges, 1368 markings/sec, 80 secs
lola: 123268 markings, 125805 edges, 1355 markings/sec, 85 secs
lola: 130142 markings, 132758 edges, 1375 markings/sec, 90 secs
lola: 136969 markings, 139845 edges, 1365 markings/sec, 95 secs
lola: 143836 markings, 146835 edges, 1373 markings/sec, 100 secs
lola: 150607 markings, 153749 edges, 1354 markings/sec, 105 secs
lola: 157367 markings, 160656 edges, 1352 markings/sec, 110 secs
lola: 164176 markings, 167659 edges, 1362 markings/sec, 115 secs
lola: 171031 markings, 174772 edges, 1371 markings/sec, 120 secs
lola: 177891 markings, 181818 edges, 1372 markings/sec, 125 secs
lola: 184669 markings, 188823 edges, 1356 markings/sec, 130 secs
lola: 191483 markings, 195802 edges, 1363 markings/sec, 135 secs
lola: 198347 markings, 202844 edges, 1373 markings/sec, 140 secs
lola: 205142 markings, 209846 edges, 1359 markings/sec, 145 secs
lola: 212012 markings, 216939 edges, 1374 markings/sec, 150 secs
lola: 218772 markings, 223943 edges, 1352 markings/sec, 155 secs
lola: 225550 markings, 230909 edges, 1356 markings/sec, 160 secs
lola: 232355 markings, 238011 edges, 1361 markings/sec, 165 secs
lola: 239150 markings, 244981 edges, 1359 markings/sec, 170 secs
lola: 245909 markings, 251873 edges, 1352 markings/sec, 175 secs
lola: 252691 markings, 258941 edges, 1356 markings/sec, 180 secs
lola: 259529 markings, 266035 edges, 1368 markings/sec, 185 secs
lola: 266354 markings, 273094 edges, 1365 markings/sec, 190 secs
lola: 273151 markings, 280202 edges, 1359 markings/sec, 195 secs
lola: 279951 markings, 287131 edges, 1360 markings/sec, 200 secs
lola: 286744 markings, 294132 edges, 1359 markings/sec, 205 secs
lola: 293475 markings, 301069 edges, 1346 markings/sec, 210 secs
lola: 300202 markings, 307998 edges, 1345 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(p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6698 markings, 6797 edges, 1340 markings/sec, 0 secs
lola: 13396 markings, 13742 edges, 1340 markings/sec, 5 secs
lola: 20163 markings, 20741 edges, 1353 markings/sec, 10 secs
lola: 26905 markings, 27724 edges, 1348 markings/sec, 15 secs
lola: 33588 markings, 34637 edges, 1337 markings/sec, 20 secs
lola: 40358 markings, 41587 edges, 1354 markings/sec, 25 secs
lola: 47114 markings, 48617 edges, 1351 markings/sec, 30 secs
lola: 53814 markings, 55560 edges, 1340 markings/sec, 35 secs
lola: 60163 markings, 62108 edges, 1270 markings/sec, 40 secs
lola: 66834 markings, 69030 edges, 1334 markings/sec, 45 secs
lola: 73543 markings, 75970 edges, 1342 markings/sec, 50 secs
lola: 80248 markings, 82929 edges, 1341 markings/sec, 55 secs
lola: 87004 markings, 89866 edges, 1351 markings/sec, 60 secs
lola: 93762 markings, 96802 edges, 1352 markings/sec, 65 secs
lola: 100461 markings, 103761 edges, 1340 markings/sec, 70 secs
lola: 107139 markings, 110653 edges, 1336 markings/sec, 75 secs
lola: 113932 markings, 117671 edges, 1359 markings/sec, 80 secs
lola: 120603 markings, 124554 edges, 1334 markings/sec, 85 secs
lola: 127423 markings, 131549 edges, 1364 markings/sec, 90 secs
lola: 134122 markings, 138493 edges, 1340 markings/sec, 95 secs
lola: 140754 markings, 145309 edges, 1326 markings/sec, 100 secs
lola: 147342 markings, 152117 edges, 1318 markings/sec, 105 secs
lola: 153884 markings, 158891 edges, 1308 markings/sec, 110 secs
lola: 160547 markings, 165716 edges, 1333 markings/sec, 115 secs
lola: 167252 markings, 172560 edges, 1341 markings/sec, 120 secs
lola: 173977 markings, 179555 edges, 1345 markings/sec, 125 secs
lola: 180650 markings, 186520 edges, 1335 markings/sec, 130 secs
lola: 186948 markings, 192979 edges, 1260 markings/sec, 135 secs
lola: 193568 markings, 199780 edges, 1324 markings/sec, 140 secs
lola: 200279 markings, 206789 edges, 1342 markings/sec, 145 secs
lola: 206969 markings, 213738 edges, 1338 markings/sec, 150 secs
lola: 213656 markings, 220677 edges, 1337 markings/sec, 155 secs
lola: 220323 markings, 227575 edges, 1333 markings/sec, 160 secs
lola: 227009 markings, 234448 edges, 1337 markings/sec, 165 secs
lola: 233694 markings, 241388 edges, 1337 markings/sec, 170 secs
lola: 240378 markings, 248264 edges, 1337 markings/sec, 175 secs
lola: 247123 markings, 255273 edges, 1349 markings/sec, 180 secs
lola: 253880 markings, 262232 edges, 1351 markings/sec, 185 secs
lola: 260640 markings, 269239 edges, 1352 markings/sec, 190 secs
lola: 267319 markings, 276222 edges, 1336 markings/sec, 195 secs
lola: 274083 markings, 283225 edges, 1353 markings/sec, 200 secs
lola: 280868 markings, 290254 edges, 1357 markings/sec, 205 secs
lola: 287545 markings, 297222 edges, 1335 markings/sec, 210 secs
lola: 294278 markings, 304193 edges, 1347 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(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5701 markings, 5765 edges, 1140 markings/sec, 0 secs
lola: 11401 markings, 11568 edges, 1140 markings/sec, 5 secs
lola: 17008 markings, 17278 edges, 1121 markings/sec, 10 secs
lola: 22659 markings, 23092 edges, 1130 markings/sec, 15 secs
lola: 28250 markings, 28843 edges, 1118 markings/sec, 20 secs
lola: 33865 markings, 34594 edges, 1123 markings/sec, 25 secs
lola: 39506 markings, 40408 edges, 1128 markings/sec, 30 secs
lola: 44977 markings, 46063 edges, 1094 markings/sec, 35 secs
lola: 50641 markings, 51955 edges, 1133 markings/sec, 40 secs
lola: 56307 markings, 57765 edges, 1133 markings/sec, 45 secs
lola: 61802 markings, 63460 edges, 1099 markings/sec, 50 secs
lola: 67378 markings, 69188 edges, 1115 markings/sec, 55 secs
lola: 73016 markings, 74974 edges, 1128 markings/sec, 60 secs
lola: 78543 markings, 80685 edges, 1105 markings/sec, 65 secs
lola: 84197 markings, 86464 edges, 1131 markings/sec, 70 secs
lola: 89818 markings, 92223 edges, 1124 markings/sec, 75 secs
lola: 95449 markings, 98063 edges, 1126 markings/sec, 80 secs
lola: 101066 markings, 103822 edges, 1123 markings/sec, 85 secs
lola: 106579 markings, 109508 edges, 1103 markings/sec, 90 secs
lola: 112148 markings, 115240 edges, 1114 markings/sec, 95 secs
lola: 117771 markings, 121000 edges, 1125 markings/sec, 100 secs
lola: 123410 markings, 126786 edges, 1128 markings/sec, 105 secs
lola: 129034 markings, 132557 edges, 1125 markings/sec, 110 secs
lola: 134627 markings, 138315 edges, 1119 markings/sec, 115 secs
lola: 140268 markings, 144095 edges, 1128 markings/sec, 120 secs
lola: 145893 markings, 149850 edges, 1125 markings/sec, 125 secs
lola: 151434 markings, 155577 edges, 1108 markings/sec, 130 secs
lola: 156992 markings, 161306 edges, 1112 markings/sec, 135 secs
lola: 162519 markings, 167039 edges, 1105 markings/sec, 140 secs
lola: 168172 markings, 172819 edges, 1131 markings/sec, 145 secs
lola: 173823 markings, 178586 edges, 1130 markings/sec, 150 secs
lola: 179429 markings, 184310 edges, 1121 markings/sec, 155 secs
lola: 185052 markings, 190098 edges, 1125 markings/sec, 160 secs
lola: 190571 markings, 195827 edges, 1104 markings/sec, 165 secs
lola: 196133 markings, 201577 edges, 1112 markings/sec, 170 secs
lola: 201725 markings, 207303 edges, 1118 markings/sec, 175 secs
lola: 207362 markings, 213191 edges, 1127 markings/sec, 180 secs
lola: 212968 markings, 218937 edges, 1121 markings/sec, 185 secs
lola: 218487 markings, 224704 edges, 1104 markings/sec, 190 secs
lola: 224116 markings, 230646 edges, 1126 markings/sec, 195 secs
lola: 229749 markings, 236479 edges, 1127 markings/sec, 200 secs
lola: 235409 markings, 242251 edges, 1132 markings/sec, 205 secs
lola: 241196 markings, 248195 edges, 1157 markings/sec, 210 secs
lola: 246734 markings, 253891 edges, 1108 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(p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5016 markings, 5052 edges, 1003 markings/sec, 0 secs
lola: 9973 markings, 10058 edges, 991 markings/sec, 5 secs
lola: 14914 markings, 15040 edges, 988 markings/sec, 10 secs
lola: 19903 markings, 20077 edges, 998 markings/sec, 15 secs
lola: 24891 markings, 25111 edges, 998 markings/sec, 20 secs
lola: 29852 markings, 30125 edges, 992 markings/sec, 25 secs
lola: 34790 markings, 35107 edges, 988 markings/sec, 30 secs
lola: 39722 markings, 40085 edges, 986 markings/sec, 35 secs
lola: 44649 markings, 45064 edges, 985 markings/sec, 40 secs
lola: 49606 markings, 50061 edges, 991 markings/sec, 45 secs
lola: 54553 markings, 55064 edges, 989 markings/sec, 50 secs
lola: 59406 markings, 59957 edges, 971 markings/sec, 55 secs
lola: 64384 markings, 64982 edges, 996 markings/sec, 60 secs
lola: 69337 markings, 69975 edges, 991 markings/sec, 65 secs
lola: 74362 markings, 75056 edges, 1005 markings/sec, 70 secs
lola: 79313 markings, 80077 edges, 990 markings/sec, 75 secs
lola: 84282 markings, 85132 edges, 994 markings/sec, 80 secs
lola: 89247 markings, 90146 edges, 993 markings/sec, 85 secs
lola: 94030 markings, 94975 edges, 957 markings/sec, 90 secs
lola: 98939 markings, 99941 edges, 982 markings/sec, 95 secs
lola: 103831 markings, 104881 edges, 978 markings/sec, 100 secs
lola: 108645 markings, 109749 edges, 963 markings/sec, 105 secs
lola: 113418 markings, 114564 edges, 955 markings/sec, 110 secs
lola: 118222 markings, 119410 edges, 961 markings/sec, 115 secs
lola: 123129 markings, 124370 edges, 981 markings/sec, 120 secs
lola: 127745 markings, 129020 edges, 923 markings/sec, 125 secs
lola: 132575 markings, 133894 edges, 966 markings/sec, 130 secs
lola: 137525 markings, 138900 edges, 990 markings/sec, 135 secs
lola: 142494 markings, 143913 edges, 994 markings/sec, 140 secs
lola: 147513 markings, 148993 edges, 1004 markings/sec, 145 secs
lola: 152533 markings, 154086 edges, 1004 markings/sec, 150 secs
lola: 157552 markings, 159187 edges, 1004 markings/sec, 155 secs
lola: 162551 markings, 164244 edges, 1000 markings/sec, 160 secs
lola: 167516 markings, 169249 edges, 993 markings/sec, 165 secs
lola: 172525 markings, 174314 edges, 1002 markings/sec, 170 secs
lola: 177486 markings, 179315 edges, 992 markings/sec, 175 secs
lola: 182506 markings, 184382 edges, 1004 markings/sec, 180 secs
lola: 187452 markings, 189386 edges, 989 markings/sec, 185 secs
lola: 192439 markings, 194429 edges, 997 markings/sec, 190 secs
lola: 197396 markings, 199426 edges, 991 markings/sec, 195 secs
lola: 202375 markings, 204449 edges, 996 markings/sec, 200 secs
lola: 207325 markings, 209451 edges, 990 markings/sec, 205 secs
lola: 212045 markings, 214256 edges, 944 markings/sec, 210 secs
lola: 217064 markings, 219320 edges, 1004 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(p540 + p541 + p542 + p543 + p544 + p545 + p546 + p547)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 5106 markings, 6254 edges, 1021 markings/sec, 0 secs
lola: 9225 markings, 17276 edges, 824 markings/sec, 5 secs
lola: 12839 markings, 31048 edges, 723 markings/sec, 10 secs
lola: 16412 markings, 43377 edges, 715 markings/sec, 15 secs
lola: 20075 markings, 57554 edges, 733 markings/sec, 20 secs
lola: 23749 markings, 73286 edges, 735 markings/sec, 25 secs
lola: 27785 markings, 87202 edges, 807 markings/sec, 30 secs
lola: 31824 markings, 101302 edges, 808 markings/sec, 35 secs
lola: 35862 markings, 115431 edges, 808 markings/sec, 40 secs
lola: 39889 markings, 129068 edges, 805 markings/sec, 45 secs
lola: 43689 markings, 137467 edges, 760 markings/sec, 50 secs
lola: 47489 markings, 145461 edges, 760 markings/sec, 55 secs
lola: 51304 markings, 154835 edges, 763 markings/sec, 60 secs
lola: 55086 markings, 161069 edges, 756 markings/sec, 65 secs
lola: 58876 markings, 166866 edges, 758 markings/sec, 70 secs
lola: 62643 markings, 173848 edges, 753 markings/sec, 75 secs
lola: 66334 markings, 187008 edges, 738 markings/sec, 80 secs
lola: 70007 markings, 201448 edges, 735 markings/sec, 85 secs
lola: 73687 markings, 215769 edges, 736 markings/sec, 90 secs
lola: 77622 markings, 229521 edges, 787 markings/sec, 95 secs
lola: 81654 markings, 243518 edges, 806 markings/sec, 100 secs
lola: 85691 markings, 257602 edges, 807 markings/sec, 105 secs
lola: 89532 markings, 266686 edges, 768 markings/sec, 110 secs
lola: 93326 markings, 274501 edges, 759 markings/sec, 115 secs
lola: 97121 markings, 280904 edges, 759 markings/sec, 120 secs
lola: 100877 markings, 289382 edges, 751 markings/sec, 125 secs
lola: 104566 markings, 302683 edges, 738 markings/sec, 130 secs
lola: 108466 markings, 316875 edges, 780 markings/sec, 135 secs
lola: 112457 markings, 329880 edges, 798 markings/sec, 140 secs
lola: 116220 markings, 339012 edges, 753 markings/sec, 145 secs
lola: 120074 markings, 351273 edges, 771 markings/sec, 150 secs
lola: 123847 markings, 359432 edges, 755 markings/sec, 155 secs
lola: 127680 markings, 373075 edges, 767 markings/sec, 160 secs
lola: 131526 markings, 384831 edges, 769 markings/sec, 165 secs
lola: 135373 markings, 396367 edges, 769 markings/sec, 170 secs
lola: 139207 markings, 407701 edges, 767 markings/sec, 175 secs
lola: 143017 markings, 419195 edges, 762 markings/sec, 180 secs
lola: 146826 markings, 430100 edges, 762 markings/sec, 185 secs
lola: 150629 markings, 440562 edges, 761 markings/sec, 190 secs
lola: 154430 markings, 451563 edges, 760 markings/sec, 195 secs
lola: 158212 markings, 459520 edges, 756 markings/sec, 200 secs
lola: 161994 markings, 468209 edges, 756 markings/sec, 205 secs
lola: 165768 markings, 474064 edges, 755 markings/sec, 210 secs
lola: 169545 markings, 479727 edges, 755 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(p822 + p823 + p824 + p825 + p826 + p827 + p828 + p829)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3328 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6633 markings, 6687 edges, 1327 markings/sec, 0 secs
lola: 13607 markings, 13780 edges, 1395 markings/sec, 5 secs
lola: 20624 markings, 20891 edges, 1403 markings/sec, 10 secs
lola: 27615 markings, 27982 edges, 1398 markings/sec, 15 secs
lola: 34544 markings, 35028 edges, 1386 markings/sec, 20 secs
lola: 41471 markings, 42133 edges, 1385 markings/sec, 25 secs
lola: 48463 markings, 49200 edges, 1398 markings/sec, 30 secs
lola: 55399 markings, 56312 edges, 1387 markings/sec, 35 secs
lola: 62307 markings, 63453 edges, 1382 markings/sec, 40 secs
lola: 69170 markings, 70478 edges, 1373 markings/sec, 45 secs
lola: 76075 markings, 77541 edges, 1381 markings/sec, 50 secs
lola: 83000 markings, 84560 edges, 1385 markings/sec, 55 secs
lola: 90003 markings, 91656 edges, 1401 markings/sec, 60 secs
lola: 97012 markings, 98857 edges, 1402 markings/sec, 65 secs
lola: 103924 markings, 105899 edges, 1382 markings/sec, 70 secs
lola: 110916 markings, 113144 edges, 1398 markings/sec, 75 secs
lola: 117757 markings, 120159 edges, 1368 markings/sec, 80 secs
lola: 124506 markings, 127047 edges, 1350 markings/sec, 85 secs
lola: 131370 markings, 134021 edges, 1373 markings/sec, 90 secs
lola: 138014 markings, 140892 edges, 1329 markings/sec, 95 secs
lola: 144928 markings, 147928 edges, 1383 markings/sec, 100 secs
lola: 151765 markings, 154910 edges, 1367 markings/sec, 105 secs
lola: 158558 markings, 161943 edges, 1359 markings/sec, 110 secs
lola: 165430 markings, 168947 edges, 1374 markings/sec, 115 secs
lola: 172328 markings, 176118 edges, 1380 markings/sec, 120 secs
lola: 179261 markings, 183237 edges, 1387 markings/sec, 125 secs
lola: 186062 markings, 190279 edges, 1360 markings/sec, 130 secs
lola: 192963 markings, 197314 edges, 1380 markings/sec, 135 secs
lola: 199884 markings, 204477 edges, 1384 markings/sec, 140 secs
lola: 206754 markings, 211536 edges, 1374 markings/sec, 145 secs
lola: 213691 markings, 218665 edges, 1387 markings/sec, 150 secs
lola: 220473 markings, 225696 edges, 1356 markings/sec, 155 secs
lola: 227310 markings, 232770 edges, 1367 markings/sec, 160 secs
lola: 234211 markings, 239924 edges, 1380 markings/sec, 165 secs
lola: 241082 markings, 246947 edges, 1374 markings/sec, 170 secs
lola: 247897 markings, 253913 edges, 1363 markings/sec, 175 secs
lola: 254701 markings, 261053 edges, 1361 markings/sec, 180 secs
lola: 261607 markings, 268170 edges, 1381 markings/sec, 185 secs
lola: 268460 markings, 275298 edges, 1371 markings/sec, 190 secs
lola: 274721 markings, 281827 edges, 1252 markings/sec, 195 secs
lola: 281546 markings, 288795 edges, 1365 markings/sec, 200 secs
lola: 288360 markings, 295832 edges, 1363 markings/sec, 205 secs
lola: 295163 markings, 302827 edges, 1361 markings/sec, 210 secs
lola: 301948 markings, 309795 edges, 1357 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J06T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494677927744

--------------------
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="PolyORBLF-COL-S06J06T08"
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/PolyORBLF-COL-S06J06T08.tgz
mv PolyORBLF-COL-S06J06T08 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 PolyORBLF-COL-S06J06T08, 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 r048-smll-149440869900416"
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 ;