fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r188-blw3-149581034100047
Last Updated
June 27, 2017

About the Execution of LoLA for FlexibleBarrier-PT-08b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1473.760 3539674.00 3545883.00 1510.00 ? 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

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


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

=== Now, execution of the tool begins

BK_START 1496481885793


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-08b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-08b @ 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: 1977/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 920 places, 1057 transitions, 910 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1075 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-08b-UpperBounds.task
lola: MAX(p564) : MAX(p7) : MAX(p758) : MAX(p390) : MAX(p490) : MAX(p184) : MAX(p206) : MAX(p93) : MAX(p672) : MAX(p897) : MAX(p833) : MAX(p757) : MAX(p223) : MAX(p489) : MAX(p467) : MAX(p911)
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(p564)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 267859 markings, 598249 edges, 53572 markings/sec, 0 secs
lola: 520310 markings, 1192041 edges, 50490 markings/sec, 5 secs
lola: 766099 markings, 1795791 edges, 49158 markings/sec, 10 secs
lola: 1025768 markings, 2391290 edges, 51934 markings/sec, 15 secs
lola: 1291162 markings, 3008477 edges, 53079 markings/sec, 20 secs
lola: 1556767 markings, 3635369 edges, 53121 markings/sec, 25 secs
lola: 1800874 markings, 4260751 edges, 48821 markings/sec, 30 secs
lola: 2029198 markings, 4870534 edges, 45665 markings/sec, 35 secs
lola: 2263772 markings, 5553710 edges, 46915 markings/sec, 40 secs
lola: 2490119 markings, 6192886 edges, 45269 markings/sec, 45 secs
lola: 2677350 markings, 6934879 edges, 37446 markings/sec, 50 secs
lola: 2929797 markings, 7534691 edges, 50489 markings/sec, 55 secs
lola: 3190554 markings, 8143587 edges, 52151 markings/sec, 60 secs
lola: 3431668 markings, 8734385 edges, 48223 markings/sec, 65 secs
lola: 3675513 markings, 9285369 edges, 48769 markings/sec, 70 secs
lola: 3949400 markings, 9906972 edges, 54777 markings/sec, 75 secs
lola: 4223371 markings, 10528700 edges, 54794 markings/sec, 80 secs
lola: 4493838 markings, 11153590 edges, 54093 markings/sec, 85 secs
lola: 4741239 markings, 11756054 edges, 49480 markings/sec, 90 secs
lola: 4991211 markings, 12378514 edges, 49994 markings/sec, 95 secs
lola: 5242341 markings, 13032213 edges, 50226 markings/sec, 100 secs
lola: 5487728 markings, 13701968 edges, 49077 markings/sec, 105 secs
lola: 5729530 markings, 14320541 edges, 48360 markings/sec, 110 secs
lola: 5910955 markings, 15047043 edges, 36285 markings/sec, 115 secs
lola: 6141688 markings, 15641061 edges, 46147 markings/sec, 120 secs
lola: 6379187 markings, 16259737 edges, 47500 markings/sec, 125 secs
lola: 6603653 markings, 16852731 edges, 44893 markings/sec, 130 secs
lola: 6816498 markings, 17419637 edges, 42569 markings/sec, 135 secs
lola: 7053259 markings, 18055096 edges, 47352 markings/sec, 140 secs
lola: 7296375 markings, 18697798 edges, 48623 markings/sec, 145 secs
lola: 7529491 markings, 19340564 edges, 46623 markings/sec, 150 secs
lola: 7749081 markings, 19989598 edges, 43918 markings/sec, 155 secs
lola: 7970873 markings, 20674310 edges, 44358 markings/sec, 160 secs
lola: 8188573 markings, 21396491 edges, 43540 markings/sec, 165 secs
lola: 8396588 markings, 22057372 edges, 41603 markings/sec, 170 secs
lola: 8580160 markings, 22793819 edges, 36714 markings/sec, 175 secs
lola: 8830017 markings, 23388019 edges, 49971 markings/sec, 180 secs
lola: 9067287 markings, 23963847 edges, 47454 markings/sec, 185 secs
lola: 9319079 markings, 24551815 edges, 50358 markings/sec, 190 secs
lola: 9575198 markings, 25157490 edges, 51224 markings/sec, 195 secs
lola: 9825079 markings, 25759758 edges, 49976 markings/sec, 200 secs
lola: 10055255 markings, 26364719 edges, 46035 markings/sec, 205 secs
lola: 10285737 markings, 26999416 edges, 46096 markings/sec, 210 secs
lola: 10505351 markings, 27656714 edges, 43923 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(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p758)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 275891 markings, 614696 edges, 55178 markings/sec, 0 secs
lola: 545551 markings, 1246926 edges, 53932 markings/sec, 5 secs
lola: 804339 markings, 1879919 edges, 51758 markings/sec, 10 secs
lola: 1042847 markings, 2433286 edges, 47702 markings/sec, 15 secs
lola: 1312725 markings, 3061904 edges, 53976 markings/sec, 20 secs
lola: 1579553 markings, 3681496 edges, 53366 markings/sec, 25 secs
lola: 1824141 markings, 4324746 edges, 48918 markings/sec, 30 secs
lola: 2043976 markings, 4915675 edges, 43967 markings/sec, 35 secs
lola: 2285614 markings, 5613259 edges, 48328 markings/sec, 40 secs
lola: 2512368 markings, 6268158 edges, 45351 markings/sec, 45 secs
lola: 2719019 markings, 7012910 edges, 41330 markings/sec, 50 secs
lola: 2984926 markings, 7642650 edges, 53181 markings/sec, 55 secs
lola: 3242612 markings, 8270256 edges, 51537 markings/sec, 60 secs
lola: 3495497 markings, 8892232 edges, 50577 markings/sec, 65 secs
lola: 3769922 markings, 9499638 edges, 54885 markings/sec, 70 secs
lola: 4010115 markings, 10043667 edges, 48039 markings/sec, 75 secs
lola: 4284847 markings, 10667185 edges, 54946 markings/sec, 80 secs
lola: 4555942 markings, 11291060 edges, 54219 markings/sec, 85 secs
lola: 4810324 markings, 11920821 edges, 50876 markings/sec, 90 secs
lola: 5067386 markings, 12559910 edges, 51412 markings/sec, 95 secs
lola: 5318040 markings, 13226057 edges, 50131 markings/sec, 100 secs
lola: 5566298 markings, 13918107 edges, 49652 markings/sec, 105 secs
lola: 5801338 markings, 14526703 edges, 47008 markings/sec, 110 secs
lola: 5963165 markings, 15170241 edges, 32365 markings/sec, 115 secs
lola: 6207593 markings, 15807704 edges, 48886 markings/sec, 120 secs
lola: 6448289 markings, 16432033 edges, 48139 markings/sec, 125 secs
lola: 6677307 markings, 17063686 edges, 45804 markings/sec, 130 secs
lola: 6918372 markings, 17688686 edges, 48213 markings/sec, 135 secs
lola: 7163156 markings, 18342836 edges, 48957 markings/sec, 140 secs
lola: 7409188 markings, 19002999 edges, 49206 markings/sec, 145 secs
lola: 7636220 markings, 19651376 edges, 45406 markings/sec, 150 secs
lola: 7833598 markings, 20236685 edges, 39476 markings/sec, 155 secs
lola: 8059817 markings, 20958888 edges, 45244 markings/sec, 160 secs
lola: 8281909 markings, 21707738 edges, 44418 markings/sec, 165 secs
lola: 8479605 markings, 22361419 edges, 39539 markings/sec, 170 secs
lola: 8691841 markings, 23072678 edges, 42447 markings/sec, 175 secs
lola: 8953095 markings, 23684132 edges, 52251 markings/sec, 180 secs
lola: 9208384 markings, 24291453 edges, 51058 markings/sec, 185 secs
lola: 9473127 markings, 24913829 edges, 52949 markings/sec, 190 secs
lola: 9702035 markings, 25456458 edges, 45782 markings/sec, 195 secs
lola: 9955597 markings, 26100977 edges, 50712 markings/sec, 200 secs
lola: 10193708 markings, 26738262 edges, 47622 markings/sec, 205 secs
lola: 10426532 markings, 27404275 edges, 46565 markings/sec, 210 secs
lola: 10661175 markings, 28074065 edges, 46929 markings/sec, 215 secs
lola: 10848745 markings, 28841763 edges, 37514 markings/sec, 220 secs
lola: 11112370 markings, 29470697 edges, 52725 markings/sec, 225 secs
lola: 11368836 markings, 30092806 edges, 51293 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p390)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 277040 markings, 619060 edges, 55408 markings/sec, 0 secs
lola: 542972 markings, 1242352 edges, 53186 markings/sec, 5 secs
lola: 803920 markings, 1880216 edges, 52190 markings/sec, 10 secs
lola: 1073149 markings, 2501196 edges, 53846 markings/sec, 15 secs
lola: 1344326 markings, 3132599 edges, 54235 markings/sec, 20 secs
lola: 1609180 markings, 3759887 edges, 52971 markings/sec, 25 secs
lola: 1853766 markings, 4403224 edges, 48917 markings/sec, 30 secs
lola: 2097227 markings, 5063210 edges, 48692 markings/sec, 35 secs
lola: 2335253 markings, 5775471 edges, 47605 markings/sec, 40 secs
lola: 2561137 markings, 6387311 edges, 45177 markings/sec, 45 secs
lola: 2764678 markings, 7117409 edges, 40708 markings/sec, 50 secs
lola: 3024160 markings, 7744127 edges, 51896 markings/sec, 55 secs
lola: 3283290 markings, 8360966 edges, 51826 markings/sec, 60 secs
lola: 3517641 markings, 8933796 edges, 46870 markings/sec, 65 secs
lola: 3782083 markings, 9534760 edges, 52888 markings/sec, 70 secs
lola: 4066129 markings, 10174544 edges, 56809 markings/sec, 75 secs
lola: 4349532 markings, 10815871 edges, 56681 markings/sec, 80 secs
lola: 4612524 markings, 11436838 edges, 52598 markings/sec, 85 secs
lola: 4861359 markings, 12048317 edges, 49767 markings/sec, 90 secs
lola: 5113196 markings, 12685609 edges, 50367 markings/sec, 95 secs
lola: 5363337 markings, 13352855 edges, 50028 markings/sec, 100 secs
lola: 5610848 markings, 14046139 edges, 49502 markings/sec, 105 secs
lola: 5853253 markings, 14651722 edges, 48481 markings/sec, 110 secs
lola: 6045007 markings, 15372150 edges, 38351 markings/sec, 115 secs
lola: 6283820 markings, 16000844 edges, 47763 markings/sec, 120 secs
lola: 6519886 markings, 16641601 edges, 47213 markings/sec, 125 secs
lola: 6734819 markings, 17212778 edges, 42987 markings/sec, 130 secs
lola: 6980795 markings, 17858445 edges, 49195 markings/sec, 135 secs
lola: 7230111 markings, 18519275 edges, 49863 markings/sec, 140 secs
lola: 7475495 markings, 19178348 edges, 49077 markings/sec, 145 secs
lola: 7697709 markings, 19837379 edges, 44443 markings/sec, 150 secs
lola: 7926181 markings, 20531018 edges, 45694 markings/sec, 155 secs
lola: 8150525 markings, 21264749 edges, 44869 markings/sec, 160 secs
lola: 8371338 markings, 21950000 edges, 44163 markings/sec, 165 secs
lola: 8545701 markings, 22717478 edges, 34873 markings/sec, 170 secs
lola: 8801883 markings, 23322086 edges, 51236 markings/sec, 175 secs
lola: 9042284 markings, 23911898 edges, 48080 markings/sec, 180 secs
lola: 9292807 markings, 24507233 edges, 50105 markings/sec, 185 secs
lola: 9553070 markings, 25121563 edges, 52053 markings/sec, 190 secs
lola: 9812185 markings, 25743358 edges, 51823 markings/sec, 195 secs
lola: 10050639 markings, 26353443 edges, 47691 markings/sec, 200 secs
lola: 10286794 markings, 26973159 edges, 47231 markings/sec, 205 secs
lola: 10519014 markings, 27639814 edges, 46444 markings/sec, 210 secs
lola: 10737327 markings, 28304524 edges, 43663 markings/sec, 215 secs
lola: 10951010 markings, 28884346 edges, 42737 markings/sec, 220 secs
lola: 11136266 markings, 29622838 edges, 37051 markings/sec, 225 secs
lola: 11393045 markings, 30244453 edges, 51356 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 327103 markings, 733645 edges, 65421 markings/sec, 0 secs
lola: 588841 markings, 1354401 edges, 52348 markings/sec, 5 secs
lola: 887328 markings, 2082301 edges, 59697 markings/sec, 10 secs
lola: 1197362 markings, 2794455 edges, 62007 markings/sec, 15 secs
lola: 1507767 markings, 3513421 edges, 62081 markings/sec, 20 secs
lola: 1738759 markings, 4096991 edges, 46198 markings/sec, 25 secs
lola: 2021568 markings, 4843054 edges, 56562 markings/sec, 30 secs
lola: 2296032 markings, 5648116 edges, 54893 markings/sec, 35 secs
lola: 2558551 markings, 6378546 edges, 52504 markings/sec, 40 secs
lola: 2762204 markings, 7111301 edges, 40731 markings/sec, 45 secs
lola: 3086815 markings, 7888239 edges, 64922 markings/sec, 50 secs
lola: 3410112 markings, 8674595 edges, 64659 markings/sec, 55 secs
lola: 3745098 markings, 9442597 edges, 66997 markings/sec, 60 secs
lola: 4094239 markings, 10236026 edges, 69828 markings/sec, 65 secs
lola: 4442743 markings, 11028476 edges, 69701 markings/sec, 70 secs
lola: 4764265 markings, 11807741 edges, 64304 markings/sec, 75 secs
lola: 5086593 markings, 12613934 edges, 64466 markings/sec, 80 secs
lola: 5346901 markings, 13314084 edges, 52062 markings/sec, 85 secs
lola: 5657088 markings, 14153469 edges, 62037 markings/sec, 90 secs
lola: 5896260 markings, 15011418 edges, 47834 markings/sec, 95 secs
lola: 6178586 markings, 15728782 edges, 56465 markings/sec, 100 secs
lola: 6465182 markings, 16483859 edges, 57319 markings/sec, 105 secs
lola: 6726773 markings, 17192966 edges, 52318 markings/sec, 110 secs
lola: 6999544 markings, 17913191 edges, 54554 markings/sec, 115 secs
lola: 7275063 markings, 18638937 edges, 55104 markings/sec, 120 secs
lola: 7540695 markings, 19368886 edges, 53126 markings/sec, 125 secs
lola: 7793925 markings, 20122579 edges, 50646 markings/sec, 130 secs
lola: 8047801 markings, 20924025 edges, 50775 markings/sec, 135 secs
lola: 8296029 markings, 21745307 edges, 49646 markings/sec, 140 secs
lola: 8484075 markings, 22536093 edges, 37609 markings/sec, 145 secs
lola: 8777549 markings, 23259847 edges, 58695 markings/sec, 150 secs
lola: 9068246 markings, 23965188 edges, 58139 markings/sec, 155 secs
lola: 9359821 markings, 24648095 edges, 58315 markings/sec, 160 secs
lola: 9655232 markings, 25345152 edges, 59082 markings/sec, 165 secs
lola: 9930801 markings, 26034445 edges, 55114 markings/sec, 170 secs
lola: 10199808 markings, 26752134 edges, 53801 markings/sec, 175 secs
lola: 10456592 markings, 27503724 edges, 51357 markings/sec, 180 secs
lola: 10675383 markings, 28113507 edges, 43758 markings/sec, 185 secs
lola: 10886660 markings, 28929624 edges, 42255 markings/sec, 190 secs
lola: 11210803 markings, 29698831 edges, 64829 markings/sec, 195 secs
lola: 11506165 markings, 30412990 edges, 59072 markings/sec, 200 secs
lola: 11833727 markings, 31161586 edges, 65512 markings/sec, 205 secs
lola: 12170470 markings, 31927891 edges, 67349 markings/sec, 210 secs
lola: 12490388 markings, 32684734 edges, 63984 markings/sec, 215 secs
lola: 12757998 markings, 33349285 edges, 53522 markings/sec, 220 secs
lola: 13062453 markings, 34138061 edges, 60891 markings/sec, 225 secs
lola: 13365946 markings, 34971911 edges, 60699 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p184)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 272758 markings, 609353 edges, 54552 markings/sec, 0 secs
lola: 531894 markings, 1216897 edges, 51827 markings/sec, 5 secs
lola: 785129 markings, 1844754 edges, 50647 markings/sec, 10 secs
lola: 1049533 markings, 2454639 edges, 52881 markings/sec, 15 secs
lola: 1319049 markings, 3074673 edges, 53903 markings/sec, 20 secs
lola: 1543069 markings, 3611420 edges, 44804 markings/sec, 25 secs
lola: 1791359 markings, 4240422 edges, 49658 markings/sec, 30 secs
lola: 2037458 markings, 4891279 edges, 49220 markings/sec, 35 secs
lola: 2273068 markings, 5579154 edges, 47122 markings/sec, 40 secs
lola: 2497118 markings, 6226608 edges, 44810 markings/sec, 45 secs
lola: 2690901 markings, 6959787 edges, 38757 markings/sec, 50 secs
lola: 2949577 markings, 7571706 edges, 51735 markings/sec, 55 secs
lola: 3212011 markings, 8190477 edges, 52487 markings/sec, 60 secs
lola: 3451401 markings, 8775755 edges, 47878 markings/sec, 65 secs
lola: 3702990 markings, 9349496 edges, 50318 markings/sec, 70 secs
lola: 3980852 markings, 9987522 edges, 55572 markings/sec, 75 secs
lola: 4257099 markings, 10612962 edges, 55249 markings/sec, 80 secs
lola: 4496142 markings, 11167269 edges, 47809 markings/sec, 85 secs
lola: 4749206 markings, 11773476 edges, 50613 markings/sec, 90 secs
lola: 5001777 markings, 12402345 edges, 50514 markings/sec, 95 secs
lola: 5255047 markings, 13063713 edges, 50654 markings/sec, 100 secs
lola: 5500800 markings, 13741746 edges, 49151 markings/sec, 105 secs
lola: 5740439 markings, 14352168 edges, 47928 markings/sec, 110 secs
lola: 5926813 markings, 15079113 edges, 37275 markings/sec, 115 secs
lola: 6160344 markings, 15681564 edges, 46706 markings/sec, 120 secs
lola: 6362497 markings, 16213570 edges, 40431 markings/sec, 125 secs
lola: 6589322 markings, 16816668 edges, 45365 markings/sec, 130 secs
lola: 6802823 markings, 17385555 edges, 42700 markings/sec, 135 secs
lola: 7043553 markings, 18034979 edges, 48146 markings/sec, 140 secs
lola: 7288098 markings, 18674418 edges, 48909 markings/sec, 145 secs
lola: 7524254 markings, 19323622 edges, 47231 markings/sec, 150 secs
lola: 7742970 markings, 19970379 edges, 43743 markings/sec, 155 secs
lola: 7968558 markings, 20667476 edges, 45118 markings/sec, 160 secs
lola: 8157159 markings, 21293799 edges, 37720 markings/sec, 165 secs
lola: 8373664 markings, 21957524 edges, 43301 markings/sec, 170 secs
lola: 8542745 markings, 22708430 edges, 33816 markings/sec, 175 secs
lola: 8791578 markings, 23302120 edges, 49767 markings/sec, 180 secs
lola: 9031457 markings, 23888992 edges, 47976 markings/sec, 185 secs
lola: 9276741 markings, 24468504 edges, 49057 markings/sec, 190 secs
lola: 9528506 markings, 25076983 edges, 50353 markings/sec, 195 secs
lola: 9792417 markings, 25686338 edges, 52782 markings/sec, 200 secs
lola: 10028073 markings, 26289012 edges, 47131 markings/sec, 205 secs
lola: 10258796 markings, 26906188 edges, 46145 markings/sec, 210 secs
lola: 10487254 markings, 27551673 edges, 45692 markings/sec, 215 secs
lola: 10702243 markings, 28204531 edges, 42998 markings/sec, 220 secs
lola: 10889392 markings, 28709188 edges, 37430 markings/sec, 225 secs
lola: 11056044 markings, 29439273 edges, 33330 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p206)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 280906 markings, 621255 edges, 56181 markings/sec, 0 secs
lola: 551332 markings, 1255596 edges, 54085 markings/sec, 5 secs
lola: 812117 markings, 1892292 edges, 52157 markings/sec, 10 secs
lola: 1083578 markings, 2518989 edges, 54292 markings/sec, 15 secs
lola: 1356439 markings, 3154102 edges, 54572 markings/sec, 20 secs
lola: 1622605 markings, 3784494 edges, 53233 markings/sec, 25 secs
lola: 1872861 markings, 4439479 edges, 50051 markings/sec, 30 secs
lola: 2121638 markings, 5124513 edges, 49755 markings/sec, 35 secs
lola: 2362019 markings, 5844481 edges, 48076 markings/sec, 40 secs
lola: 2581640 markings, 6440451 edges, 43924 markings/sec, 45 secs
lola: 2793852 markings, 7185219 edges, 42442 markings/sec, 50 secs
lola: 3066761 markings, 7828737 edges, 54582 markings/sec, 55 secs
lola: 3327599 markings, 8470705 edges, 52168 markings/sec, 60 secs
lola: 3588087 markings, 9086858 edges, 52098 markings/sec, 65 secs
lola: 3872423 markings, 9727031 edges, 56867 markings/sec, 70 secs
lola: 4149710 markings, 10356009 edges, 55457 markings/sec, 75 secs
lola: 4427659 markings, 10986421 edges, 55590 markings/sec, 80 secs
lola: 4690700 markings, 11617853 edges, 52608 markings/sec, 85 secs
lola: 4953358 markings, 12272009 edges, 52532 markings/sec, 90 secs
lola: 5213883 markings, 12941368 edges, 52105 markings/sec, 95 secs
lola: 5462314 markings, 13620079 edges, 49686 markings/sec, 100 secs
lola: 5707213 markings, 14256959 edges, 48980 markings/sec, 105 secs
lola: 5897244 markings, 14953722 edges, 38006 markings/sec, 110 secs
lola: 6130538 markings, 15600694 edges, 46659 markings/sec, 115 secs
lola: 6372722 markings, 16231725 edges, 48437 markings/sec, 120 secs
lola: 6605958 markings, 16850273 edges, 46647 markings/sec, 125 secs
lola: 6835375 markings, 17464080 edges, 45883 markings/sec, 130 secs
lola: 7086534 markings, 18130521 edges, 50232 markings/sec, 135 secs
lola: 7332080 markings, 18782553 edges, 49109 markings/sec, 140 secs
lola: 7542960 markings, 19366982 edges, 42176 markings/sec, 145 secs
lola: 7754888 markings, 20004953 edges, 42386 markings/sec, 150 secs
lola: 7988501 markings, 20722811 edges, 46723 markings/sec, 155 secs
lola: 8216127 markings, 21482112 edges, 45525 markings/sec, 160 secs
lola: 8433362 markings, 22153476 edges, 43447 markings/sec, 165 secs
lola: 8632419 markings, 22915593 edges, 39811 markings/sec, 170 secs
lola: 8886086 markings, 23526068 edges, 50733 markings/sec, 175 secs
lola: 9139432 markings, 24124333 edges, 50669 markings/sec, 180 secs
lola: 9407175 markings, 24756915 edges, 53549 markings/sec, 185 secs
lola: 9678349 markings, 25393457 edges, 54235 markings/sec, 190 secs
lola: 9922791 markings, 26010801 edges, 48888 markings/sec, 195 secs
lola: 10161270 markings, 26637135 edges, 47696 markings/sec, 200 secs
lola: 10393687 markings, 27311547 edges, 46483 markings/sec, 205 secs
lola: 10625785 markings, 27987916 edges, 46420 markings/sec, 210 secs
lola: 10806250 markings, 28731567 edges, 36093 markings/sec, 215 secs
lola: 11064871 markings, 29346959 edges, 51724 markings/sec, 220 secs
lola: 11313195 markings, 29956138 edges, 49665 markings/sec, 225 secs
lola: 11563140 markings, 30530984 edges, 49989 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 272602 markings, 609007 edges, 54520 markings/sec, 0 secs
lola: 538347 markings, 1231214 edges, 53149 markings/sec, 5 secs
lola: 782232 markings, 1839310 edges, 48777 markings/sec, 10 secs
lola: 991161 markings, 2323099 edges, 41786 markings/sec, 15 secs
lola: 1260727 markings, 2942421 edges, 53913 markings/sec, 20 secs
lola: 1529485 markings, 3568227 edges, 53752 markings/sec, 25 secs
lola: 1774806 markings, 4190918 edges, 49064 markings/sec, 30 secs
lola: 1975847 markings, 4716194 edges, 40208 markings/sec, 35 secs
lola: 2214690 markings, 5401250 edges, 47769 markings/sec, 40 secs
lola: 2443180 markings, 6055818 edges, 45698 markings/sec, 45 secs
lola: 2621055 markings, 6787507 edges, 35575 markings/sec, 50 secs
lola: 2858043 markings, 7351026 edges, 47398 markings/sec, 55 secs
lola: 3118144 markings, 7969343 edges, 52020 markings/sec, 60 secs
lola: 3377161 markings, 8604045 edges, 51803 markings/sec, 65 secs
lola: 3630411 markings, 9185000 edges, 50650 markings/sec, 70 secs
lola: 3854937 markings, 9698339 edges, 44905 markings/sec, 75 secs
lola: 4140178 markings, 10341310 edges, 57048 markings/sec, 80 secs
lola: 4426247 markings, 10989793 edges, 57214 markings/sec, 85 secs
lola: 4692355 markings, 11636704 edges, 53222 markings/sec, 90 secs
lola: 4959001 markings, 12296192 edges, 53329 markings/sec, 95 secs
lola: 5210990 markings, 12949526 edges, 50398 markings/sec, 100 secs
lola: 5450076 markings, 13593005 edges, 47817 markings/sec, 105 secs
lola: 5682679 markings, 14208615 edges, 46521 markings/sec, 110 secs
lola: 5869857 markings, 14695985 edges, 37436 markings/sec, 115 secs
lola: 6044375 markings, 15370376 edges, 34904 markings/sec, 120 secs
lola: 6269146 markings, 15968453 edges, 44954 markings/sec, 125 secs
lola: 6506081 markings, 16597970 edges, 47387 markings/sec, 130 secs
lola: 6731463 markings, 17206266 edges, 45076 markings/sec, 135 secs
lola: 6961608 markings, 17806655 edges, 46029 markings/sec, 140 secs
lola: 7201726 markings, 18453604 edges, 48024 markings/sec, 145 secs
lola: 7440529 markings, 19098417 edges, 47761 markings/sec, 150 secs
lola: 7670030 markings, 19753631 edges, 45900 markings/sec, 155 secs
lola: 7898105 markings, 20446313 edges, 45615 markings/sec, 160 secs
lola: 8118660 markings, 21153752 edges, 44111 markings/sec, 165 secs
lola: 8323252 markings, 21817323 edges, 40918 markings/sec, 170 secs
lola: 8478250 markings, 22368204 edges, 31000 markings/sec, 175 secs
lola: 8683548 markings, 23036908 edges, 41060 markings/sec, 180 secs
lola: 8923842 markings, 23626014 edges, 48059 markings/sec, 185 secs
lola: 9153811 markings, 24182657 edges, 45994 markings/sec, 190 secs
lola: 9399803 markings, 24758867 edges, 49198 markings/sec, 195 secs
lola: 9645737 markings, 25349835 edges, 49187 markings/sec, 200 secs
lola: 9891645 markings, 25931056 edges, 49182 markings/sec, 205 secs
lola: 10111548 markings, 26509415 edges, 43981 markings/sec, 210 secs
lola: 10295981 markings, 27003980 edges, 36887 markings/sec, 215 secs
lola: 10513825 markings, 27627168 edges, 43569 markings/sec, 220 secs
lola: 10704618 markings, 28208477 edges, 38159 markings/sec, 225 secs
lola: 10895137 markings, 28735208 edges, 38104 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p672)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 298012 markings, 577620 edges, 59602 markings/sec, 0 secs
lola: 587848 markings, 1193874 edges, 57967 markings/sec, 5 secs
lola: 872281 markings, 1770776 edges, 56887 markings/sec, 10 secs
lola: 1174000 markings, 2385626 edges, 60344 markings/sec, 15 secs
lola: 1467148 markings, 3020728 edges, 58630 markings/sec, 20 secs
lola: 1767636 markings, 3631649 edges, 60098 markings/sec, 25 secs
lola: 2059278 markings, 4290775 edges, 58328 markings/sec, 30 secs
lola: 2356885 markings, 4911244 edges, 59521 markings/sec, 35 secs
lola: 2643849 markings, 5517542 edges, 57393 markings/sec, 40 secs
lola: 2931908 markings, 6119945 edges, 57612 markings/sec, 45 secs
lola: 3225749 markings, 6711795 edges, 58768 markings/sec, 50 secs
lola: 3504780 markings, 7301122 edges, 55806 markings/sec, 55 secs
lola: 3789366 markings, 7878983 edges, 56917 markings/sec, 60 secs
lola: 4076490 markings, 8459509 edges, 57425 markings/sec, 65 secs
lola: 4377502 markings, 9057797 edges, 60202 markings/sec, 70 secs
lola: 4653369 markings, 9620866 edges, 55173 markings/sec, 75 secs
lola: 4921170 markings, 10232583 edges, 53560 markings/sec, 80 secs
lola: 5227143 markings, 10827388 edges, 61195 markings/sec, 85 secs
lola: 5524678 markings, 11406173 edges, 59507 markings/sec, 90 secs
lola: 5817511 markings, 12006517 edges, 58567 markings/sec, 95 secs
lola: 6116094 markings, 12604491 edges, 59717 markings/sec, 100 secs
lola: 6416703 markings, 13205915 edges, 60122 markings/sec, 105 secs
lola: 6686218 markings, 13795083 edges, 53903 markings/sec, 110 secs
lola: 6972445 markings, 14416527 edges, 57245 markings/sec, 115 secs
lola: 7270801 markings, 15016917 edges, 59671 markings/sec, 120 secs
lola: 7573674 markings, 15623757 edges, 60575 markings/sec, 125 secs
lola: 7869395 markings, 16208365 edges, 59144 markings/sec, 130 secs
lola: 8171406 markings, 16810177 edges, 60402 markings/sec, 135 secs
lola: 8473926 markings, 17418929 edges, 60504 markings/sec, 140 secs
lola: 8748322 markings, 18016095 edges, 54879 markings/sec, 145 secs
lola: 9049629 markings, 18666382 edges, 60261 markings/sec, 150 secs
lola: 9347547 markings, 19273665 edges, 59584 markings/sec, 155 secs
lola: 9647792 markings, 19869827 edges, 60049 markings/sec, 160 secs
lola: 9953557 markings, 20475455 edges, 61153 markings/sec, 165 secs
lola: 10256091 markings, 21102113 edges, 60507 markings/sec, 170 secs
lola: 10550243 markings, 21723292 edges, 58830 markings/sec, 175 secs
lola: 10840848 markings, 22323242 edges, 58121 markings/sec, 180 secs
lola: 11114786 markings, 22928207 edges, 54788 markings/sec, 185 secs
lola: 11386650 markings, 23534331 edges, 54373 markings/sec, 190 secs
lola: 11658639 markings, 24130425 edges, 54398 markings/sec, 195 secs
lola: 11913316 markings, 24723094 edges, 50935 markings/sec, 200 secs
lola: 12167695 markings, 25281421 edges, 50876 markings/sec, 205 secs
lola: 12423163 markings, 25839597 edges, 51094 markings/sec, 210 secs
lola: 12663286 markings, 26379246 edges, 48025 markings/sec, 215 secs
lola: 12939473 markings, 26942720 edges, 55237 markings/sec, 220 secs
lola: 13220751 markings, 27512723 edges, 56256 markings/sec, 225 secs
lola: 13510451 markings, 28078127 edges, 57940 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p897)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 277790 markings, 619621 edges, 55558 markings/sec, 0 secs
lola: 552608 markings, 1265256 edges, 54964 markings/sec, 5 secs
lola: 815040 markings, 1903734 edges, 52486 markings/sec, 10 secs
lola: 1087351 markings, 2535049 edges, 54462 markings/sec, 15 secs
lola: 1361489 markings, 3177032 edges, 54828 markings/sec, 20 secs
lola: 1627907 markings, 3803728 edges, 53284 markings/sec, 25 secs
lola: 1877946 markings, 4457429 edges, 50008 markings/sec, 30 secs
lola: 2120622 markings, 5126630 edges, 48535 markings/sec, 35 secs
lola: 2360820 markings, 5849930 edges, 48040 markings/sec, 40 secs
lola: 2583448 markings, 6490797 edges, 44526 markings/sec, 45 secs
lola: 2813997 markings, 7231678 edges, 46110 markings/sec, 50 secs
lola: 3081596 markings, 7872260 edges, 53520 markings/sec, 55 secs
lola: 3346467 markings, 8526078 edges, 52974 markings/sec, 60 secs
lola: 3611459 markings, 9138271 edges, 52998 markings/sec, 65 secs
lola: 3892107 markings, 9776410 edges, 56130 markings/sec, 70 secs
lola: 4173379 markings, 10416102 edges, 56254 markings/sec, 75 secs
lola: 4455674 markings, 11063747 edges, 56459 markings/sec, 80 secs
lola: 4713114 markings, 11680614 edges, 51488 markings/sec, 85 secs
lola: 4960541 markings, 12297976 edges, 49485 markings/sec, 90 secs
lola: 5206858 markings, 12930560 edges, 49263 markings/sec, 95 secs
lola: 5455128 markings, 13607426 edges, 49654 markings/sec, 100 secs
lola: 5694854 markings, 14234159 edges, 47945 markings/sec, 105 secs
lola: 5889251 markings, 14903172 edges, 38879 markings/sec, 110 secs
lola: 6086239 markings, 15479832 edges, 39398 markings/sec, 115 secs
lola: 6329245 markings, 16126326 edges, 48601 markings/sec, 120 secs
lola: 6566247 markings, 16765760 edges, 47400 markings/sec, 125 secs
lola: 6800030 markings, 17377974 edges, 46757 markings/sec, 130 secs
lola: 7041647 markings, 18021202 edges, 48323 markings/sec, 135 secs
lola: 7287862 markings, 18671639 edges, 49243 markings/sec, 140 secs
lola: 7526244 markings, 19332881 edges, 47676 markings/sec, 145 secs
lola: 7756821 markings, 20013506 edges, 46115 markings/sec, 150 secs
lola: 7986184 markings, 20723721 edges, 45873 markings/sec, 155 secs
lola: 8210136 markings, 21472051 edges, 44790 markings/sec, 160 secs
lola: 8422976 markings, 22131617 edges, 42568 markings/sec, 165 secs
lola: 8618518 markings, 22878474 edges, 39108 markings/sec, 170 secs
lola: 8879264 markings, 23516480 edges, 52149 markings/sec, 175 secs
lola: 9138240 markings, 24127153 edges, 51795 markings/sec, 180 secs
lola: 9406169 markings, 24758253 edges, 53586 markings/sec, 185 secs
lola: 9673777 markings, 25388013 edges, 53522 markings/sec, 190 secs
lola: 9891955 markings, 25933458 edges, 43636 markings/sec, 195 secs
lola: 10135843 markings, 26581375 edges, 48778 markings/sec, 200 secs
lola: 10369408 markings, 27241042 edges, 46713 markings/sec, 205 secs
lola: 10602095 markings, 27935044 edges, 46537 markings/sec, 210 secs
lola: 10785722 markings, 28605432 edges, 36725 markings/sec, 215 secs
lola: 11020999 markings, 29242747 edges, 47055 markings/sec, 220 secs
lola: 11273852 markings, 29863424 edges, 50571 markings/sec, 225 secs
lola: 11530902 markings, 30461328 edges, 51410 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p833)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 263412 markings, 589008 edges, 52682 markings/sec, 0 secs
lola: 526023 markings, 1203717 edges, 52522 markings/sec, 5 secs
lola: 779714 markings, 1834204 edges, 50738 markings/sec, 10 secs
lola: 1044117 markings, 2444710 edges, 52881 markings/sec, 15 secs
lola: 1316611 markings, 3070326 edges, 54499 markings/sec, 20 secs
lola: 1583913 markings, 3693991 edges, 53460 markings/sec, 25 secs
lola: 1828214 markings, 4334109 edges, 48860 markings/sec, 30 secs
lola: 2072531 markings, 4993701 edges, 48863 markings/sec, 35 secs
lola: 2296471 markings, 5649771 edges, 44788 markings/sec, 40 secs
lola: 2518984 markings, 6284683 edges, 44503 markings/sec, 45 secs
lola: 2717729 markings, 7011484 edges, 39749 markings/sec, 50 secs
lola: 2974029 markings, 7619895 edges, 51260 markings/sec, 55 secs
lola: 3230795 markings, 8234755 edges, 51353 markings/sec, 60 secs
lola: 3469479 markings, 8818674 edges, 47737 markings/sec, 65 secs
lola: 3722723 markings, 9397331 edges, 50649 markings/sec, 70 secs
lola: 4000735 markings, 10025657 edges, 55602 markings/sec, 75 secs
lola: 4279128 markings, 10655900 edges, 55679 markings/sec, 80 secs
lola: 4551792 markings, 11283472 edges, 54533 markings/sec, 85 secs
lola: 4798724 markings, 11894548 edges, 49386 markings/sec, 90 secs
lola: 5052245 markings, 12524739 edges, 50704 markings/sec, 95 secs
lola: 5293245 markings, 13170707 edges, 48200 markings/sec, 100 secs
lola: 5539574 markings, 13849346 edges, 49266 markings/sec, 105 secs
lola: 5775028 markings, 14467543 edges, 47091 markings/sec, 110 secs
lola: 5965644 markings, 15180002 edges, 38123 markings/sec, 115 secs
lola: 6188895 markings, 15760723 edges, 44650 markings/sec, 120 secs
lola: 6427711 markings, 16379419 edges, 47763 markings/sec, 125 secs
lola: 6647524 markings, 16973715 edges, 43963 markings/sec, 130 secs
lola: 6869698 markings, 17561414 edges, 44435 markings/sec, 135 secs
lola: 7111258 markings, 18205988 edges, 48312 markings/sec, 140 secs
lola: 7354820 markings, 18861777 edges, 48712 markings/sec, 145 secs
lola: 7584900 markings, 19499307 edges, 46016 markings/sec, 150 secs
lola: 7805704 markings, 20156142 edges, 44161 markings/sec, 155 secs
lola: 8029123 markings, 20863763 edges, 44684 markings/sec, 160 secs
lola: 8244979 markings, 21598267 edges, 43171 markings/sec, 165 secs
lola: 8455025 markings, 22229341 edges, 42009 markings/sec, 170 secs
lola: 8645914 markings, 22953944 edges, 38178 markings/sec, 175 secs
lola: 8889906 markings, 23538094 edges, 48798 markings/sec, 180 secs
lola: 9123750 markings, 24110409 edges, 46769 markings/sec, 185 secs
lola: 9376887 markings, 24709332 edges, 50627 markings/sec, 190 secs
lola: 9631624 markings, 25309433 edges, 50947 markings/sec, 195 secs
lola: 9883308 markings, 25907898 edges, 50337 markings/sec, 200 secs
lola: 10105619 markings, 26495010 edges, 44462 markings/sec, 205 secs
lola: 10324644 markings, 27084400 edges, 43805 markings/sec, 210 secs
lola: 10545807 markings, 27725703 edges, 44233 markings/sec, 215 secs
lola: 10739053 markings, 28312855 edges, 38649 markings/sec, 220 secs
lola: 10935170 markings, 28846021 edges, 39223 markings/sec, 225 secs
lola: 11100647 markings, 29548874 edges, 33095 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p757)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 243234 markings, 551718 edges, 48647 markings/sec, 0 secs
lola: 494730 markings, 1144599 edges, 50299 markings/sec, 5 secs
lola: 758069 markings, 1771772 edges, 52668 markings/sec, 10 secs
lola: 1024203 markings, 2387331 edges, 53227 markings/sec, 15 secs
lola: 1294312 markings, 3017609 edges, 54022 markings/sec, 20 secs
lola: 1558119 markings, 3637994 edges, 52761 markings/sec, 25 secs
lola: 1803723 markings, 4267355 edges, 49121 markings/sec, 30 secs
lola: 2049333 markings, 4928346 edges, 49122 markings/sec, 35 secs
lola: 2285978 markings, 5625912 edges, 47329 markings/sec, 40 secs
lola: 2510160 markings, 6263882 edges, 44836 markings/sec, 45 secs
lola: 2708550 markings, 6993869 edges, 39678 markings/sec, 50 secs
lola: 2971297 markings, 7614148 edges, 52549 markings/sec, 55 secs
lola: 3225348 markings, 8223387 edges, 50810 markings/sec, 60 secs
lola: 3474017 markings, 8831517 edges, 49734 markings/sec, 65 secs
lola: 3741822 markings, 9436109 edges, 53561 markings/sec, 70 secs
lola: 4016693 markings, 10060038 edges, 54974 markings/sec, 75 secs
lola: 4292427 markings, 10685908 edges, 55147 markings/sec, 80 secs
lola: 4559214 markings, 11300211 edges, 53357 markings/sec, 85 secs
lola: 4810483 markings, 11923696 edges, 50254 markings/sec, 90 secs
lola: 5066805 markings, 12560560 edges, 51264 markings/sec, 95 secs
lola: 5314796 markings, 13220173 edges, 49598 markings/sec, 100 secs
lola: 5558921 markings, 13903663 edges, 48825 markings/sec, 105 secs
lola: 5789023 markings, 14501885 edges, 46020 markings/sec, 110 secs
lola: 5975763 markings, 15213100 edges, 37348 markings/sec, 115 secs
lola: 6214100 markings, 15823168 edges, 47667 markings/sec, 120 secs
lola: 6448933 markings, 16435944 edges, 46967 markings/sec, 125 secs
lola: 6671405 markings, 17054636 edges, 44494 markings/sec, 130 secs
lola: 6907262 markings, 17662604 edges, 47171 markings/sec, 135 secs
lola: 7149591 markings, 18315322 edges, 48466 markings/sec, 140 secs
lola: 7395462 markings, 18961217 edges, 49174 markings/sec, 145 secs
lola: 7620631 markings, 19611199 edges, 45034 markings/sec, 150 secs
lola: 7845478 markings, 20276501 edges, 44969 markings/sec, 155 secs
lola: 8066597 markings, 20986528 edges, 44224 markings/sec, 160 secs
lola: 8284908 markings, 21715945 edges, 43662 markings/sec, 165 secs
lola: 8478124 markings, 22350690 edges, 38643 markings/sec, 170 secs
lola: 8687617 markings, 23054159 edges, 41899 markings/sec, 175 secs
lola: 8940013 markings, 23657464 edges, 50479 markings/sec, 180 secs
lola: 9148563 markings, 24156578 edges, 41710 markings/sec, 185 secs
lola: 9413001 markings, 24774103 edges, 52888 markings/sec, 190 secs
lola: 9674135 markings, 25390957 edges, 52227 markings/sec, 195 secs
lola: 9912556 markings, 25995833 edges, 47684 markings/sec, 200 secs
lola: 10151550 markings, 26619560 edges, 47799 markings/sec, 205 secs
lola: 10387019 markings, 27292794 edges, 47094 markings/sec, 210 secs
lola: 10612631 markings, 27964323 edges, 45122 markings/sec, 215 secs
lola: 10788257 markings, 28691552 edges, 35125 markings/sec, 220 secs
lola: 11040487 markings, 29297479 edges, 50446 markings/sec, 225 secs
lola: 11288929 markings, 29913990 edges, 49688 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 272584 markings, 608989 edges, 54517 markings/sec, 0 secs
lola: 536001 markings, 1226363 edges, 52683 markings/sec, 5 secs
lola: 777673 markings, 1831419 edges, 48334 markings/sec, 10 secs
lola: 1039813 markings, 2425911 edges, 52428 markings/sec, 15 secs
lola: 1306736 markings, 3052492 edges, 53385 markings/sec, 20 secs
lola: 1573589 markings, 3669586 edges, 53371 markings/sec, 25 secs
lola: 1817530 markings, 4301295 edges, 48788 markings/sec, 30 secs
lola: 2062221 markings, 4961720 edges, 48938 markings/sec, 35 secs
lola: 2293193 markings, 5642593 edges, 46194 markings/sec, 40 secs
lola: 2510282 markings, 6264476 edges, 43418 markings/sec, 45 secs
lola: 2695434 markings, 6968705 edges, 37030 markings/sec, 50 secs
lola: 2936415 markings, 7546612 edges, 48196 markings/sec, 55 secs
lola: 3199372 markings, 8162532 edges, 52591 markings/sec, 60 secs
lola: 3451614 markings, 8776203 edges, 50448 markings/sec, 65 secs
lola: 3700987 markings, 9344983 edges, 49875 markings/sec, 70 secs
lola: 3973621 markings, 9964095 edges, 54527 markings/sec, 75 secs
lola: 4245939 markings, 10591580 edges, 54464 markings/sec, 80 secs
lola: 4480319 markings, 11120258 edges, 46876 markings/sec, 85 secs
lola: 4730785 markings, 11724084 edges, 50093 markings/sec, 90 secs
lola: 4986085 markings, 12358584 edges, 51060 markings/sec, 95 secs
lola: 5237330 markings, 13013998 edges, 50249 markings/sec, 100 secs
lola: 5475972 markings, 13666902 edges, 47728 markings/sec, 105 secs
lola: 5713919 markings, 14281307 edges, 47589 markings/sec, 110 secs
lola: 5895385 markings, 14999700 edges, 36293 markings/sec, 115 secs
lola: 6111097 markings, 15549333 edges, 43142 markings/sec, 120 secs
lola: 6342594 markings, 16168828 edges, 46299 markings/sec, 125 secs
lola: 6578801 markings, 16793198 edges, 47241 markings/sec, 130 secs
lola: 6798654 markings, 17376396 edges, 43971 markings/sec, 135 secs
lola: 7036787 markings, 18008154 edges, 47627 markings/sec, 140 secs
lola: 7277724 markings, 18646490 edges, 48187 markings/sec, 145 secs
lola: 7514612 markings, 19291306 edges, 47378 markings/sec, 150 secs
lola: 7742124 markings, 19967697 edges, 45502 markings/sec, 155 secs
lola: 7968642 markings, 20668206 edges, 45304 markings/sec, 160 secs
lola: 8181185 markings, 21371697 edges, 42509 markings/sec, 165 secs
lola: 8388549 markings, 22021845 edges, 41473 markings/sec, 170 secs
lola: 8558411 markings, 22756856 edges, 33972 markings/sec, 175 secs
lola: 8803362 markings, 23325433 edges, 48990 markings/sec, 180 secs
lola: 9040286 markings, 23907924 edges, 47385 markings/sec, 185 secs
lola: 9279966 markings, 24475882 edges, 47936 markings/sec, 190 secs
lola: 9525349 markings, 25057880 edges, 49077 markings/sec, 195 secs
lola: 9776134 markings, 25648408 edges, 50157 markings/sec, 200 secs
lola: 10006111 markings, 26230022 edges, 45995 markings/sec, 205 secs
lola: 10232533 markings, 26832676 edges, 45284 markings/sec, 210 secs
lola: 10455271 markings, 27453529 edges, 44548 markings/sec, 215 secs
lola: 10656896 markings, 28059255 edges, 40325 markings/sec, 220 secs
lola: 10850699 markings, 28595029 edges, 38761 markings/sec, 225 secs
lola: 10995610 markings, 29188073 edges, 28982 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p489)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 316482 markings, 713856 edges, 63296 markings/sec, 0 secs
lola: 614340 markings, 1425664 edges, 59572 markings/sec, 5 secs
lola: 900310 markings, 2104561 edges, 57194 markings/sec, 10 secs
lola: 1197361 markings, 2795599 edges, 59410 markings/sec, 15 secs
lola: 1499223 markings, 3491105 edges, 60372 markings/sec, 20 secs
lola: 1773430 markings, 4187053 edges, 54841 markings/sec, 25 secs
lola: 2044941 markings, 4917507 edges, 54302 markings/sec, 30 secs
lola: 2310876 markings, 5699553 edges, 53187 markings/sec, 35 secs
lola: 2567914 markings, 6406064 edges, 51408 markings/sec, 40 secs
lola: 2814530 markings, 7233533 edges, 49323 markings/sec, 45 secs
lola: 3125801 markings, 7986043 edges, 62254 markings/sec, 50 secs
lola: 3441823 markings, 8755109 edges, 63204 markings/sec, 55 secs
lola: 3768968 markings, 9498663 edges, 65429 markings/sec, 60 secs
lola: 4109863 markings, 10274233 edges, 68179 markings/sec, 65 secs
lola: 4453019 markings, 11059587 edges, 68631 markings/sec, 70 secs
lola: 4769189 markings, 11820879 edges, 63234 markings/sec, 75 secs
lola: 5086141 markings, 12612690 edges, 63390 markings/sec, 80 secs
lola: 5396167 markings, 13436723 edges, 62005 markings/sec, 85 secs
lola: 5697777 markings, 14241444 edges, 60322 markings/sec, 90 secs
lola: 5918675 markings, 15061483 edges, 44180 markings/sec, 95 secs
lola: 6192710 markings, 15778459 edges, 54807 markings/sec, 100 secs
lola: 6470792 markings, 16497364 edges, 55616 markings/sec, 105 secs
lola: 6725999 markings, 17186449 edges, 51041 markings/sec, 110 secs
lola: 6990333 markings, 17895237 edges, 52867 markings/sec, 115 secs
lola: 7258465 markings, 18601402 edges, 53626 markings/sec, 120 secs
lola: 7516145 markings, 19294967 edges, 51536 markings/sec, 125 secs
lola: 7762176 markings, 20028485 edges, 49206 markings/sec, 130 secs
lola: 8009179 markings, 20798225 edges, 49401 markings/sec, 135 secs
lola: 8250874 markings, 21613316 edges, 48339 markings/sec, 140 secs
lola: 8474800 markings, 22313881 edges, 44785 markings/sec, 145 secs
lola: 8707710 markings, 23102349 edges, 46582 markings/sec, 150 secs
lola: 9002873 markings, 23808280 edges, 59033 markings/sec, 155 secs
lola: 9285696 markings, 24475185 edges, 56565 markings/sec, 160 secs
lola: 9574192 markings, 25154190 edges, 57699 markings/sec, 165 secs
lola: 9851430 markings, 25832404 edges, 55448 markings/sec, 170 secs
lola: 10116551 markings, 26526475 edges, 53024 markings/sec, 175 secs
lola: 10375687 markings, 27263145 edges, 51827 markings/sec, 180 secs
lola: 10631946 markings, 28007748 edges, 51252 markings/sec, 185 secs
lola: 10828294 markings, 28786499 edges, 39270 markings/sec, 190 secs
lola: 11143175 markings, 29537662 edges, 62976 markings/sec, 195 secs
lola: 11441962 markings, 30267391 edges, 59757 markings/sec, 200 secs
lola: 11756376 markings, 30982355 edges, 62883 markings/sec, 205 secs
lola: 12071582 markings, 31702727 edges, 63041 markings/sec, 210 secs
lola: 12379585 markings, 32420387 edges, 61601 markings/sec, 215 secs
lola: 12666964 markings, 33123600 edges, 57476 markings/sec, 220 secs
lola: 12965723 markings, 33875741 edges, 59752 markings/sec, 225 secs
lola: 13257308 markings, 34667672 edges, 58317 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p467)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 269578 markings, 602327 edges, 53916 markings/sec, 0 secs
lola: 525851 markings, 1203607 edges, 51255 markings/sec, 5 secs
lola: 769877 markings, 1806700 edges, 48805 markings/sec, 10 secs
lola: 1030087 markings, 2402421 edges, 52042 markings/sec, 15 secs
lola: 1299780 markings, 3030495 edges, 53939 markings/sec, 20 secs
lola: 1562179 markings, 3645778 edges, 52480 markings/sec, 25 secs
lola: 1802860 markings, 4265369 edges, 48136 markings/sec, 30 secs
lola: 2043073 markings, 4914972 edges, 48043 markings/sec, 35 secs
lola: 2278330 markings, 5598411 edges, 47051 markings/sec, 40 secs
lola: 2500489 markings, 6238312 edges, 44432 markings/sec, 45 secs
lola: 2686227 markings, 6951128 edges, 37148 markings/sec, 50 secs
lola: 2936825 markings, 7547201 edges, 50120 markings/sec, 55 secs
lola: 3198051 markings, 8159608 edges, 52245 markings/sec, 60 secs
lola: 3434145 markings, 8739414 edges, 47219 markings/sec, 65 secs
lola: 3679497 markings, 9294198 edges, 49070 markings/sec, 70 secs
lola: 3955556 markings, 9921238 edges, 55212 markings/sec, 75 secs
lola: 4230446 markings, 10546242 edges, 54978 markings/sec, 80 secs
lola: 4497407 markings, 11168985 edges, 53392 markings/sec, 85 secs
lola: 4738030 markings, 11749405 edges, 48125 markings/sec, 90 secs
lola: 4938974 markings, 12243327 edges, 40189 markings/sec, 95 secs
lola: 5191665 markings, 12895858 edges, 50538 markings/sec, 100 secs
lola: 5442236 markings, 13571094 edges, 50114 markings/sec, 105 secs
lola: 5686410 markings, 14216754 edges, 48835 markings/sec, 110 secs
lola: 5872073 markings, 14702855 edges, 37133 markings/sec, 115 secs
lola: 6055398 markings, 15403809 edges, 36665 markings/sec, 120 secs
lola: 6284511 markings, 16003189 edges, 45823 markings/sec, 125 secs
lola: 6515958 markings, 16633688 edges, 46289 markings/sec, 130 secs
lola: 6725870 markings, 17188028 edges, 41982 markings/sec, 135 secs
lola: 6967053 markings, 17820744 edges, 48237 markings/sec, 140 secs
lola: 7210859 markings, 18473250 edges, 48761 markings/sec, 145 secs
lola: 7452863 markings, 19123272 edges, 48401 markings/sec, 150 secs
lola: 7627537 markings, 19631540 edges, 34935 markings/sec, 155 secs
lola: 7845035 markings, 20273892 edges, 43500 markings/sec, 160 secs
lola: 8063226 markings, 20976551 edges, 43638 markings/sec, 165 secs
lola: 8273813 markings, 21692576 edges, 42117 markings/sec, 170 secs
lola: 8441005 markings, 22187564 edges, 33438 markings/sec, 175 secs
lola: 8627698 markings, 22901627 edges, 37339 markings/sec, 180 secs
lola: 8869282 markings, 23484218 edges, 48317 markings/sec, 185 secs
lola: 9102058 markings, 24060003 edges, 46555 markings/sec, 190 secs
lola: 9355403 markings, 24656524 edges, 50669 markings/sec, 195 secs
lola: 9613649 markings, 25263976 edges, 51649 markings/sec, 200 secs
lola: 9866659 markings, 25870987 edges, 50602 markings/sec, 205 secs
lola: 10099537 markings, 26478494 edges, 46576 markings/sec, 210 secs
lola: 10333112 markings, 27103701 edges, 46715 markings/sec, 215 secs
lola: 10561151 markings, 27763896 edges, 45608 markings/sec, 220 secs
lola: 10772793 markings, 28412334 edges, 42328 markings/sec, 225 secs
lola: 10976670 markings, 28953559 edges, 40775 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p911)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 116 bytes per marking, with 18 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: 305564 markings, 692308 edges, 61113 markings/sec, 0 secs
lola: 604060 markings, 1391022 edges, 59699 markings/sec, 5 secs
lola: 890375 markings, 2085643 edges, 57263 markings/sec, 10 secs
lola: 1180037 markings, 2746057 edges, 57932 markings/sec, 15 secs
lola: 1488626 markings, 3462628 edges, 61718 markings/sec, 20 secs
lola: 1769719 markings, 4176068 edges, 56219 markings/sec, 25 secs
lola: 2045196 markings, 4916931 edges, 55095 markings/sec, 30 secs
lola: 2302283 markings, 5670152 edges, 51417 markings/sec, 35 secs
lola: 2566100 markings, 6397213 edges, 52763 markings/sec, 40 secs
lola: 2818502 markings, 7239569 edges, 50480 markings/sec, 45 secs
lola: 3132906 markings, 8001013 edges, 62881 markings/sec, 50 secs
lola: 3435605 markings, 8740098 edges, 60540 markings/sec, 55 secs
lola: 3751065 markings, 9453361 edges, 63092 markings/sec, 60 secs
lola: 4102946 markings, 10255165 edges, 70376 markings/sec, 65 secs
lola: 4454711 markings, 11061105 edges, 70353 markings/sec, 70 secs
lola: 4759667 markings, 11793803 edges, 60991 markings/sec, 75 secs
lola: 5079497 markings, 12596533 edges, 63966 markings/sec, 80 secs
lola: 5401809 markings, 13453131 edges, 64462 markings/sec, 85 secs
lola: 5713720 markings, 14277356 edges, 62382 markings/sec, 90 secs
lola: 5946426 markings, 15121725 edges, 46541 markings/sec, 95 secs
lola: 6217663 markings, 15827901 edges, 54247 markings/sec, 100 secs
lola: 6491619 markings, 16547530 edges, 54791 markings/sec, 105 secs
lola: 6728044 markings, 17188405 edges, 47285 markings/sec, 110 secs
lola: 6984315 markings, 17864461 edges, 51254 markings/sec, 115 secs
lola: 7256652 markings, 18595100 edges, 54467 markings/sec, 120 secs
lola: 7523531 markings, 19312296 edges, 53376 markings/sec, 125 secs
lola: 7767131 markings, 20037927 edges, 48720 markings/sec, 130 secs
lola: 8008980 markings, 20794037 edges, 48370 markings/sec, 135 secs
lola: 8254075 markings, 21618467 edges, 49019 markings/sec, 140 secs
lola: 8480653 markings, 22360438 edges, 45316 markings/sec, 145 secs
lola: 8725122 markings, 23135991 edges, 48894 markings/sec, 150 secs
lola: 9008568 markings, 23820113 edges, 56689 markings/sec, 155 secs
lola: 9283337 markings, 24467683 edges, 54954 markings/sec, 160 secs
lola: 9574631 markings, 25152298 edges, 58259 markings/sec, 165 secs
lola: 9857987 markings, 25843313 edges, 56671 markings/sec, 170 secs
lola: 10107586 markings, 26503972 edges, 49920 markings/sec, 175 secs
lola: 10367862 markings, 27232489 edges, 52055 markings/sec, 180 secs
lola: 10611226 markings, 27956752 edges, 48673 markings/sec, 185 secs
lola: 10807252 markings, 28736664 edges, 39205 markings/sec, 190 secs
lola: 11106555 markings, 29458712 edges, 59861 markings/sec, 195 secs
lola: 11411113 markings, 30191704 edges, 60912 markings/sec, 200 secs
lola: 11726072 markings, 30905947 edges, 62992 markings/sec, 205 secs
lola: 12058965 markings, 31668564 edges, 66579 markings/sec, 210 secs
lola: 12384265 markings, 32432804 edges, 65060 markings/sec, 215 secs
lola: 12690546 markings, 33176512 edges, 61256 markings/sec, 220 secs
lola: 12994786 markings, 33957421 edges, 60848 markings/sec, 225 secs
lola: 13291759 markings, 34763325 edges, 59395 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 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA FlexibleBarrier-PT-08b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496485425467

--------------------
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="FlexibleBarrier-PT-08b"
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/FlexibleBarrier-PT-08b.tgz
mv FlexibleBarrier-PT-08b 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 FlexibleBarrier-PT-08b, 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 r188-blw3-149581034100047"
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 ;