About the Execution of LoLA for S_HypercubeGrid-PT-C5K3P3B15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15947.180 | 3540517.00 | 3551132.00 | 1219.40 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_HypercubeGrid-PT-C5K3P3B15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441649700020
=====================================================================
--------------------
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 1496347093135
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_HypercubeGrid-PT-C5K3P3B15: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_HypercubeGrid-PT-C5K3P3B15: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 69930 markings, 69984 edges, 13986 markings/sec, 0 secs
lola: 103575 markings, 103779 edges, 6729 markings/sec, 5 secs
lola: 128113 markings, 128615 edges, 4908 markings/sec, 10 secs
lola: 152941 markings, 154780 edges, 4966 markings/sec, 15 secs
lola: 176754 markings, 179466 edges, 4763 markings/sec, 20 secs
lola: 200100 markings, 203580 edges, 4669 markings/sec, 25 secs
lola: 225467 markings, 229703 edges, 5073 markings/sec, 30 secs
lola: 249334 markings, 253744 edges, 4773 markings/sec, 35 secs
lola: 271680 markings, 276910 edges, 4469 markings/sec, 40 secs
lola: 292189 markings, 297596 edges, 4102 markings/sec, 45 secs
lola: 310032 markings, 315472 edges, 3569 markings/sec, 50 secs
lola: 326491 markings, 331969 edges, 3292 markings/sec, 55 secs
lola: 342587 markings, 348256 edges, 3219 markings/sec, 60 secs
lola: 356737 markings, 362716 edges, 2830 markings/sec, 65 secs
lola: 371657 markings, 377706 edges, 2984 markings/sec, 70 secs
lola: 387915 markings, 393978 edges, 3252 markings/sec, 75 secs
lola: 404456 markings, 410555 edges, 3308 markings/sec, 80 secs
lola: 420980 markings, 427115 edges, 3305 markings/sec, 85 secs
lola: 436583 markings, 442751 edges, 3121 markings/sec, 90 secs
lola: 452733 markings, 458938 edges, 3230 markings/sec, 95 secs
lola: 468456 markings, 474676 edges, 3145 markings/sec, 100 secs
lola: 483960 markings, 490183 edges, 3101 markings/sec, 105 secs
lola: 500393 markings, 506621 edges, 3287 markings/sec, 110 secs
lola: 516576 markings, 522900 edges, 3237 markings/sec, 115 secs
lola: 532573 markings, 538968 edges, 3199 markings/sec, 120 secs
lola: 548531 markings, 554934 edges, 3192 markings/sec, 125 secs
lola: 564467 markings, 570930 edges, 3187 markings/sec, 130 secs
lola: 580145 markings, 586608 edges, 3136 markings/sec, 135 secs
lola: 596563 markings, 603026 edges, 3284 markings/sec, 140 secs
lola: 612191 markings, 618693 edges, 3126 markings/sec, 145 secs
lola: 627239 markings, 633888 edges, 3010 markings/sec, 150 secs
lola: 643331 markings, 650165 edges, 3218 markings/sec, 155 secs
lola: 659403 markings, 666422 edges, 3214 markings/sec, 160 secs
lola: 674718 markings, 681901 edges, 3063 markings/sec, 165 secs
lola: 688764 markings, 696114 edges, 2809 markings/sec, 170 secs
lola: 703621 markings, 711260 edges, 2971 markings/sec, 175 secs
lola: 718892 markings, 726825 edges, 3054 markings/sec, 180 secs
lola: 734801 markings, 743039 edges, 3182 markings/sec, 185 secs
lola: 750749 markings, 759297 edges, 3190 markings/sec, 190 secs
lola: 765808 markings, 774645 edges, 3012 markings/sec, 195 secs
lola: 781796 markings, 790951 edges, 3198 markings/sec, 200 secs
lola: 797965 markings, 807442 edges, 3234 markings/sec, 205 secs
lola: 814232 markings, 824014 edges, 3253 markings/sec, 210 secs
lola: 830487 markings, 840574 edges, 3251 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: 81272 markings, 82173 edges, 16254 markings/sec, 0 secs
lola: 116142 markings, 117686 edges, 6974 markings/sec, 5 secs
lola: 146315 markings, 148989 edges, 6035 markings/sec, 10 secs
lola: 176822 markings, 180520 edges, 6101 markings/sec, 15 secs
lola: 202239 markings, 206202 edges, 5083 markings/sec, 20 secs
lola: 225005 markings, 229331 edges, 4553 markings/sec, 25 secs
lola: 245818 markings, 250234 edges, 4163 markings/sec, 30 secs
lola: 263552 markings, 268097 edges, 3547 markings/sec, 35 secs
lola: 280859 markings, 285516 edges, 3461 markings/sec, 40 secs
lola: 297480 markings, 302361 edges, 3324 markings/sec, 45 secs
lola: 314231 markings, 319249 edges, 3350 markings/sec, 50 secs
lola: 329705 markings, 334768 edges, 3095 markings/sec, 55 secs
lola: 342795 markings, 347935 edges, 2618 markings/sec, 60 secs
lola: 355943 markings, 361125 edges, 2630 markings/sec, 65 secs
lola: 368423 markings, 373765 edges, 2496 markings/sec, 70 secs
lola: 381197 markings, 386889 edges, 2555 markings/sec, 75 secs
lola: 393028 markings, 398800 edges, 2366 markings/sec, 80 secs
lola: 406028 markings, 411860 edges, 2600 markings/sec, 85 secs
lola: 419179 markings, 425221 edges, 2630 markings/sec, 90 secs
lola: 432340 markings, 438781 edges, 2632 markings/sec, 95 secs
lola: 445453 markings, 452074 edges, 2623 markings/sec, 100 secs
lola: 458198 markings, 465006 edges, 2549 markings/sec, 105 secs
lola: 470456 markings, 477743 edges, 2452 markings/sec, 110 secs
lola: 482255 markings, 489542 edges, 2360 markings/sec, 115 secs
lola: 494659 markings, 501973 edges, 2481 markings/sec, 120 secs
lola: 506797 markings, 514416 edges, 2428 markings/sec, 125 secs
lola: 518389 markings, 526219 edges, 2318 markings/sec, 130 secs
lola: 529922 markings, 538050 edges, 2307 markings/sec, 135 secs
lola: 541168 markings, 549590 edges, 2249 markings/sec, 140 secs
lola: 551730 markings, 560410 edges, 2112 markings/sec, 145 secs
lola: 562453 markings, 571388 edges, 2145 markings/sec, 150 secs
lola: 574059 markings, 583244 edges, 2321 markings/sec, 155 secs
lola: 585803 markings, 595285 edges, 2349 markings/sec, 160 secs
lola: 597423 markings, 607233 edges, 2324 markings/sec, 165 secs
lola: 608731 markings, 618876 edges, 2262 markings/sec, 170 secs
lola: 620465 markings, 630976 edges, 2347 markings/sec, 175 secs
lola: 632140 markings, 643008 edges, 2335 markings/sec, 180 secs
lola: 643764 markings, 654754 edges, 2325 markings/sec, 185 secs
lola: 654613 markings, 665875 edges, 2170 markings/sec, 190 secs
lola: 666107 markings, 677583 edges, 2299 markings/sec, 195 secs
lola: 676455 markings, 688075 edges, 2070 markings/sec, 200 secs
lola: 687938 markings, 699693 edges, 2297 markings/sec, 205 secs
lola: 699093 markings, 710997 edges, 2231 markings/sec, 210 secs
lola: 710259 markings, 722316 edges, 2233 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: 80331 markings, 81018 edges, 16066 markings/sec, 0 secs
lola: 121979 markings, 122847 edges, 8330 markings/sec, 5 secs
lola: 163090 markings, 164497 edges, 8222 markings/sec, 10 secs
lola: 202764 markings, 204471 edges, 7935 markings/sec, 15 secs
lola: 243119 markings, 245164 edges, 8071 markings/sec, 20 secs
lola: 283288 markings, 285673 edges, 8034 markings/sec, 25 secs
lola: 323991 markings, 326685 edges, 8141 markings/sec, 30 secs
lola: 364935 markings, 367934 edges, 8189 markings/sec, 35 secs
lola: 404505 markings, 407941 edges, 7914 markings/sec, 40 secs
lola: 445226 markings, 449182 edges, 8144 markings/sec, 45 secs
lola: 484587 markings, 489040 edges, 7872 markings/sec, 50 secs
lola: 523887 markings, 528840 edges, 7860 markings/sec, 55 secs
lola: 563935 markings, 569399 edges, 8010 markings/sec, 60 secs
lola: 604698 markings, 610677 edges, 8153 markings/sec, 65 secs
lola: 645793 markings, 651959 edges, 8219 markings/sec, 70 secs
lola: 690380 markings, 696571 edges, 8917 markings/sec, 75 secs
lola: 733480 markings, 739671 edges, 8620 markings/sec, 80 secs
lola: 778871 markings, 785071 edges, 9078 markings/sec, 85 secs
lola: 824277 markings, 830514 edges, 9081 markings/sec, 90 secs
lola: 867788 markings, 874113 edges, 8702 markings/sec, 95 secs
lola: 911298 markings, 917681 edges, 8702 markings/sec, 100 secs
lola: 953476 markings, 959881 edges, 8436 markings/sec, 105 secs
lola: 995446 markings, 1001932 edges, 8394 markings/sec, 110 secs
lola: 1036061 markings, 1042881 edges, 8123 markings/sec, 115 secs
lola: 1079297 markings, 1086457 edges, 8647 markings/sec, 120 secs
lola: 1121863 markings, 1129244 edges, 8513 markings/sec, 125 secs
lola: 1164227 markings, 1171653 edges, 8473 markings/sec, 130 secs
lola: 1205545 markings, 1213014 edges, 8264 markings/sec, 135 secs
lola: 1245070 markings, 1252590 edges, 7905 markings/sec, 140 secs
lola: 1288161 markings, 1295738 edges, 8618 markings/sec, 145 secs
lola: 1333321 markings, 1340903 edges, 9032 markings/sec, 150 secs
lola: 1378530 markings, 1386149 edges, 9042 markings/sec, 155 secs
lola: 1421368 markings, 1429021 edges, 8568 markings/sec, 160 secs
lola: 1464468 markings, 1472164 edges, 8620 markings/sec, 165 secs
lola: 1509256 markings, 1516978 edges, 8958 markings/sec, 170 secs
lola: 1553117 markings, 1560866 edges, 8772 markings/sec, 175 secs
lola: 1597636 markings, 1605413 edges, 8904 markings/sec, 180 secs
lola: 1641683 markings, 1649490 edges, 8809 markings/sec, 185 secs
lola: 1685307 markings, 1693140 edges, 8725 markings/sec, 190 secs
lola: 1729905 markings, 1737763 edges, 8920 markings/sec, 195 secs
lola: 1774578 markings, 1782454 edges, 8935 markings/sec, 200 secs
lola: 1818441 markings, 1826395 edges, 8773 markings/sec, 205 secs
lola: 1861571 markings, 1869595 edges, 8626 markings/sec, 210 secs
lola: 1904930 markings, 1913015 edges, 8672 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: 67050 markings, 67307 edges, 13410 markings/sec, 0 secs
lola: 102894 markings, 103829 edges, 7169 markings/sec, 5 secs
lola: 137668 markings, 138828 edges, 6955 markings/sec, 10 secs
lola: 163702 markings, 165151 edges, 5207 markings/sec, 15 secs
lola: 186260 markings, 188437 edges, 4512 markings/sec, 20 secs
lola: 208720 markings, 211801 edges, 4492 markings/sec, 25 secs
lola: 230459 markings, 234620 edges, 4348 markings/sec, 30 secs
lola: 250308 markings, 255586 edges, 3970 markings/sec, 35 secs
lola: 272431 markings, 278471 edges, 4425 markings/sec, 40 secs
lola: 294683 markings, 301969 edges, 4450 markings/sec, 45 secs
lola: 316891 markings, 324871 edges, 4442 markings/sec, 50 secs
lola: 338693 markings, 346770 edges, 4360 markings/sec, 55 secs
lola: 358546 markings, 367380 edges, 3971 markings/sec, 60 secs
lola: 377433 markings, 386293 edges, 3777 markings/sec, 65 secs
lola: 395365 markings, 404708 edges, 3586 markings/sec, 70 secs
lola: 412177 markings, 421573 edges, 3362 markings/sec, 75 secs
lola: 427854 markings, 437708 edges, 3135 markings/sec, 80 secs
lola: 442871 markings, 452733 edges, 3003 markings/sec, 85 secs
lola: 456979 markings, 466974 edges, 2822 markings/sec, 90 secs
lola: 469963 markings, 480019 edges, 2597 markings/sec, 95 secs
lola: 482801 markings, 493616 edges, 2568 markings/sec, 100 secs
lola: 495573 markings, 506630 edges, 2554 markings/sec, 105 secs
lola: 507889 markings, 519542 edges, 2463 markings/sec, 110 secs
lola: 519990 markings, 532151 edges, 2420 markings/sec, 115 secs
lola: 532112 markings, 544505 edges, 2424 markings/sec, 120 secs
lola: 544214 markings, 556728 edges, 2420 markings/sec, 125 secs
lola: 556395 markings, 569077 edges, 2436 markings/sec, 130 secs
lola: 568614 markings, 581730 edges, 2444 markings/sec, 135 secs
lola: 580866 markings, 594668 edges, 2450 markings/sec, 140 secs
lola: 593015 markings, 607137 edges, 2430 markings/sec, 145 secs
lola: 605065 markings, 619687 edges, 2410 markings/sec, 150 secs
lola: 617049 markings, 631955 edges, 2397 markings/sec, 155 secs
lola: 628689 markings, 643802 edges, 2328 markings/sec, 160 secs
lola: 640367 markings, 656029 edges, 2336 markings/sec, 165 secs
lola: 651262 markings, 667499 edges, 2179 markings/sec, 170 secs
lola: 663047 markings, 679571 edges, 2357 markings/sec, 175 secs
lola: 675649 markings, 692173 edges, 2520 markings/sec, 180 secs
lola: 688120 markings, 704673 edges, 2494 markings/sec, 185 secs
lola: 700777 markings, 717468 edges, 2531 markings/sec, 190 secs
lola: 713704 markings, 730458 edges, 2585 markings/sec, 195 secs
lola: 726369 markings, 743157 edges, 2533 markings/sec, 200 secs
lola: 739188 markings, 756003 edges, 2564 markings/sec, 205 secs
lola: 751143 markings, 767987 edges, 2391 markings/sec, 210 secs
lola: 763928 markings, 780799 edges, 2557 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: 51688 markings, 53108 edges, 10338 markings/sec, 0 secs
lola: 87881 markings, 89977 edges, 7239 markings/sec, 5 secs
lola: 123978 markings, 126608 edges, 7219 markings/sec, 10 secs
lola: 159519 markings, 162790 edges, 7108 markings/sec, 15 secs
lola: 190324 markings, 194022 edges, 6161 markings/sec, 20 secs
lola: 218292 markings, 222125 edges, 5594 markings/sec, 25 secs
lola: 241581 markings, 245880 edges, 4658 markings/sec, 30 secs
lola: 264672 markings, 269216 edges, 4618 markings/sec, 35 secs
lola: 287236 markings, 292191 edges, 4513 markings/sec, 40 secs
lola: 310375 markings, 315777 edges, 4628 markings/sec, 45 secs
lola: 330704 markings, 336495 edges, 4066 markings/sec, 50 secs
lola: 353664 markings, 359781 edges, 4592 markings/sec, 55 secs
lola: 376514 markings, 382929 edges, 4570 markings/sec, 60 secs
lola: 399236 markings, 405912 edges, 4544 markings/sec, 65 secs
lola: 420793 markings, 427812 edges, 4311 markings/sec, 70 secs
lola: 442107 markings, 449333 edges, 4263 markings/sec, 75 secs
lola: 466726 markings, 473952 edges, 4924 markings/sec, 80 secs
lola: 491578 markings, 498810 edges, 4970 markings/sec, 85 secs
lola: 516247 markings, 523480 edges, 4934 markings/sec, 90 secs
lola: 541155 markings, 548388 edges, 4982 markings/sec, 95 secs
lola: 565716 markings, 572949 edges, 4912 markings/sec, 100 secs
lola: 589236 markings, 596470 edges, 4704 markings/sec, 105 secs
lola: 613932 markings, 621165 edges, 4939 markings/sec, 110 secs
lola: 638528 markings, 645761 edges, 4919 markings/sec, 115 secs
lola: 662758 markings, 669991 edges, 4846 markings/sec, 120 secs
lola: 687056 markings, 694316 edges, 4860 markings/sec, 125 secs
lola: 710895 markings, 718155 edges, 4768 markings/sec, 130 secs
lola: 734611 markings, 741871 edges, 4743 markings/sec, 135 secs
lola: 758608 markings, 765868 edges, 4799 markings/sec, 140 secs
lola: 782876 markings, 790136 edges, 4854 markings/sec, 145 secs
lola: 806625 markings, 813885 edges, 4750 markings/sec, 150 secs
lola: 830669 markings, 837929 edges, 4809 markings/sec, 155 secs
lola: 855024 markings, 862369 edges, 4871 markings/sec, 160 secs
lola: 879243 markings, 886690 edges, 4844 markings/sec, 165 secs
lola: 903009 markings, 910489 edges, 4753 markings/sec, 170 secs
lola: 926490 markings, 934064 edges, 4696 markings/sec, 175 secs
lola: 950558 markings, 958156 edges, 4814 markings/sec, 180 secs
lola: 974697 markings, 982295 edges, 4828 markings/sec, 185 secs
lola: 998946 markings, 1006575 edges, 4850 markings/sec, 190 secs
lola: 1023110 markings, 1030804 edges, 4833 markings/sec, 195 secs
lola: 1047147 markings, 1054907 edges, 4807 markings/sec, 200 secs
lola: 1071342 markings, 1079160 edges, 4839 markings/sec, 205 secs
lola: 1095524 markings, 1103397 edges, 4836 markings/sec, 210 secs
lola: 1119696 markings, 1127622 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: 74501 markings, 76224 edges, 14900 markings/sec, 0 secs
lola: 132365 markings, 136310 edges, 11573 markings/sec, 5 secs
lola: 190458 markings, 196606 edges, 11619 markings/sec, 10 secs
lola: 248550 markings, 256773 edges, 11618 markings/sec, 15 secs
lola: 306613 markings, 316917 edges, 11613 markings/sec, 20 secs
lola: 364610 markings, 377271 edges, 11599 markings/sec, 25 secs
lola: 422451 markings, 437275 edges, 11568 markings/sec, 30 secs
lola: 480453 markings, 497404 edges, 11600 markings/sec, 35 secs
lola: 538635 markings, 557662 edges, 11636 markings/sec, 40 secs
lola: 595303 markings, 615567 edges, 11334 markings/sec, 45 secs
lola: 648628 markings, 669253 edges, 10665 markings/sec, 50 secs
lola: 701799 markings, 722785 edges, 10634 markings/sec, 55 secs
lola: 754926 markings, 776268 edges, 10625 markings/sec, 60 secs
lola: 809477 markings, 831146 edges, 10910 markings/sec, 65 secs
lola: 863866 markings, 885904 edges, 10878 markings/sec, 70 secs
lola: 917213 markings, 942465 edges, 10669 markings/sec, 75 secs
lola: 969543 markings, 999511 edges, 10466 markings/sec, 80 secs
lola: 1023653 markings, 1057118 edges, 10822 markings/sec, 85 secs
lola: 1077833 markings, 1114722 edges, 10836 markings/sec, 90 secs
lola: 1132257 markings, 1172172 edges, 10885 markings/sec, 95 secs
lola: 1186548 markings, 1229312 edges, 10858 markings/sec, 100 secs
lola: 1239341 markings, 1285858 edges, 10559 markings/sec, 105 secs
lola: 1291097 markings, 1343229 edges, 10351 markings/sec, 110 secs
lola: 1342125 markings, 1400525 edges, 10206 markings/sec, 115 secs
lola: 1393112 markings, 1459131 edges, 10197 markings/sec, 120 secs
lola: 1444131 markings, 1516639 edges, 10204 markings/sec, 125 secs
lola: 1496655 markings, 1572014 edges, 10505 markings/sec, 130 secs
lola: 1550538 markings, 1626718 edges, 10777 markings/sec, 135 secs
lola: 1604363 markings, 1681340 edges, 10765 markings/sec, 140 secs
lola: 1652945 markings, 1730467 edges, 9716 markings/sec, 145 secs
lola: 1688099 markings, 1766412 edges, 7031 markings/sec, 150 secs
lola: 1717155 markings, 1795689 edges, 5811 markings/sec, 155 secs
lola: 1743016 markings, 1821596 edges, 5172 markings/sec, 160 secs
lola: 1765420 markings, 1844334 edges, 4481 markings/sec, 165 secs
lola: 1790228 markings, 1869714 edges, 4962 markings/sec, 170 secs
lola: 1815772 markings, 1895932 edges, 5109 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 224 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: 98649 markings, 99799 edges, 19730 markings/sec, 0 secs
lola: 185339 markings, 186931 edges, 17338 markings/sec, 5 secs
lola: 266872 markings, 268485 edges, 16307 markings/sec, 10 secs
lola: 352859 markings, 354569 edges, 17197 markings/sec, 15 secs
lola: 436077 markings, 437829 edges, 16644 markings/sec, 20 secs
lola: 519207 markings, 521003 edges, 16626 markings/sec, 25 secs
lola: 599656 markings, 601597 edges, 16090 markings/sec, 30 secs
lola: 677640 markings, 679611 edges, 15597 markings/sec, 35 secs
lola: 756697 markings, 759085 edges, 15811 markings/sec, 40 secs
lola: 835060 markings, 837538 edges, 15673 markings/sec, 45 secs
lola: 912366 markings, 914930 edges, 15461 markings/sec, 50 secs
lola: 991826 markings, 994474 edges, 15892 markings/sec, 55 secs
lola: 1069765 markings, 1072572 edges, 15588 markings/sec, 60 secs
lola: 1145664 markings, 1148528 edges, 15180 markings/sec, 65 secs
lola: 1219928 markings, 1222882 edges, 14853 markings/sec, 70 secs
lola: 1293987 markings, 1296942 edges, 14812 markings/sec, 75 secs
lola: 1367517 markings, 1370495 edges, 14706 markings/sec, 80 secs
lola: 1439096 markings, 1442077 edges, 14316 markings/sec, 85 secs
lola: 1507769 markings, 1510750 edges, 13735 markings/sec, 90 secs
lola: 1576831 markings, 1579905 edges, 13812 markings/sec, 95 secs
lola: 1638997 markings, 1642324 edges, 12433 markings/sec, 100 secs
lola: 1706544 markings, 1709988 edges, 13509 markings/sec, 105 secs
lola: 1774936 markings, 1778390 edges, 13678 markings/sec, 110 secs
lola: 1842463 markings, 1845927 edges, 13505 markings/sec, 115 secs
lola: 1910173 markings, 1913648 edges, 13542 markings/sec, 120 secs
lola: 1979137 markings, 1982612 edges, 13793 markings/sec, 125 secs
lola: 2048207 markings, 2051682 edges, 13814 markings/sec, 130 secs
lola: 2116823 markings, 2120298 edges, 13723 markings/sec, 135 secs
lola: 2182850 markings, 2186325 edges, 13205 markings/sec, 140 secs
lola: 2251870 markings, 2255413 edges, 13804 markings/sec, 145 secs
lola: 2320796 markings, 2324422 edges, 13785 markings/sec, 150 secs
lola: 2389017 markings, 2392717 edges, 13644 markings/sec, 155 secs
lola: 2456555 markings, 2460333 edges, 13508 markings/sec, 160 secs
lola: 2524340 markings, 2528198 edges, 13557 markings/sec, 165 secs
lola: 2591867 markings, 2595803 edges, 13505 markings/sec, 170 secs
lola: 2659311 markings, 2663327 edges, 13489 markings/sec, 175 secs
lola: 2726936 markings, 2731031 edges, 13525 markings/sec, 180 secs
lola: 2795367 markings, 2799474 edges, 13686 markings/sec, 185 secs
lola: 2864646 markings, 2868776 edges, 13856 markings/sec, 190 secs
lola: 2933736 markings, 2937945 edges, 13818 markings/sec, 195 secs
lola: 3002585 markings, 3006850 edges, 13770 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: 100302 markings, 101365 edges, 20060 markings/sec, 0 secs
lola: 182325 markings, 183935 edges, 16405 markings/sec, 5 secs
lola: 266861 markings, 268491 edges, 16907 markings/sec, 10 secs
lola: 349169 markings, 350895 edges, 16462 markings/sec, 15 secs
lola: 428492 markings, 430261 edges, 15865 markings/sec, 20 secs
lola: 507475 markings, 509279 edges, 15797 markings/sec, 25 secs
lola: 585555 markings, 587370 edges, 15616 markings/sec, 30 secs
lola: 660515 markings, 662473 edges, 14992 markings/sec, 35 secs
lola: 734905 markings, 737154 edges, 14878 markings/sec, 40 secs
lola: 807534 markings, 809989 edges, 14526 markings/sec, 45 secs
lola: 881602 markings, 884141 edges, 14814 markings/sec, 50 secs
lola: 956026 markings, 958607 edges, 14885 markings/sec, 55 secs
lola: 1030105 markings, 1032866 edges, 14816 markings/sec, 60 secs
lola: 1103315 markings, 1106180 edges, 14642 markings/sec, 65 secs
lola: 1174145 markings, 1177027 edges, 14166 markings/sec, 70 secs
lola: 1244215 markings, 1247187 edges, 14014 markings/sec, 75 secs
lola: 1314575 markings, 1317547 edges, 14072 markings/sec, 80 secs
lola: 1383473 markings, 1386465 edges, 13780 markings/sec, 85 secs
lola: 1451650 markings, 1454648 edges, 13635 markings/sec, 90 secs
lola: 1519396 markings, 1522393 edges, 13549 markings/sec, 95 secs
lola: 1585597 markings, 1588778 edges, 13240 markings/sec, 100 secs
lola: 1650075 markings, 1653452 edges, 12896 markings/sec, 105 secs
lola: 1714120 markings, 1717590 edges, 12809 markings/sec, 110 secs
lola: 1778168 markings, 1781643 edges, 12810 markings/sec, 115 secs
lola: 1842838 markings, 1846323 edges, 12934 markings/sec, 120 secs
lola: 1907221 markings, 1910715 edges, 12877 markings/sec, 125 secs
lola: 1972285 markings, 1975780 edges, 13013 markings/sec, 130 secs
lola: 2037223 markings, 2040718 edges, 12988 markings/sec, 135 secs
lola: 2102253 markings, 2105748 edges, 13006 markings/sec, 140 secs
lola: 2167429 markings, 2170924 edges, 13035 markings/sec, 145 secs
lola: 2232286 markings, 2235818 edges, 12971 markings/sec, 150 secs
lola: 2297127 markings, 2300737 edges, 12968 markings/sec, 155 secs
lola: 2361519 markings, 2365199 edges, 12878 markings/sec, 160 secs
lola: 2424733 markings, 2428486 edges, 12643 markings/sec, 165 secs
lola: 2488809 markings, 2492636 edges, 12815 markings/sec, 170 secs
lola: 2552486 markings, 2556389 edges, 12735 markings/sec, 175 secs
lola: 2616585 markings, 2620563 edges, 12820 markings/sec, 180 secs
lola: 2680535 markings, 2684587 edges, 12790 markings/sec, 185 secs
lola: 2744895 markings, 2748958 edges, 12872 markings/sec, 190 secs
lola: 2809993 markings, 2814083 edges, 13020 markings/sec, 195 secs
lola: 2875005 markings, 2879155 edges, 13002 markings/sec, 200 secs
lola: 2939815 markings, 2944033 edges, 12962 markings/sec, 205 secs
lola: 3003403 markings, 3007699 edges, 12718 markings/sec, 210 secs
lola: 3033458 markings, 3037789 edges, 6011 markings/sec, 215 secs
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(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: 69802 markings, 70701 edges, 13960 markings/sec, 0 secs
lola: 105094 markings, 106625 edges, 7058 markings/sec, 5 secs
lola: 137214 markings, 139191 edges, 6424 markings/sec, 10 secs
lola: 164390 markings, 166632 edges, 5435 markings/sec, 15 secs
lola: 188549 markings, 192484 edges, 4832 markings/sec, 20 secs
lola: 211742 markings, 216181 edges, 4639 markings/sec, 25 secs
lola: 233184 markings, 238130 edges, 4288 markings/sec, 30 secs
lola: 253280 markings, 258912 edges, 4019 markings/sec, 35 secs
lola: 273246 markings, 280445 edges, 3993 markings/sec, 40 secs
lola: 293099 markings, 301540 edges, 3971 markings/sec, 45 secs
lola: 311355 markings, 319821 edges, 3651 markings/sec, 50 secs
lola: 331782 markings, 340370 edges, 4085 markings/sec, 55 secs
lola: 353935 markings, 362555 edges, 4431 markings/sec, 60 secs
lola: 376702 markings, 385372 edges, 4553 markings/sec, 65 secs
lola: 399064 markings, 408267 edges, 4472 markings/sec, 70 secs
lola: 421984 markings, 431237 edges, 4584 markings/sec, 75 secs
lola: 444462 markings, 454010 edges, 4496 markings/sec, 80 secs
lola: 467193 markings, 476875 edges, 4546 markings/sec, 85 secs
lola: 489347 markings, 499423 edges, 4431 markings/sec, 90 secs
lola: 511628 markings, 522252 edges, 4456 markings/sec, 95 secs
lola: 533783 markings, 544618 edges, 4431 markings/sec, 100 secs
lola: 557100 markings, 568098 edges, 4663 markings/sec, 105 secs
lola: 580544 markings, 591834 edges, 4689 markings/sec, 110 secs
lola: 603714 markings, 615457 edges, 4634 markings/sec, 115 secs
lola: 627405 markings, 639213 edges, 4738 markings/sec, 120 secs
lola: 651251 markings, 663354 edges, 4769 markings/sec, 125 secs
lola: 675005 markings, 687473 edges, 4751 markings/sec, 130 secs
lola: 698718 markings, 711565 edges, 4743 markings/sec, 135 secs
lola: 722550 markings, 735614 edges, 4766 markings/sec, 140 secs
lola: 746375 markings, 759481 edges, 4765 markings/sec, 145 secs
lola: 769642 markings, 782788 edges, 4653 markings/sec, 150 secs
lola: 793425 markings, 806609 edges, 4757 markings/sec, 155 secs
lola: 817039 markings, 830272 edges, 4723 markings/sec, 160 secs
lola: 840659 markings, 853943 edges, 4724 markings/sec, 165 secs
lola: 864509 markings, 877847 edges, 4770 markings/sec, 170 secs
lola: 888306 markings, 901698 edges, 4759 markings/sec, 175 secs
lola: 911910 markings, 925354 edges, 4721 markings/sec, 180 secs
lola: 934798 markings, 948292 edges, 4578 markings/sec, 185 secs
lola: 958222 markings, 971780 edges, 4685 markings/sec, 190 secs
lola: 981562 markings, 995182 edges, 4668 markings/sec, 195 secs
lola: 1005419 markings, 1019109 edges, 4771 markings/sec, 200 secs
lola: 1029043 markings, 1042887 edges, 4725 markings/sec, 205 secs
lola: 1052906 markings, 1066894 edges, 4773 markings/sec, 210 secs
lola: 1076001 markings, 1090119 edges, 4619 markings/sec, 215 secs
lola: 1098041 markings, 1112291 edges, 4408 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: 48231 markings, 49574 edges, 9646 markings/sec, 0 secs
lola: 84207 markings, 86245 edges, 7195 markings/sec, 5 secs
lola: 119239 markings, 121782 edges, 7006 markings/sec, 10 secs
lola: 153965 markings, 157141 edges, 6945 markings/sec, 15 secs
lola: 186203 markings, 189902 edges, 6448 markings/sec, 20 secs
lola: 214686 markings, 218519 edges, 5697 markings/sec, 25 secs
lola: 238406 markings, 242658 edges, 4744 markings/sec, 30 secs
lola: 261732 markings, 266234 edges, 4665 markings/sec, 35 secs
lola: 284434 markings, 289333 edges, 4540 markings/sec, 40 secs
lola: 307595 markings, 312957 edges, 4632 markings/sec, 45 secs
lola: 330334 markings, 336120 edges, 4548 markings/sec, 50 secs
lola: 353618 markings, 359735 edges, 4657 markings/sec, 55 secs
lola: 374705 markings, 381098 edges, 4217 markings/sec, 60 secs
lola: 396490 markings, 403144 edges, 4357 markings/sec, 65 secs
lola: 419462 markings, 426453 edges, 4594 markings/sec, 70 secs
lola: 443769 markings, 450995 edges, 4861 markings/sec, 75 secs
lola: 468582 markings, 475808 edges, 4963 markings/sec, 80 secs
lola: 493522 markings, 500755 edges, 4988 markings/sec, 85 secs
lola: 518373 markings, 525606 edges, 4970 markings/sec, 90 secs
lola: 542778 markings, 550011 edges, 4881 markings/sec, 95 secs
lola: 567433 markings, 574666 edges, 4931 markings/sec, 100 secs
lola: 592243 markings, 599476 edges, 4962 markings/sec, 105 secs
lola: 617022 markings, 624255 edges, 4956 markings/sec, 110 secs
lola: 641699 markings, 648932 edges, 4935 markings/sec, 115 secs
lola: 666149 markings, 673386 edges, 4890 markings/sec, 120 secs
lola: 690533 markings, 697793 edges, 4877 markings/sec, 125 secs
lola: 715001 markings, 722261 edges, 4894 markings/sec, 130 secs
lola: 739492 markings, 746752 edges, 4898 markings/sec, 135 secs
lola: 763871 markings, 771131 edges, 4876 markings/sec, 140 secs
lola: 788293 markings, 795553 edges, 4884 markings/sec, 145 secs
lola: 812844 markings, 820104 edges, 4910 markings/sec, 150 secs
lola: 837186 markings, 844446 edges, 4868 markings/sec, 155 secs
lola: 861480 markings, 868861 edges, 4859 markings/sec, 160 secs
lola: 884398 markings, 891852 edges, 4584 markings/sec, 165 secs
lola: 908024 markings, 915544 edges, 4725 markings/sec, 170 secs
lola: 931499 markings, 939080 edges, 4695 markings/sec, 175 secs
lola: 955305 markings, 962903 edges, 4761 markings/sec, 180 secs
lola: 979356 markings, 986954 edges, 4810 markings/sec, 185 secs
lola: 1003335 markings, 1010975 edges, 4796 markings/sec, 190 secs
lola: 1027504 markings, 1035210 edges, 4834 markings/sec, 195 secs
lola: 1051459 markings, 1059231 edges, 4791 markings/sec, 200 secs
lola: 1074855 markings, 1082681 edges, 4679 markings/sec, 205 secs
lola: 1098306 markings, 1106184 edges, 4690 markings/sec, 210 secs
lola: 1122295 markings, 1130229 edges, 4798 markings/sec, 215 secs
lola: 1146308 markings, 1154290 edges, 4803 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: 77433 markings, 78138 edges, 15487 markings/sec, 0 secs
lola: 119483 markings, 120396 edges, 8410 markings/sec, 5 secs
lola: 152125 markings, 153794 edges, 6528 markings/sec, 10 secs
lola: 182105 markings, 184616 edges, 5996 markings/sec, 15 secs
lola: 209590 markings, 214292 edges, 5497 markings/sec, 20 secs
lola: 237185 markings, 244500 edges, 5519 markings/sec, 25 secs
lola: 264498 markings, 274601 edges, 5463 markings/sec, 30 secs
lola: 291691 markings, 304536 edges, 5439 markings/sec, 35 secs
lola: 318992 markings, 334527 edges, 5460 markings/sec, 40 secs
lola: 346287 markings, 364230 edges, 5459 markings/sec, 45 secs
lola: 374253 markings, 392371 edges, 5593 markings/sec, 50 secs
lola: 399614 markings, 417777 edges, 5072 markings/sec, 55 secs
lola: 422153 markings, 440592 edges, 4508 markings/sec, 60 secs
lola: 443821 markings, 462334 edges, 4334 markings/sec, 65 secs
lola: 463698 markings, 482431 edges, 3975 markings/sec, 70 secs
lola: 482873 markings, 501739 edges, 3835 markings/sec, 75 secs
lola: 501230 markings, 520329 edges, 3671 markings/sec, 80 secs
lola: 518821 markings, 538511 edges, 3518 markings/sec, 85 secs
lola: 533206 markings, 553128 edges, 2877 markings/sec, 90 secs
lola: 547425 markings, 567592 edges, 2844 markings/sec, 95 secs
lola: 561127 markings, 582133 edges, 2740 markings/sec, 100 secs
lola: 573949 markings, 596026 edges, 2564 markings/sec, 105 secs
lola: 587486 markings, 609919 edges, 2707 markings/sec, 110 secs
lola: 601148 markings, 623965 edges, 2732 markings/sec, 115 secs
lola: 614701 markings, 637710 edges, 2711 markings/sec, 120 secs
lola: 628039 markings, 651261 edges, 2668 markings/sec, 125 secs
lola: 641546 markings, 665007 edges, 2701 markings/sec, 130 secs
lola: 654822 markings, 678452 edges, 2655 markings/sec, 135 secs
lola: 668489 markings, 692393 edges, 2733 markings/sec, 140 secs
lola: 681875 markings, 706049 edges, 2677 markings/sec, 145 secs
lola: 695482 markings, 719798 edges, 2721 markings/sec, 150 secs
lola: 709081 markings, 733529 edges, 2720 markings/sec, 155 secs
lola: 722123 markings, 746703 edges, 2608 markings/sec, 160 secs
lola: 735711 markings, 760431 edges, 2718 markings/sec, 165 secs
lola: 749253 markings, 774169 edges, 2708 markings/sec, 170 secs
lola: 762114 markings, 787230 edges, 2572 markings/sec, 175 secs
lola: 775610 markings, 800976 edges, 2699 markings/sec, 180 secs
lola: 789124 markings, 814699 edges, 2703 markings/sec, 185 secs
lola: 802667 markings, 828480 edges, 2709 markings/sec, 190 secs
lola: 815734 markings, 841811 edges, 2613 markings/sec, 195 secs
lola: 828862 markings, 855196 edges, 2626 markings/sec, 200 secs
lola: 842273 markings, 868797 edges, 2682 markings/sec, 205 secs
lola: 855934 markings, 882646 edges, 2732 markings/sec, 210 secs
lola: 869521 markings, 896453 edges, 2717 markings/sec, 215 secs
lola: 883053 markings, 910202 edges, 2706 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_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: 41121 markings, 51420 edges, 8224 markings/sec, 0 secs
lola: 76783 markings, 97666 edges, 7132 markings/sec, 5 secs
lola: 109181 markings, 139677 edges, 6480 markings/sec, 10 secs
lola: 144732 markings, 185746 edges, 7110 markings/sec, 15 secs
lola: 188706 markings, 237701 edges, 8795 markings/sec, 20 secs
lola: 237463 markings, 287440 edges, 9751 markings/sec, 25 secs
lola: 269453 markings, 319970 edges, 6398 markings/sec, 30 secs
lola: 299491 markings, 350555 edges, 6008 markings/sec, 35 secs
lola: 329352 markings, 381288 edges, 5972 markings/sec, 40 secs
lola: 358448 markings, 411209 edges, 5819 markings/sec, 45 secs
lola: 387244 markings, 440653 edges, 5759 markings/sec, 50 secs
lola: 414979 markings, 469018 edges, 5547 markings/sec, 55 secs
lola: 442414 markings, 496919 edges, 5487 markings/sec, 60 secs
lola: 470983 markings, 525488 edges, 5714 markings/sec, 65 secs
lola: 501358 markings, 555878 edges, 6075 markings/sec, 70 secs
lola: 531982 markings, 586502 edges, 6125 markings/sec, 75 secs
lola: 563650 markings, 618170 edges, 6334 markings/sec, 80 secs
lola: 595577 markings, 650097 edges, 6385 markings/sec, 85 secs
lola: 626666 markings, 681226 edges, 6218 markings/sec, 90 secs
lola: 656516 markings, 711135 edges, 5970 markings/sec, 95 secs
lola: 687699 markings, 742318 edges, 6237 markings/sec, 100 secs
lola: 719138 markings, 773757 edges, 6288 markings/sec, 105 secs
lola: 749514 markings, 804143 edges, 6075 markings/sec, 110 secs
lola: 779492 markings, 834171 edges, 5996 markings/sec, 115 secs
lola: 810418 markings, 865097 edges, 6185 markings/sec, 120 secs
lola: 841286 markings, 895965 edges, 6174 markings/sec, 125 secs
lola: 871676 markings, 926532 edges, 6078 markings/sec, 130 secs
lola: 902601 markings, 957931 edges, 6185 markings/sec, 135 secs
lola: 932308 markings, 987752 edges, 5941 markings/sec, 140 secs
lola: 960923 markings, 1016582 edges, 5723 markings/sec, 145 secs
lola: 991347 markings, 1047238 edges, 6085 markings/sec, 150 secs
lola: 1021430 markings, 1077503 edges, 6017 markings/sec, 155 secs
lola: 1049947 markings, 1106226 edges, 5703 markings/sec, 160 secs
lola: 1079180 markings, 1135692 edges, 5847 markings/sec, 165 secs
lola: 1108578 markings, 1165217 edges, 5880 markings/sec, 170 secs
lola: 1138934 markings, 1195759 edges, 6071 markings/sec, 175 secs
lola: 1169243 markings, 1226096 edges, 6062 markings/sec, 180 secs
lola: 1199501 markings, 1256384 edges, 6052 markings/sec, 185 secs
lola: 1228837 markings, 1285748 edges, 5867 markings/sec, 190 secs
lola: 1259037 markings, 1315985 edges, 6040 markings/sec, 195 secs
lola: 1289288 markings, 1346283 edges, 6050 markings/sec, 200 secs
lola: 1319429 markings, 1376486 edges, 6028 markings/sec, 205 secs
lola: 1349968 markings, 1407067 edges, 6108 markings/sec, 210 secs
lola: 1380672 markings, 1437874 edges, 6141 markings/sec, 215 secs
lola: 1411554 markings, 1468905 edges, 6176 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: 68947 markings, 69497 edges, 13789 markings/sec, 0 secs
lola: 108628 markings, 109861 edges, 7936 markings/sec, 5 secs
lola: 141458 markings, 143288 edges, 6566 markings/sec, 10 secs
lola: 171871 markings, 173831 edges, 6083 markings/sec, 15 secs
lola: 200722 markings, 202744 edges, 5770 markings/sec, 20 secs
lola: 223404 markings, 225639 edges, 4536 markings/sec, 25 secs
lola: 242664 markings, 245293 edges, 3852 markings/sec, 30 secs
lola: 261927 markings, 264972 edges, 3853 markings/sec, 35 secs
lola: 279964 markings, 283212 edges, 3607 markings/sec, 40 secs
lola: 297139 markings, 300462 edges, 3435 markings/sec, 45 secs
lola: 314480 markings, 318079 edges, 3468 markings/sec, 50 secs
lola: 331883 markings, 335926 edges, 3481 markings/sec, 55 secs
lola: 348821 markings, 353503 edges, 3388 markings/sec, 60 secs
lola: 366172 markings, 371495 edges, 3470 markings/sec, 65 secs
lola: 382436 markings, 388543 edges, 3253 markings/sec, 70 secs
lola: 397409 markings, 404606 edges, 2995 markings/sec, 75 secs
lola: 411538 markings, 419434 edges, 2826 markings/sec, 80 secs
lola: 425674 markings, 433632 edges, 2827 markings/sec, 85 secs
lola: 439342 markings, 447401 edges, 2734 markings/sec, 90 secs
lola: 453512 markings, 461630 edges, 2834 markings/sec, 95 secs
lola: 467727 markings, 476445 edges, 2843 markings/sec, 100 secs
lola: 481130 markings, 491027 edges, 2681 markings/sec, 105 secs
lola: 494419 markings, 505701 edges, 2658 markings/sec, 110 secs
lola: 507481 markings, 520018 edges, 2612 markings/sec, 115 secs
lola: 520829 markings, 533698 edges, 2670 markings/sec, 120 secs
lola: 534197 markings, 547325 edges, 2674 markings/sec, 125 secs
lola: 547609 markings, 560896 edges, 2682 markings/sec, 130 secs
lola: 561034 markings, 574575 edges, 2685 markings/sec, 135 secs
lola: 574454 markings, 588286 edges, 2684 markings/sec, 140 secs
lola: 587880 markings, 602107 edges, 2685 markings/sec, 145 secs
lola: 601258 markings, 615792 edges, 2676 markings/sec, 150 secs
lola: 614636 markings, 629439 edges, 2676 markings/sec, 155 secs
lola: 628071 markings, 643141 edges, 2687 markings/sec, 160 secs
lola: 641564 markings, 656984 edges, 2699 markings/sec, 165 secs
lola: 655076 markings, 670867 edges, 2702 markings/sec, 170 secs
lola: 668574 markings, 684733 edges, 2700 markings/sec, 175 secs
lola: 682046 markings, 698568 edges, 2694 markings/sec, 180 secs
lola: 695475 markings, 712337 edges, 2686 markings/sec, 185 secs
lola: 708904 markings, 726109 edges, 2686 markings/sec, 190 secs
lola: 722324 markings, 739844 edges, 2684 markings/sec, 195 secs
lola: 735868 markings, 753695 edges, 2709 markings/sec, 200 secs
lola: 749492 markings, 767606 edges, 2725 markings/sec, 205 secs
lola: 763593 markings, 781743 edges, 2820 markings/sec, 210 secs
lola: 777735 markings, 795889 edges, 2828 markings/sec, 215 secs
lola: 791865 markings, 810019 edges, 2826 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 227 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: 94498 markings, 95365 edges, 18900 markings/sec, 0 secs
lola: 184243 markings, 185378 edges, 17949 markings/sec, 5 secs
lola: 274173 markings, 275330 edges, 17986 markings/sec, 10 secs
lola: 360279 markings, 361541 edges, 17221 markings/sec, 15 secs
lola: 445052 markings, 446370 edges, 16955 markings/sec, 20 secs
lola: 528877 markings, 530840 edges, 16765 markings/sec, 25 secs
lola: 613481 markings, 615517 edges, 16921 markings/sec, 30 secs
lola: 697542 markings, 699712 edges, 16812 markings/sec, 35 secs
lola: 780124 markings, 782662 edges, 16516 markings/sec, 40 secs
lola: 862809 markings, 865697 edges, 16537 markings/sec, 45 secs
lola: 945727 markings, 949029 edges, 16584 markings/sec, 50 secs
lola: 1027660 markings, 1031155 edges, 16387 markings/sec, 55 secs
lola: 1107258 markings, 1110842 edges, 15920 markings/sec, 60 secs
lola: 1185692 markings, 1189482 edges, 15687 markings/sec, 65 secs
lola: 1264089 markings, 1267909 edges, 15679 markings/sec, 70 secs
lola: 1341086 markings, 1345004 edges, 15399 markings/sec, 75 secs
lola: 1416382 markings, 1420316 edges, 15059 markings/sec, 80 secs
lola: 1489629 markings, 1493595 edges, 14649 markings/sec, 85 secs
lola: 1561860 markings, 1565903 edges, 14446 markings/sec, 90 secs
lola: 1632692 markings, 1636828 edges, 14166 markings/sec, 95 secs
lola: 1703007 markings, 1707274 edges, 14063 markings/sec, 100 secs
lola: 1774872 markings, 1779189 edges, 14373 markings/sec, 105 secs
lola: 1843882 markings, 1848243 edges, 13802 markings/sec, 110 secs
lola: 1913657 markings, 1918100 edges, 13955 markings/sec, 115 secs
lola: 1982124 markings, 1986590 edges, 13693 markings/sec, 120 secs
lola: 2050219 markings, 2054860 edges, 13619 markings/sec, 125 secs
lola: 2118801 markings, 2123538 edges, 13716 markings/sec, 130 secs
lola: 2187425 markings, 2192207 edges, 13725 markings/sec, 135 secs
lola: 2255262 markings, 2260090 edges, 13567 markings/sec, 140 secs
lola: 2323725 markings, 2328649 edges, 13693 markings/sec, 145 secs
lola: 2390622 markings, 2396155 edges, 13379 markings/sec, 150 secs
lola: 2458172 markings, 2464227 edges, 13510 markings/sec, 155 secs
lola: 2525317 markings, 2531415 edges, 13429 markings/sec, 160 secs
lola: 2591707 markings, 2597923 edges, 13278 markings/sec, 165 secs
lola: 2657908 markings, 2664201 edges, 13240 markings/sec, 170 secs
lola: 2726061 markings, 2732441 edges, 13631 markings/sec, 175 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 248 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: 76974 markings, 77160 edges, 15395 markings/sec, 0 secs
lola: 116422 markings, 116681 edges, 7890 markings/sec, 5 secs
lola: 148761 markings, 149758 edges, 6468 markings/sec, 10 secs
lola: 176405 markings, 178200 edges, 5529 markings/sec, 15 secs
lola: 198032 markings, 199898 edges, 4325 markings/sec, 20 secs
lola: 217820 markings, 220361 edges, 3958 markings/sec, 25 secs
lola: 236227 markings, 239062 edges, 3681 markings/sec, 30 secs
lola: 254118 markings, 257044 edges, 3578 markings/sec, 35 secs
lola: 271747 markings, 274783 edges, 3526 markings/sec, 40 secs
lola: 288682 markings, 291777 edges, 3387 markings/sec, 45 secs
lola: 304256 markings, 307701 edges, 3115 markings/sec, 50 secs
lola: 320711 markings, 324322 edges, 3291 markings/sec, 55 secs
lola: 337489 markings, 341100 edges, 3356 markings/sec, 60 secs
lola: 354389 markings, 358000 edges, 3380 markings/sec, 65 secs
lola: 371236 markings, 374847 edges, 3369 markings/sec, 70 secs
lola: 388045 markings, 391730 edges, 3362 markings/sec, 75 secs
lola: 404876 markings, 408561 edges, 3366 markings/sec, 80 secs
lola: 421664 markings, 425376 edges, 3358 markings/sec, 85 secs
lola: 438426 markings, 442143 edges, 3352 markings/sec, 90 secs
lola: 455178 markings, 458922 edges, 3350 markings/sec, 95 secs
lola: 471887 markings, 475675 edges, 3342 markings/sec, 100 secs
lola: 488652 markings, 492464 edges, 3353 markings/sec, 105 secs
lola: 505393 markings, 509205 edges, 3348 markings/sec, 110 secs
lola: 522157 markings, 525969 edges, 3353 markings/sec, 115 secs
lola: 538705 markings, 542517 edges, 3310 markings/sec, 120 secs
lola: 555269 markings, 559081 edges, 3313 markings/sec, 125 secs
lola: 571868 markings, 575680 edges, 3320 markings/sec, 130 secs
lola: 588573 markings, 592385 edges, 3341 markings/sec, 135 secs
lola: 605324 markings, 609136 edges, 3350 markings/sec, 140 secs
lola: 622043 markings, 625855 edges, 3344 markings/sec, 145 secs
lola: 638143 markings, 641955 edges, 3220 markings/sec, 150 secs
lola: 654757 markings, 658583 edges, 3323 markings/sec, 155 secs
lola: 671320 markings, 675150 edges, 3313 markings/sec, 160 secs
lola: 687983 markings, 691813 edges, 3333 markings/sec, 165 secs
lola: 704576 markings, 708406 edges, 3319 markings/sec, 170 secs
lola: 721124 markings, 724954 edges, 3310 markings/sec, 175 secs
lola: 737152 markings, 740982 edges, 3206 markings/sec, 180 secs
lola: 753795 markings, 757625 edges, 3329 markings/sec, 185 secs
lola: 770440 markings, 774270 edges, 3329 markings/sec, 190 secs
lola: 786169 markings, 789999 edges, 3146 markings/sec, 195 secs
lola: 802529 markings, 806380 edges, 3272 markings/sec, 200 secs
lola: 819091 markings, 822944 edges, 3312 markings/sec, 205 secs
lola: 835621 markings, 839511 edges, 3306 markings/sec, 210 secs
lola: 852051 markings, 855940 edges, 3286 markings/sec, 215 secs
lola: 868598 markings, 872513 edges, 3309 markings/sec, 220 secs
lola: 885075 markings, 889004 edges, 3295 markings/sec, 225 secs
lola: 901449 markings, 905405 edges, 3275 markings/sec, 230 secs
lola: 917840 markings, 921795 edges, 3278 markings/sec, 235 secs
lola: 934133 markings, 938088 edges, 3259 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 247 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: 68641 markings, 69394 edges, 13728 markings/sec, 0 secs
lola: 105414 markings, 107451 edges, 7355 markings/sec, 5 secs
lola: 140368 markings, 143076 edges, 6991 markings/sec, 10 secs
lola: 175828 markings, 179796 edges, 7092 markings/sec, 15 secs
lola: 208084 markings, 212580 edges, 6451 markings/sec, 20 secs
lola: 234653 markings, 239425 edges, 5314 markings/sec, 25 secs
lola: 257597 markings, 262453 edges, 4589 markings/sec, 30 secs
lola: 277727 markings, 283097 edges, 4026 markings/sec, 35 secs
lola: 297026 markings, 302486 edges, 3860 markings/sec, 40 secs
lola: 314859 markings, 320718 edges, 3567 markings/sec, 45 secs
lola: 332425 markings, 338952 edges, 3513 markings/sec, 50 secs
lola: 349957 markings, 356984 edges, 3506 markings/sec, 55 secs
lola: 367422 markings, 374767 edges, 3493 markings/sec, 60 secs
lola: 385000 markings, 393358 edges, 3516 markings/sec, 65 secs
lola: 402522 markings, 411950 edges, 3504 markings/sec, 70 secs
lola: 420037 markings, 430316 edges, 3503 markings/sec, 75 secs
lola: 437511 markings, 448615 edges, 3495 markings/sec, 80 secs
lola: 454979 markings, 467033 edges, 3494 markings/sec, 85 secs
lola: 472441 markings, 485446 edges, 3492 markings/sec, 90 secs
lola: 489885 markings, 503842 edges, 3489 markings/sec, 95 secs
lola: 506549 markings, 521205 edges, 3333 markings/sec, 100 secs
lola: 523997 markings, 538993 edges, 3490 markings/sec, 105 secs
lola: 541278 markings, 556646 edges, 3456 markings/sec, 110 secs
lola: 559226 markings, 575363 edges, 3590 markings/sec, 115 secs
lola: 577173 markings, 594156 edges, 3589 markings/sec, 120 secs
lola: 594888 markings, 612755 edges, 3543 markings/sec, 125 secs
lola: 612410 markings, 631092 edges, 3504 markings/sec, 130 secs
lola: 630064 markings, 649609 edges, 3531 markings/sec, 135 secs
lola: 647618 markings, 668043 edges, 3511 markings/sec, 140 secs
lola: 665318 markings, 686614 edges, 3540 markings/sec, 145 secs
lola: 682240 markings, 704110 edges, 3384 markings/sec, 150 secs
lola: 700014 markings, 722418 edges, 3555 markings/sec, 155 secs
lola: 717808 markings, 740751 edges, 3559 markings/sec, 160 secs
lola: 735566 markings, 759032 edges, 3552 markings/sec, 165 secs
lola: 753299 markings, 777276 edges, 3547 markings/sec, 170 secs
lola: 770944 markings, 795239 edges, 3529 markings/sec, 175 secs
lola: 788530 markings, 813331 edges, 3517 markings/sec, 180 secs
lola: 806160 markings, 831435 edges, 3526 markings/sec, 185 secs
lola: 823575 markings, 849213 edges, 3483 markings/sec, 190 secs
lola: 840560 markings, 866487 edges, 3397 markings/sec, 195 secs
lola: 858345 markings, 884509 edges, 3557 markings/sec, 200 secs
lola: 875987 markings, 902398 edges, 3528 markings/sec, 205 secs
lola: 893268 markings, 919862 edges, 3456 markings/sec, 210 secs
lola: 910288 markings, 937180 edges, 3404 markings/sec, 215 secs
lola: 927795 markings, 954987 edges, 3501 markings/sec, 220 secs
lola: 945161 markings, 972645 edges, 3473 markings/sec, 225 secs
lola: 961410 markings, 989124 edges, 3250 markings/sec, 230 secs
lola: 977511 markings, 1005429 edges, 3220 markings/sec, 235 secs
lola: 994413 markings, 1022512 edges, 3380 markings/sec, 240 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA 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 1496350633652
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_HypercubeGrid-PT-C5K3P3B15.tgz
mv S_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 S_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 r118-blw7-149441649700020"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;