About the Execution of LoLA for S_PermAdmissibility-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9516.270 | 3539839.00 | 3550453.00 | 410.00 | 10 ? ? ? 5 ? 10 ? ? ? ? 5 ? 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-05, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200416
=====================================================================
--------------------
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-05-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-05-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496388152576
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-PT-05: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-PT-05: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-PT-05 @ 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-05-UpperBounds.task
lola: MAX(aux6_0 + aux6_1 + aux6_4 + aux6_5) : 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) : MAX(c17) : MAX(out5_0 + out5_1 + out5_2 + out5_3 + out5_4 + out5_5 + out5_6 + out5_7) : MAX(c9) : MAX(c13) : MAX(in3_4 + in3_5) : MAX(in2_2 + in2_3) : MAX(c11) : MAX(c15) : MAX(c19) : MAX(c5) : MAX(aux13_0 + aux13_1 + aux13_2 + aux13_3 + aux13_4 + aux13_5 + aux13_6 + aux13_7) : MAX(aux8_2 + aux8_3 + aux8_6 + aux8_7) : MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_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(aux6_0 + aux6_1 + aux6_4 + aux6_5)
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 1 will run for 236 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: 401224 markings, 975876 edges, 80245 markings/sec, 0 secs
lola: 794475 markings, 1974630 edges, 78650 markings/sec, 5 secs
lola: 1165631 markings, 2854520 edges, 74231 markings/sec, 10 secs
lola: 1533570 markings, 3717432 edges, 73588 markings/sec, 15 secs
lola: 1884906 markings, 4589233 edges, 70267 markings/sec, 20 secs
lola: 2257371 markings, 5477408 edges, 74493 markings/sec, 25 secs
lola: 2617673 markings, 6403869 edges, 72060 markings/sec, 30 secs
lola: 2985076 markings, 7342018 edges, 73481 markings/sec, 35 secs
lola: 3298612 markings, 8242736 edges, 62707 markings/sec, 40 secs
lola: 3647324 markings, 9306429 edges, 69742 markings/sec, 45 secs
lola: 3971182 markings, 10381390 edges, 64772 markings/sec, 50 secs
lola: 4244101 markings, 11280768 edges, 54584 markings/sec, 55 secs
lola: 4624892 markings, 12165416 edges, 76158 markings/sec, 60 secs
lola: 4945821 markings, 12942595 edges, 64186 markings/sec, 65 secs
lola: 5281166 markings, 13773518 edges, 67069 markings/sec, 70 secs
lola: 5627871 markings, 14671277 edges, 69341 markings/sec, 75 secs
lola: 6001590 markings, 15707421 edges, 74744 markings/sec, 80 secs
lola: 6387527 markings, 16625785 edges, 77187 markings/sec, 85 secs
lola: 6750914 markings, 17555783 edges, 72677 markings/sec, 90 secs
lola: 7121297 markings, 18489341 edges, 74077 markings/sec, 95 secs
lola: 7456272 markings, 19509341 edges, 66995 markings/sec, 100 secs
lola: 7777202 markings, 20595847 edges, 64186 markings/sec, 105 secs
lola: 8150570 markings, 21628951 edges, 74674 markings/sec, 110 secs
lola: 8528120 markings, 22568128 edges, 75510 markings/sec, 115 secs
lola: 8887228 markings, 23534203 edges, 71822 markings/sec, 120 secs
lola: 9282341 markings, 24611606 edges, 79023 markings/sec, 125 secs
lola: 9673636 markings, 25530464 edges, 78259 markings/sec, 130 secs
lola: 10002999 markings, 26467308 edges, 65873 markings/sec, 135 secs
lola: 10366387 markings, 27418743 edges, 72678 markings/sec, 140 secs
lola: 10783786 markings, 28470065 edges, 83480 markings/sec, 145 secs
lola: 11146809 markings, 29369076 edges, 72605 markings/sec, 150 secs
lola: 11491173 markings, 30356243 edges, 68873 markings/sec, 155 secs
lola: 11860728 markings, 31282213 edges, 73911 markings/sec, 160 secs
lola: 12190627 markings, 32217085 edges, 65980 markings/sec, 165 secs
lola: 12563559 markings, 33180078 edges, 74586 markings/sec, 170 secs
lola: 12943432 markings, 34163398 edges, 75975 markings/sec, 175 secs
lola: 13293809 markings, 34997320 edges, 70075 markings/sec, 180 secs
lola: 13650779 markings, 35861465 edges, 71394 markings/sec, 185 secs
lola: 14007441 markings, 36806524 edges, 71332 markings/sec, 190 secs
lola: 14362610 markings, 37708607 edges, 71034 markings/sec, 195 secs
lola: 14711845 markings, 38581574 edges, 69847 markings/sec, 200 secs
lola: 15051646 markings, 39525836 edges, 67960 markings/sec, 205 secs
lola: 15365567 markings, 40524945 edges, 62784 markings/sec, 210 secs
lola: 15665662 markings, 41503986 edges, 60019 markings/sec, 215 secs
lola: 15987138 markings, 42513300 edges, 64295 markings/sec, 220 secs
lola: 16382505 markings, 43418563 edges, 79073 markings/sec, 225 secs
lola: 16731410 markings, 44294849 edges, 69781 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 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: 539628 markings, 933782 edges, 107926 markings/sec, 0 secs
lola: 1055359 markings, 2233364 edges, 103146 markings/sec, 5 secs
lola: 1537929 markings, 3717991 edges, 96514 markings/sec, 10 secs
lola: 1917431 markings, 5018374 edges, 75900 markings/sec, 15 secs
lola: 2279057 markings, 6366929 edges, 72325 markings/sec, 20 secs
lola: 2621621 markings, 7761593 edges, 68513 markings/sec, 25 secs
lola: 3010335 markings, 9092638 edges, 77743 markings/sec, 30 secs
lola: 3405484 markings, 10256390 edges, 79030 markings/sec, 35 secs
lola: 3808612 markings, 11496961 edges, 80626 markings/sec, 40 secs
lola: 4209157 markings, 12706085 edges, 80109 markings/sec, 45 secs
lola: 4599392 markings, 13836452 edges, 78047 markings/sec, 50 secs
lola: 5003170 markings, 15020394 edges, 80756 markings/sec, 55 secs
lola: 5399204 markings, 16230787 edges, 79207 markings/sec, 60 secs
lola: 5794316 markings, 17440980 edges, 79022 markings/sec, 65 secs
lola: 6189974 markings, 18734108 edges, 79132 markings/sec, 70 secs
lola: 6596128 markings, 19951688 edges, 81231 markings/sec, 75 secs
lola: 6977347 markings, 21076386 edges, 76244 markings/sec, 80 secs
lola: 7382886 markings, 22238604 edges, 81108 markings/sec, 85 secs
lola: 7759938 markings, 23360718 edges, 75410 markings/sec, 90 secs
lola: 8207771 markings, 24438783 edges, 89567 markings/sec, 95 secs
lola: 8708733 markings, 25531021 edges, 100192 markings/sec, 100 secs
lola: 9188367 markings, 26958188 edges, 95927 markings/sec, 105 secs
lola: 9556064 markings, 28257818 edges, 73539 markings/sec, 110 secs
lola: 9905318 markings, 29586824 edges, 69851 markings/sec, 115 secs
lola: 10256599 markings, 30961515 edges, 70256 markings/sec, 120 secs
lola: 10638752 markings, 32088766 edges, 76431 markings/sec, 125 secs
lola: 11016261 markings, 33385804 edges, 75502 markings/sec, 130 secs
lola: 11390476 markings, 34535971 edges, 74843 markings/sec, 135 secs
lola: 11762718 markings, 35668286 edges, 74448 markings/sec, 140 secs
lola: 12142263 markings, 36940647 edges, 75909 markings/sec, 145 secs
lola: 12508657 markings, 37953981 edges, 73279 markings/sec, 150 secs
lola: 12890527 markings, 39144548 edges, 76374 markings/sec, 155 secs
lola: 13256615 markings, 40209133 edges, 73218 markings/sec, 160 secs
lola: 13805516 markings, 41198892 edges, 109780 markings/sec, 165 secs
lola: 14307616 markings, 42567341 edges, 100420 markings/sec, 170 secs
lola: 14710309 markings, 43992747 edges, 80539 markings/sec, 175 secs
lola: 15072090 markings, 45310924 edges, 72356 markings/sec, 180 secs
lola: 15412288 markings, 46690413 edges, 68040 markings/sec, 185 secs
lola: 15781600 markings, 47930447 edges, 73862 markings/sec, 190 secs
lola: 16157065 markings, 49119394 edges, 75093 markings/sec, 195 secs
lola: 16531122 markings, 50254550 edges, 74811 markings/sec, 200 secs
lola: 16895165 markings, 51369763 edges, 72809 markings/sec, 205 secs
lola: 17274741 markings, 52593909 edges, 75915 markings/sec, 210 secs
lola: 17652140 markings, 53834867 edges, 75480 markings/sec, 215 secs
lola: 18035132 markings, 55031392 edges, 76598 markings/sec, 220 secs
lola: 18389332 markings, 56109789 edges, 70840 markings/sec, 225 secs
lola: 18747177 markings, 57166849 edges, 71569 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c17)
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: 468557 markings, 1382936 edges, 93711 markings/sec, 0 secs
lola: 977940 markings, 2870650 edges, 101877 markings/sec, 5 secs
lola: 1442391 markings, 4255086 edges, 92890 markings/sec, 10 secs
lola: 1929025 markings, 5718860 edges, 97327 markings/sec, 15 secs
lola: 2396783 markings, 7186412 edges, 93552 markings/sec, 20 secs
lola: 2865081 markings, 8683602 edges, 93660 markings/sec, 25 secs
lola: 3281291 markings, 10264562 edges, 83242 markings/sec, 30 secs
lola: 3718535 markings, 11831259 edges, 87449 markings/sec, 35 secs
lola: 4087047 markings, 13822353 edges, 73702 markings/sec, 40 secs
lola: 4377903 markings, 15999909 edges, 58171 markings/sec, 45 secs
lola: 4695204 markings, 17997292 edges, 63460 markings/sec, 50 secs
lola: 4990651 markings, 20127239 edges, 59089 markings/sec, 55 secs
lola: 5341933 markings, 22004871 edges, 70256 markings/sec, 60 secs
lola: 5712256 markings, 23575252 edges, 74065 markings/sec, 65 secs
lola: 5995752 markings, 25708046 edges, 56699 markings/sec, 70 secs
lola: 6323121 markings, 27474659 edges, 65474 markings/sec, 75 secs
lola: 6655675 markings, 29401408 edges, 66511 markings/sec, 80 secs
lola: 6980998 markings, 31193008 edges, 65065 markings/sec, 85 secs
lola: 7370263 markings, 32970171 edges, 77853 markings/sec, 90 secs
lola: 7740098 markings, 34715675 edges, 73967 markings/sec, 95 secs
lola: 8056388 markings, 36693504 edges, 63258 markings/sec, 100 secs
lola: 8382369 markings, 38521211 edges, 65196 markings/sec, 105 secs
lola: 8777126 markings, 40319730 edges, 78951 markings/sec, 110 secs
lola: 9214921 markings, 41845527 edges, 87559 markings/sec, 115 secs
lola: 9540603 markings, 43850817 edges, 65136 markings/sec, 120 secs
lola: 9900702 markings, 45585308 edges, 72020 markings/sec, 125 secs
lola: 10265322 markings, 47331762 edges, 72924 markings/sec, 130 secs
lola: 10644741 markings, 49131304 edges, 75884 markings/sec, 135 secs
lola: 11060151 markings, 50655203 edges, 83082 markings/sec, 140 secs
lola: 11405379 markings, 52652333 edges, 69046 markings/sec, 145 secs
lola: 11748794 markings, 54515249 edges, 68683 markings/sec, 150 secs
lola: 12103873 markings, 56396528 edges, 71016 markings/sec, 155 secs
lola: 12480313 markings, 58114056 edges, 75288 markings/sec, 160 secs
lola: 12946978 markings, 59633081 edges, 93333 markings/sec, 165 secs
lola: 13418767 markings, 61040227 edges, 94358 markings/sec, 170 secs
lola: 13894998 markings, 62416117 edges, 95246 markings/sec, 175 secs
lola: 14329499 markings, 63785146 edges, 86900 markings/sec, 180 secs
lola: 14831028 markings, 65230903 edges, 100306 markings/sec, 185 secs
lola: 15252355 markings, 66754350 edges, 84265 markings/sec, 190 secs
lola: 15653795 markings, 68369035 edges, 80288 markings/sec, 195 secs
lola: 16027745 markings, 70221466 edges, 74790 markings/sec, 200 secs
lola: 16300546 markings, 72394622 edges, 54560 markings/sec, 205 secs
lola: 16610129 markings, 74360849 edges, 61917 markings/sec, 210 secs
lola: 16913529 markings, 76403981 edges, 60680 markings/sec, 215 secs
lola: 17269910 markings, 78030591 edges, 71276 markings/sec, 220 secs
lola: 17560675 markings, 80035458 edges, 58153 markings/sec, 225 secs
lola: 17867690 markings, 81919181 edges, 61403 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 235 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: 554066 markings, 964136 edges, 110813 markings/sec, 0 secs
lola: 1074677 markings, 2278404 edges, 104122 markings/sec, 5 secs
lola: 1556571 markings, 3776161 edges, 96379 markings/sec, 10 secs
lola: 1936524 markings, 5088866 edges, 75991 markings/sec, 15 secs
lola: 2298167 markings, 6455237 edges, 72329 markings/sec, 20 secs
lola: 2642806 markings, 7859545 edges, 68928 markings/sec, 25 secs
lola: 3038805 markings, 9167708 edges, 79200 markings/sec, 30 secs
lola: 3434937 markings, 10381828 edges, 79226 markings/sec, 35 secs
lola: 3834357 markings, 11562987 edges, 79884 markings/sec, 40 secs
lola: 4232201 markings, 12751331 edges, 79569 markings/sec, 45 secs
lola: 4620172 markings, 13918490 edges, 77594 markings/sec, 50 secs
lola: 5026288 markings, 15076480 edges, 81223 markings/sec, 55 secs
lola: 5419880 markings, 16301496 edges, 78718 markings/sec, 60 secs
lola: 5820073 markings, 17552935 edges, 80039 markings/sec, 65 secs
lola: 6213300 markings, 18815034 edges, 78645 markings/sec, 70 secs
lola: 6623992 markings, 20017556 edges, 82138 markings/sec, 75 secs
lola: 7004357 markings, 21137778 edges, 76073 markings/sec, 80 secs
lola: 7410850 markings, 22345885 edges, 81299 markings/sec, 85 secs
lola: 7793150 markings, 23450142 edges, 76460 markings/sec, 90 secs
lola: 8256894 markings, 24515469 edges, 92749 markings/sec, 95 secs
lola: 8777212 markings, 25728026 edges, 104064 markings/sec, 100 secs
lola: 9246322 markings, 27140543 edges, 93822 markings/sec, 105 secs
lola: 9613440 markings, 28438784 edges, 73424 markings/sec, 110 secs
lola: 9954471 markings, 29811982 edges, 68206 markings/sec, 115 secs
lola: 10318190 markings, 31131738 edges, 72744 markings/sec, 120 secs
lola: 10699662 markings, 32351527 edges, 76294 markings/sec, 125 secs
lola: 11079223 markings, 33586992 edges, 75912 markings/sec, 130 secs
lola: 11454434 markings, 34734973 edges, 75042 markings/sec, 135 secs
lola: 11839285 markings, 35877724 edges, 76970 markings/sec, 140 secs
lola: 12214914 markings, 37151711 edges, 75126 markings/sec, 145 secs
lola: 12582782 markings, 38215036 edges, 73574 markings/sec, 150 secs
lola: 12956110 markings, 39330790 edges, 74666 markings/sec, 155 secs
lola: 13376031 markings, 40398196 edges, 83984 markings/sec, 160 secs
lola: 13915453 markings, 41511983 edges, 107884 markings/sec, 165 secs
lola: 14411563 markings, 42965117 edges, 99222 markings/sec, 170 secs
lola: 14796866 markings, 44280424 edges, 77061 markings/sec, 175 secs
lola: 15152398 markings, 45648458 edges, 71106 markings/sec, 180 secs
lola: 15493996 markings, 47077858 edges, 68320 markings/sec, 185 secs
lola: 15869551 markings, 48226839 edges, 75111 markings/sec, 190 secs
lola: 16249774 markings, 49390086 edges, 76045 markings/sec, 195 secs
lola: 16623501 markings, 50560880 edges, 74745 markings/sec, 200 secs
lola: 16997353 markings, 51710444 edges, 74770 markings/sec, 205 secs
lola: 17379875 markings, 52945207 edges, 76504 markings/sec, 210 secs
lola: 17744989 markings, 54109081 edges, 73023 markings/sec, 215 secs
lola: 18129136 markings, 55275892 edges, 76829 markings/sec, 220 secs
lola: 18488242 markings, 56395563 edges, 71821 markings/sec, 225 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c9)
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: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c13)
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: 910770 markings, 3842780 edges, 182154 markings/sec, 0 secs
lola: 1795512 markings, 7648362 edges, 176948 markings/sec, 5 secs
lola: 2619521 markings, 11333376 edges, 164802 markings/sec, 10 secs
lola: 3362387 markings, 14593797 edges, 148573 markings/sec, 15 secs
lola: 4102567 markings, 17854675 edges, 148036 markings/sec, 20 secs
lola: 4800079 markings, 20961903 edges, 139502 markings/sec, 25 secs
lola: 5470321 markings, 23878836 edges, 134048 markings/sec, 30 secs
lola: 6126176 markings, 26827690 edges, 131171 markings/sec, 35 secs
lola: 6783196 markings, 29761262 edges, 131404 markings/sec, 40 secs
lola: 7465064 markings, 32802369 edges, 136374 markings/sec, 45 secs
lola: 8193071 markings, 36324775 edges, 145601 markings/sec, 50 secs
lola: 8919277 markings, 39764924 edges, 145241 markings/sec, 55 secs
lola: 9616681 markings, 43237199 edges, 139481 markings/sec, 60 secs
lola: 10306115 markings, 46672965 edges, 137887 markings/sec, 65 secs
lola: 10982512 markings, 50060252 edges, 135279 markings/sec, 70 secs
lola: 11574892 markings, 53180949 edges, 118476 markings/sec, 75 secs
lola: 12275437 markings, 56441216 edges, 140109 markings/sec, 80 secs
lola: 12958388 markings, 59911940 edges, 136590 markings/sec, 85 secs
lola: 13586848 markings, 63086129 edges, 125692 markings/sec, 90 secs
lola: 14198688 markings, 66177363 edges, 122368 markings/sec, 95 secs
lola: 14830680 markings, 69193635 edges, 126398 markings/sec, 100 secs
lola: 15452135 markings, 72460016 edges, 124291 markings/sec, 105 secs
lola: 16067171 markings, 75630205 edges, 123007 markings/sec, 110 secs
lola: 16633485 markings, 78603190 edges, 113263 markings/sec, 115 secs
lola: 17165955 markings, 81175398 edges, 106494 markings/sec, 120 secs
lola: 17706300 markings, 83868818 edges, 108069 markings/sec, 125 secs
lola: 18342775 markings, 87453140 edges, 127295 markings/sec, 130 secs
lola: 18884454 markings, 90700691 edges, 108336 markings/sec, 135 secs
lola: 19390929 markings, 93701606 edges, 101295 markings/sec, 140 secs
lola: 19914976 markings, 96917384 edges, 104809 markings/sec, 145 secs
lola: 20373609 markings, 99632900 edges, 91727 markings/sec, 150 secs
lola: 20846610 markings, 102584101 edges, 94600 markings/sec, 155 secs
lola: 21419755 markings, 105563216 edges, 114629 markings/sec, 160 secs
lola: 22031837 markings, 108780245 edges, 122416 markings/sec, 165 secs
lola: 22687034 markings, 112070536 edges, 131039 markings/sec, 170 secs
lola: 23282979 markings, 115254975 edges, 119189 markings/sec, 175 secs
lola: 23811482 markings, 118623106 edges, 105701 markings/sec, 180 secs
lola: 24355363 markings, 121882883 edges, 108776 markings/sec, 185 secs
lola: 24918345 markings, 125158219 edges, 112596 markings/sec, 190 secs
lola: 25458742 markings, 128359705 edges, 108079 markings/sec, 195 secs
lola: 26058764 markings, 131723962 edges, 120004 markings/sec, 200 secs
lola: 26608275 markings, 134971050 edges, 109902 markings/sec, 205 secs
lola: 27146517 markings, 138192245 edges, 107648 markings/sec, 210 secs
lola: 27634413 markings, 141624351 edges, 97579 markings/sec, 215 secs
lola: 28076936 markings, 144928447 edges, 88505 markings/sec, 220 secs
lola: 28460830 markings, 147838182 edges, 76779 markings/sec, 225 secs
lola: 28929205 markings, 150960778 edges, 93675 markings/sec, 230 secs
lola: 29378270 markings, 154103125 edges, 89813 markings/sec, 235 secs
lola: 29767550 markings, 157012038 edges, 77856 markings/sec, 240 secs
lola: 30147992 markings, 160097760 edges, 76088 markings/sec, 245 secs
lola: 30602165 markings, 163601155 edges, 90835 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(in3_4 + in3_5)
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 8 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(in2_2 + in2_3)
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 9 will run for 333 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: 816707 markings, 4276727 edges, 163341 markings/sec, 0 secs
lola: 1504001 markings, 8579030 edges, 137459 markings/sec, 5 secs
lola: 2195409 markings, 12602902 edges, 138282 markings/sec, 10 secs
lola: 2859979 markings, 16554739 edges, 132914 markings/sec, 15 secs
lola: 3445319 markings, 20149466 edges, 117068 markings/sec, 20 secs
lola: 4049802 markings, 23729479 edges, 120897 markings/sec, 25 secs
lola: 4664412 markings, 27336614 edges, 122922 markings/sec, 30 secs
lola: 5366615 markings, 31281939 edges, 140441 markings/sec, 35 secs
lola: 6006314 markings, 35220142 edges, 127940 markings/sec, 40 secs
lola: 6606870 markings, 38978782 edges, 120111 markings/sec, 45 secs
lola: 7220831 markings, 42520868 edges, 122792 markings/sec, 50 secs
lola: 7769606 markings, 46040962 edges, 109755 markings/sec, 55 secs
lola: 8336678 markings, 49532967 edges, 113414 markings/sec, 60 secs
lola: 8967437 markings, 53230272 edges, 126152 markings/sec, 65 secs
lola: 9510319 markings, 56773832 edges, 108576 markings/sec, 70 secs
lola: 9990984 markings, 59732297 edges, 96133 markings/sec, 75 secs
lola: 10511129 markings, 62915227 edges, 104029 markings/sec, 80 secs
lola: 10979039 markings, 66144715 edges, 93582 markings/sec, 85 secs
lola: 11684437 markings, 69984230 edges, 141080 markings/sec, 90 secs
lola: 12318079 markings, 73716275 edges, 126728 markings/sec, 95 secs
lola: 13027644 markings, 77611235 edges, 141913 markings/sec, 100 secs
lola: 13665263 markings, 81354658 edges, 127524 markings/sec, 105 secs
lola: 14313602 markings, 85170326 edges, 129668 markings/sec, 110 secs
lola: 14981557 markings, 89005948 edges, 133591 markings/sec, 115 secs
lola: 15649072 markings, 92667232 edges, 133503 markings/sec, 120 secs
lola: 16247339 markings, 96150077 edges, 119653 markings/sec, 125 secs
lola: 16764528 markings, 99375666 edges, 103438 markings/sec, 130 secs
lola: 17464742 markings, 103138455 edges, 140043 markings/sec, 135 secs
lola: 18074961 markings, 106370523 edges, 122044 markings/sec, 140 secs
lola: 18703034 markings, 110025303 edges, 125615 markings/sec, 145 secs
lola: 19207035 markings, 113314158 edges, 100800 markings/sec, 150 secs
lola: 19796621 markings, 116498376 edges, 117917 markings/sec, 155 secs
lola: 20253845 markings, 119461174 edges, 91445 markings/sec, 160 secs
lola: 20785192 markings, 122474470 edges, 106269 markings/sec, 165 secs
lola: 21324129 markings, 125756102 edges, 107787 markings/sec, 170 secs
lola: 21839690 markings, 128885853 edges, 103112 markings/sec, 175 secs
lola: 22321688 markings, 131896775 edges, 96400 markings/sec, 180 secs
lola: 22810663 markings, 135010959 edges, 97795 markings/sec, 185 secs
lola: 23322904 markings, 138223019 edges, 102448 markings/sec, 190 secs
lola: 23996263 markings, 141853826 edges, 134672 markings/sec, 195 secs
lola: 24557571 markings, 145103476 edges, 112262 markings/sec, 200 secs
lola: 25072613 markings, 148313502 edges, 103008 markings/sec, 205 secs
lola: 25746480 markings, 152094699 edges, 134773 markings/sec, 210 secs
lola: 26302986 markings, 155311575 edges, 111301 markings/sec, 215 secs
lola: 26863516 markings, 158519866 edges, 112106 markings/sec, 220 secs
lola: 27442586 markings, 161818434 edges, 115814 markings/sec, 225 secs
lola: 28026221 markings, 165290505 edges, 116727 markings/sec, 230 secs
lola: 28584688 markings, 168674049 edges, 111693 markings/sec, 235 secs
lola: 29177494 markings, 172059716 edges, 118561 markings/sec, 240 secs
lola: 29769766 markings, 175565428 edges, 118454 markings/sec, 245 secs
lola: 30316318 markings, 178836082 edges, 109310 markings/sec, 250 secs
lola: 30794581 markings, 181654449 edges, 95653 markings/sec, 255 secs
lola: 31381481 markings, 185016264 edges, 117380 markings/sec, 260 secs
lola: 31980443 markings, 188409790 edges, 119792 markings/sec, 265 secs
lola: 32527204 markings, 191556844 edges, 109352 markings/sec, 270 secs
lola: 33143869 markings, 195015534 edges, 123333 markings/sec, 275 secs
lola: 33637641 markings, 198070838 edges, 98754 markings/sec, 280 secs
lola: 34169110 markings, 201184401 edges, 106294 markings/sec, 285 secs
lola: 34668389 markings, 204145389 edges, 99856 markings/sec, 290 secs
lola: 35191184 markings, 207220292 edges, 104559 markings/sec, 295 secs
lola: 35744098 markings, 210426289 edges, 110583 markings/sec, 300 secs
lola: 36363014 markings, 214053425 edges, 123783 markings/sec, 305 secs
lola: 36978203 markings, 217940190 edges, 123038 markings/sec, 310 secs
lola: 37516436 markings, 221665289 edges, 107647 markings/sec, 315 secs
lola: 38049647 markings, 225194660 edges, 106642 markings/sec, 320 secs
lola: 38554604 markings, 228580229 edges, 100991 markings/sec, 325 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 333 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: 537489 markings, 2177463 edges, 107498 markings/sec, 0 secs
lola: 991197 markings, 4567819 edges, 90742 markings/sec, 5 secs
lola: 1470871 markings, 6784818 edges, 95935 markings/sec, 10 secs
lola: 1924357 markings, 8777053 edges, 90697 markings/sec, 15 secs
lola: 2413767 markings, 10861069 edges, 97882 markings/sec, 20 secs
lola: 2848407 markings, 12657329 edges, 86928 markings/sec, 25 secs
lola: 3284560 markings, 14957089 edges, 87231 markings/sec, 30 secs
lola: 3772550 markings, 17277475 edges, 97598 markings/sec, 35 secs
lola: 4217146 markings, 19309862 edges, 88919 markings/sec, 40 secs
lola: 4706622 markings, 21555266 edges, 97895 markings/sec, 45 secs
lola: 5156099 markings, 23569660 edges, 89895 markings/sec, 50 secs
lola: 5635435 markings, 25602242 edges, 95867 markings/sec, 55 secs
lola: 6127143 markings, 27687255 edges, 98342 markings/sec, 60 secs
lola: 6648010 markings, 30045102 edges, 104173 markings/sec, 65 secs
lola: 7089978 markings, 32466079 edges, 88394 markings/sec, 70 secs
lola: 7559330 markings, 34814858 edges, 93870 markings/sec, 75 secs
lola: 8032762 markings, 37105804 edges, 94686 markings/sec, 80 secs
lola: 8484889 markings, 39358031 edges, 90425 markings/sec, 85 secs
lola: 8950409 markings, 41515595 edges, 93104 markings/sec, 90 secs
lola: 9448231 markings, 43728894 edges, 99564 markings/sec, 95 secs
lola: 9925903 markings, 45981849 edges, 95534 markings/sec, 100 secs
lola: 10429778 markings, 48311849 edges, 100775 markings/sec, 105 secs
lola: 10913897 markings, 50544095 edges, 96824 markings/sec, 110 secs
lola: 11431713 markings, 52909930 edges, 103563 markings/sec, 115 secs
lola: 11925143 markings, 55178364 edges, 98686 markings/sec, 120 secs
lola: 12453409 markings, 57515819 edges, 105653 markings/sec, 125 secs
lola: 12922520 markings, 59791549 edges, 93822 markings/sec, 130 secs
lola: 13446445 markings, 62113604 edges, 104785 markings/sec, 135 secs
lola: 14001560 markings, 64535876 edges, 111023 markings/sec, 140 secs
lola: 14485151 markings, 66989955 edges, 96718 markings/sec, 145 secs
lola: 14993282 markings, 69264483 edges, 101626 markings/sec, 150 secs
lola: 15502683 markings, 71574081 edges, 101880 markings/sec, 155 secs
lola: 16078924 markings, 73907484 edges, 115248 markings/sec, 160 secs
lola: 16556757 markings, 76322523 edges, 95567 markings/sec, 165 secs
lola: 17033493 markings, 78671510 edges, 95347 markings/sec, 170 secs
lola: 17522247 markings, 80889724 edges, 97751 markings/sec, 175 secs
lola: 18014357 markings, 83087886 edges, 98422 markings/sec, 180 secs
lola: 18512165 markings, 85371607 edges, 99562 markings/sec, 185 secs
lola: 19016875 markings, 87592580 edges, 100942 markings/sec, 190 secs
lola: 19433179 markings, 89743460 edges, 83261 markings/sec, 195 secs
lola: 19846484 markings, 91788156 edges, 82661 markings/sec, 200 secs
lola: 20281887 markings, 93930646 edges, 87081 markings/sec, 205 secs
lola: 20729642 markings, 96086481 edges, 89551 markings/sec, 210 secs
lola: 21185035 markings, 98303271 edges, 91079 markings/sec, 215 secs
lola: 21753412 markings, 100679983 edges, 113675 markings/sec, 220 secs
lola: 22225051 markings, 103161277 edges, 94328 markings/sec, 225 secs
lola: 22732928 markings, 105503493 edges, 101575 markings/sec, 230 secs
lola: 23249507 markings, 107730782 edges, 103316 markings/sec, 235 secs
lola: 23784056 markings, 110114206 edges, 106910 markings/sec, 240 secs
lola: 24246705 markings, 112378143 edges, 92530 markings/sec, 245 secs
lola: 24769818 markings, 114713056 edges, 104623 markings/sec, 250 secs
lola: 25249839 markings, 117085146 edges, 96004 markings/sec, 255 secs
lola: 25745834 markings, 119333873 edges, 99199 markings/sec, 260 secs
lola: 26238767 markings, 121604236 edges, 98587 markings/sec, 265 secs
lola: 26724220 markings, 123927639 edges, 97091 markings/sec, 270 secs
lola: 27217764 markings, 126175973 edges, 98709 markings/sec, 275 secs
lola: 27665346 markings, 128371854 edges, 89516 markings/sec, 280 secs
lola: 28161884 markings, 130729444 edges, 99308 markings/sec, 285 secs
lola: 28652186 markings, 133050742 edges, 98060 markings/sec, 290 secs
lola: 29119667 markings, 135286148 edges, 93496 markings/sec, 295 secs
lola: 29667169 markings, 137632327 edges, 109500 markings/sec, 300 secs
lola: 30132253 markings, 140091473 edges, 93017 markings/sec, 305 secs
lola: 30625917 markings, 142389318 edges, 98733 markings/sec, 310 secs
lola: 31121170 markings, 144599861 edges, 99051 markings/sec, 315 secs
lola: 31663549 markings, 146928210 edges, 108476 markings/sec, 320 secs
lola: 32133980 markings, 149214381 edges, 94086 markings/sec, 325 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 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c19)
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: 414591 markings, 1012532 edges, 82918 markings/sec, 0 secs
lola: 818157 markings, 2034045 edges, 80713 markings/sec, 5 secs
lola: 1213203 markings, 2970098 edges, 79009 markings/sec, 10 secs
lola: 1617794 markings, 3944196 edges, 80918 markings/sec, 15 secs
lola: 2012958 markings, 4894905 edges, 79033 markings/sec, 20 secs
lola: 2414784 markings, 5904896 edges, 80365 markings/sec, 25 secs
lola: 2800901 markings, 6847612 edges, 77223 markings/sec, 30 secs
lola: 3171628 markings, 7861600 edges, 74145 markings/sec, 35 secs
lola: 3528249 markings, 8912910 edges, 71324 markings/sec, 40 secs
lola: 3862770 markings, 10008604 edges, 66904 markings/sec, 45 secs
lola: 4198144 markings, 11090575 edges, 67075 markings/sec, 50 secs
lola: 4628516 markings, 12174130 edges, 86074 markings/sec, 55 secs
lola: 5018864 markings, 13120948 edges, 78070 markings/sec, 60 secs
lola: 5397398 markings, 14061609 edges, 75707 markings/sec, 65 secs
lola: 5751240 markings, 15060658 edges, 70768 markings/sec, 70 secs
lola: 6156760 markings, 16080893 edges, 81104 markings/sec, 75 secs
lola: 6546756 markings, 17050948 edges, 77999 markings/sec, 80 secs
lola: 6920131 markings, 17974333 edges, 74675 markings/sec, 85 secs
lola: 7293989 markings, 18995366 edges, 74772 markings/sec, 90 secs
lola: 7619375 markings, 20104465 edges, 65077 markings/sec, 95 secs
lola: 7975470 markings, 21182073 edges, 71219 markings/sec, 100 secs
lola: 8380286 markings, 22189826 edges, 80963 markings/sec, 105 secs
lola: 8766566 markings, 23176759 edges, 77256 markings/sec, 110 secs
lola: 9124842 markings, 24273320 edges, 71655 markings/sec, 115 secs
lola: 9574887 markings, 25283469 edges, 90009 markings/sec, 120 secs
lola: 9931780 markings, 26249077 edges, 71379 markings/sec, 125 secs
lola: 10301035 markings, 27231832 edges, 73851 markings/sec, 130 secs
lola: 10741076 markings, 28368156 edges, 88008 markings/sec, 135 secs
lola: 11119457 markings, 29303710 edges, 75676 markings/sec, 140 secs
lola: 11465635 markings, 30303676 edges, 69236 markings/sec, 145 secs
lola: 11849033 markings, 31251300 edges, 76680 markings/sec, 150 secs
lola: 12201149 markings, 32241957 edges, 70423 markings/sec, 155 secs
lola: 12583264 markings, 33228647 edges, 76423 markings/sec, 160 secs
lola: 12983912 markings, 34257870 edges, 80130 markings/sec, 165 secs
lola: 13367636 markings, 35168561 edges, 76745 markings/sec, 170 secs
lola: 13741165 markings, 36133187 edges, 74706 markings/sec, 175 secs
lola: 14108303 markings, 37055870 edges, 73428 markings/sec, 180 secs
lola: 14473550 markings, 37996802 edges, 73049 markings/sec, 185 secs
lola: 14839263 markings, 38933950 edges, 73143 markings/sec, 190 secs
lola: 15181823 markings, 39932486 edges, 68512 markings/sec, 195 secs
lola: 15500563 markings, 40947339 edges, 63748 markings/sec, 200 secs
lola: 15805809 markings, 41998368 edges, 61049 markings/sec, 205 secs
lola: 16219752 markings, 43011131 edges, 82789 markings/sec, 210 secs
lola: 16585358 markings, 43921385 edges, 73121 markings/sec, 215 secs
lola: 16928272 markings, 44849944 edges, 68583 markings/sec, 220 secs
lola: 17300196 markings, 45878097 edges, 74385 markings/sec, 225 secs
lola: 17671528 markings, 46772372 edges, 74266 markings/sec, 230 secs
lola: 18032890 markings, 47731116 edges, 72272 markings/sec, 235 secs
lola: 18392284 markings, 48682811 edges, 71879 markings/sec, 240 secs
lola: 18715889 markings, 49720471 edges, 64721 markings/sec, 245 secs
lola: 19039336 markings, 50792656 edges, 64689 markings/sec, 250 secs
lola: 19406941 markings, 51728342 edges, 73521 markings/sec, 255 secs
lola: 19761049 markings, 52697852 edges, 70822 markings/sec, 260 secs
lola: 20113146 markings, 53740874 edges, 70419 markings/sec, 265 secs
lola: 20531284 markings, 54711452 edges, 83628 markings/sec, 270 secs
lola: 20860086 markings, 55636514 edges, 65760 markings/sec, 275 secs
lola: 21215967 markings, 56598853 edges, 71176 markings/sec, 280 secs
lola: 21633329 markings, 57659765 edges, 83472 markings/sec, 285 secs
lola: 21980114 markings, 58593330 edges, 69357 markings/sec, 290 secs
lola: 22326969 markings, 59534304 edges, 69371 markings/sec, 295 secs
lola: 22668799 markings, 60464319 edges, 68366 markings/sec, 300 secs
lola: 23029000 markings, 61432588 edges, 72040 markings/sec, 305 secs
lola: 23424812 markings, 62502856 edges, 79162 markings/sec, 310 secs
lola: 23797362 markings, 63596140 edges, 74510 markings/sec, 315 secs
lola: 24145879 markings, 64566428 edges, 69703 markings/sec, 320 secs
lola: 24512905 markings, 66003732 edges, 73405 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(c5)
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: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: ========================================
lola: subprocess 13 will run for 445 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(aux13_0 + aux13_1 + aux13_2 + aux13_3 + aux13_4 + aux13_5 + aux13_6 + aux13_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: 773756 markings, 2510138 edges, 154751 markings/sec, 0 secs
lola: 1539409 markings, 5175265 edges, 153131 markings/sec, 5 secs
lola: 2226487 markings, 7775068 edges, 137416 markings/sec, 10 secs
lola: 2941199 markings, 10346667 edges, 142942 markings/sec, 15 secs
lola: 3631843 markings, 13015763 edges, 138129 markings/sec, 20 secs
lola: 4333412 markings, 15620558 edges, 140314 markings/sec, 25 secs
lola: 4928457 markings, 18350616 edges, 119009 markings/sec, 30 secs
lola: 5544401 markings, 20980456 edges, 123189 markings/sec, 35 secs
lola: 6160995 markings, 23713941 edges, 123319 markings/sec, 40 secs
lola: 6696794 markings, 26509331 edges, 107160 markings/sec, 45 secs
lola: 7192514 markings, 29271847 edges, 99144 markings/sec, 50 secs
lola: 7688473 markings, 31887132 edges, 99192 markings/sec, 55 secs
lola: 8129657 markings, 34524572 edges, 88237 markings/sec, 60 secs
lola: 8545733 markings, 37137215 edges, 83215 markings/sec, 65 secs
lola: 8875328 markings, 39879977 edges, 65919 markings/sec, 70 secs
lola: 9322480 markings, 42472271 edges, 89430 markings/sec, 75 secs
lola: 9705644 markings, 45213097 edges, 76633 markings/sec, 80 secs
lola: 10131048 markings, 47913099 edges, 85081 markings/sec, 85 secs
lola: 10440091 markings, 50746331 edges, 61809 markings/sec, 90 secs
lola: 10788530 markings, 53682456 edges, 69688 markings/sec, 95 secs
lola: 11107018 markings, 56575412 edges, 63698 markings/sec, 100 secs
lola: 11403235 markings, 59590110 edges, 59243 markings/sec, 105 secs
lola: 11771125 markings, 62586093 edges, 73578 markings/sec, 110 secs
lola: 12544634 markings, 64915583 edges, 154702 markings/sec, 115 secs
lola: 13158724 markings, 67429248 edges, 122818 markings/sec, 120 secs
lola: 13622256 markings, 70030051 edges, 92706 markings/sec, 125 secs
lola: 14040516 markings, 72809830 edges, 83652 markings/sec, 130 secs
lola: 14420532 markings, 75738885 edges, 76003 markings/sec, 135 secs
lola: 15097685 markings, 78224009 edges, 135431 markings/sec, 140 secs
lola: 15691869 markings, 80732069 edges, 118837 markings/sec, 145 secs
lola: 16152478 markings, 83391872 edges, 92122 markings/sec, 150 secs
lola: 16539729 markings, 86261568 edges, 77450 markings/sec, 155 secs
lola: 17138026 markings, 88827490 edges, 119659 markings/sec, 160 secs
lola: 17648762 markings, 91425859 edges, 102147 markings/sec, 165 secs
lola: 18081487 markings, 94172979 edges, 86545 markings/sec, 170 secs
lola: 18722249 markings, 96689375 edges, 128152 markings/sec, 175 secs
lola: 19395359 markings, 99071338 edges, 134622 markings/sec, 180 secs
lola: 19970468 markings, 101579087 edges, 115022 markings/sec, 185 secs
lola: 20431285 markings, 104050330 edges, 92163 markings/sec, 190 secs
lola: 20824849 markings, 106364782 edges, 78713 markings/sec, 195 secs
lola: 21161029 markings, 108854603 edges, 67236 markings/sec, 200 secs
lola: 21472067 markings, 111528808 edges, 62208 markings/sec, 205 secs
lola: 22048468 markings, 113820438 edges, 115280 markings/sec, 210 secs
lola: 22453030 markings, 116341556 edges, 80912 markings/sec, 215 secs
lola: 23149720 markings, 118799311 edges, 139338 markings/sec, 220 secs
lola: 23843311 markings, 121284408 edges, 138718 markings/sec, 225 secs
lola: 24425056 markings, 123907806 edges, 116349 markings/sec, 230 secs
lola: 24900113 markings, 126529340 edges, 95011 markings/sec, 235 secs
lola: 25320794 markings, 129083581 edges, 84136 markings/sec, 240 secs
lola: 25669599 markings, 131817656 edges, 69761 markings/sec, 245 secs
lola: 26117496 markings, 134500389 edges, 89579 markings/sec, 250 secs
lola: 26630083 markings, 136923543 edges, 102517 markings/sec, 255 secs
lola: 27157283 markings, 139438654 edges, 105440 markings/sec, 260 secs
lola: 27691262 markings, 141795292 edges, 106796 markings/sec, 265 secs
lola: 28068533 markings, 144179818 edges, 75454 markings/sec, 270 secs
lola: 28765849 markings, 146627485 edges, 139463 markings/sec, 275 secs
lola: 29545079 markings, 149126210 edges, 155846 markings/sec, 280 secs
lola: 30203601 markings, 151743609 edges, 131704 markings/sec, 285 secs
lola: 30887683 markings, 154165308 edges, 136816 markings/sec, 290 secs
lola: 31566818 markings, 156601502 edges, 135827 markings/sec, 295 secs
lola: 32227901 markings, 159144924 edges, 132217 markings/sec, 300 secs
lola: 32918109 markings, 161672269 edges, 138042 markings/sec, 305 secs
lola: 33464796 markings, 164315378 edges, 109337 markings/sec, 310 secs
lola: 34072026 markings, 166863908 edges, 121446 markings/sec, 315 secs
lola: 34663979 markings, 169312830 edges, 118391 markings/sec, 320 secs
lola: 35214594 markings, 172004885 edges, 110123 markings/sec, 325 secs
lola: 35675562 markings, 174659602 edges, 92194 markings/sec, 330 secs
lola: 36148218 markings, 177248514 edges, 94531 markings/sec, 335 secs
lola: 36592967 markings, 179696945 edges, 88950 markings/sec, 340 secs
lola: 37021104 markings, 182252150 edges, 85627 markings/sec, 345 secs
lola: 37405276 markings, 184749132 edges, 76834 markings/sec, 350 secs
lola: 37706818 markings, 187352462 edges, 60308 markings/sec, 355 secs
lola: 38108154 markings, 189877705 edges, 80267 markings/sec, 360 secs
lola: 38502861 markings, 192499015 edges, 78941 markings/sec, 365 secs
lola: 38909167 markings, 195144367 edges, 81261 markings/sec, 370 secs
lola: 39259482 markings, 197779820 edges, 70063 markings/sec, 375 secs
lola: 39547695 markings, 200514131 edges, 57643 markings/sec, 380 secs
lola: 39885713 markings, 203329688 edges, 67604 markings/sec, 385 secs
lola: 40184172 markings, 206076372 edges, 59692 markings/sec, 390 secs
lola: 40449886 markings, 208966545 edges, 53143 markings/sec, 395 secs
lola: 40749458 markings, 211814715 edges, 59914 markings/sec, 400 secs
lola: 41376316 markings, 214132739 edges, 125372 markings/sec, 405 secs
lola: 42059973 markings, 216424930 edges, 136731 markings/sec, 410 secs
lola: 42584459 markings, 218892252 edges, 104897 markings/sec, 415 secs
lola: 43004495 markings, 221384199 edges, 84007 markings/sec, 420 secs
lola: 43407504 markings, 224025492 edges, 80602 markings/sec, 425 secs
lola: 43768727 markings, 226764312 edges, 72245 markings/sec, 430 secs
lola: 44208577 markings, 229370392 edges, 87970 markings/sec, 435 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 444 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: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: subprocess 15 will run for 886 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(out7_0 + out7_1 + out7_2 + out7_3 + out7_4 + out7_5 + out7_6 + out7_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: ========================================
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 394819 markings, 973191 edges, 78964 markings/sec, 0 secs
lola: 752271 markings, 2041209 edges, 71490 markings/sec, 5 secs
lola: 1150908 markings, 3072008 edges, 79727 markings/sec, 10 secs
lola: 1537111 markings, 4118235 edges, 77241 markings/sec, 15 secs
lola: 1978018 markings, 5149333 edges, 88181 markings/sec, 20 secs
lola: 2406086 markings, 6172264 edges, 85614 markings/sec, 25 secs
lola: 2769638 markings, 7134960 edges, 72710 markings/sec, 30 secs
lola: 3153964 markings, 8186338 edges, 76865 markings/sec, 35 secs
lola: 3550598 markings, 9189082 edges, 79327 markings/sec, 40 secs
lola: 3909984 markings, 10186292 edges, 71877 markings/sec, 45 secs
lola: 4315535 markings, 11235366 edges, 81110 markings/sec, 50 secs
lola: 4725310 markings, 12317205 edges, 81955 markings/sec, 55 secs
lola: 5142045 markings, 13594039 edges, 83347 markings/sec, 60 secs
lola: 5542286 markings, 14882362 edges, 80048 markings/sec, 65 secs
lola: 5933803 markings, 15851977 edges, 78303 markings/sec, 70 secs
lola: 6305619 markings, 16822377 edges, 74363 markings/sec, 75 secs
lola: 6687622 markings, 17798906 edges, 76401 markings/sec, 80 secs
lola: 7080763 markings, 18800521 edges, 78628 markings/sec, 85 secs
lola: 7463155 markings, 19813499 edges, 76478 markings/sec, 90 secs
lola: 7852050 markings, 20799658 edges, 77779 markings/sec, 95 secs
lola: 8246301 markings, 21772041 edges, 78850 markings/sec, 100 secs
lola: 8646374 markings, 22805904 edges, 80015 markings/sec, 105 secs
lola: 9032639 markings, 23747826 edges, 77253 markings/sec, 110 secs
lola: 9428718 markings, 24737348 edges, 79216 markings/sec, 115 secs
lola: 9820704 markings, 25756987 edges, 78397 markings/sec, 120 secs
lola: 10211681 markings, 26647046 edges, 78195 markings/sec, 125 secs
lola: 10598786 markings, 27632360 edges, 77421 markings/sec, 130 secs
lola: 10987324 markings, 28590526 edges, 77708 markings/sec, 135 secs
lola: 11370142 markings, 29567284 edges, 76564 markings/sec, 140 secs
lola: 11760952 markings, 30633252 edges, 78162 markings/sec, 145 secs
lola: 12141984 markings, 31634022 edges, 76206 markings/sec, 150 secs
lola: 12518876 markings, 32530659 edges, 75378 markings/sec, 155 secs
lola: 12897995 markings, 33475732 edges, 75824 markings/sec, 160 secs
lola: 13271463 markings, 34449365 edges, 74694 markings/sec, 165 secs
lola: 13674605 markings, 35440603 edges, 80628 markings/sec, 170 secs
lola: 14061451 markings, 36406955 edges, 77369 markings/sec, 175 secs
lola: 14437287 markings, 37369003 edges, 75167 markings/sec, 180 secs
lola: 14823528 markings, 38389218 edges, 77248 markings/sec, 185 secs
lola: 15203264 markings, 39560382 edges, 75947 markings/sec, 190 secs
lola: 15587468 markings, 40489265 edges, 76841 markings/sec, 195 secs
lola: 15969005 markings, 41410644 edges, 76307 markings/sec, 200 secs
lola: 16333106 markings, 42349074 edges, 72820 markings/sec, 205 secs
lola: 16720909 markings, 43328950 edges, 77561 markings/sec, 210 secs
lola: 17100298 markings, 44301323 edges, 75878 markings/sec, 215 secs
lola: 17473541 markings, 45268797 edges, 74649 markings/sec, 220 secs
lola: 17842480 markings, 46410988 edges, 73788 markings/sec, 225 secs
lola: 18200646 markings, 47350704 edges, 71633 markings/sec, 230 secs
lola: 18532738 markings, 48386501 edges, 66418 markings/sec, 235 secs
lola: 18868677 markings, 49391690 edges, 67188 markings/sec, 240 secs
lola: 19230991 markings, 50388201 edges, 72463 markings/sec, 245 secs
lola: 19551102 markings, 51468250 edges, 64022 markings/sec, 250 secs
lola: 19904754 markings, 52475380 edges, 70730 markings/sec, 255 secs
lola: 20185934 markings, 53648654 edges, 56236 markings/sec, 260 secs
lola: 20547063 markings, 54675648 edges, 72226 markings/sec, 265 secs
lola: 20915235 markings, 55586176 edges, 73634 markings/sec, 270 secs
lola: 21314312 markings, 56411189 edges, 79815 markings/sec, 275 secs
lola: 21678879 markings, 57368987 edges, 72913 markings/sec, 280 secs
lola: 22066814 markings, 58332067 edges, 77587 markings/sec, 285 secs
lola: 22449442 markings, 59323971 edges, 76526 markings/sec, 290 secs
lola: 22834108 markings, 60379811 edges, 76933 markings/sec, 295 secs
lola: 23190924 markings, 61326722 edges, 71363 markings/sec, 300 secs
lola: 23575652 markings, 62259054 edges, 76946 markings/sec, 305 secs
lola: 23943214 markings, 63173178 edges, 73512 markings/sec, 310 secs
lola: 24300243 markings, 64071727 edges, 71406 markings/sec, 315 secs
lola: 24666832 markings, 65046746 edges, 73318 markings/sec, 320 secs
lola: 25032155 markings, 65973849 edges, 73065 markings/sec, 325 secs
lola: 25425285 markings, 66981181 edges, 78626 markings/sec, 330 secs
lola: 25792603 markings, 67938632 edges, 73464 markings/sec, 335 secs
lola: 26166719 markings, 68906587 edges, 74823 markings/sec, 340 secs
lola: 26532521 markings, 69836481 edges, 73160 markings/sec, 345 secs
lola: 26881784 markings, 70779532 edges, 69853 markings/sec, 350 secs
lola: 27238635 markings, 71752551 edges, 71370 markings/sec, 355 secs
lola: 27604285 markings, 72760089 edges, 73130 markings/sec, 360 secs
lola: 28023923 markings, 73863976 edges, 83928 markings/sec, 365 secs
lola: 28424522 markings, 74826753 edges, 80120 markings/sec, 370 secs
lola: 28818302 markings, 75807253 edges, 78756 markings/sec, 375 secs
lola: 29204575 markings, 76825168 edges, 77255 markings/sec, 380 secs
lola: 29567243 markings, 77791260 edges, 72534 markings/sec, 385 secs
lola: 29902609 markings, 78800617 edges, 67073 markings/sec, 390 secs
lola: 30284578 markings, 79804650 edges, 76394 markings/sec, 395 secs
lola: 30685610 markings, 80830329 edges, 80206 markings/sec, 400 secs
lola: 31101757 markings, 81927105 edges, 83229 markings/sec, 405 secs
lola: 31490611 markings, 82869529 edges, 77771 markings/sec, 410 secs
lola: 31870707 markings, 83846131 edges, 76019 markings/sec, 415 secs
lola: 32247767 markings, 84838555 edges, 75412 markings/sec, 420 secs
lola: 32590179 markings, 85836187 edges, 68482 markings/sec, 425 secs
lola: 32931110 markings, 86826287 edges, 68186 markings/sec, 430 secs
lola: 33305922 markings, 87710609 edges, 74962 markings/sec, 435 secs
lola: 33669805 markings, 88602128 edges, 72777 markings/sec, 440 secs
lola: 34033743 markings, 89554339 edges, 72788 markings/sec, 445 secs
lola: 34431937 markings, 90577487 edges, 79639 markings/sec, 450 secs
lola: 34829100 markings, 91598177 edges, 79433 markings/sec, 455 secs
lola: 35213291 markings, 92573164 edges, 76838 markings/sec, 460 secs
lola: 35602969 markings, 93589440 edges, 77936 markings/sec, 465 secs
lola: 35941239 markings, 94599406 edges, 67654 markings/sec, 470 secs
lola: 36290632 markings, 95547865 edges, 69879 markings/sec, 475 secs
lola: 36677169 markings, 96518726 edges, 77307 markings/sec, 480 secs
lola: 37042704 markings, 97443333 edges, 73107 markings/sec, 485 secs
lola: 37403567 markings, 98345448 edges, 72173 markings/sec, 490 secs
lola: 37780329 markings, 99294480 edges, 75352 markings/sec, 495 secs
lola: 38140737 markings, 100236937 edges, 72082 markings/sec, 500 secs
lola: 38508834 markings, 101226715 edges, 73619 markings/sec, 505 secs
lola: 38846324 markings, 102312084 edges, 67498 markings/sec, 510 secs
lola: 39192702 markings, 103340570 edges, 69276 markings/sec, 515 secs
lola: 39526103 markings, 104341938 edges, 66680 markings/sec, 520 secs
lola: 39855268 markings, 105363998 edges, 65833 markings/sec, 525 secs
lola: 40186996 markings, 106404605 edges, 66346 markings/sec, 530 secs
lola: 40515358 markings, 107485891 edges, 65672 markings/sec, 535 secs
lola: 40834039 markings, 108743327 edges, 63736 markings/sec, 540 secs
lola: 41161434 markings, 110263627 edges, 65479 markings/sec, 545 secs
lola: 41454954 markings, 111819379 edges, 58704 markings/sec, 550 secs
lola: 41745891 markings, 113200291 edges, 58187 markings/sec, 555 secs
lola: 42042471 markings, 114450226 edges, 59316 markings/sec, 560 secs
lola: 42329588 markings, 115812001 edges, 57423 markings/sec, 565 secs
lola: 42599360 markings, 117417796 edges, 53954 markings/sec, 570 secs
lola: 42896213 markings, 118568692 edges, 59371 markings/sec, 575 secs
lola: 43166094 markings, 119952676 edges, 53976 markings/sec, 580 secs
lola: 43445992 markings, 121098843 edges, 55980 markings/sec, 585 secs
lola: 43734207 markings, 122313700 edges, 57643 markings/sec, 590 secs
lola: 44016088 markings, 123477462 edges, 56376 markings/sec, 595 secs
lola: 44290111 markings, 124719658 edges, 54805 markings/sec, 600 secs
lola: 44570405 markings, 125855684 edges, 56059 markings/sec, 605 secs
lola: 44861014 markings, 126895559 edges, 58122 markings/sec, 610 secs
lola: 45161987 markings, 128205273 edges, 60195 markings/sec, 615 secs
lola: 45440620 markings, 129798336 edges, 55727 markings/sec, 620 secs
lola: 45730909 markings, 131166053 edges, 58058 markings/sec, 625 secs
lola: 46006961 markings, 132460130 edges, 55210 markings/sec, 630 secs
lola: 46299577 markings, 133714334 edges, 58523 markings/sec, 635 secs
lola: 46583169 markings, 134939307 edges, 56718 markings/sec, 640 secs
lola: 46867561 markings, 136153099 edges, 56878 markings/sec, 645 secs
lola: 47164254 markings, 137268307 edges, 59339 markings/sec, 650 secs
lola: 47465988 markings, 138635040 edges, 60347 markings/sec, 655 secs
lola: 47708357 markings, 139984518 edges, 48474 markings/sec, 660 secs
lola: 47942132 markings, 141233246 edges, 46755 markings/sec, 665 secs
lola: 48219782 markings, 142194347 edges, 55530 markings/sec, 670 secs
lola: 48452171 markings, 143484879 edges, 46478 markings/sec, 675 secs
lola: 48682254 markings, 144631835 edges, 46017 markings/sec, 680 secs
lola: 48945057 markings, 145673331 edges, 52561 markings/sec, 685 secs
lola: 49207464 markings, 146823618 edges, 52481 markings/sec, 690 secs
lola: 49448334 markings, 147835488 edges, 48174 markings/sec, 695 secs
lola: 49710953 markings, 148845513 edges, 52524 markings/sec, 700 secs
lola: 49978717 markings, 150177885 edges, 53553 markings/sec, 705 secs
lola: 50267349 markings, 151580088 edges, 57726 markings/sec, 710 secs
lola: 50550402 markings, 152970084 edges, 56611 markings/sec, 715 secs
lola: 50838770 markings, 154324872 edges, 57674 markings/sec, 720 secs
lola: 51087823 markings, 155536259 edges, 49811 markings/sec, 725 secs
lola: 51329019 markings, 156805618 edges, 48239 markings/sec, 730 secs
lola: 51564411 markings, 157973447 edges, 47078 markings/sec, 735 secs
lola: 51794955 markings, 158994506 edges, 46109 markings/sec, 740 secs
lola: 52092965 markings, 160012119 edges, 59602 markings/sec, 745 secs
lola: 52360027 markings, 161317063 edges, 53412 markings/sec, 750 secs
lola: 52688606 markings, 162463807 edges, 65716 markings/sec, 755 secs
lola: 52977224 markings, 163854605 edges, 57724 markings/sec, 760 secs
lola: 53290364 markings, 165019820 edges, 62628 markings/sec, 765 secs
lola: 53619373 markings, 166062583 edges, 65802 markings/sec, 770 secs
lola: 53926305 markings, 167271740 edges, 61386 markings/sec, 775 secs
lola: 54206763 markings, 168597164 edges, 56092 markings/sec, 780 secs
lola: 54502248 markings, 169840995 edges, 59097 markings/sec, 785 secs
lola: 54785969 markings, 171095501 edges, 56744 markings/sec, 790 secs
lola: 55074679 markings, 172398702 edges, 57742 markings/sec, 795 secs
lola: 55356916 markings, 173646737 edges, 56447 markings/sec, 800 secs
lola: 55642049 markings, 174841062 edges, 57027 markings/sec, 805 secs
lola: 55943880 markings, 175872219 edges, 60366 markings/sec, 810 secs
lola: 56294056 markings, 176924017 edges, 70035 markings/sec, 815 secs
lola: 56622965 markings, 178017702 edges, 65782 markings/sec, 820 secs
lola: 56905125 markings, 179363606 edges, 56432 markings/sec, 825 secs
lola: 57183715 markings, 180624853 edges, 55718 markings/sec, 830 secs
lola: 57474063 markings, 181861179 edges, 58070 markings/sec, 835 secs
lola: 57735152 markings, 183352568 edges, 52218 markings/sec, 840 secs
lola: 58005109 markings, 184616331 edges, 53991 markings/sec, 845 secs
lola: 58282842 markings, 185903362 edges, 55547 markings/sec, 850 secs
lola: 58598156 markings, 186881531 edges, 63063 markings/sec, 855 secs
lola: 58879047 markings, 188120633 edges, 56178 markings/sec, 860 secs
lola: 59165783 markings, 189449190 edges, 57347 markings/sec, 865 secs
lola: 59442475 markings, 190729681 edges, 55338 markings/sec, 870 secs
lola: 59740191 markings, 191784784 edges, 59543 markings/sec, 875 secs
lola: 60068105 markings, 192837850 edges, 65583 markings/sec, 880 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 10 unknown unknown unknown unknown 5 unknown 10 10 unknown unknown unknown 5 unknown 10 unknown
FORMULA PermAdmissibility-COL-05-UpperBounds-0 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-5 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-7 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-8 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-12 5 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-14 10 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-05-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496391692415
--------------------
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-05"
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-05.tgz
mv S_PermAdmissibility-PT-05 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-05, 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-149441650200416"
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 ;