About the Execution of LoLA for S_PermAdmissibility-COL-50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9212.640 | 2930032.00 | 2938199.00 | 280.00 | ? ? ? 100 ? ? 100 100 ? ? ? 100 ? ? ? ? | 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 S_PermAdmissibility-COL-50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r118-blw7-149441650200389
=====================================================================
--------------------
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 PermAdmissibility-COL-50-UpperBounds-0
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-1
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-10
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-11
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-12
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-13
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-14
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-15
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-2
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-3
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-4
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-5
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-6
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-7
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-8
FORMULA_NAME PermAdmissibility-COL-50-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496384654767
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PermAdmissibility-COL-50: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PermAdmissibility-COL-50: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PermAdmissibility-COL-50 @ 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: 1232/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 208 places, 1024 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1460 transition conflict sets
lola: TASK
lola: reading formula from PermAdmissibility-COL-50-UpperBounds.task
lola: MAX(p41) : MAX(p41) : MAX(p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193) : MAX(p125) : MAX(p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65) : MAX(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160) : MAX(p74) : MAX(p89 + p88 + p87 + p86 + p85 + p84 + p83 + p90) : MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124) : MAX(p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115) : MAX(p207) : MAX(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168) : MAX(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151) : MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124) : MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49) : MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49)
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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 613531 markings, 2086611 edges, 122706 markings/sec, 0 secs
lola: 1187604 markings, 4241905 edges, 114815 markings/sec, 5 secs
lola: 1758722 markings, 6388823 edges, 114224 markings/sec, 10 secs
lola: 2312851 markings, 8584121 edges, 110826 markings/sec, 15 secs
lola: 2894184 markings, 10757923 edges, 116267 markings/sec, 20 secs
lola: 3420462 markings, 12872434 edges, 105256 markings/sec, 25 secs
lola: 3974524 markings, 15125476 edges, 110812 markings/sec, 30 secs
lola: 4525809 markings, 17263144 edges, 110257 markings/sec, 35 secs
lola: 5107342 markings, 19529602 edges, 116307 markings/sec, 40 secs
lola: 5667300 markings, 21916658 edges, 111992 markings/sec, 45 secs
lola: 6194897 markings, 23946342 edges, 105519 markings/sec, 50 secs
lola: 6743217 markings, 26207364 edges, 109664 markings/sec, 55 secs
lola: 7294832 markings, 28587848 edges, 110323 markings/sec, 60 secs
lola: 7901727 markings, 30835057 edges, 121379 markings/sec, 65 secs
lola: 8437208 markings, 33042953 edges, 107096 markings/sec, 70 secs
lola: 9007824 markings, 35419577 edges, 114123 markings/sec, 75 secs
lola: 9559771 markings, 37766608 edges, 110389 markings/sec, 80 secs
lola: 10086533 markings, 39816482 edges, 105352 markings/sec, 85 secs
lola: 10628650 markings, 42063283 edges, 108423 markings/sec, 90 secs
lola: 11169163 markings, 44422232 edges, 108103 markings/sec, 95 secs
lola: 11720040 markings, 46714189 edges, 110175 markings/sec, 100 secs
lola: 12264960 markings, 48851036 edges, 108984 markings/sec, 105 secs
lola: 12842649 markings, 51130873 edges, 115538 markings/sec, 110 secs
lola: 13373827 markings, 53321250 edges, 106236 markings/sec, 115 secs
lola: 13890280 markings, 55529538 edges, 103291 markings/sec, 120 secs
lola: 14432325 markings, 57867950 edges, 108409 markings/sec, 125 secs
lola: 14969403 markings, 60209246 edges, 107416 markings/sec, 130 secs
lola: 15542078 markings, 62470576 edges, 114535 markings/sec, 135 secs
lola: 16078503 markings, 64680293 edges, 107285 markings/sec, 140 secs
lola: 16615597 markings, 66925986 edges, 107419 markings/sec, 145 secs
lola: 17146312 markings, 69237275 edges, 106143 markings/sec, 150 secs
lola: 17674967 markings, 71538635 edges, 105731 markings/sec, 155 secs
lola: 18223391 markings, 73848810 edges, 109685 markings/sec, 160 secs
lola: 18778625 markings, 76214026 edges, 111047 markings/sec, 165 secs
lola: 19392863 markings, 78498519 edges, 122848 markings/sec, 170 secs
lola: 19964509 markings, 80799373 edges, 114329 markings/sec, 175 secs
lola: 20529041 markings, 83258528 edges, 112906 markings/sec, 180 secs
lola: 21085812 markings, 85553916 edges, 111354 markings/sec, 185 secs
lola: 21637733 markings, 87997041 edges, 110384 markings/sec, 190 secs
lola: 22204446 markings, 90441118 edges, 113343 markings/sec, 195 secs
lola: 22738298 markings, 92826034 edges, 106770 markings/sec, 200 secs
lola: 23310832 markings, 95180128 edges, 114507 markings/sec, 205 secs
lola: 23845126 markings, 97392490 edges, 106859 markings/sec, 210 secs
lola: 24367481 markings, 99605214 edges, 104471 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 643012 markings, 2195356 edges, 128602 markings/sec, 0 secs
lola: 1261045 markings, 4549991 edges, 123607 markings/sec, 5 secs
lola: 1884928 markings, 6869760 edges, 124777 markings/sec, 10 secs
lola: 2470983 markings, 9173788 edges, 117211 markings/sec, 15 secs
lola: 3087317 markings, 11554759 edges, 123267 markings/sec, 20 secs
lola: 3673355 markings, 13856515 edges, 117208 markings/sec, 25 secs
lola: 4242241 markings, 16185864 edges, 113777 markings/sec, 30 secs
lola: 4855818 markings, 18524091 edges, 122715 markings/sec, 35 secs
lola: 5442390 markings, 20911955 edges, 117314 markings/sec, 40 secs
lola: 6022902 markings, 23277229 edges, 116102 markings/sec, 45 secs
lola: 6579202 markings, 25508137 edges, 111260 markings/sec, 50 secs
lola: 7139961 markings, 27877129 edges, 112152 markings/sec, 55 secs
lola: 7738833 markings, 30190806 edges, 119774 markings/sec, 60 secs
lola: 8329930 markings, 32562995 edges, 118219 markings/sec, 65 secs
lola: 8899667 markings, 34962134 edges, 113947 markings/sec, 70 secs
lola: 9470519 markings, 37360256 edges, 114170 markings/sec, 75 secs
lola: 10039052 markings, 39627552 edges, 113707 markings/sec, 80 secs
lola: 10587124 markings, 41915536 edges, 109614 markings/sec, 85 secs
lola: 11131416 markings, 44202280 edges, 108858 markings/sec, 90 secs
lola: 11682450 markings, 46589312 edges, 110207 markings/sec, 95 secs
lola: 12267160 markings, 48867337 edges, 116942 markings/sec, 100 secs
lola: 12864899 markings, 51177793 edges, 119548 markings/sec, 105 secs
lola: 13435249 markings, 53603742 edges, 114070 markings/sec, 110 secs
lola: 13997806 markings, 56019809 edges, 112511 markings/sec, 115 secs
lola: 14559355 markings, 58434473 edges, 112310 markings/sec, 120 secs
lola: 15127481 markings, 60833801 edges, 113625 markings/sec, 125 secs
lola: 15680024 markings, 62984650 edges, 110509 markings/sec, 130 secs
lola: 16219415 markings, 65286244 edges, 107878 markings/sec, 135 secs
lola: 16753381 markings, 67584413 edges, 106793 markings/sec, 140 secs
lola: 17294760 markings, 69843155 edges, 108276 markings/sec, 145 secs
lola: 17828309 markings, 72106861 edges, 106710 markings/sec, 150 secs
lola: 18376282 markings, 74566344 edges, 109595 markings/sec, 155 secs
lola: 18946158 markings, 76686493 edges, 113975 markings/sec, 160 secs
lola: 19533076 markings, 79074559 edges, 117384 markings/sec, 165 secs
lola: 20108177 markings, 81489625 edges, 115020 markings/sec, 170 secs
lola: 20669614 markings, 83888218 edges, 112287 markings/sec, 175 secs
lola: 21232762 markings, 86262800 edges, 112630 markings/sec, 180 secs
lola: 21770677 markings, 88664361 edges, 107583 markings/sec, 185 secs
lola: 22333237 markings, 91108960 edges, 112512 markings/sec, 190 secs
lola: 22857227 markings, 93336017 edges, 104798 markings/sec, 195 secs
lola: 23415233 markings, 95570639 edges, 111601 markings/sec, 200 secs
lola: 23919544 markings, 97701125 edges, 100862 markings/sec, 205 secs
lola: 24452575 markings, 99842983 edges, 106606 markings/sec, 210 secs
lola: 24949894 markings, 102044562 edges, 99464 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(p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 106429 markings, 245191 edges, 21286 markings/sec, 0 secs
lola: 224470 markings, 555513 edges, 23608 markings/sec, 5 secs
lola: 339086 markings, 823545 edges, 22923 markings/sec, 10 secs
lola: 455873 markings, 1104040 edges, 23357 markings/sec, 15 secs
lola: 572731 markings, 1368269 edges, 23372 markings/sec, 20 secs
lola: 686873 markings, 1664823 edges, 22828 markings/sec, 25 secs
lola: 804087 markings, 1979961 edges, 23443 markings/sec, 30 secs
lola: 920907 markings, 2273790 edges, 23364 markings/sec, 35 secs
lola: 1037902 markings, 2568909 edges, 23399 markings/sec, 40 secs
lola: 1154173 markings, 2858720 edges, 23254 markings/sec, 45 secs
lola: 1270933 markings, 3141114 edges, 23352 markings/sec, 50 secs
lola: 1388623 markings, 3463628 edges, 23538 markings/sec, 55 secs
lola: 1506555 markings, 3833218 edges, 23586 markings/sec, 60 secs
lola: 1619386 markings, 4148924 edges, 22566 markings/sec, 65 secs
lola: 1730742 markings, 4519341 edges, 22271 markings/sec, 70 secs
lola: 1846895 markings, 4934216 edges, 23231 markings/sec, 75 secs
lola: 1960617 markings, 5349949 edges, 22744 markings/sec, 80 secs
lola: 2079234 markings, 5647693 edges, 23723 markings/sec, 85 secs
lola: 2200541 markings, 5898629 edges, 24261 markings/sec, 90 secs
lola: 2317616 markings, 6189269 edges, 23415 markings/sec, 95 secs
lola: 2434188 markings, 6474837 edges, 23314 markings/sec, 100 secs
lola: 2551001 markings, 6767455 edges, 23363 markings/sec, 105 secs
lola: 2668421 markings, 7084977 edges, 23484 markings/sec, 110 secs
lola: 2788309 markings, 7444934 edges, 23978 markings/sec, 115 secs
lola: 2906602 markings, 7721795 edges, 23659 markings/sec, 120 secs
lola: 3022239 markings, 8006252 edges, 23127 markings/sec, 125 secs
lola: 3137703 markings, 8302027 edges, 23093 markings/sec, 130 secs
lola: 3254142 markings, 8602202 edges, 23288 markings/sec, 135 secs
lola: 3371444 markings, 8969742 edges, 23460 markings/sec, 140 secs
lola: 3491430 markings, 9257832 edges, 23997 markings/sec, 145 secs
lola: 3611694 markings, 9578722 edges, 24053 markings/sec, 150 secs
lola: 3731559 markings, 9853940 edges, 23973 markings/sec, 155 secs
lola: 3847729 markings, 10155763 edges, 23234 markings/sec, 160 secs
lola: 3964074 markings, 10490511 edges, 23269 markings/sec, 165 secs
lola: 4082993 markings, 10815844 edges, 23784 markings/sec, 170 secs
lola: 4200910 markings, 11119564 edges, 23583 markings/sec, 175 secs
lola: 4318423 markings, 11420413 edges, 23503 markings/sec, 180 secs
lola: 4437305 markings, 11718317 edges, 23776 markings/sec, 185 secs
lola: 4554268 markings, 12017890 edges, 23393 markings/sec, 190 secs
lola: 4671466 markings, 12367282 edges, 23440 markings/sec, 195 secs
lola: 4791434 markings, 12673186 edges, 23994 markings/sec, 200 secs
lola: 4910433 markings, 12983092 edges, 23800 markings/sec, 205 secs
lola: 5030711 markings, 13295108 edges, 24056 markings/sec, 210 secs
lola: 5148877 markings, 13607003 edges, 23633 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(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 134697 markings, 398086 edges, 26939 markings/sec, 0 secs
lola: 273607 markings, 812192 edges, 27782 markings/sec, 5 secs
lola: 414658 markings, 1211322 edges, 28210 markings/sec, 10 secs
lola: 555342 markings, 1604617 edges, 28137 markings/sec, 15 secs
lola: 693186 markings, 2076458 edges, 27569 markings/sec, 20 secs
lola: 828759 markings, 2637872 edges, 27115 markings/sec, 25 secs
lola: 956549 markings, 3470432 edges, 25558 markings/sec, 30 secs
lola: 1092486 markings, 4177334 edges, 27187 markings/sec, 35 secs
lola: 1226073 markings, 4815157 edges, 26717 markings/sec, 40 secs
lola: 1353044 markings, 5578062 edges, 25394 markings/sec, 45 secs
lola: 1493985 markings, 6184239 edges, 28188 markings/sec, 50 secs
lola: 1629737 markings, 6661949 edges, 27150 markings/sec, 55 secs
lola: 1759240 markings, 7399950 edges, 25901 markings/sec, 60 secs
lola: 1888892 markings, 8076570 edges, 25930 markings/sec, 65 secs
lola: 2023598 markings, 8671014 edges, 26941 markings/sec, 70 secs
lola: 2157557 markings, 9345070 edges, 26792 markings/sec, 75 secs
lola: 2293412 markings, 9948798 edges, 27171 markings/sec, 80 secs
lola: 2430669 markings, 10381461 edges, 27451 markings/sec, 85 secs
lola: 2570944 markings, 10801733 edges, 28055 markings/sec, 90 secs
lola: 2709844 markings, 11273433 edges, 27780 markings/sec, 95 secs
lola: 2839460 markings, 12020214 edges, 25923 markings/sec, 100 secs
lola: 2973414 markings, 12745681 edges, 26791 markings/sec, 105 secs
lola: 3103523 markings, 13446784 edges, 26022 markings/sec, 110 secs
lola: 3242832 markings, 14068767 edges, 27862 markings/sec, 115 secs
lola: 3376152 markings, 14706595 edges, 26664 markings/sec, 120 secs
lola: 3505029 markings, 15394601 edges, 25775 markings/sec, 125 secs
lola: 3636059 markings, 16104250 edges, 26206 markings/sec, 130 secs
lola: 3769754 markings, 16743130 edges, 26739 markings/sec, 135 secs
lola: 3903704 markings, 17380796 edges, 26790 markings/sec, 140 secs
lola: 4033707 markings, 18162497 edges, 26001 markings/sec, 145 secs
lola: 4161371 markings, 18982035 edges, 25533 markings/sec, 150 secs
lola: 4298204 markings, 19553519 edges, 27367 markings/sec, 155 secs
lola: 4425819 markings, 20360800 edges, 25523 markings/sec, 160 secs
lola: 4559104 markings, 21032056 edges, 26657 markings/sec, 165 secs
lola: 4695597 markings, 21616132 edges, 27299 markings/sec, 170 secs
lola: 4832771 markings, 22045911 edges, 27435 markings/sec, 175 secs
lola: 4972752 markings, 22456258 edges, 27996 markings/sec, 180 secs
lola: 5107651 markings, 23067788 edges, 26980 markings/sec, 185 secs
lola: 5237380 markings, 23843880 edges, 25946 markings/sec, 190 secs
lola: 5370350 markings, 24622196 edges, 26594 markings/sec, 195 secs
lola: 5503564 markings, 25273283 edges, 26643 markings/sec, 200 secs
lola: 5633474 markings, 25994892 edges, 25982 markings/sec, 205 secs
lola: 5765324 markings, 26718622 edges, 26370 markings/sec, 210 secs
lola: 5901850 markings, 27427210 edges, 27305 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p58 + p59 + p60 + p61 + p62 + p63 + p64 + p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 100583 markings, 158555 edges, 20117 markings/sec, 0 secs
lola: 203905 markings, 326429 edges, 20664 markings/sec, 5 secs
lola: 307351 markings, 493658 edges, 20689 markings/sec, 10 secs
lola: 410990 markings, 662647 edges, 20728 markings/sec, 15 secs
lola: 513780 markings, 834374 edges, 20558 markings/sec, 20 secs
lola: 615855 markings, 1007954 edges, 20415 markings/sec, 25 secs
lola: 718807 markings, 1178180 edges, 20590 markings/sec, 30 secs
lola: 821799 markings, 1347062 edges, 20598 markings/sec, 35 secs
lola: 925037 markings, 1515776 edges, 20648 markings/sec, 40 secs
lola: 1027085 markings, 1687517 edges, 20410 markings/sec, 45 secs
lola: 1128729 markings, 1859847 edges, 20329 markings/sec, 50 secs
lola: 1230531 markings, 2032436 edges, 20360 markings/sec, 55 secs
lola: 1332098 markings, 2206132 edges, 20313 markings/sec, 60 secs
lola: 1433437 markings, 2378360 edges, 20268 markings/sec, 65 secs
lola: 1535369 markings, 2549347 edges, 20386 markings/sec, 70 secs
lola: 1636545 markings, 2722193 edges, 20235 markings/sec, 75 secs
lola: 1738583 markings, 2893918 edges, 20408 markings/sec, 80 secs
lola: 1840070 markings, 3065382 edges, 20297 markings/sec, 85 secs
lola: 1942039 markings, 3234129 edges, 20394 markings/sec, 90 secs
lola: 2044214 markings, 3404206 edges, 20435 markings/sec, 95 secs
lola: 2145799 markings, 3578009 edges, 20317 markings/sec, 100 secs
lola: 2247639 markings, 3748691 edges, 20368 markings/sec, 105 secs
lola: 2349521 markings, 3918157 edges, 20376 markings/sec, 110 secs
lola: 2450890 markings, 4090091 edges, 20274 markings/sec, 115 secs
lola: 2552415 markings, 4262560 edges, 20305 markings/sec, 120 secs
lola: 2653068 markings, 4434628 edges, 20131 markings/sec, 125 secs
lola: 2753399 markings, 4607123 edges, 20066 markings/sec, 130 secs
lola: 2854167 markings, 4778404 edges, 20154 markings/sec, 135 secs
lola: 2954361 markings, 4949654 edges, 20039 markings/sec, 140 secs
lola: 3054833 markings, 5121074 edges, 20094 markings/sec, 145 secs
lola: 3156265 markings, 5290051 edges, 20286 markings/sec, 150 secs
lola: 3257634 markings, 5461382 edges, 20274 markings/sec, 155 secs
lola: 3359022 markings, 5630799 edges, 20278 markings/sec, 160 secs
lola: 3460723 markings, 5799636 edges, 20340 markings/sec, 165 secs
lola: 3562238 markings, 5965393 edges, 20303 markings/sec, 170 secs
lola: 3663650 markings, 6131434 edges, 20282 markings/sec, 175 secs
lola: 3764071 markings, 6302283 edges, 20084 markings/sec, 180 secs
lola: 3864862 markings, 6471846 edges, 20158 markings/sec, 185 secs
lola: 3967554 markings, 6686242 edges, 20538 markings/sec, 190 secs
lola: 4069759 markings, 6909022 edges, 20441 markings/sec, 195 secs
lola: 4170376 markings, 7127169 edges, 20123 markings/sec, 200 secs
lola: 4271721 markings, 7351296 edges, 20269 markings/sec, 205 secs
lola: 4372728 markings, 7574064 edges, 20201 markings/sec, 210 secs
lola: 4473597 markings, 7791171 edges, 20174 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p153 + p154 + p155 + p156 + p157 + p158 + p159 + p160)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 170205 markings, 627579 edges, 34041 markings/sec, 0 secs
lola: 343219 markings, 1413493 edges, 34603 markings/sec, 5 secs
lola: 515634 markings, 2246369 edges, 34483 markings/sec, 10 secs
lola: 681169 markings, 3013665 edges, 33107 markings/sec, 15 secs
lola: 858372 markings, 3766862 edges, 35441 markings/sec, 20 secs
lola: 1038566 markings, 4517811 edges, 36039 markings/sec, 25 secs
lola: 1220817 markings, 5300985 edges, 36450 markings/sec, 30 secs
lola: 1403569 markings, 6083771 edges, 36550 markings/sec, 35 secs
lola: 1587952 markings, 6828415 edges, 36877 markings/sec, 40 secs
lola: 1764171 markings, 7584487 edges, 35244 markings/sec, 45 secs
lola: 1946259 markings, 8301087 edges, 36418 markings/sec, 50 secs
lola: 2124450 markings, 9064386 edges, 35638 markings/sec, 55 secs
lola: 2306708 markings, 9824717 edges, 36452 markings/sec, 60 secs
lola: 2473696 markings, 10693223 edges, 33398 markings/sec, 65 secs
lola: 2643986 markings, 11557981 edges, 34058 markings/sec, 70 secs
lola: 2821157 markings, 12392814 edges, 35434 markings/sec, 75 secs
lola: 2997292 markings, 13219968 edges, 35227 markings/sec, 80 secs
lola: 3163481 markings, 14089822 edges, 33238 markings/sec, 85 secs
lola: 3324374 markings, 15083277 edges, 32179 markings/sec, 90 secs
lola: 3484131 markings, 16148374 edges, 31951 markings/sec, 95 secs
lola: 3631994 markings, 17370853 edges, 29573 markings/sec, 100 secs
lola: 3783385 markings, 18605380 edges, 30278 markings/sec, 105 secs
lola: 3934627 markings, 19793767 edges, 30248 markings/sec, 110 secs
lola: 4100370 markings, 20786712 edges, 33149 markings/sec, 115 secs
lola: 4265877 markings, 21746796 edges, 33101 markings/sec, 120 secs
lola: 4428856 markings, 22784344 edges, 32596 markings/sec, 125 secs
lola: 4577521 markings, 24054091 edges, 29733 markings/sec, 130 secs
lola: 4744054 markings, 25076964 edges, 33307 markings/sec, 135 secs
lola: 4906039 markings, 26211761 edges, 32397 markings/sec, 140 secs
lola: 5073710 markings, 27277239 edges, 33534 markings/sec, 145 secs
lola: 5240132 markings, 28386638 edges, 33284 markings/sec, 150 secs
lola: 5408834 markings, 29462202 edges, 33740 markings/sec, 155 secs
lola: 5576034 markings, 30484137 edges, 33440 markings/sec, 160 secs
lola: 5740293 markings, 31664449 edges, 32852 markings/sec, 165 secs
lola: 5909981 markings, 32778709 edges, 33938 markings/sec, 170 secs
lola: 6078296 markings, 33600952 edges, 33663 markings/sec, 175 secs
lola: 6254195 markings, 34414512 edges, 35180 markings/sec, 180 secs
lola: 6416257 markings, 35354259 edges, 32412 markings/sec, 185 secs
lola: 6586369 markings, 36239753 edges, 34022 markings/sec, 190 secs
lola: 6745439 markings, 37292679 edges, 31814 markings/sec, 195 secs
lola: 6892974 markings, 38572217 edges, 29507 markings/sec, 200 secs
lola: 7058060 markings, 39534105 edges, 33017 markings/sec, 205 secs
lola: 7215033 markings, 40695136 edges, 31395 markings/sec, 210 secs
lola: 7379461 markings, 41833086 edges, 32886 markings/sec, 215 secs
lola: 7548245 markings, 42856764 edges, 33757 markings/sec, 220 secs
lola: 7722598 markings, 43707195 edges, 34871 markings/sec, 225 secs
lola: 7885133 markings, 44766587 edges, 32507 markings/sec, 230 secs
lola: 8051368 markings, 45776859 edges, 33247 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p89 + p88 + p87 + p86 + p85 + p84 + p83 + p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 659162 markings, 2247056 edges, 131832 markings/sec, 0 secs
lola: 1272786 markings, 4572548 edges, 122725 markings/sec, 5 secs
lola: 1890888 markings, 6895179 edges, 123620 markings/sec, 10 secs
lola: 2471186 markings, 9174180 edges, 116060 markings/sec, 15 secs
lola: 3082606 markings, 11527396 edges, 122284 markings/sec, 20 secs
lola: 3662128 markings, 13824522 edges, 115904 markings/sec, 25 secs
lola: 4225720 markings, 16144892 edges, 112718 markings/sec, 30 secs
lola: 4835012 markings, 18407881 edges, 121858 markings/sec, 35 secs
lola: 5419793 markings, 20827765 edges, 116956 markings/sec, 40 secs
lola: 5997226 markings, 23165712 edges, 115487 markings/sec, 45 secs
lola: 6544444 markings, 25435578 edges, 109444 markings/sec, 50 secs
lola: 7095143 markings, 27693516 edges, 110140 markings/sec, 55 secs
lola: 7684308 markings, 29991039 edges, 117833 markings/sec, 60 secs
lola: 8277520 markings, 32345091 edges, 118642 markings/sec, 65 secs
lola: 8843111 markings, 34726562 edges, 113118 markings/sec, 70 secs
lola: 9408582 markings, 37197609 edges, 113094 markings/sec, 75 secs
lola: 9983276 markings, 39414024 edges, 114939 markings/sec, 80 secs
lola: 10530081 markings, 41649849 edges, 109361 markings/sec, 85 secs
lola: 11072026 markings, 43937255 edges, 108389 markings/sec, 90 secs
lola: 11621406 markings, 46325754 edges, 109876 markings/sec, 95 secs
lola: 12193724 markings, 48506723 edges, 114464 markings/sec, 100 secs
lola: 12793499 markings, 50925682 edges, 119955 markings/sec, 105 secs
lola: 13367903 markings, 53294576 edges, 114881 markings/sec, 110 secs
lola: 13928734 markings, 55719040 edges, 112166 markings/sec, 115 secs
lola: 14491301 markings, 58132497 edges, 112513 markings/sec, 120 secs
lola: 15048259 markings, 60414120 edges, 111392 markings/sec, 125 secs
lola: 15605863 markings, 62724905 edges, 111521 markings/sec, 130 secs
lola: 16145237 markings, 64940964 edges, 107875 markings/sec, 135 secs
lola: 16679282 markings, 67224440 edges, 106809 markings/sec, 140 secs
lola: 17215010 markings, 69514107 edges, 107146 markings/sec, 145 secs
lola: 17740448 markings, 71895325 edges, 105088 markings/sec, 150 secs
lola: 18294983 markings, 74169284 edges, 110907 markings/sec, 155 secs
lola: 18866346 markings, 76385511 edges, 114273 markings/sec, 160 secs
lola: 19469208 markings, 78818941 edges, 120572 markings/sec, 165 secs
lola: 20044444 markings, 81195326 edges, 115047 markings/sec, 170 secs
lola: 20605381 markings, 83582140 edges, 112187 markings/sec, 175 secs
lola: 21164941 markings, 85985645 edges, 111912 markings/sec, 180 secs
lola: 21703387 markings, 88376824 edges, 107689 markings/sec, 185 secs
lola: 22267176 markings, 90757068 edges, 112758 markings/sec, 190 secs
lola: 22806960 markings, 93232269 edges, 107957 markings/sec, 195 secs
lola: 23376816 markings, 95424517 edges, 113971 markings/sec, 200 secs
lola: 23905158 markings, 97671400 edges, 105668 markings/sec, 205 secs
lola: 24434643 markings, 99805615 edges, 105897 markings/sec, 210 secs
lola: 24957221 markings, 102061962 edges, 104516 markings/sec, 215 secs
lola: 25485873 markings, 104382773 edges, 105730 markings/sec, 220 secs
lola: 26017261 markings, 106656621 edges, 106278 markings/sec, 225 secs
lola: 26536037 markings, 108974547 edges, 103755 markings/sec, 230 secs
lola: 27078632 markings, 111294479 edges, 108519 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 143685 markings, 308573 edges, 28737 markings/sec, 0 secs
lola: 284891 markings, 601272 edges, 28241 markings/sec, 5 secs
lola: 427592 markings, 924200 edges, 28540 markings/sec, 10 secs
lola: 569493 markings, 1203361 edges, 28380 markings/sec, 15 secs
lola: 711600 markings, 1525290 edges, 28421 markings/sec, 20 secs
lola: 840077 markings, 1777432 edges, 25695 markings/sec, 25 secs
lola: 980513 markings, 2053094 edges, 28087 markings/sec, 30 secs
lola: 1120222 markings, 2327560 edges, 27942 markings/sec, 35 secs
lola: 1258312 markings, 2598488 edges, 27618 markings/sec, 40 secs
lola: 1396258 markings, 2869914 edges, 27589 markings/sec, 45 secs
lola: 1536967 markings, 3145891 edges, 28142 markings/sec, 50 secs
lola: 1677357 markings, 3421811 edges, 28078 markings/sec, 55 secs
lola: 1818245 markings, 3698112 edges, 28178 markings/sec, 60 secs
lola: 1957633 markings, 3972037 edges, 27878 markings/sec, 65 secs
lola: 2098315 markings, 4247958 edges, 28136 markings/sec, 70 secs
lola: 2237504 markings, 4562867 edges, 27838 markings/sec, 75 secs
lola: 2374481 markings, 4855873 edges, 27395 markings/sec, 80 secs
lola: 2512158 markings, 5148240 edges, 27535 markings/sec, 85 secs
lola: 2652928 markings, 5424913 edges, 28154 markings/sec, 90 secs
lola: 2793497 markings, 5701115 edges, 28114 markings/sec, 95 secs
lola: 2931617 markings, 6014636 edges, 27624 markings/sec, 100 secs
lola: 3069055 markings, 6328079 edges, 27488 markings/sec, 105 secs
lola: 3208415 markings, 6603664 edges, 27872 markings/sec, 110 secs
lola: 3348355 markings, 6877671 edges, 27988 markings/sec, 115 secs
lola: 3486502 markings, 7190950 edges, 27629 markings/sec, 120 secs
lola: 3623349 markings, 7488780 edges, 27369 markings/sec, 125 secs
lola: 3759600 markings, 7773461 edges, 27250 markings/sec, 130 secs
lola: 3899983 markings, 8048771 edges, 28077 markings/sec, 135 secs
lola: 4040802 markings, 8326056 edges, 28164 markings/sec, 140 secs
lola: 4177804 markings, 8637347 edges, 27400 markings/sec, 145 secs
lola: 4315070 markings, 8950453 edges, 27453 markings/sec, 150 secs
lola: 4454361 markings, 9225213 edges, 27858 markings/sec, 155 secs
lola: 4593802 markings, 9498775 edges, 27888 markings/sec, 160 secs
lola: 4732881 markings, 9772781 edges, 27816 markings/sec, 165 secs
lola: 4869486 markings, 10041953 edges, 27321 markings/sec, 170 secs
lola: 5006378 markings, 10312823 edges, 27378 markings/sec, 175 secs
lola: 5145485 markings, 10585975 edges, 27821 markings/sec, 180 secs
lola: 5283896 markings, 10857762 edges, 27682 markings/sec, 185 secs
lola: 5421364 markings, 11128093 edges, 27494 markings/sec, 190 secs
lola: 5556745 markings, 11395515 edges, 27076 markings/sec, 195 secs
lola: 5692363 markings, 11663995 edges, 27124 markings/sec, 200 secs
lola: 5824577 markings, 11923271 edges, 26443 markings/sec, 205 secs
lola: 5964096 markings, 12197306 edges, 27904 markings/sec, 210 secs
lola: 6102045 markings, 12468595 edges, 27590 markings/sec, 215 secs
lola: 6217283 markings, 12696171 edges, 23048 markings/sec, 220 secs
lola: 6347843 markings, 12954568 edges, 26112 markings/sec, 225 secs
lola: 6485967 markings, 13225609 edges, 27625 markings/sec, 230 secs
lola: 6623427 markings, 13495586 edges, 27492 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p108 + p109 + p110 + p111 + p112 + p113 + p114 + p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 259430 markings, 1061402 edges, 51886 markings/sec, 0 secs
lola: 499953 markings, 2252305 edges, 48105 markings/sec, 5 secs
lola: 754376 markings, 3526351 edges, 50885 markings/sec, 10 secs
lola: 1015048 markings, 4809845 edges, 52134 markings/sec, 15 secs
lola: 1274994 markings, 6112415 edges, 51989 markings/sec, 20 secs
lola: 1490011 markings, 7153388 edges, 43003 markings/sec, 25 secs
lola: 1734841 markings, 8323931 edges, 48966 markings/sec, 30 secs
lola: 1967327 markings, 9462414 edges, 46497 markings/sec, 35 secs
lola: 2222049 markings, 10821482 edges, 50944 markings/sec, 40 secs
lola: 2477814 markings, 12251240 edges, 51153 markings/sec, 45 secs
lola: 2706827 markings, 13451232 edges, 45803 markings/sec, 50 secs
lola: 2965096 markings, 14938760 edges, 51654 markings/sec, 55 secs
lola: 3215593 markings, 16347429 edges, 50099 markings/sec, 60 secs
lola: 3464403 markings, 17897687 edges, 49762 markings/sec, 65 secs
lola: 3713736 markings, 19468686 edges, 49867 markings/sec, 70 secs
lola: 3970910 markings, 20795230 edges, 51435 markings/sec, 75 secs
lola: 4226871 markings, 22105547 edges, 51192 markings/sec, 80 secs
lola: 4464323 markings, 23461345 edges, 47490 markings/sec, 85 secs
lola: 4707624 markings, 24848819 edges, 48660 markings/sec, 90 secs
lola: 4959400 markings, 26154370 edges, 50355 markings/sec, 95 secs
lola: 5215623 markings, 27476512 edges, 51245 markings/sec, 100 secs
lola: 5473540 markings, 28998892 edges, 51583 markings/sec, 105 secs
lola: 5727852 markings, 30444647 edges, 50862 markings/sec, 110 secs
lola: 5975624 markings, 31782504 edges, 49554 markings/sec, 115 secs
lola: 6226503 markings, 33088797 edges, 50176 markings/sec, 120 secs
lola: 6473310 markings, 34538410 edges, 49361 markings/sec, 125 secs
lola: 6731078 markings, 35945387 edges, 51554 markings/sec, 130 secs
lola: 6989525 markings, 37357435 edges, 51689 markings/sec, 135 secs
lola: 7246440 markings, 38717596 edges, 51383 markings/sec, 140 secs
lola: 7500136 markings, 40201793 edges, 50739 markings/sec, 145 secs
lola: 7745822 markings, 41590625 edges, 49137 markings/sec, 150 secs
lola: 7987639 markings, 42988169 edges, 48363 markings/sec, 155 secs
lola: 8231003 markings, 44168122 edges, 48673 markings/sec, 160 secs
lola: 8474914 markings, 45411653 edges, 48782 markings/sec, 165 secs
lola: 8698963 markings, 46724774 edges, 44810 markings/sec, 170 secs
lola: 8932010 markings, 47973523 edges, 46609 markings/sec, 175 secs
lola: 9132758 markings, 49077008 edges, 40150 markings/sec, 180 secs
lola: 9367531 markings, 50349021 edges, 46955 markings/sec, 185 secs
lola: 9614930 markings, 51541935 edges, 49480 markings/sec, 190 secs
lola: 9863551 markings, 52806687 edges, 49724 markings/sec, 195 secs
lola: 10108141 markings, 54251312 edges, 48918 markings/sec, 200 secs
lola: 10363188 markings, 55612641 edges, 51009 markings/sec, 205 secs
lola: 10615271 markings, 56984947 edges, 50417 markings/sec, 210 secs
lola: 10865467 markings, 58346670 edges, 50039 markings/sec, 215 secs
lola: 11106556 markings, 59621376 edges, 48218 markings/sec, 220 secs
lola: 11358768 markings, 60952529 edges, 50442 markings/sec, 225 secs
lola: 11623803 markings, 62425220 edges, 53007 markings/sec, 230 secs
lola: 11876425 markings, 63802103 edges, 50524 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 135531 markings, 284605 edges, 27106 markings/sec, 0 secs
lola: 276305 markings, 584490 edges, 28155 markings/sec, 5 secs
lola: 419228 markings, 905768 edges, 28585 markings/sec, 10 secs
lola: 560720 markings, 1186124 edges, 28298 markings/sec, 15 secs
lola: 702934 markings, 1508145 edges, 28443 markings/sec, 20 secs
lola: 844504 markings, 1786093 edges, 28314 markings/sec, 25 secs
lola: 985464 markings, 2062833 edges, 28192 markings/sec, 30 secs
lola: 1125190 markings, 2337175 edges, 27945 markings/sec, 35 secs
lola: 1263017 markings, 2607708 edges, 27565 markings/sec, 40 secs
lola: 1400891 markings, 2879016 edges, 27575 markings/sec, 45 secs
lola: 1541257 markings, 3154027 edges, 28073 markings/sec, 50 secs
lola: 1681411 markings, 3429779 edges, 28031 markings/sec, 55 secs
lola: 1821968 markings, 3705457 edges, 28111 markings/sec, 60 secs
lola: 1961190 markings, 3978978 edges, 27844 markings/sec, 65 secs
lola: 2101625 markings, 4254482 edges, 28087 markings/sec, 70 secs
lola: 2240275 markings, 4568294 edges, 27730 markings/sec, 75 secs
lola: 2376833 markings, 4861822 edges, 27312 markings/sec, 80 secs
lola: 2514266 markings, 5152374 edges, 27487 markings/sec, 85 secs
lola: 2654926 markings, 5428856 edges, 28132 markings/sec, 90 secs
lola: 2795702 markings, 5705518 edges, 28155 markings/sec, 95 secs
lola: 2933451 markings, 6018226 edges, 27550 markings/sec, 100 secs
lola: 3070742 markings, 6331460 edges, 27458 markings/sec, 105 secs
lola: 3209958 markings, 6606323 edges, 27843 markings/sec, 110 secs
lola: 3349857 markings, 6880574 edges, 27980 markings/sec, 115 secs
lola: 3487904 markings, 7193697 edges, 27609 markings/sec, 120 secs
lola: 3624533 markings, 7491699 edges, 27326 markings/sec, 125 secs
lola: 3760724 markings, 7775603 edges, 27238 markings/sec, 130 secs
lola: 3900832 markings, 8050427 edges, 28022 markings/sec, 135 secs
lola: 4041444 markings, 8327348 edges, 28122 markings/sec, 140 secs
lola: 4178242 markings, 8638229 edges, 27360 markings/sec, 145 secs
lola: 4315349 markings, 8951006 edges, 27421 markings/sec, 150 secs
lola: 4454343 markings, 9225177 edges, 27799 markings/sec, 155 secs
lola: 4593691 markings, 9498549 edges, 27870 markings/sec, 160 secs
lola: 4732572 markings, 9772224 edges, 27776 markings/sec, 165 secs
lola: 4865607 markings, 10034302 edges, 26607 markings/sec, 170 secs
lola: 4992533 markings, 10285368 edges, 25385 markings/sec, 175 secs
lola: 5125785 markings, 10547203 edges, 26650 markings/sec, 180 secs
lola: 5255421 markings, 10801561 edges, 25927 markings/sec, 185 secs
lola: 5386974 markings, 11060728 edges, 26311 markings/sec, 190 secs
lola: 5521940 markings, 11326630 edges, 26993 markings/sec, 195 secs
lola: 5657471 markings, 11594696 edges, 27106 markings/sec, 200 secs
lola: 5795666 markings, 11866234 edges, 27639 markings/sec, 205 secs
lola: 5934862 markings, 12139501 edges, 27839 markings/sec, 210 secs
lola: 6073500 markings, 12412177 edges, 27728 markings/sec, 215 secs
lola: 6209523 markings, 12680773 edges, 27205 markings/sec, 220 secs
lola: 6346367 markings, 12951667 edges, 27369 markings/sec, 225 secs
lola: 6484791 markings, 13223280 edges, 27685 markings/sec, 230 secs
lola: 6622542 markings, 13493779 edges, 27550 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161 + p162 + p163 + p164 + p165 + p166 + p167 + p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 12 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 172191 markings, 639213 edges, 34438 markings/sec, 0 secs
lola: 329750 markings, 1336116 edges, 31512 markings/sec, 5 secs
lola: 499759 markings, 2182511 edges, 34002 markings/sec, 10 secs
lola: 674122 markings, 2984139 edges, 34873 markings/sec, 15 secs
lola: 846442 markings, 3708153 edges, 34464 markings/sec, 20 secs
lola: 1019799 markings, 4424760 edges, 34671 markings/sec, 25 secs
lola: 1201596 markings, 5205901 edges, 36359 markings/sec, 30 secs
lola: 1384538 markings, 5992666 edges, 36588 markings/sec, 35 secs
lola: 1568976 markings, 6763203 edges, 36888 markings/sec, 40 secs
lola: 1746284 markings, 7505777 edges, 35462 markings/sec, 45 secs
lola: 1929803 markings, 8236817 edges, 36704 markings/sec, 50 secs
lola: 2108057 markings, 9005194 edges, 35651 markings/sec, 55 secs
lola: 2292405 markings, 9752075 edges, 36870 markings/sec, 60 secs
lola: 2459425 markings, 10622519 edges, 33404 markings/sec, 65 secs
lola: 2630532 markings, 11486762 edges, 34221 markings/sec, 70 secs
lola: 2807729 markings, 12332761 edges, 35439 markings/sec, 75 secs
lola: 2984085 markings, 13160021 edges, 35271 markings/sec, 80 secs
lola: 3153393 markings, 14033676 edges, 33862 markings/sec, 85 secs
lola: 3315307 markings, 15025452 edges, 32383 markings/sec, 90 secs
lola: 3475354 markings, 16083214 edges, 32009 markings/sec, 95 secs
lola: 3623652 markings, 17298739 edges, 29660 markings/sec, 100 secs
lola: 3774411 markings, 18529499 edges, 30152 markings/sec, 105 secs
lola: 3925194 markings, 19712921 edges, 30157 markings/sec, 110 secs
lola: 4088328 markings, 20727323 edges, 32627 markings/sec, 115 secs
lola: 4254386 markings, 21677060 edges, 33212 markings/sec, 120 secs
lola: 4417545 markings, 22704247 edges, 32632 markings/sec, 125 secs
lola: 4566146 markings, 23954222 edges, 29720 markings/sec, 130 secs
lola: 4730696 markings, 24997876 edges, 32910 markings/sec, 135 secs
lola: 4891431 markings, 26144995 edges, 32147 markings/sec, 140 secs
lola: 5060676 markings, 27158413 edges, 33849 markings/sec, 145 secs
lola: 5225166 markings, 28294266 edges, 32898 markings/sec, 150 secs
lola: 5392837 markings, 29374649 edges, 33534 markings/sec, 155 secs
lola: 5560854 markings, 30382028 edges, 33603 markings/sec, 160 secs
lola: 5724652 markings, 31552518 edges, 32760 markings/sec, 165 secs
lola: 5893042 markings, 32674801 edges, 33678 markings/sec, 170 secs
lola: 6061849 markings, 33522358 edges, 33761 markings/sec, 175 secs
lola: 6237070 markings, 34326614 edges, 35044 markings/sec, 180 secs
lola: 6397946 markings, 35258959 edges, 32175 markings/sec, 185 secs
lola: 6568319 markings, 36137947 edges, 34075 markings/sec, 190 secs
lola: 6728149 markings, 37155231 edges, 31966 markings/sec, 195 secs
lola: 6874047 markings, 38444238 edges, 29180 markings/sec, 200 secs
lola: 7038661 markings, 39414420 edges, 32923 markings/sec, 205 secs
lola: 7195294 markings, 40563808 edges, 31327 markings/sec, 210 secs
lola: 7360616 markings, 41670050 edges, 33064 markings/sec, 215 secs
lola: 7528463 markings, 42749009 edges, 33569 markings/sec, 220 secs
lola: 7701260 markings, 43599078 edges, 34559 markings/sec, 225 secs
lola: 7865994 markings, 44617763 edges, 32947 markings/sec, 230 secs
lola: 8032283 markings, 45629938 edges, 33258 markings/sec, 235 secs
lola: 8200041 markings, 46729214 edges, 33552 markings/sec, 240 secs
lola: 8373572 markings, 47659009 edges, 34706 markings/sec, 245 secs
lola: 8539337 markings, 48672829 edges, 33153 markings/sec, 250 secs
lola: 8708670 markings, 49643883 edges, 33867 markings/sec, 255 secs
lola: 8875395 markings, 50505262 edges, 33345 markings/sec, 260 secs
lola: 9049773 markings, 51312275 edges, 34876 markings/sec, 265 secs
lola: 9228634 markings, 52140952 edges, 35772 markings/sec, 270 secs
lola: 9405591 markings, 52929544 edges, 35391 markings/sec, 275 secs
lola: 9583935 markings, 53716685 edges, 35669 markings/sec, 280 secs
lola: 9756144 markings, 54553436 edges, 34442 markings/sec, 285 secs
lola: 9927036 markings, 55425479 edges, 34178 markings/sec, 290 secs
lola: 10103511 markings, 56300797 edges, 35295 markings/sec, 295 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 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p117 + p118 + p119 + p120 + p121 + p122 + p123 + p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 139314 markings, 295693 edges, 27863 markings/sec, 0 secs
lola: 280012 markings, 591719 edges, 28140 markings/sec, 5 secs
lola: 422618 markings, 914784 edges, 28521 markings/sec, 10 secs
lola: 563996 markings, 1192597 edges, 28276 markings/sec, 15 secs
lola: 705925 markings, 1514086 edges, 28386 markings/sec, 20 secs
lola: 847316 markings, 1791605 edges, 28278 markings/sec, 25 secs
lola: 988093 markings, 2068014 edges, 28155 markings/sec, 30 secs
lola: 1127700 markings, 2342072 edges, 27921 markings/sec, 35 secs
lola: 1265353 markings, 2612278 edges, 27531 markings/sec, 40 secs
lola: 1403213 markings, 2883231 edges, 27572 markings/sec, 45 secs
lola: 1543296 markings, 3158010 edges, 28017 markings/sec, 50 secs
lola: 1683388 markings, 3433628 edges, 28018 markings/sec, 55 secs
lola: 1823685 markings, 3708637 edges, 28059 markings/sec, 60 secs
lola: 1962778 markings, 3982139 edges, 27819 markings/sec, 65 secs
lola: 2103131 markings, 4257147 edges, 28071 markings/sec, 70 secs
lola: 2241576 markings, 4570865 edges, 27689 markings/sec, 75 secs
lola: 2378066 markings, 4864931 edges, 27298 markings/sec, 80 secs
lola: 2515308 markings, 5154472 edges, 27448 markings/sec, 85 secs
lola: 2655644 markings, 5430300 edges, 28067 markings/sec, 90 secs
lola: 2796126 markings, 5706374 edges, 28096 markings/sec, 95 secs
lola: 2933647 markings, 6018626 edges, 27504 markings/sec, 100 secs
lola: 3070611 markings, 6331198 edges, 27393 markings/sec, 105 secs
lola: 3209438 markings, 6605364 edges, 27765 markings/sec, 110 secs
lola: 3348968 markings, 6878865 edges, 27906 markings/sec, 115 secs
lola: 3486680 markings, 7191314 edges, 27542 markings/sec, 120 secs
lola: 3623037 markings, 7487977 edges, 27271 markings/sec, 125 secs
lola: 3758970 markings, 7772190 edges, 27187 markings/sec, 130 secs
lola: 3898633 markings, 8046164 edges, 27933 markings/sec, 135 secs
lola: 4039056 markings, 8322592 edges, 28085 markings/sec, 140 secs
lola: 4175616 markings, 8633018 edges, 27312 markings/sec, 145 secs
lola: 4312511 markings, 8945361 edges, 27379 markings/sec, 150 secs
lola: 4451279 markings, 9219281 edges, 27754 markings/sec, 155 secs
lola: 4590321 markings, 9491936 edges, 27808 markings/sec, 160 secs
lola: 4728995 markings, 9765130 edges, 27735 markings/sec, 165 secs
lola: 4865243 markings, 10033563 edges, 27250 markings/sec, 170 secs
lola: 5001783 markings, 10303712 edges, 27308 markings/sec, 175 secs
lola: 5140287 markings, 10575736 edges, 27701 markings/sec, 180 secs
lola: 5278265 markings, 10846661 edges, 27596 markings/sec, 185 secs
lola: 5415521 markings, 11116546 edges, 27451 markings/sec, 190 secs
lola: 5550859 markings, 11383906 edges, 27068 markings/sec, 195 secs
lola: 5686173 markings, 11651730 edges, 27063 markings/sec, 200 secs
lola: 5824609 markings, 11923334 edges, 27687 markings/sec, 205 secs
lola: 5963703 markings, 12196596 edges, 27819 markings/sec, 210 secs
lola: 6101348 markings, 12467203 edges, 27529 markings/sec, 215 secs
lola: 6237315 markings, 12735898 edges, 27193 markings/sec, 220 secs
lola: 6373918 markings, 13006418 edges, 27321 markings/sec, 225 secs
lola: 6512342 markings, 13277031 edges, 27685 markings/sec, 230 secs
lola: 6649620 markings, 13547471 edges, 27456 markings/sec, 235 secs
lola: 6785492 markings, 13814633 edges, 27174 markings/sec, 240 secs
lola: 6920357 markings, 14081178 edges, 26973 markings/sec, 245 secs
lola: 7055778 markings, 14349422 edges, 27084 markings/sec, 250 secs
lola: 7192809 markings, 14744652 edges, 27406 markings/sec, 255 secs
lola: 7326900 markings, 15117453 edges, 26818 markings/sec, 260 secs
lola: 7463619 markings, 15501717 edges, 27344 markings/sec, 265 secs
lola: 7597421 markings, 15884091 edges, 26760 markings/sec, 270 secs
lola: 7733610 markings, 16255041 edges, 27238 markings/sec, 275 secs
lola: 7865790 markings, 16645601 edges, 26436 markings/sec, 280 secs
lola: 8002933 markings, 17008223 edges, 27429 markings/sec, 285 secs
lola: 8136714 markings, 17413174 edges, 26756 markings/sec, 290 secs
lola: 8275428 markings, 17693338 edges, 27743 markings/sec, 295 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 305 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: ========================================
lola: subprocess 15 will run for 610 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42 + p43 + p44 + p45 + p46 + p47 + p48 + p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 708 bytes per marking, with 0 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: 100
lola: produced by: state space
lola: The maximum value of the given expression is 100
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown 100 unknown unknown unknown unknown unknown 100 unknown unknown 100 100
lola: ========================================
FORMULA PermAdmissibility-COL-50-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-5 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-11 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-14 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PermAdmissibility-COL-50-UpperBounds-15 100 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496387584799
--------------------
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_PermAdmissibility-COL-50"
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_PermAdmissibility-COL-50.tgz
mv S_PermAdmissibility-COL-50 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PermAdmissibility-COL-50, 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 r118-blw7-149441650200389"
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 ;