About the Execution of LoLA for S_DES-PT-00b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3372.160 | 3539423.00 | 3556754.00 | 535.40 | ? ? ? ? ? ? ? ? ? 1 ? ? 1 ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...........................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_DES-PT-00b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455600236
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-00b-UpperBounds-0
FORMULA_NAME DES-PT-00b-UpperBounds-1
FORMULA_NAME DES-PT-00b-UpperBounds-10
FORMULA_NAME DES-PT-00b-UpperBounds-11
FORMULA_NAME DES-PT-00b-UpperBounds-12
FORMULA_NAME DES-PT-00b-UpperBounds-13
FORMULA_NAME DES-PT-00b-UpperBounds-14
FORMULA_NAME DES-PT-00b-UpperBounds-15
FORMULA_NAME DES-PT-00b-UpperBounds-2
FORMULA_NAME DES-PT-00b-UpperBounds-3
FORMULA_NAME DES-PT-00b-UpperBounds-4
FORMULA_NAME DES-PT-00b-UpperBounds-5
FORMULA_NAME DES-PT-00b-UpperBounds-6
FORMULA_NAME DES-PT-00b-UpperBounds-7
FORMULA_NAME DES-PT-00b-UpperBounds-8
FORMULA_NAME DES-PT-00b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496450438917
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-00b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-00b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-00b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 501/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 271 places, 230 transitions, 212 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 319 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-00b-UpperBounds.task
lola: MAX(p269) : MAX(p223) : MAX(p130) : MAX(p0) : MAX(p264) : MAX(p269) : MAX(p119) : MAX(p132) : MAX(p72) : MAX(p34) : MAX(p229) : MAX(p159) : MAX(p244) : MAX(p131) : MAX(p32) : MAX(p174)
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(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 719547 markings, 1269685 edges, 143909 markings/sec, 0 secs
lola: 1406216 markings, 2472693 edges, 137334 markings/sec, 5 secs
lola: 2112137 markings, 3730054 edges, 141184 markings/sec, 10 secs
lola: 2863383 markings, 4953159 edges, 150249 markings/sec, 15 secs
lola: 3488888 markings, 6250407 edges, 125101 markings/sec, 20 secs
lola: 4141548 markings, 7455134 edges, 130532 markings/sec, 25 secs
lola: 4708190 markings, 8683255 edges, 113328 markings/sec, 30 secs
lola: 5395721 markings, 9834817 edges, 137506 markings/sec, 35 secs
lola: 6033774 markings, 11094322 edges, 127611 markings/sec, 40 secs
lola: 6679694 markings, 12354868 edges, 129184 markings/sec, 45 secs
lola: 7298645 markings, 13600164 edges, 123790 markings/sec, 50 secs
lola: 7946476 markings, 14835299 edges, 129566 markings/sec, 55 secs
lola: 8592233 markings, 16088492 edges, 129151 markings/sec, 60 secs
lola: 9429889 markings, 17106423 edges, 167531 markings/sec, 65 secs
lola: 9850947 markings, 18595054 edges, 84212 markings/sec, 70 secs
lola: 10487819 markings, 19784394 edges, 127374 markings/sec, 75 secs
lola: 11238039 markings, 20809219 edges, 150044 markings/sec, 80 secs
lola: 11747447 markings, 22147030 edges, 101882 markings/sec, 85 secs
lola: 12399869 markings, 23259525 edges, 130484 markings/sec, 90 secs
lola: 12995370 markings, 24497393 edges, 119100 markings/sec, 95 secs
lola: 13743318 markings, 25501154 edges, 149590 markings/sec, 100 secs
lola: 14347386 markings, 26668156 edges, 120814 markings/sec, 105 secs
lola: 14702653 markings, 28103508 edges, 71053 markings/sec, 110 secs
lola: 15339731 markings, 29301629 edges, 127416 markings/sec, 115 secs
lola: 16047497 markings, 30450384 edges, 141553 markings/sec, 120 secs
lola: 16574949 markings, 31791905 edges, 105490 markings/sec, 125 secs
lola: 17155005 markings, 32977658 edges, 116011 markings/sec, 130 secs
lola: 17843015 markings, 34062149 edges, 137602 markings/sec, 135 secs
lola: 18318211 markings, 35363606 edges, 95039 markings/sec, 140 secs
lola: 19052069 markings, 36380665 edges, 146772 markings/sec, 145 secs
lola: 19448011 markings, 37685981 edges, 79188 markings/sec, 150 secs
lola: 20304350 markings, 38618020 edges, 171268 markings/sec, 155 secs
lola: 21028238 markings, 39611099 edges, 144778 markings/sec, 160 secs
lola: 21374380 markings, 41010882 edges, 69228 markings/sec, 165 secs
lola: 21813568 markings, 42337332 edges, 87838 markings/sec, 170 secs
lola: 22633667 markings, 43471424 edges, 164020 markings/sec, 175 secs
lola: 23180035 markings, 44618345 edges, 109274 markings/sec, 180 secs
lola: 23912272 markings, 45715781 edges, 146447 markings/sec, 185 secs
lola: 24420621 markings, 47021494 edges, 101670 markings/sec, 190 secs
lola: 25075426 markings, 48242050 edges, 130961 markings/sec, 195 secs
lola: 25716235 markings, 49472804 edges, 128162 markings/sec, 200 secs
lola: 26294344 markings, 50674546 edges, 115622 markings/sec, 205 secs
lola: 26932906 markings, 51891149 edges, 127712 markings/sec, 210 secs
lola: 27519973 markings, 53049750 edges, 117413 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(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 744760 markings, 1416238 edges, 148952 markings/sec, 0 secs
lola: 1357388 markings, 2689999 edges, 122526 markings/sec, 5 secs
lola: 1907740 markings, 3910501 edges, 110070 markings/sec, 10 secs
lola: 2414265 markings, 5171980 edges, 101305 markings/sec, 15 secs
lola: 2938072 markings, 6450690 edges, 104761 markings/sec, 20 secs
lola: 3457103 markings, 7720829 edges, 103806 markings/sec, 25 secs
lola: 4001505 markings, 8969852 edges, 108880 markings/sec, 30 secs
lola: 4711883 markings, 10349332 edges, 142076 markings/sec, 35 secs
lola: 5256227 markings, 11619260 edges, 108869 markings/sec, 40 secs
lola: 5763779 markings, 12851924 edges, 101510 markings/sec, 45 secs
lola: 6112724 markings, 14274326 edges, 69789 markings/sec, 50 secs
lola: 6555326 markings, 15691650 edges, 88520 markings/sec, 55 secs
lola: 7217946 markings, 17069237 edges, 132524 markings/sec, 60 secs
lola: 7884885 markings, 18436651 edges, 133388 markings/sec, 65 secs
lola: 8493380 markings, 19810600 edges, 121699 markings/sec, 70 secs
lola: 9060431 markings, 21221380 edges, 113410 markings/sec, 75 secs
lola: 9682063 markings, 22593885 edges, 124326 markings/sec, 80 secs
lola: 10335416 markings, 23851820 edges, 130671 markings/sec, 85 secs
lola: 10980309 markings, 25203003 edges, 128979 markings/sec, 90 secs
lola: 11602236 markings, 26567289 edges, 124385 markings/sec, 95 secs
lola: 12289797 markings, 27801190 edges, 137512 markings/sec, 100 secs
lola: 13122265 markings, 29080591 edges, 166494 markings/sec, 105 secs
lola: 13983563 markings, 30461645 edges, 172260 markings/sec, 110 secs
lola: 14713827 markings, 31765738 edges, 146053 markings/sec, 115 secs
lola: 15383975 markings, 33025442 edges, 134030 markings/sec, 120 secs
lola: 15957692 markings, 34338366 edges, 114743 markings/sec, 125 secs
lola: 16555772 markings, 35672366 edges, 119616 markings/sec, 130 secs
lola: 17167028 markings, 36917443 edges, 122251 markings/sec, 135 secs
lola: 17828026 markings, 38269596 edges, 132200 markings/sec, 140 secs
lola: 18482722 markings, 39597310 edges, 130939 markings/sec, 145 secs
lola: 19075304 markings, 40870284 edges, 118516 markings/sec, 150 secs
lola: 19670045 markings, 42071891 edges, 118948 markings/sec, 155 secs
lola: 20272083 markings, 43297599 edges, 120408 markings/sec, 160 secs
lola: 20865088 markings, 44498110 edges, 118601 markings/sec, 165 secs
lola: 21458799 markings, 45853550 edges, 118742 markings/sec, 170 secs
lola: 22178208 markings, 47226915 edges, 143882 markings/sec, 175 secs
lola: 23143430 markings, 48516430 edges, 193044 markings/sec, 180 secs
lola: 24094761 markings, 49793480 edges, 190266 markings/sec, 185 secs
lola: 24881318 markings, 50966185 edges, 157311 markings/sec, 190 secs
lola: 25544856 markings, 52288848 edges, 132708 markings/sec, 195 secs
lola: 26199826 markings, 53505597 edges, 130994 markings/sec, 200 secs
lola: 26860198 markings, 54813290 edges, 132074 markings/sec, 205 secs
lola: 27930390 markings, 56118508 edges, 214038 markings/sec, 210 secs
lola: 28968986 markings, 57391720 edges, 207719 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 834268 markings, 1365635 edges, 166854 markings/sec, 0 secs
lola: 1658324 markings, 2686724 edges, 164811 markings/sec, 5 secs
lola: 2496899 markings, 4035942 edges, 167715 markings/sec, 10 secs
lola: 3323972 markings, 5458430 edges, 165415 markings/sec, 15 secs
lola: 4126715 markings, 6748608 edges, 160549 markings/sec, 20 secs
lola: 4927211 markings, 8096367 edges, 160099 markings/sec, 25 secs
lola: 5692291 markings, 9337783 edges, 153016 markings/sec, 30 secs
lola: 6494472 markings, 10636347 edges, 160436 markings/sec, 35 secs
lola: 7232795 markings, 11829989 edges, 147665 markings/sec, 40 secs
lola: 7929612 markings, 13070782 edges, 139363 markings/sec, 45 secs
lola: 8677368 markings, 14346104 edges, 149551 markings/sec, 50 secs
lola: 9423527 markings, 15621827 edges, 149232 markings/sec, 55 secs
lola: 10122860 markings, 16885216 edges, 139867 markings/sec, 60 secs
lola: 10840517 markings, 18079949 edges, 143531 markings/sec, 65 secs
lola: 11562983 markings, 19288231 edges, 144493 markings/sec, 70 secs
lola: 12264092 markings, 20540702 edges, 140222 markings/sec, 75 secs
lola: 12859650 markings, 21972744 edges, 119112 markings/sec, 80 secs
lola: 13431900 markings, 23425333 edges, 114450 markings/sec, 85 secs
lola: 13982252 markings, 24821389 edges, 110070 markings/sec, 90 secs
lola: 14480899 markings, 26452762 edges, 99729 markings/sec, 95 secs
lola: 15019296 markings, 27870300 edges, 107679 markings/sec, 100 secs
lola: 15563087 markings, 29314366 edges, 108758 markings/sec, 105 secs
lola: 16094254 markings, 30753695 edges, 106233 markings/sec, 110 secs
lola: 16615577 markings, 32151770 edges, 104265 markings/sec, 115 secs
lola: 17049407 markings, 33837895 edges, 86766 markings/sec, 120 secs
lola: 17589660 markings, 35210215 edges, 108051 markings/sec, 125 secs
lola: 18112206 markings, 36539926 edges, 104509 markings/sec, 130 secs
lola: 18640603 markings, 37890756 edges, 105679 markings/sec, 135 secs
lola: 19158971 markings, 39208077 edges, 103674 markings/sec, 140 secs
lola: 19656017 markings, 40526726 edges, 99409 markings/sec, 145 secs
lola: 20123912 markings, 42104330 edges, 93579 markings/sec, 150 secs
lola: 20639843 markings, 43485901 edges, 103186 markings/sec, 155 secs
lola: 21137401 markings, 44837796 edges, 99512 markings/sec, 160 secs
lola: 21630809 markings, 46217028 edges, 98682 markings/sec, 165 secs
lola: 22169196 markings, 47559831 edges, 107677 markings/sec, 170 secs
lola: 22653188 markings, 48977769 edges, 96798 markings/sec, 175 secs
lola: 23168551 markings, 50286647 edges, 103073 markings/sec, 180 secs
lola: 23641034 markings, 51663252 edges, 94497 markings/sec, 185 secs
lola: 24152343 markings, 52947037 edges, 102262 markings/sec, 190 secs
lola: 24562369 markings, 54453873 edges, 82005 markings/sec, 195 secs
lola: 24985189 markings, 56120709 edges, 84564 markings/sec, 200 secs
lola: 25786012 markings, 57460890 edges, 160165 markings/sec, 205 secs
lola: 26573241 markings, 58746701 edges, 157446 markings/sec, 210 secs
lola: 27388358 markings, 60080438 edges, 163023 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 763872 markings, 1314008 edges, 152774 markings/sec, 0 secs
lola: 1499563 markings, 2571367 edges, 147138 markings/sec, 5 secs
lola: 2227062 markings, 3858914 edges, 145500 markings/sec, 10 secs
lola: 2972531 markings, 5096720 edges, 149094 markings/sec, 15 secs
lola: 3573742 markings, 6436928 edges, 120242 markings/sec, 20 secs
lola: 4238404 markings, 7651298 edges, 132932 markings/sec, 25 secs
lola: 4820716 markings, 8917265 edges, 116462 markings/sec, 30 secs
lola: 5559655 markings, 10038031 edges, 147788 markings/sec, 35 secs
lola: 6210895 markings, 11276292 edges, 130248 markings/sec, 40 secs
lola: 6842528 markings, 12548007 edges, 126327 markings/sec, 45 secs
lola: 7441914 markings, 13826021 edges, 119877 markings/sec, 50 secs
lola: 8139285 markings, 15034410 edges, 139474 markings/sec, 55 secs
lola: 8797820 markings, 16324626 edges, 131707 markings/sec, 60 secs
lola: 9538786 markings, 17411775 edges, 148193 markings/sec, 65 secs
lola: 10025785 markings, 18772508 edges, 97400 markings/sec, 70 secs
lola: 10671296 markings, 19970865 edges, 129102 markings/sec, 75 secs
lola: 11315219 markings, 21121601 edges, 128785 markings/sec, 80 secs
lola: 11931806 markings, 22336477 edges, 123317 markings/sec, 85 secs
lola: 12476525 markings, 23569953 edges, 108944 markings/sec, 90 secs
lola: 13187436 markings, 24694781 edges, 142182 markings/sec, 95 secs
lola: 13940336 markings, 25703652 edges, 150580 markings/sec, 100 secs
lola: 14421761 markings, 26969204 edges, 96285 markings/sec, 105 secs
lola: 14766876 markings, 28362177 edges, 69023 markings/sec, 110 secs
lola: 15410855 markings, 29589232 edges, 128796 markings/sec, 115 secs
lola: 16173596 markings, 30645942 edges, 152548 markings/sec, 120 secs
lola: 16633304 markings, 32027022 edges, 91942 markings/sec, 125 secs
lola: 17215561 markings, 33221317 edges, 116451 markings/sec, 130 secs
lola: 17990029 markings, 34209283 edges, 154894 markings/sec, 135 secs
lola: 18396106 markings, 35586185 edges, 81215 markings/sec, 140 secs
lola: 19168700 markings, 36557542 edges, 154519 markings/sec, 145 secs
lola: 19595759 markings, 37885928 edges, 85412 markings/sec, 150 secs
lola: 20453123 markings, 38770927 edges, 171473 markings/sec, 155 secs
lola: 21090732 markings, 39862805 edges, 127522 markings/sec, 160 secs
lola: 21431914 markings, 41243508 edges, 68236 markings/sec, 165 secs
lola: 21980325 markings, 42543326 edges, 109682 markings/sec, 170 secs
lola: 22743947 markings, 43697252 edges, 152724 markings/sec, 175 secs
lola: 23323568 markings, 44898541 edges, 115924 markings/sec, 180 secs
lola: 23989276 markings, 46031611 edges, 133142 markings/sec, 185 secs
lola: 24563273 markings, 47309629 edges, 114799 markings/sec, 190 secs
lola: 25245815 markings, 48533120 edges, 136508 markings/sec, 195 secs
lola: 25881792 markings, 49737601 edges, 127195 markings/sec, 200 secs
lola: 26436243 markings, 50968881 edges, 110890 markings/sec, 205 secs
lola: 27060413 markings, 52139795 edges, 124834 markings/sec, 210 secs
lola: 27621102 markings, 53280647 edges, 112138 markings/sec, 215 secs
lola: 28408329 markings, 54513970 edges, 157445 markings/sec, 220 secs
lola: 29012261 markings, 55660524 edges, 120786 markings/sec, 225 secs
lola: 29650454 markings, 56841317 edges, 127639 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 744492 markings, 1294629 edges, 148898 markings/sec, 0 secs
lola: 1453966 markings, 2523170 edges, 141895 markings/sec, 5 secs
lola: 2165197 markings, 3790254 edges, 142246 markings/sec, 10 secs
lola: 2909484 markings, 4999260 edges, 148857 markings/sec, 15 secs
lola: 3520854 markings, 6309542 edges, 122274 markings/sec, 20 secs
lola: 4163486 markings, 7501239 edges, 128526 markings/sec, 25 secs
lola: 4733281 markings, 8726864 edges, 113959 markings/sec, 30 secs
lola: 5421501 markings, 9864878 edges, 137644 markings/sec, 35 secs
lola: 6046693 markings, 11107590 edges, 125038 markings/sec, 40 secs
lola: 6683901 markings, 12359193 edges, 127442 markings/sec, 45 secs
lola: 7292265 markings, 13592848 edges, 121673 markings/sec, 50 secs
lola: 7922065 markings, 14807325 edges, 125960 markings/sec, 55 secs
lola: 8586434 markings, 16065256 edges, 132874 markings/sec, 60 secs
lola: 9407835 markings, 17083726 edges, 164280 markings/sec, 65 secs
lola: 9813993 markings, 18524370 edges, 81232 markings/sec, 70 secs
lola: 10431354 markings, 19725174 edges, 123472 markings/sec, 75 secs
lola: 11218013 markings, 20728713 edges, 157332 markings/sec, 80 secs
lola: 11698922 markings, 22097173 edges, 96182 markings/sec, 85 secs
lola: 12380238 markings, 23180012 edges, 136263 markings/sec, 90 secs
lola: 12945425 markings, 24446053 edges, 113037 markings/sec, 95 secs
lola: 13695066 markings, 25449026 edges, 149928 markings/sec, 100 secs
lola: 14325957 markings, 26581378 edges, 126178 markings/sec, 105 secs
lola: 14675280 markings, 27993260 edges, 69865 markings/sec, 110 secs
lola: 15309655 markings, 29179616 edges, 126875 markings/sec, 115 secs
lola: 16000289 markings, 30336292 edges, 138127 markings/sec, 120 secs
lola: 16536743 markings, 31637545 edges, 107291 markings/sec, 125 secs
lola: 17112858 markings, 32807092 edges, 115223 markings/sec, 130 secs
lola: 17779212 markings, 33921040 edges, 133271 markings/sec, 135 secs
lola: 18280291 markings, 35211896 edges, 100216 markings/sec, 140 secs
lola: 18964504 markings, 36290687 edges, 136843 markings/sec, 145 secs
lola: 19419162 markings, 37569784 edges, 90932 markings/sec, 150 secs
lola: 20236371 markings, 38548153 edges, 163442 markings/sec, 155 secs
lola: 20968826 markings, 39536016 edges, 146491 markings/sec, 160 secs
lola: 21335141 markings, 40852029 edges, 73263 markings/sec, 165 secs
lola: 21698791 markings, 42202612 edges, 72730 markings/sec, 170 secs
lola: 22573124 markings, 43363726 edges, 174867 markings/sec, 175 secs
lola: 23103113 markings, 44527442 edges, 105998 markings/sec, 180 secs
lola: 23870917 markings, 45558936 edges, 153561 markings/sec, 185 secs
lola: 24350245 markings, 46846769 edges, 95866 markings/sec, 190 secs
lola: 24984419 markings, 48072381 edges, 126835 markings/sec, 195 secs
lola: 25615816 markings, 49341175 edges, 126279 markings/sec, 200 secs
lola: 26244472 markings, 50490289 edges, 125731 markings/sec, 205 secs
lola: 26838980 markings, 51735760 edges, 118902 markings/sec, 210 secs
lola: 27397988 markings, 52915307 edges, 111802 markings/sec, 215 secs
lola: 28162102 markings, 54099145 edges, 152823 markings/sec, 220 secs
lola: 28799684 markings, 55256838 edges, 127516 markings/sec, 225 secs
lola: 29402468 markings, 56384747 edges, 120557 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 638301 markings, 1257689 edges, 127660 markings/sec, 0 secs
lola: 1411939 markings, 2612707 edges, 154728 markings/sec, 5 secs
lola: 2204470 markings, 3961146 edges, 158506 markings/sec, 10 secs
lola: 3019296 markings, 5316514 edges, 162965 markings/sec, 15 secs
lola: 3822420 markings, 6688788 edges, 160625 markings/sec, 20 secs
lola: 4520201 markings, 8044957 edges, 139556 markings/sec, 25 secs
lola: 5166439 markings, 9346901 edges, 129248 markings/sec, 30 secs
lola: 5925438 markings, 10631375 edges, 151800 markings/sec, 35 secs
lola: 6413168 markings, 11960701 edges, 97546 markings/sec, 40 secs
lola: 7052036 markings, 13253866 edges, 127774 markings/sec, 45 secs
lola: 7799705 markings, 14476201 edges, 149534 markings/sec, 50 secs
lola: 8520252 markings, 15701293 edges, 144109 markings/sec, 55 secs
lola: 9184684 markings, 16959469 edges, 132886 markings/sec, 60 secs
lola: 9900771 markings, 18317940 edges, 143217 markings/sec, 65 secs
lola: 10573234 markings, 19630258 edges, 134493 markings/sec, 70 secs
lola: 11095234 markings, 20858305 edges, 104400 markings/sec, 75 secs
lola: 11760032 markings, 22022521 edges, 132960 markings/sec, 80 secs
lola: 12548730 markings, 23334452 edges, 157740 markings/sec, 85 secs
lola: 13156769 markings, 24658061 edges, 121608 markings/sec, 90 secs
lola: 14093969 markings, 25951280 edges, 187440 markings/sec, 95 secs
lola: 15200953 markings, 27227287 edges, 221397 markings/sec, 100 secs
lola: 15981745 markings, 28458425 edges, 156158 markings/sec, 105 secs
lola: 16730959 markings, 29744416 edges, 149843 markings/sec, 110 secs
lola: 17424019 markings, 30969773 edges, 138612 markings/sec, 115 secs
lola: 18199086 markings, 32245450 edges, 155013 markings/sec, 120 secs
lola: 18916875 markings, 33463807 edges, 143558 markings/sec, 125 secs
lola: 19727062 markings, 34713163 edges, 162037 markings/sec, 130 secs
lola: 20462581 markings, 35921126 edges, 147104 markings/sec, 135 secs
lola: 21156540 markings, 37110873 edges, 138792 markings/sec, 140 secs
lola: 22260654 markings, 38402355 edges, 220823 markings/sec, 145 secs
lola: 23307688 markings, 39621570 edges, 209407 markings/sec, 150 secs
lola: 24364861 markings, 40876156 edges, 211435 markings/sec, 155 secs
lola: 25416714 markings, 42105481 edges, 210371 markings/sec, 160 secs
lola: 26122068 markings, 43331544 edges, 141071 markings/sec, 165 secs
lola: 26576720 markings, 44640463 edges, 90930 markings/sec, 170 secs
lola: 27294863 markings, 45948061 edges, 143629 markings/sec, 175 secs
lola: 28352311 markings, 47230612 edges, 211490 markings/sec, 180 secs
lola: 29395129 markings, 48466635 edges, 208564 markings/sec, 185 secs
lola: 30414431 markings, 49664725 edges, 203860 markings/sec, 190 secs
lola: 31408306 markings, 50833077 edges, 198775 markings/sec, 195 secs
lola: 32124445 markings, 52124854 edges, 143228 markings/sec, 200 secs
lola: 32882863 markings, 53257924 edges, 151684 markings/sec, 205 secs
lola: 33823798 markings, 54339780 edges, 188187 markings/sec, 210 secs
lola: 34755684 markings, 55416682 edges, 186377 markings/sec, 215 secs
lola: 35714512 markings, 56518714 edges, 191766 markings/sec, 220 secs
lola: 36539999 markings, 57734072 edges, 165097 markings/sec, 225 secs
lola: 37128388 markings, 59020925 edges, 117678 markings/sec, 230 secs
lola: 37847466 markings, 60256667 edges, 143816 markings/sec, 235 secs
lola: 38692128 markings, 61509280 edges, 168932 markings/sec, 240 secs
lola: 39343064 markings, 62770206 edges, 130187 markings/sec, 245 secs
lola: 40076671 markings, 63972240 edges, 146721 markings/sec, 250 secs
lola: 40718700 markings, 65213236 edges, 128406 markings/sec, 255 secs
lola: 41575390 markings, 66447909 edges, 171338 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 553880 markings, 1424159 edges, 110776 markings/sec, 0 secs
lola: 1043952 markings, 2825455 edges, 98014 markings/sec, 5 secs
lola: 1490863 markings, 4285337 edges, 89382 markings/sec, 10 secs
lola: 1950117 markings, 5699387 edges, 91851 markings/sec, 15 secs
lola: 2381988 markings, 7181287 edges, 86374 markings/sec, 20 secs
lola: 2929535 markings, 8592770 edges, 109509 markings/sec, 25 secs
lola: 3629175 markings, 10010749 edges, 139928 markings/sec, 30 secs
lola: 4226202 markings, 11461978 edges, 119405 markings/sec, 35 secs
lola: 4904175 markings, 12821275 edges, 135595 markings/sec, 40 secs
lola: 5486571 markings, 14197758 edges, 116479 markings/sec, 45 secs
lola: 6103157 markings, 15448520 edges, 123317 markings/sec, 50 secs
lola: 6717948 markings, 16696252 edges, 122958 markings/sec, 55 secs
lola: 7281375 markings, 17938539 edges, 112685 markings/sec, 60 secs
lola: 7798884 markings, 19183883 edges, 103502 markings/sec, 65 secs
lola: 8321587 markings, 20361936 edges, 104541 markings/sec, 70 secs
lola: 8905983 markings, 21596095 edges, 116879 markings/sec, 75 secs
lola: 9412015 markings, 22816131 edges, 101206 markings/sec, 80 secs
lola: 10045947 markings, 24015207 edges, 126786 markings/sec, 85 secs
lola: 10634660 markings, 25186217 edges, 117743 markings/sec, 90 secs
lola: 11257562 markings, 26269523 edges, 124580 markings/sec, 95 secs
lola: 11812589 markings, 27411660 edges, 111005 markings/sec, 100 secs
lola: 12362498 markings, 28624506 edges, 109982 markings/sec, 105 secs
lola: 12945254 markings, 29751737 edges, 116551 markings/sec, 110 secs
lola: 13511183 markings, 30961432 edges, 113186 markings/sec, 115 secs
lola: 14088619 markings, 32181991 edges, 115487 markings/sec, 120 secs
lola: 14760385 markings, 33418265 edges, 134353 markings/sec, 125 secs
lola: 15385685 markings, 34633948 edges, 125060 markings/sec, 130 secs
lola: 15931088 markings, 35857360 edges, 109081 markings/sec, 135 secs
lola: 16483848 markings, 36995818 edges, 110552 markings/sec, 140 secs
lola: 17002226 markings, 38197992 edges, 103676 markings/sec, 145 secs
lola: 17519859 markings, 39365513 edges, 103527 markings/sec, 150 secs
lola: 18060007 markings, 40566362 edges, 108030 markings/sec, 155 secs
lola: 18624682 markings, 41723616 edges, 112935 markings/sec, 160 secs
lola: 19240652 markings, 42824205 edges, 123194 markings/sec, 165 secs
lola: 19813118 markings, 43993430 edges, 114493 markings/sec, 170 secs
lola: 20327397 markings, 45173486 edges, 102856 markings/sec, 175 secs
lola: 20807217 markings, 46328214 edges, 95964 markings/sec, 180 secs
lola: 21294964 markings, 47512700 edges, 97549 markings/sec, 185 secs
lola: 21871260 markings, 48691554 edges, 115259 markings/sec, 190 secs
lola: 22418578 markings, 49814316 edges, 109464 markings/sec, 195 secs
lola: 23048302 markings, 50909036 edges, 125945 markings/sec, 200 secs
lola: 23641916 markings, 52010719 edges, 118723 markings/sec, 205 secs
lola: 24265498 markings, 53173181 edges, 124716 markings/sec, 210 secs
lola: 24806460 markings, 54382733 edges, 108192 markings/sec, 215 secs
lola: 25318104 markings, 55558237 edges, 102329 markings/sec, 220 secs
lola: 25886888 markings, 56692493 edges, 113757 markings/sec, 225 secs
lola: 26359987 markings, 57857325 edges, 94620 markings/sec, 230 secs
lola: 26844622 markings, 58970386 edges, 96927 markings/sec, 235 secs
lola: 27302606 markings, 60083510 edges, 91597 markings/sec, 240 secs
lola: 27793934 markings, 61097967 edges, 98266 markings/sec, 245 secs
lola: 28274950 markings, 62201700 edges, 96203 markings/sec, 250 secs
lola: 28747266 markings, 63289459 edges, 94463 markings/sec, 255 secs
lola: 29173221 markings, 64489777 edges, 85191 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 719420 markings, 1256467 edges, 143884 markings/sec, 0 secs
lola: 1383000 markings, 2516459 edges, 132716 markings/sec, 5 secs
lola: 2070277 markings, 3742345 edges, 137455 markings/sec, 10 secs
lola: 2717480 markings, 4941728 edges, 129441 markings/sec, 15 secs
lola: 3390130 markings, 6121660 edges, 134530 markings/sec, 20 secs
lola: 4002443 markings, 7325540 edges, 122463 markings/sec, 25 secs
lola: 4664122 markings, 8490262 edges, 132336 markings/sec, 30 secs
lola: 5314162 markings, 9632690 edges, 130008 markings/sec, 35 secs
lola: 5933435 markings, 10802465 edges, 123855 markings/sec, 40 secs
lola: 6591003 markings, 11986358 edges, 131514 markings/sec, 45 secs
lola: 7248911 markings, 13173840 edges, 131582 markings/sec, 50 secs
lola: 7859652 markings, 14290097 edges, 122148 markings/sec, 55 secs
lola: 8516250 markings, 15438693 edges, 131320 markings/sec, 60 secs
lola: 9104366 markings, 16604570 edges, 117623 markings/sec, 65 secs
lola: 9778408 markings, 17797689 edges, 134808 markings/sec, 70 secs
lola: 10421190 markings, 18996779 edges, 128556 markings/sec, 75 secs
lola: 11055260 markings, 20206716 edges, 126814 markings/sec, 80 secs
lola: 11684305 markings, 21399562 edges, 125809 markings/sec, 85 secs
lola: 12256600 markings, 22655793 edges, 114459 markings/sec, 90 secs
lola: 12867631 markings, 23858651 edges, 122206 markings/sec, 95 secs
lola: 13420060 markings, 25108719 edges, 110486 markings/sec, 100 secs
lola: 14008767 markings, 26318726 edges, 117741 markings/sec, 105 secs
lola: 14644210 markings, 27508259 edges, 127089 markings/sec, 110 secs
lola: 15283041 markings, 28652535 edges, 127766 markings/sec, 115 secs
lola: 15848334 markings, 29855092 edges, 113059 markings/sec, 120 secs
lola: 16444796 markings, 31023169 edges, 119292 markings/sec, 125 secs
lola: 17005324 markings, 32274269 edges, 112106 markings/sec, 130 secs
lola: 17560230 markings, 33546804 edges, 110981 markings/sec, 135 secs
lola: 18088426 markings, 34863878 edges, 105639 markings/sec, 140 secs
lola: 18630208 markings, 36119500 edges, 108356 markings/sec, 145 secs
lola: 19222724 markings, 37250690 edges, 118503 markings/sec, 150 secs
lola: 19735812 markings, 38492412 edges, 102618 markings/sec, 155 secs
lola: 20198587 markings, 39873568 edges, 92555 markings/sec, 160 secs
lola: 20656969 markings, 41248009 edges, 91676 markings/sec, 165 secs
lola: 21228609 markings, 42435824 edges, 114328 markings/sec, 170 secs
lola: 21733534 markings, 43759327 edges, 100985 markings/sec, 175 secs
lola: 22267776 markings, 45037507 edges, 106848 markings/sec, 180 secs
lola: 22749348 markings, 46347600 edges, 96314 markings/sec, 185 secs
lola: 23300323 markings, 47623108 edges, 110195 markings/sec, 190 secs
lola: 23903332 markings, 48847501 edges, 120602 markings/sec, 195 secs
lola: 24495377 markings, 50010085 edges, 118409 markings/sec, 200 secs
lola: 25103670 markings, 51135536 edges, 121659 markings/sec, 205 secs
lola: 25637585 markings, 52377260 edges, 106783 markings/sec, 210 secs
lola: 26193357 markings, 53556319 edges, 111154 markings/sec, 215 secs
lola: 26663541 markings, 54845094 edges, 94037 markings/sec, 220 secs
lola: 27156165 markings, 56083413 edges, 98525 markings/sec, 225 secs
lola: 27638986 markings, 57338915 edges, 96564 markings/sec, 230 secs
lola: 28115590 markings, 58640917 edges, 95321 markings/sec, 235 secs
lola: 28621532 markings, 59930985 edges, 101188 markings/sec, 240 secs
lola: 29224615 markings, 61139149 edges, 120617 markings/sec, 245 secs
lola: 29778635 markings, 62343194 edges, 110804 markings/sec, 250 secs
lola: 30283199 markings, 63632310 edges, 100913 markings/sec, 255 secs
lola: 30785421 markings, 64890078 edges, 100444 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p229)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 724789 markings, 1306031 edges, 144958 markings/sec, 0 secs
lola: 1263687 markings, 2735569 edges, 107780 markings/sec, 5 secs
lola: 1956308 markings, 3966029 edges, 138524 markings/sec, 10 secs
lola: 2471511 markings, 5373764 edges, 103041 markings/sec, 15 secs
lola: 3142820 markings, 6607374 edges, 134262 markings/sec, 20 secs
lola: 3698185 markings, 7965791 edges, 111073 markings/sec, 25 secs
lola: 4140999 markings, 9319867 edges, 88563 markings/sec, 30 secs
lola: 4902755 markings, 10465739 edges, 152351 markings/sec, 35 secs
lola: 5491397 markings, 11724825 edges, 117728 markings/sec, 40 secs
lola: 5816352 markings, 13134632 edges, 64991 markings/sec, 45 secs
lola: 6334389 markings, 14483789 edges, 103607 markings/sec, 50 secs
lola: 6986138 markings, 15864060 edges, 130350 markings/sec, 55 secs
lola: 7546628 markings, 17255176 edges, 112098 markings/sec, 60 secs
lola: 8197382 markings, 18548830 edges, 130151 markings/sec, 65 secs
lola: 8795762 markings, 19836035 edges, 119676 markings/sec, 70 secs
lola: 9323318 markings, 21140492 edges, 105511 markings/sec, 75 secs
lola: 9888523 markings, 22351094 edges, 113041 markings/sec, 80 secs
lola: 10593700 markings, 23487027 edges, 141035 markings/sec, 85 secs
lola: 11068278 markings, 24744497 edges, 94916 markings/sec, 90 secs
lola: 11612241 markings, 26046304 edges, 108793 markings/sec, 95 secs
lola: 12219820 markings, 27347403 edges, 121516 markings/sec, 100 secs
lola: 12824806 markings, 28617649 edges, 120997 markings/sec, 105 secs
lola: 13289483 markings, 30031759 edges, 92935 markings/sec, 110 secs
lola: 13922675 markings, 31238119 edges, 126638 markings/sec, 115 secs
lola: 14474132 markings, 32496664 edges, 110291 markings/sec, 120 secs
lola: 15058644 markings, 33757797 edges, 116902 markings/sec, 125 secs
lola: 15489400 markings, 35046574 edges, 86151 markings/sec, 130 secs
lola: 16237307 markings, 36153340 edges, 149581 markings/sec, 135 secs
lola: 16835069 markings, 37352375 edges, 119552 markings/sec, 140 secs
lola: 17157847 markings, 38749853 edges, 64556 markings/sec, 145 secs
lola: 17590173 markings, 40149432 edges, 86465 markings/sec, 150 secs
lola: 18203800 markings, 41533162 edges, 122725 markings/sec, 155 secs
lola: 18777327 markings, 42868093 edges, 114705 markings/sec, 160 secs
lola: 19305392 markings, 44217342 edges, 105613 markings/sec, 165 secs
lola: 19762928 markings, 45575961 edges, 91507 markings/sec, 170 secs
lola: 20338462 markings, 46920732 edges, 115107 markings/sec, 175 secs
lola: 20829219 markings, 48251889 edges, 98151 markings/sec, 180 secs
lola: 21423853 markings, 49635145 edges, 118927 markings/sec, 185 secs
lola: 21924592 markings, 50958782 edges, 100148 markings/sec, 190 secs
lola: 22458715 markings, 52256866 edges, 106825 markings/sec, 195 secs
lola: 22942834 markings, 53550722 edges, 96824 markings/sec, 200 secs
lola: 23320216 markings, 54959161 edges, 75476 markings/sec, 205 secs
lola: 23779170 markings, 56335270 edges, 91791 markings/sec, 210 secs
lola: 24375600 markings, 57588001 edges, 119286 markings/sec, 215 secs
lola: 24932028 markings, 58801215 edges, 111286 markings/sec, 220 secs
lola: 25311596 markings, 60076351 edges, 75914 markings/sec, 225 secs
lola: 25873508 markings, 61301181 edges, 112382 markings/sec, 230 secs
lola: 26396323 markings, 62637382 edges, 104563 markings/sec, 235 secs
lola: 26918318 markings, 63942547 edges, 104399 markings/sec, 240 secs
lola: 27455941 markings, 65168788 edges, 107525 markings/sec, 245 secs
lola: 27904905 markings, 66486387 edges, 89793 markings/sec, 250 secs
lola: 28337244 markings, 67778492 edges, 86468 markings/sec, 255 secs
lola: 28926482 markings, 68926231 edges, 117848 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 681337 markings, 1259203 edges, 136267 markings/sec, 0 secs
lola: 1373845 markings, 2542742 edges, 138502 markings/sec, 5 secs
lola: 1975278 markings, 3872723 edges, 120287 markings/sec, 10 secs
lola: 2784922 markings, 5090973 edges, 161929 markings/sec, 15 secs
lola: 3503104 markings, 6350585 edges, 143636 markings/sec, 20 secs
lola: 4254554 markings, 7581231 edges, 150290 markings/sec, 25 secs
lola: 5121763 markings, 8833783 edges, 173442 markings/sec, 30 secs
lola: 5973968 markings, 10059525 edges, 170441 markings/sec, 35 secs
lola: 6809922 markings, 11279779 edges, 167191 markings/sec, 40 secs
lola: 7644809 markings, 12511013 edges, 166977 markings/sec, 45 secs
lola: 8380743 markings, 13595371 edges, 147187 markings/sec, 50 secs
lola: 9170226 markings, 14765215 edges, 157897 markings/sec, 55 secs
lola: 10047678 markings, 15987621 edges, 175490 markings/sec, 60 secs
lola: 10892694 markings, 17232578 edges, 169003 markings/sec, 65 secs
lola: 11677845 markings, 18409313 edges, 157030 markings/sec, 70 secs
lola: 12531393 markings, 19600608 edges, 170710 markings/sec, 75 secs
lola: 13632072 markings, 20845967 edges, 220136 markings/sec, 80 secs
lola: 14693617 markings, 22050676 edges, 212309 markings/sec, 85 secs
lola: 15640787 markings, 23221038 edges, 189434 markings/sec, 90 secs
lola: 16439288 markings, 24413283 edges, 159700 markings/sec, 95 secs
lola: 17414997 markings, 25573717 edges, 195142 markings/sec, 100 secs
lola: 18256475 markings, 26772384 edges, 168296 markings/sec, 105 secs
lola: 19040630 markings, 27987335 edges, 156831 markings/sec, 110 secs
lola: 19792582 markings, 29199378 edges, 150390 markings/sec, 115 secs
lola: 20493575 markings, 30358755 edges, 140199 markings/sec, 120 secs
lola: 21195662 markings, 31510539 edges, 140417 markings/sec, 125 secs
lola: 21912419 markings, 32641487 edges, 143351 markings/sec, 130 secs
lola: 22662883 markings, 33805088 edges, 150093 markings/sec, 135 secs
lola: 23399083 markings, 34929040 edges, 147240 markings/sec, 140 secs
lola: 24162700 markings, 36096745 edges, 152723 markings/sec, 145 secs
lola: 24862181 markings, 37273973 edges, 139896 markings/sec, 150 secs
lola: 25538337 markings, 38453567 edges, 135231 markings/sec, 155 secs
lola: 26234308 markings, 39597250 edges, 139194 markings/sec, 160 secs
lola: 26897502 markings, 40733188 edges, 132639 markings/sec, 165 secs
lola: 27944484 markings, 42005035 edges, 209396 markings/sec, 170 secs
lola: 28964177 markings, 43238769 edges, 203939 markings/sec, 175 secs
lola: 29778716 markings, 44449602 edges, 162908 markings/sec, 180 secs
lola: 30527672 markings, 45606115 edges, 149791 markings/sec, 185 secs
lola: 31279877 markings, 46762707 edges, 150441 markings/sec, 190 secs
lola: 32091202 markings, 47994877 edges, 162265 markings/sec, 195 secs
lola: 32829359 markings, 49159107 edges, 147631 markings/sec, 200 secs
lola: 33672817 markings, 50342616 edges, 168692 markings/sec, 205 secs
lola: 34610105 markings, 51559076 edges, 187458 markings/sec, 210 secs
lola: 35371930 markings, 52721421 edges, 152365 markings/sec, 215 secs
lola: 36157835 markings, 53868159 edges, 157181 markings/sec, 220 secs
lola: 36948627 markings, 55047205 edges, 158158 markings/sec, 225 secs
lola: 37765329 markings, 56263809 edges, 163340 markings/sec, 230 secs
lola: 38526538 markings, 57438494 edges, 152242 markings/sec, 235 secs
lola: 39462674 markings, 58601462 edges, 187227 markings/sec, 240 secs
lola: 40026962 markings, 59836194 edges, 112858 markings/sec, 245 secs
lola: 40761949 markings, 61020442 edges, 146997 markings/sec, 250 secs
lola: 41323069 markings, 62237356 edges, 112224 markings/sec, 255 secs
lola: 42180059 markings, 63409028 edges, 171398 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p244)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 854222 markings, 1370452 edges, 170844 markings/sec, 0 secs
lola: 1683017 markings, 2682888 edges, 165759 markings/sec, 5 secs
lola: 2511405 markings, 3994435 edges, 165678 markings/sec, 10 secs
lola: 3362041 markings, 5367668 edges, 170127 markings/sec, 15 secs
lola: 4173025 markings, 6711923 edges, 162197 markings/sec, 20 secs
lola: 5002034 markings, 8026628 edges, 165802 markings/sec, 25 secs
lola: 5807187 markings, 9366195 edges, 161031 markings/sec, 30 secs
lola: 6572497 markings, 10585756 edges, 153062 markings/sec, 35 secs
lola: 7401319 markings, 11904824 edges, 165764 markings/sec, 40 secs
lola: 8127488 markings, 13060459 edges, 145234 markings/sec, 45 secs
lola: 8850686 markings, 14345442 edges, 144640 markings/sec, 50 secs
lola: 9609286 markings, 15620213 edges, 151720 markings/sec, 55 secs
lola: 10362326 markings, 16922641 edges, 150608 markings/sec, 60 secs
lola: 11070087 markings, 18151892 edges, 141552 markings/sec, 65 secs
lola: 11794502 markings, 19342923 edges, 144883 markings/sec, 70 secs
lola: 12528596 markings, 20555685 edges, 146819 markings/sec, 75 secs
lola: 13261988 markings, 21754171 edges, 146678 markings/sec, 80 secs
lola: 13940392 markings, 23045579 edges, 135681 markings/sec, 85 secs
lola: 14724445 markings, 24351225 edges, 156811 markings/sec, 90 secs
lola: 15475672 markings, 25587334 edges, 150245 markings/sec, 95 secs
lola: 16182016 markings, 26827455 edges, 141269 markings/sec, 100 secs
lola: 16827347 markings, 28045572 edges, 129066 markings/sec, 105 secs
lola: 17539357 markings, 29259960 edges, 142402 markings/sec, 110 secs
lola: 18130208 markings, 30498639 edges, 118170 markings/sec, 115 secs
lola: 18885822 markings, 31694204 edges, 151123 markings/sec, 120 secs
lola: 19572716 markings, 32880094 edges, 137379 markings/sec, 125 secs
lola: 20234028 markings, 34091137 edges, 132262 markings/sec, 130 secs
lola: 20953372 markings, 35249640 edges, 143869 markings/sec, 135 secs
lola: 21675009 markings, 36449691 edges, 144327 markings/sec, 140 secs
lola: 22378336 markings, 37655914 edges, 140665 markings/sec, 145 secs
lola: 22975462 markings, 38930388 edges, 119425 markings/sec, 150 secs
lola: 23738491 markings, 40171012 edges, 152606 markings/sec, 155 secs
lola: 24390469 markings, 41350444 edges, 130396 markings/sec, 160 secs
lola: 24947323 markings, 42546495 edges, 111371 markings/sec, 165 secs
lola: 25619230 markings, 43794804 edges, 134381 markings/sec, 170 secs
lola: 26298038 markings, 45027829 edges, 135762 markings/sec, 175 secs
lola: 26824921 markings, 46237028 edges, 105377 markings/sec, 180 secs
lola: 27338710 markings, 47511029 edges, 102758 markings/sec, 185 secs
lola: 27975256 markings, 48643371 edges, 127309 markings/sec, 190 secs
lola: 28600136 markings, 49876696 edges, 124976 markings/sec, 195 secs
lola: 29387572 markings, 51102683 edges, 157487 markings/sec, 200 secs
lola: 30059698 markings, 52237798 edges, 134425 markings/sec, 205 secs
lola: 30764540 markings, 53426521 edges, 140968 markings/sec, 210 secs
lola: 31373194 markings, 54688826 edges, 121731 markings/sec, 215 secs
lola: 32054803 markings, 55947979 edges, 136322 markings/sec, 220 secs
lola: 32796120 markings, 57185829 edges, 148263 markings/sec, 225 secs
lola: 33433722 markings, 58303907 edges, 127520 markings/sec, 230 secs
lola: 34114091 markings, 59439654 edges, 136074 markings/sec, 235 secs
lola: 34835656 markings, 60684780 edges, 144313 markings/sec, 240 secs
lola: 35584688 markings, 61955350 edges, 149806 markings/sec, 245 secs
lola: 36245850 markings, 63070492 edges, 132232 markings/sec, 250 secs
lola: 36965620 markings, 64290523 edges, 143954 markings/sec, 255 secs
lola: 37629960 markings, 65494906 edges, 132868 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 863423 markings, 1386253 edges, 172685 markings/sec, 0 secs
lola: 1704466 markings, 2718134 edges, 168209 markings/sec, 5 secs
lola: 2548131 markings, 4053977 edges, 168733 markings/sec, 10 secs
lola: 3406929 markings, 5464377 edges, 171760 markings/sec, 15 secs
lola: 4231836 markings, 6805141 edges, 164981 markings/sec, 20 secs
lola: 5065714 markings, 8125133 edges, 166776 markings/sec, 25 secs
lola: 5879867 markings, 9480613 edges, 162831 markings/sec, 30 secs
lola: 6651453 markings, 10711194 edges, 154317 markings/sec, 35 secs
lola: 7480235 markings, 12029846 edges, 165756 markings/sec, 40 secs
lola: 8192892 markings, 13165196 edges, 142531 markings/sec, 45 secs
lola: 8922113 markings, 14466291 edges, 145844 markings/sec, 50 secs
lola: 9689570 markings, 15749592 edges, 153491 markings/sec, 55 secs
lola: 10443641 markings, 17100009 edges, 150814 markings/sec, 60 secs
lola: 11172397 markings, 18318769 edges, 145751 markings/sec, 65 secs
lola: 11900112 markings, 19514928 edges, 145543 markings/sec, 70 secs
lola: 12638802 markings, 20735780 edges, 147738 markings/sec, 75 secs
lola: 13376810 markings, 22007320 edges, 147602 markings/sec, 80 secs
lola: 13984527 markings, 23459345 edges, 121543 markings/sec, 85 secs
lola: 14560538 markings, 24943785 edges, 115202 markings/sec, 90 secs
lola: 15142409 markings, 26374996 edges, 116374 markings/sec, 95 secs
lola: 15641695 markings, 28015010 edges, 99857 markings/sec, 100 secs
lola: 16180758 markings, 29502980 edges, 107813 markings/sec, 105 secs
lola: 16737461 markings, 30933820 edges, 111341 markings/sec, 110 secs
lola: 17266328 markings, 32441605 edges, 105773 markings/sec, 115 secs
lola: 17799595 markings, 33881907 edges, 106653 markings/sec, 120 secs
lola: 18295540 markings, 35275167 edges, 99189 markings/sec, 125 secs
lola: 18764341 markings, 37008708 edges, 93760 markings/sec, 130 secs
lola: 19291818 markings, 38378635 edges, 105495 markings/sec, 135 secs
lola: 19831582 markings, 39697947 edges, 107953 markings/sec, 140 secs
lola: 20359521 markings, 41080521 edges, 105588 markings/sec, 145 secs
lola: 20877709 markings, 42425798 edges, 103638 markings/sec, 150 secs
lola: 21397822 markings, 43719392 edges, 104023 markings/sec, 155 secs
lola: 21844044 markings, 45351370 edges, 89244 markings/sec, 160 secs
lola: 22354285 markings, 46780683 edges, 102048 markings/sec, 165 secs
lola: 22854393 markings, 48152473 edges, 100022 markings/sec, 170 secs
lola: 23359887 markings, 49492153 edges, 101099 markings/sec, 175 secs
lola: 23910674 markings, 50857671 edges, 110157 markings/sec, 180 secs
lola: 24392114 markings, 52285786 edges, 96288 markings/sec, 185 secs
lola: 24919195 markings, 53662639 edges, 105416 markings/sec, 190 secs
lola: 25420915 markings, 55006000 edges, 100344 markings/sec, 195 secs
lola: 25908169 markings, 56398921 edges, 97451 markings/sec, 200 secs
lola: 26415579 markings, 57694046 edges, 101482 markings/sec, 205 secs
lola: 26831397 markings, 59201870 edges, 83164 markings/sec, 210 secs
lola: 27243825 markings, 60912917 edges, 82486 markings/sec, 215 secs
lola: 28005482 markings, 62326061 edges, 152331 markings/sec, 220 secs
lola: 28811165 markings, 63648032 edges, 161137 markings/sec, 225 secs
lola: 29620570 markings, 64969892 edges, 161881 markings/sec, 230 secs
lola: 30439491 markings, 66395720 edges, 163784 markings/sec, 235 secs
lola: 31209843 markings, 67672682 edges, 154070 markings/sec, 240 secs
lola: 31980403 markings, 68957305 edges, 154112 markings/sec, 245 secs
lola: 32711585 markings, 70206590 edges, 146236 markings/sec, 250 secs
lola: 33459819 markings, 71439805 edges, 149647 markings/sec, 255 secs
lola: 34180975 markings, 72628080 edges, 144231 markings/sec, 260 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 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 777588 markings, 1178879 edges, 155518 markings/sec, 0 secs
lola: 1529702 markings, 2337923 edges, 150423 markings/sec, 5 secs
lola: 2237751 markings, 3585336 edges, 141610 markings/sec, 10 secs
lola: 2931116 markings, 4803063 edges, 138673 markings/sec, 15 secs
lola: 3613631 markings, 5992192 edges, 136503 markings/sec, 20 secs
lola: 4309778 markings, 7137574 edges, 139229 markings/sec, 25 secs
lola: 4992308 markings, 8313893 edges, 136506 markings/sec, 30 secs
lola: 5631719 markings, 9514116 edges, 127882 markings/sec, 35 secs
lola: 6269126 markings, 10693355 edges, 127481 markings/sec, 40 secs
lola: 6945353 markings, 11914700 edges, 135245 markings/sec, 45 secs
lola: 7589445 markings, 13052540 edges, 128818 markings/sec, 50 secs
lola: 8269655 markings, 14250469 edges, 136042 markings/sec, 55 secs
lola: 8927082 markings, 15369668 edges, 131485 markings/sec, 60 secs
lola: 9531437 markings, 16540956 edges, 120871 markings/sec, 65 secs
lola: 10136406 markings, 17753730 edges, 120994 markings/sec, 70 secs
lola: 10795432 markings, 18938324 edges, 131805 markings/sec, 75 secs
lola: 11482909 markings, 20189216 edges, 137495 markings/sec, 80 secs
lola: 12118041 markings, 21473972 edges, 127026 markings/sec, 85 secs
lola: 12801238 markings, 22668405 edges, 136639 markings/sec, 90 secs
lola: 13463204 markings, 23816327 edges, 132393 markings/sec, 95 secs
lola: 14065106 markings, 24955551 edges, 120380 markings/sec, 100 secs
lola: 14639693 markings, 26121123 edges, 114917 markings/sec, 105 secs
lola: 15301086 markings, 27297752 edges, 132279 markings/sec, 110 secs
lola: 15947808 markings, 28541471 edges, 129344 markings/sec, 115 secs
lola: 16604359 markings, 29753982 edges, 131310 markings/sec, 120 secs
lola: 17262770 markings, 30998158 edges, 131682 markings/sec, 125 secs
lola: 17930653 markings, 32262257 edges, 133577 markings/sec, 130 secs
lola: 18569446 markings, 33509496 edges, 127759 markings/sec, 135 secs
lola: 19116534 markings, 34834148 edges, 109418 markings/sec, 140 secs
lola: 19626464 markings, 36113244 edges, 101986 markings/sec, 145 secs
lola: 20107707 markings, 37489493 edges, 96249 markings/sec, 150 secs
lola: 20717593 markings, 38808795 edges, 121977 markings/sec, 155 secs
lola: 21344327 markings, 40094082 edges, 125347 markings/sec, 160 secs
lola: 21963497 markings, 41350607 edges, 123834 markings/sec, 165 secs
lola: 22627854 markings, 42542621 edges, 132871 markings/sec, 170 secs
lola: 23270160 markings, 43741463 edges, 128461 markings/sec, 175 secs
lola: 23890147 markings, 45008525 edges, 123997 markings/sec, 180 secs
lola: 24512096 markings, 46234148 edges, 124390 markings/sec, 185 secs
lola: 25141539 markings, 47425521 edges, 125889 markings/sec, 190 secs
lola: 25794792 markings, 48608915 edges, 130651 markings/sec, 195 secs
lola: 26425366 markings, 49833023 edges, 126115 markings/sec, 200 secs
lola: 27073163 markings, 51089402 edges, 129559 markings/sec, 205 secs
lola: 27741904 markings, 52297420 edges, 133748 markings/sec, 210 secs
lola: 28397836 markings, 53480443 edges, 131186 markings/sec, 215 secs
lola: 29050970 markings, 54710772 edges, 130627 markings/sec, 220 secs
lola: 29502179 markings, 56085233 edges, 90242 markings/sec, 225 secs
lola: 30142667 markings, 57277312 edges, 128098 markings/sec, 230 secs
lola: 30767270 markings, 58460063 edges, 124921 markings/sec, 235 secs
lola: 31462509 markings, 59636710 edges, 139048 markings/sec, 240 secs
lola: 32149663 markings, 60797970 edges, 137431 markings/sec, 245 secs
lola: 32755822 markings, 61985566 edges, 121232 markings/sec, 250 secs
lola: 33397591 markings, 63141367 edges, 128354 markings/sec, 255 secs
lola: 34018737 markings, 64356652 edges, 124229 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 1071925 markings, 1298410 edges, 214385 markings/sec, 0 secs
lola: 2154447 markings, 2577126 edges, 216504 markings/sec, 5 secs
lola: 3218255 markings, 3804141 edges, 212762 markings/sec, 10 secs
lola: 4224987 markings, 5061101 edges, 201346 markings/sec, 15 secs
lola: 4924751 markings, 6322164 edges, 139953 markings/sec, 20 secs
lola: 5473501 markings, 7539612 edges, 109750 markings/sec, 25 secs
lola: 6373859 markings, 8780491 edges, 180072 markings/sec, 30 secs
lola: 7299901 markings, 10030178 edges, 185208 markings/sec, 35 secs
lola: 8344197 markings, 11279059 edges, 208859 markings/sec, 40 secs
lola: 9327506 markings, 12440105 edges, 196662 markings/sec, 45 secs
lola: 10207867 markings, 13755153 edges, 176072 markings/sec, 50 secs
lola: 11059466 markings, 15072982 edges, 170320 markings/sec, 55 secs
lola: 11906324 markings, 16368823 edges, 169372 markings/sec, 60 secs
lola: 12753685 markings, 17586178 edges, 169472 markings/sec, 65 secs
lola: 13657154 markings, 18823023 edges, 180694 markings/sec, 70 secs
lola: 14535322 markings, 20072697 edges, 175634 markings/sec, 75 secs
lola: 15460101 markings, 21256277 edges, 184956 markings/sec, 80 secs
lola: 15979163 markings, 22580333 edges, 103812 markings/sec, 85 secs
lola: 16528777 markings, 23871442 edges, 109923 markings/sec, 90 secs
lola: 17212481 markings, 25130418 edges, 136741 markings/sec, 95 secs
lola: 17697327 markings, 26438347 edges, 96969 markings/sec, 100 secs
lola: 18450601 markings, 27653525 edges, 150655 markings/sec, 105 secs
lola: 19260354 markings, 28839003 edges, 161951 markings/sec, 110 secs
lola: 19852891 markings, 30094524 edges, 118507 markings/sec, 115 secs
lola: 20514060 markings, 31377153 edges, 132234 markings/sec, 120 secs
lola: 21090463 markings, 32665779 edges, 115281 markings/sec, 125 secs
lola: 21771369 markings, 33918096 edges, 136181 markings/sec, 130 secs
lola: 22521831 markings, 35194877 edges, 150092 markings/sec, 135 secs
lola: 23203501 markings, 36419214 edges, 136334 markings/sec, 140 secs
lola: 23991305 markings, 37598688 edges, 157561 markings/sec, 145 secs
lola: 24830031 markings, 38789089 edges, 167745 markings/sec, 150 secs
lola: 25663788 markings, 39993082 edges, 166751 markings/sec, 155 secs
lola: 26515983 markings, 41226532 edges, 170439 markings/sec, 160 secs
lola: 27334481 markings, 42388144 edges, 163700 markings/sec, 165 secs
lola: 28167259 markings, 43595203 edges, 166556 markings/sec, 170 secs
lola: 28994818 markings, 44781574 edges, 165512 markings/sec, 175 secs
lola: 29790180 markings, 45913735 edges, 159072 markings/sec, 180 secs
lola: 30626345 markings, 47098066 edges, 167233 markings/sec, 185 secs
lola: 31417729 markings, 48221492 edges, 158277 markings/sec, 190 secs
lola: 32231668 markings, 49377878 edges, 162788 markings/sec, 195 secs
lola: 33058458 markings, 50551472 edges, 165358 markings/sec, 200 secs
lola: 33892808 markings, 51736365 edges, 166870 markings/sec, 205 secs
lola: 34692363 markings, 52868999 edges, 159911 markings/sec, 210 secs
lola: 35586042 markings, 54135967 edges, 178736 markings/sec, 215 secs
lola: 36452891 markings, 55370062 edges, 173370 markings/sec, 220 secs
lola: 37319292 markings, 56593341 edges, 173280 markings/sec, 225 secs
lola: 38111310 markings, 57844786 edges, 158404 markings/sec, 230 secs
lola: 38994030 markings, 59096529 edges, 176544 markings/sec, 235 secs
lola: 39788682 markings, 60236001 edges, 158930 markings/sec, 240 secs
lola: 40591198 markings, 61394200 edges, 160503 markings/sec, 245 secs
lola: 41375971 markings, 62507552 edges, 156955 markings/sec, 250 secs
lola: 42108395 markings, 63564617 edges, 146485 markings/sec, 255 secs
lola: 42855351 markings, 64623658 edges, 149391 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-00b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496453978340
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DES-PT-00b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_DES-PT-00b.tgz
mv S_DES-PT-00b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-00b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455600236"
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 ;