About the Execution of LoLA for DNAwalker-PT-17redondantChoiceL
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2189.800 | 3540090.00 | 3545972.00 | 1747.50 | ? ? ? ? ? ? 1 ? ? ? ? ? ? ? ? 1 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is DNAwalker-PT-17redondantChoiceL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264000146
=====================================================================
--------------------
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 DNAwalker-PT-17redondantChoiceL-UpperBounds-0
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-1
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-10
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-11
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-12
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-13
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-14
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-15
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-2
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-3
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-4
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-5
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-6
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-7
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-8
FORMULA_NAME DNAwalker-PT-17redondantChoiceL-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494671873328
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-17redondantChoiceL @ 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: 533/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: finding significant places
lola: 43 places, 490 transitions, 43 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 284 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-17redondantChoiceL-UpperBounds.task
lola: MAX(A5) : MAX(A10) : MAX(A15) : MAX(A20) : MAX(A24) : MAX(A10) : MAX(A20) : MAX(A21) : MAX(A31) : MAX(B27) : MAX(A7) : MAX(A19) : MAX(A19) : MAX(A6) : MAX(B19) : MAX(A27)
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(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 279698 markings, 1083296 edges, 55940 markings/sec, 0 secs
lola: 532574 markings, 2404710 edges, 50575 markings/sec, 5 secs
lola: 761363 markings, 3818870 edges, 45758 markings/sec, 10 secs
lola: 1003858 markings, 5188361 edges, 48499 markings/sec, 15 secs
lola: 1261735 markings, 6487337 edges, 51575 markings/sec, 20 secs
lola: 1493675 markings, 7818988 edges, 46388 markings/sec, 25 secs
lola: 1738565 markings, 9161461 edges, 48978 markings/sec, 30 secs
lola: 1958614 markings, 10592753 edges, 44010 markings/sec, 35 secs
lola: 2181880 markings, 12069558 edges, 44653 markings/sec, 40 secs
lola: 2433197 markings, 13327784 edges, 50263 markings/sec, 45 secs
lola: 2690003 markings, 14586683 edges, 51361 markings/sec, 50 secs
lola: 2922829 markings, 15996444 edges, 46565 markings/sec, 55 secs
lola: 3151209 markings, 17419642 edges, 45676 markings/sec, 60 secs
lola: 3370647 markings, 18812387 edges, 43888 markings/sec, 65 secs
lola: 3610264 markings, 20211412 edges, 47923 markings/sec, 70 secs
lola: 3835654 markings, 21657869 edges, 45078 markings/sec, 75 secs
lola: 4053874 markings, 23178581 edges, 43644 markings/sec, 80 secs
lola: 4277649 markings, 24605502 edges, 44755 markings/sec, 85 secs
lola: 4505376 markings, 25999001 edges, 45545 markings/sec, 90 secs
lola: 4732746 markings, 27406776 edges, 45474 markings/sec, 95 secs
lola: 4988827 markings, 28695767 edges, 51216 markings/sec, 100 secs
lola: 5219475 markings, 29977889 edges, 46130 markings/sec, 105 secs
lola: 5457030 markings, 31324687 edges, 47511 markings/sec, 110 secs
lola: 5676666 markings, 32708667 edges, 43927 markings/sec, 115 secs
lola: 5905286 markings, 34139148 edges, 45724 markings/sec, 120 secs
lola: 6147402 markings, 35333747 edges, 48423 markings/sec, 125 secs
lola: 6386261 markings, 36678938 edges, 47772 markings/sec, 130 secs
lola: 6598922 markings, 38149362 edges, 42532 markings/sec, 135 secs
lola: 6808962 markings, 39626620 edges, 42008 markings/sec, 140 secs
lola: 7021580 markings, 41076473 edges, 42524 markings/sec, 145 secs
lola: 7262441 markings, 42377894 edges, 48172 markings/sec, 150 secs
lola: 7485455 markings, 43743266 edges, 44603 markings/sec, 155 secs
lola: 7718750 markings, 45111905 edges, 46659 markings/sec, 160 secs
lola: 7946219 markings, 46564727 edges, 45494 markings/sec, 165 secs
lola: 8163559 markings, 48064137 edges, 43468 markings/sec, 170 secs
lola: 8371430 markings, 49470634 edges, 41574 markings/sec, 175 secs
lola: 8596408 markings, 50936039 edges, 44996 markings/sec, 180 secs
lola: 8818045 markings, 52384386 edges, 44327 markings/sec, 185 secs
lola: 9031394 markings, 53949154 edges, 42670 markings/sec, 190 secs
lola: 9251788 markings, 55375527 edges, 44079 markings/sec, 195 secs
lola: 9464542 markings, 56764035 edges, 42551 markings/sec, 200 secs
lola: 9659358 markings, 58075712 edges, 38963 markings/sec, 205 secs
lola: 9872054 markings, 59651746 edges, 42539 markings/sec, 210 secs
lola: 10083492 markings, 61229570 edges, 42288 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(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 294975 markings, 1050605 edges, 58995 markings/sec, 0 secs
lola: 582460 markings, 2158395 edges, 57497 markings/sec, 5 secs
lola: 831858 markings, 3225430 edges, 49880 markings/sec, 10 secs
lola: 1120723 markings, 4270636 edges, 57773 markings/sec, 15 secs
lola: 1394498 markings, 5450429 edges, 54755 markings/sec, 20 secs
lola: 1669105 markings, 6483778 edges, 54921 markings/sec, 25 secs
lola: 1900663 markings, 7564801 edges, 46312 markings/sec, 30 secs
lola: 2134856 markings, 8646147 edges, 46839 markings/sec, 35 secs
lola: 2378603 markings, 9655887 edges, 48749 markings/sec, 40 secs
lola: 2622791 markings, 10682167 edges, 48838 markings/sec, 45 secs
lola: 2856600 markings, 11794228 edges, 46762 markings/sec, 50 secs
lola: 3090640 markings, 12821286 edges, 46808 markings/sec, 55 secs
lola: 3321614 markings, 13905537 edges, 46195 markings/sec, 60 secs
lola: 3539955 markings, 15181181 edges, 43668 markings/sec, 65 secs
lola: 3755728 markings, 16286235 edges, 43155 markings/sec, 70 secs
lola: 3985629 markings, 17321309 edges, 45980 markings/sec, 75 secs
lola: 4206451 markings, 18538316 edges, 44164 markings/sec, 80 secs
lola: 4424748 markings, 19748402 edges, 43659 markings/sec, 85 secs
lola: 4640147 markings, 20859297 edges, 43080 markings/sec, 90 secs
lola: 4885911 markings, 21888163 edges, 49153 markings/sec, 95 secs
lola: 5116665 markings, 23135801 edges, 46151 markings/sec, 100 secs
lola: 5360579 markings, 24264081 edges, 48783 markings/sec, 105 secs
lola: 5598752 markings, 25235517 edges, 47635 markings/sec, 110 secs
lola: 5838738 markings, 26349958 edges, 47997 markings/sec, 115 secs
lola: 6081314 markings, 27462102 edges, 48515 markings/sec, 120 secs
lola: 6328962 markings, 28546946 edges, 49530 markings/sec, 125 secs
lola: 6575495 markings, 29625152 edges, 49307 markings/sec, 130 secs
lola: 6799985 markings, 30684253 edges, 44898 markings/sec, 135 secs
lola: 7035927 markings, 31781790 edges, 47188 markings/sec, 140 secs
lola: 7269524 markings, 32840571 edges, 46719 markings/sec, 145 secs
lola: 7508722 markings, 33930427 edges, 47840 markings/sec, 150 secs
lola: 7740290 markings, 35067488 edges, 46314 markings/sec, 155 secs
lola: 7965922 markings, 36228748 edges, 45126 markings/sec, 160 secs
lola: 8202249 markings, 37312560 edges, 47265 markings/sec, 165 secs
lola: 8425513 markings, 38425731 edges, 44653 markings/sec, 170 secs
lola: 8655950 markings, 39481128 edges, 46087 markings/sec, 175 secs
lola: 8876141 markings, 40712247 edges, 44038 markings/sec, 180 secs
lola: 9100064 markings, 41925429 edges, 44785 markings/sec, 185 secs
lola: 9327848 markings, 43284139 edges, 45557 markings/sec, 190 secs
lola: 9544064 markings, 44622447 edges, 43243 markings/sec, 195 secs
lola: 9768083 markings, 45952346 edges, 44804 markings/sec, 200 secs
lola: 9983810 markings, 47230086 edges, 43145 markings/sec, 205 secs
lola: 10200850 markings, 48503607 edges, 43408 markings/sec, 210 secs
lola: 10410861 markings, 49912722 edges, 42002 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(A15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 334157 markings, 1181640 edges, 66831 markings/sec, 0 secs
lola: 581704 markings, 2385796 edges, 49509 markings/sec, 5 secs
lola: 841353 markings, 3424598 edges, 51930 markings/sec, 10 secs
lola: 1149410 markings, 4532252 edges, 61611 markings/sec, 15 secs
lola: 1447301 markings, 5830536 edges, 59578 markings/sec, 20 secs
lola: 1747234 markings, 6977751 edges, 59987 markings/sec, 25 secs
lola: 2048871 markings, 8375211 edges, 60327 markings/sec, 30 secs
lola: 2271004 markings, 9740906 edges, 44427 markings/sec, 35 secs
lola: 2525286 markings, 11094291 edges, 50856 markings/sec, 40 secs
lola: 2790225 markings, 12325165 edges, 52988 markings/sec, 45 secs
lola: 3020827 markings, 13542221 edges, 46120 markings/sec, 50 secs
lola: 3237485 markings, 14775380 edges, 43332 markings/sec, 55 secs
lola: 3449915 markings, 16043077 edges, 42486 markings/sec, 60 secs
lola: 3696372 markings, 17121447 edges, 49291 markings/sec, 65 secs
lola: 3937611 markings, 18234922 edges, 48248 markings/sec, 70 secs
lola: 4198265 markings, 19500617 edges, 52131 markings/sec, 75 secs
lola: 4411953 markings, 20836169 edges, 42738 markings/sec, 80 secs
lola: 4619753 markings, 22208667 edges, 41560 markings/sec, 85 secs
lola: 4826688 markings, 23513157 edges, 41387 markings/sec, 90 secs
lola: 5058661 markings, 24849106 edges, 46395 markings/sec, 95 secs
lola: 5301853 markings, 26163129 edges, 48638 markings/sec, 100 secs
lola: 5563940 markings, 27350833 edges, 52417 markings/sec, 105 secs
lola: 5862741 markings, 28447657 edges, 59760 markings/sec, 110 secs
lola: 6089800 markings, 29708667 edges, 45412 markings/sec, 115 secs
lola: 6311958 markings, 30940205 edges, 44432 markings/sec, 120 secs
lola: 6540850 markings, 32123438 edges, 45778 markings/sec, 125 secs
lola: 6815197 markings, 33114769 edges, 54869 markings/sec, 130 secs
lola: 7077870 markings, 34319136 edges, 52535 markings/sec, 135 secs
lola: 7336944 markings, 35620350 edges, 51815 markings/sec, 140 secs
lola: 7599688 markings, 36995840 edges, 52549 markings/sec, 145 secs
lola: 7863145 markings, 38468093 edges, 52691 markings/sec, 150 secs
lola: 8116538 markings, 39682204 edges, 50679 markings/sec, 155 secs
lola: 8361770 markings, 41032341 edges, 49046 markings/sec, 160 secs
lola: 8609976 markings, 42143687 edges, 49641 markings/sec, 165 secs
lola: 8866737 markings, 43330483 edges, 51352 markings/sec, 170 secs
lola: 9090794 markings, 44556264 edges, 44811 markings/sec, 175 secs
lola: 9334830 markings, 45799579 edges, 48807 markings/sec, 180 secs
lola: 9580208 markings, 47046364 edges, 49076 markings/sec, 185 secs
lola: 9825271 markings, 48255639 edges, 49013 markings/sec, 190 secs
lola: 10057589 markings, 49687327 edges, 46464 markings/sec, 195 secs
lola: 10288244 markings, 51082041 edges, 46131 markings/sec, 200 secs
lola: 10489633 markings, 52454421 edges, 40278 markings/sec, 205 secs
lola: 10686449 markings, 53852292 edges, 39363 markings/sec, 210 secs
lola: 10885555 markings, 55213894 edges, 39821 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(A20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 294273 markings, 861682 edges, 58855 markings/sec, 0 secs
lola: 568939 markings, 1906381 edges, 54933 markings/sec, 5 secs
lola: 837102 markings, 3031691 edges, 53633 markings/sec, 10 secs
lola: 1109587 markings, 4067509 edges, 54497 markings/sec, 15 secs
lola: 1346664 markings, 5203006 edges, 47415 markings/sec, 20 secs
lola: 1585345 markings, 6339547 edges, 47736 markings/sec, 25 secs
lola: 1828263 markings, 7547953 edges, 48584 markings/sec, 30 secs
lola: 2061827 markings, 8875633 edges, 46713 markings/sec, 35 secs
lola: 2272511 markings, 10147513 edges, 42137 markings/sec, 40 secs
lola: 2495481 markings, 11422868 edges, 44594 markings/sec, 45 secs
lola: 2695692 markings, 12749404 edges, 40042 markings/sec, 50 secs
lola: 3005412 markings, 13932634 edges, 61944 markings/sec, 55 secs
lola: 3285757 markings, 15138425 edges, 56069 markings/sec, 60 secs
lola: 3555956 markings, 16496664 edges, 54040 markings/sec, 65 secs
lola: 3825907 markings, 17620600 edges, 53990 markings/sec, 70 secs
lola: 4090389 markings, 18717673 edges, 52896 markings/sec, 75 secs
lola: 4337093 markings, 19832242 edges, 49341 markings/sec, 80 secs
lola: 4570560 markings, 21021191 edges, 46693 markings/sec, 85 secs
lola: 4791457 markings, 22345830 edges, 44179 markings/sec, 90 secs
lola: 4995391 markings, 23667169 edges, 40787 markings/sec, 95 secs
lola: 5280816 markings, 24852822 edges, 57085 markings/sec, 100 secs
lola: 5535722 markings, 26185992 edges, 50981 markings/sec, 105 secs
lola: 5790277 markings, 27312763 edges, 50911 markings/sec, 110 secs
lola: 6018829 markings, 28560801 edges, 45710 markings/sec, 115 secs
lola: 6243675 markings, 29902427 edges, 44969 markings/sec, 120 secs
lola: 6492660 markings, 31146315 edges, 49797 markings/sec, 125 secs
lola: 6724089 markings, 32402778 edges, 46286 markings/sec, 130 secs
lola: 6950284 markings, 33744528 edges, 45239 markings/sec, 135 secs
lola: 7190618 markings, 34997464 edges, 48067 markings/sec, 140 secs
lola: 7394043 markings, 36422367 edges, 40685 markings/sec, 145 secs
lola: 7636308 markings, 37770356 edges, 48453 markings/sec, 150 secs
lola: 7886086 markings, 39030163 edges, 49956 markings/sec, 155 secs
lola: 8148823 markings, 40135143 edges, 52547 markings/sec, 160 secs
lola: 8406269 markings, 41330964 edges, 51489 markings/sec, 165 secs
lola: 8652559 markings, 42595844 edges, 49258 markings/sec, 170 secs
lola: 8901923 markings, 43737236 edges, 49873 markings/sec, 175 secs
lola: 9133417 markings, 44830926 edges, 46299 markings/sec, 180 secs
lola: 9369391 markings, 45975851 edges, 47195 markings/sec, 185 secs
lola: 9617567 markings, 47218890 edges, 49635 markings/sec, 190 secs
lola: 9846284 markings, 48607427 edges, 45743 markings/sec, 195 secs
lola: 10069117 markings, 49818431 edges, 44567 markings/sec, 200 secs
lola: 10301380 markings, 51101007 edges, 46453 markings/sec, 205 secs
lola: 10501794 markings, 52385649 edges, 40083 markings/sec, 210 secs
lola: 10805615 markings, 53620050 edges, 60764 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(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 715326 markings, 1324691 edges, 143065 markings/sec, 0 secs
lola: 1071670 markings, 2499845 edges, 71269 markings/sec, 5 secs
lola: 1391548 markings, 3700021 edges, 63976 markings/sec, 10 secs
lola: 1749567 markings, 4866975 edges, 71604 markings/sec, 15 secs
lola: 2088593 markings, 6119718 edges, 67805 markings/sec, 20 secs
lola: 2400449 markings, 7392569 edges, 62371 markings/sec, 25 secs
lola: 2716456 markings, 8625430 edges, 63201 markings/sec, 30 secs
lola: 3068133 markings, 9849909 edges, 70335 markings/sec, 35 secs
lola: 3392661 markings, 11080926 edges, 64906 markings/sec, 40 secs
lola: 3716334 markings, 12400619 edges, 64735 markings/sec, 45 secs
lola: 4053104 markings, 13672484 edges, 67354 markings/sec, 50 secs
lola: 4378101 markings, 14963179 edges, 64999 markings/sec, 55 secs
lola: 4701285 markings, 16210997 edges, 64637 markings/sec, 60 secs
lola: 5032948 markings, 17521851 edges, 66333 markings/sec, 65 secs
lola: 5376382 markings, 18736966 edges, 68687 markings/sec, 70 secs
lola: 5714153 markings, 19934820 edges, 67554 markings/sec, 75 secs
lola: 6035291 markings, 21169683 edges, 64228 markings/sec, 80 secs
lola: 6381709 markings, 22367772 edges, 69284 markings/sec, 85 secs
lola: 6713177 markings, 23647231 edges, 66294 markings/sec, 90 secs
lola: 7034044 markings, 24966760 edges, 64173 markings/sec, 95 secs
lola: 7342068 markings, 26262141 edges, 61605 markings/sec, 100 secs
lola: 7676351 markings, 27520933 edges, 66857 markings/sec, 105 secs
lola: 8015749 markings, 28784245 edges, 67880 markings/sec, 110 secs
lola: 8329358 markings, 30060740 edges, 62722 markings/sec, 115 secs
lola: 8653576 markings, 31456090 edges, 64844 markings/sec, 120 secs
lola: 8988348 markings, 32765610 edges, 66954 markings/sec, 125 secs
lola: 9297946 markings, 34090214 edges, 61920 markings/sec, 130 secs
lola: 9620441 markings, 35380890 edges, 64499 markings/sec, 135 secs
lola: 9932376 markings, 36707196 edges, 62387 markings/sec, 140 secs
lola: 10281715 markings, 37929062 edges, 69868 markings/sec, 145 secs
lola: 10629031 markings, 39142843 edges, 69463 markings/sec, 150 secs
lola: 10941441 markings, 40401938 edges, 62482 markings/sec, 155 secs
lola: 11270029 markings, 41694949 edges, 65718 markings/sec, 160 secs
lola: 11597844 markings, 42942818 edges, 65563 markings/sec, 165 secs
lola: 11926383 markings, 44204403 edges, 65708 markings/sec, 170 secs
lola: 12253535 markings, 45511246 edges, 65430 markings/sec, 175 secs
lola: 12579787 markings, 46784276 edges, 65250 markings/sec, 180 secs
lola: 12905430 markings, 48087438 edges, 65129 markings/sec, 185 secs
lola: 13231370 markings, 49388740 edges, 65188 markings/sec, 190 secs
lola: 13539757 markings, 50692432 edges, 61677 markings/sec, 195 secs
lola: 13866884 markings, 51927565 edges, 65425 markings/sec, 200 secs
lola: 14194548 markings, 53217682 edges, 65533 markings/sec, 205 secs
lola: 14515477 markings, 54477185 edges, 64186 markings/sec, 210 secs
lola: 14812679 markings, 55790671 edges, 59440 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(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 292615 markings, 1035562 edges, 58523 markings/sec, 0 secs
lola: 577339 markings, 2138921 edges, 56945 markings/sec, 5 secs
lola: 838266 markings, 3263190 edges, 52185 markings/sec, 10 secs
lola: 1126184 markings, 4295314 edges, 57584 markings/sec, 15 secs
lola: 1399291 markings, 5460906 edges, 54621 markings/sec, 20 secs
lola: 1648135 markings, 6374988 edges, 49769 markings/sec, 25 secs
lola: 1892205 markings, 7520874 edges, 48814 markings/sec, 30 secs
lola: 2124413 markings, 8602183 edges, 46442 markings/sec, 35 secs
lola: 2364119 markings, 9617749 edges, 47941 markings/sec, 40 secs
lola: 2608022 markings, 10624706 edges, 48781 markings/sec, 45 secs
lola: 2852547 markings, 11781115 edges, 48905 markings/sec, 50 secs
lola: 3085867 markings, 12802644 edges, 46664 markings/sec, 55 secs
lola: 3317038 markings, 13879969 edges, 46234 markings/sec, 60 secs
lola: 3534135 markings, 15152190 edges, 43419 markings/sec, 65 secs
lola: 3752329 markings, 16264331 edges, 43639 markings/sec, 70 secs
lola: 3983739 markings, 17310669 edges, 46282 markings/sec, 75 secs
lola: 4202131 markings, 18509228 edges, 43678 markings/sec, 80 secs
lola: 4420666 markings, 19731604 edges, 43707 markings/sec, 85 secs
lola: 4634756 markings, 20831976 edges, 42818 markings/sec, 90 secs
lola: 4878330 markings, 21848800 edges, 48715 markings/sec, 95 secs
lola: 5108492 markings, 23080560 edges, 46032 markings/sec, 100 secs
lola: 5351342 markings, 24204554 edges, 48570 markings/sec, 105 secs
lola: 5599396 markings, 25238809 edges, 49611 markings/sec, 110 secs
lola: 5838281 markings, 26347981 edges, 47777 markings/sec, 115 secs
lola: 6078114 markings, 27449548 edges, 47967 markings/sec, 120 secs
lola: 6298305 markings, 28414621 edges, 44038 markings/sec, 125 secs
lola: 6543652 markings, 29480122 edges, 49069 markings/sec, 130 secs
lola: 6768138 markings, 30543508 edges, 44897 markings/sec, 135 secs
lola: 7004286 markings, 31617642 edges, 47230 markings/sec, 140 secs
lola: 7235014 markings, 32671691 edges, 46146 markings/sec, 145 secs
lola: 7475528 markings, 33768505 edges, 48103 markings/sec, 150 secs
lola: 7711994 markings, 34903021 edges, 47293 markings/sec, 155 secs
lola: 7933830 markings, 36063985 edges, 44367 markings/sec, 160 secs
lola: 8169232 markings, 37166655 edges, 47080 markings/sec, 165 secs
lola: 8398789 markings, 38276682 edges, 45911 markings/sec, 170 secs
lola: 8630131 markings, 39363680 edges, 46268 markings/sec, 175 secs
lola: 8854240 markings, 40583020 edges, 44822 markings/sec, 180 secs
lola: 9080943 markings, 41805331 edges, 45341 markings/sec, 185 secs
lola: 9311842 markings, 43180820 edges, 46180 markings/sec, 190 secs
lola: 9528076 markings, 44520188 edges, 43247 markings/sec, 195 secs
lola: 9750511 markings, 45846045 edges, 44487 markings/sec, 200 secs
lola: 9960588 markings, 47075696 edges, 42015 markings/sec, 205 secs
lola: 10174381 markings, 48356375 edges, 42759 markings/sec, 210 secs
lola: 10383290 markings, 49707869 edges, 41782 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(A20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 289716 markings, 845038 edges, 57943 markings/sec, 0 secs
lola: 561796 markings, 1870326 edges, 54416 markings/sec, 5 secs
lola: 828201 markings, 2990459 edges, 53281 markings/sec, 10 secs
lola: 1095821 markings, 4021854 edges, 53524 markings/sec, 15 secs
lola: 1331497 markings, 5126963 edges, 47135 markings/sec, 20 secs
lola: 1569337 markings, 6262542 edges, 47568 markings/sec, 25 secs
lola: 1810430 markings, 7442756 edges, 48219 markings/sec, 30 secs
lola: 2043935 markings, 8769342 edges, 46701 markings/sec, 35 secs
lola: 2261093 markings, 10076175 edges, 43432 markings/sec, 40 secs
lola: 2483631 markings, 11327823 edges, 44508 markings/sec, 45 secs
lola: 2681661 markings, 12644602 edges, 39606 markings/sec, 50 secs
lola: 2976725 markings, 13833772 edges, 59013 markings/sec, 55 secs
lola: 3256890 markings, 14989269 edges, 56033 markings/sec, 60 secs
lola: 3519183 markings, 16319058 edges, 52459 markings/sec, 65 secs
lola: 3783404 markings, 17455200 edges, 52844 markings/sec, 70 secs
lola: 4046699 markings, 18549538 edges, 52659 markings/sec, 75 secs
lola: 4294173 markings, 19633817 edges, 49495 markings/sec, 80 secs
lola: 4516533 markings, 20694108 edges, 44472 markings/sec, 85 secs
lola: 4739122 markings, 22030363 edges, 44518 markings/sec, 90 secs
lola: 4946086 markings, 23318195 edges, 41393 markings/sec, 95 secs
lola: 5209702 markings, 24548144 edges, 52723 markings/sec, 100 secs
lola: 5462200 markings, 25829165 edges, 50500 markings/sec, 105 secs
lola: 5717246 markings, 26971777 edges, 51009 markings/sec, 110 secs
lola: 5952715 markings, 28141148 edges, 47094 markings/sec, 115 secs
lola: 6159685 markings, 29500524 edges, 41394 markings/sec, 120 secs
lola: 6412978 markings, 30756939 edges, 50659 markings/sec, 125 secs
lola: 6655176 markings, 31944053 edges, 48440 markings/sec, 130 secs
lola: 6872048 markings, 33245363 edges, 43374 markings/sec, 135 secs
lola: 7097557 markings, 34536557 edges, 45102 markings/sec, 140 secs
lola: 7313895 markings, 35836472 edges, 43268 markings/sec, 145 secs
lola: 7522676 markings, 37187315 edges, 41756 markings/sec, 150 secs
lola: 7769728 markings, 38541615 edges, 49410 markings/sec, 155 secs
lola: 8018542 markings, 39643005 edges, 49763 markings/sec, 160 secs
lola: 8280399 markings, 40676198 edges, 52371 markings/sec, 165 secs
lola: 8532369 markings, 42017532 edges, 50394 markings/sec, 170 secs
lola: 8780207 markings, 43111268 edges, 49568 markings/sec, 175 secs
lola: 9011043 markings, 44245853 edges, 46167 markings/sec, 180 secs
lola: 9237537 markings, 45332037 edges, 45299 markings/sec, 185 secs
lola: 9473626 markings, 46537379 edges, 47218 markings/sec, 190 secs
lola: 9712935 markings, 47781316 edges, 47862 markings/sec, 195 secs
lola: 9937595 markings, 49091511 edges, 44932 markings/sec, 200 secs
lola: 10157706 markings, 50294950 edges, 44022 markings/sec, 205 secs
lola: 10372628 markings, 51586950 edges, 42984 markings/sec, 210 secs
lola: 10569502 markings, 52833657 edges, 39375 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(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 301285 markings, 996203 edges, 60257 markings/sec, 0 secs
lola: 593222 markings, 2042665 edges, 58387 markings/sec, 5 secs
lola: 868550 markings, 3101434 edges, 55066 markings/sec, 10 secs
lola: 1156613 markings, 4239123 edges, 57613 markings/sec, 15 secs
lola: 1448242 markings, 5291823 edges, 58326 markings/sec, 20 secs
lola: 1736561 markings, 6237660 edges, 57664 markings/sec, 25 secs
lola: 2014116 markings, 7482400 edges, 55511 markings/sec, 30 secs
lola: 2284634 markings, 8731589 edges, 54104 markings/sec, 35 secs
lola: 2563900 markings, 10071088 edges, 55853 markings/sec, 40 secs
lola: 2839582 markings, 11144676 edges, 55136 markings/sec, 45 secs
lola: 3125207 markings, 12168110 edges, 57125 markings/sec, 50 secs
lola: 3405005 markings, 13332094 edges, 55960 markings/sec, 55 secs
lola: 3671145 markings, 14549375 edges, 53228 markings/sec, 60 secs
lola: 3937117 markings, 15609947 edges, 53194 markings/sec, 65 secs
lola: 4185216 markings, 16824039 edges, 49620 markings/sec, 70 secs
lola: 4452019 markings, 17915170 edges, 53361 markings/sec, 75 secs
lola: 4718019 markings, 19084101 edges, 53200 markings/sec, 80 secs
lola: 5002775 markings, 20168949 edges, 56951 markings/sec, 85 secs
lola: 5208442 markings, 21563172 edges, 41133 markings/sec, 90 secs
lola: 5438504 markings, 22789929 edges, 46012 markings/sec, 95 secs
lola: 5658659 markings, 24067387 edges, 44031 markings/sec, 100 secs
lola: 5872535 markings, 25200910 edges, 42775 markings/sec, 105 secs
lola: 6095613 markings, 26541891 edges, 44616 markings/sec, 110 secs
lola: 6321843 markings, 27822054 edges, 45246 markings/sec, 115 secs
lola: 6547304 markings, 29013584 edges, 45092 markings/sec, 120 secs
lola: 6763063 markings, 30484839 edges, 43152 markings/sec, 125 secs
lola: 6975749 markings, 31956188 edges, 42537 markings/sec, 130 secs
lola: 7191536 markings, 33463505 edges, 43157 markings/sec, 135 secs
lola: 7417346 markings, 34664529 edges, 45162 markings/sec, 140 secs
lola: 7638957 markings, 35845823 edges, 44322 markings/sec, 145 secs
lola: 7853060 markings, 37315711 edges, 42821 markings/sec, 150 secs
lola: 8067086 markings, 38571922 edges, 42805 markings/sec, 155 secs
lola: 8277747 markings, 39863040 edges, 42132 markings/sec, 160 secs
lola: 8483944 markings, 41156520 edges, 41239 markings/sec, 165 secs
lola: 8685409 markings, 42453340 edges, 40293 markings/sec, 170 secs
lola: 8881946 markings, 43776843 edges, 39307 markings/sec, 175 secs
lola: 9106491 markings, 45200742 edges, 44909 markings/sec, 180 secs
lola: 9349188 markings, 46481692 edges, 48539 markings/sec, 185 secs
lola: 9587843 markings, 47848088 edges, 47731 markings/sec, 190 secs
lola: 9804997 markings, 49149830 edges, 43431 markings/sec, 195 secs
lola: 10022720 markings, 50397778 edges, 43545 markings/sec, 200 secs
lola: 10242580 markings, 51711427 edges, 43972 markings/sec, 205 secs
lola: 10447391 markings, 53098784 edges, 40962 markings/sec, 210 secs
lola: 10667881 markings, 54351877 edges, 44098 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(A31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 385474 markings, 1132332 edges, 77095 markings/sec, 0 secs
lola: 702157 markings, 2347872 edges, 63337 markings/sec, 5 secs
lola: 1028818 markings, 3657083 edges, 65332 markings/sec, 10 secs
lola: 1360610 markings, 4877594 edges, 66358 markings/sec, 15 secs
lola: 1667730 markings, 6139739 edges, 61424 markings/sec, 20 secs
lola: 1984757 markings, 7486107 edges, 63405 markings/sec, 25 secs
lola: 2278651 markings, 8703681 edges, 58779 markings/sec, 30 secs
lola: 2587578 markings, 10058991 edges, 61785 markings/sec, 35 secs
lola: 2875292 markings, 11398174 edges, 57543 markings/sec, 40 secs
lola: 3152278 markings, 12644565 edges, 55397 markings/sec, 45 secs
lola: 3451440 markings, 13937381 edges, 59832 markings/sec, 50 secs
lola: 3761260 markings, 15258237 edges, 61964 markings/sec, 55 secs
lola: 4062718 markings, 16634950 edges, 60292 markings/sec, 60 secs
lola: 4345549 markings, 18070086 edges, 56566 markings/sec, 65 secs
lola: 4670189 markings, 19448927 edges, 64928 markings/sec, 70 secs
lola: 4979071 markings, 20847060 edges, 61776 markings/sec, 75 secs
lola: 5309793 markings, 22240681 edges, 66144 markings/sec, 80 secs
lola: 5600395 markings, 23780265 edges, 58120 markings/sec, 85 secs
lola: 5894228 markings, 25311004 edges, 58767 markings/sec, 90 secs
lola: 6227390 markings, 26676906 edges, 66632 markings/sec, 95 secs
lola: 6558406 markings, 27946961 edges, 66203 markings/sec, 100 secs
lola: 6878181 markings, 29432385 edges, 63955 markings/sec, 105 secs
lola: 7202003 markings, 30948078 edges, 64764 markings/sec, 110 secs
lola: 7494133 markings, 32379690 edges, 58426 markings/sec, 115 secs
lola: 7805866 markings, 33618873 edges, 62347 markings/sec, 120 secs
lola: 8101552 markings, 34914033 edges, 59137 markings/sec, 125 secs
lola: 8396497 markings, 36157476 edges, 58989 markings/sec, 130 secs
lola: 8675744 markings, 37437975 edges, 55849 markings/sec, 135 secs
lola: 8970933 markings, 38822553 edges, 59038 markings/sec, 140 secs
lola: 9250307 markings, 40210700 edges, 55875 markings/sec, 145 secs
lola: 9484113 markings, 41565791 edges, 46761 markings/sec, 150 secs
lola: 9754245 markings, 42938227 edges, 54026 markings/sec, 155 secs
lola: 10055917 markings, 44324145 edges, 60334 markings/sec, 160 secs
lola: 10382418 markings, 45733649 edges, 65300 markings/sec, 165 secs
lola: 10684365 markings, 47108255 edges, 60389 markings/sec, 170 secs
lola: 10977947 markings, 48393878 edges, 58716 markings/sec, 175 secs
lola: 11264098 markings, 49758092 edges, 57230 markings/sec, 180 secs
lola: 11544625 markings, 51205737 edges, 56105 markings/sec, 185 secs
lola: 11821894 markings, 52629592 edges, 55454 markings/sec, 190 secs
lola: 12111502 markings, 54053100 edges, 57922 markings/sec, 195 secs
lola: 12396970 markings, 55495615 edges, 57094 markings/sec, 200 secs
lola: 12695927 markings, 56838098 edges, 59791 markings/sec, 205 secs
lola: 12984881 markings, 58136547 edges, 57791 markings/sec, 210 secs
lola: 13248173 markings, 59540669 edges, 52658 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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 10 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 300564 markings, 1259457 edges, 60113 markings/sec, 0 secs
lola: 585748 markings, 2532206 edges, 57037 markings/sec, 5 secs
lola: 873421 markings, 3818191 edges, 57535 markings/sec, 10 secs
lola: 1152927 markings, 5090945 edges, 55901 markings/sec, 15 secs
lola: 1398326 markings, 6327864 edges, 49080 markings/sec, 20 secs
lola: 1678199 markings, 7617533 edges, 55975 markings/sec, 25 secs
lola: 1952059 markings, 9009762 edges, 54772 markings/sec, 30 secs
lola: 2221196 markings, 10369604 edges, 53827 markings/sec, 35 secs
lola: 2469533 markings, 11783085 edges, 49667 markings/sec, 40 secs
lola: 2732961 markings, 13307271 edges, 52686 markings/sec, 45 secs
lola: 2991496 markings, 14424108 edges, 51707 markings/sec, 50 secs
lola: 3238548 markings, 15654755 edges, 49410 markings/sec, 55 secs
lola: 3472234 markings, 16972750 edges, 46737 markings/sec, 60 secs
lola: 3696161 markings, 18354282 edges, 44785 markings/sec, 65 secs
lola: 3920251 markings, 19699771 edges, 44818 markings/sec, 70 secs
lola: 4155520 markings, 21123048 edges, 47054 markings/sec, 75 secs
lola: 4384536 markings, 22471155 edges, 45803 markings/sec, 80 secs
lola: 4628216 markings, 23641504 edges, 48736 markings/sec, 85 secs
lola: 4858798 markings, 24808388 edges, 46116 markings/sec, 90 secs
lola: 5083541 markings, 26062177 edges, 44949 markings/sec, 95 secs
lola: 5315887 markings, 27469357 edges, 46469 markings/sec, 100 secs
lola: 5534793 markings, 28864925 edges, 43781 markings/sec, 105 secs
lola: 5746312 markings, 30155106 edges, 42304 markings/sec, 110 secs
lola: 5960281 markings, 31542341 edges, 42794 markings/sec, 115 secs
lola: 6177089 markings, 32879818 edges, 43362 markings/sec, 120 secs
lola: 6386733 markings, 34254354 edges, 41929 markings/sec, 125 secs
lola: 6592959 markings, 35578390 edges, 41245 markings/sec, 130 secs
lola: 6827739 markings, 36944169 edges, 46956 markings/sec, 135 secs
lola: 7063683 markings, 38309415 edges, 47189 markings/sec, 140 secs
lola: 7293493 markings, 39643731 edges, 45962 markings/sec, 145 secs
lola: 7521029 markings, 41014246 edges, 45507 markings/sec, 150 secs
lola: 7760085 markings, 42470333 edges, 47811 markings/sec, 155 secs
lola: 7976679 markings, 43914768 edges, 43319 markings/sec, 160 secs
lola: 8206936 markings, 45449451 edges, 46051 markings/sec, 165 secs
lola: 8437679 markings, 46754432 edges, 46149 markings/sec, 170 secs
lola: 8663490 markings, 48094401 edges, 45162 markings/sec, 175 secs
lola: 8881244 markings, 49568704 edges, 43551 markings/sec, 180 secs
lola: 9093039 markings, 51031692 edges, 42359 markings/sec, 185 secs
lola: 9303012 markings, 52591907 edges, 41995 markings/sec, 190 secs
lola: 9515712 markings, 54198872 edges, 42540 markings/sec, 195 secs
lola: 9788213 markings, 55376302 edges, 54500 markings/sec, 200 secs
lola: 10049975 markings, 56614666 edges, 52352 markings/sec, 205 secs
lola: 10303037 markings, 57891898 edges, 50612 markings/sec, 210 secs
lola: 10540794 markings, 59208749 edges, 47551 markings/sec, 215 secs
lola: 10773116 markings, 60621633 edges, 46464 markings/sec, 220 secs
lola: 11005892 markings, 61983785 edges, 46555 markings/sec, 225 secs
lola: 11261433 markings, 63398972 edges, 51108 markings/sec, 230 secs
lola: 11505231 markings, 64866659 edges, 48760 markings/sec, 235 secs
lola: 11791232 markings, 65935605 edges, 57200 markings/sec, 240 secs
lola: 12052221 markings, 67094649 edges, 52198 markings/sec, 245 secs
lola: 12301275 markings, 68235303 edges, 49811 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 267164 markings, 980688 edges, 53433 markings/sec, 0 secs
lola: 558764 markings, 2098002 edges, 58320 markings/sec, 5 secs
lola: 822702 markings, 3190443 edges, 52788 markings/sec, 10 secs
lola: 1062474 markings, 4350520 edges, 47954 markings/sec, 15 secs
lola: 1324159 markings, 5499090 edges, 52337 markings/sec, 20 secs
lola: 1576207 markings, 6724969 edges, 50410 markings/sec, 25 secs
lola: 1814624 markings, 7968220 edges, 47683 markings/sec, 30 secs
lola: 2035319 markings, 9277203 edges, 44139 markings/sec, 35 secs
lola: 2349756 markings, 10517526 edges, 62887 markings/sec, 40 secs
lola: 2631366 markings, 11698790 edges, 56322 markings/sec, 45 secs
lola: 2902519 markings, 12834759 edges, 54231 markings/sec, 50 secs
lola: 3147425 markings, 14013372 edges, 48981 markings/sec, 55 secs
lola: 3388592 markings, 15276832 edges, 48233 markings/sec, 60 secs
lola: 3646134 markings, 16602428 edges, 51508 markings/sec, 65 secs
lola: 3919849 markings, 17830519 edges, 54743 markings/sec, 70 secs
lola: 4160111 markings, 19090860 edges, 48052 markings/sec, 75 secs
lola: 4416228 markings, 20455522 edges, 51223 markings/sec, 80 secs
lola: 4655050 markings, 21745994 edges, 47764 markings/sec, 85 secs
lola: 4901225 markings, 23086433 edges, 49235 markings/sec, 90 secs
lola: 5123475 markings, 24489776 edges, 44450 markings/sec, 95 secs
lola: 5367801 markings, 25494053 edges, 48865 markings/sec, 100 secs
lola: 5639020 markings, 26546005 edges, 54244 markings/sec, 105 secs
lola: 5888859 markings, 27689120 edges, 49968 markings/sec, 110 secs
lola: 6127917 markings, 28793784 edges, 47812 markings/sec, 115 secs
lola: 6357221 markings, 29933915 edges, 45861 markings/sec, 120 secs
lola: 6598890 markings, 31131844 edges, 48334 markings/sec, 125 secs
lola: 6879070 markings, 32289506 edges, 56036 markings/sec, 130 secs
lola: 7148688 markings, 33603264 edges, 53924 markings/sec, 135 secs
lola: 7395760 markings, 34952729 edges, 49414 markings/sec, 140 secs
lola: 7664814 markings, 36184387 edges, 53811 markings/sec, 145 secs
lola: 7898233 markings, 37371699 edges, 46684 markings/sec, 150 secs
lola: 8127412 markings, 38526263 edges, 45836 markings/sec, 155 secs
lola: 8340356 markings, 39610204 edges, 42589 markings/sec, 160 secs
lola: 8604142 markings, 40785805 edges, 52757 markings/sec, 165 secs
lola: 8854906 markings, 42175770 edges, 50153 markings/sec, 170 secs
lola: 9095251 markings, 43362742 edges, 48069 markings/sec, 175 secs
lola: 9317022 markings, 44624182 edges, 44354 markings/sec, 180 secs
lola: 9546143 markings, 45923249 edges, 45824 markings/sec, 185 secs
lola: 9780085 markings, 47188676 edges, 46788 markings/sec, 190 secs
lola: 9995092 markings, 48570586 edges, 43001 markings/sec, 195 secs
lola: 10193541 markings, 49769145 edges, 39690 markings/sec, 200 secs
lola: 10396507 markings, 51123446 edges, 40593 markings/sec, 205 secs
lola: 10613009 markings, 52354336 edges, 43300 markings/sec, 210 secs
lola: 10902259 markings, 53305783 edges, 57850 markings/sec, 215 secs
lola: 11157946 markings, 54333511 edges, 51137 markings/sec, 220 secs
lola: 11388458 markings, 55513671 edges, 46102 markings/sec, 225 secs
lola: 11671024 markings, 56635896 edges, 56513 markings/sec, 230 secs
lola: 11955809 markings, 57738068 edges, 56957 markings/sec, 235 secs
lola: 12200978 markings, 58839965 edges, 49034 markings/sec, 240 secs
lola: 12471461 markings, 60005774 edges, 54097 markings/sec, 245 secs
lola: 12723118 markings, 61159394 edges, 50331 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 267093 markings, 980403 edges, 53419 markings/sec, 0 secs
lola: 558901 markings, 2098756 edges, 58362 markings/sec, 5 secs
lola: 823136 markings, 3191383 edges, 52847 markings/sec, 10 secs
lola: 1062932 markings, 4352829 edges, 47959 markings/sec, 15 secs
lola: 1324477 markings, 5500855 edges, 52309 markings/sec, 20 secs
lola: 1576218 markings, 6725013 edges, 50348 markings/sec, 25 secs
lola: 1810875 markings, 7944744 edges, 46931 markings/sec, 30 secs
lola: 2032165 markings, 9255654 edges, 44258 markings/sec, 35 secs
lola: 2345817 markings, 10497215 edges, 62730 markings/sec, 40 secs
lola: 2628682 markings, 11686105 edges, 56573 markings/sec, 45 secs
lola: 2899660 markings, 12826012 edges, 54196 markings/sec, 50 secs
lola: 3144849 markings, 13998781 edges, 49038 markings/sec, 55 secs
lola: 3385892 markings, 15258306 edges, 48209 markings/sec, 60 secs
lola: 3641463 markings, 16583531 edges, 51114 markings/sec, 65 secs
lola: 3911044 markings, 17792337 edges, 53916 markings/sec, 70 secs
lola: 4151059 markings, 19039408 edges, 48003 markings/sec, 75 secs
lola: 4401856 markings, 20387631 edges, 50159 markings/sec, 80 secs
lola: 4644306 markings, 21674933 edges, 48490 markings/sec, 85 secs
lola: 4888358 markings, 23013687 edges, 48810 markings/sec, 90 secs
lola: 5106198 markings, 24425070 edges, 43568 markings/sec, 95 secs
lola: 5353510 markings, 25422057 edges, 49462 markings/sec, 100 secs
lola: 5621410 markings, 26459226 edges, 53580 markings/sec, 105 secs
lola: 5848499 markings, 27529211 edges, 45418 markings/sec, 110 secs
lola: 6083602 markings, 28587035 edges, 47021 markings/sec, 115 secs
lola: 6311166 markings, 29719780 edges, 45513 markings/sec, 120 secs
lola: 6554137 markings, 30902094 edges, 48594 markings/sec, 125 secs
lola: 6800067 markings, 31956343 edges, 49186 markings/sec, 130 secs
lola: 7060220 markings, 33151294 edges, 52031 markings/sec, 135 secs
lola: 7320917 markings, 34589734 edges, 52139 markings/sec, 140 secs
lola: 7579705 markings, 35749778 edges, 51758 markings/sec, 145 secs
lola: 7806556 markings, 36899146 edges, 45370 markings/sec, 150 secs
lola: 8028129 markings, 38058543 edges, 44315 markings/sec, 155 secs
lola: 8271626 markings, 39242205 edges, 48699 markings/sec, 160 secs
lola: 8524641 markings, 40435487 edges, 50603 markings/sec, 165 secs
lola: 8755147 markings, 41577996 edges, 46101 markings/sec, 170 secs
lola: 8986300 markings, 42809358 edges, 46231 markings/sec, 175 secs
lola: 9220717 markings, 44080344 edges, 46883 markings/sec, 180 secs
lola: 9443000 markings, 45368284 edges, 44457 markings/sec, 185 secs
lola: 9680836 markings, 46609312 edges, 47567 markings/sec, 190 secs
lola: 9906404 markings, 48035548 edges, 45114 markings/sec, 195 secs
lola: 10128654 markings, 49366716 edges, 44450 markings/sec, 200 secs
lola: 10336377 markings, 50646851 edges, 41545 markings/sec, 205 secs
lola: 10508692 markings, 51918698 edges, 34463 markings/sec, 210 secs
lola: 10784066 markings, 52913182 edges, 55075 markings/sec, 215 secs
lola: 11053195 markings, 53895009 edges, 53826 markings/sec, 220 secs
lola: 11297724 markings, 55029008 edges, 48906 markings/sec, 225 secs
lola: 11546469 markings, 56176540 edges, 49749 markings/sec, 230 secs
lola: 11839248 markings, 57326313 edges, 58556 markings/sec, 235 secs
lola: 12105149 markings, 58342167 edges, 53180 markings/sec, 240 secs
lola: 12356116 markings, 59512966 edges, 50193 markings/sec, 245 secs
lola: 12615816 markings, 60651874 edges, 51940 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 267912 markings, 1121581 edges, 53582 markings/sec, 0 secs
lola: 532696 markings, 2289127 edges, 52957 markings/sec, 5 secs
lola: 807444 markings, 3555260 edges, 54950 markings/sec, 10 secs
lola: 1065094 markings, 4931480 edges, 51530 markings/sec, 15 secs
lola: 1303114 markings, 6301238 edges, 47604 markings/sec, 20 secs
lola: 1557650 markings, 7841078 edges, 50907 markings/sec, 25 secs
lola: 1808916 markings, 9429482 edges, 50253 markings/sec, 30 secs
lola: 2053656 markings, 10974650 edges, 48948 markings/sec, 35 secs
lola: 2267488 markings, 12271906 edges, 42766 markings/sec, 40 secs
lola: 2488814 markings, 13729582 edges, 44265 markings/sec, 45 secs
lola: 2701815 markings, 15251775 edges, 42600 markings/sec, 50 secs
lola: 2909391 markings, 16825641 edges, 41515 markings/sec, 55 secs
lola: 3108597 markings, 18186463 edges, 39841 markings/sec, 60 secs
lola: 3318418 markings, 19620705 edges, 41964 markings/sec, 65 secs
lola: 3533556 markings, 21113535 edges, 43028 markings/sec, 70 secs
lola: 3743101 markings, 22596163 edges, 41909 markings/sec, 75 secs
lola: 3947728 markings, 23816421 edges, 40925 markings/sec, 80 secs
lola: 4171547 markings, 25257830 edges, 44764 markings/sec, 85 secs
lola: 4382013 markings, 26769532 edges, 42093 markings/sec, 90 secs
lola: 4628619 markings, 28325031 edges, 49321 markings/sec, 95 secs
lola: 4850042 markings, 29664182 edges, 44285 markings/sec, 100 secs
lola: 5049831 markings, 31088054 edges, 39958 markings/sec, 105 secs
lola: 5262062 markings, 32583326 edges, 42446 markings/sec, 110 secs
lola: 5467865 markings, 34159190 edges, 41161 markings/sec, 115 secs
lola: 5673345 markings, 35630954 edges, 41096 markings/sec, 120 secs
lola: 5884172 markings, 37175055 edges, 42165 markings/sec, 125 secs
lola: 6087150 markings, 38818311 edges, 40596 markings/sec, 130 secs
lola: 6301611 markings, 40534816 edges, 42892 markings/sec, 135 secs
lola: 6506010 markings, 42016990 edges, 40880 markings/sec, 140 secs
lola: 6721557 markings, 43650229 edges, 43109 markings/sec, 145 secs
lola: 6946427 markings, 45264155 edges, 44974 markings/sec, 150 secs
lola: 7169838 markings, 46843929 edges, 44682 markings/sec, 155 secs
lola: 7356438 markings, 48340782 edges, 37320 markings/sec, 160 secs
lola: 7551955 markings, 49998411 edges, 39103 markings/sec, 165 secs
lola: 7783530 markings, 51499589 edges, 46315 markings/sec, 170 secs
lola: 8013971 markings, 53093920 edges, 46088 markings/sec, 175 secs
lola: 8201705 markings, 54556985 edges, 37547 markings/sec, 180 secs
lola: 8403862 markings, 56154958 edges, 40431 markings/sec, 185 secs
lola: 8615195 markings, 57798111 edges, 42267 markings/sec, 190 secs
lola: 8812204 markings, 59529507 edges, 39402 markings/sec, 195 secs
lola: 8994621 markings, 61105759 edges, 36483 markings/sec, 200 secs
lola: 9190691 markings, 62784020 edges, 39214 markings/sec, 205 secs
lola: 9385838 markings, 64570731 edges, 39029 markings/sec, 210 secs
lola: 9615765 markings, 66197213 edges, 45985 markings/sec, 215 secs
lola: 9806345 markings, 67685617 edges, 38116 markings/sec, 220 secs
lola: 10008901 markings, 69357698 edges, 40511 markings/sec, 225 secs
lola: 10233170 markings, 70888209 edges, 44854 markings/sec, 230 secs
lola: 10443082 markings, 72555462 edges, 41982 markings/sec, 235 secs
lola: 10626110 markings, 74045228 edges, 36606 markings/sec, 240 secs
lola: 10817982 markings, 75701276 edges, 38374 markings/sec, 245 secs
lola: 11042372 markings, 77299457 edges, 44878 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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 15 will run for 518 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 172 bytes per marking, with 0 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: 279538 markings, 917057 edges, 55908 markings/sec, 0 secs
lola: 563382 markings, 2058178 edges, 56769 markings/sec, 5 secs
lola: 829009 markings, 3216183 edges, 53125 markings/sec, 10 secs
lola: 1082337 markings, 4462781 edges, 50666 markings/sec, 15 secs
lola: 1373316 markings, 5696298 edges, 58196 markings/sec, 20 secs
lola: 1663451 markings, 6870664 edges, 58027 markings/sec, 25 secs
lola: 1948577 markings, 8269455 edges, 57025 markings/sec, 30 secs
lola: 2213145 markings, 9530286 edges, 52914 markings/sec, 35 secs
lola: 2461180 markings, 10723755 edges, 49607 markings/sec, 40 secs
lola: 2729307 markings, 11922960 edges, 53625 markings/sec, 45 secs
lola: 2996350 markings, 13259133 edges, 53409 markings/sec, 50 secs
lola: 3221796 markings, 14504894 edges, 45089 markings/sec, 55 secs
lola: 3470187 markings, 15786453 edges, 49678 markings/sec, 60 secs
lola: 3698210 markings, 17133271 edges, 45605 markings/sec, 65 secs
lola: 3948052 markings, 18456568 edges, 49968 markings/sec, 70 secs
lola: 4228403 markings, 19710071 edges, 56070 markings/sec, 75 secs
lola: 4480031 markings, 20924597 edges, 50326 markings/sec, 80 secs
lola: 4738284 markings, 22190350 edges, 51651 markings/sec, 85 secs
lola: 5011774 markings, 23548519 edges, 54698 markings/sec, 90 secs
lola: 5263281 markings, 24908599 edges, 50301 markings/sec, 95 secs
lola: 5508237 markings, 26220318 edges, 48991 markings/sec, 100 secs
lola: 5746128 markings, 27565783 edges, 47578 markings/sec, 105 secs
lola: 5987456 markings, 28963627 edges, 48266 markings/sec, 110 secs
lola: 6233272 markings, 30343594 edges, 49163 markings/sec, 115 secs
lola: 6486937 markings, 31610236 edges, 50733 markings/sec, 120 secs
lola: 6732846 markings, 33063122 edges, 49182 markings/sec, 125 secs
lola: 6974702 markings, 34387159 edges, 48371 markings/sec, 130 secs
lola: 7206626 markings, 35684414 edges, 46385 markings/sec, 135 secs
lola: 7437918 markings, 37115799 edges, 46258 markings/sec, 140 secs
lola: 7651988 markings, 38582240 edges, 42814 markings/sec, 145 secs
lola: 7854448 markings, 39996715 edges, 40492 markings/sec, 150 secs
lola: 8142854 markings, 41369620 edges, 57681 markings/sec, 155 secs
lola: 8489713 markings, 42670547 edges, 69372 markings/sec, 160 secs
lola: 8813152 markings, 44118479 edges, 64688 markings/sec, 165 secs
lola: 9101280 markings, 45302246 edges, 57626 markings/sec, 170 secs
lola: 9361137 markings, 46500769 edges, 51971 markings/sec, 175 secs
lola: 9627169 markings, 47723363 edges, 53206 markings/sec, 180 secs
lola: 9901420 markings, 49081414 edges, 54850 markings/sec, 185 secs
lola: 10150222 markings, 50306317 edges, 49760 markings/sec, 190 secs
lola: 10409036 markings, 51604014 edges, 51763 markings/sec, 195 secs
lola: 10642371 markings, 52898243 edges, 46667 markings/sec, 200 secs
lola: 10879165 markings, 54248187 edges, 47359 markings/sec, 205 secs
lola: 11134717 markings, 55525118 edges, 51110 markings/sec, 210 secs
lola: 11392231 markings, 56833980 edges, 51503 markings/sec, 215 secs
lola: 11630714 markings, 58234396 edges, 47697 markings/sec, 220 secs
lola: 11872171 markings, 59624430 edges, 48291 markings/sec, 225 secs
lola: 12111453 markings, 61007457 edges, 47856 markings/sec, 230 secs
lola: 12356060 markings, 62406968 edges, 48921 markings/sec, 235 secs
lola: 12584245 markings, 63744477 edges, 45637 markings/sec, 240 secs
lola: 12795941 markings, 65242754 edges, 42339 markings/sec, 245 secs
lola: 13059206 markings, 66658494 edges, 52653 markings/sec, 250 secs
lola: 13374244 markings, 68059566 edges, 63008 markings/sec, 255 secs
lola: 13643914 markings, 69304751 edges, 53934 markings/sec, 260 secs
lola: 13898717 markings, 70613628 edges, 50961 markings/sec, 265 secs
lola: 14148564 markings, 71943386 edges, 49969 markings/sec, 270 secs
lola: 14380217 markings, 73282587 edges, 46331 markings/sec, 275 secs
lola: 14615583 markings, 74615349 edges, 47073 markings/sec, 280 secs
lola: 14855210 markings, 76032103 edges, 47925 markings/sec, 285 secs
lola: 15080372 markings, 77415272 edges, 45032 markings/sec, 290 secs
lola: 15304520 markings, 78819378 edges, 44830 markings/sec, 295 secs
lola: 15526333 markings, 80326129 edges, 44363 markings/sec, 300 secs
lola: 15811313 markings, 81679276 edges, 56996 markings/sec, 305 secs
lola: 16058071 markings, 83036056 edges, 49352 markings/sec, 310 secs
lola: 16282287 markings, 84346768 edges, 44843 markings/sec, 315 secs
lola: 16513173 markings, 85802793 edges, 46177 markings/sec, 320 secs
lola: 16730363 markings, 87244172 edges, 43438 markings/sec, 325 secs
lola: 16977528 markings, 88689445 edges, 49433 markings/sec, 330 secs
lola: 17216041 markings, 90033736 edges, 47703 markings/sec, 335 secs
lola: 17436279 markings, 91436616 edges, 44048 markings/sec, 340 secs
lola: 17668223 markings, 92901835 edges, 46389 markings/sec, 345 secs
lola: 17891588 markings, 94384896 edges, 44673 markings/sec, 350 secs
lola: 18086751 markings, 95882428 edges, 39033 markings/sec, 355 secs
lola: 18315441 markings, 97380852 edges, 45738 markings/sec, 360 secs
lola: 18616913 markings, 98881878 edges, 60294 markings/sec, 365 secs
lola: 18866269 markings, 99897360 edges, 49871 markings/sec, 370 secs
lola: 19140407 markings, 101072566 edges, 54828 markings/sec, 375 secs
lola: 19397557 markings, 102198682 edges, 51430 markings/sec, 380 secs
lola: 19629208 markings, 103315656 edges, 46330 markings/sec, 385 secs
lola: 19905402 markings, 104466430 edges, 55239 markings/sec, 390 secs
lola: 20183032 markings, 105542719 edges, 55526 markings/sec, 395 secs
lola: 20445209 markings, 106854495 edges, 52435 markings/sec, 400 secs
lola: 20707908 markings, 108228422 edges, 52540 markings/sec, 405 secs
lola: 20961735 markings, 109665051 edges, 50765 markings/sec, 410 secs
lola: 21197484 markings, 110779223 edges, 47150 markings/sec, 415 secs
lola: 21430637 markings, 111899710 edges, 46631 markings/sec, 420 secs
lola: 21697275 markings, 113121504 edges, 53328 markings/sec, 425 secs
lola: 21939397 markings, 114426013 edges, 48424 markings/sec, 430 secs
lola: 22151110 markings, 115595690 edges, 42343 markings/sec, 435 secs
lola: 22385893 markings, 116804565 edges, 46957 markings/sec, 440 secs
lola: 22599740 markings, 118028834 edges, 42769 markings/sec, 445 secs
lola: 22812899 markings, 119274637 edges, 42632 markings/sec, 450 secs
lola: 23062067 markings, 120531717 edges, 49834 markings/sec, 455 secs
lola: 23332325 markings, 121879600 edges, 54052 markings/sec, 460 secs
lola: 23565409 markings, 123061319 edges, 46617 markings/sec, 465 secs
lola: 23820009 markings, 124262652 edges, 50920 markings/sec, 470 secs
lola: 24080567 markings, 125449416 edges, 52112 markings/sec, 475 secs
lola: 24322533 markings, 126844305 edges, 48393 markings/sec, 480 secs
lola: 24556535 markings, 128247907 edges, 46800 markings/sec, 485 secs
lola: 24784518 markings, 129481512 edges, 45597 markings/sec, 490 secs
lola: 25019476 markings, 130784144 edges, 46992 markings/sec, 495 secs
lola: 25238869 markings, 132070184 edges, 43879 markings/sec, 500 secs
lola: 25463669 markings, 133415127 edges, 44960 markings/sec, 505 secs
lola: 25694447 markings, 134744516 edges, 46156 markings/sec, 510 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-17redondantChoiceL-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494675413418
--------------------
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="DNAwalker-PT-17redondantChoiceL"
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/DNAwalker-PT-17redondantChoiceL.tgz
mv DNAwalker-PT-17redondantChoiceL 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 DNAwalker-PT-17redondantChoiceL, 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-149440264000146"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;