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 AutoFlight-PT-48a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126100254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494603046742


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ AutoFlight-PT-48a @ 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: 2240/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1127 places, 1113 transitions, 869 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1096 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-48a-UpperBounds.task
lola: MAX(p335) : MAX(p202) : MAX(p470) : MAX(p261) : MAX(p228) : MAX(p939) : MAX(p658) : MAX(p92) : MAX(p198) : MAX(p611) : MAX(p957) : MAX(p207) : MAX(p587) : MAX(p747) : MAX(p730) : MAX(p239)
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(p335)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 142854 markings, 1140108 edges, 28571 markings/sec, 0 secs
lola: 268932 markings, 2341809 edges, 25216 markings/sec, 5 secs
lola: 385095 markings, 3512557 edges, 23233 markings/sec, 10 secs
lola: 508767 markings, 4696238 edges, 24734 markings/sec, 15 secs
lola: 624913 markings, 5955237 edges, 23229 markings/sec, 20 secs
lola: 738526 markings, 7216257 edges, 22723 markings/sec, 25 secs
lola: 853130 markings, 8407953 edges, 22921 markings/sec, 30 secs
lola: 973125 markings, 9662776 edges, 23999 markings/sec, 35 secs
lola: 1086362 markings, 10925057 edges, 22647 markings/sec, 40 secs
lola: 1184748 markings, 12120071 edges, 19677 markings/sec, 45 secs
lola: 1291085 markings, 13234964 edges, 21267 markings/sec, 50 secs
lola: 1410625 markings, 14461875 edges, 23908 markings/sec, 55 secs
lola: 1522970 markings, 15707098 edges, 22469 markings/sec, 60 secs
lola: 1626970 markings, 16935478 edges, 20800 markings/sec, 65 secs
lola: 1737755 markings, 18179852 edges, 22157 markings/sec, 70 secs
lola: 1841629 markings, 19452684 edges, 20775 markings/sec, 75 secs
lola: 1942805 markings, 20740419 edges, 20235 markings/sec, 80 secs
lola: 2041357 markings, 21968362 edges, 19710 markings/sec, 85 secs
lola: 2149008 markings, 23210072 edges, 21530 markings/sec, 90 secs
lola: 2250147 markings, 24509968 edges, 20228 markings/sec, 95 secs
lola: 2352441 markings, 25786570 edges, 20459 markings/sec, 100 secs
lola: 2432413 markings, 26941190 edges, 15994 markings/sec, 105 secs
lola: 2542138 markings, 28098346 edges, 21945 markings/sec, 110 secs
lola: 2658324 markings, 29343881 edges, 23237 markings/sec, 115 secs
lola: 2771367 markings, 30591644 edges, 22609 markings/sec, 120 secs
lola: 2876379 markings, 31807368 edges, 21002 markings/sec, 125 secs
lola: 2985428 markings, 33062806 edges, 21810 markings/sec, 130 secs
lola: 3086541 markings, 34359834 edges, 20223 markings/sec, 135 secs
lola: 3187758 markings, 35625090 edges, 20243 markings/sec, 140 secs
lola: 3286487 markings, 36838205 edges, 19746 markings/sec, 145 secs
lola: 3393215 markings, 38091905 edges, 21346 markings/sec, 150 secs
lola: 3489743 markings, 39362946 edges, 19306 markings/sec, 155 secs
lola: 3593967 markings, 40673151 edges, 20845 markings/sec, 160 secs
lola: 3669120 markings, 41772614 edges, 15031 markings/sec, 165 secs
lola: 3748334 markings, 42836925 edges, 15843 markings/sec, 170 secs
lola: 3829060 markings, 43973199 edges, 16145 markings/sec, 175 secs
lola: 3942267 markings, 45204182 edges, 22641 markings/sec, 180 secs
lola: 4070421 markings, 46550776 edges, 25631 markings/sec, 185 secs
lola: 4185051 markings, 47828359 edges, 22926 markings/sec, 190 secs
lola: 4287585 markings, 48996954 edges, 20507 markings/sec, 195 secs
lola: 4395716 markings, 50238897 edges, 21626 markings/sec, 200 secs
lola: 4495214 markings, 51522339 edges, 19900 markings/sec, 205 secs
lola: 4599858 markings, 52818503 edges, 20929 markings/sec, 210 secs
lola: 4705867 markings, 54099681 edges, 21202 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(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 157884 markings, 1184558 edges, 31577 markings/sec, 0 secs
lola: 305016 markings, 2445255 edges, 29426 markings/sec, 5 secs
lola: 446370 markings, 3709170 edges, 28271 markings/sec, 10 secs
lola: 580218 markings, 4958753 edges, 26770 markings/sec, 15 secs
lola: 705712 markings, 6258360 edges, 25099 markings/sec, 20 secs
lola: 827187 markings, 7556354 edges, 24295 markings/sec, 25 secs
lola: 956628 markings, 8835702 edges, 25888 markings/sec, 30 secs
lola: 1078890 markings, 10076957 edges, 24452 markings/sec, 35 secs
lola: 1205077 markings, 11350945 edges, 25237 markings/sec, 40 secs
lola: 1319265 markings, 12590806 edges, 22838 markings/sec, 45 secs
lola: 1437311 markings, 13718588 edges, 23609 markings/sec, 50 secs
lola: 1551753 markings, 14900610 edges, 22888 markings/sec, 55 secs
lola: 1673594 markings, 16065731 edges, 24368 markings/sec, 60 secs
lola: 1779695 markings, 17192608 edges, 21220 markings/sec, 65 secs
lola: 1887194 markings, 18386714 edges, 21500 markings/sec, 70 secs
lola: 1980297 markings, 19564521 edges, 18621 markings/sec, 75 secs
lola: 2095574 markings, 20717174 edges, 23055 markings/sec, 80 secs
lola: 2202652 markings, 21968670 edges, 21416 markings/sec, 85 secs
lola: 2306576 markings, 23274893 edges, 20785 markings/sec, 90 secs
lola: 2412372 markings, 24613052 edges, 21159 markings/sec, 95 secs
lola: 2526198 markings, 25841063 edges, 22765 markings/sec, 100 secs
lola: 2630690 markings, 27026629 edges, 20898 markings/sec, 105 secs
lola: 2740245 markings, 28221645 edges, 21911 markings/sec, 110 secs
lola: 2846369 markings, 29382229 edges, 21225 markings/sec, 115 secs
lola: 2945548 markings, 30559162 edges, 19836 markings/sec, 120 secs
lola: 3038560 markings, 31724290 edges, 18602 markings/sec, 125 secs
lola: 3121594 markings, 32906644 edges, 16607 markings/sec, 130 secs
lola: 3215234 markings, 34078368 edges, 18728 markings/sec, 135 secs
lola: 3300640 markings, 35265870 edges, 17081 markings/sec, 140 secs
lola: 3386339 markings, 36456021 edges, 17140 markings/sec, 145 secs
lola: 3496027 markings, 37673260 edges, 21938 markings/sec, 150 secs
lola: 3610057 markings, 38894938 edges, 22806 markings/sec, 155 secs
lola: 3709290 markings, 40158591 edges, 19847 markings/sec, 160 secs
lola: 3803613 markings, 41387703 edges, 18865 markings/sec, 165 secs
lola: 3897979 markings, 42658391 edges, 18873 markings/sec, 170 secs
lola: 4002106 markings, 43897380 edges, 20825 markings/sec, 175 secs
lola: 4087310 markings, 45135277 edges, 17041 markings/sec, 180 secs
lola: 4190506 markings, 46371627 edges, 20639 markings/sec, 185 secs
lola: 4285614 markings, 47620897 edges, 19022 markings/sec, 190 secs
lola: 4398634 markings, 48841857 edges, 22604 markings/sec, 195 secs
lola: 4515619 markings, 50081257 edges, 23397 markings/sec, 200 secs
lola: 4632560 markings, 51323122 edges, 23388 markings/sec, 205 secs
lola: 4739613 markings, 52589887 edges, 21411 markings/sec, 210 secs
lola: 4835843 markings, 53861462 edges, 19246 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(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 173009 markings, 979776 edges, 34602 markings/sec, 0 secs
lola: 334319 markings, 2026128 edges, 32262 markings/sec, 5 secs
lola: 487776 markings, 3076919 edges, 30691 markings/sec, 10 secs
lola: 629358 markings, 4142597 edges, 28316 markings/sec, 15 secs
lola: 762123 markings, 5236039 edges, 26553 markings/sec, 20 secs
lola: 904500 markings, 6274132 edges, 28475 markings/sec, 25 secs
lola: 1039592 markings, 7332897 edges, 27018 markings/sec, 30 secs
lola: 1176916 markings, 8409763 edges, 27465 markings/sec, 35 secs
lola: 1306297 markings, 9492413 edges, 25876 markings/sec, 40 secs
lola: 1417489 markings, 10653682 edges, 22238 markings/sec, 45 secs
lola: 1568592 markings, 11675095 edges, 30221 markings/sec, 50 secs
lola: 1698589 markings, 12753803 edges, 25999 markings/sec, 55 secs
lola: 1827234 markings, 13829109 edges, 25729 markings/sec, 60 secs
lola: 1967742 markings, 14901071 edges, 28102 markings/sec, 65 secs
lola: 2081086 markings, 16033893 edges, 22669 markings/sec, 70 secs
lola: 2181415 markings, 17197544 edges, 20066 markings/sec, 75 secs
lola: 2323554 markings, 18239635 edges, 28428 markings/sec, 80 secs
lola: 2466180 markings, 19292375 edges, 28525 markings/sec, 85 secs
lola: 2598178 markings, 20395240 edges, 26400 markings/sec, 90 secs
lola: 2739666 markings, 21490772 edges, 28298 markings/sec, 95 secs
lola: 2861574 markings, 22633712 edges, 24382 markings/sec, 100 secs
lola: 2985796 markings, 23761592 edges, 24844 markings/sec, 105 secs
lola: 3109422 markings, 24831037 edges, 24725 markings/sec, 110 secs
lola: 3231832 markings, 25900521 edges, 24482 markings/sec, 115 secs
lola: 3347463 markings, 26974826 edges, 23126 markings/sec, 120 secs
lola: 3469508 markings, 28058223 edges, 24409 markings/sec, 125 secs
lola: 3567560 markings, 29207588 edges, 19610 markings/sec, 130 secs
lola: 3678703 markings, 30220947 edges, 22229 markings/sec, 135 secs
lola: 3791345 markings, 31203732 edges, 22528 markings/sec, 140 secs
lola: 3902270 markings, 32233083 edges, 22185 markings/sec, 145 secs
lola: 4008904 markings, 33256174 edges, 21327 markings/sec, 150 secs
lola: 4127335 markings, 34273496 edges, 23686 markings/sec, 155 secs
lola: 4235666 markings, 35387160 edges, 21666 markings/sec, 160 secs
lola: 4321301 markings, 36487020 edges, 17127 markings/sec, 165 secs
lola: 4404801 markings, 37570325 edges, 16700 markings/sec, 170 secs
lola: 4549270 markings, 38503406 edges, 28894 markings/sec, 175 secs
lola: 4673197 markings, 39490911 edges, 24785 markings/sec, 180 secs
lola: 4791571 markings, 40491403 edges, 23675 markings/sec, 185 secs
lola: 4919461 markings, 41465149 edges, 25578 markings/sec, 190 secs
lola: 5033795 markings, 42477469 edges, 22867 markings/sec, 195 secs
lola: 5149129 markings, 43454846 edges, 23067 markings/sec, 200 secs
lola: 5270771 markings, 44485980 edges, 24328 markings/sec, 205 secs
lola: 5396681 markings, 45586464 edges, 25182 markings/sec, 210 secs
lola: 5515340 markings, 46706848 edges, 23732 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p228)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 170247 markings, 1133893 edges, 34049 markings/sec, 0 secs
lola: 324637 markings, 2281825 edges, 30878 markings/sec, 5 secs
lola: 457435 markings, 3454550 edges, 26560 markings/sec, 10 secs
lola: 584269 markings, 4578699 edges, 25367 markings/sec, 15 secs
lola: 723948 markings, 5716212 edges, 27936 markings/sec, 20 secs
lola: 859421 markings, 6913437 edges, 27095 markings/sec, 25 secs
lola: 983011 markings, 8103566 edges, 24718 markings/sec, 30 secs
lola: 1109781 markings, 9284586 edges, 25354 markings/sec, 35 secs
lola: 1230538 markings, 10499165 edges, 24151 markings/sec, 40 secs
lola: 1348131 markings, 11723340 edges, 23519 markings/sec, 45 secs
lola: 1466517 markings, 12952883 edges, 23677 markings/sec, 50 secs
lola: 1569347 markings, 14169390 edges, 20566 markings/sec, 55 secs
lola: 1721362 markings, 15383045 edges, 30403 markings/sec, 60 secs
lola: 1860966 markings, 16609346 edges, 27921 markings/sec, 65 secs
lola: 1985648 markings, 17873005 edges, 24936 markings/sec, 70 secs
lola: 2095578 markings, 19067704 edges, 21986 markings/sec, 75 secs
lola: 2217143 markings, 20260635 edges, 24313 markings/sec, 80 secs
lola: 2322675 markings, 21478086 edges, 21106 markings/sec, 85 secs
lola: 2426658 markings, 22702697 edges, 20797 markings/sec, 90 secs
lola: 2545547 markings, 23892407 edges, 23778 markings/sec, 95 secs
lola: 2653546 markings, 25108789 edges, 21600 markings/sec, 100 secs
lola: 2761526 markings, 26319792 edges, 21596 markings/sec, 105 secs
lola: 2873598 markings, 27520470 edges, 22414 markings/sec, 110 secs
lola: 2969510 markings, 28750895 edges, 19182 markings/sec, 115 secs
lola: 3082460 markings, 29944153 edges, 22590 markings/sec, 120 secs
lola: 3192836 markings, 31153075 edges, 22075 markings/sec, 125 secs
lola: 3312559 markings, 32348774 edges, 23945 markings/sec, 130 secs
lola: 3425390 markings, 33563334 edges, 22566 markings/sec, 135 secs
lola: 3532609 markings, 34789113 edges, 21444 markings/sec, 140 secs
lola: 3646122 markings, 35965104 edges, 22703 markings/sec, 145 secs
lola: 3750057 markings, 37111326 edges, 20787 markings/sec, 150 secs
lola: 3866205 markings, 38267894 edges, 23230 markings/sec, 155 secs
lola: 3972397 markings, 39464417 edges, 21238 markings/sec, 160 secs
lola: 4066357 markings, 40631602 edges, 18792 markings/sec, 165 secs
lola: 4165654 markings, 41792766 edges, 19859 markings/sec, 170 secs
lola: 4270250 markings, 43076323 edges, 20919 markings/sec, 175 secs
lola: 4389327 markings, 44395628 edges, 23815 markings/sec, 180 secs
lola: 4493756 markings, 45729833 edges, 20886 markings/sec, 185 secs
lola: 4598616 markings, 47015366 edges, 20972 markings/sec, 190 secs
lola: 4714844 markings, 48288234 edges, 23246 markings/sec, 195 secs
lola: 4819795 markings, 49579139 edges, 20990 markings/sec, 200 secs
lola: 4935715 markings, 50869024 edges, 23184 markings/sec, 205 secs
lola: 5048326 markings, 52155267 edges, 22522 markings/sec, 210 secs
lola: 5163364 markings, 53455293 edges, 23008 markings/sec, 215 secs
lola: 5279500 markings, 54801094 edges, 23227 markings/sec, 220 secs
lola: 5387020 markings, 56136421 edges, 21504 markings/sec, 225 secs
lola: 5501734 markings, 57465667 edges, 22943 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p939)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 172327 markings, 1188927 edges, 34465 markings/sec, 0 secs
lola: 332494 markings, 2404269 edges, 32033 markings/sec, 5 secs
lola: 478838 markings, 3688599 edges, 29269 markings/sec, 10 secs
lola: 634197 markings, 4970742 edges, 31072 markings/sec, 15 secs
lola: 781337 markings, 6256606 edges, 29428 markings/sec, 20 secs
lola: 918672 markings, 7527432 edges, 27467 markings/sec, 25 secs
lola: 1055079 markings, 8809098 edges, 27281 markings/sec, 30 secs
lola: 1200132 markings, 10042848 edges, 29011 markings/sec, 35 secs
lola: 1341380 markings, 11303829 edges, 28250 markings/sec, 40 secs
lola: 1485292 markings, 12583224 edges, 28782 markings/sec, 45 secs
lola: 1613743 markings, 13905704 edges, 25690 markings/sec, 50 secs
lola: 1749982 markings, 15204427 edges, 27248 markings/sec, 55 secs
lola: 1882546 markings, 16510729 edges, 26513 markings/sec, 60 secs
lola: 2004686 markings, 17845266 edges, 24428 markings/sec, 65 secs
lola: 2132907 markings, 19169438 edges, 25644 markings/sec, 70 secs
lola: 2254354 markings, 20498876 edges, 24289 markings/sec, 75 secs
lola: 2401645 markings, 21710661 edges, 29458 markings/sec, 80 secs
lola: 2540435 markings, 22964651 edges, 27758 markings/sec, 85 secs
lola: 2663643 markings, 24140736 edges, 24642 markings/sec, 90 secs
lola: 2790290 markings, 25276020 edges, 25329 markings/sec, 95 secs
lola: 2904152 markings, 26450480 edges, 22772 markings/sec, 100 secs
lola: 3034714 markings, 27717592 edges, 26112 markings/sec, 105 secs
lola: 3162675 markings, 29021670 edges, 25592 markings/sec, 110 secs
lola: 3301561 markings, 30304759 edges, 27777 markings/sec, 115 secs
lola: 3421557 markings, 31598122 edges, 23999 markings/sec, 120 secs
lola: 3543145 markings, 32926812 edges, 24318 markings/sec, 125 secs
lola: 3665563 markings, 34185020 edges, 24484 markings/sec, 130 secs
lola: 3782506 markings, 35455004 edges, 23389 markings/sec, 135 secs
lola: 3908682 markings, 36740088 edges, 25235 markings/sec, 140 secs
lola: 4035851 markings, 38072354 edges, 25434 markings/sec, 145 secs
lola: 4156627 markings, 39324186 edges, 24155 markings/sec, 150 secs
lola: 4295456 markings, 40417708 edges, 27766 markings/sec, 155 secs
lola: 4418828 markings, 41547747 edges, 24674 markings/sec, 160 secs
lola: 4546066 markings, 42700299 edges, 25448 markings/sec, 165 secs
lola: 4664574 markings, 43931791 edges, 23702 markings/sec, 170 secs
lola: 4794882 markings, 45196006 edges, 26062 markings/sec, 175 secs
lola: 4920319 markings, 46417734 edges, 25087 markings/sec, 180 secs
lola: 5037659 markings, 47663673 edges, 23468 markings/sec, 185 secs
lola: 5155661 markings, 48907832 edges, 23600 markings/sec, 190 secs
lola: 5271017 markings, 50195308 edges, 23071 markings/sec, 195 secs
lola: 5403108 markings, 51464600 edges, 26418 markings/sec, 200 secs
lola: 5525774 markings, 52756114 edges, 24533 markings/sec, 205 secs
lola: 5648327 markings, 54007059 edges, 24511 markings/sec, 210 secs
lola: 5761119 markings, 55298997 edges, 22558 markings/sec, 215 secs
lola: 5873138 markings, 56598307 edges, 22404 markings/sec, 220 secs
lola: 5993941 markings, 57918640 edges, 24161 markings/sec, 225 secs
lola: 6107857 markings, 59233060 edges, 22783 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p658)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 264142 markings, 978900 edges, 52828 markings/sec, 0 secs
lola: 508322 markings, 2036341 edges, 48836 markings/sec, 5 secs
lola: 731485 markings, 3050327 edges, 44633 markings/sec, 10 secs
lola: 950984 markings, 4129419 edges, 43900 markings/sec, 15 secs
lola: 1185166 markings, 5190940 edges, 46836 markings/sec, 20 secs
lola: 1374201 markings, 6255161 edges, 37807 markings/sec, 25 secs
lola: 1583309 markings, 7186744 edges, 41822 markings/sec, 30 secs
lola: 1784444 markings, 8160401 edges, 40227 markings/sec, 35 secs
lola: 1978904 markings, 9146215 edges, 38892 markings/sec, 40 secs
lola: 2159685 markings, 10129481 edges, 36156 markings/sec, 45 secs
lola: 2346351 markings, 11161807 edges, 37333 markings/sec, 50 secs
lola: 2540432 markings, 12169073 edges, 38816 markings/sec, 55 secs
lola: 2729323 markings, 13203503 edges, 37778 markings/sec, 60 secs
lola: 2902152 markings, 14181896 edges, 34566 markings/sec, 65 secs
lola: 3102686 markings, 15139573 edges, 40107 markings/sec, 70 secs
lola: 3303296 markings, 16153947 edges, 40122 markings/sec, 75 secs
lola: 3509808 markings, 17248133 edges, 41302 markings/sec, 80 secs
lola: 3707754 markings, 18362899 edges, 39589 markings/sec, 85 secs
lola: 3919420 markings, 19454613 edges, 42333 markings/sec, 90 secs
lola: 4117667 markings, 20591675 edges, 39649 markings/sec, 95 secs
lola: 4229088 markings, 21732046 edges, 22284 markings/sec, 100 secs
lola: 4458502 markings, 22757408 edges, 45883 markings/sec, 105 secs
lola: 4671368 markings, 23841347 edges, 42573 markings/sec, 110 secs
lola: 4890698 markings, 24939090 edges, 43866 markings/sec, 115 secs
lola: 5095792 markings, 26067897 edges, 41019 markings/sec, 120 secs
lola: 5303761 markings, 27160460 edges, 41594 markings/sec, 125 secs
lola: 5509395 markings, 28288273 edges, 41127 markings/sec, 130 secs
lola: 5686774 markings, 29396369 edges, 35476 markings/sec, 135 secs
lola: 5885514 markings, 30473084 edges, 39748 markings/sec, 140 secs
lola: 6084461 markings, 31598420 edges, 39789 markings/sec, 145 secs
lola: 6283872 markings, 32752000 edges, 39882 markings/sec, 150 secs
lola: 6473680 markings, 33908534 edges, 37962 markings/sec, 155 secs
lola: 6663435 markings, 35042434 edges, 37951 markings/sec, 160 secs
lola: 6858739 markings, 36224414 edges, 39061 markings/sec, 165 secs
lola: 7021162 markings, 37386228 edges, 32485 markings/sec, 170 secs
lola: 7217275 markings, 38407098 edges, 39223 markings/sec, 175 secs
lola: 7404853 markings, 39452561 edges, 37516 markings/sec, 180 secs
lola: 7580105 markings, 40472829 edges, 35050 markings/sec, 185 secs
lola: 7755674 markings, 41534183 edges, 35114 markings/sec, 190 secs
lola: 7922510 markings, 42583548 edges, 33367 markings/sec, 195 secs
lola: 8112617 markings, 43687692 edges, 38021 markings/sec, 200 secs
lola: 8293928 markings, 44800346 edges, 36262 markings/sec, 205 secs
lola: 8383020 markings, 45971071 edges, 17818 markings/sec, 210 secs
lola: 8575278 markings, 46937030 edges, 38452 markings/sec, 215 secs
lola: 8777150 markings, 47910110 edges, 40374 markings/sec, 220 secs
lola: 8985936 markings, 48968844 edges, 41757 markings/sec, 225 secs
lola: 9188529 markings, 50064387 edges, 40519 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 239 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 112 bytes per marking, with 27 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: 154940 markings, 975371 edges, 30988 markings/sec, 0 secs
lola: 299652 markings, 1970568 edges, 28942 markings/sec, 5 secs
lola: 427572 markings, 3007295 edges, 25584 markings/sec, 10 secs
lola: 564571 markings, 4012035 edges, 27400 markings/sec, 15 secs
lola: 686572 markings, 5058933 edges, 24400 markings/sec, 20 secs
lola: 806722 markings, 6152890 edges, 24030 markings/sec, 25 secs
lola: 936689 markings, 7193556 edges, 25993 markings/sec, 30 secs
lola: 1067242 markings, 8272829 edges, 26111 markings/sec, 35 secs
lola: 1182794 markings, 9363824 edges, 23110 markings/sec, 40 secs
lola: 1309578 markings, 10444445 edges, 25357 markings/sec, 45 secs
lola: 1427594 markings, 11572802 edges, 23603 markings/sec, 50 secs
lola: 1528892 markings, 12766113 edges, 20260 markings/sec, 55 secs
lola: 1664632 markings, 13756117 edges, 27148 markings/sec, 60 secs
lola: 1778599 markings, 14792902 edges, 22793 markings/sec, 65 secs
lola: 1896343 markings, 15810317 edges, 23549 markings/sec, 70 secs
lola: 2004028 markings, 16864364 edges, 21537 markings/sec, 75 secs
lola: 2129348 markings, 17922502 edges, 25064 markings/sec, 80 secs
lola: 2242101 markings, 19081358 edges, 22551 markings/sec, 85 secs
lola: 2335245 markings, 20211841 edges, 18629 markings/sec, 90 secs
lola: 2440980 markings, 21242568 edges, 21147 markings/sec, 95 secs
lola: 2562457 markings, 22236480 edges, 24295 markings/sec, 100 secs
lola: 2686335 markings, 23224819 edges, 24776 markings/sec, 105 secs
lola: 2794356 markings, 24256012 edges, 21604 markings/sec, 110 secs
lola: 2918681 markings, 25331275 edges, 24865 markings/sec, 115 secs
lola: 3039218 markings, 26424873 edges, 24107 markings/sec, 120 secs
lola: 3145153 markings, 27626296 edges, 21187 markings/sec, 125 secs
lola: 3267927 markings, 28743654 edges, 24555 markings/sec, 130 secs
lola: 3383427 markings, 29859866 edges, 23100 markings/sec, 135 secs
lola: 3498974 markings, 30977718 edges, 23109 markings/sec, 140 secs
lola: 3606031 markings, 32153728 edges, 21411 markings/sec, 145 secs
lola: 3726059 markings, 33305492 edges, 24006 markings/sec, 150 secs
lola: 3831263 markings, 34463532 edges, 21041 markings/sec, 155 secs
lola: 3919504 markings, 35684313 edges, 17648 markings/sec, 160 secs
lola: 4045471 markings, 36769121 edges, 25193 markings/sec, 165 secs
lola: 4156512 markings, 37867621 edges, 22208 markings/sec, 170 secs
lola: 4266017 markings, 38971143 edges, 21901 markings/sec, 175 secs
lola: 4371805 markings, 40122226 edges, 21158 markings/sec, 180 secs
lola: 4489736 markings, 41274067 edges, 23586 markings/sec, 185 secs
lola: 4596760 markings, 42436700 edges, 21405 markings/sec, 190 secs
lola: 4684349 markings, 43556411 edges, 17518 markings/sec, 195 secs
lola: 4762496 markings, 44674975 edges, 15629 markings/sec, 200 secs
lola: 4873825 markings, 45697261 edges, 22266 markings/sec, 205 secs
lola: 4997446 markings, 46684058 edges, 24724 markings/sec, 210 secs
lola: 5113435 markings, 47723598 edges, 23198 markings/sec, 215 secs
lola: 5232244 markings, 48847949 edges, 23762 markings/sec, 220 secs
lola: 5361107 markings, 49943826 edges, 25773 markings/sec, 225 secs
lola: 5478113 markings, 51059976 edges, 23401 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 149098 markings, 1155456 edges, 29820 markings/sec, 0 secs
lola: 283634 markings, 2415596 edges, 26907 markings/sec, 5 secs
lola: 419154 markings, 3669900 edges, 27104 markings/sec, 10 secs
lola: 540376 markings, 4937180 edges, 24244 markings/sec, 15 secs
lola: 663537 markings, 6234542 edges, 24632 markings/sec, 20 secs
lola: 792138 markings, 7544381 edges, 25720 markings/sec, 25 secs
lola: 906490 markings, 8832912 edges, 22870 markings/sec, 30 secs
lola: 1018698 markings, 10134648 edges, 22442 markings/sec, 35 secs
lola: 1153096 markings, 11436087 edges, 26880 markings/sec, 40 secs
lola: 1274062 markings, 12765165 edges, 24193 markings/sec, 45 secs
lola: 1398858 markings, 14126138 edges, 24959 markings/sec, 50 secs
lola: 1509938 markings, 15499337 edges, 22216 markings/sec, 55 secs
lola: 1625071 markings, 16856073 edges, 23027 markings/sec, 60 secs
lola: 1737844 markings, 18136099 edges, 22555 markings/sec, 65 secs
lola: 1860874 markings, 19419629 edges, 24606 markings/sec, 70 secs
lola: 1962725 markings, 20662439 edges, 20370 markings/sec, 75 secs
lola: 2052684 markings, 21869545 edges, 17992 markings/sec, 80 secs
lola: 2136835 markings, 23095456 edges, 16830 markings/sec, 85 secs
lola: 2233992 markings, 24381467 edges, 19431 markings/sec, 90 secs
lola: 2365586 markings, 25702733 edges, 26319 markings/sec, 95 secs
lola: 2481122 markings, 27041627 edges, 23107 markings/sec, 100 secs
lola: 2589763 markings, 28400309 edges, 21728 markings/sec, 105 secs
lola: 2706141 markings, 29747391 edges, 23276 markings/sec, 110 secs
lola: 2816417 markings, 31107629 edges, 22055 markings/sec, 115 secs
lola: 2922672 markings, 32466539 edges, 21251 markings/sec, 120 secs
lola: 3023388 markings, 33808963 edges, 20143 markings/sec, 125 secs
lola: 3135965 markings, 35108807 edges, 22515 markings/sec, 130 secs
lola: 3266051 markings, 36414050 edges, 26017 markings/sec, 135 secs
lola: 3384805 markings, 37752011 edges, 23751 markings/sec, 140 secs
lola: 3507156 markings, 39060834 edges, 24470 markings/sec, 145 secs
lola: 3618406 markings, 40405879 edges, 22250 markings/sec, 150 secs
lola: 3729426 markings, 41743786 edges, 22204 markings/sec, 155 secs
lola: 3839421 markings, 43058885 edges, 21999 markings/sec, 160 secs
lola: 3947012 markings, 44424135 edges, 21518 markings/sec, 165 secs
lola: 4049453 markings, 45773479 edges, 20488 markings/sec, 170 secs
lola: 4155981 markings, 47081645 edges, 21306 markings/sec, 175 secs
lola: 4271417 markings, 48430104 edges, 23087 markings/sec, 180 secs
lola: 4374673 markings, 49759852 edges, 20651 markings/sec, 185 secs
lola: 4482748 markings, 51112277 edges, 21615 markings/sec, 190 secs
lola: 4581719 markings, 52468769 edges, 19794 markings/sec, 195 secs
lola: 4680609 markings, 53827085 edges, 19778 markings/sec, 200 secs
lola: 4774771 markings, 55157903 edges, 18832 markings/sec, 205 secs
lola: 4881121 markings, 56381966 edges, 21270 markings/sec, 210 secs
lola: 4977048 markings, 57601316 edges, 19185 markings/sec, 215 secs
lola: 5060167 markings, 58779318 edges, 16624 markings/sec, 220 secs
lola: 5146828 markings, 60100491 edges, 17332 markings/sec, 225 secs
lola: 5224763 markings, 61374654 edges, 15587 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 195096 markings, 1093774 edges, 39019 markings/sec, 0 secs
lola: 375554 markings, 2263668 edges, 36092 markings/sec, 5 secs
lola: 498494 markings, 3507241 edges, 24588 markings/sec, 10 secs
lola: 614175 markings, 4733226 edges, 23136 markings/sec, 15 secs
lola: 766261 markings, 5936032 edges, 30417 markings/sec, 20 secs
lola: 918430 markings, 7204431 edges, 30434 markings/sec, 25 secs
lola: 1077600 markings, 8457196 edges, 31834 markings/sec, 30 secs
lola: 1184208 markings, 9721017 edges, 21322 markings/sec, 35 secs
lola: 1284595 markings, 10989806 edges, 20077 markings/sec, 40 secs
lola: 1388356 markings, 12211475 edges, 20752 markings/sec, 45 secs
lola: 1503390 markings, 13420934 edges, 23007 markings/sec, 50 secs
lola: 1610592 markings, 14673534 edges, 21440 markings/sec, 55 secs
lola: 1712250 markings, 15947955 edges, 20332 markings/sec, 60 secs
lola: 1810068 markings, 17219286 edges, 19564 markings/sec, 65 secs
lola: 1907518 markings, 18506509 edges, 19490 markings/sec, 70 secs
lola: 2001648 markings, 19790334 edges, 18826 markings/sec, 75 secs
lola: 2188493 markings, 21034553 edges, 37369 markings/sec, 80 secs
lola: 2364126 markings, 22311971 edges, 35127 markings/sec, 85 secs
lola: 2482099 markings, 23622783 edges, 23595 markings/sec, 90 secs
lola: 2585097 markings, 24934222 edges, 20600 markings/sec, 95 secs
lola: 2747727 markings, 26209759 edges, 32526 markings/sec, 100 secs
lola: 2860473 markings, 27517878 edges, 22549 markings/sec, 105 secs
lola: 3008262 markings, 28828215 edges, 29558 markings/sec, 110 secs
lola: 3125170 markings, 30157041 edges, 23382 markings/sec, 115 secs
lola: 3225435 markings, 31489490 edges, 20053 markings/sec, 120 secs
lola: 3352193 markings, 32753239 edges, 25352 markings/sec, 125 secs
lola: 3468357 markings, 34062490 edges, 23233 markings/sec, 130 secs
lola: 3563860 markings, 35389186 edges, 19101 markings/sec, 135 secs
lola: 3662602 markings, 36704288 edges, 19748 markings/sec, 140 secs
lola: 3753538 markings, 38026470 edges, 18187 markings/sec, 145 secs
lola: 3839713 markings, 39305693 edges, 17235 markings/sec, 150 secs
lola: 3943917 markings, 40619151 edges, 20841 markings/sec, 155 secs
lola: 4057221 markings, 41908600 edges, 22661 markings/sec, 160 secs
lola: 4165165 markings, 43170231 edges, 21589 markings/sec, 165 secs
lola: 4269491 markings, 44391745 edges, 20865 markings/sec, 170 secs
lola: 4356295 markings, 45598132 edges, 17361 markings/sec, 175 secs
lola: 4448081 markings, 46802690 edges, 18357 markings/sec, 180 secs
lola: 4535351 markings, 48029306 edges, 17454 markings/sec, 185 secs
lola: 4621480 markings, 49220554 edges, 17226 markings/sec, 190 secs
lola: 4709780 markings, 50429356 edges, 17660 markings/sec, 195 secs
lola: 4805060 markings, 51623692 edges, 19056 markings/sec, 200 secs
lola: 4889286 markings, 52831819 edges, 16845 markings/sec, 205 secs
lola: 4977810 markings, 54048551 edges, 17705 markings/sec, 210 secs
lola: 5055611 markings, 55212743 edges, 15560 markings/sec, 215 secs
lola: 5140800 markings, 56399478 edges, 17038 markings/sec, 220 secs
lola: 5222964 markings, 57587117 edges, 16433 markings/sec, 225 secs
lola: 5309510 markings, 58799070 edges, 17309 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p957)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 153819 markings, 1057195 edges, 30764 markings/sec, 0 secs
lola: 298540 markings, 2175508 edges, 28944 markings/sec, 5 secs
lola: 430200 markings, 3314981 edges, 26332 markings/sec, 10 secs
lola: 561962 markings, 4466187 edges, 26352 markings/sec, 15 secs
lola: 698089 markings, 5609284 edges, 27225 markings/sec, 20 secs
lola: 823174 markings, 6774356 edges, 25017 markings/sec, 25 secs
lola: 949209 markings, 7937898 edges, 25207 markings/sec, 30 secs
lola: 1066826 markings, 9112833 edges, 23523 markings/sec, 35 secs
lola: 1205030 markings, 10225321 edges, 27641 markings/sec, 40 secs
lola: 1328936 markings, 11372379 edges, 24781 markings/sec, 45 secs
lola: 1451434 markings, 12519960 edges, 24500 markings/sec, 50 secs
lola: 1561770 markings, 13702782 edges, 22067 markings/sec, 55 secs
lola: 1682869 markings, 14859722 edges, 24220 markings/sec, 60 secs
lola: 1801757 markings, 16036692 edges, 23778 markings/sec, 65 secs
lola: 1916906 markings, 17311465 edges, 23030 markings/sec, 70 secs
lola: 2040992 markings, 18618196 edges, 24817 markings/sec, 75 secs
lola: 2157444 markings, 19933907 edges, 23290 markings/sec, 80 secs
lola: 2300861 markings, 21130980 edges, 28683 markings/sec, 85 secs
lola: 2438309 markings, 22391653 edges, 27490 markings/sec, 90 secs
lola: 2570661 markings, 23663620 edges, 26470 markings/sec, 95 secs
lola: 2705674 markings, 24915027 edges, 27003 markings/sec, 100 secs
lola: 2827496 markings, 26200499 edges, 24364 markings/sec, 105 secs
lola: 2956430 markings, 27470320 edges, 25787 markings/sec, 110 secs
lola: 3088123 markings, 28775650 edges, 26339 markings/sec, 115 secs
lola: 3220120 markings, 30063967 edges, 26399 markings/sec, 120 secs
lola: 3332436 markings, 31314360 edges, 22463 markings/sec, 125 secs
lola: 3452322 markings, 32597240 edges, 23977 markings/sec, 130 secs
lola: 3573179 markings, 33883620 edges, 24171 markings/sec, 135 secs
lola: 3695182 markings, 35138415 edges, 24401 markings/sec, 140 secs
lola: 3810030 markings, 36389864 edges, 22970 markings/sec, 145 secs
lola: 3932252 markings, 37689116 edges, 24444 markings/sec, 150 secs
lola: 4065705 markings, 38897600 edges, 26691 markings/sec, 155 secs
lola: 4203521 markings, 40083861 edges, 27563 markings/sec, 160 secs
lola: 4337984 markings, 41311327 edges, 26893 markings/sec, 165 secs
lola: 4462895 markings, 42553262 edges, 24982 markings/sec, 170 secs
lola: 4581344 markings, 43825405 edges, 23690 markings/sec, 175 secs
lola: 4711623 markings, 45085316 edges, 26056 markings/sec, 180 secs
lola: 4832771 markings, 46347914 edges, 24230 markings/sec, 185 secs
lola: 4948665 markings, 47604638 edges, 23179 markings/sec, 190 secs
lola: 5060719 markings, 48844403 edges, 22411 markings/sec, 195 secs
lola: 5184961 markings, 50100081 edges, 24848 markings/sec, 200 secs
lola: 5297018 markings, 51261499 edges, 22411 markings/sec, 205 secs
lola: 5410497 markings, 52436333 edges, 22696 markings/sec, 210 secs
lola: 5517002 markings, 53612955 edges, 21301 markings/sec, 215 secs
lola: 5614585 markings, 54813667 edges, 19517 markings/sec, 220 secs
lola: 5721140 markings, 55992640 edges, 21311 markings/sec, 225 secs
lola: 5826632 markings, 57186670 edges, 21098 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 189415 markings, 1226036 edges, 37883 markings/sec, 0 secs
lola: 360498 markings, 2501575 edges, 34217 markings/sec, 5 secs
lola: 499143 markings, 3740038 edges, 27729 markings/sec, 10 secs
lola: 654459 markings, 4924635 edges, 31063 markings/sec, 15 secs
lola: 802970 markings, 6143435 edges, 29702 markings/sec, 20 secs
lola: 943755 markings, 7449638 edges, 28157 markings/sec, 25 secs
lola: 1067542 markings, 8667925 edges, 24757 markings/sec, 30 secs
lola: 1188962 markings, 9844761 edges, 24284 markings/sec, 35 secs
lola: 1315327 markings, 11056406 edges, 25273 markings/sec, 40 secs
lola: 1440683 markings, 12295067 edges, 25071 markings/sec, 45 secs
lola: 1592410 markings, 13534098 edges, 30345 markings/sec, 50 secs
lola: 1733866 markings, 14738136 edges, 28291 markings/sec, 55 secs
lola: 1852521 markings, 15898348 edges, 23731 markings/sec, 60 secs
lola: 1960183 markings, 17095949 edges, 21532 markings/sec, 65 secs
lola: 2062914 markings, 18304997 edges, 20546 markings/sec, 70 secs
lola: 2189194 markings, 19587440 edges, 25256 markings/sec, 75 secs
lola: 2313658 markings, 20945170 edges, 24893 markings/sec, 80 secs
lola: 2427216 markings, 22251252 edges, 22712 markings/sec, 85 secs
lola: 2573437 markings, 23574310 edges, 29244 markings/sec, 90 secs
lola: 2695600 markings, 24792779 edges, 24433 markings/sec, 95 secs
lola: 2804694 markings, 25988960 edges, 21819 markings/sec, 100 secs
lola: 2909221 markings, 27184326 edges, 20905 markings/sec, 105 secs
lola: 3039742 markings, 28469093 edges, 26104 markings/sec, 110 secs
lola: 3154797 markings, 29682390 edges, 23011 markings/sec, 115 secs
lola: 3251514 markings, 30900472 edges, 19343 markings/sec, 120 secs
lola: 3377781 markings, 32172758 edges, 25253 markings/sec, 125 secs
lola: 3485332 markings, 33378205 edges, 21510 markings/sec, 130 secs
lola: 3601292 markings, 34578708 edges, 23192 markings/sec, 135 secs
lola: 3703237 markings, 35817596 edges, 20389 markings/sec, 140 secs
lola: 3803403 markings, 37153760 edges, 20033 markings/sec, 145 secs
lola: 3903720 markings, 38293820 edges, 20063 markings/sec, 150 secs
lola: 4005964 markings, 39459176 edges, 20449 markings/sec, 155 secs
lola: 4114810 markings, 40710312 edges, 21769 markings/sec, 160 secs
lola: 4219073 markings, 41931937 edges, 20853 markings/sec, 165 secs
lola: 4319021 markings, 43133580 edges, 19990 markings/sec, 170 secs
lola: 4426666 markings, 44472775 edges, 21529 markings/sec, 175 secs
lola: 4548626 markings, 45816471 edges, 24392 markings/sec, 180 secs
lola: 4654568 markings, 47171431 edges, 21188 markings/sec, 185 secs
lola: 4773508 markings, 48534261 edges, 23788 markings/sec, 190 secs
lola: 4888862 markings, 49889045 edges, 23071 markings/sec, 195 secs
lola: 5000589 markings, 51234933 edges, 22345 markings/sec, 200 secs
lola: 5101480 markings, 52582546 edges, 20178 markings/sec, 205 secs
lola: 5219360 markings, 53891168 edges, 23576 markings/sec, 210 secs
lola: 5383916 markings, 55223493 edges, 32911 markings/sec, 215 secs
lola: 5534856 markings, 56606369 edges, 30188 markings/sec, 220 secs
lola: 5661624 markings, 57940833 edges, 25354 markings/sec, 225 secs
lola: 5813223 markings, 59298040 edges, 30320 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p587)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 205353 markings, 1191278 edges, 41071 markings/sec, 0 secs
lola: 385201 markings, 2375913 edges, 35970 markings/sec, 5 secs
lola: 499047 markings, 3514030 edges, 22769 markings/sec, 10 secs
lola: 606635 markings, 4640559 edges, 21518 markings/sec, 15 secs
lola: 745522 markings, 5840884 edges, 27777 markings/sec, 20 secs
lola: 888515 markings, 7024894 edges, 28599 markings/sec, 25 secs
lola: 1054089 markings, 8221761 edges, 33115 markings/sec, 30 secs
lola: 1169188 markings, 9564656 edges, 23020 markings/sec, 35 secs
lola: 1280755 markings, 10933252 edges, 22313 markings/sec, 40 secs
lola: 1386167 markings, 12186278 edges, 21082 markings/sec, 45 secs
lola: 1498411 markings, 13366082 edges, 22449 markings/sec, 50 secs
lola: 1601036 markings, 14550512 edges, 20525 markings/sec, 55 secs
lola: 1696481 markings, 15758083 edges, 19089 markings/sec, 60 secs
lola: 1788051 markings, 16922116 edges, 18314 markings/sec, 65 secs
lola: 1879822 markings, 18139210 edges, 18354 markings/sec, 70 secs
lola: 1967184 markings, 19332802 edges, 17472 markings/sec, 75 secs
lola: 2138383 markings, 20526637 edges, 34240 markings/sec, 80 secs
lola: 2279689 markings, 21706194 edges, 28261 markings/sec, 85 secs
lola: 2425844 markings, 22971517 edges, 29231 markings/sec, 90 secs
lola: 2533031 markings, 24265607 edges, 21437 markings/sec, 95 secs
lola: 2629163 markings, 25558015 edges, 19226 markings/sec, 100 secs
lola: 2795890 markings, 26742199 edges, 33345 markings/sec, 105 secs
lola: 2897421 markings, 28039784 edges, 20306 markings/sec, 110 secs
lola: 3054571 markings, 29268471 edges, 31430 markings/sec, 115 secs
lola: 3151926 markings, 30464012 edges, 19471 markings/sec, 120 secs
lola: 3245972 markings, 31725353 edges, 18809 markings/sec, 125 secs
lola: 3365602 markings, 32892903 edges, 23926 markings/sec, 130 secs
lola: 3470954 markings, 34099606 edges, 21070 markings/sec, 135 secs
lola: 3560283 markings, 35346223 edges, 17866 markings/sec, 140 secs
lola: 3652185 markings, 36562717 edges, 18380 markings/sec, 145 secs
lola: 3735674 markings, 37791846 edges, 16698 markings/sec, 150 secs
lola: 3819323 markings, 39011591 edges, 16730 markings/sec, 155 secs
lola: 3914905 markings, 40257987 edges, 19116 markings/sec, 160 secs
lola: 4020602 markings, 41514877 edges, 21139 markings/sec, 165 secs
lola: 4130628 markings, 42794069 edges, 22005 markings/sec, 170 secs
lola: 4243975 markings, 44067123 edges, 22669 markings/sec, 175 secs
lola: 4338058 markings, 45346477 edges, 18817 markings/sec, 180 secs
lola: 4434036 markings, 46598139 edges, 19196 markings/sec, 185 secs
lola: 4524735 markings, 47880038 edges, 18140 markings/sec, 190 secs
lola: 4614577 markings, 49126611 edges, 17968 markings/sec, 195 secs
lola: 4711225 markings, 50450447 edges, 19330 markings/sec, 200 secs
lola: 4808398 markings, 51671698 edges, 19435 markings/sec, 205 secs
lola: 4893564 markings, 52894437 edges, 17033 markings/sec, 210 secs
lola: 4982485 markings, 54121813 edges, 17784 markings/sec, 215 secs
lola: 5061730 markings, 55300185 edges, 15849 markings/sec, 220 secs
lola: 5146885 markings, 56501790 edges, 17031 markings/sec, 225 secs
lola: 5230362 markings, 57704302 edges, 16695 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 194015 markings, 1122186 edges, 38803 markings/sec, 0 secs
lola: 343531 markings, 2349487 edges, 29903 markings/sec, 5 secs
lola: 509758 markings, 3561232 edges, 33245 markings/sec, 10 secs
lola: 629272 markings, 4816843 edges, 23903 markings/sec, 15 secs
lola: 750852 markings, 5979447 edges, 24316 markings/sec, 20 secs
lola: 865561 markings, 7154864 edges, 22942 markings/sec, 25 secs
lola: 987188 markings, 8308775 edges, 24325 markings/sec, 30 secs
lola: 1142476 markings, 9480296 edges, 31058 markings/sec, 35 secs
lola: 1256039 markings, 10669009 edges, 22713 markings/sec, 40 secs
lola: 1421361 markings, 11916602 edges, 33064 markings/sec, 45 secs
lola: 1537717 markings, 13244126 edges, 23271 markings/sec, 50 secs
lola: 1646757 markings, 14565682 edges, 21808 markings/sec, 55 secs
lola: 1762799 markings, 15877196 edges, 23208 markings/sec, 60 secs
lola: 1863597 markings, 17192113 edges, 20160 markings/sec, 65 secs
lola: 1978256 markings, 18431098 edges, 22932 markings/sec, 70 secs
lola: 2095386 markings, 19662962 edges, 23426 markings/sec, 75 secs
lola: 2205541 markings, 20880002 edges, 22031 markings/sec, 80 secs
lola: 2315900 markings, 22148729 edges, 22072 markings/sec, 85 secs
lola: 2421893 markings, 23351651 edges, 21199 markings/sec, 90 secs
lola: 2517132 markings, 24575323 edges, 19048 markings/sec, 95 secs
lola: 2612090 markings, 25746929 edges, 18992 markings/sec, 100 secs
lola: 2709939 markings, 26953242 edges, 19570 markings/sec, 105 secs
lola: 2804139 markings, 28171136 edges, 18840 markings/sec, 110 secs
lola: 2894970 markings, 29402596 edges, 18166 markings/sec, 115 secs
lola: 3012524 markings, 30637896 edges, 23511 markings/sec, 120 secs
lola: 3138542 markings, 31884778 edges, 25204 markings/sec, 125 secs
lola: 3251743 markings, 33136416 edges, 22640 markings/sec, 130 secs
lola: 3373141 markings, 34366069 edges, 24280 markings/sec, 135 secs
lola: 3488811 markings, 35624465 edges, 23134 markings/sec, 140 secs
lola: 3600967 markings, 36903302 edges, 22431 markings/sec, 145 secs
lola: 3707214 markings, 38193603 edges, 21249 markings/sec, 150 secs
lola: 3812045 markings, 39489365 edges, 20966 markings/sec, 155 secs
lola: 3917691 markings, 40822954 edges, 21129 markings/sec, 160 secs
lola: 4021142 markings, 42170469 edges, 20690 markings/sec, 165 secs
lola: 4116020 markings, 43499811 edges, 18976 markings/sec, 170 secs
lola: 4199246 markings, 44813637 edges, 16645 markings/sec, 175 secs
lola: 4318675 markings, 46090633 edges, 23886 markings/sec, 180 secs
lola: 4438213 markings, 47358664 edges, 23908 markings/sec, 185 secs
lola: 4573419 markings, 48610581 edges, 27041 markings/sec, 190 secs
lola: 4692783 markings, 49890104 edges, 23873 markings/sec, 195 secs
lola: 4801417 markings, 51173625 edges, 21727 markings/sec, 200 secs
lola: 4927824 markings, 52407333 edges, 25281 markings/sec, 205 secs
lola: 5071405 markings, 53622667 edges, 28716 markings/sec, 210 secs
lola: 5189329 markings, 54854283 edges, 23585 markings/sec, 215 secs
lola: 5296997 markings, 56012309 edges, 21534 markings/sec, 220 secs
lola: 5397668 markings, 57238069 edges, 20134 markings/sec, 225 secs
lola: 5516531 markings, 58398984 edges, 23773 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p730)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 250376 markings, 927694 edges, 50075 markings/sec, 0 secs
lola: 495003 markings, 1981977 edges, 48925 markings/sec, 5 secs
lola: 735798 markings, 3074168 edges, 48159 markings/sec, 10 secs
lola: 969517 markings, 4203245 edges, 46744 markings/sec, 15 secs
lola: 1205552 markings, 5313283 edges, 47207 markings/sec, 20 secs
lola: 1414672 markings, 6453185 edges, 41824 markings/sec, 25 secs
lola: 1657785 markings, 7546614 edges, 48623 markings/sec, 30 secs
lola: 1881088 markings, 8667847 edges, 44661 markings/sec, 35 secs
lola: 2104133 markings, 9818899 edges, 44609 markings/sec, 40 secs
lola: 2309282 markings, 10993070 edges, 41030 markings/sec, 45 secs
lola: 2534635 markings, 12135763 edges, 45071 markings/sec, 50 secs
lola: 2738975 markings, 13315528 edges, 40868 markings/sec, 55 secs
lola: 2936504 markings, 14339753 edges, 39506 markings/sec, 60 secs
lola: 3158635 markings, 15417481 edges, 44426 markings/sec, 65 secs
lola: 3366395 markings, 16487989 edges, 41552 markings/sec, 70 secs
lola: 3560996 markings, 17526042 edges, 38920 markings/sec, 75 secs
lola: 3749175 markings, 18559960 edges, 37636 markings/sec, 80 secs
lola: 3945124 markings, 19590358 edges, 39190 markings/sec, 85 secs
lola: 4129897 markings, 20751241 edges, 36955 markings/sec, 90 secs
lola: 4275662 markings, 21918620 edges, 29153 markings/sec, 95 secs
lola: 4512756 markings, 23031595 edges, 47419 markings/sec, 100 secs
lola: 4739516 markings, 24155976 edges, 45352 markings/sec, 105 secs
lola: 4954691 markings, 25317481 edges, 43035 markings/sec, 110 secs
lola: 5171031 markings, 26485721 edges, 43268 markings/sec, 115 secs
lola: 5392797 markings, 27648911 edges, 44353 markings/sec, 120 secs
lola: 5575136 markings, 28845380 edges, 36468 markings/sec, 125 secs
lola: 5794810 markings, 29952669 edges, 43935 markings/sec, 130 secs
lola: 5991867 markings, 31037748 edges, 39411 markings/sec, 135 secs
lola: 6173287 markings, 32082967 edges, 36284 markings/sec, 140 secs
lola: 6347690 markings, 33153934 edges, 34881 markings/sec, 145 secs
lola: 6513298 markings, 34203726 edges, 33122 markings/sec, 150 secs
lola: 6694605 markings, 35223473 edges, 36261 markings/sec, 155 secs
lola: 6864856 markings, 36263320 edges, 34050 markings/sec, 160 secs
lola: 7014051 markings, 37354448 edges, 29839 markings/sec, 165 secs
lola: 7207943 markings, 38362283 edges, 38778 markings/sec, 170 secs
lola: 7396654 markings, 39392187 edges, 37742 markings/sec, 175 secs
lola: 7576388 markings, 40452278 edges, 35947 markings/sec, 180 secs
lola: 7765829 markings, 41598287 edges, 37888 markings/sec, 185 secs
lola: 7956178 markings, 42767091 edges, 38070 markings/sec, 190 secs
lola: 8152374 markings, 43931540 edges, 39239 markings/sec, 195 secs
lola: 8325303 markings, 45134390 edges, 34586 markings/sec, 200 secs
lola: 8433365 markings, 46321786 edges, 21612 markings/sec, 205 secs
lola: 8672996 markings, 47406136 edges, 47926 markings/sec, 210 secs
lola: 8898552 markings, 48541425 edges, 45111 markings/sec, 215 secs
lola: 9118878 markings, 49680538 edges, 44065 markings/sec, 220 secs
lola: 9320309 markings, 50844741 edges, 40286 markings/sec, 225 secs
lola: 9545191 markings, 51976177 edges, 44976 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 168667 markings, 1127563 edges, 33733 markings/sec, 0 secs
lola: 305995 markings, 2260052 edges, 27466 markings/sec, 5 secs
lola: 437506 markings, 3381009 edges, 26302 markings/sec, 10 secs
lola: 559970 markings, 4563527 edges, 24493 markings/sec, 15 secs
lola: 692783 markings, 5678525 edges, 26563 markings/sec, 20 secs
lola: 818205 markings, 6832734 edges, 25084 markings/sec, 25 secs
lola: 955074 markings, 8078346 edges, 27374 markings/sec, 30 secs
lola: 1079881 markings, 9401763 edges, 24961 markings/sec, 35 secs
lola: 1203273 markings, 10698899 edges, 24678 markings/sec, 40 secs
lola: 1306769 markings, 11872795 edges, 20699 markings/sec, 45 secs
lola: 1426509 markings, 12979026 edges, 23948 markings/sec, 50 secs
lola: 1553244 markings, 14090312 edges, 25347 markings/sec, 55 secs
lola: 1678999 markings, 15223581 edges, 25151 markings/sec, 60 secs
lola: 1789862 markings, 16371304 edges, 22173 markings/sec, 65 secs
lola: 1907327 markings, 17696696 edges, 23493 markings/sec, 70 secs
lola: 2036909 markings, 18958310 edges, 25916 markings/sec, 75 secs
lola: 2160406 markings, 20251463 edges, 24699 markings/sec, 80 secs
lola: 2282045 markings, 21532707 edges, 24328 markings/sec, 85 secs
lola: 2392594 markings, 22805919 edges, 22110 markings/sec, 90 secs
lola: 2497382 markings, 24085263 edges, 20958 markings/sec, 95 secs
lola: 2608909 markings, 25246706 edges, 22305 markings/sec, 100 secs
lola: 2717073 markings, 26408130 edges, 21633 markings/sec, 105 secs
lola: 2825348 markings, 27652628 edges, 21655 markings/sec, 110 secs
lola: 2928919 markings, 28925236 edges, 20714 markings/sec, 115 secs
lola: 3023961 markings, 30188074 edges, 19008 markings/sec, 120 secs
lola: 3127540 markings, 31456867 edges, 20716 markings/sec, 125 secs
lola: 3220440 markings, 32708803 edges, 18580 markings/sec, 130 secs
lola: 3317648 markings, 33951583 edges, 19442 markings/sec, 135 secs
lola: 3411503 markings, 35214844 edges, 18771 markings/sec, 140 secs
lola: 3503685 markings, 36493071 edges, 18436 markings/sec, 145 secs
lola: 3647986 markings, 37685580 edges, 28860 markings/sec, 150 secs
lola: 3783901 markings, 38945450 edges, 27183 markings/sec, 155 secs
lola: 3916825 markings, 40190734 edges, 26585 markings/sec, 160 secs
lola: 4032504 markings, 41496719 edges, 23136 markings/sec, 165 secs
lola: 4158672 markings, 42770232 edges, 25234 markings/sec, 170 secs
lola: 4287718 markings, 44024389 edges, 25809 markings/sec, 175 secs
lola: 4405019 markings, 45247517 edges, 23460 markings/sec, 180 secs
lola: 4516668 markings, 46529265 edges, 22330 markings/sec, 185 secs
lola: 4617192 markings, 47757945 edges, 20105 markings/sec, 190 secs
lola: 4715563 markings, 48949047 edges, 19674 markings/sec, 195 secs
lola: 4809196 markings, 50177269 edges, 18727 markings/sec, 200 secs
lola: 4928914 markings, 51469673 edges, 23944 markings/sec, 205 secs
lola: 5056822 markings, 52745006 edges, 25582 markings/sec, 210 secs
lola: 5168655 markings, 53913413 edges, 22367 markings/sec, 215 secs
lola: 5277304 markings, 55131696 edges, 21730 markings/sec, 220 secs
lola: 5374271 markings, 56358163 edges, 19393 markings/sec, 225 secs
lola: 5471458 markings, 57566820 edges, 19437 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 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-48a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494606586519

--------------------
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="AutoFlight-PT-48a"
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/AutoFlight-PT-48a.tgz
mv AutoFlight-PT-48a 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 AutoFlight-PT-48a, 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 r008-csrt-149436126100254"
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 ;