Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_AutoFlight-PT-06b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074200209
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496334497445


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


checking for too many tokens
===========================================================================================
S_AutoFlight-PT-06b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-06b @ 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: 1146/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 574 places, 572 transitions, 534 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 636 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-06b-UpperBounds.task
lola: MAX(p483) : MAX(p202) : MAX(p155) : MAX(p573) : MAX(p167) : MAX(p150) : MAX(p554) : MAX(p526) : MAX(p354) : MAX(p280) : MAX(p499) : MAX(p161) : MAX(p353) : MAX(p544) : MAX(p357) : MAX(p302)
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(p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 939592 markings, 1689449 edges, 187918 markings/sec, 0 secs
lola: 1694046 markings, 3463150 edges, 150891 markings/sec, 5 secs
lola: 2559711 markings, 5236315 edges, 173133 markings/sec, 10 secs
lola: 3586389 markings, 7044918 edges, 205336 markings/sec, 15 secs
lola: 4464987 markings, 8852064 edges, 175720 markings/sec, 20 secs
lola: 5300166 markings, 10622618 edges, 167036 markings/sec, 25 secs
lola: 6085126 markings, 12440863 edges, 156992 markings/sec, 30 secs
lola: 6839151 markings, 14218374 edges, 150805 markings/sec, 35 secs
lola: 7601453 markings, 16010898 edges, 152460 markings/sec, 40 secs
lola: 8400701 markings, 17820284 edges, 159850 markings/sec, 45 secs
lola: 9145118 markings, 19600469 edges, 148883 markings/sec, 50 secs
lola: 9834821 markings, 21359682 edges, 137941 markings/sec, 55 secs
lola: 10568357 markings, 23154890 edges, 146707 markings/sec, 60 secs
lola: 11287094 markings, 24920924 edges, 143747 markings/sec, 65 secs
lola: 11942573 markings, 26785357 edges, 131096 markings/sec, 70 secs
lola: 12638531 markings, 28538582 edges, 139192 markings/sec, 75 secs
lola: 13285036 markings, 30345113 edges, 129301 markings/sec, 80 secs
lola: 13964069 markings, 32151810 edges, 135807 markings/sec, 85 secs
lola: 14662168 markings, 33897038 edges, 139620 markings/sec, 90 secs
lola: 15365168 markings, 35693254 edges, 140600 markings/sec, 95 secs
lola: 16023224 markings, 37520473 edges, 131611 markings/sec, 100 secs
lola: 16686216 markings, 39295786 edges, 132598 markings/sec, 105 secs
lola: 17370884 markings, 40879513 edges, 136934 markings/sec, 110 secs
lola: 17923166 markings, 42521879 edges, 110456 markings/sec, 115 secs
lola: 18590578 markings, 44141610 edges, 133482 markings/sec, 120 secs
lola: 19278708 markings, 45858312 edges, 137626 markings/sec, 125 secs
lola: 19925219 markings, 47527479 edges, 129302 markings/sec, 130 secs
lola: 20601583 markings, 49216497 edges, 135273 markings/sec, 135 secs
lola: 21255940 markings, 50909344 edges, 130871 markings/sec, 140 secs
lola: 21891917 markings, 52625978 edges, 127195 markings/sec, 145 secs
lola: 22541535 markings, 54319403 edges, 129924 markings/sec, 150 secs
lola: 23227290 markings, 55953576 edges, 137151 markings/sec, 155 secs
lola: 23951046 markings, 57745222 edges, 144751 markings/sec, 160 secs
lola: 24669927 markings, 59470108 edges, 143776 markings/sec, 165 secs
lola: 25362854 markings, 61241503 edges, 138585 markings/sec, 170 secs
lola: 26047895 markings, 63057481 edges, 137008 markings/sec, 175 secs
lola: 26718951 markings, 64818496 edges, 134211 markings/sec, 180 secs
lola: 27360824 markings, 66616340 edges, 128375 markings/sec, 185 secs
lola: 28081496 markings, 68377658 edges, 144134 markings/sec, 190 secs
lola: 28779942 markings, 70157114 edges, 139689 markings/sec, 195 secs
lola: 29412520 markings, 71976676 edges, 126516 markings/sec, 200 secs
lola: 30029104 markings, 73769618 edges, 123317 markings/sec, 205 secs
lola: 30684732 markings, 75614232 edges, 131126 markings/sec, 210 secs
lola: 31311981 markings, 77381491 edges, 125450 markings/sec, 215 secs
lola: 31893850 markings, 79145258 edges, 116374 markings/sec, 220 secs
lola: 32549479 markings, 80908338 edges, 131126 markings/sec, 225 secs
lola: 33214072 markings, 82691003 edges, 132919 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1363498 markings, 1872404 edges, 272700 markings/sec, 0 secs
lola: 2758578 markings, 3696340 edges, 279016 markings/sec, 5 secs
lola: 4105237 markings, 5460172 edges, 269332 markings/sec, 10 secs
lola: 5381803 markings, 7224195 edges, 255313 markings/sec, 15 secs
lola: 6626094 markings, 8967882 edges, 248858 markings/sec, 20 secs
lola: 7794475 markings, 10616042 edges, 233676 markings/sec, 25 secs
lola: 8949177 markings, 12267893 edges, 230940 markings/sec, 30 secs
lola: 10056992 markings, 13923815 edges, 221563 markings/sec, 35 secs
lola: 11178345 markings, 15581625 edges, 224271 markings/sec, 40 secs
lola: 12313500 markings, 17222349 edges, 227031 markings/sec, 45 secs
lola: 13399252 markings, 18872063 edges, 217150 markings/sec, 50 secs
lola: 14464405 markings, 20501192 edges, 213031 markings/sec, 55 secs
lola: 15523296 markings, 22121400 edges, 211778 markings/sec, 60 secs
lola: 16547164 markings, 23744778 edges, 204774 markings/sec, 65 secs
lola: 17598882 markings, 25382126 edges, 210344 markings/sec, 70 secs
lola: 18664392 markings, 27034106 edges, 213102 markings/sec, 75 secs
lola: 19728292 markings, 28686993 edges, 212780 markings/sec, 80 secs
lola: 20779052 markings, 30298678 edges, 210152 markings/sec, 85 secs
lola: 21783290 markings, 31923622 edges, 200848 markings/sec, 90 secs
lola: 22774429 markings, 33523108 edges, 198228 markings/sec, 95 secs
lola: 23671437 markings, 35010083 edges, 179402 markings/sec, 100 secs
lola: 24520097 markings, 36516754 edges, 169732 markings/sec, 105 secs
lola: 25375909 markings, 38082003 edges, 171162 markings/sec, 110 secs
lola: 26305332 markings, 39664604 edges, 185885 markings/sec, 115 secs
lola: 27228347 markings, 41243755 edges, 184603 markings/sec, 120 secs
lola: 28118219 markings, 42865939 edges, 177974 markings/sec, 125 secs
lola: 28938375 markings, 44482862 edges, 164031 markings/sec, 130 secs
lola: 29841865 markings, 46082222 edges, 180698 markings/sec, 135 secs
lola: 30744170 markings, 47688373 edges, 180461 markings/sec, 140 secs
lola: 31665952 markings, 49272185 edges, 184356 markings/sec, 145 secs
lola: 32585785 markings, 50866624 edges, 183967 markings/sec, 150 secs
lola: 33335907 markings, 52514947 edges, 150024 markings/sec, 155 secs
lola: 34287653 markings, 54076105 edges, 190349 markings/sec, 160 secs
lola: 35081653 markings, 55727732 edges, 158800 markings/sec, 165 secs
lola: 35996212 markings, 57320400 edges, 182912 markings/sec, 170 secs
lola: 36736677 markings, 58976044 edges, 148093 markings/sec, 175 secs
lola: 37577535 markings, 60607366 edges, 168172 markings/sec, 180 secs
lola: 38460990 markings, 62145871 edges, 176691 markings/sec, 185 secs
lola: 39247021 markings, 63757953 edges, 157206 markings/sec, 190 secs
lola: 39979505 markings, 65433068 edges, 146497 markings/sec, 195 secs
lola: 40476064 markings, 67062527 edges, 99312 markings/sec, 200 secs
lola: 40977801 markings, 68585314 edges, 100347 markings/sec, 205 secs
lola: 41477193 markings, 70093531 edges, 99878 markings/sec, 210 secs
lola: 41983789 markings, 71628549 edges, 101319 markings/sec, 215 secs
lola: 42441283 markings, 73232153 edges, 91499 markings/sec, 220 secs
lola: 42925191 markings, 74879738 edges, 96782 markings/sec, 225 secs
lola: 43427593 markings, 76446746 edges, 100480 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p573)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 747619 markings, 1672343 edges, 149524 markings/sec, 0 secs
lola: 1506872 markings, 3334294 edges, 151851 markings/sec, 5 secs
lola: 2147923 markings, 4976440 edges, 128210 markings/sec, 10 secs
lola: 2783715 markings, 6664579 edges, 127158 markings/sec, 15 secs
lola: 3383112 markings, 8356750 edges, 119879 markings/sec, 20 secs
lola: 3983985 markings, 10054887 edges, 120175 markings/sec, 25 secs
lola: 4599413 markings, 11690769 edges, 123086 markings/sec, 30 secs
lola: 5186581 markings, 13420159 edges, 117434 markings/sec, 35 secs
lola: 5753232 markings, 15149955 edges, 113330 markings/sec, 40 secs
lola: 6336405 markings, 16840521 edges, 116635 markings/sec, 45 secs
lola: 6906201 markings, 18528524 edges, 113959 markings/sec, 50 secs
lola: 7483334 markings, 20233766 edges, 115427 markings/sec, 55 secs
lola: 8036974 markings, 21989379 edges, 110728 markings/sec, 60 secs
lola: 8578996 markings, 23729581 edges, 108404 markings/sec, 65 secs
lola: 9143271 markings, 25451565 edges, 112855 markings/sec, 70 secs
lola: 9717177 markings, 27256793 edges, 114781 markings/sec, 75 secs
lola: 10287985 markings, 28978089 edges, 114162 markings/sec, 80 secs
lola: 10826233 markings, 30601045 edges, 107650 markings/sec, 85 secs
lola: 11382378 markings, 32197777 edges, 111229 markings/sec, 90 secs
lola: 11907844 markings, 33841584 edges, 105093 markings/sec, 95 secs
lola: 12444294 markings, 35453950 edges, 107290 markings/sec, 100 secs
lola: 12990505 markings, 37110523 edges, 109242 markings/sec, 105 secs
lola: 13552731 markings, 38735983 edges, 112445 markings/sec, 110 secs
lola: 14100838 markings, 40406240 edges, 109621 markings/sec, 115 secs
lola: 14637185 markings, 42076424 edges, 107269 markings/sec, 120 secs
lola: 15187569 markings, 43713524 edges, 110077 markings/sec, 125 secs
lola: 15755730 markings, 45309558 edges, 113632 markings/sec, 130 secs
lola: 16297764 markings, 47013713 edges, 108407 markings/sec, 135 secs
lola: 16871177 markings, 48695585 edges, 114683 markings/sec, 140 secs
lola: 17427918 markings, 50426125 edges, 111348 markings/sec, 145 secs
lola: 17965974 markings, 52116883 edges, 107611 markings/sec, 150 secs
lola: 18502524 markings, 53812832 edges, 107310 markings/sec, 155 secs
lola: 19046311 markings, 55424065 edges, 108757 markings/sec, 160 secs
lola: 19585032 markings, 57075987 edges, 107744 markings/sec, 165 secs
lola: 20124527 markings, 58742698 edges, 107899 markings/sec, 170 secs
lola: 20640734 markings, 60431732 edges, 103241 markings/sec, 175 secs
lola: 21177768 markings, 62077546 edges, 107407 markings/sec, 180 secs
lola: 21735721 markings, 63728516 edges, 111591 markings/sec, 185 secs
lola: 22277953 markings, 65403886 edges, 108446 markings/sec, 190 secs
lola: 22801064 markings, 67068172 edges, 104622 markings/sec, 195 secs
lola: 23305526 markings, 68791885 edges, 100892 markings/sec, 200 secs
lola: 23819724 markings, 70491215 edges, 102840 markings/sec, 205 secs
lola: 24344130 markings, 72168002 edges, 104881 markings/sec, 210 secs
lola: 24846994 markings, 73811980 edges, 100573 markings/sec, 215 secs
lola: 25338680 markings, 75497875 edges, 98337 markings/sec, 220 secs
lola: 25844843 markings, 77172858 edges, 101233 markings/sec, 225 secs
lola: 26359163 markings, 78839705 edges, 102864 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1237441 markings, 1782941 edges, 247488 markings/sec, 0 secs
lola: 2472549 markings, 3554214 edges, 247022 markings/sec, 5 secs
lola: 3711793 markings, 5334640 edges, 247849 markings/sec, 10 secs
lola: 4830496 markings, 7130634 edges, 223741 markings/sec, 15 secs
lola: 5579133 markings, 8973204 edges, 149727 markings/sec, 20 secs
lola: 6197851 markings, 10897600 edges, 123744 markings/sec, 25 secs
lola: 6784332 markings, 12849342 edges, 117296 markings/sec, 30 secs
lola: 7351496 markings, 14826532 edges, 113433 markings/sec, 35 secs
lola: 7886233 markings, 16834311 edges, 106947 markings/sec, 40 secs
lola: 8431012 markings, 18868219 edges, 108956 markings/sec, 45 secs
lola: 8995045 markings, 20786618 edges, 112807 markings/sec, 50 secs
lola: 9515774 markings, 22557668 edges, 104146 markings/sec, 55 secs
lola: 10051919 markings, 24387150 edges, 107229 markings/sec, 60 secs
lola: 10612762 markings, 26277124 edges, 112169 markings/sec, 65 secs
lola: 11180588 markings, 28140291 edges, 113565 markings/sec, 70 secs
lola: 11717247 markings, 30059014 edges, 107332 markings/sec, 75 secs
lola: 12247779 markings, 31978391 edges, 106106 markings/sec, 80 secs
lola: 12757372 markings, 33910401 edges, 101919 markings/sec, 85 secs
lola: 13282089 markings, 35873907 edges, 104943 markings/sec, 90 secs
lola: 13799705 markings, 37740999 edges, 103523 markings/sec, 95 secs
lola: 14288409 markings, 39630856 edges, 97741 markings/sec, 100 secs
lola: 14789355 markings, 41361637 edges, 100189 markings/sec, 105 secs
lola: 15300162 markings, 43103616 edges, 102161 markings/sec, 110 secs
lola: 15816691 markings, 44846965 edges, 103306 markings/sec, 115 secs
lola: 16312800 markings, 46620956 edges, 99222 markings/sec, 120 secs
lola: 16978319 markings, 48424209 edges, 133104 markings/sec, 125 secs
lola: 17487617 markings, 50275100 edges, 101860 markings/sec, 130 secs
lola: 18008795 markings, 51989281 edges, 104236 markings/sec, 135 secs
lola: 18616271 markings, 53757438 edges, 121495 markings/sec, 140 secs
lola: 19178184 markings, 55575256 edges, 112383 markings/sec, 145 secs
lola: 19690623 markings, 57350465 edges, 102488 markings/sec, 150 secs
lola: 20282182 markings, 59093954 edges, 118312 markings/sec, 155 secs
lola: 21162958 markings, 60825881 edges, 176155 markings/sec, 160 secs
lola: 22009195 markings, 62543387 edges, 169247 markings/sec, 165 secs
lola: 22663858 markings, 64394433 edges, 130933 markings/sec, 170 secs
lola: 23342931 markings, 66268818 edges, 135815 markings/sec, 175 secs
lola: 24055686 markings, 67991794 edges, 142551 markings/sec, 180 secs
lola: 24744222 markings, 69743397 edges, 137707 markings/sec, 185 secs
lola: 25359753 markings, 71538055 edges, 123106 markings/sec, 190 secs
lola: 25895904 markings, 73383663 edges, 107230 markings/sec, 195 secs
lola: 26487971 markings, 75093672 edges, 118413 markings/sec, 200 secs
lola: 27140909 markings, 76722935 edges, 130588 markings/sec, 205 secs
lola: 27807295 markings, 78371433 edges, 133277 markings/sec, 210 secs
lola: 28471207 markings, 79942147 edges, 132782 markings/sec, 215 secs
lola: 29238209 markings, 81471696 edges, 153400 markings/sec, 220 secs
lola: 29863580 markings, 83114852 edges, 125074 markings/sec, 225 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 236 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 68 bytes per marking, with 10 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: 684500 markings, 1847479 edges, 136900 markings/sec, 0 secs
lola: 1453437 markings, 3674620 edges, 153787 markings/sec, 5 secs
lola: 2241677 markings, 5557452 edges, 157648 markings/sec, 10 secs
lola: 2987523 markings, 7402268 edges, 149169 markings/sec, 15 secs
lola: 3711431 markings, 9254313 edges, 144782 markings/sec, 20 secs
lola: 4434806 markings, 11098570 edges, 144675 markings/sec, 25 secs
lola: 5120831 markings, 12966522 edges, 137205 markings/sec, 30 secs
lola: 5822890 markings, 14790092 edges, 140412 markings/sec, 35 secs
lola: 6527015 markings, 16666680 edges, 140825 markings/sec, 40 secs
lola: 7179114 markings, 18450967 edges, 130420 markings/sec, 45 secs
lola: 7865536 markings, 20299475 edges, 137284 markings/sec, 50 secs
lola: 8508393 markings, 22050637 edges, 128571 markings/sec, 55 secs
lola: 9103219 markings, 23648980 edges, 118965 markings/sec, 60 secs
lola: 9667407 markings, 25246185 edges, 112838 markings/sec, 65 secs
lola: 10295928 markings, 26901935 edges, 125704 markings/sec, 70 secs
lola: 10950423 markings, 28668755 edges, 130899 markings/sec, 75 secs
lola: 11565980 markings, 30315485 edges, 123111 markings/sec, 80 secs
lola: 12152606 markings, 31946714 edges, 117325 markings/sec, 85 secs
lola: 12742812 markings, 33568235 edges, 118041 markings/sec, 90 secs
lola: 13364349 markings, 35220406 edges, 124307 markings/sec, 95 secs
lola: 13998381 markings, 36894566 edges, 126806 markings/sec, 100 secs
lola: 14627467 markings, 38580327 edges, 125817 markings/sec, 105 secs
lola: 15223300 markings, 40241341 edges, 119167 markings/sec, 110 secs
lola: 15817105 markings, 41889086 edges, 118761 markings/sec, 115 secs
lola: 16428725 markings, 43561138 edges, 122324 markings/sec, 120 secs
lola: 17066897 markings, 45272453 edges, 127634 markings/sec, 125 secs
lola: 17700581 markings, 47029133 edges, 126737 markings/sec, 130 secs
lola: 18329624 markings, 48719473 edges, 125809 markings/sec, 135 secs
lola: 18954086 markings, 50419483 edges, 124892 markings/sec, 140 secs
lola: 19530074 markings, 52072582 edges, 115198 markings/sec, 145 secs
lola: 20123664 markings, 53716194 edges, 118718 markings/sec, 150 secs
lola: 20706192 markings, 55330084 edges, 116506 markings/sec, 155 secs
lola: 21360088 markings, 57132373 edges, 130779 markings/sec, 160 secs
lola: 21990257 markings, 58866721 edges, 126034 markings/sec, 165 secs
lola: 22599502 markings, 60620932 edges, 121849 markings/sec, 170 secs
lola: 23213671 markings, 62334357 edges, 122834 markings/sec, 175 secs
lola: 23844689 markings, 64085244 edges, 126204 markings/sec, 180 secs
lola: 24457311 markings, 65780403 edges, 122524 markings/sec, 185 secs
lola: 25047386 markings, 67370013 edges, 118015 markings/sec, 190 secs
lola: 25643954 markings, 69020446 edges, 119314 markings/sec, 195 secs
lola: 26253577 markings, 70699897 edges, 121925 markings/sec, 200 secs
lola: 26881080 markings, 72446416 edges, 125501 markings/sec, 205 secs
lola: 27549525 markings, 74242655 edges, 133689 markings/sec, 210 secs
lola: 28173709 markings, 75973208 edges, 124837 markings/sec, 215 secs
lola: 28803183 markings, 77716285 edges, 125895 markings/sec, 220 secs
lola: 29401014 markings, 79399812 edges, 119566 markings/sec, 225 secs
lola: 30031640 markings, 81151933 edges, 126125 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p554)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1085272 markings, 1783238 edges, 217054 markings/sec, 0 secs
lola: 1997829 markings, 3509609 edges, 182511 markings/sec, 5 secs
lola: 2868986 markings, 5245474 edges, 174231 markings/sec, 10 secs
lola: 3672430 markings, 6953333 edges, 160689 markings/sec, 15 secs
lola: 4461222 markings, 8694097 edges, 157758 markings/sec, 20 secs
lola: 5285976 markings, 10358977 edges, 164951 markings/sec, 25 secs
lola: 6097734 markings, 12053140 edges, 162352 markings/sec, 30 secs
lola: 6899850 markings, 13789400 edges, 160423 markings/sec, 35 secs
lola: 7690315 markings, 15524130 edges, 158093 markings/sec, 40 secs
lola: 8490674 markings, 17237686 edges, 160072 markings/sec, 45 secs
lola: 9294504 markings, 18906060 edges, 160766 markings/sec, 50 secs
lola: 10082578 markings, 20593291 edges, 157615 markings/sec, 55 secs
lola: 10831770 markings, 22310088 edges, 149838 markings/sec, 60 secs
lola: 11587191 markings, 24007837 edges, 151084 markings/sec, 65 secs
lola: 12355382 markings, 25609721 edges, 153638 markings/sec, 70 secs
lola: 13069169 markings, 27254427 edges, 142757 markings/sec, 75 secs
lola: 13812325 markings, 28922098 edges, 148631 markings/sec, 80 secs
lola: 14566423 markings, 30615528 edges, 150820 markings/sec, 85 secs
lola: 15309196 markings, 32294834 edges, 148555 markings/sec, 90 secs
lola: 16031177 markings, 33977226 edges, 144396 markings/sec, 95 secs
lola: 16751905 markings, 35618059 edges, 144146 markings/sec, 100 secs
lola: 17451566 markings, 37292544 edges, 139932 markings/sec, 105 secs
lola: 18151806 markings, 38899588 edges, 140048 markings/sec, 110 secs
lola: 18861111 markings, 40562955 edges, 141861 markings/sec, 115 secs
lola: 19552414 markings, 42225258 edges, 138261 markings/sec, 120 secs
lola: 20266219 markings, 43893917 edges, 142761 markings/sec, 125 secs
lola: 20960534 markings, 45522615 edges, 138863 markings/sec, 130 secs
lola: 21662127 markings, 47146417 edges, 140319 markings/sec, 135 secs
lola: 22362678 markings, 48721570 edges, 140110 markings/sec, 140 secs
lola: 23051081 markings, 50364323 edges, 137681 markings/sec, 145 secs
lola: 23750014 markings, 51988270 edges, 139787 markings/sec, 150 secs
lola: 24440195 markings, 53632961 edges, 138036 markings/sec, 155 secs
lola: 25124738 markings, 55262033 edges, 136909 markings/sec, 160 secs
lola: 25799585 markings, 56955911 edges, 134969 markings/sec, 165 secs
lola: 26454050 markings, 58548833 edges, 130893 markings/sec, 170 secs
lola: 27124731 markings, 60262348 edges, 134136 markings/sec, 175 secs
lola: 27801246 markings, 61911677 edges, 135303 markings/sec, 180 secs
lola: 28482575 markings, 63533838 edges, 136266 markings/sec, 185 secs
lola: 29140265 markings, 65131539 edges, 131538 markings/sec, 190 secs
lola: 29811940 markings, 66768014 edges, 134335 markings/sec, 195 secs
lola: 30506245 markings, 68367674 edges, 138861 markings/sec, 200 secs
lola: 31161846 markings, 70021036 edges, 131120 markings/sec, 205 secs
lola: 31805080 markings, 71698924 edges, 128647 markings/sec, 210 secs
lola: 32457495 markings, 73352913 edges, 130483 markings/sec, 215 secs
lola: 33114925 markings, 74985165 edges, 131486 markings/sec, 220 secs
lola: 33793973 markings, 76628261 edges, 135810 markings/sec, 225 secs
lola: 34469809 markings, 78278347 edges, 135167 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p526)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 940170 markings, 1651603 edges, 188034 markings/sec, 0 secs
lola: 1877047 markings, 3269620 edges, 187375 markings/sec, 5 secs
lola: 2681450 markings, 4707980 edges, 160881 markings/sec, 10 secs
lola: 3556113 markings, 6256920 edges, 174933 markings/sec, 15 secs
lola: 4439183 markings, 7827334 edges, 176614 markings/sec, 20 secs
lola: 5275047 markings, 9309602 edges, 167173 markings/sec, 25 secs
lola: 6084975 markings, 10795224 edges, 161986 markings/sec, 30 secs
lola: 6770699 markings, 12272375 edges, 137145 markings/sec, 35 secs
lola: 7388136 markings, 13745992 edges, 123487 markings/sec, 40 secs
lola: 7970341 markings, 15229933 edges, 116441 markings/sec, 45 secs
lola: 8526404 markings, 16749872 edges, 111213 markings/sec, 50 secs
lola: 9063733 markings, 18283065 edges, 107466 markings/sec, 55 secs
lola: 9629561 markings, 19865186 edges, 113166 markings/sec, 60 secs
lola: 10155622 markings, 21391656 edges, 105212 markings/sec, 65 secs
lola: 10651533 markings, 22958043 edges, 99182 markings/sec, 70 secs
lola: 11156950 markings, 24511085 edges, 101083 markings/sec, 75 secs
lola: 11667653 markings, 26077017 edges, 102141 markings/sec, 80 secs
lola: 12183779 markings, 27606627 edges, 103225 markings/sec, 85 secs
lola: 12729602 markings, 29146194 edges, 109165 markings/sec, 90 secs
lola: 13284251 markings, 30767737 edges, 110930 markings/sec, 95 secs
lola: 13805868 markings, 32410630 edges, 104323 markings/sec, 100 secs
lola: 14340655 markings, 34044481 edges, 106957 markings/sec, 105 secs
lola: 14883787 markings, 35613560 edges, 108626 markings/sec, 110 secs
lola: 15415268 markings, 37211510 edges, 106296 markings/sec, 115 secs
lola: 15943923 markings, 38785520 edges, 105731 markings/sec, 120 secs
lola: 16461109 markings, 40385553 edges, 103437 markings/sec, 125 secs
lola: 16978171 markings, 41980639 edges, 103412 markings/sec, 130 secs
lola: 17494903 markings, 43553553 edges, 103346 markings/sec, 135 secs
lola: 18000627 markings, 45148767 edges, 101145 markings/sec, 140 secs
lola: 18503089 markings, 46735710 edges, 100492 markings/sec, 145 secs
lola: 19003203 markings, 48335457 edges, 100023 markings/sec, 150 secs
lola: 19502040 markings, 49927511 edges, 99767 markings/sec, 155 secs
lola: 19947858 markings, 51559680 edges, 89164 markings/sec, 160 secs
lola: 20381565 markings, 53007672 edges, 86741 markings/sec, 165 secs
lola: 20816871 markings, 54463084 edges, 87061 markings/sec, 170 secs
lola: 21257225 markings, 55898099 edges, 88071 markings/sec, 175 secs
lola: 21689585 markings, 57372035 edges, 86472 markings/sec, 180 secs
lola: 22133073 markings, 58798203 edges, 88698 markings/sec, 185 secs
lola: 22563086 markings, 60268113 edges, 86003 markings/sec, 190 secs
lola: 22978420 markings, 61723944 edges, 83067 markings/sec, 195 secs
lola: 23401969 markings, 63148459 edges, 84710 markings/sec, 200 secs
lola: 23826121 markings, 64588721 edges, 84830 markings/sec, 205 secs
lola: 24250729 markings, 66005732 edges, 84922 markings/sec, 210 secs
lola: 24681380 markings, 67395855 edges, 86130 markings/sec, 215 secs
lola: 25087065 markings, 68833664 edges, 81137 markings/sec, 220 secs
lola: 25511465 markings, 70240983 edges, 84880 markings/sec, 225 secs
lola: 25936611 markings, 71654149 edges, 85029 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p354)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1138140 markings, 1632304 edges, 227628 markings/sec, 0 secs
lola: 2138137 markings, 3228772 edges, 199999 markings/sec, 5 secs
lola: 3078154 markings, 4827099 edges, 188003 markings/sec, 10 secs
lola: 3980360 markings, 6393309 edges, 180441 markings/sec, 15 secs
lola: 4838399 markings, 7862920 edges, 171608 markings/sec, 20 secs
lola: 5677198 markings, 9399777 edges, 167760 markings/sec, 25 secs
lola: 6511042 markings, 10926081 edges, 166769 markings/sec, 30 secs
lola: 7348296 markings, 12508241 edges, 167451 markings/sec, 35 secs
lola: 8182938 markings, 14057347 edges, 166928 markings/sec, 40 secs
lola: 9030170 markings, 15628521 edges, 169446 markings/sec, 45 secs
lola: 9823451 markings, 17173589 edges, 158656 markings/sec, 50 secs
lola: 10604930 markings, 18711598 edges, 156296 markings/sec, 55 secs
lola: 11358890 markings, 20287288 edges, 150792 markings/sec, 60 secs
lola: 12152862 markings, 21807284 edges, 158794 markings/sec, 65 secs
lola: 12892868 markings, 23299310 edges, 148001 markings/sec, 70 secs
lola: 13625149 markings, 24833128 edges, 146456 markings/sec, 75 secs
lola: 14368780 markings, 26309575 edges, 148726 markings/sec, 80 secs
lola: 15082418 markings, 27781191 edges, 142728 markings/sec, 85 secs
lola: 15815303 markings, 29336841 edges, 146577 markings/sec, 90 secs
lola: 16554538 markings, 30913058 edges, 147847 markings/sec, 95 secs
lola: 17276891 markings, 32486909 edges, 144471 markings/sec, 100 secs
lola: 17994269 markings, 34054481 edges, 143476 markings/sec, 105 secs
lola: 18690808 markings, 35538025 edges, 139308 markings/sec, 110 secs
lola: 19332608 markings, 36911420 edges, 128360 markings/sec, 115 secs
lola: 19997114 markings, 38451763 edges, 132901 markings/sec, 120 secs
lola: 20666690 markings, 40009615 edges, 133915 markings/sec, 125 secs
lola: 21329904 markings, 41457948 edges, 132643 markings/sec, 130 secs
lola: 21957990 markings, 42912111 edges, 125617 markings/sec, 135 secs
lola: 22648630 markings, 44336046 edges, 138128 markings/sec, 140 secs
lola: 23296347 markings, 45863487 edges, 129543 markings/sec, 145 secs
lola: 23938833 markings, 47347606 edges, 128497 markings/sec, 150 secs
lola: 24600899 markings, 48833909 edges, 132413 markings/sec, 155 secs
lola: 25279041 markings, 50406888 edges, 135628 markings/sec, 160 secs
lola: 25989215 markings, 51956855 edges, 142035 markings/sec, 165 secs
lola: 26639670 markings, 53497195 edges, 130091 markings/sec, 170 secs
lola: 27305276 markings, 55042023 edges, 133121 markings/sec, 175 secs
lola: 27957042 markings, 56659873 edges, 130353 markings/sec, 180 secs
lola: 28576961 markings, 58264164 edges, 123984 markings/sec, 185 secs
lola: 29176873 markings, 59816309 edges, 119982 markings/sec, 190 secs
lola: 29771593 markings, 61390890 edges, 118944 markings/sec, 195 secs
lola: 30385921 markings, 62989378 edges, 122866 markings/sec, 200 secs
lola: 30864182 markings, 64706919 edges, 95652 markings/sec, 205 secs
lola: 31331432 markings, 66392323 edges, 93450 markings/sec, 210 secs
lola: 31804034 markings, 68061357 edges, 94520 markings/sec, 215 secs
lola: 32398215 markings, 69678033 edges, 118836 markings/sec, 220 secs
lola: 32897983 markings, 71363880 edges, 99954 markings/sec, 225 secs
lola: 33340000 markings, 73068729 edges, 88403 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 726849 markings, 1857618 edges, 145370 markings/sec, 0 secs
lola: 1521167 markings, 3607732 edges, 158864 markings/sec, 5 secs
lola: 2181978 markings, 5463046 edges, 132162 markings/sec, 10 secs
lola: 2819358 markings, 7272821 edges, 127476 markings/sec, 15 secs
lola: 3410634 markings, 9064494 edges, 118255 markings/sec, 20 secs
lola: 4016760 markings, 10861717 edges, 121225 markings/sec, 25 secs
lola: 4575171 markings, 12639552 edges, 111682 markings/sec, 30 secs
lola: 5097621 markings, 14470301 edges, 104490 markings/sec, 35 secs
lola: 5605889 markings, 16305518 edges, 101654 markings/sec, 40 secs
lola: 6139057 markings, 18150366 edges, 106634 markings/sec, 45 secs
lola: 6679622 markings, 19922635 edges, 108113 markings/sec, 50 secs
lola: 7254070 markings, 21684338 edges, 114890 markings/sec, 55 secs
lola: 7787375 markings, 23448829 edges, 106661 markings/sec, 60 secs
lola: 8312527 markings, 25242411 edges, 105030 markings/sec, 65 secs
lola: 8830891 markings, 27012750 edges, 103673 markings/sec, 70 secs
lola: 9372959 markings, 28786721 edges, 108414 markings/sec, 75 secs
lola: 9897602 markings, 30538852 edges, 104929 markings/sec, 80 secs
lola: 10451800 markings, 32194021 edges, 110840 markings/sec, 85 secs
lola: 10975252 markings, 33904368 edges, 104690 markings/sec, 90 secs
lola: 11524505 markings, 35635382 edges, 109851 markings/sec, 95 secs
lola: 12000529 markings, 37274528 edges, 95205 markings/sec, 100 secs
lola: 12470778 markings, 38870413 edges, 94050 markings/sec, 105 secs
lola: 12971818 markings, 40560122 edges, 100208 markings/sec, 110 secs
lola: 13475924 markings, 42255000 edges, 100821 markings/sec, 115 secs
lola: 14019090 markings, 43985290 edges, 108633 markings/sec, 120 secs
lola: 14554772 markings, 45725898 edges, 107136 markings/sec, 125 secs
lola: 15070290 markings, 47476492 edges, 103104 markings/sec, 130 secs
lola: 15554709 markings, 49094418 edges, 96884 markings/sec, 135 secs
lola: 16051466 markings, 50924467 edges, 99351 markings/sec, 140 secs
lola: 16504016 markings, 52567680 edges, 90510 markings/sec, 145 secs
lola: 16976568 markings, 54148893 edges, 94510 markings/sec, 150 secs
lola: 17433743 markings, 55774841 edges, 91435 markings/sec, 155 secs
lola: 17932663 markings, 57535448 edges, 99784 markings/sec, 160 secs
lola: 18404226 markings, 59217933 edges, 94313 markings/sec, 165 secs
lola: 18890521 markings, 60840919 edges, 97259 markings/sec, 170 secs
lola: 19360338 markings, 62456748 edges, 93963 markings/sec, 175 secs
lola: 19808437 markings, 64028108 edges, 89620 markings/sec, 180 secs
lola: 20250430 markings, 65619559 edges, 88399 markings/sec, 185 secs
lola: 20728028 markings, 67266732 edges, 95520 markings/sec, 190 secs
lola: 21213742 markings, 68928077 edges, 97143 markings/sec, 195 secs
lola: 21693000 markings, 70586335 edges, 95852 markings/sec, 200 secs
lola: 22211590 markings, 72308314 edges, 103718 markings/sec, 205 secs
lola: 22704459 markings, 73978031 edges, 98574 markings/sec, 210 secs
lola: 23181913 markings, 75663834 edges, 95491 markings/sec, 215 secs
lola: 23678880 markings, 77360016 edges, 99393 markings/sec, 220 secs
lola: 24170808 markings, 79058123 edges, 98386 markings/sec, 225 secs
lola: 24631286 markings, 80721026 edges, 92096 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 792381 markings, 1922114 edges, 158476 markings/sec, 0 secs
lola: 1496326 markings, 3680106 edges, 140789 markings/sec, 5 secs
lola: 2190854 markings, 5404107 edges, 138906 markings/sec, 10 secs
lola: 2867685 markings, 7061282 edges, 135366 markings/sec, 15 secs
lola: 3534968 markings, 8711845 edges, 133457 markings/sec, 20 secs
lola: 4176978 markings, 10377072 edges, 128402 markings/sec, 25 secs
lola: 4749212 markings, 12074266 edges, 114447 markings/sec, 30 secs
lola: 5333851 markings, 13791848 edges, 116928 markings/sec, 35 secs
lola: 5908156 markings, 15455600 edges, 114861 markings/sec, 40 secs
lola: 6492994 markings, 17210690 edges, 116968 markings/sec, 45 secs
lola: 7127628 markings, 18954226 edges, 126927 markings/sec, 50 secs
lola: 7737827 markings, 20682630 edges, 122040 markings/sec, 55 secs
lola: 8315293 markings, 22412914 edges, 115493 markings/sec, 60 secs
lola: 8918910 markings, 24140369 edges, 120723 markings/sec, 65 secs
lola: 9541216 markings, 25848574 edges, 124461 markings/sec, 70 secs
lola: 10137850 markings, 27561153 edges, 119327 markings/sec, 75 secs
lola: 10742273 markings, 29322395 edges, 120885 markings/sec, 80 secs
lola: 11346561 markings, 31020987 edges, 120858 markings/sec, 85 secs
lola: 11933129 markings, 32736456 edges, 117314 markings/sec, 90 secs
lola: 12497819 markings, 34369324 edges, 112938 markings/sec, 95 secs
lola: 13069341 markings, 35946413 edges, 114304 markings/sec, 100 secs
lola: 13623945 markings, 37667653 edges, 110921 markings/sec, 105 secs
lola: 14206808 markings, 39310860 edges, 116573 markings/sec, 110 secs
lola: 14775950 markings, 40969023 edges, 113828 markings/sec, 115 secs
lola: 15343387 markings, 42615022 edges, 113487 markings/sec, 120 secs
lola: 15901359 markings, 44196876 edges, 111594 markings/sec, 125 secs
lola: 16406359 markings, 45725913 edges, 101000 markings/sec, 130 secs
lola: 16954368 markings, 47240955 edges, 109602 markings/sec, 135 secs
lola: 17512348 markings, 48842624 edges, 111596 markings/sec, 140 secs
lola: 18032294 markings, 50352536 edges, 103989 markings/sec, 145 secs
lola: 18593490 markings, 51952631 edges, 112239 markings/sec, 150 secs
lola: 19121278 markings, 53505905 edges, 105558 markings/sec, 155 secs
lola: 19638331 markings, 55076380 edges, 103411 markings/sec, 160 secs
lola: 20152650 markings, 56615374 edges, 102864 markings/sec, 165 secs
lola: 20669424 markings, 58147781 edges, 103355 markings/sec, 170 secs
lola: 21205397 markings, 59692117 edges, 107195 markings/sec, 175 secs
lola: 21749356 markings, 61298743 edges, 108792 markings/sec, 180 secs
lola: 22305298 markings, 62919550 edges, 111188 markings/sec, 185 secs
lola: 22854576 markings, 64532989 edges, 109856 markings/sec, 190 secs
lola: 23416346 markings, 66166075 edges, 112354 markings/sec, 195 secs
lola: 23988675 markings, 67867220 edges, 114466 markings/sec, 200 secs
lola: 24543484 markings, 69540909 edges, 110962 markings/sec, 205 secs
lola: 25096816 markings, 71230403 edges, 110666 markings/sec, 210 secs
lola: 25662235 markings, 72894155 edges, 113084 markings/sec, 215 secs
lola: 26194374 markings, 74511504 edges, 106428 markings/sec, 220 secs
lola: 26730288 markings, 76044018 edges, 107183 markings/sec, 225 secs
lola: 27234665 markings, 77596185 edges, 100875 markings/sec, 230 secs
lola: 27762619 markings, 79246879 edges, 105591 markings/sec, 235 secs
lola: 28316899 markings, 80942727 edges, 110856 markings/sec, 240 secs
lola: 28865055 markings, 82647129 edges, 109631 markings/sec, 245 secs
lola: 29402532 markings, 84378763 edges, 107495 markings/sec, 250 secs
lola: 29924343 markings, 85958447 edges, 104362 markings/sec, 255 secs
lola: 30450084 markings, 87528441 edges, 105148 markings/sec, 260 secs
lola: 30980877 markings, 89112021 edges, 106159 markings/sec, 265 secs
lola: 31499141 markings, 90765130 edges, 103653 markings/sec, 270 secs
lola: 32047279 markings, 92444539 edges, 109628 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p353)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1109975 markings, 1590783 edges, 221995 markings/sec, 0 secs
lola: 2096660 markings, 3168028 edges, 197337 markings/sec, 5 secs
lola: 3024169 markings, 4724937 edges, 185502 markings/sec, 10 secs
lola: 3906260 markings, 6273019 edges, 176418 markings/sec, 15 secs
lola: 4796722 markings, 7781761 edges, 178092 markings/sec, 20 secs
lola: 5644917 markings, 9329250 edges, 169639 markings/sec, 25 secs
lola: 6460068 markings, 10819781 edges, 163030 markings/sec, 30 secs
lola: 7261364 markings, 12365700 edges, 160259 markings/sec, 35 secs
lola: 8103431 markings, 13896889 edges, 168413 markings/sec, 40 secs
lola: 8937132 markings, 15463571 edges, 166740 markings/sec, 45 secs
lola: 9736139 markings, 16998363 edges, 159801 markings/sec, 50 secs
lola: 10515817 markings, 18546275 edges, 155936 markings/sec, 55 secs
lola: 11267351 markings, 20117485 edges, 150307 markings/sec, 60 secs
lola: 12067079 markings, 21650381 edges, 159946 markings/sec, 65 secs
lola: 12840588 markings, 23175306 edges, 154702 markings/sec, 70 secs
lola: 13579783 markings, 24695229 edges, 147839 markings/sec, 75 secs
lola: 14338590 markings, 26224610 edges, 151761 markings/sec, 80 secs
lola: 15080256 markings, 27755185 edges, 148333 markings/sec, 85 secs
lola: 15807489 markings, 29311398 edges, 145447 markings/sec, 90 secs
lola: 16545063 markings, 30875622 edges, 147515 markings/sec, 95 secs
lola: 17259848 markings, 32417638 edges, 142957 markings/sec, 100 secs
lola: 17964580 markings, 33988447 edges, 140946 markings/sec, 105 secs
lola: 18668730 markings, 35461260 edges, 140830 markings/sec, 110 secs
lola: 19325683 markings, 36883448 edges, 131391 markings/sec, 115 secs
lola: 19966648 markings, 38366021 edges, 128193 markings/sec, 120 secs
lola: 20600771 markings, 39854283 edges, 126825 markings/sec, 125 secs
lola: 21260706 markings, 41275561 edges, 131987 markings/sec, 130 secs
lola: 21866687 markings, 42725892 edges, 121196 markings/sec, 135 secs
lola: 22581905 markings, 44177573 edges, 143044 markings/sec, 140 secs
lola: 23220514 markings, 45611548 edges, 127722 markings/sec, 145 secs
lola: 23824411 markings, 47082883 edges, 120779 markings/sec, 150 secs
lola: 24478626 markings, 48568401 edges, 130843 markings/sec, 155 secs
lola: 25098593 markings, 49980095 edges, 123993 markings/sec, 160 secs
lola: 25737040 markings, 51407450 edges, 127689 markings/sec, 165 secs
lola: 26389962 markings, 52909724 edges, 130584 markings/sec, 170 secs
lola: 27005017 markings, 54387199 edges, 123011 markings/sec, 175 secs
lola: 27645095 markings, 55833793 edges, 128016 markings/sec, 180 secs
lola: 28255940 markings, 57341469 edges, 122169 markings/sec, 185 secs
lola: 28814213 markings, 58939569 edges, 111655 markings/sec, 190 secs
lola: 29434930 markings, 60459684 edges, 124143 markings/sec, 195 secs
lola: 30036315 markings, 61985188 edges, 120277 markings/sec, 200 secs
lola: 30566368 markings, 63581388 edges, 106011 markings/sec, 205 secs
lola: 31012647 markings, 65245547 edges, 89256 markings/sec, 210 secs
lola: 31486941 markings, 66919484 edges, 94859 markings/sec, 215 secs
lola: 32021904 markings, 68518608 edges, 106993 markings/sec, 220 secs
lola: 32585719 markings, 70112092 edges, 112763 markings/sec, 225 secs
lola: 33035699 markings, 71851573 edges, 89996 markings/sec, 230 secs
lola: 33461455 markings, 73459517 edges, 85151 markings/sec, 235 secs
lola: 33868078 markings, 75142374 edges, 81325 markings/sec, 240 secs
lola: 34335362 markings, 76826769 edges, 93457 markings/sec, 245 secs
lola: 34760414 markings, 78410614 edges, 85010 markings/sec, 250 secs
lola: 35196668 markings, 79974254 edges, 87251 markings/sec, 255 secs
lola: 35594371 markings, 81466898 edges, 79541 markings/sec, 260 secs
lola: 35984184 markings, 82951375 edges, 77963 markings/sec, 265 secs
lola: 36459464 markings, 84503345 edges, 95056 markings/sec, 270 secs
lola: 36918011 markings, 86139913 edges, 91709 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p544)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 757378 markings, 1703991 edges, 151476 markings/sec, 0 secs
lola: 1476509 markings, 3406466 edges, 143826 markings/sec, 5 secs
lola: 2096545 markings, 5170016 edges, 124007 markings/sec, 10 secs
lola: 2719354 markings, 6740558 edges, 124562 markings/sec, 15 secs
lola: 3293169 markings, 8276896 edges, 114763 markings/sec, 20 secs
lola: 3833676 markings, 9764714 edges, 108101 markings/sec, 25 secs
lola: 4378875 markings, 11351094 edges, 109040 markings/sec, 30 secs
lola: 5000293 markings, 12912292 edges, 124284 markings/sec, 35 secs
lola: 5577906 markings, 14489622 edges, 115523 markings/sec, 40 secs
lola: 6085581 markings, 16151129 edges, 101535 markings/sec, 45 secs
lola: 6611922 markings, 17892542 edges, 105268 markings/sec, 50 secs
lola: 7153257 markings, 19562177 edges, 108267 markings/sec, 55 secs
lola: 7673618 markings, 21239945 edges, 104072 markings/sec, 60 secs
lola: 8212270 markings, 22838567 edges, 107730 markings/sec, 65 secs
lola: 8762920 markings, 24440620 edges, 110130 markings/sec, 70 secs
lola: 9302613 markings, 26025734 edges, 107939 markings/sec, 75 secs
lola: 9835605 markings, 27574335 edges, 106598 markings/sec, 80 secs
lola: 10321250 markings, 29035091 edges, 97129 markings/sec, 85 secs
lola: 10796840 markings, 30503728 edges, 95118 markings/sec, 90 secs
lola: 11310638 markings, 32019649 edges, 102760 markings/sec, 95 secs
lola: 11810132 markings, 33552823 edges, 99899 markings/sec, 100 secs
lola: 12301261 markings, 35195097 edges, 98226 markings/sec, 105 secs
lola: 12843512 markings, 36747761 edges, 108450 markings/sec, 110 secs
lola: 13353457 markings, 38410883 edges, 101989 markings/sec, 115 secs
lola: 13863737 markings, 40052521 edges, 102056 markings/sec, 120 secs
lola: 14373871 markings, 41737615 edges, 102027 markings/sec, 125 secs
lola: 14896551 markings, 43297056 edges, 104536 markings/sec, 130 secs
lola: 15382900 markings, 44968850 edges, 97270 markings/sec, 135 secs
lola: 15876221 markings, 46549829 edges, 98664 markings/sec, 140 secs
lola: 16389091 markings, 48218350 edges, 102574 markings/sec, 145 secs
lola: 16900417 markings, 49901176 edges, 102265 markings/sec, 150 secs
lola: 17396612 markings, 51522361 edges, 99239 markings/sec, 155 secs
lola: 17890246 markings, 53205865 edges, 98727 markings/sec, 160 secs
lola: 18394637 markings, 54857943 edges, 100878 markings/sec, 165 secs
lola: 18850205 markings, 56649469 edges, 91114 markings/sec, 170 secs
lola: 19352315 markings, 58274554 edges, 100422 markings/sec, 175 secs
lola: 19841906 markings, 59834966 edges, 97918 markings/sec, 180 secs
lola: 20302075 markings, 61425959 edges, 92034 markings/sec, 185 secs
lola: 20756506 markings, 63064707 edges, 90886 markings/sec, 190 secs
lola: 21252709 markings, 64658648 edges, 99241 markings/sec, 195 secs
lola: 21759928 markings, 66285973 edges, 101444 markings/sec, 200 secs
lola: 22241956 markings, 67895546 edges, 96406 markings/sec, 205 secs
lola: 22765094 markings, 69505915 edges, 104628 markings/sec, 210 secs
lola: 23270203 markings, 71179062 edges, 101022 markings/sec, 215 secs
lola: 23765299 markings, 72678781 edges, 99019 markings/sec, 220 secs
lola: 24233784 markings, 74255265 edges, 93697 markings/sec, 225 secs
lola: 24702080 markings, 75980671 edges, 93659 markings/sec, 230 secs
lola: 25202119 markings, 77555348 edges, 100008 markings/sec, 235 secs
lola: 25688681 markings, 79104193 edges, 97312 markings/sec, 240 secs
lola: 26158587 markings, 80700251 edges, 93981 markings/sec, 245 secs
lola: 26626395 markings, 82325174 edges, 93562 markings/sec, 250 secs
lola: 27092819 markings, 84034884 edges, 93285 markings/sec, 255 secs
lola: 27508802 markings, 85595366 edges, 83197 markings/sec, 260 secs
lola: 27948265 markings, 87275804 edges, 87893 markings/sec, 265 secs
lola: 28368636 markings, 88948948 edges, 84074 markings/sec, 270 secs
lola: 28877189 markings, 90493460 edges, 101711 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 834850 markings, 1698770 edges, 166970 markings/sec, 0 secs
lola: 1708257 markings, 3349134 edges, 174681 markings/sec, 5 secs
lola: 2492599 markings, 4902108 edges, 156868 markings/sec, 10 secs
lola: 3206276 markings, 6469538 edges, 142735 markings/sec, 15 secs
lola: 3912630 markings, 8006475 edges, 141271 markings/sec, 20 secs
lola: 4601399 markings, 9529791 edges, 137754 markings/sec, 25 secs
lola: 5254940 markings, 11061958 edges, 130708 markings/sec, 30 secs
lola: 5968914 markings, 12705402 edges, 142795 markings/sec, 35 secs
lola: 6690380 markings, 14362376 edges, 144293 markings/sec, 40 secs
lola: 7402268 markings, 16028643 edges, 142378 markings/sec, 45 secs
lola: 8105240 markings, 17670559 edges, 140594 markings/sec, 50 secs
lola: 8800609 markings, 19261461 edges, 139074 markings/sec, 55 secs
lola: 9478740 markings, 20861109 edges, 135626 markings/sec, 60 secs
lola: 10155276 markings, 22476302 edges, 135307 markings/sec, 65 secs
lola: 10830478 markings, 24102993 edges, 135040 markings/sec, 70 secs
lola: 11501507 markings, 25707585 edges, 134206 markings/sec, 75 secs
lola: 12189962 markings, 27313914 edges, 137691 markings/sec, 80 secs
lola: 12862921 markings, 28952551 edges, 134592 markings/sec, 85 secs
lola: 13534966 markings, 30594422 edges, 134409 markings/sec, 90 secs
lola: 14189069 markings, 32214595 edges, 130821 markings/sec, 95 secs
lola: 14844422 markings, 33805996 edges, 131071 markings/sec, 100 secs
lola: 15515349 markings, 35395360 edges, 134185 markings/sec, 105 secs
lola: 16165480 markings, 37020104 edges, 130026 markings/sec, 110 secs
lola: 16808511 markings, 38591236 edges, 128606 markings/sec, 115 secs
lola: 17466529 markings, 40167686 edges, 131604 markings/sec, 120 secs
lola: 18117534 markings, 41769050 edges, 130201 markings/sec, 125 secs
lola: 18768099 markings, 43367899 edges, 130113 markings/sec, 130 secs
lola: 19413008 markings, 44945605 edges, 128982 markings/sec, 135 secs
lola: 20040091 markings, 46579324 edges, 125417 markings/sec, 140 secs
lola: 20682357 markings, 48159844 edges, 128453 markings/sec, 145 secs
lola: 21312376 markings, 49764582 edges, 126004 markings/sec, 150 secs
lola: 21943892 markings, 51376004 edges, 126303 markings/sec, 155 secs
lola: 22558175 markings, 52866484 edges, 122857 markings/sec, 160 secs
lola: 23181217 markings, 54411419 edges, 124608 markings/sec, 165 secs
lola: 23803849 markings, 56014410 edges, 124526 markings/sec, 170 secs
lola: 24419472 markings, 57599685 edges, 123125 markings/sec, 175 secs
lola: 25054421 markings, 59155793 edges, 126990 markings/sec, 180 secs
lola: 25647050 markings, 60782963 edges, 118526 markings/sec, 185 secs
lola: 26272489 markings, 62349531 edges, 125088 markings/sec, 190 secs
lola: 26889675 markings, 63929305 edges, 123437 markings/sec, 195 secs
lola: 27504885 markings, 65518896 edges, 123042 markings/sec, 200 secs
lola: 28103606 markings, 67111091 edges, 119744 markings/sec, 205 secs
lola: 28722778 markings, 68696899 edges, 123834 markings/sec, 210 secs
lola: 29328111 markings, 70289711 edges, 121067 markings/sec, 215 secs
lola: 29938810 markings, 71875646 edges, 122140 markings/sec, 220 secs
lola: 30592075 markings, 73512911 edges, 130653 markings/sec, 225 secs
lola: 31227063 markings, 75143351 edges, 126998 markings/sec, 230 secs
lola: 31838613 markings, 76773247 edges, 122310 markings/sec, 235 secs
lola: 32447154 markings, 78435014 edges, 121708 markings/sec, 240 secs
lola: 33078702 markings, 79976532 edges, 126310 markings/sec, 245 secs
lola: 33656437 markings, 81553846 edges, 115547 markings/sec, 250 secs
lola: 34224705 markings, 83043727 edges, 113654 markings/sec, 255 secs
lola: 34817771 markings, 84660884 edges, 118613 markings/sec, 260 secs
lola: 35428561 markings, 86366172 edges, 122158 markings/sec, 265 secs
lola: 36017394 markings, 87973125 edges, 117767 markings/sec, 270 secs
lola: 36659637 markings, 89648484 edges, 128449 markings/sec, 275 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 283 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 1053867 markings, 1549759 edges, 210773 markings/sec, 0 secs
lola: 2065057 markings, 3023247 edges, 202238 markings/sec, 5 secs
lola: 3030802 markings, 4504325 edges, 193149 markings/sec, 10 secs
lola: 3712130 markings, 6183237 edges, 136266 markings/sec, 15 secs
lola: 4469986 markings, 7819960 edges, 151571 markings/sec, 20 secs
lola: 5220410 markings, 9579154 edges, 150085 markings/sec, 25 secs
lola: 6059845 markings, 11200687 edges, 167887 markings/sec, 30 secs
lola: 6774155 markings, 12788702 edges, 142862 markings/sec, 35 secs
lola: 7464115 markings, 14552529 edges, 137992 markings/sec, 40 secs
lola: 8236884 markings, 16173221 edges, 154554 markings/sec, 45 secs
lola: 8958735 markings, 17775183 edges, 144370 markings/sec, 50 secs
lola: 9734698 markings, 19283655 edges, 155193 markings/sec, 55 secs
lola: 10418385 markings, 20894625 edges, 136737 markings/sec, 60 secs
lola: 11074358 markings, 22505810 edges, 131195 markings/sec, 65 secs
lola: 11727125 markings, 24069666 edges, 130553 markings/sec, 70 secs
lola: 12412283 markings, 25589816 edges, 137032 markings/sec, 75 secs
lola: 13106074 markings, 27174067 edges, 138758 markings/sec, 80 secs
lola: 13704566 markings, 28838576 edges, 119698 markings/sec, 85 secs
lola: 14410109 markings, 30392176 edges, 141109 markings/sec, 90 secs
lola: 15076668 markings, 31953310 edges, 133312 markings/sec, 95 secs
lola: 15782060 markings, 33483267 edges, 141078 markings/sec, 100 secs
lola: 16467195 markings, 35032826 edges, 137027 markings/sec, 105 secs
lola: 17210071 markings, 36465631 edges, 148575 markings/sec, 110 secs
lola: 17922808 markings, 37988165 edges, 142547 markings/sec, 115 secs
lola: 18604238 markings, 39455594 edges, 136286 markings/sec, 120 secs
lola: 19324349 markings, 40944725 edges, 144022 markings/sec, 125 secs
lola: 19933967 markings, 42518299 edges, 121924 markings/sec, 130 secs
lola: 20579040 markings, 44079276 edges, 129015 markings/sec, 135 secs
lola: 21227987 markings, 45622982 edges, 129789 markings/sec, 140 secs
lola: 21780126 markings, 47297096 edges, 110428 markings/sec, 145 secs
lola: 22414284 markings, 48826045 edges, 126832 markings/sec, 150 secs
lola: 23055241 markings, 50381951 edges, 128191 markings/sec, 155 secs
lola: 23696815 markings, 51885458 edges, 128315 markings/sec, 160 secs
lola: 24286920 markings, 53426913 edges, 118021 markings/sec, 165 secs
lola: 24962434 markings, 54917980 edges, 135103 markings/sec, 170 secs
lola: 25566478 markings, 56488580 edges, 120809 markings/sec, 175 secs
lola: 26106832 markings, 58134230 edges, 108071 markings/sec, 180 secs
lola: 26664875 markings, 59778833 edges, 111609 markings/sec, 185 secs
lola: 27218564 markings, 61437765 edges, 110738 markings/sec, 190 secs
lola: 27784876 markings, 63026239 edges, 113262 markings/sec, 195 secs
lola: 28256762 markings, 64729760 edges, 94377 markings/sec, 200 secs
lola: 28884758 markings, 66285232 edges, 125599 markings/sec, 205 secs
lola: 29427089 markings, 67899914 edges, 108466 markings/sec, 210 secs
lola: 29908111 markings, 69610121 edges, 96204 markings/sec, 215 secs
lola: 30370413 markings, 71320311 edges, 92460 markings/sec, 220 secs
lola: 30858874 markings, 73044042 edges, 97692 markings/sec, 225 secs
lola: 31374071 markings, 74729005 edges, 103039 markings/sec, 230 secs
lola: 31862746 markings, 76412814 edges, 97735 markings/sec, 235 secs
lola: 32301004 markings, 78094509 edges, 87652 markings/sec, 240 secs
lola: 32831733 markings, 79765005 edges, 106146 markings/sec, 245 secs
lola: 33428331 markings, 81283297 edges, 119320 markings/sec, 250 secs
lola: 34019624 markings, 82805991 edges, 118259 markings/sec, 255 secs
lola: 34543358 markings, 84424354 edges, 104747 markings/sec, 260 secs
lola: 35075376 markings, 86040475 edges, 106404 markings/sec, 265 secs
lola: 35661970 markings, 87600459 edges, 117319 markings/sec, 270 secs
lola: 36313699 markings, 89064550 edges, 130346 markings/sec, 275 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown
FORMULA AutoFlight-PT-06b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-06b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496338037684

--------------------
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_AutoFlight-PT-06b"
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_AutoFlight-PT-06b.tgz
mv S_AutoFlight-PT-06b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_AutoFlight-PT-06b, 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 r088-csrt-149441074200209"
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 ;