Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is ProductionCell-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926200182
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494750671877


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ ProductionCell-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: 310/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 176 places, 134 transitions, 126 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 200 transition conflict sets
lola: TASK
lola: reading formula from ProductionCell-PT-none-UpperBounds.task
lola: MAX(p9) : MAX(p28) : MAX(p116) : MAX(p137) : MAX(p9) : MAX(p109) : MAX(p55) : MAX(p121) : MAX(p84) : MAX(p43) : MAX(p142) : MAX(p21) : MAX(p143) : MAX(p31) : MAX(p12) : MAX(p105)
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(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1356828 markings, 2970996 edges, 271366 markings/sec, 0 secs
lola: 2423466 markings, 5932055 edges, 213328 markings/sec, 5 secs
lola: 3423318 markings, 8899883 edges, 199970 markings/sec, 10 secs
lola: 4374765 markings, 11787089 edges, 190289 markings/sec, 15 secs
lola: 5353115 markings, 14545531 edges, 195670 markings/sec, 20 secs
lola: 6300746 markings, 17317232 edges, 189526 markings/sec, 25 secs
lola: 7231473 markings, 20057307 edges, 186145 markings/sec, 30 secs
lola: 8159272 markings, 22856321 edges, 185560 markings/sec, 35 secs
lola: 9067889 markings, 25679633 edges, 181723 markings/sec, 40 secs
lola: 9960145 markings, 28476406 edges, 178451 markings/sec, 45 secs
lola: 10841228 markings, 31375770 edges, 176217 markings/sec, 50 secs
lola: 11705986 markings, 34215925 edges, 172952 markings/sec, 55 secs
lola: 12563854 markings, 36984920 edges, 171574 markings/sec, 60 secs
lola: 13409848 markings, 39780883 edges, 169199 markings/sec, 65 secs
lola: 14264228 markings, 42609003 edges, 170876 markings/sec, 70 secs
lola: 15114807 markings, 45392134 edges, 170116 markings/sec, 75 secs
lola: 15972442 markings, 48154425 edges, 171527 markings/sec, 80 secs
lola: 16789602 markings, 50986066 edges, 163432 markings/sec, 85 secs
lola: 17615252 markings, 53675749 edges, 165130 markings/sec, 90 secs
lola: 18394528 markings, 56200991 edges, 155855 markings/sec, 95 secs
lola: 19167784 markings, 58681647 edges, 154651 markings/sec, 100 secs
lola: 19907634 markings, 61262415 edges, 147970 markings/sec, 105 secs
lola: 20630034 markings, 63638588 edges, 144480 markings/sec, 110 secs
lola: 21371874 markings, 66069638 edges, 148368 markings/sec, 115 secs
lola: 22105526 markings, 68468676 edges, 146730 markings/sec, 120 secs
lola: 22918933 markings, 71087355 edges, 162681 markings/sec, 125 secs
lola: 23721105 markings, 73818474 edges, 160434 markings/sec, 130 secs
lola: 24527026 markings, 76647119 edges, 161184 markings/sec, 135 secs
lola: 25339776 markings, 79321664 edges, 162550 markings/sec, 140 secs
lola: 26161728 markings, 81989295 edges, 164390 markings/sec, 145 secs
lola: 26965970 markings, 84737920 edges, 160848 markings/sec, 150 secs
lola: 27766581 markings, 87473673 edges, 160122 markings/sec, 155 secs
lola: 28574820 markings, 90195699 edges, 161648 markings/sec, 160 secs
lola: 29383410 markings, 92860647 edges, 161718 markings/sec, 165 secs
lola: 30177287 markings, 95693957 edges, 158775 markings/sec, 170 secs
lola: 30970779 markings, 98364143 edges, 158698 markings/sec, 175 secs
lola: 31763005 markings, 101042535 edges, 158445 markings/sec, 180 secs
lola: 32564034 markings, 103711121 edges, 160206 markings/sec, 185 secs
lola: 33362192 markings, 106418156 edges, 159632 markings/sec, 190 secs
lola: 34151982 markings, 109140248 edges, 157958 markings/sec, 195 secs
lola: 34931075 markings, 111940262 edges, 155819 markings/sec, 200 secs
lola: 35706948 markings, 114791924 edges, 155175 markings/sec, 205 secs
lola: 36481719 markings, 117496649 edges, 154954 markings/sec, 210 secs
lola: 37260520 markings, 120296756 edges, 155760 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(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1616995 markings, 2332568 edges, 323399 markings/sec, 0 secs
lola: 3067577 markings, 4596968 edges, 290116 markings/sec, 5 secs
lola: 4440205 markings, 6821346 edges, 274526 markings/sec, 10 secs
lola: 5751626 markings, 9052794 edges, 262284 markings/sec, 15 secs
lola: 7047936 markings, 11266576 edges, 259262 markings/sec, 20 secs
lola: 8281571 markings, 13489302 edges, 246727 markings/sec, 25 secs
lola: 9516122 markings, 15689728 edges, 246910 markings/sec, 30 secs
lola: 10729853 markings, 17873116 edges, 242746 markings/sec, 35 secs
lola: 11916971 markings, 20074318 edges, 237424 markings/sec, 40 secs
lola: 13100021 markings, 22235074 edges, 236610 markings/sec, 45 secs
lola: 14274800 markings, 24413785 edges, 234956 markings/sec, 50 secs
lola: 15450826 markings, 26620286 edges, 235205 markings/sec, 55 secs
lola: 16615419 markings, 28808241 edges, 232919 markings/sec, 60 secs
lola: 17776661 markings, 31015732 edges, 232248 markings/sec, 65 secs
lola: 18932706 markings, 33215339 edges, 231209 markings/sec, 70 secs
lola: 20074753 markings, 35414524 edges, 228409 markings/sec, 75 secs
lola: 21196439 markings, 37608420 edges, 224337 markings/sec, 80 secs
lola: 22305347 markings, 39786305 edges, 221782 markings/sec, 85 secs
lola: 23436238 markings, 41963586 edges, 226178 markings/sec, 90 secs
lola: 24533288 markings, 44161602 edges, 219410 markings/sec, 95 secs
lola: 25611641 markings, 46352327 edges, 215671 markings/sec, 100 secs
lola: 26711921 markings, 48514584 edges, 220056 markings/sec, 105 secs
lola: 27776440 markings, 50697753 edges, 212904 markings/sec, 110 secs
lola: 28855073 markings, 52874363 edges, 215727 markings/sec, 115 secs
lola: 29904594 markings, 55050357 edges, 209904 markings/sec, 120 secs
lola: 30968474 markings, 57214777 edges, 212776 markings/sec, 125 secs
lola: 32015782 markings, 59374109 edges, 209462 markings/sec, 130 secs
lola: 33050166 markings, 61542420 edges, 206877 markings/sec, 135 secs
lola: 34092377 markings, 63689394 edges, 208442 markings/sec, 140 secs
lola: 35112886 markings, 65852515 edges, 204102 markings/sec, 145 secs
lola: 36154477 markings, 67992144 edges, 208318 markings/sec, 150 secs
lola: 37164729 markings, 70165412 edges, 202050 markings/sec, 155 secs
lola: 38146688 markings, 72381015 edges, 196392 markings/sec, 160 secs
lola: 39157615 markings, 74538625 edges, 202185 markings/sec, 165 secs
lola: 40168453 markings, 76718109 edges, 202168 markings/sec, 170 secs
lola: 41163979 markings, 78882554 edges, 199105 markings/sec, 175 secs
lola: 42158991 markings, 81044702 edges, 199002 markings/sec, 180 secs
lola: 43129513 markings, 83243319 edges, 194104 markings/sec, 185 secs
lola: 44126892 markings, 85407927 edges, 199476 markings/sec, 190 secs
lola: 45112902 markings, 87547156 edges, 197202 markings/sec, 195 secs
lola: 46105011 markings, 89688521 edges, 198422 markings/sec, 200 secs
lola: 47106179 markings, 91794437 edges, 200234 markings/sec, 205 secs
lola: 48089868 markings, 93920415 edges, 196738 markings/sec, 210 secs
lola: 49073863 markings, 96048968 edges, 196799 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1650534 markings, 2333982 edges, 330107 markings/sec, 0 secs
lola: 3089055 markings, 4606804 edges, 287704 markings/sec, 5 secs
lola: 4415658 markings, 6829911 edges, 265321 markings/sec, 10 secs
lola: 5614552 markings, 9038084 edges, 239779 markings/sec, 15 secs
lola: 6735315 markings, 11305374 edges, 224153 markings/sec, 20 secs
lola: 7826738 markings, 13565945 edges, 218285 markings/sec, 25 secs
lola: 8900824 markings, 15849588 edges, 214817 markings/sec, 30 secs
lola: 9950892 markings, 18147508 edges, 210014 markings/sec, 35 secs
lola: 10987725 markings, 20442352 edges, 207367 markings/sec, 40 secs
lola: 12023812 markings, 22745047 edges, 207217 markings/sec, 45 secs
lola: 13030392 markings, 25110814 edges, 201316 markings/sec, 50 secs
lola: 14058881 markings, 27585082 edges, 205698 markings/sec, 55 secs
lola: 15094924 markings, 30117903 edges, 207209 markings/sec, 60 secs
lola: 16126648 markings, 32597852 edges, 206345 markings/sec, 65 secs
lola: 17144402 markings, 35130947 edges, 203551 markings/sec, 70 secs
lola: 18165562 markings, 37625530 edges, 204232 markings/sec, 75 secs
lola: 19192084 markings, 40257657 edges, 205304 markings/sec, 80 secs
lola: 20213201 markings, 42872008 edges, 204223 markings/sec, 85 secs
lola: 21204424 markings, 45406999 edges, 198245 markings/sec, 90 secs
lola: 22197764 markings, 48009546 edges, 198668 markings/sec, 95 secs
lola: 23171713 markings, 50634665 edges, 194790 markings/sec, 100 secs
lola: 24123759 markings, 53337397 edges, 190409 markings/sec, 105 secs
lola: 25061157 markings, 55995470 edges, 187480 markings/sec, 110 secs
lola: 26023085 markings, 58615954 edges, 192386 markings/sec, 115 secs
lola: 26959004 markings, 61273466 edges, 187184 markings/sec, 120 secs
lola: 27914207 markings, 63999895 edges, 191041 markings/sec, 125 secs
lola: 28869936 markings, 66650839 edges, 191146 markings/sec, 130 secs
lola: 29785956 markings, 69240918 edges, 183204 markings/sec, 135 secs
lola: 30691974 markings, 71877559 edges, 181204 markings/sec, 140 secs
lola: 31612299 markings, 74538698 edges, 184065 markings/sec, 145 secs
lola: 32516058 markings, 77121963 edges, 180752 markings/sec, 150 secs
lola: 33409242 markings, 79731658 edges, 178637 markings/sec, 155 secs
lola: 34311007 markings, 82326139 edges, 180353 markings/sec, 160 secs
lola: 35205513 markings, 84936680 edges, 178901 markings/sec, 165 secs
lola: 36094006 markings, 87614065 edges, 177699 markings/sec, 170 secs
lola: 37005841 markings, 90292431 edges, 182367 markings/sec, 175 secs
lola: 37885691 markings, 92955024 edges, 175970 markings/sec, 180 secs
lola: 38787626 markings, 95639475 edges, 180387 markings/sec, 185 secs
lola: 39675636 markings, 98329959 edges, 177602 markings/sec, 190 secs
lola: 40579078 markings, 100875191 edges, 180688 markings/sec, 195 secs
lola: 41461188 markings, 103505443 edges, 176422 markings/sec, 200 secs
lola: 42377929 markings, 106365476 edges, 183348 markings/sec, 205 secs
lola: 43289719 markings, 109357526 edges, 182358 markings/sec, 210 secs
lola: 44202257 markings, 112285010 edges, 182508 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1631409 markings, 2374166 edges, 326282 markings/sec, 0 secs
lola: 3015889 markings, 4579945 edges, 276896 markings/sec, 5 secs
lola: 4307516 markings, 6752001 edges, 258325 markings/sec, 10 secs
lola: 5549845 markings, 8898749 edges, 248466 markings/sec, 15 secs
lola: 6741844 markings, 11040814 edges, 238400 markings/sec, 20 secs
lola: 7903092 markings, 13163472 edges, 232250 markings/sec, 25 secs
lola: 9028357 markings, 15310968 edges, 225053 markings/sec, 30 secs
lola: 10134382 markings, 17476032 edges, 221205 markings/sec, 35 secs
lola: 11203519 markings, 19739501 edges, 213827 markings/sec, 40 secs
lola: 12258156 markings, 21991321 edges, 210927 markings/sec, 45 secs
lola: 13302186 markings, 24218689 edges, 208806 markings/sec, 50 secs
lola: 14332019 markings, 26447318 edges, 205967 markings/sec, 55 secs
lola: 15349137 markings, 28674120 edges, 203424 markings/sec, 60 secs
lola: 16364145 markings, 30896725 edges, 203002 markings/sec, 65 secs
lola: 17364913 markings, 33095519 edges, 200154 markings/sec, 70 secs
lola: 18365054 markings, 35308823 edges, 200028 markings/sec, 75 secs
lola: 19355407 markings, 37554323 edges, 198071 markings/sec, 80 secs
lola: 20331816 markings, 39892822 edges, 195282 markings/sec, 85 secs
lola: 21311104 markings, 42224784 edges, 195858 markings/sec, 90 secs
lola: 22276552 markings, 44551796 edges, 193090 markings/sec, 95 secs
lola: 23232146 markings, 46874691 edges, 191119 markings/sec, 100 secs
lola: 24190445 markings, 49290229 edges, 191660 markings/sec, 105 secs
lola: 25133696 markings, 51669865 edges, 188650 markings/sec, 110 secs
lola: 26074762 markings, 54037629 edges, 188213 markings/sec, 115 secs
lola: 27015612 markings, 56330623 edges, 188170 markings/sec, 120 secs
lola: 27950177 markings, 58652590 edges, 186913 markings/sec, 125 secs
lola: 28877300 markings, 61016112 edges, 185425 markings/sec, 130 secs
lola: 29807934 markings, 63424169 edges, 186127 markings/sec, 135 secs
lola: 30755651 markings, 65942980 edges, 189543 markings/sec, 140 secs
lola: 31693689 markings, 68326656 edges, 187608 markings/sec, 145 secs
lola: 32641047 markings, 70778465 edges, 189472 markings/sec, 150 secs
lola: 33561350 markings, 73174666 edges, 184061 markings/sec, 155 secs
lola: 34487599 markings, 75620391 edges, 185250 markings/sec, 160 secs
lola: 35402830 markings, 78057457 edges, 183046 markings/sec, 165 secs
lola: 36329692 markings, 80482947 edges, 185372 markings/sec, 170 secs
lola: 37244030 markings, 82941519 edges, 182868 markings/sec, 175 secs
lola: 38179226 markings, 85495447 edges, 187039 markings/sec, 180 secs
lola: 39091855 markings, 87993788 edges, 182526 markings/sec, 185 secs
lola: 39979774 markings, 90520714 edges, 177584 markings/sec, 190 secs
lola: 40878733 markings, 93000068 edges, 179792 markings/sec, 195 secs
lola: 41769301 markings, 95563808 edges, 178114 markings/sec, 200 secs
lola: 42654352 markings, 98002174 edges, 177010 markings/sec, 205 secs
lola: 43537839 markings, 100498001 edges, 176697 markings/sec, 210 secs
lola: 44414621 markings, 102914253 edges, 175356 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1358913 markings, 2977958 edges, 271783 markings/sec, 0 secs
lola: 2426513 markings, 5941844 edges, 213520 markings/sec, 5 secs
lola: 3428555 markings, 8914012 edges, 200408 markings/sec, 10 secs
lola: 4378590 markings, 11800978 edges, 190007 markings/sec, 15 secs
lola: 5357318 markings, 14556566 edges, 195746 markings/sec, 20 secs
lola: 6304934 markings, 17328242 edges, 189523 markings/sec, 25 secs
lola: 7236123 markings, 20068652 edges, 186238 markings/sec, 30 secs
lola: 8164133 markings, 22868619 edges, 185602 markings/sec, 35 secs
lola: 9072831 markings, 25694069 edges, 181740 markings/sec, 40 secs
lola: 9965442 markings, 28492376 edges, 178522 markings/sec, 45 secs
lola: 10846491 markings, 31392940 edges, 176210 markings/sec, 50 secs
lola: 11710696 markings, 34239880 edges, 172841 markings/sec, 55 secs
lola: 12568897 markings, 37000332 edges, 171640 markings/sec, 60 secs
lola: 13359816 markings, 39610378 edges, 158184 markings/sec, 65 secs
lola: 14217460 markings, 42466626 edges, 171529 markings/sec, 70 secs
lola: 15080788 markings, 45282661 edges, 172666 markings/sec, 75 secs
lola: 15951313 markings, 48073084 edges, 174105 markings/sec, 80 secs
lola: 16778467 markings, 50935551 edges, 165431 markings/sec, 85 secs
lola: 17619844 markings, 53689091 edges, 168275 markings/sec, 90 secs
lola: 18460648 markings, 56404674 edges, 168161 markings/sec, 95 secs
lola: 19308974 markings, 59196877 edges, 169665 markings/sec, 100 secs
lola: 20150243 markings, 62047791 edges, 168254 markings/sec, 105 secs
lola: 20980096 markings, 64788506 edges, 165971 markings/sec, 110 secs
lola: 21803868 markings, 67460951 edges, 164754 markings/sec, 115 secs
lola: 22623263 markings, 70156465 edges, 163879 markings/sec, 120 secs
lola: 23447045 markings, 72849531 edges, 164756 markings/sec, 125 secs
lola: 24273574 markings, 75701373 edges, 165306 markings/sec, 130 secs
lola: 25062834 markings, 78421692 edges, 157852 markings/sec, 135 secs
lola: 25886193 markings, 81094341 edges, 164672 markings/sec, 140 secs
lola: 26694549 markings, 83820967 edges, 161671 markings/sec, 145 secs
lola: 27497973 markings, 86557893 edges, 160685 markings/sec, 150 secs
lola: 28302663 markings, 89267605 edges, 160938 markings/sec, 155 secs
lola: 29107244 markings, 91948489 edges, 160916 markings/sec, 160 secs
lola: 29904266 markings, 94674923 edges, 159404 markings/sec, 165 secs
lola: 30700776 markings, 97461713 edges, 159302 markings/sec, 170 secs
lola: 31487626 markings, 100111186 edges, 157370 markings/sec, 175 secs
lola: 32287045 markings, 102786743 edges, 159884 markings/sec, 180 secs
lola: 33081149 markings, 105463336 edges, 158821 markings/sec, 185 secs
lola: 33878010 markings, 108193800 edges, 159372 markings/sec, 190 secs
lola: 34658348 markings, 110974655 edges, 156068 markings/sec, 195 secs
lola: 35439127 markings, 113818897 edges, 156156 markings/sec, 200 secs
lola: 36201042 markings, 116545985 edges, 152383 markings/sec, 205 secs
lola: 36984119 markings, 119331055 edges, 156615 markings/sec, 210 secs
lola: 37762367 markings, 122055738 edges, 155650 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1682175 markings, 2493776 edges, 336435 markings/sec, 0 secs
lola: 3125729 markings, 4881193 edges, 288711 markings/sec, 5 secs
lola: 4483079 markings, 7236837 edges, 271470 markings/sec, 10 secs
lola: 5780597 markings, 9586309 edges, 259504 markings/sec, 15 secs
lola: 7022633 markings, 11982072 edges, 248407 markings/sec, 20 secs
lola: 8226558 markings, 14381757 edges, 240785 markings/sec, 25 secs
lola: 9387620 markings, 16815742 edges, 232212 markings/sec, 30 secs
lola: 10527435 markings, 19265992 edges, 227963 markings/sec, 35 secs
lola: 11641632 markings, 21736486 edges, 222839 markings/sec, 40 secs
lola: 12729561 markings, 24271754 edges, 217586 markings/sec, 45 secs
lola: 13805597 markings, 26819565 edges, 215207 markings/sec, 50 secs
lola: 14872801 markings, 29350713 edges, 213441 markings/sec, 55 secs
lola: 15912246 markings, 31906967 edges, 207889 markings/sec, 60 secs
lola: 16946831 markings, 34486455 edges, 206917 markings/sec, 65 secs
lola: 17978142 markings, 37152391 edges, 206262 markings/sec, 70 secs
lola: 18993493 markings, 39712906 edges, 203070 markings/sec, 75 secs
lola: 20006366 markings, 42284280 edges, 202575 markings/sec, 80 secs
lola: 20996992 markings, 44856007 edges, 198125 markings/sec, 85 secs
lola: 21969727 markings, 47473552 edges, 194547 markings/sec, 90 secs
lola: 22933774 markings, 50093496 edges, 192809 markings/sec, 95 secs
lola: 23900598 markings, 52768771 edges, 193365 markings/sec, 100 secs
lola: 24866626 markings, 55352002 edges, 193206 markings/sec, 105 secs
lola: 25827300 markings, 57977366 edges, 192135 markings/sec, 110 secs
lola: 26795684 markings, 60572531 edges, 193677 markings/sec, 115 secs
lola: 27729781 markings, 63220012 edges, 186819 markings/sec, 120 secs
lola: 28671070 markings, 65900184 edges, 188258 markings/sec, 125 secs
lola: 29608638 markings, 68465826 edges, 187514 markings/sec, 130 secs
lola: 30550807 markings, 71044162 edges, 188434 markings/sec, 135 secs
lola: 31493752 markings, 73668799 edges, 188589 markings/sec, 140 secs
lola: 32410011 markings, 76310207 edges, 183252 markings/sec, 145 secs
lola: 33347044 markings, 78959972 edges, 187407 markings/sec, 150 secs
lola: 34269955 markings, 81666297 edges, 184582 markings/sec, 155 secs
lola: 35190719 markings, 84298501 edges, 184153 markings/sec, 160 secs
lola: 36130691 markings, 86926425 edges, 187994 markings/sec, 165 secs
lola: 37066577 markings, 89592555 edges, 187177 markings/sec, 170 secs
lola: 38027152 markings, 92104482 edges, 192115 markings/sec, 175 secs
lola: 39000465 markings, 94713646 edges, 194663 markings/sec, 180 secs
lola: 39961467 markings, 97288123 edges, 192200 markings/sec, 185 secs
lola: 40932641 markings, 99778661 edges, 194235 markings/sec, 190 secs
lola: 41912945 markings, 102316816 edges, 196061 markings/sec, 195 secs
lola: 42898811 markings, 104760305 edges, 197173 markings/sec, 200 secs
lola: 43875912 markings, 107267530 edges, 195420 markings/sec, 205 secs
lola: 44857847 markings, 109818791 edges, 196387 markings/sec, 210 secs
lola: 45824205 markings, 112310733 edges, 193272 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1893095 markings, 2602025 edges, 378619 markings/sec, 0 secs
lola: 3508222 markings, 5037055 edges, 323025 markings/sec, 5 secs
lola: 4976244 markings, 7359156 edges, 293604 markings/sec, 10 secs
lola: 6348189 markings, 9635222 edges, 274389 markings/sec, 15 secs
lola: 7671539 markings, 11899890 edges, 264670 markings/sec, 20 secs
lola: 8958034 markings, 14168337 edges, 257299 markings/sec, 25 secs
lola: 10207029 markings, 16421036 edges, 249799 markings/sec, 30 secs
lola: 11436602 markings, 18682902 edges, 245915 markings/sec, 35 secs
lola: 12647718 markings, 20955859 edges, 242223 markings/sec, 40 secs
lola: 13829603 markings, 23274972 edges, 236377 markings/sec, 45 secs
lola: 14993209 markings, 25595935 edges, 232721 markings/sec, 50 secs
lola: 16127517 markings, 27881002 edges, 226862 markings/sec, 55 secs
lola: 17265462 markings, 30191758 edges, 227589 markings/sec, 60 secs
lola: 18386069 markings, 32502423 edges, 224121 markings/sec, 65 secs
lola: 19479590 markings, 34858615 edges, 218704 markings/sec, 70 secs
lola: 20546039 markings, 37246420 edges, 213290 markings/sec, 75 secs
lola: 21681327 markings, 39537368 edges, 227058 markings/sec, 80 secs
lola: 22786152 markings, 41916802 edges, 220965 markings/sec, 85 secs
lola: 23885527 markings, 44334458 edges, 219875 markings/sec, 90 secs
lola: 24954270 markings, 46718438 edges, 213749 markings/sec, 95 secs
lola: 26030995 markings, 49107906 edges, 215345 markings/sec, 100 secs
lola: 27108362 markings, 51536369 edges, 215473 markings/sec, 105 secs
lola: 28167419 markings, 54057934 edges, 211811 markings/sec, 110 secs
lola: 29218857 markings, 56525647 edges, 210288 markings/sec, 115 secs
lola: 30298030 markings, 59000901 edges, 215835 markings/sec, 120 secs
lola: 31360556 markings, 61461989 edges, 212505 markings/sec, 125 secs
lola: 32401831 markings, 63955686 edges, 208255 markings/sec, 130 secs
lola: 33456577 markings, 66494696 edges, 210949 markings/sec, 135 secs
lola: 34475169 markings, 69014789 edges, 203718 markings/sec, 140 secs
lola: 35492411 markings, 71552452 edges, 203448 markings/sec, 145 secs
lola: 36507112 markings, 74058924 edges, 202940 markings/sec, 150 secs
lola: 37535266 markings, 76560808 edges, 205631 markings/sec, 155 secs
lola: 38546674 markings, 79039342 edges, 202282 markings/sec, 160 secs
lola: 39553935 markings, 81489426 edges, 201452 markings/sec, 165 secs
lola: 40534964 markings, 84090472 edges, 196206 markings/sec, 170 secs
lola: 41533350 markings, 86658522 edges, 199677 markings/sec, 175 secs
lola: 42521249 markings, 89137319 edges, 197580 markings/sec, 180 secs
lola: 43505437 markings, 91648016 edges, 196838 markings/sec, 185 secs
lola: 44468426 markings, 94156214 edges, 192598 markings/sec, 190 secs
lola: 45410467 markings, 96681394 edges, 188408 markings/sec, 195 secs
lola: 46376218 markings, 99174132 edges, 193150 markings/sec, 200 secs
lola: 47339948 markings, 101654813 edges, 192746 markings/sec, 205 secs
lola: 48303287 markings, 104092359 edges, 192668 markings/sec, 210 secs
lola: 49255363 markings, 106552600 edges, 190415 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1613913 markings, 2354050 edges, 322783 markings/sec, 0 secs
lola: 2984575 markings, 4566041 edges, 274132 markings/sec, 5 secs
lola: 4278697 markings, 6720271 edges, 258824 markings/sec, 10 secs
lola: 5513765 markings, 8877060 edges, 247014 markings/sec, 15 secs
lola: 6708958 markings, 11010315 edges, 239039 markings/sec, 20 secs
lola: 7869708 markings, 13111344 edges, 232150 markings/sec, 25 secs
lola: 8921971 markings, 15070948 edges, 210453 markings/sec, 30 secs
lola: 9935732 markings, 17013846 edges, 202752 markings/sec, 35 secs
lola: 10923259 markings, 18933048 edges, 197505 markings/sec, 40 secs
lola: 11937113 markings, 21016004 edges, 202771 markings/sec, 45 secs
lola: 12913842 markings, 23048794 edges, 195346 markings/sec, 50 secs
lola: 13866685 markings, 25064707 edges, 190569 markings/sec, 55 secs
lola: 14816682 markings, 27130712 edges, 189999 markings/sec, 60 secs
lola: 15776277 markings, 29236752 edges, 191919 markings/sec, 65 secs
lola: 16722636 markings, 31302006 edges, 189272 markings/sec, 70 secs
lola: 17658613 markings, 33319826 edges, 187195 markings/sec, 75 secs
lola: 18582009 markings, 35369584 edges, 184679 markings/sec, 80 secs
lola: 19497467 markings, 37409715 edges, 183092 markings/sec, 85 secs
lola: 20412067 markings, 39482669 edges, 182920 markings/sec, 90 secs
lola: 21345120 markings, 41603102 edges, 186611 markings/sec, 95 secs
lola: 22255773 markings, 43714862 edges, 182131 markings/sec, 100 secs
lola: 23169446 markings, 45905844 edges, 182735 markings/sec, 105 secs
lola: 24087558 markings, 48119951 edges, 183622 markings/sec, 110 secs
lola: 25002030 markings, 50336659 edges, 182894 markings/sec, 115 secs
lola: 25909141 markings, 52543395 edges, 181422 markings/sec, 120 secs
lola: 26787211 markings, 54717730 edges, 175614 markings/sec, 125 secs
lola: 27678705 markings, 57017387 edges, 178299 markings/sec, 130 secs
lola: 28565050 markings, 59232444 edges, 177269 markings/sec, 135 secs
lola: 29464781 markings, 61401141 edges, 179946 markings/sec, 140 secs
lola: 30359526 markings, 63623177 edges, 178949 markings/sec, 145 secs
lola: 31249887 markings, 65845356 edges, 178072 markings/sec, 150 secs
lola: 32139913 markings, 68081826 edges, 178005 markings/sec, 155 secs
lola: 33016926 markings, 70310623 edges, 175403 markings/sec, 160 secs
lola: 33898658 markings, 72545296 edges, 176346 markings/sec, 165 secs
lola: 34780300 markings, 74828240 edges, 176328 markings/sec, 170 secs
lola: 35687520 markings, 77236605 edges, 181444 markings/sec, 175 secs
lola: 36557756 markings, 79512686 edges, 174047 markings/sec, 180 secs
lola: 37436918 markings, 81773201 edges, 175832 markings/sec, 185 secs
lola: 38299970 markings, 84007323 edges, 172610 markings/sec, 190 secs
lola: 39168710 markings, 86244764 edges, 173748 markings/sec, 195 secs
lola: 40039095 markings, 88514553 edges, 174077 markings/sec, 200 secs
lola: 40924161 markings, 90872973 edges, 177013 markings/sec, 205 secs
lola: 41796260 markings, 93262262 edges, 174420 markings/sec, 210 secs
lola: 42663672 markings, 95579976 edges, 173482 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1637750 markings, 2185526 edges, 327550 markings/sec, 0 secs
lola: 3021818 markings, 4191991 edges, 276814 markings/sec, 5 secs
lola: 4318089 markings, 6153456 edges, 259254 markings/sec, 10 secs
lola: 5566544 markings, 8091289 edges, 249691 markings/sec, 15 secs
lola: 6777058 markings, 9992062 edges, 242103 markings/sec, 20 secs
lola: 7959648 markings, 11894792 edges, 236518 markings/sec, 25 secs
lola: 9119693 markings, 13802438 edges, 232009 markings/sec, 30 secs
lola: 10261290 markings, 15699942 edges, 228319 markings/sec, 35 secs
lola: 11382021 markings, 17592097 edges, 224146 markings/sec, 40 secs
lola: 12496240 markings, 19493886 edges, 222844 markings/sec, 45 secs
lola: 13593592 markings, 21381598 edges, 219470 markings/sec, 50 secs
lola: 14678007 markings, 23280376 edges, 216883 markings/sec, 55 secs
lola: 15756756 markings, 25161516 edges, 215750 markings/sec, 60 secs
lola: 16824889 markings, 27049157 edges, 213627 markings/sec, 65 secs
lola: 17880011 markings, 28923598 edges, 211024 markings/sec, 70 secs
lola: 18925725 markings, 30803940 edges, 209143 markings/sec, 75 secs
lola: 19959026 markings, 32691852 edges, 206660 markings/sec, 80 secs
lola: 20986080 markings, 34587219 edges, 205411 markings/sec, 85 secs
lola: 21999506 markings, 36490301 edges, 202685 markings/sec, 90 secs
lola: 23017602 markings, 38385936 edges, 203619 markings/sec, 95 secs
lola: 24021746 markings, 40303787 edges, 200829 markings/sec, 100 secs
lola: 25011124 markings, 42226904 edges, 197876 markings/sec, 105 secs
lola: 25999639 markings, 44166758 edges, 197703 markings/sec, 110 secs
lola: 26970081 markings, 46145420 edges, 194088 markings/sec, 115 secs
lola: 27945210 markings, 48091806 edges, 195026 markings/sec, 120 secs
lola: 28913058 markings, 50054877 edges, 193570 markings/sec, 125 secs
lola: 29883890 markings, 52021744 edges, 194166 markings/sec, 130 secs
lola: 30853624 markings, 53933620 edges, 193947 markings/sec, 135 secs
lola: 31813499 markings, 55844378 edges, 191975 markings/sec, 140 secs
lola: 32773323 markings, 57725048 edges, 191965 markings/sec, 145 secs
lola: 33726999 markings, 59645335 edges, 190735 markings/sec, 150 secs
lola: 34682217 markings, 61519444 edges, 191044 markings/sec, 155 secs
lola: 35638418 markings, 63429825 edges, 191240 markings/sec, 160 secs
lola: 36583712 markings, 65312204 edges, 189059 markings/sec, 165 secs
lola: 37524708 markings, 67243640 edges, 188199 markings/sec, 170 secs
lola: 38465072 markings, 69182699 edges, 188073 markings/sec, 175 secs
lola: 39405578 markings, 71122868 edges, 188101 markings/sec, 180 secs
lola: 40336682 markings, 73069445 edges, 186221 markings/sec, 185 secs
lola: 41265055 markings, 75058508 edges, 185675 markings/sec, 190 secs
lola: 42193897 markings, 77070835 edges, 185768 markings/sec, 195 secs
lola: 43115957 markings, 79077876 edges, 184412 markings/sec, 200 secs
lola: 44034776 markings, 81114803 edges, 183764 markings/sec, 205 secs
lola: 44951735 markings, 83108796 edges, 183392 markings/sec, 210 secs
lola: 45893818 markings, 85245590 edges, 188417 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1477282 markings, 3082310 edges, 295456 markings/sec, 0 secs
lola: 2681149 markings, 5906929 edges, 240773 markings/sec, 5 secs
lola: 3885481 markings, 8732110 edges, 240866 markings/sec, 10 secs
lola: 5073227 markings, 11556731 edges, 237549 markings/sec, 15 secs
lola: 6213282 markings, 14340171 edges, 228011 markings/sec, 20 secs
lola: 7324755 markings, 17255471 edges, 222295 markings/sec, 25 secs
lola: 8414006 markings, 20116726 edges, 217850 markings/sec, 30 secs
lola: 9468318 markings, 22957625 edges, 210862 markings/sec, 35 secs
lola: 10526972 markings, 25755321 edges, 211731 markings/sec, 40 secs
lola: 11541603 markings, 28473652 edges, 202926 markings/sec, 45 secs
lola: 12562661 markings, 31168010 edges, 204212 markings/sec, 50 secs
lola: 13559623 markings, 33810367 edges, 199392 markings/sec, 55 secs
lola: 14547904 markings, 36475560 edges, 197656 markings/sec, 60 secs
lola: 15518199 markings, 39134349 edges, 194059 markings/sec, 65 secs
lola: 16471800 markings, 41816314 edges, 190720 markings/sec, 70 secs
lola: 17418651 markings, 44429688 edges, 189370 markings/sec, 75 secs
lola: 18359082 markings, 47025166 edges, 188086 markings/sec, 80 secs
lola: 19288899 markings, 49588978 edges, 185963 markings/sec, 85 secs
lola: 20218346 markings, 52160892 edges, 185889 markings/sec, 90 secs
lola: 21153639 markings, 54697428 edges, 187059 markings/sec, 95 secs
lola: 22090347 markings, 57236468 edges, 187342 markings/sec, 100 secs
lola: 23016232 markings, 59793068 edges, 185177 markings/sec, 105 secs
lola: 23925131 markings, 62380824 edges, 181780 markings/sec, 110 secs
lola: 24843006 markings, 64902139 edges, 183575 markings/sec, 115 secs
lola: 25777949 markings, 67426282 edges, 186989 markings/sec, 120 secs
lola: 26697075 markings, 69906058 edges, 183825 markings/sec, 125 secs
lola: 27612077 markings, 72450864 edges, 183000 markings/sec, 130 secs
lola: 28533952 markings, 74926198 edges, 184375 markings/sec, 135 secs
lola: 29440023 markings, 77467421 edges, 181214 markings/sec, 140 secs
lola: 30344555 markings, 79969826 edges, 180906 markings/sec, 145 secs
lola: 31269802 markings, 82489769 edges, 185049 markings/sec, 150 secs
lola: 32184711 markings, 85025632 edges, 182982 markings/sec, 155 secs
lola: 33101380 markings, 87542074 edges, 183334 markings/sec, 160 secs
lola: 34024485 markings, 90041428 edges, 184621 markings/sec, 165 secs
lola: 34937970 markings, 92532996 edges, 182697 markings/sec, 170 secs
lola: 35834876 markings, 95002179 edges, 179381 markings/sec, 175 secs
lola: 36738005 markings, 97460841 edges, 180626 markings/sec, 180 secs
lola: 37635632 markings, 99945254 edges, 179525 markings/sec, 185 secs
lola: 38521519 markings, 102407775 edges, 177177 markings/sec, 190 secs
lola: 39431095 markings, 104909516 edges, 181915 markings/sec, 195 secs
lola: 40329198 markings, 107418224 edges, 179621 markings/sec, 200 secs
lola: 41223777 markings, 109886075 edges, 178916 markings/sec, 205 secs
lola: 42113080 markings, 112362643 edges, 177861 markings/sec, 210 secs
lola: 43011385 markings, 114828778 edges, 179661 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1276916 markings, 3902358 edges, 255383 markings/sec, 0 secs
lola: 2479254 markings, 7619555 edges, 240468 markings/sec, 5 secs
lola: 3608861 markings, 11263224 edges, 225921 markings/sec, 10 secs
lola: 4652321 markings, 14594817 edges, 208692 markings/sec, 15 secs
lola: 5775039 markings, 18136397 edges, 224544 markings/sec, 20 secs
lola: 6796962 markings, 21517783 edges, 204385 markings/sec, 25 secs
lola: 7883055 markings, 24844566 edges, 217219 markings/sec, 30 secs
lola: 8973120 markings, 28190245 edges, 218013 markings/sec, 35 secs
lola: 9964279 markings, 31411283 edges, 198232 markings/sec, 40 secs
lola: 10912066 markings, 34494306 edges, 189557 markings/sec, 45 secs
lola: 11871943 markings, 37657908 edges, 191975 markings/sec, 50 secs
lola: 12944593 markings, 41041990 edges, 214530 markings/sec, 55 secs
lola: 13948211 markings, 44349732 edges, 200724 markings/sec, 60 secs
lola: 14941538 markings, 47716592 edges, 198665 markings/sec, 65 secs
lola: 15880905 markings, 50927831 edges, 187873 markings/sec, 70 secs
lola: 16834936 markings, 54219332 edges, 190806 markings/sec, 75 secs
lola: 17796734 markings, 57450540 edges, 192360 markings/sec, 80 secs
lola: 18764613 markings, 60673076 edges, 193576 markings/sec, 85 secs
lola: 19688456 markings, 63760352 edges, 184769 markings/sec, 90 secs
lola: 20630107 markings, 66959745 edges, 188330 markings/sec, 95 secs
lola: 21498763 markings, 70047828 edges, 173731 markings/sec, 100 secs
lola: 22339711 markings, 73019145 edges, 168190 markings/sec, 105 secs
lola: 23273166 markings, 76240321 edges, 186691 markings/sec, 110 secs
lola: 24164826 markings, 79359901 edges, 178332 markings/sec, 115 secs
lola: 25032466 markings, 82398184 edges, 173528 markings/sec, 120 secs
lola: 25962065 markings, 85599236 edges, 185920 markings/sec, 125 secs
lola: 26869287 markings, 88749817 edges, 181444 markings/sec, 130 secs
lola: 27751621 markings, 91917347 edges, 176467 markings/sec, 135 secs
lola: 28628420 markings, 95064307 edges, 175360 markings/sec, 140 secs
lola: 29519379 markings, 98257798 edges, 178192 markings/sec, 145 secs
lola: 30478628 markings, 101526693 edges, 191850 markings/sec, 150 secs
lola: 31585378 markings, 105179157 edges, 221350 markings/sec, 155 secs
lola: 32650199 markings, 108675656 edges, 212964 markings/sec, 160 secs
lola: 33687505 markings, 112147680 edges, 207461 markings/sec, 165 secs
lola: 34661256 markings, 115502785 edges, 194750 markings/sec, 170 secs
lola: 35624207 markings, 118796198 edges, 192590 markings/sec, 175 secs
lola: 36559919 markings, 121925999 edges, 187142 markings/sec, 180 secs
lola: 37464907 markings, 124990589 edges, 180998 markings/sec, 185 secs
lola: 38497368 markings, 128469326 edges, 206492 markings/sec, 190 secs
lola: 39473417 markings, 131843750 edges, 195210 markings/sec, 195 secs
lola: 40389164 markings, 135059281 edges, 183149 markings/sec, 200 secs
lola: 41330269 markings, 138187307 edges, 188221 markings/sec, 205 secs
lola: 42394175 markings, 141568171 edges, 212781 markings/sec, 210 secs
lola: 43441344 markings, 145041946 edges, 209434 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1503247 markings, 3102548 edges, 300649 markings/sec, 0 secs
lola: 2953057 markings, 6194915 edges, 289962 markings/sec, 5 secs
lola: 4354045 markings, 9226648 edges, 280198 markings/sec, 10 secs
lola: 5778492 markings, 12332527 edges, 284889 markings/sec, 15 secs
lola: 7112892 markings, 15257551 edges, 266880 markings/sec, 20 secs
lola: 8504419 markings, 18287824 edges, 278305 markings/sec, 25 secs
lola: 9836154 markings, 21302059 edges, 266347 markings/sec, 30 secs
lola: 11127163 markings, 24259818 edges, 258202 markings/sec, 35 secs
lola: 12488784 markings, 27335643 edges, 272324 markings/sec, 40 secs
lola: 13820479 markings, 30309296 edges, 266339 markings/sec, 45 secs
lola: 15131085 markings, 33268772 edges, 262121 markings/sec, 50 secs
lola: 16378240 markings, 36128756 edges, 249431 markings/sec, 55 secs
lola: 17801234 markings, 39262004 edges, 284599 markings/sec, 60 secs
lola: 19140806 markings, 42234198 edges, 267914 markings/sec, 65 secs
lola: 20512385 markings, 45352173 edges, 274316 markings/sec, 70 secs
lola: 21817385 markings, 48355163 edges, 261000 markings/sec, 75 secs
lola: 23129564 markings, 51357706 edges, 262436 markings/sec, 80 secs
lola: 24459602 markings, 54396265 edges, 266008 markings/sec, 85 secs
lola: 25739680 markings, 57391902 edges, 256016 markings/sec, 90 secs
lola: 26967488 markings, 60348483 edges, 245562 markings/sec, 95 secs
lola: 28241393 markings, 63386979 edges, 254781 markings/sec, 100 secs
lola: 29564703 markings, 66465346 edges, 264662 markings/sec, 105 secs
lola: 30795006 markings, 69416135 edges, 246061 markings/sec, 110 secs
lola: 32048076 markings, 72369730 edges, 250614 markings/sec, 115 secs
lola: 33244745 markings, 75250251 edges, 239334 markings/sec, 120 secs
lola: 34673442 markings, 78391537 edges, 285739 markings/sec, 125 secs
lola: 36018609 markings, 81402824 edges, 269033 markings/sec, 130 secs
lola: 37362654 markings, 84473166 edges, 268809 markings/sec, 135 secs
lola: 38687290 markings, 87530865 edges, 264927 markings/sec, 140 secs
lola: 40016791 markings, 90571189 edges, 265900 markings/sec, 145 secs
lola: 41390318 markings, 93725950 edges, 274705 markings/sec, 150 secs
lola: 42672949 markings, 96705735 edges, 256526 markings/sec, 155 secs
lola: 43820741 markings, 99478806 edges, 229558 markings/sec, 160 secs
lola: 45075763 markings, 102466030 edges, 251004 markings/sec, 165 secs
lola: 46370285 markings, 105501840 edges, 258904 markings/sec, 170 secs
lola: 47498943 markings, 108190882 edges, 225732 markings/sec, 175 secs
lola: 48749294 markings, 111141998 edges, 250070 markings/sec, 180 secs
lola: 50013065 markings, 114172042 edges, 252754 markings/sec, 185 secs
lola: 51532655 markings, 117661784 edges, 303918 markings/sec, 190 secs
lola: 53088461 markings, 121161757 edges, 311161 markings/sec, 195 secs
lola: 54515937 markings, 124358147 edges, 285495 markings/sec, 200 secs
lola: 55912824 markings, 127408668 edges, 279377 markings/sec, 205 secs
lola: 57242542 markings, 130421742 edges, 265944 markings/sec, 210 secs
lola: 58573611 markings, 133421997 edges, 266214 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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 13 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1345462 markings, 2910689 edges, 269092 markings/sec, 0 secs
lola: 2472166 markings, 5646329 edges, 225341 markings/sec, 5 secs
lola: 3543617 markings, 8350641 edges, 214290 markings/sec, 10 secs
lola: 4555372 markings, 10977936 edges, 202351 markings/sec, 15 secs
lola: 5585156 markings, 13524806 edges, 205957 markings/sec, 20 secs
lola: 6627122 markings, 15995615 edges, 208393 markings/sec, 25 secs
lola: 7673241 markings, 18452166 edges, 209224 markings/sec, 30 secs
lola: 8723677 markings, 20885026 edges, 210087 markings/sec, 35 secs
lola: 9771380 markings, 23383186 edges, 209541 markings/sec, 40 secs
lola: 10825260 markings, 25977416 edges, 210776 markings/sec, 45 secs
lola: 11848617 markings, 28532433 edges, 204671 markings/sec, 50 secs
lola: 12862545 markings, 31126920 edges, 202786 markings/sec, 55 secs
lola: 13873020 markings, 33722049 edges, 202095 markings/sec, 60 secs
lola: 14871350 markings, 36280587 edges, 199666 markings/sec, 65 secs
lola: 15866994 markings, 38848117 edges, 199129 markings/sec, 70 secs
lola: 16862694 markings, 41281316 edges, 199140 markings/sec, 75 secs
lola: 17820845 markings, 43946326 edges, 191630 markings/sec, 80 secs
lola: 18773379 markings, 46590846 edges, 190507 markings/sec, 85 secs
lola: 19720205 markings, 49138182 edges, 189365 markings/sec, 90 secs
lola: 20677089 markings, 51607721 edges, 191377 markings/sec, 95 secs
lola: 21626904 markings, 54133733 edges, 189963 markings/sec, 100 secs
lola: 22570183 markings, 56696108 edges, 188656 markings/sec, 105 secs
lola: 23494055 markings, 59210632 edges, 184774 markings/sec, 110 secs
lola: 24414731 markings, 61767206 edges, 184135 markings/sec, 115 secs
lola: 25347100 markings, 64174690 edges, 186474 markings/sec, 120 secs
lola: 26263422 markings, 66643510 edges, 183264 markings/sec, 125 secs
lola: 27170962 markings, 69242007 edges, 181508 markings/sec, 130 secs
lola: 28073367 markings, 71665751 edges, 180481 markings/sec, 135 secs
lola: 28983652 markings, 74123698 edges, 182057 markings/sec, 140 secs
lola: 29891747 markings, 76609860 edges, 181619 markings/sec, 145 secs
lola: 30801228 markings, 79204767 edges, 181896 markings/sec, 150 secs
lola: 31724688 markings, 81623953 edges, 184692 markings/sec, 155 secs
lola: 32649643 markings, 84064660 edges, 184991 markings/sec, 160 secs
lola: 33578305 markings, 86563298 edges, 185732 markings/sec, 165 secs
lola: 34460266 markings, 88986568 edges, 176392 markings/sec, 170 secs
lola: 35332851 markings, 91441534 edges, 174517 markings/sec, 175 secs
lola: 36223550 markings, 93893929 edges, 178140 markings/sec, 180 secs
lola: 37107724 markings, 96435041 edges, 176835 markings/sec, 185 secs
lola: 37971545 markings, 98935839 edges, 172764 markings/sec, 190 secs
lola: 38872671 markings, 101357823 edges, 180225 markings/sec, 195 secs
lola: 39760030 markings, 103792829 edges, 177472 markings/sec, 200 secs
lola: 40598465 markings, 106507602 edges, 167687 markings/sec, 205 secs
lola: 41432227 markings, 109057063 edges, 166752 markings/sec, 210 secs
lola: 42312302 markings, 111524634 edges, 176015 markings/sec, 215 secs
lola: 43160574 markings, 113999651 edges, 169654 markings/sec, 220 secs
lola: 44030193 markings, 116470663 edges, 173924 markings/sec, 225 secs
lola: 44920762 markings, 118887787 edges, 178114 markings/sec, 230 secs
lola: 45785952 markings, 121235337 edges, 173038 markings/sec, 235 secs
lola: 46659446 markings, 123696996 edges, 174699 markings/sec, 240 secs
lola: 47558279 markings, 126175061 edges, 179767 markings/sec, 245 secs
lola: 48466253 markings, 128668099 edges, 181595 markings/sec, 250 secs
lola: 49367755 markings, 131156872 edges, 180300 markings/sec, 255 secs
lola: 50243201 markings, 133705959 edges, 175089 markings/sec, 260 secs
lola: 51074307 markings, 136233129 edges, 166221 markings/sec, 265 secs
lola: 51899166 markings, 139011301 edges, 164972 markings/sec, 270 secs
lola: 52754964 markings, 141725847 edges, 171160 markings/sec, 275 secs
lola: 53605782 markings, 144221779 edges, 170164 markings/sec, 280 secs
lola: 54399713 markings, 146681159 edges, 158786 markings/sec, 285 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 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1634841 markings, 2444681 edges, 326968 markings/sec, 0 secs
lola: 3020022 markings, 4820288 edges, 277036 markings/sec, 5 secs
lola: 4289168 markings, 7094184 edges, 253829 markings/sec, 10 secs
lola: 5549551 markings, 9479161 edges, 252077 markings/sec, 15 secs
lola: 6736043 markings, 11935313 edges, 237298 markings/sec, 20 secs
lola: 7863232 markings, 14376563 edges, 225438 markings/sec, 25 secs
lola: 8972178 markings, 17000323 edges, 221789 markings/sec, 30 secs
lola: 10044030 markings, 19691340 edges, 214370 markings/sec, 35 secs
lola: 11100934 markings, 22427493 edges, 211381 markings/sec, 40 secs
lola: 12078517 markings, 25168470 edges, 195517 markings/sec, 45 secs
lola: 13064067 markings, 27985028 edges, 197110 markings/sec, 50 secs
lola: 14002531 markings, 30836501 edges, 187693 markings/sec, 55 secs
lola: 14925595 markings, 33617850 edges, 184613 markings/sec, 60 secs
lola: 15838311 markings, 36409481 edges, 182543 markings/sec, 65 secs
lola: 16777026 markings, 39266001 edges, 187743 markings/sec, 70 secs
lola: 17693150 markings, 42094218 edges, 183225 markings/sec, 75 secs
lola: 18581365 markings, 44843817 edges, 177643 markings/sec, 80 secs
lola: 19487261 markings, 47673303 edges, 181179 markings/sec, 85 secs
lola: 20350011 markings, 50512231 edges, 172550 markings/sec, 90 secs
lola: 21267605 markings, 53297279 edges, 183519 markings/sec, 95 secs
lola: 22172772 markings, 55936712 edges, 181033 markings/sec, 100 secs
lola: 23041363 markings, 58698143 edges, 173718 markings/sec, 105 secs
lola: 23936775 markings, 61494448 edges, 179082 markings/sec, 110 secs
lola: 24855782 markings, 64178594 edges, 183801 markings/sec, 115 secs
lola: 25788004 markings, 66723129 edges, 186444 markings/sec, 120 secs
lola: 26778746 markings, 69396264 edges, 198148 markings/sec, 125 secs
lola: 27760748 markings, 71879207 edges, 196400 markings/sec, 130 secs
lola: 28752020 markings, 74332137 edges, 198254 markings/sec, 135 secs
lola: 29738992 markings, 76781418 edges, 197394 markings/sec, 140 secs
lola: 30728346 markings, 79228840 edges, 197871 markings/sec, 145 secs
lola: 31712130 markings, 81678391 edges, 196757 markings/sec, 150 secs
lola: 32683421 markings, 84192171 edges, 194258 markings/sec, 155 secs
lola: 33612250 markings, 86601282 edges, 185766 markings/sec, 160 secs
lola: 34554007 markings, 88949250 edges, 188351 markings/sec, 165 secs
lola: 35497032 markings, 91267697 edges, 188605 markings/sec, 170 secs
lola: 36429750 markings, 93604682 edges, 186544 markings/sec, 175 secs
lola: 37360582 markings, 95909854 edges, 186166 markings/sec, 180 secs
lola: 38295804 markings, 98230032 edges, 187044 markings/sec, 185 secs
lola: 39220460 markings, 100581661 edges, 184931 markings/sec, 190 secs
lola: 40143795 markings, 102881922 edges, 184667 markings/sec, 195 secs
lola: 41035128 markings, 105232994 edges, 178267 markings/sec, 200 secs
lola: 41932751 markings, 107573910 edges, 179525 markings/sec, 205 secs
lola: 42857684 markings, 109941705 edges, 184987 markings/sec, 210 secs
lola: 43772497 markings, 112292343 edges, 182963 markings/sec, 215 secs
lola: 44675508 markings, 114679408 edges, 180602 markings/sec, 220 secs
lola: 45578239 markings, 117046917 edges, 180546 markings/sec, 225 secs
lola: 46494243 markings, 119436833 edges, 183201 markings/sec, 230 secs
lola: 47431420 markings, 121891921 edges, 187435 markings/sec, 235 secs
lola: 48355779 markings, 124341188 edges, 184872 markings/sec, 240 secs
lola: 49263833 markings, 126751676 edges, 181611 markings/sec, 245 secs
lola: 50171825 markings, 129199049 edges, 181598 markings/sec, 250 secs
lola: 51070194 markings, 131612190 edges, 179674 markings/sec, 255 secs
lola: 51960265 markings, 134007218 edges, 178014 markings/sec, 260 secs
lola: 52845860 markings, 136402343 edges, 177119 markings/sec, 265 secs
lola: 53745362 markings, 138799992 edges, 179900 markings/sec, 270 secs
lola: 54626303 markings, 141249457 edges, 176188 markings/sec, 275 secs
lola: 55510424 markings, 143641579 edges, 176824 markings/sec, 280 secs
lola: 56402844 markings, 146128752 edges, 178484 markings/sec, 285 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 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1773605 markings, 2405916 edges, 354721 markings/sec, 0 secs
lola: 3254335 markings, 4637918 edges, 296146 markings/sec, 5 secs
lola: 4638643 markings, 6825369 edges, 276862 markings/sec, 10 secs
lola: 5959062 markings, 8990504 edges, 264084 markings/sec, 15 secs
lola: 7230691 markings, 11145903 edges, 254326 markings/sec, 20 secs
lola: 8458874 markings, 13289320 edges, 245637 markings/sec, 25 secs
lola: 9659397 markings, 15471834 edges, 240105 markings/sec, 30 secs
lola: 10830391 markings, 17645185 edges, 234199 markings/sec, 35 secs
lola: 11967564 markings, 19890438 edges, 227435 markings/sec, 40 secs
lola: 13084599 markings, 22134588 edges, 223407 markings/sec, 45 secs
lola: 14174241 markings, 24419625 edges, 217928 markings/sec, 50 secs
lola: 15256211 markings, 26668911 edges, 216394 markings/sec, 55 secs
lola: 16332139 markings, 28935916 edges, 215186 markings/sec, 60 secs
lola: 17409225 markings, 31145640 edges, 215417 markings/sec, 65 secs
lola: 18469412 markings, 33395455 edges, 212037 markings/sec, 70 secs
lola: 19518709 markings, 35703293 edges, 209859 markings/sec, 75 secs
lola: 20568390 markings, 37963825 edges, 209936 markings/sec, 80 secs
lola: 21609244 markings, 40220916 edges, 208171 markings/sec, 85 secs
lola: 22629616 markings, 42550993 edges, 204074 markings/sec, 90 secs
lola: 23644232 markings, 44871144 edges, 202923 markings/sec, 95 secs
lola: 24659543 markings, 47219045 edges, 203062 markings/sec, 100 secs
lola: 25670629 markings, 49656457 edges, 202217 markings/sec, 105 secs
lola: 26670872 markings, 52013485 edges, 200049 markings/sec, 110 secs
lola: 27653618 markings, 54380734 edges, 196549 markings/sec, 115 secs
lola: 28633063 markings, 56813306 edges, 195889 markings/sec, 120 secs
lola: 29615373 markings, 59198721 edges, 196462 markings/sec, 125 secs
lola: 30601504 markings, 61585769 edges, 197226 markings/sec, 130 secs
lola: 31586008 markings, 63953370 edges, 196901 markings/sec, 135 secs
lola: 32556194 markings, 66336144 edges, 194037 markings/sec, 140 secs
lola: 33538938 markings, 68779893 edges, 196549 markings/sec, 145 secs
lola: 34511395 markings, 71269031 edges, 194491 markings/sec, 150 secs
lola: 35489175 markings, 73718112 edges, 195556 markings/sec, 155 secs
lola: 36449971 markings, 76168264 edges, 192159 markings/sec, 160 secs
lola: 37397801 markings, 78614729 edges, 189566 markings/sec, 165 secs
lola: 38353752 markings, 81047691 edges, 191190 markings/sec, 170 secs
lola: 39307726 markings, 83556976 edges, 190795 markings/sec, 175 secs
lola: 40254328 markings, 86028469 edges, 189320 markings/sec, 180 secs
lola: 41213893 markings, 88540659 edges, 191913 markings/sec, 185 secs
lola: 42162594 markings, 91068170 edges, 189740 markings/sec, 190 secs
lola: 43104952 markings, 93576090 edges, 188472 markings/sec, 195 secs
lola: 44025583 markings, 96027589 edges, 184126 markings/sec, 200 secs
lola: 44970575 markings, 98576952 edges, 188998 markings/sec, 205 secs
lola: 45900486 markings, 101089426 edges, 185982 markings/sec, 210 secs
lola: 46813829 markings, 103620065 edges, 182669 markings/sec, 215 secs
lola: 47724348 markings, 106117582 edges, 182104 markings/sec, 220 secs
lola: 48638073 markings, 108600964 edges, 182745 markings/sec, 225 secs
lola: 49550022 markings, 111065634 edges, 182390 markings/sec, 230 secs
lola: 50440964 markings, 113527249 edges, 178188 markings/sec, 235 secs
lola: 51333645 markings, 116059098 edges, 178536 markings/sec, 240 secs
lola: 52240826 markings, 118530099 edges, 181436 markings/sec, 245 secs
lola: 53123525 markings, 120996515 edges, 176540 markings/sec, 250 secs
lola: 53998718 markings, 123427367 edges, 175039 markings/sec, 255 secs
lola: 54871352 markings, 125840439 edges, 174527 markings/sec, 260 secs
lola: 55734727 markings, 128296904 edges, 172675 markings/sec, 265 secs
lola: 56612441 markings, 130741750 edges, 175543 markings/sec, 270 secs
lola: 57502602 markings, 133241280 edges, 178032 markings/sec, 275 secs
lola: 58392884 markings, 135694831 edges, 178056 markings/sec, 280 secs
lola: 59273089 markings, 138176591 edges, 176041 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA ProductionCell-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-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 1494754211728

--------------------
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="ProductionCell-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/ProductionCell-PT-none.tgz
mv ProductionCell-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is ProductionCell-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 r058-smll-149440926200182"
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 ;