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-3253
Executing tool lola
Input is S_DES-PT-30a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700281
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496452875441


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


checking for too many tokens
===========================================================================================
S_DES-PT-30a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-30a @ 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: 425/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 234 places, 191 transitions, 175 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 216 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30a-UpperBounds.task
lola: MAX(p79) : MAX(p92) : MAX(p58) : MAX(p4) : MAX(p186) : MAX(p62) : MAX(p223) : MAX(p85) : MAX(p47) : MAX(p140) : MAX(p199) : MAX(p150) : MAX(p195) : MAX(p82) : MAX(p199) : MAX(p137)
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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 844158 markings, 1712815 edges, 168832 markings/sec, 0 secs
lola: 1687075 markings, 3426063 edges, 168583 markings/sec, 5 secs
lola: 2558102 markings, 5195209 edges, 174205 markings/sec, 10 secs
lola: 3421737 markings, 6947059 edges, 172727 markings/sec, 15 secs
lola: 4312685 markings, 8749375 edges, 178190 markings/sec, 20 secs
lola: 5081537 markings, 10372817 edges, 153770 markings/sec, 25 secs
lola: 5873614 markings, 12061251 edges, 158415 markings/sec, 30 secs
lola: 6717277 markings, 13760812 edges, 168733 markings/sec, 35 secs
lola: 7569850 markings, 15532099 edges, 170515 markings/sec, 40 secs
lola: 8390805 markings, 17291534 edges, 164191 markings/sec, 45 secs
lola: 9245724 markings, 19036125 edges, 170984 markings/sec, 50 secs
lola: 10076577 markings, 20791560 edges, 166171 markings/sec, 55 secs
lola: 10884007 markings, 22503206 edges, 161486 markings/sec, 60 secs
lola: 11737211 markings, 24186958 edges, 170641 markings/sec, 65 secs
lola: 12580383 markings, 25929107 edges, 168634 markings/sec, 70 secs
lola: 13430476 markings, 27692714 edges, 170019 markings/sec, 75 secs
lola: 14235210 markings, 29378728 edges, 160947 markings/sec, 80 secs
lola: 15077599 markings, 31120588 edges, 168478 markings/sec, 85 secs
lola: 15881037 markings, 32841584 edges, 160688 markings/sec, 90 secs
lola: 16713260 markings, 34529641 edges, 166445 markings/sec, 95 secs
lola: 17591472 markings, 36278112 edges, 175642 markings/sec, 100 secs
lola: 18430344 markings, 38041274 edges, 167774 markings/sec, 105 secs
lola: 19248096 markings, 39788915 edges, 163550 markings/sec, 110 secs
lola: 20099049 markings, 41501931 edges, 170191 markings/sec, 115 secs
lola: 20920127 markings, 43222844 edges, 164216 markings/sec, 120 secs
lola: 21687642 markings, 44851296 edges, 153503 markings/sec, 125 secs
lola: 22529149 markings, 46531069 edges, 168301 markings/sec, 130 secs
lola: 23378331 markings, 48261444 edges, 169836 markings/sec, 135 secs
lola: 24224306 markings, 50025140 edges, 169195 markings/sec, 140 secs
lola: 24996748 markings, 51726992 edges, 154488 markings/sec, 145 secs
lola: 25862052 markings, 53444579 edges, 173061 markings/sec, 150 secs
lola: 26679119 markings, 55167350 edges, 163413 markings/sec, 155 secs
lola: 27486209 markings, 56851393 edges, 161418 markings/sec, 160 secs
lola: 28330760 markings, 58549338 edges, 168910 markings/sec, 165 secs
lola: 29172049 markings, 60273287 edges, 168258 markings/sec, 170 secs
lola: 30009987 markings, 62016495 edges, 167588 markings/sec, 175 secs
lola: 30827536 markings, 63704838 edges, 163510 markings/sec, 180 secs
lola: 31653512 markings, 65432256 edges, 165195 markings/sec, 185 secs
lola: 32444324 markings, 67131654 edges, 158162 markings/sec, 190 secs
lola: 33263108 markings, 68783011 edges, 163757 markings/sec, 195 secs
lola: 34118380 markings, 70482648 edges, 171054 markings/sec, 200 secs
lola: 34944252 markings, 72216138 edges, 165174 markings/sec, 205 secs
lola: 35738434 markings, 73917657 edges, 158836 markings/sec, 210 secs
lola: 36584442 markings, 75622610 edges, 169202 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(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1090586 markings, 1581845 edges, 218117 markings/sec, 0 secs
lola: 2150290 markings, 3258840 edges, 211941 markings/sec, 5 secs
lola: 3164358 markings, 5040538 edges, 202814 markings/sec, 10 secs
lola: 4167975 markings, 6765047 edges, 200723 markings/sec, 15 secs
lola: 5056305 markings, 8552009 edges, 177666 markings/sec, 20 secs
lola: 5944282 markings, 10410801 edges, 177595 markings/sec, 25 secs
lola: 6761346 markings, 12293338 edges, 163413 markings/sec, 30 secs
lola: 7598931 markings, 14160133 edges, 167517 markings/sec, 35 secs
lola: 8471505 markings, 15902449 edges, 174515 markings/sec, 40 secs
lola: 9344581 markings, 17639813 edges, 174615 markings/sec, 45 secs
lola: 10216127 markings, 19421196 edges, 174309 markings/sec, 50 secs
lola: 11062593 markings, 21153189 edges, 169293 markings/sec, 55 secs
lola: 11928047 markings, 22917234 edges, 173091 markings/sec, 60 secs
lola: 12791449 markings, 24657091 edges, 172680 markings/sec, 65 secs
lola: 13648179 markings, 26381861 edges, 171346 markings/sec, 70 secs
lola: 14510541 markings, 28148310 edges, 172472 markings/sec, 75 secs
lola: 15343589 markings, 29855604 edges, 166610 markings/sec, 80 secs
lola: 16208702 markings, 31594685 edges, 173023 markings/sec, 85 secs
lola: 17058527 markings, 33358395 edges, 169965 markings/sec, 90 secs
lola: 17906761 markings, 35111326 edges, 169647 markings/sec, 95 secs
lola: 18752525 markings, 36847758 edges, 169153 markings/sec, 100 secs
lola: 19615283 markings, 38618720 edges, 172552 markings/sec, 105 secs
lola: 20486057 markings, 40452121 edges, 174155 markings/sec, 110 secs
lola: 21469424 markings, 42115624 edges, 196673 markings/sec, 115 secs
lola: 22360018 markings, 43903626 edges, 178119 markings/sec, 120 secs
lola: 23214465 markings, 45687528 edges, 170889 markings/sec, 125 secs
lola: 24075731 markings, 47429983 edges, 172253 markings/sec, 130 secs
lola: 24925330 markings, 49179478 edges, 169920 markings/sec, 135 secs
lola: 25792264 markings, 50963042 edges, 173387 markings/sec, 140 secs
lola: 26586281 markings, 52849191 edges, 158803 markings/sec, 145 secs
lola: 27369807 markings, 54712852 edges, 156705 markings/sec, 150 secs
lola: 28153141 markings, 56581551 edges, 156667 markings/sec, 155 secs
lola: 28942544 markings, 58423928 edges, 157881 markings/sec, 160 secs
lola: 29776584 markings, 60216325 edges, 166808 markings/sec, 165 secs
lola: 30667061 markings, 62019047 edges, 178095 markings/sec, 170 secs
lola: 31524342 markings, 63825276 edges, 171456 markings/sec, 175 secs
lola: 32343767 markings, 65680819 edges, 163885 markings/sec, 180 secs
lola: 33121317 markings, 67510281 edges, 155510 markings/sec, 185 secs
lola: 33982014 markings, 69326404 edges, 172139 markings/sec, 190 secs
lola: 34789419 markings, 71210285 edges, 161481 markings/sec, 195 secs
lola: 35586428 markings, 73026850 edges, 159402 markings/sec, 200 secs
lola: 36385614 markings, 74852451 edges, 159837 markings/sec, 205 secs
lola: 37197577 markings, 76697408 edges, 162393 markings/sec, 210 secs
lola: 38088756 markings, 78497085 edges, 178236 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1559749 markings, 1709645 edges, 311950 markings/sec, 0 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1271605 markings, 1864451 edges, 254321 markings/sec, 0 secs
lola: 2534886 markings, 3744250 edges, 252656 markings/sec, 5 secs
lola: 3725891 markings, 5602146 edges, 238201 markings/sec, 10 secs
lola: 4967176 markings, 7402395 edges, 248257 markings/sec, 15 secs
lola: 6166341 markings, 9232647 edges, 239833 markings/sec, 20 secs
lola: 7348581 markings, 11098845 edges, 236448 markings/sec, 25 secs
lola: 8562939 markings, 12937408 edges, 242872 markings/sec, 30 secs
lola: 9834889 markings, 14793245 edges, 254390 markings/sec, 35 secs
lola: 11013557 markings, 16606019 edges, 235734 markings/sec, 40 secs
lola: 12119696 markings, 18427771 edges, 221228 markings/sec, 45 secs
lola: 13341110 markings, 20223178 edges, 244283 markings/sec, 50 secs
lola: 14544907 markings, 22020239 edges, 240759 markings/sec, 55 secs
lola: 15727391 markings, 23831582 edges, 236497 markings/sec, 60 secs
lola: 16912128 markings, 25640963 edges, 236947 markings/sec, 65 secs
lola: 18126604 markings, 27483830 edges, 242895 markings/sec, 70 secs
lola: 19359856 markings, 29335740 edges, 246650 markings/sec, 75 secs
lola: 20524319 markings, 31178379 edges, 232893 markings/sec, 80 secs
lola: 21668566 markings, 33033012 edges, 228849 markings/sec, 85 secs
lola: 22883917 markings, 34849910 edges, 243070 markings/sec, 90 secs
lola: 24074405 markings, 36685718 edges, 238098 markings/sec, 95 secs
lola: 25327688 markings, 38551316 edges, 250657 markings/sec, 100 secs
lola: 26536989 markings, 40383872 edges, 241860 markings/sec, 105 secs
lola: 27702116 markings, 42206868 edges, 233025 markings/sec, 110 secs
lola: 28804119 markings, 44027581 edges, 220401 markings/sec, 115 secs
lola: 29932989 markings, 45833184 edges, 225774 markings/sec, 120 secs
lola: 31138956 markings, 47594131 edges, 241193 markings/sec, 125 secs
lola: 32340453 markings, 49378784 edges, 240299 markings/sec, 130 secs
lola: 33500702 markings, 51167438 edges, 232050 markings/sec, 135 secs
lola: 34661452 markings, 52936079 edges, 232150 markings/sec, 140 secs
lola: 35817551 markings, 54722278 edges, 231220 markings/sec, 145 secs
lola: 36995391 markings, 56519295 edges, 235568 markings/sec, 150 secs
lola: 38158286 markings, 58313247 edges, 232579 markings/sec, 155 secs
lola: 39327948 markings, 60120491 edges, 233932 markings/sec, 160 secs
lola: 40492463 markings, 61936737 edges, 232903 markings/sec, 165 secs
lola: 41661791 markings, 63755576 edges, 233866 markings/sec, 170 secs
lola: 42860800 markings, 65591983 edges, 239802 markings/sec, 175 secs
lola: 43977541 markings, 67423417 edges, 223348 markings/sec, 180 secs
lola: 45089999 markings, 69261943 edges, 222492 markings/sec, 185 secs
lola: 46250947 markings, 71073025 edges, 232190 markings/sec, 190 secs
lola: 47432616 markings, 72874121 edges, 236334 markings/sec, 195 secs
lola: 48602646 markings, 74690578 edges, 234006 markings/sec, 200 secs
lola: 49808008 markings, 76535548 edges, 241072 markings/sec, 205 secs
lola: 51050191 markings, 78366009 edges, 248437 markings/sec, 210 secs
lola: 52211153 markings, 80138001 edges, 232192 markings/sec, 215 secs
lola: 53333764 markings, 81930301 edges, 224522 markings/sec, 220 secs
lola: 54427315 markings, 83720042 edges, 218710 markings/sec, 225 secs
lola: 55517533 markings, 85512637 edges, 218044 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1051692 markings, 1923289 edges, 210338 markings/sec, 0 secs
lola: 2155591 markings, 3849441 edges, 220780 markings/sec, 5 secs
lola: 3221604 markings, 5832735 edges, 213203 markings/sec, 10 secs
lola: 4288563 markings, 7782062 edges, 213392 markings/sec, 15 secs
lola: 5351415 markings, 9733330 edges, 212570 markings/sec, 20 secs
lola: 6365217 markings, 11695369 edges, 202760 markings/sec, 25 secs
lola: 7408585 markings, 13608506 edges, 208674 markings/sec, 30 secs
lola: 8449392 markings, 15523272 edges, 208161 markings/sec, 35 secs
lola: 9440495 markings, 17438045 edges, 198221 markings/sec, 40 secs
lola: 10467517 markings, 19310353 edges, 205404 markings/sec, 45 secs
lola: 11481036 markings, 21195089 edges, 202704 markings/sec, 50 secs
lola: 12460555 markings, 23074951 edges, 195904 markings/sec, 55 secs
lola: 13439051 markings, 24849034 edges, 195699 markings/sec, 60 secs
lola: 14383097 markings, 26647666 edges, 188809 markings/sec, 65 secs
lola: 15350667 markings, 28449816 edges, 193514 markings/sec, 70 secs
lola: 16324224 markings, 30225551 edges, 194711 markings/sec, 75 secs
lola: 17269889 markings, 32060085 edges, 189133 markings/sec, 80 secs
lola: 18262190 markings, 33864603 edges, 198460 markings/sec, 85 secs
lola: 19227276 markings, 35669066 edges, 193017 markings/sec, 90 secs
lola: 20185458 markings, 37489649 edges, 191636 markings/sec, 95 secs
lola: 21165691 markings, 39272123 edges, 196047 markings/sec, 100 secs
lola: 22101060 markings, 41060784 edges, 187074 markings/sec, 105 secs
lola: 23050987 markings, 42829158 edges, 189985 markings/sec, 110 secs
lola: 24007140 markings, 44581040 edges, 191231 markings/sec, 115 secs
lola: 24932678 markings, 46365838 edges, 185108 markings/sec, 120 secs
lola: 25871043 markings, 48058375 edges, 187673 markings/sec, 125 secs
lola: 26789558 markings, 49816358 edges, 183703 markings/sec, 130 secs
lola: 27723893 markings, 51554916 edges, 186867 markings/sec, 135 secs
lola: 28662464 markings, 53281222 edges, 187714 markings/sec, 140 secs
lola: 29574597 markings, 55029914 edges, 182427 markings/sec, 145 secs
lola: 30524219 markings, 56746321 edges, 189924 markings/sec, 150 secs
lola: 31434633 markings, 58492614 edges, 182083 markings/sec, 155 secs
lola: 32365873 markings, 60213430 edges, 186248 markings/sec, 160 secs
lola: 33289122 markings, 61926635 edges, 184650 markings/sec, 165 secs
lola: 34198161 markings, 63658176 edges, 181808 markings/sec, 170 secs
lola: 35136144 markings, 65355333 edges, 187597 markings/sec, 175 secs
lola: 36020785 markings, 67077202 edges, 176928 markings/sec, 180 secs
lola: 36958373 markings, 68772280 edges, 187518 markings/sec, 185 secs
lola: 37855128 markings, 70472231 edges, 179351 markings/sec, 190 secs
lola: 38766436 markings, 72180952 edges, 182262 markings/sec, 195 secs
lola: 39697016 markings, 73875322 edges, 186116 markings/sec, 200 secs
lola: 40577429 markings, 75589439 edges, 176083 markings/sec, 205 secs
lola: 41499150 markings, 77250543 edges, 184344 markings/sec, 210 secs
lola: 42443382 markings, 78950086 edges, 188846 markings/sec, 215 secs
lola: 43346328 markings, 80665846 edges, 180589 markings/sec, 220 secs
lola: 44188865 markings, 82319944 edges, 168507 markings/sec, 225 secs
lola: 45014727 markings, 83952558 edges, 165172 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 810095 markings, 1641540 edges, 162019 markings/sec, 0 secs
lola: 1619762 markings, 3294998 edges, 161933 markings/sec, 5 secs
lola: 2442592 markings, 4960278 edges, 164566 markings/sec, 10 secs
lola: 3253567 markings, 6609584 edges, 162195 markings/sec, 15 secs
lola: 4085843 markings, 8302661 edges, 166455 markings/sec, 20 secs
lola: 4822549 markings, 9840172 edges, 147341 markings/sec, 25 secs
lola: 5593655 markings, 11467088 edges, 154221 markings/sec, 30 secs
lola: 6356526 markings, 13038470 edges, 152574 markings/sec, 35 secs
lola: 7167788 markings, 14696160 edges, 162252 markings/sec, 40 secs
lola: 7974031 markings, 16379965 edges, 161249 markings/sec, 45 secs
lola: 8751141 markings, 18022152 edges, 155422 markings/sec, 50 secs
lola: 9558583 markings, 19699944 edges, 161488 markings/sec, 55 secs
lola: 10323896 markings, 21341305 edges, 153063 markings/sec, 60 secs
lola: 11109278 markings, 22943521 edges, 157076 markings/sec, 65 secs
lola: 11933489 markings, 24595686 edges, 164842 markings/sec, 70 secs
lola: 12733687 markings, 26262767 edges, 160040 markings/sec, 75 secs
lola: 13527347 markings, 27926416 edges, 158732 markings/sec, 80 secs
lola: 14326080 markings, 29553121 edges, 159747 markings/sec, 85 secs
lola: 15119016 markings, 31218279 edges, 158587 markings/sec, 90 secs
lola: 15878423 markings, 32852755 edges, 151881 markings/sec, 95 secs
lola: 16670021 markings, 34450548 edges, 158320 markings/sec, 100 secs
lola: 17504453 markings, 36106668 edges, 166886 markings/sec, 105 secs
lola: 18295582 markings, 37778163 edges, 158226 markings/sec, 110 secs
lola: 19079179 markings, 39431597 edges, 156719 markings/sec, 115 secs
lola: 19876967 markings, 41040212 edges, 159558 markings/sec, 120 secs
lola: 20649271 markings, 42669365 edges, 154461 markings/sec, 125 secs
lola: 21399557 markings, 44271630 edges, 150057 markings/sec, 130 secs
lola: 22172309 markings, 45839291 edges, 154550 markings/sec, 135 secs
lola: 22988992 markings, 47459068 edges, 163337 markings/sec, 140 secs
lola: 23763537 markings, 49090025 edges, 154909 markings/sec, 145 secs
lola: 24537118 markings, 50716452 edges, 154716 markings/sec, 150 secs
lola: 25328437 markings, 52323568 edges, 158264 markings/sec, 155 secs
lola: 26109955 markings, 53966735 edges, 156304 markings/sec, 160 secs
lola: 26863688 markings, 55584929 edges, 150747 markings/sec, 165 secs
lola: 27645864 markings, 57165369 edges, 156435 markings/sec, 170 secs
lola: 28461945 markings, 58790772 edges, 163216 markings/sec, 175 secs
lola: 29244555 markings, 60439504 edges, 156522 markings/sec, 180 secs
lola: 30027429 markings, 62078197 edges, 156575 markings/sec, 185 secs
lola: 30810849 markings, 63677240 edges, 156684 markings/sec, 190 secs
lola: 31587724 markings, 65304786 edges, 155375 markings/sec, 195 secs
lola: 32336804 markings, 66910417 edges, 149816 markings/sec, 200 secs
lola: 33109937 markings, 68475570 edges, 154627 markings/sec, 205 secs
lola: 33902978 markings, 70077070 edges, 158608 markings/sec, 210 secs
lola: 34683750 markings, 71698436 edges, 156154 markings/sec, 215 secs
lola: 35463061 markings, 73317566 edges, 155862 markings/sec, 220 secs
lola: 36234851 markings, 74906426 edges, 154358 markings/sec, 225 secs
lola: 37025420 markings, 76553117 edges, 158114 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 917212 markings, 1923438 edges, 183442 markings/sec, 0 secs
lola: 1774021 markings, 3817085 edges, 171362 markings/sec, 5 secs
lola: 2647403 markings, 5692867 edges, 174676 markings/sec, 10 secs
lola: 3513844 markings, 7538967 edges, 173288 markings/sec, 15 secs
lola: 4349449 markings, 9394693 edges, 167121 markings/sec, 20 secs
lola: 5209076 markings, 11224210 edges, 171925 markings/sec, 25 secs
lola: 6034941 markings, 13053805 edges, 165173 markings/sec, 30 secs
lola: 6886164 markings, 14870606 edges, 170245 markings/sec, 35 secs
lola: 7708577 markings, 16693485 edges, 164483 markings/sec, 40 secs
lola: 8559237 markings, 18494307 edges, 170132 markings/sec, 45 secs
lola: 9365292 markings, 20296739 edges, 161211 markings/sec, 50 secs
lola: 10198346 markings, 22045500 edges, 166611 markings/sec, 55 secs
lola: 10987149 markings, 23821327 edges, 157761 markings/sec, 60 secs
lola: 11802231 markings, 25530528 edges, 163016 markings/sec, 65 secs
lola: 12576591 markings, 27268914 edges, 154872 markings/sec, 70 secs
lola: 13407942 markings, 29015961 edges, 166270 markings/sec, 75 secs
lola: 14202513 markings, 30790392 edges, 158914 markings/sec, 80 secs
lola: 15028790 markings, 32525183 edges, 165255 markings/sec, 85 secs
lola: 15837347 markings, 34326426 edges, 161711 markings/sec, 90 secs
lola: 16660210 markings, 36062900 edges, 164573 markings/sec, 95 secs
lola: 17463084 markings, 37846236 edges, 160575 markings/sec, 100 secs
lola: 18263081 markings, 39541846 edges, 159999 markings/sec, 105 secs
lola: 19054596 markings, 41297160 edges, 158303 markings/sec, 110 secs
lola: 19838826 markings, 42961042 edges, 156846 markings/sec, 115 secs
lola: 20620092 markings, 44697285 edges, 156253 markings/sec, 120 secs
lola: 21413167 markings, 46375311 edges, 158615 markings/sec, 125 secs
lola: 22190296 markings, 48106526 edges, 155426 markings/sec, 130 secs
lola: 22991212 markings, 49798928 edges, 160183 markings/sec, 135 secs
lola: 23771870 markings, 51538747 edges, 156132 markings/sec, 140 secs
lola: 24567759 markings, 53219382 edges, 159178 markings/sec, 145 secs
lola: 25345019 markings, 54952180 edges, 155452 markings/sec, 150 secs
lola: 26134643 markings, 56621187 edges, 157925 markings/sec, 155 secs
lola: 26902265 markings, 58337034 edges, 153524 markings/sec, 160 secs
lola: 27688168 markings, 59991131 edges, 157181 markings/sec, 165 secs
lola: 28449693 markings, 61699630 edges, 152305 markings/sec, 170 secs
lola: 29229197 markings, 63344747 edges, 155901 markings/sec, 175 secs
lola: 29986310 markings, 65041774 edges, 151423 markings/sec, 180 secs
lola: 30770131 markings, 66679225 edges, 156764 markings/sec, 185 secs
lola: 31518436 markings, 68361283 edges, 149661 markings/sec, 190 secs
lola: 32295566 markings, 69990592 edges, 155426 markings/sec, 195 secs
lola: 33042962 markings, 71661389 edges, 149479 markings/sec, 200 secs
lola: 33808143 markings, 73277762 edges, 153036 markings/sec, 205 secs
lola: 34553907 markings, 74935021 edges, 149153 markings/sec, 210 secs
lola: 35322431 markings, 76559153 edges, 153705 markings/sec, 215 secs
lola: 36065810 markings, 78208800 edges, 148676 markings/sec, 220 secs
lola: 36828864 markings, 79825801 edges, 152611 markings/sec, 225 secs
lola: 37572455 markings, 81473976 edges, 148718 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 901018 markings, 1830371 edges, 180204 markings/sec, 0 secs
lola: 1795717 markings, 3648455 edges, 178940 markings/sec, 5 secs
lola: 2706212 markings, 5496092 edges, 182099 markings/sec, 10 secs
lola: 3608035 markings, 7324521 edges, 180365 markings/sec, 15 secs
lola: 4524246 markings, 9183316 edges, 183242 markings/sec, 20 secs
lola: 5326889 markings, 10881543 edges, 160529 markings/sec, 25 secs
lola: 6144996 markings, 12609876 edges, 163621 markings/sec, 30 secs
lola: 7039639 markings, 14415260 edges, 178929 markings/sec, 35 secs
lola: 7930281 markings, 16270151 edges, 178128 markings/sec, 40 secs
lola: 8767540 markings, 18076083 edges, 167452 markings/sec, 45 secs
lola: 9673338 markings, 19920722 edges, 181160 markings/sec, 50 secs
lola: 10511361 markings, 21724710 edges, 167605 markings/sec, 55 secs
lola: 11379673 markings, 23486139 edges, 173662 markings/sec, 60 secs
lola: 12300640 markings, 25315690 edges, 184193 markings/sec, 65 secs
lola: 13177518 markings, 27171833 edges, 175376 markings/sec, 70 secs
lola: 14004725 markings, 28962736 edges, 165441 markings/sec, 75 secs
lola: 14912503 markings, 30769178 edges, 181556 markings/sec, 80 secs
lola: 15774109 markings, 32593766 edges, 172321 markings/sec, 85 secs
lola: 16627282 markings, 34372031 edges, 170635 markings/sec, 90 secs
lola: 17524320 markings, 36187628 edges, 179408 markings/sec, 95 secs
lola: 18420621 markings, 38026589 edges, 179260 markings/sec, 100 secs
lola: 19287539 markings, 39855762 edges, 173384 markings/sec, 105 secs
lola: 20169130 markings, 41643807 edges, 176318 markings/sec, 110 secs
lola: 21028691 markings, 43445172 edges, 171912 markings/sec, 115 secs
lola: 21855892 markings, 45208904 edges, 165440 markings/sec, 120 secs
lola: 22750265 markings, 46965681 edges, 178875 markings/sec, 125 secs
lola: 23614286 markings, 48756522 edges, 172804 markings/sec, 130 secs
lola: 24492279 markings, 50576256 edges, 175599 markings/sec, 135 secs
lola: 25324216 markings, 52326965 edges, 166387 markings/sec, 140 secs
lola: 26199948 markings, 54136729 edges, 175146 markings/sec, 145 secs
lola: 27024725 markings, 55904763 edges, 164955 markings/sec, 150 secs
lola: 27882144 markings, 57638487 edges, 171484 markings/sec, 155 secs
lola: 28779864 markings, 59423897 edges, 179544 markings/sec, 160 secs
lola: 29644836 markings, 61253035 edges, 172994 markings/sec, 165 secs
lola: 30461978 markings, 63012571 edges, 163428 markings/sec, 170 secs
lola: 31339833 markings, 64772996 edges, 175571 markings/sec, 175 secs
lola: 32191976 markings, 66572986 edges, 170429 markings/sec, 180 secs
lola: 33024860 markings, 68321631 edges, 166577 markings/sec, 185 secs
lola: 33905325 markings, 70075444 edges, 176093 markings/sec, 190 secs
lola: 34771945 markings, 71860076 edges, 173324 markings/sec, 195 secs
lola: 35630739 markings, 73652671 edges, 171759 markings/sec, 200 secs
lola: 36489691 markings, 75418417 edges, 171790 markings/sec, 205 secs
lola: 37348656 markings, 77217818 edges, 171793 markings/sec, 210 secs
lola: 38174169 markings, 78968231 edges, 165103 markings/sec, 215 secs
lola: 39034475 markings, 80691219 edges, 172061 markings/sec, 220 secs
lola: 39895322 markings, 82439304 edges, 172169 markings/sec, 225 secs
lola: 40755308 markings, 84248750 edges, 171997 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p47)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 978967 markings, 1880817 edges, 195793 markings/sec, 0 secs
lola: 1853277 markings, 3694121 edges, 174862 markings/sec, 5 secs
lola: 2698562 markings, 5485695 edges, 169057 markings/sec, 10 secs
lola: 3510324 markings, 7256781 edges, 162352 markings/sec, 15 secs
lola: 4343117 markings, 9010765 edges, 166559 markings/sec, 20 secs
lola: 5161801 markings, 10807164 edges, 163737 markings/sec, 25 secs
lola: 5997436 markings, 12546785 edges, 167127 markings/sec, 30 secs
lola: 6821954 markings, 14297162 edges, 164904 markings/sec, 35 secs
lola: 7627389 markings, 16058670 edges, 161087 markings/sec, 40 secs
lola: 8444259 markings, 17784602 edges, 163374 markings/sec, 45 secs
lola: 9256631 markings, 19556503 edges, 162474 markings/sec, 50 secs
lola: 10093199 markings, 21296843 edges, 167314 markings/sec, 55 secs
lola: 10925383 markings, 23082953 edges, 166437 markings/sec, 60 secs
lola: 11844755 markings, 24872993 edges, 183874 markings/sec, 65 secs
lola: 12729161 markings, 26697224 edges, 176881 markings/sec, 70 secs
lola: 13570621 markings, 28538635 edges, 168292 markings/sec, 75 secs
lola: 14400098 markings, 30277485 edges, 165895 markings/sec, 80 secs
lola: 15250679 markings, 32096241 edges, 170116 markings/sec, 85 secs
lola: 16030114 markings, 33884078 edges, 155887 markings/sec, 90 secs
lola: 16837435 markings, 35553953 edges, 161464 markings/sec, 95 secs
lola: 17650390 markings, 37334678 edges, 162591 markings/sec, 100 secs
lola: 18434021 markings, 39102063 edges, 156726 markings/sec, 105 secs
lola: 19222580 markings, 40854860 edges, 157712 markings/sec, 110 secs
lola: 20020617 markings, 42525871 edges, 159607 markings/sec, 115 secs
lola: 20840401 markings, 44304173 edges, 163957 markings/sec, 120 secs
lola: 21603998 markings, 46046205 edges, 152719 markings/sec, 125 secs
lola: 22413765 markings, 47759369 edges, 161953 markings/sec, 130 secs
lola: 23195837 markings, 49482433 edges, 156414 markings/sec, 135 secs
lola: 24011797 markings, 51253645 edges, 163192 markings/sec, 140 secs
lola: 24769787 markings, 52998337 edges, 151598 markings/sec, 145 secs
lola: 25593329 markings, 54715668 edges, 164708 markings/sec, 150 secs
lola: 26391626 markings, 56477176 edges, 159659 markings/sec, 155 secs
lola: 27198588 markings, 58258325 edges, 161392 markings/sec, 160 secs
lola: 27968624 markings, 60003025 edges, 154007 markings/sec, 165 secs
lola: 28773105 markings, 61669218 edges, 160896 markings/sec, 170 secs
lola: 29581029 markings, 63447883 edges, 161585 markings/sec, 175 secs
lola: 30363338 markings, 65205442 edges, 156462 markings/sec, 180 secs
lola: 31144458 markings, 66957764 edges, 156224 markings/sec, 185 secs
lola: 31954690 markings, 68644736 edges, 162046 markings/sec, 190 secs
lola: 32767223 markings, 70411209 edges, 162507 markings/sec, 195 secs
lola: 33538718 markings, 72167814 edges, 154299 markings/sec, 200 secs
lola: 34375474 markings, 73941681 edges, 167351 markings/sec, 205 secs
lola: 35221007 markings, 75685537 edges, 169107 markings/sec, 210 secs
lola: 36062946 markings, 77481711 edges, 168388 markings/sec, 215 secs
lola: 36825620 markings, 79208248 edges, 152535 markings/sec, 220 secs
lola: 37596851 markings, 80972888 edges, 154246 markings/sec, 225 secs
lola: 38326972 markings, 82634678 edges, 146024 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p140)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 817816 markings, 1823855 edges, 163563 markings/sec, 0 secs
lola: 1638600 markings, 3647714 edges, 164157 markings/sec, 5 secs
lola: 2403916 markings, 5393429 edges, 153063 markings/sec, 10 secs
lola: 3199884 markings, 7198124 edges, 159194 markings/sec, 15 secs
lola: 4011351 markings, 9096676 edges, 162293 markings/sec, 20 secs
lola: 4794658 markings, 10931209 edges, 156661 markings/sec, 25 secs
lola: 5601456 markings, 12820932 edges, 161360 markings/sec, 30 secs
lola: 6493783 markings, 14727806 edges, 178465 markings/sec, 35 secs
lola: 7334640 markings, 16631802 edges, 168171 markings/sec, 40 secs
lola: 8129827 markings, 18475731 edges, 159037 markings/sec, 45 secs
lola: 8953210 markings, 20321542 edges, 164677 markings/sec, 50 secs
lola: 9859123 markings, 22194786 edges, 181183 markings/sec, 55 secs
lola: 10660572 markings, 23922308 edges, 160290 markings/sec, 60 secs
lola: 11421060 markings, 25675789 edges, 152098 markings/sec, 65 secs
lola: 12210697 markings, 27431944 edges, 157927 markings/sec, 70 secs
lola: 13001246 markings, 29264738 edges, 158110 markings/sec, 75 secs
lola: 13817219 markings, 31105158 edges, 163195 markings/sec, 80 secs
lola: 14627138 markings, 32906644 edges, 161984 markings/sec, 85 secs
lola: 15457249 markings, 34809014 edges, 166022 markings/sec, 90 secs
lola: 16259174 markings, 36681730 edges, 160385 markings/sec, 95 secs
lola: 17001364 markings, 38461301 edges, 148438 markings/sec, 100 secs
lola: 17819377 markings, 40366659 edges, 163603 markings/sec, 105 secs
lola: 18683761 markings, 42265010 edges, 172877 markings/sec, 110 secs
lola: 19527415 markings, 44121908 edges, 168731 markings/sec, 115 secs
lola: 20360757 markings, 46024378 edges, 166668 markings/sec, 120 secs
lola: 21195599 markings, 47867558 edges, 166968 markings/sec, 125 secs
lola: 22030210 markings, 49730712 edges, 166922 markings/sec, 130 secs
lola: 22893037 markings, 51587329 edges, 172565 markings/sec, 135 secs
lola: 23708168 markings, 53426341 edges, 163026 markings/sec, 140 secs
lola: 24498627 markings, 55225317 edges, 158092 markings/sec, 145 secs
lola: 25276574 markings, 57047488 edges, 155589 markings/sec, 150 secs
lola: 26100983 markings, 58840066 edges, 164882 markings/sec, 155 secs
lola: 26970248 markings, 60679708 edges, 173853 markings/sec, 160 secs
lola: 27946716 markings, 62599555 edges, 195294 markings/sec, 165 secs
lola: 28795910 markings, 64362046 edges, 169839 markings/sec, 170 secs
lola: 29547612 markings, 66093651 edges, 150340 markings/sec, 175 secs
lola: 30303969 markings, 67805666 edges, 151271 markings/sec, 180 secs
lola: 31138075 markings, 69635799 edges, 166821 markings/sec, 185 secs
lola: 31913171 markings, 71460815 edges, 155019 markings/sec, 190 secs
lola: 32769115 markings, 73293488 edges, 171189 markings/sec, 195 secs
lola: 33533198 markings, 75081102 edges, 152817 markings/sec, 200 secs
lola: 34342813 markings, 76868220 edges, 161923 markings/sec, 205 secs
lola: 35118357 markings, 78690945 edges, 155109 markings/sec, 210 secs
lola: 35940380 markings, 80481675 edges, 164405 markings/sec, 215 secs
lola: 36710092 markings, 82259198 edges, 153942 markings/sec, 220 secs
lola: 37558657 markings, 84078385 edges, 169713 markings/sec, 225 secs
lola: 38363244 markings, 85941350 edges, 160917 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 996430 markings, 1872880 edges, 199286 markings/sec, 0 secs
lola: 2078162 markings, 3779544 edges, 216346 markings/sec, 5 secs
lola: 3121413 markings, 5731238 edges, 208650 markings/sec, 10 secs
lola: 4177868 markings, 7667354 edges, 211291 markings/sec, 15 secs
lola: 5203776 markings, 9598365 edges, 205182 markings/sec, 20 secs
lola: 6202929 markings, 11539979 edges, 199831 markings/sec, 25 secs
lola: 7236062 markings, 13434360 edges, 206627 markings/sec, 30 secs
lola: 8237899 markings, 15336963 edges, 200367 markings/sec, 35 secs
lola: 9225631 markings, 17226916 edges, 197546 markings/sec, 40 secs
lola: 10239389 markings, 19097869 edges, 202752 markings/sec, 45 secs
lola: 11210851 markings, 20969704 edges, 194292 markings/sec, 50 secs
lola: 12194792 markings, 22821951 edges, 196788 markings/sec, 55 secs
lola: 13156946 markings, 24593994 edges, 192431 markings/sec, 60 secs
lola: 14075186 markings, 26400909 edges, 183648 markings/sec, 65 secs
lola: 15032710 markings, 28146818 edges, 191505 markings/sec, 70 secs
lola: 15973527 markings, 29945288 edges, 188163 markings/sec, 75 secs
lola: 16932487 markings, 31769752 edges, 191792 markings/sec, 80 secs
lola: 17914565 markings, 33573231 edges, 196416 markings/sec, 85 secs
lola: 18849009 markings, 35392330 edges, 186889 markings/sec, 90 secs
lola: 19819053 markings, 37202305 edges, 194009 markings/sec, 95 secs
lola: 20782864 markings, 38999568 edges, 192762 markings/sec, 100 secs
lola: 21713675 markings, 40809781 edges, 186162 markings/sec, 105 secs
lola: 22683589 markings, 42591083 edges, 193983 markings/sec, 110 secs
lola: 23611273 markings, 44374162 edges, 185537 markings/sec, 115 secs
lola: 24554429 markings, 46149493 edges, 188631 markings/sec, 120 secs
lola: 25497711 markings, 47891922 edges, 188656 markings/sec, 125 secs
lola: 26407164 markings, 49675988 edges, 181891 markings/sec, 130 secs
lola: 27357591 markings, 51411220 edges, 190085 markings/sec, 135 secs
lola: 28268779 markings, 53165115 edges, 182238 markings/sec, 140 secs
lola: 29198938 markings, 54914098 edges, 186032 markings/sec, 145 secs
lola: 30136591 markings, 56647004 edges, 187531 markings/sec, 150 secs
lola: 31032284 markings, 58396408 edges, 179139 markings/sec, 155 secs
lola: 31971989 markings, 60114822 edges, 187941 markings/sec, 160 secs
lola: 32866153 markings, 61846076 edges, 178833 markings/sec, 165 secs
lola: 33785666 markings, 63560642 edges, 183903 markings/sec, 170 secs
lola: 34693536 markings, 65265161 edges, 181574 markings/sec, 175 secs
lola: 35588680 markings, 66987010 edges, 179029 markings/sec, 180 secs
lola: 36515882 markings, 68679267 edges, 185440 markings/sec, 185 secs
lola: 37384335 markings, 70395457 edges, 173691 markings/sec, 190 secs
lola: 38314730 markings, 72092648 edges, 186079 markings/sec, 195 secs
lola: 39199839 markings, 73798293 edges, 177022 markings/sec, 200 secs
lola: 40104763 markings, 75499795 edges, 180985 markings/sec, 205 secs
lola: 41018488 markings, 77185301 edges, 182745 markings/sec, 210 secs
lola: 41936537 markings, 78876375 edges, 183610 markings/sec, 215 secs
lola: 42861573 markings, 80622737 edges, 185007 markings/sec, 220 secs
lola: 43733062 markings, 82338650 edges, 174298 markings/sec, 225 secs
lola: 44543491 markings, 83985115 edges, 162086 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p150)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 806532 markings, 1635393 edges, 161306 markings/sec, 0 secs
lola: 1603636 markings, 3261255 edges, 159421 markings/sec, 5 secs
lola: 2415236 markings, 4901634 edges, 162320 markings/sec, 10 secs
lola: 3212019 markings, 6529350 edges, 159357 markings/sec, 15 secs
lola: 4027112 markings, 8181489 edges, 163019 markings/sec, 20 secs
lola: 4763470 markings, 9712869 edges, 147272 markings/sec, 25 secs
lola: 5525906 markings, 11313845 edges, 152487 markings/sec, 30 secs
lola: 6260383 markings, 12856982 edges, 146895 markings/sec, 35 secs
lola: 7067467 markings, 14483028 edges, 161417 markings/sec, 40 secs
lola: 7861653 markings, 16144000 edges, 158837 markings/sec, 45 secs
lola: 8610847 markings, 17756051 edges, 149839 markings/sec, 50 secs
lola: 9418092 markings, 19405288 edges, 161449 markings/sec, 55 secs
lola: 10180637 markings, 21038169 edges, 152509 markings/sec, 60 secs
lola: 10952288 markings, 22632147 edges, 154330 markings/sec, 65 secs
lola: 11755687 markings, 24249012 edges, 160680 markings/sec, 70 secs
lola: 12554287 markings, 25884931 edges, 159720 markings/sec, 75 secs
lola: 13355815 markings, 27542619 edges, 160306 markings/sec, 80 secs
lola: 14112642 markings, 29136344 edges, 151365 markings/sec, 85 secs
lola: 14918028 markings, 30785197 edges, 161077 markings/sec, 90 secs
lola: 15673127 markings, 32411211 edges, 151020 markings/sec, 95 secs
lola: 16446440 markings, 34006600 edges, 154663 markings/sec, 100 secs
lola: 17258660 markings, 35640800 edges, 162444 markings/sec, 105 secs
lola: 18065069 markings, 37293745 edges, 161282 markings/sec, 110 secs
lola: 18874858 markings, 38969756 edges, 161958 markings/sec, 115 secs
lola: 19645538 markings, 40583498 edges, 154136 markings/sec, 120 secs
lola: 20445927 markings, 42228228 edges, 160078 markings/sec, 125 secs
lola: 21199067 markings, 43854743 edges, 150628 markings/sec, 130 secs
lola: 21973828 markings, 45449848 edges, 154952 markings/sec, 135 secs
lola: 22776736 markings, 47065052 edges, 160582 markings/sec, 140 secs
lola: 23572723 markings, 48693900 edges, 159197 markings/sec, 145 secs
lola: 24370754 markings, 50345800 edges, 159606 markings/sec, 150 secs
lola: 25128476 markings, 51933162 edges, 151544 markings/sec, 155 secs
lola: 25929283 markings, 53578345 edges, 160161 markings/sec, 160 secs
lola: 26681812 markings, 55199169 edges, 150506 markings/sec, 165 secs
lola: 27453592 markings, 56789870 edges, 154356 markings/sec, 170 secs
lola: 28254215 markings, 58398971 edges, 160125 markings/sec, 175 secs
lola: 29051167 markings, 60029955 edges, 159390 markings/sec, 180 secs
lola: 29849651 markings, 61680423 edges, 159697 markings/sec, 185 secs
lola: 30606345 markings, 63274587 edges, 151339 markings/sec, 190 secs
lola: 31406906 markings, 64913962 edges, 160112 markings/sec, 195 secs
lola: 32159392 markings, 66531429 edges, 150497 markings/sec, 200 secs
lola: 32925442 markings, 68114945 edges, 153210 markings/sec, 205 secs
lola: 33724644 markings, 69708413 edges, 159840 markings/sec, 210 secs
lola: 34508671 markings, 71323681 edges, 156805 markings/sec, 215 secs
lola: 35295167 markings, 72942381 edges, 157299 markings/sec, 220 secs
lola: 36021552 markings, 74508254 edges, 145277 markings/sec, 225 secs
lola: 36816419 markings, 76121881 edges, 158973 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1021306 markings, 1921400 edges, 204261 markings/sec, 0 secs
lola: 2114742 markings, 3846337 edges, 218687 markings/sec, 5 secs
lola: 3167405 markings, 5822860 edges, 210533 markings/sec, 10 secs
lola: 4232557 markings, 7773830 edges, 213030 markings/sec, 15 secs
lola: 5275785 markings, 9723484 edges, 208646 markings/sec, 20 secs
lola: 6280281 markings, 11685790 edges, 200899 markings/sec, 25 secs
lola: 7322793 markings, 13603097 edges, 208502 markings/sec, 30 secs
lola: 8345767 markings, 15527064 edges, 204595 markings/sec, 35 secs
lola: 9330620 markings, 17449672 edges, 196971 markings/sec, 40 secs
lola: 10366701 markings, 19339057 edges, 207216 markings/sec, 45 secs
lola: 11358513 markings, 21228973 edges, 198362 markings/sec, 50 secs
lola: 12342515 markings, 23114403 edges, 196800 markings/sec, 55 secs
lola: 13310962 markings, 24889322 edges, 193689 markings/sec, 60 secs
lola: 14252133 markings, 26710627 edges, 188234 markings/sec, 65 secs
lola: 15204407 markings, 28500054 edges, 190455 markings/sec, 70 secs
lola: 16182404 markings, 30308344 edges, 195599 markings/sec, 75 secs
lola: 17124689 markings, 32157860 edges, 188457 markings/sec, 80 secs
lola: 18119708 markings, 33975089 edges, 199004 markings/sec, 85 secs
lola: 19073283 markings, 35796683 edges, 190715 markings/sec, 90 secs
lola: 20034226 markings, 37621961 edges, 192189 markings/sec, 95 secs
lola: 21012570 markings, 39419964 edges, 195669 markings/sec, 100 secs
lola: 21940056 markings, 41230933 edges, 185497 markings/sec, 105 secs
lola: 22904181 markings, 43019469 edges, 192825 markings/sec, 110 secs
lola: 23853767 markings, 44798333 edges, 189917 markings/sec, 115 secs
lola: 24782552 markings, 46598032 edges, 185757 markings/sec, 120 secs
lola: 25746725 markings, 48365623 edges, 192835 markings/sec, 125 secs
lola: 26667119 markings, 50144088 edges, 184079 markings/sec, 130 secs
lola: 27606699 markings, 51907436 edges, 187916 markings/sec, 135 secs
lola: 28547127 markings, 53656328 edges, 188086 markings/sec, 140 secs
lola: 29458868 markings, 55423841 edges, 182348 markings/sec, 145 secs
lola: 30406027 markings, 57158170 edges, 189432 markings/sec, 150 secs
lola: 31308868 markings, 58906614 edges, 180568 markings/sec, 155 secs
lola: 32237307 markings, 60638334 edges, 185688 markings/sec, 160 secs
lola: 33154497 markings, 62356916 edges, 183438 markings/sec, 165 secs
lola: 34053761 markings, 64090322 edges, 179853 markings/sec, 170 secs
lola: 34987024 markings, 65795721 edges, 186653 markings/sec, 175 secs
lola: 35862803 markings, 67521655 edges, 175156 markings/sec, 180 secs
lola: 36796749 markings, 69225423 edges, 186789 markings/sec, 185 secs
lola: 37685896 markings, 70932655 edges, 177829 markings/sec, 190 secs
lola: 38593640 markings, 72647235 edges, 181549 markings/sec, 195 secs
lola: 39520750 markings, 74352942 edges, 185422 markings/sec, 200 secs
lola: 40396678 markings, 76082425 edges, 175186 markings/sec, 205 secs
lola: 41327947 markings, 77781674 edges, 186254 markings/sec, 210 secs
lola: 42288010 markings, 79526222 edges, 192013 markings/sec, 215 secs
lola: 43192349 markings, 81265648 edges, 180868 markings/sec, 220 secs
lola: 44035779 markings, 82955413 edges, 168686 markings/sec, 225 secs
lola: 44856927 markings, 84619570 edges, 164230 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 877882 markings, 1785121 edges, 175576 markings/sec, 0 secs
lola: 1748254 markings, 3553513 edges, 174074 markings/sec, 5 secs
lola: 2631847 markings, 5347578 edges, 176719 markings/sec, 10 secs
lola: 3504647 markings, 7120679 edges, 174560 markings/sec, 15 secs
lola: 4402062 markings, 8935574 edges, 179483 markings/sec, 20 secs
lola: 5183209 markings, 10581513 edges, 156229 markings/sec, 25 secs
lola: 5988887 markings, 12286231 edges, 161136 markings/sec, 30 secs
lola: 6839031 markings, 14022141 edges, 170029 markings/sec, 35 secs
lola: 7713537 markings, 15820399 edges, 174901 markings/sec, 40 secs
lola: 8531323 markings, 17598033 edges, 163557 markings/sec, 45 secs
lola: 9408473 markings, 19372937 edges, 175430 markings/sec, 50 secs
lola: 10248899 markings, 21156923 edges, 168085 markings/sec, 55 secs
lola: 11081196 markings, 22891544 edges, 166459 markings/sec, 60 secs
lola: 11945265 markings, 24641118 edges, 172814 markings/sec, 65 secs
lola: 12814273 markings, 26426706 edges, 173802 markings/sec, 70 secs
lola: 13667690 markings, 28210777 edges, 170683 markings/sec, 75 secs
lola: 14526831 markings, 29963519 edges, 171828 markings/sec, 80 secs
lola: 15376590 markings, 31744579 edges, 169952 markings/sec, 85 secs
lola: 16197041 markings, 33482116 edges, 164090 markings/sec, 90 secs
lola: 17055163 markings, 35206977 edges, 171624 markings/sec, 95 secs
lola: 17935482 markings, 36998825 edges, 176064 markings/sec, 100 secs
lola: 18808336 markings, 38816104 edges, 174571 markings/sec, 105 secs
lola: 19608507 markings, 40557920 edges, 160034 markings/sec, 110 secs
lola: 20491290 markings, 42322887 edges, 176557 markings/sec, 115 secs
lola: 21312803 markings, 44078310 edges, 164303 markings/sec, 120 secs
lola: 22140598 markings, 45783611 edges, 165559 markings/sec, 125 secs
lola: 23006797 markings, 47527354 edges, 173240 markings/sec, 130 secs
lola: 23859929 markings, 49283564 edges, 170626 markings/sec, 135 secs
lola: 24696613 markings, 51042458 edges, 167337 markings/sec, 140 secs
lola: 25548675 markings, 52773639 edges, 170412 markings/sec, 145 secs
lola: 26385043 markings, 54529121 edges, 167274 markings/sec, 150 secs
lola: 27197283 markings, 56249056 edges, 162448 markings/sec, 155 secs
lola: 28043567 markings, 57947748 edges, 169257 markings/sec, 160 secs
lola: 28908582 markings, 59706066 edges, 173003 markings/sec, 165 secs
lola: 29764640 markings, 61491930 edges, 171212 markings/sec, 170 secs
lola: 30547459 markings, 63218823 edges, 156564 markings/sec, 175 secs
lola: 31428316 markings, 64964807 edges, 176171 markings/sec, 180 secs
lola: 32252489 markings, 66704465 edges, 164835 markings/sec, 185 secs
lola: 33068596 markings, 68401418 edges, 163221 markings/sec, 190 secs
lola: 33917577 markings, 70114542 edges, 169796 markings/sec, 195 secs
lola: 34762962 markings, 71851073 edges, 169077 markings/sec, 200 secs
lola: 35602811 markings, 73600297 edges, 167970 markings/sec, 205 secs
lola: 36443545 markings, 75327273 edges, 168147 markings/sec, 210 secs
lola: 37286819 markings, 77095122 edges, 168655 markings/sec, 215 secs
lola: 38099095 markings, 78820198 edges, 162455 markings/sec, 220 secs
lola: 38945160 markings, 80512213 edges, 169213 markings/sec, 225 secs
lola: 39788811 markings, 82217592 edges, 168730 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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: 1025991 markings, 1928985 edges, 205198 markings/sec, 0 secs
lola: 2114198 markings, 3845121 edges, 217641 markings/sec, 5 secs
lola: 3164835 markings, 5819173 edges, 210127 markings/sec, 10 secs
lola: 4228721 markings, 7765805 edges, 212777 markings/sec, 15 secs
lola: 5267335 markings, 9710106 edges, 207723 markings/sec, 20 secs
lola: 6268480 markings, 11664383 edges, 200229 markings/sec, 25 secs
lola: 7306428 markings, 13569719 edges, 207590 markings/sec, 30 secs
lola: 8320720 markings, 15481019 edges, 202858 markings/sec, 35 secs
lola: 9306864 markings, 17396726 edges, 197229 markings/sec, 40 secs
lola: 10336333 markings, 19284497 edges, 205894 markings/sec, 45 secs
lola: 11327114 markings, 21171581 edges, 198156 markings/sec, 50 secs
lola: 12310724 markings, 23052173 edges, 196722 markings/sec, 55 secs
lola: 13277649 markings, 24826615 edges, 193385 markings/sec, 60 secs
lola: 14217751 markings, 26647819 edges, 188020 markings/sec, 65 secs
lola: 15166805 markings, 28424160 edges, 189811 markings/sec, 70 secs
lola: 16135233 markings, 30224236 edges, 193686 markings/sec, 75 secs
lola: 17078821 markings, 32067793 edges, 188718 markings/sec, 80 secs
lola: 18065742 markings, 33874771 edges, 197384 markings/sec, 85 secs
lola: 19010920 markings, 35691312 edges, 189036 markings/sec, 90 secs
lola: 19971061 markings, 37501539 edges, 192028 markings/sec, 95 secs
lola: 20945405 markings, 39288329 edges, 194869 markings/sec, 100 secs
lola: 21856223 markings, 41085730 edges, 182164 markings/sec, 105 secs
lola: 22827028 markings, 42860087 edges, 194161 markings/sec, 110 secs
lola: 23746025 markings, 44614968 edges, 183799 markings/sec, 115 secs
lola: 24670787 markings, 46373188 edges, 184952 markings/sec, 120 secs
lola: 25619444 markings, 48113180 edges, 189731 markings/sec, 125 secs
lola: 26512160 markings, 49873801 edges, 178543 markings/sec, 130 secs
lola: 27462316 markings, 51607257 edges, 190031 markings/sec, 135 secs
lola: 28363624 markings, 53337165 edges, 180262 markings/sec, 140 secs
lola: 29280717 markings, 55071378 edges, 183419 markings/sec, 145 secs
lola: 30211437 markings, 56784074 edges, 186144 markings/sec, 150 secs
lola: 31088204 markings, 58515569 edges, 175353 markings/sec, 155 secs
lola: 32024135 markings, 60218180 edges, 187186 markings/sec, 160 secs
lola: 32911004 markings, 61927711 edges, 177374 markings/sec, 165 secs
lola: 33816478 markings, 63626708 edges, 181095 markings/sec, 170 secs
lola: 34718553 markings, 65306725 edges, 180415 markings/sec, 175 secs
lola: 35599031 markings, 67006778 edges, 176096 markings/sec, 180 secs
lola: 36514573 markings, 68676386 edges, 183108 markings/sec, 185 secs
lola: 37372400 markings, 70372622 edges, 171565 markings/sec, 190 secs
lola: 38293208 markings, 72051510 edges, 184162 markings/sec, 195 secs
lola: 39172241 markings, 73746847 edges, 175807 markings/sec, 200 secs
lola: 40074174 markings, 75440476 edges, 180387 markings/sec, 205 secs
lola: 40985054 markings, 77128212 edges, 182176 markings/sec, 210 secs
lola: 41902643 markings, 78816544 edges, 183518 markings/sec, 215 secs
lola: 42824865 markings, 80560558 edges, 184444 markings/sec, 220 secs
lola: 43709494 markings, 82288968 edges, 176926 markings/sec, 225 secs
lola: 44519062 markings, 83937859 edges, 161914 markings/sec, 230 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 238 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 24 bytes per marking, with 17 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: 757750 markings, 1583251 edges, 151550 markings/sec, 0 secs
lola: 1483035 markings, 3098655 edges, 145057 markings/sec, 5 secs
lola: 2136636 markings, 4562104 edges, 130720 markings/sec, 10 secs
lola: 2823580 markings, 5981037 edges, 137389 markings/sec, 15 secs
lola: 3564277 markings, 7527919 edges, 148139 markings/sec, 20 secs
lola: 4239860 markings, 9036695 edges, 135117 markings/sec, 25 secs
lola: 4947776 markings, 10498572 edges, 141583 markings/sec, 30 secs
lola: 5664065 markings, 12010269 edges, 143258 markings/sec, 35 secs
lola: 6362100 markings, 13482419 edges, 139607 markings/sec, 40 secs
lola: 7065299 markings, 15019680 edges, 140640 markings/sec, 45 secs
lola: 7793625 markings, 16588589 edges, 145665 markings/sec, 50 secs
lola: 8402228 markings, 18015279 edges, 121721 markings/sec, 55 secs
lola: 9009798 markings, 19420841 edges, 121514 markings/sec, 60 secs
lola: 9561426 markings, 20739804 edges, 110326 markings/sec, 65 secs
lola: 10156658 markings, 22133338 edges, 119046 markings/sec, 70 secs
lola: 10713480 markings, 23402104 edges, 111364 markings/sec, 75 secs
lola: 11331397 markings, 24814314 edges, 123583 markings/sec, 80 secs
lola: 11899110 markings, 26206475 edges, 113543 markings/sec, 85 secs
lola: 12470606 markings, 27492316 edges, 114299 markings/sec, 90 secs
lola: 13102962 markings, 28959562 edges, 126471 markings/sec, 95 secs
lola: 13646520 markings, 30355862 edges, 108712 markings/sec, 100 secs
lola: 14269632 markings, 31694894 edges, 124622 markings/sec, 105 secs
lola: 14835321 markings, 33158110 edges, 113138 markings/sec, 110 secs
lola: 15497515 markings, 34704874 edges, 132439 markings/sec, 115 secs
lola: 16190677 markings, 36274061 edges, 138632 markings/sec, 120 secs
lola: 16760901 markings, 37761652 edges, 114045 markings/sec, 125 secs
lola: 17585823 markings, 39503352 edges, 164984 markings/sec, 130 secs
lola: 18363592 markings, 41120010 edges, 155554 markings/sec, 135 secs
lola: 19141570 markings, 42726682 edges, 155596 markings/sec, 140 secs
lola: 19942177 markings, 44365082 edges, 160121 markings/sec, 145 secs
lola: 20710280 markings, 46032668 edges, 153621 markings/sec, 150 secs
lola: 21548446 markings, 47716445 edges, 167633 markings/sec, 155 secs
lola: 22250194 markings, 49293111 edges, 140350 markings/sec, 160 secs
lola: 22936333 markings, 50785531 edges, 137228 markings/sec, 165 secs
lola: 23582278 markings, 52288435 edges, 129189 markings/sec, 170 secs
lola: 24239562 markings, 53688623 edges, 131457 markings/sec, 175 secs
lola: 24943079 markings, 55258977 edges, 140703 markings/sec, 180 secs
lola: 25593544 markings, 56773143 edges, 130093 markings/sec, 185 secs
lola: 26360126 markings, 58440826 edges, 153316 markings/sec, 190 secs
lola: 27078615 markings, 60010046 edges, 143698 markings/sec, 195 secs
lola: 27727271 markings, 61477551 edges, 129731 markings/sec, 200 secs
lola: 28419734 markings, 62989623 edges, 138493 markings/sec, 205 secs
lola: 29062199 markings, 64500535 edges, 128493 markings/sec, 210 secs
lola: 29791231 markings, 66002040 edges, 145806 markings/sec, 215 secs
lola: 30376868 markings, 67356182 edges, 117127 markings/sec, 220 secs
lola: 30973934 markings, 68755467 edges, 119413 markings/sec, 225 secs
lola: 31559890 markings, 70141169 edges, 117191 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-30a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496456415513

--------------------
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_DES-PT-30a"
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_DES-PT-30a.tgz
mv S_DES-PT-30a execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-30a, 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 r098-ebro-149488455700281"
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 ;