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 CloudReconfiguration-PT-314, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961400119
=====================================================================

--------------------
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 CloudReconfiguration-PT-314-UpperBounds-0
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-1
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-15
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-2
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-3
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-4
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-5
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-6
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-7
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-8
FORMULA_NAME CloudReconfiguration-PT-314-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496533096626


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-314: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-314: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-314 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-314-UpperBounds.task
lola: MAX(p1517) : MAX(p1026) : MAX(p1163) : MAX(p1580) : MAX(p1685) : MAX(p1494) : MAX(p2357) : MAX(p1421) : MAX(p670) : MAX(p47) : MAX(p397) : MAX(p1093) : MAX(p1467) : MAX(p225) : MAX(p1078) : MAX(p741)
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(p1517)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 114216 markings, 145676 edges, 22843 markings/sec, 0 secs
lola: 238097 markings, 296840 edges, 24776 markings/sec, 5 secs
lola: 365932 markings, 455560 edges, 25567 markings/sec, 10 secs
lola: 490150 markings, 608440 edges, 24844 markings/sec, 15 secs
lola: 610649 markings, 758277 edges, 24100 markings/sec, 20 secs
lola: 734317 markings, 912709 edges, 24734 markings/sec, 25 secs
lola: 853654 markings, 1061505 edges, 23867 markings/sec, 30 secs
lola: 961117 markings, 1191627 edges, 21493 markings/sec, 35 secs
lola: 1057410 markings, 1309186 edges, 19259 markings/sec, 40 secs
lola: 1168093 markings, 1444802 edges, 22137 markings/sec, 45 secs
lola: 1288151 markings, 1595500 edges, 24012 markings/sec, 50 secs
lola: 1426491 markings, 1771765 edges, 27668 markings/sec, 55 secs
lola: 1550261 markings, 1928682 edges, 24754 markings/sec, 60 secs
lola: 1668264 markings, 2074957 edges, 23601 markings/sec, 65 secs
lola: 1792796 markings, 2235543 edges, 24906 markings/sec, 70 secs
lola: 1921494 markings, 2399493 edges, 25740 markings/sec, 75 secs
lola: 2034645 markings, 2544157 edges, 22630 markings/sec, 80 secs
lola: 2148028 markings, 2687459 edges, 22677 markings/sec, 85 secs
lola: 2269621 markings, 2836773 edges, 24319 markings/sec, 90 secs
lola: 2411079 markings, 3015967 edges, 28292 markings/sec, 95 secs
lola: 2563474 markings, 3208997 edges, 30479 markings/sec, 100 secs
lola: 2699048 markings, 3380270 edges, 27115 markings/sec, 105 secs
lola: 2823630 markings, 3537569 edges, 24916 markings/sec, 110 secs
lola: 2934109 markings, 3672653 edges, 22096 markings/sec, 115 secs
lola: 3071226 markings, 3849481 edges, 27423 markings/sec, 120 secs
lola: 3206129 markings, 4020749 edges, 26981 markings/sec, 125 secs
lola: 3330769 markings, 4178284 edges, 24928 markings/sec, 130 secs
lola: 3453415 markings, 4335413 edges, 24529 markings/sec, 135 secs
lola: 3567707 markings, 4477961 edges, 22858 markings/sec, 140 secs
lola: 3689080 markings, 4629604 edges, 24275 markings/sec, 145 secs
lola: 3773174 markings, 4738078 edges, 16819 markings/sec, 150 secs
lola: 3885593 markings, 4877081 edges, 22484 markings/sec, 155 secs
lola: 3981913 markings, 5001884 edges, 19264 markings/sec, 160 secs
lola: 4099198 markings, 5146988 edges, 23457 markings/sec, 165 secs
lola: 4202093 markings, 5277936 edges, 20579 markings/sec, 170 secs
lola: 4315247 markings, 5419996 edges, 22631 markings/sec, 175 secs
lola: 4426736 markings, 5560044 edges, 22298 markings/sec, 180 secs
lola: 4510805 markings, 5666010 edges, 16814 markings/sec, 185 secs
lola: 4621988 markings, 5803460 edges, 22237 markings/sec, 190 secs
lola: 4733127 markings, 5941347 edges, 22228 markings/sec, 195 secs
lola: 4830191 markings, 6072266 edges, 19413 markings/sec, 200 secs
lola: 4945085 markings, 6215337 edges, 22979 markings/sec, 205 secs
lola: 5023309 markings, 6313600 edges, 15645 markings/sec, 210 secs
lola: 5126175 markings, 6440823 edges, 20573 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(p1026)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 106509 markings, 127834 edges, 21302 markings/sec, 0 secs
lola: 214843 markings, 258413 edges, 21667 markings/sec, 5 secs
lola: 339009 markings, 409958 edges, 24833 markings/sec, 10 secs
lola: 466086 markings, 566535 edges, 25415 markings/sec, 15 secs
lola: 586996 markings, 715515 edges, 24182 markings/sec, 20 secs
lola: 708154 markings, 866978 edges, 24232 markings/sec, 25 secs
lola: 818905 markings, 1001998 edges, 22150 markings/sec, 30 secs
lola: 932670 markings, 1142896 edges, 22753 markings/sec, 35 secs
lola: 1055779 markings, 1297339 edges, 24622 markings/sec, 40 secs
lola: 1164840 markings, 1432458 edges, 21812 markings/sec, 45 secs
lola: 1257213 markings, 1544994 edges, 18475 markings/sec, 50 secs
lola: 1361559 markings, 1672001 edges, 20869 markings/sec, 55 secs
lola: 1470214 markings, 1806259 edges, 21731 markings/sec, 60 secs
lola: 1603213 markings, 1976829 edges, 26600 markings/sec, 65 secs
lola: 1729715 markings, 2134850 edges, 25300 markings/sec, 70 secs
lola: 1845826 markings, 2283367 edges, 23222 markings/sec, 75 secs
lola: 1948123 markings, 2408387 edges, 20459 markings/sec, 80 secs
lola: 2076570 markings, 2574619 edges, 25689 markings/sec, 85 secs
lola: 2196178 markings, 2726965 edges, 23922 markings/sec, 90 secs
lola: 2306973 markings, 2868897 edges, 22159 markings/sec, 95 secs
lola: 2408545 markings, 2995323 edges, 20314 markings/sec, 100 secs
lola: 2515205 markings, 3124950 edges, 21332 markings/sec, 105 secs
lola: 2651165 markings, 3296309 edges, 27192 markings/sec, 110 secs
lola: 2798304 markings, 3483322 edges, 29428 markings/sec, 115 secs
lola: 2941487 markings, 3662619 edges, 28637 markings/sec, 120 secs
lola: 3054120 markings, 3801789 edges, 22527 markings/sec, 125 secs
lola: 3160295 markings, 3931535 edges, 21235 markings/sec, 130 secs
lola: 3286274 markings, 4091310 edges, 25196 markings/sec, 135 secs
lola: 3425438 markings, 4269370 edges, 27833 markings/sec, 140 secs
lola: 3553737 markings, 4430134 edges, 25660 markings/sec, 145 secs
lola: 3665424 markings, 4570001 edges, 22337 markings/sec, 150 secs
lola: 3788594 markings, 4726637 edges, 24634 markings/sec, 155 secs
lola: 3915526 markings, 4883334 edges, 25386 markings/sec, 160 secs
lola: 3985490 markings, 4969200 edges, 13993 markings/sec, 165 secs
lola: 4092837 markings, 5105838 edges, 21469 markings/sec, 170 secs
lola: 4186007 markings, 5219572 edges, 18634 markings/sec, 175 secs
lola: 4291290 markings, 5353570 edges, 21057 markings/sec, 180 secs
lola: 4423974 markings, 5518483 edges, 26537 markings/sec, 185 secs
lola: 4514877 markings, 5629425 edges, 18181 markings/sec, 190 secs
lola: 4618206 markings, 5758552 edges, 20666 markings/sec, 195 secs
lola: 4714584 markings, 5879130 edges, 19276 markings/sec, 200 secs
lola: 4795352 markings, 5980318 edges, 16154 markings/sec, 205 secs
lola: 4886046 markings, 6091010 edges, 18139 markings/sec, 210 secs
lola: 4987113 markings, 6216016 edges, 20213 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1163)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 111568 markings, 134347 edges, 22314 markings/sec, 0 secs
lola: 221773 markings, 267186 edges, 22041 markings/sec, 5 secs
lola: 318124 markings, 383592 edges, 19270 markings/sec, 10 secs
lola: 443910 markings, 537298 edges, 25157 markings/sec, 15 secs
lola: 570610 markings, 694239 edges, 25340 markings/sec, 20 secs
lola: 678452 markings, 826653 edges, 21568 markings/sec, 25 secs
lola: 793186 markings, 970178 edges, 22947 markings/sec, 30 secs
lola: 897471 markings, 1097342 edges, 20857 markings/sec, 35 secs
lola: 1003196 markings, 1227904 edges, 21145 markings/sec, 40 secs
lola: 1123053 markings, 1378050 edges, 23971 markings/sec, 45 secs
lola: 1236461 markings, 1519430 edges, 22682 markings/sec, 50 secs
lola: 1329960 markings, 1633285 edges, 18700 markings/sec, 55 secs
lola: 1428557 markings, 1753178 edges, 19719 markings/sec, 60 secs
lola: 1535636 markings, 1884772 edges, 21416 markings/sec, 65 secs
lola: 1669836 markings, 2055922 edges, 26840 markings/sec, 70 secs
lola: 1801495 markings, 2221809 edges, 26332 markings/sec, 75 secs
lola: 1924230 markings, 2378518 edges, 24547 markings/sec, 80 secs
lola: 2036011 markings, 2516165 edges, 22356 markings/sec, 85 secs
lola: 2166509 markings, 2685048 edges, 26100 markings/sec, 90 secs
lola: 2297463 markings, 2850487 edges, 26191 markings/sec, 95 secs
lola: 2422304 markings, 3010626 edges, 24968 markings/sec, 100 secs
lola: 2519774 markings, 3130441 edges, 19494 markings/sec, 105 secs
lola: 2630741 markings, 3265294 edges, 22193 markings/sec, 110 secs
lola: 2784081 markings, 3461201 edges, 30668 markings/sec, 115 secs
lola: 2922813 markings, 3636094 edges, 27746 markings/sec, 120 secs
lola: 3051949 markings, 3797507 edges, 25827 markings/sec, 125 secs
lola: 3160342 markings, 3931291 edges, 21679 markings/sec, 130 secs
lola: 3262433 markings, 4055701 edges, 20418 markings/sec, 135 secs
lola: 3391771 markings, 4221514 edges, 25868 markings/sec, 140 secs
lola: 3516131 markings, 4379787 edges, 24872 markings/sec, 145 secs
lola: 3635921 markings, 4529957 edges, 23958 markings/sec, 150 secs
lola: 3738130 markings, 4657204 edges, 20442 markings/sec, 155 secs
lola: 3863522 markings, 4817472 edges, 25078 markings/sec, 160 secs
lola: 3981430 markings, 4963094 edges, 23582 markings/sec, 165 secs
lola: 4057399 markings, 5055699 edges, 15194 markings/sec, 170 secs
lola: 4157571 markings, 5184192 edges, 20034 markings/sec, 175 secs
lola: 4260500 markings, 5309997 edges, 20586 markings/sec, 180 secs
lola: 4365613 markings, 5443557 edges, 21023 markings/sec, 185 secs
lola: 4493208 markings, 5602411 edges, 25519 markings/sec, 190 secs
lola: 4574107 markings, 5701032 edges, 16180 markings/sec, 195 secs
lola: 4673779 markings, 5825320 edges, 19934 markings/sec, 200 secs
lola: 4779139 markings, 5956583 edges, 21072 markings/sec, 205 secs
lola: 4845008 markings, 6040170 edges, 13174 markings/sec, 210 secs
lola: 4953695 markings, 6173097 edges, 21737 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1580)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 174553 markings, 232647 edges, 34911 markings/sec, 0 secs
lola: 321202 markings, 413806 edges, 29330 markings/sec, 5 secs
lola: 453097 markings, 576933 edges, 26379 markings/sec, 10 secs
lola: 581534 markings, 735651 edges, 25687 markings/sec, 15 secs
lola: 711021 markings, 898294 edges, 25897 markings/sec, 20 secs
lola: 834509 markings, 1052912 edges, 24698 markings/sec, 25 secs
lola: 939512 markings, 1180021 edges, 21001 markings/sec, 30 secs
lola: 1036509 markings, 1298334 edges, 19399 markings/sec, 35 secs
lola: 1151005 markings, 1438837 edges, 22899 markings/sec, 40 secs
lola: 1288579 markings, 1613944 edges, 27515 markings/sec, 45 secs
lola: 1427483 markings, 1789158 edges, 27781 markings/sec, 50 secs
lola: 1556321 markings, 1953317 edges, 25768 markings/sec, 55 secs
lola: 1680805 markings, 2107388 edges, 24897 markings/sec, 60 secs
lola: 1820986 markings, 2289390 edges, 28036 markings/sec, 65 secs
lola: 1950028 markings, 2452816 edges, 25808 markings/sec, 70 secs
lola: 2069093 markings, 2604646 edges, 23813 markings/sec, 75 secs
lola: 2186910 markings, 2748736 edges, 23563 markings/sec, 80 secs
lola: 2322394 markings, 2919407 edges, 27097 markings/sec, 85 secs
lola: 2472470 markings, 3110371 edges, 30015 markings/sec, 90 secs
lola: 2613421 markings, 3288049 edges, 28190 markings/sec, 95 secs
lola: 2746718 markings, 3456740 edges, 26659 markings/sec, 100 secs
lola: 2869362 markings, 3608068 edges, 24529 markings/sec, 105 secs
lola: 3011298 markings, 3788775 edges, 28387 markings/sec, 110 secs
lola: 3160336 markings, 3978299 edges, 29808 markings/sec, 115 secs
lola: 3295036 markings, 4148621 edges, 26940 markings/sec, 120 secs
lola: 3432480 markings, 4324452 edges, 27489 markings/sec, 125 secs
lola: 3544012 markings, 4463701 edges, 22306 markings/sec, 130 secs
lola: 3670123 markings, 4620287 edges, 25222 markings/sec, 135 secs
lola: 3763719 markings, 4740083 edges, 18719 markings/sec, 140 secs
lola: 3864492 markings, 4865143 edges, 20155 markings/sec, 145 secs
lola: 3946474 markings, 4967426 edges, 16396 markings/sec, 150 secs
lola: 4050700 markings, 5097008 edges, 20845 markings/sec, 155 secs
lola: 4181768 markings, 5263523 edges, 26214 markings/sec, 160 secs
lola: 4313866 markings, 5432425 edges, 26420 markings/sec, 165 secs
lola: 4426825 markings, 5573419 edges, 22592 markings/sec, 170 secs
lola: 4529001 markings, 5701961 edges, 20435 markings/sec, 175 secs
lola: 4636277 markings, 5835321 edges, 21455 markings/sec, 180 secs
lola: 4738126 markings, 5964732 edges, 20370 markings/sec, 185 secs
lola: 4880422 markings, 6149032 edges, 28459 markings/sec, 190 secs
lola: 4968603 markings, 6259630 edges, 17636 markings/sec, 195 secs
lola: 5079443 markings, 6396704 edges, 22168 markings/sec, 200 secs
lola: 5184124 markings, 6526079 edges, 20936 markings/sec, 205 secs
lola: 5288028 markings, 6656556 edges, 20781 markings/sec, 210 secs
lola: 5375745 markings, 6766900 edges, 17543 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1685)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 112764 markings, 135132 edges, 22553 markings/sec, 0 secs
lola: 241028 markings, 289503 edges, 25653 markings/sec, 5 secs
lola: 358080 markings, 430515 edges, 23410 markings/sec, 10 secs
lola: 483055 markings, 581963 edges, 24995 markings/sec, 15 secs
lola: 614343 markings, 741518 edges, 26258 markings/sec, 20 secs
lola: 745457 markings, 905723 edges, 26223 markings/sec, 25 secs
lola: 871265 markings, 1063626 edges, 25162 markings/sec, 30 secs
lola: 999573 markings, 1221831 edges, 25662 markings/sec, 35 secs
lola: 1138379 markings, 1395449 edges, 27761 markings/sec, 40 secs
lola: 1269985 markings, 1560444 edges, 26321 markings/sec, 45 secs
lola: 1399685 markings, 1723956 edges, 25940 markings/sec, 50 secs
lola: 1529147 markings, 1885339 edges, 25892 markings/sec, 55 secs
lola: 1644874 markings, 2030824 edges, 23145 markings/sec, 60 secs
lola: 1758748 markings, 2172452 edges, 22775 markings/sec, 65 secs
lola: 1888263 markings, 2337778 edges, 25903 markings/sec, 70 secs
lola: 2020504 markings, 2505343 edges, 26448 markings/sec, 75 secs
lola: 2154940 markings, 2673970 edges, 26887 markings/sec, 80 secs
lola: 2286178 markings, 2841544 edges, 26248 markings/sec, 85 secs
lola: 2417439 markings, 3009394 edges, 26252 markings/sec, 90 secs
lola: 2534133 markings, 3150638 edges, 23339 markings/sec, 95 secs
lola: 2655751 markings, 3301012 edges, 24324 markings/sec, 100 secs
lola: 2766357 markings, 3439867 edges, 22121 markings/sec, 105 secs
lola: 2877607 markings, 3578732 edges, 22250 markings/sec, 110 secs
lola: 3012565 markings, 3750380 edges, 26992 markings/sec, 115 secs
lola: 3181137 markings, 3962878 edges, 33714 markings/sec, 120 secs
lola: 3328557 markings, 4148482 edges, 29484 markings/sec, 125 secs
lola: 3478679 markings, 4339475 edges, 30024 markings/sec, 130 secs
lola: 3623545 markings, 4524212 edges, 28973 markings/sec, 135 secs
lola: 3726470 markings, 4654334 edges, 20585 markings/sec, 140 secs
lola: 3837186 markings, 4792307 edges, 22143 markings/sec, 145 secs
lola: 3974036 markings, 4963398 edges, 27370 markings/sec, 150 secs
lola: 4109314 markings, 5133399 edges, 27056 markings/sec, 155 secs
lola: 4241539 markings, 5303849 edges, 26445 markings/sec, 160 secs
lola: 4371938 markings, 5470067 edges, 26080 markings/sec, 165 secs
lola: 4496792 markings, 5628772 edges, 24971 markings/sec, 170 secs
lola: 4608137 markings, 5768512 edges, 22269 markings/sec, 175 secs
lola: 4715403 markings, 5903105 edges, 21453 markings/sec, 180 secs
lola: 4833210 markings, 6055755 edges, 23561 markings/sec, 185 secs
lola: 4952039 markings, 6208143 edges, 23766 markings/sec, 190 secs
lola: 5059592 markings, 6346879 edges, 21511 markings/sec, 195 secs
lola: 5154981 markings, 6467151 edges, 19078 markings/sec, 200 secs
lola: 5282095 markings, 6630642 edges, 25423 markings/sec, 205 secs
lola: 5352570 markings, 6721389 edges, 14095 markings/sec, 210 secs
lola: 5449698 markings, 6842700 edges, 19426 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1494)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 119456 markings, 167612 edges, 23891 markings/sec, 0 secs
lola: 245427 markings, 324831 edges, 25194 markings/sec, 5 secs
lola: 356505 markings, 462602 edges, 22216 markings/sec, 10 secs
lola: 474658 markings, 610387 edges, 23631 markings/sec, 15 secs
lola: 572379 markings, 731427 edges, 19544 markings/sec, 20 secs
lola: 687360 markings, 876330 edges, 22996 markings/sec, 25 secs
lola: 803799 markings, 1021211 edges, 23288 markings/sec, 30 secs
lola: 914373 markings, 1159535 edges, 22115 markings/sec, 35 secs
lola: 1009811 markings, 1277213 edges, 19088 markings/sec, 40 secs
lola: 1118208 markings, 1415906 edges, 21679 markings/sec, 45 secs
lola: 1258345 markings, 1594793 edges, 28027 markings/sec, 50 secs
lola: 1391307 markings, 1763494 edges, 26592 markings/sec, 55 secs
lola: 1511793 markings, 1918291 edges, 24097 markings/sec, 60 secs
lola: 1629604 markings, 2068681 edges, 23562 markings/sec, 65 secs
lola: 1758983 markings, 2235886 edges, 25876 markings/sec, 70 secs
lola: 1884156 markings, 2394010 edges, 25035 markings/sec, 75 secs
lola: 1999729 markings, 2543143 edges, 23115 markings/sec, 80 secs
lola: 2104326 markings, 2673727 edges, 20919 markings/sec, 85 secs
lola: 2234302 markings, 2841009 edges, 25995 markings/sec, 90 secs
lola: 2375749 markings, 3021546 edges, 28289 markings/sec, 95 secs
lola: 2513482 markings, 3195270 edges, 27547 markings/sec, 100 secs
lola: 2639500 markings, 3355527 edges, 25204 markings/sec, 105 secs
lola: 2738916 markings, 3479462 edges, 19883 markings/sec, 110 secs
lola: 2878839 markings, 3659760 edges, 27985 markings/sec, 115 secs
lola: 3015406 markings, 3833951 edges, 27313 markings/sec, 120 secs
lola: 3143693 markings, 3995868 edges, 25657 markings/sec, 125 secs
lola: 3255573 markings, 4140028 edges, 22376 markings/sec, 130 secs
lola: 3371098 markings, 4285466 edges, 23105 markings/sec, 135 secs
lola: 3465392 markings, 4402635 edges, 18859 markings/sec, 140 secs
lola: 3563392 markings, 4524402 edges, 19600 markings/sec, 145 secs
lola: 3652671 markings, 4639518 edges, 17856 markings/sec, 150 secs
lola: 3749182 markings, 4759396 edges, 19302 markings/sec, 155 secs
lola: 3833444 markings, 4864713 edges, 16852 markings/sec, 160 secs
lola: 3931098 markings, 4986053 edges, 19531 markings/sec, 165 secs
lola: 4044753 markings, 5127401 edges, 22731 markings/sec, 170 secs
lola: 4156168 markings, 5276420 edges, 22283 markings/sec, 175 secs
lola: 4258976 markings, 5405277 edges, 20562 markings/sec, 180 secs
lola: 4355329 markings, 5527754 edges, 19271 markings/sec, 185 secs
lola: 4489733 markings, 5696367 edges, 26881 markings/sec, 190 secs
lola: 4570148 markings, 5798744 edges, 16083 markings/sec, 195 secs
lola: 4665521 markings, 5919545 edges, 19075 markings/sec, 200 secs
lola: 4774680 markings, 6055902 edges, 21832 markings/sec, 205 secs
lola: 4856241 markings, 6165083 edges, 16312 markings/sec, 210 secs
lola: 4984372 markings, 6328983 edges, 25626 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 114340 markings, 137043 edges, 22868 markings/sec, 0 secs
lola: 227609 markings, 273181 edges, 22654 markings/sec, 5 secs
lola: 367117 markings, 445582 edges, 27902 markings/sec, 10 secs
lola: 501913 markings, 613940 edges, 26959 markings/sec, 15 secs
lola: 611120 markings, 746413 edges, 21841 markings/sec, 20 secs
lola: 725472 markings, 888195 edges, 22870 markings/sec, 25 secs
lola: 833805 markings, 1022871 edges, 21667 markings/sec, 30 secs
lola: 931215 markings, 1141231 edges, 19482 markings/sec, 35 secs
lola: 1035234 markings, 1271246 edges, 20804 markings/sec, 40 secs
lola: 1146167 markings, 1409075 edges, 22187 markings/sec, 45 secs
lola: 1252294 markings, 1541863 edges, 21225 markings/sec, 50 secs
lola: 1370543 markings, 1686229 edges, 23650 markings/sec, 55 secs
lola: 1488437 markings, 1830204 edges, 23579 markings/sec, 60 secs
lola: 1609252 markings, 1977513 edges, 24163 markings/sec, 65 secs
lola: 1727135 markings, 2123640 edges, 23577 markings/sec, 70 secs
lola: 1849746 markings, 2280401 edges, 24522 markings/sec, 75 secs
lola: 1969591 markings, 2430359 edges, 23969 markings/sec, 80 secs
lola: 2089328 markings, 2582479 edges, 23947 markings/sec, 85 secs
lola: 2201810 markings, 2719805 edges, 22496 markings/sec, 90 secs
lola: 2325806 markings, 2874901 edges, 24799 markings/sec, 95 secs
lola: 2445260 markings, 3030393 edges, 23891 markings/sec, 100 secs
lola: 2561648 markings, 3175794 edges, 23278 markings/sec, 105 secs
lola: 2674062 markings, 3319254 edges, 22483 markings/sec, 110 secs
lola: 2782711 markings, 3453095 edges, 21730 markings/sec, 115 secs
lola: 2897552 markings, 3592831 edges, 22968 markings/sec, 120 secs
lola: 3045980 markings, 3779886 edges, 29686 markings/sec, 125 secs
lola: 3193075 markings, 3966507 edges, 29419 markings/sec, 130 secs
lola: 3327017 markings, 4133237 edges, 26788 markings/sec, 135 secs
lola: 3447031 markings, 4280831 edges, 24003 markings/sec, 140 secs
lola: 3555692 markings, 4414557 edges, 21732 markings/sec, 145 secs
lola: 3666084 markings, 4550621 edges, 22078 markings/sec, 150 secs
lola: 3797953 markings, 4714663 edges, 26374 markings/sec, 155 secs
lola: 3929681 markings, 4885756 edges, 26346 markings/sec, 160 secs
lola: 4066218 markings, 5056563 edges, 27307 markings/sec, 165 secs
lola: 4193563 markings, 5219048 edges, 25469 markings/sec, 170 secs
lola: 4319375 markings, 5373211 edges, 25162 markings/sec, 175 secs
lola: 4444168 markings, 5525606 edges, 24959 markings/sec, 180 secs
lola: 4564003 markings, 5672396 edges, 23967 markings/sec, 185 secs
lola: 4635693 markings, 5760353 edges, 14338 markings/sec, 190 secs
lola: 4749584 markings, 5901477 edges, 22778 markings/sec, 195 secs
lola: 4835198 markings, 6009684 edges, 17123 markings/sec, 200 secs
lola: 4910619 markings, 6104783 edges, 15084 markings/sec, 205 secs
lola: 5028411 markings, 6249195 edges, 23558 markings/sec, 210 secs
lola: 5133982 markings, 6378376 edges, 21114 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 100132 markings, 206428 edges, 20026 markings/sec, 0 secs
lola: 214107 markings, 434234 edges, 22795 markings/sec, 5 secs
lola: 350347 markings, 676183 edges, 27248 markings/sec, 10 secs
lola: 488820 markings, 868506 edges, 27695 markings/sec, 15 secs
lola: 618862 markings, 1071431 edges, 26008 markings/sec, 20 secs
lola: 738182 markings, 1243676 edges, 23864 markings/sec, 25 secs
lola: 858797 markings, 1400715 edges, 24123 markings/sec, 30 secs
lola: 973041 markings, 1559999 edges, 22849 markings/sec, 35 secs
lola: 1087617 markings, 1726163 edges, 22915 markings/sec, 40 secs
lola: 1202850 markings, 1871074 edges, 23047 markings/sec, 45 secs
lola: 1318888 markings, 2021664 edges, 23208 markings/sec, 50 secs
lola: 1431663 markings, 2175807 edges, 22555 markings/sec, 55 secs
lola: 1538501 markings, 2342520 edges, 21368 markings/sec, 60 secs
lola: 1656925 markings, 2521623 edges, 23685 markings/sec, 65 secs
lola: 1778808 markings, 2745284 edges, 24377 markings/sec, 70 secs
lola: 1915543 markings, 3012974 edges, 27347 markings/sec, 75 secs
lola: 2040924 markings, 3173271 edges, 25076 markings/sec, 80 secs
lola: 2163353 markings, 3328292 edges, 24486 markings/sec, 85 secs
lola: 2279084 markings, 3496998 edges, 23146 markings/sec, 90 secs
lola: 2388580 markings, 3688684 edges, 21899 markings/sec, 95 secs
lola: 2510499 markings, 3950793 edges, 24384 markings/sec, 100 secs
lola: 2627671 markings, 4102131 edges, 23434 markings/sec, 105 secs
lola: 2750668 markings, 4259019 edges, 24599 markings/sec, 110 secs
lola: 2869556 markings, 4429428 edges, 23778 markings/sec, 115 secs
lola: 2981241 markings, 4593552 edges, 22337 markings/sec, 120 secs
lola: 3105242 markings, 4832203 edges, 24800 markings/sec, 125 secs
lola: 3231341 markings, 5070560 edges, 25220 markings/sec, 130 secs
lola: 3363732 markings, 5245459 edges, 26478 markings/sec, 135 secs
lola: 3497201 markings, 5414988 edges, 26694 markings/sec, 140 secs
lola: 3619826 markings, 5569783 edges, 24525 markings/sec, 145 secs
lola: 3750279 markings, 5775631 edges, 26091 markings/sec, 150 secs
lola: 3858607 markings, 5930039 edges, 21666 markings/sec, 155 secs
lola: 3987887 markings, 6196765 edges, 25856 markings/sec, 160 secs
lola: 4130483 markings, 6419801 edges, 28519 markings/sec, 165 secs
lola: 4257113 markings, 6581283 edges, 25326 markings/sec, 170 secs
lola: 4377815 markings, 6734243 edges, 24140 markings/sec, 175 secs
lola: 4495315 markings, 6918786 edges, 23500 markings/sec, 180 secs
lola: 4619678 markings, 7088260 edges, 24873 markings/sec, 185 secs
lola: 4717609 markings, 7220299 edges, 19586 markings/sec, 190 secs
lola: 4836456 markings, 7366598 edges, 23769 markings/sec, 195 secs
lola: 4904870 markings, 7454290 edges, 13683 markings/sec, 200 secs
lola: 5007798 markings, 7602720 edges, 20586 markings/sec, 205 secs
lola: 5090456 markings, 7705647 edges, 16532 markings/sec, 210 secs
lola: 5166115 markings, 7800065 edges, 15132 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 128108 markings, 154950 edges, 25622 markings/sec, 0 secs
lola: 269790 markings, 324927 edges, 28336 markings/sec, 5 secs
lola: 419602 markings, 506802 edges, 29962 markings/sec, 10 secs
lola: 565948 markings, 684942 edges, 29269 markings/sec, 15 secs
lola: 713714 markings, 865637 edges, 29553 markings/sec, 20 secs
lola: 863309 markings, 1049114 edges, 29919 markings/sec, 25 secs
lola: 1009643 markings, 1228328 edges, 29267 markings/sec, 30 secs
lola: 1160752 markings, 1414364 edges, 30222 markings/sec, 35 secs
lola: 1309352 markings, 1596685 edges, 29720 markings/sec, 40 secs
lola: 1461314 markings, 1784067 edges, 30392 markings/sec, 45 secs
lola: 1607544 markings, 1964167 edges, 29246 markings/sec, 50 secs
lola: 1751279 markings, 2139925 edges, 28747 markings/sec, 55 secs
lola: 1895346 markings, 2317041 edges, 28813 markings/sec, 60 secs
lola: 2050457 markings, 2504413 edges, 31022 markings/sec, 65 secs
lola: 2196097 markings, 2680942 edges, 29128 markings/sec, 70 secs
lola: 2362831 markings, 2885281 edges, 33347 markings/sec, 75 secs
lola: 2512998 markings, 3068285 edges, 30033 markings/sec, 80 secs
lola: 2683349 markings, 3277169 edges, 34070 markings/sec, 85 secs
lola: 2843333 markings, 3473644 edges, 31997 markings/sec, 90 secs
lola: 3008219 markings, 3676244 edges, 32977 markings/sec, 95 secs
lola: 3167454 markings, 3872455 edges, 31847 markings/sec, 100 secs
lola: 3331963 markings, 4076008 edges, 32902 markings/sec, 105 secs
lola: 3470911 markings, 4246656 edges, 27790 markings/sec, 110 secs
lola: 3612734 markings, 4421332 edges, 28365 markings/sec, 115 secs
lola: 3750731 markings, 4591950 edges, 27599 markings/sec, 120 secs
lola: 3884049 markings, 4756342 edges, 26664 markings/sec, 125 secs
lola: 4028836 markings, 4934537 edges, 28957 markings/sec, 130 secs
lola: 4189504 markings, 5133047 edges, 32134 markings/sec, 135 secs
lola: 4334921 markings, 5312909 edges, 29083 markings/sec, 140 secs
lola: 4482297 markings, 5493546 edges, 29475 markings/sec, 145 secs
lola: 4614377 markings, 5655020 edges, 26416 markings/sec, 150 secs
lola: 4751849 markings, 5824774 edges, 27494 markings/sec, 155 secs
lola: 4898548 markings, 6005455 edges, 29340 markings/sec, 160 secs
lola: 5040805 markings, 6181360 edges, 28451 markings/sec, 165 secs
lola: 5187242 markings, 6360988 edges, 29287 markings/sec, 170 secs
lola: 5314918 markings, 6517550 edges, 25535 markings/sec, 175 secs
lola: 5465717 markings, 6703152 edges, 30160 markings/sec, 180 secs
lola: 5614647 markings, 6885720 edges, 29786 markings/sec, 185 secs
lola: 5766112 markings, 7071808 edges, 30293 markings/sec, 190 secs
lola: 5916144 markings, 7256424 edges, 30006 markings/sec, 195 secs
lola: 6055556 markings, 7427446 edges, 27882 markings/sec, 200 secs
lola: 6193452 markings, 7597808 edges, 27579 markings/sec, 205 secs
lola: 6341378 markings, 7779909 edges, 29585 markings/sec, 210 secs
lola: 6477154 markings, 7946679 edges, 27155 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 86030 markings, 143408 edges, 17206 markings/sec, 0 secs
lola: 175408 markings, 296779 edges, 17876 markings/sec, 5 secs
lola: 271617 markings, 445444 edges, 19242 markings/sec, 10 secs
lola: 356621 markings, 600405 edges, 17001 markings/sec, 15 secs
lola: 449285 markings, 719668 edges, 18533 markings/sec, 20 secs
lola: 544184 markings, 835633 edges, 18980 markings/sec, 25 secs
lola: 647455 markings, 963570 edges, 20654 markings/sec, 30 secs
lola: 743016 markings, 1081515 edges, 19112 markings/sec, 35 secs
lola: 834502 markings, 1194958 edges, 18297 markings/sec, 40 secs
lola: 927047 markings, 1309906 edges, 18509 markings/sec, 45 secs
lola: 1007938 markings, 1408307 edges, 16178 markings/sec, 50 secs
lola: 1099728 markings, 1522352 edges, 18358 markings/sec, 55 secs
lola: 1195770 markings, 1642385 edges, 19208 markings/sec, 60 secs
lola: 1287241 markings, 1757539 edges, 18294 markings/sec, 65 secs
lola: 1369140 markings, 1857369 edges, 16380 markings/sec, 70 secs
lola: 1448620 markings, 1954130 edges, 15896 markings/sec, 75 secs
lola: 1536805 markings, 2061306 edges, 17637 markings/sec, 80 secs
lola: 1625083 markings, 2170251 edges, 17656 markings/sec, 85 secs
lola: 1725045 markings, 2297817 edges, 19992 markings/sec, 90 secs
lola: 1816590 markings, 2414506 edges, 18309 markings/sec, 95 secs
lola: 1907747 markings, 2527974 edges, 18231 markings/sec, 100 secs
lola: 1997274 markings, 2643841 edges, 17905 markings/sec, 105 secs
lola: 2080964 markings, 2745953 edges, 16738 markings/sec, 110 secs
lola: 2169506 markings, 2858585 edges, 17708 markings/sec, 115 secs
lola: 2260281 markings, 2976385 edges, 18155 markings/sec, 120 secs
lola: 2352531 markings, 3092698 edges, 18450 markings/sec, 125 secs
lola: 2436991 markings, 3198555 edges, 16892 markings/sec, 130 secs
lola: 2528828 markings, 3317783 edges, 18367 markings/sec, 135 secs
lola: 2601016 markings, 3405772 edges, 14438 markings/sec, 140 secs
lola: 2687076 markings, 3510232 edges, 17212 markings/sec, 145 secs
lola: 2782046 markings, 3631392 edges, 18994 markings/sec, 150 secs
lola: 2887197 markings, 3765142 edges, 21030 markings/sec, 155 secs
lola: 2991455 markings, 3895248 edges, 20852 markings/sec, 160 secs
lola: 3088883 markings, 4017536 edges, 19486 markings/sec, 165 secs
lola: 3175728 markings, 4125387 edges, 17369 markings/sec, 170 secs
lola: 3255352 markings, 4223318 edges, 15925 markings/sec, 175 secs
lola: 3340108 markings, 4326609 edges, 16951 markings/sec, 180 secs
lola: 3430310 markings, 4441007 edges, 18040 markings/sec, 185 secs
lola: 3528492 markings, 4568755 edges, 19636 markings/sec, 190 secs
lola: 3628506 markings, 4693975 edges, 20003 markings/sec, 195 secs
lola: 3721247 markings, 4810141 edges, 18548 markings/sec, 200 secs
lola: 3812437 markings, 4923957 edges, 18238 markings/sec, 205 secs
lola: 3910074 markings, 5049544 edges, 19527 markings/sec, 210 secs
lola: 3995323 markings, 5155670 edges, 17050 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 155407 markings, 188829 edges, 31081 markings/sec, 0 secs
lola: 288573 markings, 353009 edges, 26633 markings/sec, 5 secs
lola: 406749 markings, 499157 edges, 23635 markings/sec, 10 secs
lola: 518088 markings, 636609 edges, 22268 markings/sec, 15 secs
lola: 636623 markings, 783758 edges, 23707 markings/sec, 20 secs
lola: 752211 markings, 927897 edges, 23118 markings/sec, 25 secs
lola: 862613 markings, 1062953 edges, 22080 markings/sec, 30 secs
lola: 974584 markings, 1199517 edges, 22394 markings/sec, 35 secs
lola: 1090140 markings, 1342766 edges, 23111 markings/sec, 40 secs
lola: 1199305 markings, 1483109 edges, 21833 markings/sec, 45 secs
lola: 1319096 markings, 1631296 edges, 23958 markings/sec, 50 secs
lola: 1436161 markings, 1778148 edges, 23413 markings/sec, 55 secs
lola: 1549405 markings, 1917036 edges, 22649 markings/sec, 60 secs
lola: 1657678 markings, 2063107 edges, 21655 markings/sec, 65 secs
lola: 1749584 markings, 2242133 edges, 18381 markings/sec, 70 secs
lola: 1848703 markings, 2379569 edges, 19824 markings/sec, 75 secs
lola: 1929133 markings, 2556562 edges, 16086 markings/sec, 80 secs
lola: 2033109 markings, 2699115 edges, 20795 markings/sec, 85 secs
lola: 2139195 markings, 2829221 edges, 21217 markings/sec, 90 secs
lola: 2221481 markings, 2981908 edges, 16457 markings/sec, 95 secs
lola: 2313340 markings, 3172646 edges, 18372 markings/sec, 100 secs
lola: 2407941 markings, 3365051 edges, 18920 markings/sec, 105 secs
lola: 2492409 markings, 3535677 edges, 16894 markings/sec, 110 secs
lola: 2564098 markings, 3682310 edges, 14338 markings/sec, 115 secs
lola: 2619411 markings, 3795282 edges, 11063 markings/sec, 120 secs
lola: 2670210 markings, 3898533 edges, 10160 markings/sec, 125 secs
lola: 2716933 markings, 3994023 edges, 9345 markings/sec, 130 secs
lola: 2762282 markings, 4086648 edges, 9070 markings/sec, 135 secs
lola: 2804079 markings, 4172078 edges, 8359 markings/sec, 140 secs
lola: 2848829 markings, 4263457 edges, 8950 markings/sec, 145 secs
lola: 2931079 markings, 4440972 edges, 16450 markings/sec, 150 secs
lola: 3012170 markings, 4638151 edges, 16218 markings/sec, 155 secs
lola: 3130034 markings, 4783314 edges, 23573 markings/sec, 160 secs
lola: 3247507 markings, 4927383 edges, 23495 markings/sec, 165 secs
lola: 3370072 markings, 5077257 edges, 24513 markings/sec, 170 secs
lola: 3485426 markings, 5218113 edges, 23071 markings/sec, 175 secs
lola: 3608017 markings, 5368159 edges, 24518 markings/sec, 180 secs
lola: 3726688 markings, 5513717 edges, 23734 markings/sec, 185 secs
lola: 3840059 markings, 5652042 edges, 22674 markings/sec, 190 secs
lola: 3959703 markings, 5800551 edges, 23929 markings/sec, 195 secs
lola: 4070382 markings, 5939089 edges, 22136 markings/sec, 200 secs
lola: 4184978 markings, 6086103 edges, 22919 markings/sec, 205 secs
lola: 4304991 markings, 6233246 edges, 24003 markings/sec, 210 secs
lola: 4426162 markings, 6384813 edges, 24234 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1093)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 102022 markings, 122792 edges, 20404 markings/sec, 0 secs
lola: 200477 markings, 241600 edges, 19691 markings/sec, 5 secs
lola: 321144 markings, 388893 edges, 24133 markings/sec, 10 secs
lola: 435124 markings, 528943 edges, 22796 markings/sec, 15 secs
lola: 545826 markings, 666159 edges, 22140 markings/sec, 20 secs
lola: 652183 markings, 797742 edges, 21271 markings/sec, 25 secs
lola: 761970 markings, 933568 edges, 21957 markings/sec, 30 secs
lola: 856719 markings, 1049330 edges, 18950 markings/sec, 35 secs
lola: 967178 markings, 1188140 edges, 22092 markings/sec, 40 secs
lola: 1073659 markings, 1321331 edges, 21296 markings/sec, 45 secs
lola: 1175999 markings, 1446905 edges, 20468 markings/sec, 50 secs
lola: 1271275 markings, 1562875 edges, 19055 markings/sec, 55 secs
lola: 1379695 markings, 1694517 edges, 21684 markings/sec, 60 secs
lola: 1504950 markings, 1852658 edges, 25051 markings/sec, 65 secs
lola: 1633809 markings, 2016790 edges, 25772 markings/sec, 70 secs
lola: 1761713 markings, 2178441 edges, 25581 markings/sec, 75 secs
lola: 1875674 markings, 2320609 edges, 22792 markings/sec, 80 secs
lola: 1990324 markings, 2466512 edges, 22930 markings/sec, 85 secs
lola: 2102619 markings, 2611677 edges, 22459 markings/sec, 90 secs
lola: 2216296 markings, 2754304 edges, 22735 markings/sec, 95 secs
lola: 2326839 markings, 2895561 edges, 22109 markings/sec, 100 secs
lola: 2420577 markings, 3010688 edges, 18748 markings/sec, 105 secs
lola: 2532956 markings, 3147916 edges, 22476 markings/sec, 110 secs
lola: 2687369 markings, 3345411 edges, 30883 markings/sec, 115 secs
lola: 2837497 markings, 3533774 edges, 30026 markings/sec, 120 secs
lola: 2966401 markings, 3694792 edges, 25781 markings/sec, 125 secs
lola: 3078709 markings, 3832831 edges, 22462 markings/sec, 130 secs
lola: 3186372 markings, 3964284 edges, 21533 markings/sec, 135 secs
lola: 3322941 markings, 4141064 edges, 27314 markings/sec, 140 secs
lola: 3453687 markings, 4306395 edges, 26149 markings/sec, 145 secs
lola: 3575618 markings, 4459228 edges, 24386 markings/sec, 150 secs
lola: 3698592 markings, 4615941 edges, 24595 markings/sec, 155 secs
lola: 3811058 markings, 4756037 edges, 22493 markings/sec, 160 secs
lola: 3922788 markings, 4892802 edges, 22346 markings/sec, 165 secs
lola: 4006972 markings, 5000484 edges, 16837 markings/sec, 170 secs
lola: 4126746 markings, 5148335 edges, 23955 markings/sec, 175 secs
lola: 4197766 markings, 5234495 edges, 14204 markings/sec, 180 secs
lola: 4334643 markings, 5409852 edges, 27375 markings/sec, 185 secs
lola: 4434095 markings, 5531388 edges, 19890 markings/sec, 190 secs
lola: 4539719 markings, 5661205 edges, 21125 markings/sec, 195 secs
lola: 4646783 markings, 5795233 edges, 21413 markings/sec, 200 secs
lola: 4725645 markings, 5895074 edges, 15772 markings/sec, 205 secs
lola: 4831335 markings, 6025297 edges, 21138 markings/sec, 210 secs
lola: 4922848 markings, 6137059 edges, 18303 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 113454 markings, 210881 edges, 22691 markings/sec, 0 secs
lola: 243085 markings, 446819 edges, 25926 markings/sec, 5 secs
lola: 383198 markings, 671940 edges, 28023 markings/sec, 10 secs
lola: 520412 markings, 882049 edges, 27443 markings/sec, 15 secs
lola: 643241 markings, 1057532 edges, 24566 markings/sec, 20 secs
lola: 763957 markings, 1216144 edges, 24143 markings/sec, 25 secs
lola: 882694 markings, 1380166 edges, 23747 markings/sec, 30 secs
lola: 995598 markings, 1525127 edges, 22581 markings/sec, 35 secs
lola: 1110061 markings, 1677631 edges, 22893 markings/sec, 40 secs
lola: 1219751 markings, 1829367 edges, 21938 markings/sec, 45 secs
lola: 1332569 markings, 1985188 edges, 22564 markings/sec, 50 secs
lola: 1440047 markings, 2131876 edges, 21496 markings/sec, 55 secs
lola: 1546799 markings, 2276649 edges, 21350 markings/sec, 60 secs
lola: 1650162 markings, 2416993 edges, 20673 markings/sec, 65 secs
lola: 1753498 markings, 2556396 edges, 20667 markings/sec, 70 secs
lola: 1850690 markings, 2682385 edges, 19438 markings/sec, 75 secs
lola: 1955264 markings, 2821767 edges, 20915 markings/sec, 80 secs
lola: 2066466 markings, 2975035 edges, 22240 markings/sec, 85 secs
lola: 2160300 markings, 3102503 edges, 18767 markings/sec, 90 secs
lola: 2262786 markings, 3234967 edges, 20497 markings/sec, 95 secs
lola: 2357735 markings, 3371446 edges, 18990 markings/sec, 100 secs
lola: 2469928 markings, 3546036 edges, 22439 markings/sec, 105 secs
lola: 2590404 markings, 3721464 edges, 24095 markings/sec, 110 secs
lola: 2723671 markings, 3890571 edges, 26653 markings/sec, 115 secs
lola: 2848341 markings, 4047212 edges, 24934 markings/sec, 120 secs
lola: 2958880 markings, 4190473 edges, 22108 markings/sec, 125 secs
lola: 3085750 markings, 4361596 edges, 25374 markings/sec, 130 secs
lola: 3209929 markings, 4521907 edges, 24836 markings/sec, 135 secs
lola: 3323990 markings, 4666944 edges, 22812 markings/sec, 140 secs
lola: 3450079 markings, 4840081 edges, 25218 markings/sec, 145 secs
lola: 3574315 markings, 4997739 edges, 24847 markings/sec, 150 secs
lola: 3692784 markings, 5147156 edges, 23694 markings/sec, 155 secs
lola: 3830940 markings, 5359407 edges, 27631 markings/sec, 160 secs
lola: 3965359 markings, 5545679 edges, 26884 markings/sec, 165 secs
lola: 4107785 markings, 5762915 edges, 28485 markings/sec, 170 secs
lola: 4267715 markings, 6001074 edges, 31986 markings/sec, 175 secs
lola: 4403459 markings, 6172962 edges, 27149 markings/sec, 180 secs
lola: 4540896 markings, 6370527 edges, 27487 markings/sec, 185 secs
lola: 4707370 markings, 6649390 edges, 33295 markings/sec, 190 secs
lola: 4864790 markings, 6887427 edges, 31484 markings/sec, 195 secs
lola: 5013829 markings, 7103602 edges, 29808 markings/sec, 200 secs
lola: 5172794 markings, 7346239 edges, 31793 markings/sec, 205 secs
lola: 5327882 markings, 7581721 edges, 31018 markings/sec, 210 secs
lola: 5454604 markings, 7742172 edges, 25344 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 87630 markings, 133860 edges, 17526 markings/sec, 0 secs
lola: 175415 markings, 330978 edges, 17557 markings/sec, 5 secs
lola: 265946 markings, 525123 edges, 18106 markings/sec, 10 secs
lola: 348588 markings, 708072 edges, 16528 markings/sec, 15 secs
lola: 437826 markings, 900496 edges, 17848 markings/sec, 20 secs
lola: 538206 markings, 1105999 edges, 20076 markings/sec, 25 secs
lola: 629279 markings, 1319202 edges, 18215 markings/sec, 30 secs
lola: 718414 markings, 1516256 edges, 17827 markings/sec, 35 secs
lola: 804138 markings, 1703295 edges, 17145 markings/sec, 40 secs
lola: 886429 markings, 1894002 edges, 16458 markings/sec, 45 secs
lola: 968423 markings, 2077374 edges, 16399 markings/sec, 50 secs
lola: 1049315 markings, 2258423 edges, 16178 markings/sec, 55 secs
lola: 1130736 markings, 2440565 edges, 16284 markings/sec, 60 secs
lola: 1208269 markings, 2620804 edges, 15507 markings/sec, 65 secs
lola: 1293830 markings, 2804123 edges, 17112 markings/sec, 70 secs
lola: 1381195 markings, 2994816 edges, 17473 markings/sec, 75 secs
lola: 1461197 markings, 3167322 edges, 16000 markings/sec, 80 secs
lola: 1545205 markings, 3357499 edges, 16802 markings/sec, 85 secs
lola: 1631047 markings, 3550498 edges, 17168 markings/sec, 90 secs
lola: 1715921 markings, 3738996 edges, 16975 markings/sec, 95 secs
lola: 1801438 markings, 3928772 edges, 17103 markings/sec, 100 secs
lola: 1885610 markings, 4124536 edges, 16834 markings/sec, 105 secs
lola: 1972117 markings, 4319343 edges, 17301 markings/sec, 110 secs
lola: 2055744 markings, 4505249 edges, 16725 markings/sec, 115 secs
lola: 2137966 markings, 4679887 edges, 16444 markings/sec, 120 secs
lola: 2217192 markings, 4861529 edges, 15845 markings/sec, 125 secs
lola: 2299496 markings, 5046620 edges, 16461 markings/sec, 130 secs
lola: 2378190 markings, 5218653 edges, 15739 markings/sec, 135 secs
lola: 2456215 markings, 5394931 edges, 15605 markings/sec, 140 secs
lola: 2536766 markings, 5573852 edges, 16110 markings/sec, 145 secs
lola: 2610225 markings, 5746074 edges, 14692 markings/sec, 150 secs
lola: 2686037 markings, 5918254 edges, 15162 markings/sec, 155 secs
lola: 2761979 markings, 6076252 edges, 15188 markings/sec, 160 secs
lola: 2839228 markings, 6254149 edges, 15450 markings/sec, 165 secs
lola: 2917650 markings, 6423600 edges, 15684 markings/sec, 170 secs
lola: 2996934 markings, 6601363 edges, 15857 markings/sec, 175 secs
lola: 3078450 markings, 6784155 edges, 16303 markings/sec, 180 secs
lola: 3153959 markings, 6958951 edges, 15102 markings/sec, 185 secs
lola: 3230594 markings, 7129384 edges, 15327 markings/sec, 190 secs
lola: 3305948 markings, 7295925 edges, 15071 markings/sec, 195 secs
lola: 3386060 markings, 7475496 edges, 16022 markings/sec, 200 secs
lola: 3465853 markings, 7656224 edges, 15959 markings/sec, 205 secs
lola: 3545961 markings, 7839327 edges, 16022 markings/sec, 210 secs
lola: 3622310 markings, 8011512 edges, 15270 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1078)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 100476 markings, 120625 edges, 20095 markings/sec, 0 secs
lola: 204750 markings, 246193 edges, 20855 markings/sec, 5 secs
lola: 304738 markings, 366609 edges, 19998 markings/sec, 10 secs
lola: 424426 markings, 512743 edges, 23938 markings/sec, 15 secs
lola: 542145 markings, 657900 edges, 23544 markings/sec, 20 secs
lola: 656970 markings, 799558 edges, 22965 markings/sec, 25 secs
lola: 771466 markings, 942202 edges, 22899 markings/sec, 30 secs
lola: 877612 markings, 1072327 edges, 21229 markings/sec, 35 secs
lola: 978802 markings, 1196576 edges, 20238 markings/sec, 40 secs
lola: 1091119 markings, 1337581 edges, 22463 markings/sec, 45 secs
lola: 1200613 markings, 1474880 edges, 21899 markings/sec, 50 secs
lola: 1292453 markings, 1586796 edges, 18368 markings/sec, 55 secs
lola: 1383713 markings, 1697922 edges, 18252 markings/sec, 60 secs
lola: 1485556 markings, 1821473 edges, 20369 markings/sec, 65 secs
lola: 1602579 markings, 1969650 edges, 23405 markings/sec, 70 secs
lola: 1717508 markings, 2116298 edges, 22986 markings/sec, 75 secs
lola: 1834809 markings, 2262643 edges, 23460 markings/sec, 80 secs
lola: 1949696 markings, 2408624 edges, 22977 markings/sec, 85 secs
lola: 2056358 markings, 2541507 edges, 21332 markings/sec, 90 secs
lola: 2176966 markings, 2698369 edges, 24122 markings/sec, 95 secs
lola: 2301132 markings, 2854522 edges, 24833 markings/sec, 100 secs
lola: 2415353 markings, 3001225 edges, 22844 markings/sec, 105 secs
lola: 2513588 markings, 3122115 edges, 19647 markings/sec, 110 secs
lola: 2620961 markings, 3252530 edges, 21475 markings/sec, 115 secs
lola: 2765928 markings, 3437968 edges, 28993 markings/sec, 120 secs
lola: 2907144 markings, 3615412 edges, 28243 markings/sec, 125 secs
lola: 3046399 markings, 3789612 edges, 27851 markings/sec, 130 secs
lola: 3156199 markings, 3925450 edges, 21960 markings/sec, 135 secs
lola: 3259818 markings, 4051659 edges, 20724 markings/sec, 140 secs
lola: 3387359 markings, 4215288 edges, 25508 markings/sec, 145 secs
lola: 3514245 markings, 4376609 edges, 25377 markings/sec, 150 secs
lola: 3632764 markings, 4525197 edges, 23704 markings/sec, 155 secs
lola: 3735706 markings, 4653433 edges, 20588 markings/sec, 160 secs
lola: 3851617 markings, 4802171 edges, 23182 markings/sec, 165 secs
lola: 3957356 markings, 4932707 edges, 21148 markings/sec, 170 secs
lola: 4045651 markings, 5040415 edges, 17659 markings/sec, 175 secs
lola: 4138179 markings, 5159583 edges, 18506 markings/sec, 180 secs
lola: 4244067 markings, 5289203 edges, 21178 markings/sec, 185 secs
lola: 4324226 markings, 5388022 edges, 16032 markings/sec, 190 secs
lola: 4452932 markings, 5552157 edges, 25741 markings/sec, 195 secs
lola: 4545012 markings, 5664501 edges, 18416 markings/sec, 200 secs
lola: 4650993 markings, 5795916 edges, 21196 markings/sec, 205 secs
lola: 4764902 markings, 5937768 edges, 22782 markings/sec, 210 secs
lola: 4838110 markings, 6030656 edges, 14642 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p741)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 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: 123381 markings, 223023 edges, 24676 markings/sec, 0 secs
lola: 249397 markings, 449528 edges, 25203 markings/sec, 5 secs
lola: 377275 markings, 663163 edges, 25576 markings/sec, 10 secs
lola: 494491 markings, 871903 edges, 23443 markings/sec, 15 secs
lola: 609635 markings, 1078896 edges, 23029 markings/sec, 20 secs
lola: 735546 markings, 1288953 edges, 25182 markings/sec, 25 secs
lola: 874875 markings, 1512464 edges, 27866 markings/sec, 30 secs
lola: 1001154 markings, 1714468 edges, 25256 markings/sec, 35 secs
lola: 1127042 markings, 1896926 edges, 25178 markings/sec, 40 secs
lola: 1263224 markings, 2106116 edges, 27236 markings/sec, 45 secs
lola: 1404778 markings, 2315008 edges, 28311 markings/sec, 50 secs
lola: 1531847 markings, 2498007 edges, 25414 markings/sec, 55 secs
lola: 1655394 markings, 2675376 edges, 24709 markings/sec, 60 secs
lola: 1782751 markings, 2852223 edges, 25471 markings/sec, 65 secs
lola: 1904239 markings, 3024641 edges, 24298 markings/sec, 70 secs
lola: 2031624 markings, 3202524 edges, 25477 markings/sec, 75 secs
lola: 2159206 markings, 3383168 edges, 25516 markings/sec, 80 secs
lola: 2279472 markings, 3547254 edges, 24053 markings/sec, 85 secs
lola: 2402345 markings, 3713297 edges, 24575 markings/sec, 90 secs
lola: 2523471 markings, 3883306 edges, 24225 markings/sec, 95 secs
lola: 2647900 markings, 4047871 edges, 24886 markings/sec, 100 secs
lola: 2775586 markings, 4220886 edges, 25537 markings/sec, 105 secs
lola: 2899765 markings, 4402042 edges, 24836 markings/sec, 110 secs
lola: 3019167 markings, 4569802 edges, 23880 markings/sec, 115 secs
lola: 3152391 markings, 4760530 edges, 26645 markings/sec, 120 secs
lola: 3302661 markings, 4949271 edges, 30054 markings/sec, 125 secs
lola: 3434259 markings, 5115866 edges, 26320 markings/sec, 130 secs
lola: 3574756 markings, 5303100 edges, 28099 markings/sec, 135 secs
lola: 3691357 markings, 5448622 edges, 23320 markings/sec, 140 secs
lola: 3783948 markings, 5564201 edges, 18518 markings/sec, 145 secs
lola: 3882389 markings, 5687798 edges, 19688 markings/sec, 150 secs
lola: 4001941 markings, 5845942 edges, 23910 markings/sec, 155 secs
lola: 4119106 markings, 5994082 edges, 23433 markings/sec, 160 secs
lola: 4224178 markings, 6143084 edges, 21014 markings/sec, 165 secs
lola: 4318461 markings, 6269563 edges, 18857 markings/sec, 170 secs
lola: 4450254 markings, 6454026 edges, 26359 markings/sec, 175 secs
lola: 4584089 markings, 6621850 edges, 26767 markings/sec, 180 secs
lola: 4686978 markings, 6757919 edges, 20578 markings/sec, 185 secs
lola: 4800386 markings, 6900519 edges, 22682 markings/sec, 190 secs
lola: 4895276 markings, 7019931 edges, 18978 markings/sec, 195 secs
lola: 4986018 markings, 7132712 edges, 18148 markings/sec, 200 secs
lola: 5087409 markings, 7261354 edges, 20278 markings/sec, 205 secs
lola: 5194569 markings, 7400084 edges, 21432 markings/sec, 210 secs
lola: 5316675 markings, 7564150 edges, 24421 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudReconfiguration-PT-314-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-314-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496536636427

--------------------
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="CloudReconfiguration-PT-314"
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/CloudReconfiguration-PT-314.tgz
mv CloudReconfiguration-PT-314 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 CloudReconfiguration-PT-314, 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 r178-csrt-149580961400119"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;