Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_DNAwalker-PT-18lozangeBlock, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612100155
=====================================================================

--------------------
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 1496351179884


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-18lozangeBlock: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-18lozangeBlock @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 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: 115821 markings, 166924 edges, 23164 markings/sec, 0 secs
lola: 232498 markings, 346172 edges, 23335 markings/sec, 5 secs
lola: 346867 markings, 523416 edges, 22874 markings/sec, 10 secs
lola: 463102 markings, 707739 edges, 23247 markings/sec, 15 secs
lola: 579884 markings, 904370 edges, 23356 markings/sec, 20 secs
lola: 695985 markings, 1083023 edges, 23220 markings/sec, 25 secs
lola: 812575 markings, 1267881 edges, 23318 markings/sec, 30 secs
lola: 929565 markings, 1457739 edges, 23398 markings/sec, 35 secs
lola: 1046393 markings, 1649569 edges, 23366 markings/sec, 40 secs
lola: 1161982 markings, 1836252 edges, 23118 markings/sec, 45 secs
lola: 1275530 markings, 2027612 edges, 22710 markings/sec, 50 secs
lola: 1391983 markings, 2220914 edges, 23291 markings/sec, 55 secs
lola: 1507414 markings, 2417142 edges, 23086 markings/sec, 60 secs
lola: 1622885 markings, 2619239 edges, 23094 markings/sec, 65 secs
lola: 1737904 markings, 2826506 edges, 23004 markings/sec, 70 secs
lola: 1854865 markings, 3016428 edges, 23392 markings/sec, 75 secs
lola: 1971506 markings, 3199471 edges, 23328 markings/sec, 80 secs
lola: 2087068 markings, 3387330 edges, 23112 markings/sec, 85 secs
lola: 2202568 markings, 3578841 edges, 23100 markings/sec, 90 secs
lola: 2318993 markings, 3765553 edges, 23285 markings/sec, 95 secs
lola: 2434919 markings, 3962417 edges, 23185 markings/sec, 100 secs
lola: 2551361 markings, 4152677 edges, 23288 markings/sec, 105 secs
lola: 2667375 markings, 4349769 edges, 23203 markings/sec, 110 secs
lola: 2778425 markings, 4541581 edges, 22210 markings/sec, 115 secs
lola: 2883345 markings, 4729792 edges, 20984 markings/sec, 120 secs
lola: 2999193 markings, 4931692 edges, 23170 markings/sec, 125 secs
lola: 3115685 markings, 5118921 edges, 23298 markings/sec, 130 secs
lola: 3231695 markings, 5315342 edges, 23202 markings/sec, 135 secs
lola: 3348171 markings, 5506792 edges, 23295 markings/sec, 140 secs
lola: 3464225 markings, 5703979 edges, 23211 markings/sec, 145 secs
lola: 3579775 markings, 5905548 edges, 23110 markings/sec, 150 secs
lola: 3691085 markings, 6105069 edges, 22262 markings/sec, 155 secs
lola: 3795879 markings, 6288816 edges, 20959 markings/sec, 160 secs
lola: 3911861 markings, 6485219 edges, 23196 markings/sec, 165 secs
lola: 4027771 markings, 6682113 edges, 23182 markings/sec, 170 secs
lola: 4138534 markings, 6874832 edges, 22153 markings/sec, 175 secs
lola: 4242805 markings, 7065476 edges, 20854 markings/sec, 180 secs
lola: 4358725 markings, 7266483 edges, 23184 markings/sec, 185 secs
lola: 4474437 markings, 7468318 edges, 23142 markings/sec, 190 secs
lola: 4588355 markings, 7675209 edges, 22784 markings/sec, 195 secs
lola: 4703551 markings, 7881008 edges, 23039 markings/sec, 200 secs
lola: 4818765 markings, 8089944 edges, 23043 markings/sec, 205 secs
lola: 4933971 markings, 8300591 edges, 23041 markings/sec, 210 secs
lola: 5048525 markings, 8513534 edges, 22911 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: 348453 markings, 401759 edges, 69691 markings/sec, 0 secs
lola: 695206 markings, 813063 edges, 69351 markings/sec, 5 secs
lola: 1037836 markings, 1220906 edges, 68526 markings/sec, 10 secs
lola: 1379955 markings, 1633626 edges, 68424 markings/sec, 15 secs
lola: 1720035 markings, 2055244 edges, 68016 markings/sec, 20 secs
lola: 2066559 markings, 2463885 edges, 69305 markings/sec, 25 secs
lola: 2408533 markings, 2873735 edges, 68395 markings/sec, 30 secs
lola: 2749218 markings, 3290535 edges, 68137 markings/sec, 35 secs
lola: 3091870 markings, 3707538 edges, 68530 markings/sec, 40 secs
lola: 3433739 markings, 4122789 edges, 68374 markings/sec, 45 secs
lola: 3774542 markings, 4543323 edges, 68161 markings/sec, 50 secs
lola: 4114447 markings, 4964679 edges, 67981 markings/sec, 55 secs
lola: 4455347 markings, 5388158 edges, 68180 markings/sec, 60 secs
lola: 4788324 markings, 5805488 edges, 66595 markings/sec, 65 secs
lola: 5118054 markings, 6231704 edges, 65946 markings/sec, 70 secs
lola: 5461791 markings, 6639894 edges, 68747 markings/sec, 75 secs
lola: 5804198 markings, 7050921 edges, 68481 markings/sec, 80 secs
lola: 6145776 markings, 7467644 edges, 68316 markings/sec, 85 secs
lola: 6486564 markings, 7882684 edges, 68158 markings/sec, 90 secs
lola: 6825755 markings, 8294963 edges, 67838 markings/sec, 95 secs
lola: 7162786 markings, 8710493 edges, 67406 markings/sec, 100 secs
lola: 7501129 markings, 9127839 edges, 67669 markings/sec, 105 secs
lola: 7840456 markings, 9549167 edges, 67865 markings/sec, 110 secs
lola: 8176278 markings, 9971161 edges, 67164 markings/sec, 115 secs
lola: 8509430 markings, 10399492 edges, 66630 markings/sec, 120 secs
lola: 8849774 markings, 10814011 edges, 68069 markings/sec, 125 secs
lola: 9188822 markings, 11227668 edges, 67810 markings/sec, 130 secs
lola: 9527678 markings, 11644562 edges, 67771 markings/sec, 135 secs
lola: 9862644 markings, 12060441 edges, 66993 markings/sec, 140 secs
lola: 10201170 markings, 12481302 edges, 67705 markings/sec, 145 secs
lola: 10535868 markings, 12902711 edges, 66940 markings/sec, 150 secs
lola: 10868580 markings, 13332457 edges, 66542 markings/sec, 155 secs
lola: 11208199 markings, 13746364 edges, 67924 markings/sec, 160 secs
lola: 11545991 markings, 14165692 edges, 67558 markings/sec, 165 secs
lola: 11880766 markings, 14585034 edges, 66955 markings/sec, 170 secs
lola: 12209950 markings, 15004047 edges, 65837 markings/sec, 175 secs
lola: 12539966 markings, 15422573 edges, 66003 markings/sec, 180 secs
lola: 12873611 markings, 15840289 edges, 66729 markings/sec, 185 secs
lola: 13206589 markings, 16264101 edges, 66596 markings/sec, 190 secs
lola: 13538887 markings, 16689187 edges, 66460 markings/sec, 195 secs
lola: 13871239 markings, 17111962 edges, 66470 markings/sec, 200 secs
lola: 14200796 markings, 17537237 edges, 65911 markings/sec, 205 secs
lola: 14529366 markings, 17963545 edges, 65714 markings/sec, 210 secs
lola: 14853064 markings, 18383651 edges, 64740 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: 348946 markings, 402305 edges, 69789 markings/sec, 0 secs
lola: 694104 markings, 811684 edges, 69032 markings/sec, 5 secs
lola: 1038255 markings, 1221374 edges, 68830 markings/sec, 10 secs
lola: 1380684 markings, 1634455 edges, 68486 markings/sec, 15 secs
lola: 1717224 markings, 2052139 edges, 67308 markings/sec, 20 secs
lola: 2062863 markings, 2459421 edges, 69128 markings/sec, 25 secs
lola: 2403973 markings, 2868501 edges, 68222 markings/sec, 30 secs
lola: 2741678 markings, 3281044 edges, 67541 markings/sec, 35 secs
lola: 3079586 markings, 3692370 edges, 67582 markings/sec, 40 secs
lola: 3418225 markings, 4103827 edges, 67728 markings/sec, 45 secs
lola: 3753314 markings, 4517126 edges, 67018 markings/sec, 50 secs
lola: 4087481 markings, 4929881 edges, 66833 markings/sec, 55 secs
lola: 4408905 markings, 5328318 edges, 64285 markings/sec, 60 secs
lola: 4743055 markings, 5748623 edges, 66830 markings/sec, 65 secs
lola: 5073974 markings, 6173443 edges, 66184 markings/sec, 70 secs
lola: 5416005 markings, 6584861 edges, 68406 markings/sec, 75 secs
lola: 5728765 markings, 6959366 edges, 62552 markings/sec, 80 secs
lola: 6067024 markings, 7370429 edges, 67652 markings/sec, 85 secs
lola: 6402812 markings, 7781906 edges, 67158 markings/sec, 90 secs
lola: 6740952 markings, 8191081 edges, 67628 markings/sec, 95 secs
lola: 7048218 markings, 8573538 edges, 61453 markings/sec, 100 secs
lola: 7386637 markings, 8984490 edges, 67684 markings/sec, 105 secs
lola: 7722169 markings, 9401076 edges, 67106 markings/sec, 110 secs
lola: 8053666 markings, 9816073 edges, 66299 markings/sec, 115 secs
lola: 8338388 markings, 10177416 edges, 56944 markings/sec, 120 secs
lola: 8668234 markings, 10595316 edges, 65969 markings/sec, 125 secs
lola: 9005416 markings, 11002574 edges, 67436 markings/sec, 130 secs
lola: 9335756 markings, 11412874 edges, 66068 markings/sec, 135 secs
lola: 9672417 markings, 11822036 edges, 67332 markings/sec, 140 secs
lola: 10005167 markings, 12235166 edges, 66550 markings/sec, 145 secs
lola: 10339301 markings, 12653357 edges, 66827 markings/sec, 150 secs
lola: 10667494 markings, 13071300 edges, 65639 markings/sec, 155 secs
lola: 10999921 markings, 13490964 edges, 66485 markings/sec, 160 secs
lola: 11331884 markings, 13901584 edges, 66393 markings/sec, 165 secs
lola: 11671393 markings, 14323056 edges, 67902 markings/sec, 170 secs
lola: 12005438 markings, 14742607 edges, 66809 markings/sec, 175 secs
lola: 12334808 markings, 15167209 edges, 65874 markings/sec, 180 secs
lola: 12669422 markings, 15584791 edges, 66923 markings/sec, 185 secs
lola: 13001327 markings, 16001813 edges, 66381 markings/sec, 190 secs
lola: 13329056 markings, 16423276 edges, 65546 markings/sec, 195 secs
lola: 13615634 markings, 16787526 edges, 57316 markings/sec, 200 secs
lola: 13947664 markings, 17210498 edges, 66406 markings/sec, 205 secs
lola: 14274713 markings, 17631139 edges, 65410 markings/sec, 210 secs
lola: 14603444 markings, 18058039 edges, 65746 markings/sec, 215 secs
lola: 14931392 markings, 18485622 edges, 65590 markings/sec, 220 secs
lola: 15256831 markings, 18917815 edges, 65088 markings/sec, 225 secs
lola: 15592274 markings, 19340835 edges, 67089 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: 66837 markings, 76303 edges, 13367 markings/sec, 0 secs
lola: 133650 markings, 154934 edges, 13363 markings/sec, 5 secs
lola: 200396 markings, 234403 edges, 13349 markings/sec, 10 secs
lola: 267155 markings, 314023 edges, 13352 markings/sec, 15 secs
lola: 333836 markings, 393834 edges, 13336 markings/sec, 20 secs
lola: 400443 markings, 475052 edges, 13321 markings/sec, 25 secs
lola: 466997 markings, 557666 edges, 13311 markings/sec, 30 secs
lola: 533337 markings, 638067 edges, 13268 markings/sec, 35 secs
lola: 598478 markings, 716121 edges, 13028 markings/sec, 40 secs
lola: 665167 markings, 795918 edges, 13338 markings/sec, 45 secs
lola: 731731 markings, 876973 edges, 13313 markings/sec, 50 secs
lola: 798206 markings, 959612 edges, 13295 markings/sec, 55 secs
lola: 864789 markings, 1041004 edges, 13317 markings/sec, 60 secs
lola: 931374 markings, 1121767 edges, 13317 markings/sec, 65 secs
lola: 997943 markings, 1204148 edges, 13314 markings/sec, 70 secs
lola: 1064411 markings, 1286982 edges, 13294 markings/sec, 75 secs
lola: 1130573 markings, 1368340 edges, 13232 markings/sec, 80 secs
lola: 1193819 markings, 1448333 edges, 12649 markings/sec, 85 secs
lola: 1260278 markings, 1531002 edges, 13292 markings/sec, 90 secs
lola: 1326610 markings, 1615051 edges, 13266 markings/sec, 95 secs
lola: 1392733 markings, 1700160 edges, 13225 markings/sec, 100 secs
lola: 1458837 markings, 1786325 edges, 13221 markings/sec, 105 secs
lola: 1525336 markings, 1867516 edges, 13300 markings/sec, 110 secs
lola: 1591807 markings, 1947525 edges, 13294 markings/sec, 115 secs
lola: 1657952 markings, 2027088 edges, 13229 markings/sec, 120 secs
lola: 1721256 markings, 2103877 edges, 12661 markings/sec, 125 secs
lola: 1787587 markings, 2186670 edges, 13266 markings/sec, 130 secs
lola: 1853857 markings, 2267203 edges, 13254 markings/sec, 135 secs
lola: 1920290 markings, 2348082 edges, 13287 markings/sec, 140 secs
lola: 1986712 markings, 2430150 edges, 13284 markings/sec, 145 secs
lola: 2053001 markings, 2512776 edges, 13258 markings/sec, 150 secs
lola: 2119250 markings, 2594319 edges, 13250 markings/sec, 155 secs
lola: 2185399 markings, 2677686 edges, 13230 markings/sec, 160 secs
lola: 2251569 markings, 2760469 edges, 13234 markings/sec, 165 secs
lola: 2317729 markings, 2844330 edges, 13232 markings/sec, 170 secs
lola: 2383837 markings, 2929384 edges, 13222 markings/sec, 175 secs
lola: 2449375 markings, 3015358 edges, 13108 markings/sec, 180 secs
lola: 2515675 markings, 3096483 edges, 13260 markings/sec, 185 secs
lola: 2581996 markings, 3177513 edges, 13264 markings/sec, 190 secs
lola: 2648295 markings, 3259329 edges, 13260 markings/sec, 195 secs
lola: 2714656 markings, 3341861 edges, 13272 markings/sec, 200 secs
lola: 2780914 markings, 3423667 edges, 13252 markings/sec, 205 secs
lola: 2847156 markings, 3506947 edges, 13248 markings/sec, 210 secs
lola: 2913370 markings, 3590095 edges, 13243 markings/sec, 215 secs
lola: 2979444 markings, 3673804 edges, 13215 markings/sec, 220 secs
lola: 3045427 markings, 3758658 edges, 13197 markings/sec, 225 secs
lola: 3111393 markings, 3845807 edges, 13193 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: 359723 markings, 410944 edges, 71945 markings/sec, 0 secs
lola: 715672 markings, 828397 edges, 71190 markings/sec, 5 secs
lola: 1070474 markings, 1246334 edges, 70960 markings/sec, 10 secs
lola: 1424060 markings, 1666217 edges, 70717 markings/sec, 15 secs
lola: 1775445 markings, 2094174 edges, 70277 markings/sec, 20 secs
lola: 2131071 markings, 2513067 edges, 71125 markings/sec, 25 secs
lola: 2484477 markings, 2932286 edges, 70681 markings/sec, 30 secs
lola: 2836235 markings, 3354698 edges, 70352 markings/sec, 35 secs
lola: 3186534 markings, 3778861 edges, 70060 markings/sec, 40 secs
lola: 3496880 markings, 4150073 edges, 62069 markings/sec, 45 secs
lola: 3845624 markings, 4576144 edges, 69749 markings/sec, 50 secs
lola: 4195925 markings, 4998090 edges, 70060 markings/sec, 55 secs
lola: 4544396 markings, 5425417 edges, 69694 markings/sec, 60 secs
lola: 4892154 markings, 5853597 edges, 69552 markings/sec, 65 secs
lola: 5238579 markings, 6286672 edges, 69285 markings/sec, 70 secs
lola: 5586497 markings, 6721081 edges, 69584 markings/sec, 75 secs
lola: 5942913 markings, 7140774 edges, 71283 markings/sec, 80 secs
lola: 6296733 markings, 7560698 edges, 70764 markings/sec, 85 secs
lola: 6648335 markings, 7988627 edges, 70320 markings/sec, 90 secs
lola: 7000675 markings, 8410654 edges, 70468 markings/sec, 95 secs
lola: 7352517 markings, 8833400 edges, 70368 markings/sec, 100 secs
lola: 7702862 markings, 9260668 edges, 70069 markings/sec, 105 secs
lola: 8052634 markings, 9688239 edges, 69954 markings/sec, 110 secs
lola: 8401850 markings, 10115757 edges, 69843 markings/sec, 115 secs
lola: 8750257 markings, 10547346 edges, 69681 markings/sec, 120 secs
lola: 9095816 markings, 10985667 edges, 69112 markings/sec, 125 secs
lola: 9448591 markings, 11410852 edges, 70555 markings/sec, 130 secs
lola: 9801407 markings, 11835420 edges, 70563 markings/sec, 135 secs
lola: 10151854 markings, 12262760 edges, 70089 markings/sec, 140 secs
lola: 10500981 markings, 12689912 edges, 69825 markings/sec, 145 secs
lola: 10850168 markings, 13117090 edges, 69837 markings/sec, 150 secs
lola: 11197656 markings, 13547648 edges, 69498 markings/sec, 155 secs
lola: 11542224 markings, 13984692 edges, 68914 markings/sec, 160 secs
lola: 11890236 markings, 14408439 edges, 69602 markings/sec, 165 secs
lola: 12237731 markings, 14834278 edges, 69499 markings/sec, 170 secs
lola: 12584556 markings, 15261502 edges, 69365 markings/sec, 175 secs
lola: 12929927 markings, 15691916 edges, 69074 markings/sec, 180 secs
lola: 13273398 markings, 16127960 edges, 68694 markings/sec, 185 secs
lola: 13619682 markings, 16553566 edges, 69257 markings/sec, 190 secs
lola: 13964673 markings, 16981791 edges, 68998 markings/sec, 195 secs
lola: 14307443 markings, 17421134 edges, 68554 markings/sec, 200 secs
lola: 14653228 markings, 17848051 edges, 69157 markings/sec, 205 secs
lola: 14995829 markings, 18283900 edges, 68520 markings/sec, 210 secs
lola: 15338906 markings, 18716750 edges, 68615 markings/sec, 215 secs
lola: 15680154 markings, 19153196 edges, 68250 markings/sec, 220 secs
lola: 15982415 markings, 19543132 edges, 60452 markings/sec, 225 secs
lola: 16321640 markings, 19986560 edges, 67845 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 297 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: 118645 markings, 171092 edges, 23729 markings/sec, 0 secs
lola: 236835 markings, 352806 edges, 23638 markings/sec, 5 secs
lola: 354694 markings, 535546 edges, 23572 markings/sec, 10 secs
lola: 472457 markings, 723616 edges, 23553 markings/sec, 15 secs
lola: 589635 markings, 922663 edges, 23436 markings/sec, 20 secs
lola: 707935 markings, 1102143 edges, 23660 markings/sec, 25 secs
lola: 825870 markings, 1288138 edges, 23587 markings/sec, 30 secs
lola: 942885 markings, 1480393 edges, 23403 markings/sec, 35 secs
lola: 1059845 markings, 1671114 edges, 23392 markings/sec, 40 secs
lola: 1176365 markings, 1860292 edges, 23304 markings/sec, 45 secs
lola: 1292873 markings, 2055585 edges, 23302 markings/sec, 50 secs
lola: 1409295 markings, 2251497 edges, 23284 markings/sec, 55 secs
lola: 1525564 markings, 2449068 edges, 23254 markings/sec, 60 secs
lola: 1641795 markings, 2651616 edges, 23246 markings/sec, 65 secs
lola: 1757255 markings, 2863308 edges, 23092 markings/sec, 70 secs
lola: 1874955 markings, 3047906 edges, 23540 markings/sec, 75 secs
lola: 1992750 markings, 3235051 edges, 23559 markings/sec, 80 secs
lola: 2110141 markings, 3425329 edges, 23478 markings/sec, 85 secs
lola: 2227454 markings, 3617987 edges, 23463 markings/sec, 90 secs
lola: 2344761 markings, 3807588 edges, 23461 markings/sec, 95 secs
lola: 2461725 markings, 4004360 edges, 23393 markings/sec, 100 secs
lola: 2578715 markings, 4199262 edges, 23398 markings/sec, 105 secs
lola: 2695503 markings, 4397794 edges, 23358 markings/sec, 110 secs
lola: 2811953 markings, 4601220 edges, 23290 markings/sec, 115 secs
lola: 2927965 markings, 4812093 edges, 23202 markings/sec, 120 secs
lola: 3045234 markings, 5006094 edges, 23454 markings/sec, 125 secs
lola: 3162405 markings, 5196977 edges, 23434 markings/sec, 130 secs
lola: 3279714 markings, 5393144 edges, 23462 markings/sec, 135 secs
lola: 3396635 markings, 5591844 edges, 23384 markings/sec, 140 secs
lola: 3513385 markings, 5790686 edges, 23350 markings/sec, 145 secs
lola: 3616055 markings, 5969151 edges, 20534 markings/sec, 150 secs
lola: 3731915 markings, 6182648 edges, 23172 markings/sec, 155 secs
lola: 3848740 markings, 6375385 edges, 23365 markings/sec, 160 secs
lola: 3965155 markings, 6573313 edges, 23283 markings/sec, 165 secs
lola: 4081484 markings, 6773922 edges, 23266 markings/sec, 170 secs
lola: 4197329 markings, 6981232 edges, 23169 markings/sec, 175 secs
lola: 4313231 markings, 7188613 edges, 23180 markings/sec, 180 secs
lola: 4429585 markings, 7388872 edges, 23271 markings/sec, 185 secs
lola: 4545535 markings, 7596379 edges, 23190 markings/sec, 190 secs
lola: 4661375 markings, 7806247 edges, 23168 markings/sec, 195 secs
lola: 4777235 markings, 8012944 edges, 23172 markings/sec, 200 secs
lola: 4892795 markings, 8225512 edges, 23112 markings/sec, 205 secs
lola: 5008235 markings, 8440859 edges, 23088 markings/sec, 210 secs
lola: 5123735 markings, 8655789 edges, 23100 markings/sec, 215 secs
lola: 5238781 markings, 8877477 edges, 23009 markings/sec, 220 secs
lola: 5354478 markings, 9092170 edges, 23139 markings/sec, 225 secs
lola: 5471825 markings, 9274091 edges, 23469 markings/sec, 230 secs
lola: 5588905 markings, 9460823 edges, 23416 markings/sec, 235 secs
lola: 5705295 markings, 9658022 edges, 23278 markings/sec, 240 secs
lola: 5822738 markings, 9842699 edges, 23489 markings/sec, 245 secs
lola: 5939105 markings, 10035568 edges, 23273 markings/sec, 250 secs
lola: 6055555 markings, 10228299 edges, 23290 markings/sec, 255 secs
lola: 6171545 markings, 10425482 edges, 23198 markings/sec, 260 secs
lola: 6287410 markings, 10624347 edges, 23173 markings/sec, 265 secs
lola: 6390955 markings, 10807047 edges, 20709 markings/sec, 270 secs
lola: 6506195 markings, 11018002 edges, 23048 markings/sec, 275 secs
lola: 6623310 markings, 11202285 edges, 23423 markings/sec, 280 secs
lola: 6741525 markings, 11400421 edges, 23643 markings/sec, 285 secs
lola: 6858235 markings, 11592882 edges, 23342 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: 350265 markings, 403788 edges, 70053 markings/sec, 0 secs
lola: 697491 markings, 815922 edges, 69445 markings/sec, 5 secs
lola: 1044308 markings, 1228282 edges, 69363 markings/sec, 10 secs
lola: 1389379 markings, 1644734 edges, 69014 markings/sec, 15 secs
lola: 1730370 markings, 2066870 edges, 68198 markings/sec, 20 secs
lola: 2076592 markings, 2476335 edges, 69244 markings/sec, 25 secs
lola: 2421840 markings, 2889394 edges, 69050 markings/sec, 30 secs
lola: 2763109 markings, 3308001 edges, 68254 markings/sec, 35 secs
lola: 3105425 markings, 3724643 edges, 68463 markings/sec, 40 secs
lola: 3449278 markings, 4141950 edges, 68771 markings/sec, 45 secs
lola: 3754212 markings, 4518202 edges, 60987 markings/sec, 50 secs
lola: 4093890 markings, 4938380 edges, 67936 markings/sec, 55 secs
lola: 4435072 markings, 5361750 edges, 68236 markings/sec, 60 secs
lola: 4773944 markings, 5787447 edges, 67774 markings/sec, 65 secs
lola: 5108745 markings, 6219486 edges, 66960 markings/sec, 70 secs
lola: 5454599 markings, 6631197 edges, 69171 markings/sec, 75 secs
lola: 5799090 markings, 7044794 edges, 68898 markings/sec, 80 secs
lola: 6141691 markings, 7462481 edges, 68520 markings/sec, 85 secs
lola: 6484041 markings, 7879731 edges, 68470 markings/sec, 90 secs
lola: 6826883 markings, 8296248 edges, 68568 markings/sec, 95 secs
lola: 7168296 markings, 8717141 edges, 68283 markings/sec, 100 secs
lola: 7508466 markings, 9137132 edges, 68034 markings/sec, 105 secs
lola: 7849593 markings, 9560758 edges, 68225 markings/sec, 110 secs
lola: 8187287 markings, 9984891 edges, 67539 markings/sec, 115 secs
lola: 8522016 markings, 10415844 edges, 66946 markings/sec, 120 secs
lola: 8864302 markings, 10831338 edges, 68457 markings/sec, 125 secs
lola: 9205082 markings, 11247698 edges, 68156 markings/sec, 130 secs
lola: 9545397 markings, 11665912 edges, 68063 markings/sec, 135 secs
lola: 9883948 markings, 12086156 edges, 67710 markings/sec, 140 secs
lola: 10225940 markings, 12511726 edges, 68398 markings/sec, 145 secs
lola: 10562601 markings, 12936981 edges, 67332 markings/sec, 150 secs
lola: 10900364 markings, 13370399 edges, 67553 markings/sec, 155 secs
lola: 11242100 markings, 13788080 edges, 68347 markings/sec, 160 secs
lola: 11578659 markings, 14205894 edges, 67312 markings/sec, 165 secs
lola: 11914668 markings, 14629172 edges, 67202 markings/sec, 170 secs
lola: 12252048 markings, 15058864 edges, 67476 markings/sec, 175 secs
lola: 12591209 markings, 15486257 edges, 67832 markings/sec, 180 secs
lola: 12926565 markings, 15908277 edges, 67071 markings/sec, 185 secs
lola: 13261138 markings, 16334634 edges, 66915 markings/sec, 190 secs
lola: 13597708 markings, 16764253 edges, 67314 markings/sec, 195 secs
lola: 13935562 markings, 17195054 edges, 67571 markings/sec, 200 secs
lola: 14269622 markings, 17624718 edges, 66812 markings/sec, 205 secs
lola: 14597800 markings, 18050523 edges, 65636 markings/sec, 210 secs
lola: 14926927 markings, 18479960 edges, 65825 markings/sec, 215 secs
lola: 15253816 markings, 18913700 edges, 65378 markings/sec, 220 secs
lola: 15584328 markings, 19331518 edges, 66102 markings/sec, 225 secs
lola: 15929331 markings, 19743007 edges, 69001 markings/sec, 230 secs
lola: 16271946 markings, 20157407 edges, 68523 markings/sec, 235 secs
lola: 16611479 markings, 20576588 edges, 67907 markings/sec, 240 secs
lola: 16957792 markings, 20993294 edges, 69263 markings/sec, 245 secs
lola: 17297445 markings, 21413705 edges, 67931 markings/sec, 250 secs
lola: 17644198 markings, 21836135 edges, 69351 markings/sec, 255 secs
lola: 17984658 markings, 22258760 edges, 68092 markings/sec, 260 secs
lola: 18323346 markings, 22682682 edges, 67738 markings/sec, 265 secs
lola: 18659720 markings, 23110872 edges, 67275 markings/sec, 270 secs
lola: 18998295 markings, 23534044 edges, 67715 markings/sec, 275 secs
lola: 19340872 markings, 23949198 edges, 68515 markings/sec, 280 secs
lola: 19680050 markings, 24368451 edges, 67836 markings/sec, 285 secs
lola: 20018979 markings, 24784524 edges, 67786 markings/sec, 290 secs
lola: 20358748 markings, 25206285 edges, 67954 markings/sec, 295 secs
lola: 20695286 markings, 25629704 edges, 67308 markings/sec, 300 secs
lola: 21029310 markings, 26057092 edges, 66805 markings/sec, 305 secs
lola: 21368291 markings, 26477654 edges, 67796 markings/sec, 310 secs
lola: 21706808 markings, 26897903 edges, 67703 markings/sec, 315 secs
lola: 22045528 markings, 27320323 edges, 67744 markings/sec, 320 secs
lola: 22380855 markings, 27743997 edges, 67065 markings/sec, 325 secs
lola: 22714500 markings, 28172218 edges, 66729 markings/sec, 330 secs
lola: 23053755 markings, 28595165 edges, 67851 markings/sec, 335 secs
lola: 23389214 markings, 29019033 edges, 67092 markings/sec, 340 secs
lola: 23721728 markings, 29447395 edges, 66503 markings/sec, 345 secs
lola: 24058824 markings, 29873210 edges, 67419 markings/sec, 350 secs
lola: 24393171 markings, 30305465 edges, 66869 markings/sec, 355 secs
lola: 24724777 markings, 30731735 edges, 66321 markings/sec, 360 secs
lola: 25055379 markings, 31161523 edges, 66120 markings/sec, 365 secs
lola: 25342161 markings, 31538359 edges, 57356 markings/sec, 370 secs
lola: 25666468 markings, 31974791 edges, 64861 markings/sec, 375 secs
lola: 26006455 markings, 32386074 edges, 67997 markings/sec, 380 secs
lola: 26346401 markings, 32802560 edges, 67989 markings/sec, 385 secs
lola: 26684542 markings, 33217303 edges, 67628 markings/sec, 390 secs
lola: 27022189 markings, 33636490 edges, 67529 markings/sec, 395 secs
lola: 27360676 markings, 34058043 edges, 67697 markings/sec, 400 secs
lola: 27696294 markings, 34482060 edges, 67124 markings/sec, 405 secs
lola: 28007529 markings, 34883014 edges, 62247 markings/sec, 410 secs
lola: 28328953 markings, 35275436 edges, 64285 markings/sec, 415 secs
lola: 28667608 markings, 35695831 edges, 67731 markings/sec, 420 secs
lola: 29004393 markings, 36117508 edges, 67357 markings/sec, 425 secs
lola: 29315712 markings, 36513880 edges, 62264 markings/sec, 430 secs
lola: 29631532 markings, 36915792 edges, 63164 markings/sec, 435 secs
lola: 29969691 markings, 37337989 edges, 67632 markings/sec, 440 secs
lola: 30303858 markings, 37762888 edges, 66833 markings/sec, 445 secs
lola: 30639301 markings, 38192558 edges, 67089 markings/sec, 450 secs
lola: 30976281 markings, 38620517 edges, 67396 markings/sec, 455 secs
lola: 31309088 markings, 39049745 edges, 66561 markings/sec, 460 secs
lola: 31640927 markings, 39480887 edges, 66368 markings/sec, 465 secs
lola: 31972637 markings, 39911234 edges, 66342 markings/sec, 470 secs
lola: 32303350 markings, 40347266 edges, 66143 markings/sec, 475 secs
lola: 32630324 markings, 40776897 edges, 65395 markings/sec, 480 secs
lola: 32962868 markings, 41185348 edges, 66509 markings/sec, 485 secs
lola: 33296354 markings, 41599176 edges, 66697 markings/sec, 490 secs
lola: 33631144 markings, 42020440 edges, 66958 markings/sec, 495 secs
lola: 33964122 markings, 42446080 edges, 66596 markings/sec, 500 secs
lola: 34298927 markings, 42867236 edges, 66961 markings/sec, 505 secs
lola: 34632949 markings, 43287594 edges, 66804 markings/sec, 510 secs
lola: 34964849 markings, 43710581 edges, 66380 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: 370782 markings, 410189 edges, 74156 markings/sec, 0 secs
lola: 734188 markings, 822536 edges, 72681 markings/sec, 5 secs
lola: 1096167 markings, 1231176 edges, 72396 markings/sec, 10 secs
lola: 1458901 markings, 1645127 edges, 72547 markings/sec, 15 secs
lola: 1821434 markings, 2061010 edges, 72507 markings/sec, 20 secs
lola: 2183708 markings, 2482849 edges, 72455 markings/sec, 25 secs
lola: 2516588 markings, 2868064 edges, 66576 markings/sec, 30 secs
lola: 2881028 markings, 3283823 edges, 72888 markings/sec, 35 secs
lola: 3244810 markings, 3699554 edges, 72756 markings/sec, 40 secs
lola: 3589388 markings, 4095899 edges, 68916 markings/sec, 45 secs
lola: 3927748 markings, 4495680 edges, 67672 markings/sec, 50 secs
lola: 4290788 markings, 4911372 edges, 72608 markings/sec, 55 secs
lola: 4652708 markings, 5327806 edges, 72384 markings/sec, 60 secs
lola: 5010638 markings, 5750116 edges, 71586 markings/sec, 65 secs
lola: 5371762 markings, 6167153 edges, 72225 markings/sec, 70 secs
lola: 5728966 markings, 6588078 edges, 71441 markings/sec, 75 secs
lola: 6086127 markings, 7006443 edges, 71432 markings/sec, 80 secs
lola: 6440523 markings, 7426601 edges, 70879 markings/sec, 85 secs
lola: 6795107 markings, 7850604 edges, 70917 markings/sec, 90 secs
lola: 7152185 markings, 8280412 edges, 71416 markings/sec, 95 secs
lola: 7519316 markings, 8695295 edges, 73426 markings/sec, 100 secs
lola: 7883148 markings, 9110785 edges, 72766 markings/sec, 105 secs
lola: 8245694 markings, 9529099 edges, 72509 markings/sec, 110 secs
lola: 8604984 markings, 9950396 edges, 71858 markings/sec, 115 secs
lola: 8967668 markings, 10367108 edges, 72537 markings/sec, 120 secs
lola: 9328868 markings, 10783444 edges, 72240 markings/sec, 125 secs
lola: 9685788 markings, 11203606 edges, 71384 markings/sec, 130 secs
lola: 10045625 markings, 11619472 edges, 71967 markings/sec, 135 secs
lola: 10401775 markings, 12040009 edges, 71230 markings/sec, 140 secs
lola: 10760169 markings, 12458399 edges, 71679 markings/sec, 145 secs
lola: 11116028 markings, 12879679 edges, 71172 markings/sec, 150 secs
lola: 11471068 markings, 13304152 edges, 71008 markings/sec, 155 secs
lola: 11825542 markings, 13736064 edges, 70895 markings/sec, 160 secs
lola: 12188188 markings, 14150118 edges, 72529 markings/sec, 165 secs
lola: 12547508 markings, 14565236 edges, 71864 markings/sec, 170 secs
lola: 12904348 markings, 14984988 edges, 71368 markings/sec, 175 secs
lola: 13263012 markings, 15399800 edges, 71733 markings/sec, 180 secs
lola: 13619138 markings, 15819331 edges, 71225 markings/sec, 185 secs
lola: 13975321 markings, 16237300 edges, 71237 markings/sec, 190 secs
lola: 14329876 markings, 16658166 edges, 70911 markings/sec, 195 secs
lola: 14683609 markings, 17081575 edges, 70747 markings/sec, 200 secs
lola: 15037468 markings, 17507961 edges, 70772 markings/sec, 205 secs
lola: 15389508 markings, 17915380 edges, 70408 markings/sec, 210 secs
lola: 15743488 markings, 18332275 edges, 70796 markings/sec, 215 secs
lola: 16100032 markings, 18751952 edges, 71309 markings/sec, 220 secs
lola: 16450618 markings, 19168092 edges, 70117 markings/sec, 225 secs
lola: 16798788 markings, 19584375 edges, 69634 markings/sec, 230 secs
lola: 17150356 markings, 20008620 edges, 70314 markings/sec, 235 secs
lola: 17506962 markings, 20428889 edges, 71321 markings/sec, 240 secs
lola: 17858626 markings, 20845727 edges, 70333 markings/sec, 245 secs
lola: 18210388 markings, 21266654 edges, 70352 markings/sec, 250 secs
lola: 18564473 markings, 21695414 edges, 70817 markings/sec, 255 secs
lola: 18919428 markings, 22116789 edges, 70991 markings/sec, 260 secs
lola: 19271947 markings, 22542657 edges, 70504 markings/sec, 265 secs
lola: 19622788 markings, 22966375 edges, 70168 markings/sec, 270 secs
lola: 19973108 markings, 23391295 edges, 70064 markings/sec, 275 secs
lola: 20327828 markings, 23821957 edges, 70944 markings/sec, 280 secs
lola: 20677948 markings, 24251393 edges, 70024 markings/sec, 285 secs
lola: 21028550 markings, 24685863 edges, 70120 markings/sec, 290 secs
lola: 21385228 markings, 25118642 edges, 71336 markings/sec, 295 secs
lola: 21752548 markings, 25536507 edges, 73464 markings/sec, 300 secs
lola: 22116107 markings, 25951976 edges, 72712 markings/sec, 305 secs
lola: 22478988 markings, 26370064 edges, 72576 markings/sec, 310 secs
lola: 22838035 markings, 26794608 edges, 71809 markings/sec, 315 secs
lola: 23202628 markings, 27210473 edges, 72919 markings/sec, 320 secs
lola: 23562423 markings, 27625607 edges, 71959 markings/sec, 325 secs
lola: 23927607 markings, 28055355 edges, 73037 markings/sec, 330 secs
lola: 24286468 markings, 28470427 edges, 71772 markings/sec, 335 secs
lola: 24646451 markings, 28894375 edges, 71997 markings/sec, 340 secs
lola: 25007471 markings, 29318576 edges, 72204 markings/sec, 345 secs
lola: 25321788 markings, 29690578 edges, 62863 markings/sec, 350 secs
lola: 25666948 markings, 30103077 edges, 69032 markings/sec, 355 secs
lola: 26022228 markings, 30533867 edges, 71056 markings/sec, 360 secs
lola: 26374704 markings, 30936551 edges, 70495 markings/sec, 365 secs
lola: 26725903 markings, 31342977 edges, 70240 markings/sec, 370 secs
lola: 27074908 markings, 31753469 edges, 69801 markings/sec, 375 secs
lola: 27423401 markings, 32156810 edges, 69699 markings/sec, 380 secs
lola: 27771576 markings, 32566898 edges, 69635 markings/sec, 385 secs
lola: 28084466 markings, 32932571 edges, 62578 markings/sec, 390 secs
lola: 28421108 markings, 33331225 edges, 67328 markings/sec, 395 secs
lola: 28768908 markings, 33746811 edges, 69560 markings/sec, 400 secs
lola: 29113866 markings, 34166670 edges, 68992 markings/sec, 405 secs
lola: 29463399 markings, 34571012 edges, 69907 markings/sec, 410 secs
lola: 29810502 markings, 34980172 edges, 69421 markings/sec, 415 secs
lola: 30159043 markings, 35387760 edges, 69708 markings/sec, 420 secs
lola: 30504228 markings, 35795855 edges, 69037 markings/sec, 425 secs
lola: 30853570 markings, 36213385 edges, 69868 markings/sec, 430 secs
lola: 31202668 markings, 36637475 edges, 69820 markings/sec, 435 secs
lola: 31554268 markings, 37050211 edges, 70320 markings/sec, 440 secs
lola: 31904068 markings, 37464003 edges, 69960 markings/sec, 445 secs
lola: 32254725 markings, 37883061 edges, 70131 markings/sec, 450 secs
lola: 32604228 markings, 38307766 edges, 69901 markings/sec, 455 secs
lola: 32958148 markings, 38729102 edges, 70784 markings/sec, 460 secs
lola: 33308470 markings, 39148121 edges, 70064 markings/sec, 465 secs
lola: 33656868 markings, 39571083 edges, 69680 markings/sec, 470 secs
lola: 34005228 markings, 39990535 edges, 69672 markings/sec, 475 secs
lola: 34354628 markings, 40415778 edges, 69880 markings/sec, 480 secs
lola: 34702188 markings, 40840575 edges, 69512 markings/sec, 485 secs
lola: 35049627 markings, 41268528 edges, 69488 markings/sec, 490 secs
lola: 35396148 markings, 41702636 edges, 69304 markings/sec, 495 secs
lola: 35754108 markings, 42116569 edges, 71592 markings/sec, 500 secs
lola: 36112268 markings, 42529242 edges, 71632 markings/sec, 505 secs
lola: 36466665 markings, 42947285 edges, 70879 markings/sec, 510 secs
lola: 36819628 markings, 43354426 edges, 70593 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: 18829 markings, 109933 edges, 3766 markings/sec, 0 secs
lola: 36894 markings, 225006 edges, 3613 markings/sec, 5 secs
lola: 55104 markings, 357307 edges, 3642 markings/sec, 10 secs
lola: 73751 markings, 484741 edges, 3729 markings/sec, 15 secs
lola: 92377 markings, 616135 edges, 3725 markings/sec, 20 secs
lola: 110977 markings, 751657 edges, 3720 markings/sec, 25 secs
lola: 129600 markings, 894093 edges, 3725 markings/sec, 30 secs
lola: 148203 markings, 1039489 edges, 3721 markings/sec, 35 secs
lola: 166692 markings, 1196615 edges, 3698 markings/sec, 40 secs
lola: 185703 markings, 1348197 edges, 3802 markings/sec, 45 secs
lola: 204628 markings, 1478250 edges, 3785 markings/sec, 50 secs
lola: 223487 markings, 1617931 edges, 3772 markings/sec, 55 secs
lola: 242326 markings, 1761349 edges, 3768 markings/sec, 60 secs
lola: 261170 markings, 1906325 edges, 3769 markings/sec, 65 secs
lola: 279931 markings, 2060300 edges, 3752 markings/sec, 70 secs
lola: 298649 markings, 2224087 edges, 3744 markings/sec, 75 secs
lola: 317480 markings, 2360090 edges, 3766 markings/sec, 80 secs
lola: 336253 markings, 2504926 edges, 3755 markings/sec, 85 secs
lola: 355008 markings, 2657500 edges, 3751 markings/sec, 90 secs
lola: 373608 markings, 2828245 edges, 3720 markings/sec, 95 secs
lola: 392384 markings, 2973543 edges, 3755 markings/sec, 100 secs
lola: 410930 markings, 3125597 edges, 3709 markings/sec, 105 secs
lola: 429577 markings, 3292717 edges, 3729 markings/sec, 110 secs
lola: 448307 markings, 3448160 edges, 3746 markings/sec, 115 secs
lola: 466861 markings, 3616611 edges, 3711 markings/sec, 120 secs
lola: 485415 markings, 3788842 edges, 3711 markings/sec, 125 secs
lola: 504141 markings, 3963323 edges, 3745 markings/sec, 130 secs
lola: 522714 markings, 4150474 edges, 3715 markings/sec, 135 secs
lola: 541372 markings, 4309786 edges, 3732 markings/sec, 140 secs
lola: 560292 markings, 4440530 edges, 3784 markings/sec, 145 secs
lola: 579149 markings, 4580958 edges, 3771 markings/sec, 150 secs
lola: 597972 markings, 4724241 edges, 3765 markings/sec, 155 secs
lola: 616816 markings, 4868532 edges, 3769 markings/sec, 160 secs
lola: 635589 markings, 5023403 edges, 3755 markings/sec, 165 secs
lola: 654298 markings, 5185136 edges, 3742 markings/sec, 170 secs
lola: 673079 markings, 5323473 edges, 3756 markings/sec, 175 secs
lola: 691976 markings, 5469756 edges, 3779 markings/sec, 180 secs
lola: 710700 markings, 5621620 edges, 3745 markings/sec, 185 secs
lola: 729315 markings, 5792221 edges, 3723 markings/sec, 190 secs
lola: 748113 markings, 5936236 edges, 3760 markings/sec, 195 secs
lola: 766901 markings, 6091535 edges, 3758 markings/sec, 200 secs
lola: 785551 markings, 6258289 edges, 3730 markings/sec, 205 secs
lola: 802593 markings, 6400527 edges, 3408 markings/sec, 210 secs
lola: 821314 markings, 6570787 edges, 3744 markings/sec, 215 secs
lola: 839906 markings, 6742779 edges, 3718 markings/sec, 220 secs
lola: 858450 markings, 6915897 edges, 3709 markings/sec, 225 secs
lola: 876633 markings, 7099739 edges, 3637 markings/sec, 230 secs
lola: 894976 markings, 7264432 edges, 3669 markings/sec, 235 secs
lola: 913462 markings, 7404706 edges, 3697 markings/sec, 240 secs
lola: 932078 markings, 7547667 edges, 3723 markings/sec, 245 secs
lola: 950784 markings, 7702855 edges, 3741 markings/sec, 250 secs
lola: 969444 markings, 7866501 edges, 3732 markings/sec, 255 secs
lola: 988414 markings, 8015079 edges, 3794 markings/sec, 260 secs
lola: 1007680 markings, 8179009 edges, 3853 markings/sec, 265 secs
lola: 1026911 markings, 8347095 edges, 3846 markings/sec, 270 secs
lola: 1045984 markings, 8512673 edges, 3815 markings/sec, 275 secs
lola: 1064563 markings, 8679288 edges, 3716 markings/sec, 280 secs
lola: 1083165 markings, 8851622 edges, 3720 markings/sec, 285 secs
lola: 1101330 markings, 9030155 edges, 3633 markings/sec, 290 secs
lola: 1119839 markings, 9222395 edges, 3702 markings/sec, 295 secs
lola: 1138989 markings, 9379316 edges, 3830 markings/sec, 300 secs
lola: 1158100 markings, 9534255 edges, 3822 markings/sec, 305 secs
lola: 1176953 markings, 9705010 edges, 3771 markings/sec, 310 secs
lola: 1195331 markings, 9856964 edges, 3676 markings/sec, 315 secs
lola: 1213814 markings, 10025290 edges, 3697 markings/sec, 320 secs
lola: 1232733 markings, 10200151 edges, 3784 markings/sec, 325 secs
lola: 1251588 markings, 10374935 edges, 3771 markings/sec, 330 secs
lola: 1270301 markings, 10563990 edges, 3743 markings/sec, 335 secs
lola: 1289099 markings, 10742041 edges, 3760 markings/sec, 340 secs
lola: 1307655 markings, 10902957 edges, 3711 markings/sec, 345 secs
lola: 1326314 markings, 11069839 edges, 3732 markings/sec, 350 secs
lola: 1344416 markings, 11238161 edges, 3620 markings/sec, 355 secs
lola: 1362444 markings, 11411428 edges, 3606 markings/sec, 360 secs
lola: 1380891 markings, 11603608 edges, 3689 markings/sec, 365 secs
lola: 1398523 markings, 11766712 edges, 3526 markings/sec, 370 secs
lola: 1417107 markings, 11939593 edges, 3717 markings/sec, 375 secs
lola: 1436014 markings, 12124825 edges, 3781 markings/sec, 380 secs
lola: 1454688 markings, 12326106 edges, 3735 markings/sec, 385 secs
lola: 1473344 markings, 12499315 edges, 3731 markings/sec, 390 secs
lola: 1492195 markings, 12689111 edges, 3770 markings/sec, 395 secs
lola: 1510679 markings, 12881286 edges, 3697 markings/sec, 400 secs
lola: 1528949 markings, 13071249 edges, 3654 markings/sec, 405 secs
lola: 1547189 markings, 13265294 edges, 3648 markings/sec, 410 secs
lola: 1565366 markings, 13466275 edges, 3635 markings/sec, 415 secs
lola: 1583484 markings, 13675481 edges, 3624 markings/sec, 420 secs
lola: 1601828 markings, 13860361 edges, 3669 markings/sec, 425 secs
lola: 1620624 markings, 13987479 edges, 3759 markings/sec, 430 secs
lola: 1639334 markings, 14127058 edges, 3742 markings/sec, 435 secs
lola: 1658035 markings, 14266437 edges, 3740 markings/sec, 440 secs
lola: 1676730 markings, 14411231 edges, 3739 markings/sec, 445 secs
lola: 1695356 markings, 14562103 edges, 3725 markings/sec, 450 secs
lola: 1713831 markings, 14729867 edges, 3695 markings/sec, 455 secs
lola: 1732538 markings, 14861652 edges, 3741 markings/sec, 460 secs
lola: 1751022 markings, 15004008 edges, 3697 markings/sec, 465 secs
lola: 1769615 markings, 15154924 edges, 3719 markings/sec, 470 secs
lola: 1788104 markings, 15319052 edges, 3698 markings/sec, 475 secs
lola: 1806724 markings, 15467660 edges, 3724 markings/sec, 480 secs
lola: 1825264 markings, 15617985 edges, 3708 markings/sec, 485 secs
lola: 1843521 markings, 15787116 edges, 3651 markings/sec, 490 secs
lola: 1861601 markings, 15932990 edges, 3616 markings/sec, 495 secs
lola: 1879550 markings, 16099091 edges, 3590 markings/sec, 500 secs
lola: 1897477 markings, 16255995 edges, 3585 markings/sec, 505 secs
lola: 1915386 markings, 16423836 edges, 3582 markings/sec, 510 secs
lola: 1933433 markings, 16600694 edges, 3609 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: 349660 markings, 375679 edges, 69932 markings/sec, 0 secs
lola: 692352 markings, 747153 edges, 68538 markings/sec, 5 secs
lola: 1033560 markings, 1122631 edges, 68242 markings/sec, 10 secs
lola: 1378240 markings, 1498995 edges, 68936 markings/sec, 15 secs
lola: 1715080 markings, 1868177 edges, 67368 markings/sec, 20 secs
lola: 2041448 markings, 2227656 edges, 65274 markings/sec, 25 secs
lola: 2373687 markings, 2595343 edges, 66448 markings/sec, 30 secs
lola: 2704208 markings, 2961651 edges, 66104 markings/sec, 35 secs
lola: 3038693 markings, 3335623 edges, 66897 markings/sec, 40 secs
lola: 3371611 markings, 3710265 edges, 66584 markings/sec, 45 secs
lola: 3710478 markings, 4079144 edges, 67773 markings/sec, 50 secs
lola: 4045184 markings, 4449848 edges, 66941 markings/sec, 55 secs
lola: 4378720 markings, 4814280 edges, 66707 markings/sec, 60 secs
lola: 4718808 markings, 5190997 edges, 68018 markings/sec, 65 secs
lola: 5054137 markings, 5564331 edges, 67066 markings/sec, 70 secs
lola: 5385656 markings, 5937398 edges, 66304 markings/sec, 75 secs
lola: 5723168 markings, 6312378 edges, 67502 markings/sec, 80 secs
lola: 6062976 markings, 6688471 edges, 67962 markings/sec, 85 secs
lola: 6399760 markings, 7062078 edges, 67357 markings/sec, 90 secs
lola: 6739624 markings, 7442160 edges, 67973 markings/sec, 95 secs
lola: 7074168 markings, 7819374 edges, 66909 markings/sec, 100 secs
lola: 7414480 markings, 8197028 edges, 68062 markings/sec, 105 secs
lola: 7750927 markings, 8574055 edges, 67289 markings/sec, 110 secs
lola: 8087096 markings, 8953629 edges, 67234 markings/sec, 115 secs
lola: 8421568 markings, 9329113 edges, 66894 markings/sec, 120 secs
lola: 8755736 markings, 9707370 edges, 66834 markings/sec, 125 secs
lola: 9094228 markings, 10091329 edges, 67698 markings/sec, 130 secs
lola: 9431544 markings, 10475166 edges, 67463 markings/sec, 135 secs
lola: 9771288 markings, 10866318 edges, 67949 markings/sec, 140 secs
lola: 10115696 markings, 11252474 edges, 68882 markings/sec, 145 secs
lola: 10467435 markings, 11637194 edges, 70348 markings/sec, 150 secs
lola: 10811888 markings, 12017197 edges, 68891 markings/sec, 155 secs
lola: 11153959 markings, 12395896 edges, 68414 markings/sec, 160 secs
lola: 11493689 markings, 12771853 edges, 67946 markings/sec, 165 secs
lola: 11831592 markings, 13149091 edges, 67581 markings/sec, 170 secs
lola: 12167777 markings, 13528787 edges, 67237 markings/sec, 175 secs
lola: 12507388 markings, 13901369 edges, 67922 markings/sec, 180 secs
lola: 12846386 markings, 14277010 edges, 67800 markings/sec, 185 secs
lola: 13183439 markings, 14652869 edges, 67411 markings/sec, 190 secs
lola: 13524257 markings, 15037047 edges, 68164 markings/sec, 195 secs
lola: 13859688 markings, 15410681 edges, 67086 markings/sec, 200 secs
lola: 14197424 markings, 15787354 edges, 67547 markings/sec, 205 secs
lola: 14533032 markings, 16166627 edges, 67122 markings/sec, 210 secs
lola: 14865023 markings, 16538146 edges, 66398 markings/sec, 215 secs
lola: 15192025 markings, 16908032 edges, 65400 markings/sec, 220 secs
lola: 15523635 markings, 17282071 edges, 66322 markings/sec, 225 secs
lola: 15856306 markings, 17660292 edges, 66534 markings/sec, 230 secs
lola: 16192833 markings, 18045883 edges, 67305 markings/sec, 235 secs
lola: 16524755 markings, 18431423 edges, 66384 markings/sec, 240 secs
lola: 16868058 markings, 18807983 edges, 68661 markings/sec, 245 secs
lola: 17208554 markings, 19185217 edges, 68099 markings/sec, 250 secs
lola: 17547904 markings, 19562980 edges, 67870 markings/sec, 255 secs
lola: 17887095 markings, 19944622 edges, 67838 markings/sec, 260 secs
lola: 18225637 markings, 20322675 edges, 67708 markings/sec, 265 secs
lola: 18565144 markings, 20701691 edges, 67901 markings/sec, 270 secs
lola: 18898425 markings, 21077117 edges, 66656 markings/sec, 275 secs
lola: 19233504 markings, 21453230 edges, 67016 markings/sec, 280 secs
lola: 19571800 markings, 21834758 edges, 67659 markings/sec, 285 secs
lola: 19906796 markings, 22212998 edges, 66999 markings/sec, 290 secs
lola: 20241220 markings, 22593194 edges, 66885 markings/sec, 295 secs
lola: 20575823 markings, 22976175 edges, 66921 markings/sec, 300 secs
lola: 20907117 markings, 23359508 edges, 66259 markings/sec, 305 secs
lola: 21242265 markings, 23733514 edges, 67030 markings/sec, 310 secs
lola: 21579742 markings, 24109609 edges, 67495 markings/sec, 315 secs
lola: 21914651 markings, 24489641 edges, 66982 markings/sec, 320 secs
lola: 22254578 markings, 24868784 edges, 67985 markings/sec, 325 secs
lola: 22590958 markings, 25250813 edges, 67276 markings/sec, 330 secs
lola: 22926592 markings, 25628924 edges, 67127 markings/sec, 335 secs
lola: 23260576 markings, 26008653 edges, 66797 markings/sec, 340 secs
lola: 23594742 markings, 26391433 edges, 66833 markings/sec, 345 secs
lola: 23929152 markings, 26778561 edges, 66882 markings/sec, 350 secs
lola: 24264432 markings, 27153463 edges, 67056 markings/sec, 355 secs
lola: 24602418 markings, 27536267 edges, 67597 markings/sec, 360 secs
lola: 24936936 markings, 27914569 edges, 66904 markings/sec, 365 secs
lola: 25271200 markings, 28295782 edges, 66853 markings/sec, 370 secs
lola: 25604538 markings, 28677530 edges, 66668 markings/sec, 375 secs
lola: 25938160 markings, 29062074 edges, 66724 markings/sec, 380 secs
lola: 26271041 markings, 29439973 edges, 66576 markings/sec, 385 secs
lola: 26604599 markings, 29819221 edges, 66712 markings/sec, 390 secs
lola: 26935125 markings, 30198263 edges, 66105 markings/sec, 395 secs
lola: 27265108 markings, 30579480 edges, 65997 markings/sec, 400 secs
lola: 27598083 markings, 30959336 edges, 66595 markings/sec, 405 secs
lola: 27926199 markings, 31338110 edges, 65623 markings/sec, 410 secs
lola: 28254992 markings, 31717878 edges, 65759 markings/sec, 415 secs
lola: 28583889 markings, 32099519 edges, 65779 markings/sec, 420 secs
lola: 28913327 markings, 32480469 edges, 65888 markings/sec, 425 secs
lola: 29244736 markings, 32869174 edges, 66282 markings/sec, 430 secs
lola: 29571216 markings, 33251743 edges, 65296 markings/sec, 435 secs
lola: 29904518 markings, 33634995 edges, 66660 markings/sec, 440 secs
lola: 30246688 markings, 34008388 edges, 68434 markings/sec, 445 secs
lola: 30584886 markings, 34381789 edges, 67640 markings/sec, 450 secs
lola: 30921759 markings, 34752778 edges, 67375 markings/sec, 455 secs
lola: 31258818 markings, 35125965 edges, 67412 markings/sec, 460 secs
lola: 31593670 markings, 35499462 edges, 66970 markings/sec, 465 secs
lola: 31930841 markings, 35880686 edges, 67434 markings/sec, 470 secs
lola: 32268960 markings, 36252834 edges, 67624 markings/sec, 475 secs
lola: 32607605 markings, 36627639 edges, 67729 markings/sec, 480 secs
lola: 32941190 markings, 36998636 edges, 66717 markings/sec, 485 secs
lola: 33276456 markings, 37375246 edges, 67053 markings/sec, 490 secs
lola: 33614505 markings, 37754145 edges, 67610 markings/sec, 495 secs
lola: 33950986 markings, 38128773 edges, 67296 markings/sec, 500 secs
lola: 34284550 markings, 38503917 edges, 66713 markings/sec, 505 secs
lola: 34614800 markings, 38875489 edges, 66050 markings/sec, 510 secs
lola: 34948467 markings, 39250908 edges, 66733 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 1496354719117

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_DNAwalker-PT-18lozangeBlock.tgz
mv S_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 S_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 r108-blw3-149441612100155"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;