About the Execution of LoLA for CloudReconfiguration-PT-313
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1121.750 | 3539829.00 | 3550199.00 | 180.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-313, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961300110
=====================================================================
--------------------
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-313-UpperBounds-0
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-1
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-10
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-11
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-12
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-13
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-14
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-15
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-2
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-3
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-4
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-5
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-6
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-7
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-8
FORMULA_NAME CloudReconfiguration-PT-313-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496532805634
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
CloudReconfiguration-PT-313: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-313: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-313 @ 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-313-UpperBounds.task
lola: MAX(p1751) : MAX(p2309) : MAX(p1980) : MAX(p734) : MAX(p135) : MAX(p495) : MAX(p1942) : MAX(p111) : MAX(p2168) : MAX(p1202) : MAX(p905) : MAX(p827) : MAX(p1104) : MAX(p1403) : MAX(p785) : MAX(p1754)
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(p1751)
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: 52177 markings, 150769 edges, 10435 markings/sec, 0 secs
lola: 106020 markings, 282695 edges, 10769 markings/sec, 5 secs
lola: 158713 markings, 409025 edges, 10539 markings/sec, 10 secs
lola: 206495 markings, 568925 edges, 9556 markings/sec, 15 secs
lola: 251474 markings, 722347 edges, 8996 markings/sec, 20 secs
lola: 298316 markings, 880082 edges, 9368 markings/sec, 25 secs
lola: 341883 markings, 1028068 edges, 8713 markings/sec, 30 secs
lola: 440124 markings, 1157358 edges, 19648 markings/sec, 35 secs
lola: 543624 markings, 1282087 edges, 20700 markings/sec, 40 secs
lola: 650520 markings, 1410922 edges, 21379 markings/sec, 45 secs
lola: 759290 markings, 1542586 edges, 21754 markings/sec, 50 secs
lola: 865192 markings, 1670782 edges, 21180 markings/sec, 55 secs
lola: 980544 markings, 1811240 edges, 23070 markings/sec, 60 secs
lola: 1107171 markings, 1966439 edges, 25325 markings/sec, 65 secs
lola: 1215593 markings, 2098048 edges, 21684 markings/sec, 70 secs
lola: 1330612 markings, 2236348 edges, 23004 markings/sec, 75 secs
lola: 1434977 markings, 2363376 edges, 20873 markings/sec, 80 secs
lola: 1544825 markings, 2497731 edges, 21970 markings/sec, 85 secs
lola: 1662478 markings, 2642438 edges, 23531 markings/sec, 90 secs
lola: 1769934 markings, 2771421 edges, 21491 markings/sec, 95 secs
lola: 1883971 markings, 2909200 edges, 22807 markings/sec, 100 secs
lola: 2005408 markings, 3058290 edges, 24287 markings/sec, 105 secs
lola: 2112786 markings, 3189484 edges, 21476 markings/sec, 110 secs
lola: 2236379 markings, 3341378 edges, 24719 markings/sec, 115 secs
lola: 2339851 markings, 3467820 edges, 20694 markings/sec, 120 secs
lola: 2481561 markings, 3642275 edges, 28342 markings/sec, 125 secs
lola: 2598293 markings, 3784997 edges, 23346 markings/sec, 130 secs
lola: 2726322 markings, 3942045 edges, 25606 markings/sec, 135 secs
lola: 2855283 markings, 4099938 edges, 25792 markings/sec, 140 secs
lola: 2959591 markings, 4226372 edges, 20862 markings/sec, 145 secs
lola: 3074317 markings, 4367056 edges, 22945 markings/sec, 150 secs
lola: 3196642 markings, 4517261 edges, 24465 markings/sec, 155 secs
lola: 3322982 markings, 4672287 edges, 25268 markings/sec, 160 secs
lola: 3448895 markings, 4826736 edges, 25183 markings/sec, 165 secs
lola: 3571727 markings, 4977125 edges, 24566 markings/sec, 170 secs
lola: 3695164 markings, 5128488 edges, 24687 markings/sec, 175 secs
lola: 3824914 markings, 5287769 edges, 25950 markings/sec, 180 secs
lola: 3938236 markings, 5426089 edges, 22664 markings/sec, 185 secs
lola: 4046467 markings, 5556716 edges, 21646 markings/sec, 190 secs
lola: 4161587 markings, 5697051 edges, 23024 markings/sec, 195 secs
lola: 4277220 markings, 5839323 edges, 23127 markings/sec, 200 secs
lola: 4397949 markings, 5987643 edges, 24146 markings/sec, 205 secs
lola: 4518533 markings, 6135665 edges, 24117 markings/sec, 210 secs
lola: 4641621 markings, 6286499 edges, 24618 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(p2309)
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: 109447 markings, 131736 edges, 21889 markings/sec, 0 secs
lola: 221812 markings, 267433 edges, 22473 markings/sec, 5 secs
lola: 332404 markings, 401036 edges, 22118 markings/sec, 10 secs
lola: 453965 markings, 547028 edges, 24312 markings/sec, 15 secs
lola: 574168 markings, 693418 edges, 24041 markings/sec, 20 secs
lola: 692031 markings, 835946 edges, 23573 markings/sec, 25 secs
lola: 813990 markings, 984332 edges, 24392 markings/sec, 30 secs
lola: 946455 markings, 1146288 edges, 26493 markings/sec, 35 secs
lola: 1075890 markings, 1304611 edges, 25887 markings/sec, 40 secs
lola: 1195566 markings, 1450947 edges, 23935 markings/sec, 45 secs
lola: 1334418 markings, 1621370 edges, 27770 markings/sec, 50 secs
lola: 1458089 markings, 1772501 edges, 24734 markings/sec, 55 secs
lola: 1583750 markings, 1926937 edges, 25132 markings/sec, 60 secs
lola: 1728061 markings, 2103956 edges, 28862 markings/sec, 65 secs
lola: 1849204 markings, 2252655 edges, 24229 markings/sec, 70 secs
lola: 1971794 markings, 2400390 edges, 24518 markings/sec, 75 secs
lola: 2090715 markings, 2543739 edges, 23784 markings/sec, 80 secs
lola: 2213561 markings, 2692196 edges, 24569 markings/sec, 85 secs
lola: 2338466 markings, 2843517 edges, 24981 markings/sec, 90 secs
lola: 2492346 markings, 3034963 edges, 30776 markings/sec, 95 secs
lola: 2639633 markings, 3218828 edges, 29457 markings/sec, 100 secs
lola: 2771215 markings, 3382580 edges, 26316 markings/sec, 105 secs
lola: 2884863 markings, 3524729 edges, 22730 markings/sec, 110 secs
lola: 3000019 markings, 3668720 edges, 23031 markings/sec, 115 secs
lola: 3133870 markings, 3834787 edges, 26770 markings/sec, 120 secs
lola: 3269907 markings, 4006505 edges, 27207 markings/sec, 125 secs
lola: 3395157 markings, 4159397 edges, 25050 markings/sec, 130 secs
lola: 3555199 markings, 4359718 edges, 32008 markings/sec, 135 secs
lola: 3700957 markings, 4541369 edges, 29152 markings/sec, 140 secs
lola: 3825089 markings, 4698821 edges, 24826 markings/sec, 145 secs
lola: 3939811 markings, 4842460 edges, 22944 markings/sec, 150 secs
lola: 4051751 markings, 4982690 edges, 22388 markings/sec, 155 secs
lola: 4188830 markings, 5157546 edges, 27416 markings/sec, 160 secs
lola: 4302809 markings, 5303576 edges, 22796 markings/sec, 165 secs
lola: 4434580 markings, 5463764 edges, 26354 markings/sec, 170 secs
lola: 4596573 markings, 5664920 edges, 32399 markings/sec, 175 secs
lola: 4763496 markings, 5873005 edges, 33385 markings/sec, 180 secs
lola: 4906382 markings, 6054063 edges, 28577 markings/sec, 185 secs
lola: 5034982 markings, 6214785 edges, 25720 markings/sec, 190 secs
lola: 5144297 markings, 6351694 edges, 21863 markings/sec, 195 secs
lola: 5259649 markings, 6495439 edges, 23070 markings/sec, 200 secs
lola: 5378923 markings, 6647160 edges, 23855 markings/sec, 205 secs
lola: 5501131 markings, 6800615 edges, 24442 markings/sec, 210 secs
lola: 5625201 markings, 6955991 edges, 24814 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(p1980)
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: 159764 markings, 192403 edges, 31953 markings/sec, 0 secs
lola: 349829 markings, 424365 edges, 38013 markings/sec, 5 secs
lola: 528487 markings, 642991 edges, 35732 markings/sec, 10 secs
lola: 669455 markings, 815742 edges, 28194 markings/sec, 15 secs
lola: 804555 markings, 981207 edges, 27020 markings/sec, 20 secs
lola: 923981 markings, 1126654 edges, 23885 markings/sec, 25 secs
lola: 1079127 markings, 1314644 edges, 31029 markings/sec, 30 secs
lola: 1212894 markings, 1476363 edges, 26753 markings/sec, 35 secs
lola: 1372209 markings, 1670394 edges, 31863 markings/sec, 40 secs
lola: 1524812 markings, 1855966 edges, 30521 markings/sec, 45 secs
lola: 1651740 markings, 2009243 edges, 25386 markings/sec, 50 secs
lola: 1784394 markings, 2171729 edges, 26531 markings/sec, 55 secs
lola: 1938868 markings, 2361462 edges, 30895 markings/sec, 60 secs
lola: 2077792 markings, 2530891 edges, 27785 markings/sec, 65 secs
lola: 2220805 markings, 2705694 edges, 28603 markings/sec, 70 secs
lola: 2370515 markings, 2889531 edges, 29942 markings/sec, 75 secs
lola: 2539348 markings, 3096685 edges, 33767 markings/sec, 80 secs
lola: 2732660 markings, 3334581 edges, 38662 markings/sec, 85 secs
lola: 2900631 markings, 3540459 edges, 33594 markings/sec, 90 secs
lola: 3084382 markings, 3765200 edges, 36750 markings/sec, 95 secs
lola: 3275817 markings, 4000206 edges, 38287 markings/sec, 100 secs
lola: 3446018 markings, 4208761 edges, 34040 markings/sec, 105 secs
lola: 3610221 markings, 4409105 edges, 32841 markings/sec, 110 secs
lola: 3749125 markings, 4578984 edges, 27781 markings/sec, 115 secs
lola: 3936481 markings, 4809409 edges, 37471 markings/sec, 120 secs
lola: 4132555 markings, 5050391 edges, 39215 markings/sec, 125 secs
lola: 4299697 markings, 5255311 edges, 33428 markings/sec, 130 secs
lola: 4464668 markings, 5456400 edges, 32994 markings/sec, 135 secs
lola: 4598447 markings, 5619338 edges, 26756 markings/sec, 140 secs
lola: 4747912 markings, 5800053 edges, 29893 markings/sec, 145 secs
lola: 4895536 markings, 5981775 edges, 29525 markings/sec, 150 secs
lola: 5072907 markings, 6199980 edges, 35474 markings/sec, 155 secs
lola: 5242657 markings, 6409024 edges, 33950 markings/sec, 160 secs
lola: 5412932 markings, 6618445 edges, 34055 markings/sec, 165 secs
lola: 5612383 markings, 6864990 edges, 39890 markings/sec, 170 secs
lola: 5787518 markings, 7079263 edges, 35027 markings/sec, 175 secs
lola: 5949476 markings, 7276801 edges, 32392 markings/sec, 180 secs
lola: 6126235 markings, 7494924 edges, 35352 markings/sec, 185 secs
lola: 6305456 markings, 7714560 edges, 35844 markings/sec, 190 secs
lola: 6469406 markings, 7915555 edges, 32790 markings/sec, 195 secs
lola: 6636184 markings, 8121049 edges, 33356 markings/sec, 200 secs
lola: 6832150 markings, 8362900 edges, 39193 markings/sec, 205 secs
lola: 6995874 markings, 8562774 edges, 32745 markings/sec, 210 secs
lola: 7140372 markings, 8738673 edges, 28900 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(p734)
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: 121746 markings, 216811 edges, 24349 markings/sec, 0 secs
lola: 282443 markings, 487212 edges, 32139 markings/sec, 5 secs
lola: 427137 markings, 704567 edges, 28939 markings/sec, 10 secs
lola: 580519 markings, 939855 edges, 30676 markings/sec, 15 secs
lola: 724185 markings, 1150615 edges, 28733 markings/sec, 20 secs
lola: 871922 markings, 1365193 edges, 29547 markings/sec, 25 secs
lola: 1003202 markings, 1550004 edges, 26256 markings/sec, 30 secs
lola: 1132421 markings, 1735776 edges, 25844 markings/sec, 35 secs
lola: 1249900 markings, 1890299 edges, 23496 markings/sec, 40 secs
lola: 1372800 markings, 2062609 edges, 24580 markings/sec, 45 secs
lola: 1493621 markings, 2225074 edges, 24164 markings/sec, 50 secs
lola: 1612897 markings, 2387394 edges, 23855 markings/sec, 55 secs
lola: 1734519 markings, 2555375 edges, 24324 markings/sec, 60 secs
lola: 1858203 markings, 2725330 edges, 24737 markings/sec, 65 secs
lola: 1981401 markings, 2894363 edges, 24640 markings/sec, 70 secs
lola: 2109140 markings, 3061399 edges, 25548 markings/sec, 75 secs
lola: 2236977 markings, 3232655 edges, 25567 markings/sec, 80 secs
lola: 2348186 markings, 3377727 edges, 22242 markings/sec, 85 secs
lola: 2493250 markings, 3592294 edges, 29013 markings/sec, 90 secs
lola: 2595362 markings, 3720153 edges, 20422 markings/sec, 95 secs
lola: 2690132 markings, 3837784 edges, 18954 markings/sec, 100 secs
lola: 2800192 markings, 3981175 edges, 22012 markings/sec, 105 secs
lola: 2903119 markings, 4122670 edges, 20585 markings/sec, 110 secs
lola: 3008409 markings, 4261830 edges, 21058 markings/sec, 115 secs
lola: 3150134 markings, 4452434 edges, 28345 markings/sec, 120 secs
lola: 3295632 markings, 4634281 edges, 29100 markings/sec, 125 secs
lola: 3415052 markings, 4785602 edges, 23884 markings/sec, 130 secs
lola: 3546325 markings, 4961127 edges, 26255 markings/sec, 135 secs
lola: 3661796 markings, 5104484 edges, 23094 markings/sec, 140 secs
lola: 3763189 markings, 5231588 edges, 20279 markings/sec, 145 secs
lola: 3858390 markings, 5349874 edges, 19040 markings/sec, 150 secs
lola: 3969080 markings, 5493466 edges, 22138 markings/sec, 155 secs
lola: 4084185 markings, 5643676 edges, 23021 markings/sec, 160 secs
lola: 4216987 markings, 5820885 edges, 26560 markings/sec, 165 secs
lola: 4364271 markings, 6020602 edges, 29457 markings/sec, 170 secs
lola: 4497136 markings, 6186966 edges, 26573 markings/sec, 175 secs
lola: 4648418 markings, 6418895 edges, 30256 markings/sec, 180 secs
lola: 4785869 markings, 6604562 edges, 27490 markings/sec, 185 secs
lola: 4917377 markings, 6784162 edges, 26302 markings/sec, 190 secs
lola: 5063539 markings, 7007384 edges, 29232 markings/sec, 195 secs
lola: 5235438 markings, 7242718 edges, 34380 markings/sec, 200 secs
lola: 5387552 markings, 7433550 edges, 30423 markings/sec, 205 secs
lola: 5573367 markings, 7726582 edges, 37163 markings/sec, 210 secs
lola: 5753688 markings, 7987739 edges, 36064 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(p135)
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: 120230 markings, 196261 edges, 24046 markings/sec, 0 secs
lola: 240523 markings, 401266 edges, 24059 markings/sec, 5 secs
lola: 379614 markings, 613046 edges, 27818 markings/sec, 10 secs
lola: 480445 markings, 774446 edges, 20166 markings/sec, 15 secs
lola: 598774 markings, 918476 edges, 23666 markings/sec, 20 secs
lola: 703479 markings, 1079558 edges, 20941 markings/sec, 25 secs
lola: 823485 markings, 1227643 edges, 24001 markings/sec, 30 secs
lola: 944196 markings, 1375645 edges, 24142 markings/sec, 35 secs
lola: 1048776 markings, 1504696 edges, 20916 markings/sec, 40 secs
lola: 1161448 markings, 1643663 edges, 22534 markings/sec, 45 secs
lola: 1279968 markings, 1792972 edges, 23704 markings/sec, 50 secs
lola: 1400116 markings, 1945814 edges, 24030 markings/sec, 55 secs
lola: 1517211 markings, 2091296 edges, 23419 markings/sec, 60 secs
lola: 1633048 markings, 2237269 edges, 23167 markings/sec, 65 secs
lola: 1766686 markings, 2406846 edges, 26728 markings/sec, 70 secs
lola: 1880983 markings, 2548988 edges, 22859 markings/sec, 75 secs
lola: 2001287 markings, 2698922 edges, 24061 markings/sec, 80 secs
lola: 2115299 markings, 2850700 edges, 22802 markings/sec, 85 secs
lola: 2221580 markings, 2996701 edges, 21256 markings/sec, 90 secs
lola: 2330942 markings, 3133930 edges, 21872 markings/sec, 95 secs
lola: 2428366 markings, 3257875 edges, 19485 markings/sec, 100 secs
lola: 2525963 markings, 3381435 edges, 19519 markings/sec, 105 secs
lola: 2630731 markings, 3512847 edges, 20954 markings/sec, 110 secs
lola: 2742920 markings, 3650442 edges, 22438 markings/sec, 115 secs
lola: 2857810 markings, 3790997 edges, 22978 markings/sec, 120 secs
lola: 2960600 markings, 3917320 edges, 20558 markings/sec, 125 secs
lola: 3074454 markings, 4059463 edges, 22771 markings/sec, 130 secs
lola: 3171448 markings, 4182227 edges, 19399 markings/sec, 135 secs
lola: 3284679 markings, 4321100 edges, 22646 markings/sec, 140 secs
lola: 3394037 markings, 4455232 edges, 21872 markings/sec, 145 secs
lola: 3487033 markings, 4568854 edges, 18599 markings/sec, 150 secs
lola: 3596160 markings, 4702569 edges, 21825 markings/sec, 155 secs
lola: 3685927 markings, 4811704 edges, 17953 markings/sec, 160 secs
lola: 3778429 markings, 4929501 edges, 18500 markings/sec, 165 secs
lola: 3893235 markings, 5070310 edges, 22961 markings/sec, 170 secs
lola: 4005996 markings, 5208434 edges, 22552 markings/sec, 175 secs
lola: 4103152 markings, 5327606 edges, 19431 markings/sec, 180 secs
lola: 4213670 markings, 5464987 edges, 22104 markings/sec, 185 secs
lola: 4304698 markings, 5579728 edges, 18206 markings/sec, 190 secs
lola: 4409065 markings, 5709259 edges, 20873 markings/sec, 195 secs
lola: 4519960 markings, 5845263 edges, 22179 markings/sec, 200 secs
lola: 4618115 markings, 5965064 edges, 19631 markings/sec, 205 secs
lola: 4723528 markings, 6094541 edges, 21083 markings/sec, 210 secs
lola: 4810755 markings, 6200611 edges, 17445 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(p495)
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: 119238 markings, 143874 edges, 23848 markings/sec, 0 secs
lola: 248175 markings, 298635 edges, 25787 markings/sec, 5 secs
lola: 390565 markings, 470632 edges, 28478 markings/sec, 10 secs
lola: 536128 markings, 648724 edges, 29113 markings/sec, 15 secs
lola: 675364 markings, 817337 edges, 27847 markings/sec, 20 secs
lola: 832769 markings, 1009030 edges, 31481 markings/sec, 25 secs
lola: 978000 markings, 1185030 edges, 29046 markings/sec, 30 secs
lola: 1119206 markings, 1359326 edges, 28241 markings/sec, 35 secs
lola: 1248071 markings, 1518283 edges, 25773 markings/sec, 40 secs
lola: 1381828 markings, 1683609 edges, 26751 markings/sec, 45 secs
lola: 1500287 markings, 1830088 edges, 23692 markings/sec, 50 secs
lola: 1620763 markings, 1976352 edges, 24095 markings/sec, 55 secs
lola: 1745612 markings, 2131198 edges, 24970 markings/sec, 60 secs
lola: 1863644 markings, 2278203 edges, 23606 markings/sec, 65 secs
lola: 1983613 markings, 2427498 edges, 23994 markings/sec, 70 secs
lola: 2117289 markings, 2593921 edges, 26735 markings/sec, 75 secs
lola: 2231884 markings, 2739418 edges, 22919 markings/sec, 80 secs
lola: 2341247 markings, 2875676 edges, 21873 markings/sec, 85 secs
lola: 2471909 markings, 3037636 edges, 26132 markings/sec, 90 secs
lola: 2588755 markings, 3185606 edges, 23369 markings/sec, 95 secs
lola: 2696300 markings, 3317506 edges, 21509 markings/sec, 100 secs
lola: 2802066 markings, 3453338 edges, 21153 markings/sec, 105 secs
lola: 2870789 markings, 3611161 edges, 13745 markings/sec, 110 secs
lola: 2973274 markings, 3736861 edges, 20497 markings/sec, 115 secs
lola: 3046431 markings, 3885293 edges, 14631 markings/sec, 120 secs
lola: 3126916 markings, 4034361 edges, 16097 markings/sec, 125 secs
lola: 3227675 markings, 4157921 edges, 20152 markings/sec, 130 secs
lola: 3331765 markings, 4298232 edges, 20818 markings/sec, 135 secs
lola: 3409540 markings, 4465672 edges, 15555 markings/sec, 140 secs
lola: 3511177 markings, 4667840 edges, 20327 markings/sec, 145 secs
lola: 3606950 markings, 4858781 edges, 19155 markings/sec, 150 secs
lola: 3697027 markings, 5038326 edges, 18015 markings/sec, 155 secs
lola: 3780516 markings, 5203038 edges, 16698 markings/sec, 160 secs
lola: 3858144 markings, 5356909 edges, 15526 markings/sec, 165 secs
lola: 3942457 markings, 5521979 edges, 16863 markings/sec, 170 secs
lola: 4018736 markings, 5680332 edges, 15256 markings/sec, 175 secs
lola: 4094326 markings, 5848971 edges, 15118 markings/sec, 180 secs
lola: 4170960 markings, 6014033 edges, 15327 markings/sec, 185 secs
lola: 4280919 markings, 6148895 edges, 21992 markings/sec, 190 secs
lola: 4391762 markings, 6284839 edges, 22169 markings/sec, 195 secs
lola: 4498897 markings, 6415840 edges, 21427 markings/sec, 200 secs
lola: 4603824 markings, 6544198 edges, 20985 markings/sec, 205 secs
lola: 4706465 markings, 6669442 edges, 20528 markings/sec, 210 secs
lola: 4817359 markings, 6805451 edges, 22179 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(p1942)
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: 151004 markings, 311236 edges, 30201 markings/sec, 0 secs
lola: 300995 markings, 624606 edges, 29998 markings/sec, 5 secs
lola: 448291 markings, 933192 edges, 29459 markings/sec, 10 secs
lola: 600564 markings, 1251437 edges, 30455 markings/sec, 15 secs
lola: 753565 markings, 1572775 edges, 30600 markings/sec, 20 secs
lola: 901482 markings, 1880507 edges, 29583 markings/sec, 25 secs
lola: 1048930 markings, 2188299 edges, 29490 markings/sec, 30 secs
lola: 1195846 markings, 2497402 edges, 29383 markings/sec, 35 secs
lola: 1344269 markings, 2807225 edges, 29685 markings/sec, 40 secs
lola: 1491078 markings, 3115153 edges, 29362 markings/sec, 45 secs
lola: 1638145 markings, 3421528 edges, 29413 markings/sec, 50 secs
lola: 1785035 markings, 3729647 edges, 29378 markings/sec, 55 secs
lola: 1938919 markings, 4054309 edges, 30777 markings/sec, 60 secs
lola: 2089433 markings, 4373103 edges, 30103 markings/sec, 65 secs
lola: 2230052 markings, 4669898 edges, 28124 markings/sec, 70 secs
lola: 2363620 markings, 4951786 edges, 26714 markings/sec, 75 secs
lola: 2497733 markings, 5234925 edges, 26823 markings/sec, 80 secs
lola: 2641175 markings, 5538052 edges, 28688 markings/sec, 85 secs
lola: 2773752 markings, 5819157 edges, 26515 markings/sec, 90 secs
lola: 2914471 markings, 6114693 edges, 28144 markings/sec, 95 secs
lola: 3058905 markings, 6407787 edges, 28887 markings/sec, 100 secs
lola: 3196976 markings, 6700054 edges, 27614 markings/sec, 105 secs
lola: 3318691 markings, 6958185 edges, 24343 markings/sec, 110 secs
lola: 3454272 markings, 7245799 edges, 27116 markings/sec, 115 secs
lola: 3589303 markings, 7535725 edges, 27006 markings/sec, 120 secs
lola: 3729092 markings, 7829154 edges, 27958 markings/sec, 125 secs
lola: 3863374 markings, 8112477 edges, 26856 markings/sec, 130 secs
lola: 3978858 markings, 8358222 edges, 23097 markings/sec, 135 secs
lola: 4109701 markings, 8635748 edges, 26169 markings/sec, 140 secs
lola: 4243249 markings, 8921812 edges, 26710 markings/sec, 145 secs
lola: 4377190 markings, 9206705 edges, 26788 markings/sec, 150 secs
lola: 4520651 markings, 9511161 edges, 28692 markings/sec, 155 secs
lola: 4675886 markings, 9838977 edges, 31047 markings/sec, 160 secs
lola: 4830860 markings, 10168413 edges, 30995 markings/sec, 165 secs
lola: 4975166 markings, 10478556 edges, 28861 markings/sec, 170 secs
lola: 5108116 markings, 10757728 edges, 26590 markings/sec, 175 secs
lola: 5234642 markings, 11023474 edges, 25305 markings/sec, 180 secs
lola: 5368373 markings, 11305516 edges, 26746 markings/sec, 185 secs
lola: 5508030 markings, 11597678 edges, 27931 markings/sec, 190 secs
lola: 5656133 markings, 11908699 edges, 29621 markings/sec, 195 secs
lola: 5800486 markings, 12217868 edges, 28871 markings/sec, 200 secs
lola: 5946416 markings, 12529738 edges, 29186 markings/sec, 205 secs
lola: 6093847 markings, 12845706 edges, 29486 markings/sec, 210 secs
lola: 6240119 markings, 13158067 edges, 29254 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(p111)
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: 130785 markings, 204456 edges, 26157 markings/sec, 0 secs
lola: 257461 markings, 415315 edges, 25335 markings/sec, 5 secs
lola: 416364 markings, 641826 edges, 31781 markings/sec, 10 secs
lola: 516954 markings, 811809 edges, 20118 markings/sec, 15 secs
lola: 633975 markings, 957425 edges, 23404 markings/sec, 20 secs
lola: 735722 markings, 1113785 edges, 20349 markings/sec, 25 secs
lola: 858056 markings, 1264637 edges, 24467 markings/sec, 30 secs
lola: 979345 markings, 1413860 edges, 24258 markings/sec, 35 secs
lola: 1088488 markings, 1548311 edges, 21829 markings/sec, 40 secs
lola: 1210205 markings, 1698338 edges, 24343 markings/sec, 45 secs
lola: 1337369 markings, 1858083 edges, 25433 markings/sec, 50 secs
lola: 1458670 markings, 2012497 edges, 24260 markings/sec, 55 secs
lola: 1570255 markings, 2151220 edges, 22317 markings/sec, 60 secs
lola: 1678872 markings, 2287384 edges, 21723 markings/sec, 65 secs
lola: 1800755 markings, 2442263 edges, 24377 markings/sec, 70 secs
lola: 1910282 markings, 2579726 edges, 21905 markings/sec, 75 secs
lola: 2026311 markings, 2724224 edges, 23206 markings/sec, 80 secs
lola: 2139239 markings, 2864316 edges, 22586 markings/sec, 85 secs
lola: 2240449 markings, 3013971 edges, 20242 markings/sec, 90 secs
lola: 2348229 markings, 3148323 edges, 21556 markings/sec, 95 secs
lola: 2439962 markings, 3264608 edges, 18347 markings/sec, 100 secs
lola: 2530972 markings, 3381543 edges, 18202 markings/sec, 105 secs
lola: 2628213 markings, 3501941 edges, 19448 markings/sec, 110 secs
lola: 2734664 markings, 3634867 edges, 21290 markings/sec, 115 secs
lola: 2844488 markings, 3769552 edges, 21965 markings/sec, 120 secs
lola: 2947885 markings, 3895796 edges, 20679 markings/sec, 125 secs
lola: 3041132 markings, 4010877 edges, 18649 markings/sec, 130 secs
lola: 3143138 markings, 4138634 edges, 20401 markings/sec, 135 secs
lola: 3231072 markings, 4249850 edges, 17587 markings/sec, 140 secs
lola: 3337118 markings, 4379910 edges, 21209 markings/sec, 145 secs
lola: 3443918 markings, 4511001 edges, 21360 markings/sec, 150 secs
lola: 3534494 markings, 4621572 edges, 18115 markings/sec, 155 secs
lola: 3645065 markings, 4757108 edges, 22114 markings/sec, 160 secs
lola: 3735422 markings, 4866811 edges, 18071 markings/sec, 165 secs
lola: 3825008 markings, 4981136 edges, 17917 markings/sec, 170 secs
lola: 3931391 markings, 5111598 edges, 21277 markings/sec, 175 secs
lola: 4036407 markings, 5240529 edges, 21003 markings/sec, 180 secs
lola: 4120421 markings, 5342969 edges, 16803 markings/sec, 185 secs
lola: 4214420 markings, 5459088 edges, 18800 markings/sec, 190 secs
lola: 4315074 markings, 5585408 edges, 20131 markings/sec, 195 secs
lola: 4404462 markings, 5698051 edges, 17878 markings/sec, 200 secs
lola: 4511945 markings, 5829869 edges, 21497 markings/sec, 205 secs
lola: 4619069 markings, 5961152 edges, 21425 markings/sec, 210 secs
lola: 4701768 markings, 6062258 edges, 16540 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(p2168)
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: 104824 markings, 159967 edges, 20965 markings/sec, 0 secs
lola: 214739 markings, 319090 edges, 21983 markings/sec, 5 secs
lola: 322391 markings, 483023 edges, 21530 markings/sec, 10 secs
lola: 445883 markings, 666816 edges, 24698 markings/sec, 15 secs
lola: 573362 markings, 836047 edges, 25496 markings/sec, 20 secs
lola: 695357 markings, 998577 edges, 24399 markings/sec, 25 secs
lola: 830161 markings, 1172160 edges, 26961 markings/sec, 30 secs
lola: 962406 markings, 1338828 edges, 26449 markings/sec, 35 secs
lola: 1089552 markings, 1515683 edges, 25429 markings/sec, 40 secs
lola: 1229318 markings, 1702758 edges, 27953 markings/sec, 45 secs
lola: 1356939 markings, 1864876 edges, 25524 markings/sec, 50 secs
lola: 1504195 markings, 2047489 edges, 29451 markings/sec, 55 secs
lola: 1631128 markings, 2210911 edges, 25387 markings/sec, 60 secs
lola: 1758998 markings, 2388612 edges, 25574 markings/sec, 65 secs
lola: 1915979 markings, 2601521 edges, 31396 markings/sec, 70 secs
lola: 2057612 markings, 2780129 edges, 28327 markings/sec, 75 secs
lola: 2179332 markings, 2935110 edges, 24344 markings/sec, 80 secs
lola: 2310476 markings, 3108401 edges, 26229 markings/sec, 85 secs
lola: 2449708 markings, 3279924 edges, 27846 markings/sec, 90 secs
lola: 2583103 markings, 3443266 edges, 26679 markings/sec, 95 secs
lola: 2727060 markings, 3618535 edges, 28791 markings/sec, 100 secs
lola: 2865832 markings, 3789390 edges, 27754 markings/sec, 105 secs
lola: 2991812 markings, 3947427 edges, 25196 markings/sec, 110 secs
lola: 3113958 markings, 4100674 edges, 24429 markings/sec, 115 secs
lola: 3249615 markings, 4269685 edges, 27131 markings/sec, 120 secs
lola: 3396234 markings, 4453251 edges, 29324 markings/sec, 125 secs
lola: 3566262 markings, 4665974 edges, 34006 markings/sec, 130 secs
lola: 3723769 markings, 4863035 edges, 31501 markings/sec, 135 secs
lola: 3870862 markings, 5045362 edges, 29419 markings/sec, 140 secs
lola: 3996898 markings, 5203142 edges, 25207 markings/sec, 145 secs
lola: 4109164 markings, 5343829 edges, 22453 markings/sec, 150 secs
lola: 4221950 markings, 5486655 edges, 22557 markings/sec, 155 secs
lola: 4340590 markings, 5637109 edges, 23728 markings/sec, 160 secs
lola: 4495474 markings, 5831603 edges, 30977 markings/sec, 165 secs
lola: 4644950 markings, 6017847 edges, 29895 markings/sec, 170 secs
lola: 4776470 markings, 6186582 edges, 26304 markings/sec, 175 secs
lola: 4898721 markings, 6340632 edges, 24450 markings/sec, 180 secs
lola: 5023271 markings, 6493396 edges, 24910 markings/sec, 185 secs
lola: 5130474 markings, 6628257 edges, 21441 markings/sec, 190 secs
lola: 5233817 markings, 6757307 edges, 20669 markings/sec, 195 secs
lola: 5343478 markings, 6894098 edges, 21932 markings/sec, 200 secs
lola: 5462113 markings, 7045977 edges, 23727 markings/sec, 205 secs
lola: 5630337 markings, 7257171 edges, 33645 markings/sec, 210 secs
lola: 5797729 markings, 7465752 edges, 33478 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(p1202)
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: 113881 markings, 137027 edges, 22776 markings/sec, 0 secs
lola: 236504 markings, 284751 edges, 24525 markings/sec, 5 secs
lola: 361044 markings, 433717 edges, 24908 markings/sec, 10 secs
lola: 486101 markings, 582693 edges, 25011 markings/sec, 15 secs
lola: 606374 markings, 727276 edges, 24055 markings/sec, 20 secs
lola: 733582 markings, 881582 edges, 25442 markings/sec, 25 secs
lola: 852315 markings, 1024711 edges, 23747 markings/sec, 30 secs
lola: 975314 markings, 1174508 edges, 24600 markings/sec, 35 secs
lola: 1110779 markings, 1339534 edges, 27093 markings/sec, 40 secs
lola: 1234906 markings, 1489883 edges, 24825 markings/sec, 45 secs
lola: 1360604 markings, 1643117 edges, 25140 markings/sec, 50 secs
lola: 1489853 markings, 1801689 edges, 25850 markings/sec, 55 secs
lola: 1605684 markings, 1943384 edges, 23166 markings/sec, 60 secs
lola: 1725671 markings, 2091931 edges, 23997 markings/sec, 65 secs
lola: 1835647 markings, 2226170 edges, 21995 markings/sec, 70 secs
lola: 1954696 markings, 2371520 edges, 23810 markings/sec, 75 secs
lola: 2075344 markings, 2519814 edges, 24130 markings/sec, 80 secs
lola: 2210675 markings, 2687061 edges, 27066 markings/sec, 85 secs
lola: 2341482 markings, 2848490 edges, 26161 markings/sec, 90 secs
lola: 2458854 markings, 2993239 edges, 23474 markings/sec, 95 secs
lola: 2573516 markings, 3133088 edges, 22932 markings/sec, 100 secs
lola: 2700519 markings, 3285768 edges, 25401 markings/sec, 105 secs
lola: 2817920 markings, 3427447 edges, 23480 markings/sec, 110 secs
lola: 2936457 markings, 3569682 edges, 23707 markings/sec, 115 secs
lola: 3042327 markings, 3697606 edges, 21174 markings/sec, 120 secs
lola: 3162654 markings, 3845093 edges, 24065 markings/sec, 125 secs
lola: 3268773 markings, 3977721 edges, 21224 markings/sec, 130 secs
lola: 3385025 markings, 4122993 edges, 23250 markings/sec, 135 secs
lola: 3505501 markings, 4271492 edges, 24095 markings/sec, 140 secs
lola: 3616502 markings, 4410029 edges, 22200 markings/sec, 145 secs
lola: 3775552 markings, 4607282 edges, 31810 markings/sec, 150 secs
lola: 3931675 markings, 4801948 edges, 31225 markings/sec, 155 secs
lola: 4067175 markings, 4971455 edges, 27100 markings/sec, 160 secs
lola: 4185635 markings, 5117371 edges, 23692 markings/sec, 165 secs
lola: 4291366 markings, 5249267 edges, 21146 markings/sec, 170 secs
lola: 4391266 markings, 5374421 edges, 19980 markings/sec, 175 secs
lola: 4506367 markings, 5520958 edges, 23020 markings/sec, 180 secs
lola: 4627601 markings, 5673049 edges, 24247 markings/sec, 185 secs
lola: 4778300 markings, 5860288 edges, 30140 markings/sec, 190 secs
lola: 4911680 markings, 6030225 edges, 26676 markings/sec, 195 secs
lola: 5040779 markings, 6195420 edges, 25820 markings/sec, 200 secs
lola: 5152442 markings, 6330147 edges, 22333 markings/sec, 205 secs
lola: 5268532 markings, 6474521 edges, 23218 markings/sec, 210 secs
lola: 5368235 markings, 6598790 edges, 19941 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(p905)
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: 109892 markings, 180899 edges, 21978 markings/sec, 0 secs
lola: 212906 markings, 343721 edges, 20603 markings/sec, 5 secs
lola: 318453 markings, 480727 edges, 21109 markings/sec, 10 secs
lola: 417727 markings, 633937 edges, 19855 markings/sec, 15 secs
lola: 509870 markings, 745236 edges, 18429 markings/sec, 20 secs
lola: 602151 markings, 856715 edges, 18456 markings/sec, 25 secs
lola: 712927 markings, 990070 edges, 22155 markings/sec, 30 secs
lola: 827642 markings, 1144476 edges, 22943 markings/sec, 35 secs
lola: 931899 markings, 1295224 edges, 20851 markings/sec, 40 secs
lola: 1037291 markings, 1431534 edges, 21078 markings/sec, 45 secs
lola: 1141511 markings, 1591502 edges, 20844 markings/sec, 50 secs
lola: 1258162 markings, 1741599 edges, 23330 markings/sec, 55 secs
lola: 1366962 markings, 1895425 edges, 21760 markings/sec, 60 secs
lola: 1466434 markings, 2034895 edges, 19894 markings/sec, 65 secs
lola: 1578755 markings, 2202543 edges, 22464 markings/sec, 70 secs
lola: 1689586 markings, 2361259 edges, 22166 markings/sec, 75 secs
lola: 1793699 markings, 2500523 edges, 20823 markings/sec, 80 secs
lola: 1913203 markings, 2675953 edges, 23901 markings/sec, 85 secs
lola: 2021664 markings, 2819274 edges, 21692 markings/sec, 90 secs
lola: 2143818 markings, 2983350 edges, 24431 markings/sec, 95 secs
lola: 2248327 markings, 3119660 edges, 20902 markings/sec, 100 secs
lola: 2342649 markings, 3242470 edges, 18864 markings/sec, 105 secs
lola: 2440206 markings, 3365582 edges, 19511 markings/sec, 110 secs
lola: 2547699 markings, 3528075 edges, 21499 markings/sec, 115 secs
lola: 2663794 markings, 3683683 edges, 23219 markings/sec, 120 secs
lola: 2770937 markings, 3814865 edges, 21429 markings/sec, 125 secs
lola: 2891011 markings, 3980945 edges, 24015 markings/sec, 130 secs
lola: 3001779 markings, 4117047 edges, 22154 markings/sec, 135 secs
lola: 3109228 markings, 4254505 edges, 21490 markings/sec, 140 secs
lola: 3223910 markings, 4395240 edges, 22936 markings/sec, 145 secs
lola: 3333713 markings, 4529635 edges, 21961 markings/sec, 150 secs
lola: 3444200 markings, 4671458 edges, 22097 markings/sec, 155 secs
lola: 3553686 markings, 4825770 edges, 21897 markings/sec, 160 secs
lola: 3659657 markings, 5004133 edges, 21194 markings/sec, 165 secs
lola: 3771548 markings, 5164627 edges, 22378 markings/sec, 170 secs
lola: 3890455 markings, 5317752 edges, 23781 markings/sec, 175 secs
lola: 4013525 markings, 5475457 edges, 24614 markings/sec, 180 secs
lola: 4118023 markings, 5606061 edges, 20900 markings/sec, 185 secs
lola: 4231741 markings, 5745953 edges, 22744 markings/sec, 190 secs
lola: 4338718 markings, 5890764 edges, 21395 markings/sec, 195 secs
lola: 4460737 markings, 6042489 edges, 24404 markings/sec, 200 secs
lola: 4576339 markings, 6202236 edges, 23120 markings/sec, 205 secs
lola: 4698486 markings, 6357606 edges, 24429 markings/sec, 210 secs
lola: 4813731 markings, 6516108 edges, 23049 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(p827)
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: 135322 markings, 182073 edges, 27064 markings/sec, 0 secs
lola: 245716 markings, 323648 edges, 22079 markings/sec, 5 secs
lola: 361653 markings, 463680 edges, 23187 markings/sec, 10 secs
lola: 505705 markings, 656655 edges, 28810 markings/sec, 15 secs
lola: 635167 markings, 819573 edges, 25892 markings/sec, 20 secs
lola: 750893 markings, 961083 edges, 23145 markings/sec, 25 secs
lola: 878923 markings, 1119990 edges, 25606 markings/sec, 30 secs
lola: 1028968 markings, 1333274 edges, 30009 markings/sec, 35 secs
lola: 1140734 markings, 1505374 edges, 22353 markings/sec, 40 secs
lola: 1252404 markings, 1642264 edges, 22334 markings/sec, 45 secs
lola: 1387111 markings, 1817275 edges, 26941 markings/sec, 50 secs
lola: 1505635 markings, 1963662 edges, 23705 markings/sec, 55 secs
lola: 1640535 markings, 2150703 edges, 26980 markings/sec, 60 secs
lola: 1777887 markings, 2321680 edges, 27470 markings/sec, 65 secs
lola: 1910090 markings, 2484884 edges, 26441 markings/sec, 70 secs
lola: 2040637 markings, 2645025 edges, 26109 markings/sec, 75 secs
lola: 2175239 markings, 2811149 edges, 26920 markings/sec, 80 secs
lola: 2328684 markings, 3012132 edges, 30689 markings/sec, 85 secs
lola: 2486898 markings, 3209732 edges, 31643 markings/sec, 90 secs
lola: 2628156 markings, 3386449 edges, 28252 markings/sec, 95 secs
lola: 2757364 markings, 3554776 edges, 25842 markings/sec, 100 secs
lola: 2908503 markings, 3744317 edges, 30228 markings/sec, 105 secs
lola: 3052356 markings, 3924288 edges, 28771 markings/sec, 110 secs
lola: 3191981 markings, 4101173 edges, 27925 markings/sec, 115 secs
lola: 3317807 markings, 4256414 edges, 25165 markings/sec, 120 secs
lola: 3468858 markings, 4454124 edges, 30210 markings/sec, 125 secs
lola: 3637310 markings, 4664384 edges, 33690 markings/sec, 130 secs
lola: 3795485 markings, 4862246 edges, 31635 markings/sec, 135 secs
lola: 3933332 markings, 5037502 edges, 27569 markings/sec, 140 secs
lola: 4052770 markings, 5185901 edges, 23888 markings/sec, 145 secs
lola: 4160168 markings, 5319875 edges, 21480 markings/sec, 150 secs
lola: 4273344 markings, 5460727 edges, 22635 markings/sec, 155 secs
lola: 4389698 markings, 5609113 edges, 23271 markings/sec, 160 secs
lola: 4505850 markings, 5755069 edges, 23230 markings/sec, 165 secs
lola: 4607449 markings, 5884798 edges, 20320 markings/sec, 170 secs
lola: 4756489 markings, 6078808 edges, 29808 markings/sec, 175 secs
lola: 4914529 markings, 6276527 edges, 31608 markings/sec, 180 secs
lola: 5027664 markings, 6419245 edges, 22627 markings/sec, 185 secs
lola: 5154250 markings, 6580194 edges, 25317 markings/sec, 190 secs
lola: 5260330 markings, 6711110 edges, 21216 markings/sec, 195 secs
lola: 5359768 markings, 6836081 edges, 19888 markings/sec, 200 secs
lola: 5457309 markings, 6957289 edges, 19508 markings/sec, 205 secs
lola: 5565982 markings, 7095882 edges, 21735 markings/sec, 210 secs
lola: 5677513 markings, 7240750 edges, 22306 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(p1104)
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: 120692 markings, 144872 edges, 24138 markings/sec, 0 secs
lola: 259329 markings, 309765 edges, 27727 markings/sec, 5 secs
lola: 391909 markings, 469783 edges, 26516 markings/sec, 10 secs
lola: 532165 markings, 640282 edges, 28051 markings/sec, 15 secs
lola: 657539 markings, 791568 edges, 25075 markings/sec, 20 secs
lola: 799202 markings, 963485 edges, 28333 markings/sec, 25 secs
lola: 947232 markings, 1144896 edges, 29606 markings/sec, 30 secs
lola: 1079649 markings, 1304410 edges, 26483 markings/sec, 35 secs
lola: 1218020 markings, 1470202 edges, 27674 markings/sec, 40 secs
lola: 1339336 markings, 1618842 edges, 24263 markings/sec, 45 secs
lola: 1473550 markings, 1782055 edges, 26843 markings/sec, 50 secs
lola: 1604955 markings, 1942183 edges, 26281 markings/sec, 55 secs
lola: 1745944 markings, 2115180 edges, 28198 markings/sec, 60 secs
lola: 1890010 markings, 2289306 edges, 28813 markings/sec, 65 secs
lola: 2033720 markings, 2462467 edges, 28742 markings/sec, 70 secs
lola: 2154413 markings, 2608973 edges, 24139 markings/sec, 75 secs
lola: 2286767 markings, 2768247 edges, 26471 markings/sec, 80 secs
lola: 2409747 markings, 2916032 edges, 24596 markings/sec, 85 secs
lola: 2524639 markings, 3054629 edges, 22978 markings/sec, 90 secs
lola: 2638797 markings, 3192284 edges, 22832 markings/sec, 95 secs
lola: 2762125 markings, 3346407 edges, 24666 markings/sec, 100 secs
lola: 2871795 markings, 3482317 edges, 21934 markings/sec, 105 secs
lola: 2993943 markings, 3635584 edges, 24430 markings/sec, 110 secs
lola: 3143534 markings, 3821902 edges, 29918 markings/sec, 115 secs
lola: 3305493 markings, 4023350 edges, 32392 markings/sec, 120 secs
lola: 3455444 markings, 4211205 edges, 29990 markings/sec, 125 secs
lola: 3578795 markings, 4365695 edges, 24670 markings/sec, 130 secs
lola: 3700144 markings, 4514071 edges, 24270 markings/sec, 135 secs
lola: 3858407 markings, 4711217 edges, 31653 markings/sec, 140 secs
lola: 4001604 markings, 4892826 edges, 28639 markings/sec, 145 secs
lola: 4122731 markings, 5044830 edges, 24225 markings/sec, 150 secs
lola: 4234316 markings, 5184837 edges, 22317 markings/sec, 155 secs
lola: 4336501 markings, 5312765 edges, 20437 markings/sec, 160 secs
lola: 4465376 markings, 5476769 edges, 25775 markings/sec, 165 secs
lola: 4571020 markings, 5611254 edges, 21129 markings/sec, 170 secs
lola: 4687056 markings, 5753364 edges, 23207 markings/sec, 175 secs
lola: 4847076 markings, 5950716 edges, 32004 markings/sec, 180 secs
lola: 5029955 markings, 6178311 edges, 36576 markings/sec, 185 secs
lola: 5180006 markings, 6369365 edges, 30010 markings/sec, 190 secs
lola: 5314017 markings, 6537163 edges, 26802 markings/sec, 195 secs
lola: 5430732 markings, 6683442 edges, 23343 markings/sec, 200 secs
lola: 5548479 markings, 6830328 edges, 23549 markings/sec, 205 secs
lola: 5671431 markings, 6986885 edges, 24590 markings/sec, 210 secs
lola: 5822558 markings, 7176841 edges, 30225 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(p1403)
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: 70371 markings, 160852 edges, 14074 markings/sec, 0 secs
lola: 194258 markings, 368939 edges, 24777 markings/sec, 5 secs
lola: 316843 markings, 577274 edges, 24517 markings/sec, 10 secs
lola: 440092 markings, 779063 edges, 24650 markings/sec, 15 secs
lola: 560008 markings, 981042 edges, 23983 markings/sec, 20 secs
lola: 696534 markings, 1210771 edges, 27305 markings/sec, 25 secs
lola: 822676 markings, 1425836 edges, 25228 markings/sec, 30 secs
lola: 975370 markings, 1680797 edges, 30539 markings/sec, 35 secs
lola: 1119211 markings, 1920555 edges, 28768 markings/sec, 40 secs
lola: 1261082 markings, 2153942 edges, 28374 markings/sec, 45 secs
lola: 1400982 markings, 2388026 edges, 27980 markings/sec, 50 secs
lola: 1544944 markings, 2628016 edges, 28792 markings/sec, 55 secs
lola: 1685649 markings, 2859821 edges, 28141 markings/sec, 60 secs
lola: 1841499 markings, 3117304 edges, 31170 markings/sec, 65 secs
lola: 1953934 markings, 3309490 edges, 22487 markings/sec, 70 secs
lola: 2097984 markings, 3548809 edges, 28810 markings/sec, 75 secs
lola: 2243328 markings, 3794372 edges, 29069 markings/sec, 80 secs
lola: 2396089 markings, 4043820 edges, 30552 markings/sec, 85 secs
lola: 2540032 markings, 4284198 edges, 28789 markings/sec, 90 secs
lola: 2696779 markings, 4540239 edges, 31349 markings/sec, 95 secs
lola: 2836378 markings, 4774330 edges, 27920 markings/sec, 100 secs
lola: 2979231 markings, 5013429 edges, 28571 markings/sec, 105 secs
lola: 3134382 markings, 5276290 edges, 31030 markings/sec, 110 secs
lola: 3283751 markings, 5531496 edges, 29874 markings/sec, 115 secs
lola: 3429061 markings, 5778636 edges, 29062 markings/sec, 120 secs
lola: 3567593 markings, 6027834 edges, 27706 markings/sec, 125 secs
lola: 3700038 markings, 6268096 edges, 26489 markings/sec, 130 secs
lola: 3836541 markings, 6504431 edges, 27301 markings/sec, 135 secs
lola: 3965884 markings, 6740001 edges, 25869 markings/sec, 140 secs
lola: 4068036 markings, 6889336 edges, 20430 markings/sec, 145 secs
lola: 4151946 markings, 6990681 edges, 16782 markings/sec, 150 secs
lola: 4240117 markings, 7097297 edges, 17634 markings/sec, 155 secs
lola: 4359739 markings, 7280632 edges, 23924 markings/sec, 160 secs
lola: 4519656 markings, 7547041 edges, 31983 markings/sec, 165 secs
lola: 4667936 markings, 7797356 edges, 29656 markings/sec, 170 secs
lola: 4806006 markings, 8034481 edges, 27614 markings/sec, 175 secs
lola: 4927672 markings, 8261110 edges, 24333 markings/sec, 180 secs
lola: 5082658 markings, 8525919 edges, 30997 markings/sec, 185 secs
lola: 5219672 markings, 8747319 edges, 27403 markings/sec, 190 secs
lola: 5333336 markings, 8917017 edges, 22733 markings/sec, 195 secs
lola: 5442920 markings, 9069342 edges, 21917 markings/sec, 200 secs
lola: 5556430 markings, 9217659 edges, 22702 markings/sec, 205 secs
lola: 5653995 markings, 9337402 edges, 19513 markings/sec, 210 secs
lola: 5809192 markings, 9594025 edges, 31039 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(p785)
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: 111490 markings, 150101 edges, 22298 markings/sec, 0 secs
lola: 214562 markings, 274570 edges, 20614 markings/sec, 5 secs
lola: 325258 markings, 423421 edges, 22139 markings/sec, 10 secs
lola: 448948 markings, 593701 edges, 24738 markings/sec, 15 secs
lola: 560845 markings, 746231 edges, 22379 markings/sec, 20 secs
lola: 668045 markings, 890068 edges, 21440 markings/sec, 25 secs
lola: 775605 markings, 1023070 edges, 21512 markings/sec, 30 secs
lola: 885109 markings, 1159301 edges, 21901 markings/sec, 35 secs
lola: 1000689 markings, 1302747 edges, 23116 markings/sec, 40 secs
lola: 1124494 markings, 1462797 edges, 24761 markings/sec, 45 secs
lola: 1238706 markings, 1607962 edges, 22842 markings/sec, 50 secs
lola: 1350957 markings, 1760393 edges, 22450 markings/sec, 55 secs
lola: 1444723 markings, 1873648 edges, 18753 markings/sec, 60 secs
lola: 1543438 markings, 1993530 edges, 19743 markings/sec, 65 secs
lola: 1653658 markings, 2142236 edges, 22044 markings/sec, 70 secs
lola: 1778038 markings, 2296759 edges, 24876 markings/sec, 75 secs
lola: 1896710 markings, 2450901 edges, 23734 markings/sec, 80 secs
lola: 2001208 markings, 2580098 edges, 20900 markings/sec, 85 secs
lola: 2127018 markings, 2749295 edges, 25162 markings/sec, 90 secs
lola: 2243357 markings, 2892948 edges, 23268 markings/sec, 95 secs
lola: 2346752 markings, 3035268 edges, 20679 markings/sec, 100 secs
lola: 2462033 markings, 3189868 edges, 23056 markings/sec, 105 secs
lola: 2575980 markings, 3345929 edges, 22789 markings/sec, 110 secs
lola: 2697360 markings, 3496213 edges, 24276 markings/sec, 115 secs
lola: 2821104 markings, 3657981 edges, 24749 markings/sec, 120 secs
lola: 2930218 markings, 3796080 edges, 21823 markings/sec, 125 secs
lola: 3056484 markings, 3962617 edges, 25253 markings/sec, 130 secs
lola: 3166055 markings, 4100746 edges, 21914 markings/sec, 135 secs
lola: 3276150 markings, 4245799 edges, 22019 markings/sec, 140 secs
lola: 3385467 markings, 4412016 edges, 21863 markings/sec, 145 secs
lola: 3504542 markings, 4567552 edges, 23815 markings/sec, 150 secs
lola: 3623759 markings, 4718358 edges, 23843 markings/sec, 155 secs
lola: 3744397 markings, 4874604 edges, 24128 markings/sec, 160 secs
lola: 3876621 markings, 5040429 edges, 26445 markings/sec, 165 secs
lola: 3995783 markings, 5205085 edges, 23832 markings/sec, 170 secs
lola: 4112249 markings, 5354392 edges, 23293 markings/sec, 175 secs
lola: 4236214 markings, 5521415 edges, 24793 markings/sec, 180 secs
lola: 4354867 markings, 5681670 edges, 23731 markings/sec, 185 secs
lola: 4463380 markings, 5814362 edges, 21703 markings/sec, 190 secs
lola: 4582409 markings, 5960102 edges, 23806 markings/sec, 195 secs
lola: 4696739 markings, 6100106 edges, 22866 markings/sec, 200 secs
lola: 4804296 markings, 6231798 edges, 21511 markings/sec, 205 secs
lola: 4917992 markings, 6371961 edges, 22739 markings/sec, 210 secs
lola: 5031099 markings, 6510866 edges, 22621 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(p1754)
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: 53188 markings, 152776 edges, 10638 markings/sec, 0 secs
lola: 103156 markings, 316489 edges, 9994 markings/sec, 5 secs
lola: 156036 markings, 451047 edges, 10576 markings/sec, 10 secs
lola: 207295 markings, 574858 edges, 10252 markings/sec, 15 secs
lola: 257819 markings, 735305 edges, 10105 markings/sec, 20 secs
lola: 303699 markings, 891836 edges, 9176 markings/sec, 25 secs
lola: 353123 markings, 1058395 edges, 9885 markings/sec, 30 secs
lola: 398118 markings, 1211255 edges, 8999 markings/sec, 35 secs
lola: 446331 markings, 1374739 edges, 9643 markings/sec, 40 secs
lola: 490947 markings, 1526077 edges, 8923 markings/sec, 45 secs
lola: 538249 markings, 1687202 edges, 9460 markings/sec, 50 secs
lola: 581836 markings, 1834085 edges, 8717 markings/sec, 55 secs
lola: 630255 markings, 1998192 edges, 9684 markings/sec, 60 secs
lola: 674382 markings, 2147861 edges, 8825 markings/sec, 65 secs
lola: 754838 markings, 2285176 edges, 16091 markings/sec, 70 secs
lola: 856482 markings, 2407672 edges, 20329 markings/sec, 75 secs
lola: 959159 markings, 2531763 edges, 20535 markings/sec, 80 secs
lola: 1064157 markings, 2658830 edges, 21000 markings/sec, 85 secs
lola: 1158456 markings, 2772553 edges, 18860 markings/sec, 90 secs
lola: 1263704 markings, 2899901 edges, 21050 markings/sec, 95 secs
lola: 1382542 markings, 3045439 edges, 23768 markings/sec, 100 secs
lola: 1491678 markings, 3178422 edges, 21827 markings/sec, 105 secs
lola: 1605768 markings, 3318252 edges, 22818 markings/sec, 110 secs
lola: 1712211 markings, 3447978 edges, 21289 markings/sec, 115 secs
lola: 1834014 markings, 3597210 edges, 24361 markings/sec, 120 secs
lola: 1949668 markings, 3738653 edges, 23131 markings/sec, 125 secs
lola: 2062715 markings, 3877000 edges, 22609 markings/sec, 130 secs
lola: 2178190 markings, 4018027 edges, 23095 markings/sec, 135 secs
lola: 2308543 markings, 4177996 edges, 26071 markings/sec, 140 secs
lola: 2437108 markings, 4335969 edges, 25713 markings/sec, 145 secs
lola: 2549967 markings, 4474558 edges, 22572 markings/sec, 150 secs
lola: 2681601 markings, 4635927 edges, 26327 markings/sec, 155 secs
lola: 2817848 markings, 4803004 edges, 27249 markings/sec, 160 secs
lola: 2933266 markings, 4944813 edges, 23084 markings/sec, 165 secs
lola: 3052317 markings, 5090052 edges, 23810 markings/sec, 170 secs
lola: 3192704 markings, 5262609 edges, 28077 markings/sec, 175 secs
lola: 3308244 markings, 5401355 edges, 23108 markings/sec, 180 secs
lola: 3421628 markings, 5540403 edges, 22677 markings/sec, 185 secs
lola: 3542812 markings, 5688860 edges, 24237 markings/sec, 190 secs
lola: 3669644 markings, 5844806 edges, 25366 markings/sec, 195 secs
lola: 3785972 markings, 5986886 edges, 23266 markings/sec, 200 secs
lola: 3908129 markings, 6136409 edges, 24431 markings/sec, 205 secs
lola: 4036878 markings, 6294650 edges, 25750 markings/sec, 210 secs
lola: 4165074 markings, 6452147 edges, 25639 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-313-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-313-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496536345463
--------------------
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-313"
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-313.tgz
mv CloudReconfiguration-PT-313 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-313, 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-149580961300110"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;