fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r098-ebro-149488455700281
Last Updated
June 27, 2017

About the Execution of LoLA for S_DES-PT-30a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4387.690 3540072.00 3554640.00 772.70 ? ? ? ? ? ? ? ? 1 ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-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 ;