fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r188-blw3-149581034400164
Last Updated
June 27, 2017

About the Execution of LoLA for FlexibleBarrier-PT-22a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1135.810 3539174.00 3545061.00 1360.10 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is FlexibleBarrier-PT-22a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034400164
=====================================================================


--------------------
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-22a-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-22a-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496499087925


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-22a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-22a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-22a @ 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: 1525/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 267 places, 1258 transitions, 243 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 862 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-22a-UpperBounds.task
lola: MAX(p113) : MAX(p26) : MAX(p183) : MAX(p108) : MAX(p40) : MAX(p256) : MAX(p20) : MAX(p129) : MAX(p83) : MAX(p241) : MAX(p176) : MAX(p95) : MAX(p58) : MAX(p68) : MAX(p202) : MAX(p186)
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(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 102711 markings, 132612 edges, 20542 markings/sec, 0 secs
lola: 205212 markings, 266306 edges, 20500 markings/sec, 5 secs
lola: 306795 markings, 398296 edges, 20317 markings/sec, 10 secs
lola: 410014 markings, 532761 edges, 20644 markings/sec, 15 secs
lola: 512515 markings, 667280 edges, 20500 markings/sec, 20 secs
lola: 614651 markings, 800871 edges, 20427 markings/sec, 25 secs
lola: 718352 markings, 936147 edges, 20740 markings/sec, 30 secs
lola: 819148 markings, 1068095 edges, 20159 markings/sec, 35 secs
lola: 923067 markings, 1204452 edges, 20784 markings/sec, 40 secs
lola: 1023739 markings, 1336638 edges, 20134 markings/sec, 45 secs
lola: 1125807 markings, 1470710 edges, 20414 markings/sec, 50 secs
lola: 1228195 markings, 1605299 edges, 20478 markings/sec, 55 secs
lola: 1330636 markings, 1740635 edges, 20488 markings/sec, 60 secs
lola: 1434382 markings, 1876884 edges, 20749 markings/sec, 65 secs
lola: 1538367 markings, 2014129 edges, 20797 markings/sec, 70 secs
lola: 1642222 markings, 2151319 edges, 20771 markings/sec, 75 secs
lola: 1745605 markings, 2287427 edges, 20677 markings/sec, 80 secs
lola: 1849064 markings, 2423727 edges, 20692 markings/sec, 85 secs
lola: 1937946 markings, 2540217 edges, 17776 markings/sec, 90 secs
lola: 2041803 markings, 2676389 edges, 20771 markings/sec, 95 secs
lola: 2145741 markings, 2812525 edges, 20788 markings/sec, 100 secs
lola: 2249006 markings, 2948238 edges, 20653 markings/sec, 105 secs
lola: 2338384 markings, 3065556 edges, 17876 markings/sec, 110 secs
lola: 2442073 markings, 3202094 edges, 20738 markings/sec, 115 secs
lola: 2546078 markings, 3339985 edges, 20801 markings/sec, 120 secs
lola: 2650005 markings, 3476824 edges, 20785 markings/sec, 125 secs
lola: 2754019 markings, 3613990 edges, 20803 markings/sec, 130 secs
lola: 2857897 markings, 3751079 edges, 20776 markings/sec, 135 secs
lola: 2961318 markings, 3886751 edges, 20684 markings/sec, 140 secs
lola: 3064943 markings, 4024749 edges, 20725 markings/sec, 145 secs
lola: 3161257 markings, 4152079 edges, 19263 markings/sec, 150 secs
lola: 3262190 markings, 4284921 edges, 20187 markings/sec, 155 secs
lola: 3362727 markings, 4417592 edges, 20107 markings/sec, 160 secs
lola: 3463846 markings, 4551733 edges, 20224 markings/sec, 165 secs
lola: 3566249 markings, 4686177 edges, 20481 markings/sec, 170 secs
lola: 3669138 markings, 4821224 edges, 20578 markings/sec, 175 secs
lola: 3772034 markings, 4956054 edges, 20579 markings/sec, 180 secs
lola: 3875129 markings, 5092187 edges, 20619 markings/sec, 185 secs
lola: 3978519 markings, 5228264 edges, 20678 markings/sec, 190 secs
lola: 4081572 markings, 5364494 edges, 20611 markings/sec, 195 secs
lola: 4184466 markings, 5500021 edges, 20579 markings/sec, 200 secs
lola: 4287720 markings, 5636223 edges, 20651 markings/sec, 205 secs
lola: 4390471 markings, 5772370 edges, 20550 markings/sec, 210 secs
lola: 4493360 markings, 5908914 edges, 20578 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(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 123157 markings, 180983 edges, 24631 markings/sec, 0 secs
lola: 245445 markings, 368008 edges, 24458 markings/sec, 5 secs
lola: 361697 markings, 548120 edges, 23250 markings/sec, 10 secs
lola: 483544 markings, 739249 edges, 24369 markings/sec, 15 secs
lola: 604352 markings, 927963 edges, 24162 markings/sec, 20 secs
lola: 725291 markings, 1120599 edges, 24188 markings/sec, 25 secs
lola: 845770 markings, 1317824 edges, 24096 markings/sec, 30 secs
lola: 966439 markings, 1505689 edges, 24134 markings/sec, 35 secs
lola: 1085903 markings, 1695001 edges, 23893 markings/sec, 40 secs
lola: 1206684 markings, 1887755 edges, 24156 markings/sec, 45 secs
lola: 1326798 markings, 2083336 edges, 24023 markings/sec, 50 secs
lola: 1446847 markings, 2277084 edges, 24010 markings/sec, 55 secs
lola: 1566535 markings, 2474297 edges, 23938 markings/sec, 60 secs
lola: 1686046 markings, 2675231 edges, 23902 markings/sec, 65 secs
lola: 1801210 markings, 2858334 edges, 23033 markings/sec, 70 secs
lola: 1922579 markings, 3050193 edges, 24274 markings/sec, 75 secs
lola: 2043688 markings, 3243970 edges, 24222 markings/sec, 80 secs
lola: 2164400 markings, 3441143 edges, 24142 markings/sec, 85 secs
lola: 2285086 markings, 3634112 edges, 24137 markings/sec, 90 secs
lola: 2405416 markings, 3832001 edges, 24066 markings/sec, 95 secs
lola: 2525596 markings, 4033162 edges, 24036 markings/sec, 100 secs
lola: 2645939 markings, 4230857 edges, 24069 markings/sec, 105 secs
lola: 2763625 markings, 4422395 edges, 23537 markings/sec, 110 secs
lola: 2883148 markings, 4619632 edges, 23905 markings/sec, 115 secs
lola: 3002055 markings, 4821693 edges, 23781 markings/sec, 120 secs
lola: 3121738 markings, 5020356 edges, 23937 markings/sec, 125 secs
lola: 3234748 markings, 5212495 edges, 22602 markings/sec, 130 secs
lola: 3353828 markings, 5415918 edges, 23816 markings/sec, 135 secs
lola: 3473702 markings, 5619647 edges, 23975 markings/sec, 140 secs
lola: 3595528 markings, 5808977 edges, 24365 markings/sec, 145 secs
lola: 3716925 markings, 6002148 edges, 24279 markings/sec, 150 secs
lola: 3837968 markings, 6198816 edges, 24209 markings/sec, 155 secs
lola: 3958411 markings, 6392744 edges, 24089 markings/sec, 160 secs
lola: 4078365 markings, 6589786 edges, 23991 markings/sec, 165 secs
lola: 4198246 markings, 6788070 edges, 23976 markings/sec, 170 secs
lola: 4317933 markings, 6989483 edges, 23937 markings/sec, 175 secs
lola: 4437877 markings, 7181578 edges, 23989 markings/sec, 180 secs
lola: 4557193 markings, 7377870 edges, 23863 markings/sec, 185 secs
lola: 4676336 markings, 7577330 edges, 23829 markings/sec, 190 secs
lola: 4795555 markings, 7776741 edges, 23844 markings/sec, 195 secs
lola: 4914306 markings, 7976774 edges, 23750 markings/sec, 200 secs
lola: 5032971 markings, 8179384 edges, 23733 markings/sec, 205 secs
lola: 5151719 markings, 8387885 edges, 23750 markings/sec, 210 secs
lola: 5273106 markings, 8583706 edges, 24277 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(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 121871 markings, 173256 edges, 24374 markings/sec, 0 secs
lola: 242999 markings, 352826 edges, 24226 markings/sec, 5 secs
lola: 363497 markings, 533721 edges, 24100 markings/sec, 10 secs
lola: 483820 markings, 716708 edges, 24065 markings/sec, 15 secs
lola: 604216 markings, 899021 edges, 24079 markings/sec, 20 secs
lola: 724252 markings, 1084479 edges, 24007 markings/sec, 25 secs
lola: 842618 markings, 1272455 edges, 23673 markings/sec, 30 secs
lola: 961949 markings, 1452659 edges, 23866 markings/sec, 35 secs
lola: 1081611 markings, 1637133 edges, 23932 markings/sec, 40 secs
lola: 1201053 markings, 1821601 edges, 23888 markings/sec, 45 secs
lola: 1320063 markings, 2010199 edges, 23802 markings/sec, 50 secs
lola: 1439549 markings, 2196616 edges, 23897 markings/sec, 55 secs
lola: 1558662 markings, 2387420 edges, 23823 markings/sec, 60 secs
lola: 1677469 markings, 2580883 edges, 23761 markings/sec, 65 secs
lola: 1798020 markings, 2767786 edges, 24110 markings/sec, 70 secs
lola: 1918999 markings, 2953060 edges, 24196 markings/sec, 75 secs
lola: 2039572 markings, 3140002 edges, 24115 markings/sec, 80 secs
lola: 2159611 markings, 3331177 edges, 24008 markings/sec, 85 secs
lola: 2279612 markings, 3516830 edges, 24000 markings/sec, 90 secs
lola: 2399208 markings, 3707839 edges, 23919 markings/sec, 95 secs
lola: 2518529 markings, 3901200 edges, 23864 markings/sec, 100 secs
lola: 2637816 markings, 4092847 edges, 23857 markings/sec, 105 secs
lola: 2757201 markings, 4280728 edges, 23877 markings/sec, 110 secs
lola: 2876258 markings, 4471498 edges, 23811 markings/sec, 115 secs
lola: 2994329 markings, 4665749 edges, 23614 markings/sec, 120 secs
lola: 3113298 markings, 4857920 edges, 23794 markings/sec, 125 secs
lola: 3231874 markings, 5054222 edges, 23715 markings/sec, 130 secs
lola: 3350427 markings, 5250856 edges, 23711 markings/sec, 135 secs
lola: 3468909 markings, 5447761 edges, 23696 markings/sec, 140 secs
lola: 3590052 markings, 5629710 edges, 24229 markings/sec, 145 secs
lola: 3710640 markings, 5816120 edges, 24118 markings/sec, 150 secs
lola: 3830818 markings, 6004943 edges, 24036 markings/sec, 155 secs
lola: 3950778 markings, 6192670 edges, 23992 markings/sec, 160 secs
lola: 4070371 markings, 6382705 edges, 23919 markings/sec, 165 secs
lola: 4189604 markings, 6574280 edges, 23847 markings/sec, 170 secs
lola: 4308563 markings, 6770419 edges, 23792 markings/sec, 175 secs
lola: 4427955 markings, 6954907 edges, 23878 markings/sec, 180 secs
lola: 4546657 markings, 7144615 edges, 23740 markings/sec, 185 secs
lola: 4665229 markings, 7336508 edges, 23714 markings/sec, 190 secs
lola: 4783677 markings, 7530038 edges, 23690 markings/sec, 195 secs
lola: 4902208 markings, 7723076 edges, 23706 markings/sec, 200 secs
lola: 5020279 markings, 7918769 edges, 23614 markings/sec, 205 secs
lola: 5137879 markings, 8118775 edges, 23520 markings/sec, 210 secs
lola: 5258082 markings, 8309010 edges, 24041 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(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 28612 markings, 394460 edges, 5722 markings/sec, 0 secs
lola: 55483 markings, 728509 edges, 5374 markings/sec, 5 secs
lola: 81749 markings, 1069391 edges, 5253 markings/sec, 10 secs
lola: 110873 markings, 1444087 edges, 5825 markings/sec, 15 secs
lola: 140389 markings, 1851241 edges, 5903 markings/sec, 20 secs
lola: 169242 markings, 2254361 edges, 5771 markings/sec, 25 secs
lola: 197998 markings, 2622276 edges, 5751 markings/sec, 30 secs
lola: 226356 markings, 2983768 edges, 5672 markings/sec, 35 secs
lola: 252113 markings, 3295608 edges, 5151 markings/sec, 40 secs
lola: 280023 markings, 3650027 edges, 5582 markings/sec, 45 secs
lola: 309381 markings, 4031590 edges, 5872 markings/sec, 50 secs
lola: 339734 markings, 4424224 edges, 6071 markings/sec, 55 secs
lola: 370616 markings, 4801802 edges, 6176 markings/sec, 60 secs
lola: 400480 markings, 5183616 edges, 5973 markings/sec, 65 secs
lola: 431689 markings, 5606607 edges, 6242 markings/sec, 70 secs
lola: 462162 markings, 5974739 edges, 6095 markings/sec, 75 secs
lola: 494134 markings, 6366357 edges, 6394 markings/sec, 80 secs
lola: 521813 markings, 6712091 edges, 5536 markings/sec, 85 secs
lola: 551916 markings, 7176317 edges, 6021 markings/sec, 90 secs
lola: 579493 markings, 7511334 edges, 5515 markings/sec, 95 secs
lola: 609237 markings, 7892005 edges, 5949 markings/sec, 100 secs
lola: 637609 markings, 8252064 edges, 5674 markings/sec, 105 secs
lola: 667905 markings, 8639306 edges, 6059 markings/sec, 110 secs
lola: 697801 markings, 9016185 edges, 5979 markings/sec, 115 secs
lola: 724722 markings, 9379087 edges, 5384 markings/sec, 120 secs
lola: 754619 markings, 9759901 edges, 5979 markings/sec, 125 secs
lola: 781827 markings, 10123733 edges, 5442 markings/sec, 130 secs
lola: 809424 markings, 10541086 edges, 5519 markings/sec, 135 secs
lola: 837221 markings, 10911531 edges, 5559 markings/sec, 140 secs
lola: 867958 markings, 11296779 edges, 6147 markings/sec, 145 secs
lola: 899223 markings, 11682643 edges, 6253 markings/sec, 150 secs
lola: 928487 markings, 12058988 edges, 5853 markings/sec, 155 secs
lola: 958296 markings, 12463354 edges, 5962 markings/sec, 160 secs
lola: 989236 markings, 12854267 edges, 6188 markings/sec, 165 secs
lola: 1019027 markings, 13260035 edges, 5958 markings/sec, 170 secs
lola: 1048110 markings, 13662163 edges, 5817 markings/sec, 175 secs
lola: 1077792 markings, 14054794 edges, 5936 markings/sec, 180 secs
lola: 1108399 markings, 14430215 edges, 6121 markings/sec, 185 secs
lola: 1139336 markings, 14838105 edges, 6187 markings/sec, 190 secs
lola: 1171281 markings, 15211381 edges, 6389 markings/sec, 195 secs
lola: 1203849 markings, 15598494 edges, 6514 markings/sec, 200 secs
lola: 1232651 markings, 15997922 edges, 5760 markings/sec, 205 secs
lola: 1261293 markings, 16344332 edges, 5728 markings/sec, 210 secs
lola: 1290859 markings, 16720043 edges, 5913 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(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 111337 markings, 131636 edges, 22267 markings/sec, 0 secs
lola: 222466 markings, 264660 edges, 22226 markings/sec, 5 secs
lola: 333500 markings, 397543 edges, 22207 markings/sec, 10 secs
lola: 444354 markings, 530342 edges, 22171 markings/sec, 15 secs
lola: 554426 markings, 662387 edges, 22014 markings/sec, 20 secs
lola: 664907 markings, 794750 edges, 22096 markings/sec, 25 secs
lola: 775498 markings, 927133 edges, 22118 markings/sec, 30 secs
lola: 885528 markings, 1058959 edges, 22006 markings/sec, 35 secs
lola: 995733 markings, 1191678 edges, 22041 markings/sec, 40 secs
lola: 1105845 markings, 1323810 edges, 22022 markings/sec, 45 secs
lola: 1216222 markings, 1457552 edges, 22075 markings/sec, 50 secs
lola: 1326640 markings, 1591123 edges, 22084 markings/sec, 55 secs
lola: 1436807 markings, 1724193 edges, 22033 markings/sec, 60 secs
lola: 1547040 markings, 1857710 edges, 22047 markings/sec, 65 secs
lola: 1638768 markings, 1968461 edges, 18346 markings/sec, 70 secs
lola: 1748457 markings, 2100375 edges, 21938 markings/sec, 75 secs
lola: 1858199 markings, 2232811 edges, 21948 markings/sec, 80 secs
lola: 1968470 markings, 2366539 edges, 22054 markings/sec, 85 secs
lola: 2078646 markings, 2500393 edges, 22035 markings/sec, 90 secs
lola: 2188889 markings, 2634227 edges, 22049 markings/sec, 95 secs
lola: 2298802 markings, 2767054 edges, 21983 markings/sec, 100 secs
lola: 2408105 markings, 2899654 edges, 21861 markings/sec, 105 secs
lola: 2499578 markings, 3009525 edges, 18295 markings/sec, 110 secs
lola: 2609422 markings, 3142346 edges, 21969 markings/sec, 115 secs
lola: 2718952 markings, 3274564 edges, 21906 markings/sec, 120 secs
lola: 2829276 markings, 3407263 edges, 22065 markings/sec, 125 secs
lola: 2920770 markings, 3517886 edges, 18299 markings/sec, 130 secs
lola: 3030855 markings, 3651837 edges, 22017 markings/sec, 135 secs
lola: 3140842 markings, 3785093 edges, 21997 markings/sec, 140 secs
lola: 3249305 markings, 3917012 edges, 21693 markings/sec, 145 secs
lola: 3359394 markings, 4051650 edges, 22018 markings/sec, 150 secs
lola: 3469315 markings, 4186029 edges, 21984 markings/sec, 155 secs
lola: 3578902 markings, 4319471 edges, 21917 markings/sec, 160 secs
lola: 3688829 markings, 4453266 edges, 21985 markings/sec, 165 secs
lola: 3798533 markings, 4586624 edges, 21941 markings/sec, 170 secs
lola: 3908128 markings, 4719523 edges, 21919 markings/sec, 175 secs
lola: 4017960 markings, 4853387 edges, 21966 markings/sec, 180 secs
lola: 4127394 markings, 4985604 edges, 21887 markings/sec, 185 secs
lola: 4237179 markings, 5119797 edges, 21957 markings/sec, 190 secs
lola: 4347560 markings, 5254826 edges, 22076 markings/sec, 195 secs
lola: 4457486 markings, 5388248 edges, 21985 markings/sec, 200 secs
lola: 4566801 markings, 5519985 edges, 21863 markings/sec, 205 secs
lola: 4676102 markings, 5653004 edges, 21860 markings/sec, 210 secs
lola: 4785576 markings, 5786352 edges, 21895 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(p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 128296 markings, 151223 edges, 25659 markings/sec, 0 secs
lola: 256180 markings, 303194 edges, 25577 markings/sec, 5 secs
lola: 383762 markings, 455597 edges, 25516 markings/sec, 10 secs
lola: 511270 markings, 608454 edges, 25502 markings/sec, 15 secs
lola: 638274 markings, 760484 edges, 25401 markings/sec, 20 secs
lola: 762058 markings, 909284 edges, 24757 markings/sec, 25 secs
lola: 888726 markings, 1061233 edges, 25334 markings/sec, 30 secs
lola: 1015016 markings, 1212968 edges, 25258 markings/sec, 35 secs
lola: 1141846 markings, 1365619 edges, 25366 markings/sec, 40 secs
lola: 1268501 markings, 1518196 edges, 25331 markings/sec, 45 secs
lola: 1395031 markings, 1670538 edges, 25306 markings/sec, 50 secs
lola: 1521579 markings, 1823916 edges, 25310 markings/sec, 55 secs
lola: 1647140 markings, 1974322 edges, 25112 markings/sec, 60 secs
lola: 1770011 markings, 2122368 edges, 24574 markings/sec, 65 secs
lola: 1896294 markings, 2274729 edges, 25257 markings/sec, 70 secs
lola: 2016776 markings, 2419174 edges, 24096 markings/sec, 75 secs
lola: 2139250 markings, 2565944 edges, 24495 markings/sec, 80 secs
lola: 2261420 markings, 2713062 edges, 24434 markings/sec, 85 secs
lola: 2385017 markings, 2862554 edges, 24719 markings/sec, 90 secs
lola: 2510426 markings, 3014080 edges, 25082 markings/sec, 95 secs
lola: 2634765 markings, 3163724 edges, 24868 markings/sec, 100 secs
lola: 2760517 markings, 3315221 edges, 25150 markings/sec, 105 secs
lola: 2886530 markings, 3467316 edges, 25203 markings/sec, 110 secs
lola: 3012503 markings, 3620561 edges, 25195 markings/sec, 115 secs
lola: 3139000 markings, 3774119 edges, 25299 markings/sec, 120 secs
lola: 3264773 markings, 3925863 edges, 25155 markings/sec, 125 secs
lola: 3390887 markings, 4077755 edges, 25223 markings/sec, 130 secs
lola: 3516424 markings, 4230038 edges, 25107 markings/sec, 135 secs
lola: 3642591 markings, 4383448 edges, 25233 markings/sec, 140 secs
lola: 3756262 markings, 4520954 edges, 22734 markings/sec, 145 secs
lola: 3882108 markings, 4673429 edges, 25169 markings/sec, 150 secs
lola: 4007783 markings, 4825582 edges, 25135 markings/sec, 155 secs
lola: 4133660 markings, 4977178 edges, 25175 markings/sec, 160 secs
lola: 4247267 markings, 5114964 edges, 22721 markings/sec, 165 secs
lola: 4372281 markings, 5265149 edges, 25003 markings/sec, 170 secs
lola: 4497958 markings, 5417220 edges, 25135 markings/sec, 175 secs
lola: 4623526 markings, 5569597 edges, 25114 markings/sec, 180 secs
lola: 4735795 markings, 5705304 edges, 22454 markings/sec, 185 secs
lola: 4857884 markings, 5852565 edges, 24418 markings/sec, 190 secs
lola: 4980919 markings, 6001332 edges, 24607 markings/sec, 195 secs
lola: 5105116 markings, 6151974 edges, 24839 markings/sec, 200 secs
lola: 5229590 markings, 6303227 edges, 24895 markings/sec, 205 secs
lola: 5355263 markings, 6455823 edges, 25135 markings/sec, 210 secs
lola: 5480651 markings, 6608447 edges, 25078 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(p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 120898 markings, 171824 edges, 24180 markings/sec, 0 secs
lola: 239868 markings, 348103 edges, 23794 markings/sec, 5 secs
lola: 358339 markings, 525784 edges, 23694 markings/sec, 10 secs
lola: 475960 markings, 704688 edges, 23524 markings/sec, 15 secs
lola: 594195 markings, 883867 edges, 23647 markings/sec, 20 secs
lola: 712466 markings, 1066039 edges, 23654 markings/sec, 25 secs
lola: 831115 markings, 1253642 edges, 23730 markings/sec, 30 secs
lola: 949910 markings, 1434007 edges, 23759 markings/sec, 35 secs
lola: 1068687 markings, 1616782 edges, 23755 markings/sec, 40 secs
lola: 1184122 markings, 1795790 edges, 23087 markings/sec, 45 secs
lola: 1302531 markings, 1983624 edges, 23682 markings/sec, 50 secs
lola: 1420983 markings, 2167104 edges, 23690 markings/sec, 55 secs
lola: 1538695 markings, 2355173 edges, 23542 markings/sec, 60 secs
lola: 1652704 markings, 2539680 edges, 22802 markings/sec, 65 secs
lola: 1770747 markings, 2727095 edges, 23609 markings/sec, 70 secs
lola: 1890606 markings, 2908639 edges, 23972 markings/sec, 75 secs
lola: 2009734 markings, 3092423 edges, 23826 markings/sec, 80 secs
lola: 2127550 markings, 3279316 edges, 23563 markings/sec, 85 secs
lola: 2246451 markings, 3464695 edges, 23780 markings/sec, 90 secs
lola: 2364106 markings, 3652918 edges, 23531 markings/sec, 95 secs
lola: 2482788 markings, 3842817 edges, 23736 markings/sec, 100 secs
lola: 2596754 markings, 4029692 edges, 22793 markings/sec, 105 secs
lola: 2714879 markings, 4213066 edges, 23625 markings/sec, 110 secs
lola: 2832477 markings, 4400868 edges, 23520 markings/sec, 115 secs
lola: 2949590 markings, 4590816 edges, 23423 markings/sec, 120 secs
lola: 3062427 markings, 4775148 edges, 22567 markings/sec, 125 secs
lola: 3180225 markings, 4967038 edges, 23560 markings/sec, 130 secs
lola: 3297902 markings, 5161994 edges, 23535 markings/sec, 135 secs
lola: 3415416 markings, 5361830 edges, 23503 markings/sec, 140 secs
lola: 3534280 markings, 5544760 edges, 23773 markings/sec, 145 secs
lola: 3653824 markings, 5729217 edges, 23909 markings/sec, 150 secs
lola: 3772860 markings, 5912940 edges, 23807 markings/sec, 155 secs
lola: 3891938 markings, 6101746 edges, 23816 markings/sec, 160 secs
lola: 4009817 markings, 6285093 edges, 23576 markings/sec, 165 secs
lola: 4127430 markings, 6473164 edges, 23523 markings/sec, 170 secs
lola: 4244946 markings, 6664155 edges, 23503 markings/sec, 175 secs
lola: 4363451 markings, 6853511 edges, 23701 markings/sec, 180 secs
lola: 4481380 markings, 7039490 edges, 23586 markings/sec, 185 secs
lola: 4598785 markings, 7227808 edges, 23481 markings/sec, 190 secs
lola: 4715915 markings, 7420584 edges, 23426 markings/sec, 195 secs
lola: 4833258 markings, 7609962 edges, 23469 markings/sec, 200 secs
lola: 4946614 markings, 7798051 edges, 22671 markings/sec, 205 secs
lola: 5063221 markings, 7991029 edges, 23321 markings/sec, 210 secs
lola: 5179905 markings, 8187587 edges, 23337 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(p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 120271 markings, 170909 edges, 24054 markings/sec, 0 secs
lola: 237665 markings, 344862 edges, 23479 markings/sec, 5 secs
lola: 357244 markings, 524075 edges, 23916 markings/sec, 10 secs
lola: 476042 markings, 704768 edges, 23760 markings/sec, 15 secs
lola: 593416 markings, 882715 edges, 23475 markings/sec, 20 secs
lola: 711400 markings, 1064309 edges, 23597 markings/sec, 25 secs
lola: 829676 markings, 1251221 edges, 23655 markings/sec, 30 secs
lola: 947839 markings, 1430784 edges, 23633 markings/sec, 35 secs
lola: 1065745 markings, 1611967 edges, 23581 markings/sec, 40 secs
lola: 1183017 markings, 1793804 edges, 23454 markings/sec, 45 secs
lola: 1300593 markings, 1980649 edges, 23515 markings/sec, 50 secs
lola: 1418354 markings, 2162862 edges, 23552 markings/sec, 55 secs
lola: 1535602 markings, 2350311 edges, 23450 markings/sec, 60 secs
lola: 1652519 markings, 2539246 edges, 23383 markings/sec, 65 secs
lola: 1768942 markings, 2724262 edges, 23285 markings/sec, 70 secs
lola: 1886214 markings, 2901872 edges, 23454 markings/sec, 75 secs
lola: 2003639 markings, 3082889 edges, 23485 markings/sec, 80 secs
lola: 2114496 markings, 3257882 edges, 22171 markings/sec, 85 secs
lola: 2230965 markings, 3440048 edges, 23294 markings/sec, 90 secs
lola: 2347384 markings, 3624886 edges, 23284 markings/sec, 95 secs
lola: 2463703 markings, 3811439 edges, 23264 markings/sec, 100 secs
lola: 2577455 markings, 3999806 edges, 22750 markings/sec, 105 secs
lola: 2692930 markings, 4178905 edges, 23095 markings/sec, 110 secs
lola: 2808486 markings, 4363134 edges, 23111 markings/sec, 115 secs
lola: 2922646 markings, 4546454 edges, 22832 markings/sec, 120 secs
lola: 3037250 markings, 4734832 edges, 22921 markings/sec, 125 secs
lola: 3150018 markings, 4916836 edges, 22554 markings/sec, 130 secs
lola: 3260516 markings, 5099854 edges, 22100 markings/sec, 135 secs
lola: 3375010 markings, 5291900 edges, 22899 markings/sec, 140 secs
lola: 3492157 markings, 5481420 edges, 23429 markings/sec, 145 secs
lola: 3612358 markings, 5663446 edges, 24040 markings/sec, 150 secs
lola: 3725347 markings, 5837835 edges, 22598 markings/sec, 155 secs
lola: 3845100 markings, 6027562 edges, 23951 markings/sec, 160 secs
lola: 3962615 markings, 6210572 edges, 23503 markings/sec, 165 secs
lola: 4079602 markings, 6397352 edges, 23397 markings/sec, 170 secs
lola: 4192101 markings, 6577849 edges, 22500 markings/sec, 175 secs
lola: 4309284 markings, 6770803 edges, 23437 markings/sec, 180 secs
lola: 4424293 markings, 6948577 edges, 23002 markings/sec, 185 secs
lola: 4537774 markings, 7129906 edges, 22696 markings/sec, 190 secs
lola: 4650934 markings, 7312371 edges, 22632 markings/sec, 195 secs
lola: 4763885 markings, 7497478 edges, 22590 markings/sec, 200 secs
lola: 4880118 markings, 7685716 edges, 23247 markings/sec, 205 secs
lola: 4995452 markings, 7876872 edges, 23067 markings/sec, 210 secs
lola: 5112232 markings, 8073787 edges, 23356 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 28088 markings, 265634 edges, 5618 markings/sec, 0 secs
lola: 58648 markings, 552155 edges, 6112 markings/sec, 5 secs
lola: 90780 markings, 847108 edges, 6426 markings/sec, 10 secs
lola: 119988 markings, 1115066 edges, 5842 markings/sec, 15 secs
lola: 147575 markings, 1392098 edges, 5517 markings/sec, 20 secs
lola: 176908 markings, 1662322 edges, 5867 markings/sec, 25 secs
lola: 206169 markings, 1906459 edges, 5852 markings/sec, 30 secs
lola: 235788 markings, 2186153 edges, 5924 markings/sec, 35 secs
lola: 265258 markings, 2450772 edges, 5894 markings/sec, 40 secs
lola: 292032 markings, 2689959 edges, 5355 markings/sec, 45 secs
lola: 321852 markings, 2964299 edges, 5964 markings/sec, 50 secs
lola: 350392 markings, 3227290 edges, 5708 markings/sec, 55 secs
lola: 376988 markings, 3482799 edges, 5319 markings/sec, 60 secs
lola: 406393 markings, 3752611 edges, 5881 markings/sec, 65 secs
lola: 435771 markings, 4037909 edges, 5876 markings/sec, 70 secs
lola: 465047 markings, 4304062 edges, 5855 markings/sec, 75 secs
lola: 495245 markings, 4587471 edges, 6040 markings/sec, 80 secs
lola: 524477 markings, 4871299 edges, 5846 markings/sec, 85 secs
lola: 552786 markings, 5190426 edges, 5662 markings/sec, 90 secs
lola: 583549 markings, 5440583 edges, 6153 markings/sec, 95 secs
lola: 614390 markings, 5681426 edges, 6168 markings/sec, 100 secs
lola: 642850 markings, 5936406 edges, 5692 markings/sec, 105 secs
lola: 669727 markings, 6209040 edges, 5375 markings/sec, 110 secs
lola: 695823 markings, 6466457 edges, 5219 markings/sec, 115 secs
lola: 725149 markings, 6733094 edges, 5865 markings/sec, 120 secs
lola: 755717 markings, 7020384 edges, 6114 markings/sec, 125 secs
lola: 786743 markings, 7312950 edges, 6205 markings/sec, 130 secs
lola: 815805 markings, 7578473 edges, 5812 markings/sec, 135 secs
lola: 846398 markings, 7862772 edges, 6119 markings/sec, 140 secs
lola: 876152 markings, 8128490 edges, 5951 markings/sec, 145 secs
lola: 906775 markings, 8400708 edges, 6125 markings/sec, 150 secs
lola: 935580 markings, 8643306 edges, 5761 markings/sec, 155 secs
lola: 964792 markings, 8923546 edges, 5842 markings/sec, 160 secs
lola: 994525 markings, 9190575 edges, 5947 markings/sec, 165 secs
lola: 1024555 markings, 9476071 edges, 6006 markings/sec, 170 secs
lola: 1051874 markings, 9766698 edges, 5464 markings/sec, 175 secs
lola: 1080599 markings, 10038850 edges, 5745 markings/sec, 180 secs
lola: 1110666 markings, 10323099 edges, 6013 markings/sec, 185 secs
lola: 1141497 markings, 10609436 edges, 6166 markings/sec, 190 secs
lola: 1171535 markings, 10887954 edges, 6008 markings/sec, 195 secs
lola: 1203106 markings, 11177146 edges, 6314 markings/sec, 200 secs
lola: 1234958 markings, 11474709 edges, 6370 markings/sec, 205 secs
lola: 1265226 markings, 11741404 edges, 6054 markings/sec, 210 secs
lola: 1297362 markings, 12052784 edges, 6427 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(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 121624 markings, 178664 edges, 24325 markings/sec, 0 secs
lola: 242658 markings, 363836 edges, 24207 markings/sec, 5 secs
lola: 363591 markings, 551154 edges, 24187 markings/sec, 10 secs
lola: 484266 markings, 740410 edges, 24135 markings/sec, 15 secs
lola: 595347 markings, 913890 edges, 22216 markings/sec, 20 secs
lola: 715133 markings, 1104213 edges, 23957 markings/sec, 25 secs
lola: 835254 markings, 1300354 edges, 24024 markings/sec, 30 secs
lola: 955422 markings, 1488004 edges, 24034 markings/sec, 35 secs
lola: 1075176 markings, 1678638 edges, 23951 markings/sec, 40 secs
lola: 1195333 markings, 1869576 edges, 24031 markings/sec, 45 secs
lola: 1314779 markings, 2064575 edges, 23889 markings/sec, 50 secs
lola: 1434367 markings, 2256442 edges, 23918 markings/sec, 55 secs
lola: 1553483 markings, 2452751 edges, 23823 markings/sec, 60 secs
lola: 1672332 markings, 2651993 edges, 23770 markings/sec, 65 secs
lola: 1791663 markings, 2843370 edges, 23866 markings/sec, 70 secs
lola: 1910934 markings, 3031366 edges, 23854 markings/sec, 75 secs
lola: 2021730 markings, 3207555 edges, 22159 markings/sec, 80 secs
lola: 2140680 markings, 3402766 edges, 23790 markings/sec, 85 secs
lola: 2259832 markings, 3594091 edges, 23830 markings/sec, 90 secs
lola: 2378563 markings, 3788622 edges, 23746 markings/sec, 95 secs
lola: 2497612 markings, 3985604 edges, 23810 markings/sec, 100 secs
lola: 2616215 markings, 4183629 edges, 23721 markings/sec, 105 secs
lola: 2735149 markings, 4375372 edges, 23787 markings/sec, 110 secs
lola: 2854000 markings, 4571403 edges, 23770 markings/sec, 115 secs
lola: 2972661 markings, 4770656 edges, 23732 markings/sec, 120 secs
lola: 3091035 markings, 4968221 edges, 23675 markings/sec, 125 secs
lola: 3209058 markings, 5168015 edges, 23605 markings/sec, 130 secs
lola: 3327264 markings, 5370221 edges, 23641 markings/sec, 135 secs
lola: 3435963 markings, 5561441 edges, 21740 markings/sec, 140 secs
lola: 3557311 markings, 5749324 edges, 24270 markings/sec, 145 secs
lola: 3678316 markings, 5941071 edges, 24201 markings/sec, 150 secs
lola: 3799131 markings, 6134827 edges, 24163 markings/sec, 155 secs
lola: 3910507 markings, 6316129 edges, 22275 markings/sec, 160 secs
lola: 4030543 markings, 6510174 edges, 24007 markings/sec, 165 secs
lola: 4150664 markings, 6707899 edges, 24024 markings/sec, 170 secs
lola: 4270249 markings, 6909368 edges, 23917 markings/sec, 175 secs
lola: 4381062 markings, 7089484 edges, 22163 markings/sec, 180 secs
lola: 4500633 markings, 7285178 edges, 23914 markings/sec, 185 secs
lola: 4619945 markings, 7482569 edges, 23862 markings/sec, 190 secs
lola: 4738721 markings, 7684359 edges, 23755 markings/sec, 195 secs
lola: 4858009 markings, 7881183 edges, 23858 markings/sec, 200 secs
lola: 4976662 markings, 8083239 edges, 23731 markings/sec, 205 secs
lola: 5095185 markings, 8287432 edges, 23705 markings/sec, 210 secs
lola: 5213852 markings, 8487914 edges, 23733 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(p176)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 120286 markings, 170927 edges, 24057 markings/sec, 0 secs
lola: 239987 markings, 348260 edges, 23940 markings/sec, 5 secs
lola: 359687 markings, 527776 edges, 23940 markings/sec, 10 secs
lola: 478835 markings, 709036 edges, 23830 markings/sec, 15 secs
lola: 597642 markings, 888909 edges, 23761 markings/sec, 20 secs
lola: 716387 markings, 1072010 edges, 23749 markings/sec, 25 secs
lola: 834571 markings, 1259398 edges, 23637 markings/sec, 30 secs
lola: 952978 markings, 1438611 edges, 23681 markings/sec, 35 secs
lola: 1070579 markings, 1619804 edges, 23520 markings/sec, 40 secs
lola: 1188704 markings, 1802488 edges, 23625 markings/sec, 45 secs
lola: 1306342 markings, 1989232 edges, 23528 markings/sec, 50 secs
lola: 1424157 markings, 2172045 edges, 23563 markings/sec, 55 secs
lola: 1538649 markings, 2354990 edges, 22898 markings/sec, 60 secs
lola: 1656310 markings, 2545556 edges, 23532 markings/sec, 65 secs
lola: 1773804 markings, 2731661 edges, 23499 markings/sec, 70 secs
lola: 1891636 markings, 2910039 edges, 23566 markings/sec, 75 secs
lola: 2006319 markings, 3086985 edges, 22937 markings/sec, 80 secs
lola: 2123797 markings, 3273096 edges, 23496 markings/sec, 85 secs
lola: 2241102 markings, 3455898 edges, 23461 markings/sec, 90 secs
lola: 2358111 markings, 3642575 edges, 23402 markings/sec, 95 secs
lola: 2475118 markings, 3830773 edges, 23401 markings/sec, 100 secs
lola: 2592031 markings, 4022449 edges, 23383 markings/sec, 105 secs
lola: 2709451 markings, 4204256 edges, 23484 markings/sec, 110 secs
lola: 2825521 markings, 4389833 edges, 23214 markings/sec, 115 secs
lola: 2940772 markings, 4575978 edges, 23050 markings/sec, 120 secs
lola: 3054731 markings, 4762427 edges, 22792 markings/sec, 125 secs
lola: 3164318 markings, 4940328 edges, 21917 markings/sec, 130 secs
lola: 3280197 markings, 5132749 edges, 23176 markings/sec, 135 secs
lola: 3395419 markings, 5326899 edges, 23044 markings/sec, 140 secs
lola: 3511634 markings, 5510210 edges, 23243 markings/sec, 145 secs
lola: 3630473 markings, 5691878 edges, 23768 markings/sec, 150 secs
lola: 3749848 markings, 5876296 edges, 23875 markings/sec, 155 secs
lola: 3868596 markings, 6066217 edges, 23750 markings/sec, 160 secs
lola: 3987349 markings, 6249798 edges, 23751 markings/sec, 165 secs
lola: 4105892 markings, 6438813 edges, 23709 markings/sec, 170 secs
lola: 4224357 markings, 6629790 edges, 23693 markings/sec, 175 secs
lola: 4342553 markings, 6820951 edges, 23639 markings/sec, 180 secs
lola: 4460612 markings, 7006132 edges, 23612 markings/sec, 185 secs
lola: 4578524 markings, 7194674 edges, 23582 markings/sec, 190 secs
lola: 4696188 markings, 7386939 edges, 23533 markings/sec, 195 secs
lola: 4813872 markings, 7577774 edges, 23537 markings/sec, 200 secs
lola: 4931293 markings, 7771050 edges, 23484 markings/sec, 205 secs
lola: 5048653 markings, 7966218 edges, 23472 markings/sec, 210 secs
lola: 5164134 markings, 8164094 edges, 23096 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(p95)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 29102 markings, 297687 edges, 5820 markings/sec, 0 secs
lola: 55344 markings, 575266 edges, 5248 markings/sec, 5 secs
lola: 83351 markings, 885018 edges, 5601 markings/sec, 10 secs
lola: 112676 markings, 1175374 edges, 5865 markings/sec, 15 secs
lola: 140830 markings, 1472349 edges, 5631 markings/sec, 20 secs
lola: 169476 markings, 1797553 edges, 5729 markings/sec, 25 secs
lola: 199422 markings, 2105937 edges, 5989 markings/sec, 30 secs
lola: 228241 markings, 2413361 edges, 5764 markings/sec, 35 secs
lola: 257238 markings, 2717651 edges, 5799 markings/sec, 40 secs
lola: 287086 markings, 3024687 edges, 5970 markings/sec, 45 secs
lola: 317062 markings, 3331432 edges, 5995 markings/sec, 50 secs
lola: 349950 markings, 3676748 edges, 6578 markings/sec, 55 secs
lola: 381451 markings, 3991845 edges, 6300 markings/sec, 60 secs
lola: 412846 markings, 4314400 edges, 6279 markings/sec, 65 secs
lola: 441290 markings, 4620363 edges, 5689 markings/sec, 70 secs
lola: 470309 markings, 4906188 edges, 5804 markings/sec, 75 secs
lola: 499248 markings, 5202742 edges, 5788 markings/sec, 80 secs
lola: 527760 markings, 5499679 edges, 5702 markings/sec, 85 secs
lola: 557923 markings, 5790429 edges, 6033 markings/sec, 90 secs
lola: 587755 markings, 6092914 edges, 5966 markings/sec, 95 secs
lola: 616452 markings, 6418063 edges, 5739 markings/sec, 100 secs
lola: 645176 markings, 6750125 edges, 5745 markings/sec, 105 secs
lola: 673567 markings, 7051573 edges, 5678 markings/sec, 110 secs
lola: 705016 markings, 7378018 edges, 6290 markings/sec, 115 secs
lola: 737049 markings, 7693775 edges, 6407 markings/sec, 120 secs
lola: 769185 markings, 8011355 edges, 6427 markings/sec, 125 secs
lola: 800444 markings, 8339123 edges, 6252 markings/sec, 130 secs
lola: 829666 markings, 8615409 edges, 5844 markings/sec, 135 secs
lola: 858552 markings, 8913821 edges, 5777 markings/sec, 140 secs
lola: 886545 markings, 9219638 edges, 5599 markings/sec, 145 secs
lola: 916017 markings, 9509730 edges, 5894 markings/sec, 150 secs
lola: 946812 markings, 9805757 edges, 6159 markings/sec, 155 secs
lola: 978113 markings, 10115785 edges, 6260 markings/sec, 160 secs
lola: 1006482 markings, 10425315 edges, 5674 markings/sec, 165 secs
lola: 1035043 markings, 10735368 edges, 5712 markings/sec, 170 secs
lola: 1065409 markings, 11025478 edges, 6073 markings/sec, 175 secs
lola: 1096471 markings, 11328044 edges, 6212 markings/sec, 180 secs
lola: 1127156 markings, 11623546 edges, 6137 markings/sec, 185 secs
lola: 1158739 markings, 11928159 edges, 6317 markings/sec, 190 secs
lola: 1190908 markings, 12248409 edges, 6434 markings/sec, 195 secs
lola: 1218387 markings, 12563432 edges, 5496 markings/sec, 200 secs
lola: 1247763 markings, 12877120 edges, 5875 markings/sec, 205 secs
lola: 1278774 markings, 13181254 edges, 6202 markings/sec, 210 secs
lola: 1312218 markings, 13497996 edges, 6689 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 116864 markings, 177232 edges, 23373 markings/sec, 0 secs
lola: 233178 markings, 360596 edges, 23263 markings/sec, 5 secs
lola: 349669 markings, 546034 edges, 23298 markings/sec, 10 secs
lola: 465746 markings, 733955 edges, 23215 markings/sec, 15 secs
lola: 581649 markings, 919554 edges, 23181 markings/sec, 20 secs
lola: 697498 markings, 1109563 edges, 23170 markings/sec, 25 secs
lola: 813516 markings, 1302905 edges, 23204 markings/sec, 30 secs
lola: 928067 markings, 1489499 edges, 22910 markings/sec, 35 secs
lola: 1033408 markings, 1659699 edges, 21068 markings/sec, 40 secs
lola: 1149082 markings, 1849215 edges, 23135 markings/sec, 45 secs
lola: 1264318 markings, 2042947 edges, 23047 markings/sec, 50 secs
lola: 1379608 markings, 2233506 edges, 23058 markings/sec, 55 secs
lola: 1494442 markings, 2427452 edges, 22967 markings/sec, 60 secs
lola: 1609580 markings, 2623163 edges, 23028 markings/sec, 65 secs
lola: 1724137 markings, 2823627 edges, 22911 markings/sec, 70 secs
lola: 1841175 markings, 3008539 edges, 23408 markings/sec, 75 secs
lola: 1957582 markings, 3198836 edges, 23281 markings/sec, 80 secs
lola: 2074136 markings, 3391238 edges, 23311 markings/sec, 85 secs
lola: 2190992 markings, 3586934 edges, 23371 markings/sec, 90 secs
lola: 2307416 markings, 3780475 edges, 23285 markings/sec, 95 secs
lola: 2423463 markings, 3977383 edges, 23209 markings/sec, 100 secs
lola: 2539042 markings, 4176774 edges, 23116 markings/sec, 105 secs
lola: 2654666 markings, 4371166 edges, 23125 markings/sec, 110 secs
lola: 2770426 markings, 4565928 edges, 23152 markings/sec, 115 secs
lola: 2886076 markings, 4761983 edges, 23130 markings/sec, 120 secs
lola: 3001194 markings, 4963078 edges, 23024 markings/sec, 125 secs
lola: 3116388 markings, 5159669 edges, 23039 markings/sec, 130 secs
lola: 3231005 markings, 5360316 edges, 22923 markings/sec, 135 secs
lola: 3345530 markings, 5561054 edges, 22905 markings/sec, 140 secs
lola: 3460078 markings, 5763932 edges, 22910 markings/sec, 145 secs
lola: 3577044 markings, 5950361 edges, 23393 markings/sec, 150 secs
lola: 3693136 markings, 6140102 edges, 23218 markings/sec, 155 secs
lola: 3809429 markings, 6333159 edges, 23259 markings/sec, 160 secs
lola: 3925192 markings, 6526786 edges, 23153 markings/sec, 165 secs
lola: 4040800 markings, 6719389 edges, 23122 markings/sec, 170 secs
lola: 4156307 markings, 6915166 edges, 23101 markings/sec, 175 secs
lola: 4271558 markings, 7115079 edges, 23050 markings/sec, 180 secs
lola: 4386557 markings, 7307287 edges, 23000 markings/sec, 185 secs
lola: 4501183 markings, 7500480 edges, 22925 markings/sec, 190 secs
lola: 4616080 markings, 7695696 edges, 22979 markings/sec, 195 secs
lola: 4730376 markings, 7896151 edges, 22859 markings/sec, 200 secs
lola: 4845185 markings, 8090928 edges, 22962 markings/sec, 205 secs
lola: 4959471 markings, 8290752 edges, 22857 markings/sec, 210 secs
lola: 5073832 markings, 8491843 edges, 22872 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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 118740 markings, 168729 edges, 23748 markings/sec, 0 secs
lola: 237157 markings, 344182 edges, 23683 markings/sec, 5 secs
lola: 355084 markings, 520852 edges, 23585 markings/sec, 10 secs
lola: 472828 markings, 700101 edges, 23549 markings/sec, 15 secs
lola: 590387 markings, 877873 edges, 23512 markings/sec, 20 secs
lola: 705306 markings, 1055102 edges, 22984 markings/sec, 25 secs
lola: 822363 markings, 1239547 edges, 23411 markings/sec, 30 secs
lola: 939233 markings, 1417906 edges, 23374 markings/sec, 35 secs
lola: 1056238 markings, 1596955 edges, 23401 markings/sec, 40 secs
lola: 1173118 markings, 1777761 edges, 23376 markings/sec, 45 secs
lola: 1289710 markings, 1964454 edges, 23318 markings/sec, 50 secs
lola: 1407623 markings, 2146438 edges, 23583 markings/sec, 55 secs
lola: 1524289 markings, 2332593 edges, 23333 markings/sec, 60 secs
lola: 1637997 markings, 2515743 edges, 22742 markings/sec, 65 secs
lola: 1754753 markings, 2703344 edges, 23351 markings/sec, 70 secs
lola: 1872968 markings, 2881400 edges, 23643 markings/sec, 75 secs
lola: 1990394 markings, 3063021 edges, 23485 markings/sec, 80 secs
lola: 2108014 markings, 3247723 edges, 23524 markings/sec, 85 secs
lola: 2226079 markings, 3432554 edges, 23613 markings/sec, 90 secs
lola: 2343121 markings, 3618186 edges, 23408 markings/sec, 95 secs
lola: 2460263 markings, 3806011 edges, 23428 markings/sec, 100 secs
lola: 2576971 markings, 3999221 edges, 23342 markings/sec, 105 secs
lola: 2694093 markings, 4180875 edges, 23424 markings/sec, 110 secs
lola: 2810926 markings, 4367269 edges, 23367 markings/sec, 115 secs
lola: 2927206 markings, 4554151 edges, 23256 markings/sec, 120 secs
lola: 3040782 markings, 4740703 edges, 22715 markings/sec, 125 secs
lola: 3157119 markings, 4928687 edges, 23267 markings/sec, 130 secs
lola: 3274048 markings, 5122577 edges, 23386 markings/sec, 135 secs
lola: 3389498 markings, 5317345 edges, 23090 markings/sec, 140 secs
lola: 3507494 markings, 5504393 edges, 23599 markings/sec, 145 secs
lola: 3625273 markings, 5683813 edges, 23556 markings/sec, 150 secs
lola: 3743936 markings, 5867257 edges, 23733 markings/sec, 155 secs
lola: 3861694 markings, 6054977 edges, 23552 markings/sec, 160 secs
lola: 3979856 markings, 6239029 edges, 23632 markings/sec, 165 secs
lola: 4097206 markings, 6425786 edges, 23470 markings/sec, 170 secs
lola: 4213626 markings, 6612657 edges, 23284 markings/sec, 175 secs
lola: 4330633 markings, 6803223 edges, 23401 markings/sec, 180 secs
lola: 4447558 markings, 6985452 edges, 23385 markings/sec, 185 secs
lola: 4564828 markings, 7173217 edges, 23454 markings/sec, 190 secs
lola: 4681339 markings, 7363009 edges, 23302 markings/sec, 195 secs
lola: 4798119 markings, 7552609 edges, 23356 markings/sec, 200 secs
lola: 4913033 markings, 7740671 edges, 22983 markings/sec, 205 secs
lola: 5027253 markings, 7930311 edges, 22844 markings/sec, 210 secs
lola: 5143278 markings, 8127758 edges, 23205 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(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 117761 markings, 178560 edges, 23552 markings/sec, 0 secs
lola: 234202 markings, 362124 edges, 23288 markings/sec, 5 secs
lola: 352258 markings, 550201 edges, 23611 markings/sec, 10 secs
lola: 468283 markings, 737840 edges, 23205 markings/sec, 15 secs
lola: 584795 markings, 924676 edges, 23302 markings/sec, 20 secs
lola: 700700 markings, 1115045 edges, 23181 markings/sec, 25 secs
lola: 817199 markings, 1308982 edges, 23300 markings/sec, 30 secs
lola: 932613 markings, 1496592 edges, 23083 markings/sec, 35 secs
lola: 1048214 markings, 1684144 edges, 23120 markings/sec, 40 secs
lola: 1162880 markings, 1872111 edges, 22933 markings/sec, 45 secs
lola: 1279092 markings, 2068360 edges, 23242 markings/sec, 50 secs
lola: 1394461 markings, 2258614 edges, 23074 markings/sec, 55 secs
lola: 1509236 markings, 2453209 edges, 22955 markings/sec, 60 secs
lola: 1624788 markings, 2648997 edges, 23110 markings/sec, 65 secs
lola: 1740178 markings, 2847664 edges, 23078 markings/sec, 70 secs
lola: 1854403 markings, 3029565 edges, 22845 markings/sec, 75 secs
lola: 1969184 markings, 3217329 edges, 22956 markings/sec, 80 secs
lola: 2082712 markings, 3405378 edges, 22706 markings/sec, 85 secs
lola: 2196159 markings, 3595210 edges, 22689 markings/sec, 90 secs
lola: 2309304 markings, 3783549 edges, 22629 markings/sec, 95 secs
lola: 2420369 markings, 3972116 edges, 22213 markings/sec, 100 secs
lola: 2533338 markings, 4166699 edges, 22594 markings/sec, 105 secs
lola: 2647138 markings, 4358601 edges, 22760 markings/sec, 110 secs
lola: 2762083 markings, 4551067 edges, 22989 markings/sec, 115 secs
lola: 2875686 markings, 4743913 edges, 22721 markings/sec, 120 secs
lola: 2988640 markings, 4940343 edges, 22591 markings/sec, 125 secs
lola: 3101741 markings, 5133553 edges, 22620 markings/sec, 130 secs
lola: 3214761 markings, 5330957 edges, 22604 markings/sec, 135 secs
lola: 3328634 markings, 5530927 edges, 22775 markings/sec, 140 secs
lola: 3442286 markings, 5737012 edges, 22730 markings/sec, 145 secs
lola: 3558850 markings, 5920840 edges, 23313 markings/sec, 150 secs
lola: 3674635 markings, 6110053 edges, 23157 markings/sec, 155 secs
lola: 3790944 markings, 6301962 edges, 23262 markings/sec, 160 secs
lola: 3906869 markings, 6496151 edges, 23185 markings/sec, 165 secs
lola: 4023215 markings, 6689179 edges, 23269 markings/sec, 170 secs
lola: 4138053 markings, 6884085 edges, 22968 markings/sec, 175 secs
lola: 4253122 markings, 7082417 edges, 23014 markings/sec, 180 secs
lola: 4367594 markings, 7275463 edges, 22894 markings/sec, 185 secs
lola: 4482730 markings, 7468266 edges, 23027 markings/sec, 190 secs
lola: 4597786 markings, 7663745 edges, 23011 markings/sec, 195 secs
lola: 4711398 markings, 7861279 edges, 22722 markings/sec, 200 secs
lola: 4825829 markings, 8056847 edges, 22886 markings/sec, 205 secs
lola: 4939045 markings, 8254737 edges, 22643 markings/sec, 210 secs
lola: 5052725 markings, 8454538 edges, 22736 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(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 13 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: 102994 markings, 132776 edges, 20599 markings/sec, 0 secs
lola: 206535 markings, 267138 edges, 20708 markings/sec, 5 secs
lola: 306240 markings, 396889 edges, 19941 markings/sec, 10 secs
lola: 408962 markings, 530727 edges, 20544 markings/sec, 15 secs
lola: 512406 markings, 666012 edges, 20689 markings/sec, 20 secs
lola: 616264 markings, 801541 edges, 20772 markings/sec, 25 secs
lola: 719676 markings, 936607 edges, 20682 markings/sec, 30 secs
lola: 823577 markings, 1071673 edges, 20780 markings/sec, 35 secs
lola: 927685 markings, 1207892 edges, 20822 markings/sec, 40 secs
lola: 1030281 markings, 1341977 edges, 20519 markings/sec, 45 secs
lola: 1132878 markings, 1475974 edges, 20519 markings/sec, 50 secs
lola: 1236383 markings, 1611636 edges, 20701 markings/sec, 55 secs
lola: 1339152 markings, 1745173 edges, 20554 markings/sec, 60 secs
lola: 1441243 markings, 1879298 edges, 20418 markings/sec, 65 secs
lola: 1539960 markings, 2007848 edges, 19743 markings/sec, 70 secs
lola: 1632875 markings, 2129801 edges, 18583 markings/sec, 75 secs
lola: 1736041 markings, 2264315 edges, 20633 markings/sec, 80 secs
lola: 1839053 markings, 2399813 edges, 20602 markings/sec, 85 secs
lola: 1941893 markings, 2533749 edges, 20568 markings/sec, 90 secs
lola: 2045268 markings, 2669219 edges, 20675 markings/sec, 95 secs
lola: 2148919 markings, 2804891 edges, 20730 markings/sec, 100 secs
lola: 2252481 markings, 2940595 edges, 20712 markings/sec, 105 secs
lola: 2352466 markings, 3071755 edges, 19997 markings/sec, 110 secs
lola: 2447384 markings, 3195459 edges, 18984 markings/sec, 115 secs
lola: 2550970 markings, 3332461 edges, 20717 markings/sec, 120 secs
lola: 2654379 markings, 3468458 edges, 20682 markings/sec, 125 secs
lola: 2757744 markings, 3603861 edges, 20673 markings/sec, 130 secs
lola: 2860865 markings, 3739511 edges, 20624 markings/sec, 135 secs
lola: 2963367 markings, 3875020 edges, 20500 markings/sec, 140 secs
lola: 3066881 markings, 4011335 edges, 20703 markings/sec, 145 secs
lola: 3166890 markings, 4142948 edges, 20002 markings/sec, 150 secs
lola: 3269468 markings, 4276377 edges, 20516 markings/sec, 155 secs
lola: 3373120 markings, 4412780 edges, 20730 markings/sec, 160 secs
lola: 3476272 markings, 4547430 edges, 20630 markings/sec, 165 secs
lola: 3578741 markings, 4681299 edges, 20494 markings/sec, 170 secs
lola: 3681446 markings, 4815570 edges, 20541 markings/sec, 175 secs
lola: 3783813 markings, 4949227 edges, 20473 markings/sec, 180 secs
lola: 3886882 markings, 5084767 edges, 20614 markings/sec, 185 secs
lola: 3986099 markings, 5215177 edges, 19843 markings/sec, 190 secs
lola: 4088049 markings, 5349411 edges, 20390 markings/sec, 195 secs
lola: 4190739 markings, 5484298 edges, 20538 markings/sec, 200 secs
lola: 4293878 markings, 5619248 edges, 20628 markings/sec, 205 secs
lola: 4396208 markings, 5752563 edges, 20466 markings/sec, 210 secs
lola: 4499453 markings, 5889783 edges, 20649 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 FlexibleBarrier-PT-22a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-22a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496502627099

--------------------
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-22a"
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-22a.tgz
mv FlexibleBarrier-PT-22a 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-22a, 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-149581034400164"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;