fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r178-csrt-149580961700281
Last Updated
June 27, 2017

About the Execution of LoLA for DLCround-PT-07b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3465.210 3539509.00 3550502.00 270.10 ? 1 1 1 ? ? ? ? ? ? 1 ? ? ? ? ? normal

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 DLCround-PT-07b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961700281
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496539863657


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


checking for too many tokens
===========================================================================================
DLCround-PT-07b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-07b @ 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: 6774/65536 symbol table entries, 1176 collisions
lola: preprocessing...
lola: finding significant places
lola: 2703 places, 4071 transitions, 2571 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 5634 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-07b-UpperBounds.task
lola: MAX(p1665) : MAX(p1387) : MAX(p1874) : MAX(p2019) : MAX(p1438) : MAX(p1080) : MAX(p799) : MAX(p587) : MAX(p178) : MAX(p1765) : MAX(p2171) : MAX(p1143) : MAX(p1640) : MAX(p131) : MAX(p607) : MAX(p2085)
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(p1665)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 245540 markings, 284279 edges, 49108 markings/sec, 0 secs
lola: 502308 markings, 581626 edges, 51354 markings/sec, 5 secs
lola: 757799 markings, 877473 edges, 51098 markings/sec, 10 secs
lola: 1020096 markings, 1181167 edges, 52459 markings/sec, 15 secs
lola: 1280510 markings, 1482527 edges, 52083 markings/sec, 20 secs
lola: 1544015 markings, 1787474 edges, 52701 markings/sec, 25 secs
lola: 1792669 markings, 2075198 edges, 49731 markings/sec, 30 secs
lola: 2049586 markings, 2372459 edges, 51383 markings/sec, 35 secs
lola: 2309711 markings, 2673517 edges, 52025 markings/sec, 40 secs
lola: 2576568 markings, 2982354 edges, 53371 markings/sec, 45 secs
lola: 2840397 markings, 3287744 edges, 52766 markings/sec, 50 secs
lola: 3092643 markings, 3579654 edges, 50449 markings/sec, 55 secs
lola: 3345311 markings, 3872125 edges, 50534 markings/sec, 60 secs
lola: 3599564 markings, 4166329 edges, 50851 markings/sec, 65 secs
lola: 3858245 markings, 4465654 edges, 51736 markings/sec, 70 secs
lola: 4121670 markings, 4770646 edges, 52685 markings/sec, 75 secs
lola: 4378372 markings, 5067908 edges, 51340 markings/sec, 80 secs
lola: 4631745 markings, 5361090 edges, 50675 markings/sec, 85 secs
lola: 4887690 markings, 5657301 edges, 51189 markings/sec, 90 secs
lola: 5139197 markings, 5948437 edges, 50301 markings/sec, 95 secs
lola: 5387953 markings, 6236351 edges, 49751 markings/sec, 100 secs
lola: 5647257 markings, 6536535 edges, 51861 markings/sec, 105 secs
lola: 5906224 markings, 6836321 edges, 51793 markings/sec, 110 secs
lola: 6167739 markings, 7139006 edges, 52303 markings/sec, 115 secs
lola: 6431305 markings, 7444122 edges, 52713 markings/sec, 120 secs
lola: 6689788 markings, 7743358 edges, 51697 markings/sec, 125 secs
lola: 6958847 markings, 8054776 edges, 53812 markings/sec, 130 secs
lola: 7220296 markings, 8357431 edges, 52290 markings/sec, 135 secs
lola: 7480421 markings, 8658517 edges, 52025 markings/sec, 140 secs
lola: 7740357 markings, 8959437 edges, 51987 markings/sec, 145 secs
lola: 7999385 markings, 9259284 edges, 51806 markings/sec, 150 secs
lola: 8257886 markings, 9558462 edges, 51700 markings/sec, 155 secs
lola: 8521755 markings, 9863949 edges, 52774 markings/sec, 160 secs
lola: 8786190 markings, 10169974 edges, 52887 markings/sec, 165 secs
lola: 9051175 markings, 10476743 edges, 52997 markings/sec, 170 secs
lola: 9313352 markings, 10780256 edges, 52435 markings/sec, 175 secs
lola: 9576243 markings, 11084484 edges, 52578 markings/sec, 180 secs
lola: 9836098 markings, 11385349 edges, 51971 markings/sec, 185 secs
lola: 10100400 markings, 11691233 edges, 52860 markings/sec, 190 secs
lola: 10360563 markings, 11992384 edges, 52033 markings/sec, 195 secs
lola: 10623219 markings, 12296415 edges, 52531 markings/sec, 200 secs
lola: 10880794 markings, 12594528 edges, 51515 markings/sec, 205 secs
lola: 11129397 markings, 12882210 edges, 49721 markings/sec, 210 secs
lola: 11370291 markings, 13160920 edges, 48179 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(p1387)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1874)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 221599 markings, 263165 edges, 44320 markings/sec, 0 secs
lola: 436674 markings, 518752 edges, 43015 markings/sec, 5 secs
lola: 656349 markings, 779986 edges, 43935 markings/sec, 10 secs
lola: 876839 markings, 1041533 edges, 44098 markings/sec, 15 secs
lola: 1103087 markings, 1310002 edges, 45250 markings/sec, 20 secs
lola: 1333148 markings, 1582541 edges, 46012 markings/sec, 25 secs
lola: 1565267 markings, 1858618 edges, 46424 markings/sec, 30 secs
lola: 1790721 markings, 2125750 edges, 45091 markings/sec, 35 secs
lola: 2018500 markings, 2396136 edges, 45556 markings/sec, 40 secs
lola: 2249751 markings, 2671057 edges, 46250 markings/sec, 45 secs
lola: 2477915 markings, 2942271 edges, 45633 markings/sec, 50 secs
lola: 2706989 markings, 3214339 edges, 45815 markings/sec, 55 secs
lola: 2930754 markings, 3479945 edges, 44753 markings/sec, 60 secs
lola: 3156351 markings, 3747716 edges, 45119 markings/sec, 65 secs
lola: 3372780 markings, 4004626 edges, 43286 markings/sec, 70 secs
lola: 3586128 markings, 4258101 edges, 42670 markings/sec, 75 secs
lola: 3817156 markings, 4532282 edges, 46206 markings/sec, 80 secs
lola: 4043460 markings, 4800747 edges, 45261 markings/sec, 85 secs
lola: 4261308 markings, 5059452 edges, 43570 markings/sec, 90 secs
lola: 4468390 markings, 5305815 edges, 41416 markings/sec, 95 secs
lola: 4678442 markings, 5555376 edges, 42010 markings/sec, 100 secs
lola: 4885097 markings, 5800598 edges, 41331 markings/sec, 105 secs
lola: 5092121 markings, 6046282 edges, 41405 markings/sec, 110 secs
lola: 5297098 markings, 6289644 edges, 40995 markings/sec, 115 secs
lola: 5504872 markings, 6536624 edges, 41555 markings/sec, 120 secs
lola: 5722021 markings, 6794662 edges, 43430 markings/sec, 125 secs
lola: 5935274 markings, 7047990 edges, 42651 markings/sec, 130 secs
lola: 6128311 markings, 7276736 edges, 38607 markings/sec, 135 secs
lola: 6348928 markings, 7538848 edges, 44123 markings/sec, 140 secs
lola: 6569847 markings, 7801461 edges, 44184 markings/sec, 145 secs
lola: 6788662 markings, 8060312 edges, 43763 markings/sec, 150 secs
lola: 6999816 markings, 8311329 edges, 42231 markings/sec, 155 secs
lola: 7200129 markings, 8548908 edges, 40063 markings/sec, 160 secs
lola: 7400444 markings, 8786408 edges, 40063 markings/sec, 165 secs
lola: 7603209 markings, 9027244 edges, 40553 markings/sec, 170 secs
lola: 7807778 markings, 9270686 edges, 40914 markings/sec, 175 secs
lola: 8018407 markings, 9520777 edges, 42126 markings/sec, 180 secs
lola: 8222927 markings, 9763699 edges, 40904 markings/sec, 185 secs
lola: 8431577 markings, 10011201 edges, 41730 markings/sec, 190 secs
lola: 8633916 markings, 10251310 edges, 40468 markings/sec, 195 secs
lola: 8839181 markings, 10495346 edges, 41053 markings/sec, 200 secs
lola: 9048467 markings, 10744145 edges, 41857 markings/sec, 205 secs
lola: 9270531 markings, 11007769 edges, 44413 markings/sec, 210 secs
lola: 9484433 markings, 11261402 edges, 42780 markings/sec, 215 secs
lola: 9683613 markings, 11497749 edges, 39836 markings/sec, 220 secs
lola: 9885982 markings, 11737747 edges, 40474 markings/sec, 225 secs
lola: 10085138 markings, 11974160 edges, 39831 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2019)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 161354 markings, 194310 edges, 32271 markings/sec, 0 secs
lola: 333465 markings, 396840 edges, 34422 markings/sec, 5 secs
lola: 506145 markings, 599919 edges, 34536 markings/sec, 10 secs
lola: 679027 markings, 802096 edges, 34576 markings/sec, 15 secs
lola: 852037 markings, 1007556 edges, 34602 markings/sec, 20 secs
lola: 1025208 markings, 1211280 edges, 34634 markings/sec, 25 secs
lola: 1195912 markings, 1412939 edges, 34141 markings/sec, 30 secs
lola: 1361227 markings, 1607271 edges, 33063 markings/sec, 35 secs
lola: 1532526 markings, 1808791 edges, 34260 markings/sec, 40 secs
lola: 1692315 markings, 1996628 edges, 31958 markings/sec, 45 secs
lola: 1860555 markings, 2194604 edges, 33648 markings/sec, 50 secs
lola: 2032457 markings, 2396485 edges, 34380 markings/sec, 55 secs
lola: 2206149 markings, 2602262 edges, 34738 markings/sec, 60 secs
lola: 2379163 markings, 2805726 edges, 34603 markings/sec, 65 secs
lola: 2554495 markings, 3012123 edges, 35066 markings/sec, 70 secs
lola: 2714365 markings, 3200514 edges, 31974 markings/sec, 75 secs
lola: 2875023 markings, 3389258 edges, 32132 markings/sec, 80 secs
lola: 3034157 markings, 3577351 edges, 31827 markings/sec, 85 secs
lola: 3193368 markings, 3763202 edges, 31842 markings/sec, 90 secs
lola: 3353300 markings, 3951727 edges, 31986 markings/sec, 95 secs
lola: 3513195 markings, 4138769 edges, 31979 markings/sec, 100 secs
lola: 3672868 markings, 4328608 edges, 31935 markings/sec, 105 secs
lola: 3832789 markings, 4516629 edges, 31984 markings/sec, 110 secs
lola: 3992341 markings, 4704961 edges, 31910 markings/sec, 115 secs
lola: 4151679 markings, 4892637 edges, 31868 markings/sec, 120 secs
lola: 4311742 markings, 5080710 edges, 32013 markings/sec, 125 secs
lola: 4470154 markings, 5267673 edges, 31682 markings/sec, 130 secs
lola: 4631018 markings, 5456197 edges, 32173 markings/sec, 135 secs
lola: 4795205 markings, 5649538 edges, 32837 markings/sec, 140 secs
lola: 4960105 markings, 5843425 edges, 32980 markings/sec, 145 secs
lola: 5122795 markings, 6035005 edges, 32538 markings/sec, 150 secs
lola: 5280932 markings, 6223573 edges, 31627 markings/sec, 155 secs
lola: 5444411 markings, 6415196 edges, 32696 markings/sec, 160 secs
lola: 5609598 markings, 6610184 edges, 33037 markings/sec, 165 secs
lola: 5776312 markings, 6805817 edges, 33343 markings/sec, 170 secs
lola: 5938750 markings, 6996042 edges, 32488 markings/sec, 175 secs
lola: 6102244 markings, 7190250 edges, 32699 markings/sec, 180 secs
lola: 6262780 markings, 7378991 edges, 32107 markings/sec, 185 secs
lola: 6424946 markings, 7570473 edges, 32433 markings/sec, 190 secs
lola: 6588541 markings, 7762758 edges, 32719 markings/sec, 195 secs
lola: 6754432 markings, 7958272 edges, 33178 markings/sec, 200 secs
lola: 6920077 markings, 8152874 edges, 33129 markings/sec, 205 secs
lola: 7090120 markings, 8352850 edges, 34009 markings/sec, 210 secs
lola: 7259222 markings, 8551459 edges, 33820 markings/sec, 215 secs
lola: 7431316 markings, 8755043 edges, 34419 markings/sec, 220 secs
lola: 7594509 markings, 8947069 edges, 32639 markings/sec, 225 secs
lola: 7760419 markings, 9143081 edges, 33182 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1438)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1080)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 130387 markings, 142264 edges, 26077 markings/sec, 0 secs
lola: 258101 markings, 281920 edges, 25543 markings/sec, 5 secs
lola: 382638 markings, 418642 edges, 24907 markings/sec, 10 secs
lola: 505124 markings, 553857 edges, 24497 markings/sec, 15 secs
lola: 637590 markings, 699327 edges, 26493 markings/sec, 20 secs
lola: 766448 markings, 841417 edges, 25772 markings/sec, 25 secs
lola: 878651 markings, 965066 edges, 22441 markings/sec, 30 secs
lola: 998608 markings, 1097558 edges, 23991 markings/sec, 35 secs
lola: 1120211 markings, 1231635 edges, 24321 markings/sec, 40 secs
lola: 1242165 markings, 1364803 edges, 24391 markings/sec, 45 secs
lola: 1370879 markings, 1506880 edges, 25743 markings/sec, 50 secs
lola: 1501758 markings, 1650791 edges, 26176 markings/sec, 55 secs
lola: 1632629 markings, 1794313 edges, 26174 markings/sec, 60 secs
lola: 1762325 markings, 1937012 edges, 25939 markings/sec, 65 secs
lola: 1892085 markings, 2081132 edges, 25952 markings/sec, 70 secs
lola: 2016843 markings, 2218588 edges, 24952 markings/sec, 75 secs
lola: 2143570 markings, 2357605 edges, 25345 markings/sec, 80 secs
lola: 2274170 markings, 2500715 edges, 26120 markings/sec, 85 secs
lola: 2405961 markings, 2644986 edges, 26358 markings/sec, 90 secs
lola: 2540231 markings, 2793320 edges, 26854 markings/sec, 95 secs
lola: 2676565 markings, 2943365 edges, 27267 markings/sec, 100 secs
lola: 2808367 markings, 3089181 edges, 26360 markings/sec, 105 secs
lola: 2931773 markings, 3225155 edges, 24681 markings/sec, 110 secs
lola: 3054217 markings, 3361223 edges, 24489 markings/sec, 115 secs
lola: 3180824 markings, 3500827 edges, 25321 markings/sec, 120 secs
lola: 3313770 markings, 3648444 edges, 26589 markings/sec, 125 secs
lola: 3446329 markings, 3794106 edges, 26512 markings/sec, 130 secs
lola: 3577699 markings, 3938171 edges, 26274 markings/sec, 135 secs
lola: 3713337 markings, 4086724 edges, 27128 markings/sec, 140 secs
lola: 3846081 markings, 4232120 edges, 26549 markings/sec, 145 secs
lola: 3976610 markings, 4375331 edges, 26106 markings/sec, 150 secs
lola: 4108085 markings, 4520141 edges, 26295 markings/sec, 155 secs
lola: 4242559 markings, 4668618 edges, 26895 markings/sec, 160 secs
lola: 4376801 markings, 4815846 edges, 26848 markings/sec, 165 secs
lola: 4505733 markings, 4958001 edges, 25786 markings/sec, 170 secs
lola: 4632415 markings, 5096915 edges, 25336 markings/sec, 175 secs
lola: 4756507 markings, 5233225 edges, 24818 markings/sec, 180 secs
lola: 4878323 markings, 5368386 edges, 24363 markings/sec, 185 secs
lola: 5005403 markings, 5509433 edges, 25416 markings/sec, 190 secs
lola: 5129111 markings, 5646867 edges, 24742 markings/sec, 195 secs
lola: 5264334 markings, 5794966 edges, 27045 markings/sec, 200 secs
lola: 5389556 markings, 5932262 edges, 25044 markings/sec, 205 secs
lola: 5511399 markings, 6066104 edges, 24369 markings/sec, 210 secs
lola: 5626116 markings, 6193323 edges, 22943 markings/sec, 215 secs
lola: 5746142 markings, 6324916 edges, 24005 markings/sec, 220 secs
lola: 5870599 markings, 6462618 edges, 24891 markings/sec, 225 secs
lola: 5996356 markings, 6600321 edges, 25151 markings/sec, 230 secs
lola: 6120178 markings, 6735734 edges, 24764 markings/sec, 235 secs
lola: 6253300 markings, 6882582 edges, 26624 markings/sec, 240 secs
lola: 6387099 markings, 7028908 edges, 26760 markings/sec, 245 secs
lola: 6521906 markings, 7177003 edges, 26961 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p799)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 264255 markings, 296899 edges, 52851 markings/sec, 0 secs
lola: 525571 markings, 590302 edges, 52263 markings/sec, 5 secs
lola: 787247 markings, 884628 edges, 52335 markings/sec, 10 secs
lola: 1036511 markings, 1164653 edges, 49853 markings/sec, 15 secs
lola: 1293638 markings, 1452934 edges, 51425 markings/sec, 20 secs
lola: 1558396 markings, 1750326 edges, 52952 markings/sec, 25 secs
lola: 1818391 markings, 2042410 edges, 51999 markings/sec, 30 secs
lola: 2079099 markings, 2334845 edges, 52142 markings/sec, 35 secs
lola: 2342798 markings, 2630565 edges, 52740 markings/sec, 40 secs
lola: 2606405 markings, 2926595 edges, 52721 markings/sec, 45 secs
lola: 2873643 markings, 3226416 edges, 53448 markings/sec, 50 secs
lola: 3132162 markings, 3517140 edges, 51704 markings/sec, 55 secs
lola: 3395075 markings, 3813306 edges, 52583 markings/sec, 60 secs
lola: 3662029 markings, 4113686 edges, 53391 markings/sec, 65 secs
lola: 3930840 markings, 4416193 edges, 53762 markings/sec, 70 secs
lola: 4198653 markings, 4717896 edges, 53563 markings/sec, 75 secs
lola: 4458264 markings, 5011921 edges, 51922 markings/sec, 80 secs
lola: 4719299 markings, 5306300 edges, 52207 markings/sec, 85 secs
lola: 4990029 markings, 5613574 edges, 54146 markings/sec, 90 secs
lola: 5248886 markings, 5906068 edges, 51771 markings/sec, 95 secs
lola: 5521620 markings, 6215464 edges, 54547 markings/sec, 100 secs
lola: 5794495 markings, 6523727 edges, 54575 markings/sec, 105 secs
lola: 6064673 markings, 6829221 edges, 54036 markings/sec, 110 secs
lola: 6323499 markings, 7122154 edges, 51765 markings/sec, 115 secs
lola: 6575206 markings, 7406881 edges, 50341 markings/sec, 120 secs
lola: 6829478 markings, 7694076 edges, 50854 markings/sec, 125 secs
lola: 7077739 markings, 7975802 edges, 49652 markings/sec, 130 secs
lola: 7326318 markings, 8256384 edges, 49716 markings/sec, 135 secs
lola: 7580443 markings, 8543076 edges, 50825 markings/sec, 140 secs
lola: 7830099 markings, 8825527 edges, 49931 markings/sec, 145 secs
lola: 8069392 markings, 9095558 edges, 47859 markings/sec, 150 secs
lola: 8319823 markings, 9379017 edges, 50086 markings/sec, 155 secs
lola: 8575707 markings, 9669116 edges, 51177 markings/sec, 160 secs
lola: 8827028 markings, 9952918 edges, 50264 markings/sec, 165 secs
lola: 9082640 markings, 10242262 edges, 51122 markings/sec, 170 secs
lola: 9340837 markings, 10533603 edges, 51639 markings/sec, 175 secs
lola: 9603086 markings, 10830031 edges, 52450 markings/sec, 180 secs
lola: 9865790 markings, 11126926 edges, 52541 markings/sec, 185 secs
lola: 10139945 markings, 11436766 edges, 54831 markings/sec, 190 secs
lola: 10410784 markings, 11743322 edges, 54168 markings/sec, 195 secs
lola: 10673465 markings, 12041001 edges, 52536 markings/sec, 200 secs
lola: 10936825 markings, 12339840 edges, 52672 markings/sec, 205 secs
lola: 11197160 markings, 12633761 edges, 52067 markings/sec, 210 secs
lola: 11458922 markings, 12930998 edges, 52352 markings/sec, 215 secs
lola: 11715310 markings, 13220382 edges, 51278 markings/sec, 220 secs
lola: 11974317 markings, 13514460 edges, 51801 markings/sec, 225 secs
lola: 12223618 markings, 13796342 edges, 49860 markings/sec, 230 secs
lola: 12473336 markings, 14078709 edges, 49944 markings/sec, 235 secs
lola: 12720573 markings, 14358552 edges, 49447 markings/sec, 240 secs
lola: 12965240 markings, 14635200 edges, 48933 markings/sec, 245 secs
lola: 13218591 markings, 14922296 edges, 50670 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p587)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 212972 markings, 231960 edges, 42594 markings/sec, 0 secs
lola: 428984 markings, 467341 edges, 43202 markings/sec, 5 secs
lola: 645447 markings, 703292 edges, 43293 markings/sec, 10 secs
lola: 860601 markings, 938655 edges, 43031 markings/sec, 15 secs
lola: 1071256 markings, 1169278 edges, 42131 markings/sec, 20 secs
lola: 1275947 markings, 1392714 edges, 40938 markings/sec, 25 secs
lola: 1492232 markings, 1629449 edges, 43257 markings/sec, 30 secs
lola: 1712399 markings, 1870662 edges, 44033 markings/sec, 35 secs
lola: 1922510 markings, 2103671 edges, 42022 markings/sec, 40 secs
lola: 2130356 markings, 2332854 edges, 41569 markings/sec, 45 secs
lola: 2343715 markings, 2568252 edges, 42672 markings/sec, 50 secs
lola: 2550619 markings, 2795811 edges, 41381 markings/sec, 55 secs
lola: 2756032 markings, 3023177 edges, 41083 markings/sec, 60 secs
lola: 2965765 markings, 3254343 edges, 41947 markings/sec, 65 secs
lola: 3166768 markings, 3475041 edges, 40201 markings/sec, 70 secs
lola: 3376535 markings, 3706030 edges, 41953 markings/sec, 75 secs
lola: 3582392 markings, 3933869 edges, 41171 markings/sec, 80 secs
lola: 3789513 markings, 4162595 edges, 41424 markings/sec, 85 secs
lola: 3991079 markings, 4383506 edges, 40313 markings/sec, 90 secs
lola: 4194786 markings, 4607296 edges, 40741 markings/sec, 95 secs
lola: 4399548 markings, 4832815 edges, 40952 markings/sec, 100 secs
lola: 4601692 markings, 5055603 edges, 40429 markings/sec, 105 secs
lola: 4803278 markings, 5277712 edges, 40317 markings/sec, 110 secs
lola: 5007979 markings, 5502418 edges, 40940 markings/sec, 115 secs
lola: 5213696 markings, 5729240 edges, 41143 markings/sec, 120 secs
lola: 5418292 markings, 5955972 edges, 40919 markings/sec, 125 secs
lola: 5623848 markings, 6180497 edges, 41111 markings/sec, 130 secs
lola: 5830870 markings, 6407085 edges, 41404 markings/sec, 135 secs
lola: 6034705 markings, 6629907 edges, 40767 markings/sec, 140 secs
lola: 6240988 markings, 6857092 edges, 41257 markings/sec, 145 secs
lola: 6453802 markings, 7091055 edges, 42563 markings/sec, 150 secs
lola: 6660823 markings, 7318058 edges, 41404 markings/sec, 155 secs
lola: 6864926 markings, 7541853 edges, 40821 markings/sec, 160 secs
lola: 7065921 markings, 7761632 edges, 40199 markings/sec, 165 secs
lola: 7268878 markings, 7984133 edges, 40591 markings/sec, 170 secs
lola: 7486178 markings, 8221805 edges, 43460 markings/sec, 175 secs
lola: 7698439 markings, 8455272 edges, 42452 markings/sec, 180 secs
lola: 7910000 markings, 8688179 edges, 42312 markings/sec, 185 secs
lola: 8124160 markings, 8922790 edges, 42832 markings/sec, 190 secs
lola: 8337433 markings, 9156734 edges, 42655 markings/sec, 195 secs
lola: 8544192 markings, 9383722 edges, 41352 markings/sec, 200 secs
lola: 8750148 markings, 9610188 edges, 41191 markings/sec, 205 secs
lola: 8955394 markings, 9835240 edges, 41049 markings/sec, 210 secs
lola: 9159195 markings, 10059249 edges, 40760 markings/sec, 215 secs
lola: 9367415 markings, 10288874 edges, 41644 markings/sec, 220 secs
lola: 9564001 markings, 10504601 edges, 39317 markings/sec, 225 secs
lola: 9760501 markings, 10719901 edges, 39300 markings/sec, 230 secs
lola: 9966923 markings, 10946363 edges, 41284 markings/sec, 235 secs
lola: 10164187 markings, 11163240 edges, 39453 markings/sec, 240 secs
lola: 10361274 markings, 11380094 edges, 39417 markings/sec, 245 secs
lola: 10553619 markings, 11591363 edges, 38469 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p178)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 155497 markings, 188201 edges, 31099 markings/sec, 0 secs
lola: 315233 markings, 382579 edges, 31947 markings/sec, 5 secs
lola: 472405 markings, 573566 edges, 31434 markings/sec, 10 secs
lola: 625068 markings, 757974 edges, 30533 markings/sec, 15 secs
lola: 783970 markings, 952868 edges, 31780 markings/sec, 20 secs
lola: 954149 markings, 1160847 edges, 34036 markings/sec, 25 secs
lola: 1122237 markings, 1366257 edges, 33618 markings/sec, 30 secs
lola: 1282534 markings, 1560690 edges, 32059 markings/sec, 35 secs
lola: 1437685 markings, 1748052 edges, 31030 markings/sec, 40 secs
lola: 1608598 markings, 1956832 edges, 34183 markings/sec, 45 secs
lola: 1772905 markings, 2158361 edges, 32861 markings/sec, 50 secs
lola: 1935441 markings, 2357603 edges, 32507 markings/sec, 55 secs
lola: 2094196 markings, 2552491 edges, 31751 markings/sec, 60 secs
lola: 2257192 markings, 2751030 edges, 32599 markings/sec, 65 secs
lola: 2412828 markings, 2940165 edges, 31127 markings/sec, 70 secs
lola: 2576309 markings, 3138314 edges, 32696 markings/sec, 75 secs
lola: 2727406 markings, 3322033 edges, 30219 markings/sec, 80 secs
lola: 2891883 markings, 3524053 edges, 32895 markings/sec, 85 secs
lola: 3036548 markings, 3702275 edges, 28933 markings/sec, 90 secs
lola: 3194748 markings, 3895258 edges, 31640 markings/sec, 95 secs
lola: 3343309 markings, 4076841 edges, 29712 markings/sec, 100 secs
lola: 3484633 markings, 4250858 edges, 28265 markings/sec, 105 secs
lola: 3618311 markings, 4413965 edges, 26736 markings/sec, 110 secs
lola: 3777417 markings, 4607872 edges, 31821 markings/sec, 115 secs
lola: 3919943 markings, 4782152 edges, 28505 markings/sec, 120 secs
lola: 4050865 markings, 4941247 edges, 26184 markings/sec, 125 secs
lola: 4190556 markings, 5111785 edges, 27938 markings/sec, 130 secs
lola: 4329354 markings, 5282587 edges, 27760 markings/sec, 135 secs
lola: 4472506 markings, 5458559 edges, 28630 markings/sec, 140 secs
lola: 4622714 markings, 5642171 edges, 30042 markings/sec, 145 secs
lola: 4763272 markings, 5814007 edges, 28112 markings/sec, 150 secs
lola: 4904998 markings, 5988550 edges, 28345 markings/sec, 155 secs
lola: 5047571 markings, 6162410 edges, 28515 markings/sec, 160 secs
lola: 5208860 markings, 6359458 edges, 32258 markings/sec, 165 secs
lola: 5351257 markings, 6533003 edges, 28479 markings/sec, 170 secs
lola: 5507357 markings, 6722923 edges, 31220 markings/sec, 175 secs
lola: 5649816 markings, 6897629 edges, 28492 markings/sec, 180 secs
lola: 5799661 markings, 7080566 edges, 29969 markings/sec, 185 secs
lola: 5947812 markings, 7263912 edges, 29630 markings/sec, 190 secs
lola: 6093240 markings, 7442316 edges, 29086 markings/sec, 195 secs
lola: 6235136 markings, 7615075 edges, 28379 markings/sec, 200 secs
lola: 6384639 markings, 7800744 edges, 29901 markings/sec, 205 secs
lola: 6543683 markings, 7995633 edges, 31809 markings/sec, 210 secs
lola: 6696598 markings, 8183253 edges, 30583 markings/sec, 215 secs
lola: 6855483 markings, 8376355 edges, 31777 markings/sec, 220 secs
lola: 7015214 markings, 8570991 edges, 31946 markings/sec, 225 secs
lola: 7170645 markings, 8762171 edges, 31086 markings/sec, 230 secs
lola: 7312050 markings, 8935445 edges, 28281 markings/sec, 235 secs
lola: 7453803 markings, 9108910 edges, 28351 markings/sec, 240 secs
lola: 7606069 markings, 9294453 edges, 30453 markings/sec, 245 secs
lola: 7752438 markings, 9473329 edges, 29274 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1765)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 204435 markings, 231559 edges, 40887 markings/sec, 0 secs
lola: 405107 markings, 459373 edges, 40134 markings/sec, 5 secs
lola: 606439 markings, 687762 edges, 40266 markings/sec, 10 secs
lola: 799325 markings, 906939 edges, 38577 markings/sec, 15 secs
lola: 991720 markings, 1126172 edges, 38479 markings/sec, 20 secs
lola: 1181478 markings, 1341887 edges, 37952 markings/sec, 25 secs
lola: 1384959 markings, 1572609 edges, 40696 markings/sec, 30 secs
lola: 1585598 markings, 1801003 edges, 40128 markings/sec, 35 secs
lola: 1780041 markings, 2022016 edges, 38889 markings/sec, 40 secs
lola: 1974321 markings, 2242163 edges, 38856 markings/sec, 45 secs
lola: 2163647 markings, 2457006 edges, 37865 markings/sec, 50 secs
lola: 2341130 markings, 2658788 edges, 35497 markings/sec, 55 secs
lola: 2524077 markings, 2866716 edges, 36589 markings/sec, 60 secs
lola: 2719562 markings, 3088898 edges, 39097 markings/sec, 65 secs
lola: 2914521 markings, 3310493 edges, 38992 markings/sec, 70 secs
lola: 3109987 markings, 3532928 edges, 39093 markings/sec, 75 secs
lola: 3305759 markings, 3756071 edges, 39154 markings/sec, 80 secs
lola: 3498233 markings, 3974875 edges, 38495 markings/sec, 85 secs
lola: 3692731 markings, 4196356 edges, 38900 markings/sec, 90 secs
lola: 3876653 markings, 4405457 edges, 36784 markings/sec, 95 secs
lola: 4054005 markings, 4607366 edges, 35470 markings/sec, 100 secs
lola: 4230779 markings, 4808787 edges, 35355 markings/sec, 105 secs
lola: 4419197 markings, 5022326 edges, 37684 markings/sec, 110 secs
lola: 4611954 markings, 5242858 edges, 38551 markings/sec, 115 secs
lola: 4802860 markings, 5460055 edges, 38181 markings/sec, 120 secs
lola: 4998345 markings, 5682617 edges, 39097 markings/sec, 125 secs
lola: 5195411 markings, 5907826 edges, 39413 markings/sec, 130 secs
lola: 5391844 markings, 6131044 edges, 39287 markings/sec, 135 secs
lola: 5587406 markings, 6353676 edges, 39112 markings/sec, 140 secs
lola: 5785689 markings, 6580061 edges, 39657 markings/sec, 145 secs
lola: 5980473 markings, 6802071 edges, 38957 markings/sec, 150 secs
lola: 6173633 markings, 7021976 edges, 38632 markings/sec, 155 secs
lola: 6359888 markings, 7233423 edges, 37251 markings/sec, 160 secs
lola: 6540960 markings, 7439038 edges, 36214 markings/sec, 165 secs
lola: 6731226 markings, 7654993 edges, 38053 markings/sec, 170 secs
lola: 6925795 markings, 7876421 edges, 38914 markings/sec, 175 secs
lola: 7117592 markings, 8094709 edges, 38359 markings/sec, 180 secs
lola: 7295520 markings, 8297615 edges, 35586 markings/sec, 185 secs
lola: 7472731 markings, 8499137 edges, 35442 markings/sec, 190 secs
lola: 7654755 markings, 8706088 edges, 36405 markings/sec, 195 secs
lola: 7849721 markings, 8928292 edges, 38993 markings/sec, 200 secs
lola: 8043123 markings, 9147729 edges, 38680 markings/sec, 205 secs
lola: 8234556 markings, 9365221 edges, 38287 markings/sec, 210 secs
lola: 8426133 markings, 9583451 edges, 38315 markings/sec, 215 secs
lola: 8617410 markings, 9801581 edges, 38255 markings/sec, 220 secs
lola: 8805624 markings, 10015520 edges, 37643 markings/sec, 225 secs
lola: 8993263 markings, 10229065 edges, 37528 markings/sec, 230 secs
lola: 9168533 markings, 10428152 edges, 35054 markings/sec, 235 secs
lola: 9347345 markings, 10631255 edges, 35762 markings/sec, 240 secs
lola: 9538509 markings, 10848900 edges, 38233 markings/sec, 245 secs
lola: 9734437 markings, 11071535 edges, 39186 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 310 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 388 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1640)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 232477 markings, 253796 edges, 46495 markings/sec, 0 secs
lola: 468530 markings, 511530 edges, 47211 markings/sec, 5 secs
lola: 696251 markings, 760227 edges, 45544 markings/sec, 10 secs
lola: 920704 markings, 1005341 edges, 44891 markings/sec, 15 secs
lola: 1147791 markings, 1253302 edges, 45417 markings/sec, 20 secs
lola: 1375937 markings, 1502434 edges, 45629 markings/sec, 25 secs
lola: 1605409 markings, 1752986 edges, 45894 markings/sec, 30 secs
lola: 1832156 markings, 2000564 edges, 45349 markings/sec, 35 secs
lola: 2055734 markings, 2244690 edges, 44716 markings/sec, 40 secs
lola: 2277929 markings, 2487306 edges, 44439 markings/sec, 45 secs
lola: 2501261 markings, 2731176 edges, 44666 markings/sec, 50 secs
lola: 2724719 markings, 2975157 edges, 44692 markings/sec, 55 secs
lola: 2946087 markings, 3216849 edges, 44274 markings/sec, 60 secs
lola: 3165091 markings, 3455993 edges, 43801 markings/sec, 65 secs
lola: 3386547 markings, 3697799 edges, 44291 markings/sec, 70 secs
lola: 3610350 markings, 3942168 edges, 44761 markings/sec, 75 secs
lola: 3832038 markings, 4184229 edges, 44338 markings/sec, 80 secs
lola: 4049624 markings, 4421777 edges, 43517 markings/sec, 85 secs
lola: 4270199 markings, 4662670 edges, 44115 markings/sec, 90 secs
lola: 4489956 markings, 4902618 edges, 43951 markings/sec, 95 secs
lola: 4713065 markings, 5146246 edges, 44622 markings/sec, 100 secs
lola: 4935095 markings, 5388678 edges, 44406 markings/sec, 105 secs
lola: 5171711 markings, 5647079 edges, 47323 markings/sec, 110 secs
lola: 5402300 markings, 5899051 edges, 46118 markings/sec, 115 secs
lola: 5631066 markings, 6148983 edges, 45753 markings/sec, 120 secs
lola: 5858076 markings, 6397076 edges, 45402 markings/sec, 125 secs
lola: 6083970 markings, 6643884 edges, 45179 markings/sec, 130 secs
lola: 6312503 markings, 6893591 edges, 45707 markings/sec, 135 secs
lola: 6539938 markings, 7142082 edges, 45487 markings/sec, 140 secs
lola: 6770411 markings, 7393990 edges, 46095 markings/sec, 145 secs
lola: 7000299 markings, 7645149 edges, 45978 markings/sec, 150 secs
lola: 7231065 markings, 7897393 edges, 46153 markings/sec, 155 secs
lola: 7462238 markings, 8150030 edges, 46235 markings/sec, 160 secs
lola: 7690585 markings, 8399533 edges, 45669 markings/sec, 165 secs
lola: 7920427 markings, 8650685 edges, 45968 markings/sec, 170 secs
lola: 8148520 markings, 8899925 edges, 45619 markings/sec, 175 secs
lola: 8380319 markings, 9153162 edges, 46360 markings/sec, 180 secs
lola: 8617264 markings, 9412093 edges, 47389 markings/sec, 185 secs
lola: 8853176 markings, 9669808 edges, 47182 markings/sec, 190 secs
lola: 9089025 markings, 9927475 edges, 47170 markings/sec, 195 secs
lola: 9328505 markings, 10189178 edges, 47896 markings/sec, 200 secs
lola: 9563863 markings, 10446196 edges, 47072 markings/sec, 205 secs
lola: 9781884 markings, 10684374 edges, 43604 markings/sec, 210 secs
lola: 9996975 markings, 10919387 edges, 43018 markings/sec, 215 secs
lola: 10215222 markings, 11157736 edges, 43649 markings/sec, 220 secs
lola: 10433209 markings, 11395822 edges, 43597 markings/sec, 225 secs
lola: 10650929 markings, 11633713 edges, 43544 markings/sec, 230 secs
lola: 10877580 markings, 11881301 edges, 45330 markings/sec, 235 secs
lola: 11108306 markings, 12133482 edges, 46145 markings/sec, 240 secs
lola: 11332254 markings, 12378130 edges, 44790 markings/sec, 245 secs
lola: 11560874 markings, 12627896 edges, 45724 markings/sec, 250 secs
lola: 11778910 markings, 12866171 edges, 43607 markings/sec, 255 secs
lola: 11995909 markings, 13103165 edges, 43400 markings/sec, 260 secs
lola: 12213859 markings, 13341206 edges, 43590 markings/sec, 265 secs
lola: 12425596 markings, 13572419 edges, 42347 markings/sec, 270 secs
lola: 12643406 markings, 13810322 edges, 43562 markings/sec, 275 secs
lola: 12869989 markings, 14057886 edges, 45317 markings/sec, 280 secs
lola: 13091909 markings, 14300359 edges, 44384 markings/sec, 285 secs
lola: 13316518 markings, 14545760 edges, 44922 markings/sec, 290 secs
lola: 13545034 markings, 14795501 edges, 45703 markings/sec, 295 secs
lola: 13771640 markings, 15042969 edges, 45321 markings/sec, 300 secs
lola: 13999374 markings, 15291609 edges, 45547 markings/sec, 305 secs
lola: 14225870 markings, 15539098 edges, 45299 markings/sec, 310 secs
lola: 14445234 markings, 15778730 edges, 43873 markings/sec, 315 secs
lola: 14659737 markings, 16013015 edges, 42901 markings/sec, 320 secs
lola: 14873233 markings, 16246233 edges, 42699 markings/sec, 325 secs
lola: 15086731 markings, 16479450 edges, 42700 markings/sec, 330 secs
lola: 15310019 markings, 16723363 edges, 44658 markings/sec, 335 secs
lola: 15531997 markings, 16965998 edges, 44396 markings/sec, 340 secs
lola: 15752787 markings, 17207205 edges, 44158 markings/sec, 345 secs
lola: 15976335 markings, 17451466 edges, 44710 markings/sec, 350 secs
lola: 16203008 markings, 17699028 edges, 45335 markings/sec, 355 secs
lola: 16429777 markings, 17946842 edges, 45354 markings/sec, 360 secs
lola: 16660716 markings, 18199239 edges, 46188 markings/sec, 365 secs
lola: 16890670 markings, 18450447 edges, 45991 markings/sec, 370 secs
lola: 17126047 markings, 18707610 edges, 47075 markings/sec, 375 secs
lola: 17362338 markings, 18965828 edges, 47258 markings/sec, 380 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 388 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 62776 markings, 77498 edges, 12555 markings/sec, 0 secs
lola: 126382 markings, 157436 edges, 12721 markings/sec, 5 secs
lola: 187320 markings, 233972 edges, 12188 markings/sec, 10 secs
lola: 247949 markings, 312735 edges, 12126 markings/sec, 15 secs
lola: 308901 markings, 389585 edges, 12190 markings/sec, 20 secs
lola: 371560 markings, 465733 edges, 12532 markings/sec, 25 secs
lola: 433260 markings, 542026 edges, 12340 markings/sec, 30 secs
lola: 494174 markings, 618708 edges, 12183 markings/sec, 35 secs
lola: 556005 markings, 693482 edges, 12366 markings/sec, 40 secs
lola: 617133 markings, 771721 edges, 12226 markings/sec, 45 secs
lola: 678025 markings, 845647 edges, 12178 markings/sec, 50 secs
lola: 739703 markings, 922962 edges, 12336 markings/sec, 55 secs
lola: 803025 markings, 1001602 edges, 12664 markings/sec, 60 secs
lola: 884290 markings, 1106956 edges, 16253 markings/sec, 65 secs
lola: 993638 markings, 1252616 edges, 21870 markings/sec, 70 secs
lola: 1117147 markings, 1418129 edges, 24702 markings/sec, 75 secs
lola: 1259070 markings, 1608622 edges, 28385 markings/sec, 80 secs
lola: 1397891 markings, 1794874 edges, 27764 markings/sec, 85 secs
lola: 1538402 markings, 1983349 edges, 28102 markings/sec, 90 secs
lola: 1681653 markings, 2175215 edges, 28650 markings/sec, 95 secs
lola: 1809804 markings, 2346927 edges, 25630 markings/sec, 100 secs
lola: 1947060 markings, 2531582 edges, 27451 markings/sec, 105 secs
lola: 2077702 markings, 2706947 edges, 26128 markings/sec, 110 secs
lola: 2212807 markings, 2889152 edges, 27021 markings/sec, 115 secs
lola: 2341028 markings, 3060705 edges, 25644 markings/sec, 120 secs
lola: 2479225 markings, 3243421 edges, 27639 markings/sec, 125 secs
lola: 2618782 markings, 3432093 edges, 27911 markings/sec, 130 secs
lola: 2759408 markings, 3620345 edges, 28125 markings/sec, 135 secs
lola: 2893397 markings, 3797714 edges, 26798 markings/sec, 140 secs
lola: 3030114 markings, 3979438 edges, 27343 markings/sec, 145 secs
lola: 3169001 markings, 4165720 edges, 27777 markings/sec, 150 secs
lola: 3302128 markings, 4342892 edges, 26625 markings/sec, 155 secs
lola: 3432761 markings, 4515799 edges, 26127 markings/sec, 160 secs
lola: 3569182 markings, 4700648 edges, 27284 markings/sec, 165 secs
lola: 3705025 markings, 4882736 edges, 27169 markings/sec, 170 secs
lola: 3840114 markings, 5062157 edges, 27018 markings/sec, 175 secs
lola: 3974833 markings, 5240760 edges, 26944 markings/sec, 180 secs
lola: 4111017 markings, 5423974 edges, 27237 markings/sec, 185 secs
lola: 4255142 markings, 5616686 edges, 28825 markings/sec, 190 secs
lola: 4393208 markings, 5801807 edges, 27613 markings/sec, 195 secs
lola: 4527751 markings, 5981603 edges, 26909 markings/sec, 200 secs
lola: 4660249 markings, 6154272 edges, 26500 markings/sec, 205 secs
lola: 4798586 markings, 6338579 edges, 27667 markings/sec, 210 secs
lola: 4941320 markings, 6533231 edges, 28547 markings/sec, 215 secs
lola: 5085910 markings, 6726416 edges, 28918 markings/sec, 220 secs
lola: 5223293 markings, 6909045 edges, 27477 markings/sec, 225 secs
lola: 5365525 markings, 7099789 edges, 28446 markings/sec, 230 secs
lola: 5497552 markings, 7270557 edges, 26405 markings/sec, 235 secs
lola: 5636041 markings, 7456576 edges, 27698 markings/sec, 240 secs
lola: 5769724 markings, 7635212 edges, 26737 markings/sec, 245 secs
lola: 5902991 markings, 7813703 edges, 26653 markings/sec, 250 secs
lola: 6030355 markings, 7982464 edges, 25473 markings/sec, 255 secs
lola: 6149345 markings, 8139568 edges, 23798 markings/sec, 260 secs
lola: 6275025 markings, 8308082 edges, 25136 markings/sec, 265 secs
lola: 6399740 markings, 8475433 edges, 24943 markings/sec, 270 secs
lola: 6517388 markings, 8632986 edges, 23530 markings/sec, 275 secs
lola: 6639598 markings, 8798418 edges, 24442 markings/sec, 280 secs
lola: 6763654 markings, 8966836 edges, 24811 markings/sec, 285 secs
lola: 6886845 markings, 9130438 edges, 24638 markings/sec, 290 secs
lola: 7010363 markings, 9291993 edges, 24704 markings/sec, 295 secs
lola: 7163980 markings, 9493402 edges, 30723 markings/sec, 300 secs
lola: 7316263 markings, 9701729 edges, 30457 markings/sec, 305 secs
lola: 7460319 markings, 9889025 edges, 28811 markings/sec, 310 secs
lola: 7593493 markings, 10062801 edges, 26635 markings/sec, 315 secs
lola: 7739647 markings, 10256163 edges, 29231 markings/sec, 320 secs
lola: 7887358 markings, 10454900 edges, 29542 markings/sec, 325 secs
lola: 8038118 markings, 10656679 edges, 30152 markings/sec, 330 secs
lola: 8171229 markings, 10832763 edges, 26622 markings/sec, 335 secs
lola: 8322121 markings, 11038068 edges, 30178 markings/sec, 340 secs
lola: 8469627 markings, 11234309 edges, 29501 markings/sec, 345 secs
lola: 8616618 markings, 11430527 edges, 29398 markings/sec, 350 secs
lola: 8762653 markings, 11626654 edges, 29207 markings/sec, 355 secs
lola: 8899833 markings, 11804618 edges, 27436 markings/sec, 360 secs
lola: 9052425 markings, 12011334 edges, 30518 markings/sec, 365 secs
lola: 9194922 markings, 12200007 edges, 28499 markings/sec, 370 secs
lola: 9336540 markings, 12387417 edges, 28324 markings/sec, 375 secs
lola: 9476304 markings, 12572802 edges, 27953 markings/sec, 380 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 389 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p607)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 213187 markings, 241900 edges, 42637 markings/sec, 0 secs
lola: 416075 markings, 472258 edges, 40578 markings/sec, 5 secs
lola: 618598 markings, 702814 edges, 40505 markings/sec, 10 secs
lola: 827616 markings, 940681 edges, 41804 markings/sec, 15 secs
lola: 1032994 markings, 1174091 edges, 41076 markings/sec, 20 secs
lola: 1237733 markings, 1407116 edges, 40948 markings/sec, 25 secs
lola: 1441666 markings, 1638666 edges, 40787 markings/sec, 30 secs
lola: 1646004 markings, 1871642 edges, 40868 markings/sec, 35 secs
lola: 1853278 markings, 2108232 edges, 41455 markings/sec, 40 secs
lola: 2055020 markings, 2337691 edges, 40348 markings/sec, 45 secs
lola: 2250010 markings, 2559800 edges, 38998 markings/sec, 50 secs
lola: 2442966 markings, 2779473 edges, 38591 markings/sec, 55 secs
lola: 2637147 markings, 3000547 edges, 38836 markings/sec, 60 secs
lola: 2840718 markings, 3232414 edges, 40714 markings/sec, 65 secs
lola: 3067037 markings, 3490444 edges, 45264 markings/sec, 70 secs
lola: 3293936 markings, 3749532 edges, 45380 markings/sec, 75 secs
lola: 3514752 markings, 4001253 edges, 44163 markings/sec, 80 secs
lola: 3719343 markings, 4233475 edges, 40918 markings/sec, 85 secs
lola: 3924792 markings, 4468236 edges, 41090 markings/sec, 90 secs
lola: 4145863 markings, 4720825 edges, 44214 markings/sec, 95 secs
lola: 4355404 markings, 4958781 edges, 41908 markings/sec, 100 secs
lola: 4552635 markings, 5182745 edges, 39446 markings/sec, 105 secs
lola: 4749707 markings, 5406543 edges, 39414 markings/sec, 110 secs
lola: 4951988 markings, 5635982 edges, 40456 markings/sec, 115 secs
lola: 5160351 markings, 5874308 edges, 41673 markings/sec, 120 secs
lola: 5377169 markings, 6121676 edges, 43364 markings/sec, 125 secs
lola: 5576648 markings, 6351274 edges, 39896 markings/sec, 130 secs
lola: 5768491 markings, 6569267 edges, 38369 markings/sec, 135 secs
lola: 5953676 markings, 6779728 edges, 37037 markings/sec, 140 secs
lola: 6152487 markings, 7006457 edges, 39762 markings/sec, 145 secs
lola: 6350331 markings, 7232425 edges, 39569 markings/sec, 150 secs
lola: 6548208 markings, 7458185 edges, 39575 markings/sec, 155 secs
lola: 6744022 markings, 7683197 edges, 39163 markings/sec, 160 secs
lola: 6931109 markings, 7895736 edges, 37417 markings/sec, 165 secs
lola: 7118014 markings, 8108019 edges, 37381 markings/sec, 170 secs
lola: 7320622 markings, 8338735 edges, 40522 markings/sec, 175 secs
lola: 7524226 markings, 8571630 edges, 40721 markings/sec, 180 secs
lola: 7722841 markings, 8796804 edges, 39723 markings/sec, 185 secs
lola: 7915442 markings, 9015767 edges, 38520 markings/sec, 190 secs
lola: 8113200 markings, 9240482 edges, 39552 markings/sec, 195 secs
lola: 8327557 markings, 9484981 edges, 42871 markings/sec, 200 secs
lola: 8536067 markings, 9721736 edges, 41702 markings/sec, 205 secs
lola: 8741621 markings, 9955262 edges, 41111 markings/sec, 210 secs
lola: 8944051 markings, 10185555 edges, 40486 markings/sec, 215 secs
lola: 9145892 markings, 10414988 edges, 40368 markings/sec, 220 secs
lola: 9359078 markings, 10657950 edges, 42637 markings/sec, 225 secs
lola: 9573654 markings, 10902283 edges, 42915 markings/sec, 230 secs
lola: 9772296 markings, 11128893 edges, 39728 markings/sec, 235 secs
lola: 9984509 markings, 11370559 edges, 42443 markings/sec, 240 secs
lola: 10189599 markings, 11604514 edges, 41018 markings/sec, 245 secs
lola: 10391988 markings, 11834140 edges, 40478 markings/sec, 250 secs
lola: 10594648 markings, 12065457 edges, 40532 markings/sec, 255 secs
lola: 10814537 markings, 12317243 edges, 43978 markings/sec, 260 secs
lola: 11038243 markings, 12573548 edges, 44741 markings/sec, 265 secs
lola: 11245457 markings, 12809002 edges, 41443 markings/sec, 270 secs
lola: 11454112 markings, 13046058 edges, 41731 markings/sec, 275 secs
lola: 11643207 markings, 13260184 edges, 37819 markings/sec, 280 secs
lola: 11835234 markings, 13477897 edges, 38405 markings/sec, 285 secs
lola: 12022612 markings, 13688025 edges, 37476 markings/sec, 290 secs
lola: 12211057 markings, 13899681 edges, 37689 markings/sec, 295 secs
lola: 12402710 markings, 14116902 edges, 38331 markings/sec, 300 secs
lola: 12603496 markings, 14341792 edges, 40157 markings/sec, 305 secs
lola: 12806708 markings, 14571402 edges, 40642 markings/sec, 310 secs
lola: 13017019 markings, 14811071 edges, 42062 markings/sec, 315 secs
lola: 13230694 markings, 15054622 edges, 42735 markings/sec, 320 secs
lola: 13443769 markings, 15296430 edges, 42615 markings/sec, 325 secs
lola: 13645819 markings, 15525900 edges, 40410 markings/sec, 330 secs
lola: 13851185 markings, 15760244 edges, 41073 markings/sec, 335 secs
lola: 14065769 markings, 16005620 edges, 42917 markings/sec, 340 secs
lola: 14277842 markings, 16247469 edges, 42415 markings/sec, 345 secs
lola: 14476047 markings, 16472874 edges, 39641 markings/sec, 350 secs
lola: 14686200 markings, 16712358 edges, 42031 markings/sec, 355 secs
lola: 14897845 markings, 16954139 edges, 42329 markings/sec, 360 secs
lola: 15103531 markings, 17187927 edges, 41137 markings/sec, 365 secs
lola: 15306454 markings, 17418615 edges, 40585 markings/sec, 370 secs
lola: 15510220 markings, 17650104 edges, 40753 markings/sec, 375 secs
lola: 15720732 markings, 17890277 edges, 42102 markings/sec, 380 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 388 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2085)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 21 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: 80009 markings, 88416 edges, 16002 markings/sec, 0 secs
lola: 159073 markings, 178216 edges, 15813 markings/sec, 5 secs
lola: 227714 markings, 258427 edges, 13728 markings/sec, 10 secs
lola: 291849 markings, 333699 edges, 12827 markings/sec, 15 secs
lola: 358509 markings, 413746 edges, 13332 markings/sec, 20 secs
lola: 426112 markings, 494378 edges, 13521 markings/sec, 25 secs
lola: 492736 markings, 573597 edges, 13325 markings/sec, 30 secs
lola: 556789 markings, 649754 edges, 12811 markings/sec, 35 secs
lola: 619900 markings, 724719 edges, 12622 markings/sec, 40 secs
lola: 684288 markings, 800733 edges, 12878 markings/sec, 45 secs
lola: 748143 markings, 877287 edges, 12771 markings/sec, 50 secs
lola: 811391 markings, 952622 edges, 12650 markings/sec, 55 secs
lola: 874226 markings, 1028204 edges, 12567 markings/sec, 60 secs
lola: 937081 markings, 1102250 edges, 12571 markings/sec, 65 secs
lola: 991596 markings, 1166422 edges, 10903 markings/sec, 70 secs
lola: 1055471 markings, 1240103 edges, 12775 markings/sec, 75 secs
lola: 1110938 markings, 1305218 edges, 11093 markings/sec, 80 secs
lola: 1165253 markings, 1370303 edges, 10863 markings/sec, 85 secs
lola: 1219306 markings, 1434732 edges, 10811 markings/sec, 90 secs
lola: 1276702 markings, 1501898 edges, 11479 markings/sec, 95 secs
lola: 1339022 markings, 1573765 edges, 12464 markings/sec, 100 secs
lola: 1391686 markings, 1635900 edges, 10533 markings/sec, 105 secs
lola: 1443335 markings, 1697437 edges, 10330 markings/sec, 110 secs
lola: 1495084 markings, 1759373 edges, 10350 markings/sec, 115 secs
lola: 1547235 markings, 1821804 edges, 10430 markings/sec, 120 secs
lola: 1600199 markings, 1885414 edges, 10593 markings/sec, 125 secs
lola: 1653562 markings, 1949582 edges, 10673 markings/sec, 130 secs
lola: 1707303 markings, 2013981 edges, 10748 markings/sec, 135 secs
lola: 1760014 markings, 2077562 edges, 10542 markings/sec, 140 secs
lola: 1814072 markings, 2142091 edges, 10812 markings/sec, 145 secs
lola: 1866871 markings, 2204510 edges, 10560 markings/sec, 150 secs
lola: 1931492 markings, 2278837 edges, 12924 markings/sec, 155 secs
lola: 1995563 markings, 2352388 edges, 12814 markings/sec, 160 secs
lola: 2047821 markings, 2414733 edges, 10452 markings/sec, 165 secs
lola: 2100211 markings, 2477883 edges, 10478 markings/sec, 170 secs
lola: 2152905 markings, 2541159 edges, 10539 markings/sec, 175 secs
lola: 2205676 markings, 2604144 edges, 10554 markings/sec, 180 secs
lola: 2258785 markings, 2667706 edges, 10622 markings/sec, 185 secs
lola: 2311508 markings, 2730755 edges, 10545 markings/sec, 190 secs
lola: 2364191 markings, 2794031 edges, 10537 markings/sec, 195 secs
lola: 2417222 markings, 2857080 edges, 10606 markings/sec, 200 secs
lola: 2469783 markings, 2920130 edges, 10512 markings/sec, 205 secs
lola: 2522338 markings, 2982726 edges, 10511 markings/sec, 210 secs
lola: 2575332 markings, 3046319 edges, 10599 markings/sec, 215 secs
lola: 2627994 markings, 3110891 edges, 10532 markings/sec, 220 secs
lola: 2681107 markings, 3173990 edges, 10623 markings/sec, 225 secs
lola: 2744073 markings, 3246546 edges, 12593 markings/sec, 230 secs
lola: 2808878 markings, 3320269 edges, 12961 markings/sec, 235 secs
lola: 2867880 markings, 3388646 edges, 11800 markings/sec, 240 secs
lola: 2923916 markings, 3454355 edges, 11207 markings/sec, 245 secs
lola: 2989115 markings, 3529400 edges, 13040 markings/sec, 250 secs
lola: 3044809 markings, 3594890 edges, 11139 markings/sec, 255 secs
lola: 3104988 markings, 3664273 edges, 12036 markings/sec, 260 secs
lola: 3164686 markings, 3733684 edges, 11940 markings/sec, 265 secs
lola: 3220387 markings, 3799026 edges, 11140 markings/sec, 270 secs
lola: 3284972 markings, 3873473 edges, 12917 markings/sec, 275 secs
lola: 3337348 markings, 3935710 edges, 10475 markings/sec, 280 secs
lola: 3402614 markings, 4010346 edges, 13053 markings/sec, 285 secs
lola: 3458872 markings, 4076841 edges, 11252 markings/sec, 290 secs
lola: 3513116 markings, 4141215 edges, 10849 markings/sec, 295 secs
lola: 3574307 markings, 4211856 edges, 12238 markings/sec, 300 secs
lola: 3625733 markings, 4273090 edges, 10285 markings/sec, 305 secs
lola: 3677339 markings, 4334313 edges, 10321 markings/sec, 310 secs
lola: 3735374 markings, 4402077 edges, 11607 markings/sec, 315 secs
lola: 3797163 markings, 4472678 edges, 12358 markings/sec, 320 secs
lola: 3858570 markings, 4542554 edges, 12281 markings/sec, 325 secs
lola: 3909592 markings, 4604041 edges, 10204 markings/sec, 330 secs
lola: 3960681 markings, 4665313 edges, 10218 markings/sec, 335 secs
lola: 4011778 markings, 4726513 edges, 10219 markings/sec, 340 secs
lola: 4064205 markings, 4789375 edges, 10485 markings/sec, 345 secs
lola: 4118518 markings, 4854672 edges, 10863 markings/sec, 350 secs
lola: 4171822 markings, 4918028 edges, 10661 markings/sec, 355 secs
lola: 4224357 markings, 4981185 edges, 10507 markings/sec, 360 secs
lola: 4277979 markings, 5045047 edges, 10724 markings/sec, 365 secs
lola: 4330014 markings, 5108143 edges, 10407 markings/sec, 370 secs
lola: 4390315 markings, 5177256 edges, 12060 markings/sec, 375 secs
lola: 4454276 markings, 5250362 edges, 12792 markings/sec, 380 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown 1 1 unknown unknown unknown unknown
FORMULA DLCround-PT-07b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-07b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496543403166

--------------------
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="DLCround-PT-07b"
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/DLCround-PT-07b.tgz
mv DLCround-PT-07b 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 DLCround-PT-07b, 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 r178-csrt-149580961700281"
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 ;