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

--------------------
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 1494617896038


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 76564 markings, 80524 edges, 15313 markings/sec, 0 secs
lola: 144484 markings, 152402 edges, 13584 markings/sec, 5 secs
lola: 205293 markings, 216731 edges, 12162 markings/sec, 10 secs
lola: 271646 markings, 286915 edges, 13271 markings/sec, 15 secs
lola: 338065 markings, 357154 edges, 13284 markings/sec, 20 secs
lola: 400645 markings, 423357 edges, 12516 markings/sec, 25 secs
lola: 458985 markings, 485074 edges, 11668 markings/sec, 30 secs
lola: 517575 markings, 547024 edges, 11718 markings/sec, 35 secs
lola: 575646 markings, 608456 edges, 11614 markings/sec, 40 secs
lola: 624195 markings, 659649 edges, 9710 markings/sec, 45 secs
lola: 667138 markings, 705053 edges, 8589 markings/sec, 50 secs
lola: 710142 markings, 750527 edges, 8601 markings/sec, 55 secs
lola: 750514 markings, 793203 edges, 8074 markings/sec, 60 secs
lola: 794003 markings, 839194 edges, 8698 markings/sec, 65 secs
lola: 835577 markings, 883141 edges, 8315 markings/sec, 70 secs
lola: 876875 markings, 926825 edges, 8260 markings/sec, 75 secs
lola: 918896 markings, 971226 edges, 8404 markings/sec, 80 secs
lola: 956984 markings, 1011495 edges, 7618 markings/sec, 85 secs
lola: 993780 markings, 1050390 edges, 7359 markings/sec, 90 secs
lola: 1030986 markings, 1089733 edges, 7441 markings/sec, 95 secs
lola: 1063286 markings, 1123892 edges, 6460 markings/sec, 100 secs
lola: 1097105 markings, 1159644 edges, 6764 markings/sec, 105 secs
lola: 1133468 markings, 1198100 edges, 7273 markings/sec, 110 secs
lola: 1169243 markings, 1235917 edges, 7155 markings/sec, 115 secs
lola: 1201742 markings, 1270271 edges, 6500 markings/sec, 120 secs
lola: 1234083 markings, 1304479 edges, 6468 markings/sec, 125 secs
lola: 1268438 markings, 1340796 edges, 6871 markings/sec, 130 secs
lola: 1300216 markings, 1374402 edges, 6356 markings/sec, 135 secs
lola: 1327844 markings, 1403601 edges, 5526 markings/sec, 140 secs
lola: 1356438 markings, 1433835 edges, 5719 markings/sec, 145 secs
lola: 1387300 markings, 1466465 edges, 6172 markings/sec, 150 secs
lola: 1420520 markings, 1501572 edges, 6644 markings/sec, 155 secs
lola: 1451307 markings, 1534124 edges, 6157 markings/sec, 160 secs
lola: 1482290 markings, 1566878 edges, 6197 markings/sec, 165 secs
lola: 1512655 markings, 1598987 edges, 6073 markings/sec, 170 secs
lola: 1544845 markings, 1633003 edges, 6438 markings/sec, 175 secs
lola: 1573073 markings, 1662863 edges, 5646 markings/sec, 180 secs
lola: 1600254 markings, 1691606 edges, 5436 markings/sec, 185 secs
lola: 1630729 markings, 1723821 edges, 6095 markings/sec, 190 secs
lola: 1660134 markings, 1754895 edges, 5881 markings/sec, 195 secs
lola: 1687567 markings, 1783906 edges, 5487 markings/sec, 200 secs
lola: 1716623 markings, 1814606 edges, 5811 markings/sec, 205 secs
lola: 1745543 markings, 1845204 edges, 5784 markings/sec, 210 secs
lola: 1771388 markings, 1872521 edges, 5169 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: 58475 markings, 58492 edges, 11695 markings/sec, 0 secs
lola: 97760 markings, 97887 edges, 7857 markings/sec, 5 secs
lola: 127105 markings, 127637 edges, 5869 markings/sec, 10 secs
lola: 150906 markings, 151438 edges, 4760 markings/sec, 15 secs
lola: 169694 markings, 170343 edges, 3758 markings/sec, 20 secs
lola: 187564 markings, 189051 edges, 3574 markings/sec, 25 secs
lola: 204765 markings, 206368 edges, 3440 markings/sec, 30 secs
lola: 221376 markings, 223058 edges, 3322 markings/sec, 35 secs
lola: 237010 markings, 238821 edges, 3127 markings/sec, 40 secs
lola: 251424 markings, 253435 edges, 2883 markings/sec, 45 secs
lola: 265159 markings, 267343 edges, 2747 markings/sec, 50 secs
lola: 277716 markings, 279900 edges, 2511 markings/sec, 55 secs
lola: 291328 markings, 293578 edges, 2722 markings/sec, 60 secs
lola: 304681 markings, 307064 edges, 2671 markings/sec, 65 secs
lola: 317730 markings, 320513 edges, 2610 markings/sec, 70 secs
lola: 330968 markings, 333859 edges, 2648 markings/sec, 75 secs
lola: 344000 markings, 346978 edges, 2606 markings/sec, 80 secs
lola: 356102 markings, 359388 edges, 2420 markings/sec, 85 secs
lola: 368332 markings, 372999 edges, 2446 markings/sec, 90 secs
lola: 380555 markings, 385744 edges, 2445 markings/sec, 95 secs
lola: 392984 markings, 398307 edges, 2486 markings/sec, 100 secs
lola: 405315 markings, 410739 edges, 2466 markings/sec, 105 secs
lola: 417088 markings, 422591 edges, 2355 markings/sec, 110 secs
lola: 429249 markings, 434853 edges, 2432 markings/sec, 115 secs
lola: 441755 markings, 447463 edges, 2501 markings/sec, 120 secs
lola: 454235 markings, 460047 edges, 2496 markings/sec, 125 secs
lola: 466734 markings, 472656 edges, 2500 markings/sec, 130 secs
lola: 478609 markings, 484646 edges, 2375 markings/sec, 135 secs
lola: 490294 markings, 496525 edges, 2337 markings/sec, 140 secs
lola: 501860 markings, 508172 edges, 2313 markings/sec, 145 secs
lola: 513296 markings, 519745 edges, 2287 markings/sec, 150 secs
lola: 524118 markings, 530890 edges, 2164 markings/sec, 155 secs
lola: 534601 markings, 541972 edges, 2097 markings/sec, 160 secs
lola: 545126 markings, 552750 edges, 2105 markings/sec, 165 secs
lola: 555683 markings, 563405 edges, 2111 markings/sec, 170 secs
lola: 566081 markings, 574005 edges, 2080 markings/sec, 175 secs
lola: 576433 markings, 584410 edges, 2070 markings/sec, 180 secs
lola: 586640 markings, 594766 edges, 2041 markings/sec, 185 secs
lola: 596647 markings, 604958 edges, 2001 markings/sec, 190 secs
lola: 606739 markings, 615137 edges, 2018 markings/sec, 195 secs
lola: 616784 markings, 625331 edges, 2009 markings/sec, 200 secs
lola: 626296 markings, 634871 edges, 1902 markings/sec, 205 secs
lola: 635586 markings, 644278 edges, 1858 markings/sec, 210 secs
lola: 644934 markings, 653770 edges, 1870 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: 22589 markings, 24177 edges, 4518 markings/sec, 0 secs
lola: 36973 markings, 39460 edges, 2877 markings/sec, 5 secs
lola: 53464 markings, 57566 edges, 3298 markings/sec, 10 secs
lola: 66076 markings, 70236 edges, 2522 markings/sec, 15 secs
lola: 82108 markings, 86412 edges, 3206 markings/sec, 20 secs
lola: 98147 markings, 103197 edges, 3208 markings/sec, 25 secs
lola: 114283 markings, 120212 edges, 3227 markings/sec, 30 secs
lola: 130602 markings, 137748 edges, 3264 markings/sec, 35 secs
lola: 146884 markings, 154262 edges, 3256 markings/sec, 40 secs
lola: 163507 markings, 171147 edges, 3325 markings/sec, 45 secs
lola: 179742 markings, 187456 edges, 3247 markings/sec, 50 secs
lola: 194009 markings, 201770 edges, 2853 markings/sec, 55 secs
lola: 207641 markings, 215486 edges, 2726 markings/sec, 60 secs
lola: 220639 markings, 228897 edges, 2600 markings/sec, 65 secs
lola: 233404 markings, 242193 edges, 2553 markings/sec, 70 secs
lola: 245850 markings, 255262 edges, 2489 markings/sec, 75 secs
lola: 258358 markings, 269140 edges, 2502 markings/sec, 80 secs
lola: 270935 markings, 281945 edges, 2515 markings/sec, 85 secs
lola: 283012 markings, 294090 edges, 2415 markings/sec, 90 secs
lola: 294689 markings, 306107 edges, 2335 markings/sec, 95 secs
lola: 306285 markings, 317891 edges, 2319 markings/sec, 100 secs
lola: 317884 markings, 329609 edges, 2320 markings/sec, 105 secs
lola: 329454 markings, 341321 edges, 2314 markings/sec, 110 secs
lola: 341005 markings, 352979 edges, 2310 markings/sec, 115 secs
lola: 352545 markings, 364672 edges, 2308 markings/sec, 120 secs
lola: 364129 markings, 376355 edges, 2317 markings/sec, 125 secs
lola: 375716 markings, 388103 edges, 2317 markings/sec, 130 secs
lola: 387312 markings, 399846 edges, 2319 markings/sec, 135 secs
lola: 398942 markings, 411647 edges, 2326 markings/sec, 140 secs
lola: 410545 markings, 423455 edges, 2321 markings/sec, 145 secs
lola: 422166 markings, 435348 edges, 2324 markings/sec, 150 secs
lola: 434040 markings, 447304 edges, 2375 markings/sec, 155 secs
lola: 446050 markings, 459314 edges, 2402 markings/sec, 160 secs
lola: 458300 markings, 471647 edges, 2450 markings/sec, 165 secs
lola: 470569 markings, 483951 edges, 2454 markings/sec, 170 secs
lola: 482809 markings, 496202 edges, 2448 markings/sec, 175 secs
lola: 495084 markings, 508527 edges, 2455 markings/sec, 180 secs
lola: 507348 markings, 520822 edges, 2453 markings/sec, 185 secs
lola: 519553 markings, 533041 edges, 2441 markings/sec, 190 secs
lola: 531715 markings, 545278 edges, 2432 markings/sec, 195 secs
lola: 543857 markings, 557551 edges, 2428 markings/sec, 200 secs
lola: 556024 markings, 569850 edges, 2433 markings/sec, 205 secs
lola: 568197 markings, 582028 edges, 2435 markings/sec, 210 secs
lola: 580417 markings, 594259 edges, 2444 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: 50256 markings, 53424 edges, 10051 markings/sec, 0 secs
lola: 83037 markings, 88103 edges, 6556 markings/sec, 5 secs
lola: 109060 markings, 116444 edges, 5205 markings/sec, 10 secs
lola: 145165 markings, 153734 edges, 7221 markings/sec, 15 secs
lola: 178457 markings, 187642 edges, 6658 markings/sec, 20 secs
lola: 219156 markings, 228772 edges, 8140 markings/sec, 25 secs
lola: 268263 markings, 277926 edges, 9821 markings/sec, 30 secs
lola: 298325 markings, 308074 edges, 6012 markings/sec, 35 secs
lola: 323412 markings, 333161 edges, 5017 markings/sec, 40 secs
lola: 340708 markings, 350549 edges, 3459 markings/sec, 45 secs
lola: 356648 markings, 366516 edges, 3188 markings/sec, 50 secs
lola: 371588 markings, 381547 edges, 2988 markings/sec, 55 secs
lola: 385584 markings, 395599 edges, 2799 markings/sec, 60 secs
lola: 398979 markings, 409092 edges, 2679 markings/sec, 65 secs
lola: 412503 markings, 423039 edges, 2705 markings/sec, 70 secs
lola: 425901 markings, 436679 edges, 2680 markings/sec, 75 secs
lola: 438963 markings, 449900 edges, 2612 markings/sec, 80 secs
lola: 451344 markings, 462416 edges, 2476 markings/sec, 85 secs
lola: 463244 markings, 474478 edges, 2380 markings/sec, 90 secs
lola: 474848 markings, 486275 edges, 2321 markings/sec, 95 secs
lola: 486563 markings, 498163 edges, 2343 markings/sec, 100 secs
lola: 498292 markings, 510105 edges, 2346 markings/sec, 105 secs
lola: 510021 markings, 521962 edges, 2346 markings/sec, 110 secs
lola: 521592 markings, 533649 edges, 2314 markings/sec, 115 secs
lola: 532556 markings, 544911 edges, 2193 markings/sec, 120 secs
lola: 543467 markings, 555981 edges, 2182 markings/sec, 125 secs
lola: 554171 markings, 566807 edges, 2141 markings/sec, 130 secs
lola: 564462 markings, 577173 edges, 2058 markings/sec, 135 secs
lola: 574184 markings, 586969 edges, 1944 markings/sec, 140 secs
lola: 583694 markings, 596674 edges, 1902 markings/sec, 145 secs
lola: 593066 markings, 606316 edges, 1874 markings/sec, 150 secs
lola: 602489 markings, 616117 edges, 1885 markings/sec, 155 secs
lola: 611854 markings, 625861 edges, 1873 markings/sec, 160 secs
lola: 620998 markings, 635155 edges, 1829 markings/sec, 165 secs
lola: 630079 markings, 644341 edges, 1816 markings/sec, 170 secs
lola: 639152 markings, 653544 edges, 1815 markings/sec, 175 secs
lola: 648233 markings, 662758 edges, 1816 markings/sec, 180 secs
lola: 657313 markings, 671933 edges, 1816 markings/sec, 185 secs
lola: 666421 markings, 681094 edges, 1822 markings/sec, 190 secs
lola: 675420 markings, 690180 edges, 1800 markings/sec, 195 secs
lola: 684508 markings, 699308 edges, 1818 markings/sec, 200 secs
lola: 693656 markings, 708549 edges, 1830 markings/sec, 205 secs
lola: 702771 markings, 717767 edges, 1823 markings/sec, 210 secs
lola: 711931 markings, 727022 edges, 1832 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: 51174 markings, 51742 edges, 10235 markings/sec, 0 secs
lola: 85604 markings, 87726 edges, 6886 markings/sec, 5 secs
lola: 120454 markings, 124168 edges, 6970 markings/sec, 10 secs
lola: 153026 markings, 156890 edges, 6514 markings/sec, 15 secs
lola: 178800 markings, 182723 edges, 5155 markings/sec, 20 secs
lola: 202036 markings, 206034 edges, 4647 markings/sec, 25 secs
lola: 221330 markings, 225328 edges, 3859 markings/sec, 30 secs
lola: 240107 markings, 244105 edges, 3755 markings/sec, 35 secs
lola: 258421 markings, 262465 edges, 3663 markings/sec, 40 secs
lola: 274975 markings, 279058 edges, 3311 markings/sec, 45 secs
lola: 286324 markings, 290572 edges, 2270 markings/sec, 50 secs
lola: 298132 markings, 302495 edges, 2362 markings/sec, 55 secs
lola: 310112 markings, 314555 edges, 2396 markings/sec, 60 secs
lola: 320933 markings, 325587 edges, 2164 markings/sec, 65 secs
lola: 331514 markings, 336386 edges, 2116 markings/sec, 70 secs
lola: 342167 markings, 347136 edges, 2131 markings/sec, 75 secs
lola: 354537 markings, 359527 edges, 2474 markings/sec, 80 secs
lola: 366114 markings, 371138 edges, 2315 markings/sec, 85 secs
lola: 377812 markings, 382904 edges, 2340 markings/sec, 90 secs
lola: 390492 markings, 395584 edges, 2536 markings/sec, 95 secs
lola: 403180 markings, 408272 edges, 2538 markings/sec, 100 secs
lola: 415177 markings, 420269 edges, 2399 markings/sec, 105 secs
lola: 427415 markings, 432507 edges, 2448 markings/sec, 110 secs
lola: 439365 markings, 444458 edges, 2390 markings/sec, 115 secs
lola: 451245 markings, 456337 edges, 2376 markings/sec, 120 secs
lola: 463327 markings, 468419 edges, 2416 markings/sec, 125 secs
lola: 475510 markings, 480606 edges, 2437 markings/sec, 130 secs
lola: 487935 markings, 493037 edges, 2485 markings/sec, 135 secs
lola: 499756 markings, 504868 edges, 2364 markings/sec, 140 secs
lola: 511949 markings, 517071 edges, 2439 markings/sec, 145 secs
lola: 523954 markings, 529085 edges, 2401 markings/sec, 150 secs
lola: 535668 markings, 540805 edges, 2343 markings/sec, 155 secs
lola: 547544 markings, 552693 edges, 2375 markings/sec, 160 secs
lola: 559380 markings, 564562 edges, 2367 markings/sec, 165 secs
lola: 571469 markings, 576721 edges, 2418 markings/sec, 170 secs
lola: 583000 markings, 588317 edges, 2306 markings/sec, 175 secs
lola: 594648 markings, 600032 edges, 2330 markings/sec, 180 secs
lola: 607117 markings, 612566 edges, 2494 markings/sec, 185 secs
lola: 619785 markings, 625321 edges, 2534 markings/sec, 190 secs
lola: 632275 markings, 637883 edges, 2498 markings/sec, 195 secs
lola: 643850 markings, 649534 edges, 2315 markings/sec, 200 secs
lola: 655918 markings, 661632 edges, 2414 markings/sec, 205 secs
lola: 667916 markings, 673635 edges, 2400 markings/sec, 210 secs
lola: 679452 markings, 685175 edges, 2307 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: 46337 markings, 48261 edges, 9267 markings/sec, 0 secs
lola: 88229 markings, 92371 edges, 8378 markings/sec, 5 secs
lola: 130325 markings, 136417 edges, 8419 markings/sec, 10 secs
lola: 171311 markings, 179399 edges, 8197 markings/sec, 15 secs
lola: 211648 markings, 221913 edges, 8067 markings/sec, 20 secs
lola: 253556 markings, 265810 edges, 8382 markings/sec, 25 secs
lola: 293501 markings, 306971 edges, 7989 markings/sec, 30 secs
lola: 327107 markings, 340984 edges, 6721 markings/sec, 35 secs
lola: 357455 markings, 371983 edges, 6070 markings/sec, 40 secs
lola: 386909 markings, 402130 edges, 5891 markings/sec, 45 secs
lola: 416282 markings, 432194 edges, 5875 markings/sec, 50 secs
lola: 445565 markings, 462164 edges, 5857 markings/sec, 55 secs
lola: 475133 markings, 492421 edges, 5914 markings/sec, 60 secs
lola: 504794 markings, 522702 edges, 5932 markings/sec, 65 secs
lola: 534257 markings, 552713 edges, 5893 markings/sec, 70 secs
lola: 562862 markings, 581843 edges, 5721 markings/sec, 75 secs
lola: 591196 markings, 610706 edges, 5667 markings/sec, 80 secs
lola: 619436 markings, 639485 edges, 5648 markings/sec, 85 secs
lola: 647606 markings, 668278 edges, 5634 markings/sec, 90 secs
lola: 675593 markings, 697028 edges, 5597 markings/sec, 95 secs
lola: 704186 markings, 726204 edges, 5719 markings/sec, 100 secs
lola: 732882 markings, 755436 edges, 5739 markings/sec, 105 secs
lola: 761198 markings, 784238 edges, 5663 markings/sec, 110 secs
lola: 788763 markings, 812316 edges, 5513 markings/sec, 115 secs
lola: 816149 markings, 840218 edges, 5477 markings/sec, 120 secs
lola: 843538 markings, 868119 edges, 5478 markings/sec, 125 secs
lola: 871069 markings, 896123 edges, 5506 markings/sec, 130 secs
lola: 898285 markings, 923856 edges, 5443 markings/sec, 135 secs
lola: 925497 markings, 951576 edges, 5442 markings/sec, 140 secs
lola: 952956 markings, 979643 edges, 5492 markings/sec, 145 secs
lola: 980404 markings, 1007594 edges, 5490 markings/sec, 150 secs
lola: 1007744 markings, 1035445 edges, 5468 markings/sec, 155 secs
lola: 1034940 markings, 1063165 edges, 5439 markings/sec, 160 secs
lola: 1062404 markings, 1091210 edges, 5493 markings/sec, 165 secs
lola: 1089739 markings, 1119062 edges, 5467 markings/sec, 170 secs
lola: 1117100 markings, 1146934 edges, 5472 markings/sec, 175 secs
lola: 1144313 markings, 1174730 edges, 5443 markings/sec, 180 secs
lola: 1171718 markings, 1202661 edges, 5481 markings/sec, 185 secs
lola: 1198907 markings, 1230360 edges, 5438 markings/sec, 190 secs
lola: 1226133 markings, 1258096 edges, 5445 markings/sec, 195 secs
lola: 1252603 markings, 1285187 edges, 5294 markings/sec, 200 secs
lola: 1279872 markings, 1312924 edges, 5454 markings/sec, 205 secs
lola: 1307180 markings, 1340750 edges, 5462 markings/sec, 210 secs
lola: 1334520 markings, 1368600 edges, 5468 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: 55215 markings, 57637 edges, 11043 markings/sec, 0 secs
lola: 119054 markings, 121497 edges, 12768 markings/sec, 5 secs
lola: 180980 markings, 183433 edges, 12385 markings/sec, 10 secs
lola: 241368 markings, 243832 edges, 12078 markings/sec, 15 secs
lola: 300420 markings, 302885 edges, 11810 markings/sec, 20 secs
lola: 357534 markings, 359998 edges, 11423 markings/sec, 25 secs
lola: 414297 markings, 416935 edges, 11353 markings/sec, 30 secs
lola: 471652 markings, 474296 edges, 11471 markings/sec, 35 secs
lola: 526790 markings, 529437 edges, 11028 markings/sec, 40 secs
lola: 580053 markings, 582794 edges, 10653 markings/sec, 45 secs
lola: 633306 markings, 636295 edges, 10651 markings/sec, 50 secs
lola: 686726 markings, 689825 edges, 10684 markings/sec, 55 secs
lola: 739883 markings, 743033 edges, 10631 markings/sec, 60 secs
lola: 793180 markings, 796366 edges, 10659 markings/sec, 65 secs
lola: 844134 markings, 847320 edges, 10191 markings/sec, 70 secs
lola: 894330 markings, 897600 edges, 10039 markings/sec, 75 secs
lola: 944968 markings, 948555 edges, 10128 markings/sec, 80 secs
lola: 995643 markings, 999285 edges, 10135 markings/sec, 85 secs
lola: 1046051 markings, 1049811 edges, 10082 markings/sec, 90 secs
lola: 1096587 markings, 1100380 edges, 10107 markings/sec, 95 secs
lola: 1146747 markings, 1150666 edges, 10032 markings/sec, 100 secs
lola: 1196755 markings, 1200801 edges, 10002 markings/sec, 105 secs
lola: 1246767 markings, 1250964 edges, 10002 markings/sec, 110 secs
lola: 1296630 markings, 1300954 edges, 9973 markings/sec, 115 secs
lola: 1346432 markings, 1350884 edges, 9960 markings/sec, 120 secs
lola: 1396144 markings, 1400726 edges, 9942 markings/sec, 125 secs
lola: 1445293 markings, 1450019 edges, 9830 markings/sec, 130 secs
lola: 1494585 markings, 1499448 edges, 9858 markings/sec, 135 secs
lola: 1544678 markings, 1549607 edges, 10019 markings/sec, 140 secs
lola: 1595029 markings, 1600010 edges, 10070 markings/sec, 145 secs
lola: 1645180 markings, 1650212 edges, 10030 markings/sec, 150 secs
lola: 1695122 markings, 1700204 edges, 9988 markings/sec, 155 secs
lola: 1744706 markings, 1749838 edges, 9917 markings/sec, 160 secs
lola: 1794828 markings, 1799977 edges, 10024 markings/sec, 165 secs
lola: 1844954 markings, 1850108 edges, 10025 markings/sec, 170 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(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: 27633 markings, 30752 edges, 5527 markings/sec, 0 secs
lola: 51689 markings, 60106 edges, 4811 markings/sec, 5 secs
lola: 75575 markings, 89059 edges, 4777 markings/sec, 10 secs
lola: 99472 markings, 118041 edges, 4779 markings/sec, 15 secs
lola: 122458 markings, 145866 edges, 4597 markings/sec, 20 secs
lola: 145369 markings, 173618 edges, 4582 markings/sec, 25 secs
lola: 169054 markings, 201094 edges, 4737 markings/sec, 30 secs
lola: 196315 markings, 228355 edges, 5452 markings/sec, 35 secs
lola: 220029 markings, 252238 edges, 4743 markings/sec, 40 secs
lola: 239669 markings, 271962 edges, 3928 markings/sec, 45 secs
lola: 257884 markings, 290177 edges, 3643 markings/sec, 50 secs
lola: 274105 markings, 306492 edges, 3244 markings/sec, 55 secs
lola: 289885 markings, 322355 edges, 3156 markings/sec, 60 secs
lola: 304944 markings, 337480 edges, 3012 markings/sec, 65 secs
lola: 319435 markings, 352112 edges, 2898 markings/sec, 70 secs
lola: 333456 markings, 366285 edges, 2804 markings/sec, 75 secs
lola: 346552 markings, 379560 edges, 2619 markings/sec, 80 secs
lola: 359838 markings, 392913 edges, 2657 markings/sec, 85 secs
lola: 372910 markings, 406027 edges, 2614 markings/sec, 90 secs
lola: 385661 markings, 418863 edges, 2550 markings/sec, 95 secs
lola: 397815 markings, 431188 edges, 2431 markings/sec, 100 secs
lola: 409965 markings, 443417 edges, 2430 markings/sec, 105 secs
lola: 420750 markings, 454401 edges, 2157 markings/sec, 110 secs
lola: 431947 markings, 465727 edges, 2239 markings/sec, 115 secs
lola: 443513 markings, 477365 edges, 2313 markings/sec, 120 secs
lola: 454548 markings, 488539 edges, 2207 markings/sec, 125 secs
lola: 466066 markings, 500193 edges, 2304 markings/sec, 130 secs
lola: 477723 markings, 511925 edges, 2331 markings/sec, 135 secs
lola: 489268 markings, 523470 edges, 2309 markings/sec, 140 secs
lola: 501165 markings, 535367 edges, 2379 markings/sec, 145 secs
lola: 513232 markings, 547434 edges, 2413 markings/sec, 150 secs
lola: 523804 markings, 558006 edges, 2114 markings/sec, 155 secs
lola: 535472 markings, 569674 edges, 2334 markings/sec, 160 secs
lola: 546850 markings, 581077 edges, 2276 markings/sec, 165 secs
lola: 558901 markings, 593128 edges, 2410 markings/sec, 170 secs
lola: 570316 markings, 604543 edges, 2283 markings/sec, 175 secs
lola: 581709 markings, 615936 edges, 2279 markings/sec, 180 secs
lola: 593544 markings, 627832 edges, 2367 markings/sec, 185 secs
lola: 604440 markings, 638777 edges, 2179 markings/sec, 190 secs
lola: 616137 markings, 650479 edges, 2339 markings/sec, 195 secs
lola: 628596 markings, 662944 edges, 2492 markings/sec, 200 secs
lola: 640775 markings, 675129 edges, 2436 markings/sec, 205 secs
lola: 653194 markings, 687553 edges, 2484 markings/sec, 210 secs
lola: 665337 markings, 699702 edges, 2429 markings/sec, 215 secs
lola: 677669 markings, 712039 edges, 2466 markings/sec, 220 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 226 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: 46766 markings, 46879 edges, 9353 markings/sec, 0 secs
lola: 77503 markings, 77838 edges, 6147 markings/sec, 5 secs
lola: 102491 markings, 102885 edges, 4998 markings/sec, 10 secs
lola: 123592 markings, 124038 edges, 4220 markings/sec, 15 secs
lola: 142204 markings, 142723 edges, 3722 markings/sec, 20 secs
lola: 158139 markings, 158766 edges, 3187 markings/sec, 25 secs
lola: 173854 markings, 174617 edges, 3143 markings/sec, 30 secs
lola: 187861 markings, 188709 edges, 2801 markings/sec, 35 secs
lola: 201562 markings, 202410 edges, 2740 markings/sec, 40 secs
lola: 215175 markings, 216266 edges, 2723 markings/sec, 45 secs
lola: 227735 markings, 228843 edges, 2512 markings/sec, 50 secs
lola: 239054 markings, 240162 edges, 2264 markings/sec, 55 secs
lola: 249460 markings, 250889 edges, 2081 markings/sec, 60 secs
lola: 259145 markings, 260890 edges, 1937 markings/sec, 65 secs
lola: 269637 markings, 271395 edges, 2098 markings/sec, 70 secs
lola: 280279 markings, 282133 edges, 2128 markings/sec, 75 secs
lola: 289694 markings, 291691 edges, 1883 markings/sec, 80 secs
lola: 299505 markings, 301904 edges, 1962 markings/sec, 85 secs
lola: 308232 markings, 310727 edges, 1745 markings/sec, 90 secs
lola: 317392 markings, 320056 edges, 1832 markings/sec, 95 secs
lola: 326659 markings, 329361 edges, 1853 markings/sec, 100 secs
lola: 336047 markings, 338932 edges, 1878 markings/sec, 105 secs
lola: 345217 markings, 348171 edges, 1834 markings/sec, 110 secs
lola: 354273 markings, 357331 edges, 1811 markings/sec, 115 secs
lola: 362949 markings, 366076 edges, 1735 markings/sec, 120 secs
lola: 371517 markings, 374791 edges, 1714 markings/sec, 125 secs
lola: 380039 markings, 383471 edges, 1704 markings/sec, 130 secs
lola: 389643 markings, 393251 edges, 1921 markings/sec, 135 secs
lola: 398492 markings, 402253 edges, 1770 markings/sec, 140 secs
lola: 406935 markings, 410790 edges, 1689 markings/sec, 145 secs
lola: 415897 markings, 419870 edges, 1792 markings/sec, 150 secs
lola: 425273 markings, 429459 edges, 1875 markings/sec, 155 secs
lola: 434108 markings, 438471 edges, 1767 markings/sec, 160 secs
lola: 442652 markings, 447153 edges, 1709 markings/sec, 165 secs
lola: 451684 markings, 456354 edges, 1806 markings/sec, 170 secs
lola: 460323 markings, 465208 edges, 1728 markings/sec, 175 secs
lola: 469081 markings, 474179 edges, 1752 markings/sec, 180 secs
lola: 477924 markings, 483160 edges, 1769 markings/sec, 185 secs
lola: 485998 markings, 491359 edges, 1615 markings/sec, 190 secs
lola: 495635 markings, 501163 edges, 1927 markings/sec, 195 secs
lola: 504541 markings, 510165 edges, 1781 markings/sec, 200 secs
lola: 513747 markings, 519504 edges, 1841 markings/sec, 205 secs
lola: 523174 markings, 529058 edges, 1885 markings/sec, 210 secs
lola: 531935 markings, 537955 edges, 1752 markings/sec, 215 secs
lola: 540698 markings, 546826 edges, 1753 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 226 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: 74294 markings, 74634 edges, 14859 markings/sec, 0 secs
lola: 111558 markings, 112027 edges, 7453 markings/sec, 5 secs
lola: 136998 markings, 137659 edges, 5088 markings/sec, 10 secs
lola: 163751 markings, 165033 edges, 5351 markings/sec, 15 secs
lola: 187248 markings, 188561 edges, 4699 markings/sec, 20 secs
lola: 206823 markings, 208234 edges, 3915 markings/sec, 25 secs
lola: 227945 markings, 229518 edges, 4224 markings/sec, 30 secs
lola: 248878 markings, 250652 edges, 4187 markings/sec, 35 secs
lola: 270178 markings, 272132 edges, 4260 markings/sec, 40 secs
lola: 290009 markings, 292099 edges, 3966 markings/sec, 45 secs
lola: 305329 markings, 307435 edges, 3064 markings/sec, 50 secs
lola: 320767 markings, 322873 edges, 3088 markings/sec, 55 secs
lola: 335610 markings, 338177 edges, 2969 markings/sec, 60 secs
lola: 350458 markings, 353161 edges, 2970 markings/sec, 65 secs
lola: 365057 markings, 367768 edges, 2920 markings/sec, 70 secs
lola: 380553 markings, 383309 edges, 3099 markings/sec, 75 secs
lola: 394363 markings, 397634 edges, 2762 markings/sec, 80 secs
lola: 408343 markings, 411892 edges, 2796 markings/sec, 85 secs
lola: 422728 markings, 426395 edges, 2877 markings/sec, 90 secs
lola: 435525 markings, 439218 edges, 2559 markings/sec, 95 secs
lola: 448427 markings, 452304 edges, 2580 markings/sec, 100 secs
lola: 461332 markings, 465209 edges, 2581 markings/sec, 105 secs
lola: 474768 markings, 478772 edges, 2687 markings/sec, 110 secs
lola: 488108 markings, 492456 edges, 2668 markings/sec, 115 secs
lola: 500868 markings, 505480 edges, 2552 markings/sec, 120 secs
lola: 513413 markings, 518326 edges, 2509 markings/sec, 125 secs
lola: 525490 markings, 530655 edges, 2415 markings/sec, 130 secs
lola: 537705 markings, 542978 edges, 2443 markings/sec, 135 secs
lola: 549768 markings, 555281 edges, 2413 markings/sec, 140 secs
lola: 561847 markings, 567528 edges, 2416 markings/sec, 145 secs
lola: 573914 markings, 579751 edges, 2413 markings/sec, 150 secs
lola: 586013 markings, 592027 edges, 2420 markings/sec, 155 secs
lola: 598126 markings, 604365 edges, 2423 markings/sec, 160 secs
lola: 610276 markings, 616606 edges, 2430 markings/sec, 165 secs
lola: 622643 markings, 628984 edges, 2473 markings/sec, 170 secs
lola: 634995 markings, 641349 edges, 2470 markings/sec, 175 secs
lola: 647346 markings, 653739 edges, 2470 markings/sec, 180 secs
lola: 659681 markings, 666118 edges, 2467 markings/sec, 185 secs
lola: 672019 markings, 678489 edges, 2468 markings/sec, 190 secs
lola: 684102 markings, 690617 edges, 2417 markings/sec, 195 secs
lola: 696502 markings, 703037 edges, 2480 markings/sec, 200 secs
lola: 708902 markings, 715471 edges, 2480 markings/sec, 205 secs
lola: 721305 markings, 727905 edges, 2481 markings/sec, 210 secs
lola: 733711 markings, 740344 edges, 2481 markings/sec, 215 secs
lola: 746103 markings, 752774 edges, 2478 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 226 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: 65810 markings, 66289 edges, 13162 markings/sec, 0 secs
lola: 103582 markings, 104066 edges, 7554 markings/sec, 5 secs
lola: 137530 markings, 138056 edges, 6790 markings/sec, 10 secs
lola: 172296 markings, 173100 edges, 6953 markings/sec, 15 secs
lola: 206793 markings, 207970 edges, 6899 markings/sec, 20 secs
lola: 229616 markings, 230911 edges, 4565 markings/sec, 25 secs
lola: 250413 markings, 251737 edges, 4159 markings/sec, 30 secs
lola: 270403 markings, 271791 edges, 3998 markings/sec, 35 secs
lola: 288433 markings, 289869 edges, 3606 markings/sec, 40 secs
lola: 304950 markings, 306421 edges, 3303 markings/sec, 45 secs
lola: 319398 markings, 320899 edges, 2890 markings/sec, 50 secs
lola: 332609 markings, 334135 edges, 2642 markings/sec, 55 secs
lola: 344921 markings, 346803 edges, 2462 markings/sec, 60 secs
lola: 356684 markings, 358572 edges, 2353 markings/sec, 65 secs
lola: 367646 markings, 369545 edges, 2192 markings/sec, 70 secs
lola: 378573 markings, 380645 edges, 2185 markings/sec, 75 secs
lola: 389216 markings, 391392 edges, 2129 markings/sec, 80 secs
lola: 399730 markings, 402187 edges, 2103 markings/sec, 85 secs
lola: 410399 markings, 412964 edges, 2134 markings/sec, 90 secs
lola: 421074 markings, 423787 edges, 2135 markings/sec, 95 secs
lola: 431739 markings, 434569 edges, 2133 markings/sec, 100 secs
lola: 442000 markings, 444949 edges, 2052 markings/sec, 105 secs
lola: 452061 markings, 455128 edges, 2012 markings/sec, 110 secs
lola: 462123 markings, 465301 edges, 2012 markings/sec, 115 secs
lola: 472347 markings, 475545 edges, 2045 markings/sec, 120 secs
lola: 482829 markings, 486027 edges, 2096 markings/sec, 125 secs
lola: 493312 markings, 496510 edges, 2097 markings/sec, 130 secs
lola: 503794 markings, 506992 edges, 2096 markings/sec, 135 secs
lola: 514307 markings, 517505 edges, 2103 markings/sec, 140 secs
lola: 524844 markings, 528042 edges, 2107 markings/sec, 145 secs
lola: 535321 markings, 538520 edges, 2095 markings/sec, 150 secs
lola: 545691 markings, 548890 edges, 2074 markings/sec, 155 secs
lola: 556158 markings, 559356 edges, 2093 markings/sec, 160 secs
lola: 566286 markings, 569484 edges, 2026 markings/sec, 165 secs
lola: 576866 markings, 580064 edges, 2116 markings/sec, 170 secs
lola: 586559 markings, 589757 edges, 1939 markings/sec, 175 secs
lola: 596560 markings, 599758 edges, 2000 markings/sec, 180 secs
lola: 606776 markings, 609974 edges, 2043 markings/sec, 185 secs
lola: 616157 markings, 619355 edges, 1876 markings/sec, 190 secs
lola: 626645 markings, 629843 edges, 2098 markings/sec, 195 secs
lola: 637239 markings, 640437 edges, 2119 markings/sec, 200 secs
lola: 647444 markings, 650642 edges, 2041 markings/sec, 205 secs
lola: 658007 markings, 661205 edges, 2113 markings/sec, 210 secs
lola: 668041 markings, 671239 edges, 2007 markings/sec, 215 secs
lola: 678573 markings, 681774 edges, 2106 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 226 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: 43304 markings, 46894 edges, 8661 markings/sec, 0 secs
lola: 67540 markings, 74006 edges, 4847 markings/sec, 5 secs
lola: 93062 markings, 101026 edges, 5104 markings/sec, 10 secs
lola: 127310 markings, 135506 edges, 6850 markings/sec, 15 secs
lola: 155522 markings, 163748 edges, 5642 markings/sec, 20 secs
lola: 177834 markings, 186132 edges, 4462 markings/sec, 25 secs
lola: 198957 markings, 207356 edges, 4225 markings/sec, 30 secs
lola: 223238 markings, 231832 edges, 4856 markings/sec, 35 secs
lola: 248553 markings, 257496 edges, 5063 markings/sec, 40 secs
lola: 271533 markings, 280543 edges, 4596 markings/sec, 45 secs
lola: 293096 markings, 302106 edges, 4313 markings/sec, 50 secs
lola: 315720 markings, 324730 edges, 4525 markings/sec, 55 secs
lola: 339652 markings, 348965 edges, 4786 markings/sec, 60 secs
lola: 364964 markings, 374752 edges, 5062 markings/sec, 65 secs
lola: 390235 markings, 400308 edges, 5054 markings/sec, 70 secs
lola: 415340 markings, 425557 edges, 5021 markings/sec, 75 secs
lola: 440604 markings, 450903 edges, 5053 markings/sec, 80 secs
lola: 467399 markings, 477707 edges, 5359 markings/sec, 85 secs
lola: 494741 markings, 505049 edges, 5468 markings/sec, 90 secs
lola: 522043 markings, 532351 edges, 5460 markings/sec, 95 secs
lola: 549386 markings, 559694 edges, 5469 markings/sec, 100 secs
lola: 576610 markings, 586918 edges, 5445 markings/sec, 105 secs
lola: 603720 markings, 614028 edges, 5422 markings/sec, 110 secs
lola: 630987 markings, 641345 edges, 5453 markings/sec, 115 secs
lola: 658250 markings, 668626 edges, 5453 markings/sec, 120 secs
lola: 685488 markings, 695984 edges, 5448 markings/sec, 125 secs
lola: 712718 markings, 723222 edges, 5446 markings/sec, 130 secs
lola: 740002 markings, 750512 edges, 5457 markings/sec, 135 secs
lola: 767261 markings, 777777 edges, 5452 markings/sec, 140 secs
lola: 794689 markings, 805212 edges, 5486 markings/sec, 145 secs
lola: 822028 markings, 832560 edges, 5468 markings/sec, 150 secs
lola: 849445 markings, 859985 edges, 5483 markings/sec, 155 secs
lola: 876707 markings, 887255 edges, 5452 markings/sec, 160 secs
lola: 904030 markings, 914583 edges, 5465 markings/sec, 165 secs
lola: 931110 markings, 941663 edges, 5416 markings/sec, 170 secs
lola: 958234 markings, 968787 edges, 5425 markings/sec, 175 secs
lola: 982377 markings, 992930 edges, 4829 markings/sec, 180 secs
lola: 1008347 markings, 1018900 edges, 5194 markings/sec, 185 secs
lola: 1034810 markings, 1045363 edges, 5293 markings/sec, 190 secs
lola: 1061201 markings, 1071754 edges, 5278 markings/sec, 195 secs
lola: 1088168 markings, 1098725 edges, 5393 markings/sec, 200 secs
lola: 1113934 markings, 1124496 edges, 5153 markings/sec, 205 secs
lola: 1140297 markings, 1150858 edges, 5273 markings/sec, 210 secs
lola: 1166245 markings, 1176878 edges, 5190 markings/sec, 215 secs
lola: 1192469 markings, 1203117 edges, 5245 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 226 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: 100505 markings, 101256 edges, 20101 markings/sec, 0 secs
lola: 149285 markings, 150070 edges, 9756 markings/sec, 5 secs
lola: 177137 markings, 178117 edges, 5570 markings/sec, 10 secs
lola: 199542 markings, 200584 edges, 4481 markings/sec, 15 secs
lola: 220381 markings, 221665 edges, 4168 markings/sec, 20 secs
lola: 239319 markings, 240618 edges, 3788 markings/sec, 25 secs
lola: 257164 markings, 258463 edges, 3569 markings/sec, 30 secs
lola: 275323 markings, 276675 edges, 3632 markings/sec, 35 secs
lola: 293319 markings, 294734 edges, 3599 markings/sec, 40 secs
lola: 309935 markings, 311391 edges, 3323 markings/sec, 45 secs
lola: 327551 markings, 329007 edges, 3523 markings/sec, 50 secs
lola: 344545 markings, 346030 edges, 3399 markings/sec, 55 secs
lola: 362250 markings, 363886 edges, 3541 markings/sec, 60 secs
lola: 380544 markings, 382361 edges, 3659 markings/sec, 65 secs
lola: 397879 markings, 399830 edges, 3467 markings/sec, 70 secs
lola: 413952 markings, 416071 edges, 3215 markings/sec, 75 secs
lola: 427685 markings, 429814 edges, 2747 markings/sec, 80 secs
lola: 440456 markings, 442854 edges, 2554 markings/sec, 85 secs
lola: 453591 markings, 456264 edges, 2627 markings/sec, 90 secs
lola: 466458 markings, 469251 edges, 2573 markings/sec, 95 secs
lola: 479605 markings, 482785 edges, 2629 markings/sec, 100 secs
lola: 490960 markings, 494263 edges, 2271 markings/sec, 105 secs
lola: 503327 markings, 506654 edges, 2473 markings/sec, 110 secs
lola: 515629 markings, 519062 edges, 2460 markings/sec, 115 secs
lola: 527793 markings, 531298 edges, 2433 markings/sec, 120 secs
lola: 539143 markings, 542839 edges, 2270 markings/sec, 125 secs
lola: 550262 markings, 554096 edges, 2224 markings/sec, 130 secs
lola: 560554 markings, 564445 edges, 2058 markings/sec, 135 secs
lola: 571150 markings, 575228 edges, 2119 markings/sec, 140 secs
lola: 581428 markings, 585630 edges, 2056 markings/sec, 145 secs
lola: 591761 markings, 596068 edges, 2067 markings/sec, 150 secs
lola: 602367 markings, 606776 edges, 2121 markings/sec, 155 secs
lola: 613118 markings, 617706 edges, 2150 markings/sec, 160 secs
lola: 624222 markings, 628839 edges, 2221 markings/sec, 165 secs
lola: 635423 markings, 640040 edges, 2240 markings/sec, 170 secs
lola: 646646 markings, 651263 edges, 2245 markings/sec, 175 secs
lola: 657872 markings, 662489 edges, 2245 markings/sec, 180 secs
lola: 669075 markings, 673692 edges, 2241 markings/sec, 185 secs
lola: 680249 markings, 684874 edges, 2235 markings/sec, 190 secs
lola: 691429 markings, 696070 edges, 2236 markings/sec, 195 secs
lola: 702611 markings, 707266 edges, 2236 markings/sec, 200 secs
lola: 713776 markings, 718447 edges, 2233 markings/sec, 205 secs
lola: 724954 markings, 729632 edges, 2236 markings/sec, 210 secs
lola: 736121 markings, 740806 edges, 2233 markings/sec, 215 secs
lola: 747268 markings, 751962 edges, 2229 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 226 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: 63690 markings, 63901 edges, 12738 markings/sec, 0 secs
lola: 98687 markings, 99156 edges, 6999 markings/sec, 5 secs
lola: 126116 markings, 126830 edges, 5486 markings/sec, 10 secs
lola: 150296 markings, 151094 edges, 4836 markings/sec, 15 secs
lola: 172723 markings, 173580 edges, 4485 markings/sec, 20 secs
lola: 192684 markings, 193545 edges, 3992 markings/sec, 25 secs
lola: 212028 markings, 212975 edges, 3869 markings/sec, 30 secs
lola: 227793 markings, 229082 edges, 3153 markings/sec, 35 secs
lola: 242151 markings, 243542 edges, 2872 markings/sec, 40 secs
lola: 255847 markings, 257514 edges, 2739 markings/sec, 45 secs
lola: 269725 markings, 271511 edges, 2776 markings/sec, 50 secs
lola: 284043 markings, 285843 edges, 2864 markings/sec, 55 secs
lola: 298540 markings, 300341 edges, 2899 markings/sec, 60 secs
lola: 313235 markings, 315036 edges, 2939 markings/sec, 65 secs
lola: 327920 markings, 329721 edges, 2937 markings/sec, 70 secs
lola: 342598 markings, 344408 edges, 2936 markings/sec, 75 secs
lola: 357293 markings, 359112 edges, 2939 markings/sec, 80 secs
lola: 371973 markings, 373843 edges, 2936 markings/sec, 85 secs
lola: 386639 markings, 388537 edges, 2933 markings/sec, 90 secs
lola: 401246 markings, 403173 edges, 2921 markings/sec, 95 secs
lola: 415848 markings, 417823 edges, 2920 markings/sec, 100 secs
lola: 430439 markings, 432462 edges, 2918 markings/sec, 105 secs
lola: 445039 markings, 447110 edges, 2920 markings/sec, 110 secs
lola: 459625 markings, 461744 edges, 2917 markings/sec, 115 secs
lola: 474210 markings, 476378 edges, 2917 markings/sec, 120 secs
lola: 488834 markings, 491035 edges, 2925 markings/sec, 125 secs
lola: 503424 markings, 505667 edges, 2918 markings/sec, 130 secs
lola: 518021 markings, 520306 edges, 2919 markings/sec, 135 secs
lola: 532629 markings, 534923 edges, 2922 markings/sec, 140 secs
lola: 547294 markings, 549597 edges, 2933 markings/sec, 145 secs
lola: 561019 markings, 563322 edges, 2745 markings/sec, 150 secs
lola: 575426 markings, 577729 edges, 2881 markings/sec, 155 secs
lola: 589984 markings, 592287 edges, 2912 markings/sec, 160 secs
lola: 603870 markings, 606173 edges, 2777 markings/sec, 165 secs
lola: 617654 markings, 620004 edges, 2757 markings/sec, 170 secs
lola: 631145 markings, 633542 edges, 2698 markings/sec, 175 secs
lola: 644690 markings, 647134 edges, 2709 markings/sec, 180 secs
lola: 659107 markings, 661599 edges, 2883 markings/sec, 185 secs
lola: 673596 markings, 676108 edges, 2898 markings/sec, 190 secs
lola: 688008 markings, 690527 edges, 2882 markings/sec, 195 secs
lola: 702289 markings, 704816 edges, 2856 markings/sec, 200 secs
lola: 716500 markings, 719034 edges, 2842 markings/sec, 205 secs
lola: 730666 markings, 733206 edges, 2833 markings/sec, 210 secs
lola: 745260 markings, 747808 edges, 2919 markings/sec, 215 secs
lola: 759877 markings, 762431 edges, 2923 markings/sec, 220 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 226 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: 23512 markings, 25828 edges, 4702 markings/sec, 0 secs
lola: 48768 markings, 52464 edges, 5051 markings/sec, 5 secs
lola: 71039 markings, 75768 edges, 4454 markings/sec, 10 secs
lola: 98825 markings, 103867 edges, 5557 markings/sec, 15 secs
lola: 130690 markings, 137290 edges, 6373 markings/sec, 20 secs
lola: 158704 markings, 165564 edges, 5603 markings/sec, 25 secs
lola: 181589 markings, 188596 edges, 4577 markings/sec, 30 secs
lola: 203032 markings, 210280 edges, 4289 markings/sec, 35 secs
lola: 224131 markings, 231516 edges, 4220 markings/sec, 40 secs
lola: 245705 markings, 253201 edges, 4315 markings/sec, 45 secs
lola: 264238 markings, 271783 edges, 3707 markings/sec, 50 secs
lola: 282895 markings, 290441 edges, 3731 markings/sec, 55 secs
lola: 300494 markings, 308192 edges, 3520 markings/sec, 60 secs
lola: 318302 markings, 326251 edges, 3562 markings/sec, 65 secs
lola: 335377 markings, 344194 edges, 3415 markings/sec, 70 secs
lola: 352905 markings, 361753 edges, 3506 markings/sec, 75 secs
lola: 369112 markings, 377998 edges, 3241 markings/sec, 80 secs
lola: 383008 markings, 391909 edges, 2779 markings/sec, 85 secs
lola: 396940 markings, 405870 edges, 2786 markings/sec, 90 secs
lola: 410286 markings, 419278 edges, 2669 markings/sec, 95 secs
lola: 422290 markings, 431354 edges, 2401 markings/sec, 100 secs
lola: 433950 markings, 443164 edges, 2332 markings/sec, 105 secs
lola: 445664 markings, 454895 edges, 2343 markings/sec, 110 secs
lola: 456963 markings, 466261 edges, 2260 markings/sec, 115 secs
lola: 468257 markings, 477738 edges, 2259 markings/sec, 120 secs
lola: 479498 markings, 489144 edges, 2248 markings/sec, 125 secs
lola: 490771 markings, 500473 edges, 2255 markings/sec, 130 secs
lola: 501576 markings, 511373 edges, 2161 markings/sec, 135 secs
lola: 512899 markings, 522854 edges, 2265 markings/sec, 140 secs
lola: 524175 markings, 534279 edges, 2255 markings/sec, 145 secs
lola: 535459 markings, 545700 edges, 2257 markings/sec, 150 secs
lola: 546720 markings, 557134 edges, 2252 markings/sec, 155 secs
lola: 557934 markings, 568546 edges, 2243 markings/sec, 160 secs
lola: 569178 markings, 579918 edges, 2249 markings/sec, 165 secs
lola: 580429 markings, 591365 edges, 2250 markings/sec, 170 secs
lola: 591382 markings, 602430 edges, 2191 markings/sec, 175 secs
lola: 602033 markings, 613307 edges, 2130 markings/sec, 180 secs
lola: 612680 markings, 624145 edges, 2129 markings/sec, 185 secs
lola: 623330 markings, 634991 edges, 2130 markings/sec, 190 secs
lola: 633946 markings, 645812 edges, 2123 markings/sec, 195 secs
lola: 644588 markings, 656656 edges, 2128 markings/sec, 200 secs
lola: 655204 markings, 667453 edges, 2123 markings/sec, 205 secs
lola: 665796 markings, 678217 edges, 2118 markings/sec, 210 secs
lola: 676389 markings, 689058 edges, 2119 markings/sec, 215 secs
lola: 687015 markings, 699983 edges, 2125 markings/sec, 220 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: 99805 markings, 100048 edges, 19961 markings/sec, 0 secs
lola: 153236 markings, 153987 edges, 10686 markings/sec, 5 secs
lola: 192546 markings, 193543 edges, 7862 markings/sec, 10 secs
lola: 231277 markings, 232805 edges, 7746 markings/sec, 15 secs
lola: 269125 markings, 270802 edges, 7570 markings/sec, 20 secs
lola: 302200 markings, 303986 edges, 6615 markings/sec, 25 secs
lola: 328698 markings, 330503 edges, 5300 markings/sec, 30 secs
lola: 351208 markings, 353014 edges, 4502 markings/sec, 35 secs
lola: 372956 markings, 375170 edges, 4350 markings/sec, 40 secs
lola: 390046 markings, 392262 edges, 3418 markings/sec, 45 secs
lola: 406042 markings, 408315 edges, 3199 markings/sec, 50 secs
lola: 420861 markings, 423442 edges, 2964 markings/sec, 55 secs
lola: 434999 markings, 437679 edges, 2828 markings/sec, 60 secs
lola: 449145 markings, 452129 edges, 2829 markings/sec, 65 secs
lola: 462991 markings, 466190 edges, 2769 markings/sec, 70 secs
lola: 477008 markings, 480252 edges, 2803 markings/sec, 75 secs
lola: 490990 markings, 494279 edges, 2796 markings/sec, 80 secs
lola: 504933 markings, 508253 edges, 2789 markings/sec, 85 secs
lola: 518910 markings, 522284 edges, 2795 markings/sec, 90 secs
lola: 532931 markings, 536371 edges, 2804 markings/sec, 95 secs
lola: 546894 markings, 550400 edges, 2793 markings/sec, 100 secs
lola: 560887 markings, 564458 edges, 2799 markings/sec, 105 secs
lola: 574836 markings, 578472 edges, 2790 markings/sec, 110 secs
lola: 588835 markings, 592536 edges, 2800 markings/sec, 115 secs
lola: 602778 markings, 606545 edges, 2789 markings/sec, 120 secs
lola: 616724 markings, 620556 edges, 2789 markings/sec, 125 secs
lola: 630661 markings, 634558 edges, 2787 markings/sec, 130 secs
lola: 644564 markings, 648523 edges, 2781 markings/sec, 135 secs
lola: 658460 markings, 662479 edges, 2779 markings/sec, 140 secs
lola: 672217 markings, 676297 edges, 2751 markings/sec, 145 secs
lola: 685606 markings, 689747 edges, 2678 markings/sec, 150 secs
lola: 698863 markings, 703065 edges, 2651 markings/sec, 155 secs
lola: 711421 markings, 715684 edges, 2512 markings/sec, 160 secs
lola: 724284 markings, 728608 edges, 2573 markings/sec, 165 secs
lola: 737825 markings, 742210 edges, 2708 markings/sec, 170 secs
lola: 751490 markings, 755936 edges, 2733 markings/sec, 175 secs
lola: 764464 markings, 768971 edges, 2595 markings/sec, 180 secs
lola: 778006 markings, 782554 edges, 2708 markings/sec, 185 secs
lola: 791625 markings, 796271 edges, 2724 markings/sec, 190 secs
lola: 804905 markings, 809582 edges, 2656 markings/sec, 195 secs
lola: 818286 markings, 822999 edges, 2676 markings/sec, 200 secs
lola: 831734 markings, 836516 edges, 2690 markings/sec, 205 secs
lola: 844336 markings, 849263 edges, 2520 markings/sec, 210 secs
lola: 857115 markings, 862180 edges, 2556 markings/sec, 215 secs
lola: 869088 markings, 874269 edges, 2395 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA 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 1494621436407

--------------------
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="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/HypertorusGrid-PT-d5k3p2b10.tgz
mv 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 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 r038-blw7-149440484500056"
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 ;