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-3253
Executing tool lola
Input is S_SquareGrid-PT-080408, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000137
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496562506773


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


checking for too many tokens
===========================================================================================
S_SquareGrid-PT-080408: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SquareGrid-PT-080408 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1952/65536 symbol table entries, 279 collisions
lola: preprocessing...
lola: finding significant places
lola: 896 places, 1056 transitions, 543 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1408 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-080408-UpperBounds.task
lola: MAX(p1i_5_6) : MAX(p4il_4_9) : MAX(p4i_6_1) : MAX(p4i_5_8) : MAX(pbl_2_7) : MAX(p4ol_6_6) : MAX(pbl_1_6) : MAX(pbl_2_7) : MAX(p1o_1_1) : MAX(p1o_2_4) : MAX(p1o_8_3) : MAX(p4i_7_9) : MAX(p1i_3_6) : MAX(p1i_7_6) : MAX(pb3_3_4) : MAX(pb3_2_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(p1i_5_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 391411 markings, 398114 edges, 78282 markings/sec, 0 secs
lola: 806160 markings, 818330 edges, 82950 markings/sec, 5 secs
lola: 1245212 markings, 1262482 edges, 87810 markings/sec, 10 secs
lola: 1684613 markings, 1706919 edges, 87880 markings/sec, 15 secs
lola: 2126967 markings, 2150483 edges, 88471 markings/sec, 20 secs
lola: 2576513 markings, 2600028 edges, 89909 markings/sec, 25 secs
lola: 3015768 markings, 3039310 edges, 87851 markings/sec, 30 secs
lola: 3436932 markings, 3460624 edges, 84233 markings/sec, 35 secs
lola: 3864254 markings, 3888155 edges, 85464 markings/sec, 40 secs
lola: 4282961 markings, 4307017 edges, 83741 markings/sec, 45 secs
lola: 4708496 markings, 4732675 edges, 85107 markings/sec, 50 secs
lola: 5134747 markings, 5159057 edges, 85250 markings/sec, 55 secs
lola: 5552134 markings, 5576578 edges, 83477 markings/sec, 60 secs
lola: 5973633 markings, 5998220 edges, 84300 markings/sec, 65 secs
lola: 6394343 markings, 6419055 edges, 84142 markings/sec, 70 secs
lola: 6803265 markings, 6828350 edges, 81784 markings/sec, 75 secs
lola: 7217550 markings, 7242894 edges, 82857 markings/sec, 80 secs
lola: 7627289 markings, 7652854 edges, 81948 markings/sec, 85 secs
lola: 8045104 markings, 8070824 edges, 83563 markings/sec, 90 secs
lola: 8452979 markings, 8478954 edges, 81575 markings/sec, 95 secs
lola: 8862141 markings, 8888334 edges, 81832 markings/sec, 100 secs
lola: 9273868 markings, 9300208 edges, 82345 markings/sec, 105 secs
lola: 9688139 markings, 9714630 edges, 82854 markings/sec, 110 secs
lola: 10091851 markings, 10118485 edges, 80742 markings/sec, 115 secs
lola: 10498609 markings, 10525561 edges, 81352 markings/sec, 120 secs
lola: 10903104 markings, 10930376 edges, 80899 markings/sec, 125 secs
lola: 11307178 markings, 11334735 edges, 80815 markings/sec, 130 secs
lola: 11702776 markings, 11730606 edges, 79120 markings/sec, 135 secs
lola: 12097284 markings, 12125471 edges, 78902 markings/sec, 140 secs
lola: 12485554 markings, 12514111 edges, 77654 markings/sec, 145 secs
lola: 12875328 markings, 12904204 edges, 77955 markings/sec, 150 secs
lola: 13265823 markings, 13294907 edges, 78099 markings/sec, 155 secs
lola: 13672235 markings, 13701456 edges, 81282 markings/sec, 160 secs
lola: 14068879 markings, 14098294 edges, 79329 markings/sec, 165 secs
lola: 14455461 markings, 14485194 edges, 77316 markings/sec, 170 secs
lola: 14842929 markings, 14873136 edges, 77494 markings/sec, 175 secs
lola: 15237134 markings, 15269256 edges, 78841 markings/sec, 180 secs
lola: 15643683 markings, 15680881 edges, 81310 markings/sec, 185 secs
lola: 16055000 markings, 16092307 edges, 82263 markings/sec, 190 secs
lola: 16466874 markings, 16504259 edges, 82375 markings/sec, 195 secs
lola: 16880058 markings, 16917500 edges, 82637 markings/sec, 200 secs
lola: 17291118 markings, 17328618 edges, 82212 markings/sec, 205 secs
lola: 17694182 markings, 17731860 edges, 80613 markings/sec, 210 secs
lola: 18101735 markings, 18139559 edges, 81511 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(p4il_4_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 253019 markings, 305842 edges, 50604 markings/sec, 0 secs
lola: 483730 markings, 620202 edges, 46142 markings/sec, 5 secs
lola: 717874 markings, 939456 edges, 46829 markings/sec, 10 secs
lola: 946479 markings, 1249991 edges, 45721 markings/sec, 15 secs
lola: 1177616 markings, 1572353 edges, 46227 markings/sec, 20 secs
lola: 1407814 markings, 1892772 edges, 46040 markings/sec, 25 secs
lola: 1635867 markings, 2208822 edges, 45611 markings/sec, 30 secs
lola: 1862648 markings, 2523746 edges, 45356 markings/sec, 35 secs
lola: 2089029 markings, 2837154 edges, 45276 markings/sec, 40 secs
lola: 2315869 markings, 3151619 edges, 45368 markings/sec, 45 secs
lola: 2543144 markings, 3466926 edges, 45455 markings/sec, 50 secs
lola: 2769562 markings, 3781229 edges, 45284 markings/sec, 55 secs
lola: 3000420 markings, 4102010 edges, 46172 markings/sec, 60 secs
lola: 3230072 markings, 4421348 edges, 45930 markings/sec, 65 secs
lola: 3458500 markings, 4739633 edges, 45686 markings/sec, 70 secs
lola: 3688191 markings, 5059822 edges, 45938 markings/sec, 75 secs
lola: 3915027 markings, 5374252 edges, 45367 markings/sec, 80 secs
lola: 4139152 markings, 5684943 edges, 44825 markings/sec, 85 secs
lola: 4362801 markings, 5995684 edges, 44730 markings/sec, 90 secs
lola: 4586185 markings, 6304196 edges, 44677 markings/sec, 95 secs
lola: 4808979 markings, 6614327 edges, 44559 markings/sec, 100 secs
lola: 5032573 markings, 6924748 edges, 44719 markings/sec, 105 secs
lola: 5253699 markings, 7232053 edges, 44225 markings/sec, 110 secs
lola: 5476993 markings, 7540799 edges, 44659 markings/sec, 115 secs
lola: 5706413 markings, 7858986 edges, 45884 markings/sec, 120 secs
lola: 5933335 markings, 8173762 edges, 45384 markings/sec, 125 secs
lola: 6160647 markings, 8488323 edges, 45462 markings/sec, 130 secs
lola: 6384879 markings, 8799192 edges, 44846 markings/sec, 135 secs
lola: 6614243 markings, 9116841 edges, 45873 markings/sec, 140 secs
lola: 6841364 markings, 9431829 edges, 45424 markings/sec, 145 secs
lola: 7074992 markings, 9756204 edges, 46726 markings/sec, 150 secs
lola: 7310725 markings, 10082350 edges, 47147 markings/sec, 155 secs
lola: 7541621 markings, 10403174 edges, 46179 markings/sec, 160 secs
lola: 7772309 markings, 10721301 edges, 46138 markings/sec, 165 secs
lola: 8007691 markings, 11048576 edges, 47076 markings/sec, 170 secs
lola: 8237030 markings, 11368922 edges, 45868 markings/sec, 175 secs
lola: 8465401 markings, 11698380 edges, 45674 markings/sec, 180 secs
lola: 8698029 markings, 12021959 edges, 46526 markings/sec, 185 secs
lola: 8925890 markings, 12337190 edges, 45572 markings/sec, 190 secs
lola: 9151381 markings, 12660914 edges, 45098 markings/sec, 195 secs
lola: 9373701 markings, 12982679 edges, 44464 markings/sec, 200 secs
lola: 9604885 markings, 13311007 edges, 46237 markings/sec, 205 secs
lola: 9837589 markings, 13636153 edges, 46541 markings/sec, 210 secs
lola: 10069679 markings, 13961906 edges, 46418 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(p4i_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 185723 markings, 220461 edges, 37145 markings/sec, 0 secs
lola: 332943 markings, 463951 edges, 29444 markings/sec, 5 secs
lola: 479594 markings, 713270 edges, 29330 markings/sec, 10 secs
lola: 624819 markings, 962239 edges, 29045 markings/sec, 15 secs
lola: 768477 markings, 1206583 edges, 28732 markings/sec, 20 secs
lola: 912611 markings, 1455021 edges, 28827 markings/sec, 25 secs
lola: 1057623 markings, 1707257 edges, 29002 markings/sec, 30 secs
lola: 1202925 markings, 1958417 edges, 29060 markings/sec, 35 secs
lola: 1347526 markings, 2211015 edges, 28920 markings/sec, 40 secs
lola: 1491151 markings, 2466683 edges, 28725 markings/sec, 45 secs
lola: 1634565 markings, 2710358 edges, 28683 markings/sec, 50 secs
lola: 1777504 markings, 2956570 edges, 28588 markings/sec, 55 secs
lola: 1920188 markings, 3200965 edges, 28537 markings/sec, 60 secs
lola: 2062181 markings, 3447448 edges, 28399 markings/sec, 65 secs
lola: 2204355 markings, 3694794 edges, 28435 markings/sec, 70 secs
lola: 2345514 markings, 3942706 edges, 28232 markings/sec, 75 secs
lola: 2485862 markings, 4193941 edges, 28070 markings/sec, 80 secs
lola: 2631385 markings, 4441237 edges, 29105 markings/sec, 85 secs
lola: 2776390 markings, 4692783 edges, 29001 markings/sec, 90 secs
lola: 2920703 markings, 4944663 edges, 28863 markings/sec, 95 secs
lola: 3064430 markings, 5198475 edges, 28745 markings/sec, 100 secs
lola: 3208113 markings, 5452349 edges, 28737 markings/sec, 105 secs
lola: 3352666 markings, 5703873 edges, 28911 markings/sec, 110 secs
lola: 3495709 markings, 5956093 edges, 28609 markings/sec, 115 secs
lola: 3638523 markings, 6210255 edges, 28563 markings/sec, 120 secs
lola: 3782546 markings, 6462489 edges, 28805 markings/sec, 125 secs
lola: 3925083 markings, 6717484 edges, 28507 markings/sec, 130 secs
lola: 4068488 markings, 6971266 edges, 28681 markings/sec, 135 secs
lola: 4211382 markings, 7227092 edges, 28579 markings/sec, 140 secs
lola: 4353175 markings, 7483089 edges, 28359 markings/sec, 145 secs
lola: 4495847 markings, 7733360 edges, 28534 markings/sec, 150 secs
lola: 4637720 markings, 7974397 edges, 28375 markings/sec, 155 secs
lola: 4779107 markings, 8218781 edges, 28277 markings/sec, 160 secs
lola: 4920508 markings, 8462955 edges, 28280 markings/sec, 165 secs
lola: 5062138 markings, 8707944 edges, 28326 markings/sec, 170 secs
lola: 5203238 markings, 8955350 edges, 28220 markings/sec, 175 secs
lola: 5343723 markings, 9204071 edges, 28097 markings/sec, 180 secs
lola: 5485278 markings, 9449411 edges, 28311 markings/sec, 185 secs
lola: 5626290 markings, 9694294 edges, 28202 markings/sec, 190 secs
lola: 5767050 markings, 9939338 edges, 28152 markings/sec, 195 secs
lola: 5907321 markings, 10184039 edges, 28054 markings/sec, 200 secs
lola: 6046555 markings, 10432126 edges, 27847 markings/sec, 205 secs
lola: 6187547 markings, 10677092 edges, 28198 markings/sec, 210 secs
lola: 6327231 markings, 10921948 edges, 27937 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(p4i_5_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 557887 markings, 571597 edges, 111577 markings/sec, 0 secs
lola: 1105521 markings, 1133029 edges, 109527 markings/sec, 5 secs
lola: 1655977 markings, 1697327 edges, 110091 markings/sec, 10 secs
lola: 2203497 markings, 2258663 edges, 109504 markings/sec, 15 secs
lola: 2750334 markings, 2819305 edges, 109367 markings/sec, 20 secs
lola: 3301526 markings, 3384330 edges, 110238 markings/sec, 25 secs
lola: 3852219 markings, 3948905 edges, 110139 markings/sec, 30 secs
lola: 4400123 markings, 4510611 edges, 109581 markings/sec, 35 secs
lola: 4948447 markings, 5072749 edges, 109665 markings/sec, 40 secs
lola: 5488544 markings, 5626467 edges, 108019 markings/sec, 45 secs
lola: 6033601 markings, 6185133 edges, 109011 markings/sec, 50 secs
lola: 6592032 markings, 6754761 edges, 111686 markings/sec, 55 secs
lola: 7156180 markings, 7328267 edges, 112830 markings/sec, 60 secs
lola: 7703576 markings, 7884576 edges, 109479 markings/sec, 65 secs
lola: 8266822 markings, 8456939 edges, 112649 markings/sec, 70 secs
lola: 8809062 markings, 9008146 edges, 108448 markings/sec, 75 secs
lola: 9370988 markings, 9579049 edges, 112385 markings/sec, 80 secs
lola: 9898634 markings, 10133999 edges, 105529 markings/sec, 85 secs
lola: 10390172 markings, 10659217 edges, 98308 markings/sec, 90 secs
lola: 10869715 markings, 11166264 edges, 95909 markings/sec, 95 secs
lola: 11334019 markings, 11667828 edges, 92861 markings/sec, 100 secs
lola: 11714072 markings, 12246022 edges, 76011 markings/sec, 105 secs
lola: 12162151 markings, 12746760 edges, 89616 markings/sec, 110 secs
lola: 12615706 markings, 13273112 edges, 90711 markings/sec, 115 secs
lola: 13081896 markings, 13790476 edges, 93238 markings/sec, 120 secs
lola: 13531037 markings, 14282022 edges, 89828 markings/sec, 125 secs
lola: 13968813 markings, 14770790 edges, 87555 markings/sec, 130 secs
lola: 14394506 markings, 15256262 edges, 85139 markings/sec, 135 secs
lola: 14760278 markings, 15843150 edges, 73154 markings/sec, 140 secs
lola: 15232753 markings, 16373389 edges, 94495 markings/sec, 145 secs
lola: 15703733 markings, 16869551 edges, 94196 markings/sec, 150 secs
lola: 16158177 markings, 17359954 edges, 90889 markings/sec, 155 secs
lola: 16607950 markings, 17843338 edges, 89955 markings/sec, 160 secs
lola: 16975394 markings, 18421270 edges, 73489 markings/sec, 165 secs
lola: 17434713 markings, 18910127 edges, 91864 markings/sec, 170 secs
lola: 17878198 markings, 19386161 edges, 88697 markings/sec, 175 secs
lola: 18320104 markings, 19857756 edges, 88381 markings/sec, 180 secs
lola: 18667487 markings, 20415655 edges, 69477 markings/sec, 185 secs
lola: 19115792 markings, 20914077 edges, 89661 markings/sec, 190 secs
lola: 19555438 markings, 21395499 edges, 87929 markings/sec, 195 secs
lola: 19988279 markings, 21876049 edges, 86568 markings/sec, 200 secs
lola: 20417040 markings, 22357630 edges, 85752 markings/sec, 205 secs
lola: 20758443 markings, 22925376 edges, 68281 markings/sec, 210 secs
lola: 21198672 markings, 23419254 edges, 88046 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(pbl_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 252650 markings, 350236 edges, 50530 markings/sec, 0 secs
lola: 503455 markings, 708147 edges, 50161 markings/sec, 5 secs
lola: 742958 markings, 1052109 edges, 47901 markings/sec, 10 secs
lola: 922532 markings, 1562218 edges, 35915 markings/sec, 15 secs
lola: 1159972 markings, 1898078 edges, 47488 markings/sec, 20 secs
lola: 1333257 markings, 2389178 edges, 34657 markings/sec, 25 secs
lola: 1574584 markings, 2734852 edges, 48265 markings/sec, 30 secs
lola: 1748973 markings, 3229099 edges, 34878 markings/sec, 35 secs
lola: 1986319 markings, 3563594 edges, 47469 markings/sec, 40 secs
lola: 2167262 markings, 4008272 edges, 36189 markings/sec, 45 secs
lola: 2394355 markings, 4388906 edges, 45419 markings/sec, 50 secs
lola: 2573934 markings, 4870537 edges, 35916 markings/sec, 55 secs
lola: 2818154 markings, 5205973 edges, 48844 markings/sec, 60 secs
lola: 3065337 markings, 5539173 edges, 49437 markings/sec, 65 secs
lola: 3270619 markings, 5955213 edges, 41056 markings/sec, 70 secs
lola: 3478015 markings, 6359634 edges, 41479 markings/sec, 75 secs
lola: 3714335 markings, 6676957 edges, 47264 markings/sec, 80 secs
lola: 3946955 markings, 6995234 edges, 46524 markings/sec, 85 secs
lola: 4177806 markings, 7312922 edges, 46170 markings/sec, 90 secs
lola: 4406379 markings, 7632107 edges, 45715 markings/sec, 95 secs
lola: 4634616 markings, 7954406 edges, 45647 markings/sec, 100 secs
lola: 4860803 markings, 8278509 edges, 45237 markings/sec, 105 secs
lola: 5085226 markings, 8602360 edges, 44885 markings/sec, 110 secs
lola: 5306503 markings, 8926791 edges, 44255 markings/sec, 115 secs
lola: 5527438 markings, 9251705 edges, 44187 markings/sec, 120 secs
lola: 5746839 markings, 9577482 edges, 43880 markings/sec, 125 secs
lola: 5965214 markings, 9903107 edges, 43675 markings/sec, 130 secs
lola: 6180717 markings, 10228625 edges, 43101 markings/sec, 135 secs
lola: 6395852 markings, 10554555 edges, 43027 markings/sec, 140 secs
lola: 6607006 markings, 10883583 edges, 42231 markings/sec, 145 secs
lola: 6818846 markings, 11209731 edges, 42368 markings/sec, 150 secs
lola: 7029110 markings, 11538393 edges, 42053 markings/sec, 155 secs
lola: 7238693 markings, 11866932 edges, 41917 markings/sec, 160 secs
lola: 7447436 markings, 12195116 edges, 41749 markings/sec, 165 secs
lola: 7655450 markings, 12526000 edges, 41603 markings/sec, 170 secs
lola: 7860734 markings, 12858020 edges, 41057 markings/sec, 175 secs
lola: 8067276 markings, 13189356 edges, 41308 markings/sec, 180 secs
lola: 8273814 markings, 13519002 edges, 41308 markings/sec, 185 secs
lola: 8480565 markings, 13845539 edges, 41350 markings/sec, 190 secs
lola: 8687389 markings, 14174656 edges, 41365 markings/sec, 195 secs
lola: 8893154 markings, 14504604 edges, 41153 markings/sec, 200 secs
lola: 9098772 markings, 14829345 edges, 41124 markings/sec, 205 secs
lola: 9301934 markings, 15157570 edges, 40632 markings/sec, 210 secs
lola: 9503727 markings, 15485185 edges, 40359 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(p4ol_6_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 448975 markings, 455674 edges, 89795 markings/sec, 0 secs
lola: 868358 markings, 908679 edges, 83877 markings/sec, 5 secs
lola: 1280458 markings, 1352327 edges, 82420 markings/sec, 10 secs
lola: 1700688 markings, 1788401 edges, 84046 markings/sec, 15 secs
lola: 2112460 markings, 2221626 edges, 82354 markings/sec, 20 secs
lola: 2513514 markings, 2639628 edges, 80211 markings/sec, 25 secs
lola: 2915426 markings, 3059511 edges, 80382 markings/sec, 30 secs
lola: 3204043 markings, 3591003 edges, 57723 markings/sec, 35 secs
lola: 3639819 markings, 4054002 edges, 87155 markings/sec, 40 secs
lola: 4057325 markings, 4505393 edges, 83501 markings/sec, 45 secs
lola: 4447222 markings, 4924169 edges, 77979 markings/sec, 50 secs
lola: 4850295 markings, 5354878 edges, 80615 markings/sec, 55 secs
lola: 5255034 markings, 5774594 edges, 80948 markings/sec, 60 secs
lola: 5653219 markings, 6192279 edges, 79637 markings/sec, 65 secs
lola: 6053135 markings, 6612433 edges, 79983 markings/sec, 70 secs
lola: 6450587 markings, 7025270 edges, 79490 markings/sec, 75 secs
lola: 6737230 markings, 7524181 edges, 57329 markings/sec, 80 secs
lola: 7084550 markings, 7927840 edges, 69464 markings/sec, 85 secs
lola: 7454371 markings, 8323656 edges, 73964 markings/sec, 90 secs
lola: 7833150 markings, 8716936 edges, 75756 markings/sec, 95 secs
lola: 8208183 markings, 9109781 edges, 75007 markings/sec, 100 secs
lola: 8586783 markings, 9507276 edges, 75720 markings/sec, 105 secs
lola: 8966626 markings, 9902256 edges, 75969 markings/sec, 110 secs
lola: 9318766 markings, 10318651 edges, 70428 markings/sec, 115 secs
lola: 9594379 markings, 10792959 edges, 55123 markings/sec, 120 secs
lola: 9960276 markings, 11185021 edges, 73179 markings/sec, 125 secs
lola: 10338123 markings, 11577367 edges, 75569 markings/sec, 130 secs
lola: 10715693 markings, 11973002 edges, 75514 markings/sec, 135 secs
lola: 11095751 markings, 12371507 edges, 76012 markings/sec, 140 secs
lola: 11479447 markings, 12770783 edges, 76739 markings/sec, 145 secs
lola: 11845687 markings, 13177391 edges, 73248 markings/sec, 150 secs
lola: 12115705 markings, 13677632 edges, 54004 markings/sec, 155 secs
lola: 12508725 markings, 14096308 edges, 78604 markings/sec, 160 secs
lola: 12912044 markings, 14525962 edges, 80664 markings/sec, 165 secs
lola: 13311218 markings, 14951921 edges, 79835 markings/sec, 170 secs
lola: 13712123 markings, 15377479 edges, 80181 markings/sec, 175 secs
lola: 14108795 markings, 15797239 edges, 79334 markings/sec, 180 secs
lola: 14510875 markings, 16221719 edges, 80416 markings/sec, 185 secs
lola: 14910293 markings, 16645702 edges, 79884 markings/sec, 190 secs
lola: 15308654 markings, 17067689 edges, 79672 markings/sec, 195 secs
lola: 15706743 markings, 17489379 edges, 79618 markings/sec, 200 secs
lola: 16091939 markings, 17896473 edges, 77039 markings/sec, 205 secs
lola: 16495953 markings, 18325709 edges, 80803 markings/sec, 210 secs
lola: 16891271 markings, 18747655 edges, 79064 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(pbl_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 428029 markings, 433236 edges, 85606 markings/sec, 0 secs
lola: 872852 markings, 878932 edges, 88965 markings/sec, 5 secs
lola: 1310404 markings, 1317343 edges, 87510 markings/sec, 10 secs
lola: 1744909 markings, 1752705 edges, 86901 markings/sec, 15 secs
lola: 2179650 markings, 2188305 edges, 86948 markings/sec, 20 secs
lola: 2617771 markings, 2627254 edges, 87624 markings/sec, 25 secs
lola: 3065411 markings, 3075736 edges, 89528 markings/sec, 30 secs
lola: 3498717 markings, 3509861 edges, 86661 markings/sec, 35 secs
lola: 3927139 markings, 3939096 edges, 85684 markings/sec, 40 secs
lola: 4354739 markings, 4367493 edges, 85520 markings/sec, 45 secs
lola: 4783109 markings, 4796676 edges, 85674 markings/sec, 50 secs
lola: 5218407 markings, 5232801 edges, 87060 markings/sec, 55 secs
lola: 5655550 markings, 5670761 edges, 87429 markings/sec, 60 secs
lola: 6085287 markings, 6101258 edges, 85947 markings/sec, 65 secs
lola: 6517794 markings, 6534521 edges, 86501 markings/sec, 70 secs
lola: 6951732 markings, 6969152 edges, 86788 markings/sec, 75 secs
lola: 7377439 markings, 7395636 edges, 85141 markings/sec, 80 secs
lola: 7802139 markings, 7820998 edges, 84940 markings/sec, 85 secs
lola: 8240594 markings, 8260118 edges, 87691 markings/sec, 90 secs
lola: 8669228 markings, 8689535 edges, 85727 markings/sec, 95 secs
lola: 9086381 markings, 9107432 edges, 83431 markings/sec, 100 secs
lola: 9501189 markings, 9522986 edges, 82962 markings/sec, 105 secs
lola: 9914831 markings, 9937372 edges, 82728 markings/sec, 110 secs
lola: 10326271 markings, 10349550 edges, 82288 markings/sec, 115 secs
lola: 10735213 markings, 10759232 edges, 81788 markings/sec, 120 secs
lola: 11146111 markings, 11170874 edges, 82180 markings/sec, 125 secs
lola: 11559084 markings, 11584612 edges, 82595 markings/sec, 130 secs
lola: 11969518 markings, 11995792 edges, 82087 markings/sec, 135 secs
lola: 12397465 markings, 12424480 edges, 85589 markings/sec, 140 secs
lola: 12838125 markings, 12865975 edges, 88132 markings/sec, 145 secs
lola: 13271604 markings, 13300099 edges, 86696 markings/sec, 150 secs
lola: 13709889 markings, 13739112 edges, 87657 markings/sec, 155 secs
lola: 14136452 markings, 14166456 edges, 85313 markings/sec, 160 secs
lola: 14561148 markings, 14591894 edges, 84939 markings/sec, 165 secs
lola: 14977055 markings, 15008555 edges, 83181 markings/sec, 170 secs
lola: 15391623 markings, 15423829 edges, 82914 markings/sec, 175 secs
lola: 15828266 markings, 15861230 edges, 87329 markings/sec, 180 secs
lola: 16256172 markings, 16290040 edges, 85581 markings/sec, 185 secs
lola: 16691997 markings, 16726715 edges, 87165 markings/sec, 190 secs
lola: 17119488 markings, 17154919 edges, 85498 markings/sec, 195 secs
lola: 17563933 markings, 17600133 edges, 88889 markings/sec, 200 secs
lola: 17993116 markings, 18030070 edges, 85837 markings/sec, 205 secs
lola: 18413763 markings, 18451473 edges, 84129 markings/sec, 210 secs
lola: 18837527 markings, 18875979 edges, 84753 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pbl_2_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 247360 markings, 342825 edges, 49472 markings/sec, 0 secs
lola: 495378 markings, 697605 edges, 49604 markings/sec, 5 secs
lola: 734883 markings, 1040220 edges, 47901 markings/sec, 10 secs
lola: 912846 markings, 1549826 edges, 35593 markings/sec, 15 secs
lola: 1151580 markings, 1885775 edges, 47747 markings/sec, 20 secs
lola: 1324346 markings, 2372860 edges, 34553 markings/sec, 25 secs
lola: 1566499 markings, 2722586 edges, 48431 markings/sec, 30 secs
lola: 1744015 markings, 3223145 edges, 35503 markings/sec, 35 secs
lola: 1981002 markings, 3555427 edges, 47397 markings/sec, 40 secs
lola: 2166458 markings, 3999670 edges, 37091 markings/sec, 45 secs
lola: 2393567 markings, 4387825 edges, 45422 markings/sec, 50 secs
lola: 2574090 markings, 4880284 edges, 36105 markings/sec, 55 secs
lola: 2822056 markings, 5211148 edges, 49593 markings/sec, 60 secs
lola: 3070965 markings, 5547878 edges, 49782 markings/sec, 65 secs
lola: 3271917 markings, 5984976 edges, 40190 markings/sec, 70 secs
lola: 3489849 markings, 6375934 edges, 43586 markings/sec, 75 secs
lola: 3729294 markings, 6697437 edges, 47889 markings/sec, 80 secs
lola: 3965243 markings, 7019899 edges, 47190 markings/sec, 85 secs
lola: 4198761 markings, 7342642 edges, 46704 markings/sec, 90 secs
lola: 4429898 markings, 7664841 edges, 46227 markings/sec, 95 secs
lola: 4658587 markings, 7989507 edges, 45738 markings/sec, 100 secs
lola: 4885558 markings, 8313995 edges, 45394 markings/sec, 105 secs
lola: 5109991 markings, 8638753 edges, 44887 markings/sec, 110 secs
lola: 5332579 markings, 8964956 edges, 44518 markings/sec, 115 secs
lola: 5553934 markings, 9291313 edges, 44271 markings/sec, 120 secs
lola: 5774181 markings, 9617921 edges, 44049 markings/sec, 125 secs
lola: 5992528 markings, 9944194 edges, 43669 markings/sec, 130 secs
lola: 6208926 markings, 10270803 edges, 43280 markings/sec, 135 secs
lola: 6424119 markings, 10598813 edges, 43039 markings/sec, 140 secs
lola: 6636597 markings, 10928047 edges, 42496 markings/sec, 145 secs
lola: 6848899 markings, 11256524 edges, 42460 markings/sec, 150 secs
lola: 7059814 markings, 11586672 edges, 42183 markings/sec, 155 secs
lola: 7270064 markings, 11915825 edges, 42050 markings/sec, 160 secs
lola: 7479290 markings, 12244982 edges, 41845 markings/sec, 165 secs
lola: 7687154 markings, 12577209 edges, 41573 markings/sec, 170 secs
lola: 7892904 markings, 12910827 edges, 41150 markings/sec, 175 secs
lola: 8100076 markings, 13242348 edges, 41434 markings/sec, 180 secs
lola: 8307266 markings, 13572727 edges, 41438 markings/sec, 185 secs
lola: 8515317 markings, 13901386 edges, 41610 markings/sec, 190 secs
lola: 8723174 markings, 14231256 edges, 41571 markings/sec, 195 secs
lola: 8929734 markings, 14561637 edges, 41312 markings/sec, 200 secs
lola: 9137714 markings, 14891599 edges, 41596 markings/sec, 205 secs
lola: 9343215 markings, 15224256 edges, 41100 markings/sec, 210 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(p1o_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 249296 markings, 825809 edges, 49859 markings/sec, 0 secs
lola: 484795 markings, 1623499 edges, 47100 markings/sec, 5 secs
lola: 747247 markings, 2256919 edges, 52490 markings/sec, 10 secs
lola: 881381 markings, 3156832 edges, 26827 markings/sec, 15 secs
lola: 1104603 markings, 3950031 edges, 44644 markings/sec, 20 secs
lola: 1360032 markings, 4616087 edges, 51086 markings/sec, 25 secs
lola: 1484374 markings, 5488331 edges, 24868 markings/sec, 30 secs
lola: 1707171 markings, 6265838 edges, 44559 markings/sec, 35 secs
lola: 1972494 markings, 6890618 edges, 53065 markings/sec, 40 secs
lola: 2098278 markings, 7760534 edges, 25157 markings/sec, 45 secs
lola: 2342535 markings, 8469073 edges, 48851 markings/sec, 50 secs
lola: 2555673 markings, 9152020 edges, 42628 markings/sec, 55 secs
lola: 2724545 markings, 9993334 edges, 33774 markings/sec, 60 secs
lola: 2983896 markings, 10626157 edges, 51870 markings/sec, 65 secs
lola: 3128815 markings, 11476542 edges, 28984 markings/sec, 70 secs
lola: 3408535 markings, 12067019 edges, 55944 markings/sec, 75 secs
lola: 3676622 markings, 12669508 edges, 53617 markings/sec, 80 secs
lola: 3932169 markings, 13271527 edges, 51109 markings/sec, 85 secs
lola: 4178669 markings, 13872687 edges, 49300 markings/sec, 90 secs
lola: 4418579 markings, 14486234 edges, 47982 markings/sec, 95 secs
lola: 4647789 markings, 15096093 edges, 45842 markings/sec, 100 secs
lola: 4817365 markings, 15811685 edges, 33915 markings/sec, 105 secs
lola: 4822949 markings, 16752016 edges, 1117 markings/sec, 110 secs
lola: 4826734 markings, 17715159 edges, 757 markings/sec, 115 secs
lola: 4921541 markings, 18639657 edges, 18961 markings/sec, 120 secs
lola: 5148103 markings, 19412464 edges, 45312 markings/sec, 125 secs
lola: 5395796 markings, 20059505 edges, 49539 markings/sec, 130 secs
lola: 5509731 markings, 20900131 edges, 22787 markings/sec, 135 secs
lola: 5746300 markings, 21656888 edges, 47314 markings/sec, 140 secs
lola: 5998417 markings, 22307240 edges, 50423 markings/sec, 145 secs
lola: 6118764 markings, 23165098 edges, 24069 markings/sec, 150 secs
lola: 6363685 markings, 23879374 edges, 48984 markings/sec, 155 secs
lola: 6594291 markings, 24520982 edges, 46121 markings/sec, 160 secs
lola: 6736873 markings, 25390570 edges, 28516 markings/sec, 165 secs
lola: 7000840 markings, 26016545 edges, 52793 markings/sec, 170 secs
lola: 7136507 markings, 26862908 edges, 27133 markings/sec, 175 secs
lola: 7412880 markings, 27441804 edges, 55275 markings/sec, 180 secs
lola: 7677678 markings, 28032923 edges, 52960 markings/sec, 185 secs
lola: 7931167 markings, 28626652 edges, 50698 markings/sec, 190 secs
lola: 8176333 markings, 29220192 edges, 49033 markings/sec, 195 secs
lola: 8414154 markings, 29825755 edges, 47564 markings/sec, 200 secs
lola: 8642934 markings, 30425376 edges, 45756 markings/sec, 205 secs
lola: 8853195 markings, 31063412 edges, 42052 markings/sec, 210 secs
lola: 8861636 markings, 31984258 edges, 1688 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_2_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 539237 markings, 955518 edges, 107847 markings/sec, 0 secs
lola: 1009037 markings, 1898433 edges, 93960 markings/sec, 5 secs
lola: 1533010 markings, 2838418 edges, 104795 markings/sec, 10 secs
lola: 2000246 markings, 3772554 edges, 93447 markings/sec, 15 secs
lola: 2515034 markings, 4695854 edges, 102958 markings/sec, 20 secs
lola: 2963543 markings, 5605900 edges, 89702 markings/sec, 25 secs
lola: 3483816 markings, 6536236 edges, 104055 markings/sec, 30 secs
lola: 3947852 markings, 7458702 edges, 92807 markings/sec, 35 secs
lola: 4469528 markings, 8403924 edges, 104335 markings/sec, 40 secs
lola: 4933968 markings, 9337730 edges, 92888 markings/sec, 45 secs
lola: 5428252 markings, 10221578 edges, 98857 markings/sec, 50 secs
lola: 5912884 markings, 11089404 edges, 96926 markings/sec, 55 secs
lola: 6381032 markings, 11945644 edges, 93630 markings/sec, 60 secs
lola: 6812552 markings, 12812810 edges, 86304 markings/sec, 65 secs
lola: 7266393 markings, 13668306 edges, 90768 markings/sec, 70 secs
lola: 7708834 markings, 14539601 edges, 88488 markings/sec, 75 secs
lola: 8156904 markings, 15375109 edges, 89614 markings/sec, 80 secs
lola: 8589383 markings, 16210523 edges, 86496 markings/sec, 85 secs
lola: 9039830 markings, 17065584 edges, 90089 markings/sec, 90 secs
lola: 9528524 markings, 17973868 edges, 97739 markings/sec, 95 secs
lola: 9988265 markings, 18880429 edges, 91948 markings/sec, 100 secs
lola: 10482608 markings, 19791517 edges, 98869 markings/sec, 105 secs
lola: 10942550 markings, 20697661 edges, 91988 markings/sec, 110 secs
lola: 11439231 markings, 21606767 edges, 99336 markings/sec, 115 secs
lola: 11901704 markings, 22507076 edges, 92495 markings/sec, 120 secs
lola: 12397558 markings, 23407426 edges, 99171 markings/sec, 125 secs
lola: 12840567 markings, 24305695 edges, 88602 markings/sec, 130 secs
lola: 13337690 markings, 25199859 edges, 99425 markings/sec, 135 secs
lola: 13795362 markings, 26081363 edges, 91534 markings/sec, 140 secs
lola: 14288209 markings, 26978603 edges, 98569 markings/sec, 145 secs
lola: 14763412 markings, 27855700 edges, 95041 markings/sec, 150 secs
lola: 15249104 markings, 28741555 edges, 97138 markings/sec, 155 secs
lola: 15694545 markings, 29633184 edges, 89088 markings/sec, 160 secs
lola: 16175651 markings, 30521339 edges, 96221 markings/sec, 165 secs
lola: 16629395 markings, 31418277 edges, 90749 markings/sec, 170 secs
lola: 17101349 markings, 32304095 edges, 94391 markings/sec, 175 secs
lola: 17557672 markings, 33194867 edges, 91265 markings/sec, 180 secs
lola: 18025155 markings, 34079504 edges, 93497 markings/sec, 185 secs
lola: 18497184 markings, 34961581 edges, 94406 markings/sec, 190 secs
lola: 18955144 markings, 35846524 edges, 91592 markings/sec, 195 secs
lola: 19422980 markings, 36731278 edges, 93567 markings/sec, 200 secs
lola: 19884721 markings, 37608551 edges, 92348 markings/sec, 205 secs
lola: 20366127 markings, 38501492 edges, 96281 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_8_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 228208 markings, 786509 edges, 45642 markings/sec, 0 secs
lola: 433305 markings, 1581920 edges, 41019 markings/sec, 5 secs
lola: 619930 markings, 2427624 edges, 37325 markings/sec, 10 secs
lola: 821879 markings, 3154185 edges, 40390 markings/sec, 15 secs
lola: 980215 markings, 3902860 edges, 31667 markings/sec, 20 secs
lola: 1183107 markings, 4616464 edges, 40578 markings/sec, 25 secs
lola: 1446618 markings, 5232775 edges, 52702 markings/sec, 30 secs
lola: 1672741 markings, 5866822 edges, 45225 markings/sec, 35 secs
lola: 1873645 markings, 6521746 edges, 40181 markings/sec, 40 secs
lola: 2042289 markings, 7244453 edges, 33729 markings/sec, 45 secs
lola: 2094322 markings, 8161188 edges, 10407 markings/sec, 50 secs
lola: 2095881 markings, 9095783 edges, 312 markings/sec, 55 secs
lola: 2097353 markings, 10026817 edges, 294 markings/sec, 60 secs
lola: 2306085 markings, 10861027 edges, 41746 markings/sec, 65 secs
lola: 2518435 markings, 11735872 edges, 42470 markings/sec, 70 secs
lola: 2710815 markings, 12489022 edges, 38476 markings/sec, 75 secs
lola: 2904198 markings, 13214647 edges, 38677 markings/sec, 80 secs
lola: 3213038 markings, 13839601 edges, 61768 markings/sec, 85 secs
lola: 3497800 markings, 14479261 edges, 56952 markings/sec, 90 secs
lola: 3741595 markings, 15133103 edges, 48759 markings/sec, 95 secs
lola: 3936755 markings, 15848318 edges, 39032 markings/sec, 100 secs
lola: 3971758 markings, 16802336 edges, 7001 markings/sec, 105 secs
lola: 3975367 markings, 17764505 edges, 722 markings/sec, 110 secs
lola: 4111305 markings, 18585076 edges, 27188 markings/sec, 115 secs
lola: 4263574 markings, 19369043 edges, 30454 markings/sec, 120 secs
lola: 4435600 markings, 20143078 edges, 34405 markings/sec, 125 secs
lola: 4580365 markings, 20853084 edges, 28953 markings/sec, 130 secs
lola: 4718523 markings, 21533603 edges, 27632 markings/sec, 135 secs
lola: 4977726 markings, 22104272 edges, 51841 markings/sec, 140 secs
lola: 5216357 markings, 22681176 edges, 47726 markings/sec, 145 secs
lola: 5425513 markings, 23272700 edges, 41831 markings/sec, 150 secs
lola: 5613668 markings, 23884702 edges, 37631 markings/sec, 155 secs
lola: 5772572 markings, 24550407 edges, 31781 markings/sec, 160 secs
lola: 5842709 markings, 25381709 edges, 14027 markings/sec, 165 secs
lola: 5844065 markings, 26243855 edges, 271 markings/sec, 170 secs
lola: 5844710 markings, 27100984 edges, 129 markings/sec, 175 secs
lola: 5960563 markings, 27896066 edges, 23171 markings/sec, 180 secs
lola: 6120320 markings, 28663334 edges, 31951 markings/sec, 185 secs
lola: 6274131 markings, 29399588 edges, 30762 markings/sec, 190 secs
lola: 6433251 markings, 30113251 edges, 31824 markings/sec, 195 secs
lola: 6707523 markings, 30711213 edges, 54854 markings/sec, 200 secs
lola: 6952532 markings, 31323961 edges, 49002 markings/sec, 205 secs
lola: 7165069 markings, 31952507 edges, 42507 markings/sec, 210 secs
lola: 7351039 markings, 32614917 edges, 37194 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4i_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 228649 markings, 273736 edges, 45730 markings/sec, 0 secs
lola: 427674 markings, 560520 edges, 39805 markings/sec, 5 secs
lola: 577324 markings, 972273 edges, 29930 markings/sec, 10 secs
lola: 712238 markings, 1381005 edges, 26983 markings/sec, 15 secs
lola: 761502 markings, 2116206 edges, 9853 markings/sec, 20 secs
lola: 912020 markings, 2513696 edges, 30104 markings/sec, 25 secs
lola: 1020541 markings, 3033648 edges, 21704 markings/sec, 30 secs
lola: 1080302 markings, 3651313 edges, 11952 markings/sec, 35 secs
lola: 1193247 markings, 4036408 edges, 22589 markings/sec, 40 secs
lola: 1295267 markings, 4463591 edges, 20404 markings/sec, 45 secs
lola: 1322606 markings, 5157473 edges, 5468 markings/sec, 50 secs
lola: 1448528 markings, 5511301 edges, 25184 markings/sec, 55 secs
lola: 1570264 markings, 5865650 edges, 24347 markings/sec, 60 secs
lola: 1613696 markings, 6502251 edges, 8686 markings/sec, 65 secs
lola: 1731063 markings, 6895285 edges, 23473 markings/sec, 70 secs
lola: 1852920 markings, 7251765 edges, 24371 markings/sec, 75 secs
lola: 1903378 markings, 7876785 edges, 10092 markings/sec, 80 secs
lola: 2021276 markings, 8297982 edges, 23580 markings/sec, 85 secs
lola: 2146603 markings, 8659691 edges, 25065 markings/sec, 90 secs
lola: 2195019 markings, 9299982 edges, 9683 markings/sec, 95 secs
lola: 2302838 markings, 9764135 edges, 21564 markings/sec, 100 secs
lola: 2418730 markings, 10197615 edges, 23178 markings/sec, 105 secs
lola: 2543858 markings, 10562012 edges, 25026 markings/sec, 110 secs
lola: 2600704 markings, 11176435 edges, 11369 markings/sec, 115 secs
lola: 2716066 markings, 11583006 edges, 23072 markings/sec, 120 secs
lola: 2835492 markings, 11934582 edges, 23885 markings/sec, 125 secs
lola: 2894384 markings, 12505126 edges, 11778 markings/sec, 130 secs
lola: 3001611 markings, 12970059 edges, 21445 markings/sec, 135 secs
lola: 3129839 markings, 13337628 edges, 25646 markings/sec, 140 secs
lola: 3193674 markings, 13933195 edges, 12767 markings/sec, 145 secs
lola: 3309135 markings, 14374070 edges, 23092 markings/sec, 150 secs
lola: 3452664 markings, 14696254 edges, 28706 markings/sec, 155 secs
lola: 3589411 markings, 15030649 edges, 27349 markings/sec, 160 secs
lola: 3725371 markings, 15371787 edges, 27192 markings/sec, 165 secs
lola: 3861963 markings, 15703364 edges, 27318 markings/sec, 170 secs
lola: 3991760 markings, 16046577 edges, 25959 markings/sec, 175 secs
lola: 4121388 markings, 16386364 edges, 25926 markings/sec, 180 secs
lola: 4253644 markings, 16710063 edges, 26451 markings/sec, 185 secs
lola: 4380097 markings, 17041221 edges, 25291 markings/sec, 190 secs
lola: 4505577 markings, 17368574 edges, 25096 markings/sec, 195 secs
lola: 4629417 markings, 17701021 edges, 24768 markings/sec, 200 secs
lola: 4754062 markings, 18027679 edges, 24929 markings/sec, 205 secs
lola: 4878810 markings, 18354089 edges, 24950 markings/sec, 210 secs
lola: 4999620 markings, 18681939 edges, 24162 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_3_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 329731 markings, 366295 edges, 65946 markings/sec, 0 secs
lola: 677416 markings, 749721 edges, 69537 markings/sec, 5 secs
lola: 995012 markings, 1094374 edges, 63519 markings/sec, 10 secs
lola: 1297785 markings, 1419753 edges, 60555 markings/sec, 15 secs
lola: 1590559 markings, 1728792 edges, 58555 markings/sec, 20 secs
lola: 1885940 markings, 2042045 edges, 59076 markings/sec, 25 secs
lola: 2183554 markings, 2357725 edges, 59523 markings/sec, 30 secs
lola: 2484219 markings, 2703344 edges, 60133 markings/sec, 35 secs
lola: 2779064 markings, 3049474 edges, 58969 markings/sec, 40 secs
lola: 3076155 markings, 3386489 edges, 59418 markings/sec, 45 secs
lola: 3376013 markings, 3734042 edges, 59972 markings/sec, 50 secs
lola: 3670298 markings, 4073575 edges, 58857 markings/sec, 55 secs
lola: 3958505 markings, 4413167 edges, 57641 markings/sec, 60 secs
lola: 4232138 markings, 4768302 edges, 54727 markings/sec, 65 secs
lola: 4523891 markings, 5100150 edges, 58351 markings/sec, 70 secs
lola: 4809201 markings, 5429503 edges, 57062 markings/sec, 75 secs
lola: 5096820 markings, 5760834 edges, 57524 markings/sec, 80 secs
lola: 5382675 markings, 6091979 edges, 57171 markings/sec, 85 secs
lola: 5657601 markings, 6414961 edges, 54985 markings/sec, 90 secs
lola: 5941137 markings, 6735708 edges, 56707 markings/sec, 95 secs
lola: 6228175 markings, 7071292 edges, 57408 markings/sec, 100 secs
lola: 6514199 markings, 7400410 edges, 57205 markings/sec, 105 secs
lola: 6805446 markings, 7737587 edges, 58249 markings/sec, 110 secs
lola: 7097670 markings, 8079336 edges, 58445 markings/sec, 115 secs
lola: 7392215 markings, 8415403 edges, 58909 markings/sec, 120 secs
lola: 7678739 markings, 8746813 edges, 57305 markings/sec, 125 secs
lola: 7952157 markings, 9063409 edges, 54684 markings/sec, 130 secs
lola: 8231659 markings, 9377647 edges, 55900 markings/sec, 135 secs
lola: 8505907 markings, 9700191 edges, 54850 markings/sec, 140 secs
lola: 8772610 markings, 10031580 edges, 53341 markings/sec, 145 secs
lola: 8981927 markings, 10442388 edges, 41863 markings/sec, 150 secs
lola: 9271821 markings, 10773422 edges, 57979 markings/sec, 155 secs
lola: 9578861 markings, 11125885 edges, 61408 markings/sec, 160 secs
lola: 9876873 markings, 11476039 edges, 59602 markings/sec, 165 secs
lola: 10162679 markings, 11831384 edges, 57161 markings/sec, 170 secs
lola: 10454486 markings, 12168128 edges, 58361 markings/sec, 175 secs
lola: 10748911 markings, 12509690 edges, 58885 markings/sec, 180 secs
lola: 11034196 markings, 12855745 edges, 57057 markings/sec, 185 secs
lola: 11275841 markings, 13313980 edges, 48329 markings/sec, 190 secs
lola: 11569872 markings, 13654059 edges, 58806 markings/sec, 195 secs
lola: 11858974 markings, 13994493 edges, 57820 markings/sec, 200 secs
lola: 12125801 markings, 14382039 edges, 53365 markings/sec, 205 secs
lola: 12414569 markings, 14714101 edges, 57754 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_7_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 247760 markings, 315710 edges, 49552 markings/sec, 0 secs
lola: 432874 markings, 703278 edges, 37023 markings/sec, 5 secs
lola: 634259 markings, 1034619 edges, 40277 markings/sec, 10 secs
lola: 834761 markings, 1361529 edges, 40100 markings/sec, 15 secs
lola: 1012494 markings, 1734027 edges, 35547 markings/sec, 20 secs
lola: 1218667 markings, 2044317 edges, 41235 markings/sec, 25 secs
lola: 1413809 markings, 2387974 edges, 39028 markings/sec, 30 secs
lola: 1605540 markings, 2759197 edges, 38346 markings/sec, 35 secs
lola: 1843921 markings, 3042501 edges, 47676 markings/sec, 40 secs
lola: 2079406 markings, 3328514 edges, 47097 markings/sec, 45 secs
lola: 2310344 markings, 3615216 edges, 46188 markings/sec, 50 secs
lola: 2542088 markings, 3900207 edges, 46349 markings/sec, 55 secs
lola: 2772261 markings, 4184818 edges, 46035 markings/sec, 60 secs
lola: 2999677 markings, 4467154 edges, 45483 markings/sec, 65 secs
lola: 3227147 markings, 4750012 edges, 45494 markings/sec, 70 secs
lola: 3450822 markings, 5032673 edges, 44735 markings/sec, 75 secs
lola: 3675324 markings, 5314980 edges, 44900 markings/sec, 80 secs
lola: 3896086 markings, 5604564 edges, 44152 markings/sec, 85 secs
lola: 4110216 markings, 5900344 edges, 42826 markings/sec, 90 secs
lola: 4323273 markings, 6194327 edges, 42611 markings/sec, 95 secs
lola: 4533061 markings, 6489206 edges, 41958 markings/sec, 100 secs
lola: 4735253 markings, 6793781 edges, 40438 markings/sec, 105 secs
lola: 4937048 markings, 7094596 edges, 40359 markings/sec, 110 secs
lola: 5134468 markings, 7403161 edges, 39484 markings/sec, 115 secs
lola: 5328359 markings, 7716146 edges, 38778 markings/sec, 120 secs
lola: 5501855 markings, 8091989 edges, 34699 markings/sec, 125 secs
lola: 5513983 markings, 8735163 edges, 2426 markings/sec, 130 secs
lola: 5538491 markings, 9368574 edges, 4902 markings/sec, 135 secs
lola: 5597007 markings, 9957195 edges, 11703 markings/sec, 140 secs
lola: 5616277 markings, 10618165 edges, 3854 markings/sec, 145 secs
lola: 5675093 markings, 11225820 edges, 11763 markings/sec, 150 secs
lola: 5872392 markings, 11484097 edges, 39460 markings/sec, 155 secs
lola: 6020867 markings, 11816757 edges, 29695 markings/sec, 160 secs
lola: 6219909 markings, 12078058 edges, 39808 markings/sec, 165 secs
lola: 6374527 markings, 12409893 edges, 30924 markings/sec, 170 secs
lola: 6522241 markings, 12740351 edges, 29543 markings/sec, 175 secs
lola: 6749340 markings, 13009371 edges, 45420 markings/sec, 180 secs
lola: 6947087 markings, 13264537 edges, 39549 markings/sec, 185 secs
lola: 7106142 markings, 13596524 edges, 31811 markings/sec, 190 secs
lola: 7330433 markings, 13868124 edges, 44858 markings/sec, 195 secs
lola: 7551119 markings, 14141402 edges, 44137 markings/sec, 200 secs
lola: 7771068 markings, 14412666 edges, 43990 markings/sec, 205 secs
lola: 7990542 markings, 14683044 edges, 43895 markings/sec, 210 secs
lola: 8208120 markings, 14953563 edges, 43516 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_3_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 276848 markings, 585922 edges, 55370 markings/sec, 0 secs
lola: 546724 markings, 1163735 edges, 53975 markings/sec, 5 secs
lola: 793459 markings, 1810192 edges, 49347 markings/sec, 10 secs
lola: 1034493 markings, 2438071 edges, 48207 markings/sec, 15 secs
lola: 1296162 markings, 2990497 edges, 52334 markings/sec, 20 secs
lola: 1540147 markings, 3600131 edges, 48797 markings/sec, 25 secs
lola: 1840853 markings, 4063833 edges, 60141 markings/sec, 30 secs
lola: 2120941 markings, 4537012 edges, 56018 markings/sec, 35 secs
lola: 2389342 markings, 5003801 edges, 53680 markings/sec, 40 secs
lola: 2635594 markings, 5514007 edges, 49250 markings/sec, 45 secs
lola: 2893809 markings, 5983269 edges, 51643 markings/sec, 50 secs
lola: 3159560 markings, 6422721 edges, 53150 markings/sec, 55 secs
lola: 3413505 markings, 6847114 edges, 50789 markings/sec, 60 secs
lola: 3632050 markings, 7318019 edges, 43709 markings/sec, 65 secs
lola: 3646938 markings, 8084217 edges, 2978 markings/sec, 70 secs
lola: 3680722 markings, 8857167 edges, 6757 markings/sec, 75 secs
lola: 3720160 markings, 9662681 edges, 7888 markings/sec, 80 secs
lola: 3897002 markings, 10314352 edges, 35368 markings/sec, 85 secs
lola: 4148747 markings, 10897623 edges, 50349 markings/sec, 90 secs
lola: 4391082 markings, 11489767 edges, 48467 markings/sec, 95 secs
lola: 4645764 markings, 12076545 edges, 50936 markings/sec, 100 secs
lola: 4880969 markings, 12684380 edges, 47041 markings/sec, 105 secs
lola: 5156399 markings, 13228216 edges, 55086 markings/sec, 110 secs
lola: 5443799 markings, 13698988 edges, 57480 markings/sec, 115 secs
lola: 5729978 markings, 14158572 edges, 57236 markings/sec, 120 secs
lola: 5983506 markings, 14633109 edges, 50706 markings/sec, 125 secs
lola: 6226740 markings, 15137855 edges, 48647 markings/sec, 130 secs
lola: 6486891 markings, 15587835 edges, 52030 markings/sec, 135 secs
lola: 6747684 markings, 16014588 edges, 52159 markings/sec, 140 secs
lola: 7000740 markings, 16441072 edges, 50611 markings/sec, 145 secs
lola: 7156470 markings, 16991255 edges, 31146 markings/sec, 150 secs
lola: 7171162 markings, 17745603 edges, 2938 markings/sec, 155 secs
lola: 7200728 markings, 18530419 edges, 5913 markings/sec, 160 secs
lola: 7239978 markings, 19345330 edges, 7850 markings/sec, 165 secs
lola: 7477609 markings, 19939483 edges, 47526 markings/sec, 170 secs
lola: 7731062 markings, 20491762 edges, 50691 markings/sec, 175 secs
lola: 7969466 markings, 21112293 edges, 47681 markings/sec, 180 secs
lola: 8205626 markings, 21722746 edges, 47232 markings/sec, 185 secs
lola: 8485015 markings, 22270829 edges, 55878 markings/sec, 190 secs
lola: 8773395 markings, 22742600 edges, 57676 markings/sec, 195 secs
lola: 9060277 markings, 23205583 edges, 57376 markings/sec, 200 secs
lola: 9317343 markings, 23683469 edges, 51413 markings/sec, 205 secs
lola: 9564701 markings, 24194653 edges, 49472 markings/sec, 210 secs
lola: 9827575 markings, 24649326 edges, 52575 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2172 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: 576054 markings, 682861 edges, 115211 markings/sec, 0 secs
lola: 1126534 markings, 1347190 edges, 110096 markings/sec, 5 secs
lola: 1688668 markings, 2031279 edges, 112427 markings/sec, 10 secs
lola: 2250982 markings, 2684731 edges, 112463 markings/sec, 15 secs
lola: 2754705 markings, 3229156 edges, 100745 markings/sec, 20 secs
lola: 3253963 markings, 3768498 edges, 99852 markings/sec, 25 secs
lola: 3751220 markings, 4292224 edges, 99451 markings/sec, 30 secs
lola: 4241541 markings, 4803101 edges, 98064 markings/sec, 35 secs
lola: 4720626 markings, 5308889 edges, 95817 markings/sec, 40 secs
lola: 5161475 markings, 5854834 edges, 88170 markings/sec, 45 secs
lola: 5660334 markings, 6394288 edges, 99772 markings/sec, 50 secs
lola: 6158163 markings, 6918089 edges, 99566 markings/sec, 55 secs
lola: 6645990 markings, 7435393 edges, 97565 markings/sec, 60 secs
lola: 7127102 markings, 7939789 edges, 96222 markings/sec, 65 secs
lola: 7599026 markings, 8440458 edges, 94385 markings/sec, 70 secs
lola: 8057156 markings, 9008395 edges, 91626 markings/sec, 75 secs
lola: 8563088 markings, 9542158 edges, 101186 markings/sec, 80 secs
lola: 9058151 markings, 10066061 edges, 99013 markings/sec, 85 secs
lola: 9544682 markings, 10577873 edges, 97306 markings/sec, 90 secs
lola: 10008527 markings, 11098566 edges, 92769 markings/sec, 95 secs
lola: 10473018 markings, 11645047 edges, 92898 markings/sec, 100 secs
lola: 10963150 markings, 12158962 edges, 98026 markings/sec, 105 secs
lola: 11443445 markings, 12660645 edges, 96059 markings/sec, 110 secs
lola: 11915669 markings, 13161384 edges, 94445 markings/sec, 115 secs
lola: 12363595 markings, 13706089 edges, 89585 markings/sec, 120 secs
lola: 12866910 markings, 14225469 edges, 100663 markings/sec, 125 secs
lola: 13356272 markings, 14742966 edges, 97872 markings/sec, 130 secs
lola: 13837740 markings, 15248013 edges, 96294 markings/sec, 135 secs
lola: 14310860 markings, 15749012 edges, 94624 markings/sec, 140 secs
lola: 14760360 markings, 16295742 edges, 89900 markings/sec, 145 secs
lola: 15250241 markings, 16804082 edges, 97976 markings/sec, 150 secs
lola: 15736603 markings, 17308997 edges, 97272 markings/sec, 155 secs
lola: 16223634 markings, 17814899 edges, 97406 markings/sec, 160 secs
lola: 16709024 markings, 18320266 edges, 97078 markings/sec, 165 secs
lola: 17192289 markings, 18823564 edges, 96653 markings/sec, 170 secs
lola: 17672552 markings, 19323734 edges, 96053 markings/sec, 175 secs
lola: 18152393 markings, 19825977 edges, 95968 markings/sec, 180 secs
lola: 18629271 markings, 20326685 edges, 95376 markings/sec, 185 secs
lola: 19107880 markings, 20831065 edges, 95722 markings/sec, 190 secs
lola: 19582283 markings, 21328119 edges, 94881 markings/sec, 195 secs
lola: 20060805 markings, 21827490 edges, 95704 markings/sec, 200 secs
lola: 20531736 markings, 22323881 edges, 94186 markings/sec, 205 secs
lola: 21005370 markings, 22822518 edges, 94727 markings/sec, 210 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA SquareGrid-PT-080408-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-080408-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496566046192

--------------------
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_SquareGrid-PT-080408"
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_SquareGrid-PT-080408.tgz
mv S_SquareGrid-PT-080408 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_SquareGrid-PT-080408, 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 r158-ebro-149443464000137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;