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 '
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 ;