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

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

=== Now, execution of the tool begins

BK_START 1496535438484


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-402: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-402 @ 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: 7817/65536 symbol table entries, 1515 collisions
lola: preprocessing...
lola: finding significant places
lola: 3554 places, 4263 transitions, 3549 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3719 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-402-UpperBounds.task
lola: MAX(p401) : MAX(p516) : MAX(p3394) : MAX(p2606) : MAX(p981) : MAX(p1252) : MAX(p3285) : MAX(p3065) : MAX(p1524) : MAX(p2272) : MAX(p3389) : MAX(p2039) : MAX(p1623) : MAX(p1786) : MAX(p52) : MAX(p2985)
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(p401)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 105138 markings, 126021 edges, 21028 markings/sec, 0 secs
lola: 217852 markings, 263449 edges, 22543 markings/sec, 5 secs
lola: 332444 markings, 402303 edges, 22918 markings/sec, 10 secs
lola: 439859 markings, 533107 edges, 21483 markings/sec, 15 secs
lola: 549747 markings, 666284 edges, 21978 markings/sec, 20 secs
lola: 654712 markings, 794102 edges, 20993 markings/sec, 25 secs
lola: 764254 markings, 928035 edges, 21908 markings/sec, 30 secs
lola: 879570 markings, 1069366 edges, 23063 markings/sec, 35 secs
lola: 991820 markings, 1206992 edges, 22450 markings/sec, 40 secs
lola: 1106535 markings, 1347677 edges, 22943 markings/sec, 45 secs
lola: 1220535 markings, 1487813 edges, 22800 markings/sec, 50 secs
lola: 1330614 markings, 1619479 edges, 22016 markings/sec, 55 secs
lola: 1453510 markings, 1770256 edges, 24579 markings/sec, 60 secs
lola: 1570906 markings, 1914448 edges, 23479 markings/sec, 65 secs
lola: 1680693 markings, 2048835 edges, 21957 markings/sec, 70 secs
lola: 1793918 markings, 2187968 edges, 22645 markings/sec, 75 secs
lola: 1913058 markings, 2334841 edges, 23828 markings/sec, 80 secs
lola: 2021243 markings, 2468456 edges, 21637 markings/sec, 85 secs
lola: 2132307 markings, 2606001 edges, 22213 markings/sec, 90 secs
lola: 2243418 markings, 2742912 edges, 22222 markings/sec, 95 secs
lola: 2360486 markings, 2888374 edges, 23414 markings/sec, 100 secs
lola: 2481556 markings, 3036179 edges, 24214 markings/sec, 105 secs
lola: 2589031 markings, 3171210 edges, 21495 markings/sec, 110 secs
lola: 2708843 markings, 3318185 edges, 23962 markings/sec, 115 secs
lola: 2819999 markings, 3454474 edges, 22231 markings/sec, 120 secs
lola: 2920985 markings, 3575736 edges, 20197 markings/sec, 125 secs
lola: 3023299 markings, 3700994 edges, 20463 markings/sec, 130 secs
lola: 3129234 markings, 3828917 edges, 21187 markings/sec, 135 secs
lola: 3232161 markings, 3953011 edges, 20585 markings/sec, 140 secs
lola: 3351048 markings, 4098793 edges, 23777 markings/sec, 145 secs
lola: 3471824 markings, 4246818 edges, 24155 markings/sec, 150 secs
lola: 3574849 markings, 4370371 edges, 20605 markings/sec, 155 secs
lola: 3686632 markings, 4507486 edges, 22357 markings/sec, 160 secs
lola: 3798650 markings, 4645635 edges, 22404 markings/sec, 165 secs
lola: 3894771 markings, 4765731 edges, 19224 markings/sec, 170 secs
lola: 3989178 markings, 4882669 edges, 18881 markings/sec, 175 secs
lola: 4108077 markings, 5028457 edges, 23780 markings/sec, 180 secs
lola: 4219149 markings, 5164264 edges, 22214 markings/sec, 185 secs
lola: 4313453 markings, 5277558 edges, 18861 markings/sec, 190 secs
lola: 4426354 markings, 5415942 edges, 22580 markings/sec, 195 secs
lola: 4528516 markings, 5537816 edges, 20432 markings/sec, 200 secs
lola: 4632853 markings, 5664563 edges, 20867 markings/sec, 205 secs
lola: 4749590 markings, 5807717 edges, 23347 markings/sec, 210 secs
lola: 4864610 markings, 5947983 edges, 23004 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(p516)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 88988 markings, 106595 edges, 17798 markings/sec, 0 secs
lola: 184867 markings, 222657 edges, 19176 markings/sec, 5 secs
lola: 281345 markings, 339842 edges, 19296 markings/sec, 10 secs
lola: 367391 markings, 443886 edges, 17209 markings/sec, 15 secs
lola: 456552 markings, 551973 edges, 17832 markings/sec, 20 secs
lola: 545893 markings, 660241 edges, 17868 markings/sec, 25 secs
lola: 639878 markings, 774146 edges, 18797 markings/sec, 30 secs
lola: 736900 markings, 891605 edges, 19404 markings/sec, 35 secs
lola: 833575 markings, 1008638 edges, 19335 markings/sec, 40 secs
lola: 939474 markings, 1138369 edges, 21180 markings/sec, 45 secs
lola: 1044324 markings, 1268138 edges, 20970 markings/sec, 50 secs
lola: 1148899 markings, 1396363 edges, 20915 markings/sec, 55 secs
lola: 1257369 markings, 1530329 edges, 21694 markings/sec, 60 secs
lola: 1358645 markings, 1655533 edges, 20255 markings/sec, 65 secs
lola: 1456999 markings, 1777193 edges, 19671 markings/sec, 70 secs
lola: 1549596 markings, 1889707 edges, 18519 markings/sec, 75 secs
lola: 1638209 markings, 1999232 edges, 17723 markings/sec, 80 secs
lola: 1722546 markings, 2102602 edges, 16867 markings/sec, 85 secs
lola: 1807952 markings, 2207635 edges, 17081 markings/sec, 90 secs
lola: 1900555 markings, 2321201 edges, 18521 markings/sec, 95 secs
lola: 1985019 markings, 2424140 edges, 16893 markings/sec, 100 secs
lola: 2067870 markings, 2526454 edges, 16570 markings/sec, 105 secs
lola: 2170469 markings, 2651712 edges, 20520 markings/sec, 110 secs
lola: 2277827 markings, 2784981 edges, 21472 markings/sec, 115 secs
lola: 2379357 markings, 2910064 edges, 20306 markings/sec, 120 secs
lola: 2482958 markings, 3037371 edges, 20720 markings/sec, 125 secs
lola: 2577214 markings, 3154442 edges, 18851 markings/sec, 130 secs
lola: 2674314 markings, 3275407 edges, 19420 markings/sec, 135 secs
lola: 2769785 markings, 3391803 edges, 19094 markings/sec, 140 secs
lola: 2865854 markings, 3510733 edges, 19214 markings/sec, 145 secs
lola: 2957935 markings, 3623700 edges, 18416 markings/sec, 150 secs
lola: 3052405 markings, 3739580 edges, 18894 markings/sec, 155 secs
lola: 3146855 markings, 3857509 edges, 18890 markings/sec, 160 secs
lola: 3230798 markings, 3961974 edges, 16789 markings/sec, 165 secs
lola: 3308870 markings, 4058914 edges, 15614 markings/sec, 170 secs
lola: 3399504 markings, 4168982 edges, 18127 markings/sec, 175 secs
lola: 3509254 markings, 4303658 edges, 21950 markings/sec, 180 secs
lola: 3617666 markings, 4437648 edges, 21682 markings/sec, 185 secs
lola: 3723699 markings, 4567825 edges, 21207 markings/sec, 190 secs
lola: 3829684 markings, 4698611 edges, 21197 markings/sec, 195 secs
lola: 3922233 markings, 4815017 edges, 18510 markings/sec, 200 secs
lola: 4009146 markings, 4921753 edges, 17383 markings/sec, 205 secs
lola: 4090518 markings, 5021360 edges, 16274 markings/sec, 210 secs
lola: 4179983 markings, 5130104 edges, 17893 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(p3394)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 77801 markings, 109459 edges, 15560 markings/sec, 0 secs
lola: 178528 markings, 231350 edges, 20145 markings/sec, 5 secs
lola: 280543 markings, 355350 edges, 20403 markings/sec, 10 secs
lola: 381344 markings, 477498 edges, 20160 markings/sec, 15 secs
lola: 482267 markings, 600444 edges, 20185 markings/sec, 20 secs
lola: 590853 markings, 732563 edges, 21717 markings/sec, 25 secs
lola: 689925 markings, 853235 edges, 19814 markings/sec, 30 secs
lola: 789771 markings, 974705 edges, 19969 markings/sec, 35 secs
lola: 889091 markings, 1096029 edges, 19864 markings/sec, 40 secs
lola: 989628 markings, 1218378 edges, 20107 markings/sec, 45 secs
lola: 1086939 markings, 1337181 edges, 19462 markings/sec, 50 secs
lola: 1185216 markings, 1456192 edges, 19655 markings/sec, 55 secs
lola: 1287580 markings, 1581123 edges, 20473 markings/sec, 60 secs
lola: 1400484 markings, 1719531 edges, 22581 markings/sec, 65 secs
lola: 1509339 markings, 1854357 edges, 21771 markings/sec, 70 secs
lola: 1615071 markings, 1984165 edges, 21146 markings/sec, 75 secs
lola: 1712956 markings, 2103615 edges, 19577 markings/sec, 80 secs
lola: 1807748 markings, 2218750 edges, 18958 markings/sec, 85 secs
lola: 1905992 markings, 2338630 edges, 19649 markings/sec, 90 secs
lola: 2013073 markings, 2469897 edges, 21416 markings/sec, 95 secs
lola: 2113799 markings, 2595139 edges, 20145 markings/sec, 100 secs
lola: 2212052 markings, 2715921 edges, 19651 markings/sec, 105 secs
lola: 2316440 markings, 2844133 edges, 20878 markings/sec, 110 secs
lola: 2416712 markings, 2967127 edges, 20054 markings/sec, 115 secs
lola: 2515201 markings, 3087900 edges, 19698 markings/sec, 120 secs
lola: 2611287 markings, 3204260 edges, 19217 markings/sec, 125 secs
lola: 2712411 markings, 3327462 edges, 20225 markings/sec, 130 secs
lola: 2821152 markings, 3460809 edges, 21748 markings/sec, 135 secs
lola: 2929513 markings, 3594926 edges, 21672 markings/sec, 140 secs
lola: 3035859 markings, 3725320 edges, 21269 markings/sec, 145 secs
lola: 3142620 markings, 3856912 edges, 21352 markings/sec, 150 secs
lola: 3238061 markings, 3971865 edges, 19088 markings/sec, 155 secs
lola: 3329676 markings, 4083587 edges, 18323 markings/sec, 160 secs
lola: 3437503 markings, 4216198 edges, 21565 markings/sec, 165 secs
lola: 3541165 markings, 4344137 edges, 20732 markings/sec, 170 secs
lola: 3647571 markings, 4475324 edges, 21281 markings/sec, 175 secs
lola: 3744216 markings, 4595568 edges, 19329 markings/sec, 180 secs
lola: 3848862 markings, 4725597 edges, 20929 markings/sec, 185 secs
lola: 3931585 markings, 4826926 edges, 16545 markings/sec, 190 secs
lola: 4015856 markings, 4929357 edges, 16854 markings/sec, 195 secs
lola: 4103985 markings, 5037640 edges, 17626 markings/sec, 200 secs
lola: 4193413 markings, 5147496 edges, 17886 markings/sec, 205 secs
lola: 4284135 markings, 5259440 edges, 18144 markings/sec, 210 secs
lola: 4372751 markings, 5370551 edges, 17723 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(p2606)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 95014 markings, 113993 edges, 19003 markings/sec, 0 secs
lola: 187932 markings, 226523 edges, 18584 markings/sec, 5 secs
lola: 284695 markings, 344041 edges, 19353 markings/sec, 10 secs
lola: 376761 markings, 455495 edges, 18413 markings/sec, 15 secs
lola: 467666 markings, 565488 edges, 18181 markings/sec, 20 secs
lola: 556405 markings, 672928 edges, 17748 markings/sec, 25 secs
lola: 648175 markings, 784236 edges, 18354 markings/sec, 30 secs
lola: 742198 markings, 897892 edges, 18805 markings/sec, 35 secs
lola: 837158 markings, 1012996 edges, 18992 markings/sec, 40 secs
lola: 945808 markings, 1146545 edges, 21730 markings/sec, 45 secs
lola: 1054825 markings, 1281041 edges, 21803 markings/sec, 50 secs
lola: 1161244 markings, 1412310 edges, 21284 markings/sec, 55 secs
lola: 1267627 markings, 1543375 edges, 21277 markings/sec, 60 secs
lola: 1373488 markings, 1674313 edges, 21172 markings/sec, 65 secs
lola: 1471402 markings, 1794396 edges, 19583 markings/sec, 70 secs
lola: 1563799 markings, 1907528 edges, 18479 markings/sec, 75 secs
lola: 1651651 markings, 2015590 edges, 17570 markings/sec, 80 secs
lola: 1736393 markings, 2119443 edges, 16948 markings/sec, 85 secs
lola: 1825829 markings, 2229730 edges, 17887 markings/sec, 90 secs
lola: 1917833 markings, 2342047 edges, 18401 markings/sec, 95 secs
lola: 2003055 markings, 2446517 edges, 17044 markings/sec, 100 secs
lola: 2090617 markings, 2554039 edges, 17512 markings/sec, 105 secs
lola: 2199199 markings, 2687117 edges, 21716 markings/sec, 110 secs
lola: 2306244 markings, 2820053 edges, 21409 markings/sec, 115 secs
lola: 2408674 markings, 2945847 edges, 20486 markings/sec, 120 secs
lola: 2508029 markings, 3069343 edges, 19871 markings/sec, 125 secs
lola: 2610756 markings, 3196326 edges, 20545 markings/sec, 130 secs
lola: 2703278 markings, 3310505 edges, 18504 markings/sec, 135 secs
lola: 2803783 markings, 3433874 edges, 20101 markings/sec, 140 secs
lola: 2901293 markings, 3553908 edges, 19502 markings/sec, 145 secs
lola: 2997692 markings, 3672139 edges, 19280 markings/sec, 150 secs
lola: 3094443 markings, 3792162 edges, 19350 markings/sec, 155 secs
lola: 3187773 markings, 3908890 edges, 18666 markings/sec, 160 secs
lola: 3267474 markings, 4007396 edges, 15940 markings/sec, 165 secs
lola: 3356501 markings, 4116334 edges, 17805 markings/sec, 170 secs
lola: 3460369 markings, 4243620 edges, 20774 markings/sec, 175 secs
lola: 3578086 markings, 4389452 edges, 23543 markings/sec, 180 secs
lola: 3693172 markings, 4530529 edges, 23017 markings/sec, 185 secs
lola: 3808824 markings, 4673436 edges, 23130 markings/sec, 190 secs
lola: 3910371 markings, 4800238 edges, 20309 markings/sec, 195 secs
lola: 4003694 markings, 4915191 edges, 18665 markings/sec, 200 secs
lola: 4088680 markings, 5019111 edges, 16997 markings/sec, 205 secs
lola: 4180397 markings, 5130618 edges, 18343 markings/sec, 210 secs
lola: 4268439 markings, 5239421 edges, 17608 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(p981)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 105119 markings, 182358 edges, 21024 markings/sec, 0 secs
lola: 205503 markings, 354197 edges, 20077 markings/sec, 5 secs
lola: 310596 markings, 536156 edges, 21019 markings/sec, 10 secs
lola: 421318 markings, 731978 edges, 22144 markings/sec, 15 secs
lola: 521762 markings, 906905 edges, 20089 markings/sec, 20 secs
lola: 621696 markings, 1083046 edges, 19987 markings/sec, 25 secs
lola: 721391 markings, 1257923 edges, 19939 markings/sec, 30 secs
lola: 826035 markings, 1442087 edges, 20929 markings/sec, 35 secs
lola: 927419 markings, 1622163 edges, 20277 markings/sec, 40 secs
lola: 1034135 markings, 1811780 edges, 21343 markings/sec, 45 secs
lola: 1135077 markings, 1989679 edges, 20188 markings/sec, 50 secs
lola: 1238497 markings, 2170283 edges, 20684 markings/sec, 55 secs
lola: 1340953 markings, 2349179 edges, 20491 markings/sec, 60 secs
lola: 1442842 markings, 2529697 edges, 20378 markings/sec, 65 secs
lola: 1551657 markings, 2721794 edges, 21763 markings/sec, 70 secs
lola: 1656885 markings, 2907895 edges, 21046 markings/sec, 75 secs
lola: 1756836 markings, 3084960 edges, 19990 markings/sec, 80 secs
lola: 1856533 markings, 3262535 edges, 19939 markings/sec, 85 secs
lola: 1961632 markings, 3446221 edges, 21020 markings/sec, 90 secs
lola: 2067355 markings, 3633351 edges, 21145 markings/sec, 95 secs
lola: 2173450 markings, 3822985 edges, 21219 markings/sec, 100 secs
lola: 2278046 markings, 4007661 edges, 20919 markings/sec, 105 secs
lola: 2383628 markings, 4195558 edges, 21116 markings/sec, 110 secs
lola: 2488214 markings, 4381514 edges, 20917 markings/sec, 115 secs
lola: 2591147 markings, 4562945 edges, 20587 markings/sec, 120 secs
lola: 2695490 markings, 4749482 edges, 20869 markings/sec, 125 secs
lola: 2802959 markings, 4937310 edges, 21494 markings/sec, 130 secs
lola: 2910187 markings, 5128978 edges, 21446 markings/sec, 135 secs
lola: 3021983 markings, 5327474 edges, 22359 markings/sec, 140 secs
lola: 3129501 markings, 5516730 edges, 21504 markings/sec, 145 secs
lola: 3241301 markings, 5716178 edges, 22360 markings/sec, 150 secs
lola: 3353218 markings, 5915033 edges, 22383 markings/sec, 155 secs
lola: 3468628 markings, 6120492 edges, 23082 markings/sec, 160 secs
lola: 3578365 markings, 6317283 edges, 21947 markings/sec, 165 secs
lola: 3687976 markings, 6510444 edges, 21922 markings/sec, 170 secs
lola: 3803314 markings, 6718210 edges, 23068 markings/sec, 175 secs
lola: 3916368 markings, 6917273 edges, 22611 markings/sec, 180 secs
lola: 4025061 markings, 7109046 edges, 21739 markings/sec, 185 secs
lola: 4133391 markings, 7301750 edges, 21666 markings/sec, 190 secs
lola: 4238189 markings, 7486055 edges, 20960 markings/sec, 195 secs
lola: 4344579 markings, 7675517 edges, 21278 markings/sec, 200 secs
lola: 4450839 markings, 7862195 edges, 21252 markings/sec, 205 secs
lola: 4562838 markings, 8060889 edges, 22400 markings/sec, 210 secs
lola: 4670671 markings, 8252767 edges, 21567 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(p1252)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 87986 markings, 105651 edges, 17597 markings/sec, 0 secs
lola: 176746 markings, 212959 edges, 17752 markings/sec, 5 secs
lola: 267335 markings, 323094 edges, 18118 markings/sec, 10 secs
lola: 354646 markings, 428713 edges, 17462 markings/sec, 15 secs
lola: 439421 markings, 531455 edges, 16955 markings/sec, 20 secs
lola: 524757 markings, 634846 edges, 17067 markings/sec, 25 secs
lola: 612303 markings, 740906 edges, 17509 markings/sec, 30 secs
lola: 700792 markings, 848383 edges, 17698 markings/sec, 35 secs
lola: 790277 markings, 956219 edges, 17897 markings/sec, 40 secs
lola: 879064 markings, 1064417 edges, 17757 markings/sec, 45 secs
lola: 978136 markings, 1186585 edges, 19814 markings/sec, 50 secs
lola: 1074750 markings, 1305731 edges, 19323 markings/sec, 55 secs
lola: 1173485 markings, 1427437 edges, 19747 markings/sec, 60 secs
lola: 1268362 markings, 1543950 edges, 18975 markings/sec, 65 secs
lola: 1362345 markings, 1660350 edges, 18797 markings/sec, 70 secs
lola: 1455268 markings, 1775324 edges, 18585 markings/sec, 75 secs
lola: 1541865 markings, 1880450 edges, 17319 markings/sec, 80 secs
lola: 1626617 markings, 1985319 edges, 16950 markings/sec, 85 secs
lola: 1706940 markings, 2083780 edges, 16065 markings/sec, 90 secs
lola: 1790274 markings, 2185920 edges, 16667 markings/sec, 95 secs
lola: 1878603 markings, 2294590 edges, 17666 markings/sec, 100 secs
lola: 1962624 markings, 2396623 edges, 16804 markings/sec, 105 secs
lola: 2037730 markings, 2489379 edges, 15021 markings/sec, 110 secs
lola: 2121032 markings, 2591262 edges, 16660 markings/sec, 115 secs
lola: 2220543 markings, 2713743 edges, 19902 markings/sec, 120 secs
lola: 2314979 markings, 2830847 edges, 18887 markings/sec, 125 secs
lola: 2403607 markings, 2939873 edges, 17726 markings/sec, 130 secs
lola: 2494565 markings, 3052615 edges, 18192 markings/sec, 135 secs
lola: 2582409 markings, 3161166 edges, 17569 markings/sec, 140 secs
lola: 2676319 markings, 3278000 edges, 18782 markings/sec, 145 secs
lola: 2757669 markings, 3377114 edges, 16270 markings/sec, 150 secs
lola: 2846172 markings, 3486616 edges, 17701 markings/sec, 155 secs
lola: 2930451 markings, 3589478 edges, 16856 markings/sec, 160 secs
lola: 3015276 markings, 3693768 edges, 16965 markings/sec, 165 secs
lola: 3103159 markings, 3802885 edges, 17577 markings/sec, 170 secs
lola: 3188346 markings, 3909709 edges, 17037 markings/sec, 175 secs
lola: 3261105 markings, 3999444 edges, 14552 markings/sec, 180 secs
lola: 3338729 markings, 4095027 edges, 15525 markings/sec, 185 secs
lola: 3420618 markings, 4194893 edges, 16378 markings/sec, 190 secs
lola: 3524795 markings, 4322962 edges, 20835 markings/sec, 195 secs
lola: 3626805 markings, 4448947 edges, 20402 markings/sec, 200 secs
lola: 3727391 markings, 4572654 edges, 20117 markings/sec, 205 secs
lola: 3826800 markings, 4695268 edges, 19882 markings/sec, 210 secs
lola: 3915110 markings, 4806095 edges, 17662 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(p3285)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 92225 markings, 110055 edges, 18445 markings/sec, 0 secs
lola: 185322 markings, 222575 edges, 18619 markings/sec, 5 secs
lola: 289701 markings, 348837 edges, 20876 markings/sec, 10 secs
lola: 383498 markings, 461960 edges, 18759 markings/sec, 15 secs
lola: 480005 markings, 578515 edges, 19301 markings/sec, 20 secs
lola: 576796 markings, 695649 edges, 19358 markings/sec, 25 secs
lola: 673229 markings, 811809 edges, 19287 markings/sec, 30 secs
lola: 779494 markings, 940922 edges, 21253 markings/sec, 35 secs
lola: 892736 markings, 1081284 edges, 22648 markings/sec, 40 secs
lola: 996770 markings, 1208951 edges, 20807 markings/sec, 45 secs
lola: 1104751 markings, 1342273 edges, 21596 markings/sec, 50 secs
lola: 1202669 markings, 1461429 edges, 19584 markings/sec, 55 secs
lola: 1307848 markings, 1591898 edges, 21036 markings/sec, 60 secs
lola: 1402317 markings, 1706514 edges, 18894 markings/sec, 65 secs
lola: 1482396 markings, 1804381 edges, 16016 markings/sec, 70 secs
lola: 1565950 markings, 1906561 edges, 16711 markings/sec, 75 secs
lola: 1648783 markings, 2008413 edges, 16567 markings/sec, 80 secs
lola: 1737016 markings, 2116145 edges, 17647 markings/sec, 85 secs
lola: 1825324 markings, 2225340 edges, 17662 markings/sec, 90 secs
lola: 1910795 markings, 2330058 edges, 17094 markings/sec, 95 secs
lola: 1998823 markings, 2438139 edges, 17606 markings/sec, 100 secs
lola: 2111103 markings, 2575994 edges, 22456 markings/sec, 105 secs
lola: 2219950 markings, 2710731 edges, 21769 markings/sec, 110 secs
lola: 2327622 markings, 2843031 edges, 21534 markings/sec, 115 secs
lola: 2427571 markings, 2967807 edges, 19990 markings/sec, 120 secs
lola: 2537796 markings, 3103540 edges, 22045 markings/sec, 125 secs
lola: 2637799 markings, 3226263 edges, 20001 markings/sec, 130 secs
lola: 2738153 markings, 3349193 edges, 20071 markings/sec, 135 secs
lola: 2841382 markings, 3476185 edges, 20646 markings/sec, 140 secs
lola: 2947153 markings, 3605765 edges, 21154 markings/sec, 145 secs
lola: 3052705 markings, 3737262 edges, 21110 markings/sec, 150 secs
lola: 3142229 markings, 3848670 edges, 17905 markings/sec, 155 secs
lola: 3230193 markings, 3957645 edges, 17593 markings/sec, 160 secs
lola: 3327855 markings, 4075930 edges, 19532 markings/sec, 165 secs
lola: 3448250 markings, 4223888 edges, 24079 markings/sec, 170 secs
lola: 3567651 markings, 4371824 edges, 23880 markings/sec, 175 secs
lola: 3687963 markings, 4520197 edges, 24062 markings/sec, 180 secs
lola: 3795155 markings, 4652876 edges, 21438 markings/sec, 185 secs
lola: 3899185 markings, 4781939 edges, 20806 markings/sec, 190 secs
lola: 3988951 markings, 4891718 edges, 17953 markings/sec, 195 secs
lola: 4074723 markings, 4996641 edges, 17154 markings/sec, 200 secs
lola: 4165137 markings, 5107817 edges, 18083 markings/sec, 205 secs
lola: 4255449 markings, 5219196 edges, 18062 markings/sec, 210 secs
lola: 4351144 markings, 5337783 edges, 19139 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(p3065)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 100707 markings, 127041 edges, 20141 markings/sec, 0 secs
lola: 214005 markings, 266740 edges, 22660 markings/sec, 5 secs
lola: 319612 markings, 397768 edges, 21121 markings/sec, 10 secs
lola: 419433 markings, 520246 edges, 19964 markings/sec, 15 secs
lola: 523301 markings, 648483 edges, 20774 markings/sec, 20 secs
lola: 617943 markings, 764207 edges, 18928 markings/sec, 25 secs
lola: 712670 markings, 880025 edges, 18945 markings/sec, 30 secs
lola: 807538 markings, 995869 edges, 18974 markings/sec, 35 secs
lola: 906397 markings, 1117962 edges, 19772 markings/sec, 40 secs
lola: 1003624 markings, 1242009 edges, 19445 markings/sec, 45 secs
lola: 1092852 markings, 1351803 edges, 17846 markings/sec, 50 secs
lola: 1176662 markings, 1454172 edges, 16762 markings/sec, 55 secs
lola: 1265095 markings, 1562354 edges, 17687 markings/sec, 60 secs
lola: 1357821 markings, 1677019 edges, 18545 markings/sec, 65 secs
lola: 1441855 markings, 1782003 edges, 16807 markings/sec, 70 secs
lola: 1542814 markings, 1905222 edges, 20192 markings/sec, 75 secs
lola: 1641948 markings, 2028325 edges, 19827 markings/sec, 80 secs
lola: 1746083 markings, 2157174 edges, 20827 markings/sec, 85 secs
lola: 1847038 markings, 2282207 edges, 20191 markings/sec, 90 secs
lola: 1944266 markings, 2401308 edges, 19446 markings/sec, 95 secs
lola: 2041699 markings, 2520720 edges, 19487 markings/sec, 100 secs
lola: 2132203 markings, 2634235 edges, 18101 markings/sec, 105 secs
lola: 2210146 markings, 2730510 edges, 15589 markings/sec, 110 secs
lola: 2297308 markings, 2836183 edges, 17432 markings/sec, 115 secs
lola: 2395294 markings, 2956617 edges, 19597 markings/sec, 120 secs
lola: 2495151 markings, 3080459 edges, 19971 markings/sec, 125 secs
lola: 2597864 markings, 3206438 edges, 20543 markings/sec, 130 secs
lola: 2704814 markings, 3338672 edges, 21390 markings/sec, 135 secs
lola: 2801528 markings, 3458160 edges, 19343 markings/sec, 140 secs
lola: 2897953 markings, 3580074 edges, 19285 markings/sec, 145 secs
lola: 2992679 markings, 3696990 edges, 18945 markings/sec, 150 secs
lola: 3078376 markings, 3804232 edges, 17139 markings/sec, 155 secs
lola: 3158994 markings, 3901622 edges, 16124 markings/sec, 160 secs
lola: 3247128 markings, 4010341 edges, 17627 markings/sec, 165 secs
lola: 3336657 markings, 4121842 edges, 17906 markings/sec, 170 secs
lola: 3419353 markings, 4223225 edges, 16539 markings/sec, 175 secs
lola: 3504068 markings, 4327518 edges, 16943 markings/sec, 180 secs
lola: 3584700 markings, 4426302 edges, 16126 markings/sec, 185 secs
lola: 3662729 markings, 4522017 edges, 15606 markings/sec, 190 secs
lola: 3747098 markings, 4626289 edges, 16874 markings/sec, 195 secs
lola: 3835613 markings, 4736139 edges, 17703 markings/sec, 200 secs
lola: 3916185 markings, 4836259 edges, 16114 markings/sec, 205 secs
lola: 4001150 markings, 4940920 edges, 16993 markings/sec, 210 secs
lola: 4100204 markings, 5062965 edges, 19811 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(p1524)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 87123 markings, 104516 edges, 17425 markings/sec, 0 secs
lola: 175068 markings, 211003 edges, 17589 markings/sec, 5 secs
lola: 267098 markings, 322690 edges, 18406 markings/sec, 10 secs
lola: 354848 markings, 428890 edges, 17550 markings/sec, 15 secs
lola: 441326 markings, 533760 edges, 17296 markings/sec, 20 secs
lola: 529092 markings, 639756 edges, 17553 markings/sec, 25 secs
lola: 619550 markings, 749613 edges, 18092 markings/sec, 30 secs
lola: 719822 markings, 871438 edges, 20054 markings/sec, 35 secs
lola: 815903 markings, 986905 edges, 19216 markings/sec, 40 secs
lola: 921853 markings, 1116572 edges, 21190 markings/sec, 45 secs
lola: 1034477 markings, 1256125 edges, 22525 markings/sec, 50 secs
lola: 1142143 markings, 1388206 edges, 21533 markings/sec, 55 secs
lola: 1246376 markings, 1517073 edges, 20847 markings/sec, 60 secs
lola: 1344607 markings, 1637981 edges, 19646 markings/sec, 65 secs
lola: 1446079 markings, 1763773 edges, 20294 markings/sec, 70 secs
lola: 1534130 markings, 1870826 edges, 17610 markings/sec, 75 secs
lola: 1620131 markings, 1976957 edges, 17200 markings/sec, 80 secs
lola: 1700086 markings, 2074632 edges, 15991 markings/sec, 85 secs
lola: 1781461 markings, 2174244 edges, 16275 markings/sec, 90 secs
lola: 1866246 markings, 2279084 edges, 16957 markings/sec, 95 secs
lola: 1953257 markings, 2385218 edges, 17402 markings/sec, 100 secs
lola: 2031218 markings, 2481185 edges, 15592 markings/sec, 105 secs
lola: 2112960 markings, 2581037 edges, 16348 markings/sec, 110 secs
lola: 2222894 markings, 2715970 edges, 21987 markings/sec, 115 secs
lola: 2327597 markings, 2846046 edges, 20941 markings/sec, 120 secs
lola: 2428657 markings, 2970113 edges, 20212 markings/sec, 125 secs
lola: 2528632 markings, 3094600 edges, 19995 markings/sec, 130 secs
lola: 2632213 markings, 3222660 edges, 20716 markings/sec, 135 secs
lola: 2726648 markings, 3338927 edges, 18887 markings/sec, 140 secs
lola: 2828941 markings, 3464271 edges, 20459 markings/sec, 145 secs
lola: 2922275 markings, 3579421 edges, 18667 markings/sec, 150 secs
lola: 3013259 markings, 3691037 edges, 18197 markings/sec, 155 secs
lola: 3101280 markings, 3799489 edges, 17604 markings/sec, 160 secs
lola: 3198907 markings, 3922379 edges, 19525 markings/sec, 165 secs
lola: 3277932 markings, 4019974 edges, 15805 markings/sec, 170 secs
lola: 3365786 markings, 4127519 edges, 17571 markings/sec, 175 secs
lola: 3459381 markings, 4242085 edges, 18719 markings/sec, 180 secs
lola: 3571658 markings, 4381008 edges, 22455 markings/sec, 185 secs
lola: 3679861 markings, 4514281 edges, 21641 markings/sec, 190 secs
lola: 3789120 markings, 4649080 edges, 21852 markings/sec, 195 secs
lola: 3892329 markings, 4776732 edges, 20642 markings/sec, 200 secs
lola: 3991672 markings, 4900160 edges, 19869 markings/sec, 205 secs
lola: 4076177 markings, 5003955 edges, 16901 markings/sec, 210 secs
lola: 4163296 markings, 5109595 edges, 17424 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(p2272)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 68319 markings, 154699 edges, 13664 markings/sec, 0 secs
lola: 141357 markings, 322074 edges, 14608 markings/sec, 5 secs
lola: 209577 markings, 476544 edges, 13644 markings/sec, 10 secs
lola: 280871 markings, 640578 edges, 14259 markings/sec, 15 secs
lola: 352192 markings, 805117 edges, 14264 markings/sec, 20 secs
lola: 421314 markings, 964999 edges, 13824 markings/sec, 25 secs
lola: 487904 markings, 1117777 edges, 13318 markings/sec, 30 secs
lola: 557224 markings, 1277881 edges, 13864 markings/sec, 35 secs
lola: 625386 markings, 1436392 edges, 13632 markings/sec, 40 secs
lola: 689424 markings, 1584545 edges, 12808 markings/sec, 45 secs
lola: 755157 markings, 1736080 edges, 13147 markings/sec, 50 secs
lola: 819905 markings, 1885661 edges, 12950 markings/sec, 55 secs
lola: 882528 markings, 2030013 edges, 12525 markings/sec, 60 secs
lola: 947220 markings, 2179435 edges, 12938 markings/sec, 65 secs
lola: 1014431 markings, 2334622 edges, 13442 markings/sec, 70 secs
lola: 1080371 markings, 2486841 edges, 13188 markings/sec, 75 secs
lola: 1147821 markings, 2642072 edges, 13490 markings/sec, 80 secs
lola: 1213784 markings, 2794449 edges, 13193 markings/sec, 85 secs
lola: 1282709 markings, 2953512 edges, 13785 markings/sec, 90 secs
lola: 1352324 markings, 3115039 edges, 13923 markings/sec, 95 secs
lola: 1417903 markings, 3270471 edges, 13116 markings/sec, 100 secs
lola: 1487261 markings, 3431190 edges, 13872 markings/sec, 105 secs
lola: 1555491 markings, 3591475 edges, 13646 markings/sec, 110 secs
lola: 1624044 markings, 3753123 edges, 13711 markings/sec, 115 secs
lola: 1694938 markings, 3918500 edges, 14179 markings/sec, 120 secs
lola: 1758442 markings, 4070348 edges, 12701 markings/sec, 125 secs
lola: 1824072 markings, 4226992 edges, 13126 markings/sec, 130 secs
lola: 1893528 markings, 4386391 edges, 13891 markings/sec, 135 secs
lola: 1960754 markings, 4541757 edges, 13445 markings/sec, 140 secs
lola: 2031784 markings, 4705223 edges, 14206 markings/sec, 145 secs
lola: 2098133 markings, 4858520 edges, 13270 markings/sec, 150 secs
lola: 2163601 markings, 5003030 edges, 13094 markings/sec, 155 secs
lola: 2231574 markings, 5160716 edges, 13595 markings/sec, 160 secs
lola: 2298020 markings, 5310622 edges, 13289 markings/sec, 165 secs
lola: 2363546 markings, 5460862 edges, 13105 markings/sec, 170 secs
lola: 2429850 markings, 5610442 edges, 13261 markings/sec, 175 secs
lola: 2498480 markings, 5769208 edges, 13726 markings/sec, 180 secs
lola: 2567362 markings, 5928965 edges, 13776 markings/sec, 185 secs
lola: 2636496 markings, 6089719 edges, 13827 markings/sec, 190 secs
lola: 2700103 markings, 6231508 edges, 12721 markings/sec, 195 secs
lola: 2765909 markings, 6377561 edges, 13161 markings/sec, 200 secs
lola: 2830898 markings, 6523450 edges, 12998 markings/sec, 205 secs
lola: 2899970 markings, 6683270 edges, 13814 markings/sec, 210 secs
lola: 2966279 markings, 6837357 edges, 13262 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(p3389)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 91590 markings, 109541 edges, 18318 markings/sec, 0 secs
lola: 183818 markings, 221437 edges, 18446 markings/sec, 5 secs
lola: 277256 markings, 334414 edges, 18688 markings/sec, 10 secs
lola: 370548 markings, 447676 edges, 18658 markings/sec, 15 secs
lola: 467647 markings, 565634 edges, 19420 markings/sec, 20 secs
lola: 559572 markings, 676880 edges, 18385 markings/sec, 25 secs
lola: 653809 markings, 790995 edges, 18847 markings/sec, 30 secs
lola: 749267 markings, 906032 edges, 19092 markings/sec, 35 secs
lola: 845165 markings, 1023052 edges, 19180 markings/sec, 40 secs
lola: 951601 markings, 1153308 edges, 21287 markings/sec, 45 secs
lola: 1055066 markings, 1281540 edges, 20693 markings/sec, 50 secs
lola: 1155707 markings, 1405004 edges, 20128 markings/sec, 55 secs
lola: 1258228 markings, 1530995 edges, 20504 markings/sec, 60 secs
lola: 1353606 markings, 1646542 edges, 19076 markings/sec, 65 secs
lola: 1456668 markings, 1772486 edges, 20612 markings/sec, 70 secs
lola: 1559976 markings, 1901024 edges, 20662 markings/sec, 75 secs
lola: 1658376 markings, 2021974 edges, 19680 markings/sec, 80 secs
lola: 1756549 markings, 2142671 edges, 19635 markings/sec, 85 secs
lola: 1856085 markings, 2265933 edges, 19907 markings/sec, 90 secs
lola: 1953235 markings, 2384215 edges, 19430 markings/sec, 95 secs
lola: 2044073 markings, 2493815 edges, 18168 markings/sec, 100 secs
lola: 2133507 markings, 2602993 edges, 17887 markings/sec, 105 secs
lola: 2218912 markings, 2707830 edges, 17081 markings/sec, 110 secs
lola: 2299532 markings, 2806436 edges, 16124 markings/sec, 115 secs
lola: 2383694 markings, 2909572 edges, 16832 markings/sec, 120 secs
lola: 2468001 markings, 3012610 edges, 16861 markings/sec, 125 secs
lola: 2556879 markings, 3123701 edges, 17776 markings/sec, 130 secs
lola: 2644231 markings, 3232299 edges, 17470 markings/sec, 135 secs
lola: 2725625 markings, 3332341 edges, 16279 markings/sec, 140 secs
lola: 2805940 markings, 3432417 edges, 16063 markings/sec, 145 secs
lola: 2912748 markings, 3563653 edges, 21362 markings/sec, 150 secs
lola: 3015696 markings, 3690732 edges, 20590 markings/sec, 155 secs
lola: 3116949 markings, 3815770 edges, 20251 markings/sec, 160 secs
lola: 3216627 markings, 3938864 edges, 19936 markings/sec, 165 secs
lola: 3313113 markings, 4056436 edges, 19297 markings/sec, 170 secs
lola: 3401388 markings, 4164719 edges, 17655 markings/sec, 175 secs
lola: 3487642 markings, 4270551 edges, 17251 markings/sec, 180 secs
lola: 3581418 markings, 4386044 edges, 18755 markings/sec, 185 secs
lola: 3676394 markings, 4503596 edges, 18995 markings/sec, 190 secs
lola: 3767587 markings, 4615154 edges, 18239 markings/sec, 195 secs
lola: 3856405 markings, 4724209 edges, 17764 markings/sec, 200 secs
lola: 3952812 markings, 4844795 edges, 19281 markings/sec, 205 secs
lola: 4029905 markings, 4940002 edges, 15419 markings/sec, 210 secs
lola: 4124803 markings, 5058044 edges, 18980 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(p2039)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 99665 markings, 118540 edges, 19933 markings/sec, 0 secs
lola: 204817 markings, 245509 edges, 21030 markings/sec, 5 secs
lola: 302155 markings, 362798 edges, 19468 markings/sec, 10 secs
lola: 397976 markings, 478330 edges, 19164 markings/sec, 15 secs
lola: 496285 markings, 596572 edges, 19662 markings/sec, 20 secs
lola: 597120 markings, 718678 edges, 20167 markings/sec, 25 secs
lola: 703255 markings, 846393 edges, 21227 markings/sec, 30 secs
lola: 800035 markings, 963042 edges, 19356 markings/sec, 35 secs
lola: 910595 markings, 1098546 edges, 22112 markings/sec, 40 secs
lola: 1020873 markings, 1233745 edges, 22056 markings/sec, 45 secs
lola: 1128225 markings, 1366087 edges, 21470 markings/sec, 50 secs
lola: 1230539 markings, 1492371 edges, 20463 markings/sec, 55 secs
lola: 1334921 markings, 1621522 edges, 20876 markings/sec, 60 secs
lola: 1429832 markings, 1736464 edges, 18982 markings/sec, 65 secs
lola: 1518360 markings, 1845861 edges, 17706 markings/sec, 70 secs
lola: 1601794 markings, 1948158 edges, 16687 markings/sec, 75 secs
lola: 1687495 markings, 2053204 edges, 17140 markings/sec, 80 secs
lola: 1778300 markings, 2165123 edges, 18161 markings/sec, 85 secs
lola: 1864447 markings, 2269581 edges, 17229 markings/sec, 90 secs
lola: 1946392 markings, 2370625 edges, 16389 markings/sec, 95 secs
lola: 2041262 markings, 2486748 edges, 18974 markings/sec, 100 secs
lola: 2147626 markings, 2617271 edges, 21273 markings/sec, 105 secs
lola: 2249663 markings, 2742550 edges, 20407 markings/sec, 110 secs
lola: 2353126 markings, 2870895 edges, 20693 markings/sec, 115 secs
lola: 2452325 markings, 2993312 edges, 19840 markings/sec, 120 secs
lola: 2553286 markings, 3118200 edges, 20192 markings/sec, 125 secs
lola: 2651413 markings, 3237873 edges, 19625 markings/sec, 130 secs
lola: 2748665 markings, 3358140 edges, 19450 markings/sec, 135 secs
lola: 2841108 markings, 3471481 edges, 18489 markings/sec, 140 secs
lola: 2935284 markings, 3586958 edges, 18835 markings/sec, 145 secs
lola: 3030515 markings, 3705909 edges, 19046 markings/sec, 150 secs
lola: 3115140 markings, 3811050 edges, 16925 markings/sec, 155 secs
lola: 3198662 markings, 3913978 edges, 16704 markings/sec, 160 secs
lola: 3289046 markings, 4023453 edges, 18077 markings/sec, 165 secs
lola: 3401838 markings, 4161877 edges, 22558 markings/sec, 170 secs
lola: 3517914 markings, 4304012 edges, 23215 markings/sec, 175 secs
lola: 3625199 markings, 4436536 edges, 21457 markings/sec, 180 secs
lola: 3724349 markings, 4559778 edges, 19830 markings/sec, 185 secs
lola: 3822882 markings, 4682968 edges, 19707 markings/sec, 190 secs
lola: 3914250 markings, 4795201 edges, 18274 markings/sec, 195 secs
lola: 4005317 markings, 4908227 edges, 18213 markings/sec, 200 secs
lola: 4098867 markings, 5020863 edges, 18710 markings/sec, 205 secs
lola: 4189934 markings, 5132423 edges, 18213 markings/sec, 210 secs
lola: 4273383 markings, 5235218 edges, 16690 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(p1623)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 109524 markings, 133623 edges, 21905 markings/sec, 0 secs
lola: 219899 markings, 268651 edges, 22075 markings/sec, 5 secs
lola: 328393 markings, 401342 edges, 21699 markings/sec, 10 secs
lola: 442382 markings, 540912 edges, 22798 markings/sec, 15 secs
lola: 559984 markings, 685012 edges, 23520 markings/sec, 20 secs
lola: 685113 markings, 837805 edges, 25026 markings/sec, 25 secs
lola: 796520 markings, 974519 edges, 22281 markings/sec, 30 secs
lola: 885837 markings, 1125814 edges, 17863 markings/sec, 35 secs
lola: 969908 markings, 1312197 edges, 16814 markings/sec, 40 secs
lola: 1050973 markings, 1492290 edges, 16213 markings/sec, 45 secs
lola: 1129644 markings, 1666791 edges, 15734 markings/sec, 50 secs
lola: 1210589 markings, 1846632 edges, 16189 markings/sec, 55 secs
lola: 1301541 markings, 2048251 edges, 18190 markings/sec, 60 secs
lola: 1391731 markings, 2248470 edges, 18038 markings/sec, 65 secs
lola: 1488935 markings, 2464297 edges, 19441 markings/sec, 70 secs
lola: 1586008 markings, 2679997 edges, 19415 markings/sec, 75 secs
lola: 1663410 markings, 2851752 edges, 15480 markings/sec, 80 secs
lola: 1733638 markings, 2999724 edges, 14046 markings/sec, 85 secs
lola: 1816063 markings, 3171327 edges, 16485 markings/sec, 90 secs
lola: 1886722 markings, 3319383 edges, 14132 markings/sec, 95 secs
lola: 1965324 markings, 3484255 edges, 15720 markings/sec, 100 secs
lola: 2047239 markings, 3657393 edges, 16383 markings/sec, 105 secs
lola: 2119905 markings, 3811015 edges, 14533 markings/sec, 110 secs
lola: 2193140 markings, 3965498 edges, 14647 markings/sec, 115 secs
lola: 2273699 markings, 4134873 edges, 16112 markings/sec, 120 secs
lola: 2335966 markings, 4269791 edges, 12453 markings/sec, 125 secs
lola: 2405294 markings, 4415294 edges, 13866 markings/sec, 130 secs
lola: 2473339 markings, 4560041 edges, 13609 markings/sec, 135 secs
lola: 2541905 markings, 4705895 edges, 13713 markings/sec, 140 secs
lola: 2607328 markings, 4844472 edges, 13085 markings/sec, 145 secs
lola: 2675175 markings, 4986366 edges, 13569 markings/sec, 150 secs
lola: 2744841 markings, 5134209 edges, 13933 markings/sec, 155 secs
lola: 2808345 markings, 5267794 edges, 12701 markings/sec, 160 secs
lola: 2872207 markings, 5402126 edges, 12772 markings/sec, 165 secs
lola: 2938908 markings, 5544341 edges, 13340 markings/sec, 170 secs
lola: 3004783 markings, 5683576 edges, 13175 markings/sec, 175 secs
lola: 3074730 markings, 5829712 edges, 13989 markings/sec, 180 secs
lola: 3142870 markings, 5979147 edges, 13628 markings/sec, 185 secs
lola: 3202731 markings, 6117870 edges, 11972 markings/sec, 190 secs
lola: 3266853 markings, 6259331 edges, 12824 markings/sec, 195 secs
lola: 3336224 markings, 6411456 edges, 13874 markings/sec, 200 secs
lola: 3392009 markings, 6543735 edges, 11157 markings/sec, 205 secs
lola: 3463058 markings, 6698330 edges, 14210 markings/sec, 210 secs
lola: 3523940 markings, 6838340 edges, 12176 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(p1786)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 102511 markings, 124531 edges, 20502 markings/sec, 0 secs
lola: 211434 markings, 274782 edges, 21785 markings/sec, 5 secs
lola: 306461 markings, 391850 edges, 19005 markings/sec, 10 secs
lola: 402428 markings, 511362 edges, 19193 markings/sec, 15 secs
lola: 499749 markings, 631345 edges, 19464 markings/sec, 20 secs
lola: 596571 markings, 750607 edges, 19364 markings/sec, 25 secs
lola: 698378 markings, 875902 edges, 20361 markings/sec, 30 secs
lola: 797525 markings, 998119 edges, 19829 markings/sec, 35 secs
lola: 898667 markings, 1121593 edges, 20228 markings/sec, 40 secs
lola: 1001085 markings, 1264345 edges, 20484 markings/sec, 45 secs
lola: 1110565 markings, 1399159 edges, 21896 markings/sec, 50 secs
lola: 1221179 markings, 1535682 edges, 22123 markings/sec, 55 secs
lola: 1326575 markings, 1668356 edges, 21079 markings/sec, 60 secs
lola: 1426681 markings, 1789611 edges, 20021 markings/sec, 65 secs
lola: 1521364 markings, 1917640 edges, 18937 markings/sec, 70 secs
lola: 1619592 markings, 2040072 edges, 19646 markings/sec, 75 secs
lola: 1723311 markings, 2169160 edges, 20744 markings/sec, 80 secs
lola: 1823496 markings, 2292252 edges, 20037 markings/sec, 85 secs
lola: 1925047 markings, 2417901 edges, 20310 markings/sec, 90 secs
lola: 2025089 markings, 2543733 edges, 20008 markings/sec, 95 secs
lola: 2124848 markings, 2665817 edges, 19952 markings/sec, 100 secs
lola: 2228341 markings, 2792925 edges, 20699 markings/sec, 105 secs
lola: 2334078 markings, 2940052 edges, 21147 markings/sec, 110 secs
lola: 2446805 markings, 3078568 edges, 22545 markings/sec, 115 secs
lola: 2556913 markings, 3214421 edges, 22022 markings/sec, 120 secs
lola: 2664721 markings, 3347388 edges, 21562 markings/sec, 125 secs
lola: 2772944 markings, 3481270 edges, 21645 markings/sec, 130 secs
lola: 2877496 markings, 3613711 edges, 20910 markings/sec, 135 secs
lola: 2976020 markings, 3733451 edges, 19705 markings/sec, 140 secs
lola: 3059327 markings, 3835668 edges, 16661 markings/sec, 145 secs
lola: 3148314 markings, 3957433 edges, 17797 markings/sec, 150 secs
lola: 3253194 markings, 4086885 edges, 20976 markings/sec, 155 secs
lola: 3357154 markings, 4215333 edges, 20792 markings/sec, 160 secs
lola: 3462975 markings, 4345079 edges, 21164 markings/sec, 165 secs
lola: 3556909 markings, 4462629 edges, 18787 markings/sec, 170 secs
lola: 3647503 markings, 4577720 edges, 18119 markings/sec, 175 secs
lola: 3738658 markings, 4690592 edges, 18231 markings/sec, 180 secs
lola: 3821376 markings, 4792298 edges, 16544 markings/sec, 185 secs
lola: 3903566 markings, 4893075 edges, 16438 markings/sec, 190 secs
lola: 3990340 markings, 4999450 edges, 17355 markings/sec, 195 secs
lola: 4078696 markings, 5108536 edges, 17671 markings/sec, 200 secs
lola: 4159501 markings, 5208359 edges, 16161 markings/sec, 205 secs
lola: 4241270 markings, 5310218 edges, 16354 markings/sec, 210 secs
lola: 4324353 markings, 5413259 edges, 16617 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 90254 markings, 108350 edges, 18051 markings/sec, 0 secs
lola: 181686 markings, 218885 edges, 18286 markings/sec, 5 secs
lola: 276296 markings, 333955 edges, 18922 markings/sec, 10 secs
lola: 361795 markings, 437256 edges, 17100 markings/sec, 15 secs
lola: 446676 markings, 540204 edges, 16976 markings/sec, 20 secs
lola: 533212 markings, 644957 edges, 17307 markings/sec, 25 secs
lola: 622599 markings, 753279 edges, 17877 markings/sec, 30 secs
lola: 715386 markings, 866000 edges, 18557 markings/sec, 35 secs
lola: 806434 markings, 975505 edges, 18210 markings/sec, 40 secs
lola: 908943 markings, 1100949 edges, 20502 markings/sec, 45 secs
lola: 1016197 markings, 1234034 edges, 21451 markings/sec, 50 secs
lola: 1118743 markings, 1359719 edges, 20509 markings/sec, 55 secs
lola: 1223588 markings, 1489365 edges, 20969 markings/sec, 60 secs
lola: 1320812 markings, 1608887 edges, 19445 markings/sec, 65 secs
lola: 1423705 markings, 1736639 edges, 20579 markings/sec, 70 secs
lola: 1510262 markings, 1841805 edges, 17311 markings/sec, 75 secs
lola: 1596740 markings, 1948189 edges, 17296 markings/sec, 80 secs
lola: 1674662 markings, 2043771 edges, 15584 markings/sec, 85 secs
lola: 1753956 markings, 2140958 edges, 15859 markings/sec, 90 secs
lola: 1841048 markings, 2248423 edges, 17418 markings/sec, 95 secs
lola: 1928973 markings, 2355664 edges, 17585 markings/sec, 100 secs
lola: 2010880 markings, 2456261 edges, 16381 markings/sec, 105 secs
lola: 2093336 markings, 2557439 edges, 16491 markings/sec, 110 secs
lola: 2195186 markings, 2682107 edges, 20370 markings/sec, 115 secs
lola: 2299305 markings, 2811696 edges, 20824 markings/sec, 120 secs
lola: 2398587 markings, 2933616 edges, 19856 markings/sec, 125 secs
lola: 2498031 markings, 3057085 edges, 19889 markings/sec, 130 secs
lola: 2596890 markings, 3179363 edges, 19772 markings/sec, 135 secs
lola: 2690898 markings, 3295645 edges, 18802 markings/sec, 140 secs
lola: 2787208 markings, 3413215 edges, 19262 markings/sec, 145 secs
lola: 2879368 markings, 3527252 edges, 18432 markings/sec, 150 secs
lola: 2967776 markings, 3635867 edges, 17682 markings/sec, 155 secs
lola: 3057220 markings, 3745525 edges, 17889 markings/sec, 160 secs
lola: 3150145 markings, 3861746 edges, 18585 markings/sec, 165 secs
lola: 3231945 markings, 3963508 edges, 16360 markings/sec, 170 secs
lola: 3309818 markings, 4060139 edges, 15575 markings/sec, 175 secs
lola: 3397618 markings, 4166794 edges, 17560 markings/sec, 180 secs
lola: 3504635 markings, 4298072 edges, 21403 markings/sec, 185 secs
lola: 3618660 markings, 4438979 edges, 22805 markings/sec, 190 secs
lola: 3729898 markings, 4575796 edges, 22248 markings/sec, 195 secs
lola: 3839221 markings, 4710445 edges, 21865 markings/sec, 200 secs
lola: 3935306 markings, 4831585 edges, 19217 markings/sec, 205 secs
lola: 4022644 markings, 4938037 edges, 17468 markings/sec, 210 secs
lola: 4109379 markings, 5044024 edges, 17347 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(p2985)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 444 bytes per marking, with 3 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: 120175 markings, 146468 edges, 24035 markings/sec, 0 secs
lola: 241374 markings, 294857 edges, 24240 markings/sec, 5 secs
lola: 357811 markings, 437393 edges, 23287 markings/sec, 10 secs
lola: 465267 markings, 568966 edges, 21491 markings/sec, 15 secs
lola: 574880 markings, 703196 edges, 21923 markings/sec, 20 secs
lola: 674090 markings, 824787 edges, 19842 markings/sec, 25 secs
lola: 766646 markings, 938091 edges, 18511 markings/sec, 30 secs
lola: 861388 markings, 1090963 edges, 18948 markings/sec, 35 secs
lola: 959946 markings, 1292960 edges, 19712 markings/sec, 40 secs
lola: 1054357 markings, 1487328 edges, 18882 markings/sec, 45 secs
lola: 1146381 markings, 1676808 edges, 18405 markings/sec, 50 secs
lola: 1236190 markings, 1860170 edges, 17962 markings/sec, 55 secs
lola: 1299107 markings, 1991003 edges, 12583 markings/sec, 60 secs
lola: 1383359 markings, 2164080 edges, 16850 markings/sec, 65 secs
lola: 1455045 markings, 2310914 edges, 14337 markings/sec, 70 secs
lola: 1525472 markings, 2455130 edges, 14085 markings/sec, 75 secs
lola: 1586725 markings, 2582991 edges, 12251 markings/sec, 80 secs
lola: 1675061 markings, 2739646 edges, 17667 markings/sec, 85 secs
lola: 1750457 markings, 2899286 edges, 15079 markings/sec, 90 secs
lola: 1822086 markings, 3058461 edges, 14326 markings/sec, 95 secs
lola: 1885753 markings, 3207722 edges, 12733 markings/sec, 100 secs
lola: 1950497 markings, 3354212 edges, 12949 markings/sec, 105 secs
lola: 2026095 markings, 3517044 edges, 15120 markings/sec, 110 secs
lola: 2085993 markings, 3659306 edges, 11980 markings/sec, 115 secs
lola: 2148412 markings, 3806000 edges, 12484 markings/sec, 120 secs
lola: 2222983 markings, 3966530 edges, 14914 markings/sec, 125 secs
lola: 2285312 markings, 4106672 edges, 12466 markings/sec, 130 secs
lola: 2356161 markings, 4262346 edges, 14170 markings/sec, 135 secs
lola: 2430076 markings, 4418062 edges, 14783 markings/sec, 140 secs
lola: 2491449 markings, 4555183 edges, 12275 markings/sec, 145 secs
lola: 2554384 markings, 4694419 edges, 12587 markings/sec, 150 secs
lola: 2627317 markings, 4849034 edges, 14587 markings/sec, 155 secs
lola: 2695318 markings, 4997008 edges, 13600 markings/sec, 160 secs
lola: 2761086 markings, 5141552 edges, 13154 markings/sec, 165 secs
lola: 2821899 markings, 5278724 edges, 12163 markings/sec, 170 secs
lola: 2892124 markings, 5428548 edges, 14045 markings/sec, 175 secs
lola: 2968437 markings, 5590289 edges, 15263 markings/sec, 180 secs
lola: 3045848 markings, 5754635 edges, 15482 markings/sec, 185 secs
lola: 3115149 markings, 5908499 edges, 13860 markings/sec, 190 secs
lola: 3179181 markings, 6049886 edges, 12806 markings/sec, 195 secs
lola: 3251811 markings, 6202932 edges, 14526 markings/sec, 200 secs
lola: 3331181 markings, 6369987 edges, 15874 markings/sec, 205 secs
lola: 3400320 markings, 6525711 edges, 13828 markings/sec, 210 secs
lola: 3463723 markings, 6665777 edges, 12681 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-402-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-402-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496538978517

--------------------
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-402"
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-402.tgz
mv CloudReconfiguration-PT-402 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-402, 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-149580961500191"
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 ;