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_ProductionCell-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231700182
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496361847904


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


checking for too many tokens
===========================================================================================
S_ProductionCell-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_ProductionCell-PT-none @ 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: 310/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 176 places, 134 transitions, 126 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 200 transition conflict sets
lola: TASK
lola: reading formula from ProductionCell-PT-none-UpperBounds.task
lola: MAX(p9) : MAX(p28) : MAX(p116) : MAX(p137) : MAX(p9) : MAX(p109) : MAX(p55) : MAX(p121) : MAX(p84) : MAX(p43) : MAX(p142) : MAX(p21) : MAX(p143) : MAX(p31) : MAX(p12) : MAX(p105)
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(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1363074 markings, 2988645 edges, 272615 markings/sec, 0 secs
lola: 2407228 markings, 5887916 edges, 208831 markings/sec, 5 secs
lola: 3389041 markings, 8797106 edges, 196363 markings/sec, 10 secs
lola: 4320619 markings, 11631684 edges, 186316 markings/sec, 15 secs
lola: 5276948 markings, 14335532 edges, 191266 markings/sec, 20 secs
lola: 6206674 markings, 17058351 edges, 185945 markings/sec, 25 secs
lola: 7127041 markings, 19733822 edges, 184073 markings/sec, 30 secs
lola: 8034850 markings, 22444880 edges, 181562 markings/sec, 35 secs
lola: 8934119 markings, 25289803 edges, 179854 markings/sec, 40 secs
lola: 9784718 markings, 27889619 edges, 170120 markings/sec, 45 secs
lola: 10676694 markings, 30856958 edges, 178395 markings/sec, 50 secs
lola: 11553004 markings, 33716322 edges, 175262 markings/sec, 55 secs
lola: 12418179 markings, 36513435 edges, 173035 markings/sec, 60 secs
lola: 13278747 markings, 39356447 edges, 172114 markings/sec, 65 secs
lola: 14148781 markings, 42218447 edges, 174007 markings/sec, 70 secs
lola: 15010176 markings, 45052425 edges, 172279 markings/sec, 75 secs
lola: 15878493 markings, 47831316 edges, 173663 markings/sec, 80 secs
lola: 16714022 markings, 50718314 edges, 167106 markings/sec, 85 secs
lola: 17558861 markings, 53489074 edges, 168968 markings/sec, 90 secs
lola: 18400214 markings, 56216265 edges, 168271 markings/sec, 95 secs
lola: 19248496 markings, 58959366 edges, 169656 markings/sec, 100 secs
lola: 20096479 markings, 61869627 edges, 169597 markings/sec, 105 secs
lola: 20928873 markings, 64616345 edges, 166479 markings/sec, 110 secs
lola: 21753243 markings, 67306072 edges, 164874 markings/sec, 115 secs
lola: 22574238 markings, 69985022 edges, 164199 markings/sec, 120 secs
lola: 23384711 markings, 72640723 edges, 162095 markings/sec, 125 secs
lola: 24193424 markings, 75424439 edges, 161743 markings/sec, 130 secs
lola: 24967222 markings, 78105150 edges, 154760 markings/sec, 135 secs
lola: 25775820 markings, 80737360 edges, 161720 markings/sec, 140 secs
lola: 26572618 markings, 83398756 edges, 159360 markings/sec, 145 secs
lola: 27360654 markings, 86088587 edges, 157607 markings/sec, 150 secs
lola: 28147421 markings, 88749124 edges, 157353 markings/sec, 155 secs
lola: 28937030 markings, 91380248 edges, 157922 markings/sec, 160 secs
lola: 29719680 markings, 94050317 edges, 156530 markings/sec, 165 secs
lola: 30498920 markings, 96775095 edges, 155848 markings/sec, 170 secs
lola: 31266276 markings, 99380604 edges, 153471 markings/sec, 175 secs
lola: 32039727 markings, 101929692 edges, 154690 markings/sec, 180 secs
lola: 32792927 markings, 104481082 edges, 150640 markings/sec, 185 secs
lola: 33547380 markings, 107054647 edges, 150891 markings/sec, 190 secs
lola: 34292496 markings, 109644702 edges, 149023 markings/sec, 195 secs
lola: 35028593 markings, 112271089 edges, 147219 markings/sec, 200 secs
lola: 35756552 markings, 114968813 edges, 145592 markings/sec, 205 secs
lola: 36490959 markings, 117526186 edges, 146881 markings/sec, 210 secs
lola: 37222863 markings, 120170514 edges, 146381 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(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1634828 markings, 2356835 edges, 326966 markings/sec, 0 secs
lola: 3085181 markings, 4624977 edges, 290071 markings/sec, 5 secs
lola: 4441440 markings, 6824689 edges, 271252 markings/sec, 10 secs
lola: 5745242 markings, 9041774 edges, 260760 markings/sec, 15 secs
lola: 7052228 markings, 11275971 edges, 261397 markings/sec, 20 secs
lola: 8294033 markings, 13513327 edges, 248361 markings/sec, 25 secs
lola: 9542211 markings, 15730049 edges, 249636 markings/sec, 30 secs
lola: 10767620 markings, 17944076 edges, 245082 markings/sec, 35 secs
lola: 11968877 markings, 20170959 edges, 240251 markings/sec, 40 secs
lola: 13167535 markings, 22353219 edges, 239732 markings/sec, 45 secs
lola: 14334559 markings, 24537719 edges, 233405 markings/sec, 50 secs
lola: 15495921 markings, 26695050 edges, 232272 markings/sec, 55 secs
lola: 16625674 markings, 28826323 edges, 225951 markings/sec, 60 secs
lola: 17753562 markings, 30969313 edges, 225578 markings/sec, 65 secs
lola: 18873646 markings, 33097674 edges, 224017 markings/sec, 70 secs
lola: 20000571 markings, 35255928 edges, 225385 markings/sec, 75 secs
lola: 21095950 markings, 37419320 edges, 219076 markings/sec, 80 secs
lola: 22175216 markings, 39553460 edges, 215853 markings/sec, 85 secs
lola: 23300992 markings, 41702544 edges, 225155 markings/sec, 90 secs
lola: 24393859 markings, 43889517 edges, 218573 markings/sec, 95 secs
lola: 25460696 markings, 46055373 edges, 213367 markings/sec, 100 secs
lola: 26539032 markings, 48185287 edges, 215667 markings/sec, 105 secs
lola: 27585847 markings, 50301511 edges, 209363 markings/sec, 110 secs
lola: 28638823 markings, 52442111 edges, 210595 markings/sec, 115 secs
lola: 29689338 markings, 54592441 edges, 210103 markings/sec, 120 secs
lola: 30727855 markings, 56739997 edges, 207703 markings/sec, 125 secs
lola: 31763824 markings, 58866303 edges, 207194 markings/sec, 130 secs
lola: 32785582 markings, 60985370 edges, 204352 markings/sec, 135 secs
lola: 33806586 markings, 63092376 edges, 204201 markings/sec, 140 secs
lola: 34822044 markings, 65215411 edges, 203092 markings/sec, 145 secs
lola: 35845382 markings, 67345644 edges, 204668 markings/sec, 150 secs
lola: 36835875 markings, 69490981 edges, 198099 markings/sec, 155 secs
lola: 37823955 markings, 71661871 edges, 197616 markings/sec, 160 secs
lola: 38811977 markings, 73809536 edges, 197604 markings/sec, 165 secs
lola: 39808205 markings, 75949289 edges, 199246 markings/sec, 170 secs
lola: 40805332 markings, 78086041 edges, 199425 markings/sec, 175 secs
lola: 41780400 markings, 80228264 edges, 195014 markings/sec, 180 secs
lola: 42744840 markings, 82386572 edges, 192888 markings/sec, 185 secs
lola: 43721659 markings, 84526392 edges, 195364 markings/sec, 190 secs
lola: 44695340 markings, 86649459 edges, 194736 markings/sec, 195 secs
lola: 45677566 markings, 88760339 edges, 196445 markings/sec, 200 secs
lola: 46658885 markings, 90857193 edges, 196264 markings/sec, 205 secs
lola: 47631741 markings, 92951057 edges, 194571 markings/sec, 210 secs
lola: 48611484 markings, 95055506 edges, 195949 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1690145 markings, 2395554 edges, 338029 markings/sec, 0 secs
lola: 3114749 markings, 4648835 edges, 284921 markings/sec, 5 secs
lola: 4429825 markings, 6854475 edges, 263015 markings/sec, 10 secs
lola: 5664235 markings, 9130667 edges, 246882 markings/sec, 15 secs
lola: 6831552 markings, 11503130 edges, 233463 markings/sec, 20 secs
lola: 7973669 markings, 13880589 edges, 228423 markings/sec, 25 secs
lola: 9087317 markings, 16293116 edges, 222730 markings/sec, 30 secs
lola: 10177228 markings, 18704151 edges, 217982 markings/sec, 35 secs
lola: 11268148 markings, 21057689 edges, 218184 markings/sec, 40 secs
lola: 12344837 markings, 23467824 edges, 215338 markings/sec, 45 secs
lola: 13393441 markings, 25956813 edges, 209721 markings/sec, 50 secs
lola: 14430476 markings, 28483144 edges, 207407 markings/sec, 55 secs
lola: 15453170 markings, 30958060 edges, 204539 markings/sec, 60 secs
lola: 16472904 markings, 33468978 edges, 203947 markings/sec, 65 secs
lola: 17474782 markings, 35942606 edges, 200376 markings/sec, 70 secs
lola: 18491879 markings, 38472783 edges, 203419 markings/sec, 75 secs
lola: 19518529 markings, 41083040 edges, 205330 markings/sec, 80 secs
lola: 20524545 markings, 43682887 edges, 201203 markings/sec, 85 secs
lola: 21518122 markings, 46210483 edges, 198715 markings/sec, 90 secs
lola: 22487404 markings, 48786946 edges, 193856 markings/sec, 95 secs
lola: 23465051 markings, 51463662 edges, 195529 markings/sec, 100 secs
lola: 24399410 markings, 54169459 edges, 186872 markings/sec, 105 secs
lola: 25355243 markings, 56770155 edges, 191167 markings/sec, 110 secs
lola: 26317283 markings, 59439027 edges, 192408 markings/sec, 115 secs
lola: 27283267 markings, 62194132 edges, 193197 markings/sec, 120 secs
lola: 28227527 markings, 64872678 edges, 188852 markings/sec, 125 secs
lola: 29170145 markings, 67509477 edges, 188524 markings/sec, 130 secs
lola: 30088454 markings, 70142502 edges, 183662 markings/sec, 135 secs
lola: 30990633 markings, 72776813 edges, 180436 markings/sec, 140 secs
lola: 31929262 markings, 75414889 edges, 187726 markings/sec, 145 secs
lola: 32824242 markings, 78025971 edges, 178996 markings/sec, 150 secs
lola: 33725061 markings, 80676451 edges, 180164 markings/sec, 155 secs
lola: 34630573 markings, 83275245 edges, 181102 markings/sec, 160 secs
lola: 35526661 markings, 85890329 edges, 179218 markings/sec, 165 secs
lola: 36427165 markings, 88568957 edges, 180101 markings/sec, 170 secs
lola: 37332992 markings, 91276550 edges, 181165 markings/sec, 175 secs
lola: 38218654 markings, 93989521 edges, 177132 markings/sec, 180 secs
lola: 39115195 markings, 96678806 edges, 179308 markings/sec, 185 secs
lola: 40019427 markings, 99325444 edges, 180846 markings/sec, 190 secs
lola: 40920749 markings, 101882747 edges, 180264 markings/sec, 195 secs
lola: 41816594 markings, 104617313 edges, 179169 markings/sec, 200 secs
lola: 42738836 markings, 107464699 edges, 184448 markings/sec, 205 secs
lola: 43631968 markings, 110634733 edges, 178626 markings/sec, 210 secs
lola: 44563990 markings, 113543342 edges, 186404 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1627945 markings, 2368448 edges, 325589 markings/sec, 0 secs
lola: 3002702 markings, 4558409 edges, 274951 markings/sec, 5 secs
lola: 4282383 markings, 6711358 edges, 255936 markings/sec, 10 secs
lola: 5516558 markings, 8841854 edges, 246835 markings/sec, 15 secs
lola: 6698228 markings, 10952262 edges, 236334 markings/sec, 20 secs
lola: 7851893 markings, 13070666 edges, 230733 markings/sec, 25 secs
lola: 8971698 markings, 15205517 edges, 223961 markings/sec, 30 secs
lola: 10071272 markings, 17353098 edges, 219915 markings/sec, 35 secs
lola: 11134619 markings, 19591102 edges, 212669 markings/sec, 40 secs
lola: 12179961 markings, 21831146 edges, 209068 markings/sec, 45 secs
lola: 13218937 markings, 24049906 edges, 207795 markings/sec, 50 secs
lola: 14244332 markings, 26267745 edges, 205079 markings/sec, 55 secs
lola: 15255489 markings, 28469117 edges, 202231 markings/sec, 60 secs
lola: 16266309 markings, 30674233 edges, 202164 markings/sec, 65 secs
lola: 17260695 markings, 32863215 edges, 198877 markings/sec, 70 secs
lola: 18253580 markings, 35058864 edges, 198577 markings/sec, 75 secs
lola: 19242556 markings, 37283114 edges, 197795 markings/sec, 80 secs
lola: 20213732 markings, 39592381 edges, 194235 markings/sec, 85 secs
lola: 21184865 markings, 41922270 edges, 194227 markings/sec, 90 secs
lola: 22145170 markings, 44225346 edges, 192061 markings/sec, 95 secs
lola: 23096597 markings, 46555268 edges, 190285 markings/sec, 100 secs
lola: 24049119 markings, 48928826 edges, 190504 markings/sec, 105 secs
lola: 24988755 markings, 51292774 edges, 187927 markings/sec, 110 secs
lola: 25927612 markings, 53644579 edges, 187771 markings/sec, 115 secs
lola: 26861800 markings, 55952308 edges, 186838 markings/sec, 120 secs
lola: 27788033 markings, 58238719 edges, 185247 markings/sec, 125 secs
lola: 28711404 markings, 60582394 edges, 184674 markings/sec, 130 secs
lola: 29637353 markings, 62987291 edges, 185190 markings/sec, 135 secs
lola: 30561551 markings, 65444945 edges, 184840 markings/sec, 140 secs
lola: 31451837 markings, 67705580 edges, 178057 markings/sec, 145 secs
lola: 32411075 markings, 70185060 edges, 191848 markings/sec, 150 secs
lola: 33345295 markings, 72627682 edges, 186844 markings/sec, 155 secs
lola: 34282813 markings, 75081547 edges, 187504 markings/sec, 160 secs
lola: 35205432 markings, 77550461 edges, 184524 markings/sec, 165 secs
lola: 36139237 markings, 79991659 edges, 186761 markings/sec, 170 secs
lola: 37064474 markings, 82460692 edges, 185047 markings/sec, 175 secs
lola: 37997271 markings, 84985166 edges, 186559 markings/sec, 180 secs
lola: 38930130 markings, 87550285 edges, 186572 markings/sec, 185 secs
lola: 39834890 markings, 90081370 edges, 180952 markings/sec, 190 secs
lola: 40736827 markings, 92608426 edges, 180387 markings/sec, 195 secs
lola: 41629948 markings, 95154818 edges, 178624 markings/sec, 200 secs
lola: 42518606 markings, 97617314 edges, 177732 markings/sec, 205 secs
lola: 43408515 markings, 100128624 edges, 177982 markings/sec, 210 secs
lola: 44288285 markings, 102571204 edges, 175954 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1364068 markings, 2990775 edges, 272814 markings/sec, 0 secs
lola: 2434671 markings, 5964033 edges, 214121 markings/sec, 5 secs
lola: 3438878 markings, 8945273 edges, 200841 markings/sec, 10 secs
lola: 4391567 markings, 11839186 edges, 190538 markings/sec, 15 secs
lola: 5373127 markings, 14600291 edges, 196312 markings/sec, 20 secs
lola: 6322884 markings, 17376827 edges, 189951 markings/sec, 25 secs
lola: 7256265 markings, 20124844 edges, 186676 markings/sec, 30 secs
lola: 8182200 markings, 22930838 edges, 185187 markings/sec, 35 secs
lola: 9093286 markings, 25757154 edges, 182217 markings/sec, 40 secs
lola: 9987435 markings, 28556984 edges, 178830 markings/sec, 45 secs
lola: 10870510 markings, 31468921 edges, 176615 markings/sec, 50 secs
lola: 11735631 markings, 34322202 edges, 173024 markings/sec, 55 secs
lola: 12595354 markings, 37089349 edges, 171945 markings/sec, 60 secs
lola: 13445060 markings, 39883436 edges, 169941 markings/sec, 65 secs
lola: 14299519 markings, 42726160 edges, 170892 markings/sec, 70 secs
lola: 15153185 markings, 45509140 edges, 170733 markings/sec, 75 secs
lola: 16009086 markings, 48271747 edges, 171180 markings/sec, 80 secs
lola: 16825399 markings, 51099984 edges, 163263 markings/sec, 85 secs
lola: 17661959 markings, 53821185 edges, 167312 markings/sec, 90 secs
lola: 18492934 markings, 56508426 edges, 166195 markings/sec, 95 secs
lola: 19331796 markings, 59287703 edges, 167772 markings/sec, 100 secs
lola: 20164565 markings, 62088854 edges, 166554 markings/sec, 105 secs
lola: 20983457 markings, 64800293 edges, 163778 markings/sec, 110 secs
lola: 21797583 markings, 67441635 edges, 162825 markings/sec, 115 secs
lola: 22609556 markings, 70108958 edges, 162395 markings/sec, 120 secs
lola: 23424208 markings, 72763659 edges, 162930 markings/sec, 125 secs
lola: 24241093 markings, 75586290 edges, 163377 markings/sec, 130 secs
lola: 25020926 markings, 78276699 edges, 155967 markings/sec, 135 secs
lola: 25834538 markings, 80929892 edges, 162722 markings/sec, 140 secs
lola: 26638991 markings, 83613053 edges, 160891 markings/sec, 145 secs
lola: 27432198 markings, 86344409 edges, 158641 markings/sec, 150 secs
lola: 28229812 markings, 89021261 edges, 159523 markings/sec, 155 secs
lola: 29027734 markings, 91675809 edges, 159584 markings/sec, 160 secs
lola: 29813447 markings, 94360794 edges, 157143 markings/sec, 165 secs
lola: 30600791 markings, 97117472 edges, 157469 markings/sec, 170 secs
lola: 31377199 markings, 99753956 edges, 155282 markings/sec, 175 secs
lola: 32171145 markings, 102379053 edges, 158789 markings/sec, 180 secs
lola: 32958698 markings, 105038429 edges, 157511 markings/sec, 185 secs
lola: 33742846 markings, 107721162 edges, 156830 markings/sec, 190 secs
lola: 34523263 markings, 110453536 edges, 156083 markings/sec, 195 secs
lola: 35296871 markings, 113328336 edges, 154722 markings/sec, 200 secs
lola: 36064349 markings, 116039317 edges, 153496 markings/sec, 205 secs
lola: 36842575 markings, 118818114 edges, 155645 markings/sec, 210 secs
lola: 37615785 markings, 121519337 edges, 154642 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1672306 markings, 2477999 edges, 334461 markings/sec, 0 secs
lola: 3105907 markings, 4847078 edges, 286720 markings/sec, 5 secs
lola: 4454599 markings, 7184336 edges, 269738 markings/sec, 10 secs
lola: 5740778 markings, 9513887 edges, 257236 markings/sec, 15 secs
lola: 6973762 markings, 11885021 edges, 246597 markings/sec, 20 secs
lola: 8166321 markings, 14255785 edges, 238512 markings/sec, 25 secs
lola: 9317736 markings, 16673384 edges, 230283 markings/sec, 30 secs
lola: 10450728 markings, 19104093 edges, 226598 markings/sec, 35 secs
lola: 11559128 markings, 21545482 edges, 221680 markings/sec, 40 secs
lola: 12637051 markings, 24061291 edges, 215585 markings/sec, 45 secs
lola: 13703503 markings, 26581255 edges, 213290 markings/sec, 50 secs
lola: 14763995 markings, 29090850 edges, 212098 markings/sec, 55 secs
lola: 15797093 markings, 31604856 edges, 206620 markings/sec, 60 secs
lola: 16814897 markings, 34135558 edges, 203561 markings/sec, 65 secs
lola: 17832734 markings, 36788089 edges, 203567 markings/sec, 70 secs
lola: 18835840 markings, 39305878 edges, 200621 markings/sec, 75 secs
lola: 19831779 markings, 41862187 edges, 199188 markings/sec, 80 secs
lola: 20817835 markings, 44388986 edges, 197211 markings/sec, 85 secs
lola: 21784222 markings, 46963281 edges, 193277 markings/sec, 90 secs
lola: 22732862 markings, 49534826 edges, 189728 markings/sec, 95 secs
lola: 23686197 markings, 52168746 edges, 190667 markings/sec, 100 secs
lola: 24644789 markings, 54760720 edges, 191718 markings/sec, 105 secs
lola: 25592163 markings, 57340997 edges, 189475 markings/sec, 110 secs
lola: 26551489 markings, 59927991 edges, 191865 markings/sec, 115 secs
lola: 27476488 markings, 62532551 edges, 185000 markings/sec, 120 secs
lola: 28403227 markings, 65169212 edges, 185348 markings/sec, 125 secs
lola: 29342421 markings, 67720052 edges, 187839 markings/sec, 130 secs
lola: 30292387 markings, 70323397 edges, 189993 markings/sec, 135 secs
lola: 31228917 markings, 72946404 edges, 187306 markings/sec, 140 secs
lola: 32145453 markings, 75562691 edges, 183307 markings/sec, 145 secs
lola: 33069987 markings, 78142211 edges, 184907 markings/sec, 150 secs
lola: 33980893 markings, 80812704 edges, 182181 markings/sec, 155 secs
lola: 34882505 markings, 83449190 edges, 180322 markings/sec, 160 secs
lola: 35793596 markings, 86022735 edges, 182218 markings/sec, 165 secs
lola: 36739793 markings, 88591351 edges, 189239 markings/sec, 170 secs
lola: 37667319 markings, 91149192 edges, 185505 markings/sec, 175 secs
lola: 38621065 markings, 93697909 edges, 190749 markings/sec, 180 secs
lola: 39574652 markings, 96246978 edges, 190717 markings/sec, 185 secs
lola: 40521882 markings, 98705350 edges, 189446 markings/sec, 190 secs
lola: 41474848 markings, 101175756 edges, 190593 markings/sec, 195 secs
lola: 42439071 markings, 103626872 edges, 192845 markings/sec, 200 secs
lola: 43421627 markings, 106046007 edges, 196511 markings/sec, 205 secs
lola: 44392324 markings, 108588080 edges, 194139 markings/sec, 210 secs
lola: 45349553 markings, 111102676 edges, 191446 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1875191 markings, 2575497 edges, 375038 markings/sec, 0 secs
lola: 3466243 markings, 4972162 edges, 318210 markings/sec, 5 secs
lola: 4963876 markings, 7338500 edges, 299527 markings/sec, 10 secs
lola: 6389705 markings, 9706689 edges, 285166 markings/sec, 15 secs
lola: 7761000 markings, 12052234 edges, 274259 markings/sec, 20 secs
lola: 9100766 markings, 14420105 edges, 267953 markings/sec, 25 secs
lola: 10414343 markings, 16786418 edges, 262715 markings/sec, 30 secs
lola: 11698916 markings, 19160001 edges, 256915 markings/sec, 35 secs
lola: 12954347 markings, 21569648 edges, 251086 markings/sec, 40 secs
lola: 14197037 markings, 23978595 edges, 248538 markings/sec, 45 secs
lola: 15411352 markings, 26411631 edges, 242863 markings/sec, 50 secs
lola: 16597846 markings, 28835369 edges, 237299 markings/sec, 55 secs
lola: 17781506 markings, 31241273 edges, 236732 markings/sec, 60 secs
lola: 18939999 markings, 33703584 edges, 231699 markings/sec, 65 secs
lola: 20083321 markings, 36169088 edges, 228664 markings/sec, 70 secs
lola: 21219060 markings, 38593385 edges, 227148 markings/sec, 75 secs
lola: 22350166 markings, 40976915 edges, 226221 markings/sec, 80 secs
lola: 23464670 markings, 43416348 edges, 222901 markings/sec, 85 secs
lola: 24560432 markings, 45862915 edges, 219152 markings/sec, 90 secs
lola: 25659414 markings, 48300437 edges, 219796 markings/sec, 95 secs
lola: 26740246 markings, 50723488 edges, 216166 markings/sec, 100 secs
lola: 27814587 markings, 53189751 edges, 214868 markings/sec, 105 secs
lola: 28863909 markings, 55674764 edges, 209864 markings/sec, 110 secs
lola: 29934966 markings, 58161031 edges, 214211 markings/sec, 115 secs
lola: 31003783 markings, 60626850 edges, 213763 markings/sec, 120 secs
lola: 32044290 markings, 63102880 edges, 208101 markings/sec, 125 secs
lola: 33091656 markings, 65569864 edges, 209473 markings/sec, 130 secs
lola: 34114599 markings, 68174671 edges, 204589 markings/sec, 135 secs
lola: 35141607 markings, 70621453 edges, 205402 markings/sec, 140 secs
lola: 36153589 markings, 73213536 edges, 202396 markings/sec, 145 secs
lola: 37173534 markings, 75663513 edges, 203989 markings/sec, 150 secs
lola: 38191218 markings, 78175631 edges, 203537 markings/sec, 155 secs
lola: 39197393 markings, 80592978 edges, 201235 markings/sec, 160 secs
lola: 40178054 markings, 83221667 edges, 196132 markings/sec, 165 secs
lola: 41170257 markings, 85749866 edges, 198441 markings/sec, 170 secs
lola: 42162868 markings, 88229560 edges, 198522 markings/sec, 175 secs
lola: 43144713 markings, 90793504 edges, 196369 markings/sec, 180 secs
lola: 44119708 markings, 93256909 edges, 194999 markings/sec, 185 secs
lola: 45077641 markings, 95735447 edges, 191587 markings/sec, 190 secs
lola: 46028942 markings, 98266045 edges, 190260 markings/sec, 195 secs
lola: 46993360 markings, 100769517 edges, 192884 markings/sec, 200 secs
lola: 47955715 markings, 103182656 edges, 192471 markings/sec, 205 secs
lola: 48913724 markings, 105681465 edges, 191602 markings/sec, 210 secs
lola: 49850324 markings, 108165609 edges, 187320 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1614880 markings, 2355630 edges, 322976 markings/sec, 0 secs
lola: 2992437 markings, 4581925 edges, 275511 markings/sec, 5 secs
lola: 4291607 markings, 6740909 edges, 259834 markings/sec, 10 secs
lola: 5532723 markings, 8913944 edges, 248223 markings/sec, 15 secs
lola: 6733991 markings, 11053770 edges, 240254 markings/sec, 20 secs
lola: 7901908 markings, 13173821 edges, 233583 markings/sec, 25 secs
lola: 9039359 markings, 15289173 edges, 227490 markings/sec, 30 secs
lola: 10151654 markings, 17437456 edges, 222459 markings/sec, 35 secs
lola: 11244107 markings, 19578806 edges, 218491 markings/sec, 40 secs
lola: 12307315 markings, 21767288 edges, 212642 markings/sec, 45 secs
lola: 13356484 markings, 23974424 edges, 209834 markings/sec, 50 secs
lola: 14393768 markings, 26210899 edges, 207457 markings/sec, 55 secs
lola: 15419974 markings, 28427348 edges, 205241 markings/sec, 60 secs
lola: 16434122 markings, 30673777 edges, 202830 markings/sec, 65 secs
lola: 17416094 markings, 32782109 edges, 196394 markings/sec, 70 secs
lola: 18427585 markings, 35041107 edges, 202298 markings/sec, 75 secs
lola: 19440890 markings, 37276677 edges, 202661 markings/sec, 80 secs
lola: 20434648 markings, 39533183 edges, 198752 markings/sec, 85 secs
lola: 21408210 markings, 41755778 edges, 194712 markings/sec, 90 secs
lola: 22401966 markings, 44055805 edges, 198751 markings/sec, 95 secs
lola: 23385753 markings, 46407477 edges, 196757 markings/sec, 100 secs
lola: 24349033 markings, 48747210 edges, 192656 markings/sec, 105 secs
lola: 25312426 markings, 51083660 edges, 192679 markings/sec, 110 secs
lola: 26271523 markings, 53434607 edges, 191819 markings/sec, 115 secs
lola: 27222627 markings, 55797905 edges, 190221 markings/sec, 120 secs
lola: 28191473 markings, 58305033 edges, 193769 markings/sec, 125 secs
lola: 29139381 markings, 60618557 edges, 189582 markings/sec, 130 secs
lola: 30094834 markings, 62964622 edges, 191091 markings/sec, 135 secs
lola: 31042530 markings, 65304290 edges, 189539 markings/sec, 140 secs
lola: 31985183 markings, 67706437 edges, 188531 markings/sec, 145 secs
lola: 32919356 markings, 70075590 edges, 186835 markings/sec, 150 secs
lola: 33857680 markings, 72434294 edges, 187665 markings/sec, 155 secs
lola: 34791840 markings, 74857262 edges, 186832 markings/sec, 160 secs
lola: 35757058 markings, 77415474 edges, 193044 markings/sec, 165 secs
lola: 36675218 markings, 79818599 edges, 183632 markings/sec, 170 secs
lola: 37609550 markings, 82217791 edges, 186866 markings/sec, 175 secs
lola: 38525379 markings, 84567622 edges, 183166 markings/sec, 180 secs
lola: 39452179 markings, 86988019 edges, 185360 markings/sec, 185 secs
lola: 40374992 markings, 89383364 edges, 184563 markings/sec, 190 secs
lola: 41307303 markings, 91910170 edges, 186462 markings/sec, 195 secs
lola: 42247273 markings, 94475897 edges, 187994 markings/sec, 200 secs
lola: 43171896 markings, 97012127 edges, 184925 markings/sec, 205 secs
lola: 44098932 markings, 99483557 edges, 185407 markings/sec, 210 secs
lola: 45013619 markings, 101944209 edges, 182937 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1749647 markings, 2342058 edges, 349929 markings/sec, 0 secs
lola: 3229225 markings, 4502343 edges, 295916 markings/sec, 5 secs
lola: 4606469 markings, 6595941 edges, 275449 markings/sec, 10 secs
lola: 5935482 markings, 8665255 edges, 265803 markings/sec, 15 secs
lola: 7224324 markings, 10705539 edges, 257768 markings/sec, 20 secs
lola: 8476226 markings, 12744143 edges, 250380 markings/sec, 25 secs
lola: 9702310 markings, 14770713 edges, 245217 markings/sec, 30 secs
lola: 10904784 markings, 16780172 edges, 240495 markings/sec, 35 secs
lola: 12088940 markings, 18791938 edges, 236831 markings/sec, 40 secs
lola: 13252892 markings, 20787760 edges, 232790 markings/sec, 45 secs
lola: 14407092 markings, 22807938 edges, 230840 markings/sec, 50 secs
lola: 15549631 markings, 24794395 edges, 228508 markings/sec, 55 secs
lola: 16680775 markings, 26792255 edges, 226229 markings/sec, 60 secs
lola: 17799660 markings, 28781107 edges, 223777 markings/sec, 65 secs
lola: 18906252 markings, 30768285 edges, 221318 markings/sec, 70 secs
lola: 19999817 markings, 32769504 edges, 218713 markings/sec, 75 secs
lola: 21084865 markings, 34766386 edges, 217010 markings/sec, 80 secs
lola: 22161462 markings, 36781085 edges, 215319 markings/sec, 85 secs
lola: 23232906 markings, 38807807 edges, 214289 markings/sec, 90 secs
lola: 24295169 markings, 40831055 edges, 212453 markings/sec, 95 secs
lola: 25340005 markings, 42874359 edges, 208967 markings/sec, 100 secs
lola: 26375272 markings, 44946773 edges, 207053 markings/sec, 105 secs
lola: 27407130 markings, 47020523 edges, 206372 markings/sec, 110 secs
lola: 28433434 markings, 49116107 edges, 205261 markings/sec, 115 secs
lola: 29448633 markings, 51136811 edges, 203040 markings/sec, 120 secs
lola: 30488847 markings, 53226386 edges, 208043 markings/sec, 125 secs
lola: 31518463 markings, 55254856 edges, 205923 markings/sec, 130 secs
lola: 32548052 markings, 57291592 edges, 205918 markings/sec, 135 secs
lola: 33580617 markings, 59334322 edges, 206513 markings/sec, 140 secs
lola: 34608587 markings, 61377809 edges, 205594 markings/sec, 145 secs
lola: 35630892 markings, 63415267 edges, 204461 markings/sec, 150 secs
lola: 36650925 markings, 65454895 edges, 204007 markings/sec, 155 secs
lola: 37663075 markings, 67528978 edges, 202430 markings/sec, 160 secs
lola: 38670099 markings, 69613194 edges, 201405 markings/sec, 165 secs
lola: 39675443 markings, 71708838 edges, 201069 markings/sec, 170 secs
lola: 40676279 markings, 73794235 edges, 200167 markings/sec, 175 secs
lola: 41665942 markings, 75929795 edges, 197933 markings/sec, 180 secs
lola: 42656655 markings, 78060150 edges, 198143 markings/sec, 185 secs
lola: 43629135 markings, 80198569 edges, 194496 markings/sec, 190 secs
lola: 44581984 markings, 82314231 edges, 190570 markings/sec, 195 secs
lola: 45534658 markings, 84430115 edges, 190535 markings/sec, 200 secs
lola: 46475739 markings, 86520887 edges, 188216 markings/sec, 205 secs
lola: 47409173 markings, 88649357 edges, 186687 markings/sec, 210 secs
lola: 48350525 markings, 90746148 edges, 188270 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1482389 markings, 3097144 edges, 296478 markings/sec, 0 secs
lola: 2767759 markings, 6105116 edges, 257074 markings/sec, 5 secs
lola: 3980836 markings, 8957321 edges, 242615 markings/sec, 10 secs
lola: 5177525 markings, 11789577 edges, 239338 markings/sec, 15 secs
lola: 6315674 markings, 14593371 edges, 227630 markings/sec, 20 secs
lola: 7431013 markings, 17536597 edges, 223068 markings/sec, 25 secs
lola: 8523984 markings, 20408042 edges, 218594 markings/sec, 30 secs
lola: 9579886 markings, 23270339 edges, 211180 markings/sec, 35 secs
lola: 10639572 markings, 26074375 edges, 211937 markings/sec, 40 secs
lola: 11667619 markings, 28811658 edges, 205609 markings/sec, 45 secs
lola: 12688814 markings, 31506869 edges, 204239 markings/sec, 50 secs
lola: 13687579 markings, 34157672 edges, 199753 markings/sec, 55 secs
lola: 14682019 markings, 36849242 edges, 198888 markings/sec, 60 secs
lola: 15659536 markings, 39549497 edges, 195503 markings/sec, 65 secs
lola: 16616054 markings, 42221025 edges, 191304 markings/sec, 70 secs
lola: 17566817 markings, 44833691 edges, 190153 markings/sec, 75 secs
lola: 18508556 markings, 47428829 edges, 188348 markings/sec, 80 secs
lola: 19441953 markings, 50015543 edges, 186679 markings/sec, 85 secs
lola: 20375019 markings, 52586322 edges, 186613 markings/sec, 90 secs
lola: 21273809 markings, 55009528 edges, 179758 markings/sec, 95 secs
lola: 22217229 markings, 57574075 edges, 188684 markings/sec, 100 secs
lola: 23138049 markings, 60148250 edges, 184164 markings/sec, 105 secs
lola: 24010431 markings, 62641450 edges, 174476 markings/sec, 110 secs
lola: 24943232 markings, 65171670 edges, 186560 markings/sec, 115 secs
lola: 25826431 markings, 67554239 edges, 176640 markings/sec, 120 secs
lola: 26674651 markings, 69846177 edges, 169644 markings/sec, 125 secs
lola: 27550044 markings, 72266950 edges, 175079 markings/sec, 130 secs
lola: 28390447 markings, 74532670 edges, 168081 markings/sec, 135 secs
lola: 29297797 markings, 77066826 edges, 181470 markings/sec, 140 secs
lola: 30123007 markings, 79369508 edges, 165042 markings/sec, 145 secs
lola: 31021958 markings, 81786474 edges, 179790 markings/sec, 150 secs
lola: 31890575 markings, 84227751 edges, 173723 markings/sec, 155 secs
lola: 32721520 markings, 86493647 edges, 166189 markings/sec, 160 secs
lola: 33642742 markings, 89021289 edges, 184244 markings/sec, 165 secs
lola: 34564928 markings, 91527161 edges, 184437 markings/sec, 170 secs
lola: 35474880 markings, 94014433 edges, 181990 markings/sec, 175 secs
lola: 36378886 markings, 96486217 edges, 180801 markings/sec, 180 secs
lola: 37300052 markings, 99004695 edges, 184233 markings/sec, 185 secs
lola: 38130566 markings, 101331516 edges, 166103 markings/sec, 190 secs
lola: 39048510 markings, 103857945 edges, 183589 markings/sec, 195 secs
lola: 39903312 markings, 106256365 edges, 170960 markings/sec, 200 secs
lola: 40735325 markings, 108562665 edges, 166403 markings/sec, 205 secs
lola: 41614790 markings, 110926336 edges, 175893 markings/sec, 210 secs
lola: 42461858 markings, 113305613 edges, 169414 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1230273 markings, 3744001 edges, 246055 markings/sec, 0 secs
lola: 2379560 markings, 7294970 edges, 229857 markings/sec, 5 secs
lola: 3459424 markings, 10755967 edges, 215973 markings/sec, 10 secs
lola: 4474835 markings, 14035377 edges, 203082 markings/sec, 15 secs
lola: 5561446 markings, 17468297 edges, 217322 markings/sec, 20 secs
lola: 6606377 markings, 20884128 edges, 208986 markings/sec, 25 secs
lola: 7661868 markings, 24180497 edges, 211098 markings/sec, 30 secs
lola: 8776505 markings, 27576539 edges, 222927 markings/sec, 35 secs
lola: 9784490 markings, 30806802 edges, 201597 markings/sec, 40 secs
lola: 10735791 markings, 33903879 edges, 190260 markings/sec, 45 secs
lola: 11702834 markings, 37125032 edges, 193409 markings/sec, 50 secs
lola: 12778543 markings, 40495818 edges, 215142 markings/sec, 55 secs
lola: 13785880 markings, 43799561 edges, 201467 markings/sec, 60 secs
lola: 14776646 markings, 47140266 edges, 198153 markings/sec, 65 secs
lola: 15718082 markings, 50396303 edges, 188287 markings/sec, 70 secs
lola: 16694765 markings, 53718636 edges, 195337 markings/sec, 75 secs
lola: 17622088 markings, 56898645 edges, 185465 markings/sec, 80 secs
lola: 18608853 markings, 60157228 edges, 197353 markings/sec, 85 secs
lola: 19561749 markings, 63318675 edges, 190579 markings/sec, 90 secs
lola: 20488243 markings, 66471593 edges, 185299 markings/sec, 95 secs
lola: 21366757 markings, 69600134 edges, 175703 markings/sec, 100 secs
lola: 22231051 markings, 72617361 edges, 172859 markings/sec, 105 secs
lola: 23160531 markings, 75838668 edges, 185896 markings/sec, 110 secs
lola: 24049273 markings, 78956465 edges, 177748 markings/sec, 115 secs
lola: 24909883 markings, 81989552 edges, 172122 markings/sec, 120 secs
lola: 25838267 markings, 85207012 edges, 185677 markings/sec, 125 secs
lola: 26762350 markings, 88369516 edges, 184817 markings/sec, 130 secs
lola: 27636715 markings, 91536045 edges, 174873 markings/sec, 135 secs
lola: 28522842 markings, 94680501 edges, 177225 markings/sec, 140 secs
lola: 29427851 markings, 97932090 edges, 181002 markings/sec, 145 secs
lola: 30353601 markings, 101147498 edges, 185150 markings/sec, 150 secs
lola: 31473843 markings, 104808854 edges, 224048 markings/sec, 155 secs
lola: 32539060 markings, 108311182 edges, 213043 markings/sec, 160 secs
lola: 33582091 markings, 111779481 edges, 208606 markings/sec, 165 secs
lola: 34553305 markings, 115144996 edges, 194243 markings/sec, 170 secs
lola: 35529038 markings, 118456510 edges, 195147 markings/sec, 175 secs
lola: 36474232 markings, 121634339 edges, 189039 markings/sec, 180 secs
lola: 37366869 markings, 124686701 edges, 178527 markings/sec, 185 secs
lola: 38401208 markings, 128159610 edges, 206868 markings/sec, 190 secs
lola: 39390241 markings, 131549601 edges, 197807 markings/sec, 195 secs
lola: 40313616 markings, 134801379 edges, 184675 markings/sec, 200 secs
lola: 41240996 markings, 137915023 edges, 185476 markings/sec, 205 secs
lola: 42311105 markings, 141297773 edges, 214022 markings/sec, 210 secs
lola: 43349163 markings, 144753259 edges, 207612 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1506641 markings, 3109962 edges, 301328 markings/sec, 0 secs
lola: 2959685 markings, 6208787 edges, 290609 markings/sec, 5 secs
lola: 4362871 markings, 9247173 edges, 280637 markings/sec, 10 secs
lola: 5787537 markings, 12354684 edges, 284933 markings/sec, 15 secs
lola: 7126919 markings, 15288820 edges, 267876 markings/sec, 20 secs
lola: 8518755 markings, 18322950 edges, 278367 markings/sec, 25 secs
lola: 9855049 markings, 21344994 edges, 267259 markings/sec, 30 secs
lola: 11157537 markings, 24328414 edges, 260498 markings/sec, 35 secs
lola: 12523313 markings, 27405112 edges, 273155 markings/sec, 40 secs
lola: 13858421 markings, 30383865 edges, 267022 markings/sec, 45 secs
lola: 15168583 markings, 33348946 edges, 262032 markings/sec, 50 secs
lola: 16426889 markings, 36235101 edges, 251661 markings/sec, 55 secs
lola: 17858179 markings, 39373913 edges, 286258 markings/sec, 60 secs
lola: 19203224 markings, 42371010 edges, 269009 markings/sec, 65 secs
lola: 20567056 markings, 45479731 edges, 272766 markings/sec, 70 secs
lola: 21881393 markings, 48508762 edges, 262867 markings/sec, 75 secs
lola: 23199859 markings, 51520443 edges, 263693 markings/sec, 80 secs
lola: 24527451 markings, 54561012 edges, 265518 markings/sec, 85 secs
lola: 25820339 markings, 57573581 edges, 258578 markings/sec, 90 secs
lola: 27045059 markings, 60533055 edges, 244944 markings/sec, 95 secs
lola: 28322571 markings, 63567252 edges, 255502 markings/sec, 100 secs
lola: 29641899 markings, 66662441 edges, 263866 markings/sec, 105 secs
lola: 30874535 markings, 69603036 edges, 246527 markings/sec, 110 secs
lola: 32126844 markings, 72562133 edges, 250462 markings/sec, 115 secs
lola: 33331042 markings, 75464465 edges, 240840 markings/sec, 120 secs
lola: 34762847 markings, 78613079 edges, 286361 markings/sec, 125 secs
lola: 36120912 markings, 81631138 edges, 271613 markings/sec, 130 secs
lola: 37452245 markings, 84677063 edges, 266267 markings/sec, 135 secs
lola: 38796741 markings, 87788588 edges, 268899 markings/sec, 140 secs
lola: 40140607 markings, 90844107 edges, 268773 markings/sec, 145 secs
lola: 41460557 markings, 93886577 edges, 263990 markings/sec, 150 secs
lola: 42762151 markings, 96908377 edges, 260319 markings/sec, 155 secs
lola: 43998156 markings, 99896422 edges, 247201 markings/sec, 160 secs
lola: 45252612 markings, 102919950 edges, 250891 markings/sec, 165 secs
lola: 46599241 markings, 106035152 edges, 269326 markings/sec, 170 secs
lola: 47851282 markings, 109022168 edges, 250408 markings/sec, 175 secs
lola: 49077149 markings, 111941859 edges, 245173 markings/sec, 180 secs
lola: 50336795 markings, 114936845 edges, 251929 markings/sec, 185 secs
lola: 51778670 markings, 118216445 edges, 288375 markings/sec, 190 secs
lola: 53249707 markings, 121530450 edges, 294207 markings/sec, 195 secs
lola: 54588843 markings, 124535148 edges, 267827 markings/sec, 200 secs
lola: 55925082 markings, 127435225 edges, 267248 markings/sec, 205 secs
lola: 57202444 markings, 130327362 edges, 255472 markings/sec, 210 secs
lola: 58462135 markings, 133165596 edges, 251938 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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 13 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1345579 markings, 2910841 edges, 269116 markings/sec, 0 secs
lola: 2470677 markings, 5641415 edges, 225020 markings/sec, 5 secs
lola: 3542801 markings, 8348387 edges, 214425 markings/sec, 10 secs
lola: 4552665 markings, 10969557 edges, 201973 markings/sec, 15 secs
lola: 5579198 markings, 13510678 edges, 205307 markings/sec, 20 secs
lola: 6616687 markings, 15972602 edges, 207498 markings/sec, 25 secs
lola: 7658415 markings, 18417954 edges, 208346 markings/sec, 30 secs
lola: 8705145 markings, 20837171 edges, 209346 markings/sec, 35 secs
lola: 9746758 markings, 23328586 edges, 208323 markings/sec, 40 secs
lola: 10796518 markings, 25899336 edges, 209952 markings/sec, 45 secs
lola: 11815610 markings, 28455025 edges, 203818 markings/sec, 50 secs
lola: 12825767 markings, 31032473 edges, 202031 markings/sec, 55 secs
lola: 13832409 markings, 33616187 edges, 201328 markings/sec, 60 secs
lola: 14825347 markings, 36168433 edges, 198588 markings/sec, 65 secs
lola: 15821502 markings, 38736614 edges, 199231 markings/sec, 70 secs
lola: 16809814 markings, 41150959 edges, 197662 markings/sec, 75 secs
lola: 17770468 markings, 43788677 edges, 192131 markings/sec, 80 secs
lola: 18711438 markings, 46401222 edges, 188194 markings/sec, 85 secs
lola: 19654253 markings, 48973478 edges, 188563 markings/sec, 90 secs
lola: 20609323 markings, 51442131 edges, 191014 markings/sec, 95 secs
lola: 21554822 markings, 53954103 edges, 189100 markings/sec, 100 secs
lola: 22492384 markings, 56486154 edges, 187512 markings/sec, 105 secs
lola: 23414894 markings, 59003490 edges, 184502 markings/sec, 110 secs
lola: 24329752 markings, 61552187 edges, 182972 markings/sec, 115 secs
lola: 25259000 markings, 63948695 edges, 185850 markings/sec, 120 secs
lola: 26175996 markings, 66403147 edges, 183399 markings/sec, 125 secs
lola: 27075716 markings, 68966930 edges, 179944 markings/sec, 130 secs
lola: 27977121 markings, 71407486 edges, 180281 markings/sec, 135 secs
lola: 28881897 markings, 73857783 edges, 180955 markings/sec, 140 secs
lola: 29791116 markings, 76309870 edges, 181844 markings/sec, 145 secs
lola: 30685982 markings, 78888472 edges, 178973 markings/sec, 150 secs
lola: 31604351 markings, 81321319 edges, 183674 markings/sec, 155 secs
lola: 32522328 markings, 83733454 edges, 183595 markings/sec, 160 secs
lola: 33457910 markings, 86218780 edges, 187116 markings/sec, 165 secs
lola: 34331295 markings, 88627347 edges, 174677 markings/sec, 170 secs
lola: 35206511 markings, 91052863 edges, 175043 markings/sec, 175 secs
lola: 36079665 markings, 93520314 edges, 174631 markings/sec, 180 secs
lola: 36969796 markings, 96028631 edges, 178026 markings/sec, 185 secs
lola: 37824748 markings, 98528901 edges, 170990 markings/sec, 190 secs
lola: 38718654 markings, 100945409 edges, 178781 markings/sec, 195 secs
lola: 39600592 markings, 103360851 edges, 176388 markings/sec, 200 secs
lola: 40464389 markings, 106009024 edges, 172759 markings/sec, 205 secs
lola: 41272154 markings, 108535327 edges, 161553 markings/sec, 210 secs
lola: 42145557 markings, 111074495 edges, 174681 markings/sec, 215 secs
lola: 42990708 markings, 113529820 edges, 169030 markings/sec, 220 secs
lola: 43855710 markings, 115932682 edges, 173000 markings/sec, 225 secs
lola: 44723095 markings, 118362327 edges, 173477 markings/sec, 230 secs
lola: 45588076 markings, 120691363 edges, 172996 markings/sec, 235 secs
lola: 46437034 markings, 123055369 edges, 169792 markings/sec, 240 secs
lola: 47294396 markings, 125463466 edges, 171472 markings/sec, 245 secs
lola: 48172889 markings, 127859868 edges, 175699 markings/sec, 250 secs
lola: 49074154 markings, 130309190 edges, 180253 markings/sec, 255 secs
lola: 49927198 markings, 132771654 edges, 170609 markings/sec, 260 secs
lola: 50753946 markings, 135207148 edges, 165350 markings/sec, 265 secs
lola: 51572683 markings, 137857440 edges, 163747 markings/sec, 270 secs
lola: 52363155 markings, 140470661 edges, 158094 markings/sec, 275 secs
lola: 53176611 markings, 142972404 edges, 162691 markings/sec, 280 secs
lola: 53976070 markings, 145355001 edges, 159892 markings/sec, 285 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 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1567756 markings, 2335226 edges, 313551 markings/sec, 0 secs
lola: 2907628 markings, 4628849 edges, 267974 markings/sec, 5 secs
lola: 4184157 markings, 6896831 edges, 255306 markings/sec, 10 secs
lola: 5397884 markings, 9178121 edges, 242745 markings/sec, 15 secs
lola: 6538051 markings, 11518419 edges, 228033 markings/sec, 20 secs
lola: 7661659 markings, 13932023 edges, 224722 markings/sec, 25 secs
lola: 8757238 markings, 16482693 edges, 219116 markings/sec, 30 secs
lola: 9807206 markings, 19079298 edges, 209994 markings/sec, 35 secs
lola: 10838903 markings, 21737767 edges, 206339 markings/sec, 40 secs
lola: 11829198 markings, 24462324 edges, 198059 markings/sec, 45 secs
lola: 12806167 markings, 27219272 edges, 195394 markings/sec, 50 secs
lola: 13737599 markings, 30067717 edges, 186286 markings/sec, 55 secs
lola: 14658396 markings, 32766344 edges, 184159 markings/sec, 60 secs
lola: 15600540 markings, 35637476 edges, 188429 markings/sec, 65 secs
lola: 16538166 markings, 38555155 edges, 187525 markings/sec, 70 secs
lola: 17483788 markings, 41417421 edges, 189124 markings/sec, 75 secs
lola: 18408942 markings, 44303945 edges, 185031 markings/sec, 80 secs
lola: 19311450 markings, 47125775 edges, 180502 markings/sec, 85 secs
lola: 20181901 markings, 49917845 edges, 174090 markings/sec, 90 secs
lola: 21064537 markings, 52718165 edges, 176527 markings/sec, 95 secs
lola: 22010623 markings, 55473488 edges, 189217 markings/sec, 100 secs
lola: 22920060 markings, 58283764 edges, 181887 markings/sec, 105 secs
lola: 23821739 markings, 61124683 edges, 180336 markings/sec, 110 secs
lola: 24749213 markings, 63907467 edges, 185495 markings/sec, 115 secs
lola: 25722795 markings, 66539468 edges, 194716 markings/sec, 120 secs
lola: 26701840 markings, 69200644 edges, 195809 markings/sec, 125 secs
lola: 27702705 markings, 71746372 edges, 200173 markings/sec, 130 secs
lola: 28714594 markings, 74231614 edges, 202378 markings/sec, 135 secs
lola: 29721612 markings, 76716987 edges, 201404 markings/sec, 140 secs
lola: 30723568 markings, 79218645 edges, 200391 markings/sec, 145 secs
lola: 31723083 markings, 81702697 edges, 199903 markings/sec, 150 secs
lola: 32710488 markings, 84253552 edges, 197481 markings/sec, 155 secs
lola: 33688820 markings, 86783595 edges, 195666 markings/sec, 160 secs
lola: 34664352 markings, 89245764 edges, 195106 markings/sec, 165 secs
lola: 35668833 markings, 91674496 edges, 200896 markings/sec, 170 secs
lola: 36659774 markings, 94187718 edges, 198188 markings/sec, 175 secs
lola: 37655711 markings, 96640273 edges, 199187 markings/sec, 180 secs
lola: 38633421 markings, 99078749 edges, 195542 markings/sec, 185 secs
lola: 39617315 markings, 101570682 edges, 196779 markings/sec, 190 secs
lola: 40550230 markings, 103996851 edges, 186583 markings/sec, 195 secs
lola: 41510210 markings, 106466238 edges, 191996 markings/sec, 200 secs
lola: 42477908 markings, 108973165 edges, 193540 markings/sec, 205 secs
lola: 43457432 markings, 111472717 edges, 195905 markings/sec, 210 secs
lola: 44418321 markings, 113965799 edges, 192178 markings/sec, 215 secs
lola: 45372605 markings, 116506640 edges, 190857 markings/sec, 220 secs
lola: 46333240 markings, 119013134 edges, 192127 markings/sec, 225 secs
lola: 47317195 markings, 121578187 edges, 196791 markings/sec, 230 secs
lola: 48285795 markings, 124161414 edges, 193720 markings/sec, 235 secs
lola: 49242571 markings, 126696994 edges, 191355 markings/sec, 240 secs
lola: 50172774 markings, 129201542 edges, 186041 markings/sec, 245 secs
lola: 51112829 markings, 131724721 edges, 188011 markings/sec, 250 secs
lola: 52042011 markings, 134234306 edges, 185836 markings/sec, 255 secs
lola: 52975881 markings, 136748455 edges, 186774 markings/sec, 260 secs
lola: 53904957 markings, 139256000 edges, 185815 markings/sec, 265 secs
lola: 54815305 markings, 141751685 edges, 182070 markings/sec, 270 secs
lola: 55740484 markings, 144286113 edges, 185036 markings/sec, 275 secs
lola: 56674359 markings, 146859155 edges, 186775 markings/sec, 280 secs
lola: 57580484 markings, 149427114 edges, 181225 markings/sec, 285 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 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 2 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: 1769089 markings, 2399027 edges, 353818 markings/sec, 0 secs
lola: 3246479 markings, 4626161 edges, 295478 markings/sec, 5 secs
lola: 4627940 markings, 6807541 edges, 276292 markings/sec, 10 secs
lola: 5943534 markings, 8964254 edges, 263119 markings/sec, 15 secs
lola: 7206939 markings, 11103478 edges, 252681 markings/sec, 20 secs
lola: 8427925 markings, 13230770 edges, 244197 markings/sec, 25 secs
lola: 9601738 markings, 15367901 edges, 234763 markings/sec, 30 secs
lola: 10735571 markings, 17466383 edges, 226767 markings/sec, 35 secs
lola: 11859488 markings, 19678250 edges, 224783 markings/sec, 40 secs
lola: 12976414 markings, 21893255 edges, 223385 markings/sec, 45 secs
lola: 14058972 markings, 24170448 edges, 216512 markings/sec, 50 secs
lola: 15109096 markings, 26365091 edges, 210025 markings/sec, 55 secs
lola: 16169666 markings, 28596379 edges, 212114 markings/sec, 60 secs
lola: 17239902 markings, 30802159 edges, 214047 markings/sec, 65 secs
lola: 18275128 markings, 32943913 edges, 207045 markings/sec, 70 secs
lola: 19311056 markings, 35230512 edges, 207186 markings/sec, 75 secs
lola: 20343666 markings, 37471457 edges, 206522 markings/sec, 80 secs
lola: 21352201 markings, 39675485 edges, 201707 markings/sec, 85 secs
lola: 22356828 markings, 41934447 edges, 200925 markings/sec, 90 secs
lola: 23367240 markings, 44223902 edges, 202082 markings/sec, 95 secs
lola: 24367701 markings, 46522579 edges, 200092 markings/sec, 100 secs
lola: 25327407 markings, 48807416 edges, 191941 markings/sec, 105 secs
lola: 26311188 markings, 51174914 edges, 196756 markings/sec, 110 secs
lola: 27280822 markings, 53502354 edges, 193927 markings/sec, 115 secs
lola: 28228646 markings, 55808928 edges, 189565 markings/sec, 120 secs
lola: 29175666 markings, 58140069 edges, 189404 markings/sec, 125 secs
lola: 30139077 markings, 60479579 edges, 192682 markings/sec, 130 secs
lola: 31100659 markings, 62774205 edges, 192316 markings/sec, 135 secs
lola: 32046432 markings, 65101127 edges, 189155 markings/sec, 140 secs
lola: 32976370 markings, 67381918 edges, 185988 markings/sec, 145 secs
lola: 33942671 markings, 69797001 edges, 193260 markings/sec, 150 secs
lola: 34886858 markings, 72200138 edges, 188837 markings/sec, 155 secs
lola: 35825231 markings, 74582025 edges, 187675 markings/sec, 160 secs
lola: 36745114 markings, 76943251 edges, 183977 markings/sec, 165 secs
lola: 37639286 markings, 79230682 edges, 178834 markings/sec, 170 secs
lola: 38581026 markings, 81673922 edges, 188348 markings/sec, 175 secs
lola: 39405920 markings, 83806405 edges, 164979 markings/sec, 180 secs
lola: 40327090 markings, 86213660 edges, 184234 markings/sec, 185 secs
lola: 41193794 markings, 88489582 edges, 173341 markings/sec, 190 secs
lola: 42126004 markings, 90978913 edges, 186442 markings/sec, 195 secs
lola: 43001848 markings, 93302597 edges, 175169 markings/sec, 200 secs
lola: 43917822 markings, 95749560 edges, 183195 markings/sec, 205 secs
lola: 44853725 markings, 98260374 edges, 187181 markings/sec, 210 secs
lola: 45766972 markings, 100741405 edges, 182649 markings/sec, 215 secs
lola: 46667641 markings, 103248291 edges, 180134 markings/sec, 220 secs
lola: 47568553 markings, 105690956 edges, 180182 markings/sec, 225 secs
lola: 48452178 markings, 108089941 edges, 176725 markings/sec, 230 secs
lola: 49371736 markings, 110554485 edges, 183912 markings/sec, 235 secs
lola: 50267365 markings, 113034046 edges, 179126 markings/sec, 240 secs
lola: 51162696 markings, 115581634 edges, 179066 markings/sec, 245 secs
lola: 52067306 markings, 118079329 edges, 180922 markings/sec, 250 secs
lola: 52963988 markings, 120547478 edges, 179336 markings/sec, 255 secs
lola: 53855721 markings, 123029699 edges, 178347 markings/sec, 260 secs
lola: 54748957 markings, 125510986 edges, 178647 markings/sec, 265 secs
lola: 55637708 markings, 128018168 edges, 177750 markings/sec, 270 secs
lola: 56531915 markings, 130515780 edges, 178841 markings/sec, 275 secs
lola: 57408924 markings, 133017238 edges, 175402 markings/sec, 280 secs
lola: 58308666 markings, 135474015 edges, 179948 markings/sec, 285 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA ProductionCell-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ProductionCell-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496365387107

--------------------
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_ProductionCell-PT-none"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_ProductionCell-PT-none.tgz
mv S_ProductionCell-PT-none execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_ProductionCell-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r138-smll-149479231700182"
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 ;