Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................................................................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S06J06T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500416
=====================================================================

--------------------
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 1496439063011


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S06J06T08: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S06J06T08: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S06J06T08 @ 3536 seconds
----- Start make result stdout -----
lola: LoLA will run for 3536 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(p450) : MAX(p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191) : MAX(p677 + p676 + p675 + p674 + p673 + p672 + p671) : MAX(p170 + p171 + p172 + p173 + p174 + p175 + p176) : MAX(p850) : MAX(p168) : MAX(p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801) : MAX(p769) : MAX(p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199) : MAX(p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572) : MAX(p678) : MAX(p100 + p101 + p102 + p103 + p98 + p97 + p96 + p99) : MAX(p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253) : MAX(p686 + p685 + p684 + p683 + p682 + p681 + p680 + p679) : MAX(p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786) : MAX(p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p450)
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: 3998 markings, 4009 edges, 800 markings/sec, 0 secs
lola: 8011 markings, 8030 edges, 803 markings/sec, 5 secs
lola: 12026 markings, 12055 edges, 803 markings/sec, 10 secs
lola: 16042 markings, 16080 edges, 803 markings/sec, 15 secs
lola: 20069 markings, 20116 edges, 805 markings/sec, 20 secs
lola: 24069 markings, 24123 edges, 800 markings/sec, 25 secs
lola: 28061 markings, 28123 edges, 798 markings/sec, 30 secs
lola: 32048 markings, 32121 edges, 797 markings/sec, 35 secs
lola: 36172 markings, 36254 edges, 825 markings/sec, 40 secs
lola: 40015 markings, 40106 edges, 769 markings/sec, 45 secs
lola: 44121 markings, 44222 edges, 821 markings/sec, 50 secs
lola: 48372 markings, 48497 edges, 850 markings/sec, 55 secs
lola: 52603 markings, 52779 edges, 846 markings/sec, 60 secs
lola: 56815 markings, 57000 edges, 842 markings/sec, 65 secs
lola: 61053 markings, 61248 edges, 848 markings/sec, 70 secs
lola: 65313 markings, 65516 edges, 852 markings/sec, 75 secs
lola: 69576 markings, 69805 edges, 853 markings/sec, 80 secs
lola: 73816 markings, 74094 edges, 848 markings/sec, 85 secs
lola: 78089 markings, 78375 edges, 855 markings/sec, 90 secs
lola: 82366 markings, 82660 edges, 855 markings/sec, 95 secs
lola: 86651 markings, 86957 edges, 857 markings/sec, 100 secs
lola: 90923 markings, 91238 edges, 854 markings/sec, 105 secs
lola: 94988 markings, 95311 edges, 813 markings/sec, 110 secs
lola: 99207 markings, 99579 edges, 844 markings/sec, 115 secs
lola: 103436 markings, 103845 edges, 846 markings/sec, 120 secs
lola: 107684 markings, 108119 edges, 850 markings/sec, 125 secs
lola: 111940 markings, 112381 edges, 851 markings/sec, 130 secs
lola: 116178 markings, 116628 edges, 848 markings/sec, 135 secs
lola: 120373 markings, 120832 edges, 839 markings/sec, 140 secs
lola: 124576 markings, 125044 edges, 841 markings/sec, 145 secs
lola: 128820 markings, 129300 edges, 849 markings/sec, 150 secs
lola: 133065 markings, 133554 edges, 849 markings/sec, 155 secs
lola: 137290 markings, 137791 edges, 845 markings/sec, 160 secs
lola: 141491 markings, 142015 edges, 840 markings/sec, 165 secs
lola: 145805 markings, 146338 edges, 863 markings/sec, 170 secs
lola: 150102 markings, 150658 edges, 859 markings/sec, 175 secs
lola: 154398 markings, 154975 edges, 859 markings/sec, 180 secs
lola: 158720 markings, 159324 edges, 864 markings/sec, 185 secs
lola: 163003 markings, 163618 edges, 857 markings/sec, 190 secs
lola: 167261 markings, 167886 edges, 852 markings/sec, 195 secs
lola: 171528 markings, 172163 edges, 853 markings/sec, 200 secs
lola: 175826 markings, 176474 edges, 860 markings/sec, 205 secs
lola: 180107 markings, 180770 edges, 856 markings/sec, 210 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 220 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: 4241 markings, 4477 edges, 848 markings/sec, 0 secs
lola: 8489 markings, 9096 edges, 850 markings/sec, 5 secs
lola: 12755 markings, 13743 edges, 853 markings/sec, 10 secs
lola: 17046 markings, 18491 edges, 858 markings/sec, 15 secs
lola: 21328 markings, 23132 edges, 856 markings/sec, 20 secs
lola: 25600 markings, 27816 edges, 854 markings/sec, 25 secs
lola: 29883 markings, 32513 edges, 857 markings/sec, 30 secs
lola: 34149 markings, 37168 edges, 853 markings/sec, 35 secs
lola: 38454 markings, 41905 edges, 861 markings/sec, 40 secs
lola: 42772 markings, 46659 edges, 864 markings/sec, 45 secs
lola: 47063 markings, 51369 edges, 858 markings/sec, 50 secs
lola: 51418 markings, 56239 edges, 871 markings/sec, 55 secs
lola: 55765 markings, 61022 edges, 869 markings/sec, 60 secs
lola: 60094 markings, 65809 edges, 866 markings/sec, 65 secs
lola: 64456 markings, 70739 edges, 872 markings/sec, 70 secs
lola: 68773 markings, 75498 edges, 863 markings/sec, 75 secs
lola: 73111 markings, 80318 edges, 868 markings/sec, 80 secs
lola: 77451 markings, 85101 edges, 868 markings/sec, 85 secs
lola: 81801 markings, 89914 edges, 870 markings/sec, 90 secs
lola: 86147 markings, 94795 edges, 869 markings/sec, 95 secs
lola: 90471 markings, 99551 edges, 865 markings/sec, 100 secs
lola: 94784 markings, 104372 edges, 863 markings/sec, 105 secs
lola: 99144 markings, 109175 edges, 872 markings/sec, 110 secs
lola: 103476 markings, 114031 edges, 866 markings/sec, 115 secs
lola: 107831 markings, 118837 edges, 871 markings/sec, 120 secs
lola: 112140 markings, 123573 edges, 862 markings/sec, 125 secs
lola: 116478 markings, 128313 edges, 868 markings/sec, 130 secs
lola: 120804 markings, 133144 edges, 865 markings/sec, 135 secs
lola: 125172 markings, 138090 edges, 874 markings/sec, 140 secs
lola: 129470 markings, 142759 edges, 860 markings/sec, 145 secs
lola: 133805 markings, 147591 edges, 867 markings/sec, 150 secs
lola: 138159 markings, 152496 edges, 871 markings/sec, 155 secs
lola: 142480 markings, 157334 edges, 864 markings/sec, 160 secs
lola: 146803 markings, 162179 edges, 865 markings/sec, 165 secs
lola: 151155 markings, 167041 edges, 870 markings/sec, 170 secs
lola: 155503 markings, 171875 edges, 870 markings/sec, 175 secs
lola: 159852 markings, 176715 edges, 870 markings/sec, 180 secs
lola: 164231 markings, 181679 edges, 876 markings/sec, 185 secs
lola: 168571 markings, 186467 edges, 868 markings/sec, 190 secs
lola: 172934 markings, 191377 edges, 873 markings/sec, 195 secs
lola: 177270 markings, 196315 edges, 867 markings/sec, 200 secs
lola: 181617 markings, 201281 edges, 869 markings/sec, 205 secs
lola: 185947 markings, 206206 edges, 866 markings/sec, 210 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(p677 + p676 + p675 + p674 + p673 + p672 + p671)
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: 4402 markings, 4417 edges, 880 markings/sec, 0 secs
lola: 8818 markings, 8848 edges, 883 markings/sec, 5 secs
lola: 13213 markings, 13257 edges, 879 markings/sec, 10 secs
lola: 17617 markings, 17676 edges, 881 markings/sec, 15 secs
lola: 22016 markings, 22093 edges, 880 markings/sec, 20 secs
lola: 26404 markings, 26500 edges, 878 markings/sec, 25 secs
lola: 30691 markings, 30802 edges, 857 markings/sec, 30 secs
lola: 34953 markings, 35083 edges, 852 markings/sec, 35 secs
lola: 39335 markings, 39480 edges, 876 markings/sec, 40 secs
lola: 43814 markings, 43973 edges, 896 markings/sec, 45 secs
lola: 48233 markings, 48408 edges, 884 markings/sec, 50 secs
lola: 52513 markings, 52704 edges, 856 markings/sec, 55 secs
lola: 56794 markings, 57002 edges, 856 markings/sec, 60 secs
lola: 61129 markings, 61353 edges, 867 markings/sec, 65 secs
lola: 65531 markings, 65769 edges, 880 markings/sec, 70 secs
lola: 69937 markings, 70197 edges, 881 markings/sec, 75 secs
lola: 74363 markings, 74643 edges, 885 markings/sec, 80 secs
lola: 78802 markings, 79098 edges, 888 markings/sec, 85 secs
lola: 83196 markings, 83507 edges, 879 markings/sec, 90 secs
lola: 87405 markings, 87733 edges, 842 markings/sec, 95 secs
lola: 91680 markings, 92025 edges, 855 markings/sec, 100 secs
lola: 95959 markings, 96326 edges, 856 markings/sec, 105 secs
lola: 100200 markings, 100587 edges, 848 markings/sec, 110 secs
lola: 104466 markings, 104868 edges, 853 markings/sec, 115 secs
lola: 108696 markings, 109119 edges, 846 markings/sec, 120 secs
lola: 112953 markings, 113398 edges, 851 markings/sec, 125 secs
lola: 117190 markings, 117655 edges, 847 markings/sec, 130 secs
lola: 121424 markings, 121911 edges, 847 markings/sec, 135 secs
lola: 125687 markings, 126190 edges, 853 markings/sec, 140 secs
lola: 129940 markings, 130459 edges, 851 markings/sec, 145 secs
lola: 134191 markings, 134730 edges, 850 markings/sec, 150 secs
lola: 138433 markings, 138987 edges, 848 markings/sec, 155 secs
lola: 142687 markings, 143259 edges, 851 markings/sec, 160 secs
lola: 146927 markings, 147520 edges, 848 markings/sec, 165 secs
lola: 151147 markings, 151761 edges, 844 markings/sec, 170 secs
lola: 155377 markings, 156016 edges, 846 markings/sec, 175 secs
lola: 159623 markings, 160278 edges, 849 markings/sec, 180 secs
lola: 163881 markings, 164562 edges, 852 markings/sec, 185 secs
lola: 168136 markings, 168830 edges, 851 markings/sec, 190 secs
lola: 172401 markings, 173111 edges, 853 markings/sec, 195 secs
lola: 176628 markings, 177364 edges, 845 markings/sec, 200 secs
lola: 180870 markings, 181627 edges, 848 markings/sec, 205 secs
lola: 185137 markings, 185908 edges, 853 markings/sec, 210 secs
lola: 189348 markings, 190146 edges, 842 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(p170 + p171 + p172 + p173 + p174 + p175 + p176)
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: 4237 markings, 4243 edges, 847 markings/sec, 0 secs
lola: 8461 markings, 8499 edges, 845 markings/sec, 5 secs
lola: 12626 markings, 12670 edges, 833 markings/sec, 10 secs
lola: 16807 markings, 16857 edges, 836 markings/sec, 15 secs
lola: 20979 markings, 21035 edges, 834 markings/sec, 20 secs
lola: 25167 markings, 25230 edges, 838 markings/sec, 25 secs
lola: 29330 markings, 29399 edges, 833 markings/sec, 30 secs
lola: 33521 markings, 33598 edges, 838 markings/sec, 35 secs
lola: 37678 markings, 37761 edges, 831 markings/sec, 40 secs
lola: 41863 markings, 41952 edges, 837 markings/sec, 45 secs
lola: 46019 markings, 46115 edges, 831 markings/sec, 50 secs
lola: 50202 markings, 50304 edges, 837 markings/sec, 55 secs
lola: 54354 markings, 54463 edges, 830 markings/sec, 60 secs
lola: 58506 markings, 58621 edges, 830 markings/sec, 65 secs
lola: 62704 markings, 62827 edges, 840 markings/sec, 70 secs
lola: 66875 markings, 67004 edges, 834 markings/sec, 75 secs
lola: 71023 markings, 71159 edges, 830 markings/sec, 80 secs
lola: 75208 markings, 75350 edges, 837 markings/sec, 85 secs
lola: 79382 markings, 79531 edges, 835 markings/sec, 90 secs
lola: 83558 markings, 83713 edges, 835 markings/sec, 95 secs
lola: 87746 markings, 87908 edges, 838 markings/sec, 100 secs
lola: 91902 markings, 92070 edges, 831 markings/sec, 105 secs
lola: 96100 markings, 96286 edges, 840 markings/sec, 110 secs
lola: 100277 markings, 100469 edges, 835 markings/sec, 115 secs
lola: 104480 markings, 104679 edges, 841 markings/sec, 120 secs
lola: 108641 markings, 108847 edges, 832 markings/sec, 125 secs
lola: 112824 markings, 113035 edges, 837 markings/sec, 130 secs
lola: 116999 markings, 117216 edges, 835 markings/sec, 135 secs
lola: 121193 markings, 121417 edges, 839 markings/sec, 140 secs
lola: 125349 markings, 125579 edges, 831 markings/sec, 145 secs
lola: 129533 markings, 129770 edges, 837 markings/sec, 150 secs
lola: 133677 markings, 133922 edges, 829 markings/sec, 155 secs
lola: 137855 markings, 138105 edges, 836 markings/sec, 160 secs
lola: 142025 markings, 142282 edges, 834 markings/sec, 165 secs
lola: 146205 markings, 146469 edges, 836 markings/sec, 170 secs
lola: 150385 markings, 150656 edges, 836 markings/sec, 175 secs
lola: 154595 markings, 154872 edges, 842 markings/sec, 180 secs
lola: 158792 markings, 159076 edges, 839 markings/sec, 185 secs
lola: 162978 markings, 163268 edges, 837 markings/sec, 190 secs
lola: 167176 markings, 167472 edges, 840 markings/sec, 195 secs
lola: 171356 markings, 171659 edges, 836 markings/sec, 200 secs
lola: 175551 markings, 175860 edges, 839 markings/sec, 205 secs
lola: 179733 markings, 180048 edges, 836 markings/sec, 210 secs
lola: 183915 markings, 184238 edges, 836 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(p850)
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: 3782 markings, 3886 edges, 756 markings/sec, 0 secs
lola: 7504 markings, 7767 edges, 744 markings/sec, 5 secs
lola: 11196 markings, 11627 edges, 738 markings/sec, 10 secs
lola: 14925 markings, 15586 edges, 746 markings/sec, 15 secs
lola: 18544 markings, 19395 edges, 724 markings/sec, 20 secs
lola: 22182 markings, 23236 edges, 728 markings/sec, 25 secs
lola: 25845 markings, 27082 edges, 733 markings/sec, 30 secs
lola: 29555 markings, 30981 edges, 742 markings/sec, 35 secs
lola: 33254 markings, 34891 edges, 740 markings/sec, 40 secs
lola: 36924 markings, 38760 edges, 734 markings/sec, 45 secs
lola: 40633 markings, 42704 edges, 742 markings/sec, 50 secs
lola: 44513 markings, 46791 edges, 776 markings/sec, 55 secs
lola: 48372 markings, 50884 edges, 772 markings/sec, 60 secs
lola: 52304 markings, 55048 edges, 786 markings/sec, 65 secs
lola: 56102 markings, 59054 edges, 760 markings/sec, 70 secs
lola: 59991 markings, 63153 edges, 778 markings/sec, 75 secs
lola: 63840 markings, 67213 edges, 770 markings/sec, 80 secs
lola: 67730 markings, 71339 edges, 778 markings/sec, 85 secs
lola: 71558 markings, 75402 edges, 766 markings/sec, 90 secs
lola: 75341 markings, 79387 edges, 757 markings/sec, 95 secs
lola: 79174 markings, 83426 edges, 767 markings/sec, 100 secs
lola: 83040 markings, 87533 edges, 773 markings/sec, 105 secs
lola: 86959 markings, 91684 edges, 784 markings/sec, 110 secs
lola: 90483 markings, 95421 edges, 705 markings/sec, 115 secs
lola: 94338 markings, 99527 edges, 771 markings/sec, 120 secs
lola: 98137 markings, 103540 edges, 760 markings/sec, 125 secs
lola: 101992 markings, 107609 edges, 771 markings/sec, 130 secs
lola: 105795 markings, 111632 edges, 761 markings/sec, 135 secs
lola: 109658 markings, 115744 edges, 773 markings/sec, 140 secs
lola: 113557 markings, 119901 edges, 780 markings/sec, 145 secs
lola: 117459 markings, 124061 edges, 780 markings/sec, 150 secs
lola: 121304 markings, 128154 edges, 769 markings/sec, 155 secs
lola: 125107 markings, 132254 edges, 761 markings/sec, 160 secs
lola: 128954 markings, 136343 edges, 769 markings/sec, 165 secs
lola: 132803 markings, 140401 edges, 770 markings/sec, 170 secs
lola: 136680 markings, 144549 edges, 775 markings/sec, 175 secs
lola: 140602 markings, 148715 edges, 784 markings/sec, 180 secs
lola: 144388 markings, 152731 edges, 757 markings/sec, 185 secs
lola: 148247 markings, 156853 edges, 772 markings/sec, 190 secs
lola: 152132 markings, 160981 edges, 777 markings/sec, 195 secs
lola: 155942 markings, 165052 edges, 762 markings/sec, 200 secs
lola: 159869 markings, 169233 edges, 785 markings/sec, 205 secs
lola: 163769 markings, 173382 edges, 780 markings/sec, 210 secs
lola: 167605 markings, 177504 edges, 767 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(p168)
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: 4042 markings, 4053 edges, 808 markings/sec, 0 secs
lola: 8117 markings, 8136 edges, 815 markings/sec, 5 secs
lola: 12175 markings, 12205 edges, 812 markings/sec, 10 secs
lola: 16235 markings, 16273 edges, 812 markings/sec, 15 secs
lola: 20308 markings, 20355 edges, 815 markings/sec, 20 secs
lola: 24349 markings, 24403 edges, 808 markings/sec, 25 secs
lola: 28377 markings, 28440 edges, 806 markings/sec, 30 secs
lola: 32405 markings, 32479 edges, 806 markings/sec, 35 secs
lola: 36493 markings, 36576 edges, 818 markings/sec, 40 secs
lola: 40549 markings, 40642 edges, 811 markings/sec, 45 secs
lola: 44592 markings, 44693 edges, 809 markings/sec, 50 secs
lola: 48638 markings, 48766 edges, 809 markings/sec, 55 secs
lola: 52684 markings, 52860 edges, 809 markings/sec, 60 secs
lola: 56706 markings, 56891 edges, 804 markings/sec, 65 secs
lola: 60740 markings, 60935 edges, 807 markings/sec, 70 secs
lola: 64813 markings, 65016 edges, 815 markings/sec, 75 secs
lola: 68878 markings, 69099 edges, 813 markings/sec, 80 secs
lola: 72941 markings, 73216 edges, 813 markings/sec, 85 secs
lola: 77009 markings, 77292 edges, 814 markings/sec, 90 secs
lola: 81092 markings, 81384 edges, 817 markings/sec, 95 secs
lola: 85170 markings, 85472 edges, 816 markings/sec, 100 secs
lola: 89264 markings, 89576 edges, 819 markings/sec, 105 secs
lola: 93339 markings, 93659 edges, 815 markings/sec, 110 secs
lola: 97394 markings, 97744 edges, 811 markings/sec, 115 secs
lola: 101474 markings, 101865 edges, 816 markings/sec, 120 secs
lola: 105582 markings, 106008 edges, 822 markings/sec, 125 secs
lola: 109697 markings, 110135 edges, 823 markings/sec, 130 secs
lola: 113800 markings, 114246 edges, 821 markings/sec, 135 secs
lola: 117892 markings, 118346 edges, 818 markings/sec, 140 secs
lola: 121957 markings, 122419 edges, 813 markings/sec, 145 secs
lola: 126025 markings, 126496 edges, 814 markings/sec, 150 secs
lola: 130150 markings, 130633 edges, 825 markings/sec, 155 secs
lola: 134267 markings, 134759 edges, 823 markings/sec, 160 secs
lola: 138347 markings, 138851 edges, 816 markings/sec, 165 secs
lola: 142427 markings, 142955 edges, 816 markings/sec, 170 secs
lola: 146560 markings, 147095 edges, 827 markings/sec, 175 secs
lola: 150662 markings, 151232 edges, 820 markings/sec, 180 secs
lola: 154762 markings, 155343 edges, 820 markings/sec, 185 secs
lola: 158886 markings, 159491 edges, 825 markings/sec, 190 secs
lola: 162977 markings, 163591 edges, 818 markings/sec, 195 secs
lola: 167026 markings, 167650 edges, 810 markings/sec, 200 secs
lola: 171106 markings, 171739 edges, 816 markings/sec, 205 secs
lola: 175194 markings, 175842 edges, 818 markings/sec, 210 secs
lola: 179294 markings, 179955 edges, 820 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(p794 + p795 + p796 + p797 + p798 + p799 + p800 + p801)
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: 4261 markings, 4267 edges, 852 markings/sec, 0 secs
lola: 8500 markings, 8538 edges, 848 markings/sec, 5 secs
lola: 12687 markings, 12731 edges, 837 markings/sec, 10 secs
lola: 16881 markings, 16931 edges, 839 markings/sec, 15 secs
lola: 20950 markings, 21006 edges, 814 markings/sec, 20 secs
lola: 24985 markings, 25048 edges, 807 markings/sec, 25 secs
lola: 28995 markings, 29064 edges, 802 markings/sec, 30 secs
lola: 33026 markings, 33102 edges, 806 markings/sec, 35 secs
lola: 37038 markings, 37120 edges, 802 markings/sec, 40 secs
lola: 41053 markings, 41141 edges, 803 markings/sec, 45 secs
lola: 45181 markings, 45275 edges, 826 markings/sec, 50 secs
lola: 49366 markings, 49467 edges, 837 markings/sec, 55 secs
lola: 53535 markings, 53642 edges, 834 markings/sec, 60 secs
lola: 57710 markings, 57825 edges, 835 markings/sec, 65 secs
lola: 61931 markings, 62052 edges, 844 markings/sec, 70 secs
lola: 66143 markings, 66270 edges, 842 markings/sec, 75 secs
lola: 70324 markings, 70459 edges, 836 markings/sec, 80 secs
lola: 74136 markings, 74277 edges, 762 markings/sec, 85 secs
lola: 77908 markings, 78055 edges, 754 markings/sec, 90 secs
lola: 81769 markings, 81922 edges, 772 markings/sec, 95 secs
lola: 85714 markings, 85873 edges, 789 markings/sec, 100 secs
lola: 89422 markings, 89587 edges, 742 markings/sec, 105 secs
lola: 93339 markings, 93510 edges, 783 markings/sec, 110 secs
lola: 97351 markings, 97539 edges, 802 markings/sec, 115 secs
lola: 101268 markings, 101461 edges, 783 markings/sec, 120 secs
lola: 105184 markings, 105384 edges, 783 markings/sec, 125 secs
lola: 109149 markings, 109354 edges, 793 markings/sec, 130 secs
lola: 113114 markings, 113326 edges, 793 markings/sec, 135 secs
lola: 117063 markings, 117281 edges, 790 markings/sec, 140 secs
lola: 121029 markings, 121253 edges, 793 markings/sec, 145 secs
lola: 124974 markings, 125204 edges, 789 markings/sec, 150 secs
lola: 128934 markings, 129171 edges, 792 markings/sec, 155 secs
lola: 132870 markings, 133113 edges, 787 markings/sec, 160 secs
lola: 136822 markings, 137071 edges, 790 markings/sec, 165 secs
lola: 140758 markings, 141013 edges, 787 markings/sec, 170 secs
lola: 144722 markings, 144983 edges, 793 markings/sec, 175 secs
lola: 148657 markings, 148924 edges, 787 markings/sec, 180 secs
lola: 152641 markings, 152915 edges, 797 markings/sec, 185 secs
lola: 156594 markings, 156874 edges, 791 markings/sec, 190 secs
lola: 160574 markings, 160860 edges, 796 markings/sec, 195 secs
lola: 164510 markings, 164802 edges, 787 markings/sec, 200 secs
lola: 168492 markings, 168790 edges, 796 markings/sec, 205 secs
lola: 172423 markings, 172727 edges, 786 markings/sec, 210 secs
lola: 176408 markings, 176718 edges, 797 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(p769)
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: 4015 markings, 4026 edges, 803 markings/sec, 0 secs
lola: 8065 markings, 8084 edges, 810 markings/sec, 5 secs
lola: 12069 markings, 12098 edges, 801 markings/sec, 10 secs
lola: 16097 markings, 16135 edges, 806 markings/sec, 15 secs
lola: 20135 markings, 20182 edges, 808 markings/sec, 20 secs
lola: 24154 markings, 24208 edges, 804 markings/sec, 25 secs
lola: 28169 markings, 28231 edges, 803 markings/sec, 30 secs
lola: 32167 markings, 32241 edges, 800 markings/sec, 35 secs
lola: 36225 markings, 36307 edges, 812 markings/sec, 40 secs
lola: 40261 markings, 40352 edges, 807 markings/sec, 45 secs
lola: 44274 markings, 44375 edges, 803 markings/sec, 50 secs
lola: 48311 markings, 48435 edges, 807 markings/sec, 55 secs
lola: 52337 markings, 52513 edges, 805 markings/sec, 60 secs
lola: 56332 markings, 56517 edges, 799 markings/sec, 65 secs
lola: 60353 markings, 60547 edges, 804 markings/sec, 70 secs
lola: 64401 markings, 64603 edges, 810 markings/sec, 75 secs
lola: 68453 markings, 68669 edges, 810 markings/sec, 80 secs
lola: 72497 markings, 72769 edges, 809 markings/sec, 85 secs
lola: 76534 markings, 76816 edges, 807 markings/sec, 90 secs
lola: 80604 markings, 80896 edges, 814 markings/sec, 95 secs
lola: 84668 markings, 84969 edges, 813 markings/sec, 100 secs
lola: 88744 markings, 89055 edges, 815 markings/sec, 105 secs
lola: 92802 markings, 93120 edges, 812 markings/sec, 110 secs
lola: 96835 markings, 97178 edges, 807 markings/sec, 115 secs
lola: 100904 markings, 101293 edges, 814 markings/sec, 120 secs
lola: 104971 markings, 105395 edges, 813 markings/sec, 125 secs
lola: 109076 markings, 109512 edges, 821 markings/sec, 130 secs
lola: 113161 markings, 113605 edges, 817 markings/sec, 135 secs
lola: 117237 markings, 117690 edges, 815 markings/sec, 140 secs
lola: 121275 markings, 121736 edges, 808 markings/sec, 145 secs
lola: 125323 markings, 125793 edges, 810 markings/sec, 150 secs
lola: 129417 markings, 129899 edges, 819 markings/sec, 155 secs
lola: 133519 markings, 134010 edges, 820 markings/sec, 160 secs
lola: 137590 markings, 138091 edges, 814 markings/sec, 165 secs
lola: 141645 markings, 142169 edges, 811 markings/sec, 170 secs
lola: 145750 markings, 146283 edges, 821 markings/sec, 175 secs
lola: 149843 markings, 150398 edges, 819 markings/sec, 180 secs
lola: 153921 markings, 154496 edges, 816 markings/sec, 185 secs
lola: 158018 markings, 158621 edges, 819 markings/sec, 190 secs
lola: 162101 markings, 162714 edges, 817 markings/sec, 195 secs
lola: 166148 markings, 166770 edges, 809 markings/sec, 200 secs
lola: 170198 markings, 170829 edges, 810 markings/sec, 205 secs
lola: 174259 markings, 174905 edges, 812 markings/sec, 210 secs
lola: 178345 markings, 179005 edges, 817 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(p192 + p193 + p194 + p195 + p196 + p197 + p198 + p199)
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: 3979 markings, 3985 edges, 796 markings/sec, 0 secs
lola: 7933 markings, 7951 edges, 791 markings/sec, 5 secs
lola: 11850 markings, 11875 edges, 783 markings/sec, 10 secs
lola: 15807 markings, 15837 edges, 791 markings/sec, 15 secs
lola: 19713 markings, 19750 edges, 781 markings/sec, 20 secs
lola: 23666 markings, 23708 edges, 791 markings/sec, 25 secs
lola: 27568 markings, 27617 edges, 780 markings/sec, 30 secs
lola: 31520 markings, 31575 edges, 790 markings/sec, 35 secs
lola: 35422 markings, 35483 edges, 780 markings/sec, 40 secs
lola: 39351 markings, 39418 edges, 786 markings/sec, 45 secs
lola: 43255 markings, 43329 edges, 781 markings/sec, 50 secs
lola: 47185 markings, 47264 edges, 786 markings/sec, 55 secs
lola: 51084 markings, 51170 edges, 780 markings/sec, 60 secs
lola: 55014 markings, 55105 edges, 786 markings/sec, 65 secs
lola: 58905 markings, 59002 edges, 778 markings/sec, 70 secs
lola: 62875 markings, 62979 edges, 794 markings/sec, 75 secs
lola: 66792 markings, 66903 edges, 783 markings/sec, 80 secs
lola: 70748 markings, 70864 edges, 791 markings/sec, 85 secs
lola: 74647 markings, 74770 edges, 780 markings/sec, 90 secs
lola: 78603 markings, 78731 edges, 791 markings/sec, 95 secs
lola: 82502 markings, 82637 edges, 780 markings/sec, 100 secs
lola: 86457 markings, 86597 edges, 791 markings/sec, 105 secs
lola: 90357 markings, 90504 edges, 780 markings/sec, 110 secs
lola: 94289 markings, 94442 edges, 786 markings/sec, 115 secs
lola: 98183 markings, 98342 edges, 779 markings/sec, 120 secs
lola: 102120 markings, 102285 edges, 787 markings/sec, 125 secs
lola: 106016 markings, 106187 edges, 779 markings/sec, 130 secs
lola: 109952 markings, 110128 edges, 787 markings/sec, 135 secs
lola: 113847 markings, 114030 edges, 779 markings/sec, 140 secs
lola: 117809 markings, 117999 edges, 792 markings/sec, 145 secs
lola: 121722 markings, 121918 edges, 783 markings/sec, 150 secs
lola: 125681 markings, 125883 edges, 792 markings/sec, 155 secs
lola: 129579 markings, 129788 edges, 780 markings/sec, 160 secs
lola: 133535 markings, 133749 edges, 791 markings/sec, 165 secs
lola: 137432 markings, 137652 edges, 779 markings/sec, 170 secs
lola: 141387 markings, 141613 edges, 791 markings/sec, 175 secs
lola: 145284 markings, 145516 edges, 779 markings/sec, 180 secs
lola: 149217 markings, 149455 edges, 787 markings/sec, 185 secs
lola: 153114 markings, 153359 edges, 779 markings/sec, 190 secs
lola: 157050 markings, 157300 edges, 787 markings/sec, 195 secs
lola: 160941 markings, 161198 edges, 778 markings/sec, 200 secs
lola: 164876 markings, 165138 edges, 787 markings/sec, 205 secs
lola: 168769 markings, 169038 edges, 779 markings/sec, 210 secs
lola: 172735 markings, 173010 edges, 793 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(p565 + p566 + p567 + p568 + p569 + p570 + p571 + p572)
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: 4122 markings, 4133 edges, 824 markings/sec, 0 secs
lola: 8269 markings, 8288 edges, 829 markings/sec, 5 secs
lola: 12399 markings, 12430 edges, 826 markings/sec, 10 secs
lola: 16513 markings, 16552 edges, 823 markings/sec, 15 secs
lola: 20620 markings, 20668 edges, 821 markings/sec, 20 secs
lola: 24725 markings, 24781 edges, 821 markings/sec, 25 secs
lola: 28797 markings, 28860 edges, 814 markings/sec, 30 secs
lola: 32883 markings, 32958 edges, 817 markings/sec, 35 secs
lola: 37008 markings, 37092 edges, 825 markings/sec, 40 secs
lola: 41097 markings, 41191 edges, 818 markings/sec, 45 secs
lola: 45182 markings, 45285 edges, 817 markings/sec, 50 secs
lola: 49282 markings, 49418 edges, 820 markings/sec, 55 secs
lola: 53355 markings, 53532 edges, 815 markings/sec, 60 secs
lola: 57419 markings, 57606 edges, 813 markings/sec, 65 secs
lola: 61510 markings, 61707 edges, 818 markings/sec, 70 secs
lola: 65609 markings, 65813 edges, 820 markings/sec, 75 secs
lola: 69718 markings, 69949 edges, 822 markings/sec, 80 secs
lola: 73801 markings, 74079 edges, 817 markings/sec, 85 secs
lola: 77912 markings, 78198 edges, 822 markings/sec, 90 secs
lola: 82030 markings, 82324 edges, 824 markings/sec, 95 secs
lola: 86158 markings, 86462 edges, 826 markings/sec, 100 secs
lola: 90276 markings, 90589 edges, 824 markings/sec, 105 secs
lola: 94378 markings, 94699 edges, 820 markings/sec, 110 secs
lola: 98472 markings, 98835 edges, 819 markings/sec, 115 secs
lola: 102589 markings, 102985 edges, 823 markings/sec, 120 secs
lola: 106733 markings, 107155 edges, 829 markings/sec, 125 secs
lola: 110904 markings, 111334 edges, 834 markings/sec, 130 secs
lola: 115041 markings, 115479 edges, 827 markings/sec, 135 secs
lola: 119155 markings, 119604 edges, 823 markings/sec, 140 secs
lola: 123253 markings, 123710 edges, 820 markings/sec, 145 secs
lola: 127369 markings, 127838 edges, 823 markings/sec, 150 secs
lola: 131516 markings, 131994 edges, 829 markings/sec, 155 secs
lola: 135656 markings, 136146 edges, 828 markings/sec, 160 secs
lola: 139777 markings, 140276 edges, 824 markings/sec, 165 secs
lola: 143913 markings, 144429 edges, 827 markings/sec, 170 secs
lola: 148080 markings, 148605 edges, 833 markings/sec, 175 secs
lola: 152212 markings, 152767 edges, 826 markings/sec, 180 secs
lola: 156353 markings, 156935 edges, 828 markings/sec, 185 secs
lola: 160510 markings, 161100 edges, 831 markings/sec, 190 secs
lola: 164638 markings, 165238 edges, 826 markings/sec, 195 secs
lola: 168732 markings, 169341 edges, 819 markings/sec, 200 secs
lola: 172830 markings, 173450 edges, 820 markings/sec, 205 secs
lola: 176978 markings, 177613 edges, 830 markings/sec, 210 secs
lola: 181106 markings, 181751 edges, 826 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(p678)
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: 4019 markings, 4027 edges, 804 markings/sec, 0 secs
lola: 8005 markings, 8030 edges, 797 markings/sec, 5 secs
lola: 11970 markings, 12001 edges, 793 markings/sec, 10 secs
lola: 15946 markings, 15983 edges, 795 markings/sec, 15 secs
lola: 19896 markings, 19939 edges, 790 markings/sec, 20 secs
lola: 23876 markings, 23925 edges, 796 markings/sec, 25 secs
lola: 27819 markings, 27874 edges, 789 markings/sec, 30 secs
lola: 31799 markings, 31860 edges, 796 markings/sec, 35 secs
lola: 35600 markings, 35667 edges, 760 markings/sec, 40 secs
lola: 39739 markings, 39813 edges, 828 markings/sec, 45 secs
lola: 43853 markings, 43933 edges, 823 markings/sec, 50 secs
lola: 48000 markings, 48086 edges, 829 markings/sec, 55 secs
lola: 52116 markings, 52210 edges, 823 markings/sec, 60 secs
lola: 56258 markings, 56357 edges, 828 markings/sec, 65 secs
lola: 60383 markings, 60490 edges, 825 markings/sec, 70 secs
lola: 64487 markings, 64601 edges, 821 markings/sec, 75 secs
lola: 68559 markings, 68679 edges, 814 markings/sec, 80 secs
lola: 72724 markings, 72850 edges, 833 markings/sec, 85 secs
lola: 76577 markings, 76709 edges, 771 markings/sec, 90 secs
lola: 80781 markings, 80919 edges, 841 markings/sec, 95 secs
lola: 84968 markings, 85113 edges, 837 markings/sec, 100 secs
lola: 89161 markings, 89312 edges, 839 markings/sec, 105 secs
lola: 93349 markings, 93507 edges, 838 markings/sec, 110 secs
lola: 97520 markings, 97685 edges, 834 markings/sec, 115 secs
lola: 101719 markings, 101890 edges, 840 markings/sec, 120 secs
lola: 105841 markings, 106018 edges, 824 markings/sec, 125 secs
lola: 109974 markings, 110158 edges, 827 markings/sec, 130 secs
lola: 114102 markings, 114292 edges, 826 markings/sec, 135 secs
lola: 118269 markings, 118466 edges, 833 markings/sec, 140 secs
lola: 122406 markings, 122609 edges, 827 markings/sec, 145 secs
lola: 126581 markings, 126790 edges, 835 markings/sec, 150 secs
lola: 130723 markings, 130940 edges, 828 markings/sec, 155 secs
lola: 134906 markings, 135128 edges, 837 markings/sec, 160 secs
lola: 139099 markings, 139328 edges, 839 markings/sec, 165 secs
lola: 143193 markings, 143429 edges, 819 markings/sec, 170 secs
lola: 147306 markings, 147549 edges, 823 markings/sec, 175 secs
lola: 151503 markings, 151752 edges, 839 markings/sec, 180 secs
lola: 155691 markings, 155947 edges, 838 markings/sec, 185 secs
lola: 159879 markings, 160141 edges, 838 markings/sec, 190 secs
lola: 164080 markings, 164348 edges, 840 markings/sec, 195 secs
lola: 168260 markings, 168535 edges, 836 markings/sec, 200 secs
lola: 172486 markings, 172768 edges, 845 markings/sec, 205 secs
lola: 176695 markings, 176983 edges, 842 markings/sec, 210 secs
lola: 180912 markings, 181207 edges, 843 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(p100 + p101 + p102 + p103 + p98 + p97 + p96 + p99)
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: 4085 markings, 4096 edges, 817 markings/sec, 0 secs
lola: 8211 markings, 8230 edges, 825 markings/sec, 5 secs
lola: 12313 markings, 12343 edges, 820 markings/sec, 10 secs
lola: 16427 markings, 16466 edges, 823 markings/sec, 15 secs
lola: 20537 markings, 20585 edges, 822 markings/sec, 20 secs
lola: 24467 markings, 24521 edges, 786 markings/sec, 25 secs
lola: 28641 markings, 28704 edges, 835 markings/sec, 30 secs
lola: 32851 markings, 32926 edges, 842 markings/sec, 35 secs
lola: 37102 markings, 37186 edges, 850 markings/sec, 40 secs
lola: 41310 markings, 41404 edges, 842 markings/sec, 45 secs
lola: 45526 markings, 45629 edges, 843 markings/sec, 50 secs
lola: 49758 markings, 49899 edges, 846 markings/sec, 55 secs
lola: 53952 markings, 54130 edges, 839 markings/sec, 60 secs
lola: 58154 markings, 58341 edges, 840 markings/sec, 65 secs
lola: 62383 markings, 62580 edges, 846 markings/sec, 70 secs
lola: 66621 markings, 66826 edges, 848 markings/sec, 75 secs
lola: 70869 markings, 71114 edges, 850 markings/sec, 80 secs
lola: 75096 markings, 75375 edges, 845 markings/sec, 85 secs
lola: 79345 markings, 79636 edges, 850 markings/sec, 90 secs
lola: 83596 markings, 83895 edges, 850 markings/sec, 95 secs
lola: 87872 markings, 88181 edges, 855 markings/sec, 100 secs
lola: 92129 markings, 92447 edges, 851 markings/sec, 105 secs
lola: 96372 markings, 96709 edges, 849 markings/sec, 110 secs
lola: 100617 markings, 100994 edges, 849 markings/sec, 115 secs
lola: 104858 markings, 105259 edges, 848 markings/sec, 120 secs
lola: 109046 markings, 109458 edges, 838 markings/sec, 125 secs
lola: 113282 markings, 113707 edges, 847 markings/sec, 130 secs
lola: 117476 markings, 117910 edges, 839 markings/sec, 135 secs
lola: 121672 markings, 122117 edges, 839 markings/sec, 140 secs
lola: 125892 markings, 126365 edges, 844 markings/sec, 145 secs
lola: 130114 markings, 130634 edges, 844 markings/sec, 150 secs
lola: 134397 markings, 134928 edges, 857 markings/sec, 155 secs
lola: 138704 markings, 139244 edges, 861 markings/sec, 160 secs
lola: 142959 markings, 143509 edges, 851 markings/sec, 165 secs
lola: 147224 markings, 147782 edges, 853 markings/sec, 170 secs
lola: 151478 markings, 152044 edges, 851 markings/sec, 175 secs
lola: 155724 markings, 156299 edges, 849 markings/sec, 180 secs
lola: 159985 markings, 160604 edges, 852 markings/sec, 185 secs
lola: 164213 markings, 164854 edges, 846 markings/sec, 190 secs
lola: 168287 markings, 168960 edges, 815 markings/sec, 195 secs
lola: 171855 markings, 172536 edges, 714 markings/sec, 200 secs
lola: 175469 markings, 176161 edges, 723 markings/sec, 205 secs
lola: 179091 markings, 179789 edges, 724 markings/sec, 210 secs
lola: 182747 markings, 183458 edges, 731 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(p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253)
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: 4326 markings, 4337 edges, 865 markings/sec, 0 secs
lola: 8692 markings, 8712 edges, 873 markings/sec, 5 secs
lola: 13052 markings, 13082 edges, 872 markings/sec, 10 secs
lola: 17415 markings, 17456 edges, 873 markings/sec, 15 secs
lola: 21756 markings, 21806 edges, 868 markings/sec, 20 secs
lola: 26090 markings, 26149 edges, 867 markings/sec, 25 secs
lola: 30398 markings, 30468 edges, 862 markings/sec, 30 secs
lola: 34767 markings, 34847 edges, 874 markings/sec, 35 secs
lola: 39135 markings, 39224 edges, 874 markings/sec, 40 secs
lola: 43465 markings, 43564 edges, 866 markings/sec, 45 secs
lola: 47782 markings, 47899 edges, 863 markings/sec, 50 secs
lola: 52104 markings, 52280 edges, 864 markings/sec, 55 secs
lola: 56373 markings, 56558 edges, 854 markings/sec, 60 secs
lola: 60665 markings, 60860 edges, 858 markings/sec, 65 secs
lola: 64983 markings, 65186 edges, 864 markings/sec, 70 secs
lola: 69305 markings, 69532 edges, 864 markings/sec, 75 secs
lola: 73627 markings, 73905 edges, 864 markings/sec, 80 secs
lola: 77948 markings, 78235 edges, 864 markings/sec, 85 secs
lola: 82282 markings, 82576 edges, 867 markings/sec, 90 secs
lola: 86625 markings, 86931 edges, 869 markings/sec, 95 secs
lola: 90942 markings, 91257 edges, 863 markings/sec, 100 secs
lola: 95259 markings, 95583 edges, 863 markings/sec, 105 secs
lola: 99609 markings, 99984 edges, 870 markings/sec, 110 secs
lola: 103940 markings, 104341 edges, 866 markings/sec, 115 secs
lola: 108294 markings, 108701 edges, 871 markings/sec, 120 secs
lola: 112634 markings, 113052 edges, 868 markings/sec, 125 secs
lola: 116969 markings, 117396 edges, 867 markings/sec, 130 secs
lola: 121290 markings, 121725 edges, 864 markings/sec, 135 secs
lola: 125622 markings, 126107 edges, 866 markings/sec, 140 secs
lola: 129954 markings, 130466 edges, 866 markings/sec, 145 secs
lola: 134300 markings, 134829 edges, 869 markings/sec, 150 secs
lola: 138573 markings, 139116 edges, 855 markings/sec, 155 secs
lola: 142880 markings, 143432 edges, 861 markings/sec, 160 secs
lola: 147184 markings, 147746 edges, 861 markings/sec, 165 secs
lola: 151482 markings, 152054 edges, 860 markings/sec, 170 secs
lola: 155780 markings, 156360 edges, 860 markings/sec, 175 secs
lola: 160089 markings, 160715 edges, 862 markings/sec, 180 secs
lola: 164406 markings, 165063 edges, 863 markings/sec, 185 secs
lola: 168749 markings, 169416 edges, 869 markings/sec, 190 secs
lola: 173044 markings, 173721 edges, 859 markings/sec, 195 secs
lola: 177171 markings, 177855 edges, 825 markings/sec, 200 secs
lola: 181070 markings, 181777 edges, 780 markings/sec, 205 secs
lola: 184756 markings, 185487 edges, 737 markings/sec, 210 secs
lola: 188390 markings, 189133 edges, 727 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p686 + p685 + p684 + p683 + p682 + p681 + p680 + p679)
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: 4082 markings, 4092 edges, 816 markings/sec, 0 secs
lola: 8146 markings, 8162 edges, 813 markings/sec, 5 secs
lola: 12251 markings, 12273 edges, 821 markings/sec, 10 secs
lola: 16286 markings, 16316 edges, 807 markings/sec, 15 secs
lola: 20379 markings, 20414 edges, 819 markings/sec, 20 secs
lola: 24416 markings, 24458 edges, 807 markings/sec, 25 secs
lola: 28502 markings, 28549 edges, 817 markings/sec, 30 secs
lola: 32575 markings, 32630 edges, 815 markings/sec, 35 secs
lola: 36640 markings, 36702 edges, 813 markings/sec, 40 secs
lola: 40710 markings, 40778 edges, 814 markings/sec, 45 secs
lola: 44783 markings, 44857 edges, 815 markings/sec, 50 secs
lola: 48843 markings, 48923 edges, 812 markings/sec, 55 secs
lola: 52920 markings, 53006 edges, 815 markings/sec, 60 secs
lola: 56995 markings, 57089 edges, 815 markings/sec, 65 secs
lola: 61139 markings, 61239 edges, 829 markings/sec, 70 secs
lola: 65302 markings, 65408 edges, 833 markings/sec, 75 secs
lola: 69435 markings, 69547 edges, 827 markings/sec, 80 secs
lola: 73597 markings, 73716 edges, 832 markings/sec, 85 secs
lola: 77728 markings, 77853 edges, 826 markings/sec, 90 secs
lola: 81883 markings, 82014 edges, 831 markings/sec, 95 secs
lola: 86018 markings, 86155 edges, 827 markings/sec, 100 secs
lola: 90157 markings, 90302 edges, 828 markings/sec, 105 secs
lola: 94280 markings, 94431 edges, 825 markings/sec, 110 secs
lola: 98425 markings, 98582 edges, 829 markings/sec, 115 secs
lola: 102542 markings, 102706 edges, 823 markings/sec, 120 secs
lola: 106694 markings, 106864 edges, 830 markings/sec, 125 secs
lola: 110818 markings, 110996 edges, 825 markings/sec, 130 secs
lola: 114986 markings, 115169 edges, 834 markings/sec, 135 secs
lola: 119139 markings, 119330 edges, 831 markings/sec, 140 secs
lola: 123292 markings, 123489 edges, 831 markings/sec, 145 secs
lola: 127427 markings, 127630 edges, 827 markings/sec, 150 secs
lola: 131582 markings, 131791 edges, 831 markings/sec, 155 secs
lola: 135725 markings, 135941 edges, 829 markings/sec, 160 secs
lola: 139865 markings, 140087 edges, 828 markings/sec, 165 secs
lola: 144006 markings, 144235 edges, 828 markings/sec, 170 secs
lola: 148131 markings, 148367 edges, 825 markings/sec, 175 secs
lola: 152270 markings, 152512 edges, 828 markings/sec, 180 secs
lola: 156398 markings, 156646 edges, 826 markings/sec, 185 secs
lola: 160537 markings, 160791 edges, 828 markings/sec, 190 secs
lola: 164663 markings, 164924 edges, 825 markings/sec, 195 secs
lola: 168831 markings, 169099 edges, 834 markings/sec, 200 secs
lola: 172965 markings, 173239 edges, 827 markings/sec, 205 secs
lola: 177141 markings, 177421 edges, 835 markings/sec, 210 secs
lola: 181259 markings, 181547 edges, 824 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p779 + p780 + p781 + p782 + p783 + p784 + p785 + p786)
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: 4639 markings, 4650 edges, 928 markings/sec, 0 secs
lola: 9243 markings, 9270 edges, 921 markings/sec, 5 secs
lola: 13866 markings, 13918 edges, 925 markings/sec, 10 secs
lola: 18510 markings, 18573 edges, 929 markings/sec, 15 secs
lola: 23170 markings, 23243 edges, 932 markings/sec, 20 secs
lola: 27822 markings, 27905 edges, 930 markings/sec, 25 secs
lola: 32461 markings, 32553 edges, 928 markings/sec, 30 secs
lola: 36981 markings, 37100 edges, 904 markings/sec, 35 secs
lola: 41672 markings, 41802 edges, 938 markings/sec, 40 secs
lola: 46333 markings, 46472 edges, 932 markings/sec, 45 secs
lola: 51003 markings, 51151 edges, 934 markings/sec, 50 secs
lola: 55641 markings, 55798 edges, 928 markings/sec, 55 secs
lola: 60164 markings, 60337 edges, 905 markings/sec, 60 secs
lola: 64855 markings, 65049 edges, 938 markings/sec, 65 secs
lola: 69542 markings, 69747 edges, 937 markings/sec, 70 secs
lola: 74213 markings, 74428 edges, 934 markings/sec, 75 secs
lola: 78904 markings, 79130 edges, 938 markings/sec, 80 secs
lola: 83565 markings, 83800 edges, 932 markings/sec, 85 secs
lola: 88247 markings, 88509 edges, 936 markings/sec, 90 secs
lola: 92943 markings, 93217 edges, 939 markings/sec, 95 secs
lola: 97633 markings, 97917 edges, 938 markings/sec, 100 secs
lola: 102321 markings, 102616 edges, 938 markings/sec, 105 secs
lola: 106868 markings, 107172 edges, 909 markings/sec, 110 secs
lola: 111543 markings, 111874 edges, 935 markings/sec, 115 secs
lola: 116243 markings, 116587 edges, 940 markings/sec, 120 secs
lola: 120921 markings, 121282 edges, 936 markings/sec, 125 secs
lola: 125649 markings, 126019 edges, 946 markings/sec, 130 secs
lola: 130334 markings, 130718 edges, 937 markings/sec, 135 secs
lola: 135052 markings, 135446 edges, 944 markings/sec, 140 secs
lola: 139765 markings, 140170 edges, 943 markings/sec, 145 secs
lola: 144440 markings, 144856 edges, 935 markings/sec, 150 secs
lola: 149116 markings, 149543 edges, 935 markings/sec, 155 secs
lola: 153773 markings, 154209 edges, 931 markings/sec, 160 secs
lola: 158451 markings, 158904 edges, 936 markings/sec, 165 secs
lola: 163142 markings, 163605 edges, 938 markings/sec, 170 secs
lola: 167827 markings, 168320 edges, 937 markings/sec, 175 secs
lola: 172515 markings, 173033 edges, 938 markings/sec, 180 secs
lola: 177214 markings, 177769 edges, 940 markings/sec, 185 secs
lola: 181897 markings, 182475 edges, 937 markings/sec, 190 secs
lola: 186592 markings, 187182 edges, 939 markings/sec, 195 secs
lola: 191203 markings, 191807 edges, 922 markings/sec, 200 secs
lola: 195870 markings, 196484 edges, 933 markings/sec, 205 secs
lola: 200512 markings, 201140 edges, 928 markings/sec, 210 secs
lola: 205082 markings, 205723 edges, 914 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221)
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: 4301 markings, 4309 edges, 860 markings/sec, 0 secs
lola: 8626 markings, 8651 edges, 865 markings/sec, 5 secs
lola: 12909 markings, 12942 edges, 857 markings/sec, 10 secs
lola: 17226 markings, 17264 edges, 863 markings/sec, 15 secs
lola: 21506 markings, 21552 edges, 856 markings/sec, 20 secs
lola: 25806 markings, 25858 edges, 860 markings/sec, 25 secs
lola: 30091 markings, 30150 edges, 857 markings/sec, 30 secs
lola: 34376 markings, 34441 edges, 857 markings/sec, 35 secs
lola: 38666 markings, 38739 edges, 858 markings/sec, 40 secs
lola: 42936 markings, 43015 edges, 854 markings/sec, 45 secs
lola: 47222 markings, 47308 edges, 857 markings/sec, 50 secs
lola: 51490 markings, 51582 edges, 854 markings/sec, 55 secs
lola: 55790 markings, 55888 edges, 860 markings/sec, 60 secs
lola: 60049 markings, 60155 edges, 852 markings/sec, 65 secs
lola: 64371 markings, 64483 edges, 864 markings/sec, 70 secs
lola: 68664 markings, 68784 edges, 859 markings/sec, 75 secs
lola: 72964 markings, 73090 edges, 860 markings/sec, 80 secs
lola: 77252 markings, 77385 edges, 858 markings/sec, 85 secs
lola: 81537 markings, 81676 edges, 857 markings/sec, 90 secs
lola: 85841 markings, 85987 edges, 861 markings/sec, 95 secs
lola: 90106 markings, 90258 edges, 853 markings/sec, 100 secs
lola: 94315 markings, 94475 edges, 842 markings/sec, 105 secs
lola: 98578 markings, 98744 edges, 853 markings/sec, 110 secs
lola: 102824 markings, 102996 edges, 849 markings/sec, 115 secs
lola: 106840 markings, 107019 edges, 803 markings/sec, 120 secs
lola: 110802 markings, 110986 edges, 792 markings/sec, 125 secs
lola: 115024 markings, 115216 edges, 844 markings/sec, 130 secs
lola: 119311 markings, 119509 edges, 857 markings/sec, 135 secs
lola: 123569 markings, 123775 edges, 852 markings/sec, 140 secs
lola: 127830 markings, 128042 edges, 852 markings/sec, 145 secs
lola: 132078 markings, 132297 edges, 850 markings/sec, 150 secs
lola: 136324 markings, 136549 edges, 849 markings/sec, 155 secs
lola: 140587 markings, 140818 edges, 853 markings/sec, 160 secs
lola: 144831 markings, 145069 edges, 849 markings/sec, 165 secs
lola: 149072 markings, 149317 edges, 848 markings/sec, 170 secs
lola: 153310 markings, 153561 edges, 848 markings/sec, 175 secs
lola: 157564 markings, 157822 edges, 851 markings/sec, 180 secs
lola: 161784 markings, 162048 edges, 844 markings/sec, 185 secs
lola: 166046 markings, 166317 edges, 852 markings/sec, 190 secs
lola: 170278 markings, 170557 edges, 846 markings/sec, 195 secs
lola: 174546 markings, 174832 edges, 854 markings/sec, 200 secs
lola: 178809 markings, 179101 edges, 853 markings/sec, 205 secs
lola: 183072 markings, 183370 edges, 853 markings/sec, 210 secs
lola: 187328 markings, 187633 edges, 851 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 1496442603309

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_PolyORBLF-COL-S06J06T08.tgz
mv S_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 S_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 r128-smll-149441681500416"
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 ;