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

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

=== Now, execution of the tool begins

BK_START 1496533128541


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-315: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-315 @ 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: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-315-UpperBounds.task
lola: MAX(p2204) : MAX(p1630) : MAX(p1998) : MAX(p661) : MAX(p2472) : MAX(p244) : MAX(p2058) : MAX(p1442) : MAX(p1657) : MAX(p777) : MAX(p328) : MAX(p1572) : MAX(p2057) : MAX(p2041) : MAX(p1583) : MAX(p975)
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(p2204)
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: 142773 markings, 229148 edges, 28555 markings/sec, 0 secs
lola: 277984 markings, 448785 edges, 27042 markings/sec, 5 secs
lola: 412764 markings, 651704 edges, 26956 markings/sec, 10 secs
lola: 532817 markings, 819189 edges, 24011 markings/sec, 15 secs
lola: 647950 markings, 996473 edges, 23027 markings/sec, 20 secs
lola: 764945 markings, 1170577 edges, 23399 markings/sec, 25 secs
lola: 888682 markings, 1337277 edges, 24747 markings/sec, 30 secs
lola: 996615 markings, 1496765 edges, 21587 markings/sec, 35 secs
lola: 1106717 markings, 1664549 edges, 22020 markings/sec, 40 secs
lola: 1215441 markings, 1825098 edges, 21745 markings/sec, 45 secs
lola: 1324844 markings, 1984996 edges, 21881 markings/sec, 50 secs
lola: 1434934 markings, 2145507 edges, 22018 markings/sec, 55 secs
lola: 1544830 markings, 2300310 edges, 21979 markings/sec, 60 secs
lola: 1654860 markings, 2457103 edges, 22006 markings/sec, 65 secs
lola: 1765328 markings, 2613595 edges, 22094 markings/sec, 70 secs
lola: 1891319 markings, 2785078 edges, 25198 markings/sec, 75 secs
lola: 2035785 markings, 2977864 edges, 28893 markings/sec, 80 secs
lola: 2181831 markings, 3163245 edges, 29209 markings/sec, 85 secs
lola: 2324334 markings, 3341479 edges, 28501 markings/sec, 90 secs
lola: 2450822 markings, 3504325 edges, 25298 markings/sec, 95 secs
lola: 2591883 markings, 3684127 edges, 28212 markings/sec, 100 secs
lola: 2738925 markings, 3869052 edges, 29408 markings/sec, 105 secs
lola: 2878993 markings, 4046010 edges, 28014 markings/sec, 110 secs
lola: 3010322 markings, 4210172 edges, 26266 markings/sec, 115 secs
lola: 3153294 markings, 4391885 edges, 28594 markings/sec, 120 secs
lola: 3296337 markings, 4576313 edges, 28609 markings/sec, 125 secs
lola: 3438209 markings, 4758285 edges, 28374 markings/sec, 130 secs
lola: 3557199 markings, 4930146 edges, 23798 markings/sec, 135 secs
lola: 3652254 markings, 5086921 edges, 19011 markings/sec, 140 secs
lola: 3768336 markings, 5251587 edges, 23216 markings/sec, 145 secs
lola: 3859210 markings, 5400283 edges, 18175 markings/sec, 150 secs
lola: 3982622 markings, 5554293 edges, 24682 markings/sec, 155 secs
lola: 4103006 markings, 5724230 edges, 24077 markings/sec, 160 secs
lola: 4209620 markings, 5886642 edges, 21323 markings/sec, 165 secs
lola: 4323637 markings, 6049496 edges, 22803 markings/sec, 170 secs
lola: 4427105 markings, 6210237 edges, 20694 markings/sec, 175 secs
lola: 4515563 markings, 6355558 edges, 17692 markings/sec, 180 secs
lola: 4628184 markings, 6519014 edges, 22524 markings/sec, 185 secs
lola: 4731933 markings, 6678475 edges, 20750 markings/sec, 190 secs
lola: 4828057 markings, 6826219 edges, 19225 markings/sec, 195 secs
lola: 4944262 markings, 6994653 edges, 23241 markings/sec, 200 secs
lola: 5041259 markings, 7151567 edges, 19399 markings/sec, 205 secs
lola: 5154639 markings, 7297869 edges, 22676 markings/sec, 210 secs
lola: 5279359 markings, 7464602 edges, 24944 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(p1630)
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: 139753 markings, 200391 edges, 27951 markings/sec, 0 secs
lola: 274956 markings, 378387 edges, 27041 markings/sec, 5 secs
lola: 410105 markings, 546574 edges, 27030 markings/sec, 10 secs
lola: 544846 markings, 715291 edges, 26948 markings/sec, 15 secs
lola: 669970 markings, 869387 edges, 25025 markings/sec, 20 secs
lola: 800811 markings, 1033746 edges, 26168 markings/sec, 25 secs
lola: 925550 markings, 1189886 edges, 24948 markings/sec, 30 secs
lola: 1040270 markings, 1331217 edges, 22944 markings/sec, 35 secs
lola: 1145758 markings, 1461767 edges, 21098 markings/sec, 40 secs
lola: 1271043 markings, 1629096 edges, 25057 markings/sec, 45 secs
lola: 1409810 markings, 1806050 edges, 27753 markings/sec, 50 secs
lola: 1540092 markings, 1972953 edges, 26056 markings/sec, 55 secs
lola: 1647380 markings, 2104483 edges, 21458 markings/sec, 60 secs
lola: 1776273 markings, 2277897 edges, 25779 markings/sec, 65 secs
lola: 1902774 markings, 2438763 edges, 25300 markings/sec, 70 secs
lola: 2024140 markings, 2596062 edges, 24273 markings/sec, 75 secs
lola: 2138238 markings, 2736654 edges, 22820 markings/sec, 80 secs
lola: 2276460 markings, 2921313 edges, 27644 markings/sec, 85 secs
lola: 2437877 markings, 3126497 edges, 32283 markings/sec, 90 secs
lola: 2584788 markings, 3311489 edges, 29382 markings/sec, 95 secs
lola: 2713682 markings, 3474505 edges, 25779 markings/sec, 100 secs
lola: 2819964 markings, 3613750 edges, 21256 markings/sec, 105 secs
lola: 2968095 markings, 3805080 edges, 29626 markings/sec, 110 secs
lola: 3106697 markings, 3979694 edges, 27720 markings/sec, 115 secs
lola: 3227870 markings, 4134380 edges, 24235 markings/sec, 120 secs
lola: 3349724 markings, 4288583 edges, 24371 markings/sec, 125 secs
lola: 3469039 markings, 4435264 edges, 23863 markings/sec, 130 secs
lola: 3567108 markings, 4558129 edges, 19614 markings/sec, 135 secs
lola: 3649155 markings, 4662380 edges, 16409 markings/sec, 140 secs
lola: 3773010 markings, 4814518 edges, 24771 markings/sec, 145 secs
lola: 3848776 markings, 4910430 edges, 15153 markings/sec, 150 secs
lola: 3969535 markings, 5059413 edges, 24152 markings/sec, 155 secs
lola: 4056241 markings, 5169723 edges, 17341 markings/sec, 160 secs
lola: 4168457 markings, 5311306 edges, 22443 markings/sec, 165 secs
lola: 4282478 markings, 5453525 edges, 22804 markings/sec, 170 secs
lola: 4356869 markings, 5547374 edges, 14878 markings/sec, 175 secs
lola: 4470117 markings, 5687235 edges, 22650 markings/sec, 180 secs
lola: 4568251 markings, 5809287 edges, 19627 markings/sec, 185 secs
lola: 4656822 markings, 5923337 edges, 17714 markings/sec, 190 secs
lola: 4799197 markings, 6110000 edges, 28475 markings/sec, 195 secs
lola: 4895912 markings, 6230449 edges, 19343 markings/sec, 200 secs
lola: 5004598 markings, 6367059 edges, 21737 markings/sec, 205 secs
lola: 5099674 markings, 6485380 edges, 19015 markings/sec, 210 secs
lola: 5208140 markings, 6621311 edges, 21693 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(p1998)
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: 178050 markings, 310284 edges, 35610 markings/sec, 0 secs
lola: 360375 markings, 631780 edges, 36465 markings/sec, 5 secs
lola: 535703 markings, 951656 edges, 35066 markings/sec, 10 secs
lola: 698609 markings, 1261694 edges, 32581 markings/sec, 15 secs
lola: 854197 markings, 1547808 edges, 31118 markings/sec, 20 secs
lola: 984728 markings, 1792389 edges, 26106 markings/sec, 25 secs
lola: 1105773 markings, 2021151 edges, 24209 markings/sec, 30 secs
lola: 1228393 markings, 2252475 edges, 24524 markings/sec, 35 secs
lola: 1341961 markings, 2456427 edges, 22714 markings/sec, 40 secs
lola: 1446822 markings, 2652098 edges, 20972 markings/sec, 45 secs
lola: 1542792 markings, 2836172 edges, 19194 markings/sec, 50 secs
lola: 1645186 markings, 3026994 edges, 20479 markings/sec, 55 secs
lola: 1733575 markings, 3191270 edges, 17678 markings/sec, 60 secs
lola: 1822842 markings, 3352546 edges, 17853 markings/sec, 65 secs
lola: 1907899 markings, 3512260 edges, 17011 markings/sec, 70 secs
lola: 1988962 markings, 3667666 edges, 16213 markings/sec, 75 secs
lola: 2070925 markings, 3820959 edges, 16393 markings/sec, 80 secs
lola: 2149687 markings, 3971729 edges, 15752 markings/sec, 85 secs
lola: 2218982 markings, 4099074 edges, 13859 markings/sec, 90 secs
lola: 2286037 markings, 4222183 edges, 13411 markings/sec, 95 secs
lola: 2351629 markings, 4345430 edges, 13118 markings/sec, 100 secs
lola: 2418248 markings, 4468169 edges, 13324 markings/sec, 105 secs
lola: 2480568 markings, 4584042 edges, 12464 markings/sec, 110 secs
lola: 2541815 markings, 4698019 edges, 12249 markings/sec, 115 secs
lola: 2606308 markings, 4816377 edges, 12899 markings/sec, 120 secs
lola: 2668136 markings, 4931237 edges, 12366 markings/sec, 125 secs
lola: 2728417 markings, 5045331 edges, 12056 markings/sec, 130 secs
lola: 2793128 markings, 5162295 edges, 12942 markings/sec, 135 secs
lola: 2852033 markings, 5275321 edges, 11781 markings/sec, 140 secs
lola: 2911087 markings, 5386491 edges, 11811 markings/sec, 145 secs
lola: 2969898 markings, 5493078 edges, 11762 markings/sec, 150 secs
lola: 3024933 markings, 5595868 edges, 11007 markings/sec, 155 secs
lola: 3079207 markings, 5694870 edges, 10855 markings/sec, 160 secs
lola: 3129510 markings, 5790880 edges, 10061 markings/sec, 165 secs
lola: 3182175 markings, 5886746 edges, 10533 markings/sec, 170 secs
lola: 3233817 markings, 5983224 edges, 10328 markings/sec, 175 secs
lola: 3285753 markings, 6079539 edges, 10387 markings/sec, 180 secs
lola: 3336788 markings, 6176101 edges, 10207 markings/sec, 185 secs
lola: 3389043 markings, 6271488 edges, 10451 markings/sec, 190 secs
lola: 3437892 markings, 6362768 edges, 9770 markings/sec, 195 secs
lola: 3488498 markings, 6453247 edges, 10121 markings/sec, 200 secs
lola: 3535345 markings, 6543872 edges, 9369 markings/sec, 205 secs
lola: 3582657 markings, 6630794 edges, 9462 markings/sec, 210 secs
lola: 3629153 markings, 6717684 edges, 9299 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(p661)
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: 126904 markings, 152137 edges, 25381 markings/sec, 0 secs
lola: 263045 markings, 315367 edges, 27228 markings/sec, 5 secs
lola: 404966 markings, 486921 edges, 28384 markings/sec, 10 secs
lola: 560832 markings, 677818 edges, 31173 markings/sec, 15 secs
lola: 705923 markings, 855564 edges, 29018 markings/sec, 20 secs
lola: 877911 markings, 1066588 edges, 34398 markings/sec, 25 secs
lola: 1056952 markings, 1286278 edges, 35808 markings/sec, 30 secs
lola: 1166063 markings, 1416544 edges, 21822 markings/sec, 35 secs
lola: 1300778 markings, 1578629 edges, 26943 markings/sec, 40 secs
lola: 1421493 markings, 1725505 edges, 24143 markings/sec, 45 secs
lola: 1550282 markings, 1882755 edges, 25758 markings/sec, 50 secs
lola: 1681619 markings, 2043777 edges, 26267 markings/sec, 55 secs
lola: 1803957 markings, 2191284 edges, 24468 markings/sec, 60 secs
lola: 1922472 markings, 2334764 edges, 23703 markings/sec, 65 secs
lola: 2044524 markings, 2483091 edges, 24410 markings/sec, 70 secs
lola: 2180454 markings, 2649637 edges, 27186 markings/sec, 75 secs
lola: 2315557 markings, 2815918 edges, 27021 markings/sec, 80 secs
lola: 2441632 markings, 2970230 edges, 25215 markings/sec, 85 secs
lola: 2579682 markings, 3139675 edges, 27610 markings/sec, 90 secs
lola: 2710732 markings, 3300320 edges, 26210 markings/sec, 95 secs
lola: 2843088 markings, 3463839 edges, 26471 markings/sec, 100 secs
lola: 2987671 markings, 3640522 edges, 28917 markings/sec, 105 secs
lola: 3116945 markings, 3799055 edges, 25855 markings/sec, 110 secs
lola: 3247255 markings, 3959141 edges, 26062 markings/sec, 115 secs
lola: 3380553 markings, 4123291 edges, 26660 markings/sec, 120 secs
lola: 3501890 markings, 4269627 edges, 24267 markings/sec, 125 secs
lola: 3618670 markings, 4412487 edges, 23356 markings/sec, 130 secs
lola: 3747872 markings, 4571497 edges, 25840 markings/sec, 135 secs
lola: 3880734 markings, 4735851 edges, 26572 markings/sec, 140 secs
lola: 4009988 markings, 4895013 edges, 25851 markings/sec, 145 secs
lola: 4136006 markings, 5049872 edges, 25204 markings/sec, 150 secs
lola: 4268949 markings, 5212319 edges, 26589 markings/sec, 155 secs
lola: 4408060 markings, 5383168 edges, 27822 markings/sec, 160 secs
lola: 4569915 markings, 5576457 edges, 32371 markings/sec, 165 secs
lola: 4705530 markings, 5740058 edges, 27123 markings/sec, 170 secs
lola: 4827758 markings, 5889874 edges, 24446 markings/sec, 175 secs
lola: 4948516 markings, 6036206 edges, 24152 markings/sec, 180 secs
lola: 5066074 markings, 6181414 edges, 23512 markings/sec, 185 secs
lola: 5192958 markings, 6337186 edges, 25377 markings/sec, 190 secs
lola: 5316232 markings, 6488877 edges, 24655 markings/sec, 195 secs
lola: 5440194 markings, 6641978 edges, 24792 markings/sec, 200 secs
lola: 5561578 markings, 6791831 edges, 24277 markings/sec, 205 secs
lola: 5686116 markings, 6945183 edges, 24908 markings/sec, 210 secs
lola: 5824499 markings, 7115478 edges, 27677 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(p2472)
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: 117118 markings, 139545 edges, 23424 markings/sec, 0 secs
lola: 252648 markings, 307479 edges, 27106 markings/sec, 5 secs
lola: 380917 markings, 465387 edges, 25654 markings/sec, 10 secs
lola: 507434 markings, 622063 edges, 25303 markings/sec, 15 secs
lola: 609589 markings, 747334 edges, 20431 markings/sec, 20 secs
lola: 716527 markings, 881120 edges, 21388 markings/sec, 25 secs
lola: 830612 markings, 1022219 edges, 22817 markings/sec, 30 secs
lola: 933500 markings, 1147809 edges, 20578 markings/sec, 35 secs
lola: 1038177 markings, 1279596 edges, 20935 markings/sec, 40 secs
lola: 1157781 markings, 1428455 edges, 23921 markings/sec, 45 secs
lola: 1266516 markings, 1564074 edges, 21747 markings/sec, 50 secs
lola: 1381157 markings, 1703966 edges, 22928 markings/sec, 55 secs
lola: 1494429 markings, 1841747 edges, 22654 markings/sec, 60 secs
lola: 1618190 markings, 1993132 edges, 24752 markings/sec, 65 secs
lola: 1750485 markings, 2160064 edges, 26459 markings/sec, 70 secs
lola: 1870334 markings, 2312930 edges, 23970 markings/sec, 75 secs
lola: 1985618 markings, 2460102 edges, 23057 markings/sec, 80 secs
lola: 2100775 markings, 2600719 edges, 23031 markings/sec, 85 secs
lola: 2217219 markings, 2748433 edges, 23289 markings/sec, 90 secs
lola: 2338824 markings, 2904693 edges, 24321 markings/sec, 95 secs
lola: 2459052 markings, 3056230 edges, 24046 markings/sec, 100 secs
lola: 2569694 markings, 3194396 edges, 22128 markings/sec, 105 secs
lola: 2689173 markings, 3339891 edges, 23896 markings/sec, 110 secs
lola: 2835502 markings, 3524080 edges, 29266 markings/sec, 115 secs
lola: 2981063 markings, 3708823 edges, 29112 markings/sec, 120 secs
lola: 3111503 markings, 3871435 edges, 26088 markings/sec, 125 secs
lola: 3233319 markings, 4021693 edges, 24363 markings/sec, 130 secs
lola: 3367313 markings, 4185613 edges, 26799 markings/sec, 135 secs
lola: 3494166 markings, 4340702 edges, 25371 markings/sec, 140 secs
lola: 3624167 markings, 4507629 edges, 26000 markings/sec, 145 secs
lola: 3755336 markings, 4673873 edges, 26234 markings/sec, 150 secs
lola: 3875768 markings, 4824509 edges, 24086 markings/sec, 155 secs
lola: 4006565 markings, 4989981 edges, 26159 markings/sec, 160 secs
lola: 4109778 markings, 5116426 edges, 20643 markings/sec, 165 secs
lola: 4228406 markings, 5261831 edges, 23726 markings/sec, 170 secs
lola: 4332525 markings, 5389239 edges, 20824 markings/sec, 175 secs
lola: 4404929 markings, 5478298 edges, 14481 markings/sec, 180 secs
lola: 4517093 markings, 5617627 edges, 22433 markings/sec, 185 secs
lola: 4593634 markings, 5714625 edges, 15308 markings/sec, 190 secs
lola: 4674604 markings, 5815937 edges, 16194 markings/sec, 195 secs
lola: 4788072 markings, 5954993 edges, 22694 markings/sec, 200 secs
lola: 4887815 markings, 6076928 edges, 19949 markings/sec, 205 secs
lola: 4966734 markings, 6173420 edges, 15784 markings/sec, 210 secs
lola: 5069574 markings, 6299208 edges, 20568 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(p244)
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: 90752 markings, 145403 edges, 18150 markings/sec, 0 secs
lola: 182737 markings, 354004 edges, 18397 markings/sec, 5 secs
lola: 277706 markings, 557901 edges, 18994 markings/sec, 10 secs
lola: 363527 markings, 742137 edges, 17164 markings/sec, 15 secs
lola: 451318 markings, 943958 edges, 17558 markings/sec, 20 secs
lola: 541745 markings, 1144345 edges, 18085 markings/sec, 25 secs
lola: 633326 markings, 1345494 edges, 18316 markings/sec, 30 secs
lola: 720924 markings, 1541837 edges, 17520 markings/sec, 35 secs
lola: 807981 markings, 1737580 edges, 17411 markings/sec, 40 secs
lola: 895346 markings, 1935192 edges, 17473 markings/sec, 45 secs
lola: 978676 markings, 2128786 edges, 16666 markings/sec, 50 secs
lola: 1062795 markings, 2306594 edges, 16824 markings/sec, 55 secs
lola: 1146884 markings, 2492430 edges, 16818 markings/sec, 60 secs
lola: 1234244 markings, 2691212 edges, 17472 markings/sec, 65 secs
lola: 1319343 markings, 2884018 edges, 17020 markings/sec, 70 secs
lola: 1404952 markings, 3076619 edges, 17122 markings/sec, 75 secs
lola: 1490691 markings, 3270671 edges, 17148 markings/sec, 80 secs
lola: 1577943 markings, 3470733 edges, 17450 markings/sec, 85 secs
lola: 1665196 markings, 3667447 edges, 17451 markings/sec, 90 secs
lola: 1749243 markings, 3858584 edges, 16809 markings/sec, 95 secs
lola: 1832748 markings, 4045549 edges, 16701 markings/sec, 100 secs
lola: 1914555 markings, 4221330 edges, 16361 markings/sec, 105 secs
lola: 1997101 markings, 4408732 edges, 16509 markings/sec, 110 secs
lola: 2077938 markings, 4588383 edges, 16167 markings/sec, 115 secs
lola: 2161526 markings, 4774522 edges, 16718 markings/sec, 120 secs
lola: 2241535 markings, 4956664 edges, 16002 markings/sec, 125 secs
lola: 2323771 markings, 5135461 edges, 16447 markings/sec, 130 secs
lola: 2404314 markings, 5321557 edges, 16109 markings/sec, 135 secs
lola: 2478996 markings, 5501893 edges, 14936 markings/sec, 140 secs
lola: 2560405 markings, 5674254 edges, 16282 markings/sec, 145 secs
lola: 2642174 markings, 5856677 edges, 16354 markings/sec, 150 secs
lola: 2721154 markings, 6035462 edges, 15796 markings/sec, 155 secs
lola: 2796288 markings, 6202606 edges, 15027 markings/sec, 160 secs
lola: 2868184 markings, 6368331 edges, 14379 markings/sec, 165 secs
lola: 2935499 markings, 6521104 edges, 13463 markings/sec, 170 secs
lola: 3005886 markings, 6678559 edges, 14077 markings/sec, 175 secs
lola: 3077620 markings, 6841938 edges, 14347 markings/sec, 180 secs
lola: 3152840 markings, 7012178 edges, 15044 markings/sec, 185 secs
lola: 3225499 markings, 7173372 edges, 14532 markings/sec, 190 secs
lola: 3307526 markings, 7362709 edges, 16405 markings/sec, 195 secs
lola: 3383844 markings, 7534868 edges, 15264 markings/sec, 200 secs
lola: 3458838 markings, 7705652 edges, 14999 markings/sec, 205 secs
lola: 3535091 markings, 7881398 edges, 15251 markings/sec, 210 secs
lola: 3608430 markings, 8041921 edges, 14668 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(p2058)
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: 125533 markings, 214015 edges, 25107 markings/sec, 0 secs
lola: 257769 markings, 434920 edges, 26447 markings/sec, 5 secs
lola: 380552 markings, 686980 edges, 24557 markings/sec, 10 secs
lola: 504448 markings, 927061 edges, 24779 markings/sec, 15 secs
lola: 617952 markings, 1153158 edges, 22701 markings/sec, 20 secs
lola: 735847 markings, 1356521 edges, 23579 markings/sec, 25 secs
lola: 853671 markings, 1540636 edges, 23565 markings/sec, 30 secs
lola: 946318 markings, 1719363 edges, 18529 markings/sec, 35 secs
lola: 1039031 markings, 1903709 edges, 18543 markings/sec, 40 secs
lola: 1155992 markings, 2077396 edges, 23392 markings/sec, 45 secs
lola: 1251651 markings, 2242635 edges, 19132 markings/sec, 50 secs
lola: 1336995 markings, 2405637 edges, 17069 markings/sec, 55 secs
lola: 1417899 markings, 2562044 edges, 16181 markings/sec, 60 secs
lola: 1543468 markings, 2733299 edges, 25114 markings/sec, 65 secs
lola: 1627981 markings, 2882240 edges, 16903 markings/sec, 70 secs
lola: 1725763 markings, 3031332 edges, 19556 markings/sec, 75 secs
lola: 1816121 markings, 3176834 edges, 18072 markings/sec, 80 secs
lola: 1907033 markings, 3313311 edges, 18182 markings/sec, 85 secs
lola: 2001427 markings, 3454988 edges, 18879 markings/sec, 90 secs
lola: 2098308 markings, 3598698 edges, 19376 markings/sec, 95 secs
lola: 2193574 markings, 3740648 edges, 19053 markings/sec, 100 secs
lola: 2288723 markings, 3882268 edges, 19030 markings/sec, 105 secs
lola: 2382052 markings, 4017546 edges, 18666 markings/sec, 110 secs
lola: 2481876 markings, 4155804 edges, 19965 markings/sec, 115 secs
lola: 2580395 markings, 4297210 edges, 19704 markings/sec, 120 secs
lola: 2708337 markings, 4463710 edges, 25588 markings/sec, 125 secs
lola: 2837134 markings, 4627248 edges, 25759 markings/sec, 130 secs
lola: 2959050 markings, 4779960 edges, 24383 markings/sec, 135 secs
lola: 3065482 markings, 4914305 edges, 21286 markings/sec, 140 secs
lola: 3180725 markings, 5065480 edges, 23049 markings/sec, 145 secs
lola: 3285578 markings, 5212429 edges, 20971 markings/sec, 150 secs
lola: 3412532 markings, 5374778 edges, 25391 markings/sec, 155 secs
lola: 3536587 markings, 5531633 edges, 24811 markings/sec, 160 secs
lola: 3654402 markings, 5679121 edges, 23563 markings/sec, 165 secs
lola: 3775283 markings, 5831991 edges, 24176 markings/sec, 170 secs
lola: 3901855 markings, 5994469 edges, 25314 markings/sec, 175 secs
lola: 4030507 markings, 6154867 edges, 25730 markings/sec, 180 secs
lola: 4158102 markings, 6327328 edges, 25519 markings/sec, 185 secs
lola: 4265893 markings, 6481313 edges, 21558 markings/sec, 190 secs
lola: 4349451 markings, 6622059 edges, 16712 markings/sec, 195 secs
lola: 4467659 markings, 6786600 edges, 23642 markings/sec, 200 secs
lola: 4574878 markings, 6941915 edges, 21444 markings/sec, 205 secs
lola: 4653889 markings, 7070649 edges, 15802 markings/sec, 210 secs
lola: 4762672 markings, 7228496 edges, 21757 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(p1442)
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: 141593 markings, 183057 edges, 28319 markings/sec, 0 secs
lola: 275696 markings, 348078 edges, 26821 markings/sec, 5 secs
lola: 388334 markings, 486496 edges, 22528 markings/sec, 10 secs
lola: 509510 markings, 637772 edges, 24235 markings/sec, 15 secs
lola: 614136 markings, 765506 edges, 20925 markings/sec, 20 secs
lola: 728345 markings, 909449 edges, 22842 markings/sec, 25 secs
lola: 845620 markings, 1055368 edges, 23455 markings/sec, 30 secs
lola: 957146 markings, 1193183 edges, 22305 markings/sec, 35 secs
lola: 1058698 markings, 1316993 edges, 20310 markings/sec, 40 secs
lola: 1173750 markings, 1458271 edges, 23010 markings/sec, 45 secs
lola: 1314572 markings, 1637195 edges, 28164 markings/sec, 50 secs
lola: 1444018 markings, 1801081 edges, 25889 markings/sec, 55 secs
lola: 1569290 markings, 1961044 edges, 25054 markings/sec, 60 secs
lola: 1686252 markings, 2105855 edges, 23392 markings/sec, 65 secs
lola: 1816631 markings, 2272667 edges, 26076 markings/sec, 70 secs
lola: 1940562 markings, 2431293 edges, 24786 markings/sec, 75 secs
lola: 2063752 markings, 2589814 edges, 24638 markings/sec, 80 secs
lola: 2167459 markings, 2717349 edges, 20741 markings/sec, 85 secs
lola: 2285357 markings, 2862988 edges, 23580 markings/sec, 90 secs
lola: 2431558 markings, 3050423 edges, 29240 markings/sec, 95 secs
lola: 2570268 markings, 3225038 edges, 27742 markings/sec, 100 secs
lola: 2692109 markings, 3378211 edges, 24368 markings/sec, 105 secs
lola: 2823116 markings, 3543290 edges, 26201 markings/sec, 110 secs
lola: 2927276 markings, 3672238 edges, 20832 markings/sec, 115 secs
lola: 3069896 markings, 3855495 edges, 28524 markings/sec, 120 secs
lola: 3208859 markings, 4031968 edges, 27793 markings/sec, 125 secs
lola: 3339302 markings, 4195931 edges, 26089 markings/sec, 130 secs
lola: 3470781 markings, 4364939 edges, 26296 markings/sec, 135 secs
lola: 3578066 markings, 4498800 edges, 21457 markings/sec, 140 secs
lola: 3694540 markings, 4643052 edges, 23295 markings/sec, 145 secs
lola: 3789458 markings, 4764257 edges, 18984 markings/sec, 150 secs
lola: 3892459 markings, 4892410 edges, 20600 markings/sec, 155 secs
lola: 3996592 markings, 5021557 edges, 20827 markings/sec, 160 secs
lola: 4096558 markings, 5149715 edges, 19993 markings/sec, 165 secs
lola: 4221459 markings, 5305817 edges, 24980 markings/sec, 170 secs
lola: 4349119 markings, 5467965 edges, 25532 markings/sec, 175 secs
lola: 4448038 markings, 5591758 edges, 19784 markings/sec, 180 secs
lola: 4538352 markings, 5705575 edges, 18063 markings/sec, 185 secs
lola: 4631825 markings, 5821988 edges, 18695 markings/sec, 190 secs
lola: 4736283 markings, 5953229 edges, 20892 markings/sec, 195 secs
lola: 4851653 markings, 6105362 edges, 23074 markings/sec, 200 secs
lola: 4953831 markings, 6232091 edges, 20436 markings/sec, 205 secs
lola: 5049874 markings, 6351316 edges, 19209 markings/sec, 210 secs
lola: 5144041 markings, 6468505 edges, 18833 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(p1657)
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: 114840 markings, 136750 edges, 22968 markings/sec, 0 secs
lola: 234167 markings, 280848 edges, 23865 markings/sec, 5 secs
lola: 349963 markings, 420633 edges, 23159 markings/sec, 10 secs
lola: 471374 markings, 568032 edges, 24282 markings/sec, 15 secs
lola: 600408 markings, 725572 edges, 25807 markings/sec, 20 secs
lola: 719577 markings, 874910 edges, 23834 markings/sec, 25 secs
lola: 841898 markings, 1028383 edges, 24464 markings/sec, 30 secs
lola: 987778 markings, 1210250 edges, 29176 markings/sec, 35 secs
lola: 1130231 markings, 1389482 edges, 28491 markings/sec, 40 secs
lola: 1254482 markings, 1545746 edges, 24850 markings/sec, 45 secs
lola: 1384106 markings, 1708795 edges, 25925 markings/sec, 50 secs
lola: 1506311 markings, 1858776 edges, 24441 markings/sec, 55 secs
lola: 1623478 markings, 2006009 edges, 23433 markings/sec, 60 secs
lola: 1735893 markings, 2146855 edges, 22483 markings/sec, 65 secs
lola: 1859823 markings, 2305211 edges, 24786 markings/sec, 70 secs
lola: 1992426 markings, 2472881 edges, 26521 markings/sec, 75 secs
lola: 2124280 markings, 2639503 edges, 26371 markings/sec, 80 secs
lola: 2256281 markings, 2809175 edges, 26400 markings/sec, 85 secs
lola: 2391200 markings, 2979371 edges, 26984 markings/sec, 90 secs
lola: 2517554 markings, 3132904 edges, 25271 markings/sec, 95 secs
lola: 2681689 markings, 3339283 edges, 32827 markings/sec, 100 secs
lola: 2819276 markings, 3512783 edges, 27517 markings/sec, 105 secs
lola: 2931572 markings, 3653855 edges, 22459 markings/sec, 110 secs
lola: 3034047 markings, 3781249 edges, 20495 markings/sec, 115 secs
lola: 3145244 markings, 3919701 edges, 22239 markings/sec, 120 secs
lola: 3278874 markings, 4091013 edges, 26726 markings/sec, 125 secs
lola: 3435918 markings, 4289534 edges, 31409 markings/sec, 130 secs
lola: 3581946 markings, 4475564 edges, 29206 markings/sec, 135 secs
lola: 3679662 markings, 4598784 edges, 19543 markings/sec, 140 secs
lola: 3785693 markings, 4731759 edges, 21206 markings/sec, 145 secs
lola: 3918296 markings, 4896652 edges, 26521 markings/sec, 150 secs
lola: 4053568 markings, 5067682 edges, 27054 markings/sec, 155 secs
lola: 4188732 markings, 5240832 edges, 27033 markings/sec, 160 secs
lola: 4311032 markings, 5397108 edges, 24460 markings/sec, 165 secs
lola: 4436577 markings, 5557422 edges, 25109 markings/sec, 170 secs
lola: 4537862 markings, 5684979 edges, 20257 markings/sec, 175 secs
lola: 4635684 markings, 5806828 edges, 19564 markings/sec, 180 secs
lola: 4741893 markings, 5942165 edges, 21242 markings/sec, 185 secs
lola: 4864274 markings, 6101934 edges, 24476 markings/sec, 190 secs
lola: 4963233 markings, 6227856 edges, 19792 markings/sec, 195 secs
lola: 5064866 markings, 6358442 edges, 20327 markings/sec, 200 secs
lola: 5173849 markings, 6497826 edges, 21797 markings/sec, 205 secs
lola: 5266231 markings, 6616061 edges, 18476 markings/sec, 210 secs
lola: 5388374 markings, 6769301 edges, 24429 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(p777)
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: 106065 markings, 127780 edges, 21213 markings/sec, 0 secs
lola: 208276 markings, 251214 edges, 20442 markings/sec, 5 secs
lola: 312824 markings, 377263 edges, 20910 markings/sec, 10 secs
lola: 416070 markings, 501949 edges, 20649 markings/sec, 15 secs
lola: 518280 markings, 625293 edges, 20442 markings/sec, 20 secs
lola: 644502 markings, 779343 edges, 25244 markings/sec, 25 secs
lola: 769915 markings, 933940 edges, 25083 markings/sec, 30 secs
lola: 890060 markings, 1081979 edges, 24029 markings/sec, 35 secs
lola: 1010617 markings, 1232707 edges, 24111 markings/sec, 40 secs
lola: 1119869 markings, 1365911 edges, 21850 markings/sec, 45 secs
lola: 1232315 markings, 1505165 edges, 22489 markings/sec, 50 secs
lola: 1347828 markings, 1649826 edges, 23103 markings/sec, 55 secs
lola: 1454698 markings, 1782965 edges, 21374 markings/sec, 60 secs
lola: 1546106 markings, 1894184 edges, 18282 markings/sec, 65 secs
lola: 1644873 markings, 2014399 edges, 19753 markings/sec, 70 secs
lola: 1755699 markings, 2150366 edges, 22165 markings/sec, 75 secs
lola: 1885925 markings, 2316294 edges, 26045 markings/sec, 80 secs
lola: 2010523 markings, 2473331 edges, 24920 markings/sec, 85 secs
lola: 2132025 markings, 2629311 edges, 24300 markings/sec, 90 secs
lola: 2235878 markings, 2755939 edges, 20771 markings/sec, 95 secs
lola: 2359671 markings, 2915877 edges, 24759 markings/sec, 100 secs
lola: 2478627 markings, 3067300 edges, 23791 markings/sec, 105 secs
lola: 2587885 markings, 3205902 edges, 21852 markings/sec, 110 secs
lola: 2696368 markings, 3343354 edges, 21697 markings/sec, 115 secs
lola: 2807025 markings, 3477817 edges, 22131 markings/sec, 120 secs
lola: 2935174 markings, 3639508 edges, 25630 markings/sec, 125 secs
lola: 3076632 markings, 3819186 edges, 28292 markings/sec, 130 secs
lola: 3214012 markings, 3991182 edges, 27476 markings/sec, 135 secs
lola: 3332472 markings, 4137840 edges, 23692 markings/sec, 140 secs
lola: 3440939 markings, 4270742 edges, 21693 markings/sec, 145 secs
lola: 3552292 markings, 4409218 edges, 22271 markings/sec, 150 secs
lola: 3678672 markings, 4574072 edges, 25276 markings/sec, 155 secs
lola: 3806038 markings, 4733382 edges, 25473 markings/sec, 160 secs
lola: 3924636 markings, 4881193 edges, 23720 markings/sec, 165 secs
lola: 4047516 markings, 5038525 edges, 24576 markings/sec, 170 secs
lola: 4157345 markings, 5174592 edges, 21966 markings/sec, 175 secs
lola: 4262550 markings, 5303116 edges, 21041 markings/sec, 180 secs
lola: 4359792 markings, 5428004 edges, 19448 markings/sec, 185 secs
lola: 4469601 markings, 5562417 edges, 21962 markings/sec, 190 secs
lola: 4561330 markings, 5676950 edges, 18346 markings/sec, 195 secs
lola: 4696593 markings, 5847620 edges, 27053 markings/sec, 200 secs
lola: 4790306 markings, 5961977 edges, 18743 markings/sec, 205 secs
lola: 4900090 markings, 6098774 edges, 21957 markings/sec, 210 secs
lola: 5008496 markings, 6234026 edges, 21681 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(p328)
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: 92253 markings, 139676 edges, 18451 markings/sec, 0 secs
lola: 186289 markings, 345152 edges, 18807 markings/sec, 5 secs
lola: 283536 markings, 543870 edges, 19449 markings/sec, 10 secs
lola: 370237 markings, 734160 edges, 17340 markings/sec, 15 secs
lola: 460748 markings, 923986 edges, 18102 markings/sec, 20 secs
lola: 564624 markings, 1131886 edges, 20775 markings/sec, 25 secs
lola: 661501 markings, 1351658 edges, 19375 markings/sec, 30 secs
lola: 754532 markings, 1550083 edges, 18606 markings/sec, 35 secs
lola: 847579 markings, 1747060 edges, 18609 markings/sec, 40 secs
lola: 935946 markings, 1944096 edges, 17673 markings/sec, 45 secs
lola: 1024592 markings, 2136254 edges, 17729 markings/sec, 50 secs
lola: 1108666 markings, 2318870 edges, 16815 markings/sec, 55 secs
lola: 1188124 markings, 2498120 edges, 15892 markings/sec, 60 secs
lola: 1274698 markings, 2679602 edges, 17315 markings/sec, 65 secs
lola: 1367705 markings, 2881334 edges, 18601 markings/sec, 70 secs
lola: 1451170 markings, 3054200 edges, 16693 markings/sec, 75 secs
lola: 1536408 markings, 3239850 edges, 17048 markings/sec, 80 secs
lola: 1622049 markings, 3425062 edges, 17128 markings/sec, 85 secs
lola: 1704478 markings, 3602296 edges, 16486 markings/sec, 90 secs
lola: 1785853 markings, 3783908 edges, 16275 markings/sec, 95 secs
lola: 1870898 markings, 3966620 edges, 17009 markings/sec, 100 secs
lola: 1954714 markings, 4154685 edges, 16763 markings/sec, 105 secs
lola: 2040584 markings, 4341228 edges, 17174 markings/sec, 110 secs
lola: 2124549 markings, 4517319 edges, 16793 markings/sec, 115 secs
lola: 2202019 markings, 4685506 edges, 15494 markings/sec, 120 secs
lola: 2285872 markings, 4866284 edges, 16771 markings/sec, 125 secs
lola: 2365107 markings, 5041813 edges, 15847 markings/sec, 130 secs
lola: 2445958 markings, 5215301 edges, 16170 markings/sec, 135 secs
lola: 2525283 markings, 5389487 edges, 15865 markings/sec, 140 secs
lola: 2604364 markings, 5564155 edges, 15816 markings/sec, 145 secs
lola: 2677732 markings, 5737062 edges, 14674 markings/sec, 150 secs
lola: 2759193 markings, 5907178 edges, 16292 markings/sec, 155 secs
lola: 2841293 markings, 6086635 edges, 16420 markings/sec, 160 secs
lola: 2922001 markings, 6255744 edges, 16142 markings/sec, 165 secs
lola: 3000444 markings, 6428126 edges, 15689 markings/sec, 170 secs
lola: 3081157 markings, 6601843 edges, 16143 markings/sec, 175 secs
lola: 3158494 markings, 6775356 edges, 15467 markings/sec, 180 secs
lola: 3233598 markings, 6940193 edges, 15021 markings/sec, 185 secs
lola: 3310157 markings, 7108891 edges, 15312 markings/sec, 190 secs
lola: 3391076 markings, 7280038 edges, 16184 markings/sec, 195 secs
lola: 3470883 markings, 7457387 edges, 15961 markings/sec, 200 secs
lola: 3554921 markings, 7641283 edges, 16808 markings/sec, 205 secs
lola: 3632629 markings, 7814429 edges, 15542 markings/sec, 210 secs
lola: 3714046 markings, 7989625 edges, 16283 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(p1572)
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: 104699 markings, 125836 edges, 20940 markings/sec, 0 secs
lola: 200206 markings, 241162 edges, 19101 markings/sec, 5 secs
lola: 301492 markings, 363314 edges, 20257 markings/sec, 10 secs
lola: 430312 markings, 520637 edges, 25764 markings/sec, 15 secs
lola: 554968 markings, 675132 edges, 24931 markings/sec, 20 secs
lola: 678454 markings, 826846 edges, 24697 markings/sec, 25 secs
lola: 803700 markings, 983075 edges, 25049 markings/sec, 30 secs
lola: 920880 markings, 1127804 edges, 23436 markings/sec, 35 secs
lola: 1039681 markings, 1276065 edges, 23760 markings/sec, 40 secs
lola: 1146744 markings, 1408326 edges, 21413 markings/sec, 45 secs
lola: 1242112 markings, 1523576 edges, 19074 markings/sec, 50 secs
lola: 1339516 markings, 1641709 edges, 19481 markings/sec, 55 secs
lola: 1467418 markings, 1804363 edges, 25580 markings/sec, 60 secs
lola: 1594328 markings, 1965052 edges, 25382 markings/sec, 65 secs
lola: 1706855 markings, 2107252 edges, 22505 markings/sec, 70 secs
lola: 1819550 markings, 2247551 edges, 22539 markings/sec, 75 secs
lola: 1933877 markings, 2392927 edges, 22865 markings/sec, 80 secs
lola: 2057498 markings, 2552208 edges, 24724 markings/sec, 85 secs
lola: 2167969 markings, 2692666 edges, 22094 markings/sec, 90 secs
lola: 2279116 markings, 2832677 edges, 22229 markings/sec, 95 secs
lola: 2390316 markings, 2967920 edges, 22240 markings/sec, 100 secs
lola: 2533824 markings, 3150739 edges, 28702 markings/sec, 105 secs
lola: 2682471 markings, 3338227 edges, 29729 markings/sec, 110 secs
lola: 2810351 markings, 3499886 edges, 25576 markings/sec, 115 secs
lola: 2932003 markings, 3650711 edges, 24330 markings/sec, 120 secs
lola: 3041556 markings, 3786800 edges, 21911 markings/sec, 125 secs
lola: 3179326 markings, 3965260 edges, 27554 markings/sec, 130 secs
lola: 3309863 markings, 4129869 edges, 26107 markings/sec, 135 secs
lola: 3430975 markings, 4282563 edges, 24222 markings/sec, 140 secs
lola: 3554142 markings, 4440365 edges, 24633 markings/sec, 145 secs
lola: 3650735 markings, 4558702 edges, 19319 markings/sec, 150 secs
lola: 3769058 markings, 4706157 edges, 23665 markings/sec, 155 secs
lola: 3849348 markings, 4810267 edges, 16058 markings/sec, 160 secs
lola: 3962229 markings, 4949613 edges, 22576 markings/sec, 165 secs
lola: 4043954 markings, 5052174 edges, 16345 markings/sec, 170 secs
lola: 4151042 markings, 5184753 edges, 21418 markings/sec, 175 secs
lola: 4260632 markings, 5320234 edges, 21918 markings/sec, 180 secs
lola: 4373057 markings, 5463532 edges, 22485 markings/sec, 185 secs
lola: 4481613 markings, 5599386 edges, 21711 markings/sec, 190 secs
lola: 4575341 markings, 5718205 edges, 18746 markings/sec, 195 secs
lola: 4709438 markings, 5887429 edges, 26819 markings/sec, 200 secs
lola: 4801182 markings, 6002979 edges, 18349 markings/sec, 205 secs
lola: 4901496 markings, 6129463 edges, 20063 markings/sec, 210 secs
lola: 5008764 markings, 6262747 edges, 21454 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(p2057)
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: 136484 markings, 188193 edges, 27297 markings/sec, 0 secs
lola: 258449 markings, 336254 edges, 24393 markings/sec, 5 secs
lola: 400511 markings, 512516 edges, 28412 markings/sec, 10 secs
lola: 549871 markings, 707891 edges, 29872 markings/sec, 15 secs
lola: 690954 markings, 890383 edges, 28217 markings/sec, 20 secs
lola: 825423 markings, 1061244 edges, 26894 markings/sec, 25 secs
lola: 954685 markings, 1225926 edges, 25852 markings/sec, 30 secs
lola: 1076870 markings, 1382387 edges, 24437 markings/sec, 35 secs
lola: 1191673 markings, 1526969 edges, 22961 markings/sec, 40 secs
lola: 1302893 markings, 1665747 edges, 22244 markings/sec, 45 secs
lola: 1418439 markings, 1810138 edges, 23109 markings/sec, 50 secs
lola: 1537306 markings, 1958546 edges, 23773 markings/sec, 55 secs
lola: 1662239 markings, 2112389 edges, 24987 markings/sec, 60 secs
lola: 1789073 markings, 2273742 edges, 25367 markings/sec, 65 secs
lola: 1918740 markings, 2438500 edges, 25933 markings/sec, 70 secs
lola: 2049036 markings, 2601306 edges, 26059 markings/sec, 75 secs
lola: 2172193 markings, 2754810 edges, 24631 markings/sec, 80 secs
lola: 2299565 markings, 2917207 edges, 25474 markings/sec, 85 secs
lola: 2425641 markings, 3074099 edges, 25215 markings/sec, 90 secs
lola: 2556676 markings, 3243410 edges, 26207 markings/sec, 95 secs
lola: 2682314 markings, 3400734 edges, 25128 markings/sec, 100 secs
lola: 2796771 markings, 3543492 edges, 22891 markings/sec, 105 secs
lola: 2929572 markings, 3712143 edges, 26560 markings/sec, 110 secs
lola: 3064084 markings, 3881741 edges, 26902 markings/sec, 115 secs
lola: 3196138 markings, 4048481 edges, 26411 markings/sec, 120 secs
lola: 3332626 markings, 4220496 edges, 27298 markings/sec, 125 secs
lola: 3443935 markings, 4365685 edges, 22262 markings/sec, 130 secs
lola: 3577161 markings, 4535732 edges, 26645 markings/sec, 135 secs
lola: 3680269 markings, 4667195 edges, 20622 markings/sec, 140 secs
lola: 3798473 markings, 4815908 edges, 23641 markings/sec, 145 secs
lola: 3927265 markings, 4977185 edges, 25758 markings/sec, 150 secs
lola: 4050967 markings, 5133303 edges, 24740 markings/sec, 155 secs
lola: 4171276 markings, 5287755 edges, 24062 markings/sec, 160 secs
lola: 4290664 markings, 5440060 edges, 23878 markings/sec, 165 secs
lola: 4406377 markings, 5586188 edges, 23143 markings/sec, 170 secs
lola: 4516736 markings, 5729581 edges, 22072 markings/sec, 175 secs
lola: 4619499 markings, 5859684 edges, 20553 markings/sec, 180 secs
lola: 4737807 markings, 6008575 edges, 23662 markings/sec, 185 secs
lola: 4856739 markings, 6158829 edges, 23786 markings/sec, 190 secs
lola: 4971276 markings, 6299667 edges, 22907 markings/sec, 195 secs
lola: 5091796 markings, 6452259 edges, 24104 markings/sec, 200 secs
lola: 5198932 markings, 6594546 edges, 21427 markings/sec, 205 secs
lola: 5323131 markings, 6751803 edges, 24840 markings/sec, 210 secs
lola: 5437800 markings, 6899877 edges, 22934 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(p2041)
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: 95013 markings, 213507 edges, 19003 markings/sec, 0 secs
lola: 180742 markings, 401975 edges, 17146 markings/sec, 5 secs
lola: 264853 markings, 586766 edges, 16822 markings/sec, 10 secs
lola: 351180 markings, 773033 edges, 17265 markings/sec, 15 secs
lola: 430823 markings, 949426 edges, 15929 markings/sec, 20 secs
lola: 510352 markings, 1125780 edges, 15906 markings/sec, 25 secs
lola: 596150 markings, 1313346 edges, 17160 markings/sec, 30 secs
lola: 678977 markings, 1499070 edges, 16565 markings/sec, 35 secs
lola: 756424 markings, 1680446 edges, 15489 markings/sec, 40 secs
lola: 836409 markings, 1869076 edges, 15997 markings/sec, 45 secs
lola: 922462 markings, 2067443 edges, 17211 markings/sec, 50 secs
lola: 1004669 markings, 2261391 edges, 16441 markings/sec, 55 secs
lola: 1092414 markings, 2466211 edges, 17549 markings/sec, 60 secs
lola: 1182258 markings, 2676171 edges, 17969 markings/sec, 65 secs
lola: 1269657 markings, 2868309 edges, 17480 markings/sec, 70 secs
lola: 1358650 markings, 3079893 edges, 17799 markings/sec, 75 secs
lola: 1449992 markings, 3292449 edges, 18268 markings/sec, 80 secs
lola: 1537110 markings, 3491889 edges, 17424 markings/sec, 85 secs
lola: 1624092 markings, 3684809 edges, 17396 markings/sec, 90 secs
lola: 1711041 markings, 3881062 edges, 17390 markings/sec, 95 secs
lola: 1800279 markings, 4087471 edges, 17848 markings/sec, 100 secs
lola: 1889937 markings, 4296889 edges, 17932 markings/sec, 105 secs
lola: 1975325 markings, 4494613 edges, 17078 markings/sec, 110 secs
lola: 2062108 markings, 4694247 edges, 17357 markings/sec, 115 secs
lola: 2149359 markings, 4889043 edges, 17450 markings/sec, 120 secs
lola: 2234639 markings, 5080263 edges, 17056 markings/sec, 125 secs
lola: 2320082 markings, 5277447 edges, 17089 markings/sec, 130 secs
lola: 2406625 markings, 5479004 edges, 17309 markings/sec, 135 secs
lola: 2494936 markings, 5683946 edges, 17662 markings/sec, 140 secs
lola: 2579736 markings, 5880245 edges, 16960 markings/sec, 145 secs
lola: 2657399 markings, 6058758 edges, 15533 markings/sec, 150 secs
lola: 2733608 markings, 6235675 edges, 15242 markings/sec, 155 secs
lola: 2808093 markings, 6408904 edges, 14897 markings/sec, 160 secs
lola: 2893452 markings, 6606519 edges, 17072 markings/sec, 165 secs
lola: 2986548 markings, 6817625 edges, 18619 markings/sec, 170 secs
lola: 3076367 markings, 7026040 edges, 17964 markings/sec, 175 secs
lola: 3156691 markings, 7213674 edges, 16065 markings/sec, 180 secs
lola: 3235602 markings, 7391091 edges, 15782 markings/sec, 185 secs
lola: 3312400 markings, 7567880 edges, 15360 markings/sec, 190 secs
lola: 3388985 markings, 7745060 edges, 15317 markings/sec, 195 secs
lola: 3465846 markings, 7921321 edges, 15372 markings/sec, 200 secs
lola: 3542452 markings, 8096108 edges, 15321 markings/sec, 205 secs
lola: 3618994 markings, 8273620 edges, 15308 markings/sec, 210 secs
lola: 3693929 markings, 8443381 edges, 14987 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(p1583)
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: 143600 markings, 194894 edges, 28720 markings/sec, 0 secs
lola: 278426 markings, 361410 edges, 26965 markings/sec, 5 secs
lola: 408693 markings, 522443 edges, 26053 markings/sec, 10 secs
lola: 539129 markings, 684725 edges, 26087 markings/sec, 15 secs
lola: 665897 markings, 842177 edges, 25354 markings/sec, 20 secs
lola: 791349 markings, 1000059 edges, 25090 markings/sec, 25 secs
lola: 905050 markings, 1139199 edges, 22740 markings/sec, 30 secs
lola: 1005885 markings, 1262388 edges, 20167 markings/sec, 35 secs
lola: 1118134 markings, 1400621 edges, 22450 markings/sec, 40 secs
lola: 1253628 markings, 1573327 edges, 27099 markings/sec, 45 secs
lola: 1385396 markings, 1739570 edges, 26354 markings/sec, 50 secs
lola: 1504683 markings, 1891652 edges, 23857 markings/sec, 55 secs
lola: 1619481 markings, 2033336 edges, 22960 markings/sec, 60 secs
lola: 1749088 markings, 2200041 edges, 25921 markings/sec, 65 secs
lola: 1874640 markings, 2360270 edges, 25110 markings/sec, 70 secs
lola: 1991409 markings, 2511284 edges, 23354 markings/sec, 75 secs
lola: 2104791 markings, 2650553 edges, 22676 markings/sec, 80 secs
lola: 2235046 markings, 2813378 edges, 26051 markings/sec, 85 secs
lola: 2392390 markings, 3014383 edges, 31469 markings/sec, 90 secs
lola: 2538114 markings, 3197496 edges, 29145 markings/sec, 95 secs
lola: 2670461 markings, 3365502 edges, 26469 markings/sec, 100 secs
lola: 2784135 markings, 3505573 edges, 22735 markings/sec, 105 secs
lola: 2908740 markings, 3664134 edges, 24921 markings/sec, 110 secs
lola: 3048400 markings, 3841831 edges, 27932 markings/sec, 115 secs
lola: 3177775 markings, 4005701 edges, 25875 markings/sec, 120 secs
lola: 3303846 markings, 4166288 edges, 25214 markings/sec, 125 secs
lola: 3428808 markings, 4322925 edges, 24992 markings/sec, 130 secs
lola: 3545957 markings, 4468176 edges, 23430 markings/sec, 135 secs
lola: 3642853 markings, 4590642 edges, 19379 markings/sec, 140 secs
lola: 3763397 markings, 4741951 edges, 24109 markings/sec, 145 secs
lola: 3841474 markings, 4840427 edges, 15615 markings/sec, 150 secs
lola: 3955933 markings, 4982073 edges, 22892 markings/sec, 155 secs
lola: 4055718 markings, 5105847 edges, 19957 markings/sec, 160 secs
lola: 4175360 markings, 5262359 edges, 23928 markings/sec, 165 secs
lola: 4290513 markings, 5406042 edges, 23031 markings/sec, 170 secs
lola: 4379699 markings, 5518858 edges, 17837 markings/sec, 175 secs
lola: 4513001 markings, 5685547 edges, 26660 markings/sec, 180 secs
lola: 4613690 markings, 5812513 edges, 20138 markings/sec, 185 secs
lola: 4706314 markings, 5931069 edges, 18525 markings/sec, 190 secs
lola: 4812856 markings, 6062997 edges, 21308 markings/sec, 195 secs
lola: 4919563 markings, 6206138 edges, 21341 markings/sec, 200 secs
lola: 5033977 markings, 6348035 edges, 22883 markings/sec, 205 secs
lola: 5141985 markings, 6481741 edges, 21602 markings/sec, 210 secs
lola: 5253818 markings, 6622071 edges, 22367 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(p975)
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: 101340 markings, 121827 edges, 20268 markings/sec, 0 secs
lola: 198886 markings, 239638 edges, 19509 markings/sec, 5 secs
lola: 302374 markings, 364727 edges, 20698 markings/sec, 10 secs
lola: 403965 markings, 487410 edges, 20318 markings/sec, 15 secs
lola: 508788 markings, 614146 edges, 20965 markings/sec, 20 secs
lola: 610456 markings, 736894 edges, 20334 markings/sec, 25 secs
lola: 713356 markings, 861031 edges, 20580 markings/sec, 30 secs
lola: 813216 markings, 981640 edges, 19972 markings/sec, 35 secs
lola: 917622 markings, 1108262 edges, 20881 markings/sec, 40 secs
lola: 1019995 markings, 1232091 edges, 20475 markings/sec, 45 secs
lola: 1145123 markings, 1384767 edges, 25026 markings/sec, 50 secs
lola: 1272494 markings, 1541826 edges, 25474 markings/sec, 55 secs
lola: 1391890 markings, 1688963 edges, 23879 markings/sec, 60 secs
lola: 1512134 markings, 1839233 edges, 24049 markings/sec, 65 secs
lola: 1622572 markings, 1973886 edges, 22088 markings/sec, 70 secs
lola: 1733536 markings, 2111391 edges, 22193 markings/sec, 75 secs
lola: 1850415 markings, 2258180 edges, 23376 markings/sec, 80 secs
lola: 1960451 markings, 2394597 edges, 22007 markings/sec, 85 secs
lola: 2058665 markings, 2514223 edges, 19643 markings/sec, 90 secs
lola: 2165961 markings, 2644732 edges, 21459 markings/sec, 95 secs
lola: 2276152 markings, 2780969 edges, 22038 markings/sec, 100 secs
lola: 2404700 markings, 2946136 edges, 25710 markings/sec, 105 secs
lola: 2535335 markings, 3109156 edges, 26127 markings/sec, 110 secs
lola: 2651546 markings, 3257727 edges, 23242 markings/sec, 115 secs
lola: 2765262 markings, 3398133 edges, 22743 markings/sec, 120 secs
lola: 2888275 markings, 3557733 edges, 24603 markings/sec, 125 secs
lola: 3010481 markings, 3712200 edges, 24441 markings/sec, 130 secs
lola: 3122921 markings, 3856258 edges, 22488 markings/sec, 135 secs
lola: 3222892 markings, 3980311 edges, 19994 markings/sec, 140 secs
lola: 3334101 markings, 4115380 edges, 22242 markings/sec, 145 secs
lola: 3474763 markings, 4294388 edges, 28132 markings/sec, 150 secs
lola: 3615202 markings, 4471706 edges, 28088 markings/sec, 155 secs
lola: 3749416 markings, 4639777 edges, 26843 markings/sec, 160 secs
lola: 3861202 markings, 4778332 edges, 22357 markings/sec, 165 secs
lola: 3970642 markings, 4911661 edges, 21888 markings/sec, 170 secs
lola: 4099244 markings, 5075988 edges, 25720 markings/sec, 175 secs
lola: 4234709 markings, 5248295 edges, 27093 markings/sec, 180 secs
lola: 4356616 markings, 5401273 edges, 24381 markings/sec, 185 secs
lola: 4474733 markings, 5549893 edges, 23623 markings/sec, 190 secs
lola: 4601433 markings, 5709773 edges, 25340 markings/sec, 195 secs
lola: 4727720 markings, 5865567 edges, 25257 markings/sec, 200 secs
lola: 4811244 markings, 5970968 edges, 16705 markings/sec, 205 secs
lola: 4946525 markings, 6139074 edges, 27056 markings/sec, 210 secs
lola: 5025017 markings, 6234466 edges, 15698 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-315-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-315-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496536668330

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