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_PolyORBNT-COL-S05J20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231400002
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496264729000


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S05J20: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S05J20: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S05J20 @ 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: 1599/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 369 places, 1230 transitions, 307 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 688 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J20-UpperBounds.task
lola: MAX(p202) : MAX(p250) : MAX(p253) : MAX(p5) : MAX(p4) : MAX(p251) : MAX(p226) : MAX(p254) : MAX(p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249) : MAX(p297) : MAX(p33) : MAX(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p195 + p194 + p193 + p192 + p191 + p190 + p189 + p188 + p187) : MAX(p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249) : MAX(p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318) : MAX(p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166) : MAX(p196 + p197 + p198 + p199 + p200)
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(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 72309 markings, 156056 edges, 14462 markings/sec, 0 secs
lola: 143164 markings, 316397 edges, 14171 markings/sec, 5 secs
lola: 215247 markings, 507640 edges, 14417 markings/sec, 10 secs
lola: 287397 markings, 665812 edges, 14430 markings/sec, 15 secs
lola: 358459 markings, 826496 edges, 14212 markings/sec, 20 secs
lola: 430343 markings, 1017308 edges, 14377 markings/sec, 25 secs
lola: 501970 markings, 1174434 edges, 14325 markings/sec, 30 secs
lola: 573622 markings, 1338602 edges, 14330 markings/sec, 35 secs
lola: 645590 markings, 1527348 edges, 14394 markings/sec, 40 secs
lola: 717360 markings, 1689383 edges, 14354 markings/sec, 45 secs
lola: 788965 markings, 1879710 edges, 14321 markings/sec, 50 secs
lola: 861266 markings, 2038106 edges, 14460 markings/sec, 55 secs
lola: 932994 markings, 2202411 edges, 14346 markings/sec, 60 secs
lola: 1003901 markings, 2389075 edges, 14181 markings/sec, 65 secs
lola: 1074337 markings, 2548574 edges, 14087 markings/sec, 70 secs
lola: 1145756 markings, 2738488 edges, 14284 markings/sec, 75 secs
lola: 1217887 markings, 2898908 edges, 14426 markings/sec, 80 secs
lola: 1289733 markings, 3063415 edges, 14369 markings/sec, 85 secs
lola: 1360697 markings, 3250195 edges, 14193 markings/sec, 90 secs
lola: 1432315 markings, 3414291 edges, 14324 markings/sec, 95 secs
lola: 1502802 markings, 3597840 edges, 14097 markings/sec, 100 secs
lola: 1573504 markings, 3760085 edges, 14140 markings/sec, 105 secs
lola: 1644514 markings, 3949242 edges, 14202 markings/sec, 110 secs
lola: 1716120 markings, 4111009 edges, 14321 markings/sec, 115 secs
lola: 1786788 markings, 4299529 edges, 14134 markings/sec, 120 secs
lola: 1858038 markings, 4462840 edges, 14250 markings/sec, 125 secs
lola: 1928113 markings, 4647946 edges, 14015 markings/sec, 130 secs
lola: 1998636 markings, 4809902 edges, 14105 markings/sec, 135 secs
lola: 2069243 markings, 4995980 edges, 14121 markings/sec, 140 secs
lola: 2138989 markings, 5156354 edges, 13949 markings/sec, 145 secs
lola: 2208963 markings, 5343533 edges, 13995 markings/sec, 150 secs
lola: 2279125 markings, 5533468 edges, 14032 markings/sec, 155 secs
lola: 2349402 markings, 5692551 edges, 14055 markings/sec, 160 secs
lola: 2419679 markings, 5880358 edges, 14055 markings/sec, 165 secs
lola: 2490750 markings, 6043272 edges, 14214 markings/sec, 170 secs
lola: 2560281 markings, 6229692 edges, 13906 markings/sec, 175 secs
lola: 2630232 markings, 6417952 edges, 13990 markings/sec, 180 secs
lola: 2700786 markings, 6578732 edges, 14111 markings/sec, 185 secs
lola: 2767997 markings, 6761225 edges, 13442 markings/sec, 190 secs
lola: 2837404 markings, 6948993 edges, 13881 markings/sec, 195 secs
lola: 2907172 markings, 7138039 edges, 13954 markings/sec, 200 secs
lola: 2977623 markings, 7299716 edges, 14090 markings/sec, 205 secs
lola: 3047029 markings, 7488228 edges, 13881 markings/sec, 210 secs
lola: 3110585 markings, 7660690 edges, 12711 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(p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 92212 markings, 145325 edges, 18442 markings/sec, 0 secs
lola: 182691 markings, 304067 edges, 18096 markings/sec, 5 secs
lola: 272393 markings, 461822 edges, 17940 markings/sec, 10 secs
lola: 361619 markings, 621703 edges, 17845 markings/sec, 15 secs
lola: 451426 markings, 780959 edges, 17961 markings/sec, 20 secs
lola: 540317 markings, 940417 edges, 17778 markings/sec, 25 secs
lola: 628565 markings, 1099064 edges, 17650 markings/sec, 30 secs
lola: 717955 markings, 1259162 edges, 17878 markings/sec, 35 secs
lola: 806357 markings, 1418007 edges, 17680 markings/sec, 40 secs
lola: 894422 markings, 1576460 edges, 17613 markings/sec, 45 secs
lola: 982893 markings, 1736764 edges, 17694 markings/sec, 50 secs
lola: 1070262 markings, 1897040 edges, 17474 markings/sec, 55 secs
lola: 1157743 markings, 2071669 edges, 17496 markings/sec, 60 secs
lola: 1245299 markings, 2230037 edges, 17511 markings/sec, 65 secs
lola: 1332805 markings, 2389937 edges, 17501 markings/sec, 70 secs
lola: 1418983 markings, 2564298 edges, 17236 markings/sec, 75 secs
lola: 1504755 markings, 2739517 edges, 17154 markings/sec, 80 secs
lola: 1591336 markings, 2898829 edges, 17316 markings/sec, 85 secs
lola: 1676403 markings, 3073160 edges, 17013 markings/sec, 90 secs
lola: 1761142 markings, 3261334 edges, 16948 markings/sec, 95 secs
lola: 1845228 markings, 3434453 edges, 16817 markings/sec, 100 secs
lola: 1930268 markings, 3622993 edges, 17008 markings/sec, 105 secs
lola: 2016223 markings, 3809789 edges, 17191 markings/sec, 110 secs
lola: 2102087 markings, 3990733 edges, 17173 markings/sec, 115 secs
lola: 2176001 markings, 4323507 edges, 14783 markings/sec, 120 secs
lola: 2253282 markings, 4486256 edges, 15456 markings/sec, 125 secs
lola: 2330148 markings, 4644182 edges, 15373 markings/sec, 130 secs
lola: 2406212 markings, 4807034 edges, 15213 markings/sec, 135 secs
lola: 2481820 markings, 4968200 edges, 15122 markings/sec, 140 secs
lola: 2557147 markings, 5128310 edges, 15065 markings/sec, 145 secs
lola: 2631690 markings, 5294153 edges, 14909 markings/sec, 150 secs
lola: 2704845 markings, 5462610 edges, 14631 markings/sec, 155 secs
lola: 2776779 markings, 5638702 edges, 14387 markings/sec, 160 secs
lola: 2850199 markings, 5867333 edges, 14684 markings/sec, 165 secs
lola: 2940195 markings, 6008557 edges, 17999 markings/sec, 170 secs
lola: 3028628 markings, 6164719 edges, 17687 markings/sec, 175 secs
lola: 3116661 markings, 6320390 edges, 17607 markings/sec, 180 secs
lola: 3203789 markings, 6476285 edges, 17426 markings/sec, 185 secs
lola: 3291780 markings, 6633260 edges, 17598 markings/sec, 190 secs
lola: 3378903 markings, 6790509 edges, 17425 markings/sec, 195 secs
lola: 3465195 markings, 6945365 edges, 17258 markings/sec, 200 secs
lola: 3552820 markings, 7103229 edges, 17525 markings/sec, 205 secs
lola: 3639732 markings, 7258871 edges, 17382 markings/sec, 210 secs
lola: 3725664 markings, 7414629 edges, 17186 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(p253)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 80764 markings, 151880 edges, 16153 markings/sec, 0 secs
lola: 157553 markings, 305297 edges, 15358 markings/sec, 5 secs
lola: 224536 markings, 442485 edges, 13397 markings/sec, 10 secs
lola: 298619 markings, 590839 edges, 14817 markings/sec, 15 secs
lola: 365471 markings, 728057 edges, 13370 markings/sec, 20 secs
lola: 440892 markings, 878921 edges, 15084 markings/sec, 25 secs
lola: 509127 markings, 1020695 edges, 13647 markings/sec, 30 secs
lola: 587128 markings, 1174778 edges, 15600 markings/sec, 35 secs
lola: 652546 markings, 1314554 edges, 13084 markings/sec, 40 secs
lola: 728321 markings, 1460859 edges, 15155 markings/sec, 45 secs
lola: 792329 markings, 1598132 edges, 12802 markings/sec, 50 secs
lola: 866858 markings, 1741757 edges, 14906 markings/sec, 55 secs
lola: 931680 markings, 1880620 edges, 12964 markings/sec, 60 secs
lola: 1007107 markings, 2025967 edges, 15085 markings/sec, 65 secs
lola: 1070761 markings, 2162373 edges, 12731 markings/sec, 70 secs
lola: 1148333 markings, 2312129 edges, 15514 markings/sec, 75 secs
lola: 1210006 markings, 2444217 edges, 12335 markings/sec, 80 secs
lola: 1277983 markings, 2575866 edges, 13595 markings/sec, 85 secs
lola: 1343868 markings, 2716715 edges, 13177 markings/sec, 90 secs
lola: 1407813 markings, 2849428 edges, 12789 markings/sec, 95 secs
lola: 1473988 markings, 2992385 edges, 13235 markings/sec, 100 secs
lola: 1537754 markings, 3120579 edges, 12753 markings/sec, 105 secs
lola: 1604342 markings, 3258389 edges, 13318 markings/sec, 110 secs
lola: 1666751 markings, 3386724 edges, 12482 markings/sec, 115 secs
lola: 1731416 markings, 3517724 edges, 12933 markings/sec, 120 secs
lola: 1794900 markings, 3648808 edges, 12697 markings/sec, 125 secs
lola: 1858300 markings, 3780209 edges, 12680 markings/sec, 130 secs
lola: 1923596 markings, 3915188 edges, 13059 markings/sec, 135 secs
lola: 1985044 markings, 4042725 edges, 12290 markings/sec, 140 secs
lola: 2050996 markings, 4178870 edges, 13190 markings/sec, 145 secs
lola: 2114251 markings, 4309870 edges, 12651 markings/sec, 150 secs
lola: 2177346 markings, 4440497 edges, 12619 markings/sec, 155 secs
lola: 2240234 markings, 4572955 edges, 12578 markings/sec, 160 secs
lola: 2303638 markings, 4705899 edges, 12681 markings/sec, 165 secs
lola: 2369517 markings, 4845194 edges, 13176 markings/sec, 170 secs
lola: 2434010 markings, 4978377 edges, 12899 markings/sec, 175 secs
lola: 2501147 markings, 5124065 edges, 13427 markings/sec, 180 secs
lola: 2567168 markings, 5265898 edges, 13204 markings/sec, 185 secs
lola: 2630546 markings, 5399346 edges, 12676 markings/sec, 190 secs
lola: 2695295 markings, 5539288 edges, 12950 markings/sec, 195 secs
lola: 2755479 markings, 5672690 edges, 12037 markings/sec, 200 secs
lola: 2821635 markings, 5819949 edges, 13231 markings/sec, 205 secs
lola: 2885520 markings, 5968853 edges, 12777 markings/sec, 210 secs
lola: 2948122 markings, 6126532 edges, 12520 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(p5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 73010 markings, 157470 edges, 14602 markings/sec, 0 secs
lola: 145280 markings, 320462 edges, 14454 markings/sec, 5 secs
lola: 217610 markings, 512225 edges, 14466 markings/sec, 10 secs
lola: 289518 markings, 669899 edges, 14382 markings/sec, 15 secs
lola: 361253 markings, 834124 edges, 14347 markings/sec, 20 secs
lola: 432565 markings, 1021623 edges, 14262 markings/sec, 25 secs
lola: 503850 markings, 1178180 edges, 14257 markings/sec, 30 secs
lola: 573330 markings, 1338009 edges, 13896 markings/sec, 35 secs
lola: 644311 markings, 1524367 edges, 14196 markings/sec, 40 secs
lola: 716239 markings, 1684875 edges, 14386 markings/sec, 45 secs
lola: 788213 markings, 1878242 edges, 14395 markings/sec, 50 secs
lola: 860147 markings, 2035946 edges, 14387 markings/sec, 55 secs
lola: 932127 markings, 2200765 edges, 14396 markings/sec, 60 secs
lola: 1003173 markings, 2387703 edges, 14209 markings/sec, 65 secs
lola: 1074144 markings, 2546594 edges, 14194 markings/sec, 70 secs
lola: 1145649 markings, 2738258 edges, 14301 markings/sec, 75 secs
lola: 1217605 markings, 2898430 edges, 14391 markings/sec, 80 secs
lola: 1290101 markings, 3064173 edges, 14499 markings/sec, 85 secs
lola: 1360634 markings, 3250055 edges, 14107 markings/sec, 90 secs
lola: 1432456 markings, 3414513 edges, 14364 markings/sec, 95 secs
lola: 1502989 markings, 3600221 edges, 14107 markings/sec, 100 secs
lola: 1574244 markings, 3761582 edges, 14251 markings/sec, 105 secs
lola: 1645288 markings, 3950816 edges, 14209 markings/sec, 110 secs
lola: 1717321 markings, 4115650 edges, 14407 markings/sec, 115 secs
lola: 1788561 markings, 4303033 edges, 14248 markings/sec, 120 secs
lola: 1860426 markings, 4467565 edges, 14373 markings/sec, 125 secs
lola: 1931355 markings, 4654282 edges, 14186 markings/sec, 130 secs
lola: 2003052 markings, 4818392 edges, 14339 markings/sec, 135 secs
lola: 2074086 markings, 5007602 edges, 14207 markings/sec, 140 secs
lola: 2146258 markings, 5172809 edges, 14434 markings/sec, 145 secs
lola: 2216601 markings, 5360729 edges, 14069 markings/sec, 150 secs
lola: 2287614 markings, 5552114 edges, 14203 markings/sec, 155 secs
lola: 2358965 markings, 5713437 edges, 14270 markings/sec, 160 secs
lola: 2429871 markings, 5902343 edges, 14181 markings/sec, 165 secs
lola: 2501926 markings, 6069587 edges, 14411 markings/sec, 170 secs
lola: 2572269 markings, 6257419 edges, 14069 markings/sec, 175 secs
lola: 2642782 markings, 6445644 edges, 14103 markings/sec, 180 secs
lola: 2714322 markings, 6611468 edges, 14308 markings/sec, 185 secs
lola: 2785089 markings, 6800596 edges, 14153 markings/sec, 190 secs
lola: 2855345 markings, 6990619 edges, 14051 markings/sec, 195 secs
lola: 2925832 markings, 7178806 edges, 14097 markings/sec, 200 secs
lola: 2997084 markings, 7350103 edges, 14250 markings/sec, 205 secs
lola: 3067841 markings, 7535426 edges, 14151 markings/sec, 210 secs
lola: 3138342 markings, 7723656 edges, 14100 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(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 85006 markings, 161400 edges, 17001 markings/sec, 0 secs
lola: 166377 markings, 315946 edges, 16274 markings/sec, 5 secs
lola: 249696 markings, 479555 edges, 16664 markings/sec, 10 secs
lola: 331093 markings, 633686 edges, 16279 markings/sec, 15 secs
lola: 413338 markings, 794104 edges, 16449 markings/sec, 20 secs
lola: 495487 markings, 945820 edges, 16430 markings/sec, 25 secs
lola: 573800 markings, 1097353 edges, 15663 markings/sec, 30 secs
lola: 651807 markings, 1241239 edges, 15601 markings/sec, 35 secs
lola: 729418 markings, 1389463 edges, 15522 markings/sec, 40 secs
lola: 806483 markings, 1538160 edges, 15413 markings/sec, 45 secs
lola: 883819 markings, 1680418 edges, 15467 markings/sec, 50 secs
lola: 962063 markings, 1830688 edges, 15649 markings/sec, 55 secs
lola: 1039892 markings, 1980746 edges, 15566 markings/sec, 60 secs
lola: 1117889 markings, 2124609 edges, 15599 markings/sec, 65 secs
lola: 1195592 markings, 2273480 edges, 15541 markings/sec, 70 secs
lola: 1273211 markings, 2423155 edges, 15524 markings/sec, 75 secs
lola: 1350841 markings, 2572865 edges, 15526 markings/sec, 80 secs
lola: 1428522 markings, 2717144 edges, 15536 markings/sec, 85 secs
lola: 1505788 markings, 2865730 edges, 15453 markings/sec, 90 secs
lola: 1583304 markings, 3015234 edges, 15503 markings/sec, 95 secs
lola: 1660725 markings, 3164592 edges, 15484 markings/sec, 100 secs
lola: 1737839 markings, 3313401 edges, 15423 markings/sec, 105 secs
lola: 1814917 markings, 3462144 edges, 15416 markings/sec, 110 secs
lola: 1891932 markings, 3611286 edges, 15403 markings/sec, 115 secs
lola: 1968795 markings, 3759663 edges, 15373 markings/sec, 120 secs
lola: 2045590 markings, 3908416 edges, 15359 markings/sec, 125 secs
lola: 2122423 markings, 4057227 edges, 15367 markings/sec, 130 secs
lola: 2198922 markings, 4205937 edges, 15300 markings/sec, 135 secs
lola: 2275262 markings, 4359421 edges, 15268 markings/sec, 140 secs
lola: 2351623 markings, 4507880 edges, 15272 markings/sec, 145 secs
lola: 2427475 markings, 4660989 edges, 15170 markings/sec, 150 secs
lola: 2502366 markings, 4805553 edges, 14978 markings/sec, 155 secs
lola: 2575331 markings, 4952153 edges, 14593 markings/sec, 160 secs
lola: 2648151 markings, 5098073 edges, 14564 markings/sec, 165 secs
lola: 2721783 markings, 5245426 edges, 14726 markings/sec, 170 secs
lola: 2795343 markings, 5392654 edges, 14712 markings/sec, 175 secs
lola: 2868475 markings, 5539144 edges, 14626 markings/sec, 180 secs
lola: 2941317 markings, 5684756 edges, 14568 markings/sec, 185 secs
lola: 3012119 markings, 5899656 edges, 14160 markings/sec, 190 secs
lola: 3085616 markings, 6060366 edges, 14699 markings/sec, 195 secs
lola: 3158848 markings, 6229826 edges, 14646 markings/sec, 200 secs
lola: 3231414 markings, 6417435 edges, 14513 markings/sec, 205 secs
lola: 3303621 markings, 6578054 edges, 14441 markings/sec, 210 secs
lola: 3376370 markings, 6744266 edges, 14550 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(p251)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 64244 markings, 173084 edges, 12849 markings/sec, 0 secs
lola: 127833 markings, 344946 edges, 12718 markings/sec, 5 secs
lola: 190983 markings, 517290 edges, 12630 markings/sec, 10 secs
lola: 255214 markings, 692625 edges, 12846 markings/sec, 15 secs
lola: 319172 markings, 865717 edges, 12792 markings/sec, 20 secs
lola: 381275 markings, 1044201 edges, 12421 markings/sec, 25 secs
lola: 444376 markings, 1220456 edges, 12620 markings/sec, 30 secs
lola: 508465 markings, 1396664 edges, 12818 markings/sec, 35 secs
lola: 570147 markings, 1575030 edges, 12336 markings/sec, 40 secs
lola: 633380 markings, 1754143 edges, 12647 markings/sec, 45 secs
lola: 695942 markings, 1933437 edges, 12512 markings/sec, 50 secs
lola: 758138 markings, 2116895 edges, 12439 markings/sec, 55 secs
lola: 820480 markings, 2299874 edges, 12468 markings/sec, 60 secs
lola: 883116 markings, 2483688 edges, 12527 markings/sec, 65 secs
lola: 944312 markings, 2672811 edges, 12239 markings/sec, 70 secs
lola: 1005710 markings, 2864037 edges, 12280 markings/sec, 75 secs
lola: 1066427 markings, 3058782 edges, 12143 markings/sec, 80 secs
lola: 1126718 markings, 3264509 edges, 12058 markings/sec, 85 secs
lola: 1188224 markings, 3503969 edges, 12301 markings/sec, 90 secs
lola: 1257667 markings, 3721335 edges, 13889 markings/sec, 95 secs
lola: 1328901 markings, 3883764 edges, 14247 markings/sec, 100 secs
lola: 1401957 markings, 4052237 edges, 14611 markings/sec, 105 secs
lola: 1470181 markings, 4216354 edges, 13645 markings/sec, 110 secs
lola: 1545087 markings, 4381618 edges, 14981 markings/sec, 115 secs
lola: 1612015 markings, 4551446 edges, 13386 markings/sec, 120 secs
lola: 1688205 markings, 4715588 edges, 15238 markings/sec, 125 secs
lola: 1755804 markings, 4888055 edges, 13520 markings/sec, 130 secs
lola: 1826149 markings, 5048460 edges, 14069 markings/sec, 135 secs
lola: 1899075 markings, 5215076 edges, 14585 markings/sec, 140 secs
lola: 1966415 markings, 5384388 edges, 13468 markings/sec, 145 secs
lola: 2039817 markings, 5550447 edges, 14680 markings/sec, 150 secs
lola: 2110650 markings, 5718547 edges, 14167 markings/sec, 155 secs
lola: 2178252 markings, 5887364 edges, 13520 markings/sec, 160 secs
lola: 2250546 markings, 6052252 edges, 14459 markings/sec, 165 secs
lola: 2322054 markings, 6220087 edges, 14302 markings/sec, 170 secs
lola: 2390490 markings, 6393923 edges, 13687 markings/sec, 175 secs
lola: 2458626 markings, 6560486 edges, 13627 markings/sec, 180 secs
lola: 2530300 markings, 6726331 edges, 14335 markings/sec, 185 secs
lola: 2601782 markings, 6897960 edges, 14296 markings/sec, 190 secs
lola: 2671352 markings, 7065754 edges, 13914 markings/sec, 195 secs
lola: 2739286 markings, 7236104 edges, 13587 markings/sec, 200 secs
lola: 2808237 markings, 7408834 edges, 13790 markings/sec, 205 secs
lola: 2877506 markings, 7580524 edges, 13854 markings/sec, 210 secs
lola: 2946610 markings, 7752201 edges, 13821 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(p226)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 82893 markings, 156156 edges, 16579 markings/sec, 0 secs
lola: 164896 markings, 317256 edges, 16401 markings/sec, 5 secs
lola: 237583 markings, 470622 edges, 14537 markings/sec, 10 secs
lola: 315835 markings, 627119 edges, 15650 markings/sec, 15 secs
lola: 390842 markings, 775848 edges, 15001 markings/sec, 20 secs
lola: 465623 markings, 926866 edges, 14956 markings/sec, 25 secs
lola: 544028 markings, 1081249 edges, 15681 markings/sec, 30 secs
lola: 615698 markings, 1226225 edges, 14334 markings/sec, 35 secs
lola: 696589 markings, 1386066 edges, 16178 markings/sec, 40 secs
lola: 767495 markings, 1536410 edges, 14181 markings/sec, 45 secs
lola: 845465 markings, 1691598 edges, 15594 markings/sec, 50 secs
lola: 919283 markings, 1838905 edges, 14764 markings/sec, 55 secs
lola: 993556 markings, 1989074 edges, 14855 markings/sec, 60 secs
lola: 1070796 markings, 2141077 edges, 15448 markings/sec, 65 secs
lola: 1142502 markings, 2286002 edges, 14341 markings/sec, 70 secs
lola: 1213360 markings, 2426704 edges, 14172 markings/sec, 75 secs
lola: 1283918 markings, 2576191 edges, 14112 markings/sec, 80 secs
lola: 1353128 markings, 2721289 edges, 13842 markings/sec, 85 secs
lola: 1423733 markings, 2867543 edges, 14121 markings/sec, 90 secs
lola: 1493074 markings, 3009265 edges, 13868 markings/sec, 95 secs
lola: 1562246 markings, 3150584 edges, 13834 markings/sec, 100 secs
lola: 1631501 markings, 3291991 edges, 13851 markings/sec, 105 secs
lola: 1700474 markings, 3432730 edges, 13795 markings/sec, 110 secs
lola: 1769505 markings, 3573568 edges, 13806 markings/sec, 115 secs
lola: 1838180 markings, 3713657 edges, 13735 markings/sec, 120 secs
lola: 1907059 markings, 3854986 edges, 13776 markings/sec, 125 secs
lola: 1975547 markings, 3998656 edges, 13698 markings/sec, 130 secs
lola: 2044451 markings, 4139766 edges, 13781 markings/sec, 135 secs
lola: 2113126 markings, 4282159 edges, 13735 markings/sec, 140 secs
lola: 2181432 markings, 4421795 edges, 13661 markings/sec, 145 secs
lola: 2250550 markings, 4568970 edges, 13824 markings/sec, 150 secs
lola: 2322104 markings, 4717673 edges, 14311 markings/sec, 155 secs
lola: 2395076 markings, 4871856 edges, 14594 markings/sec, 160 secs
lola: 2465261 markings, 5022100 edges, 14037 markings/sec, 165 secs
lola: 2534504 markings, 5169738 edges, 13849 markings/sec, 170 secs
lola: 2603027 markings, 5319329 edges, 13705 markings/sec, 175 secs
lola: 2669955 markings, 5468634 edges, 13386 markings/sec, 180 secs
lola: 2738894 markings, 5624653 edges, 13788 markings/sec, 185 secs
lola: 2805987 markings, 5796455 edges, 13419 markings/sec, 190 secs
lola: 2884818 markings, 5965691 edges, 15766 markings/sec, 195 secs
lola: 2960132 markings, 6114443 edges, 15063 markings/sec, 200 secs
lola: 3037685 markings, 6265482 edges, 15511 markings/sec, 205 secs
lola: 3110352 markings, 6419832 edges, 14533 markings/sec, 210 secs
lola: 3185333 markings, 6581356 edges, 14996 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(p254)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 75072 markings, 181507 edges, 15014 markings/sec, 0 secs
lola: 149831 markings, 339914 edges, 14952 markings/sec, 5 secs
lola: 222341 markings, 490491 edges, 14502 markings/sec, 10 secs
lola: 294444 markings, 644579 edges, 14421 markings/sec, 15 secs
lola: 364767 markings, 783409 edges, 14065 markings/sec, 20 secs
lola: 435215 markings, 929482 edges, 14090 markings/sec, 25 secs
lola: 505024 markings, 1066497 edges, 13962 markings/sec, 30 secs
lola: 575083 markings, 1211727 edges, 14012 markings/sec, 35 secs
lola: 622857 markings, 1304797 edges, 9555 markings/sec, 40 secs
lola: 661455 markings, 1381539 edges, 7720 markings/sec, 45 secs
lola: 700325 markings, 1465682 edges, 7774 markings/sec, 50 secs
lola: 738857 markings, 1540118 edges, 7706 markings/sec, 55 secs
lola: 777515 markings, 1616521 edges, 7732 markings/sec, 60 secs
lola: 816089 markings, 1693236 edges, 7715 markings/sec, 65 secs
lola: 854750 markings, 1776099 edges, 7732 markings/sec, 70 secs
lola: 893185 markings, 1850358 edges, 7687 markings/sec, 75 secs
lola: 931849 markings, 1927658 edges, 7733 markings/sec, 80 secs
lola: 970262 markings, 2010277 edges, 7683 markings/sec, 85 secs
lola: 1008925 markings, 2086073 edges, 7733 markings/sec, 90 secs
lola: 1047466 markings, 2161822 edges, 7708 markings/sec, 95 secs
lola: 1085937 markings, 2238350 edges, 7694 markings/sec, 100 secs
lola: 1124503 markings, 2320967 edges, 7713 markings/sec, 105 secs
lola: 1162761 markings, 2395402 edges, 7652 markings/sec, 110 secs
lola: 1201222 markings, 2471883 edges, 7692 markings/sec, 115 secs
lola: 1239686 markings, 2547912 edges, 7693 markings/sec, 120 secs
lola: 1277993 markings, 2630163 edges, 7661 markings/sec, 125 secs
lola: 1316121 markings, 2704164 edges, 7626 markings/sec, 130 secs
lola: 1354131 markings, 2779891 edges, 7602 markings/sec, 135 secs
lola: 1391875 markings, 2861296 edges, 7549 markings/sec, 140 secs
lola: 1427542 markings, 2930675 edges, 7133 markings/sec, 145 secs
lola: 1463219 markings, 3000683 edges, 7135 markings/sec, 150 secs
lola: 1499335 markings, 3071901 edges, 7223 markings/sec, 155 secs
lola: 1534798 markings, 3150378 edges, 7093 markings/sec, 160 secs
lola: 1570202 markings, 3224779 edges, 7081 markings/sec, 165 secs
lola: 1606488 markings, 3300970 edges, 7257 markings/sec, 170 secs
lola: 1641876 markings, 3380070 edges, 7078 markings/sec, 175 secs
lola: 1677779 markings, 3450910 edges, 7181 markings/sec, 180 secs
lola: 1713121 markings, 3527094 edges, 7068 markings/sec, 185 secs
lola: 1748897 markings, 3597686 edges, 7155 markings/sec, 190 secs
lola: 1784201 markings, 3673789 edges, 7061 markings/sec, 195 secs
lola: 1819810 markings, 3744545 edges, 7122 markings/sec, 200 secs
lola: 1855119 markings, 3820203 edges, 7062 markings/sec, 205 secs
lola: 1890595 markings, 3890721 edges, 7095 markings/sec, 210 secs
lola: 1925925 markings, 3966880 edges, 7066 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(p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 77339 markings, 173701 edges, 15468 markings/sec, 0 secs
lola: 153728 markings, 350180 edges, 15278 markings/sec, 5 secs
lola: 229286 markings, 524881 edges, 15112 markings/sec, 10 secs
lola: 304349 markings, 704818 edges, 15013 markings/sec, 15 secs
lola: 379148 markings, 886379 edges, 14960 markings/sec, 20 secs
lola: 454469 markings, 1067561 edges, 15064 markings/sec, 25 secs
lola: 528891 markings, 1252635 edges, 14884 markings/sec, 30 secs
lola: 602193 markings, 1440978 edges, 14660 markings/sec, 35 secs
lola: 675032 markings, 1632750 edges, 14568 markings/sec, 40 secs
lola: 746592 markings, 1830941 edges, 14312 markings/sec, 45 secs
lola: 817681 markings, 2047418 edges, 14218 markings/sec, 50 secs
lola: 890048 markings, 2303747 edges, 14473 markings/sec, 55 secs
lola: 969561 markings, 2468741 edges, 15903 markings/sec, 60 secs
lola: 1048532 markings, 2633636 edges, 15794 markings/sec, 65 secs
lola: 1124168 markings, 2798747 edges, 15127 markings/sec, 70 secs
lola: 1202599 markings, 2962033 edges, 15686 markings/sec, 75 secs
lola: 1282647 markings, 3127978 edges, 16010 markings/sec, 80 secs
lola: 1359126 markings, 3297293 edges, 15296 markings/sec, 85 secs
lola: 1434573 markings, 3459192 edges, 15089 markings/sec, 90 secs
lola: 1512252 markings, 3624351 edges, 15536 markings/sec, 95 secs
lola: 1591386 markings, 3792803 edges, 15827 markings/sec, 100 secs
lola: 1668857 markings, 3957435 edges, 15494 markings/sec, 105 secs
lola: 1745053 markings, 4125669 edges, 15239 markings/sec, 110 secs
lola: 1821726 markings, 4295734 edges, 15335 markings/sec, 115 secs
lola: 1898224 markings, 4464733 edges, 15300 markings/sec, 120 secs
lola: 1974226 markings, 4632817 edges, 15200 markings/sec, 125 secs
lola: 2050946 markings, 4801499 edges, 15344 markings/sec, 130 secs
lola: 2127686 markings, 4969548 edges, 15348 markings/sec, 135 secs
lola: 2203887 markings, 5136755 edges, 15240 markings/sec, 140 secs
lola: 2280689 markings, 5305806 edges, 15360 markings/sec, 145 secs
lola: 2355369 markings, 5476691 edges, 14936 markings/sec, 150 secs
lola: 2430315 markings, 5648907 edges, 14989 markings/sec, 155 secs
lola: 2506471 markings, 5821674 edges, 15231 markings/sec, 160 secs
lola: 2580574 markings, 5994833 edges, 14821 markings/sec, 165 secs
lola: 2655633 markings, 6168756 edges, 15012 markings/sec, 170 secs
lola: 2728835 markings, 6347058 edges, 14640 markings/sec, 175 secs
lola: 2802153 markings, 6525146 edges, 14664 markings/sec, 180 secs
lola: 2875631 markings, 6702660 edges, 14696 markings/sec, 185 secs
lola: 2947807 markings, 6887551 edges, 14435 markings/sec, 190 secs
lola: 3021285 markings, 7080906 edges, 14696 markings/sec, 195 secs
lola: 3096134 markings, 7291950 edges, 14970 markings/sec, 200 secs
lola: 3168582 markings, 7551565 edges, 14490 markings/sec, 205 secs
lola: 3226278 markings, 7748634 edges, 11539 markings/sec, 210 secs
lola: 3283090 markings, 7924847 edges, 11362 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(p297)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 84068 markings, 160173 edges, 16814 markings/sec, 0 secs
lola: 166811 markings, 322161 edges, 16549 markings/sec, 5 secs
lola: 243068 markings, 475920 edges, 15251 markings/sec, 10 secs
lola: 319707 markings, 628340 edges, 15328 markings/sec, 15 secs
lola: 400449 markings, 785252 edges, 16148 markings/sec, 20 secs
lola: 473733 markings, 938190 edges, 14657 markings/sec, 25 secs
lola: 553783 markings, 1096823 edges, 16010 markings/sec, 30 secs
lola: 630723 markings, 1247174 edges, 15388 markings/sec, 35 secs
lola: 705484 markings, 1395864 edges, 14952 markings/sec, 40 secs
lola: 786797 markings, 1554616 edges, 16263 markings/sec, 45 secs
lola: 859458 markings, 1706704 edges, 14532 markings/sec, 50 secs
lola: 936994 markings, 1861382 edges, 15507 markings/sec, 55 secs
lola: 1014772 markings, 2011861 edges, 15556 markings/sec, 60 secs
lola: 1088284 markings, 2158419 edges, 14702 markings/sec, 65 secs
lola: 1161283 markings, 2301535 edges, 14600 markings/sec, 70 secs
lola: 1232555 markings, 2457582 edges, 14254 markings/sec, 75 secs
lola: 1290182 markings, 2573588 edges, 11525 markings/sec, 80 secs
lola: 1362314 markings, 2721003 edges, 14426 markings/sec, 85 secs
lola: 1433764 markings, 2865181 edges, 14290 markings/sec, 90 secs
lola: 1504928 markings, 3008808 edges, 14233 markings/sec, 95 secs
lola: 1575852 markings, 3155115 edges, 14185 markings/sec, 100 secs
lola: 1647113 markings, 3299895 edges, 14252 markings/sec, 105 secs
lola: 1718288 markings, 3443651 edges, 14235 markings/sec, 110 secs
lola: 1789082 markings, 3589139 edges, 14159 markings/sec, 115 secs
lola: 1860001 markings, 3731558 edges, 14184 markings/sec, 120 secs
lola: 1930275 markings, 3877732 edges, 14055 markings/sec, 125 secs
lola: 2001098 markings, 4023531 edges, 14165 markings/sec, 130 secs
lola: 2071758 markings, 4165917 edges, 14132 markings/sec, 135 secs
lola: 2142560 markings, 4315445 edges, 14160 markings/sec, 140 secs
lola: 2215058 markings, 4465440 edges, 14500 markings/sec, 145 secs
lola: 2289876 markings, 4624760 edges, 14964 markings/sec, 150 secs
lola: 2361040 markings, 4773999 edges, 14233 markings/sec, 155 secs
lola: 2431798 markings, 4925288 edges, 14152 markings/sec, 160 secs
lola: 2501277 markings, 5077055 edges, 13896 markings/sec, 165 secs
lola: 2572913 markings, 5237679 edges, 14327 markings/sec, 170 secs
lola: 2643699 markings, 5409009 edges, 14157 markings/sec, 175 secs
lola: 2719577 markings, 5588822 edges, 15176 markings/sec, 180 secs
lola: 2798853 markings, 5742979 edges, 15855 markings/sec, 185 secs
lola: 2876679 markings, 5897428 edges, 15565 markings/sec, 190 secs
lola: 2954771 markings, 6059417 edges, 15618 markings/sec, 195 secs
lola: 3032175 markings, 6226085 edges, 15481 markings/sec, 200 secs
lola: 3108404 markings, 6395118 edges, 15246 markings/sec, 205 secs
lola: 3183128 markings, 6572452 edges, 14945 markings/sec, 210 secs
lola: 3256095 markings, 6802819 edges, 14593 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(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 98947 markings, 177705 edges, 19789 markings/sec, 0 secs
lola: 196777 markings, 357581 edges, 19566 markings/sec, 5 secs
lola: 296024 markings, 540199 edges, 19849 markings/sec, 10 secs
lola: 392360 markings, 725131 edges, 19267 markings/sec, 15 secs
lola: 487852 markings, 918113 edges, 19098 markings/sec, 20 secs
lola: 583535 markings, 1134434 edges, 19137 markings/sec, 25 secs
lola: 665405 markings, 1369298 edges, 16374 markings/sec, 30 secs
lola: 739607 markings, 1596069 edges, 14840 markings/sec, 35 secs
lola: 824522 markings, 1837987 edges, 16983 markings/sec, 40 secs
lola: 932533 markings, 2024370 edges, 21602 markings/sec, 45 secs
lola: 1038528 markings, 2213663 edges, 21199 markings/sec, 50 secs
lola: 1138280 markings, 2399912 edges, 19950 markings/sec, 55 secs
lola: 1243822 markings, 2587347 edges, 21108 markings/sec, 60 secs
lola: 1349375 markings, 2777200 edges, 21111 markings/sec, 65 secs
lola: 1451549 markings, 2963524 edges, 20435 markings/sec, 70 secs
lola: 1556141 markings, 3153919 edges, 20918 markings/sec, 75 secs
lola: 1657471 markings, 3343251 edges, 20266 markings/sec, 80 secs
lola: 1759286 markings, 3533271 edges, 20363 markings/sec, 85 secs
lola: 1862294 markings, 3723924 edges, 20602 markings/sec, 90 secs
lola: 1963842 markings, 3915694 edges, 20310 markings/sec, 95 secs
lola: 2065221 markings, 4110564 edges, 20276 markings/sec, 100 secs
lola: 2165942 markings, 4305209 edges, 20144 markings/sec, 105 secs
lola: 2265704 markings, 4503809 edges, 19952 markings/sec, 110 secs
lola: 2364993 markings, 4704557 edges, 19858 markings/sec, 115 secs
lola: 2464156 markings, 4914869 edges, 19833 markings/sec, 120 secs
lola: 2566751 markings, 5162996 edges, 20519 markings/sec, 125 secs
lola: 2653373 markings, 5383704 edges, 17324 markings/sec, 130 secs
lola: 2736600 markings, 5577958 edges, 16645 markings/sec, 135 secs
lola: 2819206 markings, 5769205 edges, 16521 markings/sec, 140 secs
lola: 2902789 markings, 5961790 edges, 16717 markings/sec, 145 secs
lola: 2985207 markings, 6153560 edges, 16484 markings/sec, 150 secs
lola: 3068761 markings, 6353867 edges, 16711 markings/sec, 155 secs
lola: 3152404 markings, 6553734 edges, 16729 markings/sec, 160 secs
lola: 3235051 markings, 6756526 edges, 16529 markings/sec, 165 secs
lola: 3315849 markings, 6966476 edges, 16160 markings/sec, 170 secs
lola: 3406113 markings, 7213480 edges, 18053 markings/sec, 175 secs
lola: 3505252 markings, 7394615 edges, 19828 markings/sec, 180 secs
lola: 3606018 markings, 7578039 edges, 20153 markings/sec, 185 secs
lola: 3704943 markings, 7764857 edges, 19785 markings/sec, 190 secs
lola: 3803356 markings, 7955026 edges, 19683 markings/sec, 195 secs
lola: 3899542 markings, 8153355 edges, 19237 markings/sec, 200 secs
lola: 3993971 markings, 8394164 edges, 18886 markings/sec, 205 secs
lola: 4074816 markings, 8616323 edges, 16169 markings/sec, 210 secs
lola: 4147821 markings, 8855751 edges, 14601 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(p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p195 + p194 + p193 + p192 + p191 + p190 + p189 + p188 + p187)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 74260 markings, 159905 edges, 14852 markings/sec, 0 secs
lola: 147628 markings, 327267 edges, 14674 markings/sec, 5 secs
lola: 221004 markings, 521060 edges, 14675 markings/sec, 10 secs
lola: 294247 markings, 681407 edges, 14649 markings/sec, 15 secs
lola: 367022 markings, 847611 edges, 14555 markings/sec, 20 secs
lola: 439417 markings, 1037216 edges, 14479 markings/sec, 25 secs
lola: 511757 markings, 1195691 edges, 14468 markings/sec, 30 secs
lola: 584133 markings, 1363560 edges, 14475 markings/sec, 35 secs
lola: 656672 markings, 1551071 edges, 14508 markings/sec, 40 secs
lola: 729431 markings, 1715062 edges, 14552 markings/sec, 45 secs
lola: 801985 markings, 1907233 edges, 14511 markings/sec, 50 secs
lola: 874309 markings, 2068064 edges, 14465 markings/sec, 55 secs
lola: 940298 markings, 2219975 edges, 13198 markings/sec, 60 secs
lola: 1006449 markings, 2394044 edges, 13230 markings/sec, 65 secs
lola: 1078274 markings, 2556202 edges, 14365 markings/sec, 70 secs
lola: 1150617 markings, 2747932 edges, 14469 markings/sec, 75 secs
lola: 1223655 markings, 2912386 edges, 14608 markings/sec, 80 secs
lola: 1296150 markings, 3106848 edges, 14499 markings/sec, 85 secs
lola: 1368825 markings, 3268285 edges, 14535 markings/sec, 90 secs
lola: 1441554 markings, 3434489 edges, 14546 markings/sec, 95 secs
lola: 1512784 markings, 3621827 edges, 14246 markings/sec, 100 secs
lola: 1584758 markings, 3786547 edges, 14395 markings/sec, 105 secs
lola: 1656698 markings, 3975250 edges, 14388 markings/sec, 110 secs
lola: 1729638 markings, 4141816 edges, 14588 markings/sec, 115 secs
lola: 1801155 markings, 4331917 edges, 14303 markings/sec, 120 secs
lola: 1873628 markings, 4497643 edges, 14495 markings/sec, 125 secs
lola: 1944629 markings, 4684553 edges, 14200 markings/sec, 130 secs
lola: 2016683 markings, 4849457 edges, 14411 markings/sec, 135 secs
lola: 2088126 markings, 5039497 edges, 14289 markings/sec, 140 secs
lola: 2159902 markings, 5232477 edges, 14355 markings/sec, 145 secs
lola: 2231828 markings, 5397089 edges, 14385 markings/sec, 150 secs
lola: 2303137 markings, 5586784 edges, 14262 markings/sec, 155 secs
lola: 2374705 markings, 5750819 edges, 14314 markings/sec, 160 secs
lola: 2445738 markings, 5940058 edges, 14207 markings/sec, 165 secs
lola: 2517149 markings, 6132251 edges, 14282 markings/sec, 170 secs
lola: 2589179 markings, 6297088 edges, 14406 markings/sec, 175 secs
lola: 2659519 markings, 6484985 edges, 14068 markings/sec, 180 secs
lola: 2730302 markings, 6676035 edges, 14157 markings/sec, 185 secs
lola: 2802762 markings, 6841749 edges, 14492 markings/sec, 190 secs
lola: 2873332 markings, 7032351 edges, 14114 markings/sec, 195 secs
lola: 2943585 markings, 7220104 edges, 14051 markings/sec, 200 secs
lola: 3014072 markings, 7410612 edges, 14097 markings/sec, 205 secs
lola: 3084565 markings, 7601129 edges, 14099 markings/sec, 210 secs
lola: 3155293 markings, 7792045 edges, 14146 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(p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 77270 markings, 173594 edges, 15454 markings/sec, 0 secs
lola: 153526 markings, 349091 edges, 15251 markings/sec, 5 secs
lola: 229019 markings, 524051 edges, 15099 markings/sec, 10 secs
lola: 303831 markings, 703525 edges, 14962 markings/sec, 15 secs
lola: 378288 markings, 882849 edges, 14891 markings/sec, 20 secs
lola: 453335 markings, 1064773 edges, 15009 markings/sec, 25 secs
lola: 527289 markings, 1246730 edges, 14791 markings/sec, 30 secs
lola: 600274 markings, 1434935 edges, 14597 markings/sec, 35 secs
lola: 672774 markings, 1625670 edges, 14500 markings/sec, 40 secs
lola: 743895 markings, 1822667 edges, 14224 markings/sec, 45 secs
lola: 814528 markings, 2036323 edges, 14127 markings/sec, 50 secs
lola: 886628 markings, 2296584 edges, 14420 markings/sec, 55 secs
lola: 966481 markings, 2461732 edges, 15971 markings/sec, 60 secs
lola: 1044573 markings, 2626362 edges, 15618 markings/sec, 65 secs
lola: 1120011 markings, 2789505 edges, 15088 markings/sec, 70 secs
lola: 1198658 markings, 2952764 edges, 15729 markings/sec, 75 secs
lola: 1277500 markings, 3117691 edges, 15768 markings/sec, 80 secs
lola: 1353440 markings, 3287074 edges, 15188 markings/sec, 85 secs
lola: 1429338 markings, 3448060 edges, 15180 markings/sec, 90 secs
lola: 1507269 markings, 3612023 edges, 15586 markings/sec, 95 secs
lola: 1586069 markings, 3780910 edges, 15760 markings/sec, 100 secs
lola: 1662202 markings, 3944375 edges, 15227 markings/sec, 105 secs
lola: 1737883 markings, 4112672 edges, 15136 markings/sec, 110 secs
lola: 1813921 markings, 4281640 edges, 15208 markings/sec, 115 secs
lola: 1890128 markings, 4445567 edges, 15241 markings/sec, 120 secs
lola: 1965654 markings, 4610062 edges, 15105 markings/sec, 125 secs
lola: 2041885 markings, 4777512 edges, 15246 markings/sec, 130 secs
lola: 2117925 markings, 4947167 edges, 15208 markings/sec, 135 secs
lola: 2193357 markings, 5117377 edges, 15086 markings/sec, 140 secs
lola: 2269758 markings, 5284485 edges, 15280 markings/sec, 145 secs
lola: 2345695 markings, 5452362 edges, 15187 markings/sec, 150 secs
lola: 2419617 markings, 5622479 edges, 14784 markings/sec, 155 secs
lola: 2494357 markings, 5798766 edges, 14948 markings/sec, 160 secs
lola: 2569961 markings, 5968538 edges, 15121 markings/sec, 165 secs
lola: 2642865 markings, 6143476 edges, 14581 markings/sec, 170 secs
lola: 2716068 markings, 6315638 edges, 14641 markings/sec, 175 secs
lola: 2789254 markings, 6491308 edges, 14637 markings/sec, 180 secs
lola: 2862078 markings, 6670875 edges, 14565 markings/sec, 185 secs
lola: 2935338 markings, 6852844 edges, 14652 markings/sec, 190 secs
lola: 3008034 markings, 7044573 edges, 14539 markings/sec, 195 secs
lola: 3082835 markings, 7253323 edges, 14960 markings/sec, 200 secs
lola: 3156144 markings, 7491887 edges, 14662 markings/sec, 205 secs
lola: 3215306 markings, 7713634 edges, 11832 markings/sec, 210 secs
lola: 3271996 markings, 7894068 edges, 11338 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 64221 markings, 172966 edges, 12844 markings/sec, 0 secs
lola: 127527 markings, 344223 edges, 12661 markings/sec, 5 secs
lola: 190855 markings, 516916 edges, 12666 markings/sec, 10 secs
lola: 254884 markings, 691853 edges, 12806 markings/sec, 15 secs
lola: 318262 markings, 863314 edges, 12676 markings/sec, 20 secs
lola: 380368 markings, 1041238 edges, 12421 markings/sec, 25 secs
lola: 442986 markings, 1216031 edges, 12524 markings/sec, 30 secs
lola: 506744 markings, 1391365 edges, 12752 markings/sec, 35 secs
lola: 568195 markings, 1570091 edges, 12290 markings/sec, 40 secs
lola: 631601 markings, 1748663 edges, 12681 markings/sec, 45 secs
lola: 693093 markings, 1926549 edges, 12298 markings/sec, 50 secs
lola: 754771 markings, 2107128 edges, 12336 markings/sec, 55 secs
lola: 816407 markings, 2287491 edges, 12327 markings/sec, 60 secs
lola: 878123 markings, 2470371 edges, 12343 markings/sec, 65 secs
lola: 939021 markings, 2658354 edges, 12180 markings/sec, 70 secs
lola: 1000016 markings, 2846366 edges, 12199 markings/sec, 75 secs
lola: 1060405 markings, 3039018 edges, 12078 markings/sec, 80 secs
lola: 1119819 markings, 3240372 edges, 11883 markings/sec, 85 secs
lola: 1181238 markings, 3472774 edges, 12284 markings/sec, 90 secs
lola: 1247807 markings, 3702360 edges, 13314 markings/sec, 95 secs
lola: 1320712 markings, 3861441 edges, 14581 markings/sec, 100 secs
lola: 1390666 markings, 4030363 edges, 13991 markings/sec, 105 secs
lola: 1460049 markings, 4189588 edges, 13877 markings/sec, 110 secs
lola: 1532163 markings, 4355964 edges, 14423 markings/sec, 115 secs
lola: 1600271 markings, 4519452 edges, 13622 markings/sec, 120 secs
lola: 1674392 markings, 4683599 edges, 14824 markings/sec, 125 secs
lola: 1741230 markings, 4853354 edges, 13368 markings/sec, 130 secs
lola: 1813943 markings, 5015116 edges, 14543 markings/sec, 135 secs
lola: 1882490 markings, 5182360 edges, 13709 markings/sec, 140 secs
lola: 1951005 markings, 5344655 edges, 13703 markings/sec, 145 secs
lola: 2024915 markings, 5509562 edges, 14782 markings/sec, 150 secs
lola: 2092264 markings, 5682049 edges, 13470 markings/sec, 155 secs
lola: 2156601 markings, 5833515 edges, 12867 markings/sec, 160 secs
lola: 2225471 markings, 5988040 edges, 13774 markings/sec, 165 secs
lola: 2280963 markings, 6131929 edges, 11098 markings/sec, 170 secs
lola: 2344571 markings, 6279007 edges, 12722 markings/sec, 175 secs
lola: 2405518 markings, 6423921 edges, 12189 markings/sec, 180 secs
lola: 2467504 markings, 6580524 edges, 12397 markings/sec, 185 secs
lola: 2534586 markings, 6739021 edges, 13416 markings/sec, 190 secs
lola: 2604747 markings, 6905922 edges, 14032 markings/sec, 195 secs
lola: 2674994 markings, 7073788 edges, 14049 markings/sec, 200 secs
lola: 2742844 markings, 7243276 edges, 13570 markings/sec, 205 secs
lola: 2811227 markings, 7414598 edges, 13677 markings/sec, 210 secs
lola: 2879709 markings, 7584891 edges, 13696 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165 + p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 64120 markings, 172717 edges, 12824 markings/sec, 0 secs
lola: 127831 markings, 344944 edges, 12742 markings/sec, 5 secs
lola: 191091 markings, 517562 edges, 12652 markings/sec, 10 secs
lola: 254951 markings, 691972 edges, 12772 markings/sec, 15 secs
lola: 318770 markings, 864663 edges, 12764 markings/sec, 20 secs
lola: 380670 markings, 1042295 edges, 12380 markings/sec, 25 secs
lola: 443559 markings, 1217754 edges, 12578 markings/sec, 30 secs
lola: 507258 markings, 1392926 edges, 12740 markings/sec, 35 secs
lola: 568854 markings, 1571619 edges, 12319 markings/sec, 40 secs
lola: 631989 markings, 1749856 edges, 12627 markings/sec, 45 secs
lola: 693900 markings, 1928478 edges, 12382 markings/sec, 50 secs
lola: 755423 markings, 2110462 edges, 12305 markings/sec, 55 secs
lola: 817364 markings, 2290968 edges, 12388 markings/sec, 60 secs
lola: 879485 markings, 2473863 edges, 12424 markings/sec, 65 secs
lola: 940483 markings, 2661996 edges, 12200 markings/sec, 70 secs
lola: 1001420 markings, 2851943 edges, 12187 markings/sec, 75 secs
lola: 1061952 markings, 3043218 edges, 12106 markings/sec, 80 secs
lola: 1121404 markings, 3246493 edges, 11890 markings/sec, 85 secs
lola: 1182706 markings, 3480316 edges, 12260 markings/sec, 90 secs
lola: 1246457 markings, 3704228 edges, 12750 markings/sec, 95 secs
lola: 1316324 markings, 3859415 edges, 13973 markings/sec, 100 secs
lola: 1380148 markings, 4026935 edges, 12765 markings/sec, 105 secs
lola: 1449078 markings, 4182003 edges, 13786 markings/sec, 110 secs
lola: 1513256 markings, 4348538 edges, 12836 markings/sec, 115 secs
lola: 1581432 markings, 4503523 edges, 13635 markings/sec, 120 secs
lola: 1646787 markings, 4669862 edges, 13071 markings/sec, 125 secs
lola: 1711968 markings, 4830179 edges, 13036 markings/sec, 130 secs
lola: 1780499 markings, 4990304 edges, 13706 markings/sec, 135 secs
lola: 1843748 markings, 5154769 edges, 12650 markings/sec, 140 secs
lola: 1913817 markings, 5311165 edges, 14014 markings/sec, 145 secs
lola: 1976058 markings, 5478998 edges, 12448 markings/sec, 150 secs
lola: 2043293 markings, 5638614 edges, 13447 markings/sec, 155 secs
lola: 2110017 markings, 5801925 edges, 13345 markings/sec, 160 secs
lola: 2173507 markings, 5967424 edges, 12698 markings/sec, 165 secs
lola: 2242223 markings, 6126676 edges, 13743 markings/sec, 170 secs
lola: 2306406 markings, 6291433 edges, 12837 markings/sec, 175 secs
lola: 2370301 markings, 6456476 edges, 12779 markings/sec, 180 secs
lola: 2436966 markings, 6617128 edges, 13333 markings/sec, 185 secs
lola: 2503584 markings, 6779131 edges, 13324 markings/sec, 190 secs
lola: 2566844 markings, 6948726 edges, 12652 markings/sec, 195 secs
lola: 2631361 markings, 7112240 edges, 12903 markings/sec, 200 secs
lola: 2696750 markings, 7275574 edges, 13078 markings/sec, 205 secs
lola: 2763926 markings, 7439273 edges, 13435 markings/sec, 210 secs
lola: 2828682 markings, 7603443 edges, 12951 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p196 + p197 + p198 + p199 + p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1228 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: 74650 markings, 160601 edges, 14930 markings/sec, 0 secs
lola: 148018 markings, 328064 edges, 14674 markings/sec, 5 secs
lola: 221395 markings, 521800 edges, 14675 markings/sec, 10 secs
lola: 294618 markings, 682034 edges, 14645 markings/sec, 15 secs
lola: 367281 markings, 848208 edges, 14533 markings/sec, 20 secs
lola: 439564 markings, 1037468 edges, 14457 markings/sec, 25 secs
lola: 511772 markings, 1195728 edges, 14442 markings/sec, 30 secs
lola: 584002 markings, 1363336 edges, 14446 markings/sec, 35 secs
lola: 656393 markings, 1550605 edges, 14478 markings/sec, 40 secs
lola: 729080 markings, 1714329 edges, 14537 markings/sec, 45 secs
lola: 801440 markings, 1906208 edges, 14472 markings/sec, 50 secs
lola: 873772 markings, 2067003 edges, 14466 markings/sec, 55 secs
lola: 946343 markings, 2232862 edges, 14514 markings/sec, 60 secs
lola: 1017730 markings, 2418147 edges, 14277 markings/sec, 65 secs
lola: 1089128 markings, 2581755 edges, 14280 markings/sec, 70 secs
lola: 1160890 markings, 2772488 edges, 14352 markings/sec, 75 secs
lola: 1233217 markings, 2935596 edges, 14465 markings/sec, 80 secs
lola: 1305291 markings, 3126789 edges, 14415 markings/sec, 85 secs
lola: 1377266 markings, 3286911 edges, 14395 markings/sec, 90 secs
lola: 1449523 markings, 3454603 edges, 14451 markings/sec, 95 secs
lola: 1520215 markings, 3638452 edges, 14138 markings/sec, 100 secs
lola: 1591565 markings, 3802025 edges, 14270 markings/sec, 105 secs
lola: 1663007 markings, 3989719 edges, 14288 markings/sec, 110 secs
lola: 1735383 markings, 4155201 edges, 14475 markings/sec, 115 secs
lola: 1806241 markings, 4344119 edges, 14172 markings/sec, 120 secs
lola: 1878222 markings, 4508834 edges, 14396 markings/sec, 125 secs
lola: 1948662 markings, 4694616 edges, 14088 markings/sec, 130 secs
lola: 2020213 markings, 4858600 edges, 14310 markings/sec, 135 secs
lola: 2091032 markings, 5047381 edges, 14164 markings/sec, 140 secs
lola: 2162397 markings, 5237261 edges, 14273 markings/sec, 145 secs
lola: 2233892 markings, 5401030 edges, 14299 markings/sec, 150 secs
lola: 2304591 markings, 5589671 edges, 14140 markings/sec, 155 secs
lola: 2375750 markings, 5752823 edges, 14232 markings/sec, 160 secs
lola: 2446250 markings, 5941040 edges, 14100 markings/sec, 165 secs
lola: 2517113 markings, 6132209 edges, 14173 markings/sec, 170 secs
lola: 2588585 markings, 6295930 edges, 14294 markings/sec, 175 secs
lola: 2658475 markings, 6482941 edges, 13978 markings/sec, 180 secs
lola: 2728757 markings, 6670766 edges, 14056 markings/sec, 185 secs
lola: 2800593 markings, 6837584 edges, 14367 markings/sec, 190 secs
lola: 2870764 markings, 7025081 edges, 14034 markings/sec, 195 secs
lola: 2940496 markings, 7214167 edges, 13946 markings/sec, 200 secs
lola: 3010529 markings, 7401444 edges, 14007 markings/sec, 205 secs
lola: 3080308 markings, 7590478 edges, 13956 markings/sec, 210 secs
lola: 3151690 markings, 7754128 edges, 14276 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496268269233

--------------------
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_PolyORBNT-COL-S05J20"
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_PolyORBNT-COL-S05J20.tgz
mv S_PolyORBNT-COL-S05J20 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_PolyORBNT-COL-S05J20, 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 r138-smll-149479231400002"
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 ;