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-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432700029
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496437908611


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


checking for too many tokens
===========================================================================================
S_Raft-PT-10: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Raft-PT-10 @ 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: 1376/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 508 places, 868 transitions, 408 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 857 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-10-UpperBounds.task
lola: MAX(p370) : MAX(p301) : MAX(p431) : MAX(p41) : MAX(p425) : MAX(p256) : MAX(p402) : MAX(p195) : MAX(p168) : MAX(p327) : MAX(p420) : MAX(p67) : MAX(p203) : MAX(p11) : MAX(p220) : MAX(p479)
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(p370)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 190436 markings, 423487 edges, 38087 markings/sec, 0 secs
lola: 377961 markings, 840874 edges, 37505 markings/sec, 5 secs
lola: 558419 markings, 1243419 edges, 36092 markings/sec, 10 secs
lola: 733683 markings, 1633206 edges, 35053 markings/sec, 15 secs
lola: 914205 markings, 2034702 edges, 36104 markings/sec, 20 secs
lola: 1093558 markings, 2434683 edges, 35871 markings/sec, 25 secs
lola: 1267596 markings, 2822063 edges, 34808 markings/sec, 30 secs
lola: 1443539 markings, 3213875 edges, 35189 markings/sec, 35 secs
lola: 1617538 markings, 3601085 edges, 34800 markings/sec, 40 secs
lola: 1788940 markings, 3982996 edges, 34280 markings/sec, 45 secs
lola: 1969294 markings, 4384898 edges, 36071 markings/sec, 50 secs
lola: 2156023 markings, 4800882 edges, 37346 markings/sec, 55 secs
lola: 2339331 markings, 5209368 edges, 36662 markings/sec, 60 secs
lola: 2523488 markings, 5618907 edges, 36831 markings/sec, 65 secs
lola: 2711563 markings, 6037484 edges, 37615 markings/sec, 70 secs
lola: 2899830 markings, 6456051 edges, 37653 markings/sec, 75 secs
lola: 3085338 markings, 6869024 edges, 37102 markings/sec, 80 secs
lola: 3270096 markings, 7281186 edges, 36952 markings/sec, 85 secs
lola: 3450871 markings, 7683331 edges, 36155 markings/sec, 90 secs
lola: 3630795 markings, 8084511 edges, 35985 markings/sec, 95 secs
lola: 3810570 markings, 8484854 edges, 35955 markings/sec, 100 secs
lola: 3993540 markings, 8892793 edges, 36594 markings/sec, 105 secs
lola: 4176900 markings, 9302899 edges, 36672 markings/sec, 110 secs
lola: 4355681 markings, 9703091 edges, 35756 markings/sec, 115 secs
lola: 4534128 markings, 10100923 edges, 35689 markings/sec, 120 secs
lola: 4713774 markings, 10500448 edges, 35929 markings/sec, 125 secs
lola: 4899310 markings, 10914038 edges, 37107 markings/sec, 130 secs
lola: 5083579 markings, 11324847 edges, 36854 markings/sec, 135 secs
lola: 5269189 markings, 11738583 edges, 37122 markings/sec, 140 secs
lola: 5451563 markings, 12144212 edges, 36475 markings/sec, 145 secs
lola: 5635993 markings, 12554891 edges, 36886 markings/sec, 150 secs
lola: 5820523 markings, 12965454 edges, 36906 markings/sec, 155 secs
lola: 6009780 markings, 13386467 edges, 37851 markings/sec, 160 secs
lola: 6196888 markings, 13803375 edges, 37422 markings/sec, 165 secs
lola: 6384343 markings, 14221226 edges, 37491 markings/sec, 170 secs
lola: 6572486 markings, 14640919 edges, 37629 markings/sec, 175 secs
lola: 6759809 markings, 15059381 edges, 37465 markings/sec, 180 secs
lola: 6948386 markings, 15479902 edges, 37715 markings/sec, 185 secs
lola: 7134918 markings, 15896714 edges, 37306 markings/sec, 190 secs
lola: 7318917 markings, 16306940 edges, 36800 markings/sec, 195 secs
lola: 7504349 markings, 16720165 edges, 37086 markings/sec, 200 secs
lola: 7690135 markings, 17134395 edges, 37157 markings/sec, 205 secs
lola: 7881627 markings, 17560297 edges, 38298 markings/sec, 210 secs
lola: 8079685 markings, 18001657 edges, 39612 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(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 193399 markings, 523903 edges, 38680 markings/sec, 0 secs
lola: 391896 markings, 1060980 edges, 39699 markings/sec, 5 secs
lola: 584509 markings, 1582789 edges, 38523 markings/sec, 10 secs
lola: 776398 markings, 2102751 edges, 38378 markings/sec, 15 secs
lola: 968137 markings, 2623594 edges, 38348 markings/sec, 20 secs
lola: 1158619 markings, 3139703 edges, 38096 markings/sec, 25 secs
lola: 1349752 markings, 3658161 edges, 38227 markings/sec, 30 secs
lola: 1540510 markings, 4175483 edges, 38152 markings/sec, 35 secs
lola: 1724198 markings, 4673421 edges, 36738 markings/sec, 40 secs
lola: 1908629 markings, 5173703 edges, 36886 markings/sec, 45 secs
lola: 2093435 markings, 5674913 edges, 36961 markings/sec, 50 secs
lola: 2280890 markings, 6182978 edges, 37491 markings/sec, 55 secs
lola: 2469691 markings, 6695098 edges, 37760 markings/sec, 60 secs
lola: 2658018 markings, 7205936 edges, 37665 markings/sec, 65 secs
lola: 2847845 markings, 7720313 edges, 37965 markings/sec, 70 secs
lola: 3034254 markings, 8226017 edges, 37282 markings/sec, 75 secs
lola: 3217652 markings, 8722705 edges, 36680 markings/sec, 80 secs
lola: 3404758 markings, 9230088 edges, 37421 markings/sec, 85 secs
lola: 3589148 markings, 9729333 edges, 36878 markings/sec, 90 secs
lola: 3776545 markings, 10236085 edges, 37479 markings/sec, 95 secs
lola: 3964837 markings, 10746183 edges, 37658 markings/sec, 100 secs
lola: 4154792 markings, 11261406 edges, 37991 markings/sec, 105 secs
lola: 4344506 markings, 11776828 edges, 37943 markings/sec, 110 secs
lola: 4532862 markings, 12286324 edges, 37671 markings/sec, 115 secs
lola: 4718094 markings, 12788479 edges, 37046 markings/sec, 120 secs
lola: 4903138 markings, 13291038 edges, 37009 markings/sec, 125 secs
lola: 5088148 markings, 13794163 edges, 37002 markings/sec, 130 secs
lola: 5271276 markings, 14291039 edges, 36626 markings/sec, 135 secs
lola: 5456518 markings, 14793722 edges, 37048 markings/sec, 140 secs
lola: 5642158 markings, 15296411 edges, 37128 markings/sec, 145 secs
lola: 5827557 markings, 15799357 edges, 37080 markings/sec, 150 secs
lola: 6009940 markings, 16293642 edges, 36477 markings/sec, 155 secs
lola: 6191749 markings, 16785843 edges, 36362 markings/sec, 160 secs
lola: 6373920 markings, 17280017 edges, 36434 markings/sec, 165 secs
lola: 6555044 markings, 17772026 edges, 36225 markings/sec, 170 secs
lola: 6736196 markings, 18263210 edges, 36230 markings/sec, 175 secs
lola: 6917483 markings, 18754949 edges, 36257 markings/sec, 180 secs
lola: 7097925 markings, 19244151 edges, 36088 markings/sec, 185 secs
lola: 7280772 markings, 19739436 edges, 36569 markings/sec, 190 secs
lola: 7462662 markings, 20232412 edges, 36378 markings/sec, 195 secs
lola: 7644208 markings, 20724661 edges, 36309 markings/sec, 200 secs
lola: 7823712 markings, 21212615 edges, 35901 markings/sec, 205 secs
lola: 7997798 markings, 21683797 edges, 34817 markings/sec, 210 secs
lola: 8172970 markings, 22158149 edges, 35034 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(p431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 184742 markings, 335220 edges, 36948 markings/sec, 0 secs
lola: 377592 markings, 685254 edges, 38570 markings/sec, 5 secs
lola: 575640 markings, 1045255 edges, 39610 markings/sec, 10 secs
lola: 773265 markings, 1404479 edges, 39525 markings/sec, 15 secs
lola: 969781 markings, 1760987 edges, 39303 markings/sec, 20 secs
lola: 1165255 markings, 2116310 edges, 39095 markings/sec, 25 secs
lola: 1360092 markings, 2469946 edges, 38967 markings/sec, 30 secs
lola: 1555598 markings, 2824886 edges, 39101 markings/sec, 35 secs
lola: 1750209 markings, 3178587 edges, 38922 markings/sec, 40 secs
lola: 1943036 markings, 3529638 edges, 38565 markings/sec, 45 secs
lola: 2132463 markings, 3873326 edges, 37885 markings/sec, 50 secs
lola: 2322327 markings, 4218018 edges, 37973 markings/sec, 55 secs
lola: 2510101 markings, 4559350 edges, 37555 markings/sec, 60 secs
lola: 2699930 markings, 4904199 edges, 37966 markings/sec, 65 secs
lola: 2891058 markings, 5251222 edges, 38226 markings/sec, 70 secs
lola: 3083003 markings, 5599764 edges, 38389 markings/sec, 75 secs
lola: 3274566 markings, 5947889 edges, 38313 markings/sec, 80 secs
lola: 3465143 markings, 6293919 edges, 38115 markings/sec, 85 secs
lola: 3655823 markings, 6640120 edges, 38136 markings/sec, 90 secs
lola: 3846541 markings, 6986349 edges, 38144 markings/sec, 95 secs
lola: 4040261 markings, 7338276 edges, 38744 markings/sec, 100 secs
lola: 4235738 markings, 7692993 edges, 39095 markings/sec, 105 secs
lola: 4434186 markings, 8052936 edges, 39690 markings/sec, 110 secs
lola: 4632309 markings, 8412425 edges, 39625 markings/sec, 115 secs
lola: 4829611 markings, 8770398 edges, 39460 markings/sec, 120 secs
lola: 5024744 markings, 9124625 edges, 39027 markings/sec, 125 secs
lola: 5219353 markings, 9477754 edges, 38922 markings/sec, 130 secs
lola: 5413215 markings, 9829931 edges, 38772 markings/sec, 135 secs
lola: 5605172 markings, 10178589 edges, 38391 markings/sec, 140 secs
lola: 5796818 markings, 10526858 edges, 38329 markings/sec, 145 secs
lola: 5989461 markings, 10876382 edges, 38529 markings/sec, 150 secs
lola: 6181179 markings, 11224496 edges, 38344 markings/sec, 155 secs
lola: 6377459 markings, 11581331 edges, 39256 markings/sec, 160 secs
lola: 6575130 markings, 11940307 edges, 39534 markings/sec, 165 secs
lola: 6770470 markings, 12294809 edges, 39068 markings/sec, 170 secs
lola: 6966485 markings, 12650464 edges, 39203 markings/sec, 175 secs
lola: 7164273 markings, 13009658 edges, 39558 markings/sec, 180 secs
lola: 7360977 markings, 13366632 edges, 39341 markings/sec, 185 secs
lola: 7552487 markings, 13714323 edges, 38302 markings/sec, 190 secs
lola: 7738865 markings, 14053002 edges, 37276 markings/sec, 195 secs
lola: 7923472 markings, 14388096 edges, 36921 markings/sec, 200 secs
lola: 8106687 markings, 14720795 edges, 36643 markings/sec, 205 secs
lola: 8293541 markings, 15060173 edges, 37371 markings/sec, 210 secs
lola: 8488981 markings, 15414826 edges, 39088 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 185162 markings, 429688 edges, 37032 markings/sec, 0 secs
lola: 369151 markings, 858252 edges, 36798 markings/sec, 5 secs
lola: 553584 markings, 1287526 edges, 36887 markings/sec, 10 secs
lola: 740804 markings, 1723454 edges, 37444 markings/sec, 15 secs
lola: 926262 markings, 2154352 edges, 37092 markings/sec, 20 secs
lola: 1113541 markings, 2591320 edges, 37456 markings/sec, 25 secs
lola: 1302229 markings, 3029965 edges, 37738 markings/sec, 30 secs
lola: 1491293 markings, 3469759 edges, 37813 markings/sec, 35 secs
lola: 1681149 markings, 3910867 edges, 37971 markings/sec, 40 secs
lola: 1868901 markings, 4347819 edges, 37550 markings/sec, 45 secs
lola: 2055138 markings, 4780789 edges, 37247 markings/sec, 50 secs
lola: 2242721 markings, 5217845 edges, 37517 markings/sec, 55 secs
lola: 2428566 markings, 5651027 edges, 37169 markings/sec, 60 secs
lola: 2615193 markings, 6086523 edges, 37325 markings/sec, 65 secs
lola: 2800657 markings, 6520638 edges, 37093 markings/sec, 70 secs
lola: 2988437 markings, 6956251 edges, 37556 markings/sec, 75 secs
lola: 3174924 markings, 7390559 edges, 37297 markings/sec, 80 secs
lola: 3361417 markings, 7825888 edges, 37299 markings/sec, 85 secs
lola: 3546901 markings, 8259558 edges, 37097 markings/sec, 90 secs
lola: 3729271 markings, 8687637 edges, 36474 markings/sec, 95 secs
lola: 3906347 markings, 9098939 edges, 35415 markings/sec, 100 secs
lola: 4082885 markings, 9509726 edges, 35308 markings/sec, 105 secs
lola: 4259446 markings, 9920975 edges, 35312 markings/sec, 110 secs
lola: 4445531 markings, 10355150 edges, 37217 markings/sec, 115 secs
lola: 4631331 markings, 10786511 edges, 37160 markings/sec, 120 secs
lola: 4817505 markings, 11219835 edges, 37235 markings/sec, 125 secs
lola: 5004030 markings, 11653748 edges, 37305 markings/sec, 130 secs
lola: 5190311 markings, 12086655 edges, 37256 markings/sec, 135 secs
lola: 5377233 markings, 12522546 edges, 37384 markings/sec, 140 secs
lola: 5561582 markings, 12953774 edges, 36870 markings/sec, 145 secs
lola: 5748030 markings, 13390163 edges, 37290 markings/sec, 150 secs
lola: 5933641 markings, 13820693 edges, 37122 markings/sec, 155 secs
lola: 6116644 markings, 14246586 edges, 36601 markings/sec, 160 secs
lola: 6285206 markings, 14639627 edges, 33712 markings/sec, 165 secs
lola: 6464243 markings, 15057815 edges, 35807 markings/sec, 170 secs
lola: 6640272 markings, 15466374 edges, 35206 markings/sec, 175 secs
lola: 6814992 markings, 15873765 edges, 34944 markings/sec, 180 secs
lola: 6992756 markings, 16288288 edges, 35553 markings/sec, 185 secs
lola: 7167706 markings, 16695644 edges, 34990 markings/sec, 190 secs
lola: 7342935 markings, 17102915 edges, 35046 markings/sec, 195 secs
lola: 7521441 markings, 17518562 edges, 35701 markings/sec, 200 secs
lola: 7706946 markings, 17950704 edges, 37101 markings/sec, 205 secs
lola: 7881776 markings, 18356957 edges, 34966 markings/sec, 210 secs
lola: 8056144 markings, 18762534 edges, 34874 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(p425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 147976 markings, 297846 edges, 29595 markings/sec, 0 secs
lola: 304377 markings, 613513 edges, 31280 markings/sec, 5 secs
lola: 460463 markings, 928548 edges, 31217 markings/sec, 10 secs
lola: 621154 markings, 1252874 edges, 32138 markings/sec, 15 secs
lola: 779350 markings, 1572168 edges, 31639 markings/sec, 20 secs
lola: 935176 markings, 1886676 edges, 31165 markings/sec, 25 secs
lola: 1092540 markings, 2204285 edges, 31473 markings/sec, 30 secs
lola: 1247774 markings, 2517607 edges, 31047 markings/sec, 35 secs
lola: 1405577 markings, 2836104 edges, 31561 markings/sec, 40 secs
lola: 1564388 markings, 3156639 edges, 31762 markings/sec, 45 secs
lola: 1723503 markings, 3477786 edges, 31823 markings/sec, 50 secs
lola: 1883218 markings, 3800141 edges, 31943 markings/sec, 55 secs
lola: 2044309 markings, 4125273 edges, 32218 markings/sec, 60 secs
lola: 2201548 markings, 4442639 edges, 31448 markings/sec, 65 secs
lola: 2357673 markings, 4757760 edges, 31225 markings/sec, 70 secs
lola: 2514370 markings, 5074867 edges, 31339 markings/sec, 75 secs
lola: 2675280 markings, 5401186 edges, 32182 markings/sec, 80 secs
lola: 2836556 markings, 5727301 edges, 32255 markings/sec, 85 secs
lola: 2993611 markings, 6044293 edges, 31411 markings/sec, 90 secs
lola: 3153683 markings, 6367621 edges, 32014 markings/sec, 95 secs
lola: 3316098 markings, 6695878 edges, 32483 markings/sec, 100 secs
lola: 3475001 markings, 7018334 edges, 31781 markings/sec, 105 secs
lola: 3634982 markings, 7342027 edges, 31996 markings/sec, 110 secs
lola: 3796970 markings, 7670303 edges, 32398 markings/sec, 115 secs
lola: 3956192 markings, 7993024 edges, 31844 markings/sec, 120 secs
lola: 4117270 markings, 8319608 edges, 32216 markings/sec, 125 secs
lola: 4281979 markings, 8654050 edges, 32942 markings/sec, 130 secs
lola: 4443681 markings, 8981844 edges, 32340 markings/sec, 135 secs
lola: 4603619 markings, 9304771 edges, 31988 markings/sec, 140 secs
lola: 4760614 markings, 9621644 edges, 31399 markings/sec, 145 secs
lola: 4922218 markings, 9947808 edges, 32321 markings/sec, 150 secs
lola: 5080492 markings, 10267262 edges, 31655 markings/sec, 155 secs
lola: 5239013 markings, 10587211 edges, 31704 markings/sec, 160 secs
lola: 5397999 markings, 10908097 edges, 31797 markings/sec, 165 secs
lola: 5555140 markings, 11225260 edges, 31428 markings/sec, 170 secs
lola: 5712765 markings, 11543396 edges, 31525 markings/sec, 175 secs
lola: 5870801 markings, 11862368 edges, 31607 markings/sec, 180 secs
lola: 6031128 markings, 12185965 edges, 32065 markings/sec, 185 secs
lola: 6189004 markings, 12504607 edges, 31575 markings/sec, 190 secs
lola: 6345816 markings, 12821111 edges, 31362 markings/sec, 195 secs
lola: 6503802 markings, 13139983 edges, 31597 markings/sec, 200 secs
lola: 6666842 markings, 13469214 edges, 32608 markings/sec, 205 secs
lola: 6830729 markings, 13800942 edges, 32777 markings/sec, 210 secs
lola: 6995822 markings, 14135617 edges, 33019 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(p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 180980 markings, 447086 edges, 36196 markings/sec, 0 secs
lola: 360762 markings, 891030 edges, 35956 markings/sec, 5 secs
lola: 539875 markings, 1333283 edges, 35823 markings/sec, 10 secs
lola: 718820 markings, 1775170 edges, 35789 markings/sec, 15 secs
lola: 897697 markings, 2216847 edges, 35775 markings/sec, 20 secs
lola: 1080765 markings, 2668904 edges, 36614 markings/sec, 25 secs
lola: 1271906 markings, 3140888 edges, 38228 markings/sec, 30 secs
lola: 1457445 markings, 3599025 edges, 37108 markings/sec, 35 secs
lola: 1639168 markings, 4047756 edges, 36345 markings/sec, 40 secs
lola: 1822574 markings, 4500656 edges, 36681 markings/sec, 45 secs
lola: 2011315 markings, 4966681 edges, 37748 markings/sec, 50 secs
lola: 2198076 markings, 5427860 edges, 37352 markings/sec, 55 secs
lola: 2387441 markings, 5895456 edges, 37873 markings/sec, 60 secs
lola: 2573434 markings, 6354759 edges, 37199 markings/sec, 65 secs
lola: 2761213 markings, 6818472 edges, 37556 markings/sec, 70 secs
lola: 2950078 markings, 7284890 edges, 37773 markings/sec, 75 secs
lola: 3140654 markings, 7755826 edges, 38115 markings/sec, 80 secs
lola: 3330976 markings, 8225782 edges, 38064 markings/sec, 85 secs
lola: 3521161 markings, 8695432 edges, 38037 markings/sec, 90 secs
lola: 3709319 markings, 9160047 edges, 37632 markings/sec, 95 secs
lola: 3897781 markings, 9625414 edges, 37692 markings/sec, 100 secs
lola: 4085434 markings, 10088790 edges, 37531 markings/sec, 105 secs
lola: 4268283 markings, 10540283 edges, 36570 markings/sec, 110 secs
lola: 4451413 markings, 10992480 edges, 36626 markings/sec, 115 secs
lola: 4629501 markings, 11432237 edges, 35618 markings/sec, 120 secs
lola: 4807210 markings, 11871043 edges, 35542 markings/sec, 125 secs
lola: 4990296 markings, 12323143 edges, 36617 markings/sec, 130 secs
lola: 5179188 markings, 12789530 edges, 37778 markings/sec, 135 secs
lola: 5367577 markings, 13254765 edges, 37678 markings/sec, 140 secs
lola: 5554912 markings, 13717315 edges, 37467 markings/sec, 145 secs
lola: 5744166 markings, 14184665 edges, 37851 markings/sec, 150 secs
lola: 5930990 markings, 14645967 edges, 37365 markings/sec, 155 secs
lola: 6115422 markings, 15101360 edges, 36886 markings/sec, 160 secs
lola: 6292108 markings, 15537661 edges, 35337 markings/sec, 165 secs
lola: 6469168 markings, 15974901 edges, 35412 markings/sec, 170 secs
lola: 6646002 markings, 16411531 edges, 35367 markings/sec, 175 secs
lola: 6833537 markings, 16874623 edges, 37507 markings/sec, 180 secs
lola: 7022182 markings, 17340443 edges, 37729 markings/sec, 185 secs
lola: 7211561 markings, 17808061 edges, 37876 markings/sec, 190 secs
lola: 7401390 markings, 18276790 edges, 37966 markings/sec, 195 secs
lola: 7594074 markings, 18752594 edges, 38537 markings/sec, 200 secs
lola: 7783370 markings, 19219992 edges, 37859 markings/sec, 205 secs
lola: 7976103 markings, 19695900 edges, 38547 markings/sec, 210 secs
lola: 8161376 markings, 20153439 edges, 37055 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(p402)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 188787 markings, 458257 edges, 37757 markings/sec, 0 secs
lola: 384913 markings, 934321 edges, 39225 markings/sec, 5 secs
lola: 581954 markings, 1412649 edges, 39408 markings/sec, 10 secs
lola: 775495 markings, 1882444 edges, 38708 markings/sec, 15 secs
lola: 972001 markings, 2359441 edges, 39301 markings/sec, 20 secs
lola: 1170223 markings, 2840662 edges, 39644 markings/sec, 25 secs
lola: 1367156 markings, 3318676 edges, 39387 markings/sec, 30 secs
lola: 1560889 markings, 3788945 edges, 38747 markings/sec, 35 secs
lola: 1755086 markings, 4260354 edges, 38839 markings/sec, 40 secs
lola: 1948822 markings, 4730653 edges, 38747 markings/sec, 45 secs
lola: 2146899 markings, 5211463 edges, 39615 markings/sec, 50 secs
lola: 2349357 markings, 5702918 edges, 40492 markings/sec, 55 secs
lola: 2544658 markings, 6177025 edges, 39060 markings/sec, 60 secs
lola: 2738569 markings, 6647748 edges, 38782 markings/sec, 65 secs
lola: 2933516 markings, 7120955 edges, 38989 markings/sec, 70 secs
lola: 3125442 markings, 7586859 edges, 38385 markings/sec, 75 secs
lola: 3316935 markings, 8051682 edges, 38299 markings/sec, 80 secs
lola: 3513872 markings, 8529766 edges, 39387 markings/sec, 85 secs
lola: 3712325 markings, 9011482 edges, 39691 markings/sec, 90 secs
lola: 3909003 markings, 9488905 edges, 39336 markings/sec, 95 secs
lola: 4103430 markings, 9960900 edges, 38885 markings/sec, 100 secs
lola: 4300473 markings, 10439218 edges, 39409 markings/sec, 105 secs
lola: 4497449 markings, 10917377 edges, 39395 markings/sec, 110 secs
lola: 4695793 markings, 11398832 edges, 39669 markings/sec, 115 secs
lola: 4887603 markings, 11864445 edges, 38362 markings/sec, 120 secs
lola: 5076680 markings, 12323422 edges, 37815 markings/sec, 125 secs
lola: 5265179 markings, 12780999 edges, 37700 markings/sec, 130 secs
lola: 5455163 markings, 13242170 edges, 37997 markings/sec, 135 secs
lola: 5644079 markings, 13700737 edges, 37783 markings/sec, 140 secs
lola: 5832672 markings, 14158568 edges, 37719 markings/sec, 145 secs
lola: 6022084 markings, 14618371 edges, 37882 markings/sec, 150 secs
lola: 6211001 markings, 15076944 edges, 37783 markings/sec, 155 secs
lola: 6399224 markings, 15533846 edges, 37645 markings/sec, 160 secs
lola: 6587066 markings, 15989812 edges, 37568 markings/sec, 165 secs
lola: 6775772 markings, 16447908 edges, 37741 markings/sec, 170 secs
lola: 6967813 markings, 16914057 edges, 38408 markings/sec, 175 secs
lola: 7163131 markings, 17388216 edges, 39064 markings/sec, 180 secs
lola: 7358194 markings, 17861695 edges, 39013 markings/sec, 185 secs
lola: 7550404 markings, 18328254 edges, 38442 markings/sec, 190 secs
lola: 7738830 markings, 18785691 edges, 37685 markings/sec, 195 secs
lola: 7930787 markings, 19251629 edges, 38391 markings/sec, 200 secs
lola: 8122129 markings, 19716103 edges, 38268 markings/sec, 205 secs
lola: 8316355 markings, 20187574 edges, 38845 markings/sec, 210 secs
lola: 8500518 markings, 20634651 edges, 36833 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 149479 markings, 431299 edges, 29896 markings/sec, 0 secs
lola: 292322 markings, 831516 edges, 28569 markings/sec, 5 secs
lola: 431100 markings, 1221858 edges, 27756 markings/sec, 10 secs
lola: 569758 markings, 1611384 edges, 27732 markings/sec, 15 secs
lola: 714994 markings, 2017410 edges, 29047 markings/sec, 20 secs
lola: 865083 markings, 2436444 edges, 30018 markings/sec, 25 secs
lola: 1010376 markings, 2843510 edges, 29059 markings/sec, 30 secs
lola: 1155324 markings, 3249003 edges, 28990 markings/sec, 35 secs
lola: 1300138 markings, 3654690 edges, 28963 markings/sec, 40 secs
lola: 1449600 markings, 4071952 edges, 29892 markings/sec, 45 secs
lola: 1596055 markings, 4480857 edges, 29291 markings/sec, 50 secs
lola: 1744566 markings, 4895548 edges, 29702 markings/sec, 55 secs
lola: 1894278 markings, 5313951 edges, 29942 markings/sec, 60 secs
lola: 2033940 markings, 5704728 edges, 27932 markings/sec, 65 secs
lola: 2172358 markings, 6091921 edges, 27684 markings/sec, 70 secs
lola: 2309186 markings, 6474625 edges, 27366 markings/sec, 75 secs
lola: 2445948 markings, 6858326 edges, 27352 markings/sec, 80 secs
lola: 2583209 markings, 7243268 edges, 27452 markings/sec, 85 secs
lola: 2722971 markings, 7633414 edges, 27952 markings/sec, 90 secs
lola: 2867727 markings, 8038716 edges, 28951 markings/sec, 95 secs
lola: 3015036 markings, 8451047 edges, 29462 markings/sec, 100 secs
lola: 3161861 markings, 8861428 edges, 29365 markings/sec, 105 secs
lola: 3305891 markings, 9264572 edges, 28806 markings/sec, 110 secs
lola: 3455428 markings, 9684054 edges, 29907 markings/sec, 115 secs
lola: 3598411 markings, 10083316 edges, 28597 markings/sec, 120 secs
lola: 3744317 markings, 10491077 edges, 29181 markings/sec, 125 secs
lola: 3885801 markings, 10887146 edges, 28297 markings/sec, 130 secs
lola: 4024106 markings, 11273594 edges, 27661 markings/sec, 135 secs
lola: 4166834 markings, 11672148 edges, 28546 markings/sec, 140 secs
lola: 4313012 markings, 12081396 edges, 29236 markings/sec, 145 secs
lola: 4458313 markings, 12487430 edges, 29060 markings/sec, 150 secs
lola: 4599502 markings, 12882413 edges, 28238 markings/sec, 155 secs
lola: 4740480 markings, 13276477 edges, 28196 markings/sec, 160 secs
lola: 4888770 markings, 13691251 edges, 29658 markings/sec, 165 secs
lola: 5038253 markings, 14109914 edges, 29897 markings/sec, 170 secs
lola: 5187231 markings, 14526126 edges, 29796 markings/sec, 175 secs
lola: 5332589 markings, 14933072 edges, 29072 markings/sec, 180 secs
lola: 5479021 markings, 15342591 edges, 29286 markings/sec, 185 secs
lola: 5620496 markings, 15738167 edges, 28295 markings/sec, 190 secs
lola: 5761409 markings, 16131561 edges, 28183 markings/sec, 195 secs
lola: 5909087 markings, 16546085 edges, 29536 markings/sec, 200 secs
lola: 6057483 markings, 16961193 edges, 29679 markings/sec, 205 secs
lola: 6202641 markings, 17367872 edges, 29032 markings/sec, 210 secs
lola: 6347783 markings, 17774154 edges, 29028 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(p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 185193 markings, 441298 edges, 37039 markings/sec, 0 secs
lola: 371618 markings, 885661 edges, 37285 markings/sec, 5 secs
lola: 559138 markings, 1333107 edges, 37504 markings/sec, 10 secs
lola: 740534 markings, 1766667 edges, 36279 markings/sec, 15 secs
lola: 913826 markings, 2179928 edges, 34658 markings/sec, 20 secs
lola: 1090318 markings, 2602064 edges, 35298 markings/sec, 25 secs
lola: 1271252 markings, 3034619 edges, 36187 markings/sec, 30 secs
lola: 1447764 markings, 3456231 edges, 35302 markings/sec, 35 secs
lola: 1625011 markings, 3878645 edges, 35449 markings/sec, 40 secs
lola: 1803819 markings, 4305630 edges, 35762 markings/sec, 45 secs
lola: 1980629 markings, 4727153 edges, 35362 markings/sec, 50 secs
lola: 2155830 markings, 5146075 edges, 35040 markings/sec, 55 secs
lola: 2331305 markings, 5567482 edges, 35095 markings/sec, 60 secs
lola: 2509118 markings, 5995052 edges, 35563 markings/sec, 65 secs
lola: 2684400 markings, 6415378 edges, 35056 markings/sec, 70 secs
lola: 2858602 markings, 6831789 edges, 34840 markings/sec, 75 secs
lola: 3033032 markings, 7249814 edges, 34886 markings/sec, 80 secs
lola: 3223269 markings, 7705137 edges, 38047 markings/sec, 85 secs
lola: 3415053 markings, 8162371 edges, 38357 markings/sec, 90 secs
lola: 3598988 markings, 8601901 edges, 36787 markings/sec, 95 secs
lola: 3775647 markings, 9023565 edges, 35332 markings/sec, 100 secs
lola: 3952970 markings, 9446650 edges, 35465 markings/sec, 105 secs
lola: 4129637 markings, 9867968 edges, 35333 markings/sec, 110 secs
lola: 4305972 markings, 10288435 edges, 35267 markings/sec, 115 secs
lola: 4495451 markings, 10740481 edges, 37896 markings/sec, 120 secs
lola: 4673664 markings, 11166772 edges, 35643 markings/sec, 125 secs
lola: 4856183 markings, 11602631 edges, 36504 markings/sec, 130 secs
lola: 5036641 markings, 12033075 edges, 36092 markings/sec, 135 secs
lola: 5214566 markings, 12457828 edges, 35585 markings/sec, 140 secs
lola: 5401562 markings, 12903724 edges, 37399 markings/sec, 145 secs
lola: 5578150 markings, 13325183 edges, 35318 markings/sec, 150 secs
lola: 5754694 markings, 13745862 edges, 35309 markings/sec, 155 secs
lola: 5931013 markings, 14167159 edges, 35264 markings/sec, 160 secs
lola: 6112101 markings, 14600039 edges, 36218 markings/sec, 165 secs
lola: 6295810 markings, 15038603 edges, 36742 markings/sec, 170 secs
lola: 6479362 markings, 15476927 edges, 36710 markings/sec, 175 secs
lola: 6663373 markings, 15917145 edges, 36802 markings/sec, 180 secs
lola: 6848766 markings, 16360823 edges, 37079 markings/sec, 185 secs
lola: 7032706 markings, 16800670 edges, 36788 markings/sec, 190 secs
lola: 7216540 markings, 17241085 edges, 36767 markings/sec, 195 secs
lola: 7402097 markings, 17684257 edges, 37111 markings/sec, 200 secs
lola: 7587937 markings, 18127626 edges, 37168 markings/sec, 205 secs
lola: 7772618 markings, 18568554 edges, 36936 markings/sec, 210 secs
lola: 7960886 markings, 19019158 edges, 37654 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(p327)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 185451 markings, 458575 edges, 37090 markings/sec, 0 secs
lola: 378573 markings, 935869 edges, 38624 markings/sec, 5 secs
lola: 570809 markings, 1411484 edges, 38447 markings/sec, 10 secs
lola: 761433 markings, 1882710 edges, 38125 markings/sec, 15 secs
lola: 946734 markings, 2340596 edges, 37060 markings/sec, 20 secs
lola: 1131440 markings, 2797427 edges, 36941 markings/sec, 25 secs
lola: 1315287 markings, 3252150 edges, 36769 markings/sec, 30 secs
lola: 1497444 markings, 3702576 edges, 36431 markings/sec, 35 secs
lola: 1683189 markings, 4161619 edges, 37149 markings/sec, 40 secs
lola: 1870102 markings, 4623413 edges, 37383 markings/sec, 45 secs
lola: 2053713 markings, 5077763 edges, 36722 markings/sec, 50 secs
lola: 2242062 markings, 5543596 edges, 37670 markings/sec, 55 secs
lola: 2426766 markings, 6000055 edges, 36941 markings/sec, 60 secs
lola: 2608653 markings, 6450201 edges, 36377 markings/sec, 65 secs
lola: 2791148 markings, 6901636 edges, 36499 markings/sec, 70 secs
lola: 2970566 markings, 7345706 edges, 35884 markings/sec, 75 secs
lola: 3152036 markings, 7794703 edges, 36294 markings/sec, 80 secs
lola: 3341420 markings, 8263232 edges, 37877 markings/sec, 85 secs
lola: 3524741 markings, 8716614 edges, 36664 markings/sec, 90 secs
lola: 3706775 markings, 9166509 edges, 36407 markings/sec, 95 secs
lola: 3897308 markings, 9638101 edges, 38107 markings/sec, 100 secs
lola: 4085214 markings, 10103318 edges, 37581 markings/sec, 105 secs
lola: 4272993 markings, 10568718 edges, 37556 markings/sec, 110 secs
lola: 4454182 markings, 11017424 edges, 36238 markings/sec, 115 secs
lola: 4628509 markings, 11448286 edges, 34865 markings/sec, 120 secs
lola: 4803813 markings, 11882095 edges, 35061 markings/sec, 125 secs
lola: 4979478 markings, 12316327 edges, 35133 markings/sec, 130 secs
lola: 5155551 markings, 12751964 edges, 35215 markings/sec, 135 secs
lola: 5330853 markings, 13185438 edges, 35060 markings/sec, 140 secs
lola: 5506967 markings, 13620813 edges, 35223 markings/sec, 145 secs
lola: 5682215 markings, 14053664 edges, 35050 markings/sec, 150 secs
lola: 5857514 markings, 14486941 edges, 35060 markings/sec, 155 secs
lola: 6032995 markings, 14920908 edges, 35096 markings/sec, 160 secs
lola: 6207532 markings, 15353290 edges, 34907 markings/sec, 165 secs
lola: 6382145 markings, 15786013 edges, 34923 markings/sec, 170 secs
lola: 6556935 markings, 16218028 edges, 34958 markings/sec, 175 secs
lola: 6730899 markings, 16647891 edges, 34793 markings/sec, 180 secs
lola: 6905657 markings, 17080007 edges, 34952 markings/sec, 185 secs
lola: 7080760 markings, 17513446 edges, 35021 markings/sec, 190 secs
lola: 7257313 markings, 17949989 edges, 35311 markings/sec, 195 secs
lola: 7440298 markings, 18402512 edges, 36597 markings/sec, 200 secs
lola: 7626120 markings, 18863018 edges, 37164 markings/sec, 205 secs
lola: 7812004 markings, 19323021 edges, 37177 markings/sec, 210 secs
lola: 7996628 markings, 19779245 edges, 36925 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(p420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 157855 markings, 470238 edges, 31571 markings/sec, 0 secs
lola: 327631 markings, 966426 edges, 33955 markings/sec, 5 secs
lola: 500955 markings, 1474266 edges, 34665 markings/sec, 10 secs
lola: 675846 markings, 1979244 edges, 34978 markings/sec, 15 secs
lola: 865424 markings, 2578500 edges, 37916 markings/sec, 20 secs
lola: 1032522 markings, 3075835 edges, 33420 markings/sec, 25 secs
lola: 1175915 markings, 3477047 edges, 28679 markings/sec, 30 secs
lola: 1317198 markings, 3872174 edges, 28257 markings/sec, 35 secs
lola: 1455654 markings, 4260222 edges, 27691 markings/sec, 40 secs
lola: 1594099 markings, 4647670 edges, 27689 markings/sec, 45 secs
lola: 1744436 markings, 5069031 edges, 30067 markings/sec, 50 secs
lola: 1896865 markings, 5496299 edges, 30486 markings/sec, 55 secs
lola: 2038482 markings, 5893105 edges, 28323 markings/sec, 60 secs
lola: 2177151 markings, 6280819 edges, 27734 markings/sec, 65 secs
lola: 2315189 markings, 6666932 edges, 27608 markings/sec, 70 secs
lola: 2459490 markings, 7072063 edges, 28860 markings/sec, 75 secs
lola: 2604084 markings, 7478208 edges, 28919 markings/sec, 80 secs
lola: 2750112 markings, 7887080 edges, 29206 markings/sec, 85 secs
lola: 2896119 markings, 8297116 edges, 29201 markings/sec, 90 secs
lola: 3040666 markings, 8704037 edges, 28909 markings/sec, 95 secs
lola: 3184452 markings, 9105939 edges, 28757 markings/sec, 100 secs
lola: 3328867 markings, 9510529 edges, 28883 markings/sec, 105 secs
lola: 3472678 markings, 9914142 edges, 28762 markings/sec, 110 secs
lola: 3616775 markings, 10317880 edges, 28819 markings/sec, 115 secs
lola: 3760621 markings, 10720476 edges, 28769 markings/sec, 120 secs
lola: 3904236 markings, 11124728 edges, 28723 markings/sec, 125 secs
lola: 4047980 markings, 11528359 edges, 28749 markings/sec, 130 secs
lola: 4197372 markings, 11948016 edges, 29878 markings/sec, 135 secs
lola: 4345375 markings, 12365497 edges, 29601 markings/sec, 140 secs
lola: 4485021 markings, 12756038 edges, 27929 markings/sec, 145 secs
lola: 4623052 markings, 13142170 edges, 27606 markings/sec, 150 secs
lola: 4759681 markings, 13525975 edges, 27326 markings/sec, 155 secs
lola: 4899943 markings, 13920531 edges, 28052 markings/sec, 160 secs
lola: 5042839 markings, 14321847 edges, 28579 markings/sec, 165 secs
lola: 5185298 markings, 14724410 edges, 28492 markings/sec, 170 secs
lola: 5326972 markings, 15122185 edges, 28335 markings/sec, 175 secs
lola: 5469431 markings, 15521815 edges, 28492 markings/sec, 180 secs
lola: 5615399 markings, 15930537 edges, 29194 markings/sec, 185 secs
lola: 5758812 markings, 16332907 edges, 28683 markings/sec, 190 secs
lola: 5900479 markings, 16729081 edges, 28333 markings/sec, 195 secs
lola: 6045328 markings, 17134506 edges, 28970 markings/sec, 200 secs
lola: 6189586 markings, 17538221 edges, 28852 markings/sec, 205 secs
lola: 6335954 markings, 17948528 edges, 29274 markings/sec, 210 secs
lola: 6479273 markings, 18350266 edges, 28664 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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 186531 markings, 453371 edges, 37306 markings/sec, 0 secs
lola: 375087 markings, 912489 edges, 37711 markings/sec, 5 secs
lola: 560892 markings, 1363761 edges, 37161 markings/sec, 10 secs
lola: 745882 markings, 1814307 edges, 36998 markings/sec, 15 secs
lola: 932403 markings, 2268545 edges, 37304 markings/sec, 20 secs
lola: 1118765 markings, 2721367 edges, 37272 markings/sec, 25 secs
lola: 1304671 markings, 3172589 edges, 37181 markings/sec, 30 secs
lola: 1491484 markings, 3626901 edges, 37363 markings/sec, 35 secs
lola: 1674740 markings, 4073970 edges, 36651 markings/sec, 40 secs
lola: 1860128 markings, 4524751 edges, 37078 markings/sec, 45 secs
lola: 2045145 markings, 4975546 edges, 37003 markings/sec, 50 secs
lola: 2228997 markings, 5424090 edges, 36770 markings/sec, 55 secs
lola: 2426713 markings, 5905695 edges, 39543 markings/sec, 60 secs
lola: 2628749 markings, 6397391 edges, 40407 markings/sec, 65 secs
lola: 2832303 markings, 6893290 edges, 40711 markings/sec, 70 secs
lola: 3016067 markings, 7340017 edges, 36753 markings/sec, 75 secs
lola: 3203465 markings, 7795838 edges, 37480 markings/sec, 80 secs
lola: 3398854 markings, 8271436 edges, 39078 markings/sec, 85 secs
lola: 3594781 markings, 8748767 edges, 39185 markings/sec, 90 secs
lola: 3779353 markings, 9198928 edges, 36914 markings/sec, 95 secs
lola: 3965285 markings, 9651454 edges, 37186 markings/sec, 100 secs
lola: 4153144 markings, 10108267 edges, 37572 markings/sec, 105 secs
lola: 4350100 markings, 10587358 edges, 39391 markings/sec, 110 secs
lola: 4548172 markings, 11069837 edges, 39614 markings/sec, 115 secs
lola: 4748338 markings, 11557251 edges, 40033 markings/sec, 120 secs
lola: 4951814 markings, 12052063 edges, 40695 markings/sec, 125 secs
lola: 5142641 markings, 12517780 edges, 38165 markings/sec, 130 secs
lola: 5326954 markings, 12966823 edges, 36863 markings/sec, 135 secs
lola: 5510450 markings, 13414324 edges, 36699 markings/sec, 140 secs
lola: 5697082 markings, 13868869 edges, 37326 markings/sec, 145 secs
lola: 5885434 markings, 14327636 edges, 37670 markings/sec, 150 secs
lola: 6079985 markings, 14801446 edges, 38910 markings/sec, 155 secs
lola: 6274160 markings, 15274193 edges, 38835 markings/sec, 160 secs
lola: 6468217 markings, 15746567 edges, 38811 markings/sec, 165 secs
lola: 6661304 markings, 16216223 edges, 38617 markings/sec, 170 secs
lola: 6856886 markings, 16693746 edges, 39116 markings/sec, 175 secs
lola: 7048660 markings, 17162495 edges, 38355 markings/sec, 180 secs
lola: 7241577 markings, 17632123 edges, 38583 markings/sec, 185 secs
lola: 7435843 markings, 18105427 edges, 38853 markings/sec, 190 secs
lola: 7629735 markings, 18579384 edges, 38778 markings/sec, 195 secs
lola: 7821240 markings, 19047513 edges, 38301 markings/sec, 200 secs
lola: 8013335 markings, 19514945 edges, 38419 markings/sec, 205 secs
lola: 8206432 markings, 19986687 edges, 38619 markings/sec, 210 secs
lola: 8400723 markings, 20459778 edges, 38858 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(p203)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 192632 markings, 525452 edges, 38526 markings/sec, 0 secs
lola: 384775 markings, 1052699 edges, 38429 markings/sec, 5 secs
lola: 577227 markings, 1582286 edges, 38490 markings/sec, 10 secs
lola: 768151 markings, 2107313 edges, 38185 markings/sec, 15 secs
lola: 958538 markings, 2631740 edges, 38077 markings/sec, 20 secs
lola: 1151114 markings, 3156609 edges, 38515 markings/sec, 25 secs
lola: 1343031 markings, 3685796 edges, 38383 markings/sec, 30 secs
lola: 1534013 markings, 4208188 edges, 38196 markings/sec, 35 secs
lola: 1724780 markings, 4731528 edges, 38153 markings/sec, 40 secs
lola: 1916520 markings, 5255824 edges, 38348 markings/sec, 45 secs
lola: 2107803 markings, 5778712 edges, 38257 markings/sec, 50 secs
lola: 2299823 markings, 6303045 edges, 38404 markings/sec, 55 secs
lola: 2487250 markings, 6817665 edges, 37485 markings/sec, 60 secs
lola: 2668704 markings, 7313583 edges, 36291 markings/sec, 65 secs
lola: 2847262 markings, 7804225 edges, 35712 markings/sec, 70 secs
lola: 3026165 markings, 8293290 edges, 35781 markings/sec, 75 secs
lola: 3204957 markings, 8782337 edges, 35758 markings/sec, 80 secs
lola: 3384496 markings, 9269815 edges, 35908 markings/sec, 85 secs
lola: 3568793 markings, 9774328 edges, 36859 markings/sec, 90 secs
lola: 3747056 markings, 10264583 edges, 35653 markings/sec, 95 secs
lola: 3929086 markings, 10763636 edges, 36406 markings/sec, 100 secs
lola: 4108262 markings, 11255591 edges, 35835 markings/sec, 105 secs
lola: 4286879 markings, 11743639 edges, 35723 markings/sec, 110 secs
lola: 4465644 markings, 12233003 edges, 35753 markings/sec, 115 secs
lola: 4647435 markings, 12734497 edges, 36358 markings/sec, 120 secs
lola: 4836747 markings, 13256649 edges, 37862 markings/sec, 125 secs
lola: 5029302 markings, 13785140 edges, 38511 markings/sec, 130 secs
lola: 5213484 markings, 14288900 edges, 36836 markings/sec, 135 secs
lola: 5392196 markings, 14776196 edges, 35742 markings/sec, 140 secs
lola: 5571680 markings, 15270305 edges, 35897 markings/sec, 145 secs
lola: 5751747 markings, 15766039 edges, 36013 markings/sec, 150 secs
lola: 5931105 markings, 16257905 edges, 35872 markings/sec, 155 secs
lola: 6109382 markings, 16747027 edges, 35655 markings/sec, 160 secs
lola: 6287216 markings, 17237945 edges, 35567 markings/sec, 165 secs
lola: 6466462 markings, 17729284 edges, 35849 markings/sec, 170 secs
lola: 6644108 markings, 18218176 edges, 35529 markings/sec, 175 secs
lola: 6822159 markings, 18708608 edges, 35610 markings/sec, 180 secs
lola: 7000395 markings, 19199717 edges, 35647 markings/sec, 185 secs
lola: 7178532 markings, 19690491 edges, 35627 markings/sec, 190 secs
lola: 7356565 markings, 20178948 edges, 35607 markings/sec, 195 secs
lola: 7534218 markings, 20668151 edges, 35531 markings/sec, 200 secs
lola: 7712615 markings, 21160923 edges, 35679 markings/sec, 205 secs
lola: 7890384 markings, 21650207 edges, 35554 markings/sec, 210 secs
lola: 8067999 markings, 22137035 edges, 35523 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 187245 markings, 447289 edges, 37449 markings/sec, 0 secs
lola: 376714 markings, 900606 edges, 37894 markings/sec, 5 secs
lola: 565174 markings, 1351956 edges, 37692 markings/sec, 10 secs
lola: 752113 markings, 1800734 edges, 37388 markings/sec, 15 secs
lola: 941168 markings, 2252973 edges, 37811 markings/sec, 20 secs
lola: 1129395 markings, 2704523 edges, 37645 markings/sec, 25 secs
lola: 1316481 markings, 3153181 edges, 37417 markings/sec, 30 secs
lola: 1502452 markings, 3600492 edges, 37194 markings/sec, 35 secs
lola: 1689660 markings, 4051175 edges, 37442 markings/sec, 40 secs
lola: 1876453 markings, 4500619 edges, 37359 markings/sec, 45 secs
lola: 2062811 markings, 4949052 edges, 37272 markings/sec, 50 secs
lola: 2246122 markings, 5390393 edges, 36662 markings/sec, 55 secs
lola: 2432674 markings, 5836470 edges, 37310 markings/sec, 60 secs
lola: 2610790 markings, 6262485 edges, 35623 markings/sec, 65 secs
lola: 2788109 markings, 6686989 edges, 35464 markings/sec, 70 secs
lola: 2966572 markings, 7113854 edges, 35693 markings/sec, 75 secs
lola: 3152657 markings, 7559425 edges, 37217 markings/sec, 80 secs
lola: 3336371 markings, 7999822 edges, 36743 markings/sec, 85 secs
lola: 3521719 markings, 8443620 edges, 37070 markings/sec, 90 secs
lola: 3705021 markings, 8885810 edges, 36660 markings/sec, 95 secs
lola: 3888818 markings, 9329947 edges, 36759 markings/sec, 100 secs
lola: 4071986 markings, 9770749 edges, 36634 markings/sec, 105 secs
lola: 4255747 markings, 10212113 edges, 36752 markings/sec, 110 secs
lola: 4435952 markings, 10646922 edges, 36041 markings/sec, 115 secs
lola: 4611059 markings, 11069286 edges, 35021 markings/sec, 120 secs
lola: 4785825 markings, 11490684 edges, 34953 markings/sec, 125 secs
lola: 4961476 markings, 11914674 edges, 35130 markings/sec, 130 secs
lola: 5143702 markings, 12354039 edges, 36445 markings/sec, 135 secs
lola: 5332568 markings, 12805685 edges, 37773 markings/sec, 140 secs
lola: 5508430 markings, 13226068 edges, 35172 markings/sec, 145 secs
lola: 5683469 markings, 13645917 edges, 35008 markings/sec, 150 secs
lola: 5860917 markings, 14071082 edges, 35490 markings/sec, 155 secs
lola: 6053516 markings, 14532132 edges, 38520 markings/sec, 160 secs
lola: 6238218 markings, 14975179 edges, 36940 markings/sec, 165 secs
lola: 6428396 markings, 15431233 edges, 38036 markings/sec, 170 secs
lola: 6610577 markings, 15869304 edges, 36436 markings/sec, 175 secs
lola: 6791154 markings, 16302865 edges, 36115 markings/sec, 180 secs
lola: 6965576 markings, 16722760 edges, 34884 markings/sec, 185 secs
lola: 7150749 markings, 17169256 edges, 37035 markings/sec, 190 secs
lola: 7326884 markings, 17592908 edges, 35227 markings/sec, 195 secs
lola: 7502589 markings, 18015173 edges, 35141 markings/sec, 200 secs
lola: 7679299 markings, 18437942 edges, 35342 markings/sec, 205 secs
lola: 7855613 markings, 18859745 edges, 35263 markings/sec, 210 secs
lola: 8031583 markings, 19280987 edges, 35194 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p220)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 152828 markings, 445933 edges, 30566 markings/sec, 0 secs
lola: 322123 markings, 945347 edges, 33859 markings/sec, 5 secs
lola: 491637 markings, 1437393 edges, 33903 markings/sec, 10 secs
lola: 669272 markings, 1992101 edges, 35527 markings/sec, 15 secs
lola: 836595 markings, 2584738 edges, 33465 markings/sec, 20 secs
lola: 987899 markings, 3037349 edges, 30261 markings/sec, 25 secs
lola: 1138930 markings, 3464360 edges, 30206 markings/sec, 30 secs
lola: 1288870 markings, 3889967 edges, 29988 markings/sec, 35 secs
lola: 1432987 markings, 4298466 edges, 28823 markings/sec, 40 secs
lola: 1578386 markings, 4709674 edges, 29080 markings/sec, 45 secs
lola: 1724954 markings, 5124077 edges, 29314 markings/sec, 50 secs
lola: 1871395 markings, 5538664 edges, 29288 markings/sec, 55 secs
lola: 2017702 markings, 5955321 edges, 29261 markings/sec, 60 secs
lola: 2160062 markings, 6357973 edges, 28472 markings/sec, 65 secs
lola: 2295691 markings, 6742159 edges, 27126 markings/sec, 70 secs
lola: 2431133 markings, 7128230 edges, 27088 markings/sec, 75 secs
lola: 2574354 markings, 7533866 edges, 28644 markings/sec, 80 secs
lola: 2724317 markings, 7957995 edges, 29993 markings/sec, 85 secs
lola: 2865542 markings, 8357656 edges, 28245 markings/sec, 90 secs
lola: 3001871 markings, 8745299 edges, 27266 markings/sec, 95 secs
lola: 3137964 markings, 9130340 edges, 27219 markings/sec, 100 secs
lola: 3280715 markings, 9533803 edges, 28550 markings/sec, 105 secs
lola: 3425450 markings, 9942866 edges, 28947 markings/sec, 110 secs
lola: 3569344 markings, 10349688 edges, 28779 markings/sec, 115 secs
lola: 3715565 markings, 10763414 edges, 29244 markings/sec, 120 secs
lola: 3859793 markings, 11170970 edges, 28846 markings/sec, 125 secs
lola: 4005095 markings, 11581753 edges, 29060 markings/sec, 130 secs
lola: 4150933 markings, 11994192 edges, 29168 markings/sec, 135 secs
lola: 4296290 markings, 12405305 edges, 29071 markings/sec, 140 secs
lola: 4443632 markings, 12821767 edges, 29468 markings/sec, 145 secs
lola: 4592970 markings, 13243801 edges, 29868 markings/sec, 150 secs
lola: 4740954 markings, 13662435 edges, 29597 markings/sec, 155 secs
lola: 4886567 markings, 14073957 edges, 29123 markings/sec, 160 secs
lola: 5031029 markings, 14482411 edges, 28892 markings/sec, 165 secs
lola: 5176801 markings, 14894885 edges, 29154 markings/sec, 170 secs
lola: 5322376 markings, 15306370 edges, 29115 markings/sec, 175 secs
lola: 5469150 markings, 15721185 edges, 29355 markings/sec, 180 secs
lola: 5616251 markings, 16136887 edges, 29420 markings/sec, 185 secs
lola: 5761956 markings, 16550413 edges, 29141 markings/sec, 190 secs
lola: 5908286 markings, 16965547 edges, 29266 markings/sec, 195 secs
lola: 6054058 markings, 17378174 edges, 29154 markings/sec, 200 secs
lola: 6200256 markings, 17793629 edges, 29240 markings/sec, 205 secs
lola: 6346638 markings, 18207992 edges, 29276 markings/sec, 210 secs
lola: 6492687 markings, 18622535 edges, 29210 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(p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 144485 markings, 314314 edges, 28897 markings/sec, 0 secs
lola: 290135 markings, 630515 edges, 29130 markings/sec, 5 secs
lola: 436501 markings, 948109 edges, 29273 markings/sec, 10 secs
lola: 583105 markings, 1266071 edges, 29321 markings/sec, 15 secs
lola: 729534 markings, 1584153 edges, 29286 markings/sec, 20 secs
lola: 876136 markings, 1902225 edges, 29320 markings/sec, 25 secs
lola: 1022606 markings, 2220337 edges, 29294 markings/sec, 30 secs
lola: 1168381 markings, 2537052 edges, 29155 markings/sec, 35 secs
lola: 1314420 markings, 2854875 edges, 29208 markings/sec, 40 secs
lola: 1460880 markings, 3172994 edges, 29292 markings/sec, 45 secs
lola: 1606966 markings, 3490595 edges, 29217 markings/sec, 50 secs
lola: 1752758 markings, 3807699 edges, 29158 markings/sec, 55 secs
lola: 1898727 markings, 4124453 edges, 29194 markings/sec, 60 secs
lola: 2043861 markings, 4439026 edges, 29027 markings/sec, 65 secs
lola: 2185817 markings, 4747099 edges, 28391 markings/sec, 70 secs
lola: 2332184 markings, 5064889 edges, 29273 markings/sec, 75 secs
lola: 2476231 markings, 5377280 edges, 28809 markings/sec, 80 secs
lola: 2620357 markings, 5690143 edges, 28825 markings/sec, 85 secs
lola: 2766050 markings, 6006310 edges, 29139 markings/sec, 90 secs
lola: 2911110 markings, 6321362 edges, 29012 markings/sec, 95 secs
lola: 3056357 markings, 6636901 edges, 29049 markings/sec, 100 secs
lola: 3201878 markings, 6953363 edges, 29104 markings/sec, 105 secs
lola: 3345017 markings, 7264535 edges, 28628 markings/sec, 110 secs
lola: 3487509 markings, 7574116 edges, 28498 markings/sec, 115 secs
lola: 3631959 markings, 7888442 edges, 28890 markings/sec, 120 secs
lola: 3779754 markings, 8209359 edges, 29559 markings/sec, 125 secs
lola: 3925982 markings, 8526388 edges, 29246 markings/sec, 130 secs
lola: 4068949 markings, 8836441 edges, 28593 markings/sec, 135 secs
lola: 4216115 markings, 9156487 edges, 29433 markings/sec, 140 secs
lola: 4360104 markings, 9469269 edges, 28798 markings/sec, 145 secs
lola: 4505910 markings, 9786229 edges, 29161 markings/sec, 150 secs
lola: 4651160 markings, 10102188 edges, 29050 markings/sec, 155 secs
lola: 4796372 markings, 10417632 edges, 29042 markings/sec, 160 secs
lola: 4939984 markings, 10729504 edges, 28722 markings/sec, 165 secs
lola: 5084447 markings, 11043521 edges, 28893 markings/sec, 170 secs
lola: 5229279 markings, 11358592 edges, 28966 markings/sec, 175 secs
lola: 5374069 markings, 11673113 edges, 28958 markings/sec, 180 secs
lola: 5519410 markings, 11989195 edges, 29068 markings/sec, 185 secs
lola: 5664805 markings, 12305273 edges, 29079 markings/sec, 190 secs
lola: 5809528 markings, 12620148 edges, 28945 markings/sec, 195 secs
lola: 5956058 markings, 12939020 edges, 29306 markings/sec, 200 secs
lola: 6091133 markings, 13233207 edges, 27015 markings/sec, 205 secs
lola: 6231129 markings, 13537775 edges, 27999 markings/sec, 210 secs
lola: 6371874 markings, 13843486 edges, 28149 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-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441448567

--------------------
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-10"
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-10.tgz
mv S_Raft-PT-10 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-10, 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-149443432700029"
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 ;