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_Vasy2003-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464300380
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496576971191


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


checking for too many tokens
===========================================================================================
S_Vasy2003-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Vasy2003-PT-none @ 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: 1261/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 485 places, 776 transitions, 419 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 962 transition conflict sets
lola: TASK
lola: reading formula from Vasy2003-PT-none-UpperBounds.task
lola: MAX(p131) : MAX(p194) : MAX(p121) : MAX(p465) : MAX(p430) : MAX(p413) : MAX(p145) : MAX(p232) : MAX(p316) : MAX(p386) : MAX(p279) : MAX(p33) : MAX(p52) : MAX(p356) : MAX(p239) : MAX(p25)
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(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 266836 markings, 326821 edges, 53367 markings/sec, 0 secs
lola: 537217 markings, 657766 edges, 54076 markings/sec, 5 secs
lola: 806592 markings, 990647 edges, 53875 markings/sec, 10 secs
lola: 1075786 markings, 1321623 edges, 53839 markings/sec, 15 secs
lola: 1345493 markings, 1651909 edges, 53941 markings/sec, 20 secs
lola: 1614822 markings, 1981636 edges, 53866 markings/sec, 25 secs
lola: 1885158 markings, 2313316 edges, 54067 markings/sec, 30 secs
lola: 2161775 markings, 2651798 edges, 55323 markings/sec, 35 secs
lola: 2440810 markings, 2993622 edges, 55807 markings/sec, 40 secs
lola: 2717617 markings, 3334726 edges, 55361 markings/sec, 45 secs
lola: 2991447 markings, 3676938 edges, 54766 markings/sec, 50 secs
lola: 3267319 markings, 4019261 edges, 55174 markings/sec, 55 secs
lola: 3541126 markings, 4357305 edges, 54761 markings/sec, 60 secs
lola: 3817731 markings, 4697103 edges, 55321 markings/sec, 65 secs
lola: 4094065 markings, 5035828 edges, 55267 markings/sec, 70 secs
lola: 4368757 markings, 5376229 edges, 54938 markings/sec, 75 secs
lola: 4644027 markings, 5714372 edges, 55054 markings/sec, 80 secs
lola: 4919294 markings, 6051428 edges, 55053 markings/sec, 85 secs
lola: 5192562 markings, 6390376 edges, 54654 markings/sec, 90 secs
lola: 5468695 markings, 6729467 edges, 55227 markings/sec, 95 secs
lola: 5745080 markings, 7067955 edges, 55277 markings/sec, 100 secs
lola: 6018152 markings, 7407164 edges, 54614 markings/sec, 105 secs
lola: 6292735 markings, 7742859 edges, 54917 markings/sec, 110 secs
lola: 6563084 markings, 8079565 edges, 54070 markings/sec, 115 secs
lola: 6833147 markings, 8412521 edges, 54013 markings/sec, 120 secs
lola: 7104916 markings, 8749132 edges, 54354 markings/sec, 125 secs
lola: 7378867 markings, 9086665 edges, 54790 markings/sec, 130 secs
lola: 7647803 markings, 9418022 edges, 53787 markings/sec, 135 secs
lola: 7919776 markings, 9750960 edges, 54395 markings/sec, 140 secs
lola: 8189861 markings, 10084581 edges, 54017 markings/sec, 145 secs
lola: 8460084 markings, 10418941 edges, 54045 markings/sec, 150 secs
lola: 8729863 markings, 10751799 edges, 53956 markings/sec, 155 secs
lola: 9002806 markings, 11086505 edges, 54589 markings/sec, 160 secs
lola: 9271832 markings, 11419185 edges, 53805 markings/sec, 165 secs
lola: 9541359 markings, 11753559 edges, 53905 markings/sec, 170 secs
lola: 9813926 markings, 12087058 edges, 54513 markings/sec, 175 secs
lola: 10083219 markings, 12419981 edges, 53859 markings/sec, 180 secs
lola: 10352298 markings, 12753464 edges, 53816 markings/sec, 185 secs
lola: 10624814 markings, 13086874 edges, 54503 markings/sec, 190 secs
lola: 10894770 markings, 13420319 edges, 53991 markings/sec, 195 secs
lola: 11166690 markings, 13756119 edges, 54384 markings/sec, 200 secs
lola: 11440855 markings, 14091762 edges, 54833 markings/sec, 205 secs
lola: 11713040 markings, 14427949 edges, 54437 markings/sec, 210 secs
lola: 11985600 markings, 14763309 edges, 54512 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(p194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 188376 markings, 328715 edges, 37675 markings/sec, 0 secs
lola: 372307 markings, 661721 edges, 36786 markings/sec, 5 secs
lola: 554349 markings, 993120 edges, 36408 markings/sec, 10 secs
lola: 737374 markings, 1339780 edges, 36605 markings/sec, 15 secs
lola: 919055 markings, 1692754 edges, 36336 markings/sec, 20 secs
lola: 1103789 markings, 2033038 edges, 36947 markings/sec, 25 secs
lola: 1287514 markings, 2364777 edges, 36745 markings/sec, 30 secs
lola: 1472292 markings, 2689566 edges, 36956 markings/sec, 35 secs
lola: 1654054 markings, 3019365 edges, 36352 markings/sec, 40 secs
lola: 1834852 markings, 3351099 edges, 36160 markings/sec, 45 secs
lola: 2015394 markings, 3681924 edges, 36108 markings/sec, 50 secs
lola: 2198820 markings, 4013808 edges, 36685 markings/sec, 55 secs
lola: 2381006 markings, 4340989 edges, 36437 markings/sec, 60 secs
lola: 2561105 markings, 4673490 edges, 36020 markings/sec, 65 secs
lola: 2741281 markings, 5016411 edges, 36035 markings/sec, 70 secs
lola: 2920740 markings, 5353908 edges, 35892 markings/sec, 75 secs
lola: 3100496 markings, 5688050 edges, 35951 markings/sec, 80 secs
lola: 3283690 markings, 6018689 edges, 36639 markings/sec, 85 secs
lola: 3462703 markings, 6353790 edges, 35803 markings/sec, 90 secs
lola: 3642734 markings, 6679045 edges, 36006 markings/sec, 95 secs
lola: 3821617 markings, 7002755 edges, 35777 markings/sec, 100 secs
lola: 3999213 markings, 7328152 edges, 35519 markings/sec, 105 secs
lola: 4178576 markings, 7657129 edges, 35873 markings/sec, 110 secs
lola: 4357335 markings, 7975132 edges, 35752 markings/sec, 115 secs
lola: 4533350 markings, 8305180 edges, 35203 markings/sec, 120 secs
lola: 4710910 markings, 8626948 edges, 35512 markings/sec, 125 secs
lola: 4892545 markings, 8947930 edges, 36327 markings/sec, 130 secs
lola: 5070365 markings, 9277824 edges, 35564 markings/sec, 135 secs
lola: 5251631 markings, 9610164 edges, 36253 markings/sec, 140 secs
lola: 5426071 markings, 9944502 edges, 34888 markings/sec, 145 secs
lola: 5601640 markings, 10279882 edges, 35114 markings/sec, 150 secs
lola: 5781009 markings, 10626967 edges, 35874 markings/sec, 155 secs
lola: 5970801 markings, 10972457 edges, 37958 markings/sec, 160 secs
lola: 6158553 markings, 11306852 edges, 37550 markings/sec, 165 secs
lola: 6341185 markings, 11653542 edges, 36526 markings/sec, 170 secs
lola: 6526833 markings, 11998061 edges, 37130 markings/sec, 175 secs
lola: 6707511 markings, 12339148 edges, 36136 markings/sec, 180 secs
lola: 6892676 markings, 12682842 edges, 37033 markings/sec, 185 secs
lola: 7074903 markings, 13028120 edges, 36445 markings/sec, 190 secs
lola: 7264210 markings, 13368560 edges, 37861 markings/sec, 195 secs
lola: 7452272 markings, 13707902 edges, 37612 markings/sec, 200 secs
lola: 7641791 markings, 14053295 edges, 37904 markings/sec, 205 secs
lola: 7832912 markings, 14402650 edges, 38224 markings/sec, 210 secs
lola: 8016518 markings, 14746903 edges, 36721 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(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p465)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 185252 markings, 355958 edges, 37050 markings/sec, 0 secs
lola: 372881 markings, 717352 edges, 37526 markings/sec, 5 secs
lola: 558856 markings, 1075603 edges, 37195 markings/sec, 10 secs
lola: 746053 markings, 1435768 edges, 37439 markings/sec, 15 secs
lola: 930934 markings, 1791986 edges, 36976 markings/sec, 20 secs
lola: 1115305 markings, 2146492 edges, 36874 markings/sec, 25 secs
lola: 1299692 markings, 2501935 edges, 36877 markings/sec, 30 secs
lola: 1483223 markings, 2855141 edges, 36706 markings/sec, 35 secs
lola: 1667107 markings, 3208511 edges, 36777 markings/sec, 40 secs
lola: 1850368 markings, 3562160 edges, 36652 markings/sec, 45 secs
lola: 2032782 markings, 3913532 edges, 36483 markings/sec, 50 secs
lola: 2211970 markings, 4260383 edges, 35838 markings/sec, 55 secs
lola: 2392562 markings, 4608119 edges, 36118 markings/sec, 60 secs
lola: 2575036 markings, 4960876 edges, 36495 markings/sec, 65 secs
lola: 2755554 markings, 5310231 edges, 36104 markings/sec, 70 secs
lola: 2936615 markings, 5659963 edges, 36212 markings/sec, 75 secs
lola: 3116737 markings, 6006893 edges, 36024 markings/sec, 80 secs
lola: 3297494 markings, 6355664 edges, 36151 markings/sec, 85 secs
lola: 3479653 markings, 6707380 edges, 36432 markings/sec, 90 secs
lola: 3660654 markings, 7056837 edges, 36200 markings/sec, 95 secs
lola: 3841999 markings, 7405873 edges, 36269 markings/sec, 100 secs
lola: 4022915 markings, 7755584 edges, 36183 markings/sec, 105 secs
lola: 4202706 markings, 8102814 edges, 35958 markings/sec, 110 secs
lola: 4382438 markings, 8451482 edges, 35946 markings/sec, 115 secs
lola: 4561208 markings, 8798813 edges, 35754 markings/sec, 120 secs
lola: 4743660 markings, 9150571 edges, 36490 markings/sec, 125 secs
lola: 4925201 markings, 9500456 edges, 36308 markings/sec, 130 secs
lola: 5106816 markings, 9850410 edges, 36323 markings/sec, 135 secs
lola: 5285328 markings, 10194637 edges, 35702 markings/sec, 140 secs
lola: 5463692 markings, 10538274 edges, 35673 markings/sec, 145 secs
lola: 5643129 markings, 10886434 edges, 35887 markings/sec, 150 secs
lola: 5824575 markings, 11237005 edges, 36289 markings/sec, 155 secs
lola: 6001147 markings, 11577658 edges, 35314 markings/sec, 160 secs
lola: 6179635 markings, 11922854 edges, 35698 markings/sec, 165 secs
lola: 6360544 markings, 12271889 edges, 36182 markings/sec, 170 secs
lola: 6542241 markings, 12622491 edges, 36339 markings/sec, 175 secs
lola: 6721544 markings, 12968910 edges, 35861 markings/sec, 180 secs
lola: 6902119 markings, 13318172 edges, 36115 markings/sec, 185 secs
lola: 7084269 markings, 13668877 edges, 36430 markings/sec, 190 secs
lola: 7265229 markings, 14019649 edges, 36192 markings/sec, 195 secs
lola: 7445812 markings, 14367481 edges, 36117 markings/sec, 200 secs
lola: 7624479 markings, 14712921 edges, 35733 markings/sec, 205 secs
lola: 7803326 markings, 15057447 edges, 35769 markings/sec, 210 secs
lola: 7986508 markings, 15409919 edges, 36636 markings/sec, 215 secs
lola: 8170950 markings, 15765033 edges, 36888 markings/sec, 220 secs
lola: 8354822 markings, 16119999 edges, 36774 markings/sec, 225 secs
lola: 8536128 markings, 16471543 edges, 36261 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p430)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 208596 markings, 350521 edges, 41719 markings/sec, 0 secs
lola: 416118 markings, 706033 edges, 41504 markings/sec, 5 secs
lola: 624924 markings, 1061028 edges, 41761 markings/sec, 10 secs
lola: 829918 markings, 1414121 edges, 40999 markings/sec, 15 secs
lola: 1032079 markings, 1767554 edges, 40432 markings/sec, 20 secs
lola: 1232382 markings, 2125270 edges, 40061 markings/sec, 25 secs
lola: 1432956 markings, 2481340 edges, 40115 markings/sec, 30 secs
lola: 1634611 markings, 2833771 edges, 40331 markings/sec, 35 secs
lola: 1835871 markings, 3185169 edges, 40252 markings/sec, 40 secs
lola: 2036001 markings, 3539364 edges, 40026 markings/sec, 45 secs
lola: 2236667 markings, 3888993 edges, 40133 markings/sec, 50 secs
lola: 2432167 markings, 4236420 edges, 39100 markings/sec, 55 secs
lola: 2632580 markings, 4586100 edges, 40083 markings/sec, 60 secs
lola: 2831425 markings, 4931442 edges, 39769 markings/sec, 65 secs
lola: 3030559 markings, 5277213 edges, 39827 markings/sec, 70 secs
lola: 3231421 markings, 5626287 edges, 40172 markings/sec, 75 secs
lola: 3432362 markings, 5973578 edges, 40188 markings/sec, 80 secs
lola: 3637023 markings, 6320630 edges, 40932 markings/sec, 85 secs
lola: 3835914 markings, 6671849 edges, 39778 markings/sec, 90 secs
lola: 4036387 markings, 7020805 edges, 40095 markings/sec, 95 secs
lola: 4233426 markings, 7376355 edges, 39408 markings/sec, 100 secs
lola: 4430055 markings, 7730185 edges, 39326 markings/sec, 105 secs
lola: 4629403 markings, 8071231 edges, 39870 markings/sec, 110 secs
lola: 4825972 markings, 8423652 edges, 39314 markings/sec, 115 secs
lola: 5023381 markings, 8765246 edges, 39482 markings/sec, 120 secs
lola: 5222198 markings, 9109915 edges, 39763 markings/sec, 125 secs
lola: 5418314 markings, 9466230 edges, 39223 markings/sec, 130 secs
lola: 5619716 markings, 9810232 edges, 40280 markings/sec, 135 secs
lola: 5818955 markings, 10160753 edges, 39848 markings/sec, 140 secs
lola: 6013952 markings, 10514910 edges, 38999 markings/sec, 145 secs
lola: 6209173 markings, 10861842 edges, 39044 markings/sec, 150 secs
lola: 6404052 markings, 11209066 edges, 38976 markings/sec, 155 secs
lola: 6599245 markings, 11556400 edges, 39039 markings/sec, 160 secs
lola: 6797848 markings, 11909287 edges, 39721 markings/sec, 165 secs
lola: 7000059 markings, 12259808 edges, 40442 markings/sec, 170 secs
lola: 7198887 markings, 12607952 edges, 39766 markings/sec, 175 secs
lola: 7400331 markings, 12955554 edges, 40289 markings/sec, 180 secs
lola: 7596918 markings, 13295762 edges, 39317 markings/sec, 185 secs
lola: 7795709 markings, 13641262 edges, 39758 markings/sec, 190 secs
lola: 7998114 markings, 13994789 edges, 40481 markings/sec, 195 secs
lola: 8196759 markings, 14346476 edges, 39729 markings/sec, 200 secs
lola: 8397694 markings, 14695248 edges, 40187 markings/sec, 205 secs
lola: 8600422 markings, 15046820 edges, 40546 markings/sec, 210 secs
lola: 8799751 markings, 15395583 edges, 39866 markings/sec, 215 secs
lola: 8998515 markings, 15744862 edges, 39753 markings/sec, 220 secs
lola: 9197753 markings, 16085353 edges, 39848 markings/sec, 225 secs
lola: 9396536 markings, 16431457 edges, 39757 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p413)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 225813 markings, 336441 edges, 45163 markings/sec, 0 secs
lola: 446682 markings, 678212 edges, 44174 markings/sec, 5 secs
lola: 664738 markings, 1013768 edges, 43611 markings/sec, 10 secs
lola: 881729 markings, 1346200 edges, 43398 markings/sec, 15 secs
lola: 1100201 markings, 1679108 edges, 43694 markings/sec, 20 secs
lola: 1320673 markings, 2009304 edges, 44094 markings/sec, 25 secs
lola: 1531345 markings, 2346401 edges, 42134 markings/sec, 30 secs
lola: 1746235 markings, 2676066 edges, 42978 markings/sec, 35 secs
lola: 1969247 markings, 3021230 edges, 44602 markings/sec, 40 secs
lola: 2191546 markings, 3361309 edges, 44460 markings/sec, 45 secs
lola: 2413104 markings, 3696356 edges, 44312 markings/sec, 50 secs
lola: 2634129 markings, 4035084 edges, 44205 markings/sec, 55 secs
lola: 2851881 markings, 4384748 edges, 43550 markings/sec, 60 secs
lola: 3070197 markings, 4732133 edges, 43663 markings/sec, 65 secs
lola: 3291492 markings, 5074764 edges, 44259 markings/sec, 70 secs
lola: 3512554 markings, 5419124 edges, 44212 markings/sec, 75 secs
lola: 3734777 markings, 5759899 edges, 44445 markings/sec, 80 secs
lola: 3956026 markings, 6101849 edges, 44250 markings/sec, 85 secs
lola: 4174494 markings, 6446381 edges, 43694 markings/sec, 90 secs
lola: 4398180 markings, 6786090 edges, 44737 markings/sec, 95 secs
lola: 4620502 markings, 7130904 edges, 44464 markings/sec, 100 secs
lola: 4839131 markings, 7472565 edges, 43726 markings/sec, 105 secs
lola: 5054955 markings, 7816305 edges, 43165 markings/sec, 110 secs
lola: 5267751 markings, 8153288 edges, 42559 markings/sec, 115 secs
lola: 5485872 markings, 8491178 edges, 43624 markings/sec, 120 secs
lola: 5707840 markings, 8833785 edges, 44394 markings/sec, 125 secs
lola: 5929501 markings, 9172185 edges, 44332 markings/sec, 130 secs
lola: 6148615 markings, 9519193 edges, 43823 markings/sec, 135 secs
lola: 6368394 markings, 9868072 edges, 43956 markings/sec, 140 secs
lola: 6585686 markings, 10213408 edges, 43458 markings/sec, 145 secs
lola: 6802691 markings, 10558255 edges, 43401 markings/sec, 150 secs
lola: 7021474 markings, 10898436 edges, 43757 markings/sec, 155 secs
lola: 7238628 markings, 11236149 edges, 43431 markings/sec, 160 secs
lola: 7454145 markings, 11575711 edges, 43103 markings/sec, 165 secs
lola: 7667081 markings, 11910179 edges, 42587 markings/sec, 170 secs
lola: 7888902 markings, 12246767 edges, 44364 markings/sec, 175 secs
lola: 8104076 markings, 12581635 edges, 43035 markings/sec, 180 secs
lola: 8319127 markings, 12910238 edges, 43010 markings/sec, 185 secs
lola: 8529534 markings, 13240464 edges, 42081 markings/sec, 190 secs
lola: 8748666 markings, 13576836 edges, 43826 markings/sec, 195 secs
lola: 8968913 markings, 13906660 edges, 44049 markings/sec, 200 secs
lola: 9180679 markings, 14240574 edges, 42353 markings/sec, 205 secs
lola: 9392586 markings, 14580089 edges, 42381 markings/sec, 210 secs
lola: 9607407 markings, 14916320 edges, 42964 markings/sec, 215 secs
lola: 9828988 markings, 15255719 edges, 44316 markings/sec, 220 secs
lola: 10042608 markings, 15589188 edges, 42724 markings/sec, 225 secs
lola: 10258951 markings, 15931591 edges, 43269 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 278978 markings, 335504 edges, 55796 markings/sec, 0 secs
lola: 557381 markings, 671027 edges, 55681 markings/sec, 5 secs
lola: 833418 markings, 1004345 edges, 55207 markings/sec, 10 secs
lola: 1110666 markings, 1341871 edges, 55450 markings/sec, 15 secs
lola: 1392413 markings, 1675560 edges, 56349 markings/sec, 20 secs
lola: 1669093 markings, 2012700 edges, 55336 markings/sec, 25 secs
lola: 1943201 markings, 2352357 edges, 54822 markings/sec, 30 secs
lola: 2216508 markings, 2689531 edges, 54661 markings/sec, 35 secs
lola: 2485832 markings, 3023827 edges, 53865 markings/sec, 40 secs
lola: 2760221 markings, 3361706 edges, 54878 markings/sec, 45 secs
lola: 3033110 markings, 3698915 edges, 54578 markings/sec, 50 secs
lola: 3304941 markings, 4036169 edges, 54366 markings/sec, 55 secs
lola: 3575294 markings, 4370041 edges, 54071 markings/sec, 60 secs
lola: 3848025 markings, 4706811 edges, 54546 markings/sec, 65 secs
lola: 4109875 markings, 5030901 edges, 52370 markings/sec, 70 secs
lola: 4371234 markings, 5353018 edges, 52272 markings/sec, 75 secs
lola: 4629361 markings, 5675074 edges, 51625 markings/sec, 80 secs
lola: 4886846 markings, 5990675 edges, 51497 markings/sec, 85 secs
lola: 5140951 markings, 6309937 edges, 50821 markings/sec, 90 secs
lola: 5409071 markings, 6639333 edges, 53624 markings/sec, 95 secs
lola: 5667936 markings, 6960955 edges, 51773 markings/sec, 100 secs
lola: 5925840 markings, 7284590 edges, 51581 markings/sec, 105 secs
lola: 6190750 markings, 7606565 edges, 52982 markings/sec, 110 secs
lola: 6455672 markings, 7931370 edges, 52984 markings/sec, 115 secs
lola: 6712271 markings, 8251225 edges, 51320 markings/sec, 120 secs
lola: 6970860 markings, 8573089 edges, 51718 markings/sec, 125 secs
lola: 7230436 markings, 8892421 edges, 51915 markings/sec, 130 secs
lola: 7490063 markings, 9214949 edges, 51925 markings/sec, 135 secs
lola: 7755151 markings, 9546678 edges, 53018 markings/sec, 140 secs
lola: 8022090 markings, 9872192 edges, 53388 markings/sec, 145 secs
lola: 8277887 markings, 10190950 edges, 51159 markings/sec, 150 secs
lola: 8538191 markings, 10514700 edges, 52061 markings/sec, 155 secs
lola: 8794642 markings, 10825879 edges, 51290 markings/sec, 160 secs
lola: 9058394 markings, 11148796 edges, 52750 markings/sec, 165 secs
lola: 9323226 markings, 11476192 edges, 52966 markings/sec, 170 secs
lola: 9592263 markings, 11807849 edges, 53807 markings/sec, 175 secs
lola: 9853181 markings, 12131665 edges, 52184 markings/sec, 180 secs
lola: 10115339 markings, 12454020 edges, 52432 markings/sec, 185 secs
lola: 10382168 markings, 12774155 edges, 53366 markings/sec, 190 secs
lola: 10646248 markings, 13097844 edges, 52816 markings/sec, 195 secs
lola: 10909249 markings, 13413470 edges, 52600 markings/sec, 200 secs
lola: 11174110 markings, 13739944 edges, 52972 markings/sec, 205 secs
lola: 11441680 markings, 14065731 edges, 53514 markings/sec, 210 secs
lola: 11702868 markings, 14387146 edges, 52238 markings/sec, 215 secs
lola: 11965725 markings, 14712680 edges, 52571 markings/sec, 220 secs
lola: 12225318 markings, 15035370 edges, 51919 markings/sec, 225 secs
lola: 12490202 markings, 15360257 edges, 52977 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 205311 markings, 309158 edges, 41062 markings/sec, 0 secs
lola: 407310 markings, 621074 edges, 40400 markings/sec, 5 secs
lola: 609375 markings, 940653 edges, 40413 markings/sec, 10 secs
lola: 812398 markings, 1252585 edges, 40605 markings/sec, 15 secs
lola: 1013089 markings, 1559048 edges, 40138 markings/sec, 20 secs
lola: 1208351 markings, 1877821 edges, 39052 markings/sec, 25 secs
lola: 1408226 markings, 2190755 edges, 39975 markings/sec, 30 secs
lola: 1607923 markings, 2504541 edges, 39939 markings/sec, 35 secs
lola: 1807004 markings, 2812979 edges, 39816 markings/sec, 40 secs
lola: 2007186 markings, 3118639 edges, 40036 markings/sec, 45 secs
lola: 2207011 markings, 3431436 edges, 39965 markings/sec, 50 secs
lola: 2404078 markings, 3742482 edges, 39413 markings/sec, 55 secs
lola: 2600819 markings, 4056153 edges, 39348 markings/sec, 60 secs
lola: 2800404 markings, 4362405 edges, 39917 markings/sec, 65 secs
lola: 3002093 markings, 4675095 edges, 40338 markings/sec, 70 secs
lola: 3197005 markings, 4982517 edges, 38982 markings/sec, 75 secs
lola: 3394048 markings, 5295351 edges, 39409 markings/sec, 80 secs
lola: 3595748 markings, 5606956 edges, 40340 markings/sec, 85 secs
lola: 3797691 markings, 5920341 edges, 40389 markings/sec, 90 secs
lola: 3996005 markings, 6231763 edges, 39663 markings/sec, 95 secs
lola: 4196041 markings, 6541861 edges, 40007 markings/sec, 100 secs
lola: 4396483 markings, 6850107 edges, 40088 markings/sec, 105 secs
lola: 4597467 markings, 7159225 edges, 40197 markings/sec, 110 secs
lola: 4801540 markings, 7477042 edges, 40815 markings/sec, 115 secs
lola: 5003989 markings, 7787563 edges, 40490 markings/sec, 120 secs
lola: 5209432 markings, 8106352 edges, 41089 markings/sec, 125 secs
lola: 5412427 markings, 8422629 edges, 40599 markings/sec, 130 secs
lola: 5617517 markings, 8737558 edges, 41018 markings/sec, 135 secs
lola: 5822239 markings, 9060035 edges, 40944 markings/sec, 140 secs
lola: 6024665 markings, 9379938 edges, 40485 markings/sec, 145 secs
lola: 6225683 markings, 9702281 edges, 40204 markings/sec, 150 secs
lola: 6427272 markings, 10019378 edges, 40318 markings/sec, 155 secs
lola: 6630850 markings, 10334383 edges, 40716 markings/sec, 160 secs
lola: 6831779 markings, 10647893 edges, 40186 markings/sec, 165 secs
lola: 7033166 markings, 10968246 edges, 40277 markings/sec, 170 secs
lola: 7237612 markings, 11282414 edges, 40889 markings/sec, 175 secs
lola: 7440646 markings, 11602437 edges, 40607 markings/sec, 180 secs
lola: 7644742 markings, 11924571 edges, 40819 markings/sec, 185 secs
lola: 7842657 markings, 12241215 edges, 39583 markings/sec, 190 secs
lola: 8040680 markings, 12555956 edges, 39605 markings/sec, 195 secs
lola: 8239903 markings, 12866694 edges, 39845 markings/sec, 200 secs
lola: 8433632 markings, 13191714 edges, 38746 markings/sec, 205 secs
lola: 8628585 markings, 13499224 edges, 38991 markings/sec, 210 secs
lola: 8823465 markings, 13818011 edges, 38976 markings/sec, 215 secs
lola: 9020870 markings, 14130331 edges, 39481 markings/sec, 220 secs
lola: 9218950 markings, 14438938 edges, 39616 markings/sec, 225 secs
lola: 9411765 markings, 14748480 edges, 38563 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 224187 markings, 334084 edges, 44837 markings/sec, 0 secs
lola: 443999 markings, 674246 edges, 43962 markings/sec, 5 secs
lola: 661488 markings, 1008404 edges, 43498 markings/sec, 10 secs
lola: 878992 markings, 1342289 edges, 43501 markings/sec, 15 secs
lola: 1098135 markings, 1676095 edges, 43829 markings/sec, 20 secs
lola: 1317803 markings, 2004886 edges, 43934 markings/sec, 25 secs
lola: 1528367 markings, 2341764 edges, 42113 markings/sec, 30 secs
lola: 1742742 markings, 2670989 edges, 42875 markings/sec, 35 secs
lola: 1964330 markings, 3014452 edges, 44318 markings/sec, 40 secs
lola: 2187193 markings, 3355048 edges, 44573 markings/sec, 45 secs
lola: 2410691 markings, 3692821 edges, 44700 markings/sec, 50 secs
lola: 2632751 markings, 4033071 edges, 44412 markings/sec, 55 secs
lola: 2851524 markings, 4384280 edges, 43755 markings/sec, 60 secs
lola: 3071078 markings, 4733667 edges, 43911 markings/sec, 65 secs
lola: 3293591 markings, 5078289 edges, 44503 markings/sec, 70 secs
lola: 3516299 markings, 5424796 edges, 44542 markings/sec, 75 secs
lola: 3739695 markings, 5767262 edges, 44679 markings/sec, 80 secs
lola: 3962643 markings, 6111541 edges, 44590 markings/sec, 85 secs
lola: 4182492 markings, 6458020 edges, 43970 markings/sec, 90 secs
lola: 4407987 markings, 6800588 edges, 45099 markings/sec, 95 secs
lola: 4631178 markings, 7146913 edges, 44638 markings/sec, 100 secs
lola: 4850105 markings, 7490719 edges, 43785 markings/sec, 105 secs
lola: 5067510 markings, 7835242 edges, 43481 markings/sec, 110 secs
lola: 5280054 markings, 8173470 edges, 42509 markings/sec, 115 secs
lola: 5499236 markings, 8511777 edges, 43836 markings/sec, 120 secs
lola: 5721128 markings, 8855858 edges, 44378 markings/sec, 125 secs
lola: 5944418 markings, 9195122 edges, 44658 markings/sec, 130 secs
lola: 6163803 markings, 9542080 edges, 43877 markings/sec, 135 secs
lola: 6384008 markings, 9892148 edges, 44041 markings/sec, 140 secs
lola: 6602596 markings, 10238103 edges, 43718 markings/sec, 145 secs
lola: 6819788 markings, 10585000 edges, 43438 markings/sec, 150 secs
lola: 7039297 markings, 10925319 edges, 43902 markings/sec, 155 secs
lola: 7257455 markings, 11262684 edges, 43632 markings/sec, 160 secs
lola: 7472242 markings, 11604475 edges, 42957 markings/sec, 165 secs
lola: 7688851 markings, 11943341 edges, 43322 markings/sec, 170 secs
lola: 7913291 markings, 12284653 edges, 44888 markings/sec, 175 secs
lola: 8130125 markings, 12622234 edges, 43367 markings/sec, 180 secs
lola: 8348301 markings, 12955364 edges, 43635 markings/sec, 185 secs
lola: 8560313 markings, 13289075 edges, 42402 markings/sec, 190 secs
lola: 8783178 markings, 13630237 edges, 44573 markings/sec, 195 secs
lola: 9003449 markings, 13961861 edges, 44054 markings/sec, 200 secs
lola: 9215450 markings, 14294603 edges, 42400 markings/sec, 205 secs
lola: 9426778 markings, 14634901 edges, 42266 markings/sec, 210 secs
lola: 9642575 markings, 14972309 edges, 43159 markings/sec, 215 secs
lola: 9864377 markings, 15311435 edges, 44360 markings/sec, 220 secs
lola: 10079198 markings, 15643383 edges, 42964 markings/sec, 225 secs
lola: 10293106 markings, 15983946 edges, 42782 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 208774 markings, 350784 edges, 41755 markings/sec, 0 secs
lola: 415716 markings, 705347 edges, 41388 markings/sec, 5 secs
lola: 623895 markings, 1059248 edges, 41636 markings/sec, 10 secs
lola: 828222 markings, 1411410 edges, 40865 markings/sec, 15 secs
lola: 1029864 markings, 1763901 edges, 40328 markings/sec, 20 secs
lola: 1229642 markings, 2120481 edges, 39956 markings/sec, 25 secs
lola: 1429605 markings, 2475677 edges, 39993 markings/sec, 30 secs
lola: 1630704 markings, 2826922 edges, 40220 markings/sec, 35 secs
lola: 1830977 markings, 3177318 edges, 40055 markings/sec, 40 secs
lola: 2030338 markings, 3529927 edges, 39872 markings/sec, 45 secs
lola: 2230745 markings, 3879987 edges, 40081 markings/sec, 50 secs
lola: 2428542 markings, 4229176 edges, 39559 markings/sec, 55 secs
lola: 2630671 markings, 4582056 edges, 40426 markings/sec, 60 secs
lola: 2831297 markings, 4931246 edges, 40125 markings/sec, 65 secs
lola: 3032143 markings, 5280174 edges, 40169 markings/sec, 70 secs
lola: 3235100 markings, 5632199 edges, 40591 markings/sec, 75 secs
lola: 3437927 markings, 5982854 edges, 40565 markings/sec, 80 secs
lola: 3643748 markings, 6333627 edges, 41164 markings/sec, 85 secs
lola: 3844444 markings, 6687108 edges, 40139 markings/sec, 90 secs
lola: 4046348 markings, 7038462 edges, 40381 markings/sec, 95 secs
lola: 4245625 markings, 7397923 edges, 39855 markings/sec, 100 secs
lola: 4443874 markings, 7753756 edges, 39650 markings/sec, 105 secs
lola: 4644725 markings, 8098127 edges, 40170 markings/sec, 110 secs
lola: 4841510 markings, 8450912 edges, 39357 markings/sec, 115 secs
lola: 5038005 markings, 8793901 edges, 39299 markings/sec, 120 secs
lola: 5237661 markings, 9137273 edges, 39931 markings/sec, 125 secs
lola: 5434149 markings, 9491617 edges, 39298 markings/sec, 130 secs
lola: 5634139 markings, 9835270 edges, 39998 markings/sec, 135 secs
lola: 5831971 markings, 10182418 edges, 39566 markings/sec, 140 secs
lola: 6024777 markings, 10533328 edges, 38561 markings/sec, 145 secs
lola: 6217265 markings, 10877706 edges, 38498 markings/sec, 150 secs
lola: 6410421 markings, 11220697 edges, 38631 markings/sec, 155 secs
lola: 6603648 markings, 11564309 edges, 38645 markings/sec, 160 secs
lola: 6803271 markings, 11917422 edges, 39925 markings/sec, 165 secs
lola: 7005395 markings, 12270497 edges, 40425 markings/sec, 170 secs
lola: 7204564 markings, 12619268 edges, 39834 markings/sec, 175 secs
lola: 7406796 markings, 12966607 edges, 40446 markings/sec, 180 secs
lola: 7603570 markings, 13307021 edges, 39355 markings/sec, 185 secs
lola: 7802682 markings, 13652819 edges, 39822 markings/sec, 190 secs
lola: 8005647 markings, 14007120 edges, 40593 markings/sec, 195 secs
lola: 8204531 markings, 14359794 edges, 39777 markings/sec, 200 secs
lola: 8406409 markings, 14709267 edges, 40376 markings/sec, 205 secs
lola: 8609404 markings, 15061670 edges, 40599 markings/sec, 210 secs
lola: 8808654 markings, 15411504 edges, 39850 markings/sec, 215 secs
lola: 9007967 markings, 15761916 edges, 39863 markings/sec, 220 secs
lola: 9207111 markings, 16102197 edges, 39829 markings/sec, 225 secs
lola: 9405979 markings, 16449548 edges, 39774 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 204203 markings, 307204 edges, 40841 markings/sec, 0 secs
lola: 406857 markings, 620426 edges, 40531 markings/sec, 5 secs
lola: 608998 markings, 940103 edges, 40428 markings/sec, 10 secs
lola: 811675 markings, 1251579 edges, 40535 markings/sec, 15 secs
lola: 1012181 markings, 1557456 edges, 40101 markings/sec, 20 secs
lola: 1206909 markings, 1875398 edges, 38946 markings/sec, 25 secs
lola: 1406272 markings, 2187868 edges, 39873 markings/sec, 30 secs
lola: 1605894 markings, 2500638 edges, 39924 markings/sec, 35 secs
lola: 1804047 markings, 2808953 edges, 39631 markings/sec, 40 secs
lola: 2004194 markings, 3113509 edges, 40029 markings/sec, 45 secs
lola: 2203761 markings, 3425396 edges, 39913 markings/sec, 50 secs
lola: 2399988 markings, 3735983 edges, 39245 markings/sec, 55 secs
lola: 2596675 markings, 4048542 edges, 39337 markings/sec, 60 secs
lola: 2795297 markings, 4354700 edges, 39724 markings/sec, 65 secs
lola: 2997454 markings, 4667004 edges, 40431 markings/sec, 70 secs
lola: 3191450 markings, 4973068 edges, 38799 markings/sec, 75 secs
lola: 3387883 markings, 5286245 edges, 39287 markings/sec, 80 secs
lola: 3587600 markings, 5595236 edges, 39943 markings/sec, 85 secs
lola: 3787300 markings, 5905851 edges, 39940 markings/sec, 90 secs
lola: 3984022 markings, 6213476 edges, 39344 markings/sec, 95 secs
lola: 4183088 markings, 6519350 edges, 39813 markings/sec, 100 secs
lola: 4381141 markings, 6826126 edges, 39611 markings/sec, 105 secs
lola: 4579492 markings, 7133448 edges, 39670 markings/sec, 110 secs
lola: 4774144 markings, 7441611 edges, 38930 markings/sec, 115 secs
lola: 4967661 markings, 7737647 edges, 38703 markings/sec, 120 secs
lola: 5153657 markings, 8043963 edges, 37199 markings/sec, 125 secs
lola: 5347825 markings, 8352465 edges, 38834 markings/sec, 130 secs
lola: 5544710 markings, 8663454 edges, 39377 markings/sec, 135 secs
lola: 5738634 markings, 8973334 edges, 38785 markings/sec, 140 secs
lola: 5936214 markings, 9280769 edges, 39516 markings/sec, 145 secs
lola: 6133829 markings, 9584962 edges, 39523 markings/sec, 150 secs
lola: 6333088 markings, 9896316 edges, 39852 markings/sec, 155 secs
lola: 6527758 markings, 10208596 edges, 38934 markings/sec, 160 secs
lola: 6724267 markings, 10518636 edges, 39302 markings/sec, 165 secs
lola: 6919749 markings, 10835186 edges, 39096 markings/sec, 170 secs
lola: 7122108 markings, 11152609 edges, 40472 markings/sec, 175 secs
lola: 7321064 markings, 11467602 edges, 39791 markings/sec, 180 secs
lola: 7517308 markings, 11767260 edges, 39249 markings/sec, 185 secs
lola: 7713150 markings, 12079355 edges, 39168 markings/sec, 190 secs
lola: 7914351 markings, 12384369 edges, 40240 markings/sec, 195 secs
lola: 8105853 markings, 12704961 edges, 38300 markings/sec, 200 secs
lola: 8304642 markings, 13011662 edges, 39758 markings/sec, 205 secs
lola: 8499487 markings, 13325020 edges, 38969 markings/sec, 210 secs
lola: 8697500 markings, 13643385 edges, 39603 markings/sec, 215 secs
lola: 8891150 markings, 13960537 edges, 38730 markings/sec, 220 secs
lola: 9087088 markings, 14268788 edges, 39188 markings/sec, 225 secs
lola: 9281565 markings, 14578667 edges, 38895 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 256378 markings, 439078 edges, 51276 markings/sec, 0 secs
lola: 509563 markings, 873289 edges, 50637 markings/sec, 5 secs
lola: 765350 markings, 1314044 edges, 51157 markings/sec, 10 secs
lola: 1009273 markings, 1732306 edges, 48785 markings/sec, 15 secs
lola: 1260424 markings, 2165847 edges, 50230 markings/sec, 20 secs
lola: 1511283 markings, 2596986 edges, 50172 markings/sec, 25 secs
lola: 1746791 markings, 3002093 edges, 47102 markings/sec, 30 secs
lola: 1987383 markings, 3417962 edges, 48118 markings/sec, 35 secs
lola: 2223000 markings, 3824198 edges, 47123 markings/sec, 40 secs
lola: 2451978 markings, 4214717 edges, 45796 markings/sec, 45 secs
lola: 2693713 markings, 4625667 edges, 48347 markings/sec, 50 secs
lola: 2929750 markings, 5031645 edges, 47207 markings/sec, 55 secs
lola: 3176449 markings, 5456034 edges, 49340 markings/sec, 60 secs
lola: 3426658 markings, 5886216 edges, 50042 markings/sec, 65 secs
lola: 3671255 markings, 6307745 edges, 48919 markings/sec, 70 secs
lola: 3915180 markings, 6728369 edges, 48785 markings/sec, 75 secs
lola: 4165511 markings, 7157694 edges, 50066 markings/sec, 80 secs
lola: 4413374 markings, 7587834 edges, 49573 markings/sec, 85 secs
lola: 4668585 markings, 8032203 edges, 51042 markings/sec, 90 secs
lola: 4905296 markings, 8444515 edges, 47342 markings/sec, 95 secs
lola: 5139437 markings, 8848392 edges, 46828 markings/sec, 100 secs
lola: 5362034 markings, 9234305 edges, 44519 markings/sec, 105 secs
lola: 5588487 markings, 9628666 edges, 45291 markings/sec, 110 secs
lola: 5816858 markings, 10020264 edges, 45674 markings/sec, 115 secs
lola: 6070965 markings, 10454833 edges, 50821 markings/sec, 120 secs
lola: 6314966 markings, 10877367 edges, 48800 markings/sec, 125 secs
lola: 6559487 markings, 11300803 edges, 48904 markings/sec, 130 secs
lola: 6809255 markings, 11739713 edges, 49954 markings/sec, 135 secs
lola: 7056367 markings, 12163308 edges, 49422 markings/sec, 140 secs
lola: 7312108 markings, 12598961 edges, 51148 markings/sec, 145 secs
lola: 7553040 markings, 13019433 edges, 48186 markings/sec, 150 secs
lola: 7804640 markings, 13455496 edges, 50320 markings/sec, 155 secs
lola: 8050590 markings, 13881873 edges, 49190 markings/sec, 160 secs
lola: 8295992 markings, 14307713 edges, 49080 markings/sec, 165 secs
lola: 8548674 markings, 14743395 edges, 50536 markings/sec, 170 secs
lola: 8796198 markings, 15176627 edges, 49505 markings/sec, 175 secs
lola: 9036131 markings, 15598681 edges, 47987 markings/sec, 180 secs
lola: 9278658 markings, 16021239 edges, 48505 markings/sec, 185 secs
lola: 9511714 markings, 16419008 edges, 46611 markings/sec, 190 secs
lola: 9766334 markings, 16857837 edges, 50924 markings/sec, 195 secs
lola: 10006185 markings, 17270469 edges, 47970 markings/sec, 200 secs
lola: 10257306 markings, 17703385 edges, 50224 markings/sec, 205 secs
lola: 10510572 markings, 18136445 edges, 50653 markings/sec, 210 secs
lola: 10755834 markings, 18559951 edges, 49052 markings/sec, 215 secs
lola: 11006842 markings, 18993322 edges, 50202 markings/sec, 220 secs
lola: 11248042 markings, 19409108 edges, 48240 markings/sec, 225 secs
lola: 11492125 markings, 19835486 edges, 48817 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 279457 markings, 366863 edges, 55891 markings/sec, 0 secs
lola: 549457 markings, 721427 edges, 54000 markings/sec, 5 secs
lola: 816673 markings, 1071605 edges, 53443 markings/sec, 10 secs
lola: 1084270 markings, 1422595 edges, 53519 markings/sec, 15 secs
lola: 1351049 markings, 1773074 edges, 53356 markings/sec, 20 secs
lola: 1615349 markings, 2120178 edges, 52860 markings/sec, 25 secs
lola: 1881111 markings, 2469308 edges, 53152 markings/sec, 30 secs
lola: 2145873 markings, 2817880 edges, 52952 markings/sec, 35 secs
lola: 2415227 markings, 3171080 edges, 53871 markings/sec, 40 secs
lola: 2682978 markings, 3523154 edges, 53550 markings/sec, 45 secs
lola: 3024182 markings, 3970338 edges, 68241 markings/sec, 50 secs
lola: 3394869 markings, 4456711 edges, 74137 markings/sec, 55 secs
lola: 3764292 markings, 4941371 edges, 73885 markings/sec, 60 secs
lola: 4130639 markings, 5421643 edges, 73269 markings/sec, 65 secs
lola: 4498044 markings, 5904638 edges, 73481 markings/sec, 70 secs
lola: 4863810 markings, 6385729 edges, 73153 markings/sec, 75 secs
lola: 5229084 markings, 6865302 edges, 73055 markings/sec, 80 secs
lola: 5597086 markings, 7349151 edges, 73600 markings/sec, 85 secs
lola: 5965978 markings, 7835542 edges, 73778 markings/sec, 90 secs
lola: 6329449 markings, 8313199 edges, 72694 markings/sec, 95 secs
lola: 6694158 markings, 8792510 edges, 72942 markings/sec, 100 secs
lola: 7057201 markings, 9271255 edges, 72609 markings/sec, 105 secs
lola: 7418435 markings, 9748328 edges, 72247 markings/sec, 110 secs
lola: 7782590 markings, 10227949 edges, 72831 markings/sec, 115 secs
lola: 8143310 markings, 10704589 edges, 72144 markings/sec, 120 secs
lola: 8505388 markings, 11181866 edges, 72416 markings/sec, 125 secs
lola: 8867255 markings, 11659671 edges, 72373 markings/sec, 130 secs
lola: 9230284 markings, 12138348 edges, 72606 markings/sec, 135 secs
lola: 9596742 markings, 12621338 edges, 73292 markings/sec, 140 secs
lola: 9955775 markings, 13096571 edges, 71807 markings/sec, 145 secs
lola: 10316992 markings, 13573386 edges, 72243 markings/sec, 150 secs
lola: 10677459 markings, 14050042 edges, 72093 markings/sec, 155 secs
lola: 11037977 markings, 14527344 edges, 72104 markings/sec, 160 secs
lola: 11398629 markings, 15003233 edges, 72130 markings/sec, 165 secs
lola: 11756283 markings, 15476321 edges, 71531 markings/sec, 170 secs
lola: 12123510 markings, 15959356 edges, 73445 markings/sec, 175 secs
lola: 12482012 markings, 16431929 edges, 71700 markings/sec, 180 secs
lola: 12837319 markings, 16901943 edges, 71061 markings/sec, 185 secs
lola: 13198031 markings, 17378682 edges, 72142 markings/sec, 190 secs
lola: 13553596 markings, 17849753 edges, 71113 markings/sec, 195 secs
lola: 13910836 markings, 18321532 edges, 71448 markings/sec, 200 secs
lola: 14272520 markings, 18798407 edges, 72337 markings/sec, 205 secs
lola: 14636550 markings, 19277288 edges, 72806 markings/sec, 210 secs
lola: 14993695 markings, 19749304 edges, 71429 markings/sec, 215 secs
lola: 15354397 markings, 20223911 edges, 72140 markings/sec, 220 secs
lola: 15710657 markings, 20694127 edges, 71252 markings/sec, 225 secs
lola: 16065637 markings, 21164854 edges, 70996 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p356)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 207836 markings, 349244 edges, 41567 markings/sec, 0 secs
lola: 415328 markings, 704773 edges, 41498 markings/sec, 5 secs
lola: 624335 markings, 1059926 edges, 41801 markings/sec, 10 secs
lola: 829606 markings, 1413681 edges, 41054 markings/sec, 15 secs
lola: 1032269 markings, 1767921 edges, 40533 markings/sec, 20 secs
lola: 1233037 markings, 2126322 edges, 40154 markings/sec, 25 secs
lola: 1433909 markings, 2483300 edges, 40174 markings/sec, 30 secs
lola: 1635873 markings, 2836338 edges, 40393 markings/sec, 35 secs
lola: 1837755 markings, 3188046 edges, 40376 markings/sec, 40 secs
lola: 2038319 markings, 3542695 edges, 40113 markings/sec, 45 secs
lola: 2239902 markings, 3894458 edges, 40317 markings/sec, 50 secs
lola: 2437790 markings, 4245528 edges, 39578 markings/sec, 55 secs
lola: 2639207 markings, 4598748 edges, 40283 markings/sec, 60 secs
lola: 2839676 markings, 4946340 edges, 40094 markings/sec, 65 secs
lola: 3040937 markings, 5294058 edges, 40252 markings/sec, 70 secs
lola: 3243378 markings, 5645541 edges, 40488 markings/sec, 75 secs
lola: 3446292 markings, 5995825 edges, 40583 markings/sec, 80 secs
lola: 3650634 markings, 6347506 edges, 40868 markings/sec, 85 secs
lola: 3851444 markings, 6698465 edges, 40162 markings/sec, 90 secs
lola: 4052803 markings, 7050210 edges, 40272 markings/sec, 95 secs
lola: 4251703 markings, 7408550 edges, 39780 markings/sec, 100 secs
lola: 4449694 markings, 7763173 edges, 39598 markings/sec, 105 secs
lola: 4650572 markings, 8108103 edges, 40176 markings/sec, 110 secs
lola: 4848596 markings, 8462612 edges, 39605 markings/sec, 115 secs
lola: 5047452 markings, 8809342 edges, 39771 markings/sec, 120 secs
lola: 5249297 markings, 9156819 edges, 40369 markings/sec, 125 secs
lola: 5447236 markings, 9515188 edges, 39588 markings/sec, 130 secs
lola: 5649798 markings, 9861230 edges, 40512 markings/sec, 135 secs
lola: 5849057 markings, 10213192 edges, 39852 markings/sec, 140 secs
lola: 6043297 markings, 10566284 edges, 38848 markings/sec, 145 secs
lola: 6238159 markings, 10913987 edges, 38972 markings/sec, 150 secs
lola: 6433744 markings, 11261785 edges, 39117 markings/sec, 155 secs
lola: 6628727 markings, 11611147 edges, 38997 markings/sec, 160 secs
lola: 6829051 markings, 11963531 edges, 40065 markings/sec, 165 secs
lola: 7030918 markings, 12313309 edges, 40373 markings/sec, 170 secs
lola: 7229209 markings, 12661931 edges, 39658 markings/sec, 175 secs
lola: 7429977 markings, 13009595 edges, 40154 markings/sec, 180 secs
lola: 7627718 markings, 13348730 edges, 39548 markings/sec, 185 secs
lola: 7826977 markings, 13694034 edges, 39852 markings/sec, 190 secs
lola: 8030067 markings, 14047271 edges, 40618 markings/sec, 195 secs
lola: 8227872 markings, 14397942 edges, 39561 markings/sec, 200 secs
lola: 8429910 markings, 14748990 edges, 40408 markings/sec, 205 secs
lola: 8631840 markings, 15099899 edges, 40386 markings/sec, 210 secs
lola: 8830163 markings, 15449508 edges, 39665 markings/sec, 215 secs
lola: 9030091 markings, 15798199 edges, 39986 markings/sec, 220 secs
lola: 9228607 markings, 16139768 edges, 39703 markings/sec, 225 secs
lola: 9426365 markings, 16485291 edges, 39552 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 201785 markings, 303467 edges, 40357 markings/sec, 0 secs
lola: 402393 markings, 613608 edges, 40122 markings/sec, 5 secs
lola: 602703 markings, 930329 edges, 40062 markings/sec, 10 secs
lola: 803895 markings, 1239508 edges, 40238 markings/sec, 15 secs
lola: 1003047 markings, 1543715 edges, 39830 markings/sec, 20 secs
lola: 1196887 markings, 1858524 edges, 38768 markings/sec, 25 secs
lola: 1394782 markings, 2169072 edges, 39579 markings/sec, 30 secs
lola: 1592088 markings, 2480856 edges, 39461 markings/sec, 35 secs
lola: 1789549 markings, 2787028 edges, 39492 markings/sec, 40 secs
lola: 1989191 markings, 3089187 edges, 39928 markings/sec, 45 secs
lola: 2187080 markings, 3399807 edges, 39578 markings/sec, 50 secs
lola: 2381461 markings, 3707132 edges, 38876 markings/sec, 55 secs
lola: 2576711 markings, 4017909 edges, 39050 markings/sec, 60 secs
lola: 2776209 markings, 4322720 edges, 39900 markings/sec, 65 secs
lola: 2977344 markings, 4636205 edges, 40227 markings/sec, 70 secs
lola: 3172215 markings, 4944304 edges, 38974 markings/sec, 75 secs
lola: 3369969 markings, 5257651 edges, 39551 markings/sec, 80 secs
lola: 3570330 markings, 5570309 edges, 40072 markings/sec, 85 secs
lola: 3772599 markings, 5881538 edges, 40454 markings/sec, 90 secs
lola: 3970643 markings, 6192703 edges, 39609 markings/sec, 95 secs
lola: 4171806 markings, 6502365 edges, 40233 markings/sec, 100 secs
lola: 4371595 markings, 6811991 edges, 39958 markings/sec, 105 secs
lola: 4571967 markings, 7121346 edges, 40074 markings/sec, 110 secs
lola: 4768538 markings, 7433562 edges, 39314 markings/sec, 115 secs
lola: 4963762 markings, 7733217 edges, 39045 markings/sec, 120 secs
lola: 5152052 markings, 8041602 edges, 37658 markings/sec, 125 secs
lola: 5347882 markings, 8353009 edges, 39166 markings/sec, 130 secs
lola: 5546513 markings, 8667300 edges, 39726 markings/sec, 135 secs
lola: 5742228 markings, 8979709 edges, 39143 markings/sec, 140 secs
lola: 5941858 markings, 9290410 edges, 39926 markings/sec, 145 secs
lola: 6141049 markings, 9597148 edges, 39838 markings/sec, 150 secs
lola: 6342419 markings, 9911313 edges, 40274 markings/sec, 155 secs
lola: 6537998 markings, 10225193 edges, 39116 markings/sec, 160 secs
lola: 6736051 markings, 10538424 edges, 39611 markings/sec, 165 secs
lola: 6932449 markings, 10857815 edges, 39280 markings/sec, 170 secs
lola: 7135298 markings, 11175203 edges, 40570 markings/sec, 175 secs
lola: 7333284 markings, 11488685 edges, 39597 markings/sec, 180 secs
lola: 7528525 markings, 11787320 edges, 39048 markings/sec, 185 secs
lola: 7724661 markings, 12097196 edges, 39227 markings/sec, 190 secs
lola: 7925117 markings, 12401537 edges, 40091 markings/sec, 195 secs
lola: 8115244 markings, 12722783 edges, 38025 markings/sec, 200 secs
lola: 8313887 markings, 13027867 edges, 39729 markings/sec, 205 secs
lola: 8508474 markings, 13339726 edges, 38917 markings/sec, 210 secs
lola: 8705780 markings, 13658357 edges, 39461 markings/sec, 215 secs
lola: 8898612 markings, 13973658 edges, 38566 markings/sec, 220 secs
lola: 9093663 markings, 14281150 edges, 39010 markings/sec, 225 secs
lola: 9287806 markings, 14588975 edges, 38829 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 56 bytes per marking, with 29 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: 215231 markings, 442079 edges, 43046 markings/sec, 0 secs
lola: 427757 markings, 880289 edges, 42505 markings/sec, 5 secs
lola: 637092 markings, 1307273 edges, 41867 markings/sec, 10 secs
lola: 844930 markings, 1733217 edges, 41568 markings/sec, 15 secs
lola: 1055210 markings, 2165071 edges, 42056 markings/sec, 20 secs
lola: 1265717 markings, 2599697 edges, 42101 markings/sec, 25 secs
lola: 1471119 markings, 3019928 edges, 41080 markings/sec, 30 secs
lola: 1678997 markings, 3446666 edges, 41576 markings/sec, 35 secs
lola: 1886650 markings, 3874031 edges, 41531 markings/sec, 40 secs
lola: 2095759 markings, 4303296 edges, 41822 markings/sec, 45 secs
lola: 2302959 markings, 4731464 edges, 41440 markings/sec, 50 secs
lola: 2508888 markings, 5156796 edges, 41186 markings/sec, 55 secs
lola: 2716555 markings, 5588589 edges, 41533 markings/sec, 60 secs
lola: 2924595 markings, 6016677 edges, 41608 markings/sec, 65 secs
lola: 3132862 markings, 6445304 edges, 41653 markings/sec, 70 secs
lola: 3340547 markings, 6875443 edges, 41537 markings/sec, 75 secs
lola: 3546977 markings, 7300148 edges, 41286 markings/sec, 80 secs
lola: 3752701 markings, 7722868 edges, 41145 markings/sec, 85 secs
lola: 3957309 markings, 8144083 edges, 40922 markings/sec, 90 secs
lola: 4163273 markings, 8565225 edges, 41193 markings/sec, 95 secs
lola: 4368394 markings, 8990750 edges, 41024 markings/sec, 100 secs
lola: 4576196 markings, 9420865 edges, 41560 markings/sec, 105 secs
lola: 4781985 markings, 9841927 edges, 41158 markings/sec, 110 secs
lola: 4990594 markings, 10273047 edges, 41722 markings/sec, 115 secs
lola: 5195472 markings, 10696909 edges, 40976 markings/sec, 120 secs
lola: 5402127 markings, 11122622 edges, 41331 markings/sec, 125 secs
lola: 5607862 markings, 11546203 edges, 41147 markings/sec, 130 secs
lola: 5814021 markings, 11972445 edges, 41232 markings/sec, 135 secs
lola: 6017906 markings, 12394656 edges, 40777 markings/sec, 140 secs
lola: 6224678 markings, 12818612 edges, 41354 markings/sec, 145 secs
lola: 6430498 markings, 13243567 edges, 41164 markings/sec, 150 secs
lola: 6635490 markings, 13662387 edges, 40998 markings/sec, 155 secs
lola: 6841526 markings, 14084913 edges, 41207 markings/sec, 160 secs
lola: 7047877 markings, 14507582 edges, 41270 markings/sec, 165 secs
lola: 7253007 markings, 14932702 edges, 41026 markings/sec, 170 secs
lola: 7456545 markings, 15351221 edges, 40708 markings/sec, 175 secs
lola: 7662451 markings, 15776351 edges, 41181 markings/sec, 180 secs
lola: 7866122 markings, 16192455 edges, 40734 markings/sec, 185 secs
lola: 8069947 markings, 16611777 edges, 40765 markings/sec, 190 secs
lola: 8277336 markings, 17043506 edges, 41478 markings/sec, 195 secs
lola: 8483303 markings, 17469341 edges, 41193 markings/sec, 200 secs
lola: 8687954 markings, 17893414 edges, 40930 markings/sec, 205 secs
lola: 8892676 markings, 18317273 edges, 40944 markings/sec, 210 secs
lola: 9098057 markings, 18740594 edges, 41076 markings/sec, 215 secs
lola: 9302571 markings, 19160688 edges, 40903 markings/sec, 220 secs
lola: 9505896 markings, 19581986 edges, 40665 markings/sec, 225 secs
lola: 9710662 markings, 20003643 edges, 40953 markings/sec, 230 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Vasy2003-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Vasy2003-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496580511601

--------------------
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_Vasy2003-PT-none"
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_Vasy2003-PT-none.tgz
mv S_Vasy2003-PT-none 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_Vasy2003-PT-none, 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-149443464300380"
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 ;