About the Execution of LoLA for MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 9591.760 | 3540133.00 | 3550748.00 | 257.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 MultiwaySync-PT-none, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484700218
=====================================================================
--------------------
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 MultiwaySync-PT-none-UpperBounds-0
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-1
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-10
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-11
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-12
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-13
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-14
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-15
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-2
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-3
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-4
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-5
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-6
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-7
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-8
FORMULA_NAME MultiwaySync-PT-none-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494630957171
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ MultiwaySync-PT-none @ 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: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-UpperBounds.task
lola: MAX(p25) : MAX(p13) : MAX(p198) : MAX(p71) : MAX(p159) : MAX(p195) : MAX(p42) : MAX(p20) : MAX(p30) : MAX(p78) : MAX(p211) : MAX(p48) : MAX(p205) : MAX(p214) : MAX(p21) : MAX(p169)
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(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1139006 markings, 2810379 edges, 227801 markings/sec, 0 secs
lola: 2176265 markings, 5562524 edges, 207452 markings/sec, 5 secs
lola: 3258307 markings, 8542280 edges, 216408 markings/sec, 10 secs
lola: 4274057 markings, 11417079 edges, 203150 markings/sec, 15 secs
lola: 5288694 markings, 14317385 edges, 202927 markings/sec, 20 secs
lola: 6312625 markings, 17296624 edges, 204786 markings/sec, 25 secs
lola: 7270187 markings, 20105466 edges, 191512 markings/sec, 30 secs
lola: 8227483 markings, 22943706 edges, 191459 markings/sec, 35 secs
lola: 9102808 markings, 25585986 edges, 175065 markings/sec, 40 secs
lola: 9992729 markings, 28304182 edges, 177984 markings/sec, 45 secs
lola: 10842080 markings, 30921299 edges, 169870 markings/sec, 50 secs
lola: 11723346 markings, 33665482 edges, 176253 markings/sec, 55 secs
lola: 12603607 markings, 36453287 edges, 176052 markings/sec, 60 secs
lola: 13471340 markings, 39229053 edges, 173547 markings/sec, 65 secs
lola: 14314100 markings, 41976206 edges, 168552 markings/sec, 70 secs
lola: 15142758 markings, 44719095 edges, 165732 markings/sec, 75 secs
lola: 15942307 markings, 47427386 edges, 159910 markings/sec, 80 secs
lola: 16706711 markings, 50075598 edges, 152881 markings/sec, 85 secs
lola: 17463770 markings, 52783254 edges, 151412 markings/sec, 90 secs
lola: 18182241 markings, 55493192 edges, 143694 markings/sec, 95 secs
lola: 18834905 markings, 58265596 edges, 130533 markings/sec, 100 secs
lola: 19072954 markings, 61952617 edges, 47610 markings/sec, 105 secs
lola: 19083172 markings, 65828982 edges, 2044 markings/sec, 110 secs
lola: 19089031 markings, 69788677 edges, 1172 markings/sec, 115 secs
lola: 19093912 markings, 74104006 edges, 976 markings/sec, 120 secs
lola: 19098073 markings, 78451010 edges, 832 markings/sec, 125 secs
lola: 19101389 markings, 82709607 edges, 663 markings/sec, 130 secs
lola: 19104327 markings, 87082363 edges, 588 markings/sec, 135 secs
lola: 19106939 markings, 91488069 edges, 522 markings/sec, 140 secs
lola: 19109428 markings, 95955414 edges, 498 markings/sec, 145 secs
lola: 19111977 markings, 100498362 edges, 510 markings/sec, 150 secs
lola: 19114188 markings, 105259704 edges, 442 markings/sec, 155 secs
lola: 19116077 markings, 109926327 edges, 378 markings/sec, 160 secs
lola: 19118004 markings, 114851922 edges, 385 markings/sec, 165 secs
lola: 19119732 markings, 119844396 edges, 346 markings/sec, 170 secs
lola: 19121421 markings, 124929093 edges, 338 markings/sec, 175 secs
lola: 19122961 markings, 130120330 edges, 308 markings/sec, 180 secs
lola: 19124449 markings, 135321573 edges, 298 markings/sec, 185 secs
lola: 19125888 markings, 140503991 edges, 288 markings/sec, 190 secs
lola: 19127103 markings, 145728605 edges, 243 markings/sec, 195 secs
lola: 19128184 markings, 150902350 edges, 216 markings/sec, 200 secs
lola: 19129013 markings, 156089278 edges, 166 markings/sec, 205 secs
lola: 19129877 markings, 161350483 edges, 173 markings/sec, 210 secs
lola: 19130293 markings, 166683732 edges, 83 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(p13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1174393 markings, 2899184 edges, 234879 markings/sec, 0 secs
lola: 2318420 markings, 5951793 edges, 228805 markings/sec, 5 secs
lola: 3415614 markings, 8976661 edges, 219439 markings/sec, 10 secs
lola: 4417387 markings, 11829186 edges, 200355 markings/sec, 15 secs
lola: 5453310 markings, 14799404 edges, 207185 markings/sec, 20 secs
lola: 6461168 markings, 17736400 edges, 201572 markings/sec, 25 secs
lola: 7460920 markings, 20675401 edges, 199950 markings/sec, 30 secs
lola: 8448156 markings, 23605104 edges, 197447 markings/sec, 35 secs
lola: 9422131 markings, 26558669 edges, 194795 markings/sec, 40 secs
lola: 10383143 markings, 29504214 edges, 192202 markings/sec, 45 secs
lola: 11315334 markings, 32393014 edges, 186438 markings/sec, 50 secs
lola: 12191309 markings, 35144301 edges, 175195 markings/sec, 55 secs
lola: 13094652 markings, 38020985 edges, 180669 markings/sec, 60 secs
lola: 13986699 markings, 40904877 edges, 178409 markings/sec, 65 secs
lola: 14855769 markings, 43762676 edges, 173814 markings/sec, 70 secs
lola: 15701520 markings, 46609705 edges, 169150 markings/sec, 75 secs
lola: 16524957 markings, 49438530 edges, 164687 markings/sec, 80 secs
lola: 17309292 markings, 52224986 edges, 156867 markings/sec, 85 secs
lola: 18062509 markings, 55028202 edges, 150643 markings/sec, 90 secs
lola: 18758457 markings, 57908114 edges, 139190 markings/sec, 95 secs
lola: 19070248 markings, 61391268 edges, 62358 markings/sec, 100 secs
lola: 19082793 markings, 65602476 edges, 2509 markings/sec, 105 secs
lola: 19089505 markings, 70134305 edges, 1342 markings/sec, 110 secs
lola: 19094469 markings, 74668519 edges, 993 markings/sec, 115 secs
lola: 19098775 markings, 79311211 edges, 861 markings/sec, 120 secs
lola: 19102415 markings, 84047449 edges, 728 markings/sec, 125 secs
lola: 19105351 markings, 88873868 edges, 587 markings/sec, 130 secs
lola: 19108168 markings, 93631893 edges, 563 markings/sec, 135 secs
lola: 19110984 markings, 98572756 edges, 563 markings/sec, 140 secs
lola: 19113460 markings, 103569645 edges, 495 markings/sec, 145 secs
lola: 19115332 markings, 108128769 edges, 374 markings/sec, 150 secs
lola: 19117276 markings, 113042553 edges, 389 markings/sec, 155 secs
lola: 19119254 markings, 118196725 edges, 396 markings/sec, 160 secs
lola: 19120736 markings, 122879376 edges, 296 markings/sec, 165 secs
lola: 19122256 markings, 128119260 edges, 304 markings/sec, 170 secs
lola: 19123938 markings, 133404238 edges, 336 markings/sec, 175 secs
lola: 19125338 markings, 138530102 edges, 280 markings/sec, 180 secs
lola: 19126582 markings, 143692953 edges, 249 markings/sec, 185 secs
lola: 19127813 markings, 148683386 edges, 246 markings/sec, 190 secs
lola: 19128727 markings, 154210663 edges, 183 markings/sec, 195 secs
lola: 19129692 markings, 159804851 edges, 193 markings/sec, 200 secs
lola: 19130154 markings, 165430356 edges, 92 markings/sec, 205 secs
lola: 19130875 markings, 171162667 edges, 144 markings/sec, 210 secs
lola: 19131659 markings, 177017145 edges, 157 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(p198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 936832 markings, 2680151 edges, 187366 markings/sec, 0 secs
lola: 1827733 markings, 5406642 edges, 178180 markings/sec, 5 secs
lola: 2691740 markings, 8109478 edges, 172801 markings/sec, 10 secs
lola: 3532175 markings, 10791570 edges, 168087 markings/sec, 15 secs
lola: 4350685 markings, 13457607 edges, 163702 markings/sec, 20 secs
lola: 5147687 markings, 16101578 edges, 159400 markings/sec, 25 secs
lola: 5919055 markings, 18719451 edges, 154274 markings/sec, 30 secs
lola: 6663999 markings, 21325731 edges, 148989 markings/sec, 35 secs
lola: 7367880 markings, 23948429 edges, 140776 markings/sec, 40 secs
lola: 7865121 markings, 27107525 edges, 99448 markings/sec, 45 secs
lola: 7895307 markings, 31611546 edges, 6037 markings/sec, 50 secs
lola: 7909402 markings, 36299422 edges, 2819 markings/sec, 55 secs
lola: 7919256 markings, 41096032 edges, 1971 markings/sec, 60 secs
lola: 7926878 markings, 45992067 edges, 1524 markings/sec, 65 secs
lola: 7933698 markings, 50987080 edges, 1364 markings/sec, 70 secs
lola: 7939472 markings, 56027684 edges, 1155 markings/sec, 75 secs
lola: 7944149 markings, 61163915 edges, 935 markings/sec, 80 secs
lola: 7948493 markings, 66335978 edges, 869 markings/sec, 85 secs
lola: 7952686 markings, 71594771 edges, 839 markings/sec, 90 secs
lola: 7955857 markings, 76915850 edges, 634 markings/sec, 95 secs
lola: 7958998 markings, 82306503 edges, 628 markings/sec, 100 secs
lola: 7961721 markings, 87781623 edges, 545 markings/sec, 105 secs
lola: 7964712 markings, 93329275 edges, 598 markings/sec, 110 secs
lola: 7966633 markings, 98881296 edges, 384 markings/sec, 115 secs
lola: 7968543 markings, 104599227 edges, 382 markings/sec, 120 secs
lola: 7970356 markings, 110458531 edges, 363 markings/sec, 125 secs
lola: 7971565 markings, 116545170 edges, 242 markings/sec, 130 secs
lola: 8208995 markings, 121330404 edges, 47486 markings/sec, 135 secs
lola: 8912507 markings, 123336025 edges, 140702 markings/sec, 140 secs
lola: 9592937 markings, 125348162 edges, 136086 markings/sec, 145 secs
lola: 10243959 markings, 127358219 edges, 130204 markings/sec, 150 secs
lola: 10888564 markings, 129374905 edges, 128921 markings/sec, 155 secs
lola: 11532585 markings, 131413175 edges, 128804 markings/sec, 160 secs
lola: 12277775 markings, 133816376 edges, 149038 markings/sec, 165 secs
lola: 13028362 markings, 136282601 edges, 150117 markings/sec, 170 secs
lola: 13762590 markings, 138735894 edges, 146846 markings/sec, 175 secs
lola: 14472735 markings, 141165941 edges, 142029 markings/sec, 180 secs
lola: 15161822 markings, 143597939 edges, 137817 markings/sec, 185 secs
lola: 15805020 markings, 146031889 edges, 128640 markings/sec, 190 secs
lola: 16228988 markings, 148955482 edges, 84794 markings/sec, 195 secs
lola: 16256139 markings, 152890573 edges, 5430 markings/sec, 200 secs
lola: 16269359 markings, 156975982 edges, 2644 markings/sec, 205 secs
lola: 16278845 markings, 161190592 edges, 1897 markings/sec, 210 secs
lola: 16286467 markings, 165490857 edges, 1524 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(p71)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1234045 markings, 3051495 edges, 246809 markings/sec, 0 secs
lola: 2422744 markings, 6231958 edges, 237740 markings/sec, 5 secs
lola: 3558246 markings, 9390308 edges, 227100 markings/sec, 10 secs
lola: 4665523 markings, 12530633 edges, 221455 markings/sec, 15 secs
lola: 5745985 markings, 15649943 edges, 216092 markings/sec, 20 secs
lola: 6805830 markings, 18744536 edges, 211969 markings/sec, 25 secs
lola: 7852702 markings, 21825979 edges, 209374 markings/sec, 30 secs
lola: 8871892 markings, 24882082 edges, 203838 markings/sec, 35 secs
lola: 9869464 markings, 27922746 edges, 199514 markings/sec, 40 secs
lola: 10853778 markings, 30956164 edges, 196863 markings/sec, 45 secs
lola: 11815342 markings, 33958397 edges, 192313 markings/sec, 50 secs
lola: 12757340 markings, 36940862 edges, 188400 markings/sec, 55 secs
lola: 13679008 markings, 39905081 edges, 184334 markings/sec, 60 secs
lola: 14577433 markings, 42841113 edges, 179685 markings/sec, 65 secs
lola: 15450536 markings, 45758079 edges, 174621 markings/sec, 70 secs
lola: 16307101 markings, 48682831 edges, 171313 markings/sec, 75 secs
lola: 17137983 markings, 51608506 edges, 166176 markings/sec, 80 secs
lola: 17930020 markings, 54523302 edges, 158407 markings/sec, 85 secs
lola: 18667139 markings, 57495248 edges, 147424 markings/sec, 90 secs
lola: 19067830 markings, 61030292 edges, 80138 markings/sec, 95 secs
lola: 19081928 markings, 65229093 edges, 2820 markings/sec, 100 secs
lola: 19088716 markings, 69547759 edges, 1358 markings/sec, 105 secs
lola: 19093796 markings, 73958263 edges, 1016 markings/sec, 110 secs
lola: 19098073 markings, 78451049 edges, 855 markings/sec, 115 secs
lola: 19101648 markings, 83006347 edges, 715 markings/sec, 120 secs
lola: 19104643 markings, 87640399 edges, 599 markings/sec, 125 secs
lola: 19107507 markings, 92316085 edges, 573 markings/sec, 130 secs
lola: 19110181 markings, 97091525 edges, 535 markings/sec, 135 secs
lola: 19112573 markings, 101887200 edges, 478 markings/sec, 140 secs
lola: 19114810 markings, 106756492 edges, 447 markings/sec, 145 secs
lola: 19116745 markings, 111673924 edges, 387 markings/sec, 150 secs
lola: 19118703 markings, 116633965 edges, 392 markings/sec, 155 secs
lola: 19120327 markings, 121645781 edges, 325 markings/sec, 160 secs
lola: 19121965 markings, 126728620 edges, 328 markings/sec, 165 secs
lola: 19123591 markings, 131880584 edges, 325 markings/sec, 170 secs
lola: 19124853 markings, 137086053 edges, 252 markings/sec, 175 secs
lola: 19126213 markings, 142302374 edges, 272 markings/sec, 180 secs
lola: 19127575 markings, 147592462 edges, 272 markings/sec, 185 secs
lola: 19128570 markings, 152936742 edges, 199 markings/sec, 190 secs
lola: 19129514 markings, 158314601 edges, 189 markings/sec, 195 secs
lola: 19130020 markings, 163762027 edges, 101 markings/sec, 200 secs
lola: 19130683 markings, 169297443 edges, 133 markings/sec, 205 secs
lola: 19131514 markings, 174928245 edges, 166 markings/sec, 210 secs
lola: 19131922 markings, 180729530 edges, 82 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(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1052205 markings, 2797526 edges, 210441 markings/sec, 0 secs
lola: 2062226 markings, 5898134 edges, 202004 markings/sec, 5 secs
lola: 3005112 markings, 8950828 edges, 188577 markings/sec, 10 secs
lola: 3918704 markings, 11969850 edges, 182718 markings/sec, 15 secs
lola: 4819359 markings, 14977722 edges, 180131 markings/sec, 20 secs
lola: 5696863 markings, 17954491 edges, 175501 markings/sec, 25 secs
lola: 6561649 markings, 20919812 edges, 172957 markings/sec, 30 secs
lola: 7412668 markings, 23858477 edges, 170204 markings/sec, 35 secs
lola: 8246028 markings, 26779897 edges, 166672 markings/sec, 40 secs
lola: 9074608 markings, 29688270 edges, 165716 markings/sec, 45 secs
lola: 9890458 markings, 32578381 edges, 163170 markings/sec, 50 secs
lola: 10695123 markings, 35455901 edges, 160933 markings/sec, 55 secs
lola: 11488309 markings, 38317865 edges, 158637 markings/sec, 60 secs
lola: 12274699 markings, 41178176 edges, 157278 markings/sec, 65 secs
lola: 13051544 markings, 44023387 edges, 155369 markings/sec, 70 secs
lola: 13818142 markings, 46861035 edges, 153320 markings/sec, 75 secs
lola: 14573265 markings, 49685779 edges, 151025 markings/sec, 80 secs
lola: 15312526 markings, 52492339 edges, 147852 markings/sec, 85 secs
lola: 16036953 markings, 55272886 edges, 144885 markings/sec, 90 secs
lola: 16748467 markings, 58041636 edges, 142303 markings/sec, 95 secs
lola: 17443416 markings, 60795929 edges, 138990 markings/sec, 100 secs
lola: 18116773 markings, 63532828 edges, 134671 markings/sec, 105 secs
lola: 18761423 markings, 66255883 edges, 128930 markings/sec, 110 secs
lola: 19357253 markings, 68998809 edges, 119166 markings/sec, 115 secs
lola: 19607948 markings, 72456264 edges, 50139 markings/sec, 120 secs
lola: 19619039 markings, 76454295 edges, 2218 markings/sec, 125 secs
lola: 19625571 markings, 80619427 edges, 1306 markings/sec, 130 secs
lola: 19630331 markings, 84872325 edges, 952 markings/sec, 135 secs
lola: 19634481 markings, 89206034 edges, 830 markings/sec, 140 secs
lola: 19638120 markings, 93600357 edges, 728 markings/sec, 145 secs
lola: 19641327 markings, 98048489 edges, 641 markings/sec, 150 secs
lola: 19644113 markings, 102556814 edges, 557 markings/sec, 155 secs
lola: 19646773 markings, 107129819 edges, 532 markings/sec, 160 secs
lola: 19649151 markings, 111735868 edges, 476 markings/sec, 165 secs
lola: 19651342 markings, 116379778 edges, 438 markings/sec, 170 secs
lola: 19653163 markings, 121074047 edges, 364 markings/sec, 175 secs
lola: 19655096 markings, 125823696 edges, 387 markings/sec, 180 secs
lola: 19656800 markings, 130616697 edges, 341 markings/sec, 185 secs
lola: 19658252 markings, 135463743 edges, 290 markings/sec, 190 secs
lola: 19659825 markings, 140355199 edges, 315 markings/sec, 195 secs
lola: 19661318 markings, 145228430 edges, 299 markings/sec, 200 secs
lola: 19662535 markings, 150197847 edges, 243 markings/sec, 205 secs
lola: 19663408 markings, 155176342 edges, 175 markings/sec, 210 secs
lola: 19664702 markings, 160249784 edges, 259 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 952114 markings, 2726739 edges, 190423 markings/sec, 0 secs
lola: 1822494 markings, 5390303 edges, 174076 markings/sec, 5 secs
lola: 2697136 markings, 8127137 edges, 174928 markings/sec, 10 secs
lola: 3545597 markings, 10834145 edges, 169692 markings/sec, 15 secs
lola: 4362396 markings, 13496351 edges, 163360 markings/sec, 20 secs
lola: 5169805 markings, 16175398 edges, 161482 markings/sec, 25 secs
lola: 5954160 markings, 18840718 edges, 156871 markings/sec, 30 secs
lola: 6705851 markings, 21475158 edges, 150338 markings/sec, 35 secs
lola: 7418648 markings, 24151245 edges, 142559 markings/sec, 40 secs
lola: 7870000 markings, 27485851 edges, 90270 markings/sec, 45 secs
lola: 7896770 markings, 31994203 edges, 5354 markings/sec, 50 secs
lola: 7909725 markings, 36436693 edges, 2591 markings/sec, 55 secs
lola: 7919464 markings, 41212040 edges, 1948 markings/sec, 60 secs
lola: 7926412 markings, 45615298 edges, 1390 markings/sec, 65 secs
lola: 7933161 markings, 50591997 edges, 1350 markings/sec, 70 secs
lola: 7939124 markings, 55654775 edges, 1193 markings/sec, 75 secs
lola: 7943874 markings, 60793092 edges, 950 markings/sec, 80 secs
lola: 7947881 markings, 65504758 edges, 801 markings/sec, 85 secs
lola: 7952028 markings, 70739423 edges, 829 markings/sec, 90 secs
lola: 7955403 markings, 75953258 edges, 675 markings/sec, 95 secs
lola: 7958465 markings, 81209964 edges, 612 markings/sec, 100 secs
lola: 7961381 markings, 86675807 edges, 583 markings/sec, 105 secs
lola: 7964466 markings, 92193703 edges, 617 markings/sec, 110 secs
lola: 7966089 markings, 97737322 edges, 325 markings/sec, 115 secs
lola: 7968198 markings, 103416354 edges, 422 markings/sec, 120 secs
lola: 7969986 markings, 109126492 edges, 358 markings/sec, 125 secs
lola: 7971378 markings, 115172129 edges, 278 markings/sec, 130 secs
lola: 8036723 markings, 120818575 edges, 13069 markings/sec, 135 secs
lola: 8742332 markings, 122846533 edges, 141122 markings/sec, 140 secs
lola: 9433465 markings, 124864761 edges, 138227 markings/sec, 145 secs
lola: 10087202 markings, 126867296 edges, 130747 markings/sec, 150 secs
lola: 10734476 markings, 128884283 edges, 129455 markings/sec, 155 secs
lola: 11380998 markings, 130926285 edges, 129304 markings/sec, 160 secs
lola: 12102373 markings, 133249246 edges, 144275 markings/sec, 165 secs
lola: 12865643 markings, 135749034 edges, 152654 markings/sec, 170 secs
lola: 13614236 markings, 138236318 edges, 149719 markings/sec, 175 secs
lola: 14340764 markings, 140709421 edges, 145306 markings/sec, 180 secs
lola: 15045108 markings, 143176552 edges, 140869 markings/sec, 185 secs
lola: 15708653 markings, 145648441 edges, 132709 markings/sec, 190 secs
lola: 16220211 markings, 148468913 edges, 102312 markings/sec, 195 secs
lola: 16254062 markings, 152365095 edges, 6770 markings/sec, 200 secs
lola: 16268172 markings, 156446923 edges, 2822 markings/sec, 205 secs
lola: 16277779 markings, 160644059 edges, 1921 markings/sec, 210 secs
lola: 16285513 markings, 164933493 edges, 1547 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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 958766 markings, 2580867 edges, 191753 markings/sec, 0 secs
lola: 1853733 markings, 5222381 edges, 178993 markings/sec, 5 secs
lola: 2707483 markings, 7855680 edges, 170750 markings/sec, 10 secs
lola: 3540862 markings, 10482545 edges, 166676 markings/sec, 15 secs
lola: 4354667 markings, 13098301 edges, 162761 markings/sec, 20 secs
lola: 5155106 markings, 15705741 edges, 160088 markings/sec, 25 secs
lola: 5941407 markings, 18303521 edges, 157260 markings/sec, 30 secs
lola: 6710827 markings, 20894246 edges, 153884 markings/sec, 35 secs
lola: 7462690 markings, 23475108 edges, 150373 markings/sec, 40 secs
lola: 8205009 markings, 26047326 edges, 148464 markings/sec, 45 secs
lola: 8930800 markings, 28605908 edges, 145158 markings/sec, 50 secs
lola: 9645541 markings, 31159930 edges, 142948 markings/sec, 55 secs
lola: 10342740 markings, 33700029 edges, 139440 markings/sec, 60 secs
lola: 11025001 markings, 36231141 edges, 136452 markings/sec, 65 secs
lola: 11690058 markings, 38759382 edges, 133011 markings/sec, 70 secs
lola: 12336669 markings, 41274051 edges, 129322 markings/sec, 75 secs
lola: 12961208 markings, 43787681 edges, 124908 markings/sec, 80 secs
lola: 13560081 markings, 46321912 edges, 119775 markings/sec, 85 secs
lola: 14113601 markings, 48955706 edges, 110704 markings/sec, 90 secs
lola: 14295513 markings, 52566052 edges, 36382 markings/sec, 95 secs
lola: 14304283 markings, 56715193 edges, 1754 markings/sec, 100 secs
lola: 14309641 markings, 61010390 edges, 1072 markings/sec, 105 secs
lola: 14313807 markings, 65418619 edges, 833 markings/sec, 110 secs
lola: 14317492 markings, 69898669 edges, 737 markings/sec, 115 secs
lola: 14320722 markings, 74474716 edges, 646 markings/sec, 120 secs
lola: 14323422 markings, 79170545 edges, 540 markings/sec, 125 secs
lola: 14326005 markings, 83936526 edges, 517 markings/sec, 130 secs
lola: 14328538 markings, 88753854 edges, 507 markings/sec, 135 secs
lola: 14330851 markings, 93617133 edges, 463 markings/sec, 140 secs
lola: 14332772 markings, 98521831 edges, 384 markings/sec, 145 secs
lola: 14334659 markings, 103487107 edges, 377 markings/sec, 150 secs
lola: 14336524 markings, 108498424 edges, 373 markings/sec, 155 secs
lola: 14338016 markings, 113551176 edges, 298 markings/sec, 160 secs
lola: 14339484 markings, 118678940 edges, 294 markings/sec, 165 secs
lola: 14341082 markings, 123853059 edges, 320 markings/sec, 170 secs
lola: 14342470 markings, 129063913 edges, 278 markings/sec, 175 secs
lola: 14343701 markings, 134331082 edges, 246 markings/sec, 180 secs
lola: 14344936 markings, 139636779 edges, 247 markings/sec, 185 secs
lola: 14345749 markings, 144965802 edges, 163 markings/sec, 190 secs
lola: 14346689 markings, 150364377 edges, 188 markings/sec, 195 secs
lola: 14347140 markings, 155832320 edges, 90 markings/sec, 200 secs
lola: 14347822 markings, 161386755 edges, 136 markings/sec, 205 secs
lola: 14348614 markings, 167062430 edges, 158 markings/sec, 210 secs
lola: 14349021 markings, 172983387 edges, 81 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(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 917019 markings, 2463714 edges, 183404 markings/sec, 0 secs
lola: 1787308 markings, 5021273 edges, 174058 markings/sec, 5 secs
lola: 2620513 markings, 7580567 edges, 166641 markings/sec, 10 secs
lola: 3430891 markings, 10135591 edges, 162076 markings/sec, 15 secs
lola: 4226268 markings, 12686345 edges, 159075 markings/sec, 20 secs
lola: 5001338 markings, 15212477 edges, 155014 markings/sec, 25 secs
lola: 5772270 markings, 17742527 edges, 154186 markings/sec, 30 secs
lola: 6525392 markings, 20263043 edges, 150624 markings/sec, 35 secs
lola: 7254844 markings, 22758764 edges, 145890 markings/sec, 40 secs
lola: 7975059 markings, 25247630 edges, 144043 markings/sec, 45 secs
lola: 8686687 markings, 27736169 edges, 142326 markings/sec, 50 secs
lola: 9383232 markings, 30219326 edges, 139309 markings/sec, 55 secs
lola: 10067606 markings, 32690257 edges, 136875 markings/sec, 60 secs
lola: 10735635 markings, 35151327 edges, 133606 markings/sec, 65 secs
lola: 11397250 markings, 37640323 edges, 132323 markings/sec, 70 secs
lola: 12043625 markings, 40125623 edges, 129275 markings/sec, 75 secs
lola: 12643759 markings, 42500000 edges, 120027 markings/sec, 80 secs
lola: 13206003 markings, 44805446 edges, 112449 markings/sec, 85 secs
lola: 13744873 markings, 47151062 edges, 107774 markings/sec, 90 secs
lola: 14209118 markings, 49510139 edges, 92849 markings/sec, 95 secs
lola: 14297659 markings, 53274972 edges, 17708 markings/sec, 100 secs
lola: 14305119 markings, 57388327 edges, 1492 markings/sec, 105 secs
lola: 14310322 markings, 61618810 edges, 1041 markings/sec, 110 secs
lola: 14314342 markings, 65960268 edges, 804 markings/sec, 115 secs
lola: 14317885 markings, 70369266 edges, 709 markings/sec, 120 secs
lola: 14321009 markings, 74892821 edges, 625 markings/sec, 125 secs
lola: 14323529 markings, 79420523 edges, 504 markings/sec, 130 secs
lola: 14326073 markings, 84016237 edges, 509 markings/sec, 135 secs
lola: 14328533 markings, 88668760 edges, 492 markings/sec, 140 secs
lola: 14330799 markings, 93353632 edges, 453 markings/sec, 145 secs
lola: 14332647 markings, 98095513 edges, 370 markings/sec, 150 secs
lola: 14334431 markings, 102887184 edges, 357 markings/sec, 155 secs
lola: 14336252 markings, 107703322 edges, 364 markings/sec, 160 secs
lola: 14337787 markings, 112579578 edges, 307 markings/sec, 165 secs
lola: 14339257 markings, 117505422 edges, 294 markings/sec, 170 secs
lola: 14340823 markings, 122494761 edges, 313 markings/sec, 175 secs
lola: 14341989 markings, 127544797 edges, 233 markings/sec, 180 secs
lola: 14343295 markings, 132598872 edges, 261 markings/sec, 185 secs
lola: 14344629 markings, 137748294 edges, 267 markings/sec, 190 secs
lola: 14345466 markings, 142933040 edges, 167 markings/sec, 195 secs
lola: 14346495 markings, 148126565 edges, 206 markings/sec, 200 secs
lola: 14347017 markings, 153393253 edges, 104 markings/sec, 205 secs
lola: 14347554 markings, 158747320 edges, 107 markings/sec, 210 secs
lola: 14348451 markings, 164183853 edges, 179 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(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1174860 markings, 2900363 edges, 234972 markings/sec, 0 secs
lola: 2340796 markings, 6011340 edges, 233187 markings/sec, 5 secs
lola: 3416272 markings, 8978558 edges, 215095 markings/sec, 10 secs
lola: 4477421 markings, 12002249 edges, 212230 markings/sec, 15 secs
lola: 5518865 markings, 14989474 edges, 208289 markings/sec, 20 secs
lola: 6543808 markings, 17975865 edges, 204989 markings/sec, 25 secs
lola: 7566246 markings, 20977644 edges, 204488 markings/sec, 30 secs
lola: 8566250 markings, 23958971 edges, 200001 markings/sec, 35 secs
lola: 9541261 markings, 26923163 edges, 195002 markings/sec, 40 secs
lola: 10492409 markings, 29837886 edges, 190230 markings/sec, 45 secs
lola: 11441932 markings, 32788185 edges, 189905 markings/sec, 50 secs
lola: 12376151 markings, 35728793 edges, 186844 markings/sec, 55 secs
lola: 13292684 markings, 38653413 edges, 183307 markings/sec, 60 secs
lola: 14151691 markings, 41444701 edges, 171801 markings/sec, 65 secs
lola: 15027662 markings, 44334720 edges, 175194 markings/sec, 70 secs
lola: 15877630 markings, 47207857 edges, 169994 markings/sec, 75 secs
lola: 16706396 markings, 50074252 edges, 165753 markings/sec, 80 secs
lola: 17510092 markings, 52953328 edges, 160739 markings/sec, 85 secs
lola: 18271927 markings, 55848662 edges, 152367 markings/sec, 90 secs
lola: 18954566 markings, 58882291 edges, 136528 markings/sec, 95 secs
lola: 19076041 markings, 62786707 edges, 24295 markings/sec, 100 secs
lola: 19084861 markings, 66887965 edges, 1764 markings/sec, 105 secs
lola: 19091105 markings, 71368371 edges, 1249 markings/sec, 110 secs
lola: 19095780 markings, 75988463 edges, 935 markings/sec, 115 secs
lola: 19099590 markings, 80212738 edges, 762 markings/sec, 120 secs
lola: 19103082 markings, 84873271 edges, 698 markings/sec, 125 secs
lola: 19105942 markings, 89733306 edges, 572 markings/sec, 130 secs
lola: 19108731 markings, 94619111 edges, 558 markings/sec, 135 secs
lola: 19111611 markings, 99611587 edges, 576 markings/sec, 140 secs
lola: 19114009 markings, 104650129 edges, 480 markings/sec, 145 secs
lola: 19116059 markings, 109737362 edges, 410 markings/sec, 150 secs
lola: 19118087 markings, 114909191 edges, 406 markings/sec, 155 secs
lola: 19119875 markings, 120099683 edges, 358 markings/sec, 160 secs
lola: 19121663 markings, 125347962 edges, 358 markings/sec, 165 secs
lola: 19123267 markings, 130652452 edges, 321 markings/sec, 170 secs
lola: 19124641 markings, 136031288 edges, 275 markings/sec, 175 secs
lola: 19126156 markings, 141392490 edges, 303 markings/sec, 180 secs
lola: 19127542 markings, 146857895 edges, 277 markings/sec, 185 secs
lola: 19128447 markings, 152304100 edges, 181 markings/sec, 190 secs
lola: 19129536 markings, 157814789 edges, 218 markings/sec, 195 secs
lola: 19130083 markings, 163391829 edges, 109 markings/sec, 200 secs
lola: 19130709 markings, 169045345 edges, 125 markings/sec, 205 secs
lola: 19131583 markings, 174939132 edges, 175 markings/sec, 210 secs
lola: 19132037 markings, 180981198 edges, 91 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(p78)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1461213 markings, 1922823 edges, 292243 markings/sec, 0 secs
lola: 2919464 markings, 3855244 edges, 291650 markings/sec, 5 secs
lola: 4313205 markings, 6005449 edges, 278748 markings/sec, 10 secs
lola: 5792160 markings, 7954828 edges, 295791 markings/sec, 15 secs
lola: 7251047 markings, 9881787 edges, 291777 markings/sec, 20 secs
lola: 8694571 markings, 11798655 edges, 288705 markings/sec, 25 secs
lola: 10135144 markings, 13707206 edges, 288115 markings/sec, 30 secs
lola: 11561252 markings, 15603262 edges, 285222 markings/sec, 35 secs
lola: 12983575 markings, 17496513 edges, 284465 markings/sec, 40 secs
lola: 14337431 markings, 19541944 edges, 270771 markings/sec, 45 secs
lola: 15809841 markings, 21478640 edges, 294482 markings/sec, 50 secs
lola: 17254417 markings, 23387091 edges, 288915 markings/sec, 55 secs
lola: 18709728 markings, 25307837 edges, 291062 markings/sec, 60 secs
lola: 20139620 markings, 27202722 edges, 285978 markings/sec, 65 secs
lola: 21547241 markings, 29076016 edges, 281524 markings/sec, 70 secs
lola: 22999345 markings, 30992699 edges, 290421 markings/sec, 75 secs
lola: 24436091 markings, 32891279 edges, 287349 markings/sec, 80 secs
lola: 25844218 markings, 34767268 edges, 281625 markings/sec, 85 secs
lola: 27264911 markings, 36681438 edges, 284139 markings/sec, 90 secs
lola: 28697073 markings, 38580278 edges, 286432 markings/sec, 95 secs
lola: 30119789 markings, 40463697 edges, 284543 markings/sec, 100 secs
lola: 31541508 markings, 42348934 edges, 284344 markings/sec, 105 secs
lola: 32963628 markings, 44236748 edges, 284424 markings/sec, 110 secs
lola: 34375375 markings, 46118095 edges, 282349 markings/sec, 115 secs
lola: 35778865 markings, 48021802 edges, 280698 markings/sec, 120 secs
lola: 37181902 markings, 49892281 edges, 280607 markings/sec, 125 secs
lola: 38581899 markings, 51761215 edges, 279999 markings/sec, 130 secs
lola: 39979392 markings, 53627136 edges, 279499 markings/sec, 135 secs
lola: 41392022 markings, 55504551 edges, 282526 markings/sec, 140 secs
lola: 42790843 markings, 57366913 edges, 279764 markings/sec, 145 secs
lola: 44196621 markings, 59238242 edges, 281156 markings/sec, 150 secs
lola: 45588298 markings, 61099256 edges, 278335 markings/sec, 155 secs
lola: 46977149 markings, 62957716 edges, 277770 markings/sec, 160 secs
lola: 48373044 markings, 64818342 edges, 279179 markings/sec, 165 secs
lola: 49752352 markings, 66666898 edges, 275862 markings/sec, 170 secs
lola: 51137328 markings, 68518194 edges, 276995 markings/sec, 175 secs
lola: 52530096 markings, 70375595 edges, 278554 markings/sec, 180 secs
lola: 53894011 markings, 72316047 edges, 272783 markings/sec, 185 secs
lola: 55270365 markings, 74155620 edges, 275271 markings/sec, 190 secs
lola: 56657852 markings, 76010464 edges, 277497 markings/sec, 195 secs
lola: 58012033 markings, 77939337 edges, 270836 markings/sec, 200 secs
lola: 59393088 markings, 79788276 edges, 276211 markings/sec, 205 secs
lola: 60771799 markings, 81634177 edges, 275742 markings/sec, 210 secs
lola: 62151295 markings, 83480762 edges, 275899 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(p211)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 950848 markings, 2843192 edges, 190170 markings/sec, 0 secs
lola: 1896654 markings, 5831235 edges, 189161 markings/sec, 5 secs
lola: 2806514 markings, 8786004 edges, 181972 markings/sec, 10 secs
lola: 3696316 markings, 11711777 edges, 177960 markings/sec, 15 secs
lola: 4564880 markings, 14613504 edges, 173713 markings/sec, 20 secs
lola: 5413891 markings, 17492713 edges, 169802 markings/sec, 25 secs
lola: 6245697 markings, 20354574 edges, 166361 markings/sec, 30 secs
lola: 7054325 markings, 23191365 edges, 161726 markings/sec, 35 secs
lola: 7843296 markings, 26024672 edges, 157794 markings/sec, 40 secs
lola: 8602086 markings, 28887122 edges, 151758 markings/sec, 45 secs
lola: 9277699 markings, 32047189 edges, 135123 markings/sec, 50 secs
lola: 9374720 markings, 36357948 edges, 19404 markings/sec, 55 secs
lola: 9408079 markings, 40874946 edges, 6672 markings/sec, 60 secs
lola: 9431474 markings, 45523213 edges, 4679 markings/sec, 65 secs
lola: 9450459 markings, 50271393 edges, 3797 markings/sec, 70 secs
lola: 9466439 markings, 55100247 edges, 3196 markings/sec, 75 secs
lola: 9480774 markings, 60007510 edges, 2867 markings/sec, 80 secs
lola: 9492937 markings, 65006040 edges, 2433 markings/sec, 85 secs
lola: 9503689 markings, 70061018 edges, 2150 markings/sec, 90 secs
lola: 9513634 markings, 75218148 edges, 1989 markings/sec, 95 secs
lola: 9523049 markings, 80400170 edges, 1883 markings/sec, 100 secs
lola: 9530017 markings, 85654012 edges, 1394 markings/sec, 105 secs
lola: 9537252 markings, 90991770 edges, 1447 markings/sec, 110 secs
lola: 9544586 markings, 96394153 edges, 1467 markings/sec, 115 secs
lola: 9550663 markings, 101883012 edges, 1215 markings/sec, 120 secs
lola: 9555150 markings, 107416695 edges, 897 markings/sec, 125 secs
lola: 9560598 markings, 113100110 edges, 1090 markings/sec, 130 secs
lola: 9563959 markings, 118971874 edges, 672 markings/sec, 135 secs
lola: 9565942 markings, 125031824 edges, 397 markings/sec, 140 secs
lola: 10067196 markings, 128530463 edges, 100251 markings/sec, 145 secs
lola: 10805824 markings, 130733513 edges, 147726 markings/sec, 150 secs
lola: 11520254 markings, 132965205 edges, 142886 markings/sec, 155 secs
lola: 12214749 markings, 135208321 edges, 138899 markings/sec, 160 secs
lola: 12907223 markings, 137457017 edges, 138495 markings/sec, 165 secs
lola: 13634931 markings, 139844903 edges, 145542 markings/sec, 170 secs
lola: 14442964 markings, 142542942 edges, 161607 markings/sec, 175 secs
lola: 15234729 markings, 145224494 edges, 158353 markings/sec, 180 secs
lola: 16017326 markings, 147900719 edges, 156519 markings/sec, 185 secs
lola: 16781236 markings, 150562900 edges, 152782 markings/sec, 190 secs
lola: 17527660 markings, 153218448 edges, 149285 markings/sec, 195 secs
lola: 18251986 markings, 155876638 edges, 144865 markings/sec, 200 secs
lola: 18935472 markings, 158587833 edges, 136697 markings/sec, 205 secs
lola: 19341517 markings, 161942533 edges, 81209 markings/sec, 210 secs
lola: 19388142 markings, 165790214 edges, 9325 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1252104 markings, 3099811 edges, 250421 markings/sec, 0 secs
lola: 2436392 markings, 6268465 edges, 236858 markings/sec, 5 secs
lola: 3565425 markings, 9411596 edges, 225807 markings/sec, 10 secs
lola: 4667149 markings, 12535426 edges, 220345 markings/sec, 15 secs
lola: 5741630 markings, 15637010 edges, 214896 markings/sec, 20 secs
lola: 6795370 markings, 18715533 edges, 210748 markings/sec, 25 secs
lola: 7837284 markings, 21781089 edges, 208383 markings/sec, 30 secs
lola: 8852367 markings, 24823367 edges, 203017 markings/sec, 35 secs
lola: 9844427 markings, 27845783 edges, 198412 markings/sec, 40 secs
lola: 10820989 markings, 30855734 edges, 195312 markings/sec, 45 secs
lola: 11781577 markings, 33850274 edges, 192118 markings/sec, 50 secs
lola: 12721302 markings, 36825273 edges, 187945 markings/sec, 55 secs
lola: 13640608 markings, 39781415 edges, 183861 markings/sec, 60 secs
lola: 14541488 markings, 42723178 edges, 180176 markings/sec, 65 secs
lola: 15417843 markings, 45648658 edges, 175271 markings/sec, 70 secs
lola: 16274571 markings, 48570049 edges, 171346 markings/sec, 75 secs
lola: 17098917 markings, 51467964 edges, 164869 markings/sec, 80 secs
lola: 17887909 markings, 54363455 edges, 157798 markings/sec, 85 secs
lola: 18615164 markings, 57268961 edges, 145451 markings/sec, 90 secs
lola: 19065237 markings, 60701095 edges, 90015 markings/sec, 95 secs
lola: 19081374 markings, 64933007 edges, 3227 markings/sec, 100 secs
lola: 19088441 markings, 69309455 edges, 1413 markings/sec, 105 secs
lola: 19093639 markings, 73840054 edges, 1040 markings/sec, 110 secs
lola: 19098049 markings, 78434405 edges, 882 markings/sec, 115 secs
lola: 19101785 markings, 83166806 edges, 747 markings/sec, 120 secs
lola: 19104918 markings, 88032197 edges, 627 markings/sec, 125 secs
lola: 19107842 markings, 92908428 edges, 585 markings/sec, 130 secs
lola: 19110623 markings, 97902306 edges, 556 markings/sec, 135 secs
lola: 19113161 markings, 102901207 edges, 508 markings/sec, 140 secs
lola: 19115256 markings, 107984757 edges, 419 markings/sec, 145 secs
lola: 19117284 markings, 113062796 edges, 406 markings/sec, 150 secs
lola: 19119247 markings, 118234053 edges, 393 markings/sec, 155 secs
lola: 19120886 markings, 123419067 edges, 328 markings/sec, 160 secs
lola: 19122417 markings, 128680853 edges, 306 markings/sec, 165 secs
lola: 19124082 markings, 133997721 edges, 333 markings/sec, 170 secs
lola: 19125542 markings, 139340884 edges, 292 markings/sec, 175 secs
lola: 19126848 markings, 144741498 edges, 261 markings/sec, 180 secs
lola: 19128014 markings, 150214859 edges, 233 markings/sec, 185 secs
lola: 19128999 markings, 155744641 edges, 197 markings/sec, 190 secs
lola: 19129863 markings, 161328244 edges, 173 markings/sec, 195 secs
lola: 19130310 markings, 166948482 edges, 89 markings/sec, 200 secs
lola: 19131214 markings, 172739305 edges, 181 markings/sec, 205 secs
lola: 19131761 markings, 178571057 edges, 109 markings/sec, 210 secs
lola: 19132043 markings, 184740576 edges, 56 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(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 974407 markings, 2914070 edges, 194881 markings/sec, 0 secs
lola: 1914136 markings, 5889004 edges, 187946 markings/sec, 5 secs
lola: 2819633 markings, 8829398 edges, 181099 markings/sec, 10 secs
lola: 3704710 markings, 11740492 edges, 177015 markings/sec, 15 secs
lola: 4570176 markings, 14631416 edges, 173093 markings/sec, 20 secs
lola: 5414188 markings, 17493723 edges, 168802 markings/sec, 25 secs
lola: 6240844 markings, 20337746 edges, 165331 markings/sec, 30 secs
lola: 7046916 markings, 23165110 edges, 161214 markings/sec, 35 secs
lola: 7834085 markings, 25990608 edges, 157434 markings/sec, 40 secs
lola: 8586841 markings, 28827086 edges, 150551 markings/sec, 45 secs
lola: 9259242 markings, 31919029 edges, 134480 markings/sec, 50 secs
lola: 9372760 markings, 36178827 edges, 22704 markings/sec, 55 secs
lola: 9406927 markings, 40669635 edges, 6833 markings/sec, 60 secs
lola: 9430456 markings, 45310030 edges, 4706 markings/sec, 65 secs
lola: 9449550 markings, 50048870 edges, 3819 markings/sec, 70 secs
lola: 9465737 markings, 54872876 edges, 3237 markings/sec, 75 secs
lola: 9480182 markings, 59792924 edges, 2889 markings/sec, 80 secs
lola: 9492564 markings, 64789909 edges, 2476 markings/sec, 85 secs
lola: 9503239 markings, 69848567 edges, 2135 markings/sec, 90 secs
lola: 9513392 markings, 75001610 edges, 2031 markings/sec, 95 secs
lola: 9522611 markings, 80202060 edges, 1844 markings/sec, 100 secs
lola: 9529738 markings, 85462602 edges, 1425 markings/sec, 105 secs
lola: 9537139 markings, 90823207 edges, 1480 markings/sec, 110 secs
lola: 9544472 markings, 96239291 edges, 1467 markings/sec, 115 secs
lola: 9550608 markings, 101738883 edges, 1227 markings/sec, 120 secs
lola: 9555075 markings, 107309403 edges, 893 markings/sec, 125 secs
lola: 9560525 markings, 113017530 edges, 1090 markings/sec, 130 secs
lola: 9563953 markings, 118915116 edges, 686 markings/sec, 135 secs
lola: 9565948 markings, 125056003 edges, 399 markings/sec, 140 secs
lola: 10067996 markings, 128532606 edges, 100410 markings/sec, 145 secs
lola: 10808111 markings, 130740658 edges, 148023 markings/sec, 150 secs
lola: 11524376 markings, 132977875 edges, 143253 markings/sec, 155 secs
lola: 12221828 markings, 135231289 edges, 139490 markings/sec, 160 secs
lola: 12918337 markings, 137494119 edges, 139302 markings/sec, 165 secs
lola: 13650330 markings, 139895675 edges, 146399 markings/sec, 170 secs
lola: 14462204 markings, 142607827 edges, 162375 markings/sec, 175 secs
lola: 15257122 markings, 145298067 edges, 158984 markings/sec, 180 secs
lola: 16041140 markings, 147982979 edges, 156804 markings/sec, 185 secs
lola: 16808044 markings, 150657092 edges, 153381 markings/sec, 190 secs
lola: 17556087 markings, 153320836 edges, 149609 markings/sec, 195 secs
lola: 18280881 markings, 155985665 edges, 144959 markings/sec, 200 secs
lola: 18968163 markings, 158729227 edges, 137456 markings/sec, 205 secs
lola: 19345407 markings, 162162474 edges, 75449 markings/sec, 210 secs
lola: 19390352 markings, 166047976 edges, 8989 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 990640 markings, 2963967 edges, 198128 markings/sec, 0 secs
lola: 1938132 markings, 5968059 edges, 189498 markings/sec, 5 secs
lola: 2854550 markings, 8946323 edges, 183284 markings/sec, 10 secs
lola: 3755384 markings, 11910061 edges, 180167 markings/sec, 15 secs
lola: 4638977 markings, 14864320 edges, 176719 markings/sec, 20 secs
lola: 5504818 markings, 17802983 edges, 173168 markings/sec, 25 secs
lola: 6352569 markings, 20726132 edges, 169550 markings/sec, 30 secs
lola: 7180238 markings, 23637737 edges, 165534 markings/sec, 35 secs
lola: 7986607 markings, 26552471 edges, 161274 markings/sec, 40 secs
lola: 8755685 markings, 29501172 edges, 153816 markings/sec, 45 secs
lola: 9324742 markings, 33033939 edges, 113811 markings/sec, 50 secs
lola: 9385816 markings, 37619581 edges, 12215 markings/sec, 55 secs
lola: 9416717 markings, 42424397 edges, 6180 markings/sec, 60 secs
lola: 9439502 markings, 47370212 edges, 4557 markings/sec, 65 secs
lola: 9457584 markings, 52404994 edges, 3616 markings/sec, 70 secs
lola: 9473535 markings, 57523774 edges, 3190 markings/sec, 75 secs
lola: 9487550 markings, 62730566 edges, 2803 markings/sec, 80 secs
lola: 9499256 markings, 68020152 edges, 2341 markings/sec, 85 secs
lola: 9509965 markings, 73349612 edges, 2142 markings/sec, 90 secs
lola: 9520453 markings, 78774169 edges, 2098 markings/sec, 95 secs
lola: 9527691 markings, 84256508 edges, 1448 markings/sec, 100 secs
lola: 9536234 markings, 89821516 edges, 1709 markings/sec, 105 secs
lola: 9542931 markings, 95434111 edges, 1339 markings/sec, 110 secs
lola: 9550168 markings, 101166094 edges, 1447 markings/sec, 115 secs
lola: 9554892 markings, 106900645 edges, 945 markings/sec, 120 secs
lola: 9560182 markings, 112796186 edges, 1058 markings/sec, 125 secs
lola: 9563902 markings, 118871434 edges, 744 markings/sec, 130 secs
lola: 9566013 markings, 125136594 edges, 422 markings/sec, 135 secs
lola: 10080041 markings, 128566913 edges, 102806 markings/sec, 140 secs
lola: 10824086 markings, 130788556 edges, 148809 markings/sec, 145 secs
lola: 11544376 markings, 133042751 edges, 144058 markings/sec, 150 secs
lola: 12247316 markings, 135312735 edges, 140588 markings/sec, 155 secs
lola: 12949734 markings, 137591716 edges, 140484 markings/sec, 160 secs
lola: 13696382 markings, 140049254 edges, 149330 markings/sec, 165 secs
lola: 14522154 markings, 142807567 edges, 165154 markings/sec, 170 secs
lola: 15332332 markings, 145553803 edges, 162036 markings/sec, 175 secs
lola: 16130183 markings, 148291198 edges, 159570 markings/sec, 180 secs
lola: 16909564 markings, 151014381 edges, 155876 markings/sec, 185 secs
lola: 17671211 markings, 153736455 edges, 152329 markings/sec, 190 secs
lola: 18405730 markings, 156459707 edges, 146904 markings/sec, 195 secs
lola: 19089572 markings, 159289484 edges, 136768 markings/sec, 200 secs
lola: 19358754 markings, 162986906 edges, 53836 markings/sec, 205 secs
lola: 19397875 markings, 167058924 edges, 7824 markings/sec, 210 secs
lola: 19423200 markings, 171265637 edges, 5065 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 1343674 markings, 2706291 edges, 268735 markings/sec, 0 secs
lola: 2546086 markings, 5750480 edges, 240482 markings/sec, 5 secs
lola: 3662796 markings, 8795764 edges, 223342 markings/sec, 10 secs
lola: 4738738 markings, 11817090 edges, 215188 markings/sec, 15 secs
lola: 5799587 markings, 14820005 edges, 212170 markings/sec, 20 secs
lola: 6829813 markings, 17806286 edges, 206045 markings/sec, 25 secs
lola: 7841408 markings, 20776322 edges, 202319 markings/sec, 30 secs
lola: 8833517 markings, 23731742 edges, 198422 markings/sec, 35 secs
lola: 9813438 markings, 26674190 edges, 195984 markings/sec, 40 secs
lola: 10772787 markings, 29599025 edges, 191870 markings/sec, 45 secs
lola: 11719863 markings, 32514568 edges, 189415 markings/sec, 50 secs
lola: 12647815 markings, 35416425 edges, 185590 markings/sec, 55 secs
lola: 13564299 markings, 38305103 edges, 183297 markings/sec, 60 secs
lola: 14460060 markings, 41178758 edges, 179152 markings/sec, 65 secs
lola: 15335663 markings, 44039793 edges, 175121 markings/sec, 70 secs
lola: 16191326 markings, 46888175 edges, 171133 markings/sec, 75 secs
lola: 17025736 markings, 49725110 edges, 166882 markings/sec, 80 secs
lola: 17834551 markings, 52547485 edges, 161763 markings/sec, 85 secs
lola: 18609311 markings, 55367100 edges, 154952 markings/sec, 90 secs
lola: 19334709 markings, 58203524 edges, 145080 markings/sec, 95 secs
lola: 19906655 markings, 61345205 edges, 114389 markings/sec, 100 secs
lola: 19930908 markings, 65324688 edges, 4851 markings/sec, 105 secs
lola: 19938782 markings, 69513555 edges, 1575 markings/sec, 110 secs
lola: 19944223 markings, 73807429 edges, 1088 markings/sec, 115 secs
lola: 19948477 markings, 78216767 edges, 851 markings/sec, 120 secs
lola: 19952428 markings, 82694756 edges, 790 markings/sec, 125 secs
lola: 19955809 markings, 87213563 edges, 676 markings/sec, 130 secs
lola: 19958743 markings, 91812151 edges, 587 markings/sec, 135 secs
lola: 19961599 markings, 96503582 edges, 571 markings/sec, 140 secs
lola: 19964117 markings, 101232966 edges, 504 markings/sec, 145 secs
lola: 19966463 markings, 106006406 edges, 469 markings/sec, 150 secs
lola: 19968489 markings, 110750443 edges, 405 markings/sec, 155 secs
lola: 19970357 markings, 115540034 edges, 374 markings/sec, 160 secs
lola: 19972089 markings, 120430330 edges, 346 markings/sec, 165 secs
lola: 19973596 markings, 125318591 edges, 301 markings/sec, 170 secs
lola: 19975197 markings, 130289800 edges, 320 markings/sec, 175 secs
lola: 19976709 markings, 135300896 edges, 302 markings/sec, 180 secs
lola: 19977990 markings, 140351716 edges, 256 markings/sec, 185 secs
lola: 19978877 markings, 145231632 edges, 177 markings/sec, 190 secs
lola: 19980105 markings, 150197228 edges, 246 markings/sec, 195 secs
lola: 19981045 markings, 155424123 edges, 188 markings/sec, 200 secs
lola: 19982118 markings, 160775729 edges, 215 markings/sec, 205 secs
lola: 19982360 markings, 166079088 edges, 48 markings/sec, 210 secs
lola: 19983061 markings, 171188413 edges, 140 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 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: 936543 markings, 3281788 edges, 187309 markings/sec, 0 secs
lola: 1870173 markings, 6673289 edges, 186726 markings/sec, 5 secs
lola: 2765048 markings, 10016673 edges, 178975 markings/sec, 10 secs
lola: 3552925 markings, 13022994 edges, 157575 markings/sec, 15 secs
lola: 4338332 markings, 16045329 edges, 157081 markings/sec, 20 secs
lola: 5136648 markings, 19147554 edges, 159663 markings/sec, 25 secs
lola: 5918649 markings, 22208308 edges, 156400 markings/sec, 30 secs
lola: 6734334 markings, 25428832 edges, 163137 markings/sec, 35 secs
lola: 7548651 markings, 28641861 edges, 162863 markings/sec, 40 secs
lola: 8269446 markings, 31517419 edges, 144159 markings/sec, 45 secs
lola: 9054067 markings, 34680613 edges, 156924 markings/sec, 50 secs
lola: 9828603 markings, 37826967 edges, 154907 markings/sec, 55 secs
lola: 10596176 markings, 40963640 edges, 153515 markings/sec, 60 secs
lola: 11309653 markings, 43901903 edges, 142695 markings/sec, 65 secs
lola: 12007047 markings, 46796573 edges, 139479 markings/sec, 70 secs
lola: 12652804 markings, 49489444 edges, 129151 markings/sec, 75 secs
lola: 13331065 markings, 52340108 edges, 135652 markings/sec, 80 secs
lola: 13968309 markings, 55045600 edges, 127449 markings/sec, 85 secs
lola: 14644057 markings, 57938785 edges, 135150 markings/sec, 90 secs
lola: 15312064 markings, 60834337 edges, 133601 markings/sec, 95 secs
lola: 15872277 markings, 63287776 edges, 112043 markings/sec, 100 secs
lola: 16543514 markings, 66263610 edges, 134247 markings/sec, 105 secs
lola: 17163735 markings, 69067945 edges, 124044 markings/sec, 110 secs
lola: 17798703 markings, 72006107 edges, 126994 markings/sec, 115 secs
lola: 18370727 markings, 74764589 edges, 114405 markings/sec, 120 secs
lola: 18927674 markings, 77742331 edges, 111389 markings/sec, 125 secs
lola: 19073627 markings, 81235656 edges, 29191 markings/sec, 130 secs
lola: 19083915 markings, 85367705 edges, 2058 markings/sec, 135 secs
lola: 19090070 markings, 89646625 edges, 1231 markings/sec, 140 secs
lola: 19094406 markings, 93727097 edges, 867 markings/sec, 145 secs
lola: 19098316 markings, 97852719 edges, 782 markings/sec, 150 secs
lola: 19101828 markings, 102339211 edges, 702 markings/sec, 155 secs
lola: 19104626 markings, 106696938 edges, 560 markings/sec, 160 secs
lola: 19107412 markings, 111241469 edges, 557 markings/sec, 165 secs
lola: 19109687 markings, 115459893 edges, 455 markings/sec, 170 secs
lola: 19112271 markings, 120168979 edges, 517 markings/sec, 175 secs
lola: 19114442 markings, 124959301 edges, 434 markings/sec, 180 secs
lola: 19116321 markings, 129797771 edges, 376 markings/sec, 185 secs
lola: 19118218 markings, 134515758 edges, 379 markings/sec, 190 secs
lola: 19119843 markings, 139246566 edges, 325 markings/sec, 195 secs
lola: 19121526 markings, 144222623 edges, 337 markings/sec, 200 secs
lola: 19122942 markings, 149168145 edges, 283 markings/sec, 205 secs
lola: 19124264 markings, 153925063 edges, 264 markings/sec, 210 secs
lola: 19125721 markings, 159064582 edges, 291 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 MultiwaySync-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA MultiwaySync-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494634497304
--------------------
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="MultiwaySync-PT-none"
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/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none 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 MultiwaySync-PT-none, 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 r038-blw7-149440484700218"
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 ;