About the Execution of LoLA for S_TriangularGrid-PT-5046
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7675.690 | 3539423.00 | 3556704.00 | 982.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_TriangularGrid-PT-5046, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464300362
=====================================================================
--------------------
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 TriangularGrid-PT-5046-UpperBounds-0
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-1
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-10
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-11
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-12
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-13
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-14
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-15
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-2
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-3
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-4
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-5
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-6
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-7
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-8
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496575254746
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TriangularGrid-PT-5046: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_TriangularGrid-PT-5046: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TriangularGrid-PT-5046 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 520/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: finding significant places
lola: 280 places, 240 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 355 transition conflict sets
lola: TASK
lola: reading formula from TriangularGrid-PT-5046-UpperBounds.task
lola: MAX(pbl_5_7) : MAX(pb2_4_1) : MAX(pil3_5_7) : MAX(pil3_5_7) : MAX(pol3_4_7) : MAX(po1_2_3) : MAX(po1_1_1) : MAX(pbl_4_5) : MAX(pi2_5_3) : MAX(pb3_1_1) : MAX(pol3_5_5) : MAX(pil1_3_3) : MAX(pol2_5_3) : MAX(pi3_3_1) : MAX(pb2_5_1) : MAX(pil3_3_1)
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(pbl_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 495339 markings, 632929 edges, 99068 markings/sec, 0 secs
lola: 883239 markings, 1362858 edges, 77580 markings/sec, 5 secs
lola: 1309180 markings, 2066452 edges, 85188 markings/sec, 10 secs
lola: 1739026 markings, 2689299 edges, 85969 markings/sec, 15 secs
lola: 2122501 markings, 3370150 edges, 76695 markings/sec, 20 secs
lola: 2565340 markings, 3948512 edges, 88568 markings/sec, 25 secs
lola: 2995136 markings, 4515868 edges, 85959 markings/sec, 30 secs
lola: 3412217 markings, 5098969 edges, 83416 markings/sec, 35 secs
lola: 3830457 markings, 5688584 edges, 83648 markings/sec, 40 secs
lola: 4237578 markings, 6293307 edges, 81424 markings/sec, 45 secs
lola: 4638593 markings, 6882897 edges, 80203 markings/sec, 50 secs
lola: 5035349 markings, 7484264 edges, 79351 markings/sec, 55 secs
lola: 5429944 markings, 8112220 edges, 78919 markings/sec, 60 secs
lola: 5828556 markings, 8729489 edges, 79722 markings/sec, 65 secs
lola: 6230565 markings, 9406903 edges, 80402 markings/sec, 70 secs
lola: 6290081 markings, 10425911 edges, 11903 markings/sec, 75 secs
lola: 6302088 markings, 11339893 edges, 2401 markings/sec, 80 secs
lola: 6673575 markings, 12000159 edges, 74297 markings/sec, 85 secs
lola: 7012681 markings, 12716851 edges, 67821 markings/sec, 90 secs
lola: 7435769 markings, 13305600 edges, 84618 markings/sec, 95 secs
lola: 7866851 markings, 13864812 edges, 86216 markings/sec, 100 secs
lola: 8283362 markings, 14405055 edges, 83302 markings/sec, 105 secs
lola: 8687697 markings, 14957383 edges, 80867 markings/sec, 110 secs
lola: 9093900 markings, 15530955 edges, 81241 markings/sec, 115 secs
lola: 9482161 markings, 16094642 edges, 77652 markings/sec, 120 secs
lola: 9861578 markings, 16644703 edges, 75883 markings/sec, 125 secs
lola: 10236877 markings, 17205413 edges, 75060 markings/sec, 130 secs
lola: 10601886 markings, 17776604 edges, 73002 markings/sec, 135 secs
lola: 10973441 markings, 18369416 edges, 74311 markings/sec, 140 secs
lola: 11350752 markings, 18960052 edges, 75462 markings/sec, 145 secs
lola: 11691861 markings, 19701767 edges, 68222 markings/sec, 150 secs
lola: 11719473 markings, 20580044 edges, 5522 markings/sec, 155 secs
lola: 11729345 markings, 21421097 edges, 1974 markings/sec, 160 secs
lola: 12064167 markings, 22061938 edges, 66964 markings/sec, 165 secs
lola: 12473490 markings, 22586894 edges, 81865 markings/sec, 170 secs
lola: 12865834 markings, 23136521 edges, 78469 markings/sec, 175 secs
lola: 13167608 markings, 23849699 edges, 60355 markings/sec, 180 secs
lola: 13528269 markings, 24415916 edges, 72132 markings/sec, 185 secs
lola: 13960810 markings, 24923366 edges, 86508 markings/sec, 190 secs
lola: 14379736 markings, 25525997 edges, 83785 markings/sec, 195 secs
lola: 14790438 markings, 26150494 edges, 82140 markings/sec, 200 secs
lola: 15200862 markings, 26713965 edges, 82085 markings/sec, 205 secs
lola: 15619771 markings, 27226290 edges, 83782 markings/sec, 210 secs
lola: 16038829 markings, 27743215 edges, 83812 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(pb2_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 518255 markings, 749219 edges, 103651 markings/sec, 0 secs
lola: 1006375 markings, 1477246 edges, 97624 markings/sec, 5 secs
lola: 1478586 markings, 2182037 edges, 94442 markings/sec, 10 secs
lola: 1947583 markings, 2886052 edges, 93799 markings/sec, 15 secs
lola: 2409238 markings, 3576808 edges, 92331 markings/sec, 20 secs
lola: 2874153 markings, 4273091 edges, 92983 markings/sec, 25 secs
lola: 3327841 markings, 4953252 edges, 90738 markings/sec, 30 secs
lola: 3785906 markings, 5638146 edges, 91613 markings/sec, 35 secs
lola: 4243992 markings, 6325958 edges, 91617 markings/sec, 40 secs
lola: 4697277 markings, 7004189 edges, 90657 markings/sec, 45 secs
lola: 5158477 markings, 7695096 edges, 92240 markings/sec, 50 secs
lola: 5612806 markings, 8375794 edges, 90866 markings/sec, 55 secs
lola: 6070239 markings, 9060170 edges, 91487 markings/sec, 60 secs
lola: 6525416 markings, 9743417 edges, 91035 markings/sec, 65 secs
lola: 6972121 markings, 10411730 edges, 89341 markings/sec, 70 secs
lola: 7427004 markings, 11093608 edges, 90977 markings/sec, 75 secs
lola: 7875178 markings, 11764577 edges, 89635 markings/sec, 80 secs
lola: 8328686 markings, 12443260 edges, 90702 markings/sec, 85 secs
lola: 8780126 markings, 13120884 edges, 90288 markings/sec, 90 secs
lola: 9236107 markings, 13802508 edges, 91196 markings/sec, 95 secs
lola: 9692804 markings, 14487794 edges, 91339 markings/sec, 100 secs
lola: 10147064 markings, 15167573 edges, 90852 markings/sec, 105 secs
lola: 10594523 markings, 15840106 edges, 89492 markings/sec, 110 secs
lola: 11036413 markings, 16496274 edges, 88378 markings/sec, 115 secs
lola: 11381557 markings, 17335111 edges, 69029 markings/sec, 120 secs
lola: 11751564 markings, 18075705 edges, 74001 markings/sec, 125 secs
lola: 12013698 markings, 19014787 edges, 52427 markings/sec, 130 secs
lola: 12306464 markings, 19872618 edges, 58553 markings/sec, 135 secs
lola: 12613311 markings, 20608113 edges, 61369 markings/sec, 140 secs
lola: 12959124 markings, 21309015 edges, 69163 markings/sec, 145 secs
lola: 13293589 markings, 22016495 edges, 66893 markings/sec, 150 secs
lola: 13621710 markings, 22736224 edges, 65624 markings/sec, 155 secs
lola: 13923938 markings, 23513294 edges, 60446 markings/sec, 160 secs
lola: 14012091 markings, 24604925 edges, 17631 markings/sec, 165 secs
lola: 14117168 markings, 25622744 edges, 21015 markings/sec, 170 secs
lola: 14447779 markings, 26357788 edges, 66122 markings/sec, 175 secs
lola: 14806201 markings, 27062651 edges, 71684 markings/sec, 180 secs
lola: 15156979 markings, 27712698 edges, 70156 markings/sec, 185 secs
lola: 15497223 markings, 28471425 edges, 68049 markings/sec, 190 secs
lola: 15837660 markings, 29126682 edges, 68087 markings/sec, 195 secs
lola: 16173980 markings, 29791640 edges, 67264 markings/sec, 200 secs
lola: 16503058 markings, 30491567 edges, 65816 markings/sec, 205 secs
lola: 16823301 markings, 31158807 edges, 64049 markings/sec, 210 secs
lola: 17128879 markings, 31818210 edges, 61116 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(pil3_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 500784 markings, 639868 edges, 100157 markings/sec, 0 secs
lola: 885394 markings, 1330641 edges, 76922 markings/sec, 5 secs
lola: 1279802 markings, 2030227 edges, 78882 markings/sec, 10 secs
lola: 1704864 markings, 2631959 edges, 85012 markings/sec, 15 secs
lola: 2071752 markings, 3308528 edges, 73378 markings/sec, 20 secs
lola: 2511721 markings, 3879592 edges, 87994 markings/sec, 25 secs
lola: 2937820 markings, 4437298 edges, 85220 markings/sec, 30 secs
lola: 3363108 markings, 5023189 edges, 85058 markings/sec, 35 secs
lola: 3787668 markings, 5627247 edges, 84912 markings/sec, 40 secs
lola: 4200932 markings, 6240377 edges, 82653 markings/sec, 45 secs
lola: 4607824 markings, 6836575 edges, 81378 markings/sec, 50 secs
lola: 5010308 markings, 7445860 edges, 80497 markings/sec, 55 secs
lola: 5409888 markings, 8080438 edges, 79916 markings/sec, 60 secs
lola: 5793928 markings, 8673186 edges, 76808 markings/sec, 65 secs
lola: 6166356 markings, 9292155 edges, 74486 markings/sec, 70 secs
lola: 6285503 markings, 10118457 edges, 23829 markings/sec, 75 secs
lola: 6301788 markings, 10897485 edges, 3257 markings/sec, 80 secs
lola: 6423967 markings, 11669759 edges, 24436 markings/sec, 85 secs
lola: 6824881 markings, 12222948 edges, 80183 markings/sec, 90 secs
lola: 7150650 markings, 12904468 edges, 65154 markings/sec, 95 secs
lola: 7563512 markings, 13460373 edges, 82572 markings/sec, 100 secs
lola: 7980831 markings, 14008988 edges, 83464 markings/sec, 105 secs
lola: 8385719 markings, 14544121 edges, 80978 markings/sec, 110 secs
lola: 8783165 markings, 15091996 edges, 79489 markings/sec, 115 secs
lola: 9179695 markings, 15649834 edges, 79306 markings/sec, 120 secs
lola: 9565845 markings, 16219756 edges, 77230 markings/sec, 125 secs
lola: 9948794 markings, 16771559 edges, 76590 markings/sec, 130 secs
lola: 10319542 markings, 17329110 edges, 74150 markings/sec, 135 secs
lola: 10682638 markings, 17907981 edges, 72619 markings/sec, 140 secs
lola: 11058082 markings, 18498312 edges, 75089 markings/sec, 145 secs
lola: 11439176 markings, 19105775 edges, 76219 markings/sec, 150 secs
lola: 11701995 markings, 19896786 edges, 52564 markings/sec, 155 secs
lola: 11725234 markings, 20752473 edges, 4648 markings/sec, 160 secs
lola: 11777139 markings, 21631336 edges, 10381 markings/sec, 165 secs
lola: 12178754 markings, 22201792 edges, 80323 markings/sec, 170 secs
lola: 12581507 markings, 22731213 edges, 80551 markings/sec, 175 secs
lola: 12969963 markings, 23291074 edges, 77691 markings/sec, 180 secs
lola: 13209379 markings, 24054323 edges, 47883 markings/sec, 185 secs
lola: 13639825 markings, 24546317 edges, 86089 markings/sec, 190 secs
lola: 14066932 markings, 25050590 edges, 85421 markings/sec, 195 secs
lola: 14458748 markings, 25630367 edges, 78363 markings/sec, 200 secs
lola: 14837271 markings, 26274745 edges, 75705 markings/sec, 205 secs
lola: 15260048 markings, 26786078 edges, 84555 markings/sec, 210 secs
lola: 15676826 markings, 27297101 edges, 83356 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(pil3_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 512311 markings, 655505 edges, 102462 markings/sec, 0 secs
lola: 894505 markings, 1440410 edges, 76439 markings/sec, 5 secs
lola: 1341817 markings, 2106950 edges, 89462 markings/sec, 10 secs
lola: 1763009 markings, 2765956 edges, 84238 markings/sec, 15 secs
lola: 2162909 markings, 3419912 edges, 79980 markings/sec, 20 secs
lola: 2604777 markings, 3999158 edges, 88374 markings/sec, 25 secs
lola: 3027016 markings, 4559439 edges, 84448 markings/sec, 30 secs
lola: 3434250 markings, 5128317 edges, 81447 markings/sec, 35 secs
lola: 3821928 markings, 5675781 edges, 77536 markings/sec, 40 secs
lola: 4201099 markings, 6240627 edges, 75834 markings/sec, 45 secs
lola: 4574543 markings, 6787747 edges, 74689 markings/sec, 50 secs
lola: 4946636 markings, 7345703 edges, 74419 markings/sec, 55 secs
lola: 5315952 markings, 7930367 edges, 73863 markings/sec, 60 secs
lola: 5697006 markings, 8522194 edges, 76211 markings/sec, 65 secs
lola: 6080196 markings, 9134163 edges, 76638 markings/sec, 70 secs
lola: 6281951 markings, 9980435 edges, 40351 markings/sec, 75 secs
lola: 6300674 markings, 10802834 edges, 3745 markings/sec, 80 secs
lola: 6380631 markings, 11602843 edges, 15991 markings/sec, 85 secs
lola: 6798495 markings, 12184130 edges, 83573 markings/sec, 90 secs
lola: 7145776 markings, 12896804 edges, 69456 markings/sec, 95 secs
lola: 7573276 markings, 13471895 edges, 85500 markings/sec, 100 secs
lola: 7995873 markings, 14029129 edges, 84519 markings/sec, 105 secs
lola: 8396432 markings, 14558344 edges, 80112 markings/sec, 110 secs
lola: 8787840 markings, 15098890 edges, 78282 markings/sec, 115 secs
lola: 9177313 markings, 15646210 edges, 77895 markings/sec, 120 secs
lola: 9555357 markings, 16205089 edges, 75609 markings/sec, 125 secs
lola: 9929996 markings, 16744011 edges, 74928 markings/sec, 130 secs
lola: 10295132 markings, 17292359 edges, 73027 markings/sec, 135 secs
lola: 10657453 markings, 17864637 edges, 72464 markings/sec, 140 secs
lola: 11029585 markings, 18453170 edges, 74426 markings/sec, 145 secs
lola: 11420559 markings, 19071990 edges, 78195 markings/sec, 150 secs
lola: 11704139 markings, 19939132 edges, 56716 markings/sec, 155 secs
lola: 11728279 markings, 20959482 edges, 4828 markings/sec, 160 secs
lola: 11912233 markings, 21810998 edges, 36791 markings/sec, 165 secs
lola: 12312512 markings, 22372227 edges, 80056 markings/sec, 170 secs
lola: 12708370 markings, 22909166 edges, 79172 markings/sec, 175 secs
lola: 13102976 markings, 23493702 edges, 78921 markings/sec, 180 secs
lola: 13360667 markings, 24222997 edges, 51538 markings/sec, 185 secs
lola: 13796118 markings, 24730055 edges, 87090 markings/sec, 190 secs
lola: 14223087 markings, 25246396 edges, 85394 markings/sec, 195 secs
lola: 14599288 markings, 25885526 edges, 75240 markings/sec, 200 secs
lola: 15015227 markings, 26488869 edges, 83188 markings/sec, 205 secs
lola: 15424670 markings, 26986459 edges, 81889 markings/sec, 210 secs
lola: 15825511 markings, 27481139 edges, 80168 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(pol3_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 906198 markings, 948614 edges, 181240 markings/sec, 0 secs
lola: 1750266 markings, 1874854 edges, 168814 markings/sec, 5 secs
lola: 2612048 markings, 2776836 edges, 172356 markings/sec, 10 secs
lola: 3430600 markings, 3673806 edges, 163710 markings/sec, 15 secs
lola: 4266171 markings, 4544893 edges, 167114 markings/sec, 20 secs
lola: 5101149 markings, 5418990 edges, 166996 markings/sec, 25 secs
lola: 5930830 markings, 6289087 edges, 165936 markings/sec, 30 secs
lola: 6755175 markings, 7155015 edges, 164869 markings/sec, 35 secs
lola: 7580694 markings, 8026662 edges, 165104 markings/sec, 40 secs
lola: 8420706 markings, 8919348 edges, 168002 markings/sec, 45 secs
lola: 9073933 markings, 9851389 edges, 130645 markings/sec, 50 secs
lola: 9911026 markings, 10729344 edges, 167419 markings/sec, 55 secs
lola: 10723368 markings, 11618781 edges, 162468 markings/sec, 60 secs
lola: 11552856 markings, 12482688 edges, 165898 markings/sec, 65 secs
lola: 12385295 markings, 13353247 edges, 166488 markings/sec, 70 secs
lola: 13215113 markings, 14223525 edges, 165964 markings/sec, 75 secs
lola: 14037225 markings, 15087135 edges, 164422 markings/sec, 80 secs
lola: 14831479 markings, 15928587 edges, 158851 markings/sec, 85 secs
lola: 15621397 markings, 16767055 edges, 157984 markings/sec, 90 secs
lola: 16233355 markings, 17659849 edges, 122392 markings/sec, 95 secs
lola: 17066324 markings, 18524485 edges, 166594 markings/sec, 100 secs
lola: 17883635 markings, 19377754 edges, 163462 markings/sec, 105 secs
lola: 18714224 markings, 20244684 edges, 166118 markings/sec, 110 secs
lola: 19544933 markings, 21114990 edges, 166142 markings/sec, 115 secs
lola: 20375207 markings, 21985543 edges, 166055 markings/sec, 120 secs
lola: 21206280 markings, 22855839 edges, 166215 markings/sec, 125 secs
lola: 22036566 markings, 23727459 edges, 166057 markings/sec, 130 secs
lola: 22866827 markings, 24599811 edges, 166052 markings/sec, 135 secs
lola: 23697607 markings, 25471383 edges, 166156 markings/sec, 140 secs
lola: 24523419 markings, 26338096 edges, 165162 markings/sec, 145 secs
lola: 25347405 markings, 27202749 edges, 164797 markings/sec, 150 secs
lola: 26168698 markings, 28066242 edges, 164259 markings/sec, 155 secs
lola: 27002967 markings, 28943303 edges, 166854 markings/sec, 160 secs
lola: 27833231 markings, 29817387 edges, 166053 markings/sec, 165 secs
lola: 28668750 markings, 30696684 edges, 167104 markings/sec, 170 secs
lola: 29505450 markings, 31577256 edges, 167340 markings/sec, 175 secs
lola: 30348108 markings, 32463992 edges, 168532 markings/sec, 180 secs
lola: 31189000 markings, 33351198 edges, 168178 markings/sec, 185 secs
lola: 32019549 markings, 34227689 edges, 166110 markings/sec, 190 secs
lola: 32836268 markings, 35092019 edges, 163344 markings/sec, 195 secs
lola: 33663477 markings, 35966218 edges, 165442 markings/sec, 200 secs
lola: 34500584 markings, 36849196 edges, 167421 markings/sec, 205 secs
lola: 35338164 markings, 37733848 edges, 167516 markings/sec, 210 secs
lola: 36193483 markings, 38633904 edges, 171064 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(po1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 436856 markings, 806049 edges, 87371 markings/sec, 0 secs
lola: 899852 markings, 1495091 edges, 92599 markings/sec, 5 secs
lola: 1338698 markings, 2148493 edges, 87769 markings/sec, 10 secs
lola: 1722230 markings, 2867162 edges, 76706 markings/sec, 15 secs
lola: 1852115 markings, 3928097 edges, 25977 markings/sec, 20 secs
lola: 2057600 markings, 4880484 edges, 41097 markings/sec, 25 secs
lola: 2471531 markings, 5498778 edges, 82786 markings/sec, 30 secs
lola: 2822447 markings, 6199981 edges, 70183 markings/sec, 35 secs
lola: 3028084 markings, 7055331 edges, 41127 markings/sec, 40 secs
lola: 3436465 markings, 7706265 edges, 81676 markings/sec, 45 secs
lola: 3841198 markings, 8321902 edges, 80947 markings/sec, 50 secs
lola: 4225407 markings, 8917427 edges, 76842 markings/sec, 55 secs
lola: 4539257 markings, 9649739 edges, 62770 markings/sec, 60 secs
lola: 4575850 markings, 10693174 edges, 7319 markings/sec, 65 secs
lola: 4800343 markings, 11479907 edges, 44899 markings/sec, 70 secs
lola: 5185218 markings, 12176069 edges, 76975 markings/sec, 75 secs
lola: 5624264 markings, 12762997 edges, 87809 markings/sec, 80 secs
lola: 6062419 markings, 13360969 edges, 87631 markings/sec, 85 secs
lola: 6493686 markings, 13962987 edges, 86253 markings/sec, 90 secs
lola: 6918196 markings, 14550800 edges, 84902 markings/sec, 95 secs
lola: 7334865 markings, 15142727 edges, 83334 markings/sec, 100 secs
lola: 7751260 markings, 15737055 edges, 83279 markings/sec, 105 secs
lola: 8160556 markings, 16332079 edges, 81859 markings/sec, 110 secs
lola: 8567692 markings, 16933197 edges, 81427 markings/sec, 115 secs
lola: 8969754 markings, 17534685 edges, 80412 markings/sec, 120 secs
lola: 9373573 markings, 18133043 edges, 80764 markings/sec, 125 secs
lola: 9774260 markings, 18738128 edges, 80137 markings/sec, 130 secs
lola: 10173193 markings, 19341600 edges, 79787 markings/sec, 135 secs
lola: 10568235 markings, 19941004 edges, 79008 markings/sec, 140 secs
lola: 10963123 markings, 20539726 edges, 78978 markings/sec, 145 secs
lola: 11355673 markings, 21134230 edges, 78510 markings/sec, 150 secs
lola: 11743999 markings, 21727118 edges, 77665 markings/sec, 155 secs
lola: 12129742 markings, 22322201 edges, 77149 markings/sec, 160 secs
lola: 12511762 markings, 22921411 edges, 76404 markings/sec, 165 secs
lola: 12891155 markings, 23544180 edges, 75879 markings/sec, 170 secs
lola: 13227272 markings, 24236010 edges, 67223 markings/sec, 175 secs
lola: 13588266 markings, 24947012 edges, 72199 markings/sec, 180 secs
lola: 13985330 markings, 25569807 edges, 79413 markings/sec, 185 secs
lola: 14377445 markings, 26181947 edges, 78423 markings/sec, 190 secs
lola: 14748449 markings, 26815417 edges, 74201 markings/sec, 195 secs
lola: 15138719 markings, 27409451 edges, 78054 markings/sec, 200 secs
lola: 15528033 markings, 28001415 edges, 77863 markings/sec, 205 secs
lola: 15900390 markings, 28611375 edges, 74471 markings/sec, 210 secs
lola: 16280282 markings, 29204887 edges, 75978 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(po1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 352034 markings, 711278 edges, 70407 markings/sec, 0 secs
lola: 567952 markings, 1548379 edges, 43184 markings/sec, 5 secs
lola: 846796 markings, 2299791 edges, 55769 markings/sec, 10 secs
lola: 1168261 markings, 2892960 edges, 64293 markings/sec, 15 secs
lola: 1463910 markings, 3502760 edges, 59130 markings/sec, 20 secs
lola: 1741588 markings, 4131475 edges, 55536 markings/sec, 25 secs
lola: 2001441 markings, 4787673 edges, 51971 markings/sec, 30 secs
lola: 2209458 markings, 5560895 edges, 41603 markings/sec, 35 secs
lola: 2219560 markings, 6500480 edges, 2020 markings/sec, 40 secs
lola: 2340177 markings, 7355624 edges, 24123 markings/sec, 45 secs
lola: 2593100 markings, 8096956 edges, 50585 markings/sec, 50 secs
lola: 2860742 markings, 8792243 edges, 53528 markings/sec, 55 secs
lola: 3161697 markings, 9380626 edges, 60191 markings/sec, 60 secs
lola: 3438941 markings, 9976728 edges, 55449 markings/sec, 65 secs
lola: 3704385 markings, 10600360 edges, 53089 markings/sec, 70 secs
lola: 3963448 markings, 11243483 edges, 51813 markings/sec, 75 secs
lola: 4081047 markings, 12078982 edges, 23520 markings/sec, 80 secs
lola: 4086242 markings, 12958139 edges, 1039 markings/sec, 85 secs
lola: 4271056 markings, 13719808 edges, 36963 markings/sec, 90 secs
lola: 4532015 markings, 14388782 edges, 52192 markings/sec, 95 secs
lola: 4823874 markings, 14962056 edges, 58372 markings/sec, 100 secs
lola: 5098401 markings, 15550996 edges, 54905 markings/sec, 105 secs
lola: 5362654 markings, 16176405 edges, 52851 markings/sec, 110 secs
lola: 5624124 markings, 16826225 edges, 52294 markings/sec, 115 secs
lola: 5734530 markings, 17685683 edges, 22081 markings/sec, 120 secs
lola: 5739292 markings, 18557178 edges, 952 markings/sec, 125 secs
lola: 5945309 markings, 19228345 edges, 41203 markings/sec, 130 secs
lola: 6251054 markings, 19745358 edges, 61149 markings/sec, 135 secs
lola: 6542776 markings, 20266221 edges, 58344 markings/sec, 140 secs
lola: 6830303 markings, 20788715 edges, 57505 markings/sec, 145 secs
lola: 7112528 markings, 21315723 edges, 56445 markings/sec, 150 secs
lola: 7390704 markings, 21842829 edges, 55635 markings/sec, 155 secs
lola: 7662747 markings, 22375238 edges, 54409 markings/sec, 160 secs
lola: 7930871 markings, 22908180 edges, 53625 markings/sec, 165 secs
lola: 8200087 markings, 23440885 edges, 53843 markings/sec, 170 secs
lola: 8465245 markings, 23971710 edges, 53032 markings/sec, 175 secs
lola: 8733660 markings, 24518670 edges, 53683 markings/sec, 180 secs
lola: 9000888 markings, 25070126 edges, 53446 markings/sec, 185 secs
lola: 9269936 markings, 25614304 edges, 53810 markings/sec, 190 secs
lola: 9532659 markings, 26168009 edges, 52545 markings/sec, 195 secs
lola: 9794784 markings, 26719200 edges, 52425 markings/sec, 200 secs
lola: 10052985 markings, 27272167 edges, 51640 markings/sec, 205 secs
lola: 10312374 markings, 27827064 edges, 51878 markings/sec, 210 secs
lola: 10565511 markings, 28388260 edges, 50627 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(pbl_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 376403 markings, 737237 edges, 75281 markings/sec, 0 secs
lola: 644030 markings, 1560551 edges, 53525 markings/sec, 5 secs
lola: 846459 markings, 2478391 edges, 40486 markings/sec, 10 secs
lola: 1108811 markings, 3133997 edges, 52470 markings/sec, 15 secs
lola: 1245001 markings, 4043570 edges, 27238 markings/sec, 20 secs
lola: 1548729 markings, 4693634 edges, 60746 markings/sec, 25 secs
lola: 1650642 markings, 5590105 edges, 20383 markings/sec, 30 secs
lola: 2014817 markings, 6211526 edges, 72835 markings/sec, 35 secs
lola: 2354709 markings, 6823895 edges, 67978 markings/sec, 40 secs
lola: 2679877 markings, 7439002 edges, 65034 markings/sec, 45 secs
lola: 2990176 markings, 8052490 edges, 62060 markings/sec, 50 secs
lola: 3291382 markings, 8663043 edges, 60241 markings/sec, 55 secs
lola: 3578923 markings, 9268997 edges, 57508 markings/sec, 60 secs
lola: 3855877 markings, 9868016 edges, 55391 markings/sec, 65 secs
lola: 4123317 markings, 10472429 edges, 53488 markings/sec, 70 secs
lola: 4382073 markings, 11079279 edges, 51751 markings/sec, 75 secs
lola: 4629528 markings, 11692881 edges, 49491 markings/sec, 80 secs
lola: 4872691 markings, 12310961 edges, 48633 markings/sec, 85 secs
lola: 5103612 markings, 12928479 edges, 46184 markings/sec, 90 secs
lola: 5326877 markings, 13558945 edges, 44653 markings/sec, 95 secs
lola: 5543342 markings, 14200633 edges, 43293 markings/sec, 100 secs
lola: 5746180 markings, 14880374 edges, 40568 markings/sec, 105 secs
lola: 5947368 markings, 15594900 edges, 40238 markings/sec, 110 secs
lola: 6130570 markings, 16399672 edges, 36640 markings/sec, 115 secs
lola: 6254224 markings, 17271357 edges, 24731 markings/sec, 120 secs
lola: 6277464 markings, 18088116 edges, 4648 markings/sec, 125 secs
lola: 6280673 markings, 18883559 edges, 642 markings/sec, 130 secs
lola: 6282610 markings, 19704375 edges, 387 markings/sec, 135 secs
lola: 6284620 markings, 20515142 edges, 402 markings/sec, 140 secs
lola: 6286494 markings, 21309649 edges, 375 markings/sec, 145 secs
lola: 6288302 markings, 22106546 edges, 362 markings/sec, 150 secs
lola: 6290897 markings, 22926079 edges, 519 markings/sec, 155 secs
lola: 6292998 markings, 23777565 edges, 420 markings/sec, 160 secs
lola: 6540762 markings, 24491430 edges, 49553 markings/sec, 165 secs
lola: 6768580 markings, 25095667 edges, 45564 markings/sec, 170 secs
lola: 6870822 markings, 25890175 edges, 20448 markings/sec, 175 secs
lola: 7152436 markings, 26498875 edges, 56323 markings/sec, 180 secs
lola: 7292434 markings, 27265877 edges, 28000 markings/sec, 185 secs
lola: 7554606 markings, 27940420 edges, 52434 markings/sec, 190 secs
lola: 7880770 markings, 28522611 edges, 65233 markings/sec, 195 secs
lola: 8193458 markings, 29102528 edges, 62538 markings/sec, 200 secs
lola: 8489399 markings, 29673951 edges, 59188 markings/sec, 205 secs
lola: 8777946 markings, 30250064 edges, 57709 markings/sec, 210 secs
lola: 9054278 markings, 30822026 edges, 55266 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(pi2_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 539760 markings, 782053 edges, 107952 markings/sec, 0 secs
lola: 1001288 markings, 1612131 edges, 92306 markings/sec, 5 secs
lola: 1376503 markings, 2470704 edges, 75043 markings/sec, 10 secs
lola: 1661673 markings, 3410261 edges, 57034 markings/sec, 15 secs
lola: 2063050 markings, 4171091 edges, 80275 markings/sec, 20 secs
lola: 2441252 markings, 4934314 edges, 75640 markings/sec, 25 secs
lola: 2770517 markings, 5771750 edges, 65853 markings/sec, 30 secs
lola: 2898758 markings, 6752360 edges, 25648 markings/sec, 35 secs
lola: 3305303 markings, 7643961 edges, 81309 markings/sec, 40 secs
lola: 3692616 markings, 8457791 edges, 77463 markings/sec, 45 secs
lola: 3921553 markings, 9543532 edges, 45787 markings/sec, 50 secs
lola: 4298462 markings, 10333166 edges, 75382 markings/sec, 55 secs
lola: 4517938 markings, 11354445 edges, 43895 markings/sec, 60 secs
lola: 4936319 markings, 12096587 edges, 83676 markings/sec, 65 secs
lola: 5341220 markings, 12835058 edges, 80980 markings/sec, 70 secs
lola: 5735040 markings, 13575197 edges, 78764 markings/sec, 75 secs
lola: 6123401 markings, 14318361 edges, 77672 markings/sec, 80 secs
lola: 6507471 markings, 15068330 edges, 76814 markings/sec, 85 secs
lola: 6882961 markings, 15835019 edges, 75098 markings/sec, 90 secs
lola: 7257526 markings, 16602082 edges, 74913 markings/sec, 95 secs
lola: 7617999 markings, 17385247 edges, 72095 markings/sec, 100 secs
lola: 7978081 markings, 18166587 edges, 72016 markings/sec, 105 secs
lola: 8327586 markings, 18943039 edges, 69901 markings/sec, 110 secs
lola: 8676917 markings, 19723162 edges, 69866 markings/sec, 115 secs
lola: 9022201 markings, 20503478 edges, 69057 markings/sec, 120 secs
lola: 9367262 markings, 21274263 edges, 69012 markings/sec, 125 secs
lola: 9700813 markings, 22055132 edges, 66710 markings/sec, 130 secs
lola: 9996821 markings, 22882116 edges, 59202 markings/sec, 135 secs
lola: 10292563 markings, 23777273 edges, 59148 markings/sec, 140 secs
lola: 10359655 markings, 24903079 edges, 13418 markings/sec, 145 secs
lola: 10388912 markings, 26043464 edges, 5851 markings/sec, 150 secs
lola: 10406142 markings, 27159117 edges, 3446 markings/sec, 155 secs
lola: 10416075 markings, 28269433 edges, 1987 markings/sec, 160 secs
lola: 10422629 markings, 29387707 edges, 1311 markings/sec, 165 secs
lola: 10426121 markings, 30495652 edges, 698 markings/sec, 170 secs
lola: 10427982 markings, 31658949 edges, 372 markings/sec, 175 secs
lola: 10863455 markings, 32439998 edges, 87095 markings/sec, 180 secs
lola: 11240181 markings, 33231368 edges, 75345 markings/sec, 185 secs
lola: 11473569 markings, 34273279 edges, 46678 markings/sec, 190 secs
lola: 11885318 markings, 35024897 edges, 82350 markings/sec, 195 secs
lola: 12290223 markings, 35753129 edges, 80981 markings/sec, 200 secs
lola: 12679656 markings, 36477945 edges, 77887 markings/sec, 205 secs
lola: 13059953 markings, 37211386 edges, 76059 markings/sec, 210 secs
lola: 13433755 markings, 37950779 edges, 74760 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(pb3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 356693 markings, 700874 edges, 71339 markings/sec, 0 secs
lola: 573398 markings, 1516012 edges, 43341 markings/sec, 5 secs
lola: 834694 markings, 2278844 edges, 52259 markings/sec, 10 secs
lola: 1154092 markings, 2861668 edges, 63880 markings/sec, 15 secs
lola: 1446582 markings, 3460893 edges, 58498 markings/sec, 20 secs
lola: 1718969 markings, 4072515 edges, 54477 markings/sec, 25 secs
lola: 1975465 markings, 4709846 edges, 51299 markings/sec, 30 secs
lola: 2212014 markings, 5422102 edges, 47310 markings/sec, 35 secs
lola: 2224473 markings, 6349206 edges, 2492 markings/sec, 40 secs
lola: 2275073 markings, 7217684 edges, 10120 markings/sec, 45 secs
lola: 2513874 markings, 7928374 edges, 47760 markings/sec, 50 secs
lola: 2761218 markings, 8610116 edges, 49469 markings/sec, 55 secs
lola: 3058076 markings, 9166900 edges, 59372 markings/sec, 60 secs
lola: 3334974 markings, 9739587 edges, 55380 markings/sec, 65 secs
lola: 3598664 markings, 10335049 edges, 52738 markings/sec, 70 secs
lola: 3850687 markings, 10966914 edges, 50405 markings/sec, 75 secs
lola: 4078105 markings, 11662311 edges, 45484 markings/sec, 80 secs
lola: 4090243 markings, 12554036 edges, 2428 markings/sec, 85 secs
lola: 4138826 markings, 13425395 edges, 9717 markings/sec, 90 secs
lola: 4391334 markings, 14133442 edges, 50502 markings/sec, 95 secs
lola: 4700879 markings, 14708779 edges, 61909 markings/sec, 100 secs
lola: 4985230 markings, 15295931 edges, 56870 markings/sec, 105 secs
lola: 5260599 markings, 15919133 edges, 55074 markings/sec, 110 secs
lola: 5521591 markings, 16576883 edges, 52198 markings/sec, 115 secs
lola: 5733208 markings, 17336928 edges, 42323 markings/sec, 120 secs
lola: 5744004 markings, 18308648 edges, 2159 markings/sec, 125 secs
lola: 5881959 markings, 19125912 edges, 27591 markings/sec, 130 secs
lola: 6207389 markings, 19667262 edges, 65086 markings/sec, 135 secs
lola: 6518223 markings, 20218581 edges, 62167 markings/sec, 140 secs
lola: 6827911 markings, 20782128 edges, 61938 markings/sec, 145 secs
lola: 7131049 markings, 21347525 edges, 60628 markings/sec, 150 secs
lola: 7430995 markings, 21918524 edges, 59989 markings/sec, 155 secs
lola: 7722630 markings, 22491220 edges, 58327 markings/sec, 160 secs
lola: 8009559 markings, 23059304 edges, 57386 markings/sec, 165 secs
lola: 8297353 markings, 23626757 edges, 57559 markings/sec, 170 secs
lola: 8579927 markings, 24204811 edges, 56515 markings/sec, 175 secs
lola: 8865043 markings, 24781997 edges, 57023 markings/sec, 180 secs
lola: 9147240 markings, 25362902 edges, 56439 markings/sec, 185 secs
lola: 9427790 markings, 25946548 edges, 56110 markings/sec, 190 secs
lola: 9707784 markings, 26526883 edges, 55999 markings/sec, 195 secs
lola: 9982389 markings, 27113999 edges, 54921 markings/sec, 200 secs
lola: 10256325 markings, 27704793 edges, 54787 markings/sec, 205 secs
lola: 10529688 markings, 28301861 edges, 54673 markings/sec, 210 secs
lola: 10798981 markings, 28903987 edges, 53859 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(pol3_5_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 630334 markings, 926250 edges, 126067 markings/sec, 0 secs
lola: 1244486 markings, 1842277 edges, 122830 markings/sec, 5 secs
lola: 1827204 markings, 2714497 edges, 116544 markings/sec, 10 secs
lola: 2396129 markings, 3565953 edges, 113785 markings/sec, 15 secs
lola: 2974454 markings, 4432887 edges, 115665 markings/sec, 20 secs
lola: 3543171 markings, 5285664 edges, 113743 markings/sec, 25 secs
lola: 4115588 markings, 6142090 edges, 114483 markings/sec, 30 secs
lola: 4684035 markings, 6992825 edges, 113689 markings/sec, 35 secs
lola: 5257009 markings, 7852216 edges, 114595 markings/sec, 40 secs
lola: 5822473 markings, 8699765 edges, 113093 markings/sec, 45 secs
lola: 6387430 markings, 9545055 edges, 112991 markings/sec, 50 secs
lola: 6959782 markings, 10401728 edges, 114470 markings/sec, 55 secs
lola: 7528244 markings, 11254565 edges, 113692 markings/sec, 60 secs
lola: 8091084 markings, 12097648 edges, 112568 markings/sec, 65 secs
lola: 8658166 markings, 12946286 edges, 113416 markings/sec, 70 secs
lola: 9229535 markings, 13802159 edges, 114274 markings/sec, 75 secs
lola: 9797187 markings, 14653855 edges, 113530 markings/sec, 80 secs
lola: 10367637 markings, 15507689 edges, 114090 markings/sec, 85 secs
lola: 10933551 markings, 16354500 edges, 113183 markings/sec, 90 secs
lola: 11494303 markings, 17197193 edges, 112150 markings/sec, 95 secs
lola: 12043922 markings, 18043576 edges, 109924 markings/sec, 100 secs
lola: 12461456 markings, 19029989 edges, 83507 markings/sec, 105 secs
lola: 12876682 markings, 19977418 edges, 83045 markings/sec, 110 secs
lola: 13211123 markings, 20980985 edges, 66888 markings/sec, 115 secs
lola: 13641199 markings, 21853471 edges, 86015 markings/sec, 120 secs
lola: 14049686 markings, 22734002 edges, 81697 markings/sec, 125 secs
lola: 14434337 markings, 23632930 edges, 76930 markings/sec, 130 secs
lola: 14595852 markings, 24784774 edges, 32303 markings/sec, 135 secs
lola: 14690927 markings, 25950828 edges, 19015 markings/sec, 140 secs
lola: 15101815 markings, 26826027 edges, 82178 markings/sec, 145 secs
lola: 15541240 markings, 27637419 edges, 87885 markings/sec, 150 secs
lola: 15950418 markings, 28563660 edges, 81836 markings/sec, 155 secs
lola: 16360154 markings, 29350576 edges, 81947 markings/sec, 160 secs
lola: 16763740 markings, 30150746 edges, 80717 markings/sec, 165 secs
lola: 17160824 markings, 31010795 edges, 79417 markings/sec, 170 secs
lola: 17556161 markings, 31819613 edges, 79067 markings/sec, 175 secs
lola: 17940877 markings, 32657206 edges, 76943 markings/sec, 180 secs
lola: 18332319 markings, 33468968 edges, 78288 markings/sec, 185 secs
lola: 18719420 markings, 34284333 edges, 77420 markings/sec, 190 secs
lola: 19104422 markings, 35106469 edges, 77000 markings/sec, 195 secs
lola: 19482848 markings, 35930121 edges, 75685 markings/sec, 200 secs
lola: 19854870 markings, 36769726 edges, 74404 markings/sec, 205 secs
lola: 20223508 markings, 37611805 edges, 73728 markings/sec, 210 secs
lola: 20578384 markings, 38472351 edges, 70975 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(pil1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 625045 markings, 861906 edges, 125009 markings/sec, 0 secs
lola: 1126425 markings, 1830549 edges, 100276 markings/sec, 5 secs
lola: 1689088 markings, 2679664 edges, 112533 markings/sec, 10 secs
lola: 2252556 markings, 3505750 edges, 112694 markings/sec, 15 secs
lola: 2808680 markings, 4324610 edges, 111225 markings/sec, 20 secs
lola: 3361223 markings, 5136532 edges, 110509 markings/sec, 25 secs
lola: 3894721 markings, 5996211 edges, 106700 markings/sec, 30 secs
lola: 4478452 markings, 6917048 edges, 116746 markings/sec, 35 secs
lola: 4561760 markings, 8103653 edges, 16662 markings/sec, 40 secs
lola: 5056067 markings, 8984476 edges, 98861 markings/sec, 45 secs
lola: 5607045 markings, 9760464 edges, 110196 markings/sec, 50 secs
lola: 6139961 markings, 10540147 edges, 106583 markings/sec, 55 secs
lola: 6674500 markings, 11348475 edges, 106908 markings/sec, 60 secs
lola: 7208533 markings, 12165893 edges, 106807 markings/sec, 65 secs
lola: 7739885 markings, 12957216 edges, 106270 markings/sec, 70 secs
lola: 8261602 markings, 13753274 edges, 104343 markings/sec, 75 secs
lola: 8770060 markings, 14529970 edges, 101692 markings/sec, 80 secs
lola: 9291291 markings, 15311550 edges, 104246 markings/sec, 85 secs
lola: 9814515 markings, 16086455 edges, 104645 markings/sec, 90 secs
lola: 10336795 markings, 16863793 edges, 104456 markings/sec, 95 secs
lola: 10859444 markings, 17637109 edges, 104530 markings/sec, 100 secs
lola: 11385432 markings, 18425626 edges, 105198 markings/sec, 105 secs
lola: 11912721 markings, 19210122 edges, 105458 markings/sec, 110 secs
lola: 12439847 markings, 20001239 edges, 105425 markings/sec, 115 secs
lola: 12957150 markings, 20796396 edges, 103461 markings/sec, 120 secs
lola: 13457983 markings, 21604231 edges, 100167 markings/sec, 125 secs
lola: 13961226 markings, 22446584 edges, 100649 markings/sec, 130 secs
lola: 14552067 markings, 23326167 edges, 118168 markings/sec, 135 secs
lola: 15142992 markings, 24189265 edges, 118185 markings/sec, 140 secs
lola: 15722809 markings, 25042942 edges, 115963 markings/sec, 145 secs
lola: 16298442 markings, 25891363 edges, 115127 markings/sec, 150 secs
lola: 16837667 markings, 26789330 edges, 107845 markings/sec, 155 secs
lola: 16982327 markings, 27979359 edges, 28932 markings/sec, 160 secs
lola: 17173328 markings, 29017575 edges, 38200 markings/sec, 165 secs
lola: 17221257 markings, 30061688 edges, 9586 markings/sec, 170 secs
lola: 17263867 markings, 31095294 edges, 8522 markings/sec, 175 secs
lola: 17360214 markings, 32148712 edges, 19269 markings/sec, 180 secs
lola: 17881085 markings, 32977267 edges, 104174 markings/sec, 185 secs
lola: 18339133 markings, 33830859 edges, 91610 markings/sec, 190 secs
lola: 18889898 markings, 34604682 edges, 110153 markings/sec, 195 secs
lola: 19422631 markings, 35365803 edges, 106547 markings/sec, 200 secs
lola: 19943079 markings, 36124577 edges, 104090 markings/sec, 205 secs
lola: 20474275 markings, 36952022 edges, 106239 markings/sec, 210 secs
lola: 21003234 markings, 37745138 edges, 105792 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(pol2_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 648015 markings, 727318 edges, 129603 markings/sec, 0 secs
lola: 1087752 markings, 2045146 edges, 87947 markings/sec, 5 secs
lola: 1641204 markings, 3186578 edges, 110690 markings/sec, 10 secs
lola: 2162486 markings, 4290059 edges, 104256 markings/sec, 15 secs
lola: 2642046 markings, 5405168 edges, 95912 markings/sec, 20 secs
lola: 2959375 markings, 6680464 edges, 63466 markings/sec, 25 secs
lola: 2994021 markings, 8068969 edges, 6929 markings/sec, 30 secs
lola: 3512663 markings, 9203147 edges, 103728 markings/sec, 35 secs
lola: 4074661 markings, 10228567 edges, 112400 markings/sec, 40 secs
lola: 4579168 markings, 11301094 edges, 100901 markings/sec, 45 secs
lola: 5103114 markings, 12328247 edges, 104789 markings/sec, 50 secs
lola: 5609679 markings, 13347776 edges, 101313 markings/sec, 55 secs
lola: 6107905 markings, 14375498 edges, 99645 markings/sec, 60 secs
lola: 6592286 markings, 15430073 edges, 96876 markings/sec, 65 secs
lola: 7072598 markings, 16535664 edges, 96062 markings/sec, 70 secs
lola: 7545067 markings, 17556841 edges, 94494 markings/sec, 75 secs
lola: 8005393 markings, 18587143 edges, 92065 markings/sec, 80 secs
lola: 8462204 markings, 19623200 edges, 91362 markings/sec, 85 secs
lola: 8924556 markings, 20698283 edges, 92470 markings/sec, 90 secs
lola: 9382881 markings, 21773827 edges, 91665 markings/sec, 95 secs
lola: 9824553 markings, 22832701 edges, 88334 markings/sec, 100 secs
lola: 10240401 markings, 23923816 edges, 83170 markings/sec, 105 secs
lola: 10539692 markings, 25159080 edges, 59858 markings/sec, 110 secs
lola: 10552313 markings, 26423755 edges, 2524 markings/sec, 115 secs
lola: 10561847 markings, 27619335 edges, 1907 markings/sec, 120 secs
lola: 10569647 markings, 28798794 edges, 1560 markings/sec, 125 secs
lola: 10578001 markings, 29974220 edges, 1671 markings/sec, 130 secs
lola: 10584264 markings, 31167623 edges, 1253 markings/sec, 135 secs
lola: 10713639 markings, 32459031 edges, 25875 markings/sec, 140 secs
lola: 11054410 markings, 33595380 edges, 68154 markings/sec, 145 secs
lola: 11446646 markings, 34684098 edges, 78447 markings/sec, 150 secs
lola: 11872174 markings, 35685145 edges, 85106 markings/sec, 155 secs
lola: 12272541 markings, 36713305 edges, 80073 markings/sec, 160 secs
lola: 12641418 markings, 37730800 edges, 73775 markings/sec, 165 secs
lola: 12923911 markings, 38883957 edges, 56499 markings/sec, 170 secs
lola: 12930876 markings, 40024650 edges, 1393 markings/sec, 175 secs
lola: 13067349 markings, 41159645 edges, 27295 markings/sec, 180 secs
lola: 13467031 markings, 42213586 edges, 79936 markings/sec, 185 secs
lola: 13944431 markings, 43178775 edges, 95480 markings/sec, 190 secs
lola: 14361184 markings, 44142228 edges, 83351 markings/sec, 195 secs
lola: 14788370 markings, 45150084 edges, 85437 markings/sec, 200 secs
lola: 15213884 markings, 46094548 edges, 85103 markings/sec, 205 secs
lola: 15631916 markings, 47046313 edges, 83606 markings/sec, 210 secs
lola: 16042928 markings, 48002954 edges, 82202 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(pi3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 871660 markings, 1000042 edges, 174332 markings/sec, 0 secs
lola: 1680181 markings, 1933697 edges, 161704 markings/sec, 5 secs
lola: 2476751 markings, 2860499 edges, 159314 markings/sec, 10 secs
lola: 3281934 markings, 3797635 edges, 161037 markings/sec, 15 secs
lola: 4085493 markings, 4732800 edges, 160712 markings/sec, 20 secs
lola: 4860532 markings, 5635094 edges, 155008 markings/sec, 25 secs
lola: 5627359 markings, 6529907 edges, 153365 markings/sec, 30 secs
lola: 6386491 markings, 7416111 edges, 151826 markings/sec, 35 secs
lola: 7145812 markings, 8299885 edges, 151864 markings/sec, 40 secs
lola: 7892883 markings, 9171785 edges, 149414 markings/sec, 45 secs
lola: 8644066 markings, 10048534 edges, 150237 markings/sec, 50 secs
lola: 9393937 markings, 10921167 edges, 149974 markings/sec, 55 secs
lola: 10127059 markings, 11776362 edges, 146624 markings/sec, 60 secs
lola: 10883791 markings, 12659768 edges, 151346 markings/sec, 65 secs
lola: 11636683 markings, 13536457 edges, 150578 markings/sec, 70 secs
lola: 12368935 markings, 14390585 edges, 146450 markings/sec, 75 secs
lola: 13122719 markings, 15270374 edges, 150757 markings/sec, 80 secs
lola: 13872403 markings, 16143308 edges, 149937 markings/sec, 85 secs
lola: 14595328 markings, 16986202 edges, 144585 markings/sec, 90 secs
lola: 15343659 markings, 17859823 edges, 149666 markings/sec, 95 secs
lola: 16098222 markings, 18738727 edges, 150913 markings/sec, 100 secs
lola: 16825942 markings, 19586985 edges, 145544 markings/sec, 105 secs
lola: 17569222 markings, 20454582 edges, 148656 markings/sec, 110 secs
lola: 18321912 markings, 21331901 edges, 150538 markings/sec, 115 secs
lola: 19044244 markings, 22173203 edges, 144466 markings/sec, 120 secs
lola: 19786755 markings, 23039975 edges, 148502 markings/sec, 125 secs
lola: 20533732 markings, 23910941 edges, 149395 markings/sec, 130 secs
lola: 21265073 markings, 24762411 edges, 146268 markings/sec, 135 secs
lola: 22003225 markings, 25624006 edges, 147630 markings/sec, 140 secs
lola: 22746208 markings, 26490857 edges, 148597 markings/sec, 145 secs
lola: 23479209 markings, 27344190 edges, 146600 markings/sec, 150 secs
lola: 24211549 markings, 28198839 edges, 146468 markings/sec, 155 secs
lola: 24949777 markings, 29060377 edges, 147646 markings/sec, 160 secs
lola: 25685440 markings, 29916631 edges, 147133 markings/sec, 165 secs
lola: 26410333 markings, 30762400 edges, 144979 markings/sec, 170 secs
lola: 27151826 markings, 31628042 edges, 148299 markings/sec, 175 secs
lola: 27886084 markings, 32482947 edges, 146852 markings/sec, 180 secs
lola: 28599268 markings, 33314560 edges, 142637 markings/sec, 185 secs
lola: 29351335 markings, 34192654 edges, 150413 markings/sec, 190 secs
lola: 30100564 markings, 35065210 edges, 149846 markings/sec, 195 secs
lola: 30820703 markings, 35904779 edges, 144028 markings/sec, 200 secs
lola: 31562402 markings, 36770319 edges, 148340 markings/sec, 205 secs
lola: 32310082 markings, 37641461 edges, 149536 markings/sec, 210 secs
lola: 33027031 markings, 38476974 edges, 143390 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(pb2_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 518130 markings, 759527 edges, 103626 markings/sec, 0 secs
lola: 998070 markings, 1470201 edges, 95988 markings/sec, 5 secs
lola: 1465942 markings, 2170391 edges, 93574 markings/sec, 10 secs
lola: 1930697 markings, 2868011 edges, 92951 markings/sec, 15 secs
lola: 2402112 markings, 3575662 edges, 94283 markings/sec, 20 secs
lola: 2875022 markings, 4285195 edges, 94582 markings/sec, 25 secs
lola: 3344479 markings, 4989699 edges, 93891 markings/sec, 30 secs
lola: 3797515 markings, 5667527 edges, 90607 markings/sec, 35 secs
lola: 4246761 markings, 6329152 edges, 89849 markings/sec, 40 secs
lola: 4696878 markings, 6994734 edges, 90023 markings/sec, 45 secs
lola: 5144817 markings, 7655057 edges, 89588 markings/sec, 50 secs
lola: 5586270 markings, 8310757 edges, 88291 markings/sec, 55 secs
lola: 6046242 markings, 8992216 edges, 91994 markings/sec, 60 secs
lola: 6491054 markings, 9647922 edges, 88962 markings/sec, 65 secs
lola: 6944787 markings, 10319339 edges, 90747 markings/sec, 70 secs
lola: 7389819 markings, 10974160 edges, 89006 markings/sec, 75 secs
lola: 7836588 markings, 11638991 edges, 89354 markings/sec, 80 secs
lola: 8291704 markings, 12312482 edges, 91023 markings/sec, 85 secs
lola: 8740474 markings, 12974956 edges, 89754 markings/sec, 90 secs
lola: 9191372 markings, 13640605 edges, 90180 markings/sec, 95 secs
lola: 9635739 markings, 14295988 edges, 88873 markings/sec, 100 secs
lola: 10082480 markings, 14959683 edges, 89348 markings/sec, 105 secs
lola: 10534146 markings, 15627360 edges, 90333 markings/sec, 110 secs
lola: 10978926 markings, 16285256 edges, 88956 markings/sec, 115 secs
lola: 11428398 markings, 16948358 edges, 89894 markings/sec, 120 secs
lola: 11873225 markings, 17608232 edges, 88965 markings/sec, 125 secs
lola: 12283662 markings, 18376817 edges, 82087 markings/sec, 130 secs
lola: 12634519 markings, 19227421 edges, 70171 markings/sec, 135 secs
lola: 13008005 markings, 20013458 edges, 74697 markings/sec, 140 secs
lola: 13271278 markings, 20988178 edges, 52655 markings/sec, 145 secs
lola: 13649770 markings, 21714826 edges, 75698 markings/sec, 150 secs
lola: 14013589 markings, 22457733 edges, 72764 markings/sec, 155 secs
lola: 14368726 markings, 23246567 edges, 71027 markings/sec, 160 secs
lola: 14746675 markings, 24013945 edges, 75590 markings/sec, 165 secs
lola: 14815188 markings, 25259045 edges, 13703 markings/sec, 170 secs
lola: 15171753 markings, 25999399 edges, 71313 markings/sec, 175 secs
lola: 15541355 markings, 26697000 edges, 73920 markings/sec, 180 secs
lola: 15905657 markings, 27398896 edges, 72860 markings/sec, 185 secs
lola: 16265977 markings, 28110618 edges, 72064 markings/sec, 190 secs
lola: 16618871 markings, 28830411 edges, 70579 markings/sec, 195 secs
lola: 16964751 markings, 29562442 edges, 69176 markings/sec, 200 secs
lola: 17298579 markings, 30322486 edges, 66766 markings/sec, 205 secs
lola: 17655592 markings, 31070517 edges, 71403 markings/sec, 210 secs
lola: 18031125 markings, 31789040 edges, 75107 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 845183 markings, 969351 edges, 169037 markings/sec, 0 secs
lola: 1649446 markings, 1897913 edges, 160853 markings/sec, 5 secs
lola: 2442101 markings, 2820177 edges, 158531 markings/sec, 10 secs
lola: 3240681 markings, 3749513 edges, 159716 markings/sec, 15 secs
lola: 4039269 markings, 4679202 edges, 159718 markings/sec, 20 secs
lola: 4813053 markings, 5580075 edges, 154757 markings/sec, 25 secs
lola: 5573269 markings, 6467172 edges, 152043 markings/sec, 30 secs
lola: 6325116 markings, 7344646 edges, 150369 markings/sec, 35 secs
lola: 7082332 markings, 8225827 edges, 151443 markings/sec, 40 secs
lola: 7820616 markings, 9087298 edges, 147657 markings/sec, 45 secs
lola: 8570897 markings, 9962929 edges, 150056 markings/sec, 50 secs
lola: 9316027 markings, 10830620 edges, 149026 markings/sec, 55 secs
lola: 10037691 markings, 11672270 edges, 144333 markings/sec, 60 secs
lola: 10792803 markings, 12553764 edges, 151022 markings/sec, 65 secs
lola: 11543976 markings, 13428478 edges, 150235 markings/sec, 70 secs
lola: 12270201 markings, 14275140 edges, 145245 markings/sec, 75 secs
lola: 13024305 markings, 15155519 edges, 150821 markings/sec, 80 secs
lola: 13782954 markings, 16039281 edges, 151730 markings/sec, 85 secs
lola: 14508831 markings, 16885314 edges, 145175 markings/sec, 90 secs
lola: 15258739 markings, 17760605 edges, 149982 markings/sec, 95 secs
lola: 16019079 markings, 18646896 edges, 152068 markings/sec, 100 secs
lola: 16755171 markings, 19504376 edges, 147218 markings/sec, 105 secs
lola: 17503303 markings, 20377410 edges, 149626 markings/sec, 110 secs
lola: 18255553 markings, 21254556 edges, 150450 markings/sec, 115 secs
lola: 18983801 markings, 22102653 edges, 145650 markings/sec, 120 secs
lola: 19732584 markings, 22976787 edges, 149757 markings/sec, 125 secs
lola: 20483036 markings, 23851916 edges, 150090 markings/sec, 130 secs
lola: 21225798 markings, 24716799 edges, 148552 markings/sec, 135 secs
lola: 21974398 markings, 25590556 edges, 149720 markings/sec, 140 secs
lola: 22721876 markings, 26462609 edges, 149496 markings/sec, 145 secs
lola: 23460812 markings, 27322892 edges, 147787 markings/sec, 150 secs
lola: 24198475 markings, 28183406 edges, 147533 markings/sec, 155 secs
lola: 24946330 markings, 29056324 edges, 149571 markings/sec, 160 secs
lola: 25692623 markings, 29925021 edges, 149259 markings/sec, 165 secs
lola: 26428109 markings, 30783183 edges, 147097 markings/sec, 170 secs
lola: 27178443 markings, 31659400 edges, 150067 markings/sec, 175 secs
lola: 27920662 markings, 32523206 edges, 148444 markings/sec, 180 secs
lola: 28647466 markings, 33370923 edges, 145361 markings/sec, 185 secs
lola: 29404200 markings, 34254098 edges, 151347 markings/sec, 190 secs
lola: 30164291 markings, 35139249 edges, 152018 markings/sec, 195 secs
lola: 30894231 markings, 35990479 edges, 145988 markings/sec, 200 secs
lola: 31647849 markings, 36870520 edges, 150724 markings/sec, 205 secs
lola: 32403150 markings, 37749818 edges, 151060 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA TriangularGrid-PT-5046-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496578794169
--------------------
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_TriangularGrid-PT-5046"
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_TriangularGrid-PT-5046.tgz
mv S_TriangularGrid-PT-5046 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_TriangularGrid-PT-5046, 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 r158-ebro-149443464300362"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;