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 HypercubeGrid-PT-C5K3P3B15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484500020
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494614989238


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ HypercubeGrid-PT-C5K3P3B15 @ 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: 34263/65536 symbol table entries, 18076 collisions
lola: preprocessing...
lola: finding significant places
lola: 9153 places, 25110 transitions, 5669 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 28593 transition conflict sets
lola: TASK
lola: reading formula from HypercubeGrid-PT-C5K3P3B15-UpperBounds.task
lola: MAX(pb_d3_n2_3_2_1_3_3) : MAX(pil_d3_n1_1_2_4_2_2) : MAX(po_d4_n1_1_2_2_4_3) : MAX(pi_d5_n1_1_3_3_3_1) : MAX(pil_d3_n1_2_3_4_1_3) : MAX(po_d3_n1_2_2_2_2_2) : MAX(pb_d1_n2_2_2_1_2_2) : MAX(pil_d4_n1_3_2_1_3_3) : MAX(pol_d3_n1_1_2_2_1_2) : MAX(pil_d3_n1_2_3_4_1_3) : MAX(pi_d5_n1_2_3_2_3_1) : MAX(pb_d4_n1_2_3_3_1_1) : MAX(pb_d2_n2_2_1_1_1_1) : MAX(pil_d5_n1_2_3_2_3_1) : MAX(pb_d2_n1_2_1_3_3_3) : MAX(pol_d4_n1_3_2_2_4_1)
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(pb_d3_n2_3_2_1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 71889 markings, 71943 edges, 14378 markings/sec, 0 secs
lola: 106110 markings, 106344 edges, 6844 markings/sec, 5 secs
lola: 132719 markings, 133281 edges, 5322 markings/sec, 10 secs
lola: 157251 markings, 159350 edges, 4906 markings/sec, 15 secs
lola: 181340 markings, 184219 edges, 4818 markings/sec, 20 secs
lola: 206559 markings, 210268 edges, 5044 markings/sec, 25 secs
lola: 231251 markings, 235540 edges, 4938 markings/sec, 30 secs
lola: 253599 markings, 258123 edges, 4470 markings/sec, 35 secs
lola: 275006 markings, 280388 edges, 4281 markings/sec, 40 secs
lola: 294606 markings, 300013 edges, 3920 markings/sec, 45 secs
lola: 312750 markings, 318202 edges, 3629 markings/sec, 50 secs
lola: 330594 markings, 336113 edges, 3569 markings/sec, 55 secs
lola: 346271 markings, 351963 edges, 3135 markings/sec, 60 secs
lola: 362029 markings, 368052 edges, 3152 markings/sec, 65 secs
lola: 378459 markings, 384509 edges, 3286 markings/sec, 70 secs
lola: 394956 markings, 401035 edges, 3299 markings/sec, 75 secs
lola: 411453 markings, 417567 edges, 3299 markings/sec, 80 secs
lola: 427937 markings, 434087 edges, 3297 markings/sec, 85 secs
lola: 444418 markings, 450603 edges, 3296 markings/sec, 90 secs
lola: 460919 markings, 467131 edges, 3300 markings/sec, 95 secs
lola: 477033 markings, 483256 edges, 3223 markings/sec, 100 secs
lola: 491432 markings, 497655 edges, 2880 markings/sec, 105 secs
lola: 507691 markings, 513919 edges, 3252 markings/sec, 110 secs
lola: 524196 markings, 530584 edges, 3301 markings/sec, 115 secs
lola: 540765 markings, 547168 edges, 3314 markings/sec, 120 secs
lola: 557259 markings, 563722 edges, 3299 markings/sec, 125 secs
lola: 573773 markings, 580236 edges, 3303 markings/sec, 130 secs
lola: 590143 markings, 596606 edges, 3274 markings/sec, 135 secs
lola: 606304 markings, 612767 edges, 3232 markings/sec, 140 secs
lola: 622632 markings, 629229 edges, 3266 markings/sec, 145 secs
lola: 639003 markings, 645788 edges, 3274 markings/sec, 150 secs
lola: 655486 markings, 662460 edges, 3297 markings/sec, 155 secs
lola: 671505 markings, 678663 edges, 3204 markings/sec, 160 secs
lola: 686943 markings, 694272 edges, 3088 markings/sec, 165 secs
lola: 703172 markings, 710806 edges, 3246 markings/sec, 170 secs
lola: 718664 markings, 726595 edges, 3098 markings/sec, 175 secs
lola: 733679 markings, 741901 edges, 3003 markings/sec, 180 secs
lola: 748898 markings, 757414 edges, 3044 markings/sec, 185 secs
lola: 764859 markings, 773677 edges, 3192 markings/sec, 190 secs
lola: 781195 markings, 790330 edges, 3267 markings/sec, 195 secs
lola: 796798 markings, 806238 edges, 3121 markings/sec, 200 secs
lola: 812078 markings, 821814 edges, 3056 markings/sec, 205 secs
lola: 827833 markings, 837884 edges, 3151 markings/sec, 210 secs
lola: 843802 markings, 854162 edges, 3194 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(pil_d3_n1_1_2_4_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 84280 markings, 85217 edges, 16856 markings/sec, 0 secs
lola: 120160 markings, 122182 edges, 7176 markings/sec, 5 secs
lola: 151244 markings, 153984 edges, 6217 markings/sec, 10 secs
lola: 179338 markings, 183103 edges, 5619 markings/sec, 15 secs
lola: 202761 markings, 206724 edges, 4685 markings/sec, 20 secs
lola: 224679 markings, 228999 edges, 4384 markings/sec, 25 secs
lola: 243507 markings, 247923 edges, 3766 markings/sec, 30 secs
lola: 261345 markings, 265861 edges, 3568 markings/sec, 35 secs
lola: 278037 markings, 282694 edges, 3338 markings/sec, 40 secs
lola: 294788 markings, 299648 edges, 3350 markings/sec, 45 secs
lola: 311545 markings, 316562 edges, 3351 markings/sec, 50 secs
lola: 327340 markings, 332403 edges, 3159 markings/sec, 55 secs
lola: 341846 markings, 346951 edges, 2901 markings/sec, 60 secs
lola: 355523 markings, 360705 edges, 2735 markings/sec, 65 secs
lola: 368117 markings, 373459 edges, 2519 markings/sec, 70 secs
lola: 381184 markings, 386876 edges, 2613 markings/sec, 75 secs
lola: 393989 markings, 399769 edges, 2561 markings/sec, 80 secs
lola: 406974 markings, 412812 edges, 2597 markings/sec, 85 secs
lola: 419782 markings, 425844 edges, 2562 markings/sec, 90 secs
lola: 431978 markings, 438414 edges, 2439 markings/sec, 95 secs
lola: 445271 markings, 451892 edges, 2659 markings/sec, 100 secs
lola: 457702 markings, 464510 edges, 2486 markings/sec, 105 secs
lola: 469022 markings, 476309 edges, 2264 markings/sec, 110 secs
lola: 481056 markings, 488343 edges, 2407 markings/sec, 115 secs
lola: 493446 markings, 500754 edges, 2478 markings/sec, 120 secs
lola: 505680 markings, 513285 edges, 2447 markings/sec, 125 secs
lola: 517320 markings, 525126 edges, 2328 markings/sec, 130 secs
lola: 528700 markings, 536794 edges, 2276 markings/sec, 135 secs
lola: 540190 markings, 548585 edges, 2298 markings/sec, 140 secs
lola: 551072 markings, 559737 edges, 2176 markings/sec, 145 secs
lola: 562625 markings, 571566 edges, 2311 markings/sec, 150 secs
lola: 574260 markings, 583450 edges, 2327 markings/sec, 155 secs
lola: 586017 markings, 595507 edges, 2351 markings/sec, 160 secs
lola: 597723 markings, 607543 edges, 2341 markings/sec, 165 secs
lola: 609453 markings, 619619 edges, 2346 markings/sec, 170 secs
lola: 621197 markings, 631731 edges, 2349 markings/sec, 175 secs
lola: 632894 markings, 643768 edges, 2339 markings/sec, 180 secs
lola: 644423 markings, 655422 edges, 2306 markings/sec, 185 secs
lola: 655847 markings, 667134 edges, 2285 markings/sec, 190 secs
lola: 667346 markings, 678845 edges, 2300 markings/sec, 195 secs
lola: 678895 markings, 690548 edges, 2310 markings/sec, 200 secs
lola: 690479 markings, 702261 edges, 2317 markings/sec, 205 secs
lola: 702143 markings, 714090 edges, 2333 markings/sec, 210 secs
lola: 713807 markings, 725910 edges, 2333 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(po_d4_n1_1_2_2_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 82223 markings, 82911 edges, 16445 markings/sec, 0 secs
lola: 124864 markings, 125747 edges, 8528 markings/sec, 5 secs
lola: 166164 markings, 167609 edges, 8260 markings/sec, 10 secs
lola: 207776 markings, 209543 edges, 8322 markings/sec, 15 secs
lola: 249197 markings, 251287 edges, 8284 markings/sec, 20 secs
lola: 290607 markings, 293004 edges, 8282 markings/sec, 25 secs
lola: 331891 markings, 334639 edges, 8257 markings/sec, 30 secs
lola: 372933 markings, 376025 edges, 8208 markings/sec, 35 secs
lola: 414156 markings, 417714 edges, 8245 markings/sec, 40 secs
lola: 455457 markings, 459540 edges, 8260 markings/sec, 45 secs
lola: 494811 markings, 499396 edges, 7871 markings/sec, 50 secs
lola: 535966 markings, 541074 edges, 8231 markings/sec, 55 secs
lola: 577127 markings, 582758 edges, 8232 markings/sec, 60 secs
lola: 618218 markings, 624375 edges, 8218 markings/sec, 65 secs
lola: 663924 markings, 670090 edges, 9141 markings/sec, 70 secs
lola: 709648 markings, 715839 edges, 9145 markings/sec, 75 secs
lola: 755144 markings, 761335 edges, 9099 markings/sec, 80 secs
lola: 800966 markings, 807176 edges, 9164 markings/sec, 85 secs
lola: 846387 markings, 852624 edges, 9084 markings/sec, 90 secs
lola: 891541 markings, 897901 edges, 9031 markings/sec, 95 secs
lola: 937272 markings, 943668 edges, 9146 markings/sec, 100 secs
lola: 982757 markings, 989180 edges, 9097 markings/sec, 105 secs
lola: 1027343 markings, 1034074 edges, 8917 markings/sec, 110 secs
lola: 1071759 markings, 1078829 edges, 8883 markings/sec, 115 secs
lola: 1116522 markings, 1123897 edges, 8953 markings/sec, 120 secs
lola: 1161675 markings, 1169098 edges, 9031 markings/sec, 125 secs
lola: 1206757 markings, 1214229 edges, 9016 markings/sec, 130 secs
lola: 1252049 markings, 1259578 edges, 9058 markings/sec, 135 secs
lola: 1297332 markings, 1304914 edges, 9057 markings/sec, 140 secs
lola: 1342613 markings, 1350195 edges, 9056 markings/sec, 145 secs
lola: 1387844 markings, 1395463 edges, 9046 markings/sec, 150 secs
lola: 1432287 markings, 1439950 edges, 8889 markings/sec, 155 secs
lola: 1476388 markings, 1484095 edges, 8820 markings/sec, 160 secs
lola: 1521186 markings, 1528920 edges, 8960 markings/sec, 165 secs
lola: 1566170 markings, 1573926 edges, 8997 markings/sec, 170 secs
lola: 1610760 markings, 1618548 edges, 8918 markings/sec, 175 secs
lola: 1655328 markings, 1663144 edges, 8914 markings/sec, 180 secs
lola: 1700027 markings, 1707867 edges, 8940 markings/sec, 185 secs
lola: 1744650 markings, 1752516 edges, 8925 markings/sec, 190 secs
lola: 1789547 markings, 1797450 edges, 8979 markings/sec, 195 secs
lola: 1834191 markings, 1842169 edges, 8929 markings/sec, 200 secs
lola: 1878414 markings, 1886462 edges, 8845 markings/sec, 205 secs
lola: 1922751 markings, 1930861 edges, 8867 markings/sec, 210 secs
lola: 1967114 markings, 1975287 edges, 8873 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(pi_d5_n1_1_3_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 67303 markings, 67590 edges, 13461 markings/sec, 0 secs
lola: 104476 markings, 105423 edges, 7435 markings/sec, 5 secs
lola: 138785 markings, 139945 edges, 6862 markings/sec, 10 secs
lola: 164568 markings, 166017 edges, 5157 markings/sec, 15 secs
lola: 186800 markings, 189035 edges, 4446 markings/sec, 20 secs
lola: 208900 markings, 212000 edges, 4420 markings/sec, 25 secs
lola: 231019 markings, 235180 edges, 4424 markings/sec, 30 secs
lola: 252978 markings, 258364 edges, 4392 markings/sec, 35 secs
lola: 275198 markings, 281521 edges, 4444 markings/sec, 40 secs
lola: 297325 markings, 304611 edges, 4425 markings/sec, 45 secs
lola: 319533 markings, 327527 edges, 4442 markings/sec, 50 secs
lola: 340935 markings, 349018 edges, 4280 markings/sec, 55 secs
lola: 360553 markings, 369387 edges, 3924 markings/sec, 60 secs
lola: 379124 markings, 387984 edges, 3714 markings/sec, 65 secs
lola: 396998 markings, 406341 edges, 3575 markings/sec, 70 secs
lola: 413658 markings, 423113 edges, 3332 markings/sec, 75 secs
lola: 429219 markings, 439073 edges, 3112 markings/sec, 80 secs
lola: 444177 markings, 454039 edges, 2992 markings/sec, 85 secs
lola: 458072 markings, 468068 edges, 2779 markings/sec, 90 secs
lola: 471101 markings, 481227 edges, 2606 markings/sec, 95 secs
lola: 483942 markings, 494779 edges, 2568 markings/sec, 100 secs
lola: 496791 markings, 507848 edges, 2570 markings/sec, 105 secs
lola: 509007 markings, 520811 edges, 2443 markings/sec, 110 secs
lola: 521151 markings, 533325 edges, 2429 markings/sec, 115 secs
lola: 533335 markings, 545739 edges, 2437 markings/sec, 120 secs
lola: 545536 markings, 558060 edges, 2440 markings/sec, 125 secs
lola: 557755 markings, 570455 edges, 2444 markings/sec, 130 secs
lola: 570028 markings, 583228 edges, 2455 markings/sec, 135 secs
lola: 582309 markings, 596172 edges, 2456 markings/sec, 140 secs
lola: 594498 markings, 608691 edges, 2438 markings/sec, 145 secs
lola: 606735 markings, 621383 edges, 2447 markings/sec, 150 secs
lola: 618890 markings, 633823 edges, 2431 markings/sec, 155 secs
lola: 631048 markings, 646271 edges, 2432 markings/sec, 160 secs
lola: 643301 markings, 659118 edges, 2451 markings/sec, 165 secs
lola: 655555 markings, 672015 edges, 2451 markings/sec, 170 secs
lola: 668423 markings, 684947 edges, 2574 markings/sec, 175 secs
lola: 681388 markings, 697912 edges, 2593 markings/sec, 180 secs
lola: 694389 markings, 711010 edges, 2600 markings/sec, 185 secs
lola: 707384 markings, 724124 edges, 2599 markings/sec, 190 secs
lola: 719744 markings, 736512 edges, 2472 markings/sec, 195 secs
lola: 732522 markings, 749324 edges, 2556 markings/sec, 200 secs
lola: 745543 markings, 762372 edges, 2604 markings/sec, 205 secs
lola: 758540 markings, 775400 edges, 2599 markings/sec, 210 secs
lola: 771486 markings, 788376 edges, 2589 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(pil_d3_n1_2_3_4_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 49902 markings, 51245 edges, 9980 markings/sec, 0 secs
lola: 85053 markings, 87107 edges, 7030 markings/sec, 5 secs
lola: 121033 markings, 123608 edges, 7196 markings/sec, 10 secs
lola: 156403 markings, 159622 edges, 7074 markings/sec, 15 secs
lola: 188336 markings, 192034 edges, 6387 markings/sec, 20 secs
lola: 216583 markings, 220416 edges, 5649 markings/sec, 25 secs
lola: 239885 markings, 244157 edges, 4660 markings/sec, 30 secs
lola: 263260 markings, 267785 edges, 4675 markings/sec, 35 secs
lola: 286266 markings, 291203 edges, 4601 markings/sec, 40 secs
lola: 309283 markings, 314668 edges, 4603 markings/sec, 45 secs
lola: 332621 markings, 338437 edges, 4668 markings/sec, 50 secs
lola: 355823 markings, 361971 edges, 4640 markings/sec, 55 secs
lola: 379068 markings, 385513 edges, 4649 markings/sec, 60 secs
lola: 402453 markings, 409155 edges, 4677 markings/sec, 65 secs
lola: 425950 markings, 433078 edges, 4699 markings/sec, 70 secs
lola: 450207 markings, 457433 edges, 4851 markings/sec, 75 secs
lola: 474462 markings, 481688 edges, 4851 markings/sec, 80 secs
lola: 499321 markings, 506554 edges, 4972 markings/sec, 85 secs
lola: 524172 markings, 531405 edges, 4970 markings/sec, 90 secs
lola: 549136 markings, 556369 edges, 4993 markings/sec, 95 secs
lola: 574067 markings, 581300 edges, 4986 markings/sec, 100 secs
lola: 598956 markings, 606189 edges, 4978 markings/sec, 105 secs
lola: 623877 markings, 631110 edges, 4984 markings/sec, 110 secs
lola: 648664 markings, 655897 edges, 4957 markings/sec, 115 secs
lola: 673251 markings, 680500 edges, 4917 markings/sec, 120 secs
lola: 697608 markings, 704868 edges, 4871 markings/sec, 125 secs
lola: 722065 markings, 729325 edges, 4891 markings/sec, 130 secs
lola: 746448 markings, 753708 edges, 4877 markings/sec, 135 secs
lola: 770735 markings, 777995 edges, 4857 markings/sec, 140 secs
lola: 795012 markings, 802272 edges, 4855 markings/sec, 145 secs
lola: 819425 markings, 826685 edges, 4883 markings/sec, 150 secs
lola: 843844 markings, 851104 edges, 4884 markings/sec, 155 secs
lola: 868197 markings, 875610 edges, 4871 markings/sec, 160 secs
lola: 892455 markings, 899931 edges, 4852 markings/sec, 165 secs
lola: 916590 markings, 924150 edges, 4827 markings/sec, 170 secs
lola: 940763 markings, 948356 edges, 4835 markings/sec, 175 secs
lola: 964854 markings, 972452 edges, 4818 markings/sec, 180 secs
lola: 989181 markings, 996783 edges, 4865 markings/sec, 185 secs
lola: 1013519 markings, 1021188 edges, 4868 markings/sec, 190 secs
lola: 1037731 markings, 1045467 edges, 4842 markings/sec, 195 secs
lola: 1061876 markings, 1069673 edges, 4829 markings/sec, 200 secs
lola: 1086178 markings, 1094030 edges, 4860 markings/sec, 205 secs
lola: 1110351 markings, 1118257 edges, 4835 markings/sec, 210 secs
lola: 1134522 markings, 1142480 edges, 4834 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(po_d3_n1_2_2_2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 74683 markings, 76427 edges, 14937 markings/sec, 0 secs
lola: 132659 markings, 136608 edges, 11595 markings/sec, 5 secs
lola: 190717 markings, 196867 edges, 11612 markings/sec, 10 secs
lola: 248750 markings, 256974 edges, 11607 markings/sec, 15 secs
lola: 306827 markings, 317151 edges, 11615 markings/sec, 20 secs
lola: 364807 markings, 377471 edges, 11596 markings/sec, 25 secs
lola: 422918 markings, 437798 edges, 11622 markings/sec, 30 secs
lola: 481011 markings, 497965 edges, 11619 markings/sec, 35 secs
lola: 539120 markings, 558149 edges, 11622 markings/sec, 40 secs
lola: 595737 markings, 616001 edges, 11323 markings/sec, 45 secs
lola: 649062 markings, 669693 edges, 10665 markings/sec, 50 secs
lola: 702215 markings, 723201 edges, 10631 markings/sec, 55 secs
lola: 755431 markings, 776778 edges, 10643 markings/sec, 60 secs
lola: 810056 markings, 831727 edges, 10925 markings/sec, 65 secs
lola: 864502 markings, 886542 edges, 10889 markings/sec, 70 secs
lola: 917917 markings, 943229 edges, 10683 markings/sec, 75 secs
lola: 970532 markings, 1000599 edges, 10523 markings/sec, 80 secs
lola: 1024575 markings, 1058098 edges, 10809 markings/sec, 85 secs
lola: 1078633 markings, 1115563 edges, 10812 markings/sec, 90 secs
lola: 1132933 markings, 1172885 edges, 10860 markings/sec, 95 secs
lola: 1187199 markings, 1230045 edges, 10853 markings/sec, 100 secs
lola: 1240292 markings, 1286835 edges, 10619 markings/sec, 105 secs
lola: 1292106 markings, 1344387 edges, 10363 markings/sec, 110 secs
lola: 1343143 markings, 1401747 edges, 10207 markings/sec, 115 secs
lola: 1394111 markings, 1460180 edges, 10194 markings/sec, 120 secs
lola: 1445228 markings, 1517887 edges, 10223 markings/sec, 125 secs
lola: 1497920 markings, 1573301 edges, 10538 markings/sec, 130 secs
lola: 1551813 markings, 1628011 edges, 10779 markings/sec, 135 secs
lola: 1605884 markings, 1682880 edges, 10814 markings/sec, 140 secs
lola: 1656594 markings, 1734141 edges, 10142 markings/sec, 145 secs
lola: 1691878 markings, 1770345 edges, 7057 markings/sec, 150 secs
lola: 1722756 markings, 1801291 edges, 6176 markings/sec, 155 secs
lola: 1750216 markings, 1829056 edges, 5492 markings/sec, 160 secs
lola: 1775273 markings, 1854386 edges, 5011 markings/sec, 165 secs
lola: 1800762 markings, 1880568 edges, 5098 markings/sec, 170 secs
lola: 1826204 markings, 1906645 edges, 5088 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 225 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d1_n2_2_2_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 98435 markings, 99581 edges, 19687 markings/sec, 0 secs
lola: 186930 markings, 188522 edges, 17699 markings/sec, 5 secs
lola: 276669 markings, 278282 edges, 17948 markings/sec, 10 secs
lola: 363222 markings, 364950 edges, 17311 markings/sec, 15 secs
lola: 447438 markings, 449191 edges, 16843 markings/sec, 20 secs
lola: 531337 markings, 533133 edges, 16780 markings/sec, 25 secs
lola: 612057 markings, 613998 edges, 16144 markings/sec, 30 secs
lola: 691560 markings, 693547 edges, 15901 markings/sec, 35 secs
lola: 770587 markings, 772993 edges, 15805 markings/sec, 40 secs
lola: 848933 markings, 851429 edges, 15669 markings/sec, 45 secs
lola: 927367 markings, 929930 edges, 15687 markings/sec, 50 secs
lola: 1006397 markings, 1009125 edges, 15806 markings/sec, 55 secs
lola: 1084047 markings, 1086861 edges, 15530 markings/sec, 60 secs
lola: 1158922 markings, 1161786 edges, 14975 markings/sec, 65 secs
lola: 1232988 markings, 1235942 edges, 14813 markings/sec, 70 secs
lola: 1306865 markings, 1309819 edges, 14775 markings/sec, 75 secs
lola: 1380145 markings, 1383126 edges, 14656 markings/sec, 80 secs
lola: 1451857 markings, 1454838 edges, 14342 markings/sec, 85 secs
lola: 1523697 markings, 1526678 edges, 14368 markings/sec, 90 secs
lola: 1592990 markings, 1596236 edges, 13859 markings/sec, 95 secs
lola: 1661172 markings, 1664538 edges, 13636 markings/sec, 100 secs
lola: 1729638 markings, 1733088 edges, 13693 markings/sec, 105 secs
lola: 1797977 markings, 1801434 edges, 13668 markings/sec, 110 secs
lola: 1866759 markings, 1870226 edges, 13756 markings/sec, 115 secs
lola: 1935463 markings, 1938938 edges, 13741 markings/sec, 120 secs
lola: 2004579 markings, 2008054 edges, 13823 markings/sec, 125 secs
lola: 2073471 markings, 2076947 edges, 13778 markings/sec, 130 secs
lola: 2141557 markings, 2145032 edges, 13617 markings/sec, 135 secs
lola: 2209379 markings, 2212872 edges, 13564 markings/sec, 140 secs
lola: 2278476 markings, 2282052 edges, 13819 markings/sec, 145 secs
lola: 2347537 markings, 2351180 edges, 13812 markings/sec, 150 secs
lola: 2415530 markings, 2419261 edges, 13599 markings/sec, 155 secs
lola: 2483246 markings, 2487057 edges, 13543 markings/sec, 160 secs
lola: 2550608 markings, 2554496 edges, 13472 markings/sec, 165 secs
lola: 2617967 markings, 2621934 edges, 13472 markings/sec, 170 secs
lola: 2685867 markings, 2689913 edges, 13580 markings/sec, 175 secs
lola: 2753467 markings, 2757574 edges, 13520 markings/sec, 180 secs
lola: 2822664 markings, 2826772 edges, 13839 markings/sec, 185 secs
lola: 2891977 markings, 2896141 edges, 13863 markings/sec, 190 secs
lola: 2961026 markings, 2965240 edges, 13810 markings/sec, 195 secs
lola: 3029869 markings, 3034151 edges, 13769 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d4_n1_3_2_1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 98798 markings, 99843 edges, 19760 markings/sec, 0 secs
lola: 180745 markings, 182354 edges, 16389 markings/sec, 5 secs
lola: 265352 markings, 266982 edges, 16921 markings/sec, 10 secs
lola: 347953 markings, 349679 edges, 16520 markings/sec, 15 secs
lola: 427295 markings, 429064 edges, 15868 markings/sec, 20 secs
lola: 506382 markings, 508185 edges, 15817 markings/sec, 25 secs
lola: 584547 markings, 586362 edges, 15633 markings/sec, 30 secs
lola: 659605 markings, 661563 edges, 15012 markings/sec, 35 secs
lola: 734122 markings, 736360 edges, 14903 markings/sec, 40 secs
lola: 808286 markings, 810741 edges, 14833 markings/sec, 45 secs
lola: 882179 markings, 884719 edges, 14779 markings/sec, 50 secs
lola: 956515 markings, 959096 edges, 14867 markings/sec, 55 secs
lola: 1030315 markings, 1033076 edges, 14760 markings/sec, 60 secs
lola: 1103323 markings, 1106188 edges, 14602 markings/sec, 65 secs
lola: 1173927 markings, 1176809 edges, 14121 markings/sec, 70 secs
lola: 1243785 markings, 1246757 edges, 13972 markings/sec, 75 secs
lola: 1313805 markings, 1316777 edges, 14004 markings/sec, 80 secs
lola: 1382538 markings, 1385530 edges, 13747 markings/sec, 85 secs
lola: 1450455 markings, 1453453 edges, 13583 markings/sec, 90 secs
lola: 1517967 markings, 1520964 edges, 13502 markings/sec, 95 secs
lola: 1584251 markings, 1587415 edges, 13257 markings/sec, 100 secs
lola: 1648745 markings, 1652121 edges, 12899 markings/sec, 105 secs
lola: 1712684 markings, 1716154 edges, 12788 markings/sec, 110 secs
lola: 1776499 markings, 1779974 edges, 12763 markings/sec, 115 secs
lola: 1841082 markings, 1844568 edges, 12917 markings/sec, 120 secs
lola: 1905303 markings, 1908797 edges, 12844 markings/sec, 125 secs
lola: 1970225 markings, 1973720 edges, 12984 markings/sec, 130 secs
lola: 2035142 markings, 2038637 edges, 12983 markings/sec, 135 secs
lola: 2100005 markings, 2103500 edges, 12973 markings/sec, 140 secs
lola: 2165042 markings, 2168537 edges, 13007 markings/sec, 145 secs
lola: 2229545 markings, 2233074 edges, 12901 markings/sec, 150 secs
lola: 2294176 markings, 2297782 edges, 12926 markings/sec, 155 secs
lola: 2358255 markings, 2361931 edges, 12816 markings/sec, 160 secs
lola: 2422138 markings, 2425888 edges, 12777 markings/sec, 165 secs
lola: 2485835 markings, 2489659 edges, 12739 markings/sec, 170 secs
lola: 2549451 markings, 2553349 edges, 12723 markings/sec, 175 secs
lola: 2613315 markings, 2617289 edges, 12773 markings/sec, 180 secs
lola: 2676926 markings, 2680975 edges, 12722 markings/sec, 185 secs
lola: 2740995 markings, 2745058 edges, 12814 markings/sec, 190 secs
lola: 2805879 markings, 2809964 edges, 12977 markings/sec, 195 secs
lola: 2870791 markings, 2874936 edges, 12982 markings/sec, 200 secs
lola: 2935321 markings, 2939539 edges, 12906 markings/sec, 205 secs
lola: 2998855 markings, 3003145 edges, 12707 markings/sec, 210 secs
lola: 3031630 markings, 3035958 edges, 6555 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d3_n1_1_2_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 70974 markings, 71881 edges, 14195 markings/sec, 0 secs
lola: 105934 markings, 107468 edges, 6992 markings/sec, 5 secs
lola: 138015 markings, 139992 edges, 6416 markings/sec, 10 secs
lola: 165870 markings, 168112 edges, 5571 markings/sec, 15 secs
lola: 190172 markings, 194305 edges, 4860 markings/sec, 20 secs
lola: 213729 markings, 218168 edges, 4711 markings/sec, 25 secs
lola: 235063 markings, 240055 edges, 4267 markings/sec, 30 secs
lola: 255206 markings, 260847 edges, 4029 markings/sec, 35 secs
lola: 274758 markings, 282248 edges, 3910 markings/sec, 40 secs
lola: 294069 markings, 302510 edges, 3862 markings/sec, 45 secs
lola: 312421 markings, 320893 edges, 3670 markings/sec, 50 secs
lola: 332962 markings, 341550 edges, 4108 markings/sec, 55 secs
lola: 355607 markings, 364231 edges, 4529 markings/sec, 60 secs
lola: 378690 markings, 387364 edges, 4617 markings/sec, 65 secs
lola: 401020 markings, 410226 edges, 4466 markings/sec, 70 secs
lola: 423839 markings, 433096 edges, 4564 markings/sec, 75 secs
lola: 446652 markings, 456259 edges, 4563 markings/sec, 80 secs
lola: 469431 markings, 479117 edges, 4556 markings/sec, 85 secs
lola: 491850 markings, 501988 edges, 4484 markings/sec, 90 secs
lola: 514162 markings, 524850 edges, 4462 markings/sec, 95 secs
lola: 536246 markings, 547081 edges, 4417 markings/sec, 100 secs
lola: 559949 markings, 570999 edges, 4741 markings/sec, 105 secs
lola: 583642 markings, 595026 edges, 4739 markings/sec, 110 secs
lola: 607238 markings, 618988 edges, 4719 markings/sec, 115 secs
lola: 630998 markings, 642813 edges, 4752 markings/sec, 120 secs
lola: 654667 markings, 666822 edges, 4734 markings/sec, 125 secs
lola: 678301 markings, 690825 edges, 4727 markings/sec, 130 secs
lola: 701843 markings, 714735 edges, 4708 markings/sec, 135 secs
lola: 725718 markings, 738788 edges, 4775 markings/sec, 140 secs
lola: 749691 markings, 762803 edges, 4795 markings/sec, 145 secs
lola: 773405 markings, 786557 edges, 4743 markings/sec, 150 secs
lola: 796871 markings, 810060 edges, 4693 markings/sec, 155 secs
lola: 820550 markings, 833791 edges, 4736 markings/sec, 160 secs
lola: 844234 markings, 857527 edges, 4737 markings/sec, 165 secs
lola: 867480 markings, 880824 edges, 4649 markings/sec, 170 secs
lola: 891266 markings, 904663 edges, 4757 markings/sec, 175 secs
lola: 914789 markings, 928240 edges, 4705 markings/sec, 180 secs
lola: 938598 markings, 952100 edges, 4762 markings/sec, 185 secs
lola: 962454 markings, 976018 edges, 4771 markings/sec, 190 secs
lola: 986329 markings, 999963 edges, 4775 markings/sec, 195 secs
lola: 1009963 markings, 1023668 edges, 4727 markings/sec, 200 secs
lola: 1033293 markings, 1047172 edges, 4666 markings/sec, 205 secs
lola: 1056498 markings, 1070506 edges, 4641 markings/sec, 210 secs
lola: 1080046 markings, 1094188 edges, 4710 markings/sec, 215 secs
lola: 1103627 markings, 1117911 edges, 4716 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d3_n1_2_3_4_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 50606 markings, 51949 edges, 10121 markings/sec, 0 secs
lola: 86145 markings, 88211 edges, 7108 markings/sec, 5 secs
lola: 120964 markings, 123537 edges, 6964 markings/sec, 10 secs
lola: 154812 markings, 158003 edges, 6770 markings/sec, 15 secs
lola: 186492 markings, 190190 edges, 6336 markings/sec, 20 secs
lola: 214503 markings, 218336 edges, 5602 markings/sec, 25 secs
lola: 238220 markings, 242470 edges, 4743 markings/sec, 30 secs
lola: 261682 markings, 266183 edges, 4692 markings/sec, 35 secs
lola: 284706 markings, 289607 edges, 4605 markings/sec, 40 secs
lola: 308010 markings, 313376 edges, 4661 markings/sec, 45 secs
lola: 331030 markings, 336826 edges, 4604 markings/sec, 50 secs
lola: 354216 markings, 360341 edges, 4637 markings/sec, 55 secs
lola: 377513 markings, 383939 edges, 4659 markings/sec, 60 secs
lola: 400916 markings, 407606 edges, 4681 markings/sec, 65 secs
lola: 424447 markings, 431540 edges, 4706 markings/sec, 70 secs
lola: 448979 markings, 456205 edges, 4906 markings/sec, 75 secs
lola: 473869 markings, 481095 edges, 4978 markings/sec, 80 secs
lola: 498717 markings, 505950 edges, 4970 markings/sec, 85 secs
lola: 523486 markings, 530719 edges, 4954 markings/sec, 90 secs
lola: 548474 markings, 555707 edges, 4998 markings/sec, 95 secs
lola: 572772 markings, 580005 edges, 4860 markings/sec, 100 secs
lola: 597318 markings, 604551 edges, 4909 markings/sec, 105 secs
lola: 622080 markings, 629313 edges, 4952 markings/sec, 110 secs
lola: 645983 markings, 653216 edges, 4781 markings/sec, 115 secs
lola: 670453 markings, 677697 edges, 4894 markings/sec, 120 secs
lola: 694479 markings, 701739 edges, 4805 markings/sec, 125 secs
lola: 718775 markings, 726035 edges, 4859 markings/sec, 130 secs
lola: 742876 markings, 750136 edges, 4820 markings/sec, 135 secs
lola: 766747 markings, 774007 edges, 4774 markings/sec, 140 secs
lola: 791113 markings, 798373 edges, 4873 markings/sec, 145 secs
lola: 815540 markings, 822800 edges, 4885 markings/sec, 150 secs
lola: 839795 markings, 847055 edges, 4851 markings/sec, 155 secs
lola: 863901 markings, 871291 edges, 4821 markings/sec, 160 secs
lola: 887985 markings, 895448 edges, 4817 markings/sec, 165 secs
lola: 912084 markings, 919639 edges, 4820 markings/sec, 170 secs
lola: 935863 markings, 943450 edges, 4756 markings/sec, 175 secs
lola: 959551 markings, 967149 edges, 4738 markings/sec, 180 secs
lola: 983538 markings, 991136 edges, 4797 markings/sec, 185 secs
lola: 1007474 markings, 1015126 edges, 4787 markings/sec, 190 secs
lola: 1031381 markings, 1039099 edges, 4781 markings/sec, 195 secs
lola: 1055383 markings, 1063165 edges, 4800 markings/sec, 200 secs
lola: 1079325 markings, 1087162 edges, 4788 markings/sec, 205 secs
lola: 1103180 markings, 1111070 edges, 4771 markings/sec, 210 secs
lola: 1127315 markings, 1135260 edges, 4827 markings/sec, 215 secs
lola: 1151415 markings, 1159409 edges, 4820 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi_d5_n1_2_3_2_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 78962 markings, 79667 edges, 15792 markings/sec, 0 secs
lola: 120532 markings, 121445 edges, 8314 markings/sec, 5 secs
lola: 153240 markings, 154917 edges, 6542 markings/sec, 10 secs
lola: 183390 markings, 186018 edges, 6030 markings/sec, 15 secs
lola: 211263 markings, 216083 edges, 5575 markings/sec, 20 secs
lola: 238738 markings, 246213 edges, 5495 markings/sec, 25 secs
lola: 266169 markings, 276392 edges, 5486 markings/sec, 30 secs
lola: 293246 markings, 306257 edges, 5415 markings/sec, 35 secs
lola: 320588 markings, 336293 edges, 5468 markings/sec, 40 secs
lola: 347996 markings, 365939 edges, 5482 markings/sec, 45 secs
lola: 375925 markings, 394067 edges, 5586 markings/sec, 50 secs
lola: 401012 markings, 419175 edges, 5017 markings/sec, 55 secs
lola: 423606 markings, 442051 edges, 4519 markings/sec, 60 secs
lola: 445089 markings, 463602 edges, 4297 markings/sec, 65 secs
lola: 465109 markings, 483855 edges, 4004 markings/sec, 70 secs
lola: 484185 markings, 503068 edges, 3815 markings/sec, 75 secs
lola: 502558 markings, 521674 edges, 3675 markings/sec, 80 secs
lola: 520220 markings, 539910 edges, 3532 markings/sec, 85 secs
lola: 535773 markings, 555695 edges, 3111 markings/sec, 90 secs
lola: 550003 markings, 570201 edges, 2846 markings/sec, 95 secs
lola: 563469 markings, 584699 edges, 2693 markings/sec, 100 secs
lola: 576926 markings, 599038 edges, 2691 markings/sec, 105 secs
lola: 590328 markings, 612889 edges, 2680 markings/sec, 110 secs
lola: 603854 markings, 626707 edges, 2705 markings/sec, 115 secs
lola: 617176 markings, 640220 edges, 2664 markings/sec, 120 secs
lola: 630775 markings, 654043 edges, 2720 markings/sec, 125 secs
lola: 644357 markings, 667841 edges, 2716 markings/sec, 130 secs
lola: 657836 markings, 681526 edges, 2696 markings/sec, 135 secs
lola: 671355 markings, 695318 edges, 2704 markings/sec, 140 secs
lola: 685043 markings, 709265 edges, 2738 markings/sec, 145 secs
lola: 698622 markings, 722966 edges, 2716 markings/sec, 150 secs
lola: 712075 markings, 736554 edges, 2691 markings/sec, 155 secs
lola: 725553 markings, 750171 edges, 2696 markings/sec, 160 secs
lola: 739117 markings, 763887 edges, 2713 markings/sec, 165 secs
lola: 752661 markings, 777630 edges, 2709 markings/sec, 170 secs
lola: 766214 markings, 791393 edges, 2711 markings/sec, 175 secs
lola: 779502 markings, 804928 edges, 2658 markings/sec, 180 secs
lola: 792954 markings, 818589 edges, 2690 markings/sec, 185 secs
lola: 806455 markings, 832351 edges, 2700 markings/sec, 190 secs
lola: 819911 markings, 846069 edges, 2691 markings/sec, 195 secs
lola: 833281 markings, 859690 edges, 2674 markings/sec, 200 secs
lola: 846807 markings, 873389 edges, 2705 markings/sec, 205 secs
lola: 860355 markings, 887137 edges, 2710 markings/sec, 210 secs
lola: 873727 markings, 900724 edges, 2674 markings/sec, 215 secs
lola: 887353 markings, 914569 edges, 2725 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d4_n1_2_3_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 41922 markings, 52487 edges, 8384 markings/sec, 0 secs
lola: 77597 markings, 98746 edges, 7135 markings/sec, 5 secs
lola: 113395 markings, 145104 edges, 7160 markings/sec, 10 secs
lola: 149090 markings, 191342 edges, 7139 markings/sec, 15 secs
lola: 197340 markings, 246335 edges, 9650 markings/sec, 20 secs
lola: 241662 markings, 291640 edges, 8864 markings/sec, 25 secs
lola: 272605 markings, 323156 edges, 6189 markings/sec, 30 secs
lola: 302529 markings, 353679 edges, 5985 markings/sec, 35 secs
lola: 331703 markings, 383690 edges, 5835 markings/sec, 40 secs
lola: 361589 markings, 414422 edges, 5977 markings/sec, 45 secs
lola: 390847 markings, 444337 edges, 5852 markings/sec, 50 secs
lola: 420516 markings, 474670 edges, 5934 markings/sec, 55 secs
lola: 449690 markings, 504196 edges, 5835 markings/sec, 60 secs
lola: 480462 markings, 534967 edges, 6154 markings/sec, 65 secs
lola: 511440 markings, 565960 edges, 6196 markings/sec, 70 secs
lola: 542727 markings, 597247 edges, 6257 markings/sec, 75 secs
lola: 574163 markings, 628683 edges, 6287 markings/sec, 80 secs
lola: 605358 markings, 659903 edges, 6239 markings/sec, 85 secs
lola: 636613 markings, 691172 edges, 6251 markings/sec, 90 secs
lola: 668128 markings, 722747 edges, 6303 markings/sec, 95 secs
lola: 699231 markings, 753850 edges, 6221 markings/sec, 100 secs
lola: 730405 markings, 785024 edges, 6235 markings/sec, 105 secs
lola: 760889 markings, 815568 edges, 6097 markings/sec, 110 secs
lola: 791348 markings, 846027 edges, 6092 markings/sec, 115 secs
lola: 822182 markings, 876861 edges, 6167 markings/sec, 120 secs
lola: 852703 markings, 907382 edges, 6104 markings/sec, 125 secs
lola: 883434 markings, 938443 edges, 6146 markings/sec, 130 secs
lola: 914277 markings, 969631 edges, 6169 markings/sec, 135 secs
lola: 944033 markings, 999561 edges, 5951 markings/sec, 140 secs
lola: 971793 markings, 1027548 edges, 5552 markings/sec, 145 secs
lola: 1001582 markings, 1057531 edges, 5958 markings/sec, 150 secs
lola: 1031489 markings, 1087620 edges, 5981 markings/sec, 155 secs
lola: 1061697 markings, 1118120 edges, 6042 markings/sec, 160 secs
lola: 1091546 markings, 1148065 edges, 5970 markings/sec, 165 secs
lola: 1120466 markings, 1177238 edges, 5784 markings/sec, 170 secs
lola: 1150535 markings, 1207370 edges, 6014 markings/sec, 175 secs
lola: 1180398 markings, 1237262 edges, 5973 markings/sec, 180 secs
lola: 1210264 markings, 1267157 edges, 5973 markings/sec, 185 secs
lola: 1240329 markings, 1297253 edges, 6013 markings/sec, 190 secs
lola: 1270067 markings, 1327031 edges, 5948 markings/sec, 195 secs
lola: 1299303 markings, 1356310 edges, 5847 markings/sec, 200 secs
lola: 1328215 markings, 1385285 edges, 5782 markings/sec, 205 secs
lola: 1357287 markings, 1414397 edges, 5814 markings/sec, 210 secs
lola: 1386848 markings, 1444050 edges, 5912 markings/sec, 215 secs
lola: 1417701 markings, 1475052 edges, 6171 markings/sec, 220 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 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n2_2_1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 72764 markings, 73372 edges, 14553 markings/sec, 0 secs
lola: 111122 markings, 112355 edges, 7672 markings/sec, 5 secs
lola: 143025 markings, 144855 edges, 6381 markings/sec, 10 secs
lola: 172923 markings, 174888 edges, 5980 markings/sec, 15 secs
lola: 201412 markings, 203434 edges, 5698 markings/sec, 20 secs
lola: 224253 markings, 226500 edges, 4568 markings/sec, 25 secs
lola: 244255 markings, 246901 edges, 4000 markings/sec, 30 secs
lola: 263568 markings, 266639 edges, 3863 markings/sec, 35 secs
lola: 281479 markings, 284727 edges, 3582 markings/sec, 40 secs
lola: 298207 markings, 301530 edges, 3346 markings/sec, 45 secs
lola: 315436 markings, 319066 edges, 3446 markings/sec, 50 secs
lola: 332558 markings, 336604 edges, 3424 markings/sec, 55 secs
lola: 349686 markings, 354401 edges, 3426 markings/sec, 60 secs
lola: 367047 markings, 372402 edges, 3472 markings/sec, 65 secs
lola: 383719 markings, 389840 edges, 3334 markings/sec, 70 secs
lola: 398666 markings, 406003 edges, 2989 markings/sec, 75 secs
lola: 413753 markings, 421649 edges, 3017 markings/sec, 80 secs
lola: 427933 markings, 435893 edges, 2836 markings/sec, 85 secs
lola: 441792 markings, 449869 edges, 2772 markings/sec, 90 secs
lola: 456062 markings, 464219 edges, 2854 markings/sec, 95 secs
lola: 469999 markings, 478928 edges, 2787 markings/sec, 100 secs
lola: 483168 markings, 493201 edges, 2634 markings/sec, 105 secs
lola: 496234 markings, 507737 edges, 2613 markings/sec, 110 secs
lola: 508960 markings, 521630 edges, 2545 markings/sec, 115 secs
lola: 522079 markings, 534979 edges, 2624 markings/sec, 120 secs
lola: 534669 markings, 547803 edges, 2518 markings/sec, 125 secs
lola: 548071 markings, 561365 edges, 2680 markings/sec, 130 secs
lola: 561375 markings, 574924 edges, 2661 markings/sec, 135 secs
lola: 574362 markings, 588188 edges, 2597 markings/sec, 140 secs
lola: 586635 markings, 600822 edges, 2455 markings/sec, 145 secs
lola: 599995 markings, 614495 edges, 2672 markings/sec, 150 secs
lola: 613064 markings, 627832 edges, 2614 markings/sec, 155 secs
lola: 626319 markings, 641344 edges, 2651 markings/sec, 160 secs
lola: 639783 markings, 655154 edges, 2693 markings/sec, 165 secs
lola: 652973 markings, 668704 edges, 2638 markings/sec, 170 secs
lola: 666282 markings, 682381 edges, 2662 markings/sec, 175 secs
lola: 679753 markings, 696217 edges, 2694 markings/sec, 180 secs
lola: 692871 markings, 709669 edges, 2624 markings/sec, 185 secs
lola: 706319 markings, 723458 edges, 2690 markings/sec, 190 secs
lola: 719718 markings, 737177 edges, 2680 markings/sec, 195 secs
lola: 733212 markings, 750984 edges, 2699 markings/sec, 200 secs
lola: 746813 markings, 764872 edges, 2720 markings/sec, 205 secs
lola: 760754 markings, 778904 edges, 2788 markings/sec, 210 secs
lola: 774782 markings, 792936 edges, 2806 markings/sec, 215 secs
lola: 788853 markings, 807007 edges, 2814 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil_d5_n1_2_3_2_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 92654 markings, 93494 edges, 18531 markings/sec, 0 secs
lola: 182146 markings, 183281 edges, 17898 markings/sec, 5 secs
lola: 271612 markings, 272768 edges, 17893 markings/sec, 10 secs
lola: 358012 markings, 359273 edges, 17280 markings/sec, 15 secs
lola: 442272 markings, 443590 edges, 16852 markings/sec, 20 secs
lola: 525536 markings, 527496 edges, 16653 markings/sec, 25 secs
lola: 609522 markings, 611555 edges, 16797 markings/sec, 30 secs
lola: 693192 markings, 695359 edges, 16734 markings/sec, 35 secs
lola: 775426 markings, 777958 edges, 16447 markings/sec, 40 secs
lola: 857508 markings, 860366 edges, 16416 markings/sec, 45 secs
lola: 939955 markings, 943227 edges, 16489 markings/sec, 50 secs
lola: 1021404 markings, 1024899 edges, 16290 markings/sec, 55 secs
lola: 1100943 markings, 1104527 edges, 15908 markings/sec, 60 secs
lola: 1179087 markings, 1182849 edges, 15629 markings/sec, 65 secs
lola: 1255942 markings, 1259762 edges, 15371 markings/sec, 70 secs
lola: 1333212 markings, 1337130 edges, 15454 markings/sec, 75 secs
lola: 1408783 markings, 1412717 edges, 15114 markings/sec, 80 secs
lola: 1482665 markings, 1486631 edges, 14776 markings/sec, 85 secs
lola: 1555063 markings, 1559106 edges, 14480 markings/sec, 90 secs
lola: 1626022 markings, 1630149 edges, 14192 markings/sec, 95 secs
lola: 1696481 markings, 1700736 edges, 14092 markings/sec, 100 secs
lola: 1768365 markings, 1772678 edges, 14377 markings/sec, 105 secs
lola: 1839238 markings, 1843599 edges, 14175 markings/sec, 110 secs
lola: 1909219 markings, 1913662 edges, 13996 markings/sec, 115 secs
lola: 1979212 markings, 1983678 edges, 13999 markings/sec, 120 secs
lola: 2048500 markings, 2053140 edges, 13858 markings/sec, 125 secs
lola: 2117152 markings, 2121888 edges, 13730 markings/sec, 130 secs
lola: 2186121 markings, 2190901 edges, 13794 markings/sec, 135 secs
lola: 2254251 markings, 2259079 edges, 13626 markings/sec, 140 secs
lola: 2322712 markings, 2327624 edges, 13692 markings/sec, 145 secs
lola: 2390001 markings, 2395528 edges, 13458 markings/sec, 150 secs
lola: 2457459 markings, 2463510 edges, 13492 markings/sec, 155 secs
lola: 2525222 markings, 2531320 edges, 13553 markings/sec, 160 secs
lola: 2591623 markings, 2597839 edges, 13280 markings/sec, 165 secs
lola: 2658040 markings, 2664334 edges, 13283 markings/sec, 170 secs
lola: 2726012 markings, 2732392 edges, 13594 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d2_n1_2_1_3_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 77374 markings, 77560 edges, 15475 markings/sec, 0 secs
lola: 118402 markings, 118696 edges, 8206 markings/sec, 5 secs
lola: 150474 markings, 151550 edges, 6414 markings/sec, 10 secs
lola: 177792 markings, 179587 edges, 5464 markings/sec, 15 secs
lola: 199261 markings, 201127 edges, 4294 markings/sec, 20 secs
lola: 219083 markings, 221644 edges, 3964 markings/sec, 25 secs
lola: 237418 markings, 240263 edges, 3667 markings/sec, 30 secs
lola: 255254 markings, 258198 edges, 3567 markings/sec, 35 secs
lola: 272896 markings, 275938 edges, 3528 markings/sec, 40 secs
lola: 289716 markings, 292835 edges, 3364 markings/sec, 45 secs
lola: 305305 markings, 308784 edges, 3118 markings/sec, 50 secs
lola: 321880 markings, 325492 edges, 3315 markings/sec, 55 secs
lola: 338785 markings, 342396 edges, 3381 markings/sec, 60 secs
lola: 355784 markings, 359395 edges, 3400 markings/sec, 65 secs
lola: 372739 markings, 376350 edges, 3391 markings/sec, 70 secs
lola: 389658 markings, 393343 edges, 3384 markings/sec, 75 secs
lola: 406533 markings, 410218 edges, 3375 markings/sec, 80 secs
lola: 423399 markings, 427111 edges, 3373 markings/sec, 85 secs
lola: 440137 markings, 443872 edges, 3348 markings/sec, 90 secs
lola: 456889 markings, 460633 edges, 3350 markings/sec, 95 secs
lola: 473562 markings, 477357 edges, 3335 markings/sec, 100 secs
lola: 490349 markings, 494161 edges, 3357 markings/sec, 105 secs
lola: 507123 markings, 510935 edges, 3355 markings/sec, 110 secs
lola: 523838 markings, 527650 edges, 3343 markings/sec, 115 secs
lola: 540428 markings, 544240 edges, 3318 markings/sec, 120 secs
lola: 557000 markings, 560812 edges, 3314 markings/sec, 125 secs
lola: 573606 markings, 577418 edges, 3321 markings/sec, 130 secs
lola: 590261 markings, 594073 edges, 3331 markings/sec, 135 secs
lola: 606963 markings, 610775 edges, 3340 markings/sec, 140 secs
lola: 623745 markings, 627557 edges, 3356 markings/sec, 145 secs
lola: 640513 markings, 644325 edges, 3354 markings/sec, 150 secs
lola: 657273 markings, 661099 edges, 3352 markings/sec, 155 secs
lola: 673956 markings, 677786 edges, 3337 markings/sec, 160 secs
lola: 690638 markings, 694468 edges, 3336 markings/sec, 165 secs
lola: 707313 markings, 711143 edges, 3335 markings/sec, 170 secs
lola: 723888 markings, 727718 edges, 3315 markings/sec, 175 secs
lola: 740538 markings, 744369 edges, 3330 markings/sec, 180 secs
lola: 757271 markings, 761101 edges, 3347 markings/sec, 185 secs
lola: 773944 markings, 777774 edges, 3335 markings/sec, 190 secs
lola: 790504 markings, 794339 edges, 3312 markings/sec, 195 secs
lola: 806732 markings, 810584 edges, 3246 markings/sec, 200 secs
lola: 823235 markings, 827087 edges, 3301 markings/sec, 205 secs
lola: 839684 markings, 843573 edges, 3290 markings/sec, 210 secs
lola: 856155 markings, 860045 edges, 3294 markings/sec, 215 secs
lola: 872679 markings, 876599 edges, 3305 markings/sec, 220 secs
lola: 888861 markings, 892793 edges, 3236 markings/sec, 225 secs
lola: 905368 markings, 909323 edges, 3301 markings/sec, 230 secs
lola: 921836 markings, 925791 edges, 3294 markings/sec, 235 secs
lola: 938276 markings, 942231 edges, 3288 markings/sec, 240 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 250 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol_d4_n1_3_2_2_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 22676 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: 69648 markings, 70401 edges, 13930 markings/sec, 0 secs
lola: 104784 markings, 106819 edges, 7027 markings/sec, 5 secs
lola: 139370 markings, 142034 edges, 6917 markings/sec, 10 secs
lola: 174755 markings, 178711 edges, 7077 markings/sec, 15 secs
lola: 207677 markings, 212173 edges, 6584 markings/sec, 20 secs
lola: 234239 markings, 239011 edges, 5312 markings/sec, 25 secs
lola: 257033 markings, 261889 edges, 4559 markings/sec, 30 secs
lola: 276375 markings, 281745 edges, 3868 markings/sec, 35 secs
lola: 295259 markings, 300719 edges, 3777 markings/sec, 40 secs
lola: 313113 markings, 318908 edges, 3571 markings/sec, 45 secs
lola: 330642 markings, 337108 edges, 3506 markings/sec, 50 secs
lola: 348138 markings, 355134 edges, 3499 markings/sec, 55 secs
lola: 365526 markings, 372821 edges, 3478 markings/sec, 60 secs
lola: 383047 markings, 391281 edges, 3504 markings/sec, 65 secs
lola: 400500 markings, 409824 edges, 3491 markings/sec, 70 secs
lola: 417956 markings, 428141 edges, 3491 markings/sec, 75 secs
lola: 435374 markings, 446360 edges, 3484 markings/sec, 80 secs
lola: 452390 markings, 464308 edges, 3403 markings/sec, 85 secs
lola: 469855 markings, 482725 edges, 3493 markings/sec, 90 secs
lola: 487310 markings, 501132 edges, 3491 markings/sec, 95 secs
lola: 504787 markings, 519386 edges, 3495 markings/sec, 100 secs
lola: 522495 markings, 537491 edges, 3542 markings/sec, 105 secs
lola: 540543 markings, 555882 edges, 3610 markings/sec, 110 secs
lola: 558604 markings, 574716 edges, 3612 markings/sec, 115 secs
lola: 576690 markings, 593648 edges, 3617 markings/sec, 120 secs
lola: 594736 markings, 612592 edges, 3609 markings/sec, 125 secs
lola: 612807 markings, 631513 edges, 3614 markings/sec, 130 secs
lola: 630773 markings, 650363 edges, 3593 markings/sec, 135 secs
lola: 648680 markings, 669149 edges, 3581 markings/sec, 140 secs
lola: 666594 markings, 687943 edges, 3583 markings/sec, 145 secs
lola: 684456 markings, 706388 edges, 3572 markings/sec, 150 secs
lola: 702323 markings, 724798 edges, 3573 markings/sec, 155 secs
lola: 720198 markings, 743214 edges, 3575 markings/sec, 160 secs
lola: 738055 markings, 761592 edges, 3571 markings/sec, 165 secs
lola: 755859 markings, 779878 edges, 3561 markings/sec, 170 secs
lola: 773637 markings, 798011 edges, 3556 markings/sec, 175 secs
lola: 791260 markings, 816144 edges, 3525 markings/sec, 180 secs
lola: 808966 markings, 834308 edges, 3541 markings/sec, 185 secs
lola: 826720 markings, 852424 edges, 3551 markings/sec, 190 secs
lola: 844586 markings, 870565 edges, 3573 markings/sec, 195 secs
lola: 862474 markings, 888691 edges, 3578 markings/sec, 200 secs
lola: 880211 markings, 906622 edges, 3547 markings/sec, 205 secs
lola: 897809 markings, 924480 edges, 3520 markings/sec, 210 secs
lola: 915340 markings, 942299 edges, 3506 markings/sec, 215 secs
lola: 932857 markings, 960148 edges, 3503 markings/sec, 220 secs
lola: 950413 markings, 977987 edges, 3511 markings/sec, 225 secs
lola: 968036 markings, 995832 edges, 3525 markings/sec, 230 secs
lola: 985499 markings, 1013513 edges, 3493 markings/sec, 235 secs
lola: 1003423 markings, 1031531 edges, 3585 markings/sec, 240 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 HypercubeGrid-PT-C5K3P3B15-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypercubeGrid-PT-C5K3P3B15-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494618529567

--------------------
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="HypercubeGrid-PT-C5K3P3B15"
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/HypercubeGrid-PT-C5K3P3B15.tgz
mv HypercubeGrid-PT-C5K3P3B15 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 HypercubeGrid-PT-C5K3P3B15, 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 r038-blw7-149440484500020"
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 ;