About the Execution of LoLA for S_DES-PT-20a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4487.430 | 3322606.00 | 3336789.00 | 612.80 | ? ? ? ? ? ? ? 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-3253
Executing tool lola
Input is S_DES-PT-20a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700263
=====================================================================
--------------------
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 DES-PT-20a-UpperBounds-0
FORMULA_NAME DES-PT-20a-UpperBounds-1
FORMULA_NAME DES-PT-20a-UpperBounds-10
FORMULA_NAME DES-PT-20a-UpperBounds-11
FORMULA_NAME DES-PT-20a-UpperBounds-12
FORMULA_NAME DES-PT-20a-UpperBounds-13
FORMULA_NAME DES-PT-20a-UpperBounds-14
FORMULA_NAME DES-PT-20a-UpperBounds-15
FORMULA_NAME DES-PT-20a-UpperBounds-2
FORMULA_NAME DES-PT-20a-UpperBounds-3
FORMULA_NAME DES-PT-20a-UpperBounds-4
FORMULA_NAME DES-PT-20a-UpperBounds-5
FORMULA_NAME DES-PT-20a-UpperBounds-6
FORMULA_NAME DES-PT-20a-UpperBounds-7
FORMULA_NAME DES-PT-20a-UpperBounds-8
FORMULA_NAME DES-PT-20a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496451866965
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-20a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-20a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-20a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 347/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 195 places, 152 transitions, 136 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 177 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-20a-UpperBounds.task
lola: MAX(p35) : MAX(p113) : MAX(p96) : MAX(p45) : MAX(p133) : MAX(p57) : MAX(p167) : MAX(p108) : MAX(p112) : MAX(p54) : MAX(p33) : MAX(p6) : MAX(p142) : MAX(p184) : MAX(p156) : MAX(p39)
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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1137677 markings, 2064081 edges, 227535 markings/sec, 0 secs
lola: 2243928 markings, 4029405 edges, 221250 markings/sec, 5 secs
lola: 3234974 markings, 6041883 edges, 198209 markings/sec, 10 secs
lola: 4311415 markings, 7943201 edges, 215288 markings/sec, 15 secs
lola: 5364622 markings, 9881465 edges, 210641 markings/sec, 20 secs
lola: 6312278 markings, 11795497 edges, 189531 markings/sec, 25 secs
lola: 7343269 markings, 13633667 edges, 206198 markings/sec, 30 secs
lola: 8373527 markings, 15519494 edges, 206052 markings/sec, 35 secs
lola: 9301391 markings, 17418060 edges, 185573 markings/sec, 40 secs
lola: 10340983 markings, 19240689 edges, 207918 markings/sec, 45 secs
lola: 11372749 markings, 21120530 edges, 206353 markings/sec, 50 secs
lola: 12306457 markings, 23020664 edges, 186742 markings/sec, 55 secs
lola: 13286052 markings, 24844004 edges, 195919 markings/sec, 60 secs
lola: 14332064 markings, 26676647 edges, 209202 markings/sec, 65 secs
lola: 15258095 markings, 28555525 edges, 185206 markings/sec, 70 secs
lola: 16169299 markings, 30392745 edges, 182241 markings/sec, 75 secs
lola: 17283403 markings, 32262846 edges, 222821 markings/sec, 80 secs
lola: 18274086 markings, 34206536 edges, 198137 markings/sec, 85 secs
lola: 19217537 markings, 36097160 edges, 188690 markings/sec, 90 secs
lola: 20286597 markings, 37971227 edges, 213812 markings/sec, 95 secs
lola: 21339490 markings, 39920265 edges, 210579 markings/sec, 100 secs
lola: 22298266 markings, 41856654 edges, 191755 markings/sec, 105 secs
lola: 23341633 markings, 43711367 edges, 208673 markings/sec, 110 secs
lola: 24408591 markings, 45664680 edges, 213392 markings/sec, 115 secs
lola: 25364775 markings, 47616851 edges, 191237 markings/sec, 120 secs
lola: 26336336 markings, 49459832 edges, 194312 markings/sec, 125 secs
lola: 27442178 markings, 51364277 edges, 221168 markings/sec, 130 secs
lola: 28418872 markings, 53326679 edges, 195339 markings/sec, 135 secs
lola: 29347196 markings, 55182674 edges, 185665 markings/sec, 140 secs
lola: 30468784 markings, 57068020 edges, 224318 markings/sec, 145 secs
lola: 31466728 markings, 59028016 edges, 199589 markings/sec, 150 secs
lola: 32411533 markings, 60921313 edges, 188961 markings/sec, 155 secs
lola: 33481654 markings, 62797418 edges, 214024 markings/sec, 160 secs
lola: 34540008 markings, 64754540 edges, 211671 markings/sec, 165 secs
lola: 35500234 markings, 66699118 edges, 192045 markings/sec, 170 secs
lola: 36548070 markings, 68558147 edges, 209567 markings/sec, 175 secs
lola: 37602274 markings, 70487957 edges, 210841 markings/sec, 180 secs
lola: 38555765 markings, 72433998 edges, 190698 markings/sec, 185 secs
lola: 39522938 markings, 74272901 edges, 193435 markings/sec, 190 secs
lola: 40624907 markings, 76167377 edges, 220394 markings/sec, 195 secs
lola: 41608547 markings, 78141809 edges, 196728 markings/sec, 200 secs
lola: 42541718 markings, 80007576 edges, 186634 markings/sec, 205 secs
lola: 43667836 markings, 81903973 edges, 225224 markings/sec, 210 secs
lola: 44673485 markings, 83879590 edges, 201130 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(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1485066 markings, 2045867 edges, 297013 markings/sec, 0 secs
lola: 2915241 markings, 4066818 edges, 286035 markings/sec, 5 secs
lola: 4322900 markings, 6057029 edges, 281532 markings/sec, 10 secs
lola: 5709981 markings, 8024729 edges, 277416 markings/sec, 15 secs
lola: 7070198 markings, 9948846 edges, 272043 markings/sec, 20 secs
lola: 8408962 markings, 11851263 edges, 267753 markings/sec, 25 secs
lola: 9738572 markings, 13727547 edges, 265922 markings/sec, 30 secs
lola: 11064734 markings, 15617214 edges, 265232 markings/sec, 35 secs
lola: 12401550 markings, 17493366 edges, 267363 markings/sec, 40 secs
lola: 13732439 markings, 19379644 edges, 266178 markings/sec, 45 secs
lola: 15068700 markings, 21279067 edges, 267252 markings/sec, 50 secs
lola: 16432159 markings, 23204267 edges, 272692 markings/sec, 55 secs
lola: 17768501 markings, 25075740 edges, 267268 markings/sec, 60 secs
lola: 19130597 markings, 26967682 edges, 272419 markings/sec, 65 secs
lola: 20471485 markings, 28891955 edges, 268178 markings/sec, 70 secs
lola: 21838206 markings, 30815372 edges, 273344 markings/sec, 75 secs
lola: 23152165 markings, 32768362 edges, 262792 markings/sec, 80 secs
lola: 24519754 markings, 34671316 edges, 273518 markings/sec, 85 secs
lola: 25828855 markings, 36615679 edges, 261820 markings/sec, 90 secs
lola: 27157991 markings, 38527572 edges, 265827 markings/sec, 95 secs
lola: 28492460 markings, 40470973 edges, 266894 markings/sec, 100 secs
lola: 29801055 markings, 42369347 edges, 261719 markings/sec, 105 secs
lola: 31123351 markings, 44248856 edges, 264459 markings/sec, 110 secs
lola: 32398165 markings, 46140780 edges, 254963 markings/sec, 115 secs
lola: 33697079 markings, 47960260 edges, 259783 markings/sec, 120 secs
lola: 34975138 markings, 49860524 edges, 255612 markings/sec, 125 secs
lola: 36268709 markings, 51704985 edges, 258714 markings/sec, 130 secs
lola: 37506991 markings, 53493912 edges, 247656 markings/sec, 135 secs
lola: 38737190 markings, 55327448 edges, 246040 markings/sec, 140 secs
lola: 39972331 markings, 57032383 edges, 247028 markings/sec, 145 secs
lola: 41214219 markings, 58889746 edges, 248378 markings/sec, 150 secs
lola: 42444619 markings, 60648557 edges, 246080 markings/sec, 155 secs
lola: 43658230 markings, 62398493 edges, 242722 markings/sec, 160 secs
lola: 44857775 markings, 64180887 edges, 239909 markings/sec, 165 secs
lola: 46079316 markings, 65886840 edges, 244308 markings/sec, 170 secs
lola: 47302039 markings, 67701340 edges, 244545 markings/sec, 175 secs
lola: 48510027 markings, 69439987 edges, 241598 markings/sec, 180 secs
lola: 49735928 markings, 71187577 edges, 245180 markings/sec, 185 secs
lola: 50943965 markings, 72963553 edges, 241607 markings/sec, 190 secs
lola: 52167457 markings, 74707200 edges, 244698 markings/sec, 195 secs
lola: 53397325 markings, 76517730 edges, 245974 markings/sec, 200 secs
lola: 54606713 markings, 78272876 edges, 241878 markings/sec, 205 secs
lola: 55843982 markings, 80026724 edges, 247454 markings/sec, 210 secs
lola: 57063281 markings, 81819998 edges, 243860 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(p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 960002 markings, 1894995 edges, 192000 markings/sec, 0 secs
lola: 1897206 markings, 3756686 edges, 187441 markings/sec, 5 secs
lola: 2831062 markings, 5595793 edges, 186771 markings/sec, 10 secs
lola: 3716400 markings, 7418574 edges, 177068 markings/sec, 15 secs
lola: 4656263 markings, 9236020 edges, 187973 markings/sec, 20 secs
lola: 5553474 markings, 11066554 edges, 179442 markings/sec, 25 secs
lola: 6466660 markings, 12863225 edges, 182637 markings/sec, 30 secs
lola: 7387365 markings, 14663334 edges, 184141 markings/sec, 35 secs
lola: 8255021 markings, 16479869 edges, 173531 markings/sec, 40 secs
lola: 9176715 markings, 18257805 edges, 184339 markings/sec, 45 secs
lola: 10076251 markings, 20050596 edges, 179907 markings/sec, 50 secs
lola: 10955851 markings, 21827709 edges, 175920 markings/sec, 55 secs
lola: 11875847 markings, 23610520 edges, 183999 markings/sec, 60 secs
lola: 12762571 markings, 25431401 edges, 177345 markings/sec, 65 secs
lola: 13669082 markings, 27213492 edges, 181302 markings/sec, 70 secs
lola: 14589759 markings, 29001114 edges, 184135 markings/sec, 75 secs
lola: 15443917 markings, 30811846 edges, 170832 markings/sec, 80 secs
lola: 16377000 markings, 32599646 edges, 186617 markings/sec, 85 secs
lola: 17277990 markings, 34413732 edges, 180198 markings/sec, 90 secs
lola: 18159445 markings, 36177907 edges, 176291 markings/sec, 95 secs
lola: 19052789 markings, 37909772 edges, 178669 markings/sec, 100 secs
lola: 19919680 markings, 39693887 edges, 173378 markings/sec, 105 secs
lola: 20787511 markings, 41394213 edges, 173566 markings/sec, 110 secs
lola: 21674599 markings, 43123744 edges, 177418 markings/sec, 115 secs
lola: 22512701 markings, 44881267 edges, 167620 markings/sec, 120 secs
lola: 23389466 markings, 46577641 edges, 175353 markings/sec, 125 secs
lola: 24272775 markings, 48320390 edges, 176662 markings/sec, 130 secs
lola: 25120713 markings, 50061543 edges, 169588 markings/sec, 135 secs
lola: 25997131 markings, 51760817 edges, 175284 markings/sec, 140 secs
lola: 26853145 markings, 53497140 edges, 171203 markings/sec, 145 secs
lola: 27700234 markings, 55185878 edges, 169418 markings/sec, 150 secs
lola: 28579243 markings, 56888682 edges, 175802 markings/sec, 155 secs
lola: 29436374 markings, 58653021 edges, 171426 markings/sec, 160 secs
lola: 30298083 markings, 60340807 edges, 172342 markings/sec, 165 secs
lola: 31175685 markings, 62054604 edges, 175520 markings/sec, 170 secs
lola: 32022074 markings, 63825296 edges, 169278 markings/sec, 175 secs
lola: 32899735 markings, 65521940 edges, 175532 markings/sec, 180 secs
lola: 33782565 markings, 67269485 edges, 176566 markings/sec, 185 secs
lola: 34621446 markings, 69019967 edges, 167776 markings/sec, 190 secs
lola: 35430587 markings, 70635309 edges, 161828 markings/sec, 195 secs
lola: 36326268 markings, 72476710 edges, 179136 markings/sec, 200 secs
lola: 37294776 markings, 74457521 edges, 193702 markings/sec, 205 secs
lola: 38178996 markings, 76491509 edges, 176844 markings/sec, 210 secs
lola: 39039648 markings, 78432675 edges, 172130 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(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1205732 markings, 1959930 edges, 241146 markings/sec, 0 secs
lola: 2321439 markings, 3928005 edges, 223141 markings/sec, 5 secs
lola: 3424390 markings, 5810494 edges, 220590 markings/sec, 10 secs
lola: 4576311 markings, 7692327 edges, 230384 markings/sec, 15 secs
lola: 5725461 markings, 9576998 edges, 229830 markings/sec, 20 secs
lola: 6805095 markings, 11488937 edges, 215927 markings/sec, 25 secs
lola: 7888116 markings, 13339385 edges, 216604 markings/sec, 30 secs
lola: 9061983 markings, 15208367 edges, 234773 markings/sec, 35 secs
lola: 10183382 markings, 17057618 edges, 224280 markings/sec, 40 secs
lola: 11338770 markings, 18892731 edges, 231078 markings/sec, 45 secs
lola: 12381834 markings, 20791269 edges, 208613 markings/sec, 50 secs
lola: 13457846 markings, 22612846 edges, 215202 markings/sec, 55 secs
lola: 14617453 markings, 24490874 edges, 231921 markings/sec, 60 secs
lola: 15743335 markings, 26336048 edges, 225176 markings/sec, 65 secs
lola: 16893120 markings, 28221313 edges, 229957 markings/sec, 70 secs
lola: 17958665 markings, 30102495 edges, 213109 markings/sec, 75 secs
lola: 19050832 markings, 31929100 edges, 218433 markings/sec, 80 secs
lola: 20177324 markings, 33763573 edges, 225298 markings/sec, 85 secs
lola: 21283113 markings, 35589605 edges, 221158 markings/sec, 90 secs
lola: 22387272 markings, 37441988 edges, 220832 markings/sec, 95 secs
lola: 23453995 markings, 39279564 edges, 213345 markings/sec, 100 secs
lola: 24527002 markings, 41073866 edges, 214601 markings/sec, 105 secs
lola: 25636468 markings, 42884138 edges, 221893 markings/sec, 110 secs
lola: 26752114 markings, 44706949 edges, 223129 markings/sec, 115 secs
lola: 27824963 markings, 46552348 edges, 214570 markings/sec, 120 secs
lola: 28886819 markings, 48376782 edges, 212371 markings/sec, 125 secs
lola: 29975457 markings, 50170331 edges, 217728 markings/sec, 130 secs
lola: 31088382 markings, 51978489 edges, 222585 markings/sec, 135 secs
lola: 32208537 markings, 53815285 edges, 224031 markings/sec, 140 secs
lola: 33270083 markings, 55672788 edges, 212309 markings/sec, 145 secs
lola: 34335039 markings, 57492671 edges, 212991 markings/sec, 150 secs
lola: 35466980 markings, 59318740 edges, 226388 markings/sec, 155 secs
lola: 36570282 markings, 61135685 edges, 220660 markings/sec, 160 secs
lola: 37710726 markings, 62978151 edges, 228089 markings/sec, 165 secs
lola: 38760525 markings, 64860336 edges, 209960 markings/sec, 170 secs
lola: 39819207 markings, 66682343 edges, 211736 markings/sec, 175 secs
lola: 40946593 markings, 68461004 edges, 225477 markings/sec, 180 secs
lola: 42018144 markings, 70228325 edges, 214310 markings/sec, 185 secs
lola: 43140397 markings, 72021973 edges, 224451 markings/sec, 190 secs
lola: 44158332 markings, 73856237 edges, 203587 markings/sec, 195 secs
lola: 45166991 markings, 75617558 edges, 201732 markings/sec, 200 secs
lola: 46272076 markings, 77354911 edges, 221017 markings/sec, 205 secs
lola: 47330010 markings, 79100108 edges, 211587 markings/sec, 210 secs
lola: 48450208 markings, 80891364 edges, 224040 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(p133)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1125934 markings, 1964765 edges, 225187 markings/sec, 0 secs
lola: 2311284 markings, 4022036 edges, 237070 markings/sec, 5 secs
lola: 3453286 markings, 6074846 edges, 228400 markings/sec, 10 secs
lola: 4587159 markings, 8114847 edges, 226775 markings/sec, 15 secs
lola: 5703416 markings, 10139584 edges, 223251 markings/sec, 20 secs
lola: 6779911 markings, 12154294 edges, 215299 markings/sec, 25 secs
lola: 7862584 markings, 14177931 edges, 216535 markings/sec, 30 secs
lola: 8974346 markings, 16181792 edges, 222352 markings/sec, 35 secs
lola: 10085739 markings, 18184655 edges, 222279 markings/sec, 40 secs
lola: 11158276 markings, 20134648 edges, 214507 markings/sec, 45 secs
lola: 12174160 markings, 22052886 edges, 203177 markings/sec, 50 secs
lola: 13208935 markings, 23943438 edges, 206955 markings/sec, 55 secs
lola: 14258737 markings, 25823506 edges, 209960 markings/sec, 60 secs
lola: 15302836 markings, 27724708 edges, 208820 markings/sec, 65 secs
lola: 16317470 markings, 29638344 edges, 202927 markings/sec, 70 secs
lola: 17358761 markings, 31542271 edges, 208258 markings/sec, 75 secs
lola: 18428450 markings, 33456675 edges, 213938 markings/sec, 80 secs
lola: 19496192 markings, 35396294 edges, 213548 markings/sec, 85 secs
lola: 20530280 markings, 37344977 edges, 206818 markings/sec, 90 secs
lola: 21584883 markings, 39291480 edges, 210921 markings/sec, 95 secs
lola: 22696289 markings, 41215227 edges, 222281 markings/sec, 100 secs
lola: 23787912 markings, 43204861 edges, 218325 markings/sec, 105 secs
lola: 24813251 markings, 45176608 edges, 205068 markings/sec, 110 secs
lola: 25674774 markings, 46878642 edges, 172305 markings/sec, 115 secs
lola: 26660177 markings, 48821774 edges, 197081 markings/sec, 120 secs
lola: 27928413 markings, 50826769 edges, 253647 markings/sec, 125 secs
lola: 29143599 markings, 52803452 edges, 243037 markings/sec, 130 secs
lola: 30214375 markings, 54786699 edges, 214155 markings/sec, 135 secs
lola: 31276810 markings, 56792615 edges, 212487 markings/sec, 140 secs
lola: 32443617 markings, 58732155 edges, 233361 markings/sec, 145 secs
lola: 33499088 markings, 60699296 edges, 211094 markings/sec, 150 secs
lola: 34532279 markings, 62674566 edges, 206638 markings/sec, 155 secs
lola: 35555865 markings, 64663538 edges, 204717 markings/sec, 160 secs
lola: 36704862 markings, 66572928 edges, 229799 markings/sec, 165 secs
lola: 37754644 markings, 68530232 edges, 209956 markings/sec, 170 secs
lola: 38745807 markings, 70502651 edges, 198233 markings/sec, 175 secs
lola: 39757042 markings, 72469594 edges, 202247 markings/sec, 180 secs
lola: 40853221 markings, 74358883 edges, 219236 markings/sec, 185 secs
lola: 41950304 markings, 76304010 edges, 219417 markings/sec, 190 secs
lola: 42937608 markings, 78272932 edges, 197461 markings/sec, 195 secs
lola: 43939367 markings, 80255811 edges, 200352 markings/sec, 200 secs
lola: 45001067 markings, 82172301 edges, 212340 markings/sec, 205 secs
lola: 46138031 markings, 84102843 edges, 227393 markings/sec, 210 secs
lola: 47137009 markings, 86051596 edges, 199796 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(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1238011 markings, 2016923 edges, 247602 markings/sec, 0 secs
lola: 2371437 markings, 4020516 edges, 226685 markings/sec, 5 secs
lola: 3497846 markings, 5937498 edges, 225282 markings/sec, 10 secs
lola: 4675393 markings, 7860713 edges, 235509 markings/sec, 15 secs
lola: 5849964 markings, 9771040 edges, 234914 markings/sec, 20 secs
lola: 6941464 markings, 11717824 edges, 218300 markings/sec, 25 secs
lola: 8026245 markings, 13590087 edges, 216956 markings/sec, 30 secs
lola: 9238327 markings, 15510053 edges, 242416 markings/sec, 35 secs
lola: 10392681 markings, 17405096 edges, 230871 markings/sec, 40 secs
lola: 11571904 markings, 19329384 edges, 235845 markings/sec, 45 secs
lola: 12666887 markings, 21269015 edges, 218997 markings/sec, 50 secs
lola: 13790704 markings, 23147136 edges, 224763 markings/sec, 55 secs
lola: 14954006 markings, 25041224 edges, 232660 markings/sec, 60 secs
lola: 16108975 markings, 26938522 edges, 230994 markings/sec, 65 secs
lola: 17231398 markings, 28862798 edges, 224485 markings/sec, 70 secs
lola: 18329134 markings, 30752258 edges, 219547 markings/sec, 75 secs
lola: 19472209 markings, 32626931 edges, 228615 markings/sec, 80 secs
lola: 20621463 markings, 34500002 edges, 229851 markings/sec, 85 secs
lola: 21783424 markings, 36383197 edges, 232392 markings/sec, 90 secs
lola: 22856383 markings, 38301117 edges, 214592 markings/sec, 95 secs
lola: 23929852 markings, 40150719 edges, 214694 markings/sec, 100 secs
lola: 25126195 markings, 42043415 edges, 239269 markings/sec, 105 secs
lola: 26260770 markings, 43911260 edges, 226915 markings/sec, 110 secs
lola: 27439767 markings, 45810677 edges, 235799 markings/sec, 115 secs
lola: 28511482 markings, 47737674 edges, 214343 markings/sec, 120 secs
lola: 29623416 markings, 49596456 edges, 222387 markings/sec, 125 secs
lola: 30783126 markings, 51478754 edges, 231942 markings/sec, 130 secs
lola: 31915532 markings, 53352927 edges, 226481 markings/sec, 135 secs
lola: 33053308 markings, 55270920 edges, 227555 markings/sec, 140 secs
lola: 34137595 markings, 57130892 edges, 216857 markings/sec, 145 secs
lola: 35253880 markings, 58991226 edges, 223257 markings/sec, 150 secs
lola: 36402667 markings, 60860825 edges, 229757 markings/sec, 155 secs
lola: 37562763 markings, 62757969 edges, 232019 markings/sec, 160 secs
lola: 38648717 markings, 64673080 edges, 217191 markings/sec, 165 secs
lola: 39742569 markings, 66536264 edges, 218770 markings/sec, 170 secs
lola: 40875983 markings, 68349725 edges, 226683 markings/sec, 175 secs
lola: 41966164 markings, 70148530 edges, 218036 markings/sec, 180 secs
lola: 43104124 markings, 71976242 edges, 227592 markings/sec, 185 secs
lola: 44137937 markings, 73839017 edges, 206763 markings/sec, 190 secs
lola: 45177091 markings, 75637061 edges, 207831 markings/sec, 195 secs
lola: 46302021 markings, 77409377 edges, 224986 markings/sec, 200 secs
lola: 47378257 markings, 79184253 edges, 215247 markings/sec, 205 secs
lola: 48524580 markings, 81009663 edges, 229265 markings/sec, 210 secs
lola: 49551452 markings, 82873914 edges, 205374 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(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1093297 markings, 1966930 edges, 218659 markings/sec, 0 secs
lola: 2318058 markings, 4065962 edges, 244952 markings/sec, 5 secs
lola: 3479348 markings, 6138104 edges, 232258 markings/sec, 10 secs
lola: 4607600 markings, 8186769 edges, 225650 markings/sec, 15 secs
lola: 5704152 markings, 10252876 edges, 219310 markings/sec, 20 secs
lola: 6839393 markings, 12292860 edges, 227048 markings/sec, 25 secs
lola: 7974453 markings, 14336272 edges, 227012 markings/sec, 30 secs
lola: 9056476 markings, 16380153 edges, 216405 markings/sec, 35 secs
lola: 10172038 markings, 18420567 edges, 223112 markings/sec, 40 secs
lola: 11300436 markings, 20446490 edges, 225680 markings/sec, 45 secs
lola: 12365658 markings, 22427967 edges, 213044 markings/sec, 50 secs
lola: 13409181 markings, 24360362 edges, 208705 markings/sec, 55 secs
lola: 14463472 markings, 26246501 edges, 210858 markings/sec, 60 secs
lola: 15487217 markings, 28155853 edges, 204749 markings/sec, 65 secs
lola: 16526555 markings, 30068015 edges, 207868 markings/sec, 70 secs
lola: 17591879 markings, 31979400 edges, 213065 markings/sec, 75 secs
lola: 18628147 markings, 33916598 edges, 207254 markings/sec, 80 secs
lola: 19676070 markings, 35842361 edges, 209585 markings/sec, 85 secs
lola: 20746654 markings, 37762647 edges, 214117 markings/sec, 90 secs
lola: 21786840 markings, 39706663 edges, 208037 markings/sec, 95 secs
lola: 22840615 markings, 41642452 edges, 210755 markings/sec, 100 secs
lola: 23919624 markings, 43578928 edges, 215802 markings/sec, 105 secs
lola: 24974867 markings, 45532730 edges, 211049 markings/sec, 110 secs
lola: 26085202 markings, 47483458 edges, 222067 markings/sec, 115 secs
lola: 27175391 markings, 49494070 edges, 218038 markings/sec, 120 secs
lola: 28164936 markings, 51457126 edges, 197909 markings/sec, 125 secs
lola: 29001565 markings, 53167601 edges, 167326 markings/sec, 130 secs
lola: 29943598 markings, 55093028 edges, 188407 markings/sec, 135 secs
lola: 31186748 markings, 57132831 edges, 248630 markings/sec, 140 secs
lola: 32396717 markings, 59120894 edges, 241994 markings/sec, 145 secs
lola: 33504771 markings, 61141155 edges, 221611 markings/sec, 150 secs
lola: 34604175 markings, 63156918 edges, 219881 markings/sec, 155 secs
lola: 35710681 markings, 65129348 edges, 221301 markings/sec, 160 secs
lola: 36858311 markings, 67103663 edges, 229526 markings/sec, 165 secs
lola: 37910369 markings, 69086825 edges, 210412 markings/sec, 170 secs
lola: 38966079 markings, 71098892 edges, 211142 markings/sec, 175 secs
lola: 40000362 markings, 73111734 edges, 206857 markings/sec, 180 secs
lola: 41128911 markings, 75026520 edges, 225710 markings/sec, 185 secs
lola: 42223656 markings, 77007988 edges, 218949 markings/sec, 190 secs
lola: 43248580 markings, 78999773 edges, 204985 markings/sec, 195 secs
lola: 44275966 markings, 81005648 edges, 205477 markings/sec, 200 secs
lola: 45300037 markings, 82981500 edges, 204814 markings/sec, 205 secs
lola: 46443625 markings, 84906805 edges, 228718 markings/sec, 210 secs
lola: 47506059 markings, 86873308 edges, 212487 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(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 975252 markings, 2037006 edges, 195050 markings/sec, 0 secs
lola: 1850493 markings, 4085576 edges, 175048 markings/sec, 5 secs
lola: 2768230 markings, 6081111 edges, 183547 markings/sec, 10 secs
lola: 3676164 markings, 8104374 edges, 181587 markings/sec, 15 secs
lola: 4641883 markings, 10202074 edges, 193144 markings/sec, 20 secs
lola: 5559636 markings, 12216795 edges, 183551 markings/sec, 25 secs
lola: 6494697 markings, 14237296 edges, 187012 markings/sec, 30 secs
lola: 7414094 markings, 16253573 edges, 183879 markings/sec, 35 secs
lola: 8376394 markings, 18312790 edges, 192460 markings/sec, 40 secs
lola: 9272089 markings, 20362724 edges, 179139 markings/sec, 45 secs
lola: 10122974 markings, 22358996 edges, 170177 markings/sec, 50 secs
lola: 10940043 markings, 24344738 edges, 163414 markings/sec, 55 secs
lola: 11628431 markings, 26207475 edges, 137678 markings/sec, 60 secs
lola: 12332779 markings, 28086409 edges, 140870 markings/sec, 65 secs
lola: 13114288 markings, 30043661 edges, 156302 markings/sec, 70 secs
lola: 13878106 markings, 31958741 edges, 152764 markings/sec, 75 secs
lola: 14691222 markings, 33917324 edges, 162623 markings/sec, 80 secs
lola: 15469456 markings, 35842314 edges, 155647 markings/sec, 85 secs
lola: 16241768 markings, 37750901 edges, 154462 markings/sec, 90 secs
lola: 17121777 markings, 39719507 edges, 176002 markings/sec, 95 secs
lola: 17940938 markings, 41687809 edges, 163832 markings/sec, 100 secs
lola: 18842296 markings, 43644674 edges, 180272 markings/sec, 105 secs
lola: 19706176 markings, 45600757 edges, 172776 markings/sec, 110 secs
lola: 20558841 markings, 47575052 edges, 170533 markings/sec, 115 secs
lola: 21380940 markings, 49560170 edges, 164420 markings/sec, 120 secs
lola: 22239888 markings, 51557432 edges, 171790 markings/sec, 125 secs
lola: 23132994 markings, 53572761 edges, 178621 markings/sec, 130 secs
lola: 24028400 markings, 55510068 edges, 179081 markings/sec, 135 secs
lola: 24868078 markings, 57379731 edges, 167936 markings/sec, 140 secs
lola: 25720639 markings, 59248019 edges, 170512 markings/sec, 145 secs
lola: 26556425 markings, 61115623 edges, 167157 markings/sec, 150 secs
lola: 27384629 markings, 62943458 edges, 165641 markings/sec, 155 secs
lola: 28234638 markings, 64783526 edges, 170002 markings/sec, 160 secs
lola: 29087413 markings, 66652797 edges, 170555 markings/sec, 165 secs
lola: 29958440 markings, 68514773 edges, 174205 markings/sec, 170 secs
lola: 30865793 markings, 70443391 edges, 181471 markings/sec, 175 secs
lola: 31692573 markings, 72351780 edges, 165356 markings/sec, 180 secs
lola: 32501989 markings, 74240284 edges, 161883 markings/sec, 185 secs
lola: 33310731 markings, 76104479 edges, 161748 markings/sec, 190 secs
lola: 34125810 markings, 77989324 edges, 163016 markings/sec, 195 secs
lola: 34892065 markings, 79911760 edges, 153251 markings/sec, 200 secs
lola: 35577694 markings, 81752933 edges, 137126 markings/sec, 205 secs
lola: 36247242 markings, 83580809 edges, 133910 markings/sec, 210 secs
lola: 36939997 markings, 85411061 edges, 138551 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(p112)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1259095 markings, 1815047 edges, 251819 markings/sec, 0 secs
lola: 2470343 markings, 3580160 edges, 242250 markings/sec, 5 secs
lola: 3656602 markings, 5300588 edges, 237252 markings/sec, 10 secs
lola: 4864016 markings, 7076767 edges, 241483 markings/sec, 15 secs
lola: 6040103 markings, 8850926 edges, 235217 markings/sec, 20 secs
lola: 7227889 markings, 10566531 edges, 237557 markings/sec, 25 secs
lola: 8405520 markings, 12279201 edges, 235526 markings/sec, 30 secs
lola: 9569103 markings, 13959530 edges, 232717 markings/sec, 35 secs
lola: 10718837 markings, 15607266 edges, 229947 markings/sec, 40 secs
lola: 11840316 markings, 17307556 edges, 224296 markings/sec, 45 secs
lola: 12984851 markings, 18953423 edges, 228907 markings/sec, 50 secs
lola: 14136163 markings, 20731576 edges, 230262 markings/sec, 55 secs
lola: 15270175 markings, 22490115 edges, 226802 markings/sec, 60 secs
lola: 16371521 markings, 24168986 edges, 220269 markings/sec, 65 secs
lola: 17532792 markings, 25890038 edges, 232254 markings/sec, 70 secs
lola: 18658214 markings, 27583573 edges, 225084 markings/sec, 75 secs
lola: 19765760 markings, 29239197 edges, 221509 markings/sec, 80 secs
lola: 20897290 markings, 30924979 edges, 226306 markings/sec, 85 secs
lola: 22017927 markings, 32554464 edges, 224127 markings/sec, 90 secs
lola: 23197449 markings, 34262623 edges, 235904 markings/sec, 95 secs
lola: 24358546 markings, 35928507 edges, 232219 markings/sec, 100 secs
lola: 25494655 markings, 37580341 edges, 227222 markings/sec, 105 secs
lola: 26611589 markings, 39239428 edges, 223387 markings/sec, 110 secs
lola: 27736108 markings, 40888572 edges, 224904 markings/sec, 115 secs
lola: 28852573 markings, 42581334 edges, 223293 markings/sec, 120 secs
lola: 29943830 markings, 44235687 edges, 218251 markings/sec, 125 secs
lola: 31064996 markings, 45881776 edges, 224233 markings/sec, 130 secs
lola: 32205639 markings, 47627509 edges, 228129 markings/sec, 135 secs
lola: 33301065 markings, 49349242 edges, 219085 markings/sec, 140 secs
lola: 34409609 markings, 51074541 edges, 221709 markings/sec, 145 secs
lola: 35488576 markings, 52754580 edges, 215793 markings/sec, 150 secs
lola: 36579683 markings, 54510770 edges, 218221 markings/sec, 155 secs
lola: 37653217 markings, 56152386 edges, 214707 markings/sec, 160 secs
lola: 38759097 markings, 57785706 edges, 221176 markings/sec, 165 secs
lola: 39896636 markings, 59498851 edges, 227508 markings/sec, 170 secs
lola: 40994891 markings, 61170400 edges, 219651 markings/sec, 175 secs
lola: 42060042 markings, 62842292 edges, 213030 markings/sec, 180 secs
lola: 43166429 markings, 64506907 edges, 221277 markings/sec, 185 secs
lola: 44291433 markings, 66142062 edges, 225001 markings/sec, 190 secs
lola: 45421784 markings, 67749589 edges, 226070 markings/sec, 195 secs
lola: 46554786 markings, 69476573 edges, 226600 markings/sec, 200 secs
lola: 47715215 markings, 71119786 edges, 232086 markings/sec, 205 secs
lola: 48877115 markings, 72795183 edges, 232380 markings/sec, 210 secs
lola: 50017866 markings, 74472409 edges, 228150 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(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1220076 markings, 1986299 edges, 244015 markings/sec, 0 secs
lola: 2344598 markings, 3971864 edges, 224904 markings/sec, 5 secs
lola: 3460522 markings, 5870900 edges, 223185 markings/sec, 10 secs
lola: 4622493 markings, 7770046 edges, 232394 markings/sec, 15 secs
lola: 5784244 markings, 9671092 edges, 232350 markings/sec, 20 secs
lola: 6870267 markings, 11603858 edges, 217205 markings/sec, 25 secs
lola: 7960292 markings, 13474230 edges, 218005 markings/sec, 30 secs
lola: 9158885 markings, 15373087 edges, 239719 markings/sec, 35 secs
lola: 10298718 markings, 17251472 edges, 227967 markings/sec, 40 secs
lola: 11475148 markings, 19139536 edges, 235286 markings/sec, 45 secs
lola: 12547191 markings, 21066554 edges, 214409 markings/sec, 50 secs
lola: 13659838 markings, 22933853 edges, 222529 markings/sec, 55 secs
lola: 14821103 markings, 24818641 edges, 232253 markings/sec, 60 secs
lola: 15952509 markings, 26688306 edges, 226281 markings/sec, 65 secs
lola: 17092363 markings, 28602882 edges, 227971 markings/sec, 70 secs
lola: 18190628 markings, 30493946 edges, 219653 markings/sec, 75 secs
lola: 19303110 markings, 32347612 edges, 222496 markings/sec, 80 secs
lola: 20444478 markings, 34208278 edges, 228274 markings/sec, 85 secs
lola: 21589666 markings, 36079122 edges, 229038 markings/sec, 90 secs
lola: 22669585 markings, 37976299 edges, 215984 markings/sec, 95 secs
lola: 23753013 markings, 39825361 edges, 216686 markings/sec, 100 secs
lola: 24914166 markings, 41690257 edges, 232231 markings/sec, 105 secs
lola: 26035221 markings, 43539614 edges, 224211 markings/sec, 110 secs
lola: 27202098 markings, 45407415 edges, 233375 markings/sec, 115 secs
lola: 28261809 markings, 47313786 edges, 211942 markings/sec, 120 secs
lola: 29332015 markings, 49148681 edges, 214041 markings/sec, 125 secs
lola: 30493759 markings, 51008473 edges, 232349 markings/sec, 130 secs
lola: 31607028 markings, 52838311 edges, 222654 markings/sec, 135 secs
lola: 32759987 markings, 54697192 edges, 230592 markings/sec, 140 secs
lola: 33810149 markings, 56585336 edges, 210032 markings/sec, 145 secs
lola: 34893454 markings, 58399716 edges, 216661 markings/sec, 150 secs
lola: 36036711 markings, 60252943 edges, 228651 markings/sec, 155 secs
lola: 37155800 markings, 62099812 edges, 223818 markings/sec, 160 secs
lola: 38286310 markings, 63987521 edges, 226102 markings/sec, 165 secs
lola: 39372817 markings, 65865831 edges, 217301 markings/sec, 170 secs
lola: 40436605 markings, 67647428 edges, 212758 markings/sec, 175 secs
lola: 41527620 markings, 69427626 edges, 218203 markings/sec, 180 secs
lola: 42618065 markings, 71220541 edges, 218089 markings/sec, 185 secs
lola: 43692469 markings, 73038792 edges, 214881 markings/sec, 190 secs
lola: 44753505 markings, 74860353 edges, 212207 markings/sec, 195 secs
lola: 45791756 markings, 76592108 edges, 207650 markings/sec, 200 secs
lola: 46865072 markings, 78345553 edges, 214663 markings/sec, 205 secs
lola: 47948293 markings, 80122490 edges, 216644 markings/sec, 210 secs
lola: 49010717 markings, 81920880 edges, 212485 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1089956 markings, 2065723 edges, 217991 markings/sec, 0 secs
lola: 2082439 markings, 4064486 edges, 198497 markings/sec, 5 secs
lola: 3017084 markings, 6075875 edges, 186929 markings/sec, 10 secs
lola: 4106132 markings, 8046805 edges, 217810 markings/sec, 15 secs
lola: 5127753 markings, 10076893 edges, 204324 markings/sec, 20 secs
lola: 6100905 markings, 12148080 edges, 194630 markings/sec, 25 secs
lola: 7078592 markings, 14083225 edges, 195537 markings/sec, 30 secs
lola: 8051827 markings, 15968107 edges, 194647 markings/sec, 35 secs
lola: 8945462 markings, 17846477 edges, 178727 markings/sec, 40 secs
lola: 9875694 markings, 19830804 edges, 186046 markings/sec, 45 secs
lola: 10733779 markings, 21798253 edges, 171617 markings/sec, 50 secs
lola: 11563502 markings, 23727130 edges, 165945 markings/sec, 55 secs
lola: 12462813 markings, 25634202 edges, 179862 markings/sec, 60 secs
lola: 13398691 markings, 27459319 edges, 187176 markings/sec, 65 secs
lola: 14423142 markings, 29283838 edges, 204890 markings/sec, 70 secs
lola: 15413736 markings, 31212840 edges, 198119 markings/sec, 75 secs
lola: 16370963 markings, 33127272 edges, 191445 markings/sec, 80 secs
lola: 17245062 markings, 35025787 edges, 174820 markings/sec, 85 secs
lola: 18159054 markings, 36810220 edges, 182798 markings/sec, 90 secs
lola: 19120394 markings, 38667724 edges, 192268 markings/sec, 95 secs
lola: 20001864 markings, 40527957 edges, 176294 markings/sec, 100 secs
lola: 20871340 markings, 42435469 edges, 173895 markings/sec, 105 secs
lola: 21817216 markings, 44372120 edges, 189175 markings/sec, 110 secs
lola: 22643324 markings, 46237881 edges, 165222 markings/sec, 115 secs
lola: 23429158 markings, 48068511 edges, 157167 markings/sec, 120 secs
lola: 24269362 markings, 49953072 edges, 168041 markings/sec, 125 secs
lola: 25193199 markings, 51743866 edges, 184767 markings/sec, 130 secs
lola: 26062462 markings, 53473512 edges, 173853 markings/sec, 135 secs
lola: 27123405 markings, 55305615 edges, 212189 markings/sec, 140 secs
lola: 28041225 markings, 57142697 edges, 183564 markings/sec, 145 secs
lola: 28947664 markings, 59024791 edges, 181288 markings/sec, 150 secs
lola: 29837193 markings, 60893099 edges, 177906 markings/sec, 155 secs
lola: 30763914 markings, 62642582 edges, 185344 markings/sec, 160 secs
lola: 31671348 markings, 64517091 edges, 181487 markings/sec, 165 secs
lola: 32542116 markings, 66335574 edges, 174154 markings/sec, 170 secs
lola: 33429203 markings, 68224405 edges, 177417 markings/sec, 175 secs
lola: 34297371 markings, 70116658 edges, 173634 markings/sec, 180 secs
lola: 35098025 markings, 71882281 edges, 160131 markings/sec, 185 secs
lola: 35898424 markings, 73726803 edges, 160080 markings/sec, 190 secs
lola: 36741461 markings, 75587769 edges, 168607 markings/sec, 195 secs
lola: 37651394 markings, 77316770 edges, 181987 markings/sec, 200 secs
lola: 38577538 markings, 79073945 edges, 185229 markings/sec, 205 secs
lola: 39579532 markings, 80907961 edges, 200399 markings/sec, 210 secs
lola: 40490652 markings, 82738589 edges, 182224 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(p6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1378310 markings, 1954075 edges, 275662 markings/sec, 0 secs
lola: 2718803 markings, 3887857 edges, 268099 markings/sec, 5 secs
lola: 4067591 markings, 5798946 edges, 269758 markings/sec, 10 secs
lola: 5367191 markings, 7756049 edges, 259920 markings/sec, 15 secs
lola: 6690437 markings, 9635828 edges, 264649 markings/sec, 20 secs
lola: 8000876 markings, 11517658 edges, 262088 markings/sec, 25 secs
lola: 9312926 markings, 13480282 edges, 262410 markings/sec, 30 secs
lola: 10609098 markings, 15398397 edges, 259234 markings/sec, 35 secs
lola: 11881680 markings, 17343036 edges, 254516 markings/sec, 40 secs
lola: 13178725 markings, 19244120 edges, 259409 markings/sec, 45 secs
lola: 14470212 markings, 21151801 edges, 258297 markings/sec, 50 secs
lola: 15746229 markings, 22947138 edges, 255203 markings/sec, 55 secs
lola: 17035960 markings, 24893181 edges, 257946 markings/sec, 60 secs
lola: 18344049 markings, 26786608 edges, 261618 markings/sec, 65 secs
lola: 19664194 markings, 28672181 edges, 264029 markings/sec, 70 secs
lola: 20960193 markings, 30555081 edges, 259200 markings/sec, 75 secs
lola: 22231587 markings, 32434060 edges, 254279 markings/sec, 80 secs
lola: 23529063 markings, 34372529 edges, 259495 markings/sec, 85 secs
lola: 24722003 markings, 36283528 edges, 238588 markings/sec, 90 secs
lola: 26007438 markings, 38206756 edges, 257087 markings/sec, 95 secs
lola: 27228070 markings, 40131609 edges, 244126 markings/sec, 100 secs
lola: 28425517 markings, 42059852 edges, 239489 markings/sec, 105 secs
lola: 29592512 markings, 43848708 edges, 233399 markings/sec, 110 secs
lola: 30854498 markings, 45677537 edges, 252397 markings/sec, 115 secs
lola: 32108527 markings, 47616305 edges, 250806 markings/sec, 120 secs
lola: 33418068 markings, 49500806 edges, 261908 markings/sec, 125 secs
lola: 34653789 markings, 51403631 edges, 247144 markings/sec, 130 secs
lola: 35926696 markings, 53302565 edges, 254581 markings/sec, 135 secs
lola: 37153057 markings, 55124291 edges, 245272 markings/sec, 140 secs
lola: 38400375 markings, 56901373 edges, 249464 markings/sec, 145 secs
lola: 39655135 markings, 58781005 edges, 250952 markings/sec, 150 secs
lola: 40930108 markings, 60676282 edges, 254995 markings/sec, 155 secs
lola: 42254091 markings, 62557970 edges, 264797 markings/sec, 160 secs
lola: 43578727 markings, 64436294 edges, 264927 markings/sec, 165 secs
lola: 44839661 markings, 66316216 edges, 252187 markings/sec, 170 secs
lola: 46123387 markings, 68169698 edges, 256745 markings/sec, 175 secs
lola: 47359802 markings, 70067203 edges, 247283 markings/sec, 180 secs
lola: 48611792 markings, 71944504 edges, 250398 markings/sec, 185 secs
lola: 49873799 markings, 73803135 edges, 252401 markings/sec, 190 secs
lola: 51044122 markings, 75662811 edges, 234065 markings/sec, 195 secs
lola: 52210101 markings, 77547828 edges, 233196 markings/sec, 200 secs
lola: 53351350 markings, 79388452 edges, 228250 markings/sec, 205 secs
lola: 54558267 markings, 81220464 edges, 241383 markings/sec, 210 secs
lola: 55743168 markings, 83127173 edges, 236980 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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1112161 markings, 1941766 edges, 222432 markings/sec, 0 secs
lola: 2306498 markings, 4013364 edges, 238867 markings/sec, 5 secs
lola: 3440593 markings, 6049699 edges, 226819 markings/sec, 10 secs
lola: 4571561 markings, 8087525 edges, 226194 markings/sec, 15 secs
lola: 5684565 markings, 10105287 edges, 222601 markings/sec, 20 secs
lola: 6754255 markings, 12111561 edges, 213938 markings/sec, 25 secs
lola: 7836497 markings, 14120817 edges, 216448 markings/sec, 30 secs
lola: 8935899 markings, 16109931 edges, 219880 markings/sec, 35 secs
lola: 10042452 markings, 18100867 edges, 221311 markings/sec, 40 secs
lola: 11103858 markings, 20038437 edges, 212281 markings/sec, 45 secs
lola: 12106467 markings, 21942666 edges, 200522 markings/sec, 50 secs
lola: 13142329 markings, 23815865 edges, 207172 markings/sec, 55 secs
lola: 14191984 markings, 25698674 edges, 209931 markings/sec, 60 secs
lola: 15225277 markings, 27592265 edges, 206659 markings/sec, 65 secs
lola: 16233757 markings, 29507498 edges, 201696 markings/sec, 70 secs
lola: 17280200 markings, 31391707 edges, 209289 markings/sec, 75 secs
lola: 18333978 markings, 33282383 edges, 210756 markings/sec, 80 secs
lola: 19370724 markings, 35183090 edges, 207349 markings/sec, 85 secs
lola: 20384454 markings, 37107537 edges, 202746 markings/sec, 90 secs
lola: 21443710 markings, 39015223 edges, 211851 markings/sec, 95 secs
lola: 22520788 markings, 40928957 edges, 215416 markings/sec, 100 secs
lola: 23604601 markings, 42881314 edges, 216763 markings/sec, 105 secs
lola: 24655614 markings, 44866186 edges, 210203 markings/sec, 110 secs
lola: 25531021 markings, 46594883 edges, 175081 markings/sec, 115 secs
lola: 26468574 markings, 48446339 edges, 187511 markings/sec, 120 secs
lola: 27685322 markings, 50432232 edges, 243350 markings/sec, 125 secs
lola: 28886199 markings, 52379515 edges, 240175 markings/sec, 130 secs
lola: 29957431 markings, 54348772 edges, 214246 markings/sec, 135 secs
lola: 31039345 markings, 56356061 edges, 216383 markings/sec, 140 secs
lola: 32173312 markings, 58277803 edges, 226793 markings/sec, 145 secs
lola: 33275836 markings, 60260123 edges, 220505 markings/sec, 150 secs
lola: 34311514 markings, 62248963 edges, 207136 markings/sec, 155 secs
lola: 35339458 markings, 64261065 edges, 205589 markings/sec, 160 secs
lola: 36460368 markings, 66165028 edges, 224182 markings/sec, 165 secs
lola: 37557910 markings, 68133279 edges, 219508 markings/sec, 170 secs
lola: 38560698 markings, 70129509 edges, 200558 markings/sec, 175 secs
lola: 39573986 markings, 72128335 edges, 202658 markings/sec, 180 secs
lola: 40654886 markings, 74042357 edges, 216180 markings/sec, 185 secs
lola: 41780712 markings, 75986306 edges, 225165 markings/sec, 190 secs
lola: 42790195 markings, 77957714 edges, 201897 markings/sec, 195 secs
lola: 43792711 markings, 79942077 edges, 200503 markings/sec, 200 secs
lola: 44828183 markings, 81877999 edges, 207094 markings/sec, 205 secs
lola: 45962127 markings, 83790234 edges, 226789 markings/sec, 210 secs
lola: 46982780 markings, 85721588 edges, 204131 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1045672 markings, 2150035 edges, 209134 markings/sec, 0 secs
lola: 2045012 markings, 4175956 edges, 199868 markings/sec, 5 secs
lola: 3026458 markings, 6182591 edges, 196289 markings/sec, 10 secs
lola: 3967915 markings, 8119553 edges, 188291 markings/sec, 15 secs
lola: 4932802 markings, 10063726 edges, 192977 markings/sec, 20 secs
lola: 5874001 markings, 12038501 edges, 188240 markings/sec, 25 secs
lola: 6813990 markings, 13937280 edges, 187998 markings/sec, 30 secs
lola: 7776243 markings, 15871554 edges, 192451 markings/sec, 35 secs
lola: 8688427 markings, 17822833 edges, 182437 markings/sec, 40 secs
lola: 9637632 markings, 19734855 edges, 189841 markings/sec, 45 secs
lola: 10576479 markings, 21658979 edges, 187769 markings/sec, 50 secs
lola: 11484331 markings, 23511538 edges, 181570 markings/sec, 55 secs
lola: 12421577 markings, 25390160 edges, 187449 markings/sec, 60 secs
lola: 13312768 markings, 27299214 edges, 178238 markings/sec, 65 secs
lola: 14237510 markings, 29159502 edges, 184948 markings/sec, 70 secs
lola: 15156478 markings, 31045899 edges, 183794 markings/sec, 75 secs
lola: 16055675 markings, 32874403 edges, 179839 markings/sec, 80 secs
lola: 16990270 markings, 34750852 edges, 186919 markings/sec, 85 secs
lola: 17875408 markings, 36650183 edges, 177028 markings/sec, 90 secs
lola: 18806279 markings, 38506176 edges, 186174 markings/sec, 95 secs
lola: 19718443 markings, 40400082 edges, 182433 markings/sec, 100 secs
lola: 20623610 markings, 42233680 edges, 181033 markings/sec, 105 secs
lola: 21556556 markings, 44112187 edges, 186589 markings/sec, 110 secs
lola: 22448019 markings, 46000821 edges, 178293 markings/sec, 115 secs
lola: 23415745 markings, 47916477 edges, 193545 markings/sec, 120 secs
lola: 24430996 markings, 50011042 edges, 203050 markings/sec, 125 secs
lola: 25387211 markings, 52092046 edges, 191243 markings/sec, 130 secs
lola: 26396831 markings, 54028235 edges, 201924 markings/sec, 135 secs
lola: 27348795 markings, 56072345 edges, 190393 markings/sec, 140 secs
lola: 28251440 markings, 58059448 edges, 180529 markings/sec, 145 secs
lola: 29252531 markings, 59925988 edges, 200218 markings/sec, 150 secs
lola: 30187910 markings, 61885565 edges, 187076 markings/sec, 155 secs
lola: 31083166 markings, 63924375 edges, 179051 markings/sec, 160 secs
lola: 31998995 markings, 65844423 edges, 183166 markings/sec, 165 secs
lola: 32978823 markings, 67669149 edges, 195966 markings/sec, 170 secs
lola: 33897993 markings, 69606229 edges, 183834 markings/sec, 175 secs
lola: 34787807 markings, 71627283 edges, 177963 markings/sec, 180 secs
lola: 35702734 markings, 73531949 edges, 182985 markings/sec, 185 secs
lola: 36664057 markings, 75343809 edges, 192265 markings/sec, 190 secs
lola: 37579281 markings, 77267825 edges, 183045 markings/sec, 195 secs
lola: 38461289 markings, 79263220 edges, 176402 markings/sec, 200 secs
lola: 39370722 markings, 81161536 edges, 181887 markings/sec, 205 secs
lola: 40321176 markings, 82957450 edges, 190091 markings/sec, 210 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(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: 1039194 markings, 1930645 edges, 207839 markings/sec, 0 secs
lola: 2270325 markings, 4044067 edges, 246226 markings/sec, 5 secs
lola: 3429024 markings, 6129869 edges, 231740 markings/sec, 10 secs
lola: 4550898 markings, 8198857 edges, 224375 markings/sec, 15 secs
lola: 5644121 markings, 10279850 edges, 218645 markings/sec, 20 secs
lola: 6770137 markings, 12325784 edges, 225203 markings/sec, 25 secs
lola: 7895037 markings, 14376894 edges, 224980 markings/sec, 30 secs
lola: 8967765 markings, 16429003 edges, 214546 markings/sec, 35 secs
lola: 10072218 markings, 18469071 edges, 220891 markings/sec, 40 secs
lola: 11186040 markings, 20491935 edges, 222764 markings/sec, 45 secs
lola: 12239285 markings, 22476688 edges, 210649 markings/sec, 50 secs
lola: 13270349 markings, 24408746 edges, 206213 markings/sec, 55 secs
lola: 14313037 markings, 26298164 edges, 208538 markings/sec, 60 secs
lola: 15327145 markings, 28210648 edges, 202822 markings/sec, 65 secs
lola: 16349050 markings, 30113267 edges, 204381 markings/sec, 70 secs
lola: 17393846 markings, 32006693 edges, 208959 markings/sec, 75 secs
lola: 18408115 markings, 33931385 edges, 202854 markings/sec, 80 secs
lola: 19436638 markings, 35841741 edges, 205705 markings/sec, 85 secs
lola: 20488712 markings, 37749053 edges, 210415 markings/sec, 90 secs
lola: 21510327 markings, 39688265 edges, 204323 markings/sec, 95 secs
lola: 22546986 markings, 41610255 edges, 207332 markings/sec, 100 secs
lola: 23610390 markings, 43539107 edges, 212681 markings/sec, 105 secs
lola: 24645231 markings, 45494421 edges, 206968 markings/sec, 110 secs
lola: 25741791 markings, 47431388 edges, 219312 markings/sec, 115 secs
lola: 26821977 markings, 49434310 edges, 216037 markings/sec, 120 secs
lola: 27807690 markings, 51423104 edges, 197143 markings/sec, 125 secs
lola: 28625436 markings, 53147288 edges, 163549 markings/sec, 130 secs
lola: 29515169 markings, 55028730 edges, 177947 markings/sec, 135 secs
lola: 30727816 markings, 57077320 edges, 242529 markings/sec, 140 secs
lola: 31929036 markings, 59057275 edges, 240244 markings/sec, 145 secs
lola: 33060278 markings, 61085073 edges, 226248 markings/sec, 150 secs
lola: 34160693 markings, 63124867 edges, 220083 markings/sec, 155 secs
lola: 35242356 markings, 65127968 edges, 216333 markings/sec, 160 secs
lola: 36391485 markings, 67108930 edges, 229826 markings/sec, 165 secs
lola: 37434272 markings, 69116970 edges, 208557 markings/sec, 170 secs
lola: 38492176 markings, 71134587 edges, 211581 markings/sec, 175 secs
lola: 39518547 markings, 73181625 edges, 205274 markings/sec, 180 secs
lola: 40646464 markings, 75117114 edges, 225583 markings/sec, 185 secs
lola: 41744904 markings, 77111008 edges, 219688 markings/sec, 190 secs
lola: 42768575 markings, 79131992 edges, 204734 markings/sec, 195 secs
lola: 43795364 markings, 81160757 edges, 205358 markings/sec, 200 secs
lola: 44814569 markings, 83169029 edges, 203841 markings/sec, 205 secs
lola: 45956958 markings, 85110786 edges, 228478 markings/sec, 210 secs
lola: 47015886 markings, 87087345 edges, 211786 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 24 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: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1
lola: ========================================
FORMULA DES-PT-20a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20a-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496455189571
--------------------
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_DES-PT-20a"
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_DES-PT-20a.tgz
mv S_DES-PT-20a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-20a, 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 r098-ebro-149488455700263"
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 ;