About the Execution of LoLA for DNAwalker-PT-18lozangeBlock
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4983.770 | 3540108.00 | 3546948.00 | 1960.10 | ? ? 1 1 ? ? ? ? 1 ? ? ? 1 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-18lozangeBlock, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264000155
=====================================================================
--------------------
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-18lozangeBlock-UpperBounds-0
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-1
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-10
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-11
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-12
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-13
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-14
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-15
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-2
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-3
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-4
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-5
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-6
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-7
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-8
FORMULA_NAME DNAwalker-PT-18lozangeBlock-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494674039994
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-18lozangeBlock @ 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: 3861/65536 symbol table entries, 1086 collisions
lola: preprocessing...
lola: finding significant places
lola: 164 places, 3697 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1960 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-18lozangeBlock-UpperBounds.task
lola: MAX(A9) : MAX(A80) : MAX(B87) : MAX(A80) : MAX(A63) : MAX(A41) : MAX(B19) : MAX(B73) : MAX(A9) : MAX(B78) : MAX(B59) : MAX(B45) : MAX(A80) : MAX(A23) : MAX(A29) : MAX(A46)
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(A9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 117425 markings, 169254 edges, 23485 markings/sec, 0 secs
lola: 234545 markings, 349203 edges, 23424 markings/sec, 5 secs
lola: 351262 markings, 530120 edges, 23343 markings/sec, 10 secs
lola: 467775 markings, 715492 edges, 23303 markings/sec, 15 secs
lola: 583192 markings, 910281 edges, 23083 markings/sec, 20 secs
lola: 699575 markings, 1088612 edges, 23277 markings/sec, 25 secs
lola: 815444 markings, 1272134 edges, 23174 markings/sec, 30 secs
lola: 929742 markings, 1458044 edges, 22860 markings/sec, 35 secs
lola: 1041705 markings, 1641799 edges, 22393 markings/sec, 40 secs
lola: 1157245 markings, 1828295 edges, 23108 markings/sec, 45 secs
lola: 1273095 markings, 2023759 edges, 23170 markings/sec, 50 secs
lola: 1389015 markings, 2215912 edges, 23184 markings/sec, 55 secs
lola: 1498982 markings, 2402549 edges, 21993 markings/sec, 60 secs
lola: 1608945 markings, 2593988 edges, 21993 markings/sec, 65 secs
lola: 1724065 markings, 2800884 edges, 23024 markings/sec, 70 secs
lola: 1840315 markings, 2994192 edges, 23250 markings/sec, 75 secs
lola: 1957195 markings, 3176723 edges, 23376 markings/sec, 80 secs
lola: 2073610 markings, 3364339 edges, 23283 markings/sec, 85 secs
lola: 2189525 markings, 3558825 edges, 23183 markings/sec, 90 secs
lola: 2305679 markings, 3743738 edges, 23231 markings/sec, 95 secs
lola: 2421140 markings, 3938617 edges, 23092 markings/sec, 100 secs
lola: 2537038 markings, 4127995 edges, 23180 markings/sec, 105 secs
lola: 2652158 markings, 4323815 edges, 23024 markings/sec, 110 secs
lola: 2767411 markings, 4522357 edges, 23051 markings/sec, 115 secs
lola: 2882285 markings, 4727521 edges, 22975 markings/sec, 120 secs
lola: 2997835 markings, 4929535 edges, 23110 markings/sec, 125 secs
lola: 3114495 markings, 5117128 edges, 23332 markings/sec, 130 secs
lola: 3230525 markings, 5313467 edges, 23206 markings/sec, 135 secs
lola: 3340875 markings, 5494541 edges, 22070 markings/sec, 140 secs
lola: 3456738 markings, 5691600 edges, 23173 markings/sec, 145 secs
lola: 3572275 markings, 5891773 edges, 23107 markings/sec, 150 secs
lola: 3687638 markings, 6098491 edges, 23073 markings/sec, 155 secs
lola: 3795433 markings, 6287982 edges, 21559 markings/sec, 160 secs
lola: 3909951 markings, 6481692 edges, 22904 markings/sec, 165 secs
lola: 4024634 markings, 6676188 edges, 22937 markings/sec, 170 secs
lola: 4139990 markings, 6877189 edges, 23071 markings/sec, 175 secs
lola: 4254070 markings, 7087067 edges, 22816 markings/sec, 180 secs
lola: 4369265 markings, 7284881 edges, 23039 markings/sec, 185 secs
lola: 4483673 markings, 7484305 edges, 22882 markings/sec, 190 secs
lola: 4598225 markings, 7693957 edges, 22910 markings/sec, 195 secs
lola: 4713315 markings, 7898029 edges, 23018 markings/sec, 200 secs
lola: 4827835 markings, 8107563 edges, 22904 markings/sec, 205 secs
lola: 4943195 markings, 8317086 edges, 23072 markings/sec, 210 secs
lola: 5057314 markings, 8529585 edges, 22824 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(A80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 346125 markings, 399114 edges, 69225 markings/sec, 0 secs
lola: 689707 markings, 806356 edges, 68716 markings/sec, 5 secs
lola: 1031954 markings, 1213586 edges, 68449 markings/sec, 10 secs
lola: 1374937 markings, 1627819 edges, 68597 markings/sec, 15 secs
lola: 1712323 markings, 2046441 edges, 67477 markings/sec, 20 secs
lola: 2056959 markings, 2452124 edges, 68927 markings/sec, 25 secs
lola: 2399217 markings, 2862439 edges, 68452 markings/sec, 30 secs
lola: 2739532 markings, 3278456 edges, 68063 markings/sec, 35 secs
lola: 3079673 markings, 3692469 edges, 68028 markings/sec, 40 secs
lola: 3419479 markings, 4105337 edges, 67961 markings/sec, 45 secs
lola: 3757272 markings, 4521903 edges, 67559 markings/sec, 50 secs
lola: 4094615 markings, 4939193 edges, 67469 markings/sec, 55 secs
lola: 4431914 markings, 5357973 edges, 67460 markings/sec, 60 secs
lola: 4767618 markings, 5779385 edges, 67141 markings/sec, 65 secs
lola: 5100335 markings, 6207886 edges, 66543 markings/sec, 70 secs
lola: 5443057 markings, 6617491 edges, 68544 markings/sec, 75 secs
lola: 5785461 markings, 7028823 edges, 68481 markings/sec, 80 secs
lola: 6126471 markings, 7443761 edges, 68202 markings/sec, 85 secs
lola: 6466641 markings, 7858568 edges, 68034 markings/sec, 90 secs
lola: 6807101 markings, 8271818 edges, 68092 markings/sec, 95 secs
lola: 7145190 markings, 8689127 edges, 67618 markings/sec, 100 secs
lola: 7482961 markings, 9104982 edges, 67554 markings/sec, 105 secs
lola: 7821462 markings, 9525185 edges, 67700 markings/sec, 110 secs
lola: 8156961 markings, 9946950 edges, 67100 markings/sec, 115 secs
lola: 8488579 markings, 10372139 edges, 66324 markings/sec, 120 secs
lola: 8827618 markings, 10787981 edges, 67808 markings/sec, 125 secs
lola: 9167759 markings, 11201488 edges, 68028 markings/sec, 130 secs
lola: 9506070 markings, 11618727 edges, 67662 markings/sec, 135 secs
lola: 9842872 markings, 12036818 edges, 67360 markings/sec, 140 secs
lola: 10181069 markings, 12456847 edges, 67639 markings/sec, 145 secs
lola: 10515745 markings, 12876981 edges, 66935 markings/sec, 150 secs
lola: 10846366 markings, 13306758 edges, 66124 markings/sec, 155 secs
lola: 11185144 markings, 13717376 edges, 67756 markings/sec, 160 secs
lola: 11521523 markings, 14134949 edges, 67276 markings/sec, 165 secs
lola: 11856668 markings, 14554508 edges, 67029 markings/sec, 170 secs
lola: 12189167 markings, 14977698 edges, 66500 markings/sec, 175 secs
lola: 12523309 markings, 15402112 edges, 66828 markings/sec, 180 secs
lola: 12858183 markings, 15820705 edges, 66975 markings/sec, 185 secs
lola: 13190378 markings, 16243582 edges, 66439 markings/sec, 190 secs
lola: 13523863 markings, 16670241 edges, 66697 markings/sec, 195 secs
lola: 13848448 markings, 17082428 edges, 64917 markings/sec, 200 secs
lola: 14180178 markings, 17510826 edges, 66346 markings/sec, 205 secs
lola: 14510058 markings, 17939496 edges, 65976 markings/sec, 210 secs
lola: 14840855 markings, 18368102 edges, 66159 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(B87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 345668 markings, 398536 edges, 69134 markings/sec, 0 secs
lola: 690880 markings, 807806 edges, 69042 markings/sec, 5 secs
lola: 1035579 markings, 1218126 edges, 68940 markings/sec, 10 secs
lola: 1378388 markings, 1631784 edges, 68562 markings/sec, 15 secs
lola: 1716760 markings, 2051626 edges, 67674 markings/sec, 20 secs
lola: 2061106 markings, 2457335 edges, 68869 markings/sec, 25 secs
lola: 2403915 markings, 2868418 edges, 68562 markings/sec, 30 secs
lola: 2744346 markings, 3284325 edges, 68086 markings/sec, 35 secs
lola: 3084710 markings, 3698669 edges, 68073 markings/sec, 40 secs
lola: 3426020 markings, 4113232 edges, 68262 markings/sec, 45 secs
lola: 3765061 markings, 4531564 edges, 67808 markings/sec, 50 secs
lola: 4102938 markings, 4949602 edges, 67575 markings/sec, 55 secs
lola: 4442295 markings, 5370924 edges, 67871 markings/sec, 60 secs
lola: 4777329 markings, 5791718 edges, 67007 markings/sec, 65 secs
lola: 5109760 markings, 6220718 edges, 66486 markings/sec, 70 secs
lola: 5454019 markings, 6630550 edges, 68852 markings/sec, 75 secs
lola: 5796654 markings, 7041956 edges, 68527 markings/sec, 80 secs
lola: 6136784 markings, 7456539 edges, 68026 markings/sec, 85 secs
lola: 6476559 markings, 7870448 edges, 67955 markings/sec, 90 secs
lola: 6816136 markings, 8283546 edges, 67915 markings/sec, 95 secs
lola: 7153909 markings, 8699567 edges, 67555 markings/sec, 100 secs
lola: 7491691 markings, 9115784 edges, 67556 markings/sec, 105 secs
lola: 7829735 markings, 9535427 edges, 67609 markings/sec, 110 secs
lola: 8165103 markings, 9957413 edges, 67074 markings/sec, 115 secs
lola: 8497598 markings, 10383965 edges, 66499 markings/sec, 120 secs
lola: 8836695 markings, 10798677 edges, 67819 markings/sec, 125 secs
lola: 9175415 markings, 11211399 edges, 67744 markings/sec, 130 secs
lola: 9514131 markings, 11628267 edges, 67743 markings/sec, 135 secs
lola: 9849897 markings, 12045112 edges, 67153 markings/sec, 140 secs
lola: 10187600 markings, 12464790 edges, 67541 markings/sec, 145 secs
lola: 10522349 markings, 12885118 edges, 66950 markings/sec, 150 secs
lola: 10854228 markings, 13315681 edges, 66376 markings/sec, 155 secs
lola: 11193351 markings, 13727553 edges, 67825 markings/sec, 160 secs
lola: 11529636 markings, 14145016 edges, 67257 markings/sec, 165 secs
lola: 11865286 markings, 14565298 edges, 67130 markings/sec, 170 secs
lola: 12197505 markings, 14988209 edges, 66444 markings/sec, 175 secs
lola: 12532111 markings, 15412807 edges, 66921 markings/sec, 180 secs
lola: 12865810 markings, 15830644 edges, 66740 markings/sec, 185 secs
lola: 13198431 markings, 16253549 edges, 66524 markings/sec, 190 secs
lola: 13532403 markings, 16680852 edges, 66794 markings/sec, 195 secs
lola: 13868282 markings, 17108327 edges, 67176 markings/sec, 200 secs
lola: 14200477 markings, 17536791 edges, 66439 markings/sec, 205 secs
lola: 14531501 markings, 17966042 edges, 66205 markings/sec, 210 secs
lola: 14862690 markings, 18396134 edges, 66238 markings/sec, 215 secs
lola: 15191610 markings, 18830171 edges, 65784 markings/sec, 220 secs
lola: 15522862 markings, 19259690 edges, 66250 markings/sec, 225 secs
lola: 15865599 markings, 19667385 edges, 68547 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 66622 markings, 76035 edges, 13324 markings/sec, 0 secs
lola: 133207 markings, 154401 edges, 13317 markings/sec, 5 secs
lola: 199743 markings, 233592 edges, 13307 markings/sec, 10 secs
lola: 266235 markings, 312875 edges, 13298 markings/sec, 15 secs
lola: 332675 markings, 392474 edges, 13288 markings/sec, 20 secs
lola: 399050 markings, 473421 edges, 13275 markings/sec, 25 secs
lola: 465387 markings, 555625 edges, 13267 markings/sec, 30 secs
lola: 531840 markings, 636383 edges, 13291 markings/sec, 35 secs
lola: 598292 markings, 715887 edges, 13290 markings/sec, 40 secs
lola: 664769 markings, 795403 edges, 13295 markings/sec, 45 secs
lola: 731145 markings, 876286 edges, 13275 markings/sec, 50 secs
lola: 797448 markings, 958633 edges, 13261 markings/sec, 55 secs
lola: 863845 markings, 1039860 edges, 13279 markings/sec, 60 secs
lola: 930235 markings, 1120364 edges, 13278 markings/sec, 65 secs
lola: 996561 markings, 1202479 edges, 13265 markings/sec, 70 secs
lola: 1062854 markings, 1285116 edges, 13259 markings/sec, 75 secs
lola: 1129166 markings, 1366661 edges, 13262 markings/sec, 80 secs
lola: 1195406 markings, 1450301 edges, 13248 markings/sec, 85 secs
lola: 1261675 markings, 1532785 edges, 13254 markings/sec, 90 secs
lola: 1327880 markings, 1616754 edges, 13241 markings/sec, 95 secs
lola: 1394091 markings, 1701889 edges, 13242 markings/sec, 100 secs
lola: 1460240 markings, 1788195 edges, 13230 markings/sec, 105 secs
lola: 1526690 markings, 1869123 edges, 13290 markings/sec, 110 secs
lola: 1593133 markings, 1949067 edges, 13289 markings/sec, 115 secs
lola: 1659559 markings, 2029203 edges, 13285 markings/sec, 120 secs
lola: 1725932 markings, 2109634 edges, 13275 markings/sec, 125 secs
lola: 1792191 markings, 2192708 edges, 13252 markings/sec, 130 secs
lola: 1858580 markings, 2272986 edges, 13278 markings/sec, 135 secs
lola: 1924947 markings, 2353946 edges, 13273 markings/sec, 140 secs
lola: 1991259 markings, 2435809 edges, 13262 markings/sec, 145 secs
lola: 2057556 markings, 2518329 edges, 13259 markings/sec, 150 secs
lola: 2123846 markings, 2600076 edges, 13258 markings/sec, 155 secs
lola: 2190086 markings, 2683437 edges, 13248 markings/sec, 160 secs
lola: 2256319 markings, 2766548 edges, 13247 markings/sec, 165 secs
lola: 2322521 markings, 2850416 edges, 13240 markings/sec, 170 secs
lola: 2388693 markings, 2935508 edges, 13234 markings/sec, 175 secs
lola: 2454768 markings, 3022816 edges, 13215 markings/sec, 180 secs
lola: 2521235 markings, 3103312 edges, 13293 markings/sec, 185 secs
lola: 2587625 markings, 3184231 edges, 13278 markings/sec, 190 secs
lola: 2653960 markings, 3266580 edges, 13267 markings/sec, 195 secs
lola: 2720281 markings, 3348762 edges, 13264 markings/sec, 200 secs
lola: 2786587 markings, 3430762 edges, 13261 markings/sec, 205 secs
lola: 2852814 markings, 3513969 edges, 13245 markings/sec, 210 secs
lola: 2919016 markings, 3597512 edges, 13240 markings/sec, 215 secs
lola: 2985175 markings, 3681442 edges, 13232 markings/sec, 220 secs
lola: 3051323 markings, 3766184 edges, 13230 markings/sec, 225 secs
lola: 3117331 markings, 3854376 edges, 13202 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 357778 markings, 408744 edges, 71556 markings/sec, 0 secs
lola: 711866 markings, 824021 edges, 70818 markings/sec, 5 secs
lola: 1064677 markings, 1239568 edges, 70562 markings/sec, 10 secs
lola: 1416403 markings, 1657161 edges, 70345 markings/sec, 15 secs
lola: 1765607 markings, 2082037 edges, 69841 markings/sec, 20 secs
lola: 2119049 markings, 2499115 edges, 70688 markings/sec, 25 secs
lola: 2471000 markings, 2915857 edges, 70390 markings/sec, 30 secs
lola: 2821254 markings, 3336741 edges, 70051 markings/sec, 35 secs
lola: 3170166 markings, 3759655 edges, 69782 markings/sec, 40 secs
lola: 3519846 markings, 4177683 edges, 69936 markings/sec, 45 secs
lola: 3866767 markings, 4603881 edges, 69384 markings/sec, 50 secs
lola: 4215641 markings, 5021865 edges, 69775 markings/sec, 55 secs
lola: 4562469 markings, 5447179 edges, 69366 markings/sec, 60 secs
lola: 4908646 markings, 5874251 edges, 69235 markings/sec, 65 secs
lola: 5253335 markings, 6305197 edges, 68938 markings/sec, 70 secs
lola: 5600473 markings, 6737315 edges, 69428 markings/sec, 75 secs
lola: 5954931 markings, 7154769 edges, 70892 markings/sec, 80 secs
lola: 6306932 markings, 7572900 edges, 70400 markings/sec, 85 secs
lola: 6656085 markings, 7998122 edges, 69831 markings/sec, 90 secs
lola: 7006588 markings, 8417552 edges, 70101 markings/sec, 95 secs
lola: 7356052 markings, 8837733 edges, 69893 markings/sec, 100 secs
lola: 7703978 markings, 9262122 edges, 69585 markings/sec, 105 secs
lola: 8051612 markings, 9686868 edges, 69527 markings/sec, 110 secs
lola: 8398998 markings, 10112423 edges, 69477 markings/sec, 115 secs
lola: 8745025 markings, 10541063 edges, 69205 markings/sec, 120 secs
lola: 9088898 markings, 10977013 edges, 68775 markings/sec, 125 secs
lola: 9438986 markings, 11399680 edges, 70018 markings/sec, 130 secs
lola: 9789477 markings, 11820662 edges, 70098 markings/sec, 135 secs
lola: 10137880 markings, 12245321 edges, 69681 markings/sec, 140 secs
lola: 10485577 markings, 12670103 edges, 69539 markings/sec, 145 secs
lola: 10833087 markings, 13095601 edges, 69502 markings/sec, 150 secs
lola: 11179078 markings, 13524681 edges, 69198 markings/sec, 155 secs
lola: 11469486 markings, 13891258 edges, 58082 markings/sec, 160 secs
lola: 11814919 markings, 14317409 edges, 69087 markings/sec, 165 secs
lola: 12160600 markings, 14741496 edges, 69136 markings/sec, 170 secs
lola: 12506157 markings, 15166033 edges, 69111 markings/sec, 175 secs
lola: 12797584 markings, 15526200 edges, 58285 markings/sec, 180 secs
lola: 13139860 markings, 15958679 edges, 68455 markings/sec, 185 secs
lola: 13484300 markings, 16385179 edges, 68888 markings/sec, 190 secs
lola: 13828157 markings, 16812722 edges, 68771 markings/sec, 195 secs
lola: 14116548 markings, 17173872 edges, 57678 markings/sec, 200 secs
lola: 14459143 markings, 17606085 edges, 68519 markings/sec, 205 secs
lola: 14802110 markings, 18035586 edges, 68593 markings/sec, 210 secs
lola: 15142862 markings, 18469527 edges, 68150 markings/sec, 215 secs
lola: 15433065 markings, 18837396 edges, 58041 markings/sec, 220 secs
lola: 15772751 markings, 19272475 edges, 67937 markings/sec, 225 secs
lola: 16112083 markings, 19711603 edges, 67866 markings/sec, 230 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 238 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 656 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 7 will run for 264 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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 8 will run for 298 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 113695 markings, 163913 edges, 22739 markings/sec, 0 secs
lola: 226975 markings, 337746 edges, 22656 markings/sec, 5 secs
lola: 344280 markings, 519569 edges, 23461 markings/sec, 10 secs
lola: 461475 markings, 704923 edges, 23439 markings/sec, 15 secs
lola: 573555 markings, 892899 edges, 22416 markings/sec, 20 secs
lola: 686945 markings, 1068597 edges, 22678 markings/sec, 25 secs
lola: 803855 markings, 1253310 edges, 23382 markings/sec, 30 secs
lola: 917410 markings, 1437450 edges, 22711 markings/sec, 35 secs
lola: 1033605 markings, 1629490 edges, 23239 markings/sec, 40 secs
lola: 1150345 markings, 1816914 edges, 23348 markings/sec, 45 secs
lola: 1266519 markings, 2013919 edges, 23235 markings/sec, 50 secs
lola: 1383005 markings, 2205273 edges, 23297 markings/sec, 55 secs
lola: 1499223 markings, 2402891 edges, 23244 markings/sec, 60 secs
lola: 1613205 markings, 2602017 edges, 22796 markings/sec, 65 secs
lola: 1726794 markings, 2806225 edges, 22718 markings/sec, 70 secs
lola: 1843682 markings, 2999642 edges, 23378 markings/sec, 75 secs
lola: 1961275 markings, 3183096 edges, 23519 markings/sec, 80 secs
lola: 2078369 markings, 3372186 edges, 23419 markings/sec, 85 secs
lola: 2194605 markings, 3567142 edges, 23247 markings/sec, 90 secs
lola: 2310225 markings, 3751720 edges, 23124 markings/sec, 95 secs
lola: 2426045 markings, 3948074 edges, 23164 markings/sec, 100 secs
lola: 2538652 markings, 4130591 edges, 22521 markings/sec, 105 secs
lola: 2653675 markings, 4326281 edges, 23005 markings/sec, 110 secs
lola: 2765964 markings, 4519888 edges, 22458 markings/sec, 115 secs
lola: 2880595 markings, 4724134 edges, 22926 markings/sec, 120 secs
lola: 2996775 markings, 4927813 edges, 23236 markings/sec, 125 secs
lola: 3113715 markings, 5115834 edges, 23388 markings/sec, 130 secs
lola: 3229335 markings, 5311639 edges, 23124 markings/sec, 135 secs
lola: 3345455 markings, 5502175 edges, 23224 markings/sec, 140 secs
lola: 3460005 markings, 5696899 edges, 22910 markings/sec, 145 secs
lola: 3573725 markings, 5894472 edges, 22744 markings/sec, 150 secs
lola: 3687715 markings, 6098651 edges, 22798 markings/sec, 155 secs
lola: 3801055 markings, 6297538 edges, 22668 markings/sec, 160 secs
lola: 3916695 markings, 6494371 edges, 23128 markings/sec, 165 secs
lola: 4031965 markings, 6690682 edges, 23054 markings/sec, 170 secs
lola: 4147995 markings, 6891344 edges, 23206 markings/sec, 175 secs
lola: 4263235 markings, 7105974 edges, 23048 markings/sec, 180 secs
lola: 4379545 markings, 7303971 edges, 23262 markings/sec, 185 secs
lola: 4495485 markings, 7505306 edges, 23188 markings/sec, 190 secs
lola: 4610805 markings, 7719061 edges, 23064 markings/sec, 195 secs
lola: 4726665 markings, 7921332 edges, 23172 markings/sec, 200 secs
lola: 4841955 markings, 8134529 edges, 23058 markings/sec, 205 secs
lola: 4957315 markings, 8343511 edges, 23072 markings/sec, 210 secs
lola: 5072112 markings, 8557230 edges, 22959 markings/sec, 215 secs
lola: 5186254 markings, 8775633 edges, 22828 markings/sec, 220 secs
lola: 5300078 markings, 9001228 edges, 22765 markings/sec, 225 secs
lola: 5416195 markings, 9186295 edges, 23223 markings/sec, 230 secs
lola: 5532355 markings, 9370773 edges, 23232 markings/sec, 235 secs
lola: 5648235 markings, 9558189 edges, 23176 markings/sec, 240 secs
lola: 5763823 markings, 9748365 edges, 23118 markings/sec, 245 secs
lola: 5880563 markings, 9936644 edges, 23348 markings/sec, 250 secs
lola: 5996654 markings, 10132577 edges, 23218 markings/sec, 255 secs
lola: 6112984 markings, 10325380 edges, 23266 markings/sec, 260 secs
lola: 6228972 markings, 10522619 edges, 23198 markings/sec, 265 secs
lola: 6342090 markings, 10720841 edges, 22624 markings/sec, 270 secs
lola: 6457100 markings, 10927047 edges, 23002 markings/sec, 275 secs
lola: 6573017 markings, 11122240 edges, 23183 markings/sec, 280 secs
lola: 6688665 markings, 11309966 edges, 23130 markings/sec, 285 secs
lola: 6804555 markings, 11504218 edges, 23178 markings/sec, 290 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 298 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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 347 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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 11 will run for 417 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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 12 will run for 521 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 348054 markings, 401290 edges, 69611 markings/sec, 0 secs
lola: 692594 markings, 809834 edges, 68908 markings/sec, 5 secs
lola: 1035724 markings, 1218309 edges, 68626 markings/sec, 10 secs
lola: 1378468 markings, 1631877 edges, 68549 markings/sec, 15 secs
lola: 1715658 markings, 2050420 edges, 67438 markings/sec, 20 secs
lola: 2059067 markings, 2454736 edges, 68682 markings/sec, 25 secs
lola: 2403143 markings, 2867386 edges, 68815 markings/sec, 30 secs
lola: 2744955 markings, 3285083 edges, 68362 markings/sec, 35 secs
lola: 3086517 markings, 3701040 edges, 68312 markings/sec, 40 secs
lola: 3427180 markings, 4114620 edges, 68133 markings/sec, 45 secs
lola: 3764943 markings, 4531433 edges, 67553 markings/sec, 50 secs
lola: 4101881 markings, 4948265 edges, 67388 markings/sec, 55 secs
lola: 4440556 markings, 5368698 edges, 67735 markings/sec, 60 secs
lola: 4775912 markings, 5789899 edges, 67071 markings/sec, 65 secs
lola: 5108509 markings, 6219187 edges, 66519 markings/sec, 70 secs
lola: 5451815 markings, 6627939 edges, 68661 markings/sec, 75 secs
lola: 5794931 markings, 7039946 edges, 68623 markings/sec, 80 secs
lola: 6136037 markings, 7455649 edges, 68221 markings/sec, 85 secs
lola: 6476153 markings, 7870003 edges, 68023 markings/sec, 90 secs
lola: 6815511 markings, 8282853 edges, 67872 markings/sec, 95 secs
lola: 7153935 markings, 8699599 edges, 67685 markings/sec, 100 secs
lola: 7491733 markings, 9115843 edges, 67560 markings/sec, 105 secs
lola: 7830221 markings, 9536033 edges, 67698 markings/sec, 110 secs
lola: 8164446 markings, 9956605 edges, 66845 markings/sec, 115 secs
lola: 8495626 markings, 10381336 edges, 66236 markings/sec, 120 secs
lola: 8834433 markings, 10795975 edges, 67761 markings/sec, 125 secs
lola: 9172858 markings, 11208188 edges, 67685 markings/sec, 130 secs
lola: 9510365 markings, 11623731 edges, 67501 markings/sec, 135 secs
lola: 9846707 markings, 12041386 edges, 67268 markings/sec, 140 secs
lola: 10183543 markings, 12459871 edges, 67367 markings/sec, 145 secs
lola: 10517703 markings, 12879320 edges, 66832 markings/sec, 150 secs
lola: 10846558 markings, 13306965 edges, 65771 markings/sec, 155 secs
lola: 11184244 markings, 13716243 edges, 67537 markings/sec, 160 secs
lola: 11518411 markings, 14131130 edges, 66833 markings/sec, 165 secs
lola: 11853101 markings, 14550048 edges, 66938 markings/sec, 170 secs
lola: 12185706 markings, 14973122 edges, 66521 markings/sec, 175 secs
lola: 12519260 markings, 15396994 edges, 66711 markings/sec, 180 secs
lola: 12854802 markings, 15816355 edges, 67108 markings/sec, 185 secs
lola: 13186648 markings, 16238829 edges, 66369 markings/sec, 190 secs
lola: 13517991 markings, 16662982 edges, 66269 markings/sec, 195 secs
lola: 13849316 markings, 17083552 edges, 66265 markings/sec, 200 secs
lola: 14176580 markings, 17506000 edges, 65453 markings/sec, 205 secs
lola: 14506369 markings, 17934071 edges, 65958 markings/sec, 210 secs
lola: 14836303 markings, 18362328 edges, 65987 markings/sec, 215 secs
lola: 15164576 markings, 18794714 edges, 65655 markings/sec, 220 secs
lola: 15493500 markings, 19225067 edges, 65785 markings/sec, 225 secs
lola: 15835381 markings, 19631687 edges, 68376 markings/sec, 230 secs
lola: 16177436 markings, 20042214 edges, 68411 markings/sec, 235 secs
lola: 16515257 markings, 20459414 edges, 67564 markings/sec, 240 secs
lola: 16821004 markings, 20828726 edges, 61149 markings/sec, 245 secs
lola: 17160629 markings, 21241844 edges, 67925 markings/sec, 250 secs
lola: 17499011 markings, 21658929 edges, 67676 markings/sec, 255 secs
lola: 17835496 markings, 22076824 edges, 67297 markings/sec, 260 secs
lola: 18139646 markings, 22453193 edges, 60830 markings/sec, 265 secs
lola: 18474589 markings, 22873877 edges, 66989 markings/sec, 270 secs
lola: 18806460 markings, 23301961 edges, 66374 markings/sec, 275 secs
lola: 19146456 markings, 23713399 edges, 67999 markings/sec, 280 secs
lola: 19451420 markings, 24085808 edges, 60993 markings/sec, 285 secs
lola: 19788889 markings, 24501239 edges, 67494 markings/sec, 290 secs
lola: 20124643 markings, 24918051 edges, 67151 markings/sec, 295 secs
lola: 20462128 markings, 25337477 edges, 67497 markings/sec, 300 secs
lola: 20763177 markings, 25714893 edges, 60210 markings/sec, 305 secs
lola: 21094125 markings, 26142190 edges, 66190 markings/sec, 310 secs
lola: 21431772 markings, 26555810 edges, 67529 markings/sec, 315 secs
lola: 21767593 markings, 26972837 edges, 67164 markings/sec, 320 secs
lola: 22069118 markings, 27349303 edges, 60305 markings/sec, 325 secs
lola: 22401358 markings, 27769968 edges, 66448 markings/sec, 330 secs
lola: 22733117 markings, 28195175 edges, 66352 markings/sec, 335 secs
lola: 23068538 markings, 28613315 edges, 67084 markings/sec, 340 secs
lola: 23400249 markings, 29032779 edges, 66342 markings/sec, 345 secs
lola: 23730283 markings, 29458325 edges, 66007 markings/sec, 350 secs
lola: 24064508 markings, 29880531 edges, 66845 markings/sec, 355 secs
lola: 24395282 markings, 30308208 edges, 66155 markings/sec, 360 secs
lola: 24692155 markings, 30688753 edges, 59375 markings/sec, 365 secs
lola: 25020492 markings, 31115412 edges, 65667 markings/sec, 370 secs
lola: 25347827 markings, 31545771 edges, 65467 markings/sec, 375 secs
lola: 25672007 markings, 31982890 edges, 64836 markings/sec, 380 secs
lola: 26011684 markings, 32392281 edges, 67935 markings/sec, 385 secs
lola: 26348276 markings, 32805127 edges, 67318 markings/sec, 390 secs
lola: 26686871 markings, 33220119 edges, 67719 markings/sec, 395 secs
lola: 27022508 markings, 33636859 edges, 67127 markings/sec, 400 secs
lola: 27359604 markings, 34056674 edges, 67419 markings/sec, 405 secs
lola: 27693104 markings, 34477971 edges, 66700 markings/sec, 410 secs
lola: 28025212 markings, 34904429 edges, 66422 markings/sec, 415 secs
lola: 28363073 markings, 35317394 edges, 67572 markings/sec, 420 secs
lola: 28700244 markings, 35735883 edges, 67434 markings/sec, 425 secs
lola: 29033658 markings, 36155296 edges, 66683 markings/sec, 430 secs
lola: 29364941 markings, 36577536 edges, 66257 markings/sec, 435 secs
lola: 29699498 markings, 36999732 edges, 66911 markings/sec, 440 secs
lola: 30033060 markings, 37418238 edges, 66712 markings/sec, 445 secs
lola: 30365599 markings, 37842029 edges, 66508 markings/sec, 450 secs
lola: 30697678 markings, 38266209 edges, 66416 markings/sec, 455 secs
lola: 31029873 markings, 38689086 edges, 66439 markings/sec, 460 secs
lola: 31356584 markings, 39110650 edges, 65342 markings/sec, 465 secs
lola: 31682750 markings, 39533413 edges, 65233 markings/sec, 470 secs
lola: 32007790 markings, 39956795 edges, 65008 markings/sec, 475 secs
lola: 32330696 markings, 40383378 edges, 64581 markings/sec, 480 secs
lola: 32653978 markings, 40805333 edges, 64656 markings/sec, 485 secs
lola: 32986675 markings, 41215283 edges, 66539 markings/sec, 490 secs
lola: 33318350 markings, 41626994 edges, 66335 markings/sec, 495 secs
lola: 33647940 markings, 42041294 edges, 65918 markings/sec, 500 secs
lola: 33975499 markings, 42461004 edges, 65512 markings/sec, 505 secs
lola: 34307569 markings, 42877883 edges, 66414 markings/sec, 510 secs
lola: 34634979 markings, 43290041 edges, 65482 markings/sec, 515 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 521 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 366148 markings, 405042 edges, 73230 markings/sec, 0 secs
lola: 723585 markings, 810341 edges, 71487 markings/sec, 5 secs
lola: 1077628 markings, 1210374 edges, 70809 markings/sec, 10 secs
lola: 1429228 markings, 1611901 edges, 70320 markings/sec, 15 secs
lola: 1780894 markings, 2014386 edges, 70333 markings/sec, 20 secs
lola: 2130108 markings, 2419750 edges, 69843 markings/sec, 25 secs
lola: 2479548 markings, 2826182 edges, 69888 markings/sec, 30 secs
lola: 2830708 markings, 3224782 edges, 70232 markings/sec, 35 secs
lola: 3180268 markings, 3623858 edges, 69912 markings/sec, 40 secs
lola: 3529431 markings, 4026625 edges, 69833 markings/sec, 45 secs
lola: 3876512 markings, 4433933 edges, 69416 markings/sec, 50 secs
lola: 4225228 markings, 4834311 edges, 69743 markings/sec, 55 secs
lola: 4573068 markings, 5235732 edges, 69568 markings/sec, 60 secs
lola: 4919328 markings, 5641274 edges, 69252 markings/sec, 65 secs
lola: 5267068 markings, 6045213 edges, 69548 markings/sec, 70 secs
lola: 5613748 markings, 6451268 edges, 69336 markings/sec, 75 secs
lola: 5959369 markings, 6856693 edges, 69124 markings/sec, 80 secs
lola: 6304988 markings, 7265173 edges, 69124 markings/sec, 85 secs
lola: 6648060 markings, 7673917 edges, 68614 markings/sec, 90 secs
lola: 6990276 markings, 8087672 edges, 68443 markings/sec, 95 secs
lola: 7340708 markings, 8491808 edges, 70086 markings/sec, 100 secs
lola: 7692468 markings, 8893405 edges, 70352 markings/sec, 105 secs
lola: 8042637 markings, 9294724 edges, 70034 markings/sec, 110 secs
lola: 8394228 markings, 9701698 edges, 70318 markings/sec, 115 secs
lola: 8744588 markings, 10112147 edges, 70072 markings/sec, 120 secs
lola: 9095428 markings, 10514089 edges, 70168 markings/sec, 125 secs
lola: 9444147 markings, 10917840 edges, 69744 markings/sec, 130 secs
lola: 9791223 markings, 11326063 edges, 69415 markings/sec, 135 secs
lola: 10138999 markings, 11728584 edges, 69555 markings/sec, 140 secs
lola: 10485868 markings, 12137215 edges, 69374 markings/sec, 145 secs
lola: 10826425 markings, 12537358 edges, 68111 markings/sec, 150 secs
lola: 11164908 markings, 12938409 edges, 67697 markings/sec, 155 secs
lola: 11502315 markings, 13341498 edges, 67481 markings/sec, 160 secs
lola: 11839588 markings, 13751588 edges, 67455 markings/sec, 165 secs
lola: 12181428 markings, 14142390 edges, 68368 markings/sec, 170 secs
lola: 12521908 markings, 14534775 edges, 68096 markings/sec, 175 secs
lola: 12859760 markings, 14934748 edges, 67570 markings/sec, 180 secs
lola: 13199708 markings, 15325456 edges, 67990 markings/sec, 185 secs
lola: 13536908 markings, 15722937 edges, 67440 markings/sec, 190 secs
lola: 13875126 markings, 16118084 edges, 67644 markings/sec, 195 secs
lola: 14211571 markings, 16516381 edges, 67289 markings/sec, 200 secs
lola: 14547247 markings, 16917910 edges, 67135 markings/sec, 205 secs
lola: 14882375 markings, 17322760 edges, 67026 markings/sec, 210 secs
lola: 15221628 markings, 17720470 edges, 67851 markings/sec, 215 secs
lola: 15559748 markings, 18115527 edges, 67624 markings/sec, 220 secs
lola: 15897979 markings, 18512490 edges, 67646 markings/sec, 225 secs
lola: 16235188 markings, 18911668 edges, 67442 markings/sec, 230 secs
lola: 16571565 markings, 19310878 edges, 67275 markings/sec, 235 secs
lola: 16906570 markings, 19714742 edges, 67001 markings/sec, 240 secs
lola: 17243388 markings, 20117132 edges, 67364 markings/sec, 245 secs
lola: 17579668 markings, 20514483 edges, 67256 markings/sec, 250 secs
lola: 17914988 markings, 20912201 edges, 67064 markings/sec, 255 secs
lola: 18249148 markings, 21313106 edges, 66832 markings/sec, 260 secs
lola: 18583644 markings, 21717476 edges, 66899 markings/sec, 265 secs
lola: 18924428 markings, 22122654 edges, 68157 markings/sec, 270 secs
lola: 19266335 markings, 22535645 edges, 68381 markings/sec, 275 secs
lola: 19607068 markings, 22947957 edges, 68147 markings/sec, 280 secs
lola: 19947043 markings, 23358819 edges, 67995 markings/sec, 285 secs
lola: 20286036 markings, 23770749 edges, 67799 markings/sec, 290 secs
lola: 20622788 markings, 24183641 edges, 67350 markings/sec, 295 secs
lola: 20957873 markings, 24597228 edges, 67017 markings/sec, 300 secs
lola: 21297084 markings, 25020441 edges, 67842 markings/sec, 305 secs
lola: 21651512 markings, 25419759 edges, 70886 markings/sec, 310 secs
lola: 21994228 markings, 25811095 edges, 68543 markings/sec, 315 secs
lola: 22335518 markings, 26203995 edges, 68258 markings/sec, 320 secs
lola: 22681476 markings, 26606969 edges, 69192 markings/sec, 325 secs
lola: 23025748 markings, 27006409 edges, 68854 markings/sec, 330 secs
lola: 23375182 markings, 27408153 edges, 69887 markings/sec, 335 secs
lola: 23721959 markings, 27812051 edges, 69355 markings/sec, 340 secs
lola: 24065467 markings, 28213416 edges, 68702 markings/sec, 345 secs
lola: 24409718 markings, 28614352 edges, 68850 markings/sec, 350 secs
lola: 24754868 markings, 29020685 edges, 69030 markings/sec, 355 secs
lola: 25098588 markings, 29426542 edges, 68744 markings/sec, 360 secs
lola: 25443988 markings, 29836075 edges, 69080 markings/sec, 365 secs
lola: 25784377 markings, 30244867 edges, 68078 markings/sec, 370 secs
lola: 26129116 markings, 30654459 edges, 68948 markings/sec, 375 secs
lola: 26476600 markings, 31053116 edges, 69497 markings/sec, 380 secs
lola: 26819556 markings, 31451927 edges, 68591 markings/sec, 385 secs
lola: 27165150 markings, 31856753 edges, 69119 markings/sec, 390 secs
lola: 27510332 markings, 32257577 edges, 69036 markings/sec, 395 secs
lola: 27855508 markings, 32664028 edges, 69035 markings/sec, 400 secs
lola: 28198626 markings, 33070285 edges, 68624 markings/sec, 405 secs
lola: 28541434 markings, 33475165 edges, 68562 markings/sec, 410 secs
lola: 28879216 markings, 33879633 edges, 67556 markings/sec, 415 secs
lola: 29216108 markings, 34285658 edges, 67378 markings/sec, 420 secs
lola: 29557724 markings, 34681273 edges, 68323 markings/sec, 425 secs
lola: 29898060 markings, 35082404 edges, 68067 markings/sec, 430 secs
lola: 30237740 markings, 35481308 edges, 67936 markings/sec, 435 secs
lola: 30579961 markings, 35886514 edges, 68444 markings/sec, 440 secs
lola: 30925988 markings, 36300004 edges, 69205 markings/sec, 445 secs
lola: 31269005 markings, 36717294 edges, 68603 markings/sec, 450 secs
lola: 31616250 markings, 37123841 edges, 69449 markings/sec, 455 secs
lola: 31960527 markings, 37531497 edges, 68855 markings/sec, 460 secs
lola: 32303493 markings, 37941366 edges, 68593 markings/sec, 465 secs
lola: 32645896 markings, 38359506 edges, 68481 markings/sec, 470 secs
lola: 32991462 markings, 38768242 edges, 69113 markings/sec, 475 secs
lola: 33329381 markings, 39173241 edges, 67584 markings/sec, 480 secs
lola: 33665348 markings, 39581028 edges, 67193 markings/sec, 485 secs
lola: 34000697 markings, 39985028 edges, 67070 markings/sec, 490 secs
lola: 34341108 markings, 40399371 edges, 68082 markings/sec, 495 secs
lola: 34680428 markings, 40813798 edges, 67864 markings/sec, 500 secs
lola: 35019948 markings, 41231223 edges, 67904 markings/sec, 505 secs
lola: 35354868 markings, 41649720 edges, 66984 markings/sec, 510 secs
lola: 35710839 markings, 42066309 edges, 71194 markings/sec, 515 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 522 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 19174 markings, 112676 edges, 3835 markings/sec, 0 secs
lola: 35236 markings, 214496 edges, 3212 markings/sec, 5 secs
lola: 54311 markings, 351153 edges, 3815 markings/sec, 10 secs
lola: 73330 markings, 482429 edges, 3804 markings/sec, 15 secs
lola: 92182 markings, 614838 edges, 3770 markings/sec, 20 secs
lola: 111011 markings, 751853 edges, 3766 markings/sec, 25 secs
lola: 129806 markings, 895777 edges, 3759 markings/sec, 30 secs
lola: 148429 markings, 1041243 edges, 3725 markings/sec, 35 secs
lola: 166875 markings, 1198956 edges, 3689 markings/sec, 40 secs
lola: 185368 markings, 1346102 edges, 3699 markings/sec, 45 secs
lola: 204085 markings, 1473873 edges, 3743 markings/sec, 50 secs
lola: 222652 markings, 1612124 edges, 3713 markings/sec, 55 secs
lola: 241264 markings, 1751685 edges, 3722 markings/sec, 60 secs
lola: 259706 markings, 1894248 edges, 3688 markings/sec, 65 secs
lola: 278069 markings, 2042620 edges, 3673 markings/sec, 70 secs
lola: 296284 markings, 2209499 edges, 3643 markings/sec, 75 secs
lola: 314783 markings, 2338927 edges, 3700 markings/sec, 80 secs
lola: 333259 markings, 2480512 edges, 3695 markings/sec, 85 secs
lola: 351609 markings, 2630535 edges, 3670 markings/sec, 90 secs
lola: 369816 markings, 2789676 edges, 3641 markings/sec, 95 secs
lola: 388346 markings, 2939059 edges, 3706 markings/sec, 100 secs
lola: 406978 markings, 3090354 edges, 3726 markings/sec, 105 secs
lola: 425726 markings, 3261325 edges, 3750 markings/sec, 110 secs
lola: 444293 markings, 3413242 edges, 3713 markings/sec, 115 secs
lola: 462743 markings, 3583388 edges, 3690 markings/sec, 120 secs
lola: 481200 markings, 3745545 edges, 3691 markings/sec, 125 secs
lola: 499593 markings, 3919635 edges, 3679 markings/sec, 130 secs
lola: 517799 markings, 4100112 edges, 3641 markings/sec, 135 secs
lola: 536115 markings, 4277251 edges, 3663 markings/sec, 140 secs
lola: 554859 markings, 4401613 edges, 3749 markings/sec, 145 secs
lola: 573488 markings, 4542028 edges, 3726 markings/sec, 150 secs
lola: 592203 markings, 4676256 edges, 3743 markings/sec, 155 secs
lola: 610865 markings, 4819450 edges, 3732 markings/sec, 160 secs
lola: 629461 markings, 4971015 edges, 3719 markings/sec, 165 secs
lola: 647907 markings, 5137083 edges, 3689 markings/sec, 170 secs
lola: 666476 markings, 5271457 edges, 3714 markings/sec, 175 secs
lola: 685111 markings, 5414352 edges, 3727 markings/sec, 180 secs
lola: 703509 markings, 5562154 edges, 3680 markings/sec, 185 secs
lola: 721678 markings, 5719467 edges, 3634 markings/sec, 190 secs
lola: 739941 markings, 5869607 edges, 3653 markings/sec, 195 secs
lola: 758136 markings, 6018351 edges, 3639 markings/sec, 200 secs
lola: 776432 markings, 6178026 edges, 3659 markings/sec, 205 secs
lola: 794810 markings, 6334446 edges, 3676 markings/sec, 210 secs
lola: 813179 markings, 6498181 edges, 3674 markings/sec, 215 secs
lola: 831546 markings, 6660598 edges, 3673 markings/sec, 220 secs
lola: 849873 markings, 6832080 edges, 3665 markings/sec, 225 secs
lola: 868144 markings, 7010802 edges, 3654 markings/sec, 230 secs
lola: 886270 markings, 7206079 edges, 3625 markings/sec, 235 secs
lola: 904833 markings, 7335140 edges, 3713 markings/sec, 240 secs
lola: 923184 markings, 7475604 edges, 3670 markings/sec, 245 secs
lola: 941044 markings, 7621564 edges, 3572 markings/sec, 250 secs
lola: 959098 markings, 7777270 edges, 3611 markings/sec, 255 secs
lola: 977519 markings, 7927785 edges, 3684 markings/sec, 260 secs
lola: 995998 markings, 8078086 edges, 3696 markings/sec, 265 secs
lola: 1014391 markings, 8242022 edges, 3679 markings/sec, 270 secs
lola: 1032897 markings, 8396812 edges, 3701 markings/sec, 275 secs
lola: 1051244 markings, 8564478 edges, 3669 markings/sec, 280 secs
lola: 1069731 markings, 8726582 edges, 3697 markings/sec, 285 secs
lola: 1088178 markings, 8899574 edges, 3689 markings/sec, 290 secs
lola: 1106510 markings, 9079416 edges, 3666 markings/sec, 295 secs
lola: 1124491 markings, 9266485 edges, 3596 markings/sec, 300 secs
lola: 1142681 markings, 9407313 edges, 3638 markings/sec, 305 secs
lola: 1160938 markings, 9558884 edges, 3651 markings/sec, 310 secs
lola: 1179237 markings, 9722735 edges, 3660 markings/sec, 315 secs
lola: 1197579 markings, 9876383 edges, 3668 markings/sec, 320 secs
lola: 1215600 markings, 10040101 edges, 3604 markings/sec, 325 secs
lola: 1233573 markings, 10207032 edges, 3595 markings/sec, 330 secs
lola: 1251575 markings, 10374752 edges, 3600 markings/sec, 335 secs
lola: 1269692 markings, 10556200 edges, 3623 markings/sec, 340 secs
lola: 1287816 markings, 10731282 edges, 3625 markings/sec, 345 secs
lola: 1305948 markings, 10886559 edges, 3626 markings/sec, 350 secs
lola: 1324250 markings, 11052032 edges, 3660 markings/sec, 355 secs
lola: 1342492 markings, 11220881 edges, 3648 markings/sec, 360 secs
lola: 1360536 markings, 11392521 edges, 3609 markings/sec, 365 secs
lola: 1378507 markings, 11577727 edges, 3594 markings/sec, 370 secs
lola: 1396608 markings, 11749077 edges, 3620 markings/sec, 375 secs
lola: 1415074 markings, 11920454 edges, 3693 markings/sec, 380 secs
lola: 1433488 markings, 12100141 edges, 3683 markings/sec, 385 secs
lola: 1451612 markings, 12287934 edges, 3625 markings/sec, 390 secs
lola: 1469776 markings, 12466477 edges, 3633 markings/sec, 395 secs
lola: 1487845 markings, 12643976 edges, 3614 markings/sec, 400 secs
lola: 1506145 markings, 12835908 edges, 3660 markings/sec, 405 secs
lola: 1524224 markings, 13019873 edges, 3616 markings/sec, 410 secs
lola: 1541943 markings, 13208862 edges, 3544 markings/sec, 415 secs
lola: 1559663 markings, 13402317 edges, 3544 markings/sec, 420 secs
lola: 1577375 markings, 13604201 edges, 3542 markings/sec, 425 secs
lola: 1594881 markings, 13819481 edges, 3501 markings/sec, 430 secs
lola: 1613363 markings, 13936440 edges, 3696 markings/sec, 435 secs
lola: 1631669 markings, 14072983 edges, 3661 markings/sec, 440 secs
lola: 1650115 markings, 14203773 edges, 3689 markings/sec, 445 secs
lola: 1668503 markings, 14344405 edges, 3678 markings/sec, 450 secs
lola: 1686817 markings, 14490705 edges, 3663 markings/sec, 455 secs
lola: 1705086 markings, 14648129 edges, 3654 markings/sec, 460 secs
lola: 1723669 markings, 14796336 edges, 3717 markings/sec, 465 secs
lola: 1741660 markings, 14933673 edges, 3598 markings/sec, 470 secs
lola: 1759854 markings, 15075140 edges, 3639 markings/sec, 475 secs
lola: 1777970 markings, 15225588 edges, 3623 markings/sec, 480 secs
lola: 1795944 markings, 15384138 edges, 3595 markings/sec, 485 secs
lola: 1814284 markings, 15527165 edges, 3668 markings/sec, 490 secs
lola: 1832323 markings, 15679479 edges, 3608 markings/sec, 495 secs
lola: 1850160 markings, 15837930 edges, 3567 markings/sec, 500 secs
lola: 1868016 markings, 15989169 edges, 3571 markings/sec, 505 secs
lola: 1885777 markings, 16150415 edges, 3552 markings/sec, 510 secs
lola: 1903835 markings, 16317562 edges, 3612 markings/sec, 515 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 522 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 340784 markings, 365914 edges, 68157 markings/sec, 0 secs
lola: 669443 markings, 722536 edges, 65732 markings/sec, 5 secs
lola: 999077 markings, 1084215 edges, 65927 markings/sec, 10 secs
lola: 1349751 markings, 1468603 edges, 70135 markings/sec, 15 secs
lola: 1703432 markings, 1855372 edges, 70736 markings/sec, 20 secs
lola: 2050869 markings, 2237823 edges, 69487 markings/sec, 25 secs
lola: 2397720 markings, 2621583 edges, 69370 markings/sec, 30 secs
lola: 2742871 markings, 3004537 edges, 69030 markings/sec, 35 secs
lola: 3083942 markings, 3386403 edges, 68214 markings/sec, 40 secs
lola: 3426888 markings, 3769836 edges, 68589 markings/sec, 45 secs
lola: 3771960 markings, 4146121 edges, 69014 markings/sec, 50 secs
lola: 4112384 markings, 4522211 edges, 68085 markings/sec, 55 secs
lola: 4444789 markings, 4887617 edges, 66481 markings/sec, 60 secs
lola: 4773143 markings, 5251192 edges, 65671 markings/sec, 65 secs
lola: 5095950 markings, 5611446 edges, 64561 markings/sec, 70 secs
lola: 5423287 markings, 5980060 edges, 65467 markings/sec, 75 secs
lola: 5745960 markings, 6337328 edges, 64535 markings/sec, 80 secs
lola: 6078375 markings, 6705298 edges, 66483 markings/sec, 85 secs
lola: 6405136 markings, 7068071 edges, 65352 markings/sec, 90 secs
lola: 6730776 markings, 7432319 edges, 65128 markings/sec, 95 secs
lola: 7061413 markings, 7805322 edges, 66127 markings/sec, 100 secs
lola: 7392066 markings, 8172281 edges, 66131 markings/sec, 105 secs
lola: 7724510 markings, 8544387 edges, 66489 markings/sec, 110 secs
lola: 8048736 markings, 8910953 edges, 64845 markings/sec, 115 secs
lola: 8386863 markings, 9289472 edges, 67625 markings/sec, 120 secs
lola: 8725103 markings, 9672604 edges, 67648 markings/sec, 125 secs
lola: 9063571 markings, 10057130 edges, 67694 markings/sec, 130 secs
lola: 9399623 markings, 10438999 edges, 67210 markings/sec, 135 secs
lola: 9735120 markings, 10824447 edges, 67099 markings/sec, 140 secs
lola: 10072796 markings, 11205796 edges, 67535 markings/sec, 145 secs
lola: 10421164 markings, 11586208 edges, 69674 markings/sec, 150 secs
lola: 10764512 markings, 11965044 edges, 68670 markings/sec, 155 secs
lola: 11110200 markings, 12346469 edges, 69138 markings/sec, 160 secs
lola: 11451533 markings, 12724646 edges, 68267 markings/sec, 165 secs
lola: 11788024 markings, 13099733 edges, 67298 markings/sec, 170 secs
lola: 12123854 markings, 13481354 edges, 67166 markings/sec, 175 secs
lola: 12457339 markings, 13846011 edges, 66697 markings/sec, 180 secs
lola: 12787988 markings, 14212019 edges, 66130 markings/sec, 185 secs
lola: 13121170 markings, 14582912 edges, 66636 markings/sec, 190 secs
lola: 13454752 markings, 14957824 edges, 66716 markings/sec, 195 secs
lola: 13786332 markings, 15329127 edges, 66316 markings/sec, 200 secs
lola: 14119123 markings, 15699783 edges, 66558 markings/sec, 205 secs
lola: 14449356 markings, 16071337 edges, 66047 markings/sec, 210 secs
lola: 14784079 markings, 16448000 edges, 66945 markings/sec, 215 secs
lola: 15118848 markings, 16824485 edges, 66954 markings/sec, 220 secs
lola: 15453259 markings, 17202421 edges, 66882 markings/sec, 225 secs
lola: 15785069 markings, 17579565 edges, 66362 markings/sec, 230 secs
lola: 16112036 markings, 17952590 edges, 65393 markings/sec, 235 secs
lola: 16439979 markings, 18331183 edges, 65589 markings/sec, 240 secs
lola: 16776014 markings, 18706611 edges, 67207 markings/sec, 245 secs
lola: 17108014 markings, 19074067 edges, 66400 markings/sec, 250 secs
lola: 17442708 markings, 19445568 edges, 66939 markings/sec, 255 secs
lola: 17779072 markings, 19822182 edges, 67273 markings/sec, 260 secs
lola: 18111376 markings, 20196763 edges, 66461 markings/sec, 265 secs
lola: 18438819 markings, 20560059 edges, 65489 markings/sec, 270 secs
lola: 18767752 markings, 20928595 edges, 65787 markings/sec, 275 secs
lola: 19097848 markings, 21301326 edges, 66019 markings/sec, 280 secs
lola: 19428160 markings, 21671610 edges, 66062 markings/sec, 285 secs
lola: 19760408 markings, 22047928 edges, 66450 markings/sec, 290 secs
lola: 20092376 markings, 22425082 edges, 66394 markings/sec, 295 secs
lola: 20425757 markings, 22804203 edges, 66676 markings/sec, 300 secs
lola: 20756032 markings, 23183484 edges, 66055 markings/sec, 305 secs
lola: 21091036 markings, 23565127 edges, 67001 markings/sec, 310 secs
lola: 21425545 markings, 23937187 edges, 66902 markings/sec, 315 secs
lola: 21764715 markings, 24318123 edges, 67834 markings/sec, 320 secs
lola: 22096956 markings, 24692364 edges, 66448 markings/sec, 325 secs
lola: 22431799 markings, 25068574 edges, 66969 markings/sec, 330 secs
lola: 22755242 markings, 25434887 edges, 64689 markings/sec, 335 secs
lola: 23085799 markings, 25809947 edges, 66111 markings/sec, 340 secs
lola: 23419336 markings, 26190044 edges, 66707 markings/sec, 345 secs
lola: 23751750 markings, 26573148 edges, 66483 markings/sec, 350 secs
lola: 24078250 markings, 26944596 edges, 65300 markings/sec, 355 secs
lola: 24410569 markings, 27318527 edges, 66464 markings/sec, 360 secs
lola: 24741740 markings, 27692750 edges, 66234 markings/sec, 365 secs
lola: 25074528 markings, 28071107 edges, 66558 markings/sec, 370 secs
lola: 25403314 markings, 28445872 edges, 65757 markings/sec, 375 secs
lola: 25729129 markings, 28822277 edges, 65163 markings/sec, 380 secs
lola: 26058118 markings, 29197084 edges, 65798 markings/sec, 385 secs
lola: 26388711 markings, 29572760 edges, 66119 markings/sec, 390 secs
lola: 26718328 markings, 29948657 edges, 65923 markings/sec, 395 secs
lola: 27045560 markings, 30326472 edges, 65446 markings/sec, 400 secs
lola: 27375343 markings, 30704759 edges, 65957 markings/sec, 405 secs
lola: 27708768 markings, 31086668 edges, 66685 markings/sec, 410 secs
lola: 28038945 markings, 31470788 edges, 66035 markings/sec, 415 secs
lola: 28367106 markings, 31846941 edges, 65632 markings/sec, 420 secs
lola: 28695096 markings, 32227655 edges, 65598 markings/sec, 425 secs
lola: 29021912 markings, 32608343 edges, 65363 markings/sec, 430 secs
lola: 29347968 markings, 32988644 edges, 65211 markings/sec, 435 secs
lola: 29672137 markings, 33371816 edges, 64834 markings/sec, 440 secs
lola: 30007456 markings, 33747962 edges, 67064 markings/sec, 445 secs
lola: 30346445 markings, 34118365 edges, 67798 markings/sec, 450 secs
lola: 30681007 markings, 34487171 edges, 66912 markings/sec, 455 secs
lola: 31014329 markings, 34856019 edges, 66664 markings/sec, 460 secs
lola: 31351344 markings, 35229311 edges, 67403 markings/sec, 465 secs
lola: 31686066 markings, 35603502 edges, 66944 markings/sec, 470 secs
lola: 32023512 markings, 35984116 edges, 67489 markings/sec, 475 secs
lola: 32362144 markings, 36356072 edges, 67726 markings/sec, 480 secs
lola: 32700295 markings, 36730376 edges, 67630 markings/sec, 485 secs
lola: 33033705 markings, 37102362 edges, 66682 markings/sec, 490 secs
lola: 33370101 markings, 37481762 edges, 67279 markings/sec, 495 secs
lola: 33703027 markings, 37852467 edges, 66585 markings/sec, 500 secs
lola: 34028608 markings, 38215775 edges, 65116 markings/sec, 505 secs
lola: 34356195 markings, 38585548 edges, 65517 markings/sec, 510 secs
lola: 34680829 markings, 38949488 edges, 64927 markings/sec, 515 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown 1 1 unknown 1 1 1 unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-18lozangeBlock-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494677580102
--------------------
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-18lozangeBlock"
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-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock 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-18lozangeBlock, 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-149440264000155"
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 ;