About the Execution of LoLA for TriangularGrid-PT-5020
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
8054.570 | 3540209.00 | 3555844.00 | 800.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 TriangularGrid-PT-5020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008700353
=====================================================================
--------------------
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 TriangularGrid-PT-5020-UpperBounds-0
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-1
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-10
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-11
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-12
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-13
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-14
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-15
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-2
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-3
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-4
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-5
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-6
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-7
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-8
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494946185122
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TriangularGrid-PT-5020 @ 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: 520/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: finding significant places
lola: 280 places, 240 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 355 transition conflict sets
lola: TASK
lola: reading formula from TriangularGrid-PT-5020-UpperBounds.task
lola: MAX(pi3_1_1) : MAX(pil2_4_1) : MAX(pb2_3_2) : MAX(pil2_5_7) : MAX(pi1_3_1) : MAX(pb1_2_3) : MAX(pb1_5_8) : MAX(pil3_5_9) : MAX(pi1_5_7) : MAX(pb3_3_2) : MAX(pb2_2_1) : MAX(pi3_2_3) : MAX(pb2_3_1) : MAX(pil2_4_7) : MAX(pb2_2_1) : MAX(pol3_2_3)
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(pi3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 601617 markings, 861241 edges, 120323 markings/sec, 0 secs
lola: 1154386 markings, 1666673 edges, 110554 markings/sec, 5 secs
lola: 1437039 markings, 2726204 edges, 56531 markings/sec, 10 secs
lola: 1985567 markings, 3531420 edges, 109706 markings/sec, 15 secs
lola: 2417781 markings, 4493362 edges, 86443 markings/sec, 20 secs
lola: 2999622 markings, 5271001 edges, 116368 markings/sec, 25 secs
lola: 3573530 markings, 6010694 edges, 114782 markings/sec, 30 secs
lola: 4131521 markings, 6744300 edges, 111598 markings/sec, 35 secs
lola: 4676946 markings, 7470542 edges, 109085 markings/sec, 40 secs
lola: 5213784 markings, 8195029 edges, 107368 markings/sec, 45 secs
lola: 5743035 markings, 8921643 edges, 105850 markings/sec, 50 secs
lola: 6263400 markings, 9642186 edges, 104073 markings/sec, 55 secs
lola: 6777626 markings, 10365434 edges, 102845 markings/sec, 60 secs
lola: 7288598 markings, 11091288 edges, 102194 markings/sec, 65 secs
lola: 7790979 markings, 11815558 edges, 100476 markings/sec, 70 secs
lola: 8284508 markings, 12544016 edges, 98706 markings/sec, 75 secs
lola: 8772956 markings, 13272945 edges, 97690 markings/sec, 80 secs
lola: 9255541 markings, 14004970 edges, 96517 markings/sec, 85 secs
lola: 9735425 markings, 14742368 edges, 95977 markings/sec, 90 secs
lola: 10208516 markings, 15478893 edges, 94618 markings/sec, 95 secs
lola: 10672938 markings, 16216020 edges, 92884 markings/sec, 100 secs
lola: 11132085 markings, 16955722 edges, 91829 markings/sec, 105 secs
lola: 11587656 markings, 17702034 edges, 91114 markings/sec, 110 secs
lola: 12036323 markings, 18460770 edges, 89733 markings/sec, 115 secs
lola: 12470423 markings, 19236005 edges, 86820 markings/sec, 120 secs
lola: 12901385 markings, 20053586 edges, 86192 markings/sec, 125 secs
lola: 13327825 markings, 20905954 edges, 85288 markings/sec, 130 secs
lola: 13754873 markings, 21879877 edges, 85410 markings/sec, 135 secs
lola: 13823645 markings, 22928627 edges, 13754 markings/sec, 140 secs
lola: 13831466 markings, 23618462 edges, 1564 markings/sec, 145 secs
lola: 13838804 markings, 24212055 edges, 1468 markings/sec, 150 secs
lola: 13845707 markings, 24779585 edges, 1381 markings/sec, 155 secs
lola: 13851218 markings, 25340371 edges, 1102 markings/sec, 160 secs
lola: 13857953 markings, 26063350 edges, 1347 markings/sec, 165 secs
lola: 13866203 markings, 27020602 edges, 1650 markings/sec, 170 secs
lola: 13874567 markings, 27986225 edges, 1673 markings/sec, 175 secs
lola: 13985311 markings, 28970150 edges, 22149 markings/sec, 180 secs
lola: 14491985 markings, 29661198 edges, 101335 markings/sec, 185 secs
lola: 14948975 markings, 30333562 edges, 91398 markings/sec, 190 secs
lola: 15252128 markings, 31182301 edges, 60631 markings/sec, 195 secs
lola: 15655981 markings, 31937181 edges, 80771 markings/sec, 200 secs
lola: 16185789 markings, 32614040 edges, 105962 markings/sec, 205 secs
lola: 16699947 markings, 33284720 edges, 102832 markings/sec, 210 secs
lola: 17204613 markings, 33952161 edges, 100933 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(pil2_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 759593 markings, 1041566 edges, 151919 markings/sec, 0 secs
lola: 1616559 markings, 2004598 edges, 171393 markings/sec, 5 secs
lola: 2438235 markings, 2931435 edges, 164335 markings/sec, 10 secs
lola: 3234621 markings, 3829650 edges, 159277 markings/sec, 15 secs
lola: 3933432 markings, 4734176 edges, 139762 markings/sec, 20 secs
lola: 4536362 markings, 5649015 edges, 120586 markings/sec, 25 secs
lola: 5143713 markings, 6482184 edges, 121470 markings/sec, 30 secs
lola: 5789265 markings, 7373334 edges, 129110 markings/sec, 35 secs
lola: 6386720 markings, 8304569 edges, 119491 markings/sec, 40 secs
lola: 6729906 markings, 9337359 edges, 68637 markings/sec, 45 secs
lola: 7331032 markings, 10118633 edges, 120225 markings/sec, 50 secs
lola: 7923137 markings, 10905586 edges, 118421 markings/sec, 55 secs
lola: 8519768 markings, 11708973 edges, 119326 markings/sec, 60 secs
lola: 9098148 markings, 12514132 edges, 115676 markings/sec, 65 secs
lola: 9668151 markings, 13312325 edges, 114001 markings/sec, 70 secs
lola: 10239579 markings, 14111843 edges, 114286 markings/sec, 75 secs
lola: 10791857 markings, 14921024 edges, 110456 markings/sec, 80 secs
lola: 11309538 markings, 15784530 edges, 103536 markings/sec, 85 secs
lola: 11968561 markings, 16654130 edges, 131805 markings/sec, 90 secs
lola: 12603216 markings, 17485420 edges, 126931 markings/sec, 95 secs
lola: 13227698 markings, 18332408 edges, 124896 markings/sec, 100 secs
lola: 13841446 markings, 19159271 edges, 122750 markings/sec, 105 secs
lola: 14447152 markings, 20007106 edges, 121141 markings/sec, 110 secs
lola: 15045452 markings, 20836907 edges, 119660 markings/sec, 115 secs
lola: 15619192 markings, 21669856 edges, 114748 markings/sec, 120 secs
lola: 16158474 markings, 22546176 edges, 107856 markings/sec, 125 secs
lola: 16396238 markings, 23609389 edges, 47553 markings/sec, 130 secs
lola: 16493151 markings, 24727327 edges, 19383 markings/sec, 135 secs
lola: 16524806 markings, 25788668 edges, 6331 markings/sec, 140 secs
lola: 16809632 markings, 26732352 edges, 56965 markings/sec, 145 secs
lola: 17383800 markings, 27476589 edges, 114834 markings/sec, 150 secs
lola: 17894863 markings, 28299834 edges, 102213 markings/sec, 155 secs
lola: 18486423 markings, 29036991 edges, 118312 markings/sec, 160 secs
lola: 19065127 markings, 29785967 edges, 115741 markings/sec, 165 secs
lola: 19648134 markings, 30533863 edges, 116601 markings/sec, 170 secs
lola: 20207558 markings, 31313522 edges, 111885 markings/sec, 175 secs
lola: 20776314 markings, 32050149 edges, 113751 markings/sec, 180 secs
lola: 21349726 markings, 32842008 edges, 114682 markings/sec, 185 secs
lola: 21911825 markings, 33580711 edges, 112420 markings/sec, 190 secs
lola: 22470357 markings, 34320045 edges, 111706 markings/sec, 195 secs
lola: 23034271 markings, 35063872 edges, 112783 markings/sec, 200 secs
lola: 23588369 markings, 35801534 edges, 110820 markings/sec, 205 secs
lola: 24139078 markings, 36585138 edges, 110142 markings/sec, 210 secs
lola: 24694153 markings, 37330276 edges, 111015 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(pb2_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 711876 markings, 947698 edges, 142375 markings/sec, 0 secs
lola: 1318494 markings, 1818437 edges, 121324 markings/sec, 5 secs
lola: 1945159 markings, 2645831 edges, 125333 markings/sec, 10 secs
lola: 2550489 markings, 3460549 edges, 121066 markings/sec, 15 secs
lola: 3145936 markings, 4293225 edges, 119089 markings/sec, 20 secs
lola: 3737586 markings, 5101839 edges, 118330 markings/sec, 25 secs
lola: 4320699 markings, 5930315 edges, 116623 markings/sec, 30 secs
lola: 4898366 markings, 6741300 edges, 115533 markings/sec, 35 secs
lola: 5458991 markings, 7563800 edges, 112125 markings/sec, 40 secs
lola: 5981997 markings, 8421607 edges, 104601 markings/sec, 45 secs
lola: 6111174 markings, 9557433 edges, 25835 markings/sec, 50 secs
lola: 6400914 markings, 10607309 edges, 57948 markings/sec, 55 secs
lola: 6989202 markings, 11411996 edges, 117658 markings/sec, 60 secs
lola: 7548424 markings, 12272405 edges, 111844 markings/sec, 65 secs
lola: 8156945 markings, 13034553 edges, 121704 markings/sec, 70 secs
lola: 8754501 markings, 13834154 edges, 119511 markings/sec, 75 secs
lola: 9339352 markings, 14615980 edges, 116970 markings/sec, 80 secs
lola: 9926635 markings, 15419857 edges, 117457 markings/sec, 85 secs
lola: 10504120 markings, 16169357 edges, 115497 markings/sec, 90 secs
lola: 11077731 markings, 16918681 edges, 114722 markings/sec, 95 secs
lola: 11649031 markings, 17669946 edges, 114260 markings/sec, 100 secs
lola: 12219225 markings, 18430986 edges, 114039 markings/sec, 105 secs
lola: 12783426 markings, 19182737 edges, 112840 markings/sec, 110 secs
lola: 13328793 markings, 19948462 edges, 109073 markings/sec, 115 secs
lola: 13896895 markings, 20702573 edges, 113620 markings/sec, 120 secs
lola: 14458492 markings, 21498769 edges, 112319 markings/sec, 125 secs
lola: 15038265 markings, 22322121 edges, 115955 markings/sec, 130 secs
lola: 15599268 markings, 23079998 edges, 112201 markings/sec, 135 secs
lola: 16165470 markings, 23841649 edges, 113240 markings/sec, 140 secs
lola: 16719972 markings, 24593219 edges, 110900 markings/sec, 145 secs
lola: 17277483 markings, 25352361 edges, 111502 markings/sec, 150 secs
lola: 17835171 markings, 26115753 edges, 111538 markings/sec, 155 secs
lola: 18391942 markings, 26880544 edges, 111354 markings/sec, 160 secs
lola: 18945105 markings, 27646171 edges, 110633 markings/sec, 165 secs
lola: 19506213 markings, 28413585 edges, 112222 markings/sec, 170 secs
lola: 20056195 markings, 29177635 edges, 109996 markings/sec, 175 secs
lola: 20603262 markings, 29945030 edges, 109413 markings/sec, 180 secs
lola: 21148418 markings, 30715931 edges, 109031 markings/sec, 185 secs
lola: 21691516 markings, 31490193 edges, 108620 markings/sec, 190 secs
lola: 22233729 markings, 32270025 edges, 108443 markings/sec, 195 secs
lola: 22778327 markings, 33052303 edges, 108920 markings/sec, 200 secs
lola: 23312917 markings, 33829349 edges, 106918 markings/sec, 205 secs
lola: 23839781 markings, 34606123 edges, 105373 markings/sec, 210 secs
lola: 24355866 markings, 35389099 edges, 103217 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(pil2_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 535521 markings, 661744 edges, 107104 markings/sec, 0 secs
lola: 1049939 markings, 1333695 edges, 102884 markings/sec, 5 secs
lola: 1557656 markings, 1980239 edges, 101543 markings/sec, 10 secs
lola: 2068519 markings, 2608854 edges, 102173 markings/sec, 15 secs
lola: 2587513 markings, 3242419 edges, 103799 markings/sec, 20 secs
lola: 3113146 markings, 3897115 edges, 105127 markings/sec, 25 secs
lola: 3549033 markings, 4655038 edges, 87177 markings/sec, 30 secs
lola: 4031671 markings, 5286117 edges, 96528 markings/sec, 35 secs
lola: 4521275 markings, 5900539 edges, 97921 markings/sec, 40 secs
lola: 4968276 markings, 6573740 edges, 89400 markings/sec, 45 secs
lola: 5443175 markings, 7175602 edges, 94980 markings/sec, 50 secs
lola: 5920831 markings, 7791871 edges, 95531 markings/sec, 55 secs
lola: 6400653 markings, 8407638 edges, 95964 markings/sec, 60 secs
lola: 6891765 markings, 9033927 edges, 98222 markings/sec, 65 secs
lola: 7377279 markings, 9706730 edges, 97103 markings/sec, 70 secs
lola: 7740480 markings, 10485806 edges, 72640 markings/sec, 75 secs
lola: 8214131 markings, 11091230 edges, 94730 markings/sec, 80 secs
lola: 8686437 markings, 11691531 edges, 94461 markings/sec, 85 secs
lola: 9157535 markings, 12296902 edges, 94220 markings/sec, 90 secs
lola: 9630699 markings, 12906556 edges, 94633 markings/sec, 95 secs
lola: 10104624 markings, 13526933 edges, 94785 markings/sec, 100 secs
lola: 10577558 markings, 14146623 edges, 94587 markings/sec, 105 secs
lola: 11055761 markings, 14776881 edges, 95641 markings/sec, 110 secs
lola: 11534903 markings, 15400161 edges, 95828 markings/sec, 115 secs
lola: 12020755 markings, 16029079 edges, 97170 markings/sec, 120 secs
lola: 12516032 markings, 16663777 edges, 99055 markings/sec, 125 secs
lola: 13005245 markings, 17335864 edges, 97843 markings/sec, 130 secs
lola: 13499178 markings, 17979621 edges, 98787 markings/sec, 135 secs
lola: 13958899 markings, 18665375 edges, 91944 markings/sec, 140 secs
lola: 14357321 markings, 19411390 edges, 79684 markings/sec, 145 secs
lola: 14627072 markings, 20225140 edges, 53950 markings/sec, 150 secs
lola: 15096434 markings, 20852493 edges, 93872 markings/sec, 155 secs
lola: 15579172 markings, 21464615 edges, 96548 markings/sec, 160 secs
lola: 16009365 markings, 22135960 edges, 86039 markings/sec, 165 secs
lola: 16472227 markings, 22731101 edges, 92572 markings/sec, 170 secs
lola: 16932813 markings, 23332811 edges, 92117 markings/sec, 175 secs
lola: 17399065 markings, 23937713 edges, 93250 markings/sec, 180 secs
lola: 17873396 markings, 24549283 edges, 94866 markings/sec, 185 secs
lola: 18360425 markings, 25208519 edges, 97406 markings/sec, 190 secs
lola: 18834863 markings, 25876317 edges, 94888 markings/sec, 195 secs
lola: 19158290 markings, 26636648 edges, 64685 markings/sec, 200 secs
lola: 19609846 markings, 27213833 edges, 90311 markings/sec, 205 secs
lola: 20064400 markings, 27798523 edges, 90911 markings/sec, 210 secs
lola: 20519035 markings, 28396433 edges, 90927 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(pi1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 711726 markings, 837464 edges, 142345 markings/sec, 0 secs
lola: 1399069 markings, 1657657 edges, 137469 markings/sec, 5 secs
lola: 2067795 markings, 2488803 edges, 133745 markings/sec, 10 secs
lola: 2729616 markings, 3334230 edges, 132364 markings/sec, 15 secs
lola: 3380652 markings, 4144165 edges, 130207 markings/sec, 20 secs
lola: 4038956 markings, 4899311 edges, 131661 markings/sec, 25 secs
lola: 4683982 markings, 5648030 edges, 129005 markings/sec, 30 secs
lola: 5343674 markings, 6412737 edges, 131938 markings/sec, 35 secs
lola: 6012717 markings, 7227772 edges, 133809 markings/sec, 40 secs
lola: 6640809 markings, 8056304 edges, 125618 markings/sec, 45 secs
lola: 7268490 markings, 8874810 edges, 125536 markings/sec, 50 secs
lola: 7905747 markings, 9677542 edges, 127451 markings/sec, 55 secs
lola: 8541781 markings, 10507089 edges, 127207 markings/sec, 60 secs
lola: 9164447 markings, 11294063 edges, 124533 markings/sec, 65 secs
lola: 9820602 markings, 12055174 edges, 131231 markings/sec, 70 secs
lola: 10395728 markings, 12914708 edges, 115025 markings/sec, 75 secs
lola: 11041767 markings, 13688191 edges, 129208 markings/sec, 80 secs
lola: 11687917 markings, 14438417 edges, 129230 markings/sec, 85 secs
lola: 12272766 markings, 15237986 edges, 116970 markings/sec, 90 secs
lola: 12894018 markings, 15966435 edges, 124250 markings/sec, 95 secs
lola: 13521557 markings, 16700872 edges, 125508 markings/sec, 100 secs
lola: 14158941 markings, 17438955 edges, 127477 markings/sec, 105 secs
lola: 14784857 markings, 18173542 edges, 125183 markings/sec, 110 secs
lola: 15405593 markings, 18924846 edges, 124147 markings/sec, 115 secs
lola: 15948896 markings, 19771320 edges, 108661 markings/sec, 120 secs
lola: 16503376 markings, 20602350 edges, 110896 markings/sec, 125 secs
lola: 17134449 markings, 21337346 edges, 126215 markings/sec, 130 secs
lola: 17764968 markings, 22076318 edges, 126104 markings/sec, 135 secs
lola: 18407060 markings, 22823580 edges, 128418 markings/sec, 140 secs
lola: 19037085 markings, 23562014 edges, 126005 markings/sec, 145 secs
lola: 19665294 markings, 24312318 edges, 125642 markings/sec, 150 secs
lola: 20223072 markings, 25149380 edges, 111556 markings/sec, 155 secs
lola: 20810129 markings, 25966532 edges, 117411 markings/sec, 160 secs
lola: 21407443 markings, 26743142 edges, 119463 markings/sec, 165 secs
lola: 22026134 markings, 27466994 edges, 123738 markings/sec, 170 secs
lola: 22636836 markings, 28185273 edges, 122140 markings/sec, 175 secs
lola: 23241857 markings, 28904473 edges, 121004 markings/sec, 180 secs
lola: 23855383 markings, 29628901 edges, 122705 markings/sec, 185 secs
lola: 24465811 markings, 30351292 edges, 122086 markings/sec, 190 secs
lola: 25071042 markings, 31097019 edges, 121046 markings/sec, 195 secs
lola: 25591604 markings, 31924902 edges, 104112 markings/sec, 200 secs
lola: 26142734 markings, 32749250 edges, 110226 markings/sec, 205 secs
lola: 26776554 markings, 33487866 edges, 126764 markings/sec, 210 secs
lola: 27398857 markings, 34218224 edges, 124461 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(pb1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 382216 markings, 822261 edges, 76443 markings/sec, 0 secs
lola: 697643 markings, 1762732 edges, 63085 markings/sec, 5 secs
lola: 1049519 markings, 2598504 edges, 70375 markings/sec, 10 secs
lola: 1414954 markings, 3350938 edges, 73087 markings/sec, 15 secs
lola: 1663122 markings, 4369281 edges, 49634 markings/sec, 20 secs
lola: 2032894 markings, 5136033 edges, 73954 markings/sec, 25 secs
lola: 2335292 markings, 5973713 edges, 60480 markings/sec, 30 secs
lola: 2657167 markings, 6849156 edges, 64375 markings/sec, 35 secs
lola: 2991825 markings, 7723120 edges, 66932 markings/sec, 40 secs
lola: 3332340 markings, 8609140 edges, 68103 markings/sec, 45 secs
lola: 3651121 markings, 9516706 edges, 63756 markings/sec, 50 secs
lola: 3997805 markings, 10332563 edges, 69337 markings/sec, 55 secs
lola: 4354324 markings, 11067453 edges, 71304 markings/sec, 60 secs
lola: 4689442 markings, 11829663 edges, 67024 markings/sec, 65 secs
lola: 5021964 markings, 12615384 edges, 66504 markings/sec, 70 secs
lola: 5304704 markings, 13635840 edges, 56548 markings/sec, 75 secs
lola: 5316142 markings, 14930459 edges, 2288 markings/sec, 80 secs
lola: 5637136 markings, 15794530 edges, 64199 markings/sec, 85 secs
lola: 5943845 markings, 16731901 edges, 61342 markings/sec, 90 secs
lola: 6297643 markings, 17434579 edges, 70760 markings/sec, 95 secs
lola: 6630773 markings, 18149189 edges, 66626 markings/sec, 100 secs
lola: 6950575 markings, 18898979 edges, 63960 markings/sec, 105 secs
lola: 7273456 markings, 19698400 edges, 64576 markings/sec, 110 secs
lola: 7665859 markings, 20443730 edges, 78481 markings/sec, 115 secs
lola: 8029231 markings, 21203622 edges, 72674 markings/sec, 120 secs
lola: 8369090 markings, 21996082 edges, 67972 markings/sec, 125 secs
lola: 8698577 markings, 22843880 edges, 65897 markings/sec, 130 secs
lola: 8725614 markings, 24203238 edges, 5407 markings/sec, 135 secs
lola: 8754394 markings, 25481451 edges, 5756 markings/sec, 140 secs
lola: 8929508 markings, 26488694 edges, 35023 markings/sec, 145 secs
lola: 9297799 markings, 27172612 edges, 73658 markings/sec, 150 secs
lola: 9653643 markings, 27899628 edges, 71169 markings/sec, 155 secs
lola: 10004862 markings, 28569740 edges, 70244 markings/sec, 160 secs
lola: 10353055 markings, 29241145 edges, 69639 markings/sec, 165 secs
lola: 10690922 markings, 29947154 edges, 67573 markings/sec, 170 secs
lola: 11025910 markings, 30621187 edges, 66998 markings/sec, 175 secs
lola: 11360488 markings, 31294906 edges, 66916 markings/sec, 180 secs
lola: 11691352 markings, 31975502 edges, 66173 markings/sec, 185 secs
lola: 12021153 markings, 32657691 edges, 65960 markings/sec, 190 secs
lola: 12345039 markings, 33346190 edges, 64777 markings/sec, 195 secs
lola: 12668767 markings, 34045220 edges, 64746 markings/sec, 200 secs
lola: 12993426 markings, 34754112 edges, 64932 markings/sec, 205 secs
lola: 13316809 markings, 35454778 edges, 64677 markings/sec, 210 secs
lola: 13636463 markings, 36158997 edges, 63931 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb1_5_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 813305 markings, 1089937 edges, 162661 markings/sec, 0 secs
lola: 1593730 markings, 2155456 edges, 156085 markings/sec, 5 secs
lola: 2126344 markings, 3372541 edges, 106523 markings/sec, 10 secs
lola: 2826068 markings, 4537519 edges, 139945 markings/sec, 15 secs
lola: 3606488 markings, 5607841 edges, 156084 markings/sec, 20 secs
lola: 4338610 markings, 6678930 edges, 146424 markings/sec, 25 secs
lola: 5124176 markings, 7675274 edges, 157113 markings/sec, 30 secs
lola: 5853572 markings, 8734292 edges, 145879 markings/sec, 35 secs
lola: 6618027 markings, 9728996 edges, 152891 markings/sec, 40 secs
lola: 7363655 markings, 10728602 edges, 149126 markings/sec, 45 secs
lola: 8099212 markings, 11732992 edges, 147111 markings/sec, 50 secs
lola: 8832678 markings, 12732645 edges, 146693 markings/sec, 55 secs
lola: 9549915 markings, 13747769 edges, 143447 markings/sec, 60 secs
lola: 10272784 markings, 14752521 edges, 144574 markings/sec, 65 secs
lola: 10984268 markings, 15761904 edges, 142297 markings/sec, 70 secs
lola: 11702863 markings, 16774675 edges, 143719 markings/sec, 75 secs
lola: 12319958 markings, 17832729 edges, 123419 markings/sec, 80 secs
lola: 12797008 markings, 18917620 edges, 95410 markings/sec, 85 secs
lola: 12918700 markings, 20207667 edges, 24338 markings/sec, 90 secs
lola: 13034575 markings, 21521073 edges, 23175 markings/sec, 95 secs
lola: 13712797 markings, 22620815 edges, 135644 markings/sec, 100 secs
lola: 14431849 markings, 23681822 edges, 143810 markings/sec, 105 secs
lola: 15164699 markings, 24739417 edges, 146570 markings/sec, 110 secs
lola: 15956093 markings, 25737222 edges, 158279 markings/sec, 115 secs
lola: 16708350 markings, 26767704 edges, 150451 markings/sec, 120 secs
lola: 17440890 markings, 27791964 edges, 146508 markings/sec, 125 secs
lola: 18186426 markings, 28791342 edges, 149107 markings/sec, 130 secs
lola: 18914996 markings, 29785289 edges, 145714 markings/sec, 135 secs
lola: 19643369 markings, 30786162 edges, 145675 markings/sec, 140 secs
lola: 20369425 markings, 31802903 edges, 145211 markings/sec, 145 secs
lola: 21080867 markings, 32806152 edges, 142288 markings/sec, 150 secs
lola: 21795365 markings, 33817183 edges, 142900 markings/sec, 155 secs
lola: 22518329 markings, 34838785 edges, 144593 markings/sec, 160 secs
lola: 23097382 markings, 35885482 edges, 115811 markings/sec, 165 secs
lola: 23391595 markings, 37115015 edges, 58843 markings/sec, 170 secs
lola: 23464789 markings, 38408002 edges, 14639 markings/sec, 175 secs
lola: 23904139 markings, 39610956 edges, 87870 markings/sec, 180 secs
lola: 24619526 markings, 40677480 edges, 143077 markings/sec, 185 secs
lola: 25299291 markings, 41717046 edges, 135953 markings/sec, 190 secs
lola: 26047564 markings, 42755290 edges, 149655 markings/sec, 195 secs
lola: 26762132 markings, 43788341 edges, 142914 markings/sec, 200 secs
lola: 27452288 markings, 44863964 edges, 138031 markings/sec, 205 secs
lola: 28200692 markings, 45874179 edges, 149681 markings/sec, 210 secs
lola: 28761557 markings, 46981141 edges, 112173 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil3_5_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 795919 markings, 1734419 edges, 159184 markings/sec, 0 secs
lola: 1646130 markings, 3688541 edges, 170042 markings/sec, 5 secs
lola: 2417195 markings, 5514585 edges, 154213 markings/sec, 10 secs
lola: 3213252 markings, 6994639 edges, 159211 markings/sec, 15 secs
lola: 3907560 markings, 7865478 edges, 138862 markings/sec, 20 secs
lola: 4634542 markings, 8665243 edges, 145396 markings/sec, 25 secs
lola: 5324326 markings, 9468056 edges, 137957 markings/sec, 30 secs
lola: 6058039 markings, 10276083 edges, 146743 markings/sec, 35 secs
lola: 6692145 markings, 11150307 edges, 126821 markings/sec, 40 secs
lola: 7366059 markings, 12007163 edges, 134783 markings/sec, 45 secs
lola: 8074386 markings, 12787184 edges, 141665 markings/sec, 50 secs
lola: 8775776 markings, 13564620 edges, 140278 markings/sec, 55 secs
lola: 9468435 markings, 14340823 edges, 138532 markings/sec, 60 secs
lola: 10148905 markings, 15118111 edges, 136094 markings/sec, 65 secs
lola: 10831336 markings, 15920424 edges, 136486 markings/sec, 70 secs
lola: 11569011 markings, 16724592 edges, 147535 markings/sec, 75 secs
lola: 12285021 markings, 17515756 edges, 143202 markings/sec, 80 secs
lola: 12992405 markings, 18302181 edges, 141477 markings/sec, 85 secs
lola: 13690415 markings, 19087787 edges, 139602 markings/sec, 90 secs
lola: 14372544 markings, 19879777 edges, 136426 markings/sec, 95 secs
lola: 15030688 markings, 20705405 edges, 131629 markings/sec, 100 secs
lola: 15675780 markings, 21534725 edges, 129018 markings/sec, 105 secs
lola: 16208061 markings, 22473101 edges, 106456 markings/sec, 110 secs
lola: 16869933 markings, 23284933 edges, 132374 markings/sec, 115 secs
lola: 17510172 markings, 24095629 edges, 128048 markings/sec, 120 secs
lola: 18025283 markings, 25025027 edges, 103022 markings/sec, 125 secs
lola: 18746283 markings, 25827277 edges, 144200 markings/sec, 130 secs
lola: 19469458 markings, 26614572 edges, 144635 markings/sec, 135 secs
lola: 20172435 markings, 27382898 edges, 140595 markings/sec, 140 secs
lola: 20867250 markings, 28147812 edges, 138963 markings/sec, 145 secs
lola: 21561386 markings, 28912516 edges, 138827 markings/sec, 150 secs
lola: 22247883 markings, 29671543 edges, 137299 markings/sec, 155 secs
lola: 22926078 markings, 30422232 edges, 135639 markings/sec, 160 secs
lola: 23603641 markings, 31172960 edges, 135513 markings/sec, 165 secs
lola: 24277282 markings, 31924670 edges, 134728 markings/sec, 170 secs
lola: 24947257 markings, 32673078 edges, 133995 markings/sec, 175 secs
lola: 25611155 markings, 33422029 edges, 132780 markings/sec, 180 secs
lola: 26274118 markings, 34171466 edges, 132593 markings/sec, 185 secs
lola: 26929516 markings, 34923092 edges, 131080 markings/sec, 190 secs
lola: 27580046 markings, 35680310 edges, 130106 markings/sec, 195 secs
lola: 28214914 markings, 36456792 edges, 126974 markings/sec, 200 secs
lola: 28917728 markings, 37254478 edges, 140563 markings/sec, 205 secs
lola: 29633995 markings, 38035251 edges, 143253 markings/sec, 210 secs
lola: 30337706 markings, 38806028 edges, 140742 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi1_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 578115 markings, 888287 edges, 115623 markings/sec, 0 secs
lola: 1145030 markings, 1748620 edges, 113383 markings/sec, 5 secs
lola: 1605413 markings, 2749232 edges, 92077 markings/sec, 10 secs
lola: 2166506 markings, 3573491 edges, 112219 markings/sec, 15 secs
lola: 2746397 markings, 4427333 edges, 115978 markings/sec, 20 secs
lola: 3125387 markings, 5443896 edges, 75798 markings/sec, 25 secs
lola: 3663013 markings, 6218046 edges, 107525 markings/sec, 30 secs
lola: 4194486 markings, 6998623 edges, 106295 markings/sec, 35 secs
lola: 4724115 markings, 7786944 edges, 105926 markings/sec, 40 secs
lola: 5260002 markings, 8586470 edges, 107177 markings/sec, 45 secs
lola: 5795945 markings, 9466828 edges, 107189 markings/sec, 50 secs
lola: 6379645 markings, 10306392 edges, 116740 markings/sec, 55 secs
lola: 6866273 markings, 11245148 edges, 97326 markings/sec, 60 secs
lola: 7423343 markings, 12047629 edges, 111414 markings/sec, 65 secs
lola: 7970770 markings, 12853996 edges, 109485 markings/sec, 70 secs
lola: 8515101 markings, 13668286 edges, 108866 markings/sec, 75 secs
lola: 9066060 markings, 14503597 edges, 110192 markings/sec, 80 secs
lola: 9352096 markings, 15608813 edges, 57207 markings/sec, 85 secs
lola: 9405255 markings, 16869243 edges, 10632 markings/sec, 90 secs
lola: 9744475 markings, 17845730 edges, 67844 markings/sec, 95 secs
lola: 10218748 markings, 18701827 edges, 94855 markings/sec, 100 secs
lola: 10722266 markings, 19499724 edges, 100704 markings/sec, 105 secs
lola: 11246877 markings, 20259928 edges, 104922 markings/sec, 110 secs
lola: 11769404 markings, 21025905 edges, 104505 markings/sec, 115 secs
lola: 12286998 markings, 21805922 edges, 103519 markings/sec, 120 secs
lola: 12817461 markings, 22602498 edges, 106093 markings/sec, 125 secs
lola: 13117650 markings, 23630053 edges, 60038 markings/sec, 130 secs
lola: 13392558 markings, 24616016 edges, 54982 markings/sec, 135 secs
lola: 13918298 markings, 25366231 edges, 105148 markings/sec, 140 secs
lola: 14438029 markings, 26123243 edges, 103946 markings/sec, 145 secs
lola: 14950707 markings, 26878592 edges, 102536 markings/sec, 150 secs
lola: 15462005 markings, 27634590 edges, 102260 markings/sec, 155 secs
lola: 15971585 markings, 28385212 edges, 101916 markings/sec, 160 secs
lola: 16479032 markings, 29138694 edges, 101489 markings/sec, 165 secs
lola: 16988031 markings, 29903851 edges, 101800 markings/sec, 170 secs
lola: 17504573 markings, 30668937 edges, 103308 markings/sec, 175 secs
lola: 18021794 markings, 31437680 edges, 103444 markings/sec, 180 secs
lola: 18533038 markings, 32205419 edges, 102249 markings/sec, 185 secs
lola: 19043712 markings, 32973069 edges, 102135 markings/sec, 190 secs
lola: 19548140 markings, 33738382 edges, 100886 markings/sec, 195 secs
lola: 20057348 markings, 34505512 edges, 101842 markings/sec, 200 secs
lola: 20579835 markings, 35279301 edges, 104497 markings/sec, 205 secs
lola: 21097369 markings, 36055724 edges, 103507 markings/sec, 210 secs
lola: 21620571 markings, 36838620 edges, 104640 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 498109 markings, 1147875 edges, 99622 markings/sec, 0 secs
lola: 913164 markings, 2323069 edges, 83011 markings/sec, 5 secs
lola: 1447938 markings, 3342184 edges, 106955 markings/sec, 10 secs
lola: 1937821 markings, 4363437 edges, 97977 markings/sec, 15 secs
lola: 2318241 markings, 5473691 edges, 76084 markings/sec, 20 secs
lola: 2393787 markings, 6794473 edges, 15109 markings/sec, 25 secs
lola: 2787104 markings, 7919778 edges, 78663 markings/sec, 30 secs
lola: 3068186 markings, 9065821 edges, 56216 markings/sec, 35 secs
lola: 3546575 markings, 10059413 edges, 95678 markings/sec, 40 secs
lola: 3974749 markings, 11046197 edges, 85635 markings/sec, 45 secs
lola: 4372927 markings, 12065365 edges, 79636 markings/sec, 50 secs
lola: 4652615 markings, 13207777 edges, 55938 markings/sec, 55 secs
lola: 4665585 markings, 14452798 edges, 2594 markings/sec, 60 secs
lola: 5023181 markings, 15619842 edges, 71519 markings/sec, 65 secs
lola: 5431353 markings, 16741758 edges, 81634 markings/sec, 70 secs
lola: 5713207 markings, 17908731 edges, 56371 markings/sec, 75 secs
lola: 6015780 markings, 18998362 edges, 60515 markings/sec, 80 secs
lola: 6352253 markings, 19966231 edges, 67295 markings/sec, 85 secs
lola: 6521386 markings, 21104189 edges, 33827 markings/sec, 90 secs
lola: 6901606 markings, 22181874 edges, 76044 markings/sec, 95 secs
lola: 7367678 markings, 23103091 edges, 93214 markings/sec, 100 secs
lola: 7812506 markings, 24026417 edges, 88966 markings/sec, 105 secs
lola: 8259859 markings, 24919547 edges, 89471 markings/sec, 110 secs
lola: 8692019 markings, 25803073 edges, 86432 markings/sec, 115 secs
lola: 9131525 markings, 26674308 edges, 87901 markings/sec, 120 secs
lola: 9559840 markings, 27535657 edges, 85663 markings/sec, 125 secs
lola: 9981658 markings, 28401460 edges, 84364 markings/sec, 130 secs
lola: 10401225 markings, 29257368 edges, 83913 markings/sec, 135 secs
lola: 10790950 markings, 30264004 edges, 77945 markings/sec, 140 secs
lola: 11200324 markings, 31124683 edges, 81875 markings/sec, 145 secs
lola: 11605654 markings, 31984710 edges, 81066 markings/sec, 150 secs
lola: 12006603 markings, 32849420 edges, 80190 markings/sec, 155 secs
lola: 12407097 markings, 33716257 edges, 80099 markings/sec, 160 secs
lola: 12798806 markings, 34581298 edges, 78342 markings/sec, 165 secs
lola: 13184895 markings, 35445745 edges, 77218 markings/sec, 170 secs
lola: 13566580 markings, 36312728 edges, 76337 markings/sec, 175 secs
lola: 13942879 markings, 37179650 edges, 75260 markings/sec, 180 secs
lola: 14316659 markings, 38049278 edges, 74756 markings/sec, 185 secs
lola: 14683305 markings, 38927074 edges, 73329 markings/sec, 190 secs
lola: 15036121 markings, 39797075 edges, 70563 markings/sec, 195 secs
lola: 15381610 markings, 40670749 edges, 69098 markings/sec, 200 secs
lola: 15726562 markings, 41546366 edges, 68990 markings/sec, 205 secs
lola: 16061542 markings, 42424813 edges, 66996 markings/sec, 210 secs
lola: 16392790 markings, 43320109 edges, 66250 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 343485 markings, 788305 edges, 68697 markings/sec, 0 secs
lola: 514437 markings, 1876991 edges, 34190 markings/sec, 5 secs
lola: 768828 markings, 2794299 edges, 50878 markings/sec, 10 secs
lola: 1123106 markings, 3499001 edges, 70856 markings/sec, 15 secs
lola: 1465018 markings, 4162230 edges, 68382 markings/sec, 20 secs
lola: 1790578 markings, 4829564 edges, 65112 markings/sec, 25 secs
lola: 2102669 markings, 5499627 edges, 62418 markings/sec, 30 secs
lola: 2404180 markings, 6174510 edges, 60302 markings/sec, 35 secs
lola: 2693618 markings, 6853853 edges, 57888 markings/sec, 40 secs
lola: 2971098 markings, 7543371 edges, 55496 markings/sec, 45 secs
lola: 3241786 markings, 8243493 edges, 54138 markings/sec, 50 secs
lola: 3503106 markings, 8948252 edges, 52264 markings/sec, 55 secs
lola: 3755960 markings, 9664700 edges, 50571 markings/sec, 60 secs
lola: 3999569 markings, 10395584 edges, 48722 markings/sec, 65 secs
lola: 4226070 markings, 11174239 edges, 45300 markings/sec, 70 secs
lola: 4443658 markings, 12026066 edges, 43518 markings/sec, 75 secs
lola: 4604997 markings, 13091901 edges, 32268 markings/sec, 80 secs
lola: 4609621 markings, 14186537 edges, 925 markings/sec, 85 secs
lola: 4614119 markings, 15240501 edges, 900 markings/sec, 90 secs
lola: 4617572 markings, 16277508 edges, 691 markings/sec, 95 secs
lola: 4620659 markings, 17321261 edges, 617 markings/sec, 100 secs
lola: 4623788 markings, 18378535 edges, 626 markings/sec, 105 secs
lola: 4626549 markings, 19490653 edges, 552 markings/sec, 110 secs
lola: 4909883 markings, 20178267 edges, 56667 markings/sec, 115 secs
lola: 5083998 markings, 21012638 edges, 34823 markings/sec, 120 secs
lola: 5335599 markings, 21713066 edges, 50320 markings/sec, 125 secs
lola: 5643111 markings, 22301232 edges, 61502 markings/sec, 130 secs
lola: 5937637 markings, 22891060 edges, 58905 markings/sec, 135 secs
lola: 6221961 markings, 23488473 edges, 56865 markings/sec, 140 secs
lola: 6495998 markings, 24090394 edges, 54807 markings/sec, 145 secs
lola: 6763381 markings, 24695446 edges, 53477 markings/sec, 150 secs
lola: 7023425 markings, 25310946 edges, 52009 markings/sec, 155 secs
lola: 7275285 markings, 25932359 edges, 50372 markings/sec, 160 secs
lola: 7519893 markings, 26566752 edges, 48922 markings/sec, 165 secs
lola: 7761662 markings, 27212747 edges, 48354 markings/sec, 170 secs
lola: 7993978 markings, 27866254 edges, 46463 markings/sec, 175 secs
lola: 8221038 markings, 28530152 edges, 45412 markings/sec, 180 secs
lola: 8444429 markings, 29215532 edges, 44678 markings/sec, 185 secs
lola: 8658181 markings, 29947383 edges, 42750 markings/sec, 190 secs
lola: 8860666 markings, 30757505 edges, 40497 markings/sec, 195 secs
lola: 9003842 markings, 31740024 edges, 28635 markings/sec, 200 secs
lola: 9025004 markings, 32743649 edges, 4232 markings/sec, 205 secs
lola: 9030019 markings, 33695310 edges, 1003 markings/sec, 210 secs
lola: 9033614 markings, 34625884 edges, 719 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 552894 markings, 678387 edges, 110579 markings/sec, 0 secs
lola: 1100841 markings, 1350351 edges, 109589 markings/sec, 5 secs
lola: 1588663 markings, 2108733 edges, 97564 markings/sec, 10 secs
lola: 2121898 markings, 2754779 edges, 106647 markings/sec, 15 secs
lola: 2609258 markings, 3508550 edges, 97472 markings/sec, 20 secs
lola: 3145462 markings, 4161394 edges, 107241 markings/sec, 25 secs
lola: 3623562 markings, 4873170 edges, 95620 markings/sec, 30 secs
lola: 4148530 markings, 5493511 edges, 104994 markings/sec, 35 secs
lola: 4674864 markings, 6120168 edges, 105267 markings/sec, 40 secs
lola: 5197949 markings, 6746121 edges, 104617 markings/sec, 45 secs
lola: 5723108 markings, 7376256 edges, 105032 markings/sec, 50 secs
lola: 6247707 markings, 8015963 edges, 104920 markings/sec, 55 secs
lola: 6771793 markings, 8656600 edges, 104817 markings/sec, 60 secs
lola: 7294394 markings, 9306819 edges, 104520 markings/sec, 65 secs
lola: 7818768 markings, 9964686 edges, 104875 markings/sec, 70 secs
lola: 8352348 markings, 10627656 edges, 106716 markings/sec, 75 secs
lola: 8886831 markings, 11306280 edges, 106897 markings/sec, 80 secs
lola: 9432392 markings, 12013223 edges, 109112 markings/sec, 85 secs
lola: 9992156 markings, 12698947 edges, 111953 markings/sec, 90 secs
lola: 10297131 markings, 13663184 edges, 60995 markings/sec, 95 secs
lola: 10857354 markings, 14348237 edges, 112045 markings/sec, 100 secs
lola: 11187603 markings, 15269126 edges, 66050 markings/sec, 105 secs
lola: 11487134 markings, 16153719 edges, 59906 markings/sec, 110 secs
lola: 12014318 markings, 16788985 edges, 105437 markings/sec, 115 secs
lola: 12543168 markings, 17470161 edges, 105770 markings/sec, 120 secs
lola: 13094536 markings, 18147384 edges, 110274 markings/sec, 125 secs
lola: 13532530 markings, 18940836 edges, 87599 markings/sec, 130 secs
lola: 14069256 markings, 19594906 edges, 107345 markings/sec, 135 secs
lola: 14540784 markings, 20301405 edges, 94306 markings/sec, 140 secs
lola: 15062759 markings, 20919620 edges, 104395 markings/sec, 145 secs
lola: 15584993 markings, 21540632 edges, 104447 markings/sec, 150 secs
lola: 16106901 markings, 22165648 edges, 104382 markings/sec, 155 secs
lola: 16630397 markings, 22798104 edges, 104699 markings/sec, 160 secs
lola: 17154425 markings, 23436621 edges, 104806 markings/sec, 165 secs
lola: 17679859 markings, 24079219 edges, 105087 markings/sec, 170 secs
lola: 18207363 markings, 24731372 edges, 105501 markings/sec, 175 secs
lola: 18732683 markings, 25384898 edges, 105064 markings/sec, 180 secs
lola: 19260217 markings, 26045025 edges, 105507 markings/sec, 185 secs
lola: 19790820 markings, 26716668 edges, 106121 markings/sec, 190 secs
lola: 20118026 markings, 27597486 edges, 65441 markings/sec, 195 secs
lola: 20671966 markings, 28255596 edges, 110788 markings/sec, 200 secs
lola: 21161633 markings, 29005634 edges, 97933 markings/sec, 205 secs
lola: 21702676 markings, 29640594 edges, 108209 markings/sec, 210 secs
lola: 22239507 markings, 30280524 edges, 107366 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 460884 markings, 1081278 edges, 92177 markings/sec, 0 secs
lola: 856647 markings, 2195452 edges, 79153 markings/sec, 5 secs
lola: 1329224 markings, 3147104 edges, 94515 markings/sec, 10 secs
lola: 1769403 markings, 4121310 edges, 88036 markings/sec, 15 secs
lola: 2181692 markings, 5119863 edges, 82458 markings/sec, 20 secs
lola: 2341598 markings, 6333540 edges, 31981 markings/sec, 25 secs
lola: 2459914 markings, 7571790 edges, 23663 markings/sec, 30 secs
lola: 2874302 markings, 8578553 edges, 82878 markings/sec, 35 secs
lola: 3346855 markings, 9432068 edges, 94511 markings/sec, 40 secs
lola: 3781441 markings, 10307088 edges, 86917 markings/sec, 45 secs
lola: 4225637 markings, 11166042 edges, 88839 markings/sec, 50 secs
lola: 4663143 markings, 12023692 edges, 87501 markings/sec, 55 secs
lola: 5093263 markings, 12882141 edges, 86024 markings/sec, 60 secs
lola: 5503195 markings, 13773732 edges, 81986 markings/sec, 65 secs
lola: 5916111 markings, 14642081 edges, 82583 markings/sec, 70 secs
lola: 6327869 markings, 15513514 edges, 82352 markings/sec, 75 secs
lola: 6726450 markings, 16410730 edges, 79716 markings/sec, 80 secs
lola: 7106863 markings, 17298904 edges, 76083 markings/sec, 85 secs
lola: 7498553 markings, 18187013 edges, 78338 markings/sec, 90 secs
lola: 7892882 markings, 19063475 edges, 78866 markings/sec, 95 secs
lola: 8282141 markings, 19958221 edges, 77852 markings/sec, 100 secs
lola: 8670508 markings, 20879114 edges, 77673 markings/sec, 105 secs
lola: 9049454 markings, 21766552 edges, 75789 markings/sec, 110 secs
lola: 9408990 markings, 22673647 edges, 71907 markings/sec, 115 secs
lola: 9744225 markings, 23605587 edges, 67047 markings/sec, 120 secs
lola: 9946794 markings, 24660884 edges, 40514 markings/sec, 125 secs
lola: 10243362 markings, 25762071 edges, 59314 markings/sec, 130 secs
lola: 10583490 markings, 26852756 edges, 68026 markings/sec, 135 secs
lola: 10864734 markings, 27961581 edges, 56249 markings/sec, 140 secs
lola: 10871487 markings, 29091749 edges, 1351 markings/sec, 145 secs
lola: 10890289 markings, 30177323 edges, 3760 markings/sec, 150 secs
lola: 10896803 markings, 31244846 edges, 1303 markings/sec, 155 secs
lola: 10903234 markings, 32310758 edges, 1286 markings/sec, 160 secs
lola: 11000974 markings, 33389253 edges, 19548 markings/sec, 165 secs
lola: 11086851 markings, 34467275 edges, 17175 markings/sec, 170 secs
lola: 11448939 markings, 35473411 edges, 72418 markings/sec, 175 secs
lola: 11556479 markings, 36591056 edges, 21508 markings/sec, 180 secs
lola: 11889507 markings, 37650974 edges, 66606 markings/sec, 185 secs
lola: 12244164 markings, 38806913 edges, 70931 markings/sec, 190 secs
lola: 12683677 markings, 39756940 edges, 87903 markings/sec, 195 secs
lola: 12941037 markings, 40912296 edges, 51472 markings/sec, 200 secs
lola: 13272918 markings, 42029484 edges, 66376 markings/sec, 205 secs
lola: 13593391 markings, 43069623 edges, 64095 markings/sec, 210 secs
lola: 13815899 markings, 44232785 edges, 44502 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil2_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 520367 markings, 1018034 edges, 104073 markings/sec, 0 secs
lola: 1010423 markings, 2027535 edges, 98011 markings/sec, 5 secs
lola: 1548349 markings, 2928376 edges, 107585 markings/sec, 10 secs
lola: 2023683 markings, 3941885 edges, 95067 markings/sec, 15 secs
lola: 2493597 markings, 4921816 edges, 93983 markings/sec, 20 secs
lola: 2948199 markings, 5907219 edges, 90920 markings/sec, 25 secs
lola: 3464988 markings, 6776401 edges, 103358 markings/sec, 30 secs
lola: 3903755 markings, 7815352 edges, 87753 markings/sec, 35 secs
lola: 4429130 markings, 8723780 edges, 105075 markings/sec, 40 secs
lola: 4887662 markings, 9716806 edges, 91706 markings/sec, 45 secs
lola: 5337276 markings, 10631610 edges, 89923 markings/sec, 50 secs
lola: 5858497 markings, 11500404 edges, 104244 markings/sec, 55 secs
lola: 6303976 markings, 12460879 edges, 89096 markings/sec, 60 secs
lola: 6774171 markings, 13397926 edges, 94039 markings/sec, 65 secs
lola: 7318900 markings, 14239559 edges, 108946 markings/sec, 70 secs
lola: 7852998 markings, 15086940 edges, 106820 markings/sec, 75 secs
lola: 8362297 markings, 15973811 edges, 101860 markings/sec, 80 secs
lola: 8835708 markings, 16982838 edges, 94682 markings/sec, 85 secs
lola: 9103866 markings, 18189037 edges, 53632 markings/sec, 90 secs
lola: 9573715 markings, 19059373 edges, 93970 markings/sec, 95 secs
lola: 10106167 markings, 19863375 edges, 106490 markings/sec, 100 secs
lola: 10622936 markings, 20694611 edges, 103354 markings/sec, 105 secs
lola: 11132783 markings, 21537598 edges, 101969 markings/sec, 110 secs
lola: 11618805 markings, 22479025 edges, 97204 markings/sec, 115 secs
lola: 11912666 markings, 23640321 edges, 58772 markings/sec, 120 secs
lola: 12323344 markings, 24559306 edges, 82136 markings/sec, 125 secs
lola: 12839823 markings, 25354228 edges, 103296 markings/sec, 130 secs
lola: 13365719 markings, 26157850 edges, 105179 markings/sec, 135 secs
lola: 13878364 markings, 26969260 edges, 102529 markings/sec, 140 secs
lola: 14375650 markings, 27805929 edges, 99457 markings/sec, 145 secs
lola: 14836108 markings, 28763679 edges, 92092 markings/sec, 150 secs
lola: 15105745 markings, 29901501 edges, 53927 markings/sec, 155 secs
lola: 15525108 markings, 30794021 edges, 83873 markings/sec, 160 secs
lola: 16016297 markings, 31589380 edges, 98238 markings/sec, 165 secs
lola: 16526902 markings, 32375533 edges, 102121 markings/sec, 170 secs
lola: 17021285 markings, 33182337 edges, 98877 markings/sec, 175 secs
lola: 17492072 markings, 34069291 edges, 94157 markings/sec, 180 secs
lola: 17906682 markings, 35079537 edges, 82922 markings/sec, 185 secs
lola: 18193082 markings, 36102647 edges, 57280 markings/sec, 190 secs
lola: 18639953 markings, 36908584 edges, 89374 markings/sec, 195 secs
lola: 19169860 markings, 37794994 edges, 105981 markings/sec, 200 secs
lola: 19632966 markings, 38789770 edges, 92621 markings/sec, 205 secs
lola: 20077876 markings, 39667317 edges, 88982 markings/sec, 210 secs
lola: 20603954 markings, 40533878 edges, 105216 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 342814 markings, 786516 edges, 68563 markings/sec, 0 secs
lola: 512870 markings, 1872654 edges, 34011 markings/sec, 5 secs
lola: 766679 markings, 2788729 edges, 50762 markings/sec, 10 secs
lola: 1119517 markings, 3492376 edges, 70568 markings/sec, 15 secs
lola: 1461195 markings, 4154151 edges, 68336 markings/sec, 20 secs
lola: 1786119 markings, 4819813 edges, 64985 markings/sec, 25 secs
lola: 2097684 markings, 5489141 edges, 62313 markings/sec, 30 secs
lola: 2399250 markings, 6163469 edges, 60313 markings/sec, 35 secs
lola: 2688761 markings, 6841900 edges, 57902 markings/sec, 40 secs
lola: 2966398 markings, 7531578 edges, 55527 markings/sec, 45 secs
lola: 3237352 markings, 8231583 edges, 54191 markings/sec, 50 secs
lola: 3499881 markings, 8939044 edges, 52506 markings/sec, 55 secs
lola: 3754082 markings, 9659269 edges, 50840 markings/sec, 60 secs
lola: 3999323 markings, 10394807 edges, 49048 markings/sec, 65 secs
lola: 4227088 markings, 11178402 edges, 45553 markings/sec, 70 secs
lola: 4446012 markings, 12036442 edges, 43785 markings/sec, 75 secs
lola: 4605148 markings, 13112306 edges, 31827 markings/sec, 80 secs
lola: 4609733 markings, 14216171 edges, 917 markings/sec, 85 secs
lola: 4614361 markings, 15281127 edges, 926 markings/sec, 90 secs
lola: 4617817 markings, 16330981 edges, 691 markings/sec, 95 secs
lola: 4620907 markings, 17387271 edges, 618 markings/sec, 100 secs
lola: 4624091 markings, 18455838 edges, 637 markings/sec, 105 secs
lola: 4628638 markings, 19597570 edges, 909 markings/sec, 110 secs
lola: 4933317 markings, 20237028 edges, 60936 markings/sec, 115 secs
lola: 5085479 markings, 21113743 edges, 30432 markings/sec, 120 secs
lola: 5369599 markings, 21775774 edges, 56824 markings/sec, 125 secs
lola: 5678844 markings, 22372158 edges, 61849 markings/sec, 130 secs
lola: 5975078 markings, 22968401 edges, 59247 markings/sec, 135 secs
lola: 6261958 markings, 23574420 edges, 57376 markings/sec, 140 secs
lola: 6537702 markings, 24183482 edges, 55149 markings/sec, 145 secs
lola: 6807804 markings, 24798882 edges, 54020 markings/sec, 150 secs
lola: 7067986 markings, 25417652 edges, 52036 markings/sec, 155 secs
lola: 7319202 markings, 26045725 edges, 50243 markings/sec, 160 secs
lola: 7564359 markings, 26684385 edges, 49031 markings/sec, 165 secs
lola: 7805997 markings, 27335904 edges, 48328 markings/sec, 170 secs
lola: 8037637 markings, 27993965 edges, 46328 markings/sec, 175 secs
lola: 8263533 markings, 28656803 edges, 45179 markings/sec, 180 secs
lola: 8483585 markings, 29345124 edges, 44010 markings/sec, 185 secs
lola: 8694767 markings, 30082648 edges, 42236 markings/sec, 190 secs
lola: 8892890 markings, 30919005 edges, 39625 markings/sec, 195 secs
lola: 9021411 markings, 31923286 edges, 25704 markings/sec, 200 secs
lola: 9025801 markings, 32915677 edges, 878 markings/sec, 205 secs
lola: 9031104 markings, 33867041 edges, 1061 markings/sec, 210 secs
lola: 9034197 markings, 34801174 edges, 619 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 573747 markings, 766299 edges, 114749 markings/sec, 0 secs
lola: 1095208 markings, 1553483 edges, 104292 markings/sec, 5 secs
lola: 1644311 markings, 2287803 edges, 109821 markings/sec, 10 secs
lola: 2175864 markings, 3072629 edges, 106311 markings/sec, 15 secs
lola: 2579569 markings, 4043244 edges, 80741 markings/sec, 20 secs
lola: 3136063 markings, 4759579 edges, 111299 markings/sec, 25 secs
lola: 3681289 markings, 5472675 edges, 109045 markings/sec, 30 secs
lola: 4220755 markings, 6185321 edges, 107893 markings/sec, 35 secs
lola: 4751880 markings, 6888723 edges, 106225 markings/sec, 40 secs
lola: 5279781 markings, 7604199 edges, 105580 markings/sec, 45 secs
lola: 5801901 markings, 8327310 edges, 104424 markings/sec, 50 secs
lola: 6308716 markings, 9104076 edges, 101363 markings/sec, 55 secs
lola: 6845426 markings, 9876265 edges, 107342 markings/sec, 60 secs
lola: 7196694 markings, 10835429 edges, 70254 markings/sec, 65 secs
lola: 7509493 markings, 11780880 edges, 62560 markings/sec, 70 secs
lola: 8048876 markings, 12517211 edges, 107877 markings/sec, 75 secs
lola: 8582787 markings, 13196290 edges, 106782 markings/sec, 80 secs
lola: 9111852 markings, 13875765 edges, 105813 markings/sec, 85 secs
lola: 9637191 markings, 14558209 edges, 105068 markings/sec, 90 secs
lola: 10163317 markings, 15240894 edges, 105225 markings/sec, 95 secs
lola: 10685464 markings, 15925852 edges, 104429 markings/sec, 100 secs
lola: 11205576 markings, 16609821 edges, 104022 markings/sec, 105 secs
lola: 11725579 markings, 17307203 edges, 104001 markings/sec, 110 secs
lola: 12243013 markings, 17996675 edges, 103487 markings/sec, 115 secs
lola: 12761378 markings, 18691588 edges, 103673 markings/sec, 120 secs
lola: 13275628 markings, 19388898 edges, 102850 markings/sec, 125 secs
lola: 13793898 markings, 20091846 edges, 103654 markings/sec, 130 secs
lola: 14315006 markings, 20806891 edges, 104222 markings/sec, 135 secs
lola: 14832655 markings, 21528087 edges, 103530 markings/sec, 140 secs
lola: 15347843 markings, 22271436 edges, 103038 markings/sec, 145 secs
lola: 15857925 markings, 23044264 edges, 102016 markings/sec, 150 secs
lola: 16389766 markings, 23804611 edges, 106368 markings/sec, 155 secs
lola: 16916330 markings, 24571551 edges, 105313 markings/sec, 160 secs
lola: 17452853 markings, 25300750 edges, 107305 markings/sec, 165 secs
lola: 17980798 markings, 26087170 edges, 105589 markings/sec, 170 secs
lola: 18507784 markings, 26833187 edges, 105397 markings/sec, 175 secs
lola: 18972891 markings, 27663227 edges, 93021 markings/sec, 180 secs
lola: 19404745 markings, 28527623 edges, 86371 markings/sec, 185 secs
lola: 19781691 markings, 29458225 edges, 75389 markings/sec, 190 secs
lola: 20065991 markings, 30356809 edges, 56860 markings/sec, 195 secs
lola: 20246611 markings, 31338060 edges, 36124 markings/sec, 200 secs
lola: 20729824 markings, 32119592 edges, 96643 markings/sec, 205 secs
lola: 21222821 markings, 32878069 edges, 98599 markings/sec, 210 secs
lola: 21722066 markings, 33650424 edges, 99849 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA TriangularGrid-PT-5020-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494949725331
--------------------
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="TriangularGrid-PT-5020"
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/TriangularGrid-PT-5020.tgz
mv TriangularGrid-PT-5020 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 TriangularGrid-PT-5020, 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 r078-ebro-149441008700353"
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 ;