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-04track28LL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612000029
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496331049208


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-04track28LL: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-04track28LL @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-04track28LL-UpperBounds.task
lola: MAX(B18) : MAX(B26) : MAX(A7) : MAX(A24) : MAX(B10) : MAX(A28) : MAX(A6) : MAX(A17) : MAX(B10) : MAX(B26) : MAX(A5) : MAX(A6) : MAX(A26) : MAX(A23) : MAX(A1) : MAX(A11)
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(B18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 949454 markings, 2259778 edges, 189891 markings/sec, 0 secs
lola: 1789306 markings, 4903026 edges, 167970 markings/sec, 5 secs
lola: 2493600 markings, 7861094 edges, 140859 markings/sec, 10 secs
lola: 3201990 markings, 10316445 edges, 141678 markings/sec, 15 secs
lola: 3825916 markings, 13107135 edges, 124785 markings/sec, 20 secs
lola: 4408852 markings, 15743997 edges, 116587 markings/sec, 25 secs
lola: 5029602 markings, 18313856 edges, 124150 markings/sec, 30 secs
lola: 5630663 markings, 20909868 edges, 120212 markings/sec, 35 secs
lola: 6218634 markings, 23605058 edges, 117594 markings/sec, 40 secs
lola: 6825361 markings, 26277474 edges, 121345 markings/sec, 45 secs
lola: 7425058 markings, 28852940 edges, 119939 markings/sec, 50 secs
lola: 8010318 markings, 31501150 edges, 117052 markings/sec, 55 secs
lola: 8605224 markings, 34109700 edges, 118981 markings/sec, 60 secs
lola: 9330417 markings, 36591002 edges, 145039 markings/sec, 65 secs
lola: 9912876 markings, 39358240 edges, 116492 markings/sec, 70 secs
lola: 10456092 markings, 42069462 edges, 108643 markings/sec, 75 secs
lola: 11057891 markings, 44735929 edges, 120360 markings/sec, 80 secs
lola: 11661378 markings, 47260405 edges, 120697 markings/sec, 85 secs
lola: 12231751 markings, 49884705 edges, 114075 markings/sec, 90 secs
lola: 12824664 markings, 52459121 edges, 118583 markings/sec, 95 secs
lola: 13349206 markings, 55281708 edges, 104908 markings/sec, 100 secs
lola: 13930180 markings, 57931177 edges, 116195 markings/sec, 105 secs
lola: 14475437 markings, 60719740 edges, 109051 markings/sec, 110 secs
lola: 15070386 markings, 63413294 edges, 118990 markings/sec, 115 secs
lola: 15672087 markings, 65857423 edges, 120340 markings/sec, 120 secs
lola: 16251836 markings, 68438779 edges, 115950 markings/sec, 125 secs
lola: 16876534 markings, 70877689 edges, 124940 markings/sec, 130 secs
lola: 17516502 markings, 73365469 edges, 127994 markings/sec, 135 secs
lola: 18206525 markings, 75740495 edges, 138005 markings/sec, 140 secs
lola: 18809257 markings, 78284599 edges, 120546 markings/sec, 145 secs
lola: 19464591 markings, 80745481 edges, 131067 markings/sec, 150 secs
lola: 20090724 markings, 83390461 edges, 125227 markings/sec, 155 secs
lola: 20715532 markings, 86064488 edges, 124962 markings/sec, 160 secs
lola: 21281073 markings, 88970634 edges, 113108 markings/sec, 165 secs
lola: 21851026 markings, 91787796 edges, 113991 markings/sec, 170 secs
lola: 22397755 markings, 94760454 edges, 109346 markings/sec, 175 secs
lola: 22943652 markings, 97809037 edges, 109179 markings/sec, 180 secs
lola: 23557448 markings, 100475976 edges, 122759 markings/sec, 185 secs
lola: 24257003 markings, 102627686 edges, 139911 markings/sec, 190 secs
lola: 24938765 markings, 104768083 edges, 136352 markings/sec, 195 secs
lola: 25579759 markings, 106976668 edges, 128199 markings/sec, 200 secs
lola: 26224812 markings, 109189564 edges, 129011 markings/sec, 205 secs
lola: 26854985 markings, 111370327 edges, 126035 markings/sec, 210 secs
lola: 27490609 markings, 113640029 edges, 127125 markings/sec, 215 secs
lola: 28047799 markings, 116035421 edges, 111438 markings/sec, 220 secs
lola: 28658242 markings, 118380579 edges, 122089 markings/sec, 225 secs
lola: 29291995 markings, 120746444 edges, 126751 markings/sec, 230 secs
lola: 29878156 markings, 123104267 edges, 117232 markings/sec, 235 secs
lola: 30464502 markings, 125469735 edges, 117269 markings/sec, 240 secs
lola: 31008761 markings, 127959971 edges, 108852 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 960910 markings, 1792429 edges, 192182 markings/sec, 0 secs
lola: 1956314 markings, 3944382 edges, 199081 markings/sec, 5 secs
lola: 2807559 markings, 5796448 edges, 170249 markings/sec, 10 secs
lola: 3580964 markings, 7776701 edges, 154681 markings/sec, 15 secs
lola: 4381695 markings, 9736441 edges, 160146 markings/sec, 20 secs
lola: 5169514 markings, 11703314 edges, 157564 markings/sec, 25 secs
lola: 5840417 markings, 13542913 edges, 134181 markings/sec, 30 secs
lola: 6612356 markings, 15637913 edges, 154388 markings/sec, 35 secs
lola: 7396960 markings, 17612396 edges, 156921 markings/sec, 40 secs
lola: 8190110 markings, 19578993 edges, 158630 markings/sec, 45 secs
lola: 8979891 markings, 21581598 edges, 157956 markings/sec, 50 secs
lola: 9807668 markings, 23840105 edges, 165555 markings/sec, 55 secs
lola: 10712914 markings, 26415587 edges, 181049 markings/sec, 60 secs
lola: 11565063 markings, 28673970 edges, 170430 markings/sec, 65 secs
lola: 12378410 markings, 30617418 edges, 162669 markings/sec, 70 secs
lola: 13264224 markings, 32914035 edges, 177163 markings/sec, 75 secs
lola: 14005396 markings, 34814884 edges, 148234 markings/sec, 80 secs
lola: 14830937 markings, 37075587 edges, 165108 markings/sec, 85 secs
lola: 15607853 markings, 39399340 edges, 155383 markings/sec, 90 secs
lola: 16397070 markings, 42117676 edges, 157843 markings/sec, 95 secs
lola: 17175645 markings, 44360891 edges, 155715 markings/sec, 100 secs
lola: 17954112 markings, 46889068 edges, 155693 markings/sec, 105 secs
lola: 18744506 markings, 49367846 edges, 158079 markings/sec, 110 secs
lola: 19576826 markings, 51676303 edges, 166464 markings/sec, 115 secs
lola: 20445407 markings, 53913634 edges, 173716 markings/sec, 120 secs
lola: 21320094 markings, 56116247 edges, 174937 markings/sec, 125 secs
lola: 22077944 markings, 57988122 edges, 151570 markings/sec, 130 secs
lola: 22954124 markings, 60164776 edges, 175236 markings/sec, 135 secs
lola: 23836310 markings, 62336817 edges, 176437 markings/sec, 140 secs
lola: 24683282 markings, 64691389 edges, 169394 markings/sec, 145 secs
lola: 25472413 markings, 67336330 edges, 157826 markings/sec, 150 secs
lola: 26262935 markings, 69935100 edges, 158104 markings/sec, 155 secs
lola: 27099135 markings, 72341106 edges, 167240 markings/sec, 160 secs
lola: 27968448 markings, 74677253 edges, 173863 markings/sec, 165 secs
lola: 28840264 markings, 77086131 edges, 174363 markings/sec, 170 secs
lola: 29684492 markings, 79496062 edges, 168846 markings/sec, 175 secs
lola: 30475928 markings, 81774712 edges, 158287 markings/sec, 180 secs
lola: 31202122 markings, 84195082 edges, 145239 markings/sec, 185 secs
lola: 31942533 markings, 86491340 edges, 148082 markings/sec, 190 secs
lola: 32793986 markings, 88620103 edges, 170291 markings/sec, 195 secs
lola: 33652184 markings, 90757320 edges, 171640 markings/sec, 200 secs
lola: 34417589 markings, 93281655 edges, 153081 markings/sec, 205 secs
lola: 35320644 markings, 95199566 edges, 180611 markings/sec, 210 secs
lola: 36112602 markings, 97061567 edges, 158392 markings/sec, 215 secs
lola: 36809108 markings, 99102945 edges, 139301 markings/sec, 220 secs
lola: 37508464 markings, 101071946 edges, 139871 markings/sec, 225 secs
lola: 38188060 markings, 103149669 edges, 135919 markings/sec, 230 secs
lola: 38871569 markings, 105190346 edges, 136702 markings/sec, 235 secs
lola: 39554567 markings, 107170008 edges, 136600 markings/sec, 240 secs
lola: 40249788 markings, 109131062 edges, 139044 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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 5 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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: 827637 markings, 1830770 edges, 165527 markings/sec, 0 secs
lola: 1664668 markings, 3862696 edges, 167406 markings/sec, 5 secs
lola: 2422588 markings, 5819461 edges, 151584 markings/sec, 10 secs
lola: 3086514 markings, 7683655 edges, 132785 markings/sec, 15 secs
lola: 3697108 markings, 9790119 edges, 122119 markings/sec, 20 secs
lola: 4267745 markings, 11922717 edges, 114127 markings/sec, 25 secs
lola: 4815240 markings, 14018804 edges, 109499 markings/sec, 30 secs
lola: 5351085 markings, 16084372 edges, 107169 markings/sec, 35 secs
lola: 5905882 markings, 18256443 edges, 110959 markings/sec, 40 secs
lola: 6449835 markings, 20382912 edges, 108791 markings/sec, 45 secs
lola: 6996988 markings, 22452150 edges, 109431 markings/sec, 50 secs
lola: 7537824 markings, 24459249 edges, 108167 markings/sec, 55 secs
lola: 8093012 markings, 26447908 edges, 111038 markings/sec, 60 secs
lola: 8786954 markings, 28486242 edges, 138788 markings/sec, 65 secs
lola: 9483559 markings, 30534817 edges, 139321 markings/sec, 70 secs
lola: 10072413 markings, 32359453 edges, 117771 markings/sec, 75 secs
lola: 10619372 markings, 34438006 edges, 109392 markings/sec, 80 secs
lola: 11146995 markings, 36450251 edges, 105525 markings/sec, 85 secs
lola: 11667883 markings, 38508047 edges, 104178 markings/sec, 90 secs
lola: 12196849 markings, 40496351 edges, 105793 markings/sec, 95 secs
lola: 12732126 markings, 42415109 edges, 107055 markings/sec, 100 secs
lola: 13298703 markings, 44365150 edges, 113315 markings/sec, 105 secs
lola: 13878339 markings, 46339718 edges, 115927 markings/sec, 110 secs
lola: 14451537 markings, 48390880 edges, 114640 markings/sec, 115 secs
lola: 14990292 markings, 50484459 edges, 107751 markings/sec, 120 secs
lola: 15539241 markings, 52640334 edges, 109790 markings/sec, 125 secs
lola: 16084960 markings, 54698290 edges, 109144 markings/sec, 130 secs
lola: 16726938 markings, 56957923 edges, 128396 markings/sec, 135 secs
lola: 17341787 markings, 58964653 edges, 122970 markings/sec, 140 secs
lola: 17862050 markings, 60997800 edges, 104053 markings/sec, 145 secs
lola: 18366547 markings, 62995973 edges, 100899 markings/sec, 150 secs
lola: 18887435 markings, 65016307 edges, 104178 markings/sec, 155 secs
lola: 19507314 markings, 67105873 edges, 123976 markings/sec, 160 secs
lola: 20204721 markings, 68866966 edges, 139481 markings/sec, 165 secs
lola: 20871684 markings, 70554296 edges, 133393 markings/sec, 170 secs
lola: 21541490 markings, 72459319 edges, 133961 markings/sec, 175 secs
lola: 22184729 markings, 74091083 edges, 128648 markings/sec, 180 secs
lola: 22815826 markings, 75912623 edges, 126219 markings/sec, 185 secs
lola: 23477616 markings, 78107934 edges, 132358 markings/sec, 190 secs
lola: 24110180 markings, 80643160 edges, 126513 markings/sec, 195 secs
lola: 24707334 markings, 83055958 edges, 119431 markings/sec, 200 secs
lola: 25335342 markings, 85572514 edges, 125602 markings/sec, 205 secs
lola: 25947722 markings, 88043597 edges, 122476 markings/sec, 210 secs
lola: 26534940 markings, 90196686 edges, 117444 markings/sec, 215 secs
lola: 27082153 markings, 92145887 edges, 109443 markings/sec, 220 secs
lola: 27639704 markings, 94433432 edges, 111510 markings/sec, 225 secs
lola: 28183385 markings, 96655563 edges, 108736 markings/sec, 230 secs
lola: 28713773 markings, 98755940 edges, 106078 markings/sec, 235 secs
lola: 29228570 markings, 100789619 edges, 102959 markings/sec, 240 secs
lola: 29739427 markings, 102778768 edges, 102171 markings/sec, 245 secs
lola: 30242508 markings, 104818844 edges, 100616 markings/sec, 250 secs
lola: 30745581 markings, 106826670 edges, 100615 markings/sec, 255 secs
lola: 31257057 markings, 108863026 edges, 102295 markings/sec, 260 secs
lola: 31748379 markings, 110843286 edges, 98264 markings/sec, 265 secs
lola: 32237941 markings, 112794923 edges, 97912 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 694694 markings, 2557879 edges, 138939 markings/sec, 0 secs
lola: 1311149 markings, 4932759 edges, 123291 markings/sec, 5 secs
lola: 1892696 markings, 7661627 edges, 116309 markings/sec, 10 secs
lola: 2513288 markings, 9984165 edges, 124118 markings/sec, 15 secs
lola: 3125122 markings, 12340579 edges, 122367 markings/sec, 20 secs
lola: 3701577 markings, 14931678 edges, 115291 markings/sec, 25 secs
lola: 4258229 markings, 17716289 edges, 111330 markings/sec, 30 secs
lola: 4807412 markings, 20577129 edges, 109837 markings/sec, 35 secs
lola: 5377424 markings, 23543340 edges, 114002 markings/sec, 40 secs
lola: 5969822 markings, 26299451 edges, 118480 markings/sec, 45 secs
lola: 6570932 markings, 29076117 edges, 120222 markings/sec, 50 secs
lola: 7160337 markings, 31875956 edges, 117881 markings/sec, 55 secs
lola: 7751364 markings, 34650063 edges, 118205 markings/sec, 60 secs
lola: 8335758 markings, 37402135 edges, 116879 markings/sec, 65 secs
lola: 8940893 markings, 40213134 edges, 121027 markings/sec, 70 secs
lola: 9514353 markings, 43007349 edges, 114692 markings/sec, 75 secs
lola: 10095221 markings, 45807785 edges, 116174 markings/sec, 80 secs
lola: 10668258 markings, 48599544 edges, 114607 markings/sec, 85 secs
lola: 11262137 markings, 51321498 edges, 118776 markings/sec, 90 secs
lola: 11859413 markings, 53705856 edges, 119455 markings/sec, 95 secs
lola: 12456883 markings, 56052208 edges, 119494 markings/sec, 100 secs
lola: 13051438 markings, 58462443 edges, 118911 markings/sec, 105 secs
lola: 13618582 markings, 61122557 edges, 113429 markings/sec, 110 secs
lola: 14137004 markings, 64044150 edges, 103684 markings/sec, 115 secs
lola: 14675310 markings, 67020336 edges, 107661 markings/sec, 120 secs
lola: 15407301 markings, 69192325 edges, 146398 markings/sec, 125 secs
lola: 16113267 markings, 71369031 edges, 141193 markings/sec, 130 secs
lola: 16806144 markings, 73496026 edges, 138575 markings/sec, 135 secs
lola: 17471547 markings, 75617252 edges, 133081 markings/sec, 140 secs
lola: 18058257 markings, 78214363 edges, 117342 markings/sec, 145 secs
lola: 18778982 markings, 80287563 edges, 144145 markings/sec, 150 secs
lola: 19493682 markings, 82256975 edges, 142940 markings/sec, 155 secs
lola: 20151333 markings, 84374865 edges, 131530 markings/sec, 160 secs
lola: 20856471 markings, 86348716 edges, 141028 markings/sec, 165 secs
lola: 21520179 markings, 88425427 edges, 132742 markings/sec, 170 secs
lola: 22153621 markings, 91078664 edges, 126688 markings/sec, 175 secs
lola: 22717063 markings, 93794812 edges, 112688 markings/sec, 180 secs
lola: 23291411 markings, 96489567 edges, 114870 markings/sec, 185 secs
lola: 23976813 markings, 98877570 edges, 137080 markings/sec, 190 secs
lola: 24687449 markings, 101184764 edges, 142127 markings/sec, 195 secs
lola: 25335618 markings, 103432227 edges, 129634 markings/sec, 200 secs
lola: 25982718 markings, 105566743 edges, 129420 markings/sec, 205 secs
lola: 26559204 markings, 108163342 edges, 115297 markings/sec, 210 secs
lola: 27238781 markings, 110475528 edges, 135915 markings/sec, 215 secs
lola: 27879551 markings, 112692561 edges, 128154 markings/sec, 220 secs
lola: 28485398 markings, 115205342 edges, 121169 markings/sec, 225 secs
lola: 29150703 markings, 117437365 edges, 133061 markings/sec, 230 secs
lola: 29755551 markings, 119910753 edges, 120970 markings/sec, 235 secs
lola: 30393693 markings, 122117408 edges, 127628 markings/sec, 240 secs
lola: 31022951 markings, 124317354 edges, 125852 markings/sec, 245 secs
lola: 31684641 markings, 126517360 edges, 132338 markings/sec, 250 secs
lola: 32333454 markings, 128725857 edges, 129763 markings/sec, 255 secs
lola: 32969581 markings, 130850703 edges, 127225 markings/sec, 260 secs
lola: 33610340 markings, 133050763 edges, 128152 markings/sec, 265 secs
lola: 34257732 markings, 135197810 edges, 129478 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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: 849135 markings, 2386982 edges, 169827 markings/sec, 0 secs
lola: 1602133 markings, 4857831 edges, 150600 markings/sec, 5 secs
lola: 2330777 markings, 7278020 edges, 145729 markings/sec, 10 secs
lola: 2932997 markings, 9855984 edges, 120444 markings/sec, 15 secs
lola: 3667579 markings, 12138106 edges, 146916 markings/sec, 20 secs
lola: 4358436 markings, 14414630 edges, 138171 markings/sec, 25 secs
lola: 5009128 markings, 16853364 edges, 130138 markings/sec, 30 secs
lola: 5633261 markings, 19281786 edges, 124827 markings/sec, 35 secs
lola: 6199123 markings, 21761882 edges, 113172 markings/sec, 40 secs
lola: 6769837 markings, 24311898 edges, 114143 markings/sec, 45 secs
lola: 7322015 markings, 26884506 edges, 110436 markings/sec, 50 secs
lola: 7865413 markings, 29477638 edges, 108680 markings/sec, 55 secs
lola: 8409906 markings, 32086851 edges, 108899 markings/sec, 60 secs
lola: 9117582 markings, 34390795 edges, 141535 markings/sec, 65 secs
lola: 9738364 markings, 36886676 edges, 124156 markings/sec, 70 secs
lola: 10318651 markings, 39441012 edges, 116057 markings/sec, 75 secs
lola: 10880810 markings, 42092552 edges, 112432 markings/sec, 80 secs
lola: 11480997 markings, 44533234 edges, 120037 markings/sec, 85 secs
lola: 12047822 markings, 47106251 edges, 113365 markings/sec, 90 secs
lola: 12696787 markings, 49493912 edges, 129793 markings/sec, 95 secs
lola: 13284941 markings, 51989541 edges, 117631 markings/sec, 100 secs
lola: 13897561 markings, 54451578 edges, 122524 markings/sec, 105 secs
lola: 14518263 markings, 56920342 edges, 124140 markings/sec, 110 secs
lola: 15092356 markings, 59465596 edges, 114819 markings/sec, 115 secs
lola: 15654862 markings, 61966161 edges, 112501 markings/sec, 120 secs
lola: 16197609 markings, 64545821 edges, 108549 markings/sec, 125 secs
lola: 16797316 markings, 66908288 edges, 119941 markings/sec, 130 secs
lola: 17359064 markings, 69369218 edges, 112350 markings/sec, 135 secs
lola: 17963008 markings, 71751221 edges, 120789 markings/sec, 140 secs
lola: 18516547 markings, 74233435 edges, 110708 markings/sec, 145 secs
lola: 19225266 markings, 76526500 edges, 141744 markings/sec, 150 secs
lola: 19936466 markings, 78757808 edges, 142240 markings/sec, 155 secs
lola: 20627691 markings, 81109905 edges, 138245 markings/sec, 160 secs
lola: 21248718 markings, 83528823 edges, 124205 markings/sec, 165 secs
lola: 21808283 markings, 85969994 edges, 111913 markings/sec, 170 secs
lola: 22359286 markings, 88485273 edges, 110201 markings/sec, 175 secs
lola: 22899147 markings, 90998125 edges, 107972 markings/sec, 180 secs
lola: 23435928 markings, 93556150 edges, 107356 markings/sec, 185 secs
lola: 24103725 markings, 95860244 edges, 133559 markings/sec, 190 secs
lola: 24714883 markings, 98306129 edges, 122232 markings/sec, 195 secs
lola: 25279215 markings, 100793243 edges, 112866 markings/sec, 200 secs
lola: 25829897 markings, 103310155 edges, 110136 markings/sec, 205 secs
lola: 26389650 markings, 105812976 edges, 111951 markings/sec, 210 secs
lola: 26982985 markings, 108131635 edges, 118667 markings/sec, 215 secs
lola: 27525717 markings, 110643047 edges, 108546 markings/sec, 220 secs
lola: 28158829 markings, 113014835 edges, 126622 markings/sec, 225 secs
lola: 28731344 markings, 115449149 edges, 114503 markings/sec, 230 secs
lola: 29338787 markings, 117851649 edges, 121489 markings/sec, 235 secs
lola: 30019427 markings, 120144343 edges, 136128 markings/sec, 240 secs
lola: 30659614 markings, 122554741 edges, 128037 markings/sec, 245 secs
lola: 31250982 markings, 125134993 edges, 118274 markings/sec, 250 secs
lola: 31849528 markings, 127570077 edges, 119709 markings/sec, 255 secs
lola: 32404283 markings, 130030951 edges, 110951 markings/sec, 260 secs
lola: 32952732 markings, 132487932 edges, 109690 markings/sec, 265 secs
lola: 33486911 markings, 134964376 edges, 106836 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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 9 will run for 315 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 655402 markings, 2531760 edges, 131080 markings/sec, 0 secs
lola: 1290724 markings, 5219092 edges, 127064 markings/sec, 5 secs
lola: 1892189 markings, 7916195 edges, 120293 markings/sec, 10 secs
lola: 2466692 markings, 10707529 edges, 114901 markings/sec, 15 secs
lola: 3081487 markings, 13353400 edges, 122959 markings/sec, 20 secs
lola: 3671286 markings, 15930696 edges, 117960 markings/sec, 25 secs
lola: 4266462 markings, 18611372 edges, 119035 markings/sec, 30 secs
lola: 4825230 markings, 21460751 edges, 111754 markings/sec, 35 secs
lola: 5344359 markings, 24609111 edges, 103826 markings/sec, 40 secs
lola: 5950979 markings, 27294409 edges, 121324 markings/sec, 45 secs
lola: 6555530 markings, 29905382 edges, 120910 markings/sec, 50 secs
lola: 7131723 markings, 32482365 edges, 115239 markings/sec, 55 secs
lola: 7710197 markings, 35025174 edges, 115695 markings/sec, 60 secs
lola: 8287142 markings, 37651190 edges, 115389 markings/sec, 65 secs
lola: 8857496 markings, 40280227 edges, 114071 markings/sec, 70 secs
lola: 9495012 markings, 42540208 edges, 127503 markings/sec, 75 secs
lola: 10150555 markings, 44589507 edges, 131109 markings/sec, 80 secs
lola: 10779294 markings, 46870413 edges, 125748 markings/sec, 85 secs
lola: 11354902 markings, 49445061 edges, 115122 markings/sec, 90 secs
lola: 11944176 markings, 51846527 edges, 117855 markings/sec, 95 secs
lola: 12525604 markings, 54224884 edges, 116286 markings/sec, 100 secs
lola: 13109278 markings, 56608503 edges, 116735 markings/sec, 105 secs
lola: 13680671 markings, 59027502 edges, 114279 markings/sec, 110 secs
lola: 14246810 markings, 61709977 edges, 113228 markings/sec, 115 secs
lola: 14793925 markings, 64464434 edges, 109423 markings/sec, 120 secs
lola: 15305062 markings, 67350507 edges, 102227 markings/sec, 125 secs
lola: 15820791 markings, 70137571 edges, 103146 markings/sec, 130 secs
lola: 16341789 markings, 72963293 edges, 104200 markings/sec, 135 secs
lola: 16910165 markings, 75600859 edges, 113675 markings/sec, 140 secs
lola: 17437994 markings, 78517699 edges, 105566 markings/sec, 145 secs
lola: 17959017 markings, 81317356 edges, 104205 markings/sec, 150 secs
lola: 18472374 markings, 84139010 edges, 102671 markings/sec, 155 secs
lola: 18980407 markings, 87180198 edges, 101607 markings/sec, 160 secs
lola: 19453064 markings, 90334286 edges, 94531 markings/sec, 165 secs
lola: 19949363 markings, 93364140 edges, 99260 markings/sec, 170 secs
lola: 20457164 markings, 96386703 edges, 101560 markings/sec, 175 secs
lola: 20987994 markings, 99229263 edges, 106166 markings/sec, 180 secs
lola: 21513335 markings, 102132721 edges, 105068 markings/sec, 185 secs
lola: 22022705 markings, 104969734 edges, 101874 markings/sec, 190 secs
lola: 22505676 markings, 108079140 edges, 96594 markings/sec, 195 secs
lola: 22981609 markings, 111160506 edges, 95187 markings/sec, 200 secs
lola: 23443264 markings, 114347326 edges, 92331 markings/sec, 205 secs
lola: 23897772 markings, 117532918 edges, 90902 markings/sec, 210 secs
lola: 24501635 markings, 120089551 edges, 120773 markings/sec, 215 secs
lola: 25025278 markings, 122827254 edges, 104729 markings/sec, 220 secs
lola: 25527996 markings, 125345185 edges, 100544 markings/sec, 225 secs
lola: 26026217 markings, 128043948 edges, 99644 markings/sec, 230 secs
lola: 26521375 markings, 130696628 edges, 99032 markings/sec, 235 secs
lola: 27020973 markings, 133362225 edges, 99920 markings/sec, 240 secs
lola: 27547056 markings, 136169272 edges, 105217 markings/sec, 245 secs
lola: 28109103 markings, 138783507 edges, 112409 markings/sec, 250 secs
lola: 28618494 markings, 141610942 edges, 101878 markings/sec, 255 secs
lola: 29116824 markings, 144405979 edges, 99666 markings/sec, 260 secs
lola: 29619690 markings, 147132534 edges, 100573 markings/sec, 265 secs
lola: 30100089 markings, 149780818 edges, 96080 markings/sec, 270 secs
lola: 30587565 markings, 152475377 edges, 97495 markings/sec, 275 secs
lola: 31079505 markings, 155211359 edges, 98388 markings/sec, 280 secs
lola: 31561694 markings, 157954537 edges, 96438 markings/sec, 285 secs
lola: 32056218 markings, 160693914 edges, 98905 markings/sec, 290 secs
lola: 32539895 markings, 163390148 edges, 96735 markings/sec, 295 secs
lola: 33059985 markings, 166101521 edges, 104018 markings/sec, 300 secs
lola: 33598049 markings, 168769623 edges, 107613 markings/sec, 305 secs
lola: 34067094 markings, 171833903 edges, 93809 markings/sec, 310 secs
lola: 34549041 markings, 174579872 edges, 96389 markings/sec, 315 secs
lola: 35052874 markings, 177369196 edges, 100767 markings/sec, 320 secs
lola: 35576618 markings, 180191906 edges, 104749 markings/sec, 325 secs
lola: 36155114 markings, 182849702 edges, 115699 markings/sec, 330 secs
lola: 36703641 markings, 185606192 edges, 109705 markings/sec, 335 secs
lola: 37247908 markings, 188474127 edges, 108853 markings/sec, 340 secs
lola: 37792538 markings, 191342617 edges, 108926 markings/sec, 345 secs
lola: 38355818 markings, 194114737 edges, 112656 markings/sec, 350 secs
lola: 38909835 markings, 196839667 edges, 110803 markings/sec, 355 secs
lola: 39437584 markings, 199677705 edges, 105550 markings/sec, 360 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 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: 664414 markings, 2396271 edges, 132883 markings/sec, 0 secs
lola: 1281204 markings, 4767969 edges, 123358 markings/sec, 5 secs
lola: 1861207 markings, 7493825 edges, 116001 markings/sec, 10 secs
lola: 2477694 markings, 9844185 edges, 123297 markings/sec, 15 secs
lola: 3058374 markings, 12101088 edges, 116136 markings/sec, 20 secs
lola: 3642938 markings, 14631442 edges, 116913 markings/sec, 25 secs
lola: 4198645 markings, 17415409 edges, 111141 markings/sec, 30 secs
lola: 4750219 markings, 20236958 edges, 110315 markings/sec, 35 secs
lola: 5306407 markings, 23277265 edges, 111238 markings/sec, 40 secs
lola: 5906567 markings, 25993581 edges, 120032 markings/sec, 45 secs
lola: 6507852 markings, 28784014 edges, 120257 markings/sec, 50 secs
lola: 7099206 markings, 31570869 edges, 118271 markings/sec, 55 secs
lola: 7693760 markings, 34340374 edges, 118911 markings/sec, 60 secs
lola: 8274301 markings, 37106738 edges, 116108 markings/sec, 65 secs
lola: 8876723 markings, 39932919 edges, 120484 markings/sec, 70 secs
lola: 9456910 markings, 42717776 edges, 116037 markings/sec, 75 secs
lola: 10032608 markings, 45542527 edges, 115140 markings/sec, 80 secs
lola: 10611378 markings, 48312573 edges, 115754 markings/sec, 85 secs
lola: 11202405 markings, 51051486 edges, 118205 markings/sec, 90 secs
lola: 11800619 markings, 53472270 edges, 119643 markings/sec, 95 secs
lola: 12402865 markings, 55817036 edges, 120449 markings/sec, 100 secs
lola: 12993257 markings, 58233465 edges, 118078 markings/sec, 105 secs
lola: 13564134 markings, 60832246 edges, 114175 markings/sec, 110 secs
lola: 14081832 markings, 63727384 edges, 103540 markings/sec, 115 secs
lola: 14607173 markings, 66715092 edges, 105068 markings/sec, 120 secs
lola: 15321366 markings, 68910955 edges, 142839 markings/sec, 125 secs
lola: 16030342 markings, 71092669 edges, 141795 markings/sec, 130 secs
lola: 16715806 markings, 73234697 edges, 137093 markings/sec, 135 secs
lola: 17394590 markings, 75289293 edges, 135757 markings/sec, 140 secs
lola: 17982610 markings, 77938562 edges, 117604 markings/sec, 145 secs
lola: 18685294 markings, 80033766 edges, 140537 markings/sec, 150 secs
lola: 19411821 markings, 81988259 edges, 145305 markings/sec, 155 secs
lola: 20075238 markings, 84142599 edges, 132683 markings/sec, 160 secs
lola: 20777999 markings, 86127353 edges, 140552 markings/sec, 165 secs
lola: 21439678 markings, 88193438 edges, 132336 markings/sec, 170 secs
lola: 22085498 markings, 90775348 edges, 129164 markings/sec, 175 secs
lola: 22657751 markings, 93498841 edges, 114451 markings/sec, 180 secs
lola: 23229692 markings, 96194855 edges, 114388 markings/sec, 185 secs
lola: 23892097 markings, 98663526 edges, 132481 markings/sec, 190 secs
lola: 24609797 markings, 100950909 edges, 143540 markings/sec, 195 secs
lola: 25269732 markings, 103186218 edges, 131987 markings/sec, 200 secs
lola: 25918182 markings, 105324076 edges, 129690 markings/sec, 205 secs
lola: 26504267 markings, 107883616 edges, 117217 markings/sec, 210 secs
lola: 27169113 markings, 110245323 edges, 132969 markings/sec, 215 secs
lola: 27816453 markings, 112494090 edges, 129468 markings/sec, 220 secs
lola: 28426898 markings, 114957090 edges, 122089 markings/sec, 225 secs
lola: 29090699 markings, 117230220 edges, 132760 markings/sec, 230 secs
lola: 29694756 markings, 119662663 edges, 120811 markings/sec, 235 secs
lola: 30335536 markings, 121925354 edges, 128156 markings/sec, 240 secs
lola: 30961479 markings, 124111752 edges, 125189 markings/sec, 245 secs
lola: 31618520 markings, 126306909 edges, 131408 markings/sec, 250 secs
lola: 32277369 markings, 128520924 edges, 131770 markings/sec, 255 secs
lola: 32909052 markings, 130664149 edges, 126337 markings/sec, 260 secs
lola: 33553481 markings, 132860317 edges, 128886 markings/sec, 265 secs
lola: 34200366 markings, 135017059 edges, 129377 markings/sec, 270 secs
lola: 34828587 markings, 137104418 edges, 125644 markings/sec, 275 secs
lola: 35425556 markings, 139381399 edges, 119394 markings/sec, 280 secs
lola: 35988448 markings, 141908733 edges, 112578 markings/sec, 285 secs
lola: 36551685 markings, 144354583 edges, 112647 markings/sec, 290 secs
lola: 37098955 markings, 146807573 edges, 109454 markings/sec, 295 secs
lola: 37646335 markings, 149294712 edges, 109476 markings/sec, 300 secs
lola: 38178058 markings, 151808949 edges, 106345 markings/sec, 305 secs
lola: 38711348 markings, 154340799 edges, 106658 markings/sec, 310 secs
lola: 39253268 markings, 156943975 edges, 108384 markings/sec, 315 secs
lola: 39796542 markings, 159558439 edges, 108655 markings/sec, 320 secs
lola: 40309415 markings, 162050154 edges, 102575 markings/sec, 325 secs
lola: 40794525 markings, 164893810 edges, 97022 markings/sec, 330 secs
lola: 41270942 markings, 167709230 edges, 95283 markings/sec, 335 secs
lola: 41899512 markings, 169988215 edges, 125714 markings/sec, 340 secs
lola: 42536876 markings, 172117179 edges, 127473 markings/sec, 345 secs
lola: 43183546 markings, 174307207 edges, 129334 markings/sec, 350 secs
lola: 43820101 markings, 176472780 edges, 127311 markings/sec, 355 secs
lola: 44421394 markings, 178834035 edges, 120259 markings/sec, 360 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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: 922359 markings, 2118986 edges, 184472 markings/sec, 0 secs
lola: 1602548 markings, 4300061 edges, 136038 markings/sec, 5 secs
lola: 2343387 markings, 6382195 edges, 148168 markings/sec, 10 secs
lola: 3055428 markings, 8489863 edges, 142408 markings/sec, 15 secs
lola: 3784400 markings, 10557067 edges, 145794 markings/sec, 20 secs
lola: 4466477 markings, 12778865 edges, 136415 markings/sec, 25 secs
lola: 5387848 markings, 15029588 edges, 184274 markings/sec, 30 secs
lola: 6117851 markings, 17236829 edges, 146001 markings/sec, 35 secs
lola: 6824931 markings, 19358230 edges, 141416 markings/sec, 40 secs
lola: 7475576 markings, 21482854 edges, 130129 markings/sec, 45 secs
lola: 8366473 markings, 23829665 edges, 178179 markings/sec, 50 secs
lola: 8966610 markings, 25940998 edges, 120027 markings/sec, 55 secs
lola: 9551487 markings, 28100497 edges, 116975 markings/sec, 60 secs
lola: 10157118 markings, 30228007 edges, 121126 markings/sec, 65 secs
lola: 10675932 markings, 32332627 edges, 103763 markings/sec, 70 secs
lola: 11372466 markings, 34554079 edges, 139307 markings/sec, 75 secs
lola: 12286311 markings, 36741064 edges, 182769 markings/sec, 80 secs
lola: 13226303 markings, 39092365 edges, 187998 markings/sec, 85 secs
lola: 14126609 markings, 41923887 edges, 180061 markings/sec, 90 secs
lola: 15042107 markings, 44785509 edges, 183100 markings/sec, 95 secs
lola: 15918990 markings, 47699848 edges, 175377 markings/sec, 100 secs
lola: 16853531 markings, 50149318 edges, 186908 markings/sec, 105 secs
lola: 17754166 markings, 53124664 edges, 180127 markings/sec, 110 secs
lola: 18499821 markings, 55005863 edges, 149131 markings/sec, 115 secs
lola: 19407078 markings, 57234072 edges, 181451 markings/sec, 120 secs
lola: 20285934 markings, 59463863 edges, 175771 markings/sec, 125 secs
lola: 21149198 markings, 61652802 edges, 172653 markings/sec, 130 secs
lola: 22024476 markings, 63844134 edges, 175056 markings/sec, 135 secs
lola: 22845350 markings, 65966947 edges, 164175 markings/sec, 140 secs
lola: 23677890 markings, 68100333 edges, 166508 markings/sec, 145 secs
lola: 24487435 markings, 70270170 edges, 161909 markings/sec, 150 secs
lola: 25309352 markings, 72414576 edges, 164383 markings/sec, 155 secs
lola: 26126995 markings, 74556906 edges, 163529 markings/sec, 160 secs
lola: 26942708 markings, 76689064 edges, 163143 markings/sec, 165 secs
lola: 27760372 markings, 78832258 edges, 163533 markings/sec, 170 secs
lola: 28573737 markings, 80972408 edges, 162673 markings/sec, 175 secs
lola: 29391696 markings, 83535666 edges, 163592 markings/sec, 180 secs
lola: 30186077 markings, 86128534 edges, 158876 markings/sec, 185 secs
lola: 30951060 markings, 88763236 edges, 152997 markings/sec, 190 secs
lola: 31689290 markings, 91340466 edges, 147646 markings/sec, 195 secs
lola: 32442636 markings, 93925803 edges, 150669 markings/sec, 200 secs
lola: 33169713 markings, 96504863 edges, 145415 markings/sec, 205 secs
lola: 33855672 markings, 98992978 edges, 137192 markings/sec, 210 secs
lola: 34672780 markings, 101710002 edges, 163422 markings/sec, 215 secs
lola: 35451870 markings, 104423268 edges, 155818 markings/sec, 220 secs
lola: 36214199 markings, 107041157 edges, 152466 markings/sec, 225 secs
lola: 36965405 markings, 109671920 edges, 150241 markings/sec, 230 secs
lola: 37707960 markings, 112262940 edges, 148511 markings/sec, 235 secs
lola: 38437427 markings, 115117902 edges, 145893 markings/sec, 240 secs
lola: 39158709 markings, 118131965 edges, 144256 markings/sec, 245 secs
lola: 39865274 markings, 121083583 edges, 141313 markings/sec, 250 secs
lola: 40642642 markings, 123744858 edges, 155474 markings/sec, 255 secs
lola: 41470922 markings, 126493092 edges, 165656 markings/sec, 260 secs
lola: 42245804 markings, 129135188 edges, 154976 markings/sec, 265 secs
lola: 43022270 markings, 131796975 edges, 155293 markings/sec, 270 secs
lola: 43795752 markings, 134506509 edges, 154696 markings/sec, 275 secs
lola: 44574453 markings, 137624980 edges, 155740 markings/sec, 280 secs
lola: 45323390 markings, 140720815 edges, 149787 markings/sec, 285 secs
lola: 46097602 markings, 143919963 edges, 154842 markings/sec, 290 secs
lola: 46857043 markings, 147132466 edges, 151888 markings/sec, 295 secs
lola: 47542652 markings, 150016464 edges, 137122 markings/sec, 300 secs
lola: 48103412 markings, 152106023 edges, 112152 markings/sec, 305 secs
lola: 48916249 markings, 154367873 edges, 162567 markings/sec, 310 secs
lola: 49592399 markings, 156712861 edges, 135230 markings/sec, 315 secs
lola: 50379246 markings, 159151410 edges, 157369 markings/sec, 320 secs
lola: 51107272 markings, 161521042 edges, 145605 markings/sec, 325 secs
lola: 51888822 markings, 163783228 edges, 156310 markings/sec, 330 secs
lola: 52610491 markings, 166358975 edges, 144334 markings/sec, 335 secs
lola: 53354046 markings, 169197470 edges, 148711 markings/sec, 340 secs
lola: 54065577 markings, 172013833 edges, 142306 markings/sec, 345 secs
lola: 54827180 markings, 174748191 edges, 152321 markings/sec, 350 secs
lola: 55528890 markings, 177700275 edges, 140342 markings/sec, 355 secs
lola: 56239939 markings, 179849693 edges, 142210 markings/sec, 360 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 367 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 136 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: 1223153 markings, 2216732 edges, 244631 markings/sec, 0 secs
lola: 2393325 markings, 4724902 edges, 234034 markings/sec, 5 secs
lola: 3533209 markings, 7195302 edges, 227977 markings/sec, 10 secs
lola: 4253946 markings, 8962678 edges, 144147 markings/sec, 15 secs
lola: 4940822 markings, 10996807 edges, 137375 markings/sec, 20 secs
lola: 5547134 markings, 12982944 edges, 121262 markings/sec, 25 secs
lola: 6180463 markings, 14983081 edges, 126666 markings/sec, 30 secs
lola: 6801957 markings, 16946475 edges, 124299 markings/sec, 35 secs
lola: 7460259 markings, 19024746 edges, 131660 markings/sec, 40 secs
lola: 8081607 markings, 21073679 edges, 124270 markings/sec, 45 secs
lola: 8686418 markings, 23181200 edges, 120962 markings/sec, 50 secs
lola: 9230205 markings, 25208538 edges, 108757 markings/sec, 55 secs
lola: 9796170 markings, 27262900 edges, 113193 markings/sec, 60 secs
lola: 10361136 markings, 29282982 edges, 112993 markings/sec, 65 secs
lola: 11319702 markings, 31610161 edges, 191713 markings/sec, 70 secs
lola: 12289264 markings, 34069756 edges, 193912 markings/sec, 75 secs
lola: 13313268 markings, 36498410 edges, 204801 markings/sec, 80 secs
lola: 14305626 markings, 39000244 edges, 198472 markings/sec, 85 secs
lola: 15325951 markings, 41500680 edges, 204065 markings/sec, 90 secs
lola: 16260800 markings, 43825925 edges, 186970 markings/sec, 95 secs
lola: 17133628 markings, 46013715 edges, 174566 markings/sec, 100 secs
lola: 18074654 markings, 48472719 edges, 188205 markings/sec, 105 secs
lola: 18984040 markings, 50746331 edges, 181877 markings/sec, 110 secs
lola: 19802204 markings, 53078294 edges, 163633 markings/sec, 115 secs
lola: 20367465 markings, 55116101 edges, 113052 markings/sec, 120 secs
lola: 20923861 markings, 57124171 edges, 111279 markings/sec, 125 secs
lola: 21529996 markings, 59126923 edges, 121227 markings/sec, 130 secs
lola: 22388997 markings, 61324501 edges, 171800 markings/sec, 135 secs
lola: 23297594 markings, 63629844 edges, 181719 markings/sec, 140 secs
lola: 24192858 markings, 65920509 edges, 179053 markings/sec, 145 secs
lola: 25078986 markings, 68071266 edges, 177226 markings/sec, 150 secs
lola: 26004455 markings, 70303318 edges, 185094 markings/sec, 155 secs
lola: 26890726 markings, 72469219 edges, 177254 markings/sec, 160 secs
lola: 27766993 markings, 74611944 edges, 175253 markings/sec, 165 secs
lola: 28620682 markings, 76638377 edges, 170738 markings/sec, 170 secs
lola: 29476490 markings, 78792395 edges, 171162 markings/sec, 175 secs
lola: 30337595 markings, 80894276 edges, 172221 markings/sec, 180 secs
lola: 31187740 markings, 83016464 edges, 170029 markings/sec, 185 secs
lola: 32054275 markings, 85286106 edges, 173307 markings/sec, 190 secs
lola: 32885237 markings, 87918811 edges, 166192 markings/sec, 195 secs
lola: 33682713 markings, 90483451 edges, 159495 markings/sec, 200 secs
lola: 34486200 markings, 93032469 edges, 160697 markings/sec, 205 secs
lola: 35278091 markings, 95607619 edges, 158378 markings/sec, 210 secs
lola: 36072988 markings, 98205842 edges, 158979 markings/sec, 215 secs
lola: 36876727 markings, 100932134 edges, 160748 markings/sec, 220 secs
lola: 37681560 markings, 103602400 edges, 160967 markings/sec, 225 secs
lola: 38525542 markings, 106225754 edges, 168796 markings/sec, 230 secs
lola: 39311645 markings, 108775843 edges, 157221 markings/sec, 235 secs
lola: 40092312 markings, 111333280 edges, 156133 markings/sec, 240 secs
lola: 40890562 markings, 114182300 edges, 159650 markings/sec, 245 secs
lola: 41655610 markings, 117123737 edges, 153010 markings/sec, 250 secs
lola: 42324007 markings, 119808647 edges, 133679 markings/sec, 255 secs
lola: 43065394 markings, 122140521 edges, 148277 markings/sec, 260 secs
lola: 43919061 markings, 124637804 edges, 170733 markings/sec, 265 secs
lola: 44709254 markings, 126974684 edges, 158039 markings/sec, 270 secs
lola: 45591027 markings, 129285767 edges, 176355 markings/sec, 275 secs
lola: 46357640 markings, 131973549 edges, 153323 markings/sec, 280 secs
lola: 47089679 markings, 134389709 edges, 146408 markings/sec, 285 secs
lola: 47925102 markings, 136768808 edges, 167085 markings/sec, 290 secs
lola: 48660697 markings, 139312669 edges, 147119 markings/sec, 295 secs
lola: 49492119 markings, 141756001 edges, 166284 markings/sec, 300 secs
lola: 50359470 markings, 144228253 edges, 173470 markings/sec, 305 secs
lola: 51237633 markings, 146790463 edges, 175633 markings/sec, 310 secs
lola: 52139685 markings, 149048532 edges, 180410 markings/sec, 315 secs
lola: 53018288 markings, 151155335 edges, 175721 markings/sec, 320 secs
lola: 53876138 markings, 153242695 edges, 171570 markings/sec, 325 secs
lola: 54706129 markings, 155607914 edges, 165998 markings/sec, 330 secs
lola: 55494661 markings, 158083752 edges, 157706 markings/sec, 335 secs
lola: 56283926 markings, 160690841 edges, 157853 markings/sec, 340 secs
lola: 57075677 markings, 163223454 edges, 158350 markings/sec, 345 secs
lola: 57859771 markings, 165962175 edges, 156819 markings/sec, 350 secs
lola: 58968086 markings, 168236264 edges, 221663 markings/sec, 355 secs
lola: 59817794 markings, 170312803 edges, 169942 markings/sec, 360 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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: 687673 markings, 2524126 edges, 137535 markings/sec, 0 secs
lola: 1387108 markings, 5069024 edges, 139887 markings/sec, 5 secs
lola: 2053140 markings, 7598666 edges, 133206 markings/sec, 10 secs
lola: 2687590 markings, 10181454 edges, 126890 markings/sec, 15 secs
lola: 3310703 markings, 12805581 edges, 124623 markings/sec, 20 secs
lola: 3925046 markings, 15322894 edges, 122869 markings/sec, 25 secs
lola: 4535996 markings, 17796464 edges, 122190 markings/sec, 30 secs
lola: 5089948 markings, 20453448 edges, 110790 markings/sec, 35 secs
lola: 5675650 markings, 23231672 edges, 117140 markings/sec, 40 secs
lola: 6269622 markings, 25966476 edges, 118794 markings/sec, 45 secs
lola: 6881924 markings, 28560866 edges, 122460 markings/sec, 50 secs
lola: 7562418 markings, 31072440 edges, 136099 markings/sec, 55 secs
lola: 8188605 markings, 33617239 edges, 125237 markings/sec, 60 secs
lola: 8803473 markings, 36132252 edges, 122974 markings/sec, 65 secs
lola: 9356055 markings, 38858240 edges, 110516 markings/sec, 70 secs
lola: 9950083 markings, 41506704 edges, 118806 markings/sec, 75 secs
lola: 10580149 markings, 43996623 edges, 126013 markings/sec, 80 secs
lola: 11160649 markings, 46631438 edges, 116100 markings/sec, 85 secs
lola: 11805706 markings, 49124603 edges, 129011 markings/sec, 90 secs
lola: 12424417 markings, 51718196 edges, 123742 markings/sec, 95 secs
lola: 13017958 markings, 54336038 edges, 118708 markings/sec, 100 secs
lola: 13550932 markings, 56966064 edges, 106595 markings/sec, 105 secs
lola: 14057297 markings, 59698111 edges, 101273 markings/sec, 110 secs
lola: 14618459 markings, 62268005 edges, 112232 markings/sec, 115 secs
lola: 15179425 markings, 64673388 edges, 112193 markings/sec, 120 secs
lola: 15694810 markings, 67009546 edges, 103077 markings/sec, 125 secs
lola: 16185207 markings, 69601661 edges, 98079 markings/sec, 130 secs
lola: 16706079 markings, 71991518 edges, 104174 markings/sec, 135 secs
lola: 17215391 markings, 74580336 edges, 101862 markings/sec, 140 secs
lola: 17710659 markings, 77244996 edges, 99054 markings/sec, 145 secs
lola: 18196819 markings, 79808045 edges, 97232 markings/sec, 150 secs
lola: 18635046 markings, 82652858 edges, 87645 markings/sec, 155 secs
lola: 19120412 markings, 85343540 edges, 97073 markings/sec, 160 secs
lola: 19577066 markings, 88112581 edges, 91331 markings/sec, 165 secs
lola: 20073084 markings, 90791762 edges, 99204 markings/sec, 170 secs
lola: 20561533 markings, 93472010 edges, 97690 markings/sec, 175 secs
lola: 21057947 markings, 95916964 edges, 99283 markings/sec, 180 secs
lola: 21495415 markings, 98627974 edges, 87494 markings/sec, 185 secs
lola: 21947796 markings, 101415876 edges, 90476 markings/sec, 190 secs
lola: 22406844 markings, 104048882 edges, 91810 markings/sec, 195 secs
lola: 22902342 markings, 106722262 edges, 99100 markings/sec, 200 secs
lola: 23422779 markings, 109272845 edges, 104087 markings/sec, 205 secs
lola: 23947079 markings, 111831913 edges, 104860 markings/sec, 210 secs
lola: 24434462 markings, 114618859 edges, 97477 markings/sec, 215 secs
lola: 24953400 markings, 117273877 edges, 103788 markings/sec, 220 secs
lola: 25456470 markings, 119997781 edges, 100614 markings/sec, 225 secs
lola: 25995886 markings, 122703502 edges, 107883 markings/sec, 230 secs
lola: 26595994 markings, 125255715 edges, 120022 markings/sec, 235 secs
lola: 27178587 markings, 128117129 edges, 116519 markings/sec, 240 secs
lola: 27776268 markings, 130811823 edges, 119536 markings/sec, 245 secs
lola: 28355134 markings, 133513699 edges, 115773 markings/sec, 250 secs
lola: 28921840 markings, 136248295 edges, 113341 markings/sec, 255 secs
lola: 29466913 markings, 139040908 edges, 109015 markings/sec, 260 secs
lola: 30006052 markings, 141789706 edges, 107828 markings/sec, 265 secs
lola: 30517646 markings, 144663840 edges, 102319 markings/sec, 270 secs
lola: 31030830 markings, 147444617 edges, 102637 markings/sec, 275 secs
lola: 31589134 markings, 150171811 edges, 111661 markings/sec, 280 secs
lola: 32093282 markings, 153140086 edges, 100830 markings/sec, 285 secs
lola: 32631694 markings, 155819335 edges, 107682 markings/sec, 290 secs
lola: 33167395 markings, 158571592 edges, 107140 markings/sec, 295 secs
lola: 33718005 markings, 161235950 edges, 110122 markings/sec, 300 secs
lola: 34230423 markings, 163940615 edges, 102484 markings/sec, 305 secs
lola: 34740749 markings, 166721814 edges, 102065 markings/sec, 310 secs
lola: 35286471 markings, 169610268 edges, 109144 markings/sec, 315 secs
lola: 35830449 markings, 172532263 edges, 108796 markings/sec, 320 secs
lola: 36355740 markings, 175358795 edges, 105058 markings/sec, 325 secs
lola: 36868439 markings, 178197607 edges, 102540 markings/sec, 330 secs
lola: 37391236 markings, 181030534 edges, 104559 markings/sec, 335 secs
lola: 37962093 markings, 183641054 edges, 114171 markings/sec, 340 secs
lola: 38518432 markings, 186429544 edges, 111268 markings/sec, 345 secs
lola: 39090046 markings, 189125178 edges, 114323 markings/sec, 350 secs
lola: 39615138 markings, 191948832 edges, 105018 markings/sec, 355 secs
lola: 40129272 markings, 194750804 edges, 102827 markings/sec, 360 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 368 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 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: 930187 markings, 2524644 edges, 186037 markings/sec, 0 secs
lola: 1693270 markings, 5477237 edges, 152617 markings/sec, 5 secs
lola: 2342838 markings, 8671777 edges, 129914 markings/sec, 10 secs
lola: 3179914 markings, 11383049 edges, 167415 markings/sec, 15 secs
lola: 3916271 markings, 14301309 edges, 147271 markings/sec, 20 secs
lola: 4652178 markings, 17170884 edges, 147181 markings/sec, 25 secs
lola: 5307677 markings, 19529125 edges, 131100 markings/sec, 30 secs
lola: 5908784 markings, 21912191 edges, 120221 markings/sec, 35 secs
lola: 6525136 markings, 24181879 edges, 123270 markings/sec, 40 secs
lola: 7108924 markings, 26509338 edges, 116758 markings/sec, 45 secs
lola: 7630617 markings, 29191129 edges, 104339 markings/sec, 50 secs
lola: 8168915 markings, 31756202 edges, 107660 markings/sec, 55 secs
lola: 8724120 markings, 34381553 edges, 111041 markings/sec, 60 secs
lola: 9321351 markings, 36676974 edges, 119446 markings/sec, 65 secs
lola: 9929584 markings, 38816303 edges, 121647 markings/sec, 70 secs
lola: 10490543 markings, 41359028 edges, 112192 markings/sec, 75 secs
lola: 10999316 markings, 44117573 edges, 101755 markings/sec, 80 secs
lola: 11496504 markings, 46798264 edges, 99438 markings/sec, 85 secs
lola: 12000392 markings, 49455778 edges, 100778 markings/sec, 90 secs
lola: 12553372 markings, 51736490 edges, 110596 markings/sec, 95 secs
lola: 13052808 markings, 54427826 edges, 99887 markings/sec, 100 secs
lola: 13559727 markings, 56901750 edges, 101384 markings/sec, 105 secs
lola: 14046061 markings, 59359861 edges, 97267 markings/sec, 110 secs
lola: 14581086 markings, 61842871 edges, 107005 markings/sec, 115 secs
lola: 15284451 markings, 64259213 edges, 140673 markings/sec, 120 secs
lola: 15981395 markings, 66636329 edges, 139389 markings/sec, 125 secs
lola: 16599669 markings, 69460522 edges, 123655 markings/sec, 130 secs
lola: 17176631 markings, 72257181 edges, 115392 markings/sec, 135 secs
lola: 17752453 markings, 75092403 edges, 115164 markings/sec, 140 secs
lola: 18315970 markings, 77957815 edges, 112703 markings/sec, 145 secs
lola: 18798760 markings, 80934696 edges, 96558 markings/sec, 150 secs
lola: 19345782 markings, 83509794 edges, 109404 markings/sec, 155 secs
lola: 19877310 markings, 86097839 edges, 106306 markings/sec, 160 secs
lola: 20404400 markings, 88456740 edges, 105418 markings/sec, 165 secs
lola: 20950556 markings, 90679456 edges, 109231 markings/sec, 170 secs
lola: 21451220 markings, 93115864 edges, 100133 markings/sec, 175 secs
lola: 21901465 markings, 95733352 edges, 90049 markings/sec, 180 secs
lola: 22525934 markings, 98133285 edges, 124894 markings/sec, 185 secs
lola: 23077028 markings, 100897232 edges, 110219 markings/sec, 190 secs
lola: 23603747 markings, 103100644 edges, 105344 markings/sec, 195 secs
lola: 24100657 markings, 105360675 edges, 99382 markings/sec, 200 secs
lola: 24568879 markings, 107799769 edges, 93644 markings/sec, 205 secs
lola: 24995434 markings, 110489862 edges, 85311 markings/sec, 210 secs
lola: 25505967 markings, 112978135 edges, 102107 markings/sec, 215 secs
lola: 26078984 markings, 115976725 edges, 114603 markings/sec, 220 secs
lola: 26570840 markings, 118734656 edges, 98371 markings/sec, 225 secs
lola: 27119190 markings, 121555839 edges, 109670 markings/sec, 230 secs
lola: 27661862 markings, 124611310 edges, 108534 markings/sec, 235 secs
lola: 28204117 markings, 127524736 edges, 108451 markings/sec, 240 secs
lola: 28901316 markings, 130659317 edges, 139440 markings/sec, 245 secs
lola: 29519979 markings, 134155373 edges, 123733 markings/sec, 250 secs
lola: 30076071 markings, 137457765 edges, 111218 markings/sec, 255 secs
lola: 30645113 markings, 140951863 edges, 113808 markings/sec, 260 secs
lola: 31153788 markings, 143781016 edges, 101735 markings/sec, 265 secs
lola: 31724700 markings, 146821446 edges, 114182 markings/sec, 270 secs
lola: 32241665 markings, 149669965 edges, 103393 markings/sec, 275 secs
lola: 32828506 markings, 152723000 edges, 117368 markings/sec, 280 secs
lola: 33540026 markings, 154677828 edges, 142304 markings/sec, 285 secs
lola: 34241229 markings, 156791507 edges, 140241 markings/sec, 290 secs
lola: 34943806 markings, 158971953 edges, 140515 markings/sec, 295 secs
lola: 35649149 markings, 161067253 edges, 141069 markings/sec, 300 secs
lola: 36320396 markings, 163423887 edges, 134249 markings/sec, 305 secs
lola: 37018168 markings, 165698482 edges, 139554 markings/sec, 310 secs
lola: 37696872 markings, 167914821 edges, 135741 markings/sec, 315 secs
lola: 38339759 markings, 170040041 edges, 128577 markings/sec, 320 secs
lola: 39022331 markings, 172216203 edges, 136514 markings/sec, 325 secs
lola: 39667735 markings, 174471913 edges, 129081 markings/sec, 330 secs
lola: 40292639 markings, 176663390 edges, 124981 markings/sec, 335 secs
lola: 40914605 markings, 178869754 edges, 124393 markings/sec, 340 secs
lola: 41544760 markings, 181038488 edges, 126031 markings/sec, 345 secs
lola: 42189279 markings, 183103704 edges, 128904 markings/sec, 350 secs
lola: 42823661 markings, 185135588 edges, 126876 markings/sec, 355 secs
lola: 43447404 markings, 187201078 edges, 124749 markings/sec, 360 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 1 unknown unknown unknown 1 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-04track28LL-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-04track28LL-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496334589382

--------------------
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-04track28LL"
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-04track28LL.tgz
mv S_DNAwalker-PT-04track28LL 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-04track28LL, 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-149441612000029"
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 ;