Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496437898602


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


checking for too many tokens
===========================================================================================
S_Raft-PT-09: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Raft-PT-09 @ 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: 1123/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 413 places, 710 transitions, 332 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 700 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-09-UpperBounds.task
lola: MAX(p345) : MAX(p269) : MAX(p38) : MAX(p323) : MAX(p115) : MAX(p237) : MAX(p103) : MAX(p117) : MAX(p311) : MAX(p310) : MAX(p88) : MAX(p36) : MAX(p120) : MAX(p122) : MAX(p346) : MAX(p14)
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(p345)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 227812 markings, 493358 edges, 45562 markings/sec, 0 secs
lola: 463441 markings, 1003889 edges, 47126 markings/sec, 5 secs
lola: 692376 markings, 1499914 edges, 45787 markings/sec, 10 secs
lola: 923901 markings, 2002258 edges, 46305 markings/sec, 15 secs
lola: 1164768 markings, 2528041 edges, 48173 markings/sec, 20 secs
lola: 1394052 markings, 3026581 edges, 45857 markings/sec, 25 secs
lola: 1617631 markings, 3526849 edges, 44716 markings/sec, 30 secs
lola: 1842033 markings, 4016590 edges, 44880 markings/sec, 35 secs
lola: 2068335 markings, 4509984 edges, 45260 markings/sec, 40 secs
lola: 2290965 markings, 4995142 edges, 44526 markings/sec, 45 secs
lola: 2513079 markings, 5478454 edges, 44423 markings/sec, 50 secs
lola: 2735855 markings, 5969132 edges, 44555 markings/sec, 55 secs
lola: 2965508 markings, 6472341 edges, 45931 markings/sec, 60 secs
lola: 3201779 markings, 6992032 edges, 47254 markings/sec, 65 secs
lola: 3436452 markings, 7507037 edges, 46935 markings/sec, 70 secs
lola: 3668381 markings, 8019115 edges, 46386 markings/sec, 75 secs
lola: 3905742 markings, 8545295 edges, 47472 markings/sec, 80 secs
lola: 4141810 markings, 9066334 edges, 47214 markings/sec, 85 secs
lola: 4374579 markings, 9575019 edges, 46554 markings/sec, 90 secs
lola: 4608358 markings, 10081541 edges, 46756 markings/sec, 95 secs
lola: 4841609 markings, 10587003 edges, 46650 markings/sec, 100 secs
lola: 5074007 markings, 11090534 edges, 46480 markings/sec, 105 secs
lola: 5309197 markings, 11600116 edges, 47038 markings/sec, 110 secs
lola: 5542831 markings, 12106319 edges, 46727 markings/sec, 115 secs
lola: 5776177 markings, 12611906 edges, 46669 markings/sec, 120 secs
lola: 6009383 markings, 13117622 edges, 46641 markings/sec, 125 secs
lola: 6245332 markings, 13629281 edges, 47190 markings/sec, 130 secs
lola: 6480935 markings, 14144962 edges, 47121 markings/sec, 135 secs
lola: 6720927 markings, 14668401 edges, 47998 markings/sec, 140 secs
lola: 6960483 markings, 15192872 edges, 47911 markings/sec, 145 secs
lola: 7200544 markings, 15713879 edges, 48012 markings/sec, 150 secs
lola: 7441137 markings, 16240260 edges, 48119 markings/sec, 155 secs
lola: 7683578 markings, 16767614 edges, 48488 markings/sec, 160 secs
lola: 7925623 markings, 17292375 edges, 48409 markings/sec, 165 secs
lola: 8166199 markings, 17817809 edges, 48115 markings/sec, 170 secs
lola: 8408270 markings, 18345922 edges, 48414 markings/sec, 175 secs
lola: 8652879 markings, 18879658 edges, 48922 markings/sec, 180 secs
lola: 8896219 markings, 19409581 edges, 48668 markings/sec, 185 secs
lola: 9137275 markings, 19938009 edges, 48211 markings/sec, 190 secs
lola: 9379675 markings, 20467526 edges, 48480 markings/sec, 195 secs
lola: 9620246 markings, 20992769 edges, 48114 markings/sec, 200 secs
lola: 9861893 markings, 21518300 edges, 48329 markings/sec, 205 secs
lola: 10102125 markings, 22043263 edges, 48046 markings/sec, 210 secs
lola: 10344197 markings, 22573792 edges, 48414 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(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 244481 markings, 590334 edges, 48896 markings/sec, 0 secs
lola: 490194 markings, 1183946 edges, 49143 markings/sec, 5 secs
lola: 738889 markings, 1784311 edges, 49739 markings/sec, 10 secs
lola: 981196 markings, 2369609 edges, 48461 markings/sec, 15 secs
lola: 1221919 markings, 2951157 edges, 48145 markings/sec, 20 secs
lola: 1464013 markings, 3536151 edges, 48419 markings/sec, 25 secs
lola: 1706588 markings, 4123097 edges, 48515 markings/sec, 30 secs
lola: 1952331 markings, 4716562 edges, 49149 markings/sec, 35 secs
lola: 2201578 markings, 5318617 edges, 49849 markings/sec, 40 secs
lola: 2445751 markings, 5908458 edges, 48835 markings/sec, 45 secs
lola: 2685636 markings, 6487767 edges, 47977 markings/sec, 50 secs
lola: 2925903 markings, 7069007 edges, 48053 markings/sec, 55 secs
lola: 3166761 markings, 7651189 edges, 48172 markings/sec, 60 secs
lola: 3409474 markings, 8237786 edges, 48543 markings/sec, 65 secs
lola: 3656284 markings, 8834004 edges, 49362 markings/sec, 70 secs
lola: 3902294 markings, 9428373 edges, 49202 markings/sec, 75 secs
lola: 4150636 markings, 10028184 edges, 49668 markings/sec, 80 secs
lola: 4393719 markings, 10615735 edges, 48617 markings/sec, 85 secs
lola: 4634447 markings, 11197089 edges, 48146 markings/sec, 90 secs
lola: 4878067 markings, 11785730 edges, 48724 markings/sec, 95 secs
lola: 5118351 markings, 12365950 edges, 48057 markings/sec, 100 secs
lola: 5353792 markings, 12934772 edges, 47088 markings/sec, 105 secs
lola: 5587465 markings, 13499401 edges, 46735 markings/sec, 110 secs
lola: 5821588 markings, 14065604 edges, 46825 markings/sec, 115 secs
lola: 6055623 markings, 14631154 edges, 46807 markings/sec, 120 secs
lola: 6289461 markings, 15196101 edges, 46768 markings/sec, 125 secs
lola: 6529776 markings, 15777195 edges, 48063 markings/sec, 130 secs
lola: 6772527 markings, 16363507 edges, 48550 markings/sec, 135 secs
lola: 7013913 markings, 16946872 edges, 48277 markings/sec, 140 secs
lola: 7253844 markings, 17527597 edges, 47986 markings/sec, 145 secs
lola: 7495627 markings, 18111670 edges, 48357 markings/sec, 150 secs
lola: 7737435 markings, 18696347 edges, 48362 markings/sec, 155 secs
lola: 7978010 markings, 19278632 edges, 48115 markings/sec, 160 secs
lola: 8214739 markings, 19851345 edges, 47346 markings/sec, 165 secs
lola: 8453101 markings, 20428001 edges, 47672 markings/sec, 170 secs
lola: 8691656 markings, 21004540 edges, 47711 markings/sec, 175 secs
lola: 8930297 markings, 21581913 edges, 47728 markings/sec, 180 secs
lola: 9167661 markings, 22155599 edges, 47473 markings/sec, 185 secs
lola: 9405062 markings, 22729275 edges, 47480 markings/sec, 190 secs
lola: 9642227 markings, 23302484 edges, 47433 markings/sec, 195 secs
lola: 9880760 markings, 23878713 edges, 47707 markings/sec, 200 secs
lola: 10118082 markings, 24452005 edges, 47464 markings/sec, 205 secs
lola: 10355433 markings, 25026557 edges, 47470 markings/sec, 210 secs
lola: 10589428 markings, 25592368 edges, 46799 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 229091 markings, 588177 edges, 45818 markings/sec, 0 secs
lola: 450168 markings, 1155916 edges, 44215 markings/sec, 5 secs
lola: 678766 markings, 1742527 edges, 45720 markings/sec, 10 secs
lola: 912961 markings, 2344300 edges, 46839 markings/sec, 15 secs
lola: 1161103 markings, 2981504 edges, 49628 markings/sec, 20 secs
lola: 1416364 markings, 3637190 edges, 51052 markings/sec, 25 secs
lola: 1669393 markings, 4287095 edges, 50606 markings/sec, 30 secs
lola: 1919416 markings, 4930192 edges, 50005 markings/sec, 35 secs
lola: 2172457 markings, 5579163 edges, 50608 markings/sec, 40 secs
lola: 2416172 markings, 6205474 edges, 48743 markings/sec, 45 secs
lola: 2659316 markings, 6829579 edges, 48629 markings/sec, 50 secs
lola: 2902078 markings, 7453090 edges, 48552 markings/sec, 55 secs
lola: 3142378 markings, 8070333 edges, 48060 markings/sec, 60 secs
lola: 3383929 markings, 8690707 edges, 48310 markings/sec, 65 secs
lola: 3622727 markings, 9304377 edges, 47760 markings/sec, 70 secs
lola: 3862795 markings, 9921114 edges, 48014 markings/sec, 75 secs
lola: 4104117 markings, 10541812 edges, 48264 markings/sec, 80 secs
lola: 4348921 markings, 11171763 edges, 48961 markings/sec, 85 secs
lola: 4594311 markings, 11802241 edges, 49078 markings/sec, 90 secs
lola: 4837515 markings, 12427748 edges, 48641 markings/sec, 95 secs
lola: 5079212 markings, 13048482 edges, 48339 markings/sec, 100 secs
lola: 5320396 markings, 13669395 edges, 48237 markings/sec, 105 secs
lola: 5564834 markings, 14297191 edges, 48888 markings/sec, 110 secs
lola: 5812362 markings, 14933633 edges, 49506 markings/sec, 115 secs
lola: 6061296 markings, 15572877 edges, 49787 markings/sec, 120 secs
lola: 6311089 markings, 16214118 edges, 49959 markings/sec, 125 secs
lola: 6560994 markings, 16855145 edges, 49981 markings/sec, 130 secs
lola: 6806353 markings, 17485825 edges, 49072 markings/sec, 135 secs
lola: 7052707 markings, 18118199 edges, 49271 markings/sec, 140 secs
lola: 7298414 markings, 18749024 edges, 49141 markings/sec, 145 secs
lola: 7541780 markings, 19374404 edges, 48673 markings/sec, 150 secs
lola: 7784907 markings, 19999504 edges, 48625 markings/sec, 155 secs
lola: 8027599 markings, 20623425 edges, 48538 markings/sec, 160 secs
lola: 8270880 markings, 21248144 edges, 48656 markings/sec, 165 secs
lola: 8520899 markings, 21891746 edges, 50004 markings/sec, 170 secs
lola: 8772384 markings, 22537968 edges, 50297 markings/sec, 175 secs
lola: 9012514 markings, 23154679 edges, 48026 markings/sec, 180 secs
lola: 9257333 markings, 23784353 edges, 48964 markings/sec, 185 secs
lola: 9507292 markings, 24426742 edges, 49992 markings/sec, 190 secs
lola: 9756980 markings, 25067642 edges, 49938 markings/sec, 195 secs
lola: 9998296 markings, 25687764 edges, 48263 markings/sec, 200 secs
lola: 10232362 markings, 26288935 edges, 46813 markings/sec, 205 secs
lola: 10464453 markings, 26885952 edges, 46418 markings/sec, 210 secs
lola: 10695759 markings, 27481285 edges, 46261 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p323)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 241419 markings, 573740 edges, 48284 markings/sec, 0 secs
lola: 490933 markings, 1166813 edges, 49903 markings/sec, 5 secs
lola: 732463 markings, 1741247 edges, 48306 markings/sec, 10 secs
lola: 970972 markings, 2308204 edges, 47702 markings/sec, 15 secs
lola: 1211411 markings, 2879799 edges, 48088 markings/sec, 20 secs
lola: 1454839 markings, 3458269 edges, 48686 markings/sec, 25 secs
lola: 1696685 markings, 4033425 edges, 48369 markings/sec, 30 secs
lola: 1935346 markings, 4600658 edges, 47732 markings/sec, 35 secs
lola: 2180007 markings, 5182410 edges, 48932 markings/sec, 40 secs
lola: 2419871 markings, 5752965 edges, 47973 markings/sec, 45 secs
lola: 2659076 markings, 6321701 edges, 47841 markings/sec, 50 secs
lola: 2901881 markings, 6898872 edges, 48561 markings/sec, 55 secs
lola: 3142893 markings, 7471878 edges, 48202 markings/sec, 60 secs
lola: 3386258 markings, 8050446 edges, 48673 markings/sec, 65 secs
lola: 3626691 markings, 8622689 edges, 48087 markings/sec, 70 secs
lola: 3869770 markings, 9200503 edges, 48616 markings/sec, 75 secs
lola: 4112144 markings, 9776664 edges, 48475 markings/sec, 80 secs
lola: 4354543 markings, 10352934 edges, 48480 markings/sec, 85 secs
lola: 4596255 markings, 10927399 edges, 48342 markings/sec, 90 secs
lola: 4837091 markings, 11500066 edges, 48167 markings/sec, 95 secs
lola: 5079199 markings, 12075779 edges, 48422 markings/sec, 100 secs
lola: 5312978 markings, 12631510 edges, 46756 markings/sec, 105 secs
lola: 5539245 markings, 13169448 edges, 45253 markings/sec, 110 secs
lola: 5764656 markings, 13705271 edges, 45082 markings/sec, 115 secs
lola: 5993435 markings, 14249134 edges, 45756 markings/sec, 120 secs
lola: 6234219 markings, 14821341 edges, 48157 markings/sec, 125 secs
lola: 6476084 markings, 15396305 edges, 48373 markings/sec, 130 secs
lola: 6717796 markings, 15970979 edges, 48342 markings/sec, 135 secs
lola: 6960373 markings, 16547643 edges, 48515 markings/sec, 140 secs
lola: 7201943 markings, 17122095 edges, 48314 markings/sec, 145 secs
lola: 7443896 markings, 17697209 edges, 48391 markings/sec, 150 secs
lola: 7682517 markings, 18265041 edges, 47724 markings/sec, 155 secs
lola: 7924794 markings, 18841291 edges, 48455 markings/sec, 160 secs
lola: 8160762 markings, 19402316 edges, 47194 markings/sec, 165 secs
lola: 8395574 markings, 19960545 edges, 46962 markings/sec, 170 secs
lola: 8617476 markings, 20488226 edges, 44380 markings/sec, 175 secs
lola: 8849337 markings, 21039308 edges, 46372 markings/sec, 180 secs
lola: 9076880 markings, 21580146 edges, 45509 markings/sec, 185 secs
lola: 9303290 markings, 22118348 edges, 45282 markings/sec, 190 secs
lola: 9533087 markings, 22664639 edges, 45959 markings/sec, 195 secs
lola: 9760912 markings, 23206185 edges, 45565 markings/sec, 200 secs
lola: 9987232 markings, 23744126 edges, 45264 markings/sec, 205 secs
lola: 10218090 markings, 24292954 edges, 46172 markings/sec, 210 secs
lola: 10458600 markings, 24864554 edges, 48102 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 178635 markings, 510035 edges, 35727 markings/sec, 0 secs
lola: 355027 markings, 1012208 edges, 35278 markings/sec, 5 secs
lola: 530758 markings, 1512877 edges, 35146 markings/sec, 10 secs
lola: 714601 markings, 2039947 edges, 36769 markings/sec, 15 secs
lola: 897445 markings, 2560757 edges, 36569 markings/sec, 20 secs
lola: 1087086 markings, 3101028 edges, 37928 markings/sec, 25 secs
lola: 1273455 markings, 3632062 edges, 37274 markings/sec, 30 secs
lola: 1456808 markings, 4153911 edges, 36671 markings/sec, 35 secs
lola: 1640127 markings, 4680092 edges, 36664 markings/sec, 40 secs
lola: 1823006 markings, 5201340 edges, 36576 markings/sec, 45 secs
lola: 2007641 markings, 5727856 edges, 36927 markings/sec, 50 secs
lola: 2194676 markings, 6261502 edges, 37407 markings/sec, 55 secs
lola: 2383414 markings, 6798960 edges, 37748 markings/sec, 60 secs
lola: 2571418 markings, 7333568 edges, 37601 markings/sec, 65 secs
lola: 2759552 markings, 7869701 edges, 37627 markings/sec, 70 secs
lola: 2944042 markings, 8395352 edges, 36898 markings/sec, 75 secs
lola: 3127918 markings, 8919421 edges, 36775 markings/sec, 80 secs
lola: 3308571 markings, 9433936 edges, 36131 markings/sec, 85 secs
lola: 3491529 markings, 9957948 edges, 36592 markings/sec, 90 secs
lola: 3678779 markings, 10492563 edges, 37450 markings/sec, 95 secs
lola: 3862486 markings, 11016048 edges, 36741 markings/sec, 100 secs
lola: 4050843 markings, 11552872 edges, 37671 markings/sec, 105 secs
lola: 4240958 markings, 12096085 edges, 38023 markings/sec, 110 secs
lola: 4422809 markings, 12613937 edges, 36370 markings/sec, 115 secs
lola: 4609080 markings, 13144453 edges, 37254 markings/sec, 120 secs
lola: 4794425 markings, 13672297 edges, 37069 markings/sec, 125 secs
lola: 4976928 markings, 14194259 edges, 36501 markings/sec, 130 secs
lola: 5162059 markings, 14724661 edges, 37026 markings/sec, 135 secs
lola: 5347907 markings, 15257181 edges, 37170 markings/sec, 140 secs
lola: 5531615 markings, 15781167 edges, 36742 markings/sec, 145 secs
lola: 5718357 markings, 16312715 edges, 37348 markings/sec, 150 secs
lola: 5900399 markings, 16830855 edges, 36408 markings/sec, 155 secs
lola: 6089432 markings, 17369293 edges, 37807 markings/sec, 160 secs
lola: 6273860 markings, 17897126 edges, 36886 markings/sec, 165 secs
lola: 6458915 markings, 18424629 edges, 37011 markings/sec, 170 secs
lola: 6645853 markings, 18957019 edges, 37388 markings/sec, 175 secs
lola: 6829123 markings, 19481796 edges, 36654 markings/sec, 180 secs
lola: 7013911 markings, 20010011 edges, 36958 markings/sec, 185 secs
lola: 7198292 markings, 20538535 edges, 36876 markings/sec, 190 secs
lola: 7387686 markings, 21078646 edges, 37879 markings/sec, 195 secs
lola: 7572472 markings, 21604444 edges, 36957 markings/sec, 200 secs
lola: 7754806 markings, 22124524 edges, 36467 markings/sec, 205 secs
lola: 7937331 markings, 22644294 edges, 36505 markings/sec, 210 secs
lola: 8121298 markings, 23168166 edges, 36793 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p237)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 232335 markings, 601490 edges, 46467 markings/sec, 0 secs
lola: 468694 markings, 1212644 edges, 47272 markings/sec, 5 secs
lola: 694264 markings, 1794347 edges, 45114 markings/sec, 10 secs
lola: 916516 markings, 2367972 edges, 44450 markings/sec, 15 secs
lola: 1140303 markings, 2946220 edges, 44757 markings/sec, 20 secs
lola: 1364023 markings, 3525371 edges, 44744 markings/sec, 25 secs
lola: 1589561 markings, 4107185 edges, 45108 markings/sec, 30 secs
lola: 1822597 markings, 4709815 edges, 46607 markings/sec, 35 secs
lola: 2063428 markings, 5331758 edges, 48166 markings/sec, 40 secs
lola: 2297977 markings, 5937650 edges, 46910 markings/sec, 45 secs
lola: 2528410 markings, 6533692 edges, 46087 markings/sec, 50 secs
lola: 2762520 markings, 7138428 edges, 46822 markings/sec, 55 secs
lola: 3001849 markings, 7757742 edges, 47866 markings/sec, 60 secs
lola: 3239331 markings, 8370924 edges, 47496 markings/sec, 65 secs
lola: 3479791 markings, 8992538 edges, 48092 markings/sec, 70 secs
lola: 3715254 markings, 9601078 edges, 47093 markings/sec, 75 secs
lola: 3951607 markings, 10211523 edges, 47271 markings/sec, 80 secs
lola: 4188745 markings, 10824188 edges, 47428 markings/sec, 85 secs
lola: 4426071 markings, 11438622 edges, 47465 markings/sec, 90 secs
lola: 4662898 markings, 12049952 edges, 47365 markings/sec, 95 secs
lola: 4901362 markings, 12665935 edges, 47693 markings/sec, 100 secs
lola: 5138756 markings, 13278859 edges, 47479 markings/sec, 105 secs
lola: 5376368 markings, 13892767 edges, 47522 markings/sec, 110 secs
lola: 5614205 markings, 14506763 edges, 47567 markings/sec, 115 secs
lola: 5846911 markings, 15107534 edges, 46541 markings/sec, 120 secs
lola: 6077283 markings, 15702538 edges, 46074 markings/sec, 125 secs
lola: 6301830 markings, 16283038 edges, 44909 markings/sec, 130 secs
lola: 6524498 markings, 16857257 edges, 44534 markings/sec, 135 secs
lola: 6755867 markings, 17454923 edges, 46274 markings/sec, 140 secs
lola: 6993921 markings, 18071126 edges, 47611 markings/sec, 145 secs
lola: 7230146 markings, 18681794 edges, 47245 markings/sec, 150 secs
lola: 7466158 markings, 19291486 edges, 47202 markings/sec, 155 secs
lola: 7705699 markings, 19911186 edges, 47908 markings/sec, 160 secs
lola: 7942601 markings, 20522903 edges, 47380 markings/sec, 165 secs
lola: 8174377 markings, 21122740 edges, 46355 markings/sec, 170 secs
lola: 8397664 markings, 21699017 edges, 44657 markings/sec, 175 secs
lola: 8620702 markings, 22275206 edges, 44608 markings/sec, 180 secs
lola: 8844648 markings, 22853647 edges, 44789 markings/sec, 185 secs
lola: 9081584 markings, 23465616 edges, 47387 markings/sec, 190 secs
lola: 9320125 markings, 24082240 edges, 47708 markings/sec, 195 secs
lola: 9559452 markings, 24700883 edges, 47865 markings/sec, 200 secs
lola: 9799953 markings, 25323141 edges, 48100 markings/sec, 205 secs
lola: 10042198 markings, 25948391 edges, 48449 markings/sec, 210 secs
lola: 10281434 markings, 26567522 edges, 47847 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 249886 markings, 595637 edges, 49977 markings/sec, 0 secs
lola: 492846 markings, 1174841 edges, 48592 markings/sec, 5 secs
lola: 736071 markings, 1754524 edges, 48645 markings/sec, 10 secs
lola: 981317 markings, 2339223 edges, 49049 markings/sec, 15 secs
lola: 1227375 markings, 2925997 edges, 49212 markings/sec, 20 secs
lola: 1470357 markings, 3505558 edges, 48596 markings/sec, 25 secs
lola: 1715713 markings, 4090998 edges, 49071 markings/sec, 30 secs
lola: 1964200 markings, 4683683 edges, 49697 markings/sec, 35 secs
lola: 2211546 markings, 5273331 edges, 49469 markings/sec, 40 secs
lola: 2453985 markings, 5851639 edges, 48488 markings/sec, 45 secs
lola: 2697258 markings, 6431439 edges, 48655 markings/sec, 50 secs
lola: 2938044 markings, 7006227 edges, 48157 markings/sec, 55 secs
lola: 3188468 markings, 7603447 edges, 50085 markings/sec, 60 secs
lola: 3441739 markings, 8207186 edges, 50654 markings/sec, 65 secs
lola: 3684496 markings, 8785893 edges, 48551 markings/sec, 70 secs
lola: 3928281 markings, 9367273 edges, 48757 markings/sec, 75 secs
lola: 4172867 markings, 9950519 edges, 48917 markings/sec, 80 secs
lola: 4413072 markings, 10523241 edges, 48041 markings/sec, 85 secs
lola: 4653889 markings, 11097483 edges, 48163 markings/sec, 90 secs
lola: 4893389 markings, 11669323 edges, 47900 markings/sec, 95 secs
lola: 5141262 markings, 12260859 edges, 49575 markings/sec, 100 secs
lola: 5387746 markings, 12849046 edges, 49297 markings/sec, 105 secs
lola: 5630460 markings, 13429253 edges, 48543 markings/sec, 110 secs
lola: 5872510 markings, 14006893 edges, 48410 markings/sec, 115 secs
lola: 6114588 markings, 14585366 edges, 48416 markings/sec, 120 secs
lola: 6360850 markings, 15172621 edges, 49252 markings/sec, 125 secs
lola: 6595736 markings, 15733463 edges, 46977 markings/sec, 130 secs
lola: 6828517 markings, 16289235 edges, 46556 markings/sec, 135 secs
lola: 7062513 markings, 16848121 edges, 46799 markings/sec, 140 secs
lola: 7296531 markings, 17406988 edges, 46804 markings/sec, 145 secs
lola: 7529152 markings, 17962648 edges, 46524 markings/sec, 150 secs
lola: 7761709 markings, 18517815 edges, 46511 markings/sec, 155 secs
lola: 7995416 markings, 19075480 edges, 46741 markings/sec, 160 secs
lola: 8228959 markings, 19633466 edges, 46709 markings/sec, 165 secs
lola: 8462886 markings, 20191714 edges, 46785 markings/sec, 170 secs
lola: 8699617 markings, 20756298 edges, 47346 markings/sec, 175 secs
lola: 8936516 markings, 21321252 edges, 47380 markings/sec, 180 secs
lola: 9177926 markings, 21896536 edges, 48282 markings/sec, 185 secs
lola: 9422867 markings, 22480374 edges, 48988 markings/sec, 190 secs
lola: 9666006 markings, 23060079 edges, 48628 markings/sec, 195 secs
lola: 9902371 markings, 23624461 edges, 47273 markings/sec, 200 secs
lola: 10135972 markings, 24181847 edges, 46720 markings/sec, 205 secs
lola: 10373572 markings, 24749285 edges, 47520 markings/sec, 210 secs
lola: 10612098 markings, 25317606 edges, 47705 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 232970 markings, 598147 edges, 46594 markings/sec, 0 secs
lola: 459709 markings, 1178844 edges, 45348 markings/sec, 5 secs
lola: 697583 markings, 1788533 edges, 47575 markings/sec, 10 secs
lola: 926566 markings, 2376565 edges, 45797 markings/sec, 15 secs
lola: 1152950 markings, 2956659 edges, 45277 markings/sec, 20 secs
lola: 1377688 markings, 3532102 edges, 44948 markings/sec, 25 secs
lola: 1615313 markings, 4140335 edges, 47525 markings/sec, 30 secs
lola: 1859664 markings, 4766179 edges, 48870 markings/sec, 35 secs
lola: 2094796 markings, 5369955 edges, 47026 markings/sec, 40 secs
lola: 2330105 markings, 5973862 edges, 47062 markings/sec, 45 secs
lola: 2566208 markings, 6578101 edges, 47221 markings/sec, 50 secs
lola: 2810259 markings, 7202480 edges, 48810 markings/sec, 55 secs
lola: 3046076 markings, 7805756 edges, 47163 markings/sec, 60 secs
lola: 3288454 markings, 8425832 edges, 48476 markings/sec, 65 secs
lola: 3533358 markings, 9052501 edges, 48981 markings/sec, 70 secs
lola: 3760317 markings, 9633555 edges, 45392 markings/sec, 75 secs
lola: 3985665 markings, 10210001 edges, 45070 markings/sec, 80 secs
lola: 4210448 markings, 10785016 edges, 44957 markings/sec, 85 secs
lola: 4432080 markings, 11354071 edges, 44326 markings/sec, 90 secs
lola: 4656471 markings, 11928569 edges, 44878 markings/sec, 95 secs
lola: 4884300 markings, 12512075 edges, 45566 markings/sec, 100 secs
lola: 5117408 markings, 13110544 edges, 46622 markings/sec, 105 secs
lola: 5355036 markings, 13718475 edges, 47526 markings/sec, 110 secs
lola: 5592173 markings, 14325071 edges, 47427 markings/sec, 115 secs
lola: 5825196 markings, 14922150 edges, 46605 markings/sec, 120 secs
lola: 6068302 markings, 15546416 edges, 48621 markings/sec, 125 secs
lola: 6301124 markings, 16144238 edges, 46564 markings/sec, 130 secs
lola: 6538411 markings, 16753565 edges, 47457 markings/sec, 135 secs
lola: 6766544 markings, 17339385 edges, 45627 markings/sec, 140 secs
lola: 6990796 markings, 17913794 edges, 44850 markings/sec, 145 secs
lola: 7219152 markings, 18500178 edges, 45671 markings/sec, 150 secs
lola: 7454266 markings, 19103924 edges, 47023 markings/sec, 155 secs
lola: 7686493 markings, 19700277 edges, 46445 markings/sec, 160 secs
lola: 7914486 markings, 20285730 edges, 45599 markings/sec, 165 secs
lola: 8143890 markings, 20874795 edges, 45881 markings/sec, 170 secs
lola: 8386342 markings, 21497408 edges, 48490 markings/sec, 175 secs
lola: 8631815 markings, 22127791 edges, 49095 markings/sec, 180 secs
lola: 8879149 markings, 22760818 edges, 49467 markings/sec, 185 secs
lola: 9119156 markings, 23374919 edges, 48001 markings/sec, 190 secs
lola: 9356634 markings, 23983117 edges, 47496 markings/sec, 195 secs
lola: 9587504 markings, 24574571 edges, 46174 markings/sec, 200 secs
lola: 9819101 markings, 25167046 edges, 46319 markings/sec, 205 secs
lola: 10062040 markings, 25788469 edges, 48588 markings/sec, 210 secs
lola: 10305242 markings, 26410766 edges, 48640 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p311)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 237760 markings, 641485 edges, 47552 markings/sec, 0 secs
lola: 478914 markings, 1292709 edges, 48231 markings/sec, 5 secs
lola: 720228 markings, 1943651 edges, 48263 markings/sec, 10 secs
lola: 961207 markings, 2594223 edges, 48196 markings/sec, 15 secs
lola: 1204256 markings, 3249941 edges, 48610 markings/sec, 20 secs
lola: 1439606 markings, 3884987 edges, 47070 markings/sec, 25 secs
lola: 1670973 markings, 4509094 edges, 46273 markings/sec, 30 secs
lola: 1903521 markings, 5136468 edges, 46510 markings/sec, 35 secs
lola: 2136859 markings, 5766016 edges, 46668 markings/sec, 40 secs
lola: 2364436 markings, 6380033 edges, 45515 markings/sec, 45 secs
lola: 2590843 markings, 6990797 edges, 45281 markings/sec, 50 secs
lola: 2819408 markings, 7607400 edges, 45713 markings/sec, 55 secs
lola: 3043520 markings, 8212119 edges, 44822 markings/sec, 60 secs
lola: 3269298 markings, 8821201 edges, 45156 markings/sec, 65 secs
lola: 3496154 markings, 9433221 edges, 45371 markings/sec, 70 secs
lola: 3728231 markings, 10059443 edges, 46415 markings/sec, 75 secs
lola: 3953696 markings, 10667636 edges, 45093 markings/sec, 80 secs
lola: 4176668 markings, 11269215 edges, 44594 markings/sec, 85 secs
lola: 4401916 markings, 11876951 edges, 45050 markings/sec, 90 secs
lola: 4647027 markings, 12538585 edges, 49022 markings/sec, 95 secs
lola: 4891752 markings, 13199263 edges, 48945 markings/sec, 100 secs
lola: 5125958 markings, 13831606 edges, 46841 markings/sec, 105 secs
lola: 5352087 markings, 14442031 edges, 45226 markings/sec, 110 secs
lola: 5577804 markings, 15051592 edges, 45143 markings/sec, 115 secs
lola: 5804607 markings, 15663287 edges, 45361 markings/sec, 120 secs
lola: 6030813 markings, 16274081 edges, 45241 markings/sec, 125 secs
lola: 6275432 markings, 16933961 edges, 48924 markings/sec, 130 secs
lola: 6501239 markings, 17543894 edges, 45161 markings/sec, 135 secs
lola: 6736307 markings, 18178053 edges, 47014 markings/sec, 140 secs
lola: 6965627 markings, 18796747 edges, 45864 markings/sec, 145 secs
lola: 7192532 markings, 19408897 edges, 45381 markings/sec, 150 secs
lola: 7427711 markings, 20043408 edges, 47036 markings/sec, 155 secs
lola: 7652042 markings, 20648660 edges, 44866 markings/sec, 160 secs
lola: 7877782 markings, 21257670 edges, 45148 markings/sec, 165 secs
lola: 8103598 markings, 21866847 edges, 45163 markings/sec, 170 secs
lola: 8333214 markings, 22486474 edges, 45923 markings/sec, 175 secs
lola: 8566131 markings, 23114734 edges, 46583 markings/sec, 180 secs
lola: 8798316 markings, 23741095 edges, 46437 markings/sec, 185 secs
lola: 9034154 markings, 24377850 edges, 47168 markings/sec, 190 secs
lola: 9271024 markings, 25017355 edges, 47374 markings/sec, 195 secs
lola: 9507433 markings, 25655605 edges, 47282 markings/sec, 200 secs
lola: 9742892 markings, 26291062 edges, 47092 markings/sec, 205 secs
lola: 9977433 markings, 26924987 edges, 46908 markings/sec, 210 secs
lola: 10213826 markings, 27563249 edges, 47279 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p310)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 204624 markings, 608907 edges, 40925 markings/sec, 0 secs
lola: 394235 markings, 1144741 edges, 37922 markings/sec, 5 secs
lola: 582604 markings, 1677411 edges, 37674 markings/sec, 10 secs
lola: 775113 markings, 2222573 edges, 38502 markings/sec, 15 secs
lola: 967300 markings, 2766147 edges, 38437 markings/sec, 20 secs
lola: 1158001 markings, 3308801 edges, 38140 markings/sec, 25 secs
lola: 1345126 markings, 3838672 edges, 37425 markings/sec, 30 secs
lola: 1529954 markings, 4361851 edges, 36966 markings/sec, 35 secs
lola: 1714352 markings, 4884127 edges, 36880 markings/sec, 40 secs
lola: 1897391 markings, 5401691 edges, 36608 markings/sec, 45 secs
lola: 2085291 markings, 5934320 edges, 37580 markings/sec, 50 secs
lola: 2271603 markings, 6461441 edges, 37262 markings/sec, 55 secs
lola: 2456665 markings, 6984650 edges, 37012 markings/sec, 60 secs
lola: 2647455 markings, 7526575 edges, 38158 markings/sec, 65 secs
lola: 2832573 markings, 8049901 edges, 37024 markings/sec, 70 secs
lola: 3015880 markings, 8568312 edges, 36661 markings/sec, 75 secs
lola: 3197178 markings, 9080969 edges, 36260 markings/sec, 80 secs
lola: 3377096 markings, 9591603 edges, 35984 markings/sec, 85 secs
lola: 3559352 markings, 10109990 edges, 36451 markings/sec, 90 secs
lola: 3748179 markings, 10647765 edges, 37765 markings/sec, 95 secs
lola: 3931472 markings, 11167744 edges, 36659 markings/sec, 100 secs
lola: 4115877 markings, 11691316 edges, 36881 markings/sec, 105 secs
lola: 4307336 markings, 12235340 edges, 38292 markings/sec, 110 secs
lola: 4494659 markings, 12768801 edges, 37465 markings/sec, 115 secs
lola: 4681698 markings, 13304199 edges, 37408 markings/sec, 120 secs
lola: 4863677 markings, 13821010 edges, 36396 markings/sec, 125 secs
lola: 5039654 markings, 14321118 edges, 35195 markings/sec, 130 secs
lola: 5215066 markings, 14823144 edges, 35082 markings/sec, 135 secs
lola: 5390818 markings, 15324853 edges, 35150 markings/sec, 140 secs
lola: 5567108 markings, 15823695 edges, 35258 markings/sec, 145 secs
lola: 5743142 markings, 16324785 edges, 35207 markings/sec, 150 secs
lola: 5920037 markings, 16825257 edges, 35379 markings/sec, 155 secs
lola: 6097041 markings, 17326006 edges, 35401 markings/sec, 160 secs
lola: 6273899 markings, 17825987 edges, 35372 markings/sec, 165 secs
lola: 6450049 markings, 18325232 edges, 35230 markings/sec, 170 secs
lola: 6626787 markings, 18825159 edges, 35348 markings/sec, 175 secs
lola: 6803793 markings, 19326539 edges, 35401 markings/sec, 180 secs
lola: 6979589 markings, 19825377 edges, 35159 markings/sec, 185 secs
lola: 7155503 markings, 20325237 edges, 35183 markings/sec, 190 secs
lola: 7331089 markings, 20823337 edges, 35117 markings/sec, 195 secs
lola: 7506770 markings, 21322230 edges, 35136 markings/sec, 200 secs
lola: 7684642 markings, 21825303 edges, 35574 markings/sec, 205 secs
lola: 7868315 markings, 22346581 edges, 36735 markings/sec, 210 secs
lola: 8054811 markings, 22881020 edges, 37299 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 247359 markings, 588351 edges, 49472 markings/sec, 0 secs
lola: 496614 markings, 1181789 edges, 49851 markings/sec, 5 secs
lola: 743612 markings, 1769753 edges, 49400 markings/sec, 10 secs
lola: 992606 markings, 2362956 edges, 49799 markings/sec, 15 secs
lola: 1242124 markings, 2959185 edges, 49904 markings/sec, 20 secs
lola: 1487645 markings, 3543927 edges, 49104 markings/sec, 25 secs
lola: 1734993 markings, 4133264 edges, 49470 markings/sec, 30 secs
lola: 1986625 markings, 4732324 edges, 50326 markings/sec, 35 secs
lola: 2225861 markings, 5302012 edges, 47847 markings/sec, 40 secs
lola: 2460573 markings, 5861423 edges, 46942 markings/sec, 45 secs
lola: 2693456 markings, 6416311 edges, 46577 markings/sec, 50 secs
lola: 2925603 markings, 6968991 edges, 46429 markings/sec, 55 secs
lola: 3180827 markings, 7576592 edges, 51045 markings/sec, 60 secs
lola: 3436254 markings, 8185634 edges, 51085 markings/sec, 65 secs
lola: 3676156 markings, 8756549 edges, 47980 markings/sec, 70 secs
lola: 3906957 markings, 9305964 edges, 46160 markings/sec, 75 secs
lola: 4138673 markings, 9858100 edges, 46343 markings/sec, 80 secs
lola: 4384661 markings, 10444514 edges, 49198 markings/sec, 85 secs
lola: 4626785 markings, 11020773 edges, 48425 markings/sec, 90 secs
lola: 4872566 markings, 11606238 edges, 49156 markings/sec, 95 secs
lola: 5121402 markings, 12199168 edges, 49767 markings/sec, 100 secs
lola: 5365308 markings, 12779407 edges, 48781 markings/sec, 105 secs
lola: 5608964 markings, 13359761 edges, 48731 markings/sec, 110 secs
lola: 5854888 markings, 13945128 edges, 49185 markings/sec, 115 secs
lola: 6100858 markings, 14531557 edges, 49194 markings/sec, 120 secs
lola: 6347103 markings, 15117854 edges, 49249 markings/sec, 125 secs
lola: 6593860 markings, 15705191 edges, 49351 markings/sec, 130 secs
lola: 6838206 markings, 16287022 edges, 48869 markings/sec, 135 secs
lola: 7083622 markings, 16870989 edges, 49083 markings/sec, 140 secs
lola: 7339896 markings, 17481337 edges, 51255 markings/sec, 145 secs
lola: 7592676 markings, 18083253 edges, 50556 markings/sec, 150 secs
lola: 7827457 markings, 18642545 edges, 46956 markings/sec, 155 secs
lola: 8061977 markings, 19200719 edges, 46904 markings/sec, 160 secs
lola: 8294297 markings, 19754401 edges, 46464 markings/sec, 165 secs
lola: 8533391 markings, 20323623 edges, 47819 markings/sec, 170 secs
lola: 8776132 markings, 20901049 edges, 48548 markings/sec, 175 secs
lola: 9018414 markings, 21478520 edges, 48456 markings/sec, 180 secs
lola: 9257982 markings, 22050226 edges, 47914 markings/sec, 185 secs
lola: 9496370 markings, 22618229 edges, 47678 markings/sec, 190 secs
lola: 9740881 markings, 23200895 edges, 48902 markings/sec, 195 secs
lola: 9978991 markings, 23767891 edges, 47622 markings/sec, 200 secs
lola: 10216721 markings, 24335366 edges, 47546 markings/sec, 205 secs
lola: 10460287 markings, 24914773 edges, 48713 markings/sec, 210 secs
lola: 10702067 markings, 25490550 edges, 48356 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 242615 markings, 640215 edges, 48523 markings/sec, 0 secs
lola: 476302 markings, 1255769 edges, 46737 markings/sec, 5 secs
lola: 704782 markings, 1859293 edges, 45696 markings/sec, 10 secs
lola: 934738 markings, 2467700 edges, 45991 markings/sec, 15 secs
lola: 1163645 markings, 3071035 edges, 45781 markings/sec, 20 secs
lola: 1391851 markings, 3674028 edges, 45641 markings/sec, 25 secs
lola: 1619563 markings, 4274463 edges, 45542 markings/sec, 30 secs
lola: 1846916 markings, 4876972 edges, 45471 markings/sec, 35 secs
lola: 2074294 markings, 5478027 edges, 45476 markings/sec, 40 secs
lola: 2301482 markings, 6079575 edges, 45438 markings/sec, 45 secs
lola: 2530276 markings, 6683270 edges, 45759 markings/sec, 50 secs
lola: 2758420 markings, 7285537 edges, 45629 markings/sec, 55 secs
lola: 2984803 markings, 7883505 edges, 45277 markings/sec, 60 secs
lola: 3211671 markings, 8483584 edges, 45374 markings/sec, 65 secs
lola: 3455528 markings, 9127120 edges, 48771 markings/sec, 70 secs
lola: 3704225 markings, 9784229 edges, 49739 markings/sec, 75 secs
lola: 3951603 markings, 10437081 edges, 49476 markings/sec, 80 secs
lola: 4179647 markings, 11039195 edges, 45609 markings/sec, 85 secs
lola: 4413000 markings, 11655589 edges, 46671 markings/sec, 90 secs
lola: 4654920 markings, 12293980 edges, 48384 markings/sec, 95 secs
lola: 4892929 markings, 12924340 edges, 47602 markings/sec, 100 secs
lola: 5119624 markings, 13522657 edges, 45339 markings/sec, 105 secs
lola: 5345384 markings, 14118961 edges, 45152 markings/sec, 110 secs
lola: 5575152 markings, 14724993 edges, 45954 markings/sec, 115 secs
lola: 5815590 markings, 15359684 edges, 48088 markings/sec, 120 secs
lola: 6057827 markings, 15998486 edges, 48447 markings/sec, 125 secs
lola: 6304705 markings, 16650203 edges, 49376 markings/sec, 130 secs
lola: 6551307 markings, 17301584 edges, 49320 markings/sec, 135 secs
lola: 6784530 markings, 17916333 edges, 46645 markings/sec, 140 secs
lola: 7009389 markings, 18510417 edges, 44972 markings/sec, 145 secs
lola: 7234112 markings, 19103535 edges, 44945 markings/sec, 150 secs
lola: 7458998 markings, 19698477 edges, 44977 markings/sec, 155 secs
lola: 7691254 markings, 20312240 edges, 46451 markings/sec, 160 secs
lola: 7932477 markings, 20948832 edges, 48245 markings/sec, 165 secs
lola: 8172927 markings, 21585838 edges, 48090 markings/sec, 170 secs
lola: 8411501 markings, 22217184 edges, 47715 markings/sec, 175 secs
lola: 8651688 markings, 22852297 edges, 48037 markings/sec, 180 secs
lola: 8892129 markings, 23488269 edges, 48088 markings/sec, 185 secs
lola: 9130716 markings, 24119622 edges, 47717 markings/sec, 190 secs
lola: 9372394 markings, 24756889 edges, 48336 markings/sec, 195 secs
lola: 9613277 markings, 25392905 edges, 48177 markings/sec, 200 secs
lola: 9851905 markings, 26022278 edges, 47726 markings/sec, 205 secs
lola: 10087714 markings, 26644623 edges, 47162 markings/sec, 210 secs
lola: 10326256 markings, 27274887 edges, 47708 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p120)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 235518 markings, 512748 edges, 47104 markings/sec, 0 secs
lola: 472531 markings, 1028882 edges, 47403 markings/sec, 5 secs
lola: 711206 markings, 1548629 edges, 47735 markings/sec, 10 secs
lola: 948523 markings, 2065468 edges, 47463 markings/sec, 15 secs
lola: 1188031 markings, 2589555 edges, 47902 markings/sec, 20 secs
lola: 1424786 markings, 3105122 edges, 47351 markings/sec, 25 secs
lola: 1659544 markings, 3616341 edges, 46952 markings/sec, 30 secs
lola: 1896651 markings, 4132696 edges, 47421 markings/sec, 35 secs
lola: 2135470 markings, 4653029 edges, 47764 markings/sec, 40 secs
lola: 2372911 markings, 5170559 edges, 47488 markings/sec, 45 secs
lola: 2610838 markings, 5692368 edges, 47585 markings/sec, 50 secs
lola: 2849096 markings, 6213928 edges, 47652 markings/sec, 55 secs
lola: 3088971 markings, 6745848 edges, 47975 markings/sec, 60 secs
lola: 3326464 markings, 7265247 edges, 47499 markings/sec, 65 secs
lola: 3558205 markings, 7769899 edges, 46348 markings/sec, 70 secs
lola: 3782158 markings, 8257588 edges, 44791 markings/sec, 75 secs
lola: 4004272 markings, 8741278 edges, 44423 markings/sec, 80 secs
lola: 4225357 markings, 9222726 edges, 44217 markings/sec, 85 secs
lola: 4445741 markings, 9702648 edges, 44077 markings/sec, 90 secs
lola: 4667300 markings, 10185125 edges, 44312 markings/sec, 95 secs
lola: 4892462 markings, 10675455 edges, 45032 markings/sec, 100 secs
lola: 5112151 markings, 11153863 edges, 43938 markings/sec, 105 secs
lola: 5335665 markings, 11640600 edges, 44703 markings/sec, 110 secs
lola: 5557950 markings, 12124655 edges, 44457 markings/sec, 115 secs
lola: 5779488 markings, 12607102 edges, 44308 markings/sec, 120 secs
lola: 5999888 markings, 13087052 edges, 44080 markings/sec, 125 secs
lola: 6225849 markings, 13579376 edges, 45192 markings/sec, 130 secs
lola: 6460162 markings, 14089627 edges, 46863 markings/sec, 135 secs
lola: 6697534 markings, 14606543 edges, 47474 markings/sec, 140 secs
lola: 6926767 markings, 15106445 edges, 45847 markings/sec, 145 secs
lola: 7148447 markings, 15589436 edges, 44336 markings/sec, 150 secs
lola: 7373265 markings, 16083760 edges, 44964 markings/sec, 155 secs
lola: 7596506 markings, 16571165 edges, 44648 markings/sec, 160 secs
lola: 7819145 markings, 17058570 edges, 44528 markings/sec, 165 secs
lola: 8039788 markings, 17539058 edges, 44129 markings/sec, 170 secs
lola: 8257781 markings, 18013773 edges, 43599 markings/sec, 175 secs
lola: 8480549 markings, 18502554 edges, 44554 markings/sec, 180 secs
lola: 8702887 markings, 18989492 edges, 44468 markings/sec, 185 secs
lola: 8922342 markings, 19469473 edges, 43891 markings/sec, 190 secs
lola: 9146263 markings, 19965475 edges, 44784 markings/sec, 195 secs
lola: 9367990 markings, 20450996 edges, 44345 markings/sec, 200 secs
lola: 9591937 markings, 20949383 edges, 44789 markings/sec, 205 secs
lola: 9815088 markings, 21442894 edges, 44630 markings/sec, 210 secs
lola: 10037371 markings, 21932499 edges, 44457 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 232264 markings, 695336 edges, 46453 markings/sec, 0 secs
lola: 461152 markings, 1375714 edges, 45778 markings/sec, 5 secs
lola: 696190 markings, 2061733 edges, 47008 markings/sec, 10 secs
lola: 923612 markings, 2717923 edges, 45484 markings/sec, 15 secs
lola: 1148218 markings, 3365766 edges, 44921 markings/sec, 20 secs
lola: 1372880 markings, 4014020 edges, 44932 markings/sec, 25 secs
lola: 1598393 markings, 4664252 edges, 45103 markings/sec, 30 secs
lola: 1824464 markings, 5316570 edges, 45214 markings/sec, 35 secs
lola: 2047768 markings, 5960594 edges, 44661 markings/sec, 40 secs
lola: 2272173 markings, 6607577 edges, 44881 markings/sec, 45 secs
lola: 2495801 markings, 7252321 edges, 44726 markings/sec, 50 secs
lola: 2719397 markings, 7895687 edges, 44719 markings/sec, 55 secs
lola: 2940425 markings, 8532922 edges, 44206 markings/sec, 60 secs
lola: 3159586 markings, 9165040 edges, 43832 markings/sec, 65 secs
lola: 3379912 markings, 9800633 edges, 44065 markings/sec, 70 secs
lola: 3591321 markings, 10410577 edges, 42282 markings/sec, 75 secs
lola: 3802675 markings, 11020037 edges, 42271 markings/sec, 80 secs
lola: 4014349 markings, 11630406 edges, 42335 markings/sec, 85 secs
lola: 4235833 markings, 12269214 edges, 44297 markings/sec, 90 secs
lola: 4452783 markings, 12894608 edges, 43390 markings/sec, 95 secs
lola: 4672417 markings, 13527268 edges, 43927 markings/sec, 100 secs
lola: 4890755 markings, 14157448 edges, 43668 markings/sec, 105 secs
lola: 5109663 markings, 14789121 edges, 43782 markings/sec, 110 secs
lola: 5326348 markings, 15413752 edges, 43337 markings/sec, 115 secs
lola: 5544772 markings, 16044475 edges, 43685 markings/sec, 120 secs
lola: 5759111 markings, 16662613 edges, 42868 markings/sec, 125 secs
lola: 5968311 markings, 17265000 edges, 41840 markings/sec, 130 secs
lola: 6175238 markings, 17861896 edges, 41385 markings/sec, 135 secs
lola: 6386289 markings, 18470735 edges, 42210 markings/sec, 140 secs
lola: 6603076 markings, 19094870 edges, 43357 markings/sec, 145 secs
lola: 6824687 markings, 19733420 edges, 44322 markings/sec, 150 secs
lola: 7032856 markings, 20334580 edges, 41634 markings/sec, 155 secs
lola: 7241594 markings, 20937073 edges, 41748 markings/sec, 160 secs
lola: 7453405 markings, 21548247 edges, 42362 markings/sec, 165 secs
lola: 7681987 markings, 22207481 edges, 45716 markings/sec, 170 secs
lola: 7902124 markings, 22840674 edges, 44027 markings/sec, 175 secs
lola: 8129352 markings, 23496189 edges, 45446 markings/sec, 180 secs
lola: 8346231 markings, 24122514 edges, 43376 markings/sec, 185 secs
lola: 8561675 markings, 24743815 edges, 43089 markings/sec, 190 secs
lola: 8769952 markings, 25344374 edges, 41655 markings/sec, 195 secs
lola: 8992601 markings, 25986261 edges, 44530 markings/sec, 200 secs
lola: 9202557 markings, 26590971 edges, 41991 markings/sec, 205 secs
lola: 9410700 markings, 27191998 edges, 41629 markings/sec, 210 secs
lola: 9618166 markings, 27790391 edges, 41493 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p346)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 222688 markings, 550248 edges, 44538 markings/sec, 0 secs
lola: 448483 markings, 1108207 edges, 45159 markings/sec, 5 secs
lola: 684646 markings, 1691768 edges, 47233 markings/sec, 10 secs
lola: 928146 markings, 2293470 edges, 48700 markings/sec, 15 secs
lola: 1168746 markings, 2888010 edges, 48120 markings/sec, 20 secs
lola: 1409230 markings, 3482254 edges, 48097 markings/sec, 25 secs
lola: 1647316 markings, 4070581 edges, 47617 markings/sec, 30 secs
lola: 1889722 markings, 4669593 edges, 48481 markings/sec, 35 secs
lola: 2134571 markings, 5274624 edges, 48970 markings/sec, 40 secs
lola: 2375083 markings, 5868944 edges, 48102 markings/sec, 45 secs
lola: 2613573 markings, 6458311 edges, 47698 markings/sec, 50 secs
lola: 2854787 markings, 7054362 edges, 48243 markings/sec, 55 secs
lola: 3094844 markings, 7647562 edges, 48011 markings/sec, 60 secs
lola: 3339019 markings, 8250928 edges, 48835 markings/sec, 65 secs
lola: 3581539 markings, 8850205 edges, 48504 markings/sec, 70 secs
lola: 3810357 markings, 9415629 edges, 45764 markings/sec, 75 secs
lola: 4033655 markings, 9967414 edges, 44660 markings/sec, 80 secs
lola: 4256962 markings, 10519217 edges, 44661 markings/sec, 85 secs
lola: 4499200 markings, 11117799 edges, 48448 markings/sec, 90 secs
lola: 4746589 markings, 11729110 edges, 49478 markings/sec, 95 secs
lola: 4973460 markings, 12289725 edges, 45374 markings/sec, 100 secs
lola: 5197576 markings, 12843529 edges, 44823 markings/sec, 105 secs
lola: 5422319 markings, 13398877 edges, 44949 markings/sec, 110 secs
lola: 5658281 markings, 13981952 edges, 47192 markings/sec, 115 secs
lola: 5895046 markings, 14567008 edges, 47353 markings/sec, 120 secs
lola: 6131077 markings, 15150256 edges, 47206 markings/sec, 125 secs
lola: 6367250 markings, 15733859 edges, 47235 markings/sec, 130 secs
lola: 6606703 markings, 16325564 edges, 47891 markings/sec, 135 secs
lola: 6846288 markings, 16917593 edges, 47917 markings/sec, 140 secs
lola: 7084761 markings, 17506878 edges, 47695 markings/sec, 145 secs
lola: 7323021 markings, 18095623 edges, 47652 markings/sec, 150 secs
lola: 7564988 markings, 18693542 edges, 48393 markings/sec, 155 secs
lola: 7808655 markings, 19295661 edges, 48733 markings/sec, 160 secs
lola: 8049342 markings, 19890404 edges, 48137 markings/sec, 165 secs
lola: 8288430 markings, 20481208 edges, 47818 markings/sec, 170 secs
lola: 8522581 markings, 21059983 edges, 46830 markings/sec, 175 secs
lola: 8764781 markings, 21658498 edges, 48440 markings/sec, 180 secs
lola: 9006635 markings, 22256130 edges, 48371 markings/sec, 185 secs
lola: 9251187 markings, 22860430 edges, 48910 markings/sec, 190 secs
lola: 9490959 markings, 23452918 edges, 47954 markings/sec, 195 secs
lola: 9732499 markings, 24049782 edges, 48308 markings/sec, 200 secs
lola: 9975195 markings, 24649495 edges, 48539 markings/sec, 205 secs
lola: 10216971 markings, 25246942 edges, 48355 markings/sec, 210 secs
lola: 10457636 markings, 25841634 edges, 48133 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 20 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: 259098 markings, 764505 edges, 51820 markings/sec, 0 secs
lola: 512507 markings, 1509438 edges, 50682 markings/sec, 5 secs
lola: 747400 markings, 2170531 edges, 46979 markings/sec, 10 secs
lola: 978677 markings, 2821790 edges, 46255 markings/sec, 15 secs
lola: 1212270 markings, 3479383 edges, 46719 markings/sec, 20 secs
lola: 1447114 markings, 4140499 edges, 46969 markings/sec, 25 secs
lola: 1683905 markings, 4807118 edges, 47358 markings/sec, 30 secs
lola: 1921839 markings, 5477032 edges, 47587 markings/sec, 35 secs
lola: 2157762 markings, 6141384 edges, 47185 markings/sec, 40 secs
lola: 2393034 markings, 6803825 edges, 47054 markings/sec, 45 secs
lola: 2625931 markings, 7459691 edges, 46579 markings/sec, 50 secs
lola: 2859098 markings, 8116266 edges, 46633 markings/sec, 55 secs
lola: 3092867 markings, 8774311 edges, 46754 markings/sec, 60 secs
lola: 3325842 markings, 9429652 edges, 46595 markings/sec, 65 secs
lola: 3559980 markings, 10088898 edges, 46828 markings/sec, 70 secs
lola: 3790378 markings, 10737195 edges, 46080 markings/sec, 75 secs
lola: 4012606 markings, 11362644 edges, 44446 markings/sec, 80 secs
lola: 4245999 markings, 12019195 edges, 46679 markings/sec, 85 secs
lola: 4471166 markings, 12653009 edges, 45033 markings/sec, 90 secs
lola: 4703266 markings, 13306578 edges, 46420 markings/sec, 95 secs
lola: 4932847 markings, 13953088 edges, 45916 markings/sec, 100 secs
lola: 5166546 markings, 14611181 edges, 46740 markings/sec, 105 secs
lola: 5395161 markings, 15254843 edges, 45723 markings/sec, 110 secs
lola: 5626834 markings, 15907071 edges, 46335 markings/sec, 115 secs
lola: 5851429 markings, 16539303 edges, 44919 markings/sec, 120 secs
lola: 6076443 markings, 17172957 edges, 45003 markings/sec, 125 secs
lola: 6307902 markings, 17824702 edges, 46292 markings/sec, 130 secs
lola: 6542144 markings, 18484302 edges, 46848 markings/sec, 135 secs
lola: 6776523 markings, 19144248 edges, 46876 markings/sec, 140 secs
lola: 7011855 markings, 19806958 edges, 47066 markings/sec, 145 secs
lola: 7246493 markings, 20467374 edges, 46928 markings/sec, 150 secs
lola: 7477096 markings, 21116653 edges, 46121 markings/sec, 155 secs
lola: 7710020 markings, 21772452 edges, 46585 markings/sec, 160 secs
lola: 7941925 markings, 22425527 edges, 46381 markings/sec, 165 secs
lola: 8171708 markings, 23072335 edges, 45957 markings/sec, 170 secs
lola: 8398620 markings, 23710974 edges, 45382 markings/sec, 175 secs
lola: 8629198 markings, 24360195 edges, 46116 markings/sec, 180 secs
lola: 8860691 markings, 25011916 edges, 46299 markings/sec, 185 secs
lola: 9090124 markings, 25657838 edges, 45887 markings/sec, 190 secs
lola: 9324379 markings, 26317339 edges, 46851 markings/sec, 195 secs
lola: 9556546 markings, 26971150 edges, 46433 markings/sec, 200 secs
lola: 9791666 markings, 27633206 edges, 47024 markings/sec, 205 secs
lola: 10027092 markings, 28296108 edges, 47085 markings/sec, 210 secs
lola: 10240587 markings, 28897296 edges, 42699 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Raft-PT-09-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-09-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441438242

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_Raft-PT-09"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_Raft-PT-09.tgz
mv S_Raft-PT-09 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_Raft-PT-09, 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 r148-csrt-149443432700020"
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 ;