Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_HypertorusGrid-PT-d5k3p2b10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649800056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496350731296


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


checking for too many tokens
===========================================================================================
S_HypertorusGrid-PT-d5k3p2b10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_HypertorusGrid-PT-d5k3p2b10 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 31833/65536 symbol table entries, 17230 collisions
lola: preprocessing...
lola: finding significant places
lola: 7533 places, 24300 transitions, 4859 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 26973 transition conflict sets
lola: TASK
lola: reading formula from HypertorusGrid-PT-d5k3p2b10-UpperBounds.task
lola: MAX(pi_d2_n1_3_2_1_1_2) : MAX(pb_d4_n1_3_1_1_2_1) : MAX(pbl_2_3_2_2_1) : MAX(pil_d4_n1_1_3_2_3_2) : MAX(pol_d3_n1_3_1_1_1_3) : MAX(pi_d5_n1_2_2_1_2_3) : MAX(pi_d2_n1_3_3_1_3_3) : MAX(pbl_1_3_1_2_2) : MAX(pb_d5_n1_1_3_3_3_2) : MAX(pol_d4_n1_3_3_2_1_2) : MAX(pol_d5_n1_1_3_3_1_3) : MAX(pb_d2_n2_2_2_2_1_1) : MAX(pb_d4_n2_3_1_1_2_2) : MAX(po_d4_n1_3_2_3_3_3) : MAX(pbl_1_1_2_2_1) : MAX(pol_d3_n1_2_2_2_2_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d2_n1_3_2_1_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 67821 markings, 71268 edges, 13564 markings/sec, 0 secs
lola: 137879 markings, 145400 edges, 14012 markings/sec, 5 secs
lola: 203073 markings, 214363 edges, 13039 markings/sec, 10 secs
lola: 265099 markings, 279980 edges, 12405 markings/sec, 15 secs
lola: 326734 markings, 345181 edges, 12327 markings/sec, 20 secs
lola: 384265 markings, 406041 edges, 11506 markings/sec, 25 secs
lola: 440568 markings, 465585 edges, 11261 markings/sec, 30 secs
lola: 496286 markings, 524511 edges, 11144 markings/sec, 35 secs
lola: 547625 markings, 578809 edges, 10268 markings/sec, 40 secs
lola: 600816 markings, 635042 edges, 10638 markings/sec, 45 secs
lola: 642716 markings, 679246 edges, 8380 markings/sec, 50 secs
lola: 688183 markings, 727308 edges, 9093 markings/sec, 55 secs
lola: 727542 markings, 768929 edges, 7872 markings/sec, 60 secs
lola: 767923 markings, 811614 edges, 8076 markings/sec, 65 secs
lola: 810087 markings, 856197 edges, 8433 markings/sec, 70 secs
lola: 848376 markings, 896671 edges, 7658 markings/sec, 75 secs
lola: 886597 markings, 937097 edges, 7644 markings/sec, 80 secs
lola: 929443 markings, 982394 edges, 8569 markings/sec, 85 secs
lola: 967940 markings, 1023060 edges, 7699 markings/sec, 90 secs
lola: 1006079 markings, 1063407 edges, 7628 markings/sec, 95 secs
lola: 1041528 markings, 1100885 edges, 7090 markings/sec, 100 secs
lola: 1072911 markings, 1134058 edges, 6277 markings/sec, 105 secs
lola: 1106944 markings, 1170058 edges, 6807 markings/sec, 110 secs
lola: 1142104 markings, 1207234 edges, 7032 markings/sec, 115 secs
lola: 1175379 markings, 1242396 edges, 6655 markings/sec, 120 secs
lola: 1204505 markings, 1273200 edges, 5825 markings/sec, 125 secs
lola: 1234501 markings, 1304925 edges, 5999 markings/sec, 130 secs
lola: 1264944 markings, 1337109 edges, 6089 markings/sec, 135 secs
lola: 1295654 markings, 1369578 edges, 6142 markings/sec, 140 secs
lola: 1322160 markings, 1397603 edges, 5301 markings/sec, 145 secs
lola: 1350053 markings, 1427079 edges, 5579 markings/sec, 150 secs
lola: 1378922 markings, 1457613 edges, 5774 markings/sec, 155 secs
lola: 1409933 markings, 1490400 edges, 6202 markings/sec, 160 secs
lola: 1439730 markings, 1521876 edges, 5959 markings/sec, 165 secs
lola: 1468434 markings, 1552236 edges, 5741 markings/sec, 170 secs
lola: 1493466 markings, 1578696 edges, 5006 markings/sec, 175 secs
lola: 1523245 markings, 1610170 edges, 5956 markings/sec, 180 secs
lola: 1552370 markings, 1640974 edges, 5825 markings/sec, 185 secs
lola: 1580520 markings, 1670724 edges, 5630 markings/sec, 190 secs
lola: 1609555 markings, 1701431 edges, 5807 markings/sec, 195 secs
lola: 1638404 markings, 1731924 edges, 5770 markings/sec, 200 secs
lola: 1665191 markings, 1760247 edges, 5357 markings/sec, 205 secs
lola: 1691805 markings, 1788384 edges, 5323 markings/sec, 210 secs
lola: 1720047 markings, 1818239 edges, 5648 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n1_3_1_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 52745 markings, 52762 edges, 10549 markings/sec, 0 secs
lola: 86504 markings, 86631 edges, 6752 markings/sec, 5 secs
lola: 115875 markings, 116024 edges, 5874 markings/sec, 10 secs
lola: 140988 markings, 141520 edges, 5023 markings/sec, 15 secs
lola: 161267 markings, 161864 edges, 4056 markings/sec, 20 secs
lola: 178152 markings, 179246 edges, 3377 markings/sec, 25 secs
lola: 193887 markings, 195408 edges, 3147 markings/sec, 30 secs
lola: 210226 markings, 211880 edges, 3268 markings/sec, 35 secs
lola: 225687 markings, 227397 edges, 3092 markings/sec, 40 secs
lola: 240580 markings, 242391 edges, 2979 markings/sec, 45 secs
lola: 254903 markings, 256950 edges, 2865 markings/sec, 50 secs
lola: 268886 markings, 271070 edges, 2797 markings/sec, 55 secs
lola: 282227 markings, 284411 edges, 2668 markings/sec, 60 secs
lola: 295813 markings, 298072 edges, 2717 markings/sec, 65 secs
lola: 308959 markings, 311483 edges, 2629 markings/sec, 70 secs
lola: 322033 markings, 324838 edges, 2615 markings/sec, 75 secs
lola: 335211 markings, 338137 edges, 2636 markings/sec, 80 secs
lola: 347933 markings, 350911 edges, 2544 markings/sec, 85 secs
lola: 360050 markings, 363768 edges, 2423 markings/sec, 90 secs
lola: 372422 markings, 377405 edges, 2474 markings/sec, 95 secs
lola: 384938 markings, 390181 edges, 2503 markings/sec, 100 secs
lola: 397288 markings, 402659 edges, 2470 markings/sec, 105 secs
lola: 409596 markings, 415048 edges, 2462 markings/sec, 110 secs
lola: 421949 markings, 427495 edges, 2471 markings/sec, 115 secs
lola: 434416 markings, 440064 edges, 2493 markings/sec, 120 secs
lola: 445831 markings, 451575 edges, 2283 markings/sec, 125 secs
lola: 457939 markings, 463782 edges, 2422 markings/sec, 130 secs
lola: 469285 markings, 475236 edges, 2269 markings/sec, 135 secs
lola: 479868 markings, 485910 edges, 2117 markings/sec, 140 secs
lola: 490272 markings, 496502 edges, 2081 markings/sec, 145 secs
lola: 500595 markings, 506897 edges, 2065 markings/sec, 150 secs
lola: 510681 markings, 517025 edges, 2017 markings/sec, 155 secs
lola: 520958 markings, 527423 edges, 2055 markings/sec, 160 secs
lola: 531466 markings, 538606 edges, 2102 markings/sec, 165 secs
lola: 541978 markings, 549582 edges, 2102 markings/sec, 170 secs
lola: 552395 markings, 560080 edges, 2083 markings/sec, 175 secs
lola: 562836 markings, 570760 edges, 2088 markings/sec, 180 secs
lola: 573174 markings, 581129 edges, 2068 markings/sec, 185 secs
lola: 583494 markings, 591571 edges, 2064 markings/sec, 190 secs
lola: 593445 markings, 601725 edges, 1990 markings/sec, 195 secs
lola: 603575 markings, 611948 edges, 2026 markings/sec, 200 secs
lola: 613625 markings, 622120 edges, 2010 markings/sec, 205 secs
lola: 623374 markings, 631922 edges, 1950 markings/sec, 210 secs
lola: 632699 markings, 641362 edges, 1865 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_3_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 22528 markings, 24116 edges, 4506 markings/sec, 0 secs
lola: 36941 markings, 39423 edges, 2883 markings/sec, 5 secs
lola: 53513 markings, 57615 edges, 3314 markings/sec, 10 secs
lola: 66241 markings, 70401 edges, 2546 markings/sec, 15 secs
lola: 82354 markings, 86661 edges, 3223 markings/sec, 20 secs
lola: 98461 markings, 103514 edges, 3221 markings/sec, 25 secs
lola: 114660 markings, 120591 edges, 3240 markings/sec, 30 secs
lola: 130008 markings, 137149 edges, 3070 markings/sec, 35 secs
lola: 144782 markings, 152129 edges, 2955 markings/sec, 40 secs
lola: 161383 markings, 168980 edges, 3320 markings/sec, 45 secs
lola: 175957 markings, 183671 edges, 2915 markings/sec, 50 secs
lola: 189967 markings, 197681 edges, 2802 markings/sec, 55 secs
lola: 203554 markings, 211344 edges, 2717 markings/sec, 60 secs
lola: 216639 markings, 224772 edges, 2617 markings/sec, 65 secs
lola: 228842 markings, 237470 edges, 2441 markings/sec, 70 secs
lola: 240346 markings, 249355 edges, 2301 markings/sec, 75 secs
lola: 251857 markings, 261885 edges, 2302 markings/sec, 80 secs
lola: 262100 markings, 272980 edges, 2049 markings/sec, 85 secs
lola: 273001 markings, 284024 edges, 2180 markings/sec, 90 secs
lola: 284851 markings, 296006 edges, 2370 markings/sec, 95 secs
lola: 296406 markings, 307846 edges, 2311 markings/sec, 100 secs
lola: 307498 markings, 319121 edges, 2218 markings/sec, 105 secs
lola: 319032 markings, 330765 edges, 2307 markings/sec, 110 secs
lola: 330585 markings, 342468 edges, 2311 markings/sec, 115 secs
lola: 342124 markings, 354105 edges, 2308 markings/sec, 120 secs
lola: 353655 markings, 365798 edges, 2306 markings/sec, 125 secs
lola: 365232 markings, 377474 edges, 2315 markings/sec, 130 secs
lola: 376813 markings, 389221 edges, 2316 markings/sec, 135 secs
lola: 388083 markings, 400624 edges, 2254 markings/sec, 140 secs
lola: 399652 markings, 412367 edges, 2314 markings/sec, 145 secs
lola: 410922 markings, 423840 edges, 2254 markings/sec, 150 secs
lola: 422425 markings, 435609 edges, 2301 markings/sec, 155 secs
lola: 433875 markings, 447139 edges, 2290 markings/sec, 160 secs
lola: 445286 markings, 458550 edges, 2282 markings/sec, 165 secs
lola: 456364 markings, 469687 edges, 2216 markings/sec, 170 secs
lola: 468397 markings, 481777 edges, 2407 markings/sec, 175 secs
lola: 480546 markings, 493938 edges, 2430 markings/sec, 180 secs
lola: 492710 markings, 506127 edges, 2433 markings/sec, 185 secs
lola: 504835 markings, 518307 edges, 2425 markings/sec, 190 secs
lola: 516988 markings, 530473 edges, 2431 markings/sec, 195 secs
lola: 529165 markings, 542694 edges, 2435 markings/sec, 200 secs
lola: 541312 markings, 554978 edges, 2429 markings/sec, 205 secs
lola: 553428 markings, 567226 edges, 2423 markings/sec, 210 secs
lola: 565560 markings, 579391 edges, 2426 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d4_n1_1_3_2_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 50536 markings, 53711 edges, 10107 markings/sec, 0 secs
lola: 83139 markings, 88218 edges, 6521 markings/sec, 5 secs
lola: 109084 markings, 116468 edges, 5189 markings/sec, 10 secs
lola: 145013 markings, 153580 edges, 7186 markings/sec, 15 secs
lola: 178403 markings, 187587 edges, 6678 markings/sec, 20 secs
lola: 219213 markings, 228829 edges, 8162 markings/sec, 25 secs
lola: 268222 markings, 277886 edges, 9802 markings/sec, 30 secs
lola: 298269 markings, 308018 edges, 6009 markings/sec, 35 secs
lola: 323333 markings, 333082 edges, 5013 markings/sec, 40 secs
lola: 340631 markings, 350471 edges, 3460 markings/sec, 45 secs
lola: 356578 markings, 366446 edges, 3189 markings/sec, 50 secs
lola: 371437 markings, 381396 edges, 2972 markings/sec, 55 secs
lola: 385423 markings, 395422 edges, 2797 markings/sec, 60 secs
lola: 398789 markings, 408902 edges, 2673 markings/sec, 65 secs
lola: 412307 markings, 422843 edges, 2704 markings/sec, 70 secs
lola: 425627 markings, 436385 edges, 2664 markings/sec, 75 secs
lola: 438714 markings, 449649 edges, 2617 markings/sec, 80 secs
lola: 451030 markings, 462074 edges, 2463 markings/sec, 85 secs
lola: 462933 markings, 474167 edges, 2381 markings/sec, 90 secs
lola: 474501 markings, 485923 edges, 2314 markings/sec, 95 secs
lola: 486156 markings, 497749 edges, 2331 markings/sec, 100 secs
lola: 497843 markings, 509652 edges, 2337 markings/sec, 105 secs
lola: 509427 markings, 521358 edges, 2317 markings/sec, 110 secs
lola: 521010 markings, 533067 edges, 2317 markings/sec, 115 secs
lola: 531887 markings, 544213 edges, 2175 markings/sec, 120 secs
lola: 542786 markings, 555297 edges, 2180 markings/sec, 125 secs
lola: 553422 markings, 566058 edges, 2127 markings/sec, 130 secs
lola: 563689 markings, 576400 edges, 2053 markings/sec, 135 secs
lola: 573392 markings, 586119 edges, 1941 markings/sec, 140 secs
lola: 582874 markings, 595854 edges, 1896 markings/sec, 145 secs
lola: 592240 markings, 605460 edges, 1873 markings/sec, 150 secs
lola: 601609 markings, 615200 edges, 1874 markings/sec, 155 secs
lola: 610979 markings, 624942 edges, 1874 markings/sec, 160 secs
lola: 620051 markings, 634206 edges, 1814 markings/sec, 165 secs
lola: 629109 markings, 643355 edges, 1812 markings/sec, 170 secs
lola: 638091 markings, 652467 edges, 1796 markings/sec, 175 secs
lola: 647146 markings, 661656 edges, 1811 markings/sec, 180 secs
lola: 656151 markings, 670763 edges, 1801 markings/sec, 185 secs
lola: 665229 markings, 679891 edges, 1816 markings/sec, 190 secs
lola: 674216 markings, 688964 edges, 1797 markings/sec, 195 secs
lola: 683229 markings, 698029 edges, 1803 markings/sec, 200 secs
lola: 692299 markings, 707177 edges, 1814 markings/sec, 205 secs
lola: 701361 markings, 716337 edges, 1812 markings/sec, 210 secs
lola: 710441 markings, 725518 edges, 1816 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(pol_d3_n1_3_1_1_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 51974 markings, 52541 edges, 10395 markings/sec, 0 secs
lola: 87042 markings, 89333 edges, 7014 markings/sec, 5 secs
lola: 120754 markings, 124470 edges, 6742 markings/sec, 10 secs
lola: 151882 markings, 155746 edges, 6226 markings/sec, 15 secs
lola: 176678 markings, 180601 edges, 4959 markings/sec, 20 secs
lola: 199754 markings, 203752 edges, 4615 markings/sec, 25 secs
lola: 218556 markings, 222554 edges, 3760 markings/sec, 30 secs
lola: 236992 markings, 240990 edges, 3687 markings/sec, 35 secs
lola: 255871 markings, 259906 edges, 3776 markings/sec, 40 secs
lola: 272894 markings, 276977 edges, 3405 markings/sec, 45 secs
lola: 285003 markings, 289119 edges, 2422 markings/sec, 50 secs
lola: 297658 markings, 302011 edges, 2531 markings/sec, 55 secs
lola: 310426 markings, 314871 edges, 2554 markings/sec, 60 secs
lola: 322788 markings, 327454 edges, 2472 markings/sec, 65 secs
lola: 335074 markings, 339981 edges, 2457 markings/sec, 70 secs
lola: 347491 markings, 352474 edges, 2483 markings/sec, 75 secs
lola: 360285 markings, 365292 edges, 2559 markings/sec, 80 secs
lola: 372263 markings, 377339 edges, 2396 markings/sec, 85 secs
lola: 384887 markings, 389979 edges, 2525 markings/sec, 90 secs
lola: 397770 markings, 402862 edges, 2577 markings/sec, 95 secs
lola: 410395 markings, 415487 edges, 2525 markings/sec, 100 secs
lola: 423400 markings, 428492 edges, 2601 markings/sec, 105 secs
lola: 435762 markings, 440854 edges, 2472 markings/sec, 110 secs
lola: 448058 markings, 453150 edges, 2459 markings/sec, 115 secs
lola: 460650 markings, 465742 edges, 2518 markings/sec, 120 secs
lola: 473597 markings, 478692 edges, 2589 markings/sec, 125 secs
lola: 485620 markings, 490721 edges, 2405 markings/sec, 130 secs
lola: 497927 markings, 503037 edges, 2461 markings/sec, 135 secs
lola: 510660 markings, 515781 edges, 2547 markings/sec, 140 secs
lola: 522715 markings, 527846 edges, 2411 markings/sec, 145 secs
lola: 535650 markings, 540787 edges, 2587 markings/sec, 150 secs
lola: 548410 markings, 553560 edges, 2552 markings/sec, 155 secs
lola: 561420 markings, 566613 edges, 2602 markings/sec, 160 secs
lola: 573786 markings, 579050 edges, 2473 markings/sec, 165 secs
lola: 586397 markings, 591733 edges, 2522 markings/sec, 170 secs
lola: 599397 markings, 604808 edges, 2600 markings/sec, 175 secs
lola: 611519 markings, 616999 edges, 2424 markings/sec, 180 secs
lola: 623571 markings, 629133 edges, 2410 markings/sec, 185 secs
lola: 635975 markings, 641593 edges, 2481 markings/sec, 190 secs
lola: 648752 markings, 654464 edges, 2555 markings/sec, 195 secs
lola: 661215 markings, 666931 edges, 2493 markings/sec, 200 secs
lola: 674213 markings, 679934 edges, 2600 markings/sec, 205 secs
lola: 687083 markings, 692809 edges, 2574 markings/sec, 210 secs
lola: 699805 markings, 705536 edges, 2544 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(pi_d5_n1_2_2_1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 46994 markings, 48958 edges, 9399 markings/sec, 0 secs
lola: 88233 markings, 92376 edges, 8248 markings/sec, 5 secs
lola: 128670 markings, 134685 edges, 8087 markings/sec, 10 secs
lola: 169484 markings, 177496 edges, 8163 markings/sec, 15 secs
lola: 208483 markings, 218577 edges, 7800 markings/sec, 20 secs
lola: 248222 markings, 260224 edges, 7948 markings/sec, 25 secs
lola: 286071 markings, 299408 edges, 7570 markings/sec, 30 secs
lola: 320498 markings, 334258 edges, 6885 markings/sec, 35 secs
lola: 350965 markings, 365340 edges, 6093 markings/sec, 40 secs
lola: 378188 markings, 393197 edges, 5445 markings/sec, 45 secs
lola: 406184 markings, 421851 edges, 5599 markings/sec, 50 secs
lola: 433700 markings, 450014 edges, 5503 markings/sec, 55 secs
lola: 462858 markings, 479857 edges, 5832 markings/sec, 60 secs
lola: 490674 markings, 508317 edges, 5563 markings/sec, 65 secs
lola: 518735 markings, 536894 edges, 5612 markings/sec, 70 secs
lola: 546513 markings, 565191 edges, 5556 markings/sec, 75 secs
lola: 571064 markings, 590200 edges, 4910 markings/sec, 80 secs
lola: 596518 markings, 616129 edges, 5091 markings/sec, 85 secs
lola: 621026 markings, 641106 edges, 4902 markings/sec, 90 secs
lola: 648303 markings, 668993 edges, 5455 markings/sec, 95 secs
lola: 674575 markings, 695984 edges, 5254 markings/sec, 100 secs
lola: 701191 markings, 723156 edges, 5323 markings/sec, 105 secs
lola: 729523 markings, 752016 edges, 5666 markings/sec, 110 secs
lola: 755278 markings, 778233 edges, 5151 markings/sec, 115 secs
lola: 782219 markings, 805644 edges, 5388 markings/sec, 120 secs
lola: 807835 markings, 831750 edges, 5123 markings/sec, 125 secs
lola: 833867 markings, 858269 edges, 5206 markings/sec, 130 secs
lola: 859850 markings, 884694 edges, 5197 markings/sec, 135 secs
lola: 886221 markings, 911564 edges, 5274 markings/sec, 140 secs
lola: 912814 markings, 938657 edges, 5319 markings/sec, 145 secs
lola: 939153 markings, 965577 edges, 5268 markings/sec, 150 secs
lola: 965241 markings, 992142 edges, 5218 markings/sec, 155 secs
lola: 989825 markings, 1017194 edges, 4917 markings/sec, 160 secs
lola: 1015135 markings, 1042982 edges, 5062 markings/sec, 165 secs
lola: 1042277 markings, 1070712 edges, 5428 markings/sec, 170 secs
lola: 1068546 markings, 1097469 edges, 5254 markings/sec, 175 secs
lola: 1094380 markings, 1123791 edges, 5167 markings/sec, 180 secs
lola: 1120187 markings, 1150083 edges, 5161 markings/sec, 185 secs
lola: 1146959 markings, 1177452 edges, 5354 markings/sec, 190 secs
lola: 1174026 markings, 1205010 edges, 5413 markings/sec, 195 secs
lola: 1201165 markings, 1232665 edges, 5428 markings/sec, 200 secs
lola: 1227635 markings, 1259632 edges, 5294 markings/sec, 205 secs
lola: 1251593 markings, 1284144 edges, 4792 markings/sec, 210 secs
lola: 1278727 markings, 1311757 edges, 5427 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(pi_d2_n1_3_3_1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 52153 markings, 54575 edges, 10431 markings/sec, 0 secs
lola: 115988 markings, 118429 edges, 12767 markings/sec, 5 secs
lola: 177573 markings, 180025 edges, 12317 markings/sec, 10 secs
lola: 231399 markings, 233863 edges, 10765 markings/sec, 15 secs
lola: 286263 markings, 288727 edges, 10973 markings/sec, 20 secs
lola: 340819 markings, 343283 edges, 10911 markings/sec, 25 secs
lola: 397498 markings, 400093 edges, 11336 markings/sec, 30 secs
lola: 455133 markings, 457776 edges, 11527 markings/sec, 35 secs
lola: 510588 markings, 513231 edges, 11091 markings/sec, 40 secs
lola: 559540 markings, 562281 edges, 9790 markings/sec, 45 secs
lola: 611202 markings, 614085 edges, 10332 markings/sec, 50 secs
lola: 660794 markings, 663790 edges, 9918 markings/sec, 55 secs
lola: 713357 markings, 716506 edges, 10513 markings/sec, 60 secs
lola: 766434 markings, 769620 edges, 10615 markings/sec, 65 secs
lola: 815382 markings, 818568 edges, 9790 markings/sec, 70 secs
lola: 862051 markings, 865237 edges, 9334 markings/sec, 75 secs
lola: 908646 markings, 912087 edges, 9319 markings/sec, 80 secs
lola: 958401 markings, 961996 edges, 9951 markings/sec, 85 secs
lola: 1007787 markings, 1011470 edges, 9877 markings/sec, 90 secs
lola: 1057358 markings, 1061124 edges, 9914 markings/sec, 95 secs
lola: 1107774 markings, 1111598 edges, 10083 markings/sec, 100 secs
lola: 1156537 markings, 1160487 edges, 9753 markings/sec, 105 secs
lola: 1206374 markings, 1210450 edges, 9967 markings/sec, 110 secs
lola: 1256266 markings, 1260473 edges, 9978 markings/sec, 115 secs
lola: 1305902 markings, 1310253 edges, 9927 markings/sec, 120 secs
lola: 1355407 markings, 1359886 edges, 9901 markings/sec, 125 secs
lola: 1404845 markings, 1409475 edges, 9888 markings/sec, 130 secs
lola: 1454350 markings, 1459106 edges, 9901 markings/sec, 135 secs
lola: 1503510 markings, 1508392 edges, 9832 markings/sec, 140 secs
lola: 1552948 markings, 1557885 edges, 9888 markings/sec, 145 secs
lola: 1602864 markings, 1607857 edges, 9983 markings/sec, 150 secs
lola: 1652653 markings, 1657695 edges, 9958 markings/sec, 155 secs
lola: 1701990 markings, 1707082 edges, 9867 markings/sec, 160 secs
lola: 1748279 markings, 1753415 edges, 9258 markings/sec, 165 secs
lola: 1795776 markings, 1800925 edges, 9499 markings/sec, 170 secs
lola: 1841202 markings, 1846354 edges, 9085 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_1_3_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 25784 markings, 28449 edges, 5157 markings/sec, 0 secs
lola: 48499 markings, 56305 edges, 4543 markings/sec, 5 secs
lola: 72395 markings, 85226 edges, 4779 markings/sec, 10 secs
lola: 95261 markings, 112943 edges, 4573 markings/sec, 15 secs
lola: 117380 markings, 139679 edges, 4424 markings/sec, 20 secs
lola: 139397 markings, 166434 edges, 4403 markings/sec, 25 secs
lola: 162033 markings, 193788 edges, 4527 markings/sec, 30 secs
lola: 187830 markings, 219870 edges, 5159 markings/sec, 35 secs
lola: 212660 markings, 244842 edges, 4966 markings/sec, 40 secs
lola: 233026 markings, 265319 edges, 4073 markings/sec, 45 secs
lola: 250980 markings, 283273 edges, 3591 markings/sec, 50 secs
lola: 267551 markings, 299881 edges, 3314 markings/sec, 55 secs
lola: 283583 markings, 316028 edges, 3206 markings/sec, 60 secs
lola: 298733 markings, 331239 edges, 3030 markings/sec, 65 secs
lola: 312863 markings, 345439 edges, 2826 markings/sec, 70 secs
lola: 326747 markings, 359513 edges, 2777 markings/sec, 75 secs
lola: 340387 markings, 373216 edges, 2728 markings/sec, 80 secs
lola: 353193 markings, 386240 edges, 2561 markings/sec, 85 secs
lola: 366088 markings, 399190 edges, 2579 markings/sec, 90 secs
lola: 379133 markings, 412289 edges, 2609 markings/sec, 95 secs
lola: 391718 markings, 425006 edges, 2517 markings/sec, 100 secs
lola: 404581 markings, 438026 edges, 2573 markings/sec, 105 secs
lola: 416421 markings, 450025 edges, 2368 markings/sec, 110 secs
lola: 427979 markings, 461713 edges, 2312 markings/sec, 115 secs
lola: 439756 markings, 473599 edges, 2355 markings/sec, 120 secs
lola: 451505 markings, 485463 edges, 2350 markings/sec, 125 secs
lola: 463059 markings, 497143 edges, 2311 markings/sec, 130 secs
lola: 474520 markings, 508722 edges, 2292 markings/sec, 135 secs
lola: 486504 markings, 520706 edges, 2397 markings/sec, 140 secs
lola: 498767 markings, 532969 edges, 2453 markings/sec, 145 secs
lola: 510992 markings, 545194 edges, 2445 markings/sec, 150 secs
lola: 523410 markings, 557612 edges, 2484 markings/sec, 155 secs
lola: 535814 markings, 570016 edges, 2481 markings/sec, 160 secs
lola: 547643 markings, 581870 edges, 2366 markings/sec, 165 secs
lola: 560093 markings, 594320 edges, 2490 markings/sec, 170 secs
lola: 572531 markings, 606758 edges, 2488 markings/sec, 175 secs
lola: 584554 markings, 618791 edges, 2405 markings/sec, 180 secs
lola: 597009 markings, 631318 edges, 2491 markings/sec, 185 secs
lola: 609497 markings, 643836 edges, 2498 markings/sec, 190 secs
lola: 621968 markings, 656313 edges, 2494 markings/sec, 195 secs
lola: 634443 markings, 668794 edges, 2495 markings/sec, 200 secs
lola: 646871 markings, 681227 edges, 2486 markings/sec, 205 secs
lola: 659150 markings, 693512 edges, 2456 markings/sec, 210 secs
lola: 671401 markings, 705768 edges, 2450 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d5_n1_1_3_3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 46810 markings, 46923 edges, 9362 markings/sec, 0 secs
lola: 76687 markings, 77022 edges, 5975 markings/sec, 5 secs
lola: 101766 markings, 102160 edges, 5016 markings/sec, 10 secs
lola: 122947 markings, 123393 edges, 4236 markings/sec, 15 secs
lola: 142840 markings, 143358 edges, 3979 markings/sec, 20 secs
lola: 161300 markings, 161933 edges, 3692 markings/sec, 25 secs
lola: 178652 markings, 179427 edges, 3470 markings/sec, 30 secs
lola: 194520 markings, 195368 edges, 3174 markings/sec, 35 secs
lola: 208792 markings, 209701 edges, 2854 markings/sec, 40 secs
lola: 222169 markings, 223265 edges, 2675 markings/sec, 45 secs
lola: 234423 markings, 235531 edges, 2451 markings/sec, 50 secs
lola: 245708 markings, 247123 edges, 2257 markings/sec, 55 secs
lola: 256901 markings, 258646 edges, 2239 markings/sec, 60 secs
lola: 267178 markings, 268923 edges, 2055 markings/sec, 65 secs
lola: 277191 markings, 279006 edges, 2003 markings/sec, 70 secs
lola: 287574 markings, 289525 edges, 2077 markings/sec, 75 secs
lola: 297587 markings, 299915 edges, 2003 markings/sec, 80 secs
lola: 307487 markings, 309942 edges, 1980 markings/sec, 85 secs
lola: 317348 markings, 320012 edges, 1972 markings/sec, 90 secs
lola: 327223 markings, 329927 edges, 1975 markings/sec, 95 secs
lola: 336422 markings, 339311 edges, 1840 markings/sec, 100 secs
lola: 345432 markings, 348389 edges, 1802 markings/sec, 105 secs
lola: 354720 markings, 357784 edges, 1858 markings/sec, 110 secs
lola: 364430 markings, 367573 edges, 1942 markings/sec, 115 secs
lola: 374005 markings, 377324 edges, 1915 markings/sec, 120 secs
lola: 383517 markings, 387014 edges, 1902 markings/sec, 125 secs
lola: 393183 markings, 396861 edges, 1933 markings/sec, 130 secs
lola: 402743 markings, 406545 edges, 1912 markings/sec, 135 secs
lola: 412390 markings, 416311 edges, 1929 markings/sec, 140 secs
lola: 421854 markings, 425963 edges, 1893 markings/sec, 145 secs
lola: 431256 markings, 435569 edges, 1880 markings/sec, 150 secs
lola: 440917 markings, 445385 edges, 1932 markings/sec, 155 secs
lola: 450564 markings, 455213 edges, 1929 markings/sec, 160 secs
lola: 460225 markings, 465106 edges, 1932 markings/sec, 165 secs
lola: 469735 markings, 474846 edges, 1902 markings/sec, 170 secs
lola: 479389 markings, 484650 edges, 1931 markings/sec, 175 secs
lola: 489042 markings, 494450 edges, 1931 markings/sec, 180 secs
lola: 498689 markings, 504248 edges, 1929 markings/sec, 185 secs
lola: 508328 markings, 514007 edges, 1928 markings/sec, 190 secs
lola: 517953 markings, 523770 edges, 1925 markings/sec, 195 secs
lola: 527396 markings, 533333 edges, 1889 markings/sec, 200 secs
lola: 537039 markings, 543121 edges, 1929 markings/sec, 205 secs
lola: 546401 markings, 552606 edges, 1872 markings/sec, 210 secs
lola: 556019 markings, 562380 edges, 1924 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d4_n1_3_3_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 79846 markings, 80205 edges, 15969 markings/sec, 0 secs
lola: 118298 markings, 118767 edges, 7690 markings/sec, 5 secs
lola: 146287 markings, 147013 edges, 5598 markings/sec, 10 secs
lola: 173679 markings, 174992 edges, 5478 markings/sec, 15 secs
lola: 197755 markings, 199099 edges, 4815 markings/sec, 20 secs
lola: 219771 markings, 221278 edges, 4403 markings/sec, 25 secs
lola: 240391 markings, 242088 edges, 4124 markings/sec, 30 secs
lola: 262020 markings, 263921 edges, 4326 markings/sec, 35 secs
lola: 282178 markings, 284197 edges, 4032 markings/sec, 40 secs
lola: 301070 markings, 303176 edges, 3778 markings/sec, 45 secs
lola: 317551 markings, 319657 edges, 3296 markings/sec, 50 secs
lola: 331597 markings, 333892 edges, 2809 markings/sec, 55 secs
lola: 347313 markings, 350006 edges, 3143 markings/sec, 60 secs
lola: 363392 markings, 366103 edges, 3216 markings/sec, 65 secs
lola: 379696 markings, 382449 edges, 3261 markings/sec, 70 secs
lola: 395061 markings, 398332 edges, 3073 markings/sec, 75 secs
lola: 409607 markings, 413171 edges, 2909 markings/sec, 80 secs
lola: 424560 markings, 428241 edges, 2991 markings/sec, 85 secs
lola: 437610 markings, 441327 edges, 2610 markings/sec, 90 secs
lola: 451847 markings, 455724 edges, 2847 markings/sec, 95 secs
lola: 465685 markings, 469562 edges, 2768 markings/sec, 100 secs
lola: 479790 markings, 483931 edges, 2821 markings/sec, 105 secs
lola: 493625 markings, 498180 edges, 2767 markings/sec, 110 secs
lola: 506768 markings, 511533 edges, 2629 markings/sec, 115 secs
lola: 519012 markings, 524020 edges, 2449 markings/sec, 120 secs
lola: 531227 markings, 536436 edges, 2443 markings/sec, 125 secs
lola: 543383 markings, 548814 edges, 2431 markings/sec, 130 secs
lola: 555461 markings, 561045 edges, 2416 markings/sec, 135 secs
lola: 567346 markings, 573097 edges, 2377 markings/sec, 140 secs
lola: 578874 markings, 584776 edges, 2306 markings/sec, 145 secs
lola: 590995 markings, 597106 edges, 2424 markings/sec, 150 secs
lola: 603091 markings, 609420 edges, 2419 markings/sec, 155 secs
lola: 615327 markings, 621656 edges, 2447 markings/sec, 160 secs
lola: 627128 markings, 633476 edges, 2360 markings/sec, 165 secs
lola: 638944 markings, 645314 edges, 2363 markings/sec, 170 secs
lola: 651048 markings, 657452 edges, 2421 markings/sec, 175 secs
lola: 663398 markings, 669845 edges, 2470 markings/sec, 180 secs
lola: 675768 markings, 682248 edges, 2474 markings/sec, 185 secs
lola: 688115 markings, 694636 edges, 2469 markings/sec, 190 secs
lola: 700495 markings, 707037 edges, 2476 markings/sec, 195 secs
lola: 712847 markings, 719426 edges, 2470 markings/sec, 200 secs
lola: 725219 markings, 731830 edges, 2474 markings/sec, 205 secs
lola: 737580 markings, 744224 edges, 2472 markings/sec, 210 secs
lola: 749928 markings, 756619 edges, 2470 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d5_n1_1_3_3_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 65648 markings, 66127 edges, 13130 markings/sec, 0 secs
lola: 103309 markings, 103793 edges, 7532 markings/sec, 5 secs
lola: 137077 markings, 137595 edges, 6754 markings/sec, 10 secs
lola: 171646 markings, 172447 edges, 6914 markings/sec, 15 secs
lola: 206248 markings, 207425 edges, 6920 markings/sec, 20 secs
lola: 229034 markings, 230322 edges, 4557 markings/sec, 25 secs
lola: 249790 markings, 251112 edges, 4151 markings/sec, 30 secs
lola: 268943 markings, 270324 edges, 3831 markings/sec, 35 secs
lola: 286727 markings, 288163 edges, 3557 markings/sec, 40 secs
lola: 303365 markings, 304802 edges, 3328 markings/sec, 45 secs
lola: 317911 markings, 319412 edges, 2909 markings/sec, 50 secs
lola: 331264 markings, 332780 edges, 2671 markings/sec, 55 secs
lola: 343598 markings, 345469 edges, 2467 markings/sec, 60 secs
lola: 355358 markings, 357240 edges, 2352 markings/sec, 65 secs
lola: 366395 markings, 368294 edges, 2207 markings/sec, 70 secs
lola: 377244 markings, 379282 edges, 2170 markings/sec, 75 secs
lola: 387933 markings, 390109 edges, 2138 markings/sec, 80 secs
lola: 398392 markings, 400724 edges, 2092 markings/sec, 85 secs
lola: 409031 markings, 411583 edges, 2128 markings/sec, 90 secs
lola: 419693 markings, 422386 edges, 2132 markings/sec, 95 secs
lola: 430350 markings, 433177 edges, 2131 markings/sec, 100 secs
lola: 440667 markings, 443608 edges, 2063 markings/sec, 105 secs
lola: 450726 markings, 453775 edges, 2012 markings/sec, 110 secs
lola: 460775 markings, 463940 edges, 2010 markings/sec, 115 secs
lola: 470923 markings, 474121 edges, 2030 markings/sec, 120 secs
lola: 481408 markings, 484606 edges, 2097 markings/sec, 125 secs
lola: 491887 markings, 495085 edges, 2096 markings/sec, 130 secs
lola: 502207 markings, 505405 edges, 2064 markings/sec, 135 secs
lola: 512703 markings, 515901 edges, 2099 markings/sec, 140 secs
lola: 523239 markings, 526437 edges, 2107 markings/sec, 145 secs
lola: 533747 markings, 536945 edges, 2102 markings/sec, 150 secs
lola: 543901 markings, 547099 edges, 2031 markings/sec, 155 secs
lola: 554388 markings, 557586 edges, 2097 markings/sec, 160 secs
lola: 564378 markings, 567576 edges, 1998 markings/sec, 165 secs
lola: 574875 markings, 578073 edges, 2099 markings/sec, 170 secs
lola: 585350 markings, 588548 edges, 2095 markings/sec, 175 secs
lola: 595339 markings, 598538 edges, 1998 markings/sec, 180 secs
lola: 605907 markings, 609105 edges, 2114 markings/sec, 185 secs
lola: 616459 markings, 619657 edges, 2110 markings/sec, 190 secs
lola: 627020 markings, 630218 edges, 2112 markings/sec, 195 secs
lola: 637579 markings, 640777 edges, 2112 markings/sec, 200 secs
lola: 648118 markings, 651316 edges, 2108 markings/sec, 205 secs
lola: 658676 markings, 661874 edges, 2112 markings/sec, 210 secs
lola: 669019 markings, 672217 edges, 2069 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_2_2_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 42588 markings, 46099 edges, 8518 markings/sec, 0 secs
lola: 66173 markings, 72424 edges, 4717 markings/sec, 5 secs
lola: 86808 markings, 94769 edges, 4127 markings/sec, 10 secs
lola: 121597 markings, 129711 edges, 6958 markings/sec, 15 secs
lola: 150624 markings, 158849 edges, 5805 markings/sec, 20 secs
lola: 173048 markings, 181324 edges, 4485 markings/sec, 25 secs
lola: 194026 markings, 202404 edges, 4196 markings/sec, 30 secs
lola: 217653 markings, 226162 edges, 4725 markings/sec, 35 secs
lola: 241954 markings, 250803 edges, 4860 markings/sec, 40 secs
lola: 265496 markings, 274506 edges, 4708 markings/sec, 45 secs
lola: 283781 markings, 292791 edges, 3657 markings/sec, 50 secs
lola: 306458 markings, 315468 edges, 4535 markings/sec, 55 secs
lola: 328182 markings, 337253 edges, 4345 markings/sec, 60 secs
lola: 352716 markings, 362331 edges, 4907 markings/sec, 65 secs
lola: 377283 markings, 387163 edges, 4913 markings/sec, 70 secs
lola: 402360 markings, 412544 edges, 5015 markings/sec, 75 secs
lola: 427368 markings, 437630 edges, 5002 markings/sec, 80 secs
lola: 453092 markings, 463400 edges, 5145 markings/sec, 85 secs
lola: 480294 markings, 490602 edges, 5440 markings/sec, 90 secs
lola: 507561 markings, 517869 edges, 5453 markings/sec, 95 secs
lola: 534854 markings, 545162 edges, 5459 markings/sec, 100 secs
lola: 562305 markings, 572613 edges, 5490 markings/sec, 105 secs
lola: 589221 markings, 599529 edges, 5383 markings/sec, 110 secs
lola: 616457 markings, 626815 edges, 5447 markings/sec, 115 secs
lola: 643520 markings, 653878 edges, 5413 markings/sec, 120 secs
lola: 670731 markings, 681178 edges, 5442 markings/sec, 125 secs
lola: 697764 markings, 708263 edges, 5407 markings/sec, 130 secs
lola: 724873 markings, 735380 edges, 5422 markings/sec, 135 secs
lola: 752149 markings, 762662 edges, 5455 markings/sec, 140 secs
lola: 779562 markings, 790080 edges, 5483 markings/sec, 145 secs
lola: 806884 markings, 817411 edges, 5464 markings/sec, 150 secs
lola: 833877 markings, 844412 edges, 5399 markings/sec, 155 secs
lola: 861141 markings, 871685 edges, 5453 markings/sec, 160 secs
lola: 888460 markings, 899011 edges, 5464 markings/sec, 165 secs
lola: 915528 markings, 926081 edges, 5414 markings/sec, 170 secs
lola: 942306 markings, 952859 edges, 5356 markings/sec, 175 secs
lola: 969296 markings, 979849 edges, 5398 markings/sec, 180 secs
lola: 996129 markings, 1006682 edges, 5367 markings/sec, 185 secs
lola: 1023033 markings, 1033586 edges, 5381 markings/sec, 190 secs
lola: 1049959 markings, 1060512 edges, 5385 markings/sec, 195 secs
lola: 1076920 markings, 1087477 edges, 5392 markings/sec, 200 secs
lola: 1103920 markings, 1114482 edges, 5400 markings/sec, 205 secs
lola: 1130643 markings, 1141204 edges, 5345 markings/sec, 210 secs
lola: 1157510 markings, 1168118 edges, 5373 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n2_3_1_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 102205 markings, 102956 edges, 20441 markings/sec, 0 secs
lola: 150136 markings, 150934 edges, 9586 markings/sec, 5 secs
lola: 178079 markings, 179059 edges, 5589 markings/sec, 10 secs
lola: 200805 markings, 201855 edges, 4545 markings/sec, 15 secs
lola: 221497 markings, 222780 edges, 4138 markings/sec, 20 secs
lola: 240686 markings, 241985 edges, 3838 markings/sec, 25 secs
lola: 259108 markings, 260407 edges, 3684 markings/sec, 30 secs
lola: 276915 markings, 278273 edges, 3561 markings/sec, 35 secs
lola: 294468 markings, 295888 edges, 3511 markings/sec, 40 secs
lola: 311719 markings, 313175 edges, 3450 markings/sec, 45 secs
lola: 328906 markings, 330362 edges, 3437 markings/sec, 50 secs
lola: 346775 markings, 348277 edges, 3574 markings/sec, 55 secs
lola: 365623 markings, 367290 edges, 3770 markings/sec, 60 secs
lola: 383955 markings, 385811 edges, 3666 markings/sec, 65 secs
lola: 401516 markings, 403468 edges, 3512 markings/sec, 70 secs
lola: 417879 markings, 419997 edges, 3273 markings/sec, 75 secs
lola: 430925 markings, 433077 edges, 2609 markings/sec, 80 secs
lola: 444043 markings, 446458 edges, 2624 markings/sec, 85 secs
lola: 457242 markings, 459949 edges, 2640 markings/sec, 90 secs
lola: 470491 markings, 473320 edges, 2650 markings/sec, 95 secs
lola: 483504 markings, 486684 edges, 2603 markings/sec, 100 secs
lola: 496047 markings, 499366 edges, 2509 markings/sec, 105 secs
lola: 507975 markings, 511367 edges, 2386 markings/sec, 110 secs
lola: 519934 markings, 523390 edges, 2392 markings/sec, 115 secs
lola: 531638 markings, 535158 edges, 2341 markings/sec, 120 secs
lola: 542101 markings, 545919 edges, 2093 markings/sec, 125 secs
lola: 552633 markings, 556467 edges, 2106 markings/sec, 130 secs
lola: 563229 markings, 567152 edges, 2119 markings/sec, 135 secs
lola: 573802 markings, 577910 edges, 2115 markings/sec, 140 secs
lola: 583853 markings, 588079 edges, 2010 markings/sec, 145 secs
lola: 593999 markings, 598331 edges, 2029 markings/sec, 150 secs
lola: 604628 markings, 609071 edges, 2126 markings/sec, 155 secs
lola: 615382 markings, 619999 edges, 2151 markings/sec, 160 secs
lola: 626276 markings, 630894 edges, 2179 markings/sec, 165 secs
lola: 636366 markings, 640983 edges, 2018 markings/sec, 170 secs
lola: 647485 markings, 652102 edges, 2224 markings/sec, 175 secs
lola: 658272 markings, 662889 edges, 2157 markings/sec, 180 secs
lola: 669454 markings, 674071 edges, 2236 markings/sec, 185 secs
lola: 680633 markings, 685258 edges, 2236 markings/sec, 190 secs
lola: 691216 markings, 695857 edges, 2117 markings/sec, 195 secs
lola: 701682 markings, 706337 edges, 2093 markings/sec, 200 secs
lola: 712049 markings, 716718 edges, 2073 markings/sec, 205 secs
lola: 722860 markings, 727537 edges, 2162 markings/sec, 210 secs
lola: 733570 markings, 738255 edges, 2142 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(po_d4_n1_3_2_3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 64796 markings, 65087 edges, 12959 markings/sec, 0 secs
lola: 99239 markings, 99708 edges, 6889 markings/sec, 5 secs
lola: 126492 markings, 127206 edges, 5451 markings/sec, 10 secs
lola: 150531 markings, 151329 edges, 4808 markings/sec, 15 secs
lola: 172848 markings, 173705 edges, 4463 markings/sec, 20 secs
lola: 192697 markings, 193558 edges, 3970 markings/sec, 25 secs
lola: 211948 markings, 212894 edges, 3850 markings/sec, 30 secs
lola: 227653 markings, 228942 edges, 3141 markings/sec, 35 secs
lola: 241946 markings, 243337 edges, 2859 markings/sec, 40 secs
lola: 255593 markings, 257248 edges, 2729 markings/sec, 45 secs
lola: 269417 markings, 271203 edges, 2765 markings/sec, 50 secs
lola: 283628 markings, 285428 edges, 2842 markings/sec, 55 secs
lola: 297973 markings, 299774 edges, 2869 markings/sec, 60 secs
lola: 312631 markings, 314432 edges, 2932 markings/sec, 65 secs
lola: 327257 markings, 329058 edges, 2925 markings/sec, 70 secs
lola: 341899 markings, 343709 edges, 2928 markings/sec, 75 secs
lola: 356560 markings, 358377 edges, 2932 markings/sec, 80 secs
lola: 371199 markings, 373067 edges, 2928 markings/sec, 85 secs
lola: 385481 markings, 387379 edges, 2856 markings/sec, 90 secs
lola: 400072 markings, 401996 edges, 2918 markings/sec, 95 secs
lola: 414656 markings, 416628 edges, 2917 markings/sec, 100 secs
lola: 429235 markings, 431254 edges, 2916 markings/sec, 105 secs
lola: 443773 markings, 445840 edges, 2908 markings/sec, 110 secs
lola: 458300 markings, 460414 edges, 2905 markings/sec, 115 secs
lola: 472797 markings, 474959 edges, 2899 markings/sec, 120 secs
lola: 486998 markings, 489198 edges, 2840 markings/sec, 125 secs
lola: 501494 markings, 503732 edges, 2899 markings/sec, 130 secs
lola: 516077 markings, 518356 edges, 2917 markings/sec, 135 secs
lola: 530547 markings, 532839 edges, 2894 markings/sec, 140 secs
lola: 545132 markings, 547435 edges, 2917 markings/sec, 145 secs
lola: 559529 markings, 561832 edges, 2879 markings/sec, 150 secs
lola: 574181 markings, 576484 edges, 2930 markings/sec, 155 secs
lola: 588745 markings, 591048 edges, 2913 markings/sec, 160 secs
lola: 603434 markings, 605737 edges, 2938 markings/sec, 165 secs
lola: 618017 markings, 620369 edges, 2917 markings/sec, 170 secs
lola: 632363 markings, 634765 edges, 2869 markings/sec, 175 secs
lola: 646893 markings, 649345 edges, 2906 markings/sec, 180 secs
lola: 661473 markings, 663974 edges, 2916 markings/sec, 185 secs
lola: 676111 markings, 678626 edges, 2928 markings/sec, 190 secs
lola: 690783 markings, 693304 edges, 2934 markings/sec, 195 secs
lola: 705461 markings, 707989 edges, 2936 markings/sec, 200 secs
lola: 720097 markings, 722633 edges, 2927 markings/sec, 205 secs
lola: 734732 markings, 737274 edges, 2927 markings/sec, 210 secs
lola: 749388 markings, 751937 edges, 2931 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 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_1_1_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 24597 markings, 26950 edges, 4919 markings/sec, 0 secs
lola: 50896 markings, 54673 edges, 5260 markings/sec, 5 secs
lola: 72096 markings, 76929 edges, 4240 markings/sec, 10 secs
lola: 101061 markings, 106261 edges, 5793 markings/sec, 15 secs
lola: 132964 markings, 139602 edges, 6381 markings/sec, 20 secs
lola: 160270 markings, 167132 edges, 5461 markings/sec, 25 secs
lola: 182851 markings, 189872 edges, 4516 markings/sec, 30 secs
lola: 203865 markings, 211118 edges, 4203 markings/sec, 35 secs
lola: 224595 markings, 231980 edges, 4146 markings/sec, 40 secs
lola: 246326 markings, 253822 edges, 4346 markings/sec, 45 secs
lola: 265484 markings, 273029 edges, 3832 markings/sec, 50 secs
lola: 283999 markings, 291545 edges, 3703 markings/sec, 55 secs
lola: 301508 markings, 309209 edges, 3502 markings/sec, 60 secs
lola: 319146 markings, 327192 edges, 3528 markings/sec, 65 secs
lola: 336656 markings, 345476 edges, 3502 markings/sec, 70 secs
lola: 354231 markings, 363081 edges, 3515 markings/sec, 75 secs
lola: 370880 markings, 379766 edges, 3330 markings/sec, 80 secs
lola: 385339 markings, 394240 edges, 2892 markings/sec, 85 secs
lola: 399421 markings, 408375 edges, 2816 markings/sec, 90 secs
lola: 413117 markings, 422109 edges, 2739 markings/sec, 95 secs
lola: 425294 markings, 434422 edges, 2435 markings/sec, 100 secs
lola: 437333 markings, 446558 edges, 2408 markings/sec, 105 secs
lola: 448821 markings, 458065 edges, 2298 markings/sec, 110 secs
lola: 460088 markings, 469404 edges, 2253 markings/sec, 115 secs
lola: 471346 markings, 480865 edges, 2252 markings/sec, 120 secs
lola: 482555 markings, 492223 edges, 2242 markings/sec, 125 secs
lola: 493822 markings, 503549 edges, 2253 markings/sec, 130 secs
lola: 505099 markings, 514950 edges, 2255 markings/sec, 135 secs
lola: 516397 markings, 526391 edges, 2260 markings/sec, 140 secs
lola: 527681 markings, 537818 edges, 2257 markings/sec, 145 secs
lola: 538948 markings, 549243 edges, 2253 markings/sec, 150 secs
lola: 550231 markings, 560714 edges, 2257 markings/sec, 155 secs
lola: 561493 markings, 572159 edges, 2252 markings/sec, 160 secs
lola: 572703 markings, 583504 edges, 2242 markings/sec, 165 secs
lola: 583992 markings, 594989 edges, 2258 markings/sec, 170 secs
lola: 594747 markings, 605853 edges, 2151 markings/sec, 175 secs
lola: 605399 markings, 616749 edges, 2130 markings/sec, 180 secs
lola: 616067 markings, 627593 edges, 2134 markings/sec, 185 secs
lola: 626711 markings, 638438 edges, 2129 markings/sec, 190 secs
lola: 637353 markings, 649284 edges, 2128 markings/sec, 195 secs
lola: 647991 markings, 660117 edges, 2128 markings/sec, 200 secs
lola: 658601 markings, 670906 edges, 2122 markings/sec, 205 secs
lola: 669190 markings, 681669 edges, 2118 markings/sec, 210 secs
lola: 679796 markings, 692566 edges, 2121 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d3_n1_2_2_2_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 19436 bytes per marking, with 0 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: 101256 markings, 101499 edges, 20251 markings/sec, 0 secs
lola: 153932 markings, 154704 edges, 10535 markings/sec, 5 secs
lola: 193190 markings, 194191 edges, 7852 markings/sec, 10 secs
lola: 231956 markings, 233486 edges, 7753 markings/sec, 15 secs
lola: 269642 markings, 271320 edges, 7537 markings/sec, 20 secs
lola: 302639 markings, 304425 edges, 6599 markings/sec, 25 secs
lola: 329040 markings, 330845 edges, 5280 markings/sec, 30 secs
lola: 351535 markings, 353341 edges, 4499 markings/sec, 35 secs
lola: 373201 markings, 375415 edges, 4333 markings/sec, 40 secs
lola: 390259 markings, 392475 edges, 3412 markings/sec, 45 secs
lola: 405957 markings, 408230 edges, 3140 markings/sec, 50 secs
lola: 420355 markings, 422936 edges, 2880 markings/sec, 55 secs
lola: 434356 markings, 437029 edges, 2800 markings/sec, 60 secs
lola: 448506 markings, 451461 edges, 2830 markings/sec, 65 secs
lola: 462022 markings, 465218 edges, 2703 markings/sec, 70 secs
lola: 475966 markings, 479207 edges, 2789 markings/sec, 75 secs
lola: 489891 markings, 493174 edges, 2785 markings/sec, 80 secs
lola: 503797 markings, 507115 edges, 2781 markings/sec, 85 secs
lola: 517719 markings, 521087 edges, 2784 markings/sec, 90 secs
lola: 531703 markings, 535136 edges, 2797 markings/sec, 95 secs
lola: 545576 markings, 549074 edges, 2775 markings/sec, 100 secs
lola: 559559 markings, 563122 edges, 2797 markings/sec, 105 secs
lola: 573439 markings, 577067 edges, 2776 markings/sec, 110 secs
lola: 587428 markings, 591121 edges, 2798 markings/sec, 115 secs
lola: 601293 markings, 605051 edges, 2773 markings/sec, 120 secs
lola: 615228 markings, 619051 edges, 2787 markings/sec, 125 secs
lola: 629082 markings, 632970 edges, 2771 markings/sec, 130 secs
lola: 643003 markings, 646956 edges, 2784 markings/sec, 135 secs
lola: 656901 markings, 660919 edges, 2780 markings/sec, 140 secs
lola: 670846 markings, 674926 edges, 2789 markings/sec, 145 secs
lola: 684733 markings, 688874 edges, 2777 markings/sec, 150 secs
lola: 698664 markings, 702866 edges, 2786 markings/sec, 155 secs
lola: 712568 markings, 716835 edges, 2781 markings/sec, 160 secs
lola: 726489 markings, 730822 edges, 2784 markings/sec, 165 secs
lola: 740403 markings, 744800 edges, 2783 markings/sec, 170 secs
lola: 754326 markings, 758788 edges, 2785 markings/sec, 175 secs
lola: 768222 markings, 772739 edges, 2779 markings/sec, 180 secs
lola: 782153 markings, 786727 edges, 2786 markings/sec, 185 secs
lola: 796025 markings, 800681 edges, 2774 markings/sec, 190 secs
lola: 809900 markings, 814592 edges, 2775 markings/sec, 195 secs
lola: 823698 markings, 828422 edges, 2760 markings/sec, 200 secs
lola: 837111 markings, 841928 edges, 2683 markings/sec, 205 secs
lola: 850026 markings, 855037 edges, 2583 markings/sec, 210 secs
lola: 862576 markings, 867705 edges, 2510 markings/sec, 215 secs
lola: 874673 markings, 879897 edges, 2419 markings/sec, 220 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d5k3p2b10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496354271966

--------------------
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_HypertorusGrid-PT-d5k3p2b10"
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_HypertorusGrid-PT-d5k3p2b10.tgz
mv S_HypertorusGrid-PT-d5k3p2b10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_HypertorusGrid-PT-d5k3p2b10, 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 r118-blw7-149441649800056"
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 ;