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 ;