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 Ring-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100128
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494802833550


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Ring-PT-none @ 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: 226/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 87 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 147 transition conflict sets
lola: TASK
lola: reading formula from Ring-PT-none-UpperBounds.task
lola: MAX(P94) : MAX(P105) : MAX(P18) : MAX(P99) : MAX(P12) : MAX(P113) : MAX(P50) : MAX(P45) : MAX(P69) : MAX(P63) : MAX(P86) : MAX(P14) : MAX(P51) : MAX(P103) : MAX(P122) : MAX(P10)
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(P94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2579890 markings, 3529491 edges, 515978 markings/sec, 0 secs
lola: 4806333 markings, 6683177 edges, 445289 markings/sec, 5 secs
lola: 6894821 markings, 9756655 edges, 417698 markings/sec, 10 secs
lola: 8859930 markings, 12696246 edges, 393022 markings/sec, 15 secs
lola: 10694075 markings, 15536482 edges, 366829 markings/sec, 20 secs
lola: 12495460 markings, 18353328 edges, 360277 markings/sec, 25 secs
lola: 14234810 markings, 21096268 edges, 347870 markings/sec, 30 secs
lola: 15934884 markings, 23831342 edges, 340015 markings/sec, 35 secs
lola: 17598511 markings, 26550010 edges, 332725 markings/sec, 40 secs
lola: 19195405 markings, 29177963 edges, 319379 markings/sec, 45 secs
lola: 20751641 markings, 31782814 edges, 311247 markings/sec, 50 secs
lola: 22243904 markings, 34318164 edges, 298453 markings/sec, 55 secs
lola: 23694280 markings, 36814642 edges, 290075 markings/sec, 60 secs
lola: 25139355 markings, 39308298 edges, 289015 markings/sec, 65 secs
lola: 26592918 markings, 41828609 edges, 290713 markings/sec, 70 secs
lola: 28070143 markings, 44406083 edges, 295445 markings/sec, 75 secs
lola: 29526228 markings, 46969512 edges, 291217 markings/sec, 80 secs
lola: 30959689 markings, 49497100 edges, 286692 markings/sec, 85 secs
lola: 32371217 markings, 52038588 edges, 282306 markings/sec, 90 secs
lola: 33774442 markings, 54563525 edges, 280645 markings/sec, 95 secs
lola: 35171288 markings, 57054502 edges, 279369 markings/sec, 100 secs
lola: 36553645 markings, 59559162 edges, 276471 markings/sec, 105 secs
lola: 37936919 markings, 62117063 edges, 276655 markings/sec, 110 secs
lola: 39354726 markings, 64693031 edges, 283561 markings/sec, 115 secs
lola: 40687676 markings, 67166825 edges, 266590 markings/sec, 120 secs
lola: 41981210 markings, 69579913 edges, 258707 markings/sec, 125 secs
lola: 43271632 markings, 71989076 edges, 258084 markings/sec, 130 secs
lola: 44596973 markings, 74492242 edges, 265068 markings/sec, 135 secs
lola: 45955111 markings, 77043035 edges, 271628 markings/sec, 140 secs
lola: 47303928 markings, 79587266 edges, 269763 markings/sec, 145 secs
lola: 48623425 markings, 82085096 edges, 263899 markings/sec, 150 secs
lola: 49938365 markings, 84582595 edges, 262988 markings/sec, 155 secs
lola: 51235785 markings, 87058834 edges, 259484 markings/sec, 160 secs
lola: 52529201 markings, 89560213 edges, 258683 markings/sec, 165 secs
lola: 53795821 markings, 92018073 edges, 253324 markings/sec, 170 secs
lola: 55038574 markings, 94437997 edges, 248551 markings/sec, 175 secs
lola: 56258583 markings, 96811551 edges, 244002 markings/sec, 180 secs
lola: 57454186 markings, 99163290 edges, 239121 markings/sec, 185 secs
lola: 58660128 markings, 101541452 edges, 241188 markings/sec, 190 secs
lola: 59874146 markings, 103920998 edges, 242804 markings/sec, 195 secs
lola: 61071284 markings, 106303890 edges, 239428 markings/sec, 200 secs
lola: 62262411 markings, 108679877 edges, 238225 markings/sec, 205 secs
lola: 63455061 markings, 111062132 edges, 238530 markings/sec, 210 secs
lola: 64638350 markings, 113427733 edges, 236658 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(P105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2379926 markings, 3353012 edges, 475985 markings/sec, 0 secs
lola: 4295545 markings, 6334627 edges, 383124 markings/sec, 5 secs
lola: 6050183 markings, 9201012 edges, 350928 markings/sec, 10 secs
lola: 7756417 markings, 12080530 edges, 341247 markings/sec, 15 secs
lola: 9354426 markings, 14853246 edges, 319602 markings/sec, 20 secs
lola: 10914758 markings, 17536885 edges, 312066 markings/sec, 25 secs
lola: 12430865 markings, 20184467 edges, 303221 markings/sec, 30 secs
lola: 13904321 markings, 22753178 edges, 294691 markings/sec, 35 secs
lola: 15309235 markings, 25228616 edges, 280983 markings/sec, 40 secs
lola: 16742876 markings, 27775747 edges, 286728 markings/sec, 45 secs
lola: 18158950 markings, 30325956 edges, 283215 markings/sec, 50 secs
lola: 19562915 markings, 32878147 edges, 280793 markings/sec, 55 secs
lola: 20941242 markings, 35392184 edges, 275665 markings/sec, 60 secs
lola: 22306462 markings, 37894969 edges, 273044 markings/sec, 65 secs
lola: 23668994 markings, 40367810 edges, 272506 markings/sec, 70 secs
lola: 24997142 markings, 42859296 edges, 265630 markings/sec, 75 secs
lola: 26323981 markings, 45332776 edges, 265368 markings/sec, 80 secs
lola: 27645922 markings, 47817461 edges, 264388 markings/sec, 85 secs
lola: 28956463 markings, 50285524 edges, 262108 markings/sec, 90 secs
lola: 30264871 markings, 52730929 edges, 261682 markings/sec, 95 secs
lola: 31566844 markings, 55188678 edges, 260395 markings/sec, 100 secs
lola: 32843355 markings, 57598734 edges, 255302 markings/sec, 105 secs
lola: 34093923 markings, 59976021 edges, 250114 markings/sec, 110 secs
lola: 35342629 markings, 62361938 edges, 249741 markings/sec, 115 secs
lola: 36586186 markings, 64724468 edges, 248711 markings/sec, 120 secs
lola: 37817484 markings, 67080481 edges, 246260 markings/sec, 125 secs
lola: 39079968 markings, 69511172 edges, 252497 markings/sec, 130 secs
lola: 40310498 markings, 71886528 edges, 246106 markings/sec, 135 secs
lola: 41549792 markings, 74255899 edges, 247859 markings/sec, 140 secs
lola: 42773112 markings, 76606022 edges, 244664 markings/sec, 145 secs
lola: 43999257 markings, 78963628 edges, 245229 markings/sec, 150 secs
lola: 45238606 markings, 81364300 edges, 247870 markings/sec, 155 secs
lola: 46455669 markings, 83703732 edges, 243413 markings/sec, 160 secs
lola: 47673101 markings, 86068081 edges, 243486 markings/sec, 165 secs
lola: 48880720 markings, 88399955 edges, 241524 markings/sec, 170 secs
lola: 50086164 markings, 90732394 edges, 241089 markings/sec, 175 secs
lola: 51284102 markings, 93073437 edges, 239588 markings/sec, 180 secs
lola: 52471227 markings, 95374187 edges, 237425 markings/sec, 185 secs
lola: 53641040 markings, 97683827 edges, 233963 markings/sec, 190 secs
lola: 54809840 markings, 99977399 edges, 233760 markings/sec, 195 secs
lola: 55952787 markings, 102229398 edges, 228589 markings/sec, 200 secs
lola: 57098932 markings, 104471329 edges, 229229 markings/sec, 205 secs
lola: 58249260 markings, 106727386 edges, 230066 markings/sec, 210 secs
lola: 59379143 markings, 108951913 edges, 225977 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(P18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2456410 markings, 3906029 edges, 491282 markings/sec, 0 secs
lola: 4573953 markings, 7366533 edges, 423509 markings/sec, 5 secs
lola: 6458814 markings, 10470660 edges, 376972 markings/sec, 10 secs
lola: 8274108 markings, 13469419 edges, 363059 markings/sec, 15 secs
lola: 10140176 markings, 16539517 edges, 373214 markings/sec, 20 secs
lola: 11909979 markings, 19440251 edges, 353961 markings/sec, 25 secs
lola: 13719397 markings, 22403294 edges, 361884 markings/sec, 30 secs
lola: 15450488 markings, 25245333 edges, 346218 markings/sec, 35 secs
lola: 17230818 markings, 28190809 edges, 356066 markings/sec, 40 secs
lola: 18928120 markings, 31024990 edges, 339460 markings/sec, 45 secs
lola: 20612835 markings, 33832796 edges, 336943 markings/sec, 50 secs
lola: 22200873 markings, 36470045 edges, 317608 markings/sec, 55 secs
lola: 23778257 markings, 39114528 edges, 315477 markings/sec, 60 secs
lola: 25326238 markings, 41698647 edges, 309596 markings/sec, 65 secs
lola: 26887093 markings, 44300631 edges, 312171 markings/sec, 70 secs
lola: 28412863 markings, 46856301 edges, 305154 markings/sec, 75 secs
lola: 29919602 markings, 49356636 edges, 301348 markings/sec, 80 secs
lola: 31429543 markings, 51854832 edges, 301988 markings/sec, 85 secs
lola: 32879612 markings, 54262743 edges, 290014 markings/sec, 90 secs
lola: 34314432 markings, 56657195 edges, 286964 markings/sec, 95 secs
lola: 35776224 markings, 59100299 edges, 292358 markings/sec, 100 secs
lola: 37267063 markings, 61586714 edges, 298168 markings/sec, 105 secs
lola: 38758543 markings, 64065147 edges, 298296 markings/sec, 110 secs
lola: 40259451 markings, 66568414 edges, 300182 markings/sec, 115 secs
lola: 41811745 markings, 69165418 edges, 310459 markings/sec, 120 secs
lola: 43331123 markings, 71715246 edges, 303876 markings/sec, 125 secs
lola: 44783702 markings, 74142366 edges, 290516 markings/sec, 130 secs
lola: 46227218 markings, 76573244 edges, 288703 markings/sec, 135 secs
lola: 47652259 markings, 78973730 edges, 285008 markings/sec, 140 secs
lola: 49074180 markings, 81364451 edges, 284384 markings/sec, 145 secs
lola: 50477630 markings, 83728672 edges, 280690 markings/sec, 150 secs
lola: 51901401 markings, 86120299 edges, 284754 markings/sec, 155 secs
lola: 53377647 markings, 88623200 edges, 295249 markings/sec, 160 secs
lola: 54844204 markings, 91105898 edges, 293311 markings/sec, 165 secs
lola: 56286241 markings, 93525806 edges, 288407 markings/sec, 170 secs
lola: 57726856 markings, 95956913 edges, 288123 markings/sec, 175 secs
lola: 59192029 markings, 98426968 edges, 293035 markings/sec, 180 secs
lola: 60637216 markings, 100857793 edges, 289037 markings/sec, 185 secs
lola: 62072295 markings, 103271207 edges, 287016 markings/sec, 190 secs
lola: 63495347 markings, 105652843 edges, 284610 markings/sec, 195 secs
lola: 64916064 markings, 108044469 edges, 284143 markings/sec, 200 secs
lola: 66348582 markings, 110453350 edges, 286504 markings/sec, 205 secs
lola: 67768401 markings, 112837163 edges, 283964 markings/sec, 210 secs
lola: 69185725 markings, 115214904 edges, 283465 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(P99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2417217 markings, 3069353 edges, 483443 markings/sec, 0 secs
lola: 4525979 markings, 5927833 edges, 421752 markings/sec, 5 secs
lola: 6527435 markings, 8726378 edges, 400291 markings/sec, 10 secs
lola: 8441907 markings, 11466989 edges, 382894 markings/sec, 15 secs
lola: 10266458 markings, 14156717 edges, 364910 markings/sec, 20 secs
lola: 12036140 markings, 16792561 edges, 353936 markings/sec, 25 secs
lola: 13759138 markings, 19396695 edges, 344600 markings/sec, 30 secs
lola: 15437253 markings, 21972053 edges, 335623 markings/sec, 35 secs
lola: 17070986 markings, 24545452 edges, 326747 markings/sec, 40 secs
lola: 18678044 markings, 27083974 edges, 321412 markings/sec, 45 secs
lola: 20257170 markings, 29599143 edges, 315825 markings/sec, 50 secs
lola: 21821872 markings, 32095122 edges, 312940 markings/sec, 55 secs
lola: 23351365 markings, 34565574 edges, 305899 markings/sec, 60 secs
lola: 24869900 markings, 37047527 edges, 303707 markings/sec, 65 secs
lola: 26394623 markings, 39552188 edges, 304945 markings/sec, 70 secs
lola: 27893532 markings, 42013429 edges, 299782 markings/sec, 75 secs
lola: 29366752 markings, 44460705 edges, 294644 markings/sec, 80 secs
lola: 30797170 markings, 46840045 edges, 286084 markings/sec, 85 secs
lola: 32212966 markings, 49213147 edges, 283159 markings/sec, 90 secs
lola: 33622591 markings, 51588180 edges, 281925 markings/sec, 95 secs
lola: 35015974 markings, 53935371 edges, 278677 markings/sec, 100 secs
lola: 36406160 markings, 56303277 edges, 278037 markings/sec, 105 secs
lola: 37771285 markings, 58645170 edges, 273025 markings/sec, 110 secs
lola: 39126287 markings, 60976097 edges, 271000 markings/sec, 115 secs
lola: 40475763 markings, 63318941 edges, 269895 markings/sec, 120 secs
lola: 41803483 markings, 65637149 edges, 265544 markings/sec, 125 secs
lola: 43130396 markings, 67922195 edges, 265383 markings/sec, 130 secs
lola: 44431010 markings, 70186813 edges, 260123 markings/sec, 135 secs
lola: 45717526 markings, 72438054 edges, 257303 markings/sec, 140 secs
lola: 47010961 markings, 74691371 edges, 258687 markings/sec, 145 secs
lola: 48293906 markings, 76941754 edges, 256589 markings/sec, 150 secs
lola: 49559900 markings, 79183142 edges, 253199 markings/sec, 155 secs
lola: 50831633 markings, 81436762 edges, 254347 markings/sec, 160 secs
lola: 52125589 markings, 83726502 edges, 258791 markings/sec, 165 secs
lola: 53420856 markings, 86008494 edges, 259053 markings/sec, 170 secs
lola: 54689879 markings, 88275691 edges, 253805 markings/sec, 175 secs
lola: 55961584 markings, 90552328 edges, 254341 markings/sec, 180 secs
lola: 57234779 markings, 92825275 edges, 254639 markings/sec, 185 secs
lola: 58490521 markings, 95101912 edges, 251148 markings/sec, 190 secs
lola: 59753019 markings, 97377699 edges, 252500 markings/sec, 195 secs
lola: 61016087 markings, 99664166 edges, 252614 markings/sec, 200 secs
lola: 62267827 markings, 101938935 edges, 250348 markings/sec, 205 secs
lola: 63527931 markings, 104221741 edges, 252021 markings/sec, 210 secs
lola: 64774528 markings, 106497205 edges, 249319 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(P12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2204609 markings, 3263562 edges, 440922 markings/sec, 0 secs
lola: 4015792 markings, 6144514 edges, 362237 markings/sec, 5 secs
lola: 5699083 markings, 8898789 edges, 336658 markings/sec, 10 secs
lola: 7248062 markings, 11510086 edges, 309796 markings/sec, 15 secs
lola: 8811791 markings, 14161401 edges, 312746 markings/sec, 20 secs
lola: 10294064 markings, 16740061 edges, 296455 markings/sec, 25 secs
lola: 11729423 markings, 19265335 edges, 287072 markings/sec, 30 secs
lola: 13134290 markings, 21734253 edges, 280973 markings/sec, 35 secs
lola: 14524003 markings, 24171818 edges, 277943 markings/sec, 40 secs
lola: 15931749 markings, 26662764 edges, 281549 markings/sec, 45 secs
lola: 17296257 markings, 29101378 edges, 272902 markings/sec, 50 secs
lola: 18622642 markings, 31467639 edges, 265277 markings/sec, 55 secs
lola: 19941944 markings, 33831881 edges, 263860 markings/sec, 60 secs
lola: 21234936 markings, 36171024 edges, 258598 markings/sec, 65 secs
lola: 22582983 markings, 38600591 edges, 269609 markings/sec, 70 secs
lola: 23933805 markings, 41047694 edges, 270164 markings/sec, 75 secs
lola: 25270830 markings, 43488493 edges, 267405 markings/sec, 80 secs
lola: 26606125 markings, 45915990 edges, 267059 markings/sec, 85 secs
lola: 27903675 markings, 48273075 edges, 259510 markings/sec, 90 secs
lola: 29207429 markings, 50672419 edges, 260751 markings/sec, 95 secs
lola: 30505550 markings, 53044516 edges, 259624 markings/sec, 100 secs
lola: 31780731 markings, 55376646 edges, 255036 markings/sec, 105 secs
lola: 33061305 markings, 57729827 edges, 256115 markings/sec, 110 secs
lola: 34332711 markings, 60049738 edges, 254281 markings/sec, 115 secs
lola: 35599705 markings, 62347632 edges, 253399 markings/sec, 120 secs
lola: 36872482 markings, 64673926 edges, 254555 markings/sec, 125 secs
lola: 38114082 markings, 66967758 edges, 248320 markings/sec, 130 secs
lola: 39369903 markings, 69259364 edges, 251164 markings/sec, 135 secs
lola: 40617064 markings, 71547916 edges, 249432 markings/sec, 140 secs
lola: 41844218 markings, 73796330 edges, 245431 markings/sec, 145 secs
lola: 43052659 markings, 76017706 edges, 241688 markings/sec, 150 secs
lola: 44259192 markings, 78229679 edges, 241307 markings/sec, 155 secs
lola: 45462758 markings, 80462919 edges, 240713 markings/sec, 160 secs
lola: 46660160 markings, 82662549 edges, 239480 markings/sec, 165 secs
lola: 47898021 markings, 84931590 edges, 247572 markings/sec, 170 secs
lola: 49087227 markings, 87113636 edges, 237841 markings/sec, 175 secs
lola: 50326536 markings, 89386441 edges, 247862 markings/sec, 180 secs
lola: 51555509 markings, 91640188 edges, 245795 markings/sec, 185 secs
lola: 52765674 markings, 93872925 edges, 242033 markings/sec, 190 secs
lola: 53962636 markings, 96069888 edges, 239392 markings/sec, 195 secs
lola: 55166784 markings, 98275997 edges, 240830 markings/sec, 200 secs
lola: 56356511 markings, 100463208 edges, 237945 markings/sec, 205 secs
lola: 57564280 markings, 102676617 edges, 241554 markings/sec, 210 secs
lola: 58758233 markings, 104881917 edges, 238791 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(P113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1960296 markings, 2990849 edges, 392059 markings/sec, 0 secs
lola: 3638689 markings, 5772242 edges, 335679 markings/sec, 5 secs
lola: 5227308 markings, 8494490 edges, 317724 markings/sec, 10 secs
lola: 6760965 markings, 11133369 edges, 306731 markings/sec, 15 secs
lola: 8199350 markings, 13641285 edges, 287677 markings/sec, 20 secs
lola: 9594373 markings, 16108646 edges, 279005 markings/sec, 25 secs
lola: 10964522 markings, 18547839 edges, 274030 markings/sec, 30 secs
lola: 12298431 markings, 20946334 edges, 266782 markings/sec, 35 secs
lola: 13621617 markings, 23359202 edges, 264637 markings/sec, 40 secs
lola: 14897414 markings, 25711705 edges, 255159 markings/sec, 45 secs
lola: 16163800 markings, 28046014 edges, 253277 markings/sec, 50 secs
lola: 17416262 markings, 30369566 edges, 250492 markings/sec, 55 secs
lola: 18659947 markings, 32703064 edges, 248737 markings/sec, 60 secs
lola: 19850740 markings, 34928761 edges, 238159 markings/sec, 65 secs
lola: 21053629 markings, 37183916 edges, 240578 markings/sec, 70 secs
lola: 22208503 markings, 39372313 edges, 230975 markings/sec, 75 secs
lola: 23364782 markings, 41555995 edges, 231256 markings/sec, 80 secs
lola: 24513298 markings, 43744859 edges, 229703 markings/sec, 85 secs
lola: 25663574 markings, 45933715 edges, 230055 markings/sec, 90 secs
lola: 26792968 markings, 48097115 edges, 225879 markings/sec, 95 secs
lola: 27932878 markings, 50278152 edges, 227982 markings/sec, 100 secs
lola: 29097826 markings, 52519474 edges, 232990 markings/sec, 105 secs
lola: 30257911 markings, 54763483 edges, 232017 markings/sec, 110 secs
lola: 31392129 markings, 56968157 edges, 226844 markings/sec, 115 secs
lola: 32530291 markings, 59169315 edges, 227632 markings/sec, 120 secs
lola: 33633744 markings, 61314592 edges, 220691 markings/sec, 125 secs
lola: 34732473 markings, 63447150 edges, 219746 markings/sec, 130 secs
lola: 35773330 markings, 65468357 edges, 208171 markings/sec, 135 secs
lola: 36863473 markings, 67608204 edges, 218029 markings/sec, 140 secs
lola: 37924969 markings, 69689460 edges, 212299 markings/sec, 145 secs
lola: 38990923 markings, 71799263 edges, 213191 markings/sec, 150 secs
lola: 40105576 markings, 73989881 edges, 222931 markings/sec, 155 secs
lola: 41134580 markings, 76024271 edges, 205801 markings/sec, 160 secs
lola: 42180328 markings, 78100241 edges, 209150 markings/sec, 165 secs
lola: 43224495 markings, 80180335 edges, 208833 markings/sec, 170 secs
lola: 44241263 markings, 82208756 edges, 203354 markings/sec, 175 secs
lola: 45274506 markings, 84284983 edges, 206649 markings/sec, 180 secs
lola: 46300675 markings, 86340389 edges, 205234 markings/sec, 185 secs
lola: 47382593 markings, 88495546 edges, 216384 markings/sec, 190 secs
lola: 48481407 markings, 90692238 edges, 219763 markings/sec, 195 secs
lola: 49519741 markings, 92780269 edges, 207667 markings/sec, 200 secs
lola: 50563761 markings, 94892797 edges, 208804 markings/sec, 205 secs
lola: 51603843 markings, 97007712 edges, 208016 markings/sec, 210 secs
lola: 52654066 markings, 99132619 edges, 210045 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(P50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2315688 markings, 3451001 edges, 463138 markings/sec, 0 secs
lola: 4147530 markings, 6465497 edges, 366368 markings/sec, 5 secs
lola: 5908762 markings, 9510625 edges, 352246 markings/sec, 10 secs
lola: 7499244 markings, 12291188 edges, 318096 markings/sec, 15 secs
lola: 9004518 markings, 14978836 edges, 301055 markings/sec, 20 secs
lola: 10535349 markings, 17782389 edges, 306166 markings/sec, 25 secs
lola: 12002744 markings, 20477660 edges, 293479 markings/sec, 30 secs
lola: 13408913 markings, 23118956 edges, 281234 markings/sec, 35 secs
lola: 14822045 markings, 25744300 edges, 282626 markings/sec, 40 secs
lola: 16178051 markings, 28293235 edges, 271201 markings/sec, 45 secs
lola: 17510691 markings, 30810384 edges, 266528 markings/sec, 50 secs
lola: 18808636 markings, 33295605 edges, 259589 markings/sec, 55 secs
lola: 20100986 markings, 35790474 edges, 258470 markings/sec, 60 secs
lola: 21439916 markings, 38361078 edges, 267786 markings/sec, 65 secs
lola: 22768216 markings, 40889935 edges, 265660 markings/sec, 70 secs
lola: 24106991 markings, 43484594 edges, 267755 markings/sec, 75 secs
lola: 25311382 markings, 45841441 edges, 240878 markings/sec, 80 secs
lola: 26483554 markings, 48123478 edges, 234434 markings/sec, 85 secs
lola: 27711510 markings, 50524465 edges, 245591 markings/sec, 90 secs
lola: 28920784 markings, 52903141 edges, 241855 markings/sec, 95 secs
lola: 30123256 markings, 55264716 edges, 240494 markings/sec, 100 secs
lola: 31336268 markings, 57617604 edges, 242602 markings/sec, 105 secs
lola: 32538750 markings, 59972803 edges, 240496 markings/sec, 110 secs
lola: 33734869 markings, 62327462 edges, 239224 markings/sec, 115 secs
lola: 34950481 markings, 64747677 edges, 243122 markings/sec, 120 secs
lola: 36176718 markings, 67206556 edges, 245247 markings/sec, 125 secs
lola: 37376174 markings, 69620188 edges, 239891 markings/sec, 130 secs
lola: 38513948 markings, 71905808 edges, 227555 markings/sec, 135 secs
lola: 39650569 markings, 74202507 edges, 227324 markings/sec, 140 secs
lola: 40780710 markings, 76494087 edges, 226028 markings/sec, 145 secs
lola: 41905594 markings, 78785517 edges, 224977 markings/sec, 150 secs
lola: 43032828 markings, 81052076 edges, 225447 markings/sec, 155 secs
lola: 44225225 markings, 83471997 edges, 238479 markings/sec, 160 secs
lola: 45431508 markings, 85909163 edges, 241257 markings/sec, 165 secs
lola: 46616899 markings, 88289566 edges, 237078 markings/sec, 170 secs
lola: 47755481 markings, 90605005 edges, 227716 markings/sec, 175 secs
lola: 48907104 markings, 92958522 edges, 230325 markings/sec, 180 secs
lola: 50055558 markings, 95314563 edges, 229691 markings/sec, 185 secs
lola: 51193066 markings, 97625775 edges, 227502 markings/sec, 190 secs
lola: 52313875 markings, 99932552 edges, 224162 markings/sec, 195 secs
lola: 53443106 markings, 102245125 edges, 225846 markings/sec, 200 secs
lola: 54579795 markings, 104552897 edges, 227338 markings/sec, 205 secs
lola: 55696623 markings, 106865748 edges, 223366 markings/sec, 210 secs
lola: 56821612 markings, 109144851 edges, 224998 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(P45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1864680 markings, 3431102 edges, 372936 markings/sec, 0 secs
lola: 3439712 markings, 6543954 edges, 315006 markings/sec, 5 secs
lola: 4852586 markings, 9494978 edges, 282575 markings/sec, 10 secs
lola: 6253784 markings, 12482024 edges, 280240 markings/sec, 15 secs
lola: 7591038 markings, 15353613 edges, 267451 markings/sec, 20 secs
lola: 8892914 markings, 18191829 edges, 260375 markings/sec, 25 secs
lola: 10150385 markings, 21005768 edges, 251494 markings/sec, 30 secs
lola: 11372416 markings, 23767612 edges, 244406 markings/sec, 35 secs
lola: 12646658 markings, 26625099 edges, 254848 markings/sec, 40 secs
lola: 13854851 markings, 29381525 edges, 241639 markings/sec, 45 secs
lola: 14996171 markings, 32040388 edges, 228264 markings/sec, 50 secs
lola: 16129578 markings, 34684513 edges, 226681 markings/sec, 55 secs
lola: 17261432 markings, 37390290 edges, 226371 markings/sec, 60 secs
lola: 18434648 markings, 40150645 edges, 234643 markings/sec, 65 secs
lola: 19580238 markings, 42849323 edges, 229118 markings/sec, 70 secs
lola: 20718866 markings, 45559185 edges, 227726 markings/sec, 75 secs
lola: 21857532 markings, 48265993 edges, 227733 markings/sec, 80 secs
lola: 22981101 markings, 50909389 edges, 224714 markings/sec, 85 secs
lola: 24101133 markings, 53590395 edges, 224006 markings/sec, 90 secs
lola: 25209093 markings, 56238065 edges, 221592 markings/sec, 95 secs
lola: 26319449 markings, 58930494 edges, 222071 markings/sec, 100 secs
lola: 27426676 markings, 61569557 edges, 221445 markings/sec, 105 secs
lola: 28457398 markings, 64025884 edges, 206144 markings/sec, 110 secs
lola: 29478292 markings, 66455635 edges, 204179 markings/sec, 115 secs
lola: 30491906 markings, 68878797 edges, 202723 markings/sec, 120 secs
lola: 31512774 markings, 71358930 edges, 204174 markings/sec, 125 secs
lola: 32558584 markings, 73918542 edges, 209162 markings/sec, 130 secs
lola: 33606625 markings, 76487392 edges, 209608 markings/sec, 135 secs
lola: 34665527 markings, 79054801 edges, 211780 markings/sec, 140 secs
lola: 35687173 markings, 81607608 edges, 204329 markings/sec, 145 secs
lola: 36724530 markings, 84123582 edges, 207471 markings/sec, 150 secs
lola: 37743390 markings, 86606316 edges, 203772 markings/sec, 155 secs
lola: 38760300 markings, 89085400 edges, 203382 markings/sec, 160 secs
lola: 39778679 markings, 91560101 edges, 203676 markings/sec, 165 secs
lola: 40780594 markings, 93986111 edges, 200383 markings/sec, 170 secs
lola: 41790042 markings, 96456900 edges, 201890 markings/sec, 175 secs
lola: 42804929 markings, 98946080 edges, 202977 markings/sec, 180 secs
lola: 43804582 markings, 101437117 edges, 199931 markings/sec, 185 secs
lola: 44801076 markings, 103956836 edges, 199299 markings/sec, 190 secs
lola: 45812529 markings, 106483096 edges, 202291 markings/sec, 195 secs
lola: 46814534 markings, 109025068 edges, 200401 markings/sec, 200 secs
lola: 47814907 markings, 111531806 edges, 200075 markings/sec, 205 secs
lola: 48793277 markings, 113984496 edges, 195674 markings/sec, 210 secs
lola: 49758078 markings, 116418615 edges, 192960 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(P69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1918268 markings, 3274062 edges, 383654 markings/sec, 0 secs
lola: 3515944 markings, 6330866 edges, 319535 markings/sec, 5 secs
lola: 4974994 markings, 9204935 edges, 291810 markings/sec, 10 secs
lola: 6392794 markings, 12020280 edges, 283560 markings/sec, 15 secs
lola: 7811375 markings, 14861021 edges, 283716 markings/sec, 20 secs
lola: 9254628 markings, 17791140 edges, 288651 markings/sec, 25 secs
lola: 10648251 markings, 20637264 edges, 278725 markings/sec, 30 secs
lola: 12004743 markings, 23397832 edges, 271298 markings/sec, 35 secs
lola: 13350068 markings, 26153282 edges, 269065 markings/sec, 40 secs
lola: 14716468 markings, 28971090 edges, 273280 markings/sec, 45 secs
lola: 16069859 markings, 31700233 edges, 270678 markings/sec, 50 secs
lola: 17382525 markings, 34407461 edges, 262533 markings/sec, 55 secs
lola: 18685063 markings, 37076355 edges, 260508 markings/sec, 60 secs
lola: 20008982 markings, 39825766 edges, 264784 markings/sec, 65 secs
lola: 21335068 markings, 42549512 edges, 265217 markings/sec, 70 secs
lola: 22634820 markings, 45271833 edges, 259950 markings/sec, 75 secs
lola: 23956577 markings, 47995986 edges, 264351 markings/sec, 80 secs
lola: 25269802 markings, 50666792 edges, 262645 markings/sec, 85 secs
lola: 26537266 markings, 53301292 edges, 253493 markings/sec, 90 secs
lola: 27797057 markings, 55911924 edges, 251958 markings/sec, 95 secs
lola: 29044824 markings, 58481958 edges, 249553 markings/sec, 100 secs
lola: 30300258 markings, 61045502 edges, 251087 markings/sec, 105 secs
lola: 31557110 markings, 63636755 edges, 251370 markings/sec, 110 secs
lola: 32804652 markings, 66235383 edges, 249508 markings/sec, 115 secs
lola: 34038217 markings, 68780874 edges, 246713 markings/sec, 120 secs
lola: 35289431 markings, 71350681 edges, 250243 markings/sec, 125 secs
lola: 36544358 markings, 73943540 edges, 250985 markings/sec, 130 secs
lola: 37781330 markings, 76498171 edges, 247394 markings/sec, 135 secs
lola: 39034205 markings, 79150908 edges, 250575 markings/sec, 140 secs
lola: 40170438 markings, 81472942 edges, 227247 markings/sec, 145 secs
lola: 41280235 markings, 83730297 edges, 221959 markings/sec, 150 secs
lola: 42447555 markings, 86057276 edges, 233464 markings/sec, 155 secs
lola: 43657819 markings, 88495832 edges, 242053 markings/sec, 160 secs
lola: 44850340 markings, 90899953 edges, 238504 markings/sec, 165 secs
lola: 46030799 markings, 93284305 edges, 236092 markings/sec, 170 secs
lola: 47242711 markings, 95755296 edges, 242382 markings/sec, 175 secs
lola: 48390335 markings, 98042408 edges, 229525 markings/sec, 180 secs
lola: 49563184 markings, 100375160 edges, 234570 markings/sec, 185 secs
lola: 50730642 markings, 102735230 edges, 233492 markings/sec, 190 secs
lola: 51895206 markings, 105063231 edges, 232913 markings/sec, 195 secs
lola: 53094262 markings, 107425802 edges, 239811 markings/sec, 200 secs
lola: 54322553 markings, 109870060 edges, 245658 markings/sec, 205 secs
lola: 55529278 markings, 112301525 edges, 241345 markings/sec, 210 secs
lola: 56742148 markings, 114779767 edges, 242574 markings/sec, 215 secs
lola: 57953287 markings, 117203404 edges, 242228 markings/sec, 220 secs
lola: 59149478 markings, 119597029 edges, 239238 markings/sec, 225 secs
lola: 60360783 markings, 122011827 edges, 242261 markings/sec, 230 secs
lola: 61566884 markings, 124405785 edges, 241220 markings/sec, 235 secs
lola: 62764300 markings, 126779737 edges, 239483 markings/sec, 240 secs
lola: 63965602 markings, 129140647 edges, 240260 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2419912 markings, 3486566 edges, 483982 markings/sec, 0 secs
lola: 4444575 markings, 6627704 edges, 404933 markings/sec, 5 secs
lola: 6299933 markings, 9608747 edges, 371072 markings/sec, 10 secs
lola: 8049186 markings, 12487403 edges, 349851 markings/sec, 15 secs
lola: 9740330 markings, 15321012 edges, 338229 markings/sec, 20 secs
lola: 11374921 markings, 18081414 edges, 326918 markings/sec, 25 secs
lola: 12944788 markings, 20748211 edges, 313973 markings/sec, 30 secs
lola: 14493925 markings, 23399286 edges, 309827 markings/sec, 35 secs
lola: 16023044 markings, 26011381 edges, 305824 markings/sec, 40 secs
lola: 17526742 markings, 28606216 edges, 300740 markings/sec, 45 secs
lola: 19004428 markings, 31171748 edges, 295537 markings/sec, 50 secs
lola: 20450652 markings, 33701597 edges, 289245 markings/sec, 55 secs
lola: 21857342 markings, 36181166 edges, 281338 markings/sec, 60 secs
lola: 23249936 markings, 38650177 edges, 278519 markings/sec, 65 secs
lola: 24639825 markings, 41118312 edges, 277978 markings/sec, 70 secs
lola: 26015550 markings, 43554384 edges, 275145 markings/sec, 75 secs
lola: 27369303 markings, 45971167 edges, 270751 markings/sec, 80 secs
lola: 28721918 markings, 48380401 edges, 270523 markings/sec, 85 secs
lola: 30061084 markings, 50763135 edges, 267833 markings/sec, 90 secs
lola: 31401901 markings, 53154625 edges, 268163 markings/sec, 95 secs
lola: 32723494 markings, 55526580 edges, 264319 markings/sec, 100 secs
lola: 34034542 markings, 57887278 edges, 262210 markings/sec, 105 secs
lola: 35323796 markings, 60214219 edges, 257851 markings/sec, 110 secs
lola: 36633008 markings, 62557066 edges, 261842 markings/sec, 115 secs
lola: 37919343 markings, 64887432 edges, 257267 markings/sec, 120 secs
lola: 39202428 markings, 67199579 edges, 256617 markings/sec, 125 secs
lola: 40477098 markings, 69514298 edges, 254934 markings/sec, 130 secs
lola: 41744073 markings, 71818630 edges, 253395 markings/sec, 135 secs
lola: 43004416 markings, 74099603 edges, 252069 markings/sec, 140 secs
lola: 44251555 markings, 76371541 edges, 249428 markings/sec, 145 secs
lola: 45512893 markings, 78653475 edges, 252268 markings/sec, 150 secs
lola: 46765688 markings, 80937890 edges, 250559 markings/sec, 155 secs
lola: 48029277 markings, 83227632 edges, 252718 markings/sec, 160 secs
lola: 49296263 markings, 85528513 edges, 253397 markings/sec, 165 secs
lola: 50549456 markings, 87796073 edges, 250639 markings/sec, 170 secs
lola: 51800884 markings, 90079913 edges, 250286 markings/sec, 175 secs
lola: 53043097 markings, 92339264 edges, 248443 markings/sec, 180 secs
lola: 54299649 markings, 94628488 edges, 251310 markings/sec, 185 secs
lola: 55478673 markings, 96789762 edges, 235805 markings/sec, 190 secs
lola: 56658086 markings, 98952837 edges, 235883 markings/sec, 195 secs
lola: 57840691 markings, 101114584 edges, 236521 markings/sec, 200 secs
lola: 59015432 markings, 103272623 edges, 234948 markings/sec, 205 secs
lola: 60200013 markings, 105457073 edges, 236916 markings/sec, 210 secs
lola: 61454573 markings, 107744094 edges, 250912 markings/sec, 215 secs
lola: 62700549 markings, 110033667 edges, 249195 markings/sec, 220 secs
lola: 63925880 markings, 112286883 edges, 245066 markings/sec, 225 secs
lola: 65166198 markings, 114556770 edges, 248064 markings/sec, 230 secs
lola: 66394732 markings, 116803713 edges, 245707 markings/sec, 235 secs
lola: 67595416 markings, 118988258 edges, 240137 markings/sec, 240 secs
lola: 68813740 markings, 121235612 edges, 243665 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2414981 markings, 3650412 edges, 482996 markings/sec, 0 secs
lola: 4492138 markings, 6950506 edges, 415431 markings/sec, 5 secs
lola: 6590679 markings, 10363483 edges, 419708 markings/sec, 10 secs
lola: 8499778 markings, 13516651 edges, 381820 markings/sec, 15 secs
lola: 10350755 markings, 16616136 edges, 370195 markings/sec, 20 secs
lola: 12172334 markings, 19706106 edges, 364316 markings/sec, 25 secs
lola: 14018899 markings, 22834960 edges, 369313 markings/sec, 30 secs
lola: 15849754 markings, 25966014 edges, 366171 markings/sec, 35 secs
lola: 17695887 markings, 29104662 edges, 369227 markings/sec, 40 secs
lola: 19488408 markings, 32214156 edges, 358504 markings/sec, 45 secs
lola: 21216047 markings, 35226162 edges, 345528 markings/sec, 50 secs
lola: 22951060 markings, 38226891 edges, 347003 markings/sec, 55 secs
lola: 24666530 markings, 41202395 edges, 343094 markings/sec, 60 secs
lola: 26398833 markings, 44216011 edges, 346461 markings/sec, 65 secs
lola: 28091547 markings, 47191618 edges, 338543 markings/sec, 70 secs
lola: 29727166 markings, 50080078 edges, 327124 markings/sec, 75 secs
lola: 31399426 markings, 53024891 edges, 334452 markings/sec, 80 secs
lola: 33094670 markings, 56009714 edges, 339049 markings/sec, 85 secs
lola: 34750384 markings, 58930484 edges, 331143 markings/sec, 90 secs
lola: 36432268 markings, 61898491 edges, 336377 markings/sec, 95 secs
lola: 38100983 markings, 64879456 edges, 333743 markings/sec, 100 secs
lola: 39748149 markings, 67820629 edges, 329433 markings/sec, 105 secs
lola: 41416269 markings, 70776074 edges, 333624 markings/sec, 110 secs
lola: 43035766 markings, 73669547 edges, 323899 markings/sec, 115 secs
lola: 44616348 markings, 76519211 edges, 316116 markings/sec, 120 secs
lola: 46224342 markings, 79393596 edges, 321599 markings/sec, 125 secs
lola: 47857958 markings, 82333942 edges, 326723 markings/sec, 130 secs
lola: 49481965 markings, 85252391 edges, 324801 markings/sec, 135 secs
lola: 51133708 markings, 88213906 edges, 330349 markings/sec, 140 secs
lola: 52751502 markings, 91129878 edges, 323559 markings/sec, 145 secs
lola: 54344903 markings, 94009930 edges, 318680 markings/sec, 150 secs
lola: 55932816 markings, 96895573 edges, 317583 markings/sec, 155 secs
lola: 57529142 markings, 99782944 edges, 319265 markings/sec, 160 secs
lola: 59131233 markings, 102715047 edges, 320418 markings/sec, 165 secs
lola: 60736794 markings, 105668357 edges, 321112 markings/sec, 170 secs
lola: 62350938 markings, 108612450 edges, 322829 markings/sec, 175 secs
lola: 63930947 markings, 111484870 edges, 316002 markings/sec, 180 secs
lola: 65513502 markings, 114375760 edges, 316511 markings/sec, 185 secs
lola: 67096065 markings, 117287530 edges, 316513 markings/sec, 190 secs
lola: 68693993 markings, 120197869 edges, 319586 markings/sec, 195 secs
lola: 70299020 markings, 123125280 edges, 321005 markings/sec, 200 secs
lola: 71859881 markings, 125979467 edges, 312172 markings/sec, 205 secs
lola: 73399304 markings, 128812672 edges, 307885 markings/sec, 210 secs
lola: 74924534 markings, 131632732 edges, 305046 markings/sec, 215 secs
lola: 76450069 markings, 134454875 edges, 305107 markings/sec, 220 secs
lola: 77965744 markings, 137251425 edges, 303135 markings/sec, 225 secs
lola: 79475693 markings, 140026359 edges, 301990 markings/sec, 230 secs
lola: 80974503 markings, 142785296 edges, 299762 markings/sec, 235 secs
lola: 82474266 markings, 145580220 edges, 299953 markings/sec, 240 secs
lola: 84031586 markings, 148472978 edges, 311464 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2055166 markings, 3424063 edges, 411033 markings/sec, 0 secs
lola: 3785316 markings, 6524929 edges, 346030 markings/sec, 5 secs
lola: 5398518 markings, 9444749 edges, 322640 markings/sec, 10 secs
lola: 6921603 markings, 12254163 edges, 304617 markings/sec, 15 secs
lola: 8378477 markings, 14957028 edges, 291375 markings/sec, 20 secs
lola: 9819552 markings, 17647174 edges, 288215 markings/sec, 25 secs
lola: 11256924 markings, 20354753 edges, 287474 markings/sec, 30 secs
lola: 12673480 markings, 23047957 edges, 283311 markings/sec, 35 secs
lola: 14065724 markings, 25685179 edges, 278449 markings/sec, 40 secs
lola: 15327550 markings, 28105873 edges, 252365 markings/sec, 45 secs
lola: 16631254 markings, 30612698 edges, 260741 markings/sec, 50 secs
lola: 17904949 markings, 33086573 edges, 254739 markings/sec, 55 secs
lola: 19162863 markings, 35540127 edges, 251583 markings/sec, 60 secs
lola: 20434734 markings, 38034202 edges, 254374 markings/sec, 65 secs
lola: 21751972 markings, 40596970 edges, 263448 markings/sec, 70 secs
lola: 23076279 markings, 43170380 edges, 264861 markings/sec, 75 secs
lola: 24394426 markings, 45734443 edges, 263629 markings/sec, 80 secs
lola: 25698153 markings, 48285056 edges, 260745 markings/sec, 85 secs
lola: 27013438 markings, 50859348 edges, 263057 markings/sec, 90 secs
lola: 28276659 markings, 53358371 edges, 252644 markings/sec, 95 secs
lola: 29544504 markings, 55852405 edges, 253569 markings/sec, 100 secs
lola: 30807066 markings, 58359691 edges, 252512 markings/sec, 105 secs
lola: 32032430 markings, 60783289 edges, 245073 markings/sec, 110 secs
lola: 33275998 markings, 63253718 edges, 248714 markings/sec, 115 secs
lola: 34496718 markings, 65707838 edges, 244144 markings/sec, 120 secs
lola: 35725281 markings, 68166308 edges, 245713 markings/sec, 125 secs
lola: 36964983 markings, 70632914 edges, 247940 markings/sec, 130 secs
lola: 38190765 markings, 73089566 edges, 245156 markings/sec, 135 secs
lola: 39413140 markings, 75554295 edges, 244475 markings/sec, 140 secs
lola: 40636273 markings, 78008178 edges, 244627 markings/sec, 145 secs
lola: 41866444 markings, 80473656 edges, 246034 markings/sec, 150 secs
lola: 43071910 markings, 82895256 edges, 241093 markings/sec, 155 secs
lola: 44278808 markings, 85330761 edges, 241380 markings/sec, 160 secs
lola: 45496698 markings, 87810703 edges, 243578 markings/sec, 165 secs
lola: 46704003 markings, 90267282 edges, 241461 markings/sec, 170 secs
lola: 47910663 markings, 92714293 edges, 241332 markings/sec, 175 secs
lola: 49106276 markings, 95153452 edges, 239123 markings/sec, 180 secs
lola: 50310109 markings, 97610695 edges, 240767 markings/sec, 185 secs
lola: 51492193 markings, 100015352 edges, 236417 markings/sec, 190 secs
lola: 52648481 markings, 102362993 edges, 231258 markings/sec, 195 secs
lola: 53799764 markings, 104682465 edges, 230257 markings/sec, 200 secs
lola: 54940264 markings, 106988904 edges, 228100 markings/sec, 205 secs
lola: 56105562 markings, 109358965 edges, 233060 markings/sec, 210 secs
lola: 57311567 markings, 111826020 edges, 241201 markings/sec, 215 secs
lola: 58516119 markings, 114292794 edges, 240910 markings/sec, 220 secs
lola: 59713159 markings, 116751767 edges, 239408 markings/sec, 225 secs
lola: 60912157 markings, 119203699 edges, 239800 markings/sec, 230 secs
lola: 62082339 markings, 121601646 edges, 234036 markings/sec, 235 secs
lola: 63191713 markings, 123877136 edges, 221875 markings/sec, 240 secs
lola: 64318653 markings, 126200680 edges, 225388 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 3189015 markings, 4159619 edges, 637803 markings/sec, 0 secs
lola: 6056747 markings, 7935362 edges, 573546 markings/sec, 5 secs
lola: 8699336 markings, 11469260 edges, 528518 markings/sec, 10 secs
lola: 11150204 markings, 14840407 edges, 490174 markings/sec, 15 secs
lola: 13504839 markings, 18131804 edges, 470927 markings/sec, 20 secs
lola: 15746837 markings, 21324268 edges, 448400 markings/sec, 25 secs
lola: 17923102 markings, 24436886 edges, 435253 markings/sec, 30 secs
lola: 19950728 markings, 27370549 edges, 405525 markings/sec, 35 secs
lola: 21962866 markings, 30331170 edges, 402428 markings/sec, 40 secs
lola: 23905848 markings, 33210556 edges, 388596 markings/sec, 45 secs
lola: 25830013 markings, 36071766 edges, 384833 markings/sec, 50 secs
lola: 27674056 markings, 38881563 edges, 368809 markings/sec, 55 secs
lola: 29469551 markings, 41571442 edges, 359099 markings/sec, 60 secs
lola: 31239343 markings, 44251268 edges, 353958 markings/sec, 65 secs
lola: 33028741 markings, 47009017 edges, 357880 markings/sec, 70 secs
lola: 34826316 markings, 49777569 edges, 359515 markings/sec, 75 secs
lola: 36546530 markings, 52438525 edges, 344043 markings/sec, 80 secs
lola: 38154772 markings, 54945968 edges, 321648 markings/sec, 85 secs
lola: 39749138 markings, 57447097 edges, 318873 markings/sec, 90 secs
lola: 41369840 markings, 59996714 edges, 324140 markings/sec, 95 secs
lola: 42959230 markings, 62532496 edges, 317878 markings/sec, 100 secs
lola: 44500450 markings, 64978012 edges, 308244 markings/sec, 105 secs
lola: 46067936 markings, 67500121 edges, 313497 markings/sec, 110 secs
lola: 47603348 markings, 69993749 edges, 307082 markings/sec, 115 secs
lola: 49095825 markings, 72408805 edges, 298495 markings/sec, 120 secs
lola: 50529997 markings, 74728782 edges, 286834 markings/sec, 125 secs
lola: 52077972 markings, 77249532 edges, 309595 markings/sec, 130 secs
lola: 53563621 markings, 79707402 edges, 297130 markings/sec, 135 secs
lola: 55057508 markings, 82142912 edges, 298777 markings/sec, 140 secs
lola: 56574988 markings, 84629172 edges, 303496 markings/sec, 145 secs
lola: 58047746 markings, 87067494 edges, 294552 markings/sec, 150 secs
lola: 59526877 markings, 89513533 edges, 295826 markings/sec, 155 secs
lola: 60968905 markings, 91911619 edges, 288406 markings/sec, 160 secs
lola: 62428048 markings, 94307506 edges, 291829 markings/sec, 165 secs
lola: 63823959 markings, 96671814 edges, 279182 markings/sec, 170 secs
lola: 65237232 markings, 99024095 edges, 282655 markings/sec, 175 secs
lola: 66639949 markings, 101364833 edges, 280543 markings/sec, 180 secs
lola: 68012837 markings, 103680618 edges, 274578 markings/sec, 185 secs
lola: 69378542 markings, 105999768 edges, 273141 markings/sec, 190 secs
lola: 70759880 markings, 108343102 edges, 276268 markings/sec, 195 secs
lola: 72147999 markings, 110695456 edges, 277624 markings/sec, 200 secs
lola: 73488961 markings, 112974825 edges, 268192 markings/sec, 205 secs
lola: 74731970 markings, 115096800 edges, 248602 markings/sec, 210 secs
lola: 76025603 markings, 117312015 edges, 258727 markings/sec, 215 secs
lola: 77297303 markings, 119489438 edges, 254340 markings/sec, 220 secs
lola: 78692200 markings, 121887233 edges, 278979 markings/sec, 225 secs
lola: 80091166 markings, 124285317 edges, 279793 markings/sec, 230 secs
lola: 81454359 markings, 126638752 edges, 272639 markings/sec, 235 secs
lola: 82802062 markings, 128984588 edges, 269541 markings/sec, 240 secs
lola: 84192202 markings, 131399663 edges, 278028 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2505568 markings, 3203571 edges, 501114 markings/sec, 0 secs
lola: 4550869 markings, 6100051 edges, 409060 markings/sec, 5 secs
lola: 6398085 markings, 8834751 edges, 369443 markings/sec, 10 secs
lola: 8117418 markings, 11461554 edges, 343867 markings/sec, 15 secs
lola: 9742916 markings, 13999000 edges, 325100 markings/sec, 20 secs
lola: 11328776 markings, 16506829 edges, 317172 markings/sec, 25 secs
lola: 12842912 markings, 18952996 edges, 302827 markings/sec, 30 secs
lola: 14296694 markings, 21313068 edges, 290756 markings/sec, 35 secs
lola: 15681330 markings, 23581293 edges, 276927 markings/sec, 40 secs
lola: 17039343 markings, 25826190 edges, 271603 markings/sec, 45 secs
lola: 18380444 markings, 28067947 edges, 268220 markings/sec, 50 secs
lola: 19772635 markings, 30403346 edges, 278438 markings/sec, 55 secs
lola: 21124205 markings, 32700194 edges, 270314 markings/sec, 60 secs
lola: 22469431 markings, 34992103 edges, 269045 markings/sec, 65 secs
lola: 23752573 markings, 37193499 edges, 256628 markings/sec, 70 secs
lola: 24991123 markings, 39333624 edges, 247710 markings/sec, 75 secs
lola: 26244638 markings, 41501431 edges, 250703 markings/sec, 80 secs
lola: 27508580 markings, 43693982 edges, 252788 markings/sec, 85 secs
lola: 28762865 markings, 45889581 edges, 250857 markings/sec, 90 secs
lola: 29987667 markings, 48030614 edges, 244960 markings/sec, 95 secs
lola: 31216883 markings, 50190549 edges, 245843 markings/sec, 100 secs
lola: 32420574 markings, 52311580 edges, 240738 markings/sec, 105 secs
lola: 33587946 markings, 54381870 edges, 233474 markings/sec, 110 secs
lola: 34791934 markings, 56521707 edges, 240798 markings/sec, 115 secs
lola: 35938423 markings, 58572152 edges, 229298 markings/sec, 120 secs
lola: 37080632 markings, 60612863 edges, 228442 markings/sec, 125 secs
lola: 38213204 markings, 62640875 edges, 226514 markings/sec, 130 secs
lola: 39330833 markings, 64653944 edges, 223526 markings/sec, 135 secs
lola: 40465522 markings, 66690046 edges, 226938 markings/sec, 140 secs
lola: 41658081 markings, 68850502 edges, 238512 markings/sec, 145 secs
lola: 42813121 markings, 70942960 edges, 231008 markings/sec, 150 secs
lola: 44002748 markings, 73109733 edges, 237925 markings/sec, 155 secs
lola: 45191702 markings, 75268352 edges, 237791 markings/sec, 160 secs
lola: 46405199 markings, 77481745 edges, 242699 markings/sec, 165 secs
lola: 47621175 markings, 79704793 edges, 243195 markings/sec, 170 secs
lola: 48822947 markings, 81914713 edges, 240354 markings/sec, 175 secs
lola: 50021537 markings, 84121628 edges, 239718 markings/sec, 180 secs
lola: 51201633 markings, 86289162 edges, 236019 markings/sec, 185 secs
lola: 52377941 markings, 88469445 edges, 235262 markings/sec, 190 secs
lola: 53537057 markings, 90613538 edges, 231823 markings/sec, 195 secs
lola: 54740765 markings, 92838895 edges, 240742 markings/sec, 200 secs
lola: 55925172 markings, 95029567 edges, 236881 markings/sec, 205 secs
lola: 57103609 markings, 97214986 edges, 235687 markings/sec, 210 secs
lola: 58233812 markings, 99314931 edges, 226041 markings/sec, 215 secs
lola: 59305297 markings, 101308966 edges, 214297 markings/sec, 220 secs
lola: 60382558 markings, 103320165 edges, 215452 markings/sec, 225 secs
lola: 61486730 markings, 105383166 edges, 220834 markings/sec, 230 secs
lola: 62560077 markings, 107396791 edges, 214669 markings/sec, 235 secs
lola: 63654797 markings, 109440203 edges, 218944 markings/sec, 240 secs
lola: 64739579 markings, 111480038 edges, 216956 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 21 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 2426339 markings, 3154745 edges, 485268 markings/sec, 0 secs
lola: 4482804 markings, 6021418 edges, 411293 markings/sec, 5 secs
lola: 6317906 markings, 8650182 edges, 367020 markings/sec, 10 secs
lola: 8135457 markings, 11313395 edges, 363510 markings/sec, 15 secs
lola: 9888540 markings, 13917648 edges, 350617 markings/sec, 20 secs
lola: 11568207 markings, 16453934 edges, 335933 markings/sec, 25 secs
lola: 13233430 markings, 18998766 edges, 333045 markings/sec, 30 secs
lola: 14839194 markings, 21475362 edges, 321153 markings/sec, 35 secs
lola: 16386998 markings, 23880468 edges, 309561 markings/sec, 40 secs
lola: 17945133 markings, 26317224 edges, 311627 markings/sec, 45 secs
lola: 19490609 markings, 28742702 edges, 309095 markings/sec, 50 secs
lola: 21018319 markings, 31155654 edges, 305542 markings/sec, 55 secs
lola: 22549745 markings, 33590046 edges, 306285 markings/sec, 60 secs
lola: 24065042 markings, 36000313 edges, 303059 markings/sec, 65 secs
lola: 25536232 markings, 38360695 edges, 294238 markings/sec, 70 secs
lola: 27010901 markings, 40729919 edges, 294934 markings/sec, 75 secs
lola: 28434367 markings, 43030199 edges, 284693 markings/sec, 80 secs
lola: 29838737 markings, 45325215 edges, 280874 markings/sec, 85 secs
lola: 31223673 markings, 47580981 edges, 276987 markings/sec, 90 secs
lola: 32627182 markings, 49867228 edges, 280702 markings/sec, 95 secs
lola: 34018595 markings, 52151661 edges, 278283 markings/sec, 100 secs
lola: 35389320 markings, 54423046 edges, 274145 markings/sec, 105 secs
lola: 36755124 markings, 56682448 edges, 273161 markings/sec, 110 secs
lola: 38079868 markings, 58883457 edges, 264949 markings/sec, 115 secs
lola: 39434780 markings, 61142050 edges, 270982 markings/sec, 120 secs
lola: 40794314 markings, 63410859 edges, 271907 markings/sec, 125 secs
lola: 42134091 markings, 65665307 edges, 267955 markings/sec, 130 secs
lola: 43496140 markings, 67960661 edges, 272410 markings/sec, 135 secs
lola: 44833012 markings, 70220125 edges, 267374 markings/sec, 140 secs
lola: 46186145 markings, 72508017 edges, 270627 markings/sec, 145 secs
lola: 47519297 markings, 74768662 edges, 266630 markings/sec, 150 secs
lola: 48824613 markings, 76996911 edges, 261063 markings/sec, 155 secs
lola: 50136520 markings, 79240793 edges, 262381 markings/sec, 160 secs
lola: 51442254 markings, 81480321 edges, 261147 markings/sec, 165 secs
lola: 52746157 markings, 83715285 edges, 260781 markings/sec, 170 secs
lola: 54040747 markings, 85940371 edges, 258918 markings/sec, 175 secs
lola: 55316032 markings, 88137142 edges, 255057 markings/sec, 180 secs
lola: 56581376 markings, 90330764 edges, 253069 markings/sec, 185 secs
lola: 57845679 markings, 92523588 edges, 252861 markings/sec, 190 secs
lola: 59022084 markings, 94565302 edges, 235281 markings/sec, 195 secs
lola: 60235477 markings, 96689365 edges, 242679 markings/sec, 200 secs
lola: 61449263 markings, 98793654 edges, 242757 markings/sec, 205 secs
lola: 62645080 markings, 100883566 edges, 239163 markings/sec, 210 secs
lola: 63828629 markings, 102963840 edges, 236710 markings/sec, 215 secs
lola: 65063369 markings, 105129033 edges, 246948 markings/sec, 220 secs
lola: 66318297 markings, 107343986 edges, 250986 markings/sec, 225 secs
lola: 67572893 markings, 109553328 edges, 250919 markings/sec, 230 secs
lola: 68815256 markings, 111762475 edges, 248473 markings/sec, 235 secs
lola: 70060365 markings, 113967909 edges, 249022 markings/sec, 240 secs
lola: 71296486 markings, 116165994 edges, 247224 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
FORMULA Ring-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494806373676

--------------------
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="Ring-PT-none"
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/Ring-PT-none.tgz
mv Ring-PT-none 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 Ring-PT-none, 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 r068-csrt-149440963100128"
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 ;