fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r098-ebro-149488455400065
Last Updated
June 27, 2017

About the Execution of LoLA for S_CloudDeployment-PT-7b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
577.790 3540124.00 3556193.00 367.70 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 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-3253
Executing tool lola
Input is S_CloudDeployment-PT-7b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400065
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496441746453


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-7b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-7b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 22023/65536 symbol table entries, 8095 collisions
lola: preprocessing...
lola: finding significant places
lola: 2271 places, 19752 transitions, 2242 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3555 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-7b-UpperBounds.task
lola: MAX(p871) : MAX(p1734) : MAX(p653) : MAX(p1096) : MAX(p1177) : MAX(p135) : MAX(p571) : MAX(p553) : MAX(p918) : MAX(p218) : MAX(p2171) : MAX(p1504) : MAX(p155) : MAX(p945) : MAX(p1624) : MAX(p573)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p871)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 43794 markings, 126875 edges, 8759 markings/sec, 0 secs
lola: 95137 markings, 219511 edges, 10269 markings/sec, 5 secs
lola: 150354 markings, 292536 edges, 11043 markings/sec, 10 secs
lola: 201900 markings, 387754 edges, 10309 markings/sec, 15 secs
lola: 253395 markings, 482131 edges, 10299 markings/sec, 20 secs
lola: 304647 markings, 577872 edges, 10250 markings/sec, 25 secs
lola: 355172 markings, 672705 edges, 10105 markings/sec, 30 secs
lola: 405800 markings, 771944 edges, 10126 markings/sec, 35 secs
lola: 457068 markings, 858589 edges, 10254 markings/sec, 40 secs
lola: 505509 markings, 968131 edges, 9688 markings/sec, 45 secs
lola: 555215 markings, 1067687 edges, 9941 markings/sec, 50 secs
lola: 605924 markings, 1162650 edges, 10142 markings/sec, 55 secs
lola: 659811 markings, 1246313 edges, 10777 markings/sec, 60 secs
lola: 712908 markings, 1331989 edges, 10619 markings/sec, 65 secs
lola: 768407 markings, 1412509 edges, 11100 markings/sec, 70 secs
lola: 823145 markings, 1497562 edges, 10948 markings/sec, 75 secs
lola: 878363 markings, 1580867 edges, 11044 markings/sec, 80 secs
lola: 933860 markings, 1662929 edges, 11099 markings/sec, 85 secs
lola: 990245 markings, 1745259 edges, 11277 markings/sec, 90 secs
lola: 1046742 markings, 1827762 edges, 11299 markings/sec, 95 secs
lola: 1102150 markings, 1910468 edges, 11082 markings/sec, 100 secs
lola: 1157863 markings, 1993495 edges, 11143 markings/sec, 105 secs
lola: 1213992 markings, 2075630 edges, 11226 markings/sec, 110 secs
lola: 1269065 markings, 2159449 edges, 11015 markings/sec, 115 secs
lola: 1324381 markings, 2243006 edges, 11063 markings/sec, 120 secs
lola: 1379235 markings, 2328916 edges, 10971 markings/sec, 125 secs
lola: 1434191 markings, 2415233 edges, 10991 markings/sec, 130 secs
lola: 1488415 markings, 2502148 edges, 10845 markings/sec, 135 secs
lola: 1541965 markings, 2590409 edges, 10710 markings/sec, 140 secs
lola: 1595218 markings, 2680059 edges, 10651 markings/sec, 145 secs
lola: 1646451 markings, 2774381 edges, 10247 markings/sec, 150 secs
lola: 1697535 markings, 2870306 edges, 10217 markings/sec, 155 secs
lola: 1745200 markings, 2976005 edges, 9533 markings/sec, 160 secs
lola: 1791881 markings, 3084077 edges, 9336 markings/sec, 165 secs
lola: 1837241 markings, 3197528 edges, 9072 markings/sec, 170 secs
lola: 1883966 markings, 3304769 edges, 9345 markings/sec, 175 secs
lola: 1932143 markings, 3410714 edges, 9635 markings/sec, 180 secs
lola: 1977887 markings, 3524347 edges, 9149 markings/sec, 185 secs
lola: 2024280 markings, 3634188 edges, 9279 markings/sec, 190 secs
lola: 2073247 markings, 3736342 edges, 9793 markings/sec, 195 secs
lola: 2118958 markings, 3848842 edges, 9142 markings/sec, 200 secs
lola: 2166182 markings, 3962286 edges, 9445 markings/sec, 205 secs
lola: 2205747 markings, 4096789 edges, 7913 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1734)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 45748 markings, 130179 edges, 9150 markings/sec, 0 secs
lola: 90379 markings, 262987 edges, 8926 markings/sec, 5 secs
lola: 136858 markings, 360859 edges, 9296 markings/sec, 10 secs
lola: 186177 markings, 456252 edges, 9864 markings/sec, 15 secs
lola: 234194 markings, 551095 edges, 9603 markings/sec, 20 secs
lola: 282261 markings, 657815 edges, 9613 markings/sec, 25 secs
lola: 329294 markings, 762923 edges, 9407 markings/sec, 30 secs
lola: 378170 markings, 865393 edges, 9775 markings/sec, 35 secs
lola: 425503 markings, 977032 edges, 9467 markings/sec, 40 secs
lola: 474898 markings, 1078876 edges, 9879 markings/sec, 45 secs
lola: 522833 markings, 1194193 edges, 9587 markings/sec, 50 secs
lola: 571567 markings, 1294996 edges, 9747 markings/sec, 55 secs
lola: 619742 markings, 1410582 edges, 9635 markings/sec, 60 secs
lola: 668009 markings, 1508755 edges, 9653 markings/sec, 65 secs
lola: 716579 markings, 1623829 edges, 9714 markings/sec, 70 secs
lola: 765197 markings, 1719412 edges, 9724 markings/sec, 75 secs
lola: 814170 markings, 1833374 edges, 9795 markings/sec, 80 secs
lola: 863638 markings, 1926717 edges, 9894 markings/sec, 85 secs
lola: 913609 markings, 2026230 edges, 9994 markings/sec, 90 secs
lola: 962090 markings, 2112061 edges, 9696 markings/sec, 95 secs
lola: 1011653 markings, 2210809 edges, 9913 markings/sec, 100 secs
lola: 1059959 markings, 2299859 edges, 9661 markings/sec, 105 secs
lola: 1110003 markings, 2401271 edges, 10009 markings/sec, 110 secs
lola: 1157747 markings, 2485556 edges, 9549 markings/sec, 115 secs
lola: 1206191 markings, 2585556 edges, 9689 markings/sec, 120 secs
lola: 1254207 markings, 2678243 edges, 9603 markings/sec, 125 secs
lola: 1301908 markings, 2767721 edges, 9540 markings/sec, 130 secs
lola: 1349312 markings, 2860963 edges, 9481 markings/sec, 135 secs
lola: 1396508 markings, 2945433 edges, 9439 markings/sec, 140 secs
lola: 1441496 markings, 3030550 edges, 8998 markings/sec, 145 secs
lola: 1485988 markings, 3126657 edges, 8898 markings/sec, 150 secs
lola: 1533838 markings, 3199381 edges, 9570 markings/sec, 155 secs
lola: 1581048 markings, 3291517 edges, 9442 markings/sec, 160 secs
lola: 1628099 markings, 3401092 edges, 9410 markings/sec, 165 secs
lola: 1674449 markings, 3510065 edges, 9270 markings/sec, 170 secs
lola: 1721645 markings, 3601600 edges, 9439 markings/sec, 175 secs
lola: 1766153 markings, 3712425 edges, 8902 markings/sec, 180 secs
lola: 1812134 markings, 3818728 edges, 9196 markings/sec, 185 secs
lola: 1857209 markings, 3901693 edges, 9015 markings/sec, 190 secs
lola: 1909558 markings, 3984219 edges, 10470 markings/sec, 195 secs
lola: 1963226 markings, 4065743 edges, 10734 markings/sec, 200 secs
lola: 2016298 markings, 4147883 edges, 10614 markings/sec, 205 secs
lola: 2068763 markings, 4230602 edges, 10493 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p653)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 64200 markings, 84684 edges, 12840 markings/sec, 0 secs
lola: 111947 markings, 154126 edges, 9549 markings/sec, 5 secs
lola: 158260 markings, 227431 edges, 9263 markings/sec, 10 secs
lola: 207507 markings, 312284 edges, 9849 markings/sec, 15 secs
lola: 252350 markings, 423200 edges, 8969 markings/sec, 20 secs
lola: 293908 markings, 565488 edges, 8312 markings/sec, 25 secs
lola: 352936 markings, 656068 edges, 11806 markings/sec, 30 secs
lola: 415121 markings, 731731 edges, 12437 markings/sec, 35 secs
lola: 476725 markings, 808564 edges, 12321 markings/sec, 40 secs
lola: 534845 markings, 913025 edges, 11624 markings/sec, 45 secs
lola: 590608 markings, 1011335 edges, 11153 markings/sec, 50 secs
lola: 623804 markings, 1083157 edges, 6639 markings/sec, 55 secs
lola: 665763 markings, 1167815 edges, 8392 markings/sec, 60 secs
lola: 729682 markings, 1256709 edges, 12784 markings/sec, 65 secs
lola: 784300 markings, 1335319 edges, 10924 markings/sec, 70 secs
lola: 832390 markings, 1397115 edges, 9618 markings/sec, 75 secs
lola: 881511 markings, 1460956 edges, 9824 markings/sec, 80 secs
lola: 934077 markings, 1527366 edges, 10513 markings/sec, 85 secs
lola: 987876 markings, 1595501 edges, 10760 markings/sec, 90 secs
lola: 1039337 markings, 1663059 edges, 10292 markings/sec, 95 secs
lola: 1092262 markings, 1730583 edges, 10585 markings/sec, 100 secs
lola: 1141759 markings, 1800156 edges, 9899 markings/sec, 105 secs
lola: 1188577 markings, 1871096 edges, 9364 markings/sec, 110 secs
lola: 1235261 markings, 1940144 edges, 9337 markings/sec, 115 secs
lola: 1284865 markings, 2010718 edges, 9921 markings/sec, 120 secs
lola: 1334532 markings, 2080875 edges, 9933 markings/sec, 125 secs
lola: 1383774 markings, 2151418 edges, 9848 markings/sec, 130 secs
lola: 1428393 markings, 2218761 edges, 8924 markings/sec, 135 secs
lola: 1472646 markings, 2277488 edges, 8851 markings/sec, 140 secs
lola: 1516107 markings, 2336845 edges, 8692 markings/sec, 145 secs
lola: 1557885 markings, 2407317 edges, 8356 markings/sec, 150 secs
lola: 1609847 markings, 2476234 edges, 10392 markings/sec, 155 secs
lola: 1651533 markings, 2563505 edges, 8337 markings/sec, 160 secs
lola: 1700745 markings, 2637415 edges, 9842 markings/sec, 165 secs
lola: 1753378 markings, 2704665 edges, 10527 markings/sec, 170 secs
lola: 1805674 markings, 2772924 edges, 10459 markings/sec, 175 secs
lola: 1857181 markings, 2841673 edges, 10301 markings/sec, 180 secs
lola: 1908272 markings, 2911462 edges, 10218 markings/sec, 185 secs
lola: 1956474 markings, 2983039 edges, 9640 markings/sec, 190 secs
lola: 2003083 markings, 3052214 edges, 9322 markings/sec, 195 secs
lola: 2050689 markings, 3118410 edges, 9521 markings/sec, 200 secs
lola: 2095714 markings, 3195760 edges, 9005 markings/sec, 205 secs
lola: 2142570 markings, 3256761 edges, 9371 markings/sec, 210 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(p1096)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 56990 markings, 100457 edges, 11398 markings/sec, 0 secs
lola: 101257 markings, 200937 edges, 8853 markings/sec, 5 secs
lola: 147503 markings, 301752 edges, 9249 markings/sec, 10 secs
lola: 191708 markings, 400997 edges, 8841 markings/sec, 15 secs
lola: 235135 markings, 501219 edges, 8685 markings/sec, 20 secs
lola: 278681 markings, 600927 edges, 8709 markings/sec, 25 secs
lola: 320157 markings, 661438 edges, 8295 markings/sec, 30 secs
lola: 362669 markings, 729634 edges, 8502 markings/sec, 35 secs
lola: 406427 markings, 815777 edges, 8752 markings/sec, 40 secs
lola: 448440 markings, 903790 edges, 8403 markings/sec, 45 secs
lola: 490039 markings, 992754 edges, 8320 markings/sec, 50 secs
lola: 531231 markings, 1083445 edges, 8238 markings/sec, 55 secs
lola: 572391 markings, 1175102 edges, 8232 markings/sec, 60 secs
lola: 612465 markings, 1270024 edges, 8015 markings/sec, 65 secs
lola: 652775 markings, 1361537 edges, 8062 markings/sec, 70 secs
lola: 693481 markings, 1451056 edges, 8141 markings/sec, 75 secs
lola: 734823 markings, 1540358 edges, 8268 markings/sec, 80 secs
lola: 777082 markings, 1627910 edges, 8452 markings/sec, 85 secs
lola: 817582 markings, 1719039 edges, 8100 markings/sec, 90 secs
lola: 856720 markings, 1819471 edges, 7828 markings/sec, 95 secs
lola: 898065 markings, 1907821 edges, 8269 markings/sec, 100 secs
lola: 939508 markings, 1995956 edges, 8289 markings/sec, 105 secs
lola: 980492 markings, 2084384 edges, 8197 markings/sec, 110 secs
lola: 1021608 markings, 2176958 edges, 8223 markings/sec, 115 secs
lola: 1061589 markings, 2270662 edges, 7996 markings/sec, 120 secs
lola: 1100996 markings, 2364998 edges, 7881 markings/sec, 125 secs
lola: 1143043 markings, 2450926 edges, 8409 markings/sec, 130 secs
lola: 1183450 markings, 2541014 edges, 8081 markings/sec, 135 secs
lola: 1225320 markings, 2627414 edges, 8374 markings/sec, 140 secs
lola: 1266085 markings, 2717360 edges, 8153 markings/sec, 145 secs
lola: 1304151 markings, 2816760 edges, 7613 markings/sec, 150 secs
lola: 1345922 markings, 2905981 edges, 8354 markings/sec, 155 secs
lola: 1386770 markings, 2993671 edges, 8170 markings/sec, 160 secs
lola: 1427203 markings, 3080166 edges, 8087 markings/sec, 165 secs
lola: 1468037 markings, 3171899 edges, 8167 markings/sec, 170 secs
lola: 1508042 markings, 3264189 edges, 8001 markings/sec, 175 secs
lola: 1546956 markings, 3358934 edges, 7783 markings/sec, 180 secs
lola: 1588849 markings, 3445755 edges, 8379 markings/sec, 185 secs
lola: 1629000 markings, 3535402 edges, 8030 markings/sec, 190 secs
lola: 1670531 markings, 3622711 edges, 8306 markings/sec, 195 secs
lola: 1710924 markings, 3712637 edges, 8079 markings/sec, 200 secs
lola: 1751868 markings, 3803563 edges, 8189 markings/sec, 205 secs
lola: 1791235 markings, 3900905 edges, 7873 markings/sec, 210 secs
lola: 1831693 markings, 3989843 edges, 8092 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(p1177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 55271 markings, 103055 edges, 11054 markings/sec, 0 secs
lola: 155603 markings, 238197 edges, 20066 markings/sec, 5 secs
lola: 244160 markings, 350879 edges, 17711 markings/sec, 10 secs
lola: 318665 markings, 457160 edges, 14901 markings/sec, 15 secs
lola: 383802 markings, 567954 edges, 13027 markings/sec, 20 secs
lola: 452078 markings, 665969 edges, 13655 markings/sec, 25 secs
lola: 510822 markings, 750633 edges, 11749 markings/sec, 30 secs
lola: 570409 markings, 836891 edges, 11917 markings/sec, 35 secs
lola: 640139 markings, 936334 edges, 13946 markings/sec, 40 secs
lola: 717965 markings, 1046283 edges, 15565 markings/sec, 45 secs
lola: 796036 markings, 1156648 edges, 15614 markings/sec, 50 secs
lola: 869355 markings, 1263254 edges, 14664 markings/sec, 55 secs
lola: 926980 markings, 1350778 edges, 11525 markings/sec, 60 secs
lola: 984200 markings, 1450452 edges, 11444 markings/sec, 65 secs
lola: 1041913 markings, 1544399 edges, 11543 markings/sec, 70 secs
lola: 1099034 markings, 1633034 edges, 11424 markings/sec, 75 secs
lola: 1156807 markings, 1732022 edges, 11555 markings/sec, 80 secs
lola: 1227555 markings, 1837134 edges, 14150 markings/sec, 85 secs
lola: 1297487 markings, 1935491 edges, 13986 markings/sec, 90 secs
lola: 1356974 markings, 2041809 edges, 11897 markings/sec, 95 secs
lola: 1425969 markings, 2146787 edges, 13799 markings/sec, 100 secs
lola: 1486854 markings, 2258484 edges, 12177 markings/sec, 105 secs
lola: 1554839 markings, 2357247 edges, 13597 markings/sec, 110 secs
lola: 1626787 markings, 2471764 edges, 14390 markings/sec, 115 secs
lola: 1695025 markings, 2570536 edges, 13648 markings/sec, 120 secs
lola: 1753946 markings, 2669761 edges, 11784 markings/sec, 125 secs
lola: 1814067 markings, 2756569 edges, 12024 markings/sec, 130 secs
lola: 1890688 markings, 2863982 edges, 15324 markings/sec, 135 secs
lola: 1959391 markings, 2962997 edges, 13741 markings/sec, 140 secs
lola: 2023169 markings, 3073903 edges, 12756 markings/sec, 145 secs
lola: 2085880 markings, 3177325 edges, 12542 markings/sec, 150 secs
lola: 2155169 markings, 3293758 edges, 13858 markings/sec, 155 secs
lola: 2212769 markings, 3391051 edges, 11520 markings/sec, 160 secs
lola: 2298745 markings, 3514123 edges, 17195 markings/sec, 165 secs
lola: 2368280 markings, 3624691 edges, 13907 markings/sec, 170 secs
lola: 2447292 markings, 3741044 edges, 15802 markings/sec, 175 secs
lola: 2521873 markings, 3844551 edges, 14916 markings/sec, 180 secs
lola: 2587243 markings, 3955523 edges, 13074 markings/sec, 185 secs
lola: 2653948 markings, 4052975 edges, 13341 markings/sec, 190 secs
lola: 2720776 markings, 4166077 edges, 13366 markings/sec, 195 secs
lola: 2776110 markings, 4268209 edges, 11067 markings/sec, 200 secs
lola: 2854445 markings, 4385720 edges, 15667 markings/sec, 205 secs
lola: 2904298 markings, 4484118 edges, 9971 markings/sec, 210 secs
lola: 2972657 markings, 4572767 edges, 13672 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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 56068 markings, 92644 edges, 11214 markings/sec, 0 secs
lola: 117134 markings, 180398 edges, 12213 markings/sec, 5 secs
lola: 169203 markings, 294875 edges, 10414 markings/sec, 10 secs
lola: 219078 markings, 417378 edges, 9975 markings/sec, 15 secs
lola: 277204 markings, 521982 edges, 11625 markings/sec, 20 secs
lola: 320273 markings, 666200 edges, 8614 markings/sec, 25 secs
lola: 376058 markings, 777636 edges, 11157 markings/sec, 30 secs
lola: 433829 markings, 884565 edges, 11554 markings/sec, 35 secs
lola: 470727 markings, 1045072 edges, 7380 markings/sec, 40 secs
lola: 531050 markings, 1138116 edges, 12065 markings/sec, 45 secs
lola: 587445 markings, 1249349 edges, 11279 markings/sec, 50 secs
lola: 627098 markings, 1405330 edges, 7931 markings/sec, 55 secs
lola: 686515 markings, 1499251 edges, 11883 markings/sec, 60 secs
lola: 742071 markings, 1613608 edges, 11111 markings/sec, 65 secs
lola: 782961 markings, 1767667 edges, 8178 markings/sec, 70 secs
lola: 842316 markings, 1861824 edges, 11871 markings/sec, 75 secs
lola: 896486 markings, 1980744 edges, 10834 markings/sec, 80 secs
lola: 940282 markings, 2128879 edges, 8759 markings/sec, 85 secs
lola: 998841 markings, 2224604 edges, 11712 markings/sec, 90 secs
lola: 1048575 markings, 2355362 edges, 9947 markings/sec, 95 secs
lola: 1095242 markings, 2495263 edges, 9333 markings/sec, 100 secs
lola: 1152659 markings, 2598889 edges, 11483 markings/sec, 105 secs
lola: 1200944 markings, 2729940 edges, 9657 markings/sec, 110 secs
lola: 1251968 markings, 2863040 edges, 10205 markings/sec, 115 secs
lola: 1305111 markings, 2981796 edges, 10629 markings/sec, 120 secs
lola: 1351181 markings, 3127086 edges, 9214 markings/sec, 125 secs
lola: 1399392 markings, 3268709 edges, 9642 markings/sec, 130 secs
lola: 1452783 markings, 3385315 edges, 10678 markings/sec, 135 secs
lola: 1499950 markings, 3525776 edges, 9433 markings/sec, 140 secs
lola: 1545672 markings, 3672987 edges, 9144 markings/sec, 145 secs
lola: 1599864 markings, 3787987 edges, 10838 markings/sec, 150 secs
lola: 1648095 markings, 3926525 edges, 9646 markings/sec, 155 secs
lola: 1692279 markings, 4077897 edges, 8837 markings/sec, 160 secs
lola: 1746598 markings, 4190680 edges, 10864 markings/sec, 165 secs
lola: 1795778 markings, 4325919 edges, 9836 markings/sec, 170 secs
lola: 1838077 markings, 4481960 edges, 8460 markings/sec, 175 secs
lola: 1892816 markings, 4591748 edges, 10948 markings/sec, 180 secs
lola: 1943525 markings, 4722580 edges, 10142 markings/sec, 185 secs
lola: 1983811 markings, 4886501 edges, 8057 markings/sec, 190 secs
lola: 2039292 markings, 4996816 edges, 11096 markings/sec, 195 secs
lola: 2092036 markings, 5123530 edges, 10549 markings/sec, 200 secs
lola: 2129495 markings, 5294347 edges, 7492 markings/sec, 205 secs
lola: 2189001 markings, 5392410 edges, 11901 markings/sec, 210 secs
lola: 2242107 markings, 5513869 edges, 10621 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(p571)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44242 markings, 65379 edges, 8848 markings/sec, 0 secs
lola: 89553 markings, 136734 edges, 9062 markings/sec, 5 secs
lola: 133792 markings, 219272 edges, 8848 markings/sec, 10 secs
lola: 178513 markings, 305675 edges, 8944 markings/sec, 15 secs
lola: 222921 markings, 392897 edges, 8882 markings/sec, 20 secs
lola: 262564 markings, 491054 edges, 7929 markings/sec, 25 secs
lola: 304537 markings, 580824 edges, 8395 markings/sec, 30 secs
lola: 346934 markings, 669390 edges, 8479 markings/sec, 35 secs
lola: 388869 markings, 757522 edges, 8387 markings/sec, 40 secs
lola: 433360 markings, 837654 edges, 8898 markings/sec, 45 secs
lola: 478745 markings, 909052 edges, 9077 markings/sec, 50 secs
lola: 522659 markings, 989555 edges, 8783 markings/sec, 55 secs
lola: 567428 markings, 1076349 edges, 8954 markings/sec, 60 secs
lola: 612327 markings, 1160319 edges, 8980 markings/sec, 65 secs
lola: 651344 markings, 1260209 edges, 7803 markings/sec, 70 secs
lola: 693195 markings, 1350910 edges, 8370 markings/sec, 75 secs
lola: 735358 markings, 1439174 edges, 8433 markings/sec, 80 secs
lola: 777357 markings, 1526914 edges, 8400 markings/sec, 85 secs
lola: 822237 markings, 1613470 edges, 8976 markings/sec, 90 secs
lola: 872568 markings, 1693185 edges, 10066 markings/sec, 95 secs
lola: 917646 markings, 1784755 edges, 9016 markings/sec, 100 secs
lola: 958661 markings, 1904743 edges, 8203 markings/sec, 105 secs
lola: 1002073 markings, 2004339 edges, 8682 markings/sec, 110 secs
lola: 1046313 markings, 2101559 edges, 8848 markings/sec, 115 secs
lola: 1090636 markings, 2196448 edges, 8865 markings/sec, 120 secs
lola: 1138125 markings, 2284592 edges, 9498 markings/sec, 125 secs
lola: 1186813 markings, 2363934 edges, 9738 markings/sec, 130 secs
lola: 1230821 markings, 2460452 edges, 8802 markings/sec, 135 secs
lola: 1271644 markings, 2577418 edges, 8165 markings/sec, 140 secs
lola: 1315422 markings, 2675213 edges, 8756 markings/sec, 145 secs
lola: 1359552 markings, 2768901 edges, 8826 markings/sec, 150 secs
lola: 1402605 markings, 2866163 edges, 8611 markings/sec, 155 secs
lola: 1450604 markings, 2949746 edges, 9600 markings/sec, 160 secs
lola: 1498706 markings, 3028738 edges, 9620 markings/sec, 165 secs
lola: 1542012 markings, 3130120 edges, 8661 markings/sec, 170 secs
lola: 1583176 markings, 3242130 edges, 8233 markings/sec, 175 secs
lola: 1626599 markings, 3341060 edges, 8685 markings/sec, 180 secs
lola: 1670260 markings, 3433290 edges, 8732 markings/sec, 185 secs
lola: 1712820 markings, 3531663 edges, 8512 markings/sec, 190 secs
lola: 1753604 markings, 3613543 edges, 8157 markings/sec, 195 secs
lola: 1794589 markings, 3695718 edges, 8197 markings/sec, 200 secs
lola: 1840783 markings, 3788570 edges, 9239 markings/sec, 205 secs
lola: 1888704 markings, 3885180 edges, 9584 markings/sec, 210 secs
lola: 1936767 markings, 3982552 edges, 9613 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(p553)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 46661 markings, 89102 edges, 9332 markings/sec, 0 secs
lola: 90112 markings, 178600 edges, 8690 markings/sec, 5 secs
lola: 137968 markings, 259295 edges, 9571 markings/sec, 10 secs
lola: 181140 markings, 356301 edges, 8634 markings/sec, 15 secs
lola: 226264 markings, 464986 edges, 9025 markings/sec, 20 secs
lola: 272440 markings, 566057 edges, 9235 markings/sec, 25 secs
lola: 315721 markings, 687807 edges, 8656 markings/sec, 30 secs
lola: 363227 markings, 778382 edges, 9501 markings/sec, 35 secs
lola: 407236 markings, 901065 edges, 8802 markings/sec, 40 secs
lola: 454003 markings, 1014973 edges, 9353 markings/sec, 45 secs
lola: 498620 markings, 1132042 edges, 8923 markings/sec, 50 secs
lola: 541988 markings, 1257594 edges, 8674 markings/sec, 55 secs
lola: 588135 markings, 1346590 edges, 9229 markings/sec, 60 secs
lola: 630396 markings, 1465474 edges, 8452 markings/sec, 65 secs
lola: 674326 markings, 1577217 edges, 8786 markings/sec, 70 secs
lola: 718951 markings, 1689436 edges, 8925 markings/sec, 75 secs
lola: 760026 markings, 1812936 edges, 8215 markings/sec, 80 secs
lola: 805852 markings, 1900705 edges, 9165 markings/sec, 85 secs
lola: 848019 markings, 2019563 edges, 8433 markings/sec, 90 secs
lola: 892196 markings, 2129732 edges, 8835 markings/sec, 95 secs
lola: 936581 markings, 2241888 edges, 8877 markings/sec, 100 secs
lola: 977823 markings, 2367018 edges, 8248 markings/sec, 105 secs
lola: 1023542 markings, 2452338 edges, 9144 markings/sec, 110 secs
lola: 1065033 markings, 2571740 edges, 8298 markings/sec, 115 secs
lola: 1110466 markings, 2675660 edges, 9087 markings/sec, 120 secs
lola: 1152359 markings, 2790138 edges, 8379 markings/sec, 125 secs
lola: 1194152 markings, 2912964 edges, 8359 markings/sec, 130 secs
lola: 1239304 markings, 3001810 edges, 9030 markings/sec, 135 secs
lola: 1281268 markings, 3114661 edges, 8393 markings/sec, 140 secs
lola: 1326796 markings, 3221069 edges, 9106 markings/sec, 145 secs
lola: 1368069 markings, 3337858 edges, 8255 markings/sec, 150 secs
lola: 1410787 markings, 3453532 edges, 8544 markings/sec, 155 secs
lola: 1454743 markings, 3551881 edges, 8791 markings/sec, 160 secs
lola: 1498301 markings, 3659388 edges, 8712 markings/sec, 165 secs
lola: 1543498 markings, 3770067 edges, 9039 markings/sec, 170 secs
lola: 1585126 markings, 3891585 edges, 8326 markings/sec, 175 secs
lola: 1628744 markings, 4007224 edges, 8724 markings/sec, 180 secs
lola: 1672093 markings, 4111312 edges, 8670 markings/sec, 185 secs
lola: 1718661 markings, 4194428 edges, 9314 markings/sec, 190 secs
lola: 1762906 markings, 4293054 edges, 8849 markings/sec, 195 secs
lola: 1811552 markings, 4390342 edges, 9729 markings/sec, 200 secs
lola: 1854747 markings, 4503768 edges, 8639 markings/sec, 205 secs
lola: 1900543 markings, 4613171 edges, 9159 markings/sec, 210 secs
lola: 1946098 markings, 4715032 edges, 9111 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(p918)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44251 markings, 128289 edges, 8850 markings/sec, 0 secs
lola: 95911 markings, 220404 edges, 10332 markings/sec, 5 secs
lola: 151631 markings, 294415 edges, 11144 markings/sec, 10 secs
lola: 203461 markings, 390837 edges, 10366 markings/sec, 15 secs
lola: 255409 markings, 485986 edges, 10390 markings/sec, 20 secs
lola: 306876 markings, 582621 edges, 10293 markings/sec, 25 secs
lola: 357606 markings, 679692 edges, 10146 markings/sec, 30 secs
lola: 409288 markings, 777286 edges, 10336 markings/sec, 35 secs
lola: 459471 markings, 870197 edges, 10037 markings/sec, 40 secs
lola: 509063 markings, 979177 edges, 9918 markings/sec, 45 secs
lola: 560750 markings, 1074444 edges, 10337 markings/sec, 50 secs
lola: 612126 markings, 1170997 edges, 10275 markings/sec, 55 secs
lola: 665748 markings, 1255979 edges, 10724 markings/sec, 60 secs
lola: 719480 markings, 1341997 edges, 10746 markings/sec, 65 secs
lola: 775112 markings, 1424755 edges, 11126 markings/sec, 70 secs
lola: 830772 markings, 1508693 edges, 11132 markings/sec, 75 secs
lola: 886619 markings, 1592763 edges, 11169 markings/sec, 80 secs
lola: 942727 markings, 1675299 edges, 11222 markings/sec, 85 secs
lola: 999580 markings, 1758898 edges, 11371 markings/sec, 90 secs
lola: 1056590 markings, 1842769 edges, 11402 markings/sec, 95 secs
lola: 1112688 markings, 1926092 edges, 11220 markings/sec, 100 secs
lola: 1169733 markings, 2010893 edges, 11409 markings/sec, 105 secs
lola: 1226263 markings, 2094204 edges, 11306 markings/sec, 110 secs
lola: 1281501 markings, 2178105 edges, 11048 markings/sec, 115 secs
lola: 1337221 markings, 2262493 edges, 11144 markings/sec, 120 secs
lola: 1391964 markings, 2349099 edges, 10949 markings/sec, 125 secs
lola: 1447485 markings, 2436811 edges, 11104 markings/sec, 130 secs
lola: 1502761 markings, 2524496 edges, 11055 markings/sec, 135 secs
lola: 1556657 markings, 2614430 edges, 10779 markings/sec, 140 secs
lola: 1609896 markings, 2706372 edges, 10648 markings/sec, 145 secs
lola: 1661614 markings, 2802663 edges, 10344 markings/sec, 150 secs
lola: 1712895 markings, 2901013 edges, 10256 markings/sec, 155 secs
lola: 1760418 markings, 3012756 edges, 9505 markings/sec, 160 secs
lola: 1807709 markings, 3124251 edges, 9458 markings/sec, 165 secs
lola: 1854995 markings, 3234894 edges, 9457 markings/sec, 170 secs
lola: 1902466 markings, 3343395 edges, 9494 markings/sec, 175 secs
lola: 1950029 markings, 3456519 edges, 9513 markings/sec, 180 secs
lola: 1995361 markings, 3571157 edges, 9066 markings/sec, 185 secs
lola: 2045612 markings, 3677541 edges, 10050 markings/sec, 190 secs
lola: 2093791 markings, 3784400 edges, 9636 markings/sec, 195 secs
lola: 2143465 markings, 3890571 edges, 9935 markings/sec, 200 secs
lola: 2185198 markings, 4023228 edges, 8347 markings/sec, 205 secs
lola: 2224446 markings, 4164464 edges, 7850 markings/sec, 210 secs
lola: 2263782 markings, 4316675 edges, 7867 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(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44889 markings, 76436 edges, 8978 markings/sec, 0 secs
lola: 89893 markings, 165796 edges, 9001 markings/sec, 5 secs
lola: 134224 markings, 252945 edges, 8866 markings/sec, 10 secs
lola: 178790 markings, 348298 edges, 8913 markings/sec, 15 secs
lola: 221917 markings, 452015 edges, 8625 markings/sec, 20 secs
lola: 265405 markings, 541811 edges, 8698 markings/sec, 25 secs
lola: 309658 markings, 641454 edges, 8851 markings/sec, 30 secs
lola: 352731 markings, 732169 edges, 8615 markings/sec, 35 secs
lola: 396036 markings, 833027 edges, 8661 markings/sec, 40 secs
lola: 438732 markings, 926592 edges, 8539 markings/sec, 45 secs
lola: 482854 markings, 1018742 edges, 8824 markings/sec, 50 secs
lola: 524994 markings, 1123194 edges, 8428 markings/sec, 55 secs
lola: 568273 markings, 1207786 edges, 8656 markings/sec, 60 secs
lola: 611730 markings, 1308425 edges, 8691 markings/sec, 65 secs
lola: 654030 markings, 1400673 edges, 8460 markings/sec, 70 secs
lola: 697269 markings, 1501641 edges, 8648 markings/sec, 75 secs
lola: 740711 markings, 1592059 edges, 8688 markings/sec, 80 secs
lola: 785967 markings, 1673288 edges, 9051 markings/sec, 85 secs
lola: 830000 markings, 1762078 edges, 8807 markings/sec, 90 secs
lola: 873975 markings, 1841031 edges, 8795 markings/sec, 95 secs
lola: 918305 markings, 1931541 edges, 8866 markings/sec, 100 secs
lola: 962363 markings, 2007450 edges, 8812 markings/sec, 105 secs
lola: 1007039 markings, 2095807 edges, 8935 markings/sec, 110 secs
lola: 1050927 markings, 2173056 edges, 8778 markings/sec, 115 secs
lola: 1094346 markings, 2260192 edges, 8684 markings/sec, 120 secs
lola: 1137461 markings, 2350985 edges, 8623 markings/sec, 125 secs
lola: 1181315 markings, 2426411 edges, 8771 markings/sec, 130 secs
lola: 1224143 markings, 2511426 edges, 8566 markings/sec, 135 secs
lola: 1266731 markings, 2598782 edges, 8518 markings/sec, 140 secs
lola: 1308973 markings, 2669834 edges, 8448 markings/sec, 145 secs
lola: 1350283 markings, 2747861 edges, 8262 markings/sec, 150 secs
lola: 1390432 markings, 2836924 edges, 8030 markings/sec, 155 secs
lola: 1433924 markings, 2902351 edges, 8698 markings/sec, 160 secs
lola: 1476205 markings, 2983806 edges, 8456 markings/sec, 165 secs
lola: 1517299 markings, 3076299 edges, 8219 markings/sec, 170 secs
lola: 1558442 markings, 3174866 edges, 8229 markings/sec, 175 secs
lola: 1600483 markings, 3263306 edges, 8408 markings/sec, 180 secs
lola: 1641344 markings, 3353236 edges, 8172 markings/sec, 185 secs
lola: 1682276 markings, 3454001 edges, 8186 markings/sec, 190 secs
lola: 1724047 markings, 3541362 edges, 8354 markings/sec, 195 secs
lola: 1765161 markings, 3623086 edges, 8223 markings/sec, 200 secs
lola: 1812919 markings, 3692963 edges, 9552 markings/sec, 205 secs
lola: 1860108 markings, 3765105 edges, 9438 markings/sec, 210 secs
lola: 1907113 markings, 3837488 edges, 9401 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(p2171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 40727 markings, 61249 edges, 8145 markings/sec, 0 secs
lola: 82246 markings, 124750 edges, 8304 markings/sec, 5 secs
lola: 122813 markings, 198943 edges, 8113 markings/sec, 10 secs
lola: 164213 markings, 277549 edges, 8280 markings/sec, 15 secs
lola: 205636 markings, 355425 edges, 8285 markings/sec, 20 secs
lola: 240749 markings, 444441 edges, 7023 markings/sec, 25 secs
lola: 278996 markings, 525371 edges, 7649 markings/sec, 30 secs
lola: 317497 markings, 605779 edges, 7700 markings/sec, 35 secs
lola: 355585 markings, 685754 edges, 7618 markings/sec, 40 secs
lola: 393142 markings, 766423 edges, 7511 markings/sec, 45 secs
lola: 434042 markings, 838681 edges, 8180 markings/sec, 50 secs
lola: 476016 markings, 905793 edges, 8395 markings/sec, 55 secs
lola: 515684 markings, 976464 edges, 7934 markings/sec, 60 secs
lola: 555870 markings, 1053149 edges, 8037 markings/sec, 65 secs
lola: 597297 markings, 1130974 edges, 8285 markings/sec, 70 secs
lola: 633361 markings, 1217201 edges, 7213 markings/sec, 75 secs
lola: 671428 markings, 1300783 edges, 7613 markings/sec, 80 secs
lola: 709235 markings, 1382755 edges, 7561 markings/sec, 85 secs
lola: 747853 markings, 1463404 edges, 7724 markings/sec, 90 secs
lola: 785562 markings, 1544116 edges, 7542 markings/sec, 95 secs
lola: 828351 markings, 1622916 edges, 8558 markings/sec, 100 secs
lola: 874299 markings, 1697548 edges, 9190 markings/sec, 105 secs
lola: 915673 markings, 1779103 edges, 8275 markings/sec, 110 secs
lola: 952626 markings, 1891855 edges, 7391 markings/sec, 115 secs
lola: 992312 markings, 1983191 edges, 7937 markings/sec, 120 secs
lola: 1032957 markings, 2069759 edges, 8129 markings/sec, 125 secs
lola: 1072278 markings, 2158414 edges, 7864 markings/sec, 130 secs
lola: 1111898 markings, 2245618 edges, 7924 markings/sec, 135 secs
lola: 1158863 markings, 2320041 edges, 9393 markings/sec, 140 secs
lola: 1201984 markings, 2393421 edges, 8624 markings/sec, 145 secs
lola: 1240574 markings, 2487639 edges, 7718 markings/sec, 150 secs
lola: 1278240 markings, 2592405 edges, 7533 markings/sec, 155 secs
lola: 1317415 markings, 2683052 edges, 7835 markings/sec, 160 secs
lola: 1357535 markings, 2769586 edges, 8024 markings/sec, 165 secs
lola: 1397674 markings, 2855899 edges, 8028 markings/sec, 170 secs
lola: 1439017 markings, 2937515 edges, 8269 markings/sec, 175 secs
lola: 1485377 markings, 3012575 edges, 9272 markings/sec, 180 secs
lola: 1527361 markings, 3088754 edges, 8397 markings/sec, 185 secs
lola: 1563989 markings, 3201429 edges, 7326 markings/sec, 190 secs
lola: 1604025 markings, 3288942 edges, 8007 markings/sec, 195 secs
lola: 1644702 markings, 3377744 edges, 8135 markings/sec, 200 secs
lola: 1683821 markings, 3467351 edges, 7824 markings/sec, 205 secs
lola: 1723456 markings, 3556869 edges, 7927 markings/sec, 210 secs
lola: 1761680 markings, 3633967 edges, 7645 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(p1504)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 44165 markings, 129069 edges, 8833 markings/sec, 0 secs
lola: 88172 markings, 257388 edges, 8801 markings/sec, 5 secs
lola: 139859 markings, 348655 edges, 10337 markings/sec, 10 secs
lola: 195304 markings, 422436 edges, 11089 markings/sec, 15 secs
lola: 247115 markings, 519007 edges, 10362 markings/sec, 20 secs
lola: 298950 markings, 613793 edges, 10367 markings/sec, 25 secs
lola: 350233 markings, 710128 edges, 10257 markings/sec, 30 secs
lola: 401215 markings, 807741 edges, 10196 markings/sec, 35 secs
lola: 452597 markings, 904521 edges, 10276 markings/sec, 40 secs
lola: 502772 markings, 996795 edges, 10035 markings/sec, 45 secs
lola: 551915 markings, 1106141 edges, 9829 markings/sec, 50 secs
lola: 603357 markings, 1201101 edges, 10288 markings/sec, 55 secs
lola: 654401 markings, 1297191 edges, 10209 markings/sec, 60 secs
lola: 707911 markings, 1381077 edges, 10702 markings/sec, 65 secs
lola: 760894 markings, 1466765 edges, 10597 markings/sec, 70 secs
lola: 815998 markings, 1548777 edges, 11021 markings/sec, 75 secs
lola: 871241 markings, 1632043 edges, 11049 markings/sec, 80 secs
lola: 926730 markings, 1715751 edges, 11098 markings/sec, 85 secs
lola: 982502 markings, 1798181 edges, 11154 markings/sec, 90 secs
lola: 1038979 markings, 1880619 edges, 11295 markings/sec, 95 secs
lola: 1095947 markings, 1963931 edges, 11394 markings/sec, 100 secs
lola: 1151155 markings, 2046121 edges, 11042 markings/sec, 105 secs
lola: 1206881 markings, 2129184 edges, 11145 markings/sec, 110 secs
lola: 1262524 markings, 2210919 edges, 11129 markings/sec, 115 secs
lola: 1317372 markings, 2294363 edges, 10970 markings/sec, 120 secs
lola: 1372683 markings, 2378004 edges, 11062 markings/sec, 125 secs
lola: 1427125 markings, 2463700 edges, 10888 markings/sec, 130 secs
lola: 1481849 markings, 2550142 edges, 10945 markings/sec, 135 secs
lola: 1536223 markings, 2637582 edges, 10875 markings/sec, 140 secs
lola: 1589591 markings, 2726846 edges, 10674 markings/sec, 145 secs
lola: 1642939 markings, 2816967 edges, 10670 markings/sec, 150 secs
lola: 1695351 markings, 2910898 edges, 10482 markings/sec, 155 secs
lola: 1744972 markings, 3011682 edges, 9924 markings/sec, 160 secs
lola: 1791859 markings, 3122114 edges, 9377 markings/sec, 165 secs
lola: 1839292 markings, 3230375 edges, 9487 markings/sec, 170 secs
lola: 1886464 markings, 3339725 edges, 9434 markings/sec, 175 secs
lola: 1931329 markings, 3450271 edges, 8973 markings/sec, 180 secs
lola: 1979641 markings, 3554343 edges, 9662 markings/sec, 185 secs
lola: 2025343 markings, 3666686 edges, 9140 markings/sec, 190 secs
lola: 2075210 markings, 3768622 edges, 9973 markings/sec, 195 secs
lola: 2124903 markings, 3870000 edges, 9939 markings/sec, 200 secs
lola: 2171730 markings, 3982971 edges, 9365 markings/sec, 205 secs
lola: 2215698 markings, 4105020 edges, 8794 markings/sec, 210 secs
lola: 2255357 markings, 4244789 edges, 7932 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(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 56830 markings, 93677 edges, 11366 markings/sec, 0 secs
lola: 117964 markings, 181510 edges, 12227 markings/sec, 5 secs
lola: 169599 markings, 297191 edges, 10327 markings/sec, 10 secs
lola: 219965 markings, 418764 edges, 10073 markings/sec, 15 secs
lola: 278404 markings, 524378 edges, 11688 markings/sec, 20 secs
lola: 320725 markings, 671480 edges, 8464 markings/sec, 25 secs
lola: 377752 markings, 780253 edges, 11405 markings/sec, 30 secs
lola: 435659 markings, 889161 edges, 11581 markings/sec, 35 secs
lola: 472866 markings, 1047928 edges, 7441 markings/sec, 40 secs
lola: 533544 markings, 1141786 edges, 12136 markings/sec, 45 secs
lola: 589548 markings, 1254773 edges, 11201 markings/sec, 50 secs
lola: 629063 markings, 1410565 edges, 7903 markings/sec, 55 secs
lola: 689096 markings, 1503166 edges, 12007 markings/sec, 60 secs
lola: 743560 markings, 1618473 edges, 10893 markings/sec, 65 secs
lola: 785077 markings, 1770451 edges, 8303 markings/sec, 70 secs
lola: 843684 markings, 1863861 edges, 11721 markings/sec, 75 secs
lola: 896739 markings, 1982979 edges, 10611 markings/sec, 80 secs
lola: 940095 markings, 2128654 edges, 8671 markings/sec, 85 secs
lola: 998780 markings, 2224108 edges, 11737 markings/sec, 90 secs
lola: 1048220 markings, 2354352 edges, 9888 markings/sec, 95 secs
lola: 1094752 markings, 2493796 edges, 9306 markings/sec, 100 secs
lola: 1151534 markings, 2596723 edges, 11356 markings/sec, 105 secs
lola: 1200294 markings, 2725587 edges, 9752 markings/sec, 110 secs
lola: 1250369 markings, 2860258 edges, 10015 markings/sec, 115 secs
lola: 1303912 markings, 2978542 edges, 10709 markings/sec, 120 secs
lola: 1350551 markings, 3122171 edges, 9328 markings/sec, 125 secs
lola: 1397977 markings, 3266287 edges, 9485 markings/sec, 130 secs
lola: 1451690 markings, 3382657 edges, 10743 markings/sec, 135 secs
lola: 1499287 markings, 3523301 edges, 9519 markings/sec, 140 secs
lola: 1544678 markings, 3671323 edges, 9078 markings/sec, 145 secs
lola: 1598680 markings, 3785773 edges, 10800 markings/sec, 150 secs
lola: 1647235 markings, 3922778 edges, 9711 markings/sec, 155 secs
lola: 1690641 markings, 4075319 edges, 8681 markings/sec, 160 secs
lola: 1745110 markings, 4188060 edges, 10894 markings/sec, 165 secs
lola: 1794984 markings, 4322805 edges, 9975 markings/sec, 170 secs
lola: 1836675 markings, 4479882 edges, 8338 markings/sec, 175 secs
lola: 1891670 markings, 4589776 edges, 10999 markings/sec, 180 secs
lola: 1942964 markings, 4719062 edges, 10259 markings/sec, 185 secs
lola: 1982501 markings, 4884553 edges, 7907 markings/sec, 190 secs
lola: 2038262 markings, 4994747 edges, 11152 markings/sec, 195 secs
lola: 2091381 markings, 5120938 edges, 10624 markings/sec, 200 secs
lola: 2128385 markings, 5292725 edges, 7401 markings/sec, 205 secs
lola: 2188037 markings, 5390766 edges, 11930 markings/sec, 210 secs
lola: 2241235 markings, 5511545 edges, 10640 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p945)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 79035 markings, 87818 edges, 15807 markings/sec, 0 secs
lola: 155177 markings, 184074 edges, 15228 markings/sec, 5 secs
lola: 232401 markings, 281888 edges, 15445 markings/sec, 10 secs
lola: 310219 markings, 370242 edges, 15564 markings/sec, 15 secs
lola: 383298 markings, 469419 edges, 14616 markings/sec, 20 secs
lola: 460690 markings, 558089 edges, 15478 markings/sec, 25 secs
lola: 535827 markings, 652014 edges, 15027 markings/sec, 30 secs
lola: 609772 markings, 740578 edges, 14789 markings/sec, 35 secs
lola: 685524 markings, 837293 edges, 15150 markings/sec, 40 secs
lola: 763386 markings, 935123 edges, 15572 markings/sec, 45 secs
lola: 842979 markings, 1022512 edges, 15919 markings/sec, 50 secs
lola: 913854 markings, 1123895 edges, 14175 markings/sec, 55 secs
lola: 993445 markings, 1213631 edges, 15918 markings/sec, 60 secs
lola: 1065930 markings, 1306814 edges, 14497 markings/sec, 65 secs
lola: 1143198 markings, 1404268 edges, 15454 markings/sec, 70 secs
lola: 1218592 markings, 1495534 edges, 15079 markings/sec, 75 secs
lola: 1293213 markings, 1596341 edges, 14924 markings/sec, 80 secs
lola: 1372324 markings, 1684422 edges, 15822 markings/sec, 85 secs
lola: 1451842 markings, 1773373 edges, 15904 markings/sec, 90 secs
lola: 1530931 markings, 1862937 edges, 15818 markings/sec, 95 secs
lola: 1610390 markings, 1952630 edges, 15892 markings/sec, 100 secs
lola: 1690034 markings, 2043029 edges, 15929 markings/sec, 105 secs
lola: 1769305 markings, 2133913 edges, 15854 markings/sec, 110 secs
lola: 1849446 markings, 2225299 edges, 16028 markings/sec, 115 secs
lola: 1928926 markings, 2316559 edges, 15896 markings/sec, 120 secs
lola: 2008347 markings, 2408461 edges, 15884 markings/sec, 125 secs
lola: 2088022 markings, 2499705 edges, 15935 markings/sec, 130 secs
lola: 2166742 markings, 2590065 edges, 15744 markings/sec, 135 secs
lola: 2245470 markings, 2680716 edges, 15746 markings/sec, 140 secs
lola: 2325591 markings, 2774067 edges, 16024 markings/sec, 145 secs
lola: 2404764 markings, 2866602 edges, 15835 markings/sec, 150 secs
lola: 2484829 markings, 2960197 edges, 16013 markings/sec, 155 secs
lola: 2564385 markings, 3053788 edges, 15911 markings/sec, 160 secs
lola: 2643628 markings, 3146849 edges, 15849 markings/sec, 165 secs
lola: 2722517 markings, 3240087 edges, 15778 markings/sec, 170 secs
lola: 2800955 markings, 3332914 edges, 15688 markings/sec, 175 secs
lola: 2879281 markings, 3426036 edges, 15665 markings/sec, 180 secs
lola: 2957775 markings, 3520718 edges, 15699 markings/sec, 185 secs
lola: 3035189 markings, 3613057 edges, 15483 markings/sec, 190 secs
lola: 3110459 markings, 3705574 edges, 15054 markings/sec, 195 secs
lola: 3186000 markings, 3800235 edges, 15108 markings/sec, 200 secs
lola: 3260202 markings, 3895608 edges, 14840 markings/sec, 205 secs
lola: 3332881 markings, 3994552 edges, 14536 markings/sec, 210 secs
lola: 3404634 markings, 4092184 edges, 14351 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1624)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 65906 markings, 97620 edges, 13181 markings/sec, 0 secs
lola: 134028 markings, 200414 edges, 13624 markings/sec, 5 secs
lola: 193141 markings, 292616 edges, 11823 markings/sec, 10 secs
lola: 251298 markings, 383103 edges, 11631 markings/sec, 15 secs
lola: 319935 markings, 496061 edges, 13727 markings/sec, 20 secs
lola: 378576 markings, 601554 edges, 11728 markings/sec, 25 secs
lola: 444478 markings, 718898 edges, 13180 markings/sec, 30 secs
lola: 513794 markings, 830184 edges, 13863 markings/sec, 35 secs
lola: 582287 markings, 942557 edges, 13699 markings/sec, 40 secs
lola: 649372 markings, 1046074 edges, 13417 markings/sec, 45 secs
lola: 720676 markings, 1162288 edges, 14261 markings/sec, 50 secs
lola: 788612 markings, 1293519 edges, 13587 markings/sec, 55 secs
lola: 858127 markings, 1426553 edges, 13903 markings/sec, 60 secs
lola: 928222 markings, 1550716 edges, 14019 markings/sec, 65 secs
lola: 1005054 markings, 1672465 edges, 15366 markings/sec, 70 secs
lola: 1082643 markings, 1796551 edges, 15518 markings/sec, 75 secs
lola: 1161627 markings, 1918842 edges, 15797 markings/sec, 80 secs
lola: 1240710 markings, 2041997 edges, 15817 markings/sec, 85 secs
lola: 1310028 markings, 2165216 edges, 13864 markings/sec, 90 secs
lola: 1393347 markings, 2290340 edges, 16664 markings/sec, 95 secs
lola: 1464653 markings, 2414464 edges, 14261 markings/sec, 100 secs
lola: 1524120 markings, 2536638 edges, 11893 markings/sec, 105 secs
lola: 1586655 markings, 2662521 edges, 12507 markings/sec, 110 secs
lola: 1651788 markings, 2790988 edges, 13027 markings/sec, 115 secs
lola: 1702803 markings, 2927032 edges, 10203 markings/sec, 120 secs
lola: 1753605 markings, 3088750 edges, 10160 markings/sec, 125 secs
lola: 1804646 markings, 3249122 edges, 10208 markings/sec, 130 secs
lola: 1855247 markings, 3433947 edges, 10120 markings/sec, 135 secs
lola: 1914648 markings, 3534321 edges, 11880 markings/sec, 140 secs
lola: 1981190 markings, 3639737 edges, 13308 markings/sec, 145 secs
lola: 2045504 markings, 3748671 edges, 12863 markings/sec, 150 secs
lola: 2107886 markings, 3861070 edges, 12476 markings/sec, 155 secs
lola: 2174832 markings, 3993368 edges, 13389 markings/sec, 160 secs
lola: 2242307 markings, 4126222 edges, 13495 markings/sec, 165 secs
lola: 2308488 markings, 4247395 edges, 13236 markings/sec, 170 secs
lola: 2382053 markings, 4371824 edges, 14713 markings/sec, 175 secs
lola: 2448917 markings, 4491072 edges, 13373 markings/sec, 180 secs
lola: 2504578 markings, 4616320 edges, 11132 markings/sec, 185 secs
lola: 2561729 markings, 4766885 edges, 11430 markings/sec, 190 secs
lola: 2614256 markings, 4893209 edges, 10505 markings/sec, 195 secs
lola: 2675021 markings, 4999475 edges, 12153 markings/sec, 200 secs
lola: 2734476 markings, 5114002 edges, 11891 markings/sec, 205 secs
lola: 2804526 markings, 5219832 edges, 14010 markings/sec, 210 secs
lola: 2873161 markings, 5347650 edges, 13727 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 284 bytes per marking, with 30 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: 49818 markings, 93181 edges, 9964 markings/sec, 0 secs
lola: 99252 markings, 181486 edges, 9887 markings/sec, 5 secs
lola: 149150 markings, 270836 edges, 9980 markings/sec, 10 secs
lola: 196921 markings, 369319 edges, 9554 markings/sec, 15 secs
lola: 248310 markings, 464367 edges, 10278 markings/sec, 20 secs
lola: 294987 markings, 563915 edges, 9335 markings/sec, 25 secs
lola: 345781 markings, 647393 edges, 10159 markings/sec, 30 secs
lola: 391703 markings, 749181 edges, 9184 markings/sec, 35 secs
lola: 438873 markings, 851260 edges, 9434 markings/sec, 40 secs
lola: 482928 markings, 963537 edges, 8811 markings/sec, 45 secs
lola: 535219 markings, 1049596 edges, 10458 markings/sec, 50 secs
lola: 579095 markings, 1151183 edges, 8775 markings/sec, 55 secs
lola: 630986 markings, 1233003 edges, 10378 markings/sec, 60 secs
lola: 674714 markings, 1337085 edges, 8746 markings/sec, 65 secs
lola: 727468 markings, 1410428 edges, 10551 markings/sec, 70 secs
lola: 779502 markings, 1488227 edges, 10407 markings/sec, 75 secs
lola: 832565 markings, 1565717 edges, 10613 markings/sec, 80 secs
lola: 885725 markings, 1646213 edges, 10632 markings/sec, 85 secs
lola: 937966 markings, 1727574 edges, 10448 markings/sec, 90 secs
lola: 991383 markings, 1808169 edges, 10683 markings/sec, 95 secs
lola: 1044277 markings, 1889448 edges, 10579 markings/sec, 100 secs
lola: 1098132 markings, 1972355 edges, 10771 markings/sec, 105 secs
lola: 1150524 markings, 2056289 edges, 10478 markings/sec, 110 secs
lola: 1202590 markings, 2142041 edges, 10413 markings/sec, 115 secs
lola: 1253872 markings, 2229589 edges, 10256 markings/sec, 120 secs
lola: 1305708 markings, 2319041 edges, 10367 markings/sec, 125 secs
lola: 1356170 markings, 2409116 edges, 10092 markings/sec, 130 secs
lola: 1401407 markings, 2519336 edges, 9047 markings/sec, 135 secs
lola: 1446805 markings, 2626910 edges, 9080 markings/sec, 140 secs
lola: 1494933 markings, 2725367 edges, 9626 markings/sec, 145 secs
lola: 1544046 markings, 2827425 edges, 9823 markings/sec, 150 secs
lola: 1596236 markings, 2923773 edges, 10438 markings/sec, 155 secs
lola: 1648378 markings, 3023682 edges, 10428 markings/sec, 160 secs
lola: 1700109 markings, 3125963 edges, 10346 markings/sec, 165 secs
lola: 1750336 markings, 3221042 edges, 10045 markings/sec, 170 secs
lola: 1801592 markings, 3322072 edges, 10251 markings/sec, 175 secs
lola: 1845636 markings, 3418450 edges, 8809 markings/sec, 180 secs
lola: 1884424 markings, 3526198 edges, 7758 markings/sec, 185 secs
lola: 1926604 markings, 3632939 edges, 8436 markings/sec, 190 secs
lola: 1974728 markings, 3739767 edges, 9625 markings/sec, 195 secs
lola: 2017256 markings, 3846424 edges, 8506 markings/sec, 200 secs
lola: 2058875 markings, 3952369 edges, 8324 markings/sec, 205 secs
lola: 2102180 markings, 4057790 edges, 8661 markings/sec, 210 secs
lola: 2149884 markings, 4159316 edges, 9541 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 CloudDeployment-PT-7b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-7b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496445286577

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_CloudDeployment-PT-7b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_CloudDeployment-PT-7b.tgz
mv S_CloudDeployment-PT-7b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_CloudDeployment-PT-7b, 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 r098-ebro-149488455400065"
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 ;