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 Echo-PT-d02r15, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494686092367


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d02r15 @ 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: 3801/65536 symbol table entries, 7 collisions
lola: preprocessing...
lola: finding significant places
lola: 2127 places, 1674 transitions, 1062 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3336 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d02r15-UpperBounds.task
lola: MAX(p1428) : MAX(p1667) : MAX(p1897) : MAX(p1828) : MAX(p1201) : MAX(p1908) : MAX(p418) : MAX(p1416) : MAX(p638) : MAX(p1845) : MAX(p1372) : MAX(p2063) : MAX(p1447) : MAX(p856) : MAX(p343) : MAX(p37)
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(p1428)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 91724 markings, 433959 edges, 18345 markings/sec, 0 secs
lola: 181342 markings, 930855 edges, 17924 markings/sec, 5 secs
lola: 265321 markings, 1455020 edges, 16796 markings/sec, 10 secs
lola: 351928 markings, 2033985 edges, 17321 markings/sec, 15 secs
lola: 438171 markings, 2602410 edges, 17249 markings/sec, 20 secs
lola: 527635 markings, 3116911 edges, 17893 markings/sec, 25 secs
lola: 615817 markings, 3648552 edges, 17636 markings/sec, 30 secs
lola: 706901 markings, 4160089 edges, 18217 markings/sec, 35 secs
lola: 795343 markings, 4703300 edges, 17688 markings/sec, 40 secs
lola: 880564 markings, 5295078 edges, 17044 markings/sec, 45 secs
lola: 967614 markings, 5821456 edges, 17410 markings/sec, 50 secs
lola: 1052894 markings, 6303215 edges, 17056 markings/sec, 55 secs
lola: 1135035 markings, 6817498 edges, 16428 markings/sec, 60 secs
lola: 1221005 markings, 7307793 edges, 17194 markings/sec, 65 secs
lola: 1301353 markings, 7829604 edges, 16070 markings/sec, 70 secs
lola: 1386005 markings, 8387613 edges, 16930 markings/sec, 75 secs
lola: 1469770 markings, 8990034 edges, 16753 markings/sec, 80 secs
lola: 1548285 markings, 9606895 edges, 15703 markings/sec, 85 secs
lola: 1627560 markings, 10221302 edges, 15855 markings/sec, 90 secs
lola: 1707353 markings, 10861877 edges, 15959 markings/sec, 95 secs
lola: 1790601 markings, 11446352 edges, 16650 markings/sec, 100 secs
lola: 1874093 markings, 12009365 edges, 16698 markings/sec, 105 secs
lola: 1953362 markings, 12604986 edges, 15854 markings/sec, 110 secs
lola: 2033500 markings, 13176266 edges, 16028 markings/sec, 115 secs
lola: 2115583 markings, 13726048 edges, 16417 markings/sec, 120 secs
lola: 2201889 markings, 14234904 edges, 17261 markings/sec, 125 secs
lola: 2285999 markings, 14771931 edges, 16822 markings/sec, 130 secs
lola: 2368262 markings, 15322952 edges, 16453 markings/sec, 135 secs
lola: 2447569 markings, 15901025 edges, 15861 markings/sec, 140 secs
lola: 2521293 markings, 16475596 edges, 14745 markings/sec, 145 secs
lola: 2597635 markings, 17079011 edges, 15268 markings/sec, 150 secs
lola: 2673780 markings, 17685520 edges, 15229 markings/sec, 155 secs
lola: 2753874 markings, 18268630 edges, 16019 markings/sec, 160 secs
lola: 2837807 markings, 18832103 edges, 16787 markings/sec, 165 secs
lola: 2915675 markings, 19421600 edges, 15574 markings/sec, 170 secs
lola: 2995035 markings, 19995180 edges, 15872 markings/sec, 175 secs
lola: 3080935 markings, 20518681 edges, 17180 markings/sec, 180 secs
lola: 3169838 markings, 21046060 edges, 17781 markings/sec, 185 secs
lola: 3259008 markings, 21550846 edges, 17834 markings/sec, 190 secs
lola: 3346772 markings, 22095374 edges, 17553 markings/sec, 195 secs
lola: 3430233 markings, 22655083 edges, 16692 markings/sec, 200 secs
lola: 3511031 markings, 23249785 edges, 16160 markings/sec, 205 secs
lola: 3590947 markings, 23846751 edges, 15983 markings/sec, 210 secs
lola: 3671142 markings, 24446751 edges, 16039 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(p1667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 91112 markings, 421346 edges, 18222 markings/sec, 0 secs
lola: 179308 markings, 865522 edges, 17639 markings/sec, 5 secs
lola: 268487 markings, 1328175 edges, 17836 markings/sec, 10 secs
lola: 358781 markings, 1807717 edges, 18059 markings/sec, 15 secs
lola: 454232 markings, 2276367 edges, 19090 markings/sec, 20 secs
lola: 546108 markings, 2775073 edges, 18375 markings/sec, 25 secs
lola: 623814 markings, 3223477 edges, 15541 markings/sec, 30 secs
lola: 717778 markings, 3720635 edges, 18793 markings/sec, 35 secs
lola: 809347 markings, 4230983 edges, 18314 markings/sec, 40 secs
lola: 898471 markings, 4748601 edges, 17825 markings/sec, 45 secs
lola: 987950 markings, 5291741 edges, 17896 markings/sec, 50 secs
lola: 1079445 markings, 5805992 edges, 18299 markings/sec, 55 secs
lola: 1170151 markings, 6346748 edges, 18141 markings/sec, 60 secs
lola: 1261711 markings, 6860674 edges, 18312 markings/sec, 65 secs
lola: 1352163 markings, 7395877 edges, 18090 markings/sec, 70 secs
lola: 1445574 markings, 7882402 edges, 18682 markings/sec, 75 secs
lola: 1536792 markings, 8400981 edges, 18244 markings/sec, 80 secs
lola: 1628224 markings, 8922623 edges, 18286 markings/sec, 85 secs
lola: 1700840 markings, 9302879 edges, 14523 markings/sec, 90 secs
lola: 1786880 markings, 9779085 edges, 17208 markings/sec, 95 secs
lola: 1872687 markings, 10287201 edges, 17161 markings/sec, 100 secs
lola: 1954899 markings, 10798338 edges, 16442 markings/sec, 105 secs
lola: 2026610 markings, 11251593 edges, 14342 markings/sec, 110 secs
lola: 2112166 markings, 11786556 edges, 17111 markings/sec, 115 secs
lola: 2196425 markings, 12310728 edges, 16852 markings/sec, 120 secs
lola: 2294177 markings, 12827870 edges, 19550 markings/sec, 125 secs
lola: 2383839 markings, 13418064 edges, 17932 markings/sec, 130 secs
lola: 2474309 markings, 13875693 edges, 18094 markings/sec, 135 secs
lola: 2566869 markings, 14354623 edges, 18512 markings/sec, 140 secs
lola: 2657229 markings, 14847194 edges, 18072 markings/sec, 145 secs
lola: 2747057 markings, 15372447 edges, 17966 markings/sec, 150 secs
lola: 2837927 markings, 15897924 edges, 18174 markings/sec, 155 secs
lola: 2930152 markings, 16412889 edges, 18445 markings/sec, 160 secs
lola: 3022115 markings, 16921589 edges, 18393 markings/sec, 165 secs
lola: 3110967 markings, 17462613 edges, 17770 markings/sec, 170 secs
lola: 3201608 markings, 18009889 edges, 18128 markings/sec, 175 secs
lola: 3315610 markings, 18563402 edges, 22800 markings/sec, 180 secs
lola: 3703804 markings, 19517240 edges, 77639 markings/sec, 185 secs
lola: 4189878 markings, 20863919 edges, 97215 markings/sec, 190 secs
lola: 4783343 markings, 22294362 edges, 118693 markings/sec, 195 secs
lola: 5253313 markings, 23782960 edges, 93994 markings/sec, 200 secs
lola: 5346412 markings, 24269237 edges, 18620 markings/sec, 205 secs
lola: 5476173 markings, 24864304 edges, 25952 markings/sec, 210 secs
lola: 5572293 markings, 25346895 edges, 19224 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(p1897)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 94460 markings, 365419 edges, 18892 markings/sec, 0 secs
lola: 238172 markings, 828134 edges, 28742 markings/sec, 5 secs
lola: 350771 markings, 1253578 edges, 22520 markings/sec, 10 secs
lola: 464910 markings, 1696366 edges, 22828 markings/sec, 15 secs
lola: 818338 markings, 2481065 edges, 70686 markings/sec, 20 secs
lola: 1060406 markings, 3096189 edges, 48414 markings/sec, 25 secs
lola: 1386894 markings, 3869154 edges, 65298 markings/sec, 30 secs
lola: 1813470 markings, 4772982 edges, 85315 markings/sec, 35 secs
lola: 1957548 markings, 5286455 edges, 28816 markings/sec, 40 secs
lola: 2137001 markings, 5875487 edges, 35891 markings/sec, 45 secs
lola: 2443854 markings, 6584366 edges, 61371 markings/sec, 50 secs
lola: 2830802 markings, 7422447 edges, 77390 markings/sec, 55 secs
lola: 3316960 markings, 8374644 edges, 97232 markings/sec, 60 secs
lola: 4091810 markings, 9739054 edges, 154970 markings/sec, 65 secs
lola: 4817532 markings, 11058651 edges, 145144 markings/sec, 70 secs
lola: 5369959 markings, 12172446 edges, 110485 markings/sec, 75 secs
lola: 5475905 markings, 12611909 edges, 21189 markings/sec, 80 secs
lola: 5810891 markings, 13410025 edges, 66997 markings/sec, 85 secs
lola: 5918657 markings, 13887806 edges, 21553 markings/sec, 90 secs
lola: 6278688 markings, 14717412 edges, 72006 markings/sec, 95 secs
lola: 6659904 markings, 15577604 edges, 76243 markings/sec, 100 secs
lola: 6931407 markings, 16359366 edges, 54301 markings/sec, 105 secs
lola: 7341118 markings, 17150492 edges, 81942 markings/sec, 110 secs
lola: 7883283 markings, 18126157 edges, 108433 markings/sec, 115 secs
lola: 8086026 markings, 18696974 edges, 40549 markings/sec, 120 secs
lola: 8441489 markings, 19553913 edges, 71093 markings/sec, 125 secs
lola: 8589732 markings, 20052618 edges, 29649 markings/sec, 130 secs
lola: 8780480 markings, 20598447 edges, 38150 markings/sec, 135 secs
lola: 9094429 markings, 21382640 edges, 62790 markings/sec, 140 secs
lola: 9558654 markings, 22365501 edges, 92845 markings/sec, 145 secs
lola: 9834683 markings, 23113628 edges, 55206 markings/sec, 150 secs
lola: 10169901 markings, 23955416 edges, 67044 markings/sec, 155 secs
lola: 10857246 markings, 25191932 edges, 137469 markings/sec, 160 secs
lola: 11626789 markings, 26527864 edges, 153909 markings/sec, 165 secs
lola: 12362206 markings, 27848277 edges, 147083 markings/sec, 170 secs
lola: 13050625 markings, 29158522 edges, 137684 markings/sec, 175 secs
lola: 13753610 markings, 30470661 edges, 140597 markings/sec, 180 secs
lola: 14458987 markings, 31760031 edges, 141075 markings/sec, 185 secs
lola: 15137110 markings, 33061910 edges, 135625 markings/sec, 190 secs
lola: 15786422 markings, 34356575 edges, 129862 markings/sec, 195 secs
lola: 15942266 markings, 34925599 edges, 31169 markings/sec, 200 secs
lola: 16039698 markings, 35399251 edges, 19486 markings/sec, 205 secs
lola: 16180987 markings, 35877882 edges, 28258 markings/sec, 210 secs
lola: 16282146 markings, 36376107 edges, 20232 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(p1828)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 434493 markings, 1484303 edges, 86899 markings/sec, 0 secs
lola: 859525 markings, 2950466 edges, 85006 markings/sec, 5 secs
lola: 1263154 markings, 4412772 edges, 80726 markings/sec, 10 secs
lola: 1671738 markings, 5822427 edges, 81717 markings/sec, 15 secs
lola: 2077098 markings, 7278512 edges, 81072 markings/sec, 20 secs
lola: 2448232 markings, 8653490 edges, 74227 markings/sec, 25 secs
lola: 2850876 markings, 10044786 edges, 80529 markings/sec, 30 secs
lola: 3245936 markings, 11477357 edges, 79012 markings/sec, 35 secs
lola: 3635131 markings, 12911114 edges, 77839 markings/sec, 40 secs
lola: 4046342 markings, 14343370 edges, 82242 markings/sec, 45 secs
lola: 4445441 markings, 15765468 edges, 79820 markings/sec, 50 secs
lola: 4827798 markings, 17211917 edges, 76471 markings/sec, 55 secs
lola: 5187507 markings, 18695512 edges, 71942 markings/sec, 60 secs
lola: 5570006 markings, 20209129 edges, 76500 markings/sec, 65 secs
lola: 5997445 markings, 21695041 edges, 85488 markings/sec, 70 secs
lola: 6414918 markings, 23157682 edges, 83495 markings/sec, 75 secs
lola: 6811893 markings, 24595917 edges, 79395 markings/sec, 80 secs
lola: 7212463 markings, 26014759 edges, 80114 markings/sec, 85 secs
lola: 7560704 markings, 27334888 edges, 69648 markings/sec, 90 secs
lola: 7958578 markings, 28708837 edges, 79575 markings/sec, 95 secs
lola: 8346623 markings, 30099158 edges, 77609 markings/sec, 100 secs
lola: 8724258 markings, 31514306 edges, 75527 markings/sec, 105 secs
lola: 9127105 markings, 32917474 edges, 80569 markings/sec, 110 secs
lola: 9514686 markings, 34334797 edges, 77516 markings/sec, 115 secs
lola: 9893095 markings, 35793055 edges, 75682 markings/sec, 120 secs
lola: 10255078 markings, 37292712 edges, 72397 markings/sec, 125 secs
lola: 10649483 markings, 38779416 edges, 78881 markings/sec, 130 secs
lola: 11064490 markings, 40245111 edges, 83001 markings/sec, 135 secs
lola: 11464503 markings, 41693689 edges, 80003 markings/sec, 140 secs
lola: 11870953 markings, 43097025 edges, 81290 markings/sec, 145 secs
lola: 12269767 markings, 44530595 edges, 79763 markings/sec, 150 secs
lola: 12634572 markings, 45918723 edges, 72961 markings/sec, 155 secs
lola: 13031262 markings, 47288395 edges, 79338 markings/sec, 160 secs
lola: 13410861 markings, 48663147 edges, 75920 markings/sec, 165 secs
lola: 13784653 markings, 50063929 edges, 74758 markings/sec, 170 secs
lola: 14176896 markings, 51431477 edges, 78449 markings/sec, 175 secs
lola: 14549656 markings, 52817083 edges, 74552 markings/sec, 180 secs
lola: 14922364 markings, 54236174 edges, 74542 markings/sec, 185 secs
lola: 15245622 markings, 55730440 edges, 64652 markings/sec, 190 secs
lola: 15564889 markings, 57232044 edges, 63853 markings/sec, 195 secs
lola: 15888317 markings, 58728177 edges, 64686 markings/sec, 200 secs
lola: 16222255 markings, 60305427 edges, 66788 markings/sec, 205 secs
lola: 16635144 markings, 61741437 edges, 82578 markings/sec, 210 secs
lola: 17033178 markings, 63111822 edges, 79607 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(p1201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 849438 markings, 1328908 edges, 169888 markings/sec, 0 secs
lola: 1582954 markings, 2466859 edges, 146703 markings/sec, 5 secs
lola: 2434751 markings, 3793931 edges, 170359 markings/sec, 10 secs
lola: 3211328 markings, 5002159 edges, 155315 markings/sec, 15 secs
lola: 3988399 markings, 6097084 edges, 155414 markings/sec, 20 secs
lola: 4633326 markings, 7185461 edges, 128985 markings/sec, 25 secs
lola: 5316828 markings, 8248985 edges, 136700 markings/sec, 30 secs
lola: 6118103 markings, 9546247 edges, 160255 markings/sec, 35 secs
lola: 6971509 markings, 10865113 edges, 170681 markings/sec, 40 secs
lola: 7721250 markings, 12124608 edges, 149948 markings/sec, 45 secs
lola: 8462708 markings, 13301738 edges, 148292 markings/sec, 50 secs
lola: 9294204 markings, 14579101 edges, 166299 markings/sec, 55 secs
lola: 10131896 markings, 15859559 edges, 167538 markings/sec, 60 secs
lola: 10847860 markings, 16973475 edges, 143193 markings/sec, 65 secs
lola: 11586055 markings, 18132608 edges, 147639 markings/sec, 70 secs
lola: 12223119 markings, 19284944 edges, 127413 markings/sec, 75 secs
lola: 12858590 markings, 20432954 edges, 127094 markings/sec, 80 secs
lola: 13517464 markings, 21487612 edges, 131775 markings/sec, 85 secs
lola: 14182572 markings, 22522593 edges, 133022 markings/sec, 90 secs
lola: 14871675 markings, 23549806 edges, 137821 markings/sec, 95 secs
lola: 15437533 markings, 24652248 edges, 113172 markings/sec, 100 secs
lola: 15973383 markings, 25747547 edges, 107170 markings/sec, 105 secs
lola: 16399173 markings, 26582794 edges, 85158 markings/sec, 110 secs
lola: 17082727 markings, 27807833 edges, 136711 markings/sec, 115 secs
lola: 17934588 markings, 29115868 edges, 170372 markings/sec, 120 secs
lola: 18776496 markings, 30408710 edges, 168382 markings/sec, 125 secs
lola: 19632924 markings, 31723567 edges, 171286 markings/sec, 130 secs
lola: 20480104 markings, 33024537 edges, 169436 markings/sec, 135 secs
lola: 21319624 markings, 34313836 edges, 167904 markings/sec, 140 secs
lola: 22145125 markings, 35581680 edges, 165100 markings/sec, 145 secs
lola: 22881003 markings, 36712280 edges, 147176 markings/sec, 150 secs
lola: 23706061 markings, 37979725 edges, 165012 markings/sec, 155 secs
lola: 24528072 markings, 39243075 edges, 164402 markings/sec, 160 secs
lola: 25200816 markings, 40487075 edges, 134549 markings/sec, 165 secs
lola: 25596260 markings, 41719049 edges, 79089 markings/sec, 170 secs
lola: 26360927 markings, 42913498 edges, 152933 markings/sec, 175 secs
lola: 26915804 markings, 43858564 edges, 110975 markings/sec, 180 secs
lola: 27449649 markings, 44959722 edges, 106769 markings/sec, 185 secs
lola: 28193461 markings, 46205164 edges, 148762 markings/sec, 190 secs
lola: 29003917 markings, 47463722 edges, 162091 markings/sec, 195 secs
lola: 29853097 markings, 48771935 edges, 169836 markings/sec, 200 secs
lola: 30676464 markings, 50040957 edges, 164673 markings/sec, 205 secs
lola: 31477819 markings, 51263753 edges, 160271 markings/sec, 210 secs
lola: 32229599 markings, 52301214 edges, 150356 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(p1908)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p418)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 922288 markings, 1059403 edges, 184458 markings/sec, 0 secs
lola: 1805314 markings, 2122520 edges, 176605 markings/sec, 5 secs
lola: 2728053 markings, 3159005 edges, 184548 markings/sec, 10 secs
lola: 3604446 markings, 4216483 edges, 175279 markings/sec, 15 secs
lola: 4293585 markings, 5111370 edges, 137828 markings/sec, 20 secs
lola: 5070316 markings, 6153679 edges, 155346 markings/sec, 25 secs
lola: 5850969 markings, 7127155 edges, 156131 markings/sec, 30 secs
lola: 6685237 markings, 8152538 edges, 166854 markings/sec, 35 secs
lola: 7280565 markings, 9065028 edges, 119066 markings/sec, 40 secs
lola: 8166701 markings, 10086285 edges, 177227 markings/sec, 45 secs
lola: 9117004 markings, 11084322 edges, 190061 markings/sec, 50 secs
lola: 10077290 markings, 12099940 edges, 192057 markings/sec, 55 secs
lola: 10989994 markings, 13085086 edges, 182541 markings/sec, 60 secs
lola: 11787000 markings, 14106986 edges, 159401 markings/sec, 65 secs
lola: 12474300 markings, 15184050 edges, 137460 markings/sec, 70 secs
lola: 13157474 markings, 16221515 edges, 136635 markings/sec, 75 secs
lola: 13816242 markings, 17229473 edges, 131754 markings/sec, 80 secs
lola: 14483887 markings, 18232864 edges, 133529 markings/sec, 85 secs
lola: 15166633 markings, 19271923 edges, 136549 markings/sec, 90 secs
lola: 16022073 markings, 20287684 edges, 171088 markings/sec, 95 secs
lola: 16780881 markings, 21278515 edges, 151762 markings/sec, 100 secs
lola: 17459590 markings, 22246830 edges, 135742 markings/sec, 105 secs
lola: 18126532 markings, 23186933 edges, 133388 markings/sec, 110 secs
lola: 18796355 markings, 24153624 edges, 133965 markings/sec, 115 secs
lola: 19487789 markings, 25154665 edges, 138287 markings/sec, 120 secs
lola: 20164964 markings, 26127079 edges, 135435 markings/sec, 125 secs
lola: 20810117 markings, 27125625 edges, 129031 markings/sec, 130 secs
lola: 21345380 markings, 28199397 edges, 107053 markings/sec, 135 secs
lola: 21779524 markings, 29083120 edges, 86829 markings/sec, 140 secs
lola: 22350484 markings, 30094978 edges, 114192 markings/sec, 145 secs
lola: 22853414 markings, 31116397 edges, 100586 markings/sec, 150 secs
lola: 23325473 markings, 32252145 edges, 94412 markings/sec, 155 secs
lola: 23896666 markings, 33289497 edges, 114239 markings/sec, 160 secs
lola: 24401503 markings, 34380592 edges, 100967 markings/sec, 165 secs
lola: 24892238 markings, 35614386 edges, 98147 markings/sec, 170 secs
lola: 25484446 markings, 36718391 edges, 118442 markings/sec, 175 secs
lola: 26102199 markings, 37634002 edges, 123551 markings/sec, 180 secs
lola: 26694851 markings, 38573575 edges, 118530 markings/sec, 185 secs
lola: 27299688 markings, 39483218 edges, 120967 markings/sec, 190 secs
lola: 27865831 markings, 40434284 edges, 113229 markings/sec, 195 secs
lola: 28485543 markings, 41337633 edges, 123942 markings/sec, 200 secs
lola: 29096585 markings, 42346399 edges, 122208 markings/sec, 205 secs
lola: 29649039 markings, 43463674 edges, 110491 markings/sec, 210 secs
lola: 30334626 markings, 44502166 edges, 137117 markings/sec, 215 secs
lola: 30836525 markings, 45613002 edges, 100380 markings/sec, 220 secs
lola: 31474384 markings, 46661580 edges, 127572 markings/sec, 225 secs
lola: 32110945 markings, 47704879 edges, 127312 markings/sec, 230 secs
lola: 32738198 markings, 48724055 edges, 125451 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 1001109 markings, 1037739 edges, 200222 markings/sec, 0 secs
lola: 1953239 markings, 2076191 edges, 190426 markings/sec, 5 secs
lola: 2876707 markings, 3145972 edges, 184694 markings/sec, 10 secs
lola: 3842714 markings, 4170021 edges, 193201 markings/sec, 15 secs
lola: 4803918 markings, 5187837 edges, 192241 markings/sec, 20 secs
lola: 5758499 markings, 6201610 edges, 190916 markings/sec, 25 secs
lola: 6720829 markings, 7243951 edges, 192466 markings/sec, 30 secs
lola: 7674701 markings, 8268778 edges, 190774 markings/sec, 35 secs
lola: 8573281 markings, 9341162 edges, 179716 markings/sec, 40 secs
lola: 9527551 markings, 10354955 edges, 190854 markings/sec, 45 secs
lola: 10487166 markings, 11366724 edges, 191923 markings/sec, 50 secs
lola: 11467142 markings, 12376039 edges, 195995 markings/sec, 55 secs
lola: 12391129 markings, 13411581 edges, 184797 markings/sec, 60 secs
lola: 13402608 markings, 14429929 edges, 202296 markings/sec, 65 secs
lola: 14352438 markings, 15433447 edges, 189966 markings/sec, 70 secs
lola: 15322910 markings, 16436528 edges, 194094 markings/sec, 75 secs
lola: 16214056 markings, 17444270 edges, 178229 markings/sec, 80 secs
lola: 17190790 markings, 18453661 edges, 195347 markings/sec, 85 secs
lola: 18125505 markings, 19455573 edges, 186943 markings/sec, 90 secs
lola: 19088701 markings, 20454120 edges, 192639 markings/sec, 95 secs
lola: 19902470 markings, 21483494 edges, 162754 markings/sec, 100 secs
lola: 20674420 markings, 22577193 edges, 154390 markings/sec, 105 secs
lola: 21500577 markings, 23648087 edges, 165231 markings/sec, 110 secs
lola: 22144467 markings, 24766346 edges, 128778 markings/sec, 115 secs
lola: 22828552 markings, 25900709 edges, 136817 markings/sec, 120 secs
lola: 23350164 markings, 27133818 edges, 104322 markings/sec, 125 secs
lola: 24114702 markings, 28248496 edges, 152908 markings/sec, 130 secs
lola: 25119928 markings, 29272502 edges, 201045 markings/sec, 135 secs
lola: 26123015 markings, 30297213 edges, 200617 markings/sec, 140 secs
lola: 27139671 markings, 31321216 edges, 203331 markings/sec, 145 secs
lola: 28155751 markings, 32346720 edges, 203216 markings/sec, 150 secs
lola: 29167827 markings, 33366226 edges, 202415 markings/sec, 155 secs
lola: 30175374 markings, 34383348 edges, 201509 markings/sec, 160 secs
lola: 31172554 markings, 35390080 edges, 199436 markings/sec, 165 secs
lola: 32174028 markings, 36407556 edges, 200295 markings/sec, 170 secs
lola: 33154017 markings, 37401311 edges, 195998 markings/sec, 175 secs
lola: 34128033 markings, 38389014 edges, 194803 markings/sec, 180 secs
lola: 35100118 markings, 39374754 edges, 194417 markings/sec, 185 secs
lola: 36057208 markings, 40390940 edges, 191418 markings/sec, 190 secs
lola: 36977396 markings, 41410724 edges, 184038 markings/sec, 195 secs
lola: 37856715 markings, 42405552 edges, 175864 markings/sec, 200 secs
lola: 38804224 markings, 43415418 edges, 189502 markings/sec, 205 secs
lola: 39734210 markings, 44412738 edges, 185997 markings/sec, 210 secs
lola: 40595725 markings, 45321068 edges, 172303 markings/sec, 215 secs
lola: 41386301 markings, 46163076 edges, 158115 markings/sec, 220 secs
lola: 42313458 markings, 47164040 edges, 185431 markings/sec, 225 secs
lola: 43226893 markings, 48133280 edges, 182687 markings/sec, 230 secs
lola: 44214802 markings, 49138315 edges, 197582 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p638)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 1222647 markings, 1236305 edges, 244529 markings/sec, 0 secs
lola: 2426709 markings, 2475971 edges, 240812 markings/sec, 5 secs
lola: 3627151 markings, 3693177 edges, 240088 markings/sec, 10 secs
lola: 4843288 markings, 4915201 edges, 243227 markings/sec, 15 secs
lola: 6012209 markings, 6088653 edges, 233784 markings/sec, 20 secs
lola: 7190735 markings, 7271901 edges, 235705 markings/sec, 25 secs
lola: 8357558 markings, 8443169 edges, 233365 markings/sec, 30 secs
lola: 9535637 markings, 9626313 edges, 235616 markings/sec, 35 secs
lola: 10728492 markings, 10825150 edges, 238571 markings/sec, 40 secs
lola: 11896384 markings, 11999355 edges, 233578 markings/sec, 45 secs
lola: 13053805 markings, 13162196 edges, 231484 markings/sec, 50 secs
lola: 14236154 markings, 14350107 edges, 236470 markings/sec, 55 secs
lola: 15450928 markings, 15569345 edges, 242955 markings/sec, 60 secs
lola: 16632270 markings, 16755042 edges, 236268 markings/sec, 65 secs
lola: 17797909 markings, 17925026 edges, 233128 markings/sec, 70 secs
lola: 18922444 markings, 19053738 edges, 224907 markings/sec, 75 secs
lola: 20078720 markings, 20214274 edges, 231255 markings/sec, 80 secs
lola: 21221469 markings, 21361289 edges, 228550 markings/sec, 85 secs
lola: 22386536 markings, 22530753 edges, 233013 markings/sec, 90 secs
lola: 23517290 markings, 23665825 edges, 226151 markings/sec, 95 secs
lola: 24679692 markings, 24832607 edges, 232480 markings/sec, 100 secs
lola: 25800327 markings, 25957362 edges, 224127 markings/sec, 105 secs
lola: 26913331 markings, 27074537 edges, 222601 markings/sec, 110 secs
lola: 28024059 markings, 28189346 edges, 222146 markings/sec, 115 secs
lola: 29164624 markings, 29334181 edges, 228113 markings/sec, 120 secs
lola: 30317232 markings, 30491000 edges, 230522 markings/sec, 125 secs
lola: 31464741 markings, 31642811 edges, 229502 markings/sec, 130 secs
lola: 32614520 markings, 32796925 edges, 229956 markings/sec, 135 secs
lola: 33715339 markings, 33901966 edges, 220164 markings/sec, 140 secs
lola: 34922177 markings, 35113628 edges, 241368 markings/sec, 145 secs
lola: 36118608 markings, 36314914 edges, 239286 markings/sec, 150 secs
lola: 37006098 markings, 37206017 edges, 177498 markings/sec, 155 secs
lola: 38182949 markings, 38387621 edges, 235370 markings/sec, 160 secs
lola: 39360703 markings, 39569907 edges, 235551 markings/sec, 165 secs
lola: 40485352 markings, 40698718 edges, 224930 markings/sec, 170 secs
lola: 41384447 markings, 41601721 edges, 179819 markings/sec, 175 secs
lola: 42566922 markings, 42789806 edges, 236495 markings/sec, 180 secs
lola: 43726012 markings, 43953219 edges, 231818 markings/sec, 185 secs
lola: 44864059 markings, 45095863 edges, 227609 markings/sec, 190 secs
lola: 46002195 markings, 46238398 edges, 227627 markings/sec, 195 secs
lola: 47120729 markings, 47361236 edges, 223707 markings/sec, 200 secs
lola: 48246082 markings, 48491219 edges, 225071 markings/sec, 205 secs
lola: 49367977 markings, 49617757 edges, 224379 markings/sec, 210 secs
lola: 50468603 markings, 50722821 edges, 220125 markings/sec, 215 secs
lola: 51621795 markings, 51880291 edges, 230638 markings/sec, 220 secs
lola: 52810778 markings, 53073683 edges, 237797 markings/sec, 225 secs
lola: 53998014 markings, 54265327 edges, 237447 markings/sec, 230 secs
lola: 55169802 markings, 55441461 edges, 234358 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1845)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 941990 markings, 1397100 edges, 188398 markings/sec, 0 secs
lola: 1862250 markings, 2776056 edges, 184052 markings/sec, 5 secs
lola: 2683433 markings, 4124182 edges, 164237 markings/sec, 10 secs
lola: 3562117 markings, 5542812 edges, 175737 markings/sec, 15 secs
lola: 4416036 markings, 6904950 edges, 170784 markings/sec, 20 secs
lola: 5195368 markings, 8273946 edges, 155866 markings/sec, 25 secs
lola: 5942352 markings, 9482574 edges, 149397 markings/sec, 30 secs
lola: 6696087 markings, 10793931 edges, 150747 markings/sec, 35 secs
lola: 7207751 markings, 12266601 edges, 102333 markings/sec, 40 secs
lola: 7910904 markings, 13564410 edges, 140631 markings/sec, 45 secs
lola: 8587805 markings, 14838482 edges, 135380 markings/sec, 50 secs
lola: 9237750 markings, 16130141 edges, 129989 markings/sec, 55 secs
lola: 9721051 markings, 17547473 edges, 96660 markings/sec, 60 secs
lola: 10234662 markings, 18999966 edges, 102722 markings/sec, 65 secs
lola: 10944111 markings, 20336835 edges, 141890 markings/sec, 70 secs
lola: 11777030 markings, 21701132 edges, 166584 markings/sec, 75 secs
lola: 12615004 markings, 23018046 edges, 167595 markings/sec, 80 secs
lola: 13365324 markings, 24329803 edges, 150064 markings/sec, 85 secs
lola: 14052271 markings, 25457761 edges, 137389 markings/sec, 90 secs
lola: 14630010 markings, 26699166 edges, 115548 markings/sec, 95 secs
lola: 15389869 markings, 28044604 edges, 151972 markings/sec, 100 secs
lola: 16312414 markings, 29301818 edges, 184509 markings/sec, 105 secs
lola: 16987000 markings, 30538930 edges, 134917 markings/sec, 110 secs
lola: 17702162 markings, 31878680 edges, 143032 markings/sec, 115 secs
lola: 18506052 markings, 33194813 edges, 160778 markings/sec, 120 secs
lola: 19205179 markings, 34511819 edges, 139825 markings/sec, 125 secs
lola: 19767401 markings, 35797951 edges, 112444 markings/sec, 130 secs
lola: 20477241 markings, 37062726 edges, 141968 markings/sec, 135 secs
lola: 21116977 markings, 38324987 edges, 127947 markings/sec, 140 secs
lola: 21771714 markings, 39573239 edges, 130947 markings/sec, 145 secs
lola: 22433229 markings, 40814933 edges, 132303 markings/sec, 150 secs
lola: 23064107 markings, 42051762 edges, 126176 markings/sec, 155 secs
lola: 23816215 markings, 43330137 edges, 150422 markings/sec, 160 secs
lola: 24496326 markings, 44531286 edges, 136022 markings/sec, 165 secs
lola: 25053594 markings, 45879259 edges, 111454 markings/sec, 170 secs
lola: 25708800 markings, 47153824 edges, 131041 markings/sec, 175 secs
lola: 26252065 markings, 48413064 edges, 108653 markings/sec, 180 secs
lola: 26871129 markings, 49676595 edges, 123813 markings/sec, 185 secs
lola: 27463728 markings, 50920655 edges, 118520 markings/sec, 190 secs
lola: 27988000 markings, 52156329 edges, 104854 markings/sec, 195 secs
lola: 28604488 markings, 53356503 edges, 123298 markings/sec, 200 secs
lola: 29184111 markings, 54609198 edges, 115925 markings/sec, 205 secs
lola: 29696756 markings, 55875969 edges, 102529 markings/sec, 210 secs
lola: 30274281 markings, 57203657 edges, 115505 markings/sec, 215 secs
lola: 31011228 markings, 58572580 edges, 147389 markings/sec, 220 secs
lola: 31774404 markings, 59932301 edges, 152635 markings/sec, 225 secs
lola: 32498624 markings, 61050876 edges, 144844 markings/sec, 230 secs
lola: 33174080 markings, 62363148 edges, 135091 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1372)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 1116095 markings, 1150285 edges, 223219 markings/sec, 0 secs
lola: 2211576 markings, 2284950 edges, 219096 markings/sec, 5 secs
lola: 3235199 markings, 3407354 edges, 204725 markings/sec, 10 secs
lola: 4343186 markings, 4549669 edges, 221597 markings/sec, 15 secs
lola: 5437982 markings, 5678416 edges, 218959 markings/sec, 20 secs
lola: 6508282 markings, 6781876 edges, 214060 markings/sec, 25 secs
lola: 7587097 markings, 7894559 edges, 215763 markings/sec, 30 secs
lola: 8690257 markings, 9035909 edges, 220632 markings/sec, 35 secs
lola: 9797114 markings, 10181080 edges, 221371 markings/sec, 40 secs
lola: 10879039 markings, 11313693 edges, 216385 markings/sec, 45 secs
lola: 12022185 markings, 12492727 edges, 228629 markings/sec, 50 secs
lola: 13123997 markings, 13629129 edges, 220362 markings/sec, 55 secs
lola: 14249655 markings, 14790125 edges, 225132 markings/sec, 60 secs
lola: 15343191 markings, 15917991 edges, 218707 markings/sec, 65 secs
lola: 16440861 markings, 17050127 edges, 219534 markings/sec, 70 secs
lola: 17516532 markings, 18159572 edges, 215134 markings/sec, 75 secs
lola: 18600888 markings, 19277983 edges, 216871 markings/sec, 80 secs
lola: 19667422 markings, 20378008 edges, 213307 markings/sec, 85 secs
lola: 20714115 markings, 21457560 edges, 209339 markings/sec, 90 secs
lola: 21720764 markings, 22495811 edges, 201330 markings/sec, 95 secs
lola: 22756326 markings, 23563883 edges, 207112 markings/sec, 100 secs
lola: 23806723 markings, 24647260 edges, 210079 markings/sec, 105 secs
lola: 24862425 markings, 25736109 edges, 211140 markings/sec, 110 secs
lola: 25909097 markings, 26815644 edges, 209334 markings/sec, 115 secs
lola: 26978143 markings, 27918356 edges, 213809 markings/sec, 120 secs
lola: 28074587 markings, 29050219 edges, 219289 markings/sec, 125 secs
lola: 29165271 markings, 30176130 edges, 218137 markings/sec, 130 secs
lola: 30213837 markings, 31258575 edges, 209713 markings/sec, 135 secs
lola: 31301375 markings, 32381258 edges, 217508 markings/sec, 140 secs
lola: 32397758 markings, 33513063 edges, 219277 markings/sec, 145 secs
lola: 33471745 markings, 34621741 edges, 214797 markings/sec, 150 secs
lola: 34546445 markings, 35731160 edges, 214940 markings/sec, 155 secs
lola: 35617734 markings, 36837062 edges, 214258 markings/sec, 160 secs
lola: 36690085 markings, 37945964 edges, 214470 markings/sec, 165 secs
lola: 37551169 markings, 38837904 edges, 172217 markings/sec, 170 secs
lola: 38582059 markings, 39905748 edges, 206178 markings/sec, 175 secs
lola: 39598273 markings, 40958292 edges, 203243 markings/sec, 180 secs
lola: 40686011 markings, 42080637 edges, 217548 markings/sec, 185 secs
lola: 41744921 markings, 43173238 edges, 211782 markings/sec, 190 secs
lola: 42846587 markings, 44309953 edges, 220333 markings/sec, 195 secs
lola: 43918631 markings, 45416107 edges, 214409 markings/sec, 200 secs
lola: 45004692 markings, 46536720 edges, 217212 markings/sec, 205 secs
lola: 46087876 markings, 47654369 edges, 216637 markings/sec, 210 secs
lola: 47164998 markings, 48765760 edges, 215424 markings/sec, 215 secs
lola: 48241580 markings, 49876595 edges, 215316 markings/sec, 220 secs
lola: 49350308 markings, 51020598 edges, 221746 markings/sec, 225 secs
lola: 50450197 markings, 52155481 edges, 219978 markings/sec, 230 secs
lola: 51527800 markings, 53267368 edges, 215521 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2063)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1447)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 1189471 markings, 1514489 edges, 237894 markings/sec, 0 secs
lola: 2245029 markings, 2984308 edges, 211112 markings/sec, 5 secs
lola: 3302623 markings, 4443360 edges, 211519 markings/sec, 10 secs
lola: 4288450 markings, 5863174 edges, 197165 markings/sec, 15 secs
lola: 5262543 markings, 7275193 edges, 194819 markings/sec, 20 secs
lola: 6293441 markings, 8692855 edges, 206180 markings/sec, 25 secs
lola: 7132985 markings, 10021395 edges, 167909 markings/sec, 30 secs
lola: 8118477 markings, 11452579 edges, 197098 markings/sec, 35 secs
lola: 9239764 markings, 12893823 edges, 224257 markings/sec, 40 secs
lola: 10305020 markings, 14332644 edges, 213051 markings/sec, 45 secs
lola: 11345862 markings, 15751716 edges, 208168 markings/sec, 50 secs
lola: 12335712 markings, 17138752 edges, 197970 markings/sec, 55 secs
lola: 13335780 markings, 18551149 edges, 200014 markings/sec, 60 secs
lola: 14363360 markings, 19966272 edges, 205516 markings/sec, 65 secs
lola: 15256971 markings, 21326049 edges, 178722 markings/sec, 70 secs
lola: 16131812 markings, 22746849 edges, 174968 markings/sec, 75 secs
lola: 16930762 markings, 24216156 edges, 159790 markings/sec, 80 secs
lola: 18046223 markings, 25679515 edges, 223092 markings/sec, 85 secs
lola: 18983950 markings, 26841309 edges, 187545 markings/sec, 90 secs
lola: 20194393 markings, 28254374 edges, 242089 markings/sec, 95 secs
lola: 21370209 markings, 29679024 edges, 235163 markings/sec, 100 secs
lola: 22614776 markings, 31075138 edges, 248913 markings/sec, 105 secs
lola: 23716130 markings, 32506773 edges, 220271 markings/sec, 110 secs
lola: 24960414 markings, 33897197 edges, 248857 markings/sec, 115 secs
lola: 26003554 markings, 35336619 edges, 208628 markings/sec, 120 secs
lola: 27102697 markings, 36769949 edges, 219829 markings/sec, 125 secs
lola: 28239934 markings, 38172558 edges, 227447 markings/sec, 130 secs
lola: 29426635 markings, 39624283 edges, 237340 markings/sec, 135 secs
lola: 30488311 markings, 41052191 edges, 212335 markings/sec, 140 secs
lola: 31381302 markings, 42449925 edges, 178598 markings/sec, 145 secs
lola: 32466838 markings, 43886686 edges, 217107 markings/sec, 150 secs
lola: 33682489 markings, 45232588 edges, 243130 markings/sec, 155 secs
lola: 34851208 markings, 46514801 edges, 233744 markings/sec, 160 secs
lola: 36008009 markings, 47799685 edges, 231360 markings/sec, 165 secs
lola: 37211775 markings, 49137692 edges, 240753 markings/sec, 170 secs
lola: 38349067 markings, 50509129 edges, 227458 markings/sec, 175 secs
lola: 39589120 markings, 51900218 edges, 248011 markings/sec, 180 secs
lola: 40818136 markings, 53277243 edges, 245803 markings/sec, 185 secs
lola: 42047682 markings, 54655972 edges, 245909 markings/sec, 190 secs
lola: 43266698 markings, 56023499 edges, 243803 markings/sec, 195 secs
lola: 44413875 markings, 57421032 edges, 229435 markings/sec, 200 secs
lola: 45657107 markings, 58809797 edges, 248646 markings/sec, 205 secs
lola: 46908145 markings, 60212160 edges, 250208 markings/sec, 210 secs
lola: 48132254 markings, 61583497 edges, 244822 markings/sec, 215 secs
lola: 49338601 markings, 62937757 edges, 241269 markings/sec, 220 secs
lola: 50428022 markings, 64252518 edges, 217884 markings/sec, 225 secs
lola: 51569123 markings, 65563903 edges, 228220 markings/sec, 230 secs
lola: 52722969 markings, 66921580 edges, 230769 markings/sec, 235 secs
lola: 53930176 markings, 68274682 edges, 241441 markings/sec, 240 secs
lola: 55132397 markings, 69657617 edges, 240444 markings/sec, 245 secs
lola: 56334485 markings, 71015916 edges, 240418 markings/sec, 250 secs
lola: 57533039 markings, 72352593 edges, 239711 markings/sec, 255 secs
lola: 58634727 markings, 73779761 edges, 220338 markings/sec, 260 secs
lola: 59526777 markings, 75197002 edges, 178410 markings/sec, 265 secs
lola: 60710475 markings, 76526038 edges, 236740 markings/sec, 270 secs
lola: 61781866 markings, 77916288 edges, 214278 markings/sec, 275 secs
lola: 62915394 markings, 79256577 edges, 226706 markings/sec, 280 secs
lola: 63824875 markings, 80652491 edges, 181896 markings/sec, 285 secs
lola: 64916160 markings, 82012514 edges, 218257 markings/sec, 290 secs
lola: 66023052 markings, 83379290 edges, 221378 markings/sec, 295 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 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p856)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 383482 markings, 1303830 edges, 76696 markings/sec, 0 secs
lola: 765218 markings, 2752394 edges, 76347 markings/sec, 5 secs
lola: 1153401 markings, 4184281 edges, 77637 markings/sec, 10 secs
lola: 1547675 markings, 5608257 edges, 78855 markings/sec, 15 secs
lola: 1935207 markings, 7050438 edges, 77506 markings/sec, 20 secs
lola: 2314048 markings, 8464174 edges, 75768 markings/sec, 25 secs
lola: 2704055 markings, 9858573 edges, 78001 markings/sec, 30 secs
lola: 3076526 markings, 11263345 edges, 74494 markings/sec, 35 secs
lola: 3418979 markings, 12496256 edges, 68491 markings/sec, 40 secs
lola: 3777824 markings, 13855441 edges, 71769 markings/sec, 45 secs
lola: 4175606 markings, 15329710 edges, 79556 markings/sec, 50 secs
lola: 4567479 markings, 16734918 edges, 78375 markings/sec, 55 secs
lola: 4950773 markings, 18158026 edges, 76659 markings/sec, 60 secs
lola: 5321743 markings, 19527523 edges, 74194 markings/sec, 65 secs
lola: 5718107 markings, 20962925 edges, 79273 markings/sec, 70 secs
lola: 6091279 markings, 22371565 edges, 74634 markings/sec, 75 secs
lola: 6470204 markings, 23753744 edges, 75785 markings/sec, 80 secs
lola: 6842405 markings, 25115614 edges, 74440 markings/sec, 85 secs
lola: 7199403 markings, 26495712 edges, 71400 markings/sec, 90 secs
lola: 7580003 markings, 27834826 edges, 76120 markings/sec, 95 secs
lola: 7909095 markings, 29097828 edges, 65818 markings/sec, 100 secs
lola: 8308860 markings, 30515993 edges, 79953 markings/sec, 105 secs
lola: 8693869 markings, 31933252 edges, 77002 markings/sec, 110 secs
lola: 9056723 markings, 33344818 edges, 72571 markings/sec, 115 secs
lola: 9421470 markings, 34592970 edges, 72949 markings/sec, 120 secs
lola: 9783528 markings, 35977554 edges, 72412 markings/sec, 125 secs
lola: 10165168 markings, 37357477 edges, 76328 markings/sec, 130 secs
lola: 10541881 markings, 38738315 edges, 75343 markings/sec, 135 secs
lola: 10901751 markings, 40120172 edges, 71974 markings/sec, 140 secs
lola: 11281482 markings, 41457151 edges, 75946 markings/sec, 145 secs
lola: 11655851 markings, 42873245 edges, 74874 markings/sec, 150 secs
lola: 12043578 markings, 44290085 edges, 77545 markings/sec, 155 secs
lola: 12377687 markings, 45511658 edges, 66822 markings/sec, 160 secs
lola: 12745640 markings, 46890510 edges, 73591 markings/sec, 165 secs
lola: 13127444 markings, 48246819 edges, 76361 markings/sec, 170 secs
lola: 13503641 markings, 49681082 edges, 75239 markings/sec, 175 secs
lola: 13876825 markings, 51035545 edges, 74637 markings/sec, 180 secs
lola: 14253497 markings, 52414094 edges, 75334 markings/sec, 185 secs
lola: 14602899 markings, 53741293 edges, 69880 markings/sec, 190 secs
lola: 14986917 markings, 55099268 edges, 76804 markings/sec, 195 secs
lola: 15315593 markings, 56400537 edges, 65735 markings/sec, 200 secs
lola: 15718649 markings, 57810618 edges, 80611 markings/sec, 205 secs
lola: 16087735 markings, 59180517 edges, 73817 markings/sec, 210 secs
lola: 16453533 markings, 60546970 edges, 73160 markings/sec, 215 secs
lola: 16784092 markings, 61745948 edges, 66112 markings/sec, 220 secs
lola: 17146001 markings, 63090912 edges, 72382 markings/sec, 225 secs
lola: 17514893 markings, 64424465 edges, 73778 markings/sec, 230 secs
lola: 17854965 markings, 65728265 edges, 68014 markings/sec, 235 secs
lola: 18236932 markings, 67082225 edges, 76393 markings/sec, 240 secs
lola: 18598707 markings, 68458855 edges, 72355 markings/sec, 245 secs
lola: 18972407 markings, 69802315 edges, 74740 markings/sec, 250 secs
lola: 19335552 markings, 71147118 edges, 72629 markings/sec, 255 secs
lola: 19702481 markings, 72525212 edges, 73386 markings/sec, 260 secs
lola: 20089364 markings, 73901064 edges, 77377 markings/sec, 265 secs
lola: 20443690 markings, 75264015 edges, 70865 markings/sec, 270 secs
lola: 20818770 markings, 76601376 edges, 75016 markings/sec, 275 secs
lola: 21179990 markings, 77955358 edges, 72244 markings/sec, 280 secs
lola: 21538790 markings, 79269669 edges, 71760 markings/sec, 285 secs
lola: 21908720 markings, 80620593 edges, 73986 markings/sec, 290 secs
lola: 22260055 markings, 81957350 edges, 70267 markings/sec, 295 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 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p343)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 798314 markings, 1181287 edges, 159663 markings/sec, 0 secs
lola: 1523999 markings, 2366354 edges, 145137 markings/sec, 5 secs
lola: 2314186 markings, 3538649 edges, 158037 markings/sec, 10 secs
lola: 3042594 markings, 4726430 edges, 145682 markings/sec, 15 secs
lola: 3817621 markings, 5920736 edges, 155005 markings/sec, 20 secs
lola: 4557113 markings, 7062352 edges, 147898 markings/sec, 25 secs
lola: 5332107 markings, 8109518 edges, 154999 markings/sec, 30 secs
lola: 5966015 markings, 9166376 edges, 126782 markings/sec, 35 secs
lola: 6579985 markings, 10399046 edges, 122794 markings/sec, 40 secs
lola: 7245584 markings, 11549402 edges, 133120 markings/sec, 45 secs
lola: 8054342 markings, 12544279 edges, 161752 markings/sec, 50 secs
lola: 8852234 markings, 13528264 edges, 159578 markings/sec, 55 secs
lola: 9665315 markings, 14578804 edges, 162616 markings/sec, 60 secs
lola: 10483256 markings, 15752950 edges, 163588 markings/sec, 65 secs
lola: 11241291 markings, 16947343 edges, 151607 markings/sec, 70 secs
lola: 11889362 markings, 18198227 edges, 129614 markings/sec, 75 secs
lola: 12684158 markings, 19347588 edges, 158959 markings/sec, 80 secs
lola: 13208900 markings, 20605360 edges, 104948 markings/sec, 85 secs
lola: 13977104 markings, 21671634 edges, 153641 markings/sec, 90 secs
lola: 14661007 markings, 22680279 edges, 136781 markings/sec, 95 secs
lola: 15462809 markings, 23686269 edges, 160360 markings/sec, 100 secs
lola: 16221521 markings, 24728391 edges, 151742 markings/sec, 105 secs
lola: 16868053 markings, 25849238 edges, 129306 markings/sec, 110 secs
lola: 17504222 markings, 27024998 edges, 127234 markings/sec, 115 secs
lola: 18114238 markings, 28202914 edges, 122003 markings/sec, 120 secs
lola: 18900623 markings, 29364886 edges, 157277 markings/sec, 125 secs
lola: 19685820 markings, 30507917 edges, 157039 markings/sec, 130 secs
lola: 20445499 markings, 31595286 edges, 151936 markings/sec, 135 secs
lola: 21226430 markings, 32606184 edges, 156186 markings/sec, 140 secs
lola: 22037001 markings, 33623903 edges, 162114 markings/sec, 145 secs
lola: 22857260 markings, 34669012 edges, 164052 markings/sec, 150 secs
lola: 23695794 markings, 35808604 edges, 167707 markings/sec, 155 secs
lola: 24433248 markings, 36988587 edges, 147491 markings/sec, 160 secs
lola: 25184485 markings, 38120486 edges, 150247 markings/sec, 165 secs
lola: 25864205 markings, 39195298 edges, 135944 markings/sec, 170 secs
lola: 26430485 markings, 40106480 edges, 113256 markings/sec, 175 secs
lola: 27110733 markings, 41224667 edges, 136050 markings/sec, 180 secs
lola: 27846301 markings, 42239559 edges, 147114 markings/sec, 185 secs
lola: 28484388 markings, 43374328 edges, 127617 markings/sec, 190 secs
lola: 29036329 markings, 44385768 edges, 110388 markings/sec, 195 secs
lola: 29721677 markings, 45524255 edges, 137070 markings/sec, 200 secs
lola: 30443653 markings, 46622949 edges, 144395 markings/sec, 205 secs
lola: 31131417 markings, 47697278 edges, 137553 markings/sec, 210 secs
lola: 31680147 markings, 48890391 edges, 109746 markings/sec, 215 secs
lola: 32186075 markings, 50206975 edges, 101186 markings/sec, 220 secs
lola: 32694307 markings, 51491302 edges, 101646 markings/sec, 225 secs
lola: 33252688 markings, 52692346 edges, 111676 markings/sec, 230 secs
lola: 33934748 markings, 53776125 edges, 136412 markings/sec, 235 secs
lola: 34626781 markings, 54812059 edges, 138407 markings/sec, 240 secs
lola: 35329622 markings, 55848718 edges, 140568 markings/sec, 245 secs
lola: 36024532 markings, 56876453 edges, 138982 markings/sec, 250 secs
lola: 36704441 markings, 57887993 edges, 135982 markings/sec, 255 secs
lola: 37385319 markings, 58894117 edges, 136176 markings/sec, 260 secs
lola: 38026286 markings, 60003746 edges, 128193 markings/sec, 265 secs
lola: 38767918 markings, 61031976 edges, 148326 markings/sec, 270 secs
lola: 39520581 markings, 62073408 edges, 150533 markings/sec, 275 secs
lola: 40260506 markings, 63097787 edges, 147985 markings/sec, 280 secs
lola: 40953550 markings, 64196565 edges, 138609 markings/sec, 285 secs
lola: 41738456 markings, 65205107 edges, 156981 markings/sec, 290 secs
lola: 42407732 markings, 66141168 edges, 133855 markings/sec, 295 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 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 26 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: 976496 markings, 1119960 edges, 195299 markings/sec, 0 secs
lola: 1914549 markings, 2244955 edges, 187611 markings/sec, 5 secs
lola: 2898879 markings, 3352467 edges, 196866 markings/sec, 10 secs
lola: 3756036 markings, 4507267 edges, 171431 markings/sec, 15 secs
lola: 4664647 markings, 5562984 edges, 181722 markings/sec, 20 secs
lola: 5460937 markings, 6638311 edges, 159258 markings/sec, 25 secs
lola: 6335707 markings, 7695185 edges, 174954 markings/sec, 30 secs
lola: 7133770 markings, 8814062 edges, 159613 markings/sec, 35 secs
lola: 8001430 markings, 9912652 edges, 173532 markings/sec, 40 secs
lola: 8999287 markings, 10959247 edges, 199571 markings/sec, 45 secs
lola: 9999096 markings, 12019297 edges, 199962 markings/sec, 50 secs
lola: 10955035 markings, 13047937 edges, 191188 markings/sec, 55 secs
lola: 11788460 markings, 14108489 edges, 166685 markings/sec, 60 secs
lola: 12497657 markings, 15224095 edges, 141839 markings/sec, 65 secs
lola: 13195031 markings, 16284595 edges, 139475 markings/sec, 70 secs
lola: 13860788 markings, 17298560 edges, 133151 markings/sec, 75 secs
lola: 14547924 markings, 18326600 edges, 137427 markings/sec, 80 secs
lola: 15249301 markings, 19384731 edges, 140275 markings/sec, 85 secs
lola: 16147914 markings, 20436769 edges, 179723 markings/sec, 90 secs
lola: 16917921 markings, 21478147 edges, 154001 markings/sec, 95 secs
lola: 17633795 markings, 22474550 edges, 143175 markings/sec, 100 secs
lola: 18334091 markings, 23481760 edges, 140059 markings/sec, 105 secs
lola: 18907426 markings, 24313826 edges, 114667 markings/sec, 110 secs
lola: 19633801 markings, 25349331 edges, 145275 markings/sec, 115 secs
lola: 20340432 markings, 26382966 edges, 141326 markings/sec, 120 secs
lola: 20974962 markings, 27475129 edges, 126906 markings/sec, 125 secs
lola: 21436099 markings, 28361827 edges, 92227 markings/sec, 130 secs
lola: 22006269 markings, 29564911 edges, 114034 markings/sec, 135 secs
lola: 22600602 markings, 30579343 edges, 118867 markings/sec, 140 secs
lola: 23112967 markings, 31700579 edges, 102473 markings/sec, 145 secs
lola: 23669650 markings, 32854778 edges, 111337 markings/sec, 150 secs
lola: 24235064 markings, 33953123 edges, 113083 markings/sec, 155 secs
lola: 24754163 markings, 35182444 edges, 103820 markings/sec, 160 secs
lola: 25269975 markings, 36426376 edges, 103162 markings/sec, 165 secs
lola: 25953572 markings, 37438690 edges, 136719 markings/sec, 170 secs
lola: 26628993 markings, 38414950 edges, 135084 markings/sec, 175 secs
lola: 27250782 markings, 39415351 edges, 124358 markings/sec, 180 secs
lola: 27866960 markings, 40436744 edges, 123236 markings/sec, 185 secs
lola: 28400287 markings, 41225493 edges, 106665 markings/sec, 190 secs
lola: 29036903 markings, 42254311 edges, 127323 markings/sec, 195 secs
lola: 29600520 markings, 43376365 edges, 112723 markings/sec, 200 secs
lola: 30290515 markings, 44434103 edges, 137999 markings/sec, 205 secs
lola: 30737294 markings, 45349681 edges, 89356 markings/sec, 210 secs
lola: 31345028 markings, 46478814 edges, 121547 markings/sec, 215 secs
lola: 32013278 markings, 47544341 edges, 133650 markings/sec, 220 secs
lola: 32655642 markings, 48599684 edges, 128473 markings/sec, 225 secs
lola: 33219693 markings, 49761917 edges, 112810 markings/sec, 230 secs
lola: 34053363 markings, 50763265 edges, 166734 markings/sec, 235 secs
lola: 34626132 markings, 51942452 edges, 114554 markings/sec, 240 secs
lola: 35151747 markings, 53061180 edges, 105123 markings/sec, 245 secs
lola: 36088563 markings, 54112034 edges, 187363 markings/sec, 250 secs
lola: 37022502 markings, 55132256 edges, 186788 markings/sec, 255 secs
lola: 37662237 markings, 56347863 edges, 127947 markings/sec, 260 secs
lola: 38250533 markings, 57573714 edges, 117659 markings/sec, 265 secs
lola: 38837156 markings, 58393107 edges, 117325 markings/sec, 270 secs
lola: 39504088 markings, 59291429 edges, 133386 markings/sec, 275 secs
lola: 40108564 markings, 60250523 edges, 120895 markings/sec, 280 secs
lola: 40767515 markings, 61146837 edges, 131790 markings/sec, 285 secs
lola: 41306896 markings, 61910642 edges, 107876 markings/sec, 290 secs
lola: 41927340 markings, 62868717 edges, 124089 markings/sec, 295 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d02r15-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d02r15-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494689632462

--------------------
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="Echo-PT-d02r15"
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/Echo-PT-d02r15.tgz
mv Echo-PT-d02r15 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 Echo-PT-d02r15, 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 r028-blw3-149440264100254"
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 ;