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 '
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 ;