About the Execution of LoLA for PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15931.590 | 3540018.00 | 3548920.00 | 195.00 | ? 20 ? 10 10 ? ? ? ? 10 ? ? ? ? ? ? | 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-3254
Executing tool lola
Input is PermAdmissibility-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440485000425
=====================================================================
--------------------
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 PermAdmissibility-COL-10-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-10-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494658712556
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PermAdmissibility-PT-10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 760/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 168 places, 592 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 820 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-10-UpperBounds.task
lola: MAX(c11) : MAX(in1_0 + in1_1) : MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7) : MAX(c6) : MAX(c15) : MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7) : MAX(aux15_0 + aux15_1 + aux15_2 + aux15_3 + aux15_4 + aux15_5 + aux15_6 + aux15_7) : MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7) : MAX(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7) : MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7) : MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7) : MAX(c6) : MAX(c6) : MAX(aux12_0 + aux12_1 + aux12_2 + aux12_3 + aux12_4 + aux12_5 + aux12_6 + aux12_7) : MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7) : MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
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(c11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 798335 markings, 4262681 edges, 159667 markings/sec, 0 secs
lola: 1380622 markings, 8527443 edges, 116457 markings/sec, 5 secs
lola: 1986059 markings, 12670467 edges, 121087 markings/sec, 10 secs
lola: 2701517 markings, 16921489 edges, 143092 markings/sec, 15 secs
lola: 3133960 markings, 20693047 edges, 86489 markings/sec, 20 secs
lola: 3738247 markings, 24453902 edges, 120857 markings/sec, 25 secs
lola: 4305553 markings, 28144260 edges, 113461 markings/sec, 30 secs
lola: 4849182 markings, 32092804 edges, 108726 markings/sec, 35 secs
lola: 5380196 markings, 35987298 edges, 106203 markings/sec, 40 secs
lola: 5952715 markings, 40093757 edges, 114504 markings/sec, 45 secs
lola: 6474203 markings, 44282127 edges, 104298 markings/sec, 50 secs
lola: 6874674 markings, 48330555 edges, 80094 markings/sec, 55 secs
lola: 7366238 markings, 52297181 edges, 98313 markings/sec, 60 secs
lola: 7802804 markings, 56157173 edges, 87313 markings/sec, 65 secs
lola: 8237778 markings, 59847348 edges, 86995 markings/sec, 70 secs
lola: 8656694 markings, 63445880 edges, 83783 markings/sec, 75 secs
lola: 9101143 markings, 67146241 edges, 88890 markings/sec, 80 secs
lola: 9786842 markings, 71159202 edges, 137140 markings/sec, 85 secs
lola: 10431342 markings, 74970901 edges, 128900 markings/sec, 90 secs
lola: 10979229 markings, 78571089 edges, 109577 markings/sec, 95 secs
lola: 11519384 markings, 82313158 edges, 108031 markings/sec, 100 secs
lola: 11909694 markings, 85679180 edges, 78062 markings/sec, 105 secs
lola: 12395881 markings, 89268113 edges, 97237 markings/sec, 110 secs
lola: 12774923 markings, 92598797 edges, 75808 markings/sec, 115 secs
lola: 13224632 markings, 95967602 edges, 89942 markings/sec, 120 secs
lola: 13777870 markings, 99701513 edges, 110648 markings/sec, 125 secs
lola: 14459351 markings, 103551743 edges, 136296 markings/sec, 130 secs
lola: 15073737 markings, 107338678 edges, 122877 markings/sec, 135 secs
lola: 15618310 markings, 111204272 edges, 108915 markings/sec, 140 secs
lola: 16066600 markings, 115045542 edges, 89658 markings/sec, 145 secs
lola: 16389406 markings, 118676781 edges, 64561 markings/sec, 150 secs
lola: 16757646 markings, 122204810 edges, 73648 markings/sec, 155 secs
lola: 17115213 markings, 125668471 edges, 71513 markings/sec, 160 secs
lola: 17552733 markings, 129484246 edges, 87504 markings/sec, 165 secs
lola: 18185185 markings, 133174965 edges, 126490 markings/sec, 170 secs
lola: 18658768 markings, 136652306 edges, 94717 markings/sec, 175 secs
lola: 19065122 markings, 139978200 edges, 81271 markings/sec, 180 secs
lola: 19493037 markings, 143370229 edges, 85583 markings/sec, 185 secs
lola: 20141921 markings, 147164899 edges, 129777 markings/sec, 190 secs
lola: 20593708 markings, 150840928 edges, 90357 markings/sec, 195 secs
lola: 20929953 markings, 154297265 edges, 67249 markings/sec, 200 secs
lola: 21334569 markings, 157880757 edges, 80923 markings/sec, 205 secs
lola: 21853097 markings, 161412651 edges, 103706 markings/sec, 210 secs
lola: 22239631 markings, 164673497 edges, 77307 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(in1_0 + in1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux9_6 + aux9_4 + aux9_3 + aux9_2 + aux9_1 + aux9_0 + aux9_5 + aux9_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1044730 markings, 4467405 edges, 208946 markings/sec, 0 secs
lola: 2000189 markings, 8888972 edges, 191092 markings/sec, 5 secs
lola: 2798730 markings, 12884460 edges, 159708 markings/sec, 10 secs
lola: 3576886 markings, 16796321 edges, 155631 markings/sec, 15 secs
lola: 4244513 markings, 20401856 edges, 133525 markings/sec, 20 secs
lola: 4905655 markings, 24083757 edges, 132228 markings/sec, 25 secs
lola: 5477412 markings, 27717470 edges, 114351 markings/sec, 30 secs
lola: 6028097 markings, 31190635 edges, 110137 markings/sec, 35 secs
lola: 6459591 markings, 34712186 edges, 86299 markings/sec, 40 secs
lola: 7328057 markings, 38782181 edges, 173693 markings/sec, 45 secs
lola: 7973216 markings, 42162745 edges, 129032 markings/sec, 50 secs
lola: 8731935 markings, 45690663 edges, 151744 markings/sec, 55 secs
lola: 9414624 markings, 49283504 edges, 136538 markings/sec, 60 secs
lola: 10093807 markings, 52908966 edges, 135837 markings/sec, 65 secs
lola: 10754816 markings, 56547241 edges, 132202 markings/sec, 70 secs
lola: 11283190 markings, 59894554 edges, 105675 markings/sec, 75 secs
lola: 11774831 markings, 63218108 edges, 98328 markings/sec, 80 secs
lola: 12176225 markings, 66601696 edges, 80279 markings/sec, 85 secs
lola: 12933280 markings, 70346796 edges, 151411 markings/sec, 90 secs
lola: 13560477 markings, 73747729 edges, 125439 markings/sec, 95 secs
lola: 14123048 markings, 77651842 edges, 112514 markings/sec, 100 secs
lola: 14646387 markings, 81683316 edges, 104668 markings/sec, 105 secs
lola: 15218615 markings, 84985519 edges, 114446 markings/sec, 110 secs
lola: 15869450 markings, 88317874 edges, 130167 markings/sec, 115 secs
lola: 16628895 markings, 92006806 edges, 151889 markings/sec, 120 secs
lola: 17178089 markings, 95262660 edges, 109839 markings/sec, 125 secs
lola: 17795422 markings, 98826255 edges, 123467 markings/sec, 130 secs
lola: 18300555 markings, 102180026 edges, 101027 markings/sec, 135 secs
lola: 18842140 markings, 105469889 edges, 108317 markings/sec, 140 secs
lola: 19346820 markings, 108908421 edges, 100936 markings/sec, 145 secs
lola: 19732150 markings, 112290895 edges, 77066 markings/sec, 150 secs
lola: 20454476 markings, 116080370 edges, 144465 markings/sec, 155 secs
lola: 21101927 markings, 119384745 edges, 129490 markings/sec, 160 secs
lola: 21726293 markings, 122948120 edges, 124873 markings/sec, 165 secs
lola: 22285142 markings, 126328888 edges, 111770 markings/sec, 170 secs
lola: 22817604 markings, 129732924 edges, 106492 markings/sec, 175 secs
lola: 23471526 markings, 133480241 edges, 130784 markings/sec, 180 secs
lola: 24100573 markings, 137265421 edges, 125809 markings/sec, 185 secs
lola: 24595520 markings, 140779332 edges, 98989 markings/sec, 190 secs
lola: 25069062 markings, 144352733 edges, 94708 markings/sec, 195 secs
lola: 25619651 markings, 147985788 edges, 110118 markings/sec, 200 secs
lola: 26251947 markings, 151625012 edges, 126459 markings/sec, 205 secs
lola: 26696715 markings, 154778998 edges, 88954 markings/sec, 210 secs
lola: 27177996 markings, 157979130 edges, 96256 markings/sec, 215 secs
lola: 27590868 markings, 161372781 edges, 82574 markings/sec, 220 secs
lola: 28057188 markings, 165099411 edges, 93264 markings/sec, 225 secs
lola: 28518182 markings, 168432795 edges, 92199 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 4 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 536039 markings, 2332950 edges, 107208 markings/sec, 0 secs
lola: 1054219 markings, 4596153 edges, 103636 markings/sec, 5 secs
lola: 1613300 markings, 6932960 edges, 111816 markings/sec, 10 secs
lola: 2150710 markings, 9186162 edges, 107482 markings/sec, 15 secs
lola: 2646291 markings, 11534220 edges, 99116 markings/sec, 20 secs
lola: 3114576 markings, 13813701 edges, 93657 markings/sec, 25 secs
lola: 3513942 markings, 16315433 edges, 79873 markings/sec, 30 secs
lola: 3865314 markings, 19110382 edges, 70274 markings/sec, 35 secs
lola: 4263414 markings, 21614722 edges, 79620 markings/sec, 40 secs
lola: 4626441 markings, 24186945 edges, 72605 markings/sec, 45 secs
lola: 4997144 markings, 26508206 edges, 74141 markings/sec, 50 secs
lola: 5378434 markings, 29076397 edges, 76258 markings/sec, 55 secs
lola: 5761587 markings, 31601667 edges, 76631 markings/sec, 60 secs
lola: 6185722 markings, 34005293 edges, 84827 markings/sec, 65 secs
lola: 6620703 markings, 36304754 edges, 86996 markings/sec, 70 secs
lola: 6991824 markings, 38959871 edges, 74224 markings/sec, 75 secs
lola: 7356495 markings, 41341029 edges, 72934 markings/sec, 80 secs
lola: 7770092 markings, 43831375 edges, 82719 markings/sec, 85 secs
lola: 8190038 markings, 46424165 edges, 83989 markings/sec, 90 secs
lola: 8616157 markings, 48942256 edges, 85224 markings/sec, 95 secs
lola: 9055239 markings, 51264568 edges, 87816 markings/sec, 100 secs
lola: 9517103 markings, 53437176 edges, 92373 markings/sec, 105 secs
lola: 10001794 markings, 55691679 edges, 96938 markings/sec, 110 secs
lola: 10422586 markings, 58026039 edges, 84158 markings/sec, 115 secs
lola: 10761089 markings, 60690302 edges, 67701 markings/sec, 120 secs
lola: 11116316 markings, 63098381 edges, 71045 markings/sec, 125 secs
lola: 11471691 markings, 65597290 edges, 71075 markings/sec, 130 secs
lola: 11858352 markings, 68090798 edges, 77332 markings/sec, 135 secs
lola: 12272345 markings, 70644000 edges, 82799 markings/sec, 140 secs
lola: 12625775 markings, 73277530 edges, 70686 markings/sec, 145 secs
lola: 13005314 markings, 75693728 edges, 75908 markings/sec, 150 secs
lola: 13363156 markings, 78152349 edges, 71568 markings/sec, 155 secs
lola: 13805775 markings, 80331472 edges, 88524 markings/sec, 160 secs
lola: 14264523 markings, 82477561 edges, 91750 markings/sec, 165 secs
lola: 14725643 markings, 84642680 edges, 92224 markings/sec, 170 secs
lola: 15144647 markings, 87068633 edges, 83801 markings/sec, 175 secs
lola: 15489290 markings, 89699272 edges, 68929 markings/sec, 180 secs
lola: 15810958 markings, 92133661 edges, 64334 markings/sec, 185 secs
lola: 16161401 markings, 94698132 edges, 70089 markings/sec, 190 secs
lola: 16534375 markings, 97143057 edges, 74595 markings/sec, 195 secs
lola: 16897313 markings, 99631430 edges, 72588 markings/sec, 200 secs
lola: 17247364 markings, 102139365 edges, 70010 markings/sec, 205 secs
lola: 17620099 markings, 104649450 edges, 74547 markings/sec, 210 secs
lola: 18019381 markings, 106853065 edges, 79856 markings/sec, 215 secs
lola: 18438231 markings, 109091450 edges, 83770 markings/sec, 220 secs
lola: 18759144 markings, 111577580 edges, 64183 markings/sec, 225 secs
lola: 19070619 markings, 114070963 edges, 62295 markings/sec, 230 secs
lola: 19427822 markings, 116573108 edges, 71441 markings/sec, 235 secs
lola: 19760587 markings, 119033267 edges, 66553 markings/sec, 240 secs
lola: 20104642 markings, 121405054 edges, 68811 markings/sec, 245 secs
lola: 20437793 markings, 123863905 edges, 66630 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 399624 markings, 970491 edges, 79925 markings/sec, 0 secs
lola: 794941 markings, 1975518 edges, 79063 markings/sec, 5 secs
lola: 1180117 markings, 2889977 edges, 77035 markings/sec, 10 secs
lola: 1557838 markings, 3782934 edges, 75544 markings/sec, 15 secs
lola: 1942750 markings, 4727782 edges, 76982 markings/sec, 20 secs
lola: 2327794 markings, 5665131 edges, 77009 markings/sec, 25 secs
lola: 2698128 markings, 6599499 edges, 74067 markings/sec, 30 secs
lola: 3067793 markings, 7564030 edges, 73933 markings/sec, 35 secs
lola: 3415828 markings, 8565721 edges, 69607 markings/sec, 40 secs
lola: 3751663 markings, 9604724 edges, 67167 markings/sec, 45 secs
lola: 4059074 markings, 10649268 edges, 61482 markings/sec, 50 secs
lola: 4418987 markings, 11733637 edges, 71983 markings/sec, 55 secs
lola: 4846409 markings, 12710182 edges, 85484 markings/sec, 60 secs
lola: 5227758 markings, 13640061 edges, 76270 markings/sec, 65 secs
lola: 5587110 markings, 14565269 edges, 71870 markings/sec, 70 secs
lola: 5955547 markings, 15579624 edges, 73687 markings/sec, 75 secs
lola: 6345144 markings, 16522010 edges, 77919 markings/sec, 80 secs
lola: 6716533 markings, 17471734 edges, 74278 markings/sec, 85 secs
lola: 7091275 markings, 18411107 edges, 74948 markings/sec, 90 secs
lola: 7431023 markings, 19432517 edges, 67950 markings/sec, 95 secs
lola: 7748045 markings, 20512999 edges, 63404 markings/sec, 100 secs
lola: 8124639 markings, 21567900 edges, 75319 markings/sec, 105 secs
lola: 8514983 markings, 22537804 edges, 78069 markings/sec, 110 secs
lola: 8885553 markings, 23529836 edges, 74114 markings/sec, 115 secs
lola: 9284063 markings, 24615520 edges, 79702 markings/sec, 120 secs
lola: 9688985 markings, 25571821 edges, 80984 markings/sec, 125 secs
lola: 10035385 markings, 26550216 edges, 69280 markings/sec, 130 secs
lola: 10418654 markings, 27555466 edges, 76654 markings/sec, 135 secs
lola: 10839048 markings, 28599257 edges, 84079 markings/sec, 140 secs
lola: 11206922 markings, 29527705 edges, 73575 markings/sec, 145 secs
lola: 11558091 markings, 30516107 edges, 70234 markings/sec, 150 secs
lola: 11921083 markings, 31435691 edges, 72598 markings/sec, 155 secs
lola: 12270319 markings, 32423065 edges, 69847 markings/sec, 160 secs
lola: 12654240 markings, 33426393 edges, 76784 markings/sec, 165 secs
lola: 13045335 markings, 34404181 edges, 78219 markings/sec, 170 secs
lola: 13419066 markings, 35288133 edges, 74746 markings/sec, 175 secs
lola: 13785111 markings, 36245759 edges, 73209 markings/sec, 180 secs
lola: 14142460 markings, 37138464 edges, 71470 markings/sec, 185 secs
lola: 14499851 markings, 38063481 edges, 71478 markings/sec, 190 secs
lola: 14855170 markings, 38982768 edges, 71064 markings/sec, 195 secs
lola: 15184165 markings, 39938105 edges, 65799 markings/sec, 200 secs
lola: 15494900 markings, 40931451 edges, 62147 markings/sec, 205 secs
lola: 15793935 markings, 41944086 edges, 59807 markings/sec, 210 secs
lola: 16196080 markings, 42954155 edges, 80429 markings/sec, 215 secs
lola: 16553118 markings, 43843034 edges, 71408 markings/sec, 220 secs
lola: 16894473 markings, 44746280 edges, 68271 markings/sec, 225 secs
lola: 17247416 markings, 45715517 edges, 70589 markings/sec, 230 secs
lola: 17610551 markings, 46625649 edges, 72627 markings/sec, 235 secs
lola: 17963392 markings, 47537547 edges, 70568 markings/sec, 240 secs
lola: 18318114 markings, 48475071 edges, 70944 markings/sec, 245 secs
lola: 18637815 markings, 49476469 edges, 63940 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux15_0 + aux15_1 + aux15_2 + aux15_3 + aux15_4 + aux15_5 + aux15_6 + aux15_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 695028 markings, 1665153 edges, 139006 markings/sec, 0 secs
lola: 1269135 markings, 3694156 edges, 114821 markings/sec, 5 secs
lola: 1818455 markings, 5508343 edges, 109864 markings/sec, 10 secs
lola: 2231188 markings, 7539935 edges, 82547 markings/sec, 15 secs
lola: 2618396 markings, 9581095 edges, 77442 markings/sec, 20 secs
lola: 3018573 markings, 12048591 edges, 80035 markings/sec, 25 secs
lola: 3451728 markings, 13516668 edges, 86631 markings/sec, 30 secs
lola: 3910621 markings, 15308575 edges, 91779 markings/sec, 35 secs
lola: 4350634 markings, 17076585 edges, 88003 markings/sec, 40 secs
lola: 4761972 markings, 18820143 edges, 82268 markings/sec, 45 secs
lola: 5116297 markings, 20653934 edges, 70865 markings/sec, 50 secs
lola: 5572046 markings, 22326151 edges, 91150 markings/sec, 55 secs
lola: 6047565 markings, 24165224 edges, 95104 markings/sec, 60 secs
lola: 6470068 markings, 25699943 edges, 84501 markings/sec, 65 secs
lola: 6866701 markings, 27418526 edges, 79327 markings/sec, 70 secs
lola: 7321674 markings, 28718696 edges, 90995 markings/sec, 75 secs
lola: 7851233 markings, 29826248 edges, 105912 markings/sec, 80 secs
lola: 8282735 markings, 31694301 edges, 86300 markings/sec, 85 secs
lola: 8698715 markings, 33297503 edges, 83196 markings/sec, 90 secs
lola: 9176770 markings, 34528564 edges, 95611 markings/sec, 95 secs
lola: 9662108 markings, 35549262 edges, 97068 markings/sec, 100 secs
lola: 9903070 markings, 38745529 edges, 48192 markings/sec, 105 secs
lola: 10369472 markings, 40011861 edges, 93280 markings/sec, 110 secs
lola: 10710181 markings, 42079078 edges, 68142 markings/sec, 115 secs
lola: 11175822 markings, 43704562 edges, 93128 markings/sec, 120 secs
lola: 11651866 markings, 44967537 edges, 95209 markings/sec, 125 secs
lola: 11971054 markings, 46874486 edges, 63838 markings/sec, 130 secs
lola: 12411365 markings, 48734804 edges, 88062 markings/sec, 135 secs
lola: 12808296 markings, 50892937 edges, 79386 markings/sec, 140 secs
lola: 13263143 markings, 52193811 edges, 90969 markings/sec, 145 secs
lola: 13732310 markings, 53426116 edges, 93833 markings/sec, 150 secs
lola: 14179487 markings, 54406377 edges, 89435 markings/sec, 155 secs
lola: 14573255 markings, 55899232 edges, 78754 markings/sec, 160 secs
lola: 14877527 markings, 57649898 edges, 60854 markings/sec, 165 secs
lola: 15220988 markings, 58927290 edges, 68692 markings/sec, 170 secs
lola: 15608752 markings, 59933717 edges, 77553 markings/sec, 175 secs
lola: 16047140 markings, 60839004 edges, 87678 markings/sec, 180 secs
lola: 16467645 markings, 61935040 edges, 84101 markings/sec, 185 secs
lola: 16599532 markings, 64723448 edges, 26377 markings/sec, 190 secs
lola: 16882043 markings, 66675881 edges, 56502 markings/sec, 195 secs
lola: 17313684 markings, 67633585 edges, 86328 markings/sec, 200 secs
lola: 17562289 markings, 69814231 edges, 49721 markings/sec, 205 secs
lola: 18027423 markings, 71450763 edges, 93027 markings/sec, 210 secs
lola: 18556674 markings, 73198116 edges, 105850 markings/sec, 215 secs
lola: 19049886 markings, 75251453 edges, 98642 markings/sec, 220 secs
lola: 19416500 markings, 77348634 edges, 73323 markings/sec, 225 secs
lola: 19834825 markings, 79004593 edges, 83665 markings/sec, 230 secs
lola: 20269280 markings, 80628940 edges, 86891 markings/sec, 235 secs
lola: 20687892 markings, 82237900 edges, 83722 markings/sec, 240 secs
lola: 21048804 markings, 83843589 edges, 72182 markings/sec, 245 secs
lola: 21447931 markings, 85469325 edges, 79825 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 1199760 markings, 6194703 edges, 239952 markings/sec, 0 secs
lola: 2247858 markings, 11972099 edges, 209620 markings/sec, 5 secs
lola: 3183859 markings, 17314329 edges, 187200 markings/sec, 10 secs
lola: 4019608 markings, 22406539 edges, 167150 markings/sec, 15 secs
lola: 4942969 markings, 27867922 edges, 184672 markings/sec, 20 secs
lola: 5741296 markings, 33003359 edges, 159665 markings/sec, 25 secs
lola: 6666999 markings, 38543308 edges, 185141 markings/sec, 30 secs
lola: 7513922 markings, 43866624 edges, 169385 markings/sec, 35 secs
lola: 8489737 markings, 49481556 edges, 195163 markings/sec, 40 secs
lola: 9322704 markings, 54752709 edges, 166593 markings/sec, 45 secs
lola: 10306109 markings, 60405075 edges, 196681 markings/sec, 50 secs
lola: 11152234 markings, 65692944 edges, 169225 markings/sec, 55 secs
lola: 11994779 markings, 71033479 edges, 168509 markings/sec, 60 secs
lola: 12905798 markings, 76443326 edges, 182204 markings/sec, 65 secs
lola: 13804344 markings, 81864672 edges, 179709 markings/sec, 70 secs
lola: 14650540 markings, 87256206 edges, 169239 markings/sec, 75 secs
lola: 15482681 markings, 92540938 edges, 166428 markings/sec, 80 secs
lola: 16315142 markings, 97846213 edges, 166492 markings/sec, 85 secs
lola: 17268438 markings, 103413505 edges, 190659 markings/sec, 90 secs
lola: 18118943 markings, 108749292 edges, 170101 markings/sec, 95 secs
lola: 18977400 markings, 114140476 edges, 171691 markings/sec, 100 secs
lola: 19840003 markings, 119573437 edges, 172521 markings/sec, 105 secs
lola: 20772919 markings, 125200323 edges, 186583 markings/sec, 110 secs
lola: 21666565 markings, 130630217 edges, 178729 markings/sec, 115 secs
lola: 22515210 markings, 136028575 edges, 169729 markings/sec, 120 secs
lola: 23374220 markings, 141452302 edges, 171802 markings/sec, 125 secs
lola: 24246381 markings, 146975442 edges, 174432 markings/sec, 130 secs
lola: 25090386 markings, 152280154 edges, 168801 markings/sec, 135 secs
lola: 25893904 markings, 157207952 edges, 160704 markings/sec, 140 secs
lola: 26629336 markings, 162134228 edges, 147086 markings/sec, 145 secs
lola: 27370780 markings, 167060215 edges, 148289 markings/sec, 150 secs
lola: 28103384 markings, 171917059 edges, 146521 markings/sec, 155 secs
lola: 28826811 markings, 176741845 edges, 144685 markings/sec, 160 secs
lola: 29524837 markings, 181559523 edges, 139605 markings/sec, 165 secs
lola: 30247769 markings, 186437755 edges, 144586 markings/sec, 170 secs
lola: 30962670 markings, 191242465 edges, 142980 markings/sec, 175 secs
lola: 31661988 markings, 196023104 edges, 139864 markings/sec, 180 secs
lola: 32436237 markings, 201027915 edges, 154850 markings/sec, 185 secs
lola: 33263529 markings, 206139354 edges, 165458 markings/sec, 190 secs
lola: 34019548 markings, 211274499 edges, 151204 markings/sec, 195 secs
lola: 34778172 markings, 216331337 edges, 151725 markings/sec, 200 secs
lola: 35555122 markings, 221483965 edges, 155390 markings/sec, 205 secs
lola: 36318571 markings, 226581500 edges, 152690 markings/sec, 210 secs
lola: 37062663 markings, 231658740 edges, 148818 markings/sec, 215 secs
lola: 37828194 markings, 236838920 edges, 153106 markings/sec, 220 secs
lola: 38580983 markings, 241909094 edges, 150558 markings/sec, 225 secs
lola: 39302536 markings, 246913297 edges, 144311 markings/sec, 230 secs
lola: 40014697 markings, 251819055 edges, 142432 markings/sec, 235 secs
lola: 40659665 markings, 256541761 edges, 128994 markings/sec, 240 secs
lola: 41308139 markings, 261278715 edges, 129695 markings/sec, 245 secs
lola: 41931915 markings, 265898271 edges, 124755 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux16_6 + aux16_4 + aux16_2 + aux16_0 + aux16_1 + aux16_3 + aux16_5 + aux16_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 476668 markings, 1474159 edges, 95334 markings/sec, 0 secs
lola: 928565 markings, 3325920 edges, 90379 markings/sec, 5 secs
lola: 1305777 markings, 5448594 edges, 75442 markings/sec, 10 secs
lola: 1684664 markings, 7405159 edges, 75777 markings/sec, 15 secs
lola: 2112862 markings, 9111534 edges, 85640 markings/sec, 20 secs
lola: 2544678 markings, 10903494 edges, 86363 markings/sec, 25 secs
lola: 2905636 markings, 12933431 edges, 72192 markings/sec, 30 secs
lola: 3263188 markings, 14949227 edges, 71510 markings/sec, 35 secs
lola: 3705768 markings, 16449928 edges, 88516 markings/sec, 40 secs
lola: 4079958 markings, 18460630 edges, 74838 markings/sec, 45 secs
lola: 4410329 markings, 20640569 edges, 66074 markings/sec, 50 secs
lola: 4737259 markings, 22608663 edges, 65386 markings/sec, 55 secs
lola: 5102819 markings, 24476687 edges, 73112 markings/sec, 60 secs
lola: 5425606 markings, 26613441 edges, 64557 markings/sec, 65 secs
lola: 5813561 markings, 28369386 edges, 77591 markings/sec, 70 secs
lola: 6210477 markings, 29926211 edges, 79383 markings/sec, 75 secs
lola: 6519454 markings, 31997807 edges, 61795 markings/sec, 80 secs
lola: 6929674 markings, 33590787 edges, 82044 markings/sec, 85 secs
lola: 7305103 markings, 35218607 edges, 75086 markings/sec, 90 secs
lola: 7576010 markings, 37452763 edges, 54181 markings/sec, 95 secs
lola: 7888322 markings, 39482891 edges, 62462 markings/sec, 100 secs
lola: 8207387 markings, 41626091 edges, 63813 markings/sec, 105 secs
lola: 8495868 markings, 43840256 edges, 57696 markings/sec, 110 secs
lola: 8793926 markings, 45999332 edges, 59612 markings/sec, 115 secs
lola: 9122005 markings, 48036474 edges, 65616 markings/sec, 120 secs
lola: 9420077 markings, 49967609 edges, 59614 markings/sec, 125 secs
lola: 9710794 markings, 52004127 edges, 58143 markings/sec, 130 secs
lola: 10010888 markings, 54140621 edges, 60019 markings/sec, 135 secs
lola: 10386301 markings, 55958714 edges, 75083 markings/sec, 140 secs
lola: 10766860 markings, 57742942 edges, 76112 markings/sec, 145 secs
lola: 11142734 markings, 59450457 edges, 75175 markings/sec, 150 secs
lola: 11477136 markings, 61305928 edges, 66880 markings/sec, 155 secs
lola: 11835536 markings, 63001026 edges, 71680 markings/sec, 160 secs
lola: 12172303 markings, 64726468 edges, 67353 markings/sec, 165 secs
lola: 12470916 markings, 66731336 edges, 59723 markings/sec, 170 secs
lola: 12771429 markings, 68679176 edges, 60103 markings/sec, 175 secs
lola: 13092029 markings, 70500147 edges, 64120 markings/sec, 180 secs
lola: 13478434 markings, 72142109 edges, 77281 markings/sec, 185 secs
lola: 13815811 markings, 73948118 edges, 67475 markings/sec, 190 secs
lola: 14183091 markings, 75585724 edges, 73456 markings/sec, 195 secs
lola: 14532748 markings, 77250707 edges, 69931 markings/sec, 200 secs
lola: 14861664 markings, 79049537 edges, 65783 markings/sec, 205 secs
lola: 15163346 markings, 80866257 edges, 60336 markings/sec, 210 secs
lola: 15476857 markings, 82652378 edges, 62702 markings/sec, 215 secs
lola: 15798457 markings, 84364418 edges, 64320 markings/sec, 220 secs
lola: 16150366 markings, 85827165 edges, 70382 markings/sec, 225 secs
lola: 16422804 markings, 87686144 edges, 54488 markings/sec, 230 secs
lola: 16714085 markings, 89437217 edges, 58256 markings/sec, 235 secs
lola: 16981014 markings, 91471110 edges, 53386 markings/sec, 240 secs
lola: 17244953 markings, 93483126 edges, 52788 markings/sec, 245 secs
lola: 17506467 markings, 95446445 edges, 52303 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out3_0 + out3_1 + out3_2 + out3_3 + out3_4 + out3_5 + out3_6 + out3_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 405961 markings, 988837 edges, 81192 markings/sec, 0 secs
lola: 799179 markings, 1985606 edges, 78644 markings/sec, 5 secs
lola: 1181184 markings, 2892810 edges, 76401 markings/sec, 10 secs
lola: 1561705 markings, 3793150 edges, 76104 markings/sec, 15 secs
lola: 1948415 markings, 4741610 edges, 77342 markings/sec, 20 secs
lola: 2341538 markings, 5704672 edges, 78625 markings/sec, 25 secs
lola: 2716343 markings, 6641598 edges, 74961 markings/sec, 30 secs
lola: 3087732 markings, 7615170 edges, 74278 markings/sec, 35 secs
lola: 3437100 markings, 8630332 edges, 69874 markings/sec, 40 secs
lola: 3772094 markings, 9683625 edges, 66999 markings/sec, 45 secs
lola: 4089125 markings, 10757305 edges, 63406 markings/sec, 50 secs
lola: 4465609 markings, 11832513 edges, 75297 markings/sec, 55 secs
lola: 4880008 markings, 12787137 edges, 82880 markings/sec, 60 secs
lola: 5258903 markings, 13715371 edges, 75779 markings/sec, 65 secs
lola: 5617761 markings, 14644138 edges, 71772 markings/sec, 70 secs
lola: 5987449 markings, 15666669 edges, 73938 markings/sec, 75 secs
lola: 6372095 markings, 16587203 edges, 76929 markings/sec, 80 secs
lola: 6738745 markings, 17525792 edges, 73330 markings/sec, 85 secs
lola: 7109559 markings, 18456471 edges, 74163 markings/sec, 90 secs
lola: 7446113 markings, 19480928 edges, 67311 markings/sec, 95 secs
lola: 7763492 markings, 20558134 edges, 63476 markings/sec, 100 secs
lola: 8137623 markings, 21600234 edges, 74826 markings/sec, 105 secs
lola: 8528325 markings, 22568495 edges, 78140 markings/sec, 110 secs
lola: 8893810 markings, 23550762 edges, 73097 markings/sec, 115 secs
lola: 9291203 markings, 24631114 edges, 79479 markings/sec, 120 secs
lola: 9690295 markings, 25575756 edges, 79818 markings/sec, 125 secs
lola: 10026577 markings, 26525621 edges, 67256 markings/sec, 130 secs
lola: 10403306 markings, 27511744 edges, 75346 markings/sec, 135 secs
lola: 10825539 markings, 28567859 edges, 84447 markings/sec, 140 secs
lola: 11192896 markings, 29489267 edges, 73471 markings/sec, 145 secs
lola: 11539907 markings, 30468822 edges, 69402 markings/sec, 150 secs
lola: 11905681 markings, 31396521 edges, 73155 markings/sec, 155 secs
lola: 12254870 markings, 32383573 edges, 69838 markings/sec, 160 secs
lola: 12636382 markings, 33374608 edges, 76302 markings/sec, 165 secs
lola: 13029118 markings, 34362842 edges, 78547 markings/sec, 170 secs
lola: 13403510 markings, 35249557 edges, 74878 markings/sec, 175 secs
lola: 13769832 markings, 36206972 edges, 73264 markings/sec, 180 secs
lola: 14127632 markings, 37103524 edges, 71560 markings/sec, 185 secs
lola: 14486080 markings, 38026768 edges, 71690 markings/sec, 190 secs
lola: 14841763 markings, 38942375 edges, 71137 markings/sec, 195 secs
lola: 15175643 markings, 39915196 edges, 66776 markings/sec, 200 secs
lola: 15488705 markings, 40913626 edges, 62612 markings/sec, 205 secs
lola: 15791698 markings, 41933729 edges, 60599 markings/sec, 210 secs
lola: 16192554 markings, 42944783 edges, 80171 markings/sec, 215 secs
lola: 16549539 markings, 43834829 edges, 71397 markings/sec, 220 secs
lola: 16891037 markings, 44735747 edges, 68300 markings/sec, 225 secs
lola: 17247401 markings, 45715487 edges, 71273 markings/sec, 230 secs
lola: 17608370 markings, 46620800 edges, 72194 markings/sec, 235 secs
lola: 17957866 markings, 47521111 edges, 69899 markings/sec, 240 secs
lola: 18310143 markings, 48452904 edges, 70455 markings/sec, 245 secs
lola: 18629210 markings, 49451196 edges, 63813 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 405476 markings, 987413 edges, 81095 markings/sec, 0 secs
lola: 799548 markings, 1986512 edges, 78814 markings/sec, 5 secs
lola: 1183834 markings, 2899647 edges, 76857 markings/sec, 10 secs
lola: 1579441 markings, 3845157 edges, 79121 markings/sec, 15 secs
lola: 1966634 markings, 4784860 edges, 77439 markings/sec, 20 secs
lola: 2358493 markings, 5753728 edges, 78372 markings/sec, 25 secs
lola: 2732946 markings, 6680177 edges, 74891 markings/sec, 30 secs
lola: 3103395 markings, 7657755 edges, 74090 markings/sec, 35 secs
lola: 3450859 markings, 8691324 edges, 69493 markings/sec, 40 secs
lola: 3787037 markings, 9751445 edges, 67236 markings/sec, 45 secs
lola: 4113491 markings, 10819589 edges, 65291 markings/sec, 50 secs
lola: 4498645 markings, 11899378 edges, 77031 markings/sec, 55 secs
lola: 4904905 markings, 12847373 edges, 81252 markings/sec, 60 secs
lola: 5282078 markings, 13775733 edges, 75435 markings/sec, 65 secs
lola: 5639081 markings, 14709208 edges, 71401 markings/sec, 70 secs
lola: 6013956 markings, 15742529 edges, 74975 markings/sec, 75 secs
lola: 6397323 markings, 16649054 edges, 76673 markings/sec, 80 secs
lola: 6763943 markings, 17587893 edges, 73324 markings/sec, 85 secs
lola: 7136485 markings, 18529799 edges, 74508 markings/sec, 90 secs
lola: 7472325 markings, 19556502 edges, 67168 markings/sec, 95 secs
lola: 7791689 markings, 20644251 edges, 63873 markings/sec, 100 secs
lola: 8174446 markings, 21681636 edges, 76551 markings/sec, 105 secs
lola: 8563087 markings, 22654633 edges, 77728 markings/sec, 110 secs
lola: 8927036 markings, 23668571 edges, 72790 markings/sec, 115 secs
lola: 9347054 markings, 24751862 edges, 84004 markings/sec, 120 secs
lola: 9730508 markings, 25677250 edges, 76691 markings/sec, 125 secs
lola: 10078872 markings, 26652012 edges, 69673 markings/sec, 130 secs
lola: 10467592 markings, 27706624 edges, 77744 markings/sec, 135 secs
lola: 10880166 markings, 28699086 edges, 82515 markings/sec, 140 secs
lola: 11243916 markings, 29633378 edges, 72750 markings/sec, 145 secs
lola: 11600488 markings, 30614793 edges, 71314 markings/sec, 150 secs
lola: 11960203 markings, 31536604 edges, 71943 markings/sec, 155 secs
lola: 12308171 markings, 32523140 edges, 69594 markings/sec, 160 secs
lola: 12700241 markings, 33529466 edges, 78414 markings/sec, 165 secs
lola: 13080283 markings, 34486383 edges, 76008 markings/sec, 170 secs
lola: 13451662 markings, 35362810 edges, 74276 markings/sec, 175 secs
lola: 13815230 markings, 36321923 edges, 72714 markings/sec, 180 secs
lola: 14170055 markings, 37207866 edges, 70965 markings/sec, 185 secs
lola: 14526373 markings, 38132102 edges, 71264 markings/sec, 190 secs
lola: 14880809 markings, 39061903 edges, 70887 markings/sec, 195 secs
lola: 15212354 markings, 40017939 edges, 66309 markings/sec, 200 secs
lola: 15523419 markings, 41030335 edges, 62213 markings/sec, 205 secs
lola: 15826016 markings, 42064894 edges, 60519 markings/sec, 210 secs
lola: 16239637 markings, 43061877 edges, 82724 markings/sec, 215 secs
lola: 16599351 markings, 43959283 edges, 71943 markings/sec, 220 secs
lola: 16938139 markings, 44876024 edges, 67758 markings/sec, 225 secs
lola: 17303443 markings, 45885188 edges, 73061 markings/sec, 230 secs
lola: 17666278 markings, 46758650 edges, 72567 markings/sec, 235 secs
lola: 18016025 markings, 47691676 edges, 69949 markings/sec, 240 secs
lola: 18368095 markings, 48618455 edges, 70414 markings/sec, 245 secs
lola: 18687490 markings, 49632081 edges, 63879 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 12 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: ========================================
lola: subprocess 13 will run for 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux12_0 + aux12_1 + aux12_2 + aux12_3 + aux12_4 + aux12_5 + aux12_6 + aux12_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 908328 markings, 4038987 edges, 181666 markings/sec, 0 secs
lola: 1728668 markings, 8191501 edges, 164068 markings/sec, 5 secs
lola: 2501360 markings, 11966905 edges, 154538 markings/sec, 10 secs
lola: 3320976 markings, 15952038 edges, 163923 markings/sec, 15 secs
lola: 4104983 markings, 19616754 edges, 156801 markings/sec, 20 secs
lola: 4881078 markings, 23417698 edges, 155219 markings/sec, 25 secs
lola: 5643712 markings, 27126111 edges, 152527 markings/sec, 30 secs
lola: 6342238 markings, 30796409 edges, 139705 markings/sec, 35 secs
lola: 7018397 markings, 34499476 edges, 135232 markings/sec, 40 secs
lola: 7668011 markings, 38154152 edges, 129923 markings/sec, 45 secs
lola: 8296475 markings, 41905749 edges, 125693 markings/sec, 50 secs
lola: 8916907 markings, 45585366 edges, 124086 markings/sec, 55 secs
lola: 9493081 markings, 49087508 edges, 115235 markings/sec, 60 secs
lola: 10070494 markings, 52647212 edges, 115483 markings/sec, 65 secs
lola: 10606969 markings, 56225051 edges, 107295 markings/sec, 70 secs
lola: 11128871 markings, 60266546 edges, 104380 markings/sec, 75 secs
lola: 11759747 markings, 64193305 edges, 126175 markings/sec, 80 secs
lola: 12500002 markings, 67956258 edges, 148051 markings/sec, 85 secs
lola: 13223833 markings, 71586050 edges, 144766 markings/sec, 90 secs
lola: 13845770 markings, 75180950 edges, 124387 markings/sec, 95 secs
lola: 14397967 markings, 78755559 edges, 110439 markings/sec, 100 secs
lola: 14887063 markings, 82174548 edges, 97819 markings/sec, 105 secs
lola: 15649321 markings, 86121655 edges, 152452 markings/sec, 110 secs
lola: 16396464 markings, 89759691 edges, 149429 markings/sec, 115 secs
lola: 17118761 markings, 93507212 edges, 144459 markings/sec, 120 secs
lola: 17808428 markings, 97031563 edges, 137933 markings/sec, 125 secs
lola: 18450136 markings, 100501143 edges, 128342 markings/sec, 130 secs
lola: 19059214 markings, 103877302 edges, 121816 markings/sec, 135 secs
lola: 19641531 markings, 107408846 edges, 116463 markings/sec, 140 secs
lola: 20169896 markings, 110831387 edges, 105673 markings/sec, 145 secs
lola: 20745313 markings, 114349291 edges, 115083 markings/sec, 150 secs
lola: 21273164 markings, 117730693 edges, 105570 markings/sec, 155 secs
lola: 21750941 markings, 121049969 edges, 95555 markings/sec, 160 secs
lola: 22234154 markings, 124972913 edges, 96643 markings/sec, 165 secs
lola: 22928788 markings, 128655758 edges, 138927 markings/sec, 170 secs
lola: 23554428 markings, 132109024 edges, 125128 markings/sec, 175 secs
lola: 24084005 markings, 135533386 edges, 105915 markings/sec, 180 secs
lola: 24586424 markings, 139172524 edges, 100484 markings/sec, 185 secs
lola: 25197640 markings, 142759772 edges, 122243 markings/sec, 190 secs
lola: 25798401 markings, 146526950 edges, 120152 markings/sec, 195 secs
lola: 26541738 markings, 150324185 edges, 148667 markings/sec, 200 secs
lola: 27115042 markings, 153808427 edges, 114661 markings/sec, 205 secs
lola: 27710967 markings, 157542414 edges, 119185 markings/sec, 210 secs
lola: 28333570 markings, 161236328 edges, 124521 markings/sec, 215 secs
lola: 28928339 markings, 164798595 edges, 118954 markings/sec, 220 secs
lola: 29474478 markings, 168381362 edges, 109228 markings/sec, 225 secs
lola: 30117312 markings, 172180791 edges, 128567 markings/sec, 230 secs
lola: 30837638 markings, 176007449 edges, 144065 markings/sec, 235 secs
lola: 31464724 markings, 179814575 edges, 125417 markings/sec, 240 secs
lola: 32135852 markings, 183617418 edges, 134226 markings/sec, 245 secs
lola: 32727712 markings, 187345252 edges, 118372 markings/sec, 250 secs
lola: 33396200 markings, 191192102 edges, 133698 markings/sec, 255 secs
lola: 34014504 markings, 195006770 edges, 123661 markings/sec, 260 secs
lola: 34721720 markings, 198920641 edges, 141443 markings/sec, 265 secs
lola: 35387059 markings, 202533929 edges, 133068 markings/sec, 270 secs
lola: 35973540 markings, 206115949 edges, 117296 markings/sec, 275 secs
lola: 36638234 markings, 209797949 edges, 132939 markings/sec, 280 secs
lola: 37206893 markings, 213375058 edges, 113732 markings/sec, 285 secs
lola: 37771769 markings, 217056580 edges, 112975 markings/sec, 290 secs
lola: 38398518 markings, 220730774 edges, 125350 markings/sec, 295 secs
lola: 39004043 markings, 224426032 edges, 121105 markings/sec, 300 secs
lola: 39579741 markings, 228179944 edges, 115140 markings/sec, 305 secs
lola: 40179694 markings, 231922927 edges, 119991 markings/sec, 310 secs
lola: 40796705 markings, 235741875 edges, 123402 markings/sec, 315 secs
lola: 41492041 markings, 239177861 edges, 139067 markings/sec, 320 secs
lola: 42165929 markings, 242504272 edges, 134778 markings/sec, 325 secs
lola: 42735401 markings, 245800189 edges, 113894 markings/sec, 330 secs
lola: 43224801 markings, 249020490 edges, 97880 markings/sec, 335 secs
lola: 43823852 markings, 252363963 edges, 119810 markings/sec, 340 secs
lola: 44358656 markings, 255607015 edges, 106961 markings/sec, 345 secs
lola: 45006748 markings, 258929814 edges, 129618 markings/sec, 350 secs
lola: 45540199 markings, 262147697 edges, 106690 markings/sec, 355 secs
lola: 46033660 markings, 265432682 edges, 98692 markings/sec, 360 secs
lola: 46554095 markings, 268644014 edges, 104087 markings/sec, 365 secs
lola: 47124731 markings, 271935179 edges, 114127 markings/sec, 370 secs
lola: 47687809 markings, 275267425 edges, 112616 markings/sec, 375 secs
lola: 48279779 markings, 278667049 edges, 118394 markings/sec, 380 secs
lola: 48839645 markings, 281996317 edges, 111973 markings/sec, 385 secs
lola: 49389886 markings, 285448811 edges, 110048 markings/sec, 390 secs
lola: 50183956 markings, 289282335 edges, 158814 markings/sec, 395 secs
lola: 50926997 markings, 292859945 edges, 148608 markings/sec, 400 secs
lola: 51607487 markings, 296373081 edges, 136098 markings/sec, 405 secs
lola: 52210997 markings, 299902853 edges, 120702 markings/sec, 410 secs
lola: 52752186 markings, 303268925 edges, 108238 markings/sec, 415 secs
lola: 53299612 markings, 306982266 edges, 109485 markings/sec, 420 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 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out4_0 + out4_1 + out4_2 + out4_3 + out4_4 + out4_5 + out4_6 + out4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 407855 markings, 994313 edges, 81571 markings/sec, 0 secs
lola: 802846 markings, 1994797 edges, 78998 markings/sec, 5 secs
lola: 1186792 markings, 2907885 edges, 76789 markings/sec, 10 secs
lola: 1584269 markings, 3858830 edges, 79495 markings/sec, 15 secs
lola: 1971145 markings, 4796153 edges, 77375 markings/sec, 20 secs
lola: 2362520 markings, 5768157 edges, 78275 markings/sec, 25 secs
lola: 2736072 markings, 6687079 edges, 74710 markings/sec, 30 secs
lola: 3107229 markings, 7667307 edges, 74231 markings/sec, 35 secs
lola: 3454648 markings, 8708091 edges, 69484 markings/sec, 40 secs
lola: 3790922 markings, 9769135 edges, 67255 markings/sec, 45 secs
lola: 4118561 markings, 10833454 edges, 65528 markings/sec, 50 secs
lola: 4505733 markings, 11914025 edges, 77434 markings/sec, 55 secs
lola: 4910437 markings, 12859227 edges, 80941 markings/sec, 60 secs
lola: 5289046 markings, 13791835 edges, 75722 markings/sec, 65 secs
lola: 5646063 markings, 14725254 edges, 71403 markings/sec, 70 secs
lola: 6020599 markings, 15760555 edges, 74907 markings/sec, 75 secs
lola: 6403212 markings, 16664135 edges, 76523 markings/sec, 80 secs
lola: 6768168 markings, 17597770 edges, 72991 markings/sec, 85 secs
lola: 7140295 markings, 18539477 edges, 74425 markings/sec, 90 secs
lola: 7474752 markings, 19562409 edges, 66891 markings/sec, 95 secs
lola: 7792678 markings, 20648752 edges, 63585 markings/sec, 100 secs
lola: 8174908 markings, 21682617 edges, 76446 markings/sec, 105 secs
lola: 8561886 markings, 22651417 edges, 77396 markings/sec, 110 secs
lola: 8923550 markings, 23657489 edges, 72333 markings/sec, 115 secs
lola: 9338566 markings, 24734836 edges, 83003 markings/sec, 120 secs
lola: 9722235 markings, 25656306 edges, 76734 markings/sec, 125 secs
lola: 10066179 markings, 26622052 edges, 68789 markings/sec, 130 secs
lola: 10448406 markings, 27657340 edges, 76445 markings/sec, 135 secs
lola: 10862254 markings, 28654564 edges, 82770 markings/sec, 140 secs
lola: 11225336 markings, 29580123 edges, 72616 markings/sec, 145 secs
lola: 11576092 markings, 30555005 edges, 70151 markings/sec, 150 secs
lola: 11935201 markings, 31471923 edges, 71822 markings/sec, 155 secs
lola: 12281873 markings, 32453351 edges, 69334 markings/sec, 160 secs
lola: 12664953 markings, 33451006 edges, 76616 markings/sec, 165 secs
lola: 13050410 markings, 34415330 edges, 77091 markings/sec, 170 secs
lola: 13420701 markings, 35292362 edges, 74058 markings/sec, 175 secs
lola: 13784930 markings, 36245355 edges, 72846 markings/sec, 180 secs
lola: 14139181 markings, 37130841 edges, 70850 markings/sec, 185 secs
lola: 14495306 markings, 38048289 edges, 71225 markings/sec, 190 secs
lola: 14847736 markings, 38959075 edges, 70486 markings/sec, 195 secs
lola: 15177639 markings, 39922234 edges, 65981 markings/sec, 200 secs
lola: 15488375 markings, 40912636 edges, 62147 markings/sec, 205 secs
lola: 15786113 markings, 41908484 edges, 59548 markings/sec, 210 secs
lola: 16181180 markings, 42917466 edges, 79013 markings/sec, 215 secs
lola: 16534008 markings, 43799969 edges, 70566 markings/sec, 220 secs
lola: 16874626 markings, 44685055 edges, 68124 markings/sec, 225 secs
lola: 17224683 markings, 45649324 edges, 70011 markings/sec, 230 secs
lola: 17583960 markings, 46563960 edges, 71855 markings/sec, 235 secs
lola: 17930695 markings, 47451439 edges, 69347 markings/sec, 240 secs
lola: 18283804 markings, 48380567 edges, 70622 markings/sec, 245 secs
lola: 18602225 markings, 49368163 edges, 63684 markings/sec, 250 secs
lola: 18897260 markings, 50376639 edges, 59007 markings/sec, 255 secs
lola: 19257219 markings, 51345600 edges, 71992 markings/sec, 260 secs
lola: 19608594 markings, 52271043 edges, 70275 markings/sec, 265 secs
lola: 19943213 markings, 53260408 edges, 66924 markings/sec, 270 secs
lola: 20363940 markings, 54283822 edges, 84145 markings/sec, 275 secs
lola: 20707012 markings, 55158484 edges, 68614 markings/sec, 280 secs
lola: 21029769 markings, 56078012 edges, 64551 markings/sec, 285 secs
lola: 21431926 markings, 57162767 edges, 80431 markings/sec, 290 secs
lola: 21794043 markings, 58080981 edges, 72423 markings/sec, 295 secs
lola: 22122665 markings, 59019877 edges, 65724 markings/sec, 300 secs
lola: 22473885 markings, 59913410 edges, 70244 markings/sec, 305 secs
lola: 22802167 markings, 60840564 edges, 65656 markings/sec, 310 secs
lola: 23157119 markings, 61778042 edges, 70990 markings/sec, 315 secs
lola: 23550246 markings, 62917395 edges, 78625 markings/sec, 320 secs
lola: 23895478 markings, 63946787 edges, 69046 markings/sec, 325 secs
lola: 24233405 markings, 65301170 edges, 67585 markings/sec, 330 secs
lola: 24581583 markings, 66644579 edges, 69636 markings/sec, 335 secs
lola: 24876041 markings, 68175579 edges, 58892 markings/sec, 340 secs
lola: 25182966 markings, 69528654 edges, 61385 markings/sec, 345 secs
lola: 25471849 markings, 70945590 edges, 57777 markings/sec, 350 secs
lola: 25751844 markings, 72352844 edges, 55999 markings/sec, 355 secs
lola: 26042004 markings, 73583459 edges, 58032 markings/sec, 360 secs
lola: 26334390 markings, 74866333 edges, 58477 markings/sec, 365 secs
lola: 26612805 markings, 76004888 edges, 55683 markings/sec, 370 secs
lola: 26896236 markings, 77192197 edges, 56686 markings/sec, 375 secs
lola: 27179757 markings, 78486826 edges, 56704 markings/sec, 380 secs
lola: 27453219 markings, 79700408 edges, 54692 markings/sec, 385 secs
lola: 27727314 markings, 80871015 edges, 54819 markings/sec, 390 secs
lola: 28015829 markings, 81960491 edges, 57703 markings/sec, 395 secs
lola: 28374499 markings, 83008192 edges, 71734 markings/sec, 400 secs
lola: 28706957 markings, 83943916 edges, 66492 markings/sec, 405 secs
lola: 29033872 markings, 85071164 edges, 65383 markings/sec, 410 secs
lola: 29331186 markings, 86032238 edges, 59463 markings/sec, 415 secs
lola: 29627373 markings, 87572420 edges, 59237 markings/sec, 420 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 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 544 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: 558047 markings, 955343 edges, 111609 markings/sec, 0 secs
lola: 1126709 markings, 1928555 edges, 113732 markings/sec, 5 secs
lola: 1691746 markings, 2896272 edges, 113007 markings/sec, 10 secs
lola: 2253765 markings, 3861024 edges, 112404 markings/sec, 15 secs
lola: 2810008 markings, 4916602 edges, 111249 markings/sec, 20 secs
lola: 3348838 markings, 6068459 edges, 107766 markings/sec, 25 secs
lola: 3890824 markings, 7213963 edges, 108397 markings/sec, 30 secs
lola: 4430977 markings, 8350421 edges, 108031 markings/sec, 35 secs
lola: 4967291 markings, 9484532 edges, 107263 markings/sec, 40 secs
lola: 5504763 markings, 10600578 edges, 107494 markings/sec, 45 secs
lola: 6040861 markings, 11742031 edges, 107220 markings/sec, 50 secs
lola: 6532899 markings, 13282679 edges, 98408 markings/sec, 55 secs
lola: 7026902 markings, 14813269 edges, 98801 markings/sec, 60 secs
lola: 7514229 markings, 16351360 edges, 97465 markings/sec, 65 secs
lola: 8005650 markings, 17812021 edges, 98284 markings/sec, 70 secs
lola: 8486602 markings, 19337048 edges, 96190 markings/sec, 75 secs
lola: 9013605 markings, 20652849 edges, 105401 markings/sec, 80 secs
lola: 9538102 markings, 21959289 edges, 104899 markings/sec, 85 secs
lola: 10061007 markings, 23228414 edges, 104581 markings/sec, 90 secs
lola: 10566743 markings, 24682900 edges, 101147 markings/sec, 95 secs
lola: 11063974 markings, 26175105 edges, 99446 markings/sec, 100 secs
lola: 11556353 markings, 27684441 edges, 98476 markings/sec, 105 secs
lola: 12050762 markings, 29137774 edges, 98882 markings/sec, 110 secs
lola: 12541694 markings, 30605947 edges, 98186 markings/sec, 115 secs
lola: 12995320 markings, 32417509 edges, 90725 markings/sec, 120 secs
lola: 13437970 markings, 34328985 edges, 88530 markings/sec, 125 secs
lola: 13878569 markings, 36185097 edges, 88120 markings/sec, 130 secs
lola: 14317220 markings, 38034556 edges, 87730 markings/sec, 135 secs
lola: 14715168 markings, 39307635 edges, 79590 markings/sec, 140 secs
lola: 15083577 markings, 40602716 edges, 73682 markings/sec, 145 secs
lola: 15439592 markings, 41890793 edges, 71203 markings/sec, 150 secs
lola: 15791132 markings, 43164952 edges, 70308 markings/sec, 155 secs
lola: 16145182 markings, 44466281 edges, 70810 markings/sec, 160 secs
lola: 16497888 markings, 45774191 edges, 70541 markings/sec, 165 secs
lola: 16842415 markings, 47048295 edges, 68905 markings/sec, 170 secs
lola: 17181228 markings, 48358647 edges, 67763 markings/sec, 175 secs
lola: 17533526 markings, 49631777 edges, 70460 markings/sec, 180 secs
lola: 17884375 markings, 50951944 edges, 70170 markings/sec, 185 secs
lola: 18227835 markings, 52237530 edges, 68692 markings/sec, 190 secs
lola: 18560658 markings, 53526758 edges, 66565 markings/sec, 195 secs
lola: 18898402 markings, 54838674 edges, 67549 markings/sec, 200 secs
lola: 19256515 markings, 56145425 edges, 71623 markings/sec, 205 secs
lola: 19597229 markings, 57450620 edges, 68143 markings/sec, 210 secs
lola: 19959334 markings, 58718602 edges, 72421 markings/sec, 215 secs
lola: 20308979 markings, 60042904 edges, 69929 markings/sec, 220 secs
lola: 20637694 markings, 61411412 edges, 65743 markings/sec, 225 secs
lola: 20958422 markings, 62798976 edges, 64146 markings/sec, 230 secs
lola: 21290452 markings, 64155915 edges, 66406 markings/sec, 235 secs
lola: 21603083 markings, 65563694 edges, 62526 markings/sec, 240 secs
lola: 21929605 markings, 66914381 edges, 65304 markings/sec, 245 secs
lola: 22243979 markings, 68365270 edges, 62875 markings/sec, 250 secs
lola: 22571158 markings, 69687279 edges, 65436 markings/sec, 255 secs
lola: 22882286 markings, 71152982 edges, 62226 markings/sec, 260 secs
lola: 23210240 markings, 72504246 edges, 65591 markings/sec, 265 secs
lola: 23527817 markings, 73955554 edges, 63515 markings/sec, 270 secs
lola: 23847023 markings, 75366444 edges, 63841 markings/sec, 275 secs
lola: 24170629 markings, 76770271 edges, 64721 markings/sec, 280 secs
lola: 24488512 markings, 78272369 edges, 63577 markings/sec, 285 secs
lola: 24823523 markings, 79620934 edges, 67002 markings/sec, 290 secs
lola: 25143925 markings, 81122457 edges, 64080 markings/sec, 295 secs
lola: 25472909 markings, 82645306 edges, 65797 markings/sec, 300 secs
lola: 25877162 markings, 83875353 edges, 80851 markings/sec, 305 secs
lola: 26294651 markings, 85293089 edges, 83498 markings/sec, 310 secs
lola: 26683245 markings, 86276232 edges, 77719 markings/sec, 315 secs
lola: 27077055 markings, 87660736 edges, 78762 markings/sec, 320 secs
lola: 27448706 markings, 88820495 edges, 74330 markings/sec, 325 secs
lola: 27832661 markings, 90186998 edges, 76791 markings/sec, 330 secs
lola: 28233044 markings, 91596812 edges, 80077 markings/sec, 335 secs
lola: 28688998 markings, 92933712 edges, 91191 markings/sec, 340 secs
lola: 29038774 markings, 94029454 edges, 69955 markings/sec, 345 secs
lola: 29401793 markings, 94758719 edges, 72604 markings/sec, 350 secs
lola: 29815259 markings, 96256917 edges, 82693 markings/sec, 355 secs
lola: 30193929 markings, 97051930 edges, 75734 markings/sec, 360 secs
lola: 30514300 markings, 98990983 edges, 64074 markings/sec, 365 secs
lola: 30924687 markings, 100403887 edges, 82077 markings/sec, 370 secs
lola: 31312775 markings, 101298293 edges, 77618 markings/sec, 375 secs
lola: 31634279 markings, 103228147 edges, 64301 markings/sec, 380 secs
lola: 31993256 markings, 103962336 edges, 71795 markings/sec, 385 secs
lola: 32396753 markings, 105506489 edges, 80699 markings/sec, 390 secs
lola: 32771743 markings, 106229840 edges, 74998 markings/sec, 395 secs
lola: 33099284 markings, 108108927 edges, 65508 markings/sec, 400 secs
lola: 33501030 markings, 109407936 edges, 80349 markings/sec, 405 secs
lola: 33854553 markings, 110594127 edges, 70705 markings/sec, 410 secs
lola: 34242253 markings, 112117241 edges, 77540 markings/sec, 415 secs
lola: 34628897 markings, 113181565 edges, 77329 markings/sec, 420 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 20 unknown 10 unknown unknown unknown unknown unknown unknown unknown 10 10 unknown unknown unknown
FORMULA PermAdmissibility-COL-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-1 20 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-3 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-11 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-12 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494662252574
--------------------
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="PermAdmissibility-PT-10"
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/PermAdmissibility-PT-10.tgz
mv PermAdmissibility-PT-10 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 PermAdmissibility-PT-10, 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 r038-blw7-149440485000425"
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 ;