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_DES-PT-60b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800344
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496458393510


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


checking for too many tokens
===========================================================================================
S_DES-PT-60b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-60b @ 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: 989/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 519 places, 470 transitions, 454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 567 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60b-UpperBounds.task
lola: MAX(p225) : MAX(p339) : MAX(p496) : MAX(p250) : MAX(p481) : MAX(p291) : MAX(p144) : MAX(p313) : MAX(p417) : MAX(p380) : MAX(p148) : MAX(p437) : MAX(p470) : MAX(p188) : MAX(p417) : MAX(p449)
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(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 717531 markings, 999877 edges, 143506 markings/sec, 0 secs
lola: 1455813 markings, 2037402 edges, 147656 markings/sec, 5 secs
lola: 2004233 markings, 2894569 edges, 109684 markings/sec, 10 secs
lola: 2457628 markings, 3599381 edges, 90679 markings/sec, 15 secs
lola: 2908739 markings, 4280533 edges, 90222 markings/sec, 20 secs
lola: 3459627 markings, 4950021 edges, 110178 markings/sec, 25 secs
lola: 4040551 markings, 5591628 edges, 116185 markings/sec, 30 secs
lola: 4603949 markings, 6240355 edges, 112680 markings/sec, 35 secs
lola: 5163214 markings, 6890960 edges, 111853 markings/sec, 40 secs
lola: 5754912 markings, 7579208 edges, 118340 markings/sec, 45 secs
lola: 6339414 markings, 8262692 edges, 116900 markings/sec, 50 secs
lola: 6919784 markings, 8939744 edges, 116074 markings/sec, 55 secs
lola: 7510621 markings, 9584813 edges, 118167 markings/sec, 60 secs
lola: 8102206 markings, 10237982 edges, 118317 markings/sec, 65 secs
lola: 8680337 markings, 10870810 edges, 115626 markings/sec, 70 secs
lola: 9262733 markings, 11592629 edges, 116479 markings/sec, 75 secs
lola: 9875661 markings, 12312158 edges, 122586 markings/sec, 80 secs
lola: 10469154 markings, 13033868 edges, 118699 markings/sec, 85 secs
lola: 11063848 markings, 13764438 edges, 118939 markings/sec, 90 secs
lola: 11664094 markings, 14505545 edges, 120049 markings/sec, 95 secs
lola: 12252051 markings, 15227244 edges, 117591 markings/sec, 100 secs
lola: 12859502 markings, 15927843 edges, 121490 markings/sec, 105 secs
lola: 13465179 markings, 16626412 edges, 121135 markings/sec, 110 secs
lola: 14040347 markings, 17306828 edges, 115034 markings/sec, 115 secs
lola: 14548193 markings, 18229359 edges, 101569 markings/sec, 120 secs
lola: 15071175 markings, 19153369 edges, 104596 markings/sec, 125 secs
lola: 15577083 markings, 20104148 edges, 101182 markings/sec, 130 secs
lola: 16059022 markings, 21102462 edges, 96388 markings/sec, 135 secs
lola: 16485762 markings, 22138218 edges, 85348 markings/sec, 140 secs
lola: 16882419 markings, 23201967 edges, 79331 markings/sec, 145 secs
lola: 17288142 markings, 24271760 edges, 81145 markings/sec, 150 secs
lola: 17689515 markings, 25315084 edges, 80275 markings/sec, 155 secs
lola: 18102050 markings, 26337170 edges, 82507 markings/sec, 160 secs
lola: 18486772 markings, 27365829 edges, 76944 markings/sec, 165 secs
lola: 18847712 markings, 28333878 edges, 72188 markings/sec, 170 secs
lola: 19228016 markings, 29276013 edges, 76061 markings/sec, 175 secs
lola: 19595107 markings, 30251861 edges, 73418 markings/sec, 180 secs
lola: 19959401 markings, 31227732 edges, 72859 markings/sec, 185 secs
lola: 20341679 markings, 32177833 edges, 76456 markings/sec, 190 secs
lola: 20709050 markings, 33154785 edges, 73474 markings/sec, 195 secs
lola: 21066460 markings, 34107687 edges, 71482 markings/sec, 200 secs
lola: 21441117 markings, 35041221 edges, 74931 markings/sec, 205 secs
lola: 21853616 markings, 35974638 edges, 82500 markings/sec, 210 secs
lola: 22247306 markings, 36899341 edges, 78738 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(p339)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 876009 markings, 1028431 edges, 175202 markings/sec, 0 secs
lola: 1686877 markings, 2071192 edges, 162174 markings/sec, 5 secs
lola: 2542082 markings, 3133320 edges, 171041 markings/sec, 10 secs
lola: 3378632 markings, 4180858 edges, 167310 markings/sec, 15 secs
lola: 4205871 markings, 5200733 edges, 165448 markings/sec, 20 secs
lola: 5005873 markings, 6175636 edges, 160000 markings/sec, 25 secs
lola: 5775214 markings, 7159367 edges, 153868 markings/sec, 30 secs
lola: 6566435 markings, 8158811 edges, 158244 markings/sec, 35 secs
lola: 7391496 markings, 9145142 edges, 165012 markings/sec, 40 secs
lola: 8115812 markings, 10136363 edges, 144863 markings/sec, 45 secs
lola: 8873433 markings, 11139615 edges, 151524 markings/sec, 50 secs
lola: 9676329 markings, 12163219 edges, 160579 markings/sec, 55 secs
lola: 10525025 markings, 13219957 edges, 169739 markings/sec, 60 secs
lola: 11356184 markings, 14259933 edges, 166232 markings/sec, 65 secs
lola: 12154578 markings, 15226716 edges, 159679 markings/sec, 70 secs
lola: 12945583 markings, 16217368 edges, 158201 markings/sec, 75 secs
lola: 13712350 markings, 17191081 edges, 153353 markings/sec, 80 secs
lola: 14508996 markings, 18178690 edges, 159329 markings/sec, 85 secs
lola: 15290206 markings, 19145878 edges, 156242 markings/sec, 90 secs
lola: 16043025 markings, 20104104 edges, 150564 markings/sec, 95 secs
lola: 16781695 markings, 21052020 edges, 147734 markings/sec, 100 secs
lola: 17527704 markings, 22008531 edges, 149202 markings/sec, 105 secs
lola: 18269251 markings, 22964624 edges, 148309 markings/sec, 110 secs
lola: 18997203 markings, 23897903 edges, 145590 markings/sec, 115 secs
lola: 19815690 markings, 24817286 edges, 163697 markings/sec, 120 secs
lola: 20643669 markings, 25781762 edges, 165596 markings/sec, 125 secs
lola: 21356909 markings, 26761091 edges, 142648 markings/sec, 130 secs
lola: 22045936 markings, 27728066 edges, 137805 markings/sec, 135 secs
lola: 22802959 markings, 28706540 edges, 151405 markings/sec, 140 secs
lola: 23529177 markings, 29668379 edges, 145244 markings/sec, 145 secs
lola: 24267809 markings, 30622111 edges, 147726 markings/sec, 150 secs
lola: 25066101 markings, 31621945 edges, 159658 markings/sec, 155 secs
lola: 25887220 markings, 32628147 edges, 164224 markings/sec, 160 secs
lola: 26680147 markings, 33611651 edges, 158585 markings/sec, 165 secs
lola: 27457157 markings, 34573869 edges, 155402 markings/sec, 170 secs
lola: 28291106 markings, 35568077 edges, 166790 markings/sec, 175 secs
lola: 29089450 markings, 36550496 edges, 159669 markings/sec, 180 secs
lola: 29897975 markings, 37546805 edges, 161705 markings/sec, 185 secs
lola: 30680810 markings, 38530070 edges, 156567 markings/sec, 190 secs
lola: 31531322 markings, 39585935 edges, 170102 markings/sec, 195 secs
lola: 32391831 markings, 40619771 edges, 172102 markings/sec, 200 secs
lola: 33181908 markings, 41646170 edges, 158015 markings/sec, 205 secs
lola: 34005075 markings, 42606793 edges, 164633 markings/sec, 210 secs
lola: 34768255 markings, 43584464 edges, 152636 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(p496)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 669608 markings, 785386 edges, 133922 markings/sec, 0 secs
lola: 1398569 markings, 1695384 edges, 145792 markings/sec, 5 secs
lola: 2119313 markings, 2596807 edges, 144149 markings/sec, 10 secs
lola: 2839315 markings, 3497225 edges, 144000 markings/sec, 15 secs
lola: 3560311 markings, 4398984 edges, 144199 markings/sec, 20 secs
lola: 4280980 markings, 5300291 edges, 144134 markings/sec, 25 secs
lola: 5001905 markings, 6201968 edges, 144185 markings/sec, 30 secs
lola: 5725082 markings, 7107263 edges, 144635 markings/sec, 35 secs
lola: 6451510 markings, 8018620 edges, 145286 markings/sec, 40 secs
lola: 7174571 markings, 8924439 edges, 144612 markings/sec, 45 secs
lola: 7898262 markings, 9831301 edges, 144738 markings/sec, 50 secs
lola: 8623009 markings, 10741718 edges, 144949 markings/sec, 55 secs
lola: 9342058 markings, 11641061 edges, 143810 markings/sec, 60 secs
lola: 10016900 markings, 12470997 edges, 134968 markings/sec, 65 secs
lola: 10684677 markings, 13302683 edges, 133555 markings/sec, 70 secs
lola: 11345151 markings, 14132662 edges, 132095 markings/sec, 75 secs
lola: 12001076 markings, 14947767 edges, 131185 markings/sec, 80 secs
lola: 12659169 markings, 15773574 edges, 131619 markings/sec, 85 secs
lola: 13312632 markings, 16603650 edges, 130693 markings/sec, 90 secs
lola: 13966776 markings, 17409559 edges, 130829 markings/sec, 95 secs
lola: 14623007 markings, 18228645 edges, 131246 markings/sec, 100 secs
lola: 15278114 markings, 19048911 edges, 131021 markings/sec, 105 secs
lola: 15936816 markings, 19869535 edges, 131740 markings/sec, 110 secs
lola: 16594221 markings, 20697463 edges, 131481 markings/sec, 115 secs
lola: 17248111 markings, 21526849 edges, 130778 markings/sec, 120 secs
lola: 17905694 markings, 22332759 edges, 131517 markings/sec, 125 secs
lola: 18563485 markings, 23155739 edges, 131558 markings/sec, 130 secs
lola: 19221685 markings, 23978349 edges, 131640 markings/sec, 135 secs
lola: 19882369 markings, 24802639 edges, 132137 markings/sec, 140 secs
lola: 20543616 markings, 25636388 edges, 132249 markings/sec, 145 secs
lola: 21264566 markings, 26537414 edges, 144190 markings/sec, 150 secs
lola: 21937307 markings, 27292500 edges, 134548 markings/sec, 155 secs
lola: 22557574 markings, 27986909 edges, 124053 markings/sec, 160 secs
lola: 23205726 markings, 28685409 edges, 129630 markings/sec, 165 secs
lola: 23870664 markings, 29369196 edges, 132988 markings/sec, 170 secs
lola: 24532717 markings, 30050104 edges, 132411 markings/sec, 175 secs
lola: 25187776 markings, 30726812 edges, 131012 markings/sec, 180 secs
lola: 25829935 markings, 31448697 edges, 128432 markings/sec, 185 secs
lola: 26456357 markings, 32114264 edges, 125284 markings/sec, 190 secs
lola: 27096710 markings, 32781212 edges, 128071 markings/sec, 195 secs
lola: 27722897 markings, 33462562 edges, 125237 markings/sec, 200 secs
lola: 28385065 markings, 34174747 edges, 132434 markings/sec, 205 secs
lola: 29051791 markings, 34880142 edges, 133345 markings/sec, 210 secs
lola: 29713318 markings, 35560064 edges, 132305 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(p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p481)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 831817 markings, 1093156 edges, 166363 markings/sec, 0 secs
lola: 1525020 markings, 1943943 edges, 138641 markings/sec, 5 secs
lola: 2300612 markings, 2998827 edges, 155118 markings/sec, 10 secs
lola: 3068177 markings, 4035305 edges, 153513 markings/sec, 15 secs
lola: 3834734 markings, 5053622 edges, 153311 markings/sec, 20 secs
lola: 4580548 markings, 6082378 edges, 149163 markings/sec, 25 secs
lola: 5343832 markings, 7126742 edges, 152657 markings/sec, 30 secs
lola: 6106899 markings, 8164548 edges, 152613 markings/sec, 35 secs
lola: 6868958 markings, 9198808 edges, 152412 markings/sec, 40 secs
lola: 7635412 markings, 10213864 edges, 153291 markings/sec, 45 secs
lola: 8384561 markings, 11239730 edges, 149830 markings/sec, 50 secs
lola: 9145619 markings, 12285933 edges, 152212 markings/sec, 55 secs
lola: 9911611 markings, 13327145 edges, 153198 markings/sec, 60 secs
lola: 10675297 markings, 14366625 edges, 152737 markings/sec, 65 secs
lola: 11448340 markings, 15389463 edges, 154609 markings/sec, 70 secs
lola: 12203084 markings, 16422618 edges, 150949 markings/sec, 75 secs
lola: 12970147 markings, 17476771 edges, 153413 markings/sec, 80 secs
lola: 13738364 markings, 18521554 edges, 153643 markings/sec, 85 secs
lola: 14505182 markings, 19562209 edges, 153364 markings/sec, 90 secs
lola: 15277739 markings, 20584989 edges, 154511 markings/sec, 95 secs
lola: 16031739 markings, 21623040 edges, 150800 markings/sec, 100 secs
lola: 16799377 markings, 22674229 edges, 153528 markings/sec, 105 secs
lola: 17550952 markings, 23695646 edges, 150315 markings/sec, 110 secs
lola: 18256373 markings, 24654242 edges, 141084 markings/sec, 115 secs
lola: 18962343 markings, 25610353 edges, 141194 markings/sec, 120 secs
lola: 19675538 markings, 26554698 edges, 142639 markings/sec, 125 secs
lola: 20369461 markings, 27495186 edges, 138785 markings/sec, 130 secs
lola: 21060425 markings, 28429410 edges, 138193 markings/sec, 135 secs
lola: 21740949 markings, 29364934 edges, 136105 markings/sec, 140 secs
lola: 22425686 markings, 30307683 edges, 136947 markings/sec, 145 secs
lola: 23120437 markings, 31251370 edges, 138950 markings/sec, 150 secs
lola: 23814807 markings, 32194947 edges, 138874 markings/sec, 155 secs
lola: 24513263 markings, 33141650 edges, 139691 markings/sec, 160 secs
lola: 25208942 markings, 34089732 edges, 139136 markings/sec, 165 secs
lola: 25897393 markings, 35024230 edges, 137690 markings/sec, 170 secs
lola: 26590009 markings, 35964751 edges, 138523 markings/sec, 175 secs
lola: 27288667 markings, 36893807 edges, 139732 markings/sec, 180 secs
lola: 27980456 markings, 37828119 edges, 138358 markings/sec, 185 secs
lola: 28674388 markings, 38759769 edges, 138786 markings/sec, 190 secs
lola: 29359882 markings, 39699003 edges, 137099 markings/sec, 195 secs
lola: 30043152 markings, 40642262 edges, 136654 markings/sec, 200 secs
lola: 30738608 markings, 41591571 edges, 139091 markings/sec, 205 secs
lola: 31434275 markings, 42536559 edges, 139133 markings/sec, 210 secs
lola: 32132179 markings, 43481309 edges, 139581 markings/sec, 215 secs
lola: 32828669 markings, 44430748 edges, 139298 markings/sec, 220 secs
lola: 33523573 markings, 45374739 edges, 138981 markings/sec, 225 secs
lola: 34217426 markings, 46317612 edges, 138771 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p291)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 573959 markings, 1128841 edges, 114792 markings/sec, 0 secs
lola: 1119447 markings, 2198355 edges, 109098 markings/sec, 5 secs
lola: 1573123 markings, 3205284 edges, 90735 markings/sec, 10 secs
lola: 2076159 markings, 4279110 edges, 100607 markings/sec, 15 secs
lola: 2533477 markings, 5410636 edges, 91464 markings/sec, 20 secs
lola: 3031974 markings, 6505409 edges, 99699 markings/sec, 25 secs
lola: 3534802 markings, 7606991 edges, 100566 markings/sec, 30 secs
lola: 4031609 markings, 8747800 edges, 99361 markings/sec, 35 secs
lola: 4520470 markings, 9851204 edges, 97772 markings/sec, 40 secs
lola: 4966071 markings, 10840320 edges, 89120 markings/sec, 45 secs
lola: 5258510 markings, 12226253 edges, 58488 markings/sec, 50 secs
lola: 5514176 markings, 13559989 edges, 51133 markings/sec, 55 secs
lola: 5867066 markings, 14833753 edges, 70578 markings/sec, 60 secs
lola: 6229635 markings, 15998259 edges, 72514 markings/sec, 65 secs
lola: 6634538 markings, 17161282 edges, 80981 markings/sec, 70 secs
lola: 6985325 markings, 18287513 edges, 70157 markings/sec, 75 secs
lola: 7388310 markings, 19403304 edges, 80597 markings/sec, 80 secs
lola: 7760907 markings, 20533216 edges, 74519 markings/sec, 85 secs
lola: 8116254 markings, 21681017 edges, 71069 markings/sec, 90 secs
lola: 8607401 markings, 22605169 edges, 98229 markings/sec, 95 secs
lola: 9268733 markings, 23340441 edges, 132266 markings/sec, 100 secs
lola: 9872842 markings, 24038133 edges, 120822 markings/sec, 105 secs
lola: 10509369 markings, 24746185 edges, 127305 markings/sec, 110 secs
lola: 11138443 markings, 25722518 edges, 125815 markings/sec, 115 secs
lola: 11563512 markings, 26961628 edges, 85014 markings/sec, 120 secs
lola: 12090853 markings, 27888043 edges, 105468 markings/sec, 125 secs
lola: 12737412 markings, 28568872 edges, 129312 markings/sec, 130 secs
lola: 13384922 markings, 29250931 edges, 129502 markings/sec, 135 secs
lola: 14032734 markings, 29933086 edges, 129562 markings/sec, 140 secs
lola: 14680579 markings, 30615415 edges, 129569 markings/sec, 145 secs
lola: 15328922 markings, 31298218 edges, 129669 markings/sec, 150 secs
lola: 15980120 markings, 31983983 edges, 130240 markings/sec, 155 secs
lola: 16631034 markings, 32669465 edges, 130183 markings/sec, 160 secs
lola: 17279528 markings, 33352511 edges, 129699 markings/sec, 165 secs
lola: 17928866 markings, 34036317 edges, 129868 markings/sec, 170 secs
lola: 18577728 markings, 34719734 edges, 129772 markings/sec, 175 secs
lola: 19230116 markings, 35406786 edges, 130478 markings/sec, 180 secs
lola: 19873353 markings, 36172431 edges, 128647 markings/sec, 185 secs
lola: 20519419 markings, 36887498 edges, 129213 markings/sec, 190 secs
lola: 21090973 markings, 37934724 edges, 114311 markings/sec, 195 secs
lola: 21613293 markings, 38921806 edges, 104464 markings/sec, 200 secs
lola: 22241973 markings, 39616342 edges, 125736 markings/sec, 205 secs
lola: 22858463 markings, 40542059 edges, 123298 markings/sec, 210 secs
lola: 23338556 markings, 41641472 edges, 96019 markings/sec, 215 secs
lola: 23969132 markings, 42351482 edges, 126115 markings/sec, 220 secs
lola: 24612338 markings, 43199156 edges, 128641 markings/sec, 225 secs
lola: 25069415 markings, 44374060 edges, 91415 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 924890 markings, 1059106 edges, 184978 markings/sec, 0 secs
lola: 1866973 markings, 2138394 edges, 188417 markings/sec, 5 secs
lola: 2810307 markings, 3219091 edges, 188667 markings/sec, 10 secs
lola: 3755068 markings, 4301433 edges, 188952 markings/sec, 15 secs
lola: 4701150 markings, 5385297 edges, 189216 markings/sec, 20 secs
lola: 5645504 markings, 6467158 edges, 188871 markings/sec, 25 secs
lola: 6496038 markings, 7485716 edges, 170107 markings/sec, 30 secs
lola: 7188789 markings, 8362212 edges, 138550 markings/sec, 35 secs
lola: 7874572 markings, 9236558 edges, 137157 markings/sec, 40 secs
lola: 8561950 markings, 10105261 edges, 137476 markings/sec, 45 secs
lola: 9256336 markings, 10993256 edges, 138877 markings/sec, 50 secs
lola: 9944683 markings, 11872830 edges, 137669 markings/sec, 55 secs
lola: 10638086 markings, 12760195 edges, 138681 markings/sec, 60 secs
lola: 11331303 markings, 13649206 edges, 138643 markings/sec, 65 secs
lola: 12028052 markings, 14538383 edges, 139350 markings/sec, 70 secs
lola: 12731385 markings, 15437395 edges, 140667 markings/sec, 75 secs
lola: 13425220 markings, 16326437 edges, 138767 markings/sec, 80 secs
lola: 14120744 markings, 17209389 edges, 139105 markings/sec, 85 secs
lola: 14820846 markings, 18106666 edges, 140020 markings/sec, 90 secs
lola: 15519209 markings, 18991329 edges, 139673 markings/sec, 95 secs
lola: 16217205 markings, 19879289 edges, 139599 markings/sec, 100 secs
lola: 16914526 markings, 20763663 edges, 139464 markings/sec, 105 secs
lola: 17612662 markings, 21657110 edges, 139627 markings/sec, 110 secs
lola: 18301923 markings, 22533372 edges, 137852 markings/sec, 115 secs
lola: 19000499 markings, 23414880 edges, 139715 markings/sec, 120 secs
lola: 19696528 markings, 24298596 edges, 139206 markings/sec, 125 secs
lola: 20399430 markings, 25197274 edges, 140580 markings/sec, 130 secs
lola: 21099683 markings, 26081956 edges, 140051 markings/sec, 135 secs
lola: 21802155 markings, 26977725 edges, 140494 markings/sec, 140 secs
lola: 22456034 markings, 27816891 edges, 130776 markings/sec, 145 secs
lola: 23103429 markings, 28648485 edges, 129479 markings/sec, 150 secs
lola: 23753284 markings, 29485782 edges, 129971 markings/sec, 155 secs
lola: 24401291 markings, 30314316 edges, 129601 markings/sec, 160 secs
lola: 25048119 markings, 31133149 edges, 129366 markings/sec, 165 secs
lola: 25690343 markings, 31946219 edges, 128445 markings/sec, 170 secs
lola: 26327843 markings, 32748901 edges, 127500 markings/sec, 175 secs
lola: 26972358 markings, 33564941 edges, 128903 markings/sec, 180 secs
lola: 27613170 markings, 34388184 edges, 128162 markings/sec, 185 secs
lola: 28254978 markings, 35213934 edges, 128362 markings/sec, 190 secs
lola: 28898689 markings, 36043635 edges, 128742 markings/sec, 195 secs
lola: 29535275 markings, 36852908 edges, 127317 markings/sec, 200 secs
lola: 30174406 markings, 37660270 edges, 127826 markings/sec, 205 secs
lola: 30808968 markings, 38460258 edges, 126912 markings/sec, 210 secs
lola: 31447344 markings, 39273127 edges, 127675 markings/sec, 215 secs
lola: 32084985 markings, 40083038 edges, 127528 markings/sec, 220 secs
lola: 32728718 markings, 40911354 edges, 128747 markings/sec, 225 secs
lola: 33369346 markings, 41735419 edges, 128126 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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 8 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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 9 will run for 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 1039209 markings, 1119817 edges, 207842 markings/sec, 0 secs
lola: 2139794 markings, 2267361 edges, 220117 markings/sec, 5 secs
lola: 3284375 markings, 3444505 edges, 228916 markings/sec, 10 secs
lola: 4229517 markings, 4547007 edges, 189028 markings/sec, 15 secs
lola: 5235963 markings, 5659921 edges, 201289 markings/sec, 20 secs
lola: 6273410 markings, 6800006 edges, 207489 markings/sec, 25 secs
lola: 7349932 markings, 7902025 edges, 215304 markings/sec, 30 secs
lola: 8415323 markings, 9042633 edges, 213078 markings/sec, 35 secs
lola: 9023685 markings, 10160642 edges, 121672 markings/sec, 40 secs
lola: 9568159 markings, 11227414 edges, 108895 markings/sec, 45 secs
lola: 10362018 markings, 12281029 edges, 158772 markings/sec, 50 secs
lola: 11381045 markings, 13359603 edges, 203805 markings/sec, 55 secs
lola: 12511980 markings, 14519152 edges, 226187 markings/sec, 60 secs
lola: 13469926 markings, 15619737 edges, 191589 markings/sec, 65 secs
lola: 14420899 markings, 16718096 edges, 190195 markings/sec, 70 secs
lola: 15228285 markings, 17820484 edges, 161477 markings/sec, 75 secs
lola: 15964217 markings, 18904918 edges, 147186 markings/sec, 80 secs
lola: 16655649 markings, 19915683 edges, 138286 markings/sec, 85 secs
lola: 17299109 markings, 20953983 edges, 128692 markings/sec, 90 secs
lola: 18228516 markings, 22038101 edges, 185881 markings/sec, 95 secs
lola: 19261889 markings, 23161446 edges, 206675 markings/sec, 100 secs
lola: 20328047 markings, 24257436 edges, 213232 markings/sec, 105 secs
lola: 21357265 markings, 25367265 edges, 205844 markings/sec, 110 secs
lola: 21850351 markings, 26437165 edges, 98617 markings/sec, 115 secs
lola: 22416421 markings, 27473311 edges, 113214 markings/sec, 120 secs
lola: 23214346 markings, 28510531 edges, 159585 markings/sec, 125 secs
lola: 24237565 markings, 29588029 edges, 204644 markings/sec, 130 secs
lola: 25319040 markings, 30742791 edges, 216295 markings/sec, 135 secs
lola: 26318484 markings, 31845114 edges, 199889 markings/sec, 140 secs
lola: 27246170 markings, 32919090 edges, 185537 markings/sec, 145 secs
lola: 28028423 markings, 33999259 edges, 156451 markings/sec, 150 secs
lola: 28749166 markings, 35060867 edges, 144149 markings/sec, 155 secs
lola: 29424413 markings, 36044873 edges, 135049 markings/sec, 160 secs
lola: 30059668 markings, 37056393 edges, 127051 markings/sec, 165 secs
lola: 30941293 markings, 38119038 edges, 176325 markings/sec, 170 secs
lola: 31979761 markings, 39249640 edges, 207694 markings/sec, 175 secs
lola: 33053483 markings, 40352644 edges, 214744 markings/sec, 180 secs
lola: 34111801 markings, 41490326 edges, 211664 markings/sec, 185 secs
lola: 34624795 markings, 42578405 edges, 102599 markings/sec, 190 secs
lola: 35195993 markings, 43623910 edges, 114240 markings/sec, 195 secs
lola: 36003170 markings, 44669955 edges, 161435 markings/sec, 200 secs
lola: 37045316 markings, 45766581 edges, 208429 markings/sec, 205 secs
lola: 38106653 markings, 46911932 edges, 212267 markings/sec, 210 secs
lola: 39119553 markings, 48019211 edges, 202580 markings/sec, 215 secs
lola: 40046234 markings, 49092028 edges, 185336 markings/sec, 220 secs
lola: 40826395 markings, 50174874 edges, 156032 markings/sec, 225 secs
lola: 41552495 markings, 51236679 edges, 145220 markings/sec, 230 secs
lola: 42211739 markings, 52215898 edges, 131849 markings/sec, 235 secs
lola: 42843786 markings, 53222721 edges, 126409 markings/sec, 240 secs
lola: 43737686 markings, 54286434 edges, 178780 markings/sec, 245 secs
lola: 44770317 markings, 55410533 edges, 206526 markings/sec, 250 secs
lola: 45831417 markings, 56500912 edges, 212220 markings/sec, 255 secs
lola: 46863216 markings, 57610147 edges, 206360 markings/sec, 260 secs
lola: 47385353 markings, 58683671 edges, 104427 markings/sec, 265 secs
lola: 47932035 markings, 59717291 edges, 109336 markings/sec, 270 secs
lola: 48718981 markings, 60754408 edges, 157389 markings/sec, 275 secs
lola: 49727798 markings, 61817936 edges, 201763 markings/sec, 280 secs
lola: 50841569 markings, 62959291 edges, 222754 markings/sec, 285 secs
lola: 51778347 markings, 64037203 edges, 187356 markings/sec, 290 secs
lola: 52695819 markings, 65097968 edges, 183494 markings/sec, 295 secs
lola: 53485533 markings, 66163053 edges, 157943 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p148)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 940289 markings, 1076808 edges, 188058 markings/sec, 0 secs
lola: 1884799 markings, 2158854 edges, 188902 markings/sec, 5 secs
lola: 2831771 markings, 3243733 edges, 189394 markings/sec, 10 secs
lola: 3778905 markings, 4328811 edges, 189427 markings/sec, 15 secs
lola: 4727685 markings, 5415768 edges, 189756 markings/sec, 20 secs
lola: 5653523 markings, 6482181 edges, 185168 markings/sec, 25 secs
lola: 6352901 markings, 7378536 edges, 139876 markings/sec, 30 secs
lola: 7044484 markings, 8264259 edges, 138317 markings/sec, 35 secs
lola: 7732996 markings, 9145596 edges, 137702 markings/sec, 40 secs
lola: 8426476 markings, 10032579 edges, 138696 markings/sec, 45 secs
lola: 9118586 markings, 10919025 edges, 138422 markings/sec, 50 secs
lola: 9810498 markings, 11803079 edges, 138382 markings/sec, 55 secs
lola: 10502410 markings, 12685298 edges, 138382 markings/sec, 60 secs
lola: 11192170 markings, 13558488 edges, 137952 markings/sec, 65 secs
lola: 11886279 markings, 14443821 edges, 138822 markings/sec, 70 secs
lola: 12579838 markings, 15323164 edges, 138712 markings/sec, 75 secs
lola: 13271266 markings, 16205055 edges, 138286 markings/sec, 80 secs
lola: 13957184 markings, 17068232 edges, 137184 markings/sec, 85 secs
lola: 14644804 markings, 17943716 edges, 137524 markings/sec, 90 secs
lola: 15336353 markings, 18826227 edges, 138310 markings/sec, 95 secs
lola: 16018651 markings, 19689080 edges, 136460 markings/sec, 100 secs
lola: 16713883 markings, 20579312 edges, 139046 markings/sec, 105 secs
lola: 17410401 markings, 21467741 edges, 139304 markings/sec, 110 secs
lola: 18106092 markings, 22358795 edges, 139138 markings/sec, 115 secs
lola: 18799152 markings, 23246952 edges, 138612 markings/sec, 120 secs
lola: 19496093 markings, 24136942 edges, 139388 markings/sec, 125 secs
lola: 20197008 markings, 25032982 edges, 140183 markings/sec, 130 secs
lola: 20899159 markings, 25931646 edges, 140430 markings/sec, 135 secs
lola: 21563104 markings, 26778243 edges, 132789 markings/sec, 140 secs
lola: 22208575 markings, 27595722 edges, 129094 markings/sec, 145 secs
lola: 22849353 markings, 28409980 edges, 128156 markings/sec, 150 secs
lola: 23489237 markings, 29213529 edges, 127977 markings/sec, 155 secs
lola: 24136029 markings, 30031150 edges, 129358 markings/sec, 160 secs
lola: 24778474 markings, 30856906 edges, 128489 markings/sec, 165 secs
lola: 25422995 markings, 31686823 edges, 128904 markings/sec, 170 secs
lola: 26069001 markings, 32517998 edges, 129201 markings/sec, 175 secs
lola: 26706128 markings, 33334273 edges, 127425 markings/sec, 180 secs
lola: 27345207 markings, 34139535 edges, 127816 markings/sec, 185 secs
lola: 27978645 markings, 34945455 edges, 126688 markings/sec, 190 secs
lola: 28617129 markings, 35749107 edges, 127697 markings/sec, 195 secs
lola: 29250216 markings, 36553358 edges, 126617 markings/sec, 200 secs
lola: 29888864 markings, 37374033 edges, 127730 markings/sec, 205 secs
lola: 30526567 markings, 38194690 edges, 127541 markings/sec, 210 secs
lola: 31162486 markings, 39007260 edges, 127184 markings/sec, 215 secs
lola: 31800557 markings, 39817850 edges, 127614 markings/sec, 220 secs
lola: 32438801 markings, 40628368 edges, 127649 markings/sec, 225 secs
lola: 33069547 markings, 41419895 edges, 126149 markings/sec, 230 secs
lola: 33707727 markings, 42228847 edges, 127636 markings/sec, 235 secs
lola: 34347474 markings, 43051012 edges, 127949 markings/sec, 240 secs
lola: 34987880 markings, 43874539 edges, 128081 markings/sec, 245 secs
lola: 35630304 markings, 44703709 edges, 128485 markings/sec, 250 secs
lola: 36268162 markings, 45513459 edges, 127572 markings/sec, 255 secs
lola: 36906298 markings, 46320593 edges, 127627 markings/sec, 260 secs
lola: 37535770 markings, 47113396 edges, 125894 markings/sec, 265 secs
lola: 38167125 markings, 47916010 edges, 126271 markings/sec, 270 secs
lola: 38797866 markings, 48718996 edges, 126148 markings/sec, 275 secs
lola: 39432091 markings, 49538418 edges, 126845 markings/sec, 280 secs
lola: 40069229 markings, 50357710 edges, 127428 markings/sec, 285 secs
lola: 40699443 markings, 51165413 edges, 126043 markings/sec, 290 secs
lola: 41337293 markings, 51965641 edges, 127570 markings/sec, 295 secs
lola: 41967601 markings, 52761661 edges, 126062 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p437)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 894441 markings, 1137441 edges, 178888 markings/sec, 0 secs
lola: 1672186 markings, 2245308 edges, 155549 markings/sec, 5 secs
lola: 2529050 markings, 3369200 edges, 171373 markings/sec, 10 secs
lola: 2971633 markings, 4474677 edges, 88517 markings/sec, 15 secs
lola: 3465983 markings, 5483598 edges, 98870 markings/sec, 20 secs
lola: 4099325 markings, 6514046 edges, 126668 markings/sec, 25 secs
lola: 4895352 markings, 7626219 edges, 159205 markings/sec, 30 secs
lola: 5490514 markings, 8683773 edges, 119032 markings/sec, 35 secs
lola: 5973217 markings, 9819961 edges, 96541 markings/sec, 40 secs
lola: 6422436 markings, 10864686 edges, 89844 markings/sec, 45 secs
lola: 6844272 markings, 11834530 edges, 84367 markings/sec, 50 secs
lola: 7277380 markings, 12836122 edges, 86622 markings/sec, 55 secs
lola: 7705213 markings, 13817775 edges, 85567 markings/sec, 60 secs
lola: 8156775 markings, 14835411 edges, 90312 markings/sec, 65 secs
lola: 8757362 markings, 15885806 edges, 120117 markings/sec, 70 secs
lola: 9530830 markings, 16989612 edges, 154694 markings/sec, 75 secs
lola: 10322883 markings, 18066765 edges, 158411 markings/sec, 80 secs
lola: 11155653 markings, 19082089 edges, 166554 markings/sec, 85 secs
lola: 11944432 markings, 20080872 edges, 157756 markings/sec, 90 secs
lola: 12782607 markings, 21104508 edges, 167635 markings/sec, 95 secs
lola: 13566402 markings, 22103635 edges, 156759 markings/sec, 100 secs
lola: 14364923 markings, 23107703 edges, 159704 markings/sec, 105 secs
lola: 15157643 markings, 24092276 edges, 158544 markings/sec, 110 secs
lola: 15939485 markings, 25065157 edges, 156368 markings/sec, 115 secs
lola: 16714792 markings, 26032156 edges, 155061 markings/sec, 120 secs
lola: 17503159 markings, 27003795 edges, 157673 markings/sec, 125 secs
lola: 18365069 markings, 28031254 edges, 172382 markings/sec, 130 secs
lola: 18902272 markings, 29143678 edges, 107441 markings/sec, 135 secs
lola: 19355153 markings, 30152237 edges, 90576 markings/sec, 140 secs
lola: 19881795 markings, 31148985 edges, 105328 markings/sec, 145 secs
lola: 20688121 markings, 32229242 edges, 161265 markings/sec, 150 secs
lola: 21351444 markings, 33324046 edges, 132665 markings/sec, 155 secs
lola: 21736212 markings, 34364509 edges, 76954 markings/sec, 160 secs
lola: 22123879 markings, 35367843 edges, 77533 markings/sec, 165 secs
lola: 22572836 markings, 36377119 edges, 89791 markings/sec, 170 secs
lola: 23019132 markings, 37376519 edges, 89259 markings/sec, 175 secs
lola: 23548802 markings, 38399479 edges, 105934 markings/sec, 180 secs
lola: 23959337 markings, 39341373 edges, 82107 markings/sec, 185 secs
lola: 24787972 markings, 40397348 edges, 165727 markings/sec, 190 secs
lola: 25607059 markings, 41412710 edges, 163817 markings/sec, 195 secs
lola: 26403030 markings, 42403742 edges, 159194 markings/sec, 200 secs
lola: 27256429 markings, 43441802 edges, 170680 markings/sec, 205 secs
lola: 28018427 markings, 44428296 edges, 152400 markings/sec, 210 secs
lola: 28802502 markings, 45423818 edges, 156815 markings/sec, 215 secs
lola: 29561498 markings, 46384173 edges, 151799 markings/sec, 220 secs
lola: 30368068 markings, 47360146 edges, 161314 markings/sec, 225 secs
lola: 31161531 markings, 48337250 edges, 158693 markings/sec, 230 secs
lola: 31924511 markings, 49290139 edges, 152596 markings/sec, 235 secs
lola: 32781466 markings, 50380538 edges, 171391 markings/sec, 240 secs
lola: 33215908 markings, 51467644 edges, 86888 markings/sec, 245 secs
lola: 33706446 markings, 52472459 edges, 98108 markings/sec, 250 secs
lola: 34334113 markings, 53485191 edges, 125533 markings/sec, 255 secs
lola: 35129348 markings, 54582235 edges, 159047 markings/sec, 260 secs
lola: 35673277 markings, 55698483 edges, 108786 markings/sec, 265 secs
lola: 36042125 markings, 56694862 edges, 73770 markings/sec, 270 secs
lola: 36456090 markings, 57700183 edges, 82793 markings/sec, 275 secs
lola: 36909677 markings, 58719227 edges, 90717 markings/sec, 280 secs
lola: 37398143 markings, 59724942 edges, 97693 markings/sec, 285 secs
lola: 37868418 markings, 60720233 edges, 94055 markings/sec, 290 secs
lola: 38421977 markings, 61733767 edges, 110712 markings/sec, 295 secs
lola: 39260284 markings, 62740173 edges, 167661 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 954836 markings, 1082583 edges, 190967 markings/sec, 0 secs
lola: 2056381 markings, 2235435 edges, 220309 markings/sec, 5 secs
lola: 2948270 markings, 3305960 edges, 178378 markings/sec, 10 secs
lola: 3886771 markings, 4400126 edges, 187700 markings/sec, 15 secs
lola: 4815414 markings, 5458657 edges, 185729 markings/sec, 20 secs
lola: 5840548 markings, 6566561 edges, 205027 markings/sec, 25 secs
lola: 6383368 markings, 7670745 edges, 108564 markings/sec, 30 secs
lola: 6883695 markings, 8690662 edges, 100065 markings/sec, 35 secs
lola: 7496221 markings, 9677490 edges, 122505 markings/sec, 40 secs
lola: 8284536 markings, 10689406 edges, 157663 markings/sec, 45 secs
lola: 9304270 markings, 11807504 edges, 203947 markings/sec, 50 secs
lola: 10168323 markings, 12864015 edges, 172811 markings/sec, 55 secs
lola: 10954122 markings, 13878009 edges, 157160 markings/sec, 60 secs
lola: 11538546 markings, 14950409 edges, 116885 markings/sec, 65 secs
lola: 12089166 markings, 16040426 edges, 110124 markings/sec, 70 secs
lola: 12603478 markings, 17050935 edges, 102862 markings/sec, 75 secs
lola: 13120604 markings, 17996676 edges, 103425 markings/sec, 80 secs
lola: 13596077 markings, 18986235 edges, 95095 markings/sec, 85 secs
lola: 14085256 markings, 19967617 edges, 97836 markings/sec, 90 secs
lola: 14575346 markings, 20938271 edges, 98018 markings/sec, 95 secs
lola: 15059382 markings, 21939052 edges, 96807 markings/sec, 100 secs
lola: 15880724 markings, 22990131 edges, 164268 markings/sec, 105 secs
lola: 16773720 markings, 24056415 edges, 178599 markings/sec, 110 secs
lola: 17668875 markings, 25117270 edges, 179031 markings/sec, 115 secs
lola: 18567096 markings, 26177906 edges, 179644 markings/sec, 120 secs
lola: 19324485 markings, 27205224 edges, 151478 markings/sec, 125 secs
lola: 20037088 markings, 28185158 edges, 142521 markings/sec, 130 secs
lola: 20717014 markings, 29157693 edges, 135985 markings/sec, 135 secs
lola: 21412703 markings, 30127739 edges, 139138 markings/sec, 140 secs
lola: 22115556 markings, 31078756 edges, 140571 markings/sec, 145 secs
lola: 23135047 markings, 32151574 edges, 203898 markings/sec, 150 secs
lola: 23827546 markings, 33269445 edges, 138500 markings/sec, 155 secs
lola: 24251632 markings, 34258412 edges, 84817 markings/sec, 160 secs
lola: 24865318 markings, 35250783 edges, 122737 markings/sec, 165 secs
lola: 25598556 markings, 36248010 edges, 146648 markings/sec, 170 secs
lola: 26435923 markings, 37243256 edges, 167473 markings/sec, 175 secs
lola: 27453273 markings, 38364975 edges, 203470 markings/sec, 180 secs
lola: 28318942 markings, 39424037 edges, 173134 markings/sec, 185 secs
lola: 28847065 markings, 40515457 edges, 105625 markings/sec, 190 secs
lola: 29201910 markings, 41471991 edges, 70969 markings/sec, 195 secs
lola: 29659003 markings, 42457475 edges, 91419 markings/sec, 200 secs
lola: 30157609 markings, 43453856 edges, 99721 markings/sec, 205 secs
lola: 30636033 markings, 44432429 edges, 95685 markings/sec, 210 secs
lola: 31210287 markings, 45420336 edges, 114851 markings/sec, 215 secs
lola: 31613574 markings, 46326280 edges, 80657 markings/sec, 220 secs
lola: 32484430 markings, 47404320 edges, 174171 markings/sec, 225 secs
lola: 33197017 markings, 48383224 edges, 142517 markings/sec, 230 secs
lola: 33885491 markings, 49378414 edges, 137695 markings/sec, 235 secs
lola: 34577225 markings, 50355148 edges, 138347 markings/sec, 240 secs
lola: 35285847 markings, 51303090 edges, 141724 markings/sec, 245 secs
lola: 36188650 markings, 52325280 edges, 180561 markings/sec, 250 secs
lola: 37105886 markings, 53420832 edges, 183447 markings/sec, 255 secs
lola: 37527445 markings, 54478951 edges, 84312 markings/sec, 260 secs
lola: 38083652 markings, 55475960 edges, 111241 markings/sec, 265 secs
lola: 38695161 markings, 56466667 edges, 122302 markings/sec, 270 secs
lola: 39556993 markings, 57472643 edges, 172366 markings/sec, 275 secs
lola: 40559860 markings, 58558097 edges, 200573 markings/sec, 280 secs
lola: 41455854 markings, 59624110 edges, 179199 markings/sec, 285 secs
lola: 42143489 markings, 60681163 edges, 137527 markings/sec, 290 secs
lola: 42514645 markings, 61682016 edges, 74231 markings/sec, 295 secs
lola: 42915422 markings, 62669855 edges, 80155 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p188)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 718036 markings, 1000471 edges, 143607 markings/sec, 0 secs
lola: 1383218 markings, 1979883 edges, 133036 markings/sec, 5 secs
lola: 1976320 markings, 2966359 edges, 118620 markings/sec, 10 secs
lola: 2574963 markings, 3967065 edges, 119729 markings/sec, 15 secs
lola: 3170017 markings, 4966753 edges, 119011 markings/sec, 20 secs
lola: 3783904 markings, 5973354 edges, 122777 markings/sec, 25 secs
lola: 4375324 markings, 6974017 edges, 118284 markings/sec, 30 secs
lola: 4977516 markings, 7974700 edges, 120438 markings/sec, 35 secs
lola: 5572596 markings, 8974359 edges, 119016 markings/sec, 40 secs
lola: 6191036 markings, 9983775 edges, 123688 markings/sec, 45 secs
lola: 6780713 markings, 10985207 edges, 117935 markings/sec, 50 secs
lola: 7381101 markings, 11977265 edges, 120078 markings/sec, 55 secs
lola: 7977485 markings, 12976669 edges, 119277 markings/sec, 60 secs
lola: 8601884 markings, 14023155 edges, 124880 markings/sec, 65 secs
lola: 9081099 markings, 14985422 edges, 95843 markings/sec, 70 secs
lola: 9496947 markings, 15959365 edges, 83170 markings/sec, 75 secs
lola: 9877089 markings, 16986863 edges, 76028 markings/sec, 80 secs
lola: 10279702 markings, 17959736 edges, 80523 markings/sec, 85 secs
lola: 10746321 markings, 18953251 edges, 93324 markings/sec, 90 secs
lola: 11198926 markings, 19888889 edges, 90521 markings/sec, 95 secs
lola: 11658110 markings, 20792460 edges, 91837 markings/sec, 100 secs
lola: 12083297 markings, 21696354 edges, 85037 markings/sec, 105 secs
lola: 12468203 markings, 22696272 edges, 76981 markings/sec, 110 secs
lola: 12846995 markings, 23696575 edges, 75758 markings/sec, 115 secs
lola: 13219124 markings, 24692561 edges, 74426 markings/sec, 120 secs
lola: 13597248 markings, 25682128 edges, 75625 markings/sec, 125 secs
lola: 13959403 markings, 26659784 edges, 72431 markings/sec, 130 secs
lola: 14329875 markings, 27632316 edges, 74094 markings/sec, 135 secs
lola: 14757016 markings, 28564736 edges, 85428 markings/sec, 140 secs
lola: 15153073 markings, 29492670 edges, 79211 markings/sec, 145 secs
lola: 15554005 markings, 30377983 edges, 80186 markings/sec, 150 secs
lola: 16020238 markings, 31278891 edges, 93247 markings/sec, 155 secs
lola: 16432144 markings, 32191266 edges, 82381 markings/sec, 160 secs
lola: 16820851 markings, 33130817 edges, 77741 markings/sec, 165 secs
lola: 17264401 markings, 34029323 edges, 88710 markings/sec, 170 secs
lola: 17748608 markings, 35038959 edges, 96841 markings/sec, 175 secs
lola: 18224904 markings, 35961495 edges, 95259 markings/sec, 180 secs
lola: 18716376 markings, 36963466 edges, 98294 markings/sec, 185 secs
lola: 19120828 markings, 38035181 edges, 80890 markings/sec, 190 secs
lola: 19500850 markings, 39060650 edges, 76004 markings/sec, 195 secs
lola: 19851996 markings, 40022479 edges, 70229 markings/sec, 200 secs
lola: 20206787 markings, 40988676 edges, 70958 markings/sec, 205 secs
lola: 20613555 markings, 41927942 edges, 81354 markings/sec, 210 secs
lola: 21102170 markings, 42908807 edges, 97723 markings/sec, 215 secs
lola: 21493014 markings, 43892895 edges, 78169 markings/sec, 220 secs
lola: 21989453 markings, 44880594 edges, 99288 markings/sec, 225 secs
lola: 22490167 markings, 45926766 edges, 100143 markings/sec, 230 secs
lola: 22985937 markings, 46922701 edges, 99154 markings/sec, 235 secs
lola: 23529564 markings, 47880669 edges, 108725 markings/sec, 240 secs
lola: 23952180 markings, 48770599 edges, 84523 markings/sec, 245 secs
lola: 24417056 markings, 49673903 edges, 92975 markings/sec, 250 secs
lola: 24968259 markings, 50588408 edges, 110241 markings/sec, 255 secs
lola: 25367467 markings, 51532879 edges, 79842 markings/sec, 260 secs
lola: 25899391 markings, 52453855 edges, 106385 markings/sec, 265 secs
lola: 26433742 markings, 53397059 edges, 106870 markings/sec, 270 secs
lola: 26849398 markings, 54337563 edges, 83131 markings/sec, 275 secs
lola: 27270223 markings, 55269160 edges, 84165 markings/sec, 280 secs
lola: 27721379 markings, 56155782 edges, 90231 markings/sec, 285 secs
lola: 28141480 markings, 57189796 edges, 84020 markings/sec, 290 secs
lola: 28611490 markings, 58164518 edges, 94002 markings/sec, 295 secs
lola: 28977649 markings, 59145104 edges, 73232 markings/sec, 300 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 308 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p417)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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 15 will run for 617 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 820292 markings, 1142742 edges, 164058 markings/sec, 0 secs
lola: 1610942 markings, 2259228 edges, 158130 markings/sec, 5 secs
lola: 2240530 markings, 3423873 edges, 125918 markings/sec, 10 secs
lola: 2691279 markings, 4480257 edges, 90150 markings/sec, 15 secs
lola: 3193265 markings, 5486716 edges, 100397 markings/sec, 20 secs
lola: 3948644 markings, 6601964 edges, 151076 markings/sec, 25 secs
lola: 4562319 markings, 7664596 edges, 122735 markings/sec, 30 secs
lola: 5036102 markings, 8819309 edges, 94757 markings/sec, 35 secs
lola: 5480607 markings, 9894349 edges, 88901 markings/sec, 40 secs
lola: 5894868 markings, 10883291 edges, 82852 markings/sec, 45 secs
lola: 6320735 markings, 11904592 edges, 85173 markings/sec, 50 secs
lola: 6746748 markings, 12898691 edges, 85203 markings/sec, 55 secs
lola: 7190739 markings, 13924349 edges, 88798 markings/sec, 60 secs
lola: 7786946 markings, 14985067 edges, 119241 markings/sec, 65 secs
lola: 8533681 markings, 16111399 edges, 149347 markings/sec, 70 secs
lola: 9356914 markings, 17168957 edges, 164647 markings/sec, 75 secs
lola: 10205780 markings, 18222079 edges, 169773 markings/sec, 80 secs
lola: 11026687 markings, 19243926 edges, 164181 markings/sec, 85 secs
lola: 11907838 markings, 20313597 edges, 176230 markings/sec, 90 secs
lola: 12690424 markings, 21311232 edges, 156517 markings/sec, 95 secs
lola: 13501616 markings, 22336305 edges, 162238 markings/sec, 100 secs
lola: 14323261 markings, 23346948 edges, 164329 markings/sec, 105 secs
lola: 15127227 markings, 24343219 edges, 160793 markings/sec, 110 secs
lola: 15922675 markings, 25335103 edges, 159090 markings/sec, 115 secs
lola: 16733465 markings, 26331066 edges, 162158 markings/sec, 120 secs
lola: 17585558 markings, 27373996 edges, 170419 markings/sec, 125 secs
lola: 18093276 markings, 28500635 edges, 101544 markings/sec, 130 secs
lola: 18558602 markings, 29530914 edges, 93065 markings/sec, 135 secs
lola: 19127629 markings, 30556725 edges, 113805 markings/sec, 140 secs
lola: 19857949 markings, 31655268 edges, 146064 markings/sec, 145 secs
lola: 20365646 markings, 32795853 edges, 101539 markings/sec, 150 secs
lola: 20737291 markings, 33793966 edges, 74329 markings/sec, 155 secs
lola: 21158712 markings, 34813949 edges, 84284 markings/sec, 160 secs
lola: 21604545 markings, 35847915 edges, 89167 markings/sec, 165 secs
lola: 22123833 markings, 36851521 edges, 103858 markings/sec, 170 secs
lola: 22540890 markings, 37850525 edges, 83411 markings/sec, 175 secs
lola: 23240764 markings, 38902456 edges, 139975 markings/sec, 180 secs
lola: 24101518 markings, 39953559 edges, 172151 markings/sec, 185 secs
lola: 24917717 markings, 40983380 edges, 163240 markings/sec, 190 secs
lola: 25787133 markings, 42032193 edges, 173883 markings/sec, 195 secs
lola: 26581560 markings, 43064232 edges, 158885 markings/sec, 200 secs
lola: 27429753 markings, 44113330 edges, 169639 markings/sec, 205 secs
lola: 28246472 markings, 45125948 edges, 163344 markings/sec, 210 secs
lola: 29071921 markings, 46144143 edges, 165090 markings/sec, 215 secs
lola: 29880889 markings, 47153373 edges, 161794 markings/sec, 220 secs
lola: 30701905 markings, 48158435 edges, 164203 markings/sec, 225 secs
lola: 31545172 markings, 49181441 edges, 168653 markings/sec, 230 secs
lola: 32183909 markings, 50363353 edges, 127747 markings/sec, 235 secs
lola: 32632202 markings, 51411163 edges, 89659 markings/sec, 240 secs
lola: 33152882 markings, 52440186 edges, 104136 markings/sec, 245 secs
lola: 33916178 markings, 53552907 edges, 152659 markings/sec, 250 secs
lola: 34480749 markings, 54710448 edges, 112914 markings/sec, 255 secs
lola: 34862905 markings, 55742415 edges, 76431 markings/sec, 260 secs
lola: 35282522 markings, 56774734 edges, 83923 markings/sec, 265 secs
lola: 35734577 markings, 57821038 edges, 90411 markings/sec, 270 secs
lola: 36248090 markings, 58841635 edges, 102703 markings/sec, 275 secs
lola: 36686925 markings, 59859353 edges, 87767 markings/sec, 280 secs
lola: 37342784 markings, 60906886 edges, 131172 markings/sec, 285 secs
lola: 38206813 markings, 61949846 edges, 172806 markings/sec, 290 secs
lola: 39020520 markings, 62978205 edges, 162741 markings/sec, 295 secs
lola: 39869709 markings, 64014208 edges, 169838 markings/sec, 300 secs
lola: 40670512 markings, 65053527 edges, 160161 markings/sec, 305 secs
lola: 41528949 markings, 66099581 edges, 171687 markings/sec, 310 secs
lola: 42334236 markings, 67106530 edges, 161057 markings/sec, 315 secs
lola: 43139567 markings, 68103863 edges, 161066 markings/sec, 320 secs
lola: 43951099 markings, 69108292 edges, 162306 markings/sec, 325 secs
lola: 44767868 markings, 70108628 edges, 163354 markings/sec, 330 secs
lola: 45572928 markings, 71101139 edges, 161012 markings/sec, 335 secs
lola: 46292590 markings, 72278252 edges, 143932 markings/sec, 340 secs
lola: 46719185 markings, 73319024 edges, 85319 markings/sec, 345 secs
lola: 47227463 markings, 74341371 edges, 101656 markings/sec, 350 secs
lola: 47947940 markings, 75421349 edges, 144095 markings/sec, 355 secs
lola: 48566381 markings, 76546668 edges, 123688 markings/sec, 360 secs
lola: 48960129 markings, 77608594 edges, 78750 markings/sec, 365 secs
lola: 49367372 markings, 78644217 edges, 81449 markings/sec, 370 secs
lola: 49815132 markings, 79683065 edges, 89552 markings/sec, 375 secs
lola: 50279524 markings, 80715434 edges, 92878 markings/sec, 380 secs
lola: 50774634 markings, 81729002 edges, 99022 markings/sec, 385 secs
lola: 51299243 markings, 82751391 edges, 104922 markings/sec, 390 secs
lola: 52177243 markings, 83787841 edges, 175600 markings/sec, 395 secs
lola: 53005625 markings, 84824230 edges, 165676 markings/sec, 400 secs
lola: 53831561 markings, 85847877 edges, 165187 markings/sec, 405 secs
lola: 54680080 markings, 86896977 edges, 169704 markings/sec, 410 secs
lola: 55495477 markings, 87922177 edges, 163079 markings/sec, 415 secs
lola: 56298203 markings, 88936475 edges, 160545 markings/sec, 420 secs
lola: 57082628 markings, 89926703 edges, 156885 markings/sec, 425 secs
lola: 57912762 markings, 90926580 edges, 166027 markings/sec, 430 secs
lola: 58726586 markings, 91925387 edges, 162765 markings/sec, 435 secs
lola: 59510740 markings, 92905291 edges, 156831 markings/sec, 440 secs
lola: 60332903 markings, 94016639 edges, 164433 markings/sec, 445 secs
lola: 60773819 markings, 95119064 edges, 88183 markings/sec, 450 secs
lola: 61266878 markings, 96146081 edges, 98612 markings/sec, 455 secs
lola: 61893436 markings, 97189947 edges, 125312 markings/sec, 460 secs
lola: 62625920 markings, 98310693 edges, 146497 markings/sec, 465 secs
lola: 63033285 markings, 99411541 edges, 81473 markings/sec, 470 secs
lola: 63421257 markings, 100431496 edges, 77594 markings/sec, 475 secs
lola: 63856979 markings, 101452884 edges, 87144 markings/sec, 480 secs
lola: 64296835 markings, 102462778 edges, 87971 markings/sec, 485 secs
lola: 64819406 markings, 103495538 edges, 104514 markings/sec, 490 secs
lola: 65226151 markings, 104448352 edges, 81349 markings/sec, 495 secs
lola: 66048941 markings, 105507656 edges, 164558 markings/sec, 500 secs
lola: 66889720 markings, 106542704 edges, 168156 markings/sec, 505 secs
lola: 67693164 markings, 107549056 edges, 160689 markings/sec, 510 secs
lola: 68562052 markings, 108604930 edges, 173778 markings/sec, 515 secs
lola: 69347838 markings, 109601607 edges, 157157 markings/sec, 520 secs
lola: 70159130 markings, 110629266 edges, 162258 markings/sec, 525 secs
lola: 70971455 markings, 111630592 edges, 162465 markings/sec, 530 secs
lola: 71774520 markings, 112620890 edges, 160613 markings/sec, 535 secs
lola: 72566388 markings, 113609656 edges, 158374 markings/sec, 540 secs
lola: 73378055 markings, 114605643 edges, 162333 markings/sec, 545 secs
lola: 74231432 markings, 115638457 edges, 170675 markings/sec, 550 secs
lola: 74781133 markings, 116787163 edges, 109940 markings/sec, 555 secs
lola: 75240866 markings, 117819594 edges, 91947 markings/sec, 560 secs
lola: 75791130 markings, 118847876 edges, 110053 markings/sec, 565 secs
lola: 76538358 markings, 119948372 edges, 149446 markings/sec, 570 secs
lola: 77060345 markings, 121088820 edges, 104397 markings/sec, 575 secs
lola: 77435271 markings, 122100002 edges, 74985 markings/sec, 580 secs
lola: 77852903 markings, 123119103 edges, 83526 markings/sec, 585 secs
lola: 78298455 markings, 124149734 edges, 89110 markings/sec, 590 secs
lola: 78809236 markings, 125151322 edges, 102156 markings/sec, 595 secs
lola: 79228442 markings, 126134537 edges, 83841 markings/sec, 600 secs
lola: 79873003 markings, 127173168 edges, 128912 markings/sec, 605 secs
lola: 80739469 markings, 128216691 edges, 173293 markings/sec, 610 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown 1
FORMULA DES-PT-60b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496461933934

--------------------
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_DES-PT-60b"
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_DES-PT-60b.tgz
mv S_DES-PT-60b 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_DES-PT-60b, 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 r098-ebro-149488455800344"
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 ;