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 '
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 ;