About the Execution of LoLA for Kanban-PT-0500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15952.660 | 3540178.00 | 3546030.00 | 689.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 Kanban-PT-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484600128
=====================================================================
--------------------
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 Kanban-PT-0500-UpperBounds-0
FORMULA_NAME Kanban-PT-0500-UpperBounds-1
FORMULA_NAME Kanban-PT-0500-UpperBounds-10
FORMULA_NAME Kanban-PT-0500-UpperBounds-11
FORMULA_NAME Kanban-PT-0500-UpperBounds-12
FORMULA_NAME Kanban-PT-0500-UpperBounds-13
FORMULA_NAME Kanban-PT-0500-UpperBounds-14
FORMULA_NAME Kanban-PT-0500-UpperBounds-15
FORMULA_NAME Kanban-PT-0500-UpperBounds-2
FORMULA_NAME Kanban-PT-0500-UpperBounds-3
FORMULA_NAME Kanban-PT-0500-UpperBounds-4
FORMULA_NAME Kanban-PT-0500-UpperBounds-5
FORMULA_NAME Kanban-PT-0500-UpperBounds-6
FORMULA_NAME Kanban-PT-0500-UpperBounds-7
FORMULA_NAME Kanban-PT-0500-UpperBounds-8
FORMULA_NAME Kanban-PT-0500-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494620462703
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Kanban-PT-0500 @ 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: 32/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 16 places, 16 transitions, 11 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14 transition conflict sets
lola: TASK
lola: reading formula from Kanban-PT-0500-UpperBounds.task
lola: MAX(Pout4) : MAX(Pm2) : MAX(Pout1) : MAX(Pm4) : MAX(P2) : MAX(Pback3) : MAX(Pback1) : MAX(Pback3) : MAX(Pback2) : MAX(Pout1) : MAX(Pout3) : MAX(P2) : MAX(P3) : MAX(Pout1) : MAX(Pout2) : MAX(Pback3)
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(Pout4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4333750 markings, 8020989 edges, 866750 markings/sec, 0 secs
lola: 6604862 markings, 13035090 edges, 454222 markings/sec, 5 secs
lola: 8809081 markings, 17893318 edges, 440844 markings/sec, 10 secs
lola: 11080827 markings, 22899927 edges, 454349 markings/sec, 15 secs
lola: 13069142 markings, 27300106 edges, 397663 markings/sec, 20 secs
lola: 15005386 markings, 31581349 edges, 387249 markings/sec, 25 secs
lola: 17094573 markings, 36203864 edges, 417837 markings/sec, 30 secs
lola: 18960718 markings, 40320316 edges, 373229 markings/sec, 35 secs
lola: 20666126 markings, 44094103 edges, 341082 markings/sec, 40 secs
lola: 22598785 markings, 48345328 edges, 386532 markings/sec, 45 secs
lola: 24408958 markings, 52355209 edges, 362035 markings/sec, 50 secs
lola: 26140341 markings, 56181468 edges, 346277 markings/sec, 55 secs
lola: 28081376 markings, 60448076 edges, 388207 markings/sec, 60 secs
lola: 30017822 markings, 64737096 edges, 387289 markings/sec, 65 secs
lola: 31901717 markings, 68906195 edges, 376779 markings/sec, 70 secs
lola: 33644767 markings, 72752757 edges, 348610 markings/sec, 75 secs
lola: 35571734 markings, 77018149 edges, 385393 markings/sec, 80 secs
lola: 37836178 markings, 82028849 edges, 452889 markings/sec, 85 secs
lola: 39796619 markings, 86347808 edges, 392088 markings/sec, 90 secs
lola: 41515818 markings, 90149871 edges, 343840 markings/sec, 95 secs
lola: 43532982 markings, 94603581 edges, 403433 markings/sec, 100 secs
lola: 45522518 markings, 99012263 edges, 397907 markings/sec, 105 secs
lola: 47239657 markings, 102805151 edges, 343428 markings/sec, 110 secs
lola: 49465893 markings, 107737546 edges, 445247 markings/sec, 115 secs
lola: 51444949 markings, 112110150 edges, 395811 markings/sec, 120 secs
lola: 53353997 markings, 116316804 edges, 381810 markings/sec, 125 secs
lola: 55447331 markings, 120926213 edges, 418667 markings/sec, 130 secs
lola: 57689233 markings, 125906795 edges, 448380 markings/sec, 135 secs
lola: 59531272 markings, 129981686 edges, 368408 markings/sec, 140 secs
lola: 61245055 markings, 133747643 edges, 342757 markings/sec, 145 secs
lola: 63139701 markings, 137964172 edges, 378929 markings/sec, 150 secs
lola: 65159471 markings, 142422475 edges, 403954 markings/sec, 155 secs
lola: 67669871 markings, 147962491 edges, 502080 markings/sec, 160 secs
lola: 69671804 markings, 152420509 edges, 400387 markings/sec, 165 secs
lola: 71740504 markings, 156970117 edges, 413740 markings/sec, 170 secs
lola: 73865483 markings, 161660365 edges, 424996 markings/sec, 175 secs
lola: 75790699 markings, 165947110 edges, 385043 markings/sec, 180 secs
lola: 77954910 markings, 170715998 edges, 432842 markings/sec, 185 secs
lola: 79939969 markings, 175070981 edges, 397012 markings/sec, 190 secs
lola: 81852855 markings, 179342302 edges, 382577 markings/sec, 195 secs
lola: 83743052 markings, 183489771 edges, 378039 markings/sec, 200 secs
lola: 85528550 markings, 187471978 edges, 357100 markings/sec, 205 secs
lola: 87586891 markings, 191986902 edges, 411668 markings/sec, 210 secs
lola: 89649213 markings, 196585784 edges, 412464 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(Pm2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5554857 markings, 8429630 edges, 1110971 markings/sec, 0 secs
lola: 10295596 markings, 16551510 edges, 948148 markings/sec, 5 secs
lola: 13772644 markings, 26572798 edges, 695410 markings/sec, 10 secs
lola: 16400564 markings, 33420416 edges, 525584 markings/sec, 15 secs
lola: 18989861 markings, 40785214 edges, 517859 markings/sec, 20 secs
lola: 21621371 markings, 48280634 edges, 526302 markings/sec, 25 secs
lola: 23646734 markings, 54309554 edges, 405073 markings/sec, 30 secs
lola: 26505112 markings, 62299136 edges, 571676 markings/sec, 35 secs
lola: 28833418 markings, 68552226 edges, 465661 markings/sec, 40 secs
lola: 30941494 markings, 75217176 edges, 421615 markings/sec, 45 secs
lola: 33357308 markings, 82153589 edges, 483163 markings/sec, 50 secs
lola: 35968232 markings, 89152493 edges, 522185 markings/sec, 55 secs
lola: 38483625 markings, 96894582 edges, 503079 markings/sec, 60 secs
lola: 41009965 markings, 102867509 edges, 505268 markings/sec, 65 secs
lola: 42551370 markings, 108124483 edges, 308281 markings/sec, 70 secs
lola: 44782237 markings, 114711860 edges, 446173 markings/sec, 75 secs
lola: 47484396 markings, 121307324 edges, 540432 markings/sec, 80 secs
lola: 49439190 markings, 127150261 edges, 390959 markings/sec, 85 secs
lola: 51510859 markings, 134066631 edges, 414334 markings/sec, 90 secs
lola: 53733989 markings, 139486479 edges, 444626 markings/sec, 95 secs
lola: 55981681 markings, 146203432 edges, 449538 markings/sec, 100 secs
lola: 58643800 markings, 153751232 edges, 532424 markings/sec, 105 secs
lola: 60894384 markings, 159970533 edges, 450117 markings/sec, 110 secs
lola: 63228493 markings, 166998278 edges, 466822 markings/sec, 115 secs
lola: 65515235 markings, 172755585 edges, 457348 markings/sec, 120 secs
lola: 67530006 markings, 179227422 edges, 402954 markings/sec, 125 secs
lola: 70132800 markings, 186748280 edges, 520559 markings/sec, 130 secs
lola: 72517882 markings, 193190071 edges, 477016 markings/sec, 135 secs
lola: 74810184 markings, 199592911 edges, 458460 markings/sec, 140 secs
lola: 77273254 markings, 206766008 edges, 492614 markings/sec, 145 secs
lola: 79399039 markings, 212829423 edges, 425157 markings/sec, 150 secs
lola: 81844264 markings, 219859208 edges, 489045 markings/sec, 155 secs
lola: 84231482 markings, 226010941 edges, 477444 markings/sec, 160 secs
lola: 85980898 markings, 231111350 edges, 349883 markings/sec, 165 secs
lola: 88179420 markings, 238238238 edges, 439704 markings/sec, 170 secs
lola: 90750997 markings, 244328874 edges, 514315 markings/sec, 175 secs
lola: 92423727 markings, 249966608 edges, 334546 markings/sec, 180 secs
lola: 94766960 markings, 256595425 edges, 468647 markings/sec, 185 secs
lola: 97260922 markings, 262677195 edges, 498792 markings/sec, 190 secs
lola: 99194819 markings, 268966673 edges, 386779 markings/sec, 195 secs
lola: 101270470 markings, 275381977 edges, 415130 markings/sec, 200 secs
lola: 103516811 markings, 280965074 edges, 449268 markings/sec, 205 secs
lola: 105528152 markings, 287309359 edges, 402268 markings/sec, 210 secs
lola: 107935187 markings, 294246574 edges, 481407 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(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4788855 markings, 9883011 edges, 957771 markings/sec, 0 secs
lola: 9736101 markings, 20093296 edges, 989449 markings/sec, 5 secs
lola: 14072808 markings, 29044390 edges, 867341 markings/sec, 10 secs
lola: 18713032 markings, 38620925 edges, 928045 markings/sec, 15 secs
lola: 23767448 markings, 49052839 edges, 1010883 markings/sec, 20 secs
lola: 28820575 markings, 59480240 edges, 1010625 markings/sec, 25 secs
lola: 33916928 markings, 69999713 edges, 1019271 markings/sec, 30 secs
lola: 38972852 markings, 80433227 edges, 1011185 markings/sec, 35 secs
lola: 44016530 markings, 90842915 edges, 1008736 markings/sec, 40 secs
lola: 49070222 markings, 101273089 edges, 1010738 markings/sec, 45 secs
lola: 53898367 markings, 111237751 edges, 965629 markings/sec, 50 secs
lola: 58639828 markings, 121023206 edges, 948292 markings/sec, 55 secs
lola: 63735889 markings, 131539384 edges, 1019212 markings/sec, 60 secs
lola: 68654155 markings, 141690724 edges, 983653 markings/sec, 65 secs
lola: 73615743 markings, 151930522 edges, 992318 markings/sec, 70 secs
lola: 78585596 markings, 162186600 edges, 993971 markings/sec, 75 secs
lola: 83494055 markings, 172317173 edges, 981692 markings/sec, 80 secs
lola: 88353758 markings, 182347185 edges, 971941 markings/sec, 85 secs
lola: 93343351 markings, 192643772 edges, 997919 markings/sec, 90 secs
lola: 98267556 markings, 202806432 edges, 984841 markings/sec, 95 secs
lola: 103105473 markings, 212792434 edges, 967583 markings/sec, 100 secs
lola: 108008667 markings, 222910636 edges, 980639 markings/sec, 105 secs
lola: 112840774 markings, 232884946 edges, 966421 markings/sec, 110 secs
lola: 117647240 markings, 242803793 edges, 961293 markings/sec, 115 secs
lola: 122058504 markings, 252073821 edges, 882253 markings/sec, 120 secs
lola: 126285673 markings, 260989985 edges, 845434 markings/sec, 125 secs
lola: 130348487 markings, 269574594 edges, 812563 markings/sec, 130 secs
lola: 134303339 markings, 277956533 edges, 790970 markings/sec, 135 secs
lola: 138096244 markings, 285977586 edges, 758581 markings/sec, 140 secs
lola: 141660033 markings, 293541960 edges, 712758 markings/sec, 145 secs
lola: 145067645 markings, 300793092 edges, 681522 markings/sec, 150 secs
lola: 148997494 markings, 309103568 edges, 785970 markings/sec, 155 secs
lola: 152643081 markings, 316857172 edges, 729117 markings/sec, 160 secs
lola: 156517107 markings, 325034320 edges, 774805 markings/sec, 165 secs
lola: 160099509 markings, 332665396 edges, 716480 markings/sec, 170 secs
lola: 163666537 markings, 340257711 edges, 713406 markings/sec, 175 secs
lola: 167279297 markings, 347947606 edges, 722552 markings/sec, 180 secs
lola: 170545736 markings, 354913650 edges, 653288 markings/sec, 185 secs
lola: 173897354 markings, 362016218 edges, 670324 markings/sec, 190 secs
lola: 177415561 markings, 369521183 edges, 703641 markings/sec, 195 secs
lola: 180849338 markings, 376788044 edges, 686755 markings/sec, 200 secs
lola: 184110046 markings, 383739497 edges, 652142 markings/sec, 205 secs
lola: 187483292 markings, 390926826 edges, 674649 markings/sec, 210 secs
lola: 187612338 markings, 391201576 edges, 25809 markings/sec, 215 secs
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(Pm4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4787846 markings, 7386683 edges, 957569 markings/sec, 0 secs
lola: 6742298 markings, 11886045 edges, 390890 markings/sec, 5 secs
lola: 8162837 markings, 16354842 edges, 284108 markings/sec, 10 secs
lola: 9777709 markings, 20993463 edges, 322974 markings/sec, 15 secs
lola: 11675545 markings, 25131408 edges, 379567 markings/sec, 20 secs
lola: 12987952 markings, 29397831 edges, 262481 markings/sec, 25 secs
lola: 14435276 markings, 33689867 edges, 289465 markings/sec, 30 secs
lola: 16373009 markings, 37918176 edges, 387547 markings/sec, 35 secs
lola: 17669413 markings, 42136253 edges, 259281 markings/sec, 40 secs
lola: 19077725 markings, 46405831 edges, 281662 markings/sec, 45 secs
lola: 21110000 markings, 50812996 edges, 406455 markings/sec, 50 secs
lola: 22408104 markings, 55039070 edges, 259621 markings/sec, 55 secs
lola: 23868822 markings, 59328007 edges, 292144 markings/sec, 60 secs
lola: 25804706 markings, 63585500 edges, 387177 markings/sec, 65 secs
lola: 27064875 markings, 67683338 edges, 252034 markings/sec, 70 secs
lola: 28505592 markings, 72077889 edges, 288143 markings/sec, 75 secs
lola: 30567220 markings, 76539363 edges, 412326 markings/sec, 80 secs
lola: 31880663 markings, 80814029 edges, 262689 markings/sec, 85 secs
lola: 33311870 markings, 85038141 edges, 286241 markings/sec, 90 secs
lola: 35163856 markings, 88986599 edges, 370397 markings/sec, 95 secs
lola: 36536994 markings, 93455042 edges, 274628 markings/sec, 100 secs
lola: 37911359 markings, 97771002 edges, 274873 markings/sec, 105 secs
lola: 40075646 markings, 102407466 edges, 432857 markings/sec, 110 secs
lola: 41423776 markings, 106790413 edges, 269626 markings/sec, 115 secs
lola: 43129955 markings, 111399340 edges, 341236 markings/sec, 120 secs
lola: 45054846 markings, 116093828 edges, 384978 markings/sec, 125 secs
lola: 46445908 markings, 120622309 edges, 278212 markings/sec, 130 secs
lola: 48471000 markings, 125349640 edges, 405018 markings/sec, 135 secs
lola: 50092014 markings, 129897022 edges, 324203 markings/sec, 140 secs
lola: 51506998 markings, 134512552 edges, 282997 markings/sec, 145 secs
lola: 53726146 markings, 139204699 edges, 443830 markings/sec, 150 secs
lola: 55132888 markings, 143784786 edges, 281348 markings/sec, 155 secs
lola: 56526289 markings, 148320055 edges, 278680 markings/sec, 160 secs
lola: 58784677 markings, 153054961 edges, 451678 markings/sec, 165 secs
lola: 60157994 markings, 157525223 edges, 274663 markings/sec, 170 secs
lola: 61533433 markings, 162004313 edges, 275088 markings/sec, 175 secs
lola: 63766940 markings, 166741635 edges, 446701 markings/sec, 180 secs
lola: 65151299 markings, 171253875 edges, 276872 markings/sec, 185 secs
lola: 66584258 markings, 175805141 edges, 286592 markings/sec, 190 secs
lola: 68705946 markings, 180197192 edges, 424338 markings/sec, 195 secs
lola: 70047203 markings, 184556817 edges, 268251 markings/sec, 200 secs
lola: 71566410 markings, 189208950 edges, 303841 markings/sec, 205 secs
lola: 73727243 markings, 193998654 edges, 432167 markings/sec, 210 secs
lola: 75071954 markings, 198367300 edges, 268942 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(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7904135 markings, 10374262 edges, 1580827 markings/sec, 0 secs
lola: 12055059 markings, 17217249 edges, 830185 markings/sec, 5 secs
lola: 15668647 markings, 23202619 edges, 722718 markings/sec, 10 secs
lola: 19166400 markings, 29029416 edges, 699551 markings/sec, 15 secs
lola: 22548516 markings, 34652086 edges, 676423 markings/sec, 20 secs
lola: 25944496 markings, 40273706 edges, 679196 markings/sec, 25 secs
lola: 29272067 markings, 45809059 edges, 665514 markings/sec, 30 secs
lola: 32560500 markings, 51270326 edges, 657687 markings/sec, 35 secs
lola: 35838730 markings, 56723306 edges, 655646 markings/sec, 40 secs
lola: 39057069 markings, 62070268 edges, 643668 markings/sec, 45 secs
lola: 42218309 markings, 67368581 edges, 632248 markings/sec, 50 secs
lola: 45230444 markings, 72365612 edges, 602427 markings/sec, 55 secs
lola: 48309806 markings, 77457850 edges, 615872 markings/sec, 60 secs
lola: 51194974 markings, 82326933 edges, 577034 markings/sec, 65 secs
lola: 54363448 markings, 87524359 edges, 633695 markings/sec, 70 secs
lola: 57452354 markings, 92737117 edges, 617781 markings/sec, 75 secs
lola: 60377588 markings, 97606717 edges, 585047 markings/sec, 80 secs
lola: 63397192 markings, 102636349 edges, 603921 markings/sec, 85 secs
lola: 66464966 markings, 107736034 edges, 613555 markings/sec, 90 secs
lola: 69521007 markings, 112789007 edges, 611208 markings/sec, 95 secs
lola: 72547159 markings, 117792156 edges, 605230 markings/sec, 100 secs
lola: 75469852 markings, 122746997 edges, 584539 markings/sec, 105 secs
lola: 78604915 markings, 127888666 edges, 627013 markings/sec, 110 secs
lola: 81649447 markings, 133019074 edges, 608906 markings/sec, 115 secs
lola: 84647190 markings, 137916207 edges, 599549 markings/sec, 120 secs
lola: 87587661 markings, 142871467 edges, 588094 markings/sec, 125 secs
lola: 90659236 markings, 148034640 edges, 614315 markings/sec, 130 secs
lola: 93508632 markings, 152770321 edges, 569879 markings/sec, 135 secs
lola: 96641187 markings, 157913096 edges, 626511 markings/sec, 140 secs
lola: 99540400 markings, 162744376 edges, 579843 markings/sec, 145 secs
lola: 102577998 markings, 167782103 edges, 607520 markings/sec, 150 secs
lola: 105427113 markings, 172570512 edges, 569823 markings/sec, 155 secs
lola: 108483153 markings, 177660342 edges, 611208 markings/sec, 160 secs
lola: 111252879 markings, 182330546 edges, 553945 markings/sec, 165 secs
lola: 114364915 markings, 187501873 edges, 622407 markings/sec, 170 secs
lola: 117272694 markings, 192262701 edges, 581556 markings/sec, 175 secs
lola: 120165604 markings, 197094242 edges, 578582 markings/sec, 180 secs
lola: 123178082 markings, 202185719 edges, 602496 markings/sec, 185 secs
lola: 126046696 markings, 206880288 edges, 573723 markings/sec, 190 secs
lola: 128895900 markings, 211664774 edges, 569841 markings/sec, 195 secs
lola: 131924316 markings, 216735806 edges, 605683 markings/sec, 200 secs
lola: 134860177 markings, 221523645 edges, 587172 markings/sec, 205 secs
lola: 137610247 markings, 226181205 edges, 550014 markings/sec, 210 secs
lola: 140540356 markings, 231024419 edges, 586022 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(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5996450 markings, 10778086 edges, 1199290 markings/sec, 0 secs
lola: 10779311 markings, 20385400 edges, 956572 markings/sec, 5 secs
lola: 14902121 markings, 29562041 edges, 824562 markings/sec, 10 secs
lola: 18844288 markings, 38412839 edges, 788433 markings/sec, 15 secs
lola: 22638818 markings, 46872206 edges, 758906 markings/sec, 20 secs
lola: 26380516 markings, 55189353 edges, 748340 markings/sec, 25 secs
lola: 30181701 markings, 63666724 edges, 760237 markings/sec, 30 secs
lola: 33843240 markings, 71821283 edges, 732308 markings/sec, 35 secs
lola: 37260179 markings, 79772678 edges, 683388 markings/sec, 40 secs
lola: 40455869 markings, 87325737 edges, 639138 markings/sec, 45 secs
lola: 44210158 markings, 95885089 edges, 750858 markings/sec, 50 secs
lola: 47819625 markings, 104013159 edges, 721893 markings/sec, 55 secs
lola: 51480815 markings, 112118732 edges, 732238 markings/sec, 60 secs
lola: 55011304 markings, 119879499 edges, 706098 markings/sec, 65 secs
lola: 58577595 markings, 127733466 edges, 713258 markings/sec, 70 secs
lola: 62158365 markings, 135625793 edges, 716154 markings/sec, 75 secs
lola: 65456232 markings, 143138379 edges, 659573 markings/sec, 80 secs
lola: 68520612 markings, 150455091 edges, 612876 markings/sec, 85 secs
lola: 71725132 markings, 157779389 edges, 640904 markings/sec, 90 secs
lola: 75534415 markings, 166276514 edges, 761857 markings/sec, 95 secs
lola: 79216148 markings, 174438257 edges, 736347 markings/sec, 100 secs
lola: 82881089 markings, 182552311 edges, 732988 markings/sec, 105 secs
lola: 86425414 markings, 190347662 edges, 708865 markings/sec, 110 secs
lola: 89918486 markings, 198011084 edges, 698614 markings/sec, 115 secs
lola: 93249257 markings, 205778249 edges, 666154 markings/sec, 120 secs
lola: 96288639 markings, 213049822 edges, 607876 markings/sec, 125 secs
lola: 99645978 markings, 220588131 edges, 671468 markings/sec, 130 secs
lola: 102997594 markings, 227875579 edges, 670323 markings/sec, 135 secs
lola: 106496372 markings, 235548815 edges, 699756 markings/sec, 140 secs
lola: 110053838 markings, 243380933 edges, 711493 markings/sec, 145 secs
lola: 113217452 markings, 250729733 edges, 632723 markings/sec, 150 secs
lola: 116186995 markings, 257854919 edges, 593909 markings/sec, 155 secs
lola: 119446041 markings, 265072300 edges, 651809 markings/sec, 160 secs
lola: 122853085 markings, 272505196 edges, 681409 markings/sec, 165 secs
lola: 126229256 markings, 279855101 edges, 675234 markings/sec, 170 secs
lola: 129275484 markings, 286841523 edges, 609246 markings/sec, 175 secs
lola: 132115808 markings, 293650880 edges, 568065 markings/sec, 180 secs
lola: 135287549 markings, 300664099 edges, 634348 markings/sec, 185 secs
lola: 139017036 markings, 308950275 edges, 745897 markings/sec, 190 secs
lola: 142775213 markings, 317312330 edges, 751635 markings/sec, 195 secs
lola: 146437845 markings, 325422953 edges, 732526 markings/sec, 200 secs
lola: 150010077 markings, 333291741 edges, 714446 markings/sec, 205 secs
lola: 153230280 markings, 340770784 edges, 644041 markings/sec, 210 secs
lola: 156562108 markings, 348569103 edges, 666366 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(Pback1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 4798023 markings, 9974903 edges, 959605 markings/sec, 0 secs
lola: 9178579 markings, 19167621 edges, 876111 markings/sec, 5 secs
lola: 13216829 markings, 27705332 edges, 807650 markings/sec, 10 secs
lola: 17456850 markings, 36602874 edges, 848004 markings/sec, 15 secs
lola: 21268338 markings, 44701398 edges, 762298 markings/sec, 20 secs
lola: 25035465 markings, 52699562 edges, 753425 markings/sec, 25 secs
lola: 28804870 markings, 60693751 edges, 753881 markings/sec, 30 secs
lola: 32472575 markings, 68491518 edges, 733541 markings/sec, 35 secs
lola: 36146197 markings, 76304211 edges, 734724 markings/sec, 40 secs
lola: 40275337 markings, 84981673 edges, 825828 markings/sec, 45 secs
lola: 44256059 markings, 93373870 edges, 796144 markings/sec, 50 secs
lola: 47806365 markings, 100937566 edges, 710061 markings/sec, 55 secs
lola: 51357228 markings, 108500754 edges, 710173 markings/sec, 60 secs
lola: 54924926 markings, 116090359 edges, 713540 markings/sec, 65 secs
lola: 58653751 markings, 123997829 edges, 745765 markings/sec, 70 secs
lola: 62535892 markings, 132197158 edges, 776428 markings/sec, 75 secs
lola: 66044760 markings, 139674049 edges, 701774 markings/sec, 80 secs
lola: 69595336 markings, 147226945 edges, 710115 markings/sec, 85 secs
lola: 73027384 markings, 154552129 edges, 686410 markings/sec, 90 secs
lola: 76504063 markings, 161960078 edges, 695336 markings/sec, 95 secs
lola: 79925438 markings, 169262589 edges, 684275 markings/sec, 100 secs
lola: 83378921 markings, 176630988 edges, 690697 markings/sec, 105 secs
lola: 87342179 markings, 184987022 edges, 792652 markings/sec, 110 secs
lola: 90693641 markings, 192143017 edges, 670292 markings/sec, 115 secs
lola: 94038636 markings, 199288680 edges, 668999 markings/sec, 120 secs
lola: 97445378 markings, 206557322 edges, 681348 markings/sec, 125 secs
lola: 101801139 markings, 215679711 edges, 871152 markings/sec, 130 secs
lola: 105566137 markings, 223643061 edges, 753000 markings/sec, 135 secs
lola: 108997426 markings, 230962445 edges, 686258 markings/sec, 140 secs
lola: 112417871 markings, 238266601 edges, 684089 markings/sec, 145 secs
lola: 115743357 markings, 245374534 edges, 665097 markings/sec, 150 secs
lola: 119201351 markings, 252748260 edges, 691599 markings/sec, 155 secs
lola: 122593116 markings, 259986609 edges, 678353 markings/sec, 160 secs
lola: 125930856 markings, 267115367 edges, 667548 markings/sec, 165 secs
lola: 129428705 markings, 274570447 edges, 699570 markings/sec, 170 secs
lola: 132749962 markings, 281668570 edges, 664251 markings/sec, 175 secs
lola: 136212436 markings, 289052815 edges, 692495 markings/sec, 180 secs
lola: 139892543 markings, 296871096 edges, 736021 markings/sec, 185 secs
lola: 143292955 markings, 304123820 edges, 680082 markings/sec, 190 secs
lola: 146636876 markings, 311267630 edges, 668784 markings/sec, 195 secs
lola: 149995580 markings, 318452809 edges, 671741 markings/sec, 200 secs
lola: 153301723 markings, 325526020 edges, 661229 markings/sec, 205 secs
lola: 156625842 markings, 332626131 edges, 664824 markings/sec, 210 secs
lola: 160375845 markings, 340575227 edges, 750001 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6044150 markings, 10864007 edges, 1208830 markings/sec, 0 secs
lola: 10849973 markings, 20564190 edges, 961165 markings/sec, 5 secs
lola: 15000828 markings, 29823549 edges, 830171 markings/sec, 10 secs
lola: 18973005 markings, 38753017 edges, 794435 markings/sec, 15 secs
lola: 22791665 markings, 47276473 edges, 763732 markings/sec, 20 secs
lola: 26583985 markings, 55727846 edges, 758464 markings/sec, 25 secs
lola: 30393476 markings, 64227257 edges, 761898 markings/sec, 30 secs
lola: 34103864 markings, 72463560 edges, 742078 markings/sec, 35 secs
lola: 37707545 markings, 80578681 edges, 720736 markings/sec, 40 secs
lola: 40999001 markings, 88304151 edges, 658291 markings/sec, 45 secs
lola: 44791440 markings, 96932214 edges, 758488 markings/sec, 50 secs
lola: 48284103 markings, 105020067 edges, 698533 markings/sec, 55 secs
lola: 51891786 markings, 113208226 edges, 721537 markings/sec, 60 secs
lola: 55436928 markings, 121005403 edges, 709028 markings/sec, 65 secs
lola: 59062685 markings, 129017675 edges, 725151 markings/sec, 70 secs
lola: 62641306 markings, 136904030 edges, 715724 markings/sec, 75 secs
lola: 66160685 markings, 144634111 edges, 703876 markings/sec, 80 secs
lola: 69501731 markings, 152222193 edges, 668209 markings/sec, 85 secs
lola: 72547804 markings, 159505781 edges, 609215 markings/sec, 90 secs
lola: 76305192 markings, 168070517 edges, 751478 markings/sec, 95 secs
lola: 79927959 markings, 176255229 edges, 724553 markings/sec, 100 secs
lola: 83609650 markings, 184480670 edges, 736338 markings/sec, 105 secs
lola: 87172217 markings, 192326911 edges, 712513 markings/sec, 110 secs
lola: 90766180 markings, 200254369 edges, 718793 markings/sec, 115 secs
lola: 94333191 markings, 208110977 edges, 713402 markings/sec, 120 secs
lola: 97771347 markings, 215720328 edges, 687631 markings/sec, 125 secs
lola: 100798971 markings, 222970869 edges, 605525 markings/sec, 130 secs
lola: 103893331 markings, 230160542 edges, 618872 markings/sec, 135 secs
lola: 107516334 markings, 238250501 edges, 724601 markings/sec, 140 secs
lola: 111029178 markings, 245963800 edges, 702569 markings/sec, 145 secs
lola: 114506647 markings, 253583250 edges, 695494 markings/sec, 150 secs
lola: 117937794 markings, 261080347 edges, 686229 markings/sec, 155 secs
lola: 120855423 markings, 268081244 edges, 583526 markings/sec, 160 secs
lola: 124035105 markings, 275444595 edges, 635936 markings/sec, 165 secs
lola: 127295500 markings, 282678514 edges, 652079 markings/sec, 170 secs
lola: 130623439 markings, 289902357 edges, 665588 markings/sec, 175 secs
lola: 133925991 markings, 297059571 edges, 660510 markings/sec, 180 secs
lola: 136860389 markings, 304097426 edges, 586880 markings/sec, 185 secs
lola: 140667612 markings, 312752141 edges, 761445 markings/sec, 190 secs
lola: 144197363 markings, 320854480 edges, 705950 markings/sec, 195 secs
lola: 147828535 markings, 328984701 edges, 726234 markings/sec, 200 secs
lola: 151280883 markings, 336656997 edges, 690470 markings/sec, 205 secs
lola: 154904715 markings, 344663086 edges, 724766 markings/sec, 210 secs
lola: 158477488 markings, 352535795 edges, 714555 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5949606 markings, 10791346 edges, 1189921 markings/sec, 0 secs
lola: 10299841 markings, 20562778 edges, 870047 markings/sec, 5 secs
lola: 14621876 markings, 30266371 edges, 864407 markings/sec, 10 secs
lola: 18644471 markings, 39572321 edges, 804519 markings/sec, 15 secs
lola: 22517809 markings, 48452630 edges, 774668 markings/sec, 20 secs
lola: 26312550 markings, 57048730 edges, 758948 markings/sec, 25 secs
lola: 30175965 markings, 65763534 edges, 772683 markings/sec, 30 secs
lola: 33932925 markings, 74378471 edges, 751392 markings/sec, 35 secs
lola: 37429210 markings, 82370512 edges, 699257 markings/sec, 40 secs
lola: 41035183 markings, 90477867 edges, 721195 markings/sec, 45 secs
lola: 44689749 markings, 98680217 edges, 730913 markings/sec, 50 secs
lola: 48048705 markings, 106281735 edges, 671791 markings/sec, 55 secs
lola: 51644071 markings, 114286215 edges, 719073 markings/sec, 60 secs
lola: 55533243 markings, 123217541 edges, 777834 markings/sec, 65 secs
lola: 59125269 markings, 131484078 edges, 718405 markings/sec, 70 secs
lola: 62601374 markings, 139420223 edges, 695221 markings/sec, 75 secs
lola: 66108826 markings, 147322411 edges, 701490 markings/sec, 80 secs
lola: 69733792 markings, 155356031 edges, 724993 markings/sec, 85 secs
lola: 72927396 markings, 162690107 edges, 638721 markings/sec, 90 secs
lola: 75986362 markings, 169895054 edges, 611793 markings/sec, 95 secs
lola: 79467566 markings, 177875913 edges, 696241 markings/sec, 100 secs
lola: 83418887 markings, 186758873 edges, 790264 markings/sec, 105 secs
lola: 86942639 markings, 194801066 edges, 704750 markings/sec, 110 secs
lola: 90222781 markings, 202404265 edges, 656028 markings/sec, 115 secs
lola: 93390627 markings, 209805189 edges, 633569 markings/sec, 120 secs
lola: 96637642 markings, 217331109 edges, 649403 markings/sec, 125 secs
lola: 100081014 markings, 225183799 edges, 688674 markings/sec, 130 secs
lola: 103332802 markings, 232453484 edges, 650358 markings/sec, 135 secs
lola: 106527009 markings, 239585915 edges, 638841 markings/sec, 140 secs
lola: 109785855 markings, 246902543 edges, 651769 markings/sec, 145 secs
lola: 113064534 markings, 254277813 edges, 655736 markings/sec, 150 secs
lola: 116614637 markings, 262137580 edges, 710021 markings/sec, 155 secs
lola: 120384561 markings, 270728350 edges, 753985 markings/sec, 160 secs
lola: 123833248 markings, 278585684 edges, 689737 markings/sec, 165 secs
lola: 127152552 markings, 286077129 edges, 663861 markings/sec, 170 secs
lola: 130185196 markings, 293194374 edges, 606529 markings/sec, 175 secs
lola: 133263142 markings, 300433661 edges, 615589 markings/sec, 180 secs
lola: 136328471 markings, 307628823 edges, 613066 markings/sec, 185 secs
lola: 139552834 markings, 315069937 edges, 644873 markings/sec, 190 secs
lola: 142726663 markings, 322108890 edges, 634766 markings/sec, 195 secs
lola: 145852416 markings, 329046680 edges, 625151 markings/sec, 200 secs
lola: 148974460 markings, 335975569 edges, 624409 markings/sec, 205 secs
lola: 152076399 markings, 342873248 edges, 620388 markings/sec, 210 secs
lola: 154782207 markings, 349441705 edges, 541162 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5078020 markings, 10480479 edges, 1015604 markings/sec, 0 secs
lola: 10236781 markings, 21126812 edges, 1031752 markings/sec, 5 secs
lola: 15358189 markings, 31696988 edges, 1024282 markings/sec, 10 secs
lola: 20443373 markings, 42192994 edges, 1017037 markings/sec, 15 secs
lola: 25508920 markings, 52646372 edges, 1013109 markings/sec, 20 secs
lola: 30599357 markings, 63152574 edges, 1018087 markings/sec, 25 secs
lola: 35676648 markings, 73630679 edges, 1015458 markings/sec, 30 secs
lola: 40715169 markings, 84029379 edges, 1007704 markings/sec, 35 secs
lola: 45739319 markings, 94397866 edges, 1004830 markings/sec, 40 secs
lola: 50739347 markings, 104717004 edges, 1000006 markings/sec, 45 secs
lola: 55716489 markings, 114988956 edges, 995428 markings/sec, 50 secs
lola: 60744690 markings, 125366812 edges, 1005640 markings/sec, 55 secs
lola: 65736580 markings, 135669181 edges, 998378 markings/sec, 60 secs
lola: 70722405 markings, 145958099 edges, 997165 markings/sec, 65 secs
lola: 75688464 markings, 156207731 edges, 993212 markings/sec, 70 secs
lola: 80593828 markings, 166331987 edges, 981073 markings/sec, 75 secs
lola: 85505585 markings, 176469747 edges, 982351 markings/sec, 80 secs
lola: 90438714 markings, 186650121 edges, 986626 markings/sec, 85 secs
lola: 95364370 markings, 196815779 edges, 985131 markings/sec, 90 secs
lola: 100273953 markings, 206948269 edges, 981917 markings/sec, 95 secs
lola: 105153276 markings, 217017757 edges, 975865 markings/sec, 100 secs
lola: 110014796 markings, 227052769 edges, 972304 markings/sec, 105 secs
lola: 114872010 markings, 237075310 edges, 971443 markings/sec, 110 secs
lola: 119590229 markings, 246869302 edges, 943644 markings/sec, 115 secs
lola: 123923839 markings, 256001715 edges, 866722 markings/sec, 120 secs
lola: 128102352 markings, 264814571 edges, 835703 markings/sec, 125 secs
lola: 132087077 markings, 273262459 edges, 796945 markings/sec, 130 secs
lola: 136131382 markings, 281807771 edges, 808861 markings/sec, 135 secs
lola: 139953132 markings, 289923883 edges, 764350 markings/sec, 140 secs
lola: 143727601 markings, 297942598 edges, 754894 markings/sec, 145 secs
lola: 147639308 markings, 306221038 edges, 782341 markings/sec, 150 secs
lola: 151318047 markings, 314043023 edges, 735748 markings/sec, 155 secs
lola: 155243169 markings, 322336712 edges, 785024 markings/sec, 160 secs
lola: 158900401 markings, 330108190 edges, 731446 markings/sec, 165 secs
lola: 162485513 markings, 337740496 edges, 717022 markings/sec, 170 secs
lola: 166076242 markings, 345386184 edges, 718146 markings/sec, 175 secs
lola: 169594356 markings, 352884816 edges, 703623 markings/sec, 180 secs
lola: 173300208 markings, 360742818 edges, 741170 markings/sec, 185 secs
lola: 176850669 markings, 368316998 edges, 710092 markings/sec, 190 secs
lola: 180671153 markings, 376412312 edges, 764097 markings/sec, 195 secs
lola: 184229458 markings, 383995373 edges, 711661 markings/sec, 200 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5988128 markings, 11023630 edges, 1197626 markings/sec, 0 secs
lola: 10550701 markings, 21230896 edges, 912515 markings/sec, 5 secs
lola: 14817114 markings, 30931160 edges, 853283 markings/sec, 10 secs
lola: 18900306 markings, 40312241 edges, 816638 markings/sec, 15 secs
lola: 22871854 markings, 49392737 edges, 794310 markings/sec, 20 secs
lola: 26725617 markings, 58232173 edges, 770753 markings/sec, 25 secs
lola: 30681671 markings, 67208832 edges, 791211 markings/sec, 30 secs
lola: 34354286 markings, 75591034 edges, 734523 markings/sec, 35 secs
lola: 37887014 markings, 83689989 edges, 706546 markings/sec, 40 secs
lola: 41624565 markings, 92043677 edges, 747510 markings/sec, 45 secs
lola: 45149594 markings, 100001422 edges, 705006 markings/sec, 50 secs
lola: 48541351 markings, 107695463 edges, 678351 markings/sec, 55 secs
lola: 52378422 markings, 116382440 edges, 767414 markings/sec, 60 secs
lola: 56200510 markings, 125134177 edges, 764418 markings/sec, 65 secs
lola: 59844492 markings, 133549476 edges, 728796 markings/sec, 70 secs
lola: 63350944 markings, 141571605 edges, 701290 markings/sec, 75 secs
lola: 67091946 markings, 149933444 edges, 748200 markings/sec, 80 secs
lola: 70594339 markings, 157819864 edges, 700479 markings/sec, 85 secs
lola: 73967029 markings, 165463248 edges, 674538 markings/sec, 90 secs
lola: 77434104 markings, 173372960 edges, 693415 markings/sec, 95 secs
lola: 81223743 markings, 181943856 edges, 757928 markings/sec, 100 secs
lola: 84942972 markings, 190374606 edges, 743846 markings/sec, 105 secs
lola: 88451555 markings, 198404311 edges, 701717 markings/sec, 110 secs
lola: 91866993 markings, 206167742 edges, 683088 markings/sec, 115 secs
lola: 95280568 markings, 213927159 edges, 682715 markings/sec, 120 secs
lola: 98806429 markings, 221821953 edges, 705172 markings/sec, 125 secs
lola: 102305633 markings, 229544697 edges, 699841 markings/sec, 130 secs
lola: 105499548 markings, 236763023 edges, 638783 markings/sec, 135 secs
lola: 108448454 markings, 243768481 edges, 589781 markings/sec, 140 secs
lola: 111533084 markings, 251018574 edges, 616926 markings/sec, 145 secs
lola: 114771455 markings, 258528760 edges, 647674 markings/sec, 150 secs
lola: 118722940 markings, 267439261 edges, 790297 markings/sec, 155 secs
lola: 122281097 markings, 275542676 edges, 711631 markings/sec, 160 secs
lola: 125705088 markings, 283404452 edges, 684798 markings/sec, 165 secs
lola: 128935963 markings, 290918502 edges, 646175 markings/sec, 170 secs
lola: 132267065 markings, 298612562 edges, 666220 markings/sec, 175 secs
lola: 135541546 markings, 306065646 edges, 654896 markings/sec, 180 secs
lola: 139121742 markings, 313940468 edges, 716039 markings/sec, 185 secs
lola: 142463089 markings, 321380706 edges, 668269 markings/sec, 190 secs
lola: 145689209 markings, 328607067 edges, 645224 markings/sec, 195 secs
lola: 148909651 markings, 335815372 edges, 644088 markings/sec, 200 secs
lola: 152121191 markings, 342998254 edges, 642308 markings/sec, 205 secs
lola: 155158977 markings, 350090987 edges, 607557 markings/sec, 210 secs
lola: 158321301 markings, 357461363 edges, 632465 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7918434 markings, 10392883 edges, 1583687 markings/sec, 0 secs
lola: 12022177 markings, 17154921 edges, 820749 markings/sec, 5 secs
lola: 15634830 markings, 23136688 edges, 722531 markings/sec, 10 secs
lola: 19102829 markings, 28905476 edges, 693600 markings/sec, 15 secs
lola: 22459430 markings, 34505150 edges, 671320 markings/sec, 20 secs
lola: 25808696 markings, 40084737 edges, 669853 markings/sec, 25 secs
lola: 29196000 markings, 45660739 edges, 677461 markings/sec, 30 secs
lola: 32386860 markings, 51028979 edges, 638172 markings/sec, 35 secs
lola: 35679785 markings, 56464860 edges, 658585 markings/sec, 40 secs
lola: 38848607 markings, 61780694 edges, 633764 markings/sec, 45 secs
lola: 42110029 markings, 67157342 edges, 652284 markings/sec, 50 secs
lola: 45295035 markings, 72491591 edges, 637001 markings/sec, 55 secs
lola: 48410275 markings, 77654101 edges, 623048 markings/sec, 60 secs
lola: 51568391 markings, 82875360 edges, 631623 markings/sec, 65 secs
lola: 54697650 markings, 88170768 edges, 625852 markings/sec, 70 secs
lola: 57822544 markings, 93295517 edges, 624979 markings/sec, 75 secs
lola: 60903326 markings, 98420064 edges, 616156 markings/sec, 80 secs
lola: 63978083 markings, 103551383 edges, 614951 markings/sec, 85 secs
lola: 67068993 markings, 108690130 edges, 618182 markings/sec, 90 secs
lola: 70177378 markings, 113839559 edges, 621677 markings/sec, 95 secs
lola: 73241313 markings, 118984875 edges, 612787 markings/sec, 100 secs
lola: 76278009 markings, 124081497 edges, 607339 markings/sec, 105 secs
lola: 79304154 markings, 129038263 edges, 605229 markings/sec, 110 secs
lola: 82270188 markings, 134040503 edges, 593207 markings/sec, 115 secs
lola: 85419064 markings, 139237350 edges, 629775 markings/sec, 120 secs
lola: 88423477 markings, 144239036 edges, 600883 markings/sec, 125 secs
lola: 91347661 markings, 149148416 edges, 584837 markings/sec, 130 secs
lola: 94461203 markings, 154356638 edges, 622708 markings/sec, 135 secs
lola: 97306020 markings, 159103724 edges, 568963 markings/sec, 140 secs
lola: 100461614 markings, 164296023 edges, 631119 markings/sec, 145 secs
lola: 103304101 markings, 169066418 edges, 568497 markings/sec, 150 secs
lola: 106418552 markings, 174228393 edges, 622890 markings/sec, 155 secs
lola: 109202446 markings, 178922361 edges, 556779 markings/sec, 160 secs
lola: 112345162 markings, 184162832 edges, 628543 markings/sec, 165 secs
lola: 115237172 markings, 188901713 edges, 578402 markings/sec, 170 secs
lola: 118270156 markings, 193900546 edges, 606597 markings/sec, 175 secs
lola: 121249706 markings, 198901070 edges, 595910 markings/sec, 180 secs
lola: 124041877 markings, 203603418 edges, 558434 markings/sec, 185 secs
lola: 127122952 markings, 208660135 edges, 616215 markings/sec, 190 secs
lola: 130083503 markings, 213626826 edges, 592110 markings/sec, 195 secs
lola: 132911346 markings, 218335378 edges, 565569 markings/sec, 200 secs
lola: 135837995 markings, 223201173 edges, 585330 markings/sec, 205 secs
lola: 138854493 markings, 228273783 edges, 603300 markings/sec, 210 secs
lola: 141799250 markings, 233100055 edges, 588951 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 7904789 markings, 10375176 edges, 1580958 markings/sec, 0 secs
lola: 11828403 markings, 16836830 edges, 784723 markings/sec, 5 secs
lola: 15438073 markings, 22833542 edges, 721934 markings/sec, 10 secs
lola: 18839880 markings, 28491196 edges, 680361 markings/sec, 15 secs
lola: 22279536 markings, 34173193 edges, 687931 markings/sec, 20 secs
lola: 25616296 markings, 39718302 edges, 667352 markings/sec, 25 secs
lola: 28918519 markings, 45253939 edges, 660445 markings/sec, 30 secs
lola: 32170741 markings, 50620438 edges, 650444 markings/sec, 35 secs
lola: 35368423 markings, 55961551 edges, 639536 markings/sec, 40 secs
lola: 38600918 markings, 61316398 edges, 646499 markings/sec, 45 secs
lola: 41791222 markings, 66670860 edges, 638061 markings/sec, 50 secs
lola: 44871538 markings, 71787190 edges, 616063 markings/sec, 55 secs
lola: 48077110 markings, 77115466 edges, 641114 markings/sec, 60 secs
lola: 51114539 markings, 82170265 edges, 607486 markings/sec, 65 secs
lola: 54247273 markings, 87351689 edges, 626547 markings/sec, 70 secs
lola: 57365311 markings, 92567488 edges, 623608 markings/sec, 75 secs
lola: 60444477 markings, 97737156 edges, 615833 markings/sec, 80 secs
lola: 63521032 markings, 102850216 edges, 615311 markings/sec, 85 secs
lola: 66587150 markings, 107963660 edges, 613224 markings/sec, 90 secs
lola: 69630930 markings, 113003719 edges, 608756 markings/sec, 95 secs
lola: 72679147 markings, 118017449 edges, 609643 markings/sec, 100 secs
lola: 75597361 markings, 122948349 edges, 583643 markings/sec, 105 secs
lola: 78684838 markings, 128044669 edges, 617495 markings/sec, 110 secs
lola: 81777339 markings, 133196491 edges, 618500 markings/sec, 115 secs
lola: 84775370 markings, 138162129 edges, 599606 markings/sec, 120 secs
lola: 87676576 markings, 143044693 edges, 580241 markings/sec, 125 secs
lola: 90793772 markings, 148221075 edges, 623439 markings/sec, 130 secs
lola: 93710872 markings, 153050638 edges, 583420 markings/sec, 135 secs
lola: 96779079 markings, 158111718 edges, 613641 markings/sec, 140 secs
lola: 99733530 markings, 163038408 edges, 590890 markings/sec, 145 secs
lola: 102706201 markings, 167988715 edges, 594534 markings/sec, 150 secs
lola: 105654682 markings, 172885831 edges, 589696 markings/sec, 155 secs
lola: 108645075 markings, 177884564 edges, 598079 markings/sec, 160 secs
lola: 111433070 markings, 182615080 edges, 557599 markings/sec, 165 secs
lola: 114538254 markings, 187799583 edges, 621037 markings/sec, 170 secs
lola: 117392818 markings, 192496976 edges, 570913 markings/sec, 175 secs
lola: 120415149 markings, 197466276 edges, 604466 markings/sec, 180 secs
lola: 123373411 markings, 202456299 edges, 591652 markings/sec, 185 secs
lola: 126180611 markings, 207142044 edges, 561440 markings/sec, 190 secs
lola: 129197118 markings, 212081937 edges, 603301 markings/sec, 195 secs
lola: 132143959 markings, 217118190 edges, 589368 markings/sec, 200 secs
lola: 135035200 markings, 221820960 edges, 578248 markings/sec, 205 secs
lola: 137763959 markings, 226481126 edges, 545752 markings/sec, 210 secs
lola: 140849993 markings, 231493755 edges, 617207 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5027409 markings, 10375642 edges, 1005482 markings/sec, 0 secs
lola: 10168031 markings, 20984767 edges, 1028124 markings/sec, 5 secs
lola: 15264318 markings, 31503277 edges, 1019257 markings/sec, 10 secs
lola: 20307962 markings, 41912606 edges, 1008729 markings/sec, 15 secs
lola: 25353214 markings, 52324866 edges, 1009050 markings/sec, 20 secs
lola: 30250291 markings, 62431017 edges, 979415 markings/sec, 25 secs
lola: 35275677 markings, 72802986 edges, 1005077 markings/sec, 30 secs
lola: 40305602 markings, 83183454 edges, 1005985 markings/sec, 35 secs
lola: 45142770 markings, 93166722 edges, 967434 markings/sec, 40 secs
lola: 50110657 markings, 103420182 edges, 993577 markings/sec, 45 secs
lola: 55081457 markings, 113678813 edges, 994160 markings/sec, 50 secs
lola: 60060221 markings, 123955242 edges, 995753 markings/sec, 55 secs
lola: 65062387 markings, 134277457 edges, 1000433 markings/sec, 60 secs
lola: 70050376 markings, 144572274 edges, 997598 markings/sec, 65 secs
lola: 74996561 markings, 154780077 edges, 989237 markings/sec, 70 secs
lola: 79894366 markings, 164887943 edges, 979561 markings/sec, 75 secs
lola: 84780488 markings, 174972541 edges, 977224 markings/sec, 80 secs
lola: 89675035 markings, 185074227 edges, 978909 markings/sec, 85 secs
lola: 94608730 markings, 195255522 edges, 986739 markings/sec, 90 secs
lola: 99494719 markings, 205340333 edges, 977198 markings/sec, 95 secs
lola: 104314913 markings, 215287776 edges, 964039 markings/sec, 100 secs
lola: 109170121 markings, 225307361 edges, 971042 markings/sec, 105 secs
lola: 113986013 markings, 235248279 edges, 963178 markings/sec, 110 secs
lola: 118727235 markings, 245056969 edges, 948244 markings/sec, 115 secs
lola: 123120352 markings, 254301398 edges, 878623 markings/sec, 120 secs
lola: 127297129 markings, 263120907 edges, 835355 markings/sec, 125 secs
lola: 131334551 markings, 271670446 edges, 807484 markings/sec, 130 secs
lola: 135306937 markings, 280070263 edges, 794477 markings/sec, 135 secs
lola: 139172503 markings, 288267728 edges, 773113 markings/sec, 140 secs
lola: 143010903 markings, 296416839 edges, 767680 markings/sec, 145 secs
lola: 146949144 markings, 304754561 edges, 787648 markings/sec, 150 secs
lola: 150670239 markings, 312662700 edges, 744219 markings/sec, 155 secs
lola: 154657240 markings, 321096916 edges, 797400 markings/sec, 160 secs
lola: 158421348 markings, 329088699 edges, 752822 markings/sec, 165 secs
lola: 162071919 markings, 336859139 edges, 730114 markings/sec, 170 secs
lola: 165734521 markings, 344658271 edges, 732520 markings/sec, 175 secs
lola: 169303446 markings, 352263933 edges, 713785 markings/sec, 180 secs
lola: 173010559 markings, 360132471 edges, 741423 markings/sec, 185 secs
lola: 176652664 markings, 367893075 edges, 728421 markings/sec, 190 secs
lola: 180463370 markings, 375974610 edges, 762141 markings/sec, 195 secs
lola: 184109125 markings, 383737489 edges, 729151 markings/sec, 200 secs
lola: 187403337 markings, 390756689 edges, 658842 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pout2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 6032545 markings, 10949486 edges, 1206509 markings/sec, 0 secs
lola: 10573297 markings, 21022372 edges, 908150 markings/sec, 5 secs
lola: 14783867 markings, 30547308 edges, 842114 markings/sec, 10 secs
lola: 18836272 markings, 39693740 edges, 810481 markings/sec, 15 secs
lola: 22921640 markings, 48929010 edges, 817074 markings/sec, 20 secs
lola: 26945042 markings, 57998675 edges, 804680 markings/sec, 25 secs
lola: 30906269 markings, 66893413 edges, 792245 markings/sec, 30 secs
lola: 34802664 markings, 75614747 edges, 779279 markings/sec, 35 secs
lola: 38856380 markings, 84764053 edges, 810743 markings/sec, 40 secs
lola: 42897043 markings, 93879502 edges, 808133 markings/sec, 45 secs
lola: 46871501 markings, 102811180 edges, 794892 markings/sec, 50 secs
lola: 50759612 markings, 111511441 edges, 777622 markings/sec, 55 secs
lola: 54619067 markings, 120128861 edges, 771891 markings/sec, 60 secs
lola: 58420401 markings, 128730109 edges, 760267 markings/sec, 65 secs
lola: 62114091 markings, 137170008 edges, 738738 markings/sec, 70 secs
lola: 65684511 markings, 145384514 edges, 714084 markings/sec, 75 secs
lola: 69616936 markings, 154260195 edges, 786485 markings/sec, 80 secs
lola: 73609091 markings, 163244910 edges, 798431 markings/sec, 85 secs
lola: 77570634 markings, 172173530 edges, 792309 markings/sec, 90 secs
lola: 81311673 markings, 180700043 edges, 748208 markings/sec, 95 secs
lola: 85073245 markings, 189263820 edges, 752314 markings/sec, 100 secs
lola: 88731555 markings, 197639016 edges, 731662 markings/sec, 105 secs
lola: 92405240 markings, 205966612 edges, 734737 markings/sec, 110 secs
lola: 96032313 markings, 214026279 edges, 725415 markings/sec, 115 secs
lola: 99809580 markings, 222419208 edges, 755453 markings/sec, 120 secs
lola: 103613174 markings, 230885939 edges, 760719 markings/sec, 125 secs
lola: 107399967 markings, 239304966 edges, 757359 markings/sec, 130 secs
lola: 111089964 markings, 247461661 edges, 737999 markings/sec, 135 secs
lola: 114771438 markings, 255593029 edges, 736295 markings/sec, 140 secs
lola: 118427849 markings, 263727274 edges, 731282 markings/sec, 145 secs
lola: 121841312 markings, 271655769 edges, 682693 markings/sec, 150 secs
lola: 125184853 markings, 279456462 edges, 668708 markings/sec, 155 secs
lola: 128416861 markings, 286982528 edges, 646402 markings/sec, 160 secs
lola: 132321531 markings, 295769170 edges, 780934 markings/sec, 165 secs
lola: 136415452 markings, 304977550 edges, 818784 markings/sec, 170 secs
lola: 140347001 markings, 313806613 edges, 786310 markings/sec, 175 secs
lola: 144036048 markings, 322074419 edges, 737809 markings/sec, 180 secs
lola: 147858781 markings, 330592133 edges, 764547 markings/sec, 185 secs
lola: 151699143 markings, 339159555 edges, 768072 markings/sec, 190 secs
lola: 155547617 markings, 347748949 edges, 769695 markings/sec, 195 secs
lola: 159302346 markings, 356081016 edges, 750946 markings/sec, 200 secs
lola: 163094109 markings, 364514420 edges, 758353 markings/sec, 205 secs
lola: 166944500 markings, 373108445 edges, 770078 markings/sec, 210 secs
lola: 170787867 markings, 381684298 edges, 768673 markings/sec, 215 secs
lola: 174568477 markings, 390087216 edges, 756122 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 229 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Pback3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 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: 5967573 markings, 10726203 edges, 1193515 markings/sec, 0 secs
lola: 10789806 markings, 20412102 edges, 964447 markings/sec, 5 secs
lola: 14939162 markings, 29661070 edges, 829871 markings/sec, 10 secs
lola: 18901382 markings, 38565345 edges, 792444 markings/sec, 15 secs
lola: 22708183 markings, 47055125 edges, 761360 markings/sec, 20 secs
lola: 26484177 markings, 55462744 edges, 755199 markings/sec, 25 secs
lola: 30305531 markings, 63993040 edges, 764271 markings/sec, 30 secs
lola: 34004523 markings, 72199893 edges, 739798 markings/sec, 35 secs
lola: 37523400 markings, 80246817 edges, 703775 markings/sec, 40 secs
lola: 40773210 markings, 87897428 edges, 649962 markings/sec, 45 secs
lola: 44553252 markings, 96502972 edges, 756008 markings/sec, 50 secs
lola: 48074181 markings, 104617902 edges, 704186 markings/sec, 55 secs
lola: 51742559 markings, 112811793 edges, 733676 markings/sec, 60 secs
lola: 55276256 markings, 120580049 edges, 706739 markings/sec, 65 secs
lola: 58881068 markings, 128535286 edges, 720962 markings/sec, 70 secs
lola: 62455274 markings, 136411530 edges, 714841 markings/sec, 75 secs
lola: 65966093 markings, 144119044 edges, 702164 markings/sec, 80 secs
lola: 69112556 markings, 151521258 edges, 629293 markings/sec, 85 secs
lola: 72110210 markings, 158692002 edges, 599531 markings/sec, 90 secs
lola: 75969639 markings, 167335730 edges, 771886 markings/sec, 95 secs
lola: 79606574 markings, 175471137 edges, 727387 markings/sec, 100 secs
lola: 83293021 markings, 183643607 edges, 737289 markings/sec, 105 secs
lola: 86865420 markings, 191512408 edges, 714480 markings/sec, 110 secs
lola: 90430684 markings, 199365321 edges, 713053 markings/sec, 115 secs
lola: 94014917 markings, 207267423 edges, 716847 markings/sec, 120 secs
lola: 97194935 markings, 214682161 edges, 636004 markings/sec, 125 secs
lola: 100198630 markings, 221889538 edges, 600739 markings/sec, 130 secs
lola: 103512607 markings, 229236475 edges, 662795 markings/sec, 135 secs
lola: 107111642 markings, 237178748 edges, 719807 markings/sec, 140 secs
lola: 110648569 markings, 244956978 edges, 707385 markings/sec, 145 secs
lola: 114126780 markings, 252577386 edges, 695642 markings/sec, 150 secs
lola: 117284841 markings, 259852947 edges, 631612 markings/sec, 155 secs
lola: 120182187 markings, 266837361 edges, 579469 markings/sec, 160 secs
lola: 123561012 markings, 274380096 edges, 675765 markings/sec, 165 secs
lola: 126924457 markings, 281698065 edges, 672689 markings/sec, 170 secs
lola: 130272204 markings, 288973927 edges, 669549 markings/sec, 175 secs
lola: 133385714 markings, 296041803 edges, 622702 markings/sec, 180 secs
lola: 136215856 markings, 302911945 edges, 566028 markings/sec, 185 secs
lola: 140117796 markings, 311649533 edges, 780388 markings/sec, 190 secs
lola: 143797678 markings, 319934432 edges, 735976 markings/sec, 195 secs
lola: 147424031 markings, 328032108 edges, 725271 markings/sec, 200 secs
lola: 150945863 markings, 335770022 edges, 704366 markings/sec, 205 secs
lola: 154541910 markings, 343702345 edges, 719209 markings/sec, 210 secs
lola: 158143198 markings, 351649556 edges, 720258 markings/sec, 215 secs
lola: 161484708 markings, 359232704 edges, 668302 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
FORMULA Kanban-PT-0500-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Kanban-PT-0500-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494624002881
--------------------
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="Kanban-PT-0500"
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/Kanban-PT-0500.tgz
mv Kanban-PT-0500 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 Kanban-PT-0500, 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-149440484600128"
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 ;