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 S_PolyORBLF-COL-S02J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681400290
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496375040818


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S02J04T06: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S02J04T06: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S02J04T06 @ 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: 1396/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: MAX(p260 + p261 + p262 + p263 + p264 + p265) : MAX(p381 + p380) : MAX(p267 + p268 + p269 + p270 + p271 + p272) : MAX(p258) : MAX(p141 + p142 + p143 + p144 + p145 + p146) : MAX(p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257) : MAX(p159) : MAX(p227) : MAX(p30) : MAX(p209 + p210 + p211 + p212 + p213 + p214) : MAX(p17) : MAX(p438 + p439 + p440 + p441 + p442 + p443) : MAX(p166) : MAX(p0 + p1 + p2 + p3 + p4 + p5) : MAX(p335 + p336 + p337 + p338 + p339 + p340) : MAX(p166)
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(p260 + p261 + p262 + p263 + p264 + p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 173267 markings, 179278 edges, 34653 markings/sec, 0 secs
lola: 344289 markings, 358530 edges, 34204 markings/sec, 5 secs
lola: 513499 markings, 536874 edges, 33842 markings/sec, 10 secs
lola: 682007 markings, 716679 edges, 33702 markings/sec, 15 secs
lola: 850299 markings, 897848 edges, 33658 markings/sec, 20 secs
lola: 1017801 markings, 1080521 edges, 33500 markings/sec, 25 secs
lola: 1185147 markings, 1263298 edges, 33469 markings/sec, 30 secs
lola: 1350718 markings, 1444399 edges, 33114 markings/sec, 35 secs
lola: 1515408 markings, 1625721 edges, 32938 markings/sec, 40 secs
lola: 1679226 markings, 1809043 edges, 32764 markings/sec, 45 secs
lola: 1842219 markings, 1990553 edges, 32599 markings/sec, 50 secs
lola: 2006137 markings, 2175872 edges, 32784 markings/sec, 55 secs
lola: 2170068 markings, 2360310 edges, 32786 markings/sec, 60 secs
lola: 2333012 markings, 2544876 edges, 32589 markings/sec, 65 secs
lola: 2496151 markings, 2729280 edges, 32628 markings/sec, 70 secs
lola: 2657760 markings, 2914006 edges, 32322 markings/sec, 75 secs
lola: 2819215 markings, 3097725 edges, 32291 markings/sec, 80 secs
lola: 2976029 markings, 3277185 edges, 31363 markings/sec, 85 secs
lola: 3138963 markings, 3461432 edges, 32587 markings/sec, 90 secs
lola: 3300983 markings, 3646751 edges, 32404 markings/sec, 95 secs
lola: 3462822 markings, 3829522 edges, 32368 markings/sec, 100 secs
lola: 3624160 markings, 4014412 edges, 32268 markings/sec, 105 secs
lola: 3786021 markings, 4198905 edges, 32372 markings/sec, 110 secs
lola: 3946771 markings, 4382564 edges, 32150 markings/sec, 115 secs
lola: 4108176 markings, 4568593 edges, 32281 markings/sec, 120 secs
lola: 4269330 markings, 4754644 edges, 32231 markings/sec, 125 secs
lola: 4430013 markings, 4940887 edges, 32137 markings/sec, 130 secs
lola: 4588188 markings, 5123273 edges, 31635 markings/sec, 135 secs
lola: 4747446 markings, 5305859 edges, 31852 markings/sec, 140 secs
lola: 4908178 markings, 5491257 edges, 32146 markings/sec, 145 secs
lola: 5067985 markings, 5673796 edges, 31961 markings/sec, 150 secs
lola: 5227946 markings, 5859952 edges, 31992 markings/sec, 155 secs
lola: 5388013 markings, 6044166 edges, 32013 markings/sec, 160 secs
lola: 5548816 markings, 6229333 edges, 32161 markings/sec, 165 secs
lola: 5710745 markings, 6417414 edges, 32386 markings/sec, 170 secs
lola: 5871657 markings, 6606617 edges, 32182 markings/sec, 175 secs
lola: 6033268 markings, 6795891 edges, 32322 markings/sec, 180 secs
lola: 6192843 markings, 6984123 edges, 31915 markings/sec, 185 secs
lola: 6350470 markings, 7175592 edges, 31525 markings/sec, 190 secs
lola: 6508753 markings, 7367980 edges, 31657 markings/sec, 195 secs
lola: 6662762 markings, 7566243 edges, 30802 markings/sec, 200 secs
lola: 6813054 markings, 7767510 edges, 30058 markings/sec, 205 secs
lola: 6962560 markings, 7970482 edges, 29901 markings/sec, 210 secs
lola: 7111599 markings, 8168298 edges, 29808 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(p381 + p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 162374 markings, 168791 edges, 32475 markings/sec, 0 secs
lola: 335261 markings, 350007 edges, 34577 markings/sec, 5 secs
lola: 507050 markings, 532098 edges, 34358 markings/sec, 10 secs
lola: 677989 markings, 715039 edges, 34188 markings/sec, 15 secs
lola: 847482 markings, 898082 edges, 33899 markings/sec, 20 secs
lola: 1016130 markings, 1081527 edges, 33730 markings/sec, 25 secs
lola: 1184282 markings, 1264886 edges, 33630 markings/sec, 30 secs
lola: 1350062 markings, 1446824 edges, 33156 markings/sec, 35 secs
lola: 1515353 markings, 1628595 edges, 33058 markings/sec, 40 secs
lola: 1680408 markings, 1811291 edges, 33011 markings/sec, 45 secs
lola: 1843949 markings, 1992944 edges, 32708 markings/sec, 50 secs
lola: 2006091 markings, 2173619 edges, 32428 markings/sec, 55 secs
lola: 2167071 markings, 2353761 edges, 32196 markings/sec, 60 secs
lola: 2328151 markings, 2535542 edges, 32216 markings/sec, 65 secs
lola: 2488372 markings, 2717053 edges, 32044 markings/sec, 70 secs
lola: 2648195 markings, 2899955 edges, 31965 markings/sec, 75 secs
lola: 2809749 markings, 3085299 edges, 32311 markings/sec, 80 secs
lola: 2970502 markings, 3269065 edges, 32151 markings/sec, 85 secs
lola: 3130767 markings, 3453176 edges, 32053 markings/sec, 90 secs
lola: 3288343 markings, 3633468 edges, 31515 markings/sec, 95 secs
lola: 3448264 markings, 3815151 edges, 31984 markings/sec, 100 secs
lola: 3602030 markings, 3992730 edges, 30753 markings/sec, 105 secs
lola: 3754985 markings, 4171258 edges, 30591 markings/sec, 110 secs
lola: 3911542 markings, 4351554 edges, 31311 markings/sec, 115 secs
lola: 4066686 markings, 4532589 edges, 31029 markings/sec, 120 secs
lola: 4222386 markings, 4711253 edges, 31140 markings/sec, 125 secs
lola: 4376099 markings, 4891745 edges, 30743 markings/sec, 130 secs
lola: 4531061 markings, 5070811 edges, 30992 markings/sec, 135 secs
lola: 4677897 markings, 5243941 edges, 29367 markings/sec, 140 secs
lola: 4829191 markings, 5425196 edges, 30259 markings/sec, 145 secs
lola: 4986667 markings, 5610290 edges, 31495 markings/sec, 150 secs
lola: 5141100 markings, 5792505 edges, 30887 markings/sec, 155 secs
lola: 5291737 markings, 5968916 edges, 30127 markings/sec, 160 secs
lola: 5441731 markings, 6142951 edges, 29999 markings/sec, 165 secs
lola: 5590762 markings, 6317860 edges, 29806 markings/sec, 170 secs
lola: 5742973 markings, 6495150 edges, 30442 markings/sec, 175 secs
lola: 5894206 markings, 6674920 edges, 30247 markings/sec, 180 secs
lola: 6047189 markings, 6856508 edges, 30597 markings/sec, 185 secs
lola: 6201179 markings, 7039046 edges, 30798 markings/sec, 190 secs
lola: 6354952 markings, 7218534 edges, 30755 markings/sec, 195 secs
lola: 6504785 markings, 7397660 edges, 29967 markings/sec, 200 secs
lola: 6655194 markings, 7584913 edges, 30082 markings/sec, 205 secs
lola: 6812835 markings, 7771256 edges, 31528 markings/sec, 210 secs
lola: 6965601 markings, 7952715 edges, 30553 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(p267 + p268 + p269 + p270 + p271 + p272)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 168527 markings, 181869 edges, 33705 markings/sec, 0 secs
lola: 334830 markings, 364233 edges, 33261 markings/sec, 5 secs
lola: 499700 markings, 546363 edges, 32974 markings/sec, 10 secs
lola: 664332 markings, 729222 edges, 32926 markings/sec, 15 secs
lola: 828418 markings, 912785 edges, 32817 markings/sec, 20 secs
lola: 991253 markings, 1094878 edges, 32567 markings/sec, 25 secs
lola: 1154026 markings, 1278674 edges, 32555 markings/sec, 30 secs
lola: 1315931 markings, 1461019 edges, 32381 markings/sec, 35 secs
lola: 1478220 markings, 1646262 edges, 32458 markings/sec, 40 secs
lola: 1639438 markings, 1829482 edges, 32244 markings/sec, 45 secs
lola: 1800021 markings, 2013037 edges, 32117 markings/sec, 50 secs
lola: 1961266 markings, 2197154 edges, 32249 markings/sec, 55 secs
lola: 2121722 markings, 2380897 edges, 32091 markings/sec, 60 secs
lola: 2280450 markings, 2561662 edges, 31746 markings/sec, 65 secs
lola: 2440829 markings, 2745891 edges, 32076 markings/sec, 70 secs
lola: 2600595 markings, 2930252 edges, 31953 markings/sec, 75 secs
lola: 2760546 markings, 3115897 edges, 31990 markings/sec, 80 secs
lola: 2920445 markings, 3301505 edges, 31980 markings/sec, 85 secs
lola: 3078790 markings, 3488238 edges, 31669 markings/sec, 90 secs
lola: 3237251 markings, 3674581 edges, 31692 markings/sec, 95 secs
lola: 3394902 markings, 3858519 edges, 31530 markings/sec, 100 secs
lola: 3551361 markings, 4036224 edges, 31292 markings/sec, 105 secs
lola: 3708440 markings, 4218388 edges, 31416 markings/sec, 110 secs
lola: 3865953 markings, 4400763 edges, 31503 markings/sec, 115 secs
lola: 4024446 markings, 4585452 edges, 31699 markings/sec, 120 secs
lola: 4182330 markings, 4772091 edges, 31577 markings/sec, 125 secs
lola: 4338618 markings, 4958002 edges, 31258 markings/sec, 130 secs
lola: 4496096 markings, 5145387 edges, 31496 markings/sec, 135 secs
lola: 4653402 markings, 5331876 edges, 31461 markings/sec, 140 secs
lola: 4809481 markings, 5520127 edges, 31216 markings/sec, 145 secs
lola: 4963775 markings, 5706802 edges, 30859 markings/sec, 150 secs
lola: 5118002 markings, 5892571 edges, 30845 markings/sec, 155 secs
lola: 5274532 markings, 6079413 edges, 31306 markings/sec, 160 secs
lola: 5425542 markings, 6260765 edges, 30202 markings/sec, 165 secs
lola: 5577654 markings, 6444472 edges, 30422 markings/sec, 170 secs
lola: 5724974 markings, 6623069 edges, 29464 markings/sec, 175 secs
lola: 5875521 markings, 6806080 edges, 30109 markings/sec, 180 secs
lola: 6022682 markings, 6982594 edges, 29432 markings/sec, 185 secs
lola: 6168553 markings, 7166963 edges, 29174 markings/sec, 190 secs
lola: 6316573 markings, 7344723 edges, 29604 markings/sec, 195 secs
lola: 6460738 markings, 7518890 edges, 28833 markings/sec, 200 secs
lola: 6605618 markings, 7692358 edges, 28976 markings/sec, 205 secs
lola: 6753087 markings, 7878788 edges, 29494 markings/sec, 210 secs
lola: 6896374 markings, 8065942 edges, 28657 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(p258)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 155244 markings, 168534 edges, 31049 markings/sec, 0 secs
lola: 314850 markings, 343244 edges, 31921 markings/sec, 5 secs
lola: 473153 markings, 516072 edges, 31661 markings/sec, 10 secs
lola: 632508 markings, 691653 edges, 31871 markings/sec, 15 secs
lola: 790357 markings, 864288 edges, 31570 markings/sec, 20 secs
lola: 948420 markings, 1038543 edges, 31613 markings/sec, 25 secs
lola: 1105690 markings, 1210747 edges, 31454 markings/sec, 30 secs
lola: 1261766 markings, 1383105 edges, 31215 markings/sec, 35 secs
lola: 1418227 markings, 1555963 edges, 31292 markings/sec, 40 secs
lola: 1575191 markings, 1728661 edges, 31393 markings/sec, 45 secs
lola: 1730484 markings, 1900408 edges, 31059 markings/sec, 50 secs
lola: 1885072 markings, 2070585 edges, 30918 markings/sec, 55 secs
lola: 2039022 markings, 2241142 edges, 30790 markings/sec, 60 secs
lola: 2192373 markings, 2410531 edges, 30670 markings/sec, 65 secs
lola: 2346287 markings, 2581317 edges, 30783 markings/sec, 70 secs
lola: 2498590 markings, 2751615 edges, 30461 markings/sec, 75 secs
lola: 2652517 markings, 2922668 edges, 30785 markings/sec, 80 secs
lola: 2806963 markings, 3094463 edges, 30889 markings/sec, 85 secs
lola: 2961023 markings, 3266400 edges, 30812 markings/sec, 90 secs
lola: 3115394 markings, 3439119 edges, 30874 markings/sec, 95 secs
lola: 3268632 markings, 3611471 edges, 30648 markings/sec, 100 secs
lola: 3422473 markings, 3785074 edges, 30768 markings/sec, 105 secs
lola: 3576331 markings, 3959397 edges, 30772 markings/sec, 110 secs
lola: 3729676 markings, 4133858 edges, 30669 markings/sec, 115 secs
lola: 3882563 markings, 4307051 edges, 30577 markings/sec, 120 secs
lola: 4035832 markings, 4482273 edges, 30654 markings/sec, 125 secs
lola: 4188742 markings, 4657876 edges, 30582 markings/sec, 130 secs
lola: 4341594 markings, 4833772 edges, 30570 markings/sec, 135 secs
lola: 4494234 markings, 5010959 edges, 30528 markings/sec, 140 secs
lola: 4647198 markings, 5188720 edges, 30593 markings/sec, 145 secs
lola: 4799947 markings, 5369007 edges, 30550 markings/sec, 150 secs
lola: 4951523 markings, 5547849 edges, 30315 markings/sec, 155 secs
lola: 5103114 markings, 5732399 edges, 30318 markings/sec, 160 secs
lola: 5254581 markings, 5913949 edges, 30293 markings/sec, 165 secs
lola: 5406369 markings, 6097979 edges, 30358 markings/sec, 170 secs
lola: 5558114 markings, 6281797 edges, 30349 markings/sec, 175 secs
lola: 5705425 markings, 6463843 edges, 29462 markings/sec, 180 secs
lola: 5846868 markings, 6640548 edges, 28289 markings/sec, 185 secs
lola: 5981161 markings, 6807268 edges, 26859 markings/sec, 190 secs
lola: 6125236 markings, 6986519 edges, 28815 markings/sec, 195 secs
lola: 6274361 markings, 7168044 edges, 29825 markings/sec, 200 secs
lola: 6424386 markings, 7352341 edges, 30005 markings/sec, 205 secs
lola: 6571014 markings, 7535401 edges, 29326 markings/sec, 210 secs
lola: 6719628 markings, 7717523 edges, 29723 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(p141 + p142 + p143 + p144 + p145 + p146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 161281 markings, 166165 edges, 32256 markings/sec, 0 secs
lola: 329660 markings, 342378 edges, 33676 markings/sec, 5 secs
lola: 505984 markings, 529425 edges, 35265 markings/sec, 10 secs
lola: 680690 markings, 716571 edges, 34941 markings/sec, 15 secs
lola: 854340 markings, 904931 edges, 34730 markings/sec, 20 secs
lola: 1027219 markings, 1094125 edges, 34576 markings/sec, 25 secs
lola: 1199356 markings, 1283703 edges, 34427 markings/sec, 30 secs
lola: 1370410 markings, 1473873 edges, 34211 markings/sec, 35 secs
lola: 1539231 markings, 1663395 edges, 33764 markings/sec, 40 secs
lola: 1706135 markings, 1853556 edges, 33381 markings/sec, 45 secs
lola: 1871963 markings, 2042640 edges, 33166 markings/sec, 50 secs
lola: 2032276 markings, 2225780 edges, 32063 markings/sec, 55 secs
lola: 2189054 markings, 2405748 edges, 31356 markings/sec, 60 secs
lola: 2345032 markings, 2586989 edges, 31196 markings/sec, 65 secs
lola: 2508906 markings, 2776707 edges, 32775 markings/sec, 70 secs
lola: 2672345 markings, 2967997 edges, 32688 markings/sec, 75 secs
lola: 2835680 markings, 3158477 edges, 32667 markings/sec, 80 secs
lola: 2998428 markings, 3348379 edges, 32550 markings/sec, 85 secs
lola: 3160434 markings, 3538088 edges, 32401 markings/sec, 90 secs
lola: 3322277 markings, 3727477 edges, 32369 markings/sec, 95 secs
lola: 3485859 markings, 3917589 edges, 32716 markings/sec, 100 secs
lola: 3650173 markings, 4105886 edges, 32863 markings/sec, 105 secs
lola: 3813570 markings, 4294984 edges, 32679 markings/sec, 110 secs
lola: 3976683 markings, 4483958 edges, 32623 markings/sec, 115 secs
lola: 4142799 markings, 4673946 edges, 33223 markings/sec, 120 secs
lola: 4308490 markings, 4862529 edges, 33138 markings/sec, 125 secs
lola: 4474520 markings, 5052635 edges, 33206 markings/sec, 130 secs
lola: 4639149 markings, 5242462 edges, 32926 markings/sec, 135 secs
lola: 4805713 markings, 5431051 edges, 33313 markings/sec, 140 secs
lola: 4971907 markings, 5621356 edges, 33239 markings/sec, 145 secs
lola: 5139142 markings, 5810365 edges, 33447 markings/sec, 150 secs
lola: 5304898 markings, 5999375 edges, 33151 markings/sec, 155 secs
lola: 5471597 markings, 6188407 edges, 33340 markings/sec, 160 secs
lola: 5639456 markings, 6376073 edges, 33572 markings/sec, 165 secs
lola: 5807343 markings, 6566206 edges, 33577 markings/sec, 170 secs
lola: 5977145 markings, 6757474 edges, 33960 markings/sec, 175 secs
lola: 6146860 markings, 6948551 edges, 33943 markings/sec, 180 secs
lola: 6317217 markings, 7139634 edges, 34071 markings/sec, 185 secs
lola: 6487976 markings, 7331202 edges, 34152 markings/sec, 190 secs
lola: 6658577 markings, 7522556 edges, 34120 markings/sec, 195 secs
lola: 6828536 markings, 7713988 edges, 33992 markings/sec, 200 secs
lola: 6998634 markings, 7905268 edges, 34020 markings/sec, 205 secs
lola: 7168585 markings, 8097182 edges, 33990 markings/sec, 210 secs
lola: 7337808 markings, 8286703 edges, 33845 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(p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 180011 markings, 185560 edges, 36002 markings/sec, 0 secs
lola: 356913 markings, 371216 edges, 35380 markings/sec, 5 secs
lola: 532118 markings, 557320 edges, 35041 markings/sec, 10 secs
lola: 705736 markings, 743710 edges, 34724 markings/sec, 15 secs
lola: 878490 markings, 931125 edges, 34551 markings/sec, 20 secs
lola: 1049688 markings, 1118795 edges, 34240 markings/sec, 25 secs
lola: 1220183 markings, 1306789 edges, 34099 markings/sec, 30 secs
lola: 1389962 markings, 1495872 edges, 33956 markings/sec, 35 secs
lola: 1558502 markings, 1684883 edges, 33708 markings/sec, 40 secs
lola: 1723971 markings, 1873858 edges, 33094 markings/sec, 45 secs
lola: 1889470 markings, 2062390 edges, 33100 markings/sec, 50 secs
lola: 2052908 markings, 2250217 edges, 32688 markings/sec, 55 secs
lola: 2218135 markings, 2439123 edges, 33045 markings/sec, 60 secs
lola: 2379726 markings, 2626876 edges, 32318 markings/sec, 65 secs
lola: 2542425 markings, 2816542 edges, 32540 markings/sec, 70 secs
lola: 2704301 markings, 3005707 edges, 32375 markings/sec, 75 secs
lola: 2867361 markings, 3195347 edges, 32612 markings/sec, 80 secs
lola: 3028589 markings, 3384064 edges, 32246 markings/sec, 85 secs
lola: 3189831 markings, 3572408 edges, 32248 markings/sec, 90 secs
lola: 3350930 markings, 3761608 edges, 32220 markings/sec, 95 secs
lola: 3514181 markings, 3950916 edges, 32650 markings/sec, 100 secs
lola: 3678584 markings, 4138127 edges, 32881 markings/sec, 105 secs
lola: 3839040 markings, 4324813 edges, 32091 markings/sec, 110 secs
lola: 4001223 markings, 4512173 edges, 32437 markings/sec, 115 secs
lola: 4165966 markings, 4699954 edges, 32949 markings/sec, 120 secs
lola: 4330077 markings, 4887076 edges, 32822 markings/sec, 125 secs
lola: 4494934 markings, 5076062 edges, 32971 markings/sec, 130 secs
lola: 4658188 markings, 5264180 edges, 32651 markings/sec, 135 secs
lola: 4823935 markings, 5451655 edges, 33149 markings/sec, 140 secs
lola: 4989073 markings, 5640979 edges, 33028 markings/sec, 145 secs
lola: 5154497 markings, 5828032 edges, 33085 markings/sec, 150 secs
lola: 5319386 markings, 6015391 edges, 32978 markings/sec, 155 secs
lola: 5484239 markings, 6203122 edges, 32971 markings/sec, 160 secs
lola: 5651197 markings, 6389495 edges, 33392 markings/sec, 165 secs
lola: 5818583 markings, 6578482 edges, 33477 markings/sec, 170 secs
lola: 5986987 markings, 6768770 edges, 33681 markings/sec, 175 secs
lola: 6155562 markings, 6958220 edges, 33715 markings/sec, 180 secs
lola: 6324892 markings, 7148381 edges, 33866 markings/sec, 185 secs
lola: 6494299 markings, 7338391 edges, 33881 markings/sec, 190 secs
lola: 6663937 markings, 7528644 edges, 33928 markings/sec, 195 secs
lola: 6832138 markings, 7718163 edges, 33640 markings/sec, 200 secs
lola: 7001124 markings, 7908052 edges, 33797 markings/sec, 205 secs
lola: 7170452 markings, 8099303 edges, 33866 markings/sec, 210 secs
lola: 7339186 markings, 8288328 edges, 33747 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(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 161705 markings, 168742 edges, 32341 markings/sec, 0 secs
lola: 321354 markings, 336765 edges, 31930 markings/sec, 5 secs
lola: 480350 markings, 505046 edges, 31799 markings/sec, 10 secs
lola: 638069 markings, 672318 edges, 31544 markings/sec, 15 secs
lola: 795552 markings, 840852 edges, 31497 markings/sec, 20 secs
lola: 951986 markings, 1008828 edges, 31287 markings/sec, 25 secs
lola: 1108501 markings, 1177436 edges, 31303 markings/sec, 30 secs
lola: 1263397 markings, 1346234 edges, 30979 markings/sec, 35 secs
lola: 1416992 markings, 1514164 edges, 30719 markings/sec, 40 secs
lola: 1570886 markings, 1682544 edges, 30779 markings/sec, 45 secs
lola: 1728985 markings, 1857205 edges, 31620 markings/sec, 50 secs
lola: 1886431 markings, 2031612 edges, 31489 markings/sec, 55 secs
lola: 2042294 markings, 2205540 edges, 31173 markings/sec, 60 secs
lola: 2198006 markings, 2379830 edges, 31142 markings/sec, 65 secs
lola: 2356589 markings, 2558703 edges, 31717 markings/sec, 70 secs
lola: 2514860 markings, 2737998 edges, 31654 markings/sec, 75 secs
lola: 2673904 markings, 2920170 edges, 31809 markings/sec, 80 secs
lola: 2832044 markings, 3100705 edges, 31628 markings/sec, 85 secs
lola: 2989891 markings, 3281089 edges, 31569 markings/sec, 90 secs
lola: 3148674 markings, 3464028 edges, 31757 markings/sec, 95 secs
lola: 3306382 markings, 3645859 edges, 31542 markings/sec, 100 secs
lola: 3464722 markings, 3828418 edges, 31668 markings/sec, 105 secs
lola: 3622667 markings, 4009931 edges, 31589 markings/sec, 110 secs
lola: 3781956 markings, 4192135 edges, 31858 markings/sec, 115 secs
lola: 3940771 markings, 4374767 edges, 31763 markings/sec, 120 secs
lola: 4098233 markings, 4556379 edges, 31492 markings/sec, 125 secs
lola: 4255418 markings, 4737777 edges, 31437 markings/sec, 130 secs
lola: 4414356 markings, 4920185 edges, 31788 markings/sec, 135 secs
lola: 4572495 markings, 5102462 edges, 31628 markings/sec, 140 secs
lola: 4730723 markings, 5284690 edges, 31646 markings/sec, 145 secs
lola: 4890054 markings, 5467525 edges, 31866 markings/sec, 150 secs
lola: 5047587 markings, 5650542 edges, 31507 markings/sec, 155 secs
lola: 5206042 markings, 5833683 edges, 31691 markings/sec, 160 secs
lola: 5363648 markings, 6018459 edges, 31521 markings/sec, 165 secs
lola: 5523213 markings, 6203309 edges, 31913 markings/sec, 170 secs
lola: 5682012 markings, 6387160 edges, 31760 markings/sec, 175 secs
lola: 5841240 markings, 6572470 edges, 31846 markings/sec, 180 secs
lola: 6000147 markings, 6757415 edges, 31781 markings/sec, 185 secs
lola: 6159463 markings, 6941640 edges, 31863 markings/sec, 190 secs
lola: 6318049 markings, 7125570 edges, 31717 markings/sec, 195 secs
lola: 6477608 markings, 7311586 edges, 31912 markings/sec, 200 secs
lola: 6637330 markings, 7497516 edges, 31944 markings/sec, 205 secs
lola: 6796633 markings, 7685418 edges, 31861 markings/sec, 210 secs
lola: 6954934 markings, 7872696 edges, 31660 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(p227)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 168156 markings, 173887 edges, 33631 markings/sec, 0 secs
lola: 334564 markings, 348335 edges, 33282 markings/sec, 5 secs
lola: 499565 markings, 522715 edges, 33000 markings/sec, 10 secs
lola: 663604 markings, 697815 edges, 32808 markings/sec, 15 secs
lola: 826960 markings, 873962 edges, 32671 markings/sec, 20 secs
lola: 990217 markings, 1052012 edges, 32651 markings/sec, 25 secs
lola: 1152504 markings, 1228056 edges, 32457 markings/sec, 30 secs
lola: 1313918 markings, 1403942 edges, 32283 markings/sec, 35 secs
lola: 1474531 markings, 1581623 edges, 32123 markings/sec, 40 secs
lola: 1634647 markings, 1759992 edges, 32023 markings/sec, 45 secs
lola: 1793734 markings, 1939068 edges, 31817 markings/sec, 50 secs
lola: 1953103 markings, 2119200 edges, 31874 markings/sec, 55 secs
lola: 2111228 markings, 2297236 edges, 31625 markings/sec, 60 secs
lola: 2269188 markings, 2475063 edges, 31592 markings/sec, 65 secs
lola: 2427019 markings, 2654107 edges, 31566 markings/sec, 70 secs
lola: 2584919 markings, 2833795 edges, 31580 markings/sec, 75 secs
lola: 2741812 markings, 3011402 edges, 31379 markings/sec, 80 secs
lola: 2899450 markings, 3191363 edges, 31528 markings/sec, 85 secs
lola: 3055999 markings, 3369934 edges, 31310 markings/sec, 90 secs
lola: 3213582 markings, 3550322 edges, 31517 markings/sec, 95 secs
lola: 3372181 markings, 3732013 edges, 31720 markings/sec, 100 secs
lola: 3531104 markings, 3913151 edges, 31785 markings/sec, 105 secs
lola: 3690135 markings, 4095212 edges, 31806 markings/sec, 110 secs
lola: 3848309 markings, 4276014 edges, 31635 markings/sec, 115 secs
lola: 4005091 markings, 4454897 edges, 31356 markings/sec, 120 secs
lola: 4161097 markings, 4632603 edges, 31201 markings/sec, 125 secs
lola: 4316888 markings, 4811287 edges, 31158 markings/sec, 130 secs
lola: 4472560 markings, 4989221 edges, 31134 markings/sec, 135 secs
lola: 4628336 markings, 5168657 edges, 31155 markings/sec, 140 secs
lola: 4783720 markings, 5346203 edges, 31077 markings/sec, 145 secs
lola: 4938561 markings, 5522872 edges, 30968 markings/sec, 150 secs
lola: 5092874 markings, 5700805 edges, 30863 markings/sec, 155 secs
lola: 5250950 markings, 5881189 edges, 31615 markings/sec, 160 secs
lola: 5413233 markings, 6068507 edges, 32457 markings/sec, 165 secs
lola: 5574693 markings, 6258482 edges, 32292 markings/sec, 170 secs
lola: 5736178 markings, 6448194 edges, 32297 markings/sec, 175 secs
lola: 5897826 markings, 6639698 edges, 32330 markings/sec, 180 secs
lola: 6058835 markings, 6825078 edges, 32202 markings/sec, 185 secs
lola: 6220906 markings, 7013615 edges, 32414 markings/sec, 190 secs
lola: 6382155 markings, 7205699 edges, 32250 markings/sec, 195 secs
lola: 6540043 markings, 7397547 edges, 31578 markings/sec, 200 secs
lola: 6698704 markings, 7584197 edges, 31732 markings/sec, 205 secs
lola: 6855228 markings, 7772913 edges, 31305 markings/sec, 210 secs
lola: 7007985 markings, 7969822 edges, 30551 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(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 170879 markings, 178999 edges, 34176 markings/sec, 0 secs
lola: 339031 markings, 357074 edges, 33630 markings/sec, 5 secs
lola: 506428 markings, 536033 edges, 33479 markings/sec, 10 secs
lola: 672746 markings, 714707 edges, 33264 markings/sec, 15 secs
lola: 837433 markings, 892546 edges, 32937 markings/sec, 20 secs
lola: 1001739 markings, 1071162 edges, 32861 markings/sec, 25 secs
lola: 1164755 markings, 1250515 edges, 32603 markings/sec, 30 secs
lola: 1326683 markings, 1430585 edges, 32386 markings/sec, 35 secs
lola: 1482678 markings, 1603771 edges, 31199 markings/sec, 40 secs
lola: 1636875 markings, 1776500 edges, 30839 markings/sec, 45 secs
lola: 1790170 markings, 1949583 edges, 30659 markings/sec, 50 secs
lola: 1942708 markings, 2121861 edges, 30508 markings/sec, 55 secs
lola: 2095505 markings, 2295115 edges, 30559 markings/sec, 60 secs
lola: 2248160 markings, 2466718 edges, 30531 markings/sec, 65 secs
lola: 2400836 markings, 2639849 edges, 30535 markings/sec, 70 secs
lola: 2553531 markings, 2813474 edges, 30539 markings/sec, 75 secs
lola: 2705287 markings, 2985875 edges, 30351 markings/sec, 80 secs
lola: 2857054 markings, 3158742 edges, 30353 markings/sec, 85 secs
lola: 3008036 markings, 3330619 edges, 30196 markings/sec, 90 secs
lola: 3159410 markings, 3502383 edges, 30275 markings/sec, 95 secs
lola: 3310482 markings, 3674533 edges, 30214 markings/sec, 100 secs
lola: 3462264 markings, 3848675 edges, 30356 markings/sec, 105 secs
lola: 3613459 markings, 4020320 edges, 30239 markings/sec, 110 secs
lola: 3765027 markings, 4192919 edges, 30314 markings/sec, 115 secs
lola: 3917098 markings, 4366771 edges, 30414 markings/sec, 120 secs
lola: 4068454 markings, 4539441 edges, 30271 markings/sec, 125 secs
lola: 4219800 markings, 4712152 edges, 30269 markings/sec, 130 secs
lola: 4370464 markings, 4883034 edges, 30133 markings/sec, 135 secs
lola: 4521310 markings, 5052672 edges, 30169 markings/sec, 140 secs
lola: 4672557 markings, 5223341 edges, 30249 markings/sec, 145 secs
lola: 4823233 markings, 5392476 edges, 30135 markings/sec, 150 secs
lola: 4974753 markings, 5561448 edges, 30304 markings/sec, 155 secs
lola: 5125617 markings, 5729645 edges, 30173 markings/sec, 160 secs
lola: 5276420 markings, 5898088 edges, 30161 markings/sec, 165 secs
lola: 5427395 markings, 6067462 edges, 30195 markings/sec, 170 secs
lola: 5577765 markings, 6236212 edges, 30074 markings/sec, 175 secs
lola: 5728524 markings, 6405668 edges, 30152 markings/sec, 180 secs
lola: 5878375 markings, 6575061 edges, 29970 markings/sec, 185 secs
lola: 6028595 markings, 6743693 edges, 30044 markings/sec, 190 secs
lola: 6178175 markings, 6912868 edges, 29916 markings/sec, 195 secs
lola: 6328453 markings, 7082084 edges, 30056 markings/sec, 200 secs
lola: 6477002 markings, 7248757 edges, 29710 markings/sec, 205 secs
lola: 6627402 markings, 7419798 edges, 30080 markings/sec, 210 secs
lola: 6776514 markings, 7587749 edges, 29822 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(p209 + p210 + p211 + p212 + p213 + p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 162799 markings, 169245 edges, 32560 markings/sec, 0 secs
lola: 324038 markings, 338137 edges, 32248 markings/sec, 5 secs
lola: 484407 markings, 508035 edges, 32074 markings/sec, 10 secs
lola: 644056 markings, 678580 edges, 31930 markings/sec, 15 secs
lola: 802656 markings, 849618 edges, 31720 markings/sec, 20 secs
lola: 960313 markings, 1020684 edges, 31531 markings/sec, 25 secs
lola: 1117356 markings, 1191901 edges, 31409 markings/sec, 30 secs
lola: 1274089 markings, 1363333 edges, 31347 markings/sec, 35 secs
lola: 1428719 markings, 1533383 edges, 30926 markings/sec, 40 secs
lola: 1582596 markings, 1702929 edges, 30775 markings/sec, 45 secs
lola: 1735472 markings, 1872347 edges, 30575 markings/sec, 50 secs
lola: 1888541 markings, 2042565 edges, 30614 markings/sec, 55 secs
lola: 2038904 markings, 2210286 edges, 30073 markings/sec, 60 secs
lola: 2188657 markings, 2378004 edges, 29951 markings/sec, 65 secs
lola: 2338928 markings, 2547622 edges, 30054 markings/sec, 70 secs
lola: 2488221 markings, 2716885 edges, 29859 markings/sec, 75 secs
lola: 2637030 markings, 2887110 edges, 29762 markings/sec, 80 secs
lola: 2787560 markings, 3059815 edges, 30106 markings/sec, 85 secs
lola: 2937371 markings, 3231226 edges, 29962 markings/sec, 90 secs
lola: 3087209 markings, 3403429 edges, 29968 markings/sec, 95 secs
lola: 3235489 markings, 3572802 edges, 29656 markings/sec, 100 secs
lola: 3383311 markings, 3740776 edges, 29564 markings/sec, 105 secs
lola: 3531977 markings, 3910544 edges, 29733 markings/sec, 110 secs
lola: 3675996 markings, 4079548 edges, 28804 markings/sec, 115 secs
lola: 3823667 markings, 4250400 edges, 29534 markings/sec, 120 secs
lola: 3972085 markings, 4421906 edges, 29684 markings/sec, 125 secs
lola: 4121455 markings, 4595738 edges, 29874 markings/sec, 130 secs
lola: 4269003 markings, 4764930 edges, 29510 markings/sec, 135 secs
lola: 4415228 markings, 4936301 edges, 29245 markings/sec, 140 secs
lola: 4564001 markings, 5109683 edges, 29755 markings/sec, 145 secs
lola: 4708406 markings, 5282605 edges, 28881 markings/sec, 150 secs
lola: 4855115 markings, 5455838 edges, 29342 markings/sec, 155 secs
lola: 5002880 markings, 5629173 edges, 29553 markings/sec, 160 secs
lola: 5147848 markings, 5800729 edges, 28994 markings/sec, 165 secs
lola: 5295549 markings, 5973358 edges, 29540 markings/sec, 170 secs
lola: 5443461 markings, 6144834 edges, 29582 markings/sec, 175 secs
lola: 5590425 markings, 6317452 edges, 29393 markings/sec, 180 secs
lola: 5737861 markings, 6489256 edges, 29487 markings/sec, 185 secs
lola: 5882164 markings, 6659376 edges, 28861 markings/sec, 190 secs
lola: 6026096 markings, 6831832 edges, 28786 markings/sec, 195 secs
lola: 6172273 markings, 7005210 edges, 29235 markings/sec, 200 secs
lola: 6317472 markings, 7174855 edges, 29040 markings/sec, 205 secs
lola: 6460995 markings, 7342785 edges, 28705 markings/sec, 210 secs
lola: 6601687 markings, 7518260 edges, 28138 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(p17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 159774 markings, 168728 edges, 31955 markings/sec, 0 secs
lola: 317536 markings, 337281 edges, 31552 markings/sec, 5 secs
lola: 474646 markings, 506110 edges, 31422 markings/sec, 10 secs
lola: 630553 markings, 674775 edges, 31181 markings/sec, 15 secs
lola: 785577 markings, 843460 edges, 31005 markings/sec, 20 secs
lola: 939963 markings, 1012357 edges, 30877 markings/sec, 25 secs
lola: 1094173 markings, 1181816 edges, 30842 markings/sec, 30 secs
lola: 1250547 markings, 1355028 edges, 31275 markings/sec, 35 secs
lola: 1406540 markings, 1528821 edges, 31199 markings/sec, 40 secs
lola: 1561788 markings, 1702467 edges, 31050 markings/sec, 45 secs
lola: 1715403 markings, 1875607 edges, 30723 markings/sec, 50 secs
lola: 1869024 markings, 2051745 edges, 30724 markings/sec, 55 secs
lola: 2022260 markings, 2226558 edges, 30647 markings/sec, 60 secs
lola: 2175959 markings, 2403365 edges, 30740 markings/sec, 65 secs
lola: 2329542 markings, 2578708 edges, 30717 markings/sec, 70 secs
lola: 2483909 markings, 2754902 edges, 30873 markings/sec, 75 secs
lola: 2638420 markings, 2931716 edges, 30902 markings/sec, 80 secs
lola: 2792567 markings, 3108258 edges, 30829 markings/sec, 85 secs
lola: 2945982 markings, 3283799 edges, 30683 markings/sec, 90 secs
lola: 3099532 markings, 3458766 edges, 30710 markings/sec, 95 secs
lola: 3253577 markings, 3634100 edges, 30809 markings/sec, 100 secs
lola: 3406997 markings, 3809526 edges, 30684 markings/sec, 105 secs
lola: 3560546 markings, 3985689 edges, 30710 markings/sec, 110 secs
lola: 3714583 markings, 4160255 edges, 30807 markings/sec, 115 secs
lola: 3863666 markings, 4328895 edges, 29817 markings/sec, 120 secs
lola: 4012742 markings, 4499959 edges, 29815 markings/sec, 125 secs
lola: 4161601 markings, 4668902 edges, 29772 markings/sec, 130 secs
lola: 4309966 markings, 4837784 edges, 29673 markings/sec, 135 secs
lola: 4459222 markings, 5007377 edges, 29851 markings/sec, 140 secs
lola: 4607627 markings, 5176475 edges, 29681 markings/sec, 145 secs
lola: 4756192 markings, 5346875 edges, 29713 markings/sec, 150 secs
lola: 4904696 markings, 5515681 edges, 29701 markings/sec, 155 secs
lola: 5053336 markings, 5684919 edges, 29728 markings/sec, 160 secs
lola: 5200976 markings, 5854072 edges, 29528 markings/sec, 165 secs
lola: 5347758 markings, 6021975 edges, 29356 markings/sec, 170 secs
lola: 5495057 markings, 6192171 edges, 29460 markings/sec, 175 secs
lola: 5641546 markings, 6359784 edges, 29298 markings/sec, 180 secs
lola: 5787182 markings, 6528009 edges, 29127 markings/sec, 185 secs
lola: 5933152 markings, 6697475 edges, 29194 markings/sec, 190 secs
lola: 6076505 markings, 6862201 edges, 28671 markings/sec, 195 secs
lola: 6221298 markings, 7032214 edges, 28959 markings/sec, 200 secs
lola: 6366447 markings, 7201566 edges, 29030 markings/sec, 205 secs
lola: 6510784 markings, 7372019 edges, 28867 markings/sec, 210 secs
lola: 6652196 markings, 7541348 edges, 28282 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(p438 + p439 + p440 + p441 + p442 + p443)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 168042 markings, 175254 edges, 33608 markings/sec, 0 secs
lola: 334071 markings, 350581 edges, 33206 markings/sec, 5 secs
lola: 498497 markings, 525414 edges, 32885 markings/sec, 10 secs
lola: 662086 markings, 700301 edges, 32718 markings/sec, 15 secs
lola: 824938 markings, 875407 edges, 32570 markings/sec, 20 secs
lola: 986590 markings, 1050458 edges, 32330 markings/sec, 25 secs
lola: 1147453 markings, 1225277 edges, 32173 markings/sec, 30 secs
lola: 1306666 markings, 1399100 edges, 31843 markings/sec, 35 secs
lola: 1464995 markings, 1571634 edges, 31666 markings/sec, 40 secs
lola: 1624141 markings, 1746143 edges, 31829 markings/sec, 45 secs
lola: 1782740 markings, 1921344 edges, 31720 markings/sec, 50 secs
lola: 1941411 markings, 2097856 edges, 31734 markings/sec, 55 secs
lola: 2098024 markings, 2273556 edges, 31323 markings/sec, 60 secs
lola: 2254769 markings, 2448297 edges, 31349 markings/sec, 65 secs
lola: 2411557 markings, 2623302 edges, 31358 markings/sec, 70 secs
lola: 2567097 markings, 2797394 edges, 31108 markings/sec, 75 secs
lola: 2721308 markings, 2969997 edges, 30842 markings/sec, 80 secs
lola: 2876282 markings, 3143990 edges, 30995 markings/sec, 85 secs
lola: 3035719 markings, 3323737 edges, 31887 markings/sec, 90 secs
lola: 3196065 markings, 3503743 edges, 32069 markings/sec, 95 secs
lola: 3355991 markings, 3683749 edges, 31985 markings/sec, 100 secs
lola: 3514313 markings, 3861939 edges, 31664 markings/sec, 105 secs
lola: 3672801 markings, 4040994 edges, 31698 markings/sec, 110 secs
lola: 3830595 markings, 4219282 edges, 31559 markings/sec, 115 secs
lola: 3988386 markings, 4398990 edges, 31558 markings/sec, 120 secs
lola: 4145066 markings, 4576774 edges, 31336 markings/sec, 125 secs
lola: 4302726 markings, 4757661 edges, 31532 markings/sec, 130 secs
lola: 4460193 markings, 4937894 edges, 31493 markings/sec, 135 secs
lola: 4618016 markings, 5119751 edges, 31565 markings/sec, 140 secs
lola: 4774541 markings, 5299057 edges, 31305 markings/sec, 145 secs
lola: 4931953 markings, 5479629 edges, 31482 markings/sec, 150 secs
lola: 5089397 markings, 5661916 edges, 31489 markings/sec, 155 secs
lola: 5246240 markings, 5842120 edges, 31369 markings/sec, 160 secs
lola: 5402779 markings, 6022315 edges, 31308 markings/sec, 165 secs
lola: 5560122 markings, 6203373 edges, 31469 markings/sec, 170 secs
lola: 5719870 markings, 6387830 edges, 31950 markings/sec, 175 secs
lola: 5877090 markings, 6568181 edges, 31444 markings/sec, 180 secs
lola: 6035214 markings, 6750910 edges, 31625 markings/sec, 185 secs
lola: 6192083 markings, 6930835 edges, 31374 markings/sec, 190 secs
lola: 6347006 markings, 7110955 edges, 30985 markings/sec, 195 secs
lola: 6503408 markings, 7291455 edges, 31280 markings/sec, 200 secs
lola: 6658767 markings, 7472095 edges, 31072 markings/sec, 205 secs
lola: 6817018 markings, 7654550 edges, 31650 markings/sec, 210 secs
lola: 6972152 markings, 7832969 edges, 31027 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(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 151339 markings, 156398 edges, 30268 markings/sec, 0 secs
lola: 301725 markings, 313692 edges, 30077 markings/sec, 5 secs
lola: 450841 markings, 471023 edges, 29823 markings/sec, 10 secs
lola: 595902 markings, 625544 edges, 29012 markings/sec, 15 secs
lola: 740166 markings, 780005 edges, 28853 markings/sec, 20 secs
lola: 883627 markings, 935933 edges, 28692 markings/sec, 25 secs
lola: 1019523 markings, 1083991 edges, 27179 markings/sec, 30 secs
lola: 1157507 markings, 1233253 edges, 27597 markings/sec, 35 secs
lola: 1310106 markings, 1399760 edges, 30520 markings/sec, 40 secs
lola: 1449407 markings, 1553685 edges, 27860 markings/sec, 45 secs
lola: 1613006 markings, 1736010 edges, 32720 markings/sec, 50 secs
lola: 1777676 markings, 1921500 edges, 32934 markings/sec, 55 secs
lola: 1942848 markings, 2107511 edges, 33034 markings/sec, 60 secs
lola: 2106605 markings, 2291896 edges, 32751 markings/sec, 65 secs
lola: 2270321 markings, 2476374 edges, 32743 markings/sec, 70 secs
lola: 2433952 markings, 2662019 edges, 32726 markings/sec, 75 secs
lola: 2597336 markings, 2847842 edges, 32677 markings/sec, 80 secs
lola: 2760046 markings, 3032016 edges, 32542 markings/sec, 85 secs
lola: 2922962 markings, 3218225 edges, 32583 markings/sec, 90 secs
lola: 3085039 markings, 3403220 edges, 32415 markings/sec, 95 secs
lola: 3247703 markings, 3589721 edges, 32533 markings/sec, 100 secs
lola: 3409945 markings, 3775087 edges, 32448 markings/sec, 105 secs
lola: 3573385 markings, 3961589 edges, 32688 markings/sec, 110 secs
lola: 3736058 markings, 4147900 edges, 32535 markings/sec, 115 secs
lola: 3898566 markings, 4332863 edges, 32502 markings/sec, 120 secs
lola: 4060874 markings, 4518145 edges, 32462 markings/sec, 125 secs
lola: 4222631 markings, 4703184 edges, 32351 markings/sec, 130 secs
lola: 4384347 markings, 4888209 edges, 32343 markings/sec, 135 secs
lola: 4545616 markings, 5073776 edges, 32254 markings/sec, 140 secs
lola: 4706719 markings, 5258317 edges, 32221 markings/sec, 145 secs
lola: 4867456 markings, 5441517 edges, 32147 markings/sec, 150 secs
lola: 5027114 markings, 5625778 edges, 31932 markings/sec, 155 secs
lola: 5187673 markings, 5809250 edges, 32112 markings/sec, 160 secs
lola: 5347710 markings, 5992758 edges, 32007 markings/sec, 165 secs
lola: 5508211 markings, 6177823 edges, 32100 markings/sec, 170 secs
lola: 5666596 markings, 6367257 edges, 31677 markings/sec, 175 secs
lola: 5826097 markings, 6556436 edges, 31900 markings/sec, 180 secs
lola: 5985658 markings, 6741138 edges, 31912 markings/sec, 185 secs
lola: 6145251 markings, 6925652 edges, 31919 markings/sec, 190 secs
lola: 6304928 markings, 7112557 edges, 31935 markings/sec, 195 secs
lola: 6462353 markings, 7301368 edges, 31485 markings/sec, 200 secs
lola: 6618161 markings, 7489739 edges, 31162 markings/sec, 205 secs
lola: 6773169 markings, 7673352 edges, 31002 markings/sec, 210 secs
lola: 6924312 markings, 7866498 edges, 30229 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 167168 markings, 183816 edges, 33434 markings/sec, 0 secs
lola: 332472 markings, 368900 edges, 33061 markings/sec, 5 secs
lola: 496414 markings, 554403 edges, 32788 markings/sec, 10 secs
lola: 659745 markings, 739707 edges, 32666 markings/sec, 15 secs
lola: 822174 markings, 924453 edges, 32486 markings/sec, 20 secs
lola: 982318 markings, 1106498 edges, 32029 markings/sec, 25 secs
lola: 1140241 markings, 1286786 edges, 31585 markings/sec, 30 secs
lola: 1279312 markings, 1445822 edges, 27814 markings/sec, 35 secs
lola: 1423449 markings, 1611189 edges, 28827 markings/sec, 40 secs
lola: 1562501 markings, 1771322 edges, 27810 markings/sec, 45 secs
lola: 1705683 markings, 1936574 edges, 28636 markings/sec, 50 secs
lola: 1859414 markings, 2113890 edges, 30746 markings/sec, 55 secs
lola: 2015910 markings, 2294879 edges, 31299 markings/sec, 60 secs
lola: 2177034 markings, 2482004 edges, 32225 markings/sec, 65 secs
lola: 2336064 markings, 2666004 edges, 31806 markings/sec, 70 secs
lola: 2495118 markings, 2850373 edges, 31811 markings/sec, 75 secs
lola: 2651160 markings, 3031491 edges, 31208 markings/sec, 80 secs
lola: 2810587 markings, 3216065 edges, 31885 markings/sec, 85 secs
lola: 2968964 markings, 3400209 edges, 31675 markings/sec, 90 secs
lola: 3125532 markings, 3583217 edges, 31314 markings/sec, 95 secs
lola: 3276430 markings, 3759268 edges, 30180 markings/sec, 100 secs
lola: 3427169 markings, 3935559 edges, 30148 markings/sec, 105 secs
lola: 3576680 markings, 4108470 edges, 29902 markings/sec, 110 secs
lola: 3727564 markings, 4285713 edges, 30177 markings/sec, 115 secs
lola: 3878361 markings, 4462333 edges, 30159 markings/sec, 120 secs
lola: 4026627 markings, 4639874 edges, 29653 markings/sec, 125 secs
lola: 4175621 markings, 4815869 edges, 29799 markings/sec, 130 secs
lola: 4325708 markings, 4990804 edges, 30017 markings/sec, 135 secs
lola: 4475471 markings, 5165897 edges, 29953 markings/sec, 140 secs
lola: 4621400 markings, 5345140 edges, 29186 markings/sec, 145 secs
lola: 4770184 markings, 5520886 edges, 29757 markings/sec, 150 secs
lola: 4915493 markings, 5699206 edges, 29062 markings/sec, 155 secs
lola: 5061404 markings, 5879250 edges, 29182 markings/sec, 160 secs
lola: 5208120 markings, 6052929 edges, 29343 markings/sec, 165 secs
lola: 5353892 markings, 6233485 edges, 29154 markings/sec, 170 secs
lola: 5502821 markings, 6409568 edges, 29786 markings/sec, 175 secs
lola: 5650901 markings, 6586445 edges, 29616 markings/sec, 180 secs
lola: 5795766 markings, 6758965 edges, 28973 markings/sec, 185 secs
lola: 5939359 markings, 6931108 edges, 28719 markings/sec, 190 secs
lola: 6086821 markings, 7105298 edges, 29492 markings/sec, 195 secs
lola: 6230173 markings, 7276738 edges, 28670 markings/sec, 200 secs
lola: 6375487 markings, 7453279 edges, 29063 markings/sec, 205 secs
lola: 6520577 markings, 7627715 edges, 29018 markings/sec, 210 secs
lola: 6663033 markings, 7798921 edges, 28491 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p335 + p336 + p337 + p338 + p339 + p340)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 171734 markings, 177004 edges, 34347 markings/sec, 0 secs
lola: 340694 markings, 354027 edges, 33792 markings/sec, 5 secs
lola: 508141 markings, 531731 edges, 33489 markings/sec, 10 secs
lola: 674570 markings, 710037 edges, 33286 markings/sec, 15 secs
lola: 839756 markings, 889045 edges, 33037 markings/sec, 20 secs
lola: 1004616 markings, 1069296 edges, 32972 markings/sec, 25 secs
lola: 1168332 markings, 1249324 edges, 32743 markings/sec, 30 secs
lola: 1330840 markings, 1429909 edges, 32502 markings/sec, 35 secs
lola: 1491595 markings, 1610054 edges, 32151 markings/sec, 40 secs
lola: 1650302 markings, 1790623 edges, 31741 markings/sec, 45 secs
lola: 1808994 markings, 1970817 edges, 31738 markings/sec, 50 secs
lola: 1966005 markings, 2149783 edges, 31402 markings/sec, 55 secs
lola: 2126317 markings, 2333775 edges, 32062 markings/sec, 60 secs
lola: 2287505 markings, 2520281 edges, 32238 markings/sec, 65 secs
lola: 2449952 markings, 2708281 edges, 32489 markings/sec, 70 secs
lola: 2612103 markings, 2896940 edges, 32430 markings/sec, 75 secs
lola: 2773116 markings, 3085338 edges, 32203 markings/sec, 80 secs
lola: 2930586 markings, 3269474 edges, 31494 markings/sec, 85 secs
lola: 3091469 markings, 3457671 edges, 32177 markings/sec, 90 secs
lola: 3253310 markings, 3646302 edges, 32368 markings/sec, 95 secs
lola: 3415928 markings, 3836322 edges, 32524 markings/sec, 100 secs
lola: 3573383 markings, 4019722 edges, 31491 markings/sec, 105 secs
lola: 3735755 markings, 4204571 edges, 32474 markings/sec, 110 secs
lola: 3898643 markings, 4393385 edges, 32578 markings/sec, 115 secs
lola: 4063476 markings, 4583727 edges, 32967 markings/sec, 120 secs
lola: 4229487 markings, 4773039 edges, 33202 markings/sec, 125 secs
lola: 4395857 markings, 4962666 edges, 33274 markings/sec, 130 secs
lola: 4561142 markings, 5152571 edges, 33057 markings/sec, 135 secs
lola: 4727513 markings, 5342734 edges, 33274 markings/sec, 140 secs
lola: 4894612 markings, 5532337 edges, 33420 markings/sec, 145 secs
lola: 5061420 markings, 5722048 edges, 33362 markings/sec, 150 secs
lola: 5228196 markings, 5911947 edges, 33355 markings/sec, 155 secs
lola: 5394540 markings, 6099998 edges, 33269 markings/sec, 160 secs
lola: 5561883 markings, 6289499 edges, 33469 markings/sec, 165 secs
lola: 5729706 markings, 6478733 edges, 33565 markings/sec, 170 secs
lola: 5899244 markings, 6669553 edges, 33908 markings/sec, 175 secs
lola: 6069702 markings, 6861371 edges, 34092 markings/sec, 180 secs
lola: 6239879 markings, 7053038 edges, 34035 markings/sec, 185 secs
lola: 6410972 markings, 7244582 edges, 34219 markings/sec, 190 secs
lola: 6581653 markings, 7436962 edges, 34136 markings/sec, 195 secs
lola: 6752610 markings, 7627991 edges, 34191 markings/sec, 200 secs
lola: 6923135 markings, 7820287 edges, 34105 markings/sec, 205 secs
lola: 7092970 markings, 8012201 edges, 33967 markings/sec, 210 secs
lola: 7263387 markings, 8203367 edges, 34083 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 174420 markings, 180426 edges, 34884 markings/sec, 0 secs
lola: 346829 markings, 361249 edges, 34482 markings/sec, 5 secs
lola: 515229 markings, 539358 edges, 33680 markings/sec, 10 secs
lola: 682976 markings, 718702 edges, 33549 markings/sec, 15 secs
lola: 851640 markings, 900913 edges, 33733 markings/sec, 20 secs
lola: 1019774 markings, 1084259 edges, 33627 markings/sec, 25 secs
lola: 1186707 markings, 1265023 edges, 33387 markings/sec, 30 secs
lola: 1353314 markings, 1447227 edges, 33321 markings/sec, 35 secs
lola: 1518890 markings, 1631586 edges, 33115 markings/sec, 40 secs
lola: 1682591 markings, 1813947 edges, 32740 markings/sec, 45 secs
lola: 1847105 markings, 1998725 edges, 32903 markings/sec, 50 secs
lola: 2011355 markings, 2184511 edges, 32850 markings/sec, 55 secs
lola: 2174419 markings, 2368553 edges, 32613 markings/sec, 60 secs
lola: 2337612 markings, 2553419 edges, 32639 markings/sec, 65 secs
lola: 2498631 markings, 2735227 edges, 32204 markings/sec, 70 secs
lola: 2661015 markings, 2920260 edges, 32477 markings/sec, 75 secs
lola: 2823186 markings, 3103842 edges, 32434 markings/sec, 80 secs
lola: 2984943 markings, 3289537 edges, 32351 markings/sec, 85 secs
lola: 3146593 markings, 3473785 edges, 32330 markings/sec, 90 secs
lola: 3308839 markings, 3659082 edges, 32449 markings/sec, 95 secs
lola: 3470606 markings, 3843464 edges, 32353 markings/sec, 100 secs
lola: 3632259 markings, 4029133 edges, 32331 markings/sec, 105 secs
lola: 3794017 markings, 4213819 edges, 32352 markings/sec, 110 secs
lola: 3956090 markings, 4398563 edges, 32415 markings/sec, 115 secs
lola: 4118145 markings, 4583501 edges, 32411 markings/sec, 120 secs
lola: 4279321 markings, 4768670 edges, 32235 markings/sec, 125 secs
lola: 4440530 markings, 4952489 edges, 32242 markings/sec, 130 secs
lola: 4601391 markings, 5137458 edges, 32172 markings/sec, 135 secs
lola: 4762181 markings, 5321445 edges, 32158 markings/sec, 140 secs
lola: 4922504 markings, 5504142 edges, 32065 markings/sec, 145 secs
lola: 5081985 markings, 5688618 edges, 31896 markings/sec, 150 secs
lola: 5242524 markings, 5871445 edges, 32108 markings/sec, 155 secs
lola: 5402418 markings, 6056003 edges, 31979 markings/sec, 160 secs
lola: 5561726 markings, 6242557 edges, 31862 markings/sec, 165 secs
lola: 5720921 markings, 6430202 edges, 31839 markings/sec, 170 secs
lola: 5876626 markings, 6615230 edges, 31141 markings/sec, 175 secs
lola: 6028777 markings, 6790494 edges, 30430 markings/sec, 180 secs
lola: 6172326 markings, 6956816 edges, 28710 markings/sec, 185 secs
lola: 6331138 markings, 7142857 edges, 31762 markings/sec, 190 secs
lola: 6488508 markings, 7333046 edges, 31474 markings/sec, 195 secs
lola: 6643902 markings, 7521686 edges, 31079 markings/sec, 200 secs
lola: 6798268 markings, 7706780 edges, 30873 markings/sec, 205 secs
lola: 6950463 markings, 7897005 edges, 30439 markings/sec, 210 secs
lola: 7105568 markings, 8086888 edges, 31021 markings/sec, 215 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 unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496378580662

--------------------
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_PolyORBLF-COL-S02J04T06"
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_PolyORBLF-COL-S02J04T06.tgz
mv S_PolyORBLF-COL-S02J04T06 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 S_PolyORBLF-COL-S02J04T06, 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 r128-smll-149441681400290"
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 ;