About the Execution of LoLA for FlexibleBarrier-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2085.930 | 3539174.00 | 3545438.00 | 1530.00 | ? 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is FlexibleBarrier-PT-06b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034100029
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-06b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496481416908
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-06b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-06b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-06b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1163/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 542 places, 621 transitions, 534 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 635 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-06b-UpperBounds.task
lola: MAX(p385) : MAX(p396) : MAX(p513) : MAX(p99) : MAX(p461) : MAX(p128) : MAX(p469) : MAX(p423) : MAX(p110) : MAX(p468) : MAX(p145) : MAX(p219) : MAX(p485) : MAX(p386) : MAX(p473) : MAX(p519)
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(p385)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 486528 markings, 1117513 edges, 97306 markings/sec, 0 secs
lola: 966374 markings, 2224203 edges, 95969 markings/sec, 5 secs
lola: 1414290 markings, 3399635 edges, 89583 markings/sec, 10 secs
lola: 1779692 markings, 4544664 edges, 73080 markings/sec, 15 secs
lola: 2155687 markings, 5541530 edges, 75199 markings/sec, 20 secs
lola: 2591590 markings, 6556570 edges, 87181 markings/sec, 25 secs
lola: 3022539 markings, 7557906 edges, 86190 markings/sec, 30 secs
lola: 3461563 markings, 8651944 edges, 87805 markings/sec, 35 secs
lola: 3786254 markings, 9487134 edges, 64938 markings/sec, 40 secs
lola: 4141784 markings, 10646659 edges, 71106 markings/sec, 45 secs
lola: 4507832 markings, 11628878 edges, 73210 markings/sec, 50 secs
lola: 4904816 markings, 12678109 edges, 79397 markings/sec, 55 secs
lola: 5351033 markings, 13722434 edges, 89243 markings/sec, 60 secs
lola: 5788943 markings, 14727912 edges, 87582 markings/sec, 65 secs
lola: 6218384 markings, 15820257 edges, 85888 markings/sec, 70 secs
lola: 6562972 markings, 16910475 edges, 68918 markings/sec, 75 secs
lola: 6935633 markings, 17912787 edges, 74532 markings/sec, 80 secs
lola: 7359928 markings, 18950062 edges, 84859 markings/sec, 85 secs
lola: 7786677 markings, 19950352 edges, 85350 markings/sec, 90 secs
lola: 8237283 markings, 21013794 edges, 90121 markings/sec, 95 secs
lola: 8645668 markings, 22067709 edges, 81677 markings/sec, 100 secs
lola: 8982020 markings, 23170837 edges, 67270 markings/sec, 105 secs
lola: 9339256 markings, 24125392 edges, 71447 markings/sec, 110 secs
lola: 9783544 markings, 25164113 edges, 88858 markings/sec, 115 secs
lola: 10229651 markings, 26200966 edges, 89221 markings/sec, 120 secs
lola: 10662640 markings, 27277139 edges, 86598 markings/sec, 125 secs
lola: 11027290 markings, 28432964 edges, 72930 markings/sec, 130 secs
lola: 11403805 markings, 29433733 edges, 75303 markings/sec, 135 secs
lola: 11822865 markings, 30475629 edges, 83812 markings/sec, 140 secs
lola: 12253540 markings, 31484944 edges, 86135 markings/sec, 145 secs
lola: 12719742 markings, 32579329 edges, 93240 markings/sec, 150 secs
lola: 13154873 markings, 33705516 edges, 87026 markings/sec, 155 secs
lola: 13508064 markings, 34846540 edges, 70638 markings/sec, 160 secs
lola: 13875489 markings, 35838749 edges, 73485 markings/sec, 165 secs
lola: 14296216 markings, 36960382 edges, 84145 markings/sec, 170 secs
lola: 14691207 markings, 38030271 edges, 78998 markings/sec, 175 secs
lola: 15096870 markings, 39118791 edges, 81133 markings/sec, 180 secs
lola: 15501083 markings, 40209451 edges, 80843 markings/sec, 185 secs
lola: 15925580 markings, 41270460 edges, 84899 markings/sec, 190 secs
lola: 16346650 markings, 42259319 edges, 84214 markings/sec, 195 secs
lola: 16795529 markings, 43308307 edges, 89776 markings/sec, 200 secs
lola: 17211635 markings, 44385914 edges, 83221 markings/sec, 205 secs
lola: 17526926 markings, 45423740 edges, 63058 markings/sec, 210 secs
lola: 17850212 markings, 46293088 edges, 64657 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(p396)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p513)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 485977 markings, 1115205 edges, 97195 markings/sec, 0 secs
lola: 973058 markings, 2245321 edges, 97416 markings/sec, 5 secs
lola: 1428735 markings, 3427303 edges, 91135 markings/sec, 10 secs
lola: 1821190 markings, 4569161 edges, 78491 markings/sec, 15 secs
lola: 2255951 markings, 5593417 edges, 86952 markings/sec, 20 secs
lola: 2720215 markings, 6683664 edges, 92853 markings/sec, 25 secs
lola: 3131033 markings, 7741678 edges, 82164 markings/sec, 30 secs
lola: 3494730 markings, 8813735 edges, 72739 markings/sec, 35 secs
lola: 3934779 markings, 9848889 edges, 88010 markings/sec, 40 secs
lola: 4391270 markings, 10930949 edges, 91298 markings/sec, 45 secs
lola: 4808287 markings, 12029673 edges, 83403 markings/sec, 50 secs
lola: 5205675 markings, 13157269 edges, 79478 markings/sec, 55 secs
lola: 5644127 markings, 14185967 edges, 87690 markings/sec, 60 secs
lola: 6097049 markings, 15286636 edges, 90584 markings/sec, 65 secs
lola: 6494983 markings, 16389851 edges, 79587 markings/sec, 70 secs
lola: 6922194 markings, 17507229 edges, 85442 markings/sec, 75 secs
lola: 7366294 markings, 18540269 edges, 88820 markings/sec, 80 secs
lola: 7810126 markings, 19658050 edges, 88766 markings/sec, 85 secs
lola: 8138638 markings, 20709459 edges, 65702 markings/sec, 90 secs
lola: 8562024 markings, 21693051 edges, 84677 markings/sec, 95 secs
lola: 9009777 markings, 22720655 edges, 89551 markings/sec, 100 secs
lola: 9453121 markings, 23841811 edges, 88669 markings/sec, 105 secs
lola: 9793855 markings, 24906789 edges, 68147 markings/sec, 110 secs
lola: 10221753 markings, 25910692 edges, 85580 markings/sec, 115 secs
lola: 10675504 markings, 26952040 edges, 90750 markings/sec, 120 secs
lola: 11110100 markings, 28073217 edges, 86919 markings/sec, 125 secs
lola: 11480985 markings, 29178563 edges, 74177 markings/sec, 130 secs
lola: 11919506 markings, 30219076 edges, 87704 markings/sec, 135 secs
lola: 12372531 markings, 31264704 edges, 90605 markings/sec, 140 secs
lola: 12809446 markings, 32400200 edges, 87383 markings/sec, 145 secs
lola: 13216282 markings, 33477393 edges, 81367 markings/sec, 150 secs
lola: 13776373 markings, 34567004 edges, 112018 markings/sec, 155 secs
lola: 14336557 markings, 35693705 edges, 112037 markings/sec, 160 secs
lola: 14853676 markings, 36783872 edges, 103424 markings/sec, 165 secs
lola: 15329716 markings, 37782853 edges, 95208 markings/sec, 170 secs
lola: 15794708 markings, 38799533 edges, 92998 markings/sec, 175 secs
lola: 16265256 markings, 39849564 edges, 94110 markings/sec, 180 secs
lola: 16820685 markings, 40924795 edges, 111086 markings/sec, 185 secs
lola: 17378006 markings, 42041554 edges, 111464 markings/sec, 190 secs
lola: 17864673 markings, 43107164 edges, 97333 markings/sec, 195 secs
lola: 18366439 markings, 44067449 edges, 100353 markings/sec, 200 secs
lola: 18883358 markings, 45072112 edges, 103384 markings/sec, 205 secs
lola: 19374938 markings, 46046139 edges, 98316 markings/sec, 210 secs
lola: 19857346 markings, 47021022 edges, 96482 markings/sec, 215 secs
lola: 20349602 markings, 48039016 edges, 98451 markings/sec, 220 secs
lola: 20845421 markings, 48988078 edges, 99164 markings/sec, 225 secs
lola: 21353500 markings, 50001514 edges, 101616 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 475653 markings, 1041443 edges, 95131 markings/sec, 0 secs
lola: 923195 markings, 2187872 edges, 89508 markings/sec, 5 secs
lola: 1366490 markings, 3335274 edges, 88659 markings/sec, 10 secs
lola: 1836177 markings, 4536923 edges, 93937 markings/sec, 15 secs
lola: 2279907 markings, 5728017 edges, 88746 markings/sec, 20 secs
lola: 2647572 markings, 7004468 edges, 73533 markings/sec, 25 secs
lola: 3043388 markings, 8136223 edges, 79163 markings/sec, 30 secs
lola: 3499501 markings, 9281603 edges, 91223 markings/sec, 35 secs
lola: 3950089 markings, 10410677 edges, 90118 markings/sec, 40 secs
lola: 4399788 markings, 11529343 edges, 89940 markings/sec, 45 secs
lola: 4841948 markings, 12691314 edges, 88432 markings/sec, 50 secs
lola: 5250221 markings, 13737039 edges, 81655 markings/sec, 55 secs
lola: 5576288 markings, 14971598 edges, 65213 markings/sec, 60 secs
lola: 5964346 markings, 15987770 edges, 77612 markings/sec, 65 secs
lola: 6380134 markings, 17026440 edges, 83158 markings/sec, 70 secs
lola: 6812531 markings, 18100503 edges, 86479 markings/sec, 75 secs
lola: 7223423 markings, 19131456 edges, 82178 markings/sec, 80 secs
lola: 7649171 markings, 20254314 edges, 85150 markings/sec, 85 secs
lola: 8035736 markings, 21236274 edges, 77313 markings/sec, 90 secs
lola: 8307213 markings, 22324432 edges, 54295 markings/sec, 95 secs
lola: 8694442 markings, 23365336 edges, 77446 markings/sec, 100 secs
lola: 9091953 markings, 24338269 edges, 79502 markings/sec, 105 secs
lola: 9506841 markings, 25385599 edges, 82978 markings/sec, 110 secs
lola: 9923312 markings, 26411901 edges, 83294 markings/sec, 115 secs
lola: 10344110 markings, 27493676 edges, 84160 markings/sec, 120 secs
lola: 10745365 markings, 28582761 edges, 80251 markings/sec, 125 secs
lola: 11027792 markings, 29546215 edges, 56485 markings/sec, 130 secs
lola: 11406926 markings, 30655841 edges, 75827 markings/sec, 135 secs
lola: 11765259 markings, 31579593 edges, 71667 markings/sec, 140 secs
lola: 12187116 markings, 32633676 edges, 84371 markings/sec, 145 secs
lola: 12572978 markings, 33567234 edges, 77172 markings/sec, 150 secs
lola: 12977295 markings, 34592472 edges, 80863 markings/sec, 155 secs
lola: 13384765 markings, 35691975 edges, 81494 markings/sec, 160 secs
lola: 13752261 markings, 36615534 edges, 73499 markings/sec, 165 secs
lola: 14016808 markings, 37682116 edges, 52909 markings/sec, 170 secs
lola: 14400121 markings, 38689355 edges, 76663 markings/sec, 175 secs
lola: 14793436 markings, 39679118 edges, 78663 markings/sec, 180 secs
lola: 15170002 markings, 40625529 edges, 75313 markings/sec, 185 secs
lola: 15577535 markings, 41625139 edges, 81507 markings/sec, 190 secs
lola: 15985634 markings, 42676505 edges, 81620 markings/sec, 195 secs
lola: 16374110 markings, 43744693 edges, 77695 markings/sec, 200 secs
lola: 16660657 markings, 44640453 edges, 57309 markings/sec, 205 secs
lola: 17006510 markings, 45739312 edges, 69171 markings/sec, 210 secs
lola: 17378908 markings, 46679115 edges, 74480 markings/sec, 215 secs
lola: 17795094 markings, 47729332 edges, 83237 markings/sec, 220 secs
lola: 18212144 markings, 48744820 edges, 83410 markings/sec, 225 secs
lola: 18615301 markings, 49768729 edges, 80631 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p461)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 478397 markings, 1103023 edges, 95679 markings/sec, 0 secs
lola: 925238 markings, 2142650 edges, 89368 markings/sec, 5 secs
lola: 1371388 markings, 3264400 edges, 89230 markings/sec, 10 secs
lola: 1768174 markings, 4314402 edges, 79357 markings/sec, 15 secs
lola: 2125298 markings, 5497288 edges, 71425 markings/sec, 20 secs
lola: 2522566 markings, 6561013 edges, 79454 markings/sec, 25 secs
lola: 2951868 markings, 7577509 edges, 85860 markings/sec, 30 secs
lola: 3460464 markings, 8637351 edges, 101719 markings/sec, 35 secs
lola: 3957723 markings, 9653094 edges, 99452 markings/sec, 40 secs
lola: 4415059 markings, 10675910 edges, 91467 markings/sec, 45 secs
lola: 4861319 markings, 11688165 edges, 89252 markings/sec, 50 secs
lola: 5301515 markings, 12678333 edges, 88039 markings/sec, 55 secs
lola: 5756278 markings, 13677765 edges, 90953 markings/sec, 60 secs
lola: 6214374 markings, 14722722 edges, 91619 markings/sec, 65 secs
lola: 6686720 markings, 15728893 edges, 94469 markings/sec, 70 secs
lola: 7150148 markings, 16720051 edges, 92686 markings/sec, 75 secs
lola: 7642707 markings, 17715440 edges, 98512 markings/sec, 80 secs
lola: 8128600 markings, 18731280 edges, 97179 markings/sec, 85 secs
lola: 8646946 markings, 19786169 edges, 103669 markings/sec, 90 secs
lola: 9145695 markings, 20817909 edges, 99750 markings/sec, 95 secs
lola: 9625014 markings, 21797456 edges, 95864 markings/sec, 100 secs
lola: 10077192 markings, 22804805 edges, 90436 markings/sec, 105 secs
lola: 10559185 markings, 23939289 edges, 96399 markings/sec, 110 secs
lola: 11057635 markings, 25068878 edges, 99690 markings/sec, 115 secs
lola: 11494297 markings, 26222426 edges, 87332 markings/sec, 120 secs
lola: 11996469 markings, 27402758 edges, 100434 markings/sec, 125 secs
lola: 12507463 markings, 28459979 edges, 102199 markings/sec, 130 secs
lola: 12976466 markings, 29423810 edges, 93801 markings/sec, 135 secs
lola: 13478498 markings, 30441400 edges, 100406 markings/sec, 140 secs
lola: 13966272 markings, 31467695 edges, 97555 markings/sec, 145 secs
lola: 14429099 markings, 32512659 edges, 92565 markings/sec, 150 secs
lola: 14856130 markings, 33472716 edges, 85406 markings/sec, 155 secs
lola: 15245833 markings, 34350103 edges, 77941 markings/sec, 160 secs
lola: 15689036 markings, 35364927 edges, 88641 markings/sec, 165 secs
lola: 16163811 markings, 36427738 edges, 94955 markings/sec, 170 secs
lola: 16621588 markings, 37435796 edges, 91555 markings/sec, 175 secs
lola: 17053232 markings, 38392657 edges, 86329 markings/sec, 180 secs
lola: 17426103 markings, 39219632 edges, 74574 markings/sec, 185 secs
lola: 17930589 markings, 40217297 edges, 100897 markings/sec, 190 secs
lola: 18422599 markings, 41206715 edges, 98402 markings/sec, 195 secs
lola: 18938331 markings, 42250776 edges, 103146 markings/sec, 200 secs
lola: 19440065 markings, 43276348 edges, 100347 markings/sec, 205 secs
lola: 19905178 markings, 44276892 edges, 93023 markings/sec, 210 secs
lola: 20385470 markings, 45308630 edges, 96058 markings/sec, 215 secs
lola: 20860611 markings, 46250084 edges, 95028 markings/sec, 220 secs
lola: 21318769 markings, 47282369 edges, 91632 markings/sec, 225 secs
lola: 21776653 markings, 48312505 edges, 91577 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p128)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 485178 markings, 1144515 edges, 97036 markings/sec, 0 secs
lola: 927469 markings, 2263724 edges, 88458 markings/sec, 5 secs
lola: 1390011 markings, 3390695 edges, 92508 markings/sec, 10 secs
lola: 1843006 markings, 4553976 edges, 90599 markings/sec, 15 secs
lola: 2275345 markings, 5666497 edges, 86468 markings/sec, 20 secs
lola: 2592933 markings, 6855814 edges, 63518 markings/sec, 25 secs
lola: 2998262 markings, 7932455 edges, 81066 markings/sec, 30 secs
lola: 3460835 markings, 9091379 edges, 92515 markings/sec, 35 secs
lola: 3911968 markings, 10231086 edges, 90227 markings/sec, 40 secs
lola: 4379435 markings, 11371019 edges, 93493 markings/sec, 45 secs
lola: 4820722 markings, 12491865 edges, 88257 markings/sec, 50 secs
lola: 5250105 markings, 13638001 edges, 85877 markings/sec, 55 secs
lola: 5565232 markings, 14779065 edges, 63025 markings/sec, 60 secs
lola: 5976234 markings, 15869018 edges, 82200 markings/sec, 65 secs
lola: 6388289 markings, 17055066 edges, 82411 markings/sec, 70 secs
lola: 6814954 markings, 18198441 edges, 85333 markings/sec, 75 secs
lola: 7219282 markings, 19219925 edges, 80866 markings/sec, 80 secs
lola: 7647917 markings, 20296433 edges, 85727 markings/sec, 85 secs
lola: 8006135 markings, 21179653 edges, 71644 markings/sec, 90 secs
lola: 8415176 markings, 22240854 edges, 81808 markings/sec, 95 secs
lola: 8807909 markings, 23250776 edges, 78547 markings/sec, 100 secs
lola: 9070909 markings, 24287365 edges, 52600 markings/sec, 105 secs
lola: 9478268 markings, 25365826 edges, 81472 markings/sec, 110 secs
lola: 9910976 markings, 26406058 edges, 86542 markings/sec, 115 secs
lola: 10305982 markings, 27418608 edges, 79001 markings/sec, 120 secs
lola: 10723994 markings, 28464530 edges, 83602 markings/sec, 125 secs
lola: 11155359 markings, 29523727 edges, 86273 markings/sec, 130 secs
lola: 11546202 markings, 30575565 edges, 78169 markings/sec, 135 secs
lola: 11926395 markings, 31523840 edges, 76039 markings/sec, 140 secs
lola: 12211739 markings, 32625424 edges, 57069 markings/sec, 145 secs
lola: 12621502 markings, 33728942 edges, 81953 markings/sec, 150 secs
lola: 13095975 markings, 34867957 edges, 94895 markings/sec, 155 secs
lola: 13532981 markings, 35982651 edges, 87401 markings/sec, 160 secs
lola: 13998015 markings, 37111892 edges, 93007 markings/sec, 165 secs
lola: 14439375 markings, 38247905 edges, 88272 markings/sec, 170 secs
lola: 14860559 markings, 39331579 edges, 84237 markings/sec, 175 secs
lola: 15166406 markings, 40476926 edges, 61169 markings/sec, 180 secs
lola: 15586039 markings, 41601056 edges, 83927 markings/sec, 185 secs
lola: 16056562 markings, 42732252 edges, 94105 markings/sec, 190 secs
lola: 16496723 markings, 43854342 edges, 88032 markings/sec, 195 secs
lola: 16959295 markings, 44984776 edges, 92514 markings/sec, 200 secs
lola: 17398425 markings, 46107445 edges, 87826 markings/sec, 205 secs
lola: 17741217 markings, 47057967 edges, 68558 markings/sec, 210 secs
lola: 18075564 markings, 48087935 edges, 66869 markings/sec, 215 secs
lola: 18464754 markings, 49244717 edges, 77838 markings/sec, 220 secs
lola: 18895540 markings, 50387427 edges, 86157 markings/sec, 225 secs
lola: 19289050 markings, 51426112 edges, 78702 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p469)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 480066 markings, 1107995 edges, 96013 markings/sec, 0 secs
lola: 948582 markings, 2194550 edges, 93703 markings/sec, 5 secs
lola: 1399069 markings, 3337591 edges, 90097 markings/sec, 10 secs
lola: 1771345 markings, 4433108 edges, 74455 markings/sec, 15 secs
lola: 2151058 markings, 5554926 edges, 75943 markings/sec, 20 secs
lola: 2606688 markings, 6692070 edges, 91126 markings/sec, 25 secs
lola: 3066860 markings, 7779119 edges, 92034 markings/sec, 30 secs
lola: 3484317 markings, 8756754 edges, 83491 markings/sec, 35 secs
lola: 3915193 markings, 9909582 edges, 86175 markings/sec, 40 secs
lola: 4264288 markings, 11037021 edges, 69819 markings/sec, 45 secs
lola: 4653437 markings, 12073793 edges, 77830 markings/sec, 50 secs
lola: 5092011 markings, 13126710 edges, 87715 markings/sec, 55 secs
lola: 5553154 markings, 14213214 edges, 92229 markings/sec, 60 secs
lola: 6018481 markings, 15332304 edges, 93065 markings/sec, 65 secs
lola: 6422587 markings, 16401761 edges, 80821 markings/sec, 70 secs
lola: 6792866 markings, 17499648 edges, 74056 markings/sec, 75 secs
lola: 7248130 markings, 18588740 edges, 91053 markings/sec, 80 secs
lola: 7713424 markings, 19688270 edges, 93059 markings/sec, 85 secs
lola: 8149782 markings, 20826876 edges, 87272 markings/sec, 90 secs
lola: 8533666 markings, 21990760 edges, 76777 markings/sec, 95 secs
lola: 8996039 markings, 23080753 edges, 92475 markings/sec, 100 secs
lola: 9464627 markings, 24187240 edges, 93718 markings/sec, 105 secs
lola: 9899253 markings, 25329639 edges, 86925 markings/sec, 110 secs
lola: 10274550 markings, 26466629 edges, 75059 markings/sec, 115 secs
lola: 10735071 markings, 27556250 edges, 92104 markings/sec, 120 secs
lola: 11208628 markings, 28669006 edges, 94711 markings/sec, 125 secs
lola: 11629301 markings, 29789163 edges, 84135 markings/sec, 130 secs
lola: 11982894 markings, 30820454 edges, 70719 markings/sec, 135 secs
lola: 12491934 markings, 31830944 edges, 101808 markings/sec, 140 secs
lola: 12964971 markings, 32851284 edges, 94607 markings/sec, 145 secs
lola: 13424703 markings, 33852377 edges, 91946 markings/sec, 150 secs
lola: 13885401 markings, 34846254 edges, 92140 markings/sec, 155 secs
lola: 14348985 markings, 35817740 edges, 92717 markings/sec, 160 secs
lola: 14802265 markings, 36816159 edges, 90656 markings/sec, 165 secs
lola: 15291375 markings, 37811984 edges, 97822 markings/sec, 170 secs
lola: 15771798 markings, 38845691 edges, 96085 markings/sec, 175 secs
lola: 16270391 markings, 39854450 edges, 99719 markings/sec, 180 secs
lola: 16798392 markings, 40927418 edges, 105600 markings/sec, 185 secs
lola: 17283945 markings, 41969954 edges, 97111 markings/sec, 190 secs
lola: 17799684 markings, 43051372 edges, 103148 markings/sec, 195 secs
lola: 18321763 markings, 44149799 edges, 104416 markings/sec, 200 secs
lola: 18834051 markings, 45237362 edges, 102458 markings/sec, 205 secs
lola: 19305063 markings, 46280199 edges, 94202 markings/sec, 210 secs
lola: 19798646 markings, 47381524 edges, 98717 markings/sec, 215 secs
lola: 20235272 markings, 48398429 edges, 87325 markings/sec, 220 secs
lola: 20682736 markings, 49440171 edges, 89493 markings/sec, 225 secs
lola: 21151038 markings, 50487164 edges, 93660 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p423)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 476268 markings, 1096689 edges, 95254 markings/sec, 0 secs
lola: 945880 markings, 2179174 edges, 93922 markings/sec, 5 secs
lola: 1387121 markings, 3324798 edges, 88248 markings/sec, 10 secs
lola: 1761218 markings, 4428315 edges, 74819 markings/sec, 15 secs
lola: 2192017 markings, 5445730 edges, 86160 markings/sec, 20 secs
lola: 2642210 markings, 6485170 edges, 90039 markings/sec, 25 secs
lola: 3064899 markings, 7591744 edges, 84538 markings/sec, 30 secs
lola: 3355633 markings, 8492788 edges, 58147 markings/sec, 35 secs
lola: 3786010 markings, 9510566 edges, 86075 markings/sec, 40 secs
lola: 4222332 markings, 10518338 edges, 87264 markings/sec, 45 secs
lola: 4630219 markings, 11576124 edges, 81577 markings/sec, 50 secs
lola: 4966717 markings, 12598560 edges, 67300 markings/sec, 55 secs
lola: 5386537 markings, 13587039 edges, 83964 markings/sec, 60 secs
lola: 5808481 markings, 14559104 edges, 84389 markings/sec, 65 secs
lola: 6219787 markings, 15611484 edges, 82261 markings/sec, 70 secs
lola: 6572383 markings, 16697430 edges, 70519 markings/sec, 75 secs
lola: 7005934 markings, 17708188 edges, 86710 markings/sec, 80 secs
lola: 7441382 markings, 18718793 edges, 87090 markings/sec, 85 secs
lola: 7865849 markings, 19811220 edges, 84893 markings/sec, 90 secs
lola: 8225755 markings, 20892102 edges, 71981 markings/sec, 95 secs
lola: 8660115 markings, 21918974 edges, 86872 markings/sec, 100 secs
lola: 9105512 markings, 22944494 edges, 89079 markings/sec, 105 secs
lola: 9525262 markings, 24046595 edges, 83950 markings/sec, 110 secs
lola: 9879068 markings, 25099476 edges, 70761 markings/sec, 115 secs
lola: 10267847 markings, 26015203 edges, 77756 markings/sec, 120 secs
lola: 10691998 markings, 26993867 edges, 84830 markings/sec, 125 secs
lola: 11115480 markings, 28084570 edges, 84696 markings/sec, 130 secs
lola: 11472788 markings, 29159318 edges, 71462 markings/sec, 135 secs
lola: 11907131 markings, 30184941 edges, 86869 markings/sec, 140 secs
lola: 12344153 markings, 31188406 edges, 87404 markings/sec, 145 secs
lola: 12759059 markings, 32270463 edges, 82981 markings/sec, 150 secs
lola: 13144986 markings, 33326390 edges, 77185 markings/sec, 155 secs
lola: 13635258 markings, 34315566 edges, 98054 markings/sec, 160 secs
lola: 14128734 markings, 35260184 edges, 98695 markings/sec, 165 secs
lola: 14607246 markings, 36189394 edges, 95702 markings/sec, 170 secs
lola: 15087986 markings, 37092144 edges, 96148 markings/sec, 175 secs
lola: 15590037 markings, 38041398 edges, 100410 markings/sec, 180 secs
lola: 16083123 markings, 39023604 edges, 98617 markings/sec, 185 secs
lola: 16599007 markings, 40054350 edges, 103177 markings/sec, 190 secs
lola: 17117159 markings, 41126346 edges, 103630 markings/sec, 195 secs
lola: 17614070 markings, 42155343 edges, 99382 markings/sec, 200 secs
lola: 18079708 markings, 43132412 edges, 93128 markings/sec, 205 secs
lola: 18546710 markings, 44103528 edges, 93400 markings/sec, 210 secs
lola: 19036076 markings, 45029665 edges, 97873 markings/sec, 215 secs
lola: 19532956 markings, 45969880 edges, 99376 markings/sec, 220 secs
lola: 20022518 markings, 46964599 edges, 97912 markings/sec, 225 secs
lola: 20539169 markings, 48022472 edges, 103330 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 482382 markings, 1137969 edges, 96476 markings/sec, 0 secs
lola: 922890 markings, 2256589 edges, 88102 markings/sec, 5 secs
lola: 1380323 markings, 3369680 edges, 91487 markings/sec, 10 secs
lola: 1825681 markings, 4500599 edges, 89072 markings/sec, 15 secs
lola: 2248130 markings, 5608525 edges, 84490 markings/sec, 20 secs
lola: 2540275 markings, 6709739 edges, 58429 markings/sec, 25 secs
lola: 2921375 markings, 7725953 edges, 76220 markings/sec, 30 secs
lola: 3325298 markings, 8879021 edges, 80785 markings/sec, 35 secs
lola: 3774001 markings, 10014787 edges, 89741 markings/sec, 40 secs
lola: 4206429 markings, 11105801 edges, 86486 markings/sec, 45 secs
lola: 4654993 markings, 12201869 edges, 89713 markings/sec, 50 secs
lola: 5096074 markings, 13336690 edges, 88216 markings/sec, 55 secs
lola: 5513697 markings, 14417770 edges, 83525 markings/sec, 60 secs
lola: 5821666 markings, 15564564 edges, 61594 markings/sec, 65 secs
lola: 6234000 markings, 16657236 edges, 82467 markings/sec, 70 secs
lola: 6652152 markings, 17883590 edges, 83630 markings/sec, 75 secs
lola: 7107110 markings, 18975002 edges, 90992 markings/sec, 80 secs
lola: 7528748 markings, 20148567 edges, 84328 markings/sec, 85 secs
lola: 7949803 markings, 21293237 edges, 84211 markings/sec, 90 secs
lola: 8350216 markings, 22304975 edges, 80083 markings/sec, 95 secs
lola: 8777770 markings, 23366450 edges, 85511 markings/sec, 100 secs
lola: 9213653 markings, 24430666 edges, 87177 markings/sec, 105 secs
lola: 9636714 markings, 25524202 edges, 84612 markings/sec, 110 secs
lola: 10022452 markings, 26518603 edges, 77148 markings/sec, 115 secs
lola: 10289201 markings, 27563994 edges, 53350 markings/sec, 120 secs
lola: 10677288 markings, 28593641 edges, 77617 markings/sec, 125 secs
lola: 11080577 markings, 29641920 edges, 80658 markings/sec, 130 secs
lola: 11483417 markings, 30652015 edges, 80568 markings/sec, 135 secs
lola: 11912744 markings, 31714604 edges, 85865 markings/sec, 140 secs
lola: 12343867 markings, 32773467 edges, 86225 markings/sec, 145 secs
lola: 12755524 markings, 33843060 edges, 82331 markings/sec, 150 secs
lola: 13136404 markings, 34832649 edges, 76176 markings/sec, 155 secs
lola: 13394468 markings, 35849023 edges, 51613 markings/sec, 160 secs
lola: 13768042 markings, 36828754 edges, 74715 markings/sec, 165 secs
lola: 14175505 markings, 37916820 edges, 81493 markings/sec, 170 secs
lola: 14635753 markings, 39063890 edges, 92050 markings/sec, 175 secs
lola: 15087068 markings, 40167808 edges, 90263 markings/sec, 180 secs
lola: 15532787 markings, 41267397 edges, 89144 markings/sec, 185 secs
lola: 15976428 markings, 42426624 edges, 88728 markings/sec, 190 secs
lola: 16382224 markings, 43455660 edges, 81159 markings/sec, 195 secs
lola: 16678386 markings, 44602925 edges, 59232 markings/sec, 200 secs
lola: 17091365 markings, 45701358 edges, 82596 markings/sec, 205 secs
lola: 17535238 markings, 46835532 edges, 88775 markings/sec, 210 secs
lola: 17979895 markings, 47949547 edges, 88931 markings/sec, 215 secs
lola: 18448353 markings, 49080000 edges, 93692 markings/sec, 220 secs
lola: 18901609 markings, 50230295 edges, 90651 markings/sec, 225 secs
lola: 19332600 markings, 51407918 edges, 86198 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p468)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 485144 markings, 1117836 edges, 97029 markings/sec, 0 secs
lola: 959218 markings, 2223950 edges, 94815 markings/sec, 5 secs
lola: 1416417 markings, 3384248 edges, 91440 markings/sec, 10 secs
lola: 1775806 markings, 4517513 edges, 71878 markings/sec, 15 secs
lola: 2249242 markings, 5654645 edges, 94687 markings/sec, 20 secs
lola: 2724275 markings, 6754480 edges, 95007 markings/sec, 25 secs
lola: 3178967 markings, 7907057 edges, 90938 markings/sec, 30 secs
lola: 3549442 markings, 9014898 edges, 74095 markings/sec, 35 secs
lola: 4008651 markings, 10169734 edges, 91842 markings/sec, 40 secs
lola: 4465581 markings, 11243063 edges, 91386 markings/sec, 45 secs
lola: 4923927 markings, 12384195 edges, 91669 markings/sec, 50 secs
lola: 5323066 markings, 13470247 edges, 79828 markings/sec, 55 secs
lola: 5751585 markings, 14653546 edges, 85704 markings/sec, 60 secs
lola: 6219116 markings, 15747190 edges, 93506 markings/sec, 65 secs
lola: 6665596 markings, 16857019 edges, 89296 markings/sec, 70 secs
lola: 7068725 markings, 17901909 edges, 80626 markings/sec, 75 secs
lola: 7459827 markings, 19051995 edges, 78220 markings/sec, 80 secs
lola: 7901103 markings, 20098469 edges, 88255 markings/sec, 85 secs
lola: 8354165 markings, 21179076 edges, 90612 markings/sec, 90 secs
lola: 8768029 markings, 22269649 edges, 82773 markings/sec, 95 secs
lola: 9165167 markings, 23447405 edges, 79428 markings/sec, 100 secs
lola: 9619029 markings, 24518806 edges, 90772 markings/sec, 105 secs
lola: 10077183 markings, 25610278 edges, 91631 markings/sec, 110 secs
lola: 10507733 markings, 26733543 edges, 86110 markings/sec, 115 secs
lola: 10901611 markings, 27811460 edges, 78776 markings/sec, 120 secs
lola: 11382962 markings, 28800551 edges, 96270 markings/sec, 125 secs
lola: 11864874 markings, 29789007 edges, 96382 markings/sec, 130 secs
lola: 12401134 markings, 30829174 edges, 107252 markings/sec, 135 secs
lola: 12919951 markings, 31898371 edges, 103763 markings/sec, 140 secs
lola: 13364756 markings, 32891717 edges, 88961 markings/sec, 145 secs
lola: 13879197 markings, 33959195 edges, 102888 markings/sec, 150 secs
lola: 14382621 markings, 35011007 edges, 100685 markings/sec, 155 secs
lola: 14869790 markings, 36050874 edges, 97434 markings/sec, 160 secs
lola: 15360507 markings, 37112620 edges, 98143 markings/sec, 165 secs
lola: 15821863 markings, 38150017 edges, 92271 markings/sec, 170 secs
lola: 16242557 markings, 39155038 edges, 84139 markings/sec, 175 secs
lola: 16680063 markings, 40135049 edges, 87501 markings/sec, 180 secs
lola: 17159326 markings, 41199307 edges, 95853 markings/sec, 185 secs
lola: 17642733 markings, 42269615 edges, 96681 markings/sec, 190 secs
lola: 18103409 markings, 43438520 edges, 92135 markings/sec, 195 secs
lola: 18579286 markings, 44545549 edges, 95175 markings/sec, 200 secs
lola: 19071647 markings, 45604776 edges, 98472 markings/sec, 205 secs
lola: 19575694 markings, 46732947 edges, 100809 markings/sec, 210 secs
lola: 20075364 markings, 47787257 edges, 99934 markings/sec, 215 secs
lola: 20566705 markings, 48905431 edges, 98268 markings/sec, 220 secs
lola: 21071116 markings, 50062013 edges, 100882 markings/sec, 225 secs
lola: 21544718 markings, 51151174 edges, 94720 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 522211 markings, 1047344 edges, 104442 markings/sec, 0 secs
lola: 1047686 markings, 2137886 edges, 105095 markings/sec, 5 secs
lola: 1560924 markings, 3170320 edges, 102648 markings/sec, 10 secs
lola: 2077079 markings, 4231715 edges, 103231 markings/sec, 15 secs
lola: 2598044 markings, 5303357 edges, 104193 markings/sec, 20 secs
lola: 3112892 markings, 6364439 edges, 102970 markings/sec, 25 secs
lola: 3597475 markings, 7423944 edges, 96917 markings/sec, 30 secs
lola: 4061532 markings, 8432898 edges, 92811 markings/sec, 35 secs
lola: 4532900 markings, 9437472 edges, 94274 markings/sec, 40 secs
lola: 5033580 markings, 10464441 edges, 100136 markings/sec, 45 secs
lola: 5544841 markings, 11540719 edges, 102252 markings/sec, 50 secs
lola: 6020160 markings, 12521397 edges, 95064 markings/sec, 55 secs
lola: 6504932 markings, 13558673 edges, 96954 markings/sec, 60 secs
lola: 6989006 markings, 14541942 edges, 96815 markings/sec, 65 secs
lola: 7474011 markings, 15588370 edges, 97001 markings/sec, 70 secs
lola: 7940330 markings, 16598881 edges, 93264 markings/sec, 75 secs
lola: 8424325 markings, 17657413 edges, 96799 markings/sec, 80 secs
lola: 8899441 markings, 18701393 edges, 95023 markings/sec, 85 secs
lola: 9388108 markings, 19698945 edges, 97733 markings/sec, 90 secs
lola: 9864407 markings, 20691697 edges, 95260 markings/sec, 95 secs
lola: 10372297 markings, 21693105 edges, 101578 markings/sec, 100 secs
lola: 10874139 markings, 22714801 edges, 100368 markings/sec, 105 secs
lola: 11355136 markings, 23715211 edges, 96199 markings/sec, 110 secs
lola: 11879189 markings, 24751716 edges, 104811 markings/sec, 115 secs
lola: 12364551 markings, 25804605 edges, 97072 markings/sec, 120 secs
lola: 12817025 markings, 26812000 edges, 90495 markings/sec, 125 secs
lola: 13319033 markings, 27815572 edges, 100402 markings/sec, 130 secs
lola: 13777098 markings, 28793991 edges, 91613 markings/sec, 135 secs
lola: 14273416 markings, 29801221 edges, 99264 markings/sec, 140 secs
lola: 14744458 markings, 30819847 edges, 94208 markings/sec, 145 secs
lola: 15229990 markings, 31836048 edges, 97106 markings/sec, 150 secs
lola: 15735088 markings, 32848505 edges, 101020 markings/sec, 155 secs
lola: 16255154 markings, 33932564 edges, 104013 markings/sec, 160 secs
lola: 16751021 markings, 34974858 edges, 99173 markings/sec, 165 secs
lola: 17211909 markings, 35951818 edges, 92178 markings/sec, 170 secs
lola: 17700227 markings, 36924865 edges, 97664 markings/sec, 175 secs
lola: 18338414 markings, 38139280 edges, 127637 markings/sec, 180 secs
lola: 18873140 markings, 39211133 edges, 106945 markings/sec, 185 secs
lola: 19370911 markings, 40206710 edges, 99554 markings/sec, 190 secs
lola: 19984049 markings, 41416722 edges, 122628 markings/sec, 195 secs
lola: 20660215 markings, 42700350 edges, 135233 markings/sec, 200 secs
lola: 21291853 markings, 43913356 edges, 126328 markings/sec, 205 secs
lola: 21960098 markings, 45279408 edges, 133649 markings/sec, 210 secs
lola: 22539254 markings, 46441912 edges, 115831 markings/sec, 215 secs
lola: 23173534 markings, 47713979 edges, 126856 markings/sec, 220 secs
lola: 23786411 markings, 49008166 edges, 122575 markings/sec, 225 secs
lola: 24360591 markings, 50166913 edges, 114836 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p219)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 492572 markings, 1070786 edges, 98514 markings/sec, 0 secs
lola: 972490 markings, 2139217 edges, 95984 markings/sec, 5 secs
lola: 1415810 markings, 3195329 edges, 88664 markings/sec, 10 secs
lola: 1866728 markings, 4260895 edges, 90184 markings/sec, 15 secs
lola: 2282718 markings, 5364043 edges, 83198 markings/sec, 20 secs
lola: 2556740 markings, 6302908 edges, 54804 markings/sec, 25 secs
lola: 2935951 markings, 7297054 edges, 75842 markings/sec, 30 secs
lola: 3393704 markings, 8371599 edges, 91551 markings/sec, 35 secs
lola: 3847594 markings, 9423642 edges, 90778 markings/sec, 40 secs
lola: 4215724 markings, 10349906 edges, 73626 markings/sec, 45 secs
lola: 4592744 markings, 11336123 edges, 75404 markings/sec, 50 secs
lola: 4929293 markings, 12461309 edges, 67310 markings/sec, 55 secs
lola: 5364506 markings, 13507149 edges, 87043 markings/sec, 60 secs
lola: 5812289 markings, 14568372 edges, 89557 markings/sec, 65 secs
lola: 6260152 markings, 15643437 edges, 89573 markings/sec, 70 secs
lola: 6677953 markings, 16729898 edges, 83560 markings/sec, 75 secs
lola: 7008091 markings, 17844840 edges, 66028 markings/sec, 80 secs
lola: 7355582 markings, 18712778 edges, 69498 markings/sec, 85 secs
lola: 7776903 markings, 19710841 edges, 84264 markings/sec, 90 secs
lola: 8227566 markings, 20760068 edges, 90133 markings/sec, 95 secs
lola: 8662873 markings, 21871188 edges, 87061 markings/sec, 100 secs
lola: 9018699 markings, 22961998 edges, 71165 markings/sec, 105 secs
lola: 9403904 markings, 24059891 edges, 77041 markings/sec, 110 secs
lola: 9863042 markings, 25128852 edges, 91828 markings/sec, 115 secs
lola: 10316381 markings, 26192011 edges, 90668 markings/sec, 120 secs
lola: 10695069 markings, 27118681 edges, 75738 markings/sec, 125 secs
lola: 11086801 markings, 28148851 edges, 78346 markings/sec, 130 secs
lola: 11430078 markings, 29299176 edges, 68655 markings/sec, 135 secs
lola: 11869021 markings, 30357902 edges, 87789 markings/sec, 140 secs
lola: 12318461 markings, 31435010 edges, 89888 markings/sec, 145 secs
lola: 12776719 markings, 32517931 edges, 91652 markings/sec, 150 secs
lola: 13203474 markings, 33634413 edges, 85351 markings/sec, 155 secs
lola: 13546881 markings, 34768971 edges, 68681 markings/sec, 160 secs
lola: 13901730 markings, 35671104 edges, 70970 markings/sec, 165 secs
lola: 14337764 markings, 36702429 edges, 87207 markings/sec, 170 secs
lola: 14799863 markings, 37770325 edges, 92420 markings/sec, 175 secs
lola: 15235062 markings, 38901759 edges, 87040 markings/sec, 180 secs
lola: 15579907 markings, 40024085 edges, 68969 markings/sec, 185 secs
lola: 15978613 markings, 41089815 edges, 79741 markings/sec, 190 secs
lola: 16439981 markings, 42161858 edges, 92274 markings/sec, 195 secs
lola: 16881094 markings, 43191163 edges, 88223 markings/sec, 200 secs
lola: 17322143 markings, 44290284 edges, 88210 markings/sec, 205 secs
lola: 17722185 markings, 45328793 edges, 80008 markings/sec, 210 secs
lola: 18074753 markings, 46518459 edges, 70514 markings/sec, 215 secs
lola: 18518092 markings, 47553158 edges, 88668 markings/sec, 220 secs
lola: 18872004 markings, 48382277 edges, 70782 markings/sec, 225 secs
lola: 19267592 markings, 49326371 edges, 79118 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p485)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 465641 markings, 1079299 edges, 93128 markings/sec, 0 secs
lola: 932120 markings, 2157004 edges, 93296 markings/sec, 5 secs
lola: 1333008 markings, 3162621 edges, 80178 markings/sec, 10 secs
lola: 1736405 markings, 4207626 edges, 80679 markings/sec, 15 secs
lola: 2125910 markings, 5354594 edges, 77901 markings/sec, 20 secs
lola: 2583150 markings, 6431494 edges, 91448 markings/sec, 25 secs
lola: 3035069 markings, 7523706 edges, 90384 markings/sec, 30 secs
lola: 3442374 markings, 8596647 edges, 81461 markings/sec, 35 secs
lola: 3819255 markings, 9714474 edges, 75376 markings/sec, 40 secs
lola: 4268858 markings, 10790192 edges, 89921 markings/sec, 45 secs
lola: 4682529 markings, 11759997 edges, 82734 markings/sec, 50 secs
lola: 5106123 markings, 12883417 edges, 84719 markings/sec, 55 secs
lola: 5462005 markings, 13971177 edges, 71176 markings/sec, 60 secs
lola: 5912390 markings, 15046914 edges, 90077 markings/sec, 65 secs
lola: 6329919 markings, 16005453 edges, 83506 markings/sec, 70 secs
lola: 6764530 markings, 17120099 edges, 86922 markings/sec, 75 secs
lola: 7105512 markings, 18199794 edges, 68196 markings/sec, 80 secs
lola: 7556815 markings, 19281607 edges, 90261 markings/sec, 85 secs
lola: 8017221 markings, 20357730 edges, 92081 markings/sec, 90 secs
lola: 8461621 markings, 21471919 edges, 88880 markings/sec, 95 secs
lola: 8858307 markings, 22496959 edges, 79337 markings/sec, 100 secs
lola: 9244901 markings, 23635272 edges, 77319 markings/sec, 105 secs
lola: 9651640 markings, 24595036 edges, 81348 markings/sec, 110 secs
lola: 10105321 markings, 25681541 edges, 90736 markings/sec, 115 secs
lola: 10521249 markings, 26765752 edges, 83186 markings/sec, 120 secs
lola: 10899919 markings, 27803755 edges, 75734 markings/sec, 125 secs
lola: 11335590 markings, 28671073 edges, 87134 markings/sec, 130 secs
lola: 11790604 markings, 29642774 edges, 91003 markings/sec, 135 secs
lola: 12247409 markings, 30613320 edges, 91361 markings/sec, 140 secs
lola: 12700406 markings, 31578344 edges, 90599 markings/sec, 145 secs
lola: 13187458 markings, 32547888 edges, 97410 markings/sec, 150 secs
lola: 13649369 markings, 33526573 edges, 92382 markings/sec, 155 secs
lola: 14135692 markings, 34526386 edges, 97265 markings/sec, 160 secs
lola: 14588533 markings, 35543897 edges, 90568 markings/sec, 165 secs
lola: 14982215 markings, 36442924 edges, 78736 markings/sec, 170 secs
lola: 15464634 markings, 37493755 edges, 96484 markings/sec, 175 secs
lola: 15975639 markings, 38531278 edges, 102201 markings/sec, 180 secs
lola: 16450322 markings, 39522401 edges, 94937 markings/sec, 185 secs
lola: 16845266 markings, 40483038 edges, 78989 markings/sec, 190 secs
lola: 17266688 markings, 41550349 edges, 84284 markings/sec, 195 secs
lola: 17651591 markings, 42676912 edges, 76981 markings/sec, 200 secs
lola: 18093743 markings, 43686184 edges, 88430 markings/sec, 205 secs
lola: 18558538 markings, 44575568 edges, 92959 markings/sec, 210 secs
lola: 19024882 markings, 45519258 edges, 93269 markings/sec, 215 secs
lola: 19466944 markings, 46442708 edges, 88412 markings/sec, 220 secs
lola: 19941837 markings, 47470261 edges, 94979 markings/sec, 225 secs
lola: 20390532 markings, 48427308 edges, 89739 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 484396 markings, 1113073 edges, 96879 markings/sec, 0 secs
lola: 961774 markings, 2214545 edges, 95476 markings/sec, 5 secs
lola: 1407874 markings, 3383588 edges, 89220 markings/sec, 10 secs
lola: 1765855 markings, 4499711 edges, 71596 markings/sec, 15 secs
lola: 2147448 markings, 5521625 edges, 76319 markings/sec, 20 secs
lola: 2589008 markings, 6552007 edges, 88312 markings/sec, 25 secs
lola: 3020820 markings, 7553469 edges, 86362 markings/sec, 30 secs
lola: 3456617 markings, 8632600 edges, 87159 markings/sec, 35 secs
lola: 3811130 markings, 9738810 edges, 70903 markings/sec, 40 secs
lola: 4203140 markings, 10810692 edges, 78402 markings/sec, 45 secs
lola: 4574229 markings, 11806665 edges, 74218 markings/sec, 50 secs
lola: 4959184 markings, 12796890 edges, 76991 markings/sec, 55 secs
lola: 5398949 markings, 13829642 edges, 87953 markings/sec, 60 secs
lola: 5843043 markings, 14849614 edges, 88819 markings/sec, 65 secs
lola: 6265368 markings, 15954662 edges, 84465 markings/sec, 70 secs
lola: 6593286 markings, 16992165 edges, 65584 markings/sec, 75 secs
lola: 6953614 markings, 17958955 edges, 72066 markings/sec, 80 secs
lola: 7374896 markings, 18979878 edges, 84256 markings/sec, 85 secs
lola: 7792072 markings, 19964931 edges, 83435 markings/sec, 90 secs
lola: 8238877 markings, 21017051 edges, 89361 markings/sec, 95 secs
lola: 8654407 markings, 22095304 edges, 83106 markings/sec, 100 secs
lola: 8994701 markings, 23200665 edges, 68059 markings/sec, 105 secs
lola: 9351914 markings, 24156017 edges, 71443 markings/sec, 110 secs
lola: 9784340 markings, 25165934 edges, 86485 markings/sec, 115 secs
lola: 10215706 markings, 26165937 edges, 86273 markings/sec, 120 secs
lola: 10658833 markings, 27268733 edges, 88625 markings/sec, 125 secs
lola: 11013646 markings, 28400109 edges, 70963 markings/sec, 130 secs
lola: 11379862 markings, 29371760 edges, 73243 markings/sec, 135 secs
lola: 11776291 markings, 30363834 edges, 79286 markings/sec, 140 secs
lola: 12208797 markings, 31385135 edges, 86501 markings/sec, 145 secs
lola: 12666961 markings, 32448719 edges, 91633 markings/sec, 150 secs
lola: 13074547 markings, 33515081 edges, 81517 markings/sec, 155 secs
lola: 13416628 markings, 34610703 edges, 68416 markings/sec, 160 secs
lola: 13775753 markings, 35565662 edges, 71825 markings/sec, 165 secs
lola: 14183424 markings, 36658475 edges, 81534 markings/sec, 170 secs
lola: 14581785 markings, 37732744 edges, 79672 markings/sec, 175 secs
lola: 14970969 markings, 38780504 edges, 77837 markings/sec, 180 secs
lola: 15368231 markings, 39851309 edges, 79452 markings/sec, 185 secs
lola: 15775423 markings, 40927575 edges, 81438 markings/sec, 190 secs
lola: 16200776 markings, 41925308 edges, 85071 markings/sec, 195 secs
lola: 16628316 markings, 42905434 edges, 85508 markings/sec, 200 secs
lola: 17042629 markings, 43954269 edges, 82863 markings/sec, 205 secs
lola: 17366284 markings, 45001682 edges, 64731 markings/sec, 210 secs
lola: 17707900 markings, 45902754 edges, 68323 markings/sec, 215 secs
lola: 18098267 markings, 46931996 edges, 78073 markings/sec, 220 secs
lola: 18532899 markings, 47938334 edges, 86926 markings/sec, 225 secs
lola: 18957579 markings, 48921118 edges, 84936 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p473)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 472146 markings, 1091137 edges, 94429 markings/sec, 0 secs
lola: 933698 markings, 2160044 edges, 92310 markings/sec, 5 secs
lola: 1378898 markings, 3282529 edges, 89040 markings/sec, 10 secs
lola: 1769676 markings, 4333161 edges, 78156 markings/sec, 15 secs
lola: 2185949 markings, 5490973 edges, 83255 markings/sec, 20 secs
lola: 2644452 markings, 6570534 edges, 91701 markings/sec, 25 secs
lola: 3090362 markings, 7673282 edges, 89182 markings/sec, 30 secs
lola: 3497202 markings, 8733854 edges, 81368 markings/sec, 35 secs
lola: 3890019 markings, 9892404 edges, 78563 markings/sec, 40 secs
lola: 4347499 markings, 10972104 edges, 91496 markings/sec, 45 secs
lola: 4799809 markings, 12050982 edges, 90462 markings/sec, 50 secs
lola: 5217108 markings, 13150721 edges, 83460 markings/sec, 55 secs
lola: 5604160 markings, 14294811 edges, 77410 markings/sec, 60 secs
lola: 6057053 markings, 15374642 edges, 90579 markings/sec, 65 secs
lola: 6514027 markings, 16459589 edges, 91395 markings/sec, 70 secs
lola: 6939033 markings, 17572113 edges, 85001 markings/sec, 75 secs
lola: 7306832 markings, 18692390 edges, 73560 markings/sec, 80 secs
lola: 7757758 markings, 19761607 edges, 90185 markings/sec, 85 secs
lola: 8216486 markings, 20842300 edges, 91746 markings/sec, 90 secs
lola: 8644299 markings, 21980908 edges, 85563 markings/sec, 95 secs
lola: 9006801 markings, 23080003 edges, 72500 markings/sec, 100 secs
lola: 9461343 markings, 24159454 edges, 90908 markings/sec, 105 secs
lola: 9922522 markings, 25223983 edges, 92236 markings/sec, 110 secs
lola: 10355370 markings, 26352213 edges, 86570 markings/sec, 115 secs
lola: 10698356 markings, 27441786 edges, 68597 markings/sec, 120 secs
lola: 11190484 markings, 28409664 edges, 98426 markings/sec, 125 secs
lola: 11671390 markings, 29416823 edges, 96181 markings/sec, 130 secs
lola: 12189943 markings, 30416437 edges, 103711 markings/sec, 135 secs
lola: 12715130 markings, 31483266 edges, 105037 markings/sec, 140 secs
lola: 13189684 markings, 32517468 edges, 94911 markings/sec, 145 secs
lola: 13708307 markings, 33596539 edges, 103725 markings/sec, 150 secs
lola: 14213659 markings, 34652300 edges, 101070 markings/sec, 155 secs
lola: 14722825 markings, 35733917 edges, 101833 markings/sec, 160 secs
lola: 15187427 markings, 36774179 edges, 92920 markings/sec, 165 secs
lola: 15672664 markings, 37859839 edges, 97047 markings/sec, 170 secs
lola: 16101332 markings, 38860967 edges, 85734 markings/sec, 175 secs
lola: 16537753 markings, 39862518 edges, 87284 markings/sec, 180 secs
lola: 17003973 markings, 40904606 edges, 93244 markings/sec, 185 secs
lola: 17470492 markings, 41956026 edges, 93304 markings/sec, 190 secs
lola: 17933792 markings, 43065621 edges, 92660 markings/sec, 195 secs
lola: 18382912 markings, 44196282 edges, 89824 markings/sec, 200 secs
lola: 18868817 markings, 45265066 edges, 97181 markings/sec, 205 secs
lola: 19341603 markings, 46347638 edges, 94557 markings/sec, 210 secs
lola: 19838924 markings, 47410941 edges, 99464 markings/sec, 215 secs
lola: 20331929 markings, 48557124 edges, 98601 markings/sec, 220 secs
lola: 20818974 markings, 49695918 edges, 97409 markings/sec, 225 secs
lola: 21301855 markings, 50825789 edges, 96576 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p519)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 bytes per marking, with 10 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: 426090 markings, 969945 edges, 85218 markings/sec, 0 secs
lola: 907489 markings, 2090212 edges, 96280 markings/sec, 5 secs
lola: 1357273 markings, 3236192 edges, 89957 markings/sec, 10 secs
lola: 1732885 markings, 4361059 edges, 75122 markings/sec, 15 secs
lola: 2121394 markings, 5274826 edges, 77702 markings/sec, 20 secs
lola: 2565757 markings, 6306562 edges, 88873 markings/sec, 25 secs
lola: 2998779 markings, 7425173 edges, 86604 markings/sec, 30 secs
lola: 3363859 markings, 8511110 edges, 73016 markings/sec, 35 secs
lola: 3754057 markings, 9430159 edges, 78040 markings/sec, 40 secs
lola: 4205464 markings, 10472621 edges, 90281 markings/sec, 45 secs
lola: 4637620 markings, 11600241 edges, 86431 markings/sec, 50 secs
lola: 5003528 markings, 12687626 edges, 73182 markings/sec, 55 secs
lola: 5388607 markings, 13596085 edges, 77016 markings/sec, 60 secs
lola: 5838538 markings, 14629034 edges, 89986 markings/sec, 65 secs
lola: 6268655 markings, 15750744 edges, 86023 markings/sec, 70 secs
lola: 6639783 markings, 16847305 edges, 74226 markings/sec, 75 secs
lola: 7025921 markings, 17759162 edges, 77228 markings/sec, 80 secs
lola: 7479626 markings, 18805798 edges, 90741 markings/sec, 85 secs
lola: 7909118 markings, 19938887 edges, 85898 markings/sec, 90 secs
lola: 8283501 markings, 21030839 edges, 74877 markings/sec, 95 secs
lola: 8668359 markings, 21941837 edges, 76972 markings/sec, 100 secs
lola: 9124140 markings, 22993923 edges, 91156 markings/sec, 105 secs
lola: 9559169 markings, 24125797 edges, 87006 markings/sec, 110 secs
lola: 9934159 markings, 25229629 edges, 74998 markings/sec, 115 secs
lola: 10316023 markings, 26128630 edges, 76373 markings/sec, 120 secs
lola: 10772470 markings, 27190549 edges, 91289 markings/sec, 125 secs
lola: 11206657 markings, 28314199 edges, 86837 markings/sec, 130 secs
lola: 11583281 markings, 29418742 edges, 75325 markings/sec, 135 secs
lola: 12012041 markings, 30426950 edges, 85752 markings/sec, 140 secs
lola: 12472017 markings, 31512500 edges, 91995 markings/sec, 145 secs
lola: 12901653 markings, 32626360 edges, 85927 markings/sec, 150 secs
lola: 13328193 markings, 33713279 edges, 85308 markings/sec, 155 secs
lola: 13758905 markings, 34609338 edges, 86142 markings/sec, 160 secs
lola: 14267109 markings, 35580565 edges, 101641 markings/sec, 165 secs
lola: 14777424 markings, 36560594 edges, 102063 markings/sec, 170 secs
lola: 15274785 markings, 37519963 edges, 99472 markings/sec, 175 secs
lola: 15715586 markings, 38397546 edges, 88160 markings/sec, 180 secs
lola: 16217689 markings, 39464099 edges, 100421 markings/sec, 185 secs
lola: 16727151 markings, 40497716 edges, 101892 markings/sec, 190 secs
lola: 17251936 markings, 41496306 edges, 104957 markings/sec, 195 secs
lola: 17752048 markings, 42500793 edges, 100022 markings/sec, 200 secs
lola: 18248401 markings, 43513789 edges, 99271 markings/sec, 205 secs
lola: 18763984 markings, 44511409 edges, 103117 markings/sec, 210 secs
lola: 19281950 markings, 45519699 edges, 103593 markings/sec, 215 secs
lola: 19813366 markings, 46634026 edges, 106283 markings/sec, 220 secs
lola: 20335325 markings, 47723002 edges, 104392 markings/sec, 225 secs
lola: 20791946 markings, 48715819 edges, 91324 markings/sec, 230 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-06b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-06b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496484956082
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-06b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-06b.tgz
mv FlexibleBarrier-PT-06b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-06b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r188-blw3-149581034100029"
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 ;