About the Execution of LoLA for S_PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15935.050 | 3540308.00 | 3550089.00 | 287.50 | ? 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 S_PermAdmissibility-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200425
=====================================================================
--------------------
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 1496388676757
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-PT-10: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-PT-10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 807580 markings, 4315775 edges, 161516 markings/sec, 0 secs
lola: 1395462 markings, 8668907 edges, 117576 markings/sec, 5 secs
lola: 2066795 markings, 13047014 edges, 134267 markings/sec, 10 secs
lola: 2758629 markings, 17387811 edges, 138367 markings/sec, 15 secs
lola: 3200260 markings, 21133334 edges, 88326 markings/sec, 20 secs
lola: 3842889 markings, 25273117 edges, 128526 markings/sec, 25 secs
lola: 4445621 markings, 29345329 edges, 120546 markings/sec, 30 secs
lola: 4954160 markings, 32954782 edges, 101708 markings/sec, 35 secs
lola: 5478690 markings, 36922904 edges, 104906 markings/sec, 40 secs
lola: 6086117 markings, 41207695 edges, 121485 markings/sec, 45 secs
lola: 6600725 markings, 45458869 edges, 102922 markings/sec, 50 secs
lola: 7026684 markings, 49599934 edges, 85192 markings/sec, 55 secs
lola: 7498685 markings, 53617010 edges, 94400 markings/sec, 60 secs
lola: 7932847 markings, 57548527 edges, 86832 markings/sec, 65 secs
lola: 8415244 markings, 61306075 edges, 96479 markings/sec, 70 secs
lola: 8810137 markings, 64904273 edges, 78979 markings/sec, 75 secs
lola: 9395988 markings, 68991245 edges, 117170 markings/sec, 80 secs
lola: 10079079 markings, 72842730 edges, 136618 markings/sec, 85 secs
lola: 10694181 markings, 76679285 edges, 123020 markings/sec, 90 secs
lola: 11273300 markings, 80567874 edges, 115824 markings/sec, 95 secs
lola: 11749680 markings, 84162381 edges, 95276 markings/sec, 100 secs
lola: 12187170 markings, 87686224 edges, 87498 markings/sec, 105 secs
lola: 12631255 markings, 91232590 edges, 88817 markings/sec, 110 secs
lola: 13037809 markings, 94635684 edges, 81311 markings/sec, 115 secs
lola: 13563428 markings, 98364621 edges, 105124 markings/sec, 120 secs
lola: 14244642 markings, 102323083 edges, 136243 markings/sec, 125 secs
lola: 14906881 markings, 106293864 edges, 132448 markings/sec, 130 secs
lola: 15480351 markings, 110161798 edges, 114694 markings/sec, 135 secs
lola: 15974815 markings, 114230184 edges, 98893 markings/sec, 140 secs
lola: 16338578 markings, 118015861 edges, 72753 markings/sec, 145 secs
lola: 16711465 markings, 121690573 edges, 74577 markings/sec, 150 secs
lola: 17059510 markings, 125231924 edges, 69609 markings/sec, 155 secs
lola: 17515359 markings, 129145027 edges, 91170 markings/sec, 160 secs
lola: 18143445 markings, 132916832 edges, 125617 markings/sec, 165 secs
lola: 18648186 markings, 136550028 edges, 100948 markings/sec, 170 secs
lola: 19065427 markings, 139982222 edges, 83448 markings/sec, 175 secs
lola: 19516306 markings, 143472126 edges, 90176 markings/sec, 180 secs
lola: 20162035 markings, 147324565 edges, 129146 markings/sec, 185 secs
lola: 20623902 markings, 151142752 edges, 92373 markings/sec, 190 secs
lola: 20983693 markings, 154778468 edges, 71958 markings/sec, 195 secs
lola: 21435891 markings, 158497623 edges, 90440 markings/sec, 200 secs
lola: 21945685 markings, 162123240 edges, 101959 markings/sec, 205 secs
lola: 22335060 markings, 165505912 edges, 77875 markings/sec, 210 secs
lola: 22810225 markings, 169036456 edges, 95033 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: 1128540 markings, 4753568 edges, 225708 markings/sec, 0 secs
lola: 2062978 markings, 9151751 edges, 186888 markings/sec, 5 secs
lola: 2926439 markings, 13575946 edges, 172692 markings/sec, 10 secs
lola: 3742381 markings, 17811961 edges, 163188 markings/sec, 15 secs
lola: 4572068 markings, 22072584 edges, 165937 markings/sec, 20 secs
lola: 5207997 markings, 26128637 edges, 127186 markings/sec, 25 secs
lola: 5858286 markings, 30160035 edges, 130058 markings/sec, 30 secs
lola: 6403061 markings, 34144108 edges, 108955 markings/sec, 35 secs
lola: 7298314 markings, 38629971 edges, 179051 markings/sec, 40 secs
lola: 8054798 markings, 42525572 edges, 151297 markings/sec, 45 secs
lola: 8883663 markings, 46544689 edges, 165773 markings/sec, 50 secs
lola: 9731423 markings, 50792720 edges, 169552 markings/sec, 55 secs
lola: 10451669 markings, 54888919 edges, 144049 markings/sec, 60 secs
lola: 11144290 markings, 58989729 edges, 138524 markings/sec, 65 secs
lola: 11740835 markings, 62969348 edges, 119309 markings/sec, 70 secs
lola: 12288458 markings, 67012272 edges, 109525 markings/sec, 75 secs
lola: 13080670 markings, 71168612 edges, 158442 markings/sec, 80 secs
lola: 13789951 markings, 75236953 edges, 141856 markings/sec, 85 secs
lola: 14311665 markings, 79192377 edges, 104343 markings/sec, 90 secs
lola: 14876691 markings, 83308356 edges, 113005 markings/sec, 95 secs
lola: 15701787 markings, 87330664 edges, 165019 markings/sec, 100 secs
lola: 16496636 markings, 91378504 edges, 158970 markings/sec, 105 secs
lola: 17152450 markings, 95117939 edges, 131163 markings/sec, 110 secs
lola: 17821543 markings, 99002202 edges, 133819 markings/sec, 115 secs
lola: 18399207 markings, 102726768 edges, 115533 markings/sec, 120 secs
lola: 18990468 markings, 106400740 edges, 118252 markings/sec, 125 secs
lola: 19469397 markings, 109973926 edges, 95786 markings/sec, 130 secs
lola: 19850841 markings, 113480403 edges, 76289 markings/sec, 135 secs
lola: 20761040 markings, 117653348 edges, 182040 markings/sec, 140 secs
lola: 21471625 markings, 121374840 edges, 142117 markings/sec, 145 secs
lola: 22096266 markings, 125034386 edges, 124928 markings/sec, 150 secs
lola: 22558524 markings, 128499086 edges, 92452 markings/sec, 155 secs
lola: 23313112 markings, 132452147 edges, 150918 markings/sec, 160 secs
lola: 23974504 markings, 136382914 edges, 132278 markings/sec, 165 secs
lola: 24514592 markings, 140141617 edges, 108018 markings/sec, 170 secs
lola: 25007624 markings, 143798916 edges, 98606 markings/sec, 175 secs
lola: 25510477 markings, 147537589 edges, 100571 markings/sec, 180 secs
lola: 26253304 markings, 151648733 edges, 148565 markings/sec, 185 secs
lola: 26753508 markings, 155224735 edges, 100041 markings/sec, 190 secs
lola: 27304184 markings, 158920184 edges, 110135 markings/sec, 195 secs
lola: 27710075 markings, 162520127 edges, 81178 markings/sec, 200 secs
lola: 28198480 markings, 166392809 edges, 97681 markings/sec, 205 secs
lola: 28749553 markings, 169905972 edges, 110215 markings/sec, 210 secs
lola: 29209750 markings, 173216094 edges, 92039 markings/sec, 215 secs
lola: 29753469 markings, 177163032 edges, 108744 markings/sec, 220 secs
lola: 30294391 markings, 180687851 edges, 108184 markings/sec, 225 secs
lola: 30781105 markings, 183984721 edges, 97343 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: 543135 markings, 2373445 edges, 108627 markings/sec, 0 secs
lola: 1074552 markings, 4681873 edges, 106283 markings/sec, 5 secs
lola: 1651467 markings, 7111946 edges, 115383 markings/sec, 10 secs
lola: 2213455 markings, 9440855 edges, 112398 markings/sec, 15 secs
lola: 2717706 markings, 11893382 edges, 100850 markings/sec, 20 secs
lola: 3202694 markings, 14262035 edges, 96998 markings/sec, 25 secs
lola: 3614801 markings, 17023533 edges, 82421 markings/sec, 30 secs
lola: 3971066 markings, 19904860 edges, 71253 markings/sec, 35 secs
lola: 4402165 markings, 22413793 edges, 86220 markings/sec, 40 secs
lola: 4771830 markings, 25091847 edges, 73933 markings/sec, 45 secs
lola: 5144522 markings, 27600821 edges, 74538 markings/sec, 50 secs
lola: 5559244 markings, 30222627 edges, 82944 markings/sec, 55 secs
lola: 5949364 markings, 32833031 edges, 78024 markings/sec, 60 secs
lola: 6417736 markings, 35235170 edges, 93674 markings/sec, 65 secs
lola: 6838488 markings, 37734529 edges, 84150 markings/sec, 70 secs
lola: 7203495 markings, 40395060 edges, 73001 markings/sec, 75 secs
lola: 7576803 markings, 42891357 edges, 74662 markings/sec, 80 secs
lola: 8036068 markings, 45477136 edges, 91853 markings/sec, 85 secs
lola: 8470535 markings, 48028804 edges, 86893 markings/sec, 90 secs
lola: 8912826 markings, 50540725 edges, 88458 markings/sec, 95 secs
lola: 9374766 markings, 52765533 edges, 92388 markings/sec, 100 secs
lola: 9872049 markings, 55011406 edges, 99457 markings/sec, 105 secs
lola: 10314930 markings, 57339137 edges, 88576 markings/sec, 110 secs
lola: 10671289 markings, 60064356 edges, 71272 markings/sec, 115 secs
lola: 11028424 markings, 62563225 edges, 71427 markings/sec, 120 secs
lola: 11381241 markings, 64995395 edges, 70563 markings/sec, 125 secs
lola: 11752920 markings, 67515315 edges, 74336 markings/sec, 130 secs
lola: 12189493 markings, 69991372 edges, 87315 markings/sec, 135 secs
lola: 12541792 markings, 72724973 edges, 70460 markings/sec, 140 secs
lola: 12921706 markings, 75222547 edges, 75983 markings/sec, 145 secs
lola: 13283584 markings, 77657879 edges, 72376 markings/sec, 150 secs
lola: 13709127 markings, 79909130 edges, 85109 markings/sec, 155 secs
lola: 14167638 markings, 82049113 edges, 91702 markings/sec, 160 secs
lola: 14651304 markings, 84204209 edges, 96733 markings/sec, 165 secs
lola: 15077759 markings, 86599414 edges, 85291 markings/sec, 170 secs
lola: 15430370 markings, 89340915 edges, 70522 markings/sec, 175 secs
lola: 15752631 markings, 91789387 edges, 64452 markings/sec, 180 secs
lola: 16107662 markings, 94327161 edges, 71006 markings/sec, 185 secs
lola: 16477172 markings, 96839578 edges, 73902 markings/sec, 190 secs
lola: 16851357 markings, 99324533 edges, 74837 markings/sec, 195 secs
lola: 17181145 markings, 101770912 edges, 65958 markings/sec, 200 secs
lola: 17559275 markings, 104250959 edges, 75626 markings/sec, 205 secs
lola: 17958266 markings, 106551662 edges, 79798 markings/sec, 210 secs
lola: 18384673 markings, 108776897 edges, 85281 markings/sec, 215 secs
lola: 18724459 markings, 111294731 edges, 67957 markings/sec, 220 secs
lola: 19040346 markings, 113834440 edges, 63177 markings/sec, 225 secs
lola: 19408704 markings, 116396589 edges, 73672 markings/sec, 230 secs
lola: 19749275 markings, 118958613 edges, 68114 markings/sec, 235 secs
lola: 20102216 markings, 121391111 edges, 70588 markings/sec, 240 secs
lola: 20443152 markings, 123896591 edges, 68187 markings/sec, 245 secs
lola: 20763025 markings, 126317659 edges, 63975 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: 411529 markings, 1003932 edges, 82306 markings/sec, 0 secs
lola: 811790 markings, 2016674 edges, 80052 markings/sec, 5 secs
lola: 1202648 markings, 2945648 edges, 78172 markings/sec, 10 secs
lola: 1603185 markings, 3908648 edges, 80107 markings/sec, 15 secs
lola: 1991287 markings, 4842703 edges, 77620 markings/sec, 20 secs
lola: 2385994 markings, 5836614 edges, 78941 markings/sec, 25 secs
lola: 2764069 markings, 6756838 edges, 75615 markings/sec, 30 secs
lola: 3130510 markings, 7742010 edges, 73288 markings/sec, 35 secs
lola: 3479626 markings, 8785817 edges, 69823 markings/sec, 40 secs
lola: 3810616 markings, 9858517 edges, 66198 markings/sec, 45 secs
lola: 4142341 markings, 10909082 edges, 66345 markings/sec, 50 secs
lola: 4540198 markings, 11985715 edges, 79571 markings/sec, 55 secs
lola: 4942583 markings, 12934491 edges, 80477 markings/sec, 60 secs
lola: 5320162 markings, 13870171 edges, 75516 markings/sec, 65 secs
lola: 5676997 markings, 14819498 edges, 71367 markings/sec, 70 secs
lola: 6062718 markings, 15855999 edges, 77144 markings/sec, 75 secs
lola: 6452152 markings, 16802955 edges, 77887 markings/sec, 80 secs
lola: 6822157 markings, 17728338 edges, 74001 markings/sec, 85 secs
lola: 7196408 markings, 18700543 edges, 74850 markings/sec, 90 secs
lola: 7521845 markings, 19758702 edges, 65087 markings/sec, 95 secs
lola: 7845968 markings, 20855555 edges, 64825 markings/sec, 100 secs
lola: 8249625 markings, 21858965 edges, 80731 markings/sec, 105 secs
lola: 8634363 markings, 22830326 edges, 76948 markings/sec, 110 secs
lola: 8987452 markings, 23877994 edges, 70618 markings/sec, 115 secs
lola: 9432211 markings, 24936462 edges, 88952 markings/sec, 120 secs
lola: 9802645 markings, 25858512 edges, 74087 markings/sec, 125 secs
lola: 10156070 markings, 26846012 edges, 70685 markings/sec, 130 secs
lola: 10561822 markings, 27947735 edges, 81150 markings/sec, 135 secs
lola: 10954500 markings, 28890846 edges, 78536 markings/sec, 140 secs
lola: 11309494 markings, 29836076 edges, 70999 markings/sec, 145 secs
lola: 11677241 markings, 30801097 edges, 73549 markings/sec, 150 secs
lola: 12039595 markings, 31747201 edges, 72471 markings/sec, 155 secs
lola: 12394064 markings, 32758205 edges, 70894 markings/sec, 160 secs
lola: 12788454 markings, 33733379 edges, 78878 markings/sec, 165 secs
lola: 13170322 markings, 34699623 edges, 76374 markings/sec, 170 secs
lola: 13544903 markings, 35580158 edges, 74916 markings/sec, 175 secs
lola: 13908814 markings, 36557509 edges, 72782 markings/sec, 180 secs
lola: 14265361 markings, 37436775 edges, 71309 markings/sec, 185 secs
lola: 14623049 markings, 38370786 edges, 71538 markings/sec, 190 secs
lola: 14978798 markings, 39328178 edges, 71150 markings/sec, 195 secs
lola: 15299376 markings, 40308109 edges, 64116 markings/sec, 200 secs
lola: 15609995 markings, 41304156 edges, 62124 markings/sec, 205 secs
lola: 15905182 markings, 42340605 edges, 59037 markings/sec, 210 secs
lola: 16334710 markings, 43303368 edges, 85906 markings/sec, 215 secs
lola: 16692010 markings, 44193417 edges, 71460 markings/sec, 220 secs
lola: 17015919 markings, 45128664 edges, 64782 markings/sec, 225 secs
lola: 17403663 markings, 46122293 edges, 77549 markings/sec, 230 secs
lola: 17765484 markings, 47043215 edges, 72364 markings/sec, 235 secs
lola: 18126698 markings, 47959802 edges, 72243 markings/sec, 240 secs
lola: 18469604 markings, 48929505 edges, 68581 markings/sec, 245 secs
lola: 18781324 markings, 49953484 edges, 62344 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: 690847 markings, 1655833 edges, 138169 markings/sec, 0 secs
lola: 1286387 markings, 3746158 edges, 119108 markings/sec, 5 secs
lola: 1868920 markings, 5711231 edges, 116507 markings/sec, 10 secs
lola: 2315688 markings, 8084910 edges, 89354 markings/sec, 15 secs
lola: 2782914 markings, 10535463 edges, 93445 markings/sec, 20 secs
lola: 3226526 markings, 12745192 edges, 88722 markings/sec, 25 secs
lola: 3718921 markings, 14526572 edges, 98479 markings/sec, 30 secs
lola: 4176403 markings, 16373827 edges, 91496 markings/sec, 35 secs
lola: 4614161 markings, 18151056 edges, 87552 markings/sec, 40 secs
lola: 5016167 markings, 20132375 edges, 80401 markings/sec, 45 secs
lola: 5460601 markings, 21795011 edges, 88887 markings/sec, 50 secs
lola: 5961954 markings, 23474876 edges, 100271 markings/sec, 55 secs
lola: 6440258 markings, 25610789 edges, 95661 markings/sec, 60 secs
lola: 6917193 markings, 27550121 edges, 95387 markings/sec, 65 secs
lola: 7396849 markings, 28876164 edges, 95931 markings/sec, 70 secs
lola: 7922951 markings, 29971366 edges, 105220 markings/sec, 75 secs
lola: 8345512 markings, 32008222 edges, 84512 markings/sec, 80 secs
lola: 8803569 markings, 33690505 edges, 91611 markings/sec, 85 secs
lola: 9293518 markings, 34765742 edges, 97990 markings/sec, 90 secs
lola: 9724724 markings, 36298334 edges, 86241 markings/sec, 95 secs
lola: 10014686 markings, 39121844 edges, 57992 markings/sec, 100 secs
lola: 10489179 markings, 40331910 edges, 94899 markings/sec, 105 secs
lola: 10842538 markings, 42546159 edges, 70672 markings/sec, 110 secs
lola: 11297695 markings, 44166093 edges, 91031 markings/sec, 115 secs
lola: 11706780 markings, 45889782 edges, 81817 markings/sec, 120 secs
lola: 12156521 markings, 47711777 edges, 89948 markings/sec, 125 secs
lola: 12598512 markings, 49839307 edges, 88398 markings/sec, 130 secs
lola: 13033245 markings, 51507288 edges, 86947 markings/sec, 135 secs
lola: 13466032 markings, 52832107 edges, 86557 markings/sec, 140 secs
lola: 13941319 markings, 53895109 edges, 95057 markings/sec, 145 secs
lola: 14358735 markings, 54797041 edges, 83483 markings/sec, 150 secs
lola: 14652434 markings, 56727064 edges, 58740 markings/sec, 155 secs
lola: 15076562 markings, 58224306 edges, 84826 markings/sec, 160 secs
lola: 15441093 markings, 59577077 edges, 72906 markings/sec, 165 secs
lola: 15884129 markings, 60500675 edges, 88607 markings/sec, 170 secs
lola: 16358241 markings, 61501224 edges, 94822 markings/sec, 175 secs
lola: 16558086 markings, 63820560 edges, 39969 markings/sec, 180 secs
lola: 16766917 markings, 66378256 edges, 41766 markings/sec, 185 secs
lola: 17165923 markings, 67281864 edges, 79801 markings/sec, 190 secs
lola: 17485157 markings, 68880503 edges, 63847 markings/sec, 195 secs
lola: 17780424 markings, 70866735 edges, 59053 markings/sec, 200 secs
lola: 18385796 markings, 72719147 edges, 121074 markings/sec, 205 secs
lola: 18920421 markings, 74481314 edges, 106925 markings/sec, 210 secs
lola: 19349766 markings, 76885207 edges, 85869 markings/sec, 215 secs
lola: 19780716 markings, 78820343 edges, 86190 markings/sec, 220 secs
lola: 20212544 markings, 80410717 edges, 86366 markings/sec, 225 secs
lola: 20600236 markings, 81893768 edges, 77538 markings/sec, 230 secs
lola: 20997016 markings, 83596181 edges, 79356 markings/sec, 235 secs
lola: 21401859 markings, 85308760 edges, 80969 markings/sec, 240 secs
lola: 21796659 markings, 86887998 edges, 78960 markings/sec, 245 secs
lola: 22191461 markings, 88484225 edges, 78960 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 256 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: 1148907 markings, 5915096 edges, 229781 markings/sec, 0 secs
lola: 2150966 markings, 11429242 edges, 200412 markings/sec, 5 secs
lola: 3141490 markings, 17055418 edges, 198105 markings/sec, 10 secs
lola: 4019300 markings, 22404650 edges, 175562 markings/sec, 15 secs
lola: 4945083 markings, 27880971 edges, 185157 markings/sec, 20 secs
lola: 5765698 markings, 33179017 edges, 164123 markings/sec, 25 secs
lola: 6717044 markings, 38837959 edges, 190269 markings/sec, 30 secs
lola: 7560827 markings, 44109640 edges, 168757 markings/sec, 35 secs
lola: 8522090 markings, 49687072 edges, 192253 markings/sec, 40 secs
lola: 9311602 markings, 54678557 edges, 157902 markings/sec, 45 secs
lola: 10202793 markings, 59773666 edges, 178238 markings/sec, 50 secs
lola: 11037297 markings, 64934485 edges, 166901 markings/sec, 55 secs
lola: 11817802 markings, 69996161 edges, 156101 markings/sec, 60 secs
lola: 12664818 markings, 75115986 edges, 169403 markings/sec, 65 secs
lola: 13489912 markings, 79893716 edges, 165019 markings/sec, 70 secs
lola: 14250452 markings, 84715148 edges, 152108 markings/sec, 75 secs
lola: 15092087 markings, 90009633 edges, 168327 markings/sec, 80 secs
lola: 15907884 markings, 95133586 edges, 163159 markings/sec, 85 secs
lola: 16645008 markings, 99871437 edges, 147425 markings/sec, 90 secs
lola: 17552364 markings, 105143884 edges, 181471 markings/sec, 95 secs
lola: 18310614 markings, 109994417 edges, 151650 markings/sec, 100 secs
lola: 19146632 markings, 115253629 edges, 167204 markings/sec, 105 secs
lola: 19996376 markings, 120616076 edges, 169949 markings/sec, 110 secs
lola: 20888003 markings, 125845479 edges, 178325 markings/sec, 115 secs
lola: 21675548 markings, 130690565 edges, 157509 markings/sec, 120 secs
lola: 22447065 markings, 135615776 edges, 154303 markings/sec, 125 secs
lola: 23259776 markings, 140711473 edges, 162542 markings/sec, 130 secs
lola: 24095972 markings, 146049129 edges, 167239 markings/sec, 135 secs
lola: 24920021 markings, 151285092 edges, 164810 markings/sec, 140 secs
lola: 25723340 markings, 156129858 edges, 160664 markings/sec, 145 secs
lola: 26401701 markings, 160536334 edges, 135672 markings/sec, 150 secs
lola: 27018082 markings, 164828703 edges, 123276 markings/sec, 155 secs
lola: 27762776 markings, 169635933 edges, 148939 markings/sec, 160 secs
lola: 28461653 markings, 174438874 edges, 139775 markings/sec, 165 secs
lola: 29132212 markings, 178878400 edges, 134112 markings/sec, 170 secs
lola: 29725720 markings, 182945169 edges, 118702 markings/sec, 175 secs
lola: 30414096 markings, 187585385 edges, 137675 markings/sec, 180 secs
lola: 31136115 markings, 192376541 edges, 144404 markings/sec, 185 secs
lola: 31777804 markings, 196872783 edges, 128338 markings/sec, 190 secs
lola: 32557534 markings, 201754710 edges, 155946 markings/sec, 195 secs
lola: 33329432 markings, 206542427 edges, 154380 markings/sec, 200 secs
lola: 34011704 markings, 211226557 edges, 136454 markings/sec, 205 secs
lola: 34724201 markings, 215937070 edges, 142499 markings/sec, 210 secs
lola: 35484031 markings, 221008209 edges, 151966 markings/sec, 215 secs
lola: 36199714 markings, 225717351 edges, 143137 markings/sec, 220 secs
lola: 36871026 markings, 230413347 edges, 134262 markings/sec, 225 secs
lola: 37595411 markings, 235258932 edges, 144877 markings/sec, 230 secs
lola: 38332662 markings, 240180640 edges, 147450 markings/sec, 235 secs
lola: 39006709 markings, 244863680 edges, 134809 markings/sec, 240 secs
lola: 39735668 markings, 249818111 edges, 145792 markings/sec, 245 secs
lola: 40385624 markings, 254513626 edges, 129991 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: 441657 markings, 1356500 edges, 88331 markings/sec, 0 secs
lola: 862050 markings, 2904103 edges, 84079 markings/sec, 5 secs
lola: 1176641 markings, 4857945 edges, 62918 markings/sec, 10 secs
lola: 1556616 markings, 6714118 edges, 75995 markings/sec, 15 secs
lola: 1918142 markings, 8516063 edges, 72305 markings/sec, 20 secs
lola: 2365456 markings, 9989983 edges, 89463 markings/sec, 25 secs
lola: 2709280 markings, 11961334 edges, 68765 markings/sec, 30 secs
lola: 3070081 markings, 13951228 edges, 72160 markings/sec, 35 secs
lola: 3466808 markings, 15609045 edges, 79345 markings/sec, 40 secs
lola: 3892548 markings, 17251067 edges, 85148 markings/sec, 45 secs
lola: 4214909 markings, 19405612 edges, 64472 markings/sec, 50 secs
lola: 4538508 markings, 21390593 edges, 64720 markings/sec, 55 secs
lola: 4851793 markings, 23316616 edges, 62657 markings/sec, 60 secs
lola: 5201592 markings, 25150936 edges, 69960 markings/sec, 65 secs
lola: 5522093 markings, 27174491 edges, 64100 markings/sec, 70 secs
lola: 5926074 markings, 28734257 edges, 80796 markings/sec, 75 secs
lola: 6269912 markings, 30403590 edges, 68768 markings/sec, 80 secs
lola: 6564019 markings, 32274158 edges, 58821 markings/sec, 85 secs
lola: 6910688 markings, 33519115 edges, 69334 markings/sec, 90 secs
lola: 7264836 markings, 34994144 edges, 70830 markings/sec, 95 secs
lola: 7539447 markings, 37125235 edges, 54922 markings/sec, 100 secs
lola: 7819034 markings, 39050365 edges, 55917 markings/sec, 105 secs
lola: 8138988 markings, 41116054 edges, 63991 markings/sec, 110 secs
lola: 8425013 markings, 43314977 edges, 57205 markings/sec, 115 secs
lola: 8717396 markings, 45446896 edges, 58477 markings/sec, 120 secs
lola: 9040654 markings, 47629460 edges, 64652 markings/sec, 125 secs
lola: 9357348 markings, 49464449 edges, 63339 markings/sec, 130 secs
lola: 9637383 markings, 51600725 edges, 56007 markings/sec, 135 secs
lola: 9920637 markings, 53557685 edges, 56651 markings/sec, 140 secs
lola: 10226587 markings, 55496629 edges, 61190 markings/sec, 145 secs
lola: 10562410 markings, 56846791 edges, 67165 markings/sec, 150 secs
lola: 10943137 markings, 58585180 edges, 76145 markings/sec, 155 secs
lola: 11307934 markings, 60325034 edges, 72959 markings/sec, 160 secs
lola: 11638682 markings, 62176667 edges, 66150 markings/sec, 165 secs
lola: 12000132 markings, 63806307 edges, 72290 markings/sec, 170 secs
lola: 12314052 markings, 65613838 edges, 62784 markings/sec, 175 secs
lola: 12606261 markings, 67670350 edges, 58442 markings/sec, 180 secs
lola: 12896251 markings, 69544573 edges, 57998 markings/sec, 185 secs
lola: 13280732 markings, 71109948 edges, 76896 markings/sec, 190 secs
lola: 13625569 markings, 72894506 edges, 68967 markings/sec, 195 secs
lola: 13995673 markings, 74548499 edges, 74021 markings/sec, 200 secs
lola: 14308662 markings, 76406211 edges, 62598 markings/sec, 205 secs
lola: 14690878 markings, 77887606 edges, 76443 markings/sec, 210 secs
lola: 14978372 markings, 79787165 edges, 57499 markings/sec, 215 secs
lola: 15276673 markings, 81655958 edges, 59660 markings/sec, 220 secs
lola: 15629262 markings, 83201481 edges, 70518 markings/sec, 225 secs
lola: 15951223 markings, 84903115 edges, 64392 markings/sec, 230 secs
lola: 16245149 markings, 86605122 edges, 58785 markings/sec, 235 secs
lola: 16537787 markings, 88350964 edges, 58528 markings/sec, 240 secs
lola: 16807372 markings, 90163372 edges, 53917 markings/sec, 245 secs
lola: 17064101 markings, 92210658 edges, 51346 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: 409380 markings, 998046 edges, 81876 markings/sec, 0 secs
lola: 789521 markings, 1963040 edges, 76028 markings/sec, 5 secs
lola: 1174548 markings, 2875768 edges, 77005 markings/sec, 10 secs
lola: 1570499 markings, 3816784 edges, 79190 markings/sec, 15 secs
lola: 1956828 markings, 4761735 edges, 77266 markings/sec, 20 secs
lola: 2350153 markings, 5727043 edges, 78665 markings/sec, 25 secs
lola: 2725227 markings, 6662837 edges, 75015 markings/sec, 30 secs
lola: 3096541 markings, 7638839 edges, 74263 markings/sec, 35 secs
lola: 3444810 markings, 8663724 edges, 69654 markings/sec, 40 secs
lola: 3777706 markings, 9709140 edges, 66579 markings/sec, 45 secs
lola: 4097090 markings, 10779579 edges, 63877 markings/sec, 50 secs
lola: 4471478 markings, 11844256 edges, 74878 markings/sec, 55 secs
lola: 4883692 markings, 12795678 edges, 82443 markings/sec, 60 secs
lola: 5263094 markings, 13725920 edges, 75880 markings/sec, 65 secs
lola: 5619722 markings, 14651019 edges, 71326 markings/sec, 70 secs
lola: 5990548 markings, 15676095 edges, 74165 markings/sec, 75 secs
lola: 6377300 markings, 16599322 edges, 77350 markings/sec, 80 secs
lola: 6747674 markings, 17547293 edges, 74075 markings/sec, 85 secs
lola: 7119370 markings, 18483820 edges, 74339 markings/sec, 90 secs
lola: 7458163 markings, 19514027 edges, 67759 markings/sec, 95 secs
lola: 7779506 markings, 20605961 edges, 64269 markings/sec, 100 secs
lola: 8162811 markings, 21655830 edges, 76661 markings/sec, 105 secs
lola: 8554729 markings, 22633331 edges, 78384 markings/sec, 110 secs
lola: 8921589 markings, 23651302 edges, 73372 markings/sec, 115 secs
lola: 9338102 markings, 24733905 edges, 83303 markings/sec, 120 secs
lola: 9725111 markings, 25663261 edges, 77402 markings/sec, 125 secs
lola: 10072166 markings, 26635189 edges, 69411 markings/sec, 130 secs
lola: 10460826 markings, 27692344 edges, 77732 markings/sec, 135 secs
lola: 10877035 markings, 28690717 edges, 83242 markings/sec, 140 secs
lola: 11243174 markings, 29631206 edges, 73228 markings/sec, 145 secs
lola: 11602350 markings, 30619746 edges, 71835 markings/sec, 150 secs
lola: 11966686 markings, 31552681 edges, 72867 markings/sec, 155 secs
lola: 12318156 markings, 32553982 edges, 70294 markings/sec, 160 secs
lola: 12714785 markings, 33561724 edges, 79326 markings/sec, 165 secs
lola: 13095828 markings, 34522320 edges, 76209 markings/sec, 170 secs
lola: 13471580 markings, 35408072 edges, 75150 markings/sec, 175 secs
lola: 13836312 markings, 36379082 edges, 72946 markings/sec, 180 secs
lola: 14193210 markings, 37264337 edges, 71380 markings/sec, 185 secs
lola: 14551434 markings, 38195667 edges, 71645 markings/sec, 190 secs
lola: 14906387 markings, 39129149 edges, 70991 markings/sec, 195 secs
lola: 15236567 markings, 40097458 edges, 66036 markings/sec, 200 secs
lola: 15544576 markings, 41112811 edges, 61602 markings/sec, 205 secs
lola: 15847190 markings, 42128508 edges, 60523 markings/sec, 210 secs
lola: 16261945 markings, 43122493 edges, 82951 markings/sec, 215 secs
lola: 16621202 markings, 44020213 edges, 71851 markings/sec, 220 secs
lola: 16956182 markings, 44931877 edges, 66996 markings/sec, 225 secs
lola: 17324709 markings, 45933964 edges, 73705 markings/sec, 230 secs
lola: 17686803 markings, 46816082 edges, 72419 markings/sec, 235 secs
lola: 18036897 markings, 47740522 edges, 70019 markings/sec, 240 secs
lola: 18385307 markings, 48665508 edges, 69682 markings/sec, 245 secs
lola: 18700707 markings, 49676390 edges, 63080 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: 406396 markings, 990097 edges, 81279 markings/sec, 0 secs
lola: 801480 markings, 1991432 edges, 79017 markings/sec, 5 secs
lola: 1186562 markings, 2907202 edges, 77016 markings/sec, 10 secs
lola: 1573614 markings, 3826220 edges, 77410 markings/sec, 15 secs
lola: 1961267 markings, 4771802 edges, 77531 markings/sec, 20 secs
lola: 2354257 markings, 5738616 edges, 78598 markings/sec, 25 secs
lola: 2728564 markings, 6670068 edges, 74861 markings/sec, 30 secs
lola: 3100215 markings, 7648839 edges, 74330 markings/sec, 35 secs
lola: 3448168 markings, 8679146 edges, 69591 markings/sec, 40 secs
lola: 3782386 markings, 9730445 edges, 66844 markings/sec, 45 secs
lola: 4105711 markings, 10799546 edges, 64665 markings/sec, 50 secs
lola: 4485299 markings, 11871912 edges, 75918 markings/sec, 55 secs
lola: 4894236 markings, 12822061 edges, 81787 markings/sec, 60 secs
lola: 5273456 markings, 13751110 edges, 75844 markings/sec, 65 secs
lola: 5631421 markings, 14682156 edges, 71593 markings/sec, 70 secs
lola: 6004768 markings, 15717729 edges, 74669 markings/sec, 75 secs
lola: 6392792 markings, 16638171 edges, 77605 markings/sec, 80 secs
lola: 6761016 markings, 17580315 edges, 73645 markings/sec, 85 secs
lola: 7135376 markings, 18526638 edges, 74872 markings/sec, 90 secs
lola: 7473377 markings, 19559022 edges, 67600 markings/sec, 95 secs
lola: 7794525 markings, 20657126 edges, 64230 markings/sec, 100 secs
lola: 8181087 markings, 21696964 edges, 77312 markings/sec, 105 secs
lola: 8570225 markings, 22671692 edges, 77828 markings/sec, 110 secs
lola: 8933157 markings, 23689827 edges, 72586 markings/sec, 115 secs
lola: 9358541 markings, 24774907 edges, 85077 markings/sec, 120 secs
lola: 9738854 markings, 25699219 edges, 76063 markings/sec, 125 secs
lola: 10085665 markings, 26666924 edges, 69362 markings/sec, 130 secs
lola: 10476625 markings, 27731902 edges, 78192 markings/sec, 135 secs
lola: 10886849 markings, 28716975 edges, 82045 markings/sec, 140 secs
lola: 11248895 markings, 29649203 edges, 72409 markings/sec, 145 secs
lola: 11605394 markings, 30627553 edges, 71300 markings/sec, 150 secs
lola: 11964332 markings, 31546375 edges, 71788 markings/sec, 155 secs
lola: 12314301 markings, 32542065 edges, 69994 markings/sec, 160 secs
lola: 12707181 markings, 33544776 edges, 78576 markings/sec, 165 secs
lola: 13085823 markings, 34498361 edges, 75728 markings/sec, 170 secs
lola: 13455509 markings, 35371463 edges, 73937 markings/sec, 175 secs
lola: 13817549 markings, 36328708 edges, 72408 markings/sec, 180 secs
lola: 14171250 markings, 37210475 edges, 70740 markings/sec, 185 secs
lola: 14525524 markings, 38129950 edges, 70855 markings/sec, 190 secs
lola: 14878157 markings, 39054189 edges, 70527 markings/sec, 195 secs
lola: 15208668 markings, 40007372 edges, 66102 markings/sec, 200 secs
lola: 15518851 markings, 41010074 edges, 62037 markings/sec, 205 secs
lola: 15813637 markings, 42027622 edges, 58957 markings/sec, 210 secs
lola: 16220027 markings, 43011743 edges, 81278 markings/sec, 215 secs
lola: 16575938 markings, 43897636 edges, 71182 markings/sec, 220 secs
lola: 16911378 markings, 44798431 edges, 67088 markings/sec, 225 secs
lola: 17264981 markings, 45768948 edges, 70721 markings/sec, 230 secs
lola: 17623945 markings, 46655581 edges, 71793 markings/sec, 235 secs
lola: 17970685 markings, 47557784 edges, 69348 markings/sec, 240 secs
lola: 18320418 markings, 48482509 edges, 69947 markings/sec, 245 secs
lola: 18636297 markings, 49472576 edges, 63176 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 257 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: 883711 markings, 3912070 edges, 176742 markings/sec, 0 secs
lola: 1680166 markings, 7950397 edges, 159291 markings/sec, 5 secs
lola: 2429982 markings, 11635808 edges, 149963 markings/sec, 10 secs
lola: 3225339 markings, 15473347 edges, 159071 markings/sec, 15 secs
lola: 4009027 markings, 19140433 edges, 156738 markings/sec, 20 secs
lola: 4781921 markings, 22941061 edges, 154579 markings/sec, 25 secs
lola: 5541504 markings, 26650070 edges, 151917 markings/sec, 30 secs
lola: 6255279 markings, 30321706 edges, 142755 markings/sec, 35 secs
lola: 6930342 markings, 33992788 edges, 135013 markings/sec, 40 secs
lola: 7582165 markings, 37622718 edges, 130365 markings/sec, 45 secs
lola: 8196867 markings, 41291672 edges, 122940 markings/sec, 50 secs
lola: 8819132 markings, 45004543 edges, 124453 markings/sec, 55 secs
lola: 9414533 markings, 48588947 edges, 119080 markings/sec, 60 secs
lola: 9992532 markings, 52174022 edges, 115600 markings/sec, 65 secs
lola: 10550850 markings, 55813092 edges, 111664 markings/sec, 70 secs
lola: 11077844 markings, 59924464 edges, 105399 markings/sec, 75 secs
lola: 11700858 markings, 63840100 edges, 124603 markings/sec, 80 secs
lola: 12444075 markings, 67665740 edges, 148643 markings/sec, 85 secs
lola: 13166392 markings, 71287563 edges, 144463 markings/sec, 90 secs
lola: 13793714 markings, 74838694 edges, 125464 markings/sec, 95 secs
lola: 14345588 markings, 78400748 edges, 110375 markings/sec, 100 secs
lola: 14894257 markings, 82206706 edges, 109734 markings/sec, 105 secs
lola: 15652644 markings, 86136728 edges, 151677 markings/sec, 110 secs
lola: 16412749 markings, 89826775 edges, 152021 markings/sec, 115 secs
lola: 17145463 markings, 93619579 edges, 146543 markings/sec, 120 secs
lola: 17847827 markings, 97226678 edges, 140473 markings/sec, 125 secs
lola: 18522288 markings, 100884375 edges, 134892 markings/sec, 130 secs
lola: 19155935 markings, 104401822 edges, 126729 markings/sec, 135 secs
lola: 19737105 markings, 108002492 edges, 116234 markings/sec, 140 secs
lola: 20290148 markings, 111577350 edges, 110609 markings/sec, 145 secs
lola: 20875631 markings, 115168285 edges, 117097 markings/sec, 150 secs
lola: 21408929 markings, 118630657 edges, 106660 markings/sec, 155 secs
lola: 21891530 markings, 122097610 edges, 96520 markings/sec, 160 secs
lola: 22464177 markings, 126225278 edges, 114529 markings/sec, 165 secs
lola: 23148979 markings, 129829072 edges, 136960 markings/sec, 170 secs
lola: 23749779 markings, 133308348 edges, 120160 markings/sec, 175 secs
lola: 24260559 markings, 136748612 edges, 102156 markings/sec, 180 secs
lola: 24834350 markings, 140533053 edges, 114758 markings/sec, 185 secs
lola: 25411767 markings, 144228445 edges, 115483 markings/sec, 190 secs
lola: 26081431 markings, 147971272 edges, 133933 markings/sec, 195 secs
lola: 26775088 markings, 151662311 edges, 138731 markings/sec, 200 secs
lola: 27309073 markings, 155232168 edges, 106797 markings/sec, 205 secs
lola: 27915588 markings, 158875716 edges, 121303 markings/sec, 210 secs
lola: 28583189 markings, 162609560 edges, 133520 markings/sec, 215 secs
lola: 29106107 markings, 166086133 edges, 104584 markings/sec, 220 secs
lola: 29677375 markings, 169743456 edges, 114254 markings/sec, 225 secs
lola: 30392000 markings, 173576792 edges, 142925 markings/sec, 230 secs
lola: 31031722 markings, 177221941 edges, 127944 markings/sec, 235 secs
lola: 31665764 markings, 181100895 edges, 126808 markings/sec, 240 secs
lola: 32326358 markings, 184819296 edges, 132119 markings/sec, 245 secs
lola: 32875416 markings, 188153833 edges, 109812 markings/sec, 250 secs
lola: 33482113 markings, 191737778 edges, 121339 markings/sec, 255 secs
lola: 34106531 markings, 195581099 edges, 124884 markings/sec, 260 secs
lola: 34826198 markings, 199464889 edges, 143933 markings/sec, 265 secs
lola: 35467198 markings, 203007089 edges, 128200 markings/sec, 270 secs
lola: 36052780 markings, 206608732 edges, 117116 markings/sec, 275 secs
lola: 36715248 markings, 210250135 edges, 132494 markings/sec, 280 secs
lola: 37260583 markings, 213779626 edges, 109067 markings/sec, 285 secs
lola: 37845363 markings, 217478283 edges, 116956 markings/sec, 290 secs
lola: 38461414 markings, 221133290 edges, 123210 markings/sec, 295 secs
lola: 39065211 markings, 224834498 edges, 120759 markings/sec, 300 secs
lola: 39652435 markings, 228582169 edges, 117445 markings/sec, 305 secs
lola: 40243465 markings, 232336062 edges, 118206 markings/sec, 310 secs
lola: 40868631 markings, 236120485 edges, 125033 markings/sec, 315 secs
lola: 41571598 markings, 239527630 edges, 140593 markings/sec, 320 secs
lola: 42225725 markings, 242825551 edges, 130825 markings/sec, 325 secs
lola: 42781918 markings, 246080228 edges, 111239 markings/sec, 330 secs
lola: 43266000 markings, 249325126 edges, 96816 markings/sec, 335 secs
lola: 43878960 markings, 252673926 edges, 122592 markings/sec, 340 secs
lola: 44426495 markings, 255930999 edges, 109507 markings/sec, 345 secs
lola: 45064287 markings, 259248095 edges, 127558 markings/sec, 350 secs
lola: 45593692 markings, 262493340 edges, 105881 markings/sec, 355 secs
lola: 46102580 markings, 265810290 edges, 101778 markings/sec, 360 secs
lola: 46618351 markings, 269028404 edges, 103154 markings/sec, 365 secs
lola: 47188235 markings, 272349155 edges, 113977 markings/sec, 370 secs
lola: 47754339 markings, 275656275 edges, 113221 markings/sec, 375 secs
lola: 48349896 markings, 279043883 edges, 119111 markings/sec, 380 secs
lola: 48887089 markings, 282326456 edges, 107439 markings/sec, 385 secs
lola: 49471379 markings, 285758804 edges, 116858 markings/sec, 390 secs
lola: 50229385 markings, 289510577 edges, 151601 markings/sec, 395 secs
lola: 50956532 markings, 293020955 edges, 145429 markings/sec, 400 secs
lola: 51633189 markings, 296513768 edges, 135331 markings/sec, 405 secs
lola: 52226254 markings, 299995303 edges, 118613 markings/sec, 410 secs
lola: 52756149 markings, 303294915 edges, 105979 markings/sec, 415 secs
lola: 53295373 markings, 306952503 edges, 107845 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 428 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: 405364 markings, 987218 edges, 81073 markings/sec, 0 secs
lola: 797573 markings, 1981799 edges, 78442 markings/sec, 5 secs
lola: 1182274 markings, 2895769 edges, 76940 markings/sec, 10 secs
lola: 1576308 markings, 3835011 edges, 78807 markings/sec, 15 secs
lola: 1960632 markings, 4770279 edges, 76865 markings/sec, 20 secs
lola: 2350646 markings, 5728445 edges, 78003 markings/sec, 25 secs
lola: 2723136 markings, 6657956 edges, 74498 markings/sec, 30 secs
lola: 3094104 markings, 7632680 edges, 74194 markings/sec, 35 secs
lola: 3443210 markings, 8656255 edges, 69821 markings/sec, 40 secs
lola: 3778568 markings, 9712941 edges, 67072 markings/sec, 45 secs
lola: 4097669 markings, 10780734 edges, 63820 markings/sec, 50 secs
lola: 4474931 markings, 11851173 edges, 75452 markings/sec, 55 secs
lola: 4882612 markings, 12793191 edges, 81536 markings/sec, 60 secs
lola: 5258249 markings, 13713853 edges, 75127 markings/sec, 65 secs
lola: 5611017 markings, 14627054 edges, 70554 markings/sec, 70 secs
lola: 5978305 markings, 15642367 edges, 73458 markings/sec, 75 secs
lola: 6351260 markings, 16535773 edges, 74591 markings/sec, 80 secs
lola: 6697728 markings, 17426143 edges, 69294 markings/sec, 85 secs
lola: 7057106 markings, 18322854 edges, 71876 markings/sec, 90 secs
lola: 7374217 markings, 19240859 edges, 63422 markings/sec, 95 secs
lola: 7672975 markings, 20272314 edges, 59752 markings/sec, 100 secs
lola: 8031325 markings, 21340213 edges, 71670 markings/sec, 105 secs
lola: 8428644 markings, 22319847 edges, 79464 markings/sec, 110 secs
lola: 8804278 markings, 23294733 edges, 75127 markings/sec, 115 secs
lola: 9171290 markings, 24367388 edges, 73402 markings/sec, 120 secs
lola: 9601549 markings, 25355753 edges, 86052 markings/sec, 125 secs
lola: 9946307 markings, 26296910 edges, 68952 markings/sec, 130 secs
lola: 10310095 markings, 27259303 edges, 72758 markings/sec, 135 secs
lola: 10745499 markings, 28378934 edges, 87081 markings/sec, 140 secs
lola: 11117175 markings, 29297849 edges, 74335 markings/sec, 145 secs
lola: 11455309 markings, 30282211 edges, 67627 markings/sec, 150 secs
lola: 11835977 markings, 31214799 edges, 76134 markings/sec, 155 secs
lola: 12182343 markings, 32198490 edges, 69273 markings/sec, 160 secs
lola: 12561463 markings, 33174965 edges, 75824 markings/sec, 165 secs
lola: 12954511 markings, 34189982 edges, 78610 markings/sec, 170 secs
lola: 13332204 markings, 35086633 edges, 75539 markings/sec, 175 secs
lola: 13700253 markings, 36009386 edges, 73610 markings/sec, 180 secs
lola: 14059160 markings, 36935213 edges, 71781 markings/sec, 185 secs
lola: 14417427 markings, 37863083 edges, 71653 markings/sec, 190 secs
lola: 14775849 markings, 38745579 edges, 71684 markings/sec, 195 secs
lola: 15112422 markings, 39715435 edges, 67315 markings/sec, 200 secs
lola: 15405265 markings, 40664797 edges, 58569 markings/sec, 205 secs
lola: 15715948 markings, 41650626 edges, 62137 markings/sec, 210 secs
lola: 16074603 markings, 42697638 edges, 71731 markings/sec, 215 secs
lola: 16457276 markings, 43598167 edges, 76535 markings/sec, 220 secs
lola: 16808272 markings, 44495817 edges, 70199 markings/sec, 225 secs
lola: 17152634 markings, 45460569 edges, 68872 markings/sec, 230 secs
lola: 17516584 markings, 46396838 edges, 72790 markings/sec, 235 secs
lola: 17863729 markings, 47292309 edges, 69429 markings/sec, 240 secs
lola: 18225509 markings, 48203228 edges, 72356 markings/sec, 245 secs
lola: 18553461 markings, 49204735 edges, 65590 markings/sec, 250 secs
lola: 18859671 markings, 50204847 edges, 61242 markings/sec, 255 secs
lola: 19208745 markings, 51219729 edges, 69815 markings/sec, 260 secs
lola: 19565016 markings, 52162183 edges, 71254 markings/sec, 265 secs
lola: 19908734 markings, 53156681 edges, 68744 markings/sec, 270 secs
lola: 20323351 markings, 54195943 edges, 82923 markings/sec, 275 secs
lola: 20679696 markings, 55088550 edges, 71269 markings/sec, 280 secs
lola: 21009465 markings, 56028539 edges, 65954 markings/sec, 285 secs
lola: 21406478 markings, 57108542 edges, 79403 markings/sec, 290 secs
lola: 21777044 markings, 58032943 edges, 74113 markings/sec, 295 secs
lola: 22103397 markings, 58979653 edges, 65271 markings/sec, 300 secs
lola: 22463951 markings, 59886770 edges, 72111 markings/sec, 305 secs
lola: 22798366 markings, 60828796 edges, 66883 markings/sec, 310 secs
lola: 23156379 markings, 61776140 edges, 71603 markings/sec, 315 secs
lola: 23553320 markings, 62928555 edges, 79388 markings/sec, 320 secs
lola: 23903497 markings, 63971752 edges, 70035 markings/sec, 325 secs
lola: 24242501 markings, 65350300 edges, 67801 markings/sec, 330 secs
lola: 24591130 markings, 66720430 edges, 69726 markings/sec, 335 secs
lola: 24886281 markings, 68233859 edges, 59030 markings/sec, 340 secs
lola: 25196215 markings, 69597481 edges, 61987 markings/sec, 345 secs
lola: 25485992 markings, 71016774 edges, 57955 markings/sec, 350 secs
lola: 25768778 markings, 72428168 edges, 56557 markings/sec, 355 secs
lola: 26062418 markings, 73651226 edges, 58728 markings/sec, 360 secs
lola: 26355186 markings, 74952101 edges, 58554 markings/sec, 365 secs
lola: 26636210 markings, 76101321 edges, 56205 markings/sec, 370 secs
lola: 26922353 markings, 77295743 edges, 57229 markings/sec, 375 secs
lola: 27206000 markings, 78610312 edges, 56729 markings/sec, 380 secs
lola: 27482815 markings, 79821098 edges, 55363 markings/sec, 385 secs
lola: 27757730 markings, 80989591 edges, 54983 markings/sec, 390 secs
lola: 28063840 markings, 82091498 edges, 61222 markings/sec, 395 secs
lola: 28418528 markings, 83147467 edges, 70938 markings/sec, 400 secs
lola: 28754839 markings, 84099862 edges, 67262 markings/sec, 405 secs
lola: 29075981 markings, 85219400 edges, 64228 markings/sec, 410 secs
lola: 29383446 markings, 86197146 edges, 61493 markings/sec, 415 secs
lola: 29682659 markings, 87753029 edges, 59843 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: 506261 markings, 865117 edges, 101252 markings/sec, 0 secs
lola: 1050500 markings, 1798895 edges, 108848 markings/sec, 5 secs
lola: 1619515 markings, 2772725 edges, 113803 markings/sec, 10 secs
lola: 2183732 markings, 3744301 edges, 112843 markings/sec, 15 secs
lola: 2746552 markings, 4777972 edges, 112564 markings/sec, 20 secs
lola: 3288011 markings, 5935378 edges, 108292 markings/sec, 25 secs
lola: 3834844 markings, 7089316 edges, 109367 markings/sec, 30 secs
lola: 4377958 markings, 8232589 edges, 108623 markings/sec, 35 secs
lola: 4917042 markings, 9380868 edges, 107817 markings/sec, 40 secs
lola: 5456995 markings, 10502651 edges, 107991 markings/sec, 45 secs
lola: 5996278 markings, 11642869 edges, 107857 markings/sec, 50 secs
lola: 6493633 markings, 13163233 edges, 99471 markings/sec, 55 secs
lola: 6988876 markings, 14702115 edges, 99049 markings/sec, 60 secs
lola: 7477861 markings, 16240195 edges, 97797 markings/sec, 65 secs
lola: 7969662 markings, 17704705 edges, 98360 markings/sec, 70 secs
lola: 8453013 markings, 19227714 edges, 96670 markings/sec, 75 secs
lola: 8977935 markings, 20563456 edges, 104984 markings/sec, 80 secs
lola: 9504497 markings, 21876692 edges, 105312 markings/sec, 85 secs
lola: 10028259 markings, 23149471 edges, 104752 markings/sec, 90 secs
lola: 10536880 markings, 24592825 edges, 101724 markings/sec, 95 secs
lola: 11034703 markings, 26088625 edges, 99565 markings/sec, 100 secs
lola: 11527664 markings, 27591804 edges, 98592 markings/sec, 105 secs
lola: 12021452 markings, 29053676 edges, 98758 markings/sec, 110 secs
lola: 12513462 markings, 30517027 edges, 98402 markings/sec, 115 secs
lola: 12968853 markings, 32313638 edges, 91078 markings/sec, 120 secs
lola: 13411414 markings, 34211905 edges, 88512 markings/sec, 125 secs
lola: 13850100 markings, 36071583 edges, 87737 markings/sec, 130 secs
lola: 14288009 markings, 37895416 edges, 87582 markings/sec, 135 secs
lola: 14689146 markings, 39246919 edges, 80227 markings/sec, 140 secs
lola: 15053593 markings, 40525775 edges, 72889 markings/sec, 145 secs
lola: 15409780 markings, 41790587 edges, 71237 markings/sec, 150 secs
lola: 15757745 markings, 43060966 edges, 69593 markings/sec, 155 secs
lola: 16107960 markings, 44348452 edges, 70043 markings/sec, 160 secs
lola: 16462781 markings, 45625341 edges, 70964 markings/sec, 165 secs
lola: 16806039 markings, 46895622 edges, 68652 markings/sec, 170 secs
lola: 17141978 markings, 48197071 edges, 67188 markings/sec, 175 secs
lola: 17487312 markings, 49492255 edges, 69067 markings/sec, 180 secs
lola: 17839554 markings, 50818748 edges, 70448 markings/sec, 185 secs
lola: 18183293 markings, 52084031 edges, 68748 markings/sec, 190 secs
lola: 18516860 markings, 53357112 edges, 66713 markings/sec, 195 secs
lola: 18853673 markings, 54647864 edges, 67363 markings/sec, 200 secs
lola: 19209732 markings, 55956259 edges, 71212 markings/sec, 205 secs
lola: 19559342 markings, 57299215 edges, 69922 markings/sec, 210 secs
lola: 19915624 markings, 58595560 edges, 71256 markings/sec, 215 secs
lola: 20263992 markings, 59873730 edges, 69674 markings/sec, 220 secs
lola: 20595226 markings, 61236370 edges, 66247 markings/sec, 225 secs
lola: 20918549 markings, 62596431 edges, 64665 markings/sec, 230 secs
lola: 21247888 markings, 63949427 edges, 65868 markings/sec, 235 secs
lola: 21559888 markings, 65402133 edges, 62400 markings/sec, 240 secs
lola: 21889294 markings, 66712298 edges, 65881 markings/sec, 245 secs
lola: 22202138 markings, 68155062 edges, 62569 markings/sec, 250 secs
lola: 22530168 markings, 69514156 edges, 65606 markings/sec, 255 secs
lola: 22843174 markings, 70949261 edges, 62601 markings/sec, 260 secs
lola: 23166906 markings, 72287715 edges, 64746 markings/sec, 265 secs
lola: 23480661 markings, 73744224 edges, 62751 markings/sec, 270 secs
lola: 23797667 markings, 75217329 edges, 63401 markings/sec, 275 secs
lola: 24124086 markings, 76542148 edges, 65284 markings/sec, 280 secs
lola: 24440803 markings, 78038365 edges, 63343 markings/sec, 285 secs
lola: 24771122 markings, 79380428 edges, 66064 markings/sec, 290 secs
lola: 25089887 markings, 80853383 edges, 63753 markings/sec, 295 secs
lola: 25412522 markings, 82357677 edges, 64527 markings/sec, 300 secs
lola: 25796114 markings, 83656071 edges, 76718 markings/sec, 305 secs
lola: 26197038 markings, 84992705 edges, 80185 markings/sec, 310 secs
lola: 26589543 markings, 86025277 edges, 78501 markings/sec, 315 secs
lola: 26990309 markings, 87372030 edges, 80153 markings/sec, 320 secs
lola: 27367109 markings, 88655720 edges, 75360 markings/sec, 325 secs
lola: 27749788 markings, 89876879 edges, 76536 markings/sec, 330 secs
lola: 28146494 markings, 91105030 edges, 79341 markings/sec, 335 secs
lola: 28596288 markings, 92686614 edges, 89959 markings/sec, 340 secs
lola: 28944502 markings, 93754076 edges, 69643 markings/sec, 345 secs
lola: 29292981 markings, 94541028 edges, 69696 markings/sec, 350 secs
lola: 29685775 markings, 95912280 edges, 78559 markings/sec, 355 secs
lola: 30074295 markings, 96820574 edges, 77704 markings/sec, 360 secs
lola: 30422189 markings, 98082494 edges, 69579 markings/sec, 365 secs
lola: 30786240 markings, 100089323 edges, 72810 markings/sec, 370 secs
lola: 31179287 markings, 101039617 edges, 78609 markings/sec, 375 secs
lola: 31543992 markings, 101916633 edges, 72941 markings/sec, 380 secs
lola: 31855220 markings, 103680791 edges, 62246 markings/sec, 385 secs
lola: 32250809 markings, 104893463 edges, 79118 markings/sec, 390 secs
lola: 32620938 markings, 105937783 edges, 74026 markings/sec, 395 secs
lola: 32932942 markings, 107539894 edges, 62401 markings/sec, 400 secs
lola: 33335415 markings, 109088309 edges, 80495 markings/sec, 405 secs
lola: 33707625 markings, 109807182 edges, 74442 markings/sec, 410 secs
lola: 34071871 markings, 111610473 edges, 72849 markings/sec, 415 secs
lola: 34437790 markings, 112556286 edges, 73184 markings/sec, 420 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown 20 unknown 10 unknown unknown unknown unknown unknown unknown unknown 10 10 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 1496392217065
--------------------
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_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/S_PermAdmissibility-PT-10.tgz
mv S_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 S_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 r118-blw7-149441650200425"
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 ;