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

About the Execution of LoLA for FlexibleBarrier-PT-04b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2950.930 3540176.00 3546650.00 1802.60 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

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

Trace from the execution

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


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

=== Now, execution of the tool begins

BK_START 1496481379018


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-04b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-04b @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 573/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 268 places, 305 transitions, 262 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 315 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-04b-UpperBounds.task
lola: MAX(p196) : MAX(p210) : MAX(p157) : MAX(p228) : MAX(p233) : MAX(p32) : MAX(p263) : MAX(p101) : MAX(p173) : MAX(p201) : MAX(p46) : MAX(p248) : MAX(p261) : MAX(p28) : MAX(p57) : MAX(p103)
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(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 925350 markings, 1752272 edges, 185070 markings/sec, 0 secs
lola: 1726293 markings, 3585000 edges, 160189 markings/sec, 5 secs
lola: 2466415 markings, 5404922 edges, 148024 markings/sec, 10 secs
lola: 3209233 markings, 7301157 edges, 148564 markings/sec, 15 secs
lola: 3951569 markings, 9227120 edges, 148467 markings/sec, 20 secs
lola: 4708618 markings, 11100873 edges, 151410 markings/sec, 25 secs
lola: 5387378 markings, 13014612 edges, 135752 markings/sec, 30 secs
lola: 6051738 markings, 14812022 edges, 132872 markings/sec, 35 secs
lola: 6720028 markings, 16647756 edges, 133658 markings/sec, 40 secs
lola: 7359250 markings, 18315249 edges, 127844 markings/sec, 45 secs
lola: 8042037 markings, 20145371 edges, 136557 markings/sec, 50 secs
lola: 8746900 markings, 22017395 edges, 140973 markings/sec, 55 secs
lola: 9430354 markings, 23681568 edges, 136691 markings/sec, 60 secs
lola: 10121104 markings, 25226424 edges, 138150 markings/sec, 65 secs
lola: 10761309 markings, 26938083 edges, 128041 markings/sec, 70 secs
lola: 11389673 markings, 28566546 edges, 125673 markings/sec, 75 secs
lola: 12038633 markings, 30328776 edges, 129792 markings/sec, 80 secs
lola: 12653698 markings, 31974072 edges, 123013 markings/sec, 85 secs
lola: 13336838 markings, 33757208 edges, 136628 markings/sec, 90 secs
lola: 13956690 markings, 35450759 edges, 123970 markings/sec, 95 secs
lola: 14606894 markings, 37195659 edges, 130041 markings/sec, 100 secs
lola: 15202485 markings, 38870762 edges, 119118 markings/sec, 105 secs
lola: 15754398 markings, 40577315 edges, 110383 markings/sec, 110 secs
lola: 16334348 markings, 42379728 edges, 115990 markings/sec, 115 secs
lola: 16912555 markings, 44103736 edges, 115641 markings/sec, 120 secs
lola: 17506184 markings, 45844059 edges, 118726 markings/sec, 125 secs
lola: 18108417 markings, 47512085 edges, 120447 markings/sec, 130 secs
lola: 18737269 markings, 49237034 edges, 125770 markings/sec, 135 secs
lola: 19343360 markings, 50896396 edges, 121218 markings/sec, 140 secs
lola: 19918958 markings, 52546413 edges, 115120 markings/sec, 145 secs
lola: 20519273 markings, 54108945 edges, 120063 markings/sec, 150 secs
lola: 21083502 markings, 55786076 edges, 112846 markings/sec, 155 secs
lola: 21573793 markings, 57435807 edges, 98058 markings/sec, 160 secs
lola: 21990135 markings, 58983644 edges, 83268 markings/sec, 165 secs
lola: 22452755 markings, 60656063 edges, 92524 markings/sec, 170 secs
lola: 22932542 markings, 62308902 edges, 95957 markings/sec, 175 secs
lola: 23456899 markings, 63963679 edges, 104871 markings/sec, 180 secs
lola: 24003818 markings, 65683862 edges, 109384 markings/sec, 185 secs
lola: 24577193 markings, 67319552 edges, 114675 markings/sec, 190 secs
lola: 25143187 markings, 68842113 edges, 113199 markings/sec, 195 secs
lola: 25707984 markings, 70537679 edges, 112959 markings/sec, 200 secs
lola: 26297952 markings, 72212779 edges, 117994 markings/sec, 205 secs
lola: 26882364 markings, 73897242 edges, 116882 markings/sec, 210 secs
lola: 27432396 markings, 75541123 edges, 110006 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(p210)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 878657 markings, 1764120 edges, 175731 markings/sec, 0 secs
lola: 1631692 markings, 3293063 edges, 150607 markings/sec, 5 secs
lola: 2404614 markings, 5032159 edges, 154584 markings/sec, 10 secs
lola: 3092697 markings, 6729473 edges, 137617 markings/sec, 15 secs
lola: 3758404 markings, 8551256 edges, 133141 markings/sec, 20 secs
lola: 4506515 markings, 10326705 edges, 149622 markings/sec, 25 secs
lola: 5243987 markings, 12100478 edges, 147494 markings/sec, 30 secs
lola: 6009753 markings, 13932752 edges, 153153 markings/sec, 35 secs
lola: 6760171 markings, 15617432 edges, 150084 markings/sec, 40 secs
lola: 7351745 markings, 17032951 edges, 118315 markings/sec, 45 secs
lola: 7957087 markings, 18679982 edges, 121068 markings/sec, 50 secs
lola: 8584098 markings, 20438669 edges, 125402 markings/sec, 55 secs
lola: 9332777 markings, 22222329 edges, 149736 markings/sec, 60 secs
lola: 10025702 markings, 23778639 edges, 138585 markings/sec, 65 secs
lola: 10787411 markings, 25530057 edges, 152342 markings/sec, 70 secs
lola: 11452580 markings, 27170468 edges, 133034 markings/sec, 75 secs
lola: 12048055 markings, 28805404 edges, 119095 markings/sec, 80 secs
lola: 12809031 markings, 30688172 edges, 152195 markings/sec, 85 secs
lola: 13585421 markings, 32600135 edges, 155278 markings/sec, 90 secs
lola: 14322463 markings, 34346778 edges, 147408 markings/sec, 95 secs
lola: 15071449 markings, 35997110 edges, 149797 markings/sec, 100 secs
lola: 15765539 markings, 37541658 edges, 138818 markings/sec, 105 secs
lola: 16474295 markings, 39179062 edges, 141751 markings/sec, 110 secs
lola: 17119865 markings, 40851183 edges, 129114 markings/sec, 115 secs
lola: 17791033 markings, 42534953 edges, 134234 markings/sec, 120 secs
lola: 18495527 markings, 44235589 edges, 140899 markings/sec, 125 secs
lola: 19210268 markings, 45914567 edges, 142948 markings/sec, 130 secs
lola: 19867412 markings, 47566165 edges, 131429 markings/sec, 135 secs
lola: 20606479 markings, 49302598 edges, 147813 markings/sec, 140 secs
lola: 21293514 markings, 50826643 edges, 137407 markings/sec, 145 secs
lola: 22044099 markings, 52487777 edges, 150117 markings/sec, 150 secs
lola: 22731980 markings, 54141733 edges, 137576 markings/sec, 155 secs
lola: 23452920 markings, 55872681 edges, 144188 markings/sec, 160 secs
lola: 24260047 markings, 57552108 edges, 161425 markings/sec, 165 secs
lola: 25251886 markings, 59276105 edges, 198368 markings/sec, 170 secs
lola: 26158134 markings, 61014503 edges, 181250 markings/sec, 175 secs
lola: 26985701 markings, 62541480 edges, 165513 markings/sec, 180 secs
lola: 27520215 markings, 63743096 edges, 106903 markings/sec, 185 secs
lola: 28295279 markings, 65301941 edges, 155013 markings/sec, 190 secs
lola: 29091726 markings, 66907417 edges, 159289 markings/sec, 195 secs
lola: 29884283 markings, 68439397 edges, 158511 markings/sec, 200 secs
lola: 30733338 markings, 70069831 edges, 169811 markings/sec, 205 secs
lola: 31513131 markings, 71681464 edges, 155959 markings/sec, 210 secs
lola: 32280576 markings, 73276703 edges, 153489 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(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 598850 markings, 1789163 edges, 119770 markings/sec, 0 secs
lola: 1269662 markings, 3814314 edges, 134162 markings/sec, 5 secs
lola: 1996123 markings, 5784439 edges, 145292 markings/sec, 10 secs
lola: 2633491 markings, 7552795 edges, 127474 markings/sec, 15 secs
lola: 3184255 markings, 9048885 edges, 110153 markings/sec, 20 secs
lola: 3824751 markings, 10732525 edges, 128099 markings/sec, 25 secs
lola: 4473485 markings, 12548479 edges, 129747 markings/sec, 30 secs
lola: 5082575 markings, 14305775 edges, 121818 markings/sec, 35 secs
lola: 5688195 markings, 16105503 edges, 121124 markings/sec, 40 secs
lola: 6329189 markings, 17938814 edges, 128199 markings/sec, 45 secs
lola: 6988463 markings, 19769495 edges, 131855 markings/sec, 50 secs
lola: 7619262 markings, 21657125 edges, 126160 markings/sec, 55 secs
lola: 8233752 markings, 23469107 edges, 122898 markings/sec, 60 secs
lola: 8856169 markings, 25291638 edges, 124483 markings/sec, 65 secs
lola: 9448672 markings, 27044111 edges, 118501 markings/sec, 70 secs
lola: 10039657 markings, 28808833 edges, 118197 markings/sec, 75 secs
lola: 10540605 markings, 30400294 edges, 100190 markings/sec, 80 secs
lola: 11119678 markings, 32084015 edges, 115815 markings/sec, 85 secs
lola: 11714347 markings, 33714092 edges, 118934 markings/sec, 90 secs
lola: 12323729 markings, 35464534 edges, 121876 markings/sec, 95 secs
lola: 12924299 markings, 37192349 edges, 120114 markings/sec, 100 secs
lola: 13541649 markings, 38908843 edges, 123470 markings/sec, 105 secs
lola: 14140591 markings, 40636772 edges, 119788 markings/sec, 110 secs
lola: 14748824 markings, 42408909 edges, 121647 markings/sec, 115 secs
lola: 15264496 markings, 43871793 edges, 103134 markings/sec, 120 secs
lola: 15856188 markings, 45584130 edges, 118338 markings/sec, 125 secs
lola: 16447747 markings, 47252720 edges, 118312 markings/sec, 130 secs
lola: 16999108 markings, 48793566 edges, 110272 markings/sec, 135 secs
lola: 17559883 markings, 50411103 edges, 112155 markings/sec, 140 secs
lola: 18100262 markings, 52038638 edges, 108076 markings/sec, 145 secs
lola: 18687053 markings, 53709585 edges, 117358 markings/sec, 150 secs
lola: 19248217 markings, 55402709 edges, 112233 markings/sec, 155 secs
lola: 19701931 markings, 57044569 edges, 90743 markings/sec, 160 secs
lola: 20193751 markings, 58845569 edges, 98364 markings/sec, 165 secs
lola: 20681188 markings, 60524238 edges, 97487 markings/sec, 170 secs
lola: 21174505 markings, 62113702 edges, 98663 markings/sec, 175 secs
lola: 21698261 markings, 63756660 edges, 104751 markings/sec, 180 secs
lola: 22154450 markings, 65491102 edges, 91238 markings/sec, 185 secs
lola: 22651171 markings, 67174400 edges, 99344 markings/sec, 190 secs
lola: 23142154 markings, 68845478 edges, 98197 markings/sec, 195 secs
lola: 23611854 markings, 70420756 edges, 93940 markings/sec, 200 secs
lola: 24123194 markings, 72068927 edges, 102268 markings/sec, 205 secs
lola: 24608683 markings, 73770881 edges, 97098 markings/sec, 210 secs
lola: 25079946 markings, 75496740 edges, 94253 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(p228)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 885896 markings, 1809746 edges, 177179 markings/sec, 0 secs
lola: 1693998 markings, 3505845 edges, 161620 markings/sec, 5 secs
lola: 2474451 markings, 5255524 edges, 156091 markings/sec, 10 secs
lola: 3171746 markings, 7080783 edges, 139459 markings/sec, 15 secs
lola: 3865106 markings, 9012348 edges, 138672 markings/sec, 20 secs
lola: 4611485 markings, 10924576 edges, 149276 markings/sec, 25 secs
lola: 5387450 markings, 12696576 edges, 155193 markings/sec, 30 secs
lola: 6138796 markings, 14271983 edges, 150269 markings/sec, 35 secs
lola: 6922527 markings, 15918481 edges, 156746 markings/sec, 40 secs
lola: 7713868 markings, 17652222 edges, 158268 markings/sec, 45 secs
lola: 8421548 markings, 19250478 edges, 141536 markings/sec, 50 secs
lola: 9146369 markings, 20849770 edges, 144964 markings/sec, 55 secs
lola: 9816768 markings, 22403790 edges, 134080 markings/sec, 60 secs
lola: 10401269 markings, 23735346 edges, 116900 markings/sec, 65 secs
lola: 11123825 markings, 25356360 edges, 144511 markings/sec, 70 secs
lola: 11817282 markings, 27023025 edges, 138691 markings/sec, 75 secs
lola: 12459707 markings, 28760996 edges, 128485 markings/sec, 80 secs
lola: 13294572 markings, 30538434 edges, 166973 markings/sec, 85 secs
lola: 14136249 markings, 32349495 edges, 168335 markings/sec, 90 secs
lola: 14868363 markings, 34090350 edges, 146423 markings/sec, 95 secs
lola: 15581446 markings, 35699522 edges, 142617 markings/sec, 100 secs
lola: 16164866 markings, 37014312 edges, 116684 markings/sec, 105 secs
lola: 16811152 markings, 38632307 edges, 129257 markings/sec, 110 secs
lola: 17456178 markings, 40258482 edges, 129005 markings/sec, 115 secs
lola: 18162438 markings, 41898098 edges, 141252 markings/sec, 120 secs
lola: 18933377 markings, 43581349 edges, 154188 markings/sec, 125 secs
lola: 19691384 markings, 45304283 edges, 151601 markings/sec, 130 secs
lola: 20478459 markings, 46991608 edges, 157415 markings/sec, 135 secs
lola: 21228008 markings, 48603635 edges, 149910 markings/sec, 140 secs
lola: 21821374 markings, 49945500 edges, 118673 markings/sec, 145 secs
lola: 22479209 markings, 51620174 edges, 131567 markings/sec, 150 secs
lola: 23170276 markings, 53258881 edges, 138213 markings/sec, 155 secs
lola: 23937842 markings, 54913725 edges, 153513 markings/sec, 160 secs
lola: 24736399 markings, 56542580 edges, 159711 markings/sec, 165 secs
lola: 25477797 markings, 58158233 edges, 148280 markings/sec, 170 secs
lola: 26307414 markings, 59801711 edges, 165923 markings/sec, 175 secs
lola: 27115736 markings, 61421648 edges, 161664 markings/sec, 180 secs
lola: 28053827 markings, 63181473 edges, 187618 markings/sec, 185 secs
lola: 28821122 markings, 64784089 edges, 153459 markings/sec, 190 secs
lola: 29602746 markings, 66442138 edges, 156325 markings/sec, 195 secs
lola: 30378978 markings, 68035821 edges, 155246 markings/sec, 200 secs
lola: 31041324 markings, 69427788 edges, 132469 markings/sec, 205 secs
lola: 31802996 markings, 71102111 edges, 152334 markings/sec, 210 secs
lola: 32567085 markings, 72720132 edges, 152818 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(p233)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 859581 markings, 1927462 edges, 171916 markings/sec, 0 secs
lola: 1619749 markings, 3775960 edges, 152034 markings/sec, 5 secs
lola: 2378980 markings, 5647666 edges, 151846 markings/sec, 10 secs
lola: 3066946 markings, 7579374 edges, 137593 markings/sec, 15 secs
lola: 3770242 markings, 9351153 edges, 140659 markings/sec, 20 secs
lola: 4525701 markings, 11245652 edges, 151092 markings/sec, 25 secs
lola: 5241254 markings, 13157403 edges, 143111 markings/sec, 30 secs
lola: 5937746 markings, 15023803 edges, 139298 markings/sec, 35 secs
lola: 6610260 markings, 16831453 edges, 134503 markings/sec, 40 secs
lola: 7389605 markings, 18741392 edges, 155869 markings/sec, 45 secs
lola: 8094747 markings, 20440142 edges, 141028 markings/sec, 50 secs
lola: 8846554 markings, 22093340 edges, 150361 markings/sec, 55 secs
lola: 9518668 markings, 23979267 edges, 134423 markings/sec, 60 secs
lola: 10176478 markings, 25758295 edges, 131562 markings/sec, 65 secs
lola: 10909791 markings, 27547082 edges, 146663 markings/sec, 70 secs
lola: 11548958 markings, 29318415 edges, 127833 markings/sec, 75 secs
lola: 12097024 markings, 31095320 edges, 109613 markings/sec, 80 secs
lola: 12645339 markings, 33169060 edges, 109663 markings/sec, 85 secs
lola: 13234984 markings, 35038127 edges, 117929 markings/sec, 90 secs
lola: 13835691 markings, 36766018 edges, 120141 markings/sec, 95 secs
lola: 14377860 markings, 38393758 edges, 108434 markings/sec, 100 secs
lola: 14922890 markings, 40156460 edges, 109006 markings/sec, 105 secs
lola: 15537433 markings, 42006090 edges, 122909 markings/sec, 110 secs
lola: 16155197 markings, 43883716 edges, 123553 markings/sec, 115 secs
lola: 16787133 markings, 45770673 edges, 126387 markings/sec, 120 secs
lola: 17413020 markings, 47509350 edges, 125177 markings/sec, 125 secs
lola: 18002515 markings, 49272250 edges, 117899 markings/sec, 130 secs
lola: 18569643 markings, 51026551 edges, 113426 markings/sec, 135 secs
lola: 19215035 markings, 52842959 edges, 129078 markings/sec, 140 secs
lola: 19815835 markings, 54555689 edges, 120160 markings/sec, 145 secs
lola: 20378835 markings, 56316349 edges, 112600 markings/sec, 150 secs
lola: 20994382 markings, 58034698 edges, 123109 markings/sec, 155 secs
lola: 21546842 markings, 59780704 edges, 110492 markings/sec, 160 secs
lola: 22105052 markings, 61717157 edges, 111642 markings/sec, 165 secs
lola: 22680293 markings, 63561531 edges, 115048 markings/sec, 170 secs
lola: 23264984 markings, 65294609 edges, 116938 markings/sec, 175 secs
lola: 23824255 markings, 67034885 edges, 111854 markings/sec, 180 secs
lola: 24304710 markings, 68734089 edges, 96091 markings/sec, 185 secs
lola: 24795580 markings, 70593589 edges, 98174 markings/sec, 190 secs
lola: 25285992 markings, 72364284 edges, 98082 markings/sec, 195 secs
lola: 25865020 markings, 74261220 edges, 115806 markings/sec, 200 secs
lola: 26419315 markings, 76041962 edges, 110859 markings/sec, 205 secs
lola: 27000020 markings, 77916865 edges, 116141 markings/sec, 210 secs
lola: 27577675 markings, 79670518 edges, 115531 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(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 964737 markings, 1862469 edges, 192947 markings/sec, 0 secs
lola: 1870311 markings, 3660628 edges, 181115 markings/sec, 5 secs
lola: 2664545 markings, 5485404 edges, 158847 markings/sec, 10 secs
lola: 3333983 markings, 7378959 edges, 133888 markings/sec, 15 secs
lola: 4067568 markings, 9176867 edges, 146717 markings/sec, 20 secs
lola: 4851224 markings, 10959874 edges, 156731 markings/sec, 25 secs
lola: 5636917 markings, 12814027 edges, 157139 markings/sec, 30 secs
lola: 6402611 markings, 14559546 edges, 153139 markings/sec, 35 secs
lola: 7054237 markings, 16036641 edges, 130325 markings/sec, 40 secs
lola: 7724727 markings, 17737497 edges, 134098 markings/sec, 45 secs
lola: 8381301 markings, 19522406 edges, 131315 markings/sec, 50 secs
lola: 9126854 markings, 21365592 edges, 149111 markings/sec, 55 secs
lola: 9853794 markings, 22983461 edges, 145388 markings/sec, 60 secs
lola: 10661198 markings, 24823934 edges, 161481 markings/sec, 65 secs
lola: 11446403 markings, 26643546 edges, 157041 markings/sec, 70 secs
lola: 12065946 markings, 28392556 edges, 123909 markings/sec, 75 secs
lola: 12687792 markings, 29988144 edges, 124369 markings/sec, 80 secs
lola: 13493176 markings, 31868545 edges, 161077 markings/sec, 85 secs
lola: 14304640 markings, 33709013 edges, 162293 markings/sec, 90 secs
lola: 15132729 markings, 35433786 edges, 165618 markings/sec, 95 secs
lola: 15927407 markings, 37235856 edges, 158936 markings/sec, 100 secs
lola: 16675712 markings, 38964499 edges, 149661 markings/sec, 105 secs
lola: 17446038 markings, 40784151 edges, 154065 markings/sec, 110 secs
lola: 18071765 markings, 42508099 edges, 125145 markings/sec, 115 secs
lola: 18786956 markings, 44222004 edges, 143038 markings/sec, 120 secs
lola: 19573885 markings, 46088106 edges, 157386 markings/sec, 125 secs
lola: 20352903 markings, 47879653 edges, 155804 markings/sec, 130 secs
lola: 21104899 markings, 49664852 edges, 150399 markings/sec, 135 secs
lola: 21901746 markings, 51406962 edges, 159369 markings/sec, 140 secs
lola: 22671194 markings, 53254774 edges, 153890 markings/sec, 145 secs
lola: 23418529 markings, 54991094 edges, 149467 markings/sec, 150 secs
lola: 24072632 markings, 56525707 edges, 130821 markings/sec, 155 secs
lola: 24781792 markings, 57988164 edges, 141832 markings/sec, 160 secs
lola: 25544182 markings, 59507851 edges, 152478 markings/sec, 165 secs
lola: 26379655 markings, 61097038 edges, 167095 markings/sec, 170 secs
lola: 27306515 markings, 62670166 edges, 185372 markings/sec, 175 secs
lola: 28090870 markings, 64224372 edges, 156871 markings/sec, 180 secs
lola: 28967165 markings, 65913422 edges, 175259 markings/sec, 185 secs
lola: 29812927 markings, 67525987 edges, 169152 markings/sec, 190 secs
lola: 30678580 markings, 69127224 edges, 173131 markings/sec, 195 secs
lola: 31438091 markings, 70635665 edges, 151902 markings/sec, 200 secs
lola: 32292199 markings, 72318017 edges, 170822 markings/sec, 205 secs
lola: 33212288 markings, 74007327 edges, 184018 markings/sec, 210 secs
lola: 34225775 markings, 75857064 edges, 202697 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(p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 905193 markings, 2116472 edges, 181039 markings/sec, 0 secs
lola: 1819734 markings, 4270492 edges, 182908 markings/sec, 5 secs
lola: 2693714 markings, 6368809 edges, 174796 markings/sec, 10 secs
lola: 3540522 markings, 8447143 edges, 169362 markings/sec, 15 secs
lola: 4352843 markings, 10372459 edges, 162464 markings/sec, 20 secs
lola: 5153733 markings, 12313821 edges, 160178 markings/sec, 25 secs
lola: 5964091 markings, 14170839 edges, 162072 markings/sec, 30 secs
lola: 6765117 markings, 16031416 edges, 160205 markings/sec, 35 secs
lola: 7552232 markings, 17897323 edges, 157423 markings/sec, 40 secs
lola: 8323445 markings, 19665221 edges, 154243 markings/sec, 45 secs
lola: 9068249 markings, 21561106 edges, 148961 markings/sec, 50 secs
lola: 9806510 markings, 23281011 edges, 147652 markings/sec, 55 secs
lola: 10577618 markings, 25025070 edges, 154222 markings/sec, 60 secs
lola: 11321738 markings, 26666625 edges, 148824 markings/sec, 65 secs
lola: 12051756 markings, 28307885 edges, 146004 markings/sec, 70 secs
lola: 12737037 markings, 29899008 edges, 137056 markings/sec, 75 secs
lola: 13450272 markings, 31472955 edges, 142647 markings/sec, 80 secs
lola: 14142922 markings, 32993975 edges, 138530 markings/sec, 85 secs
lola: 14832192 markings, 34531376 edges, 137854 markings/sec, 90 secs
lola: 15501582 markings, 35999466 edges, 133878 markings/sec, 95 secs
lola: 16154115 markings, 37402531 edges, 130507 markings/sec, 100 secs
lola: 16802747 markings, 38827444 edges, 129726 markings/sec, 105 secs
lola: 17453008 markings, 40276251 edges, 130052 markings/sec, 110 secs
lola: 18078566 markings, 41679470 edges, 125112 markings/sec, 115 secs
lola: 18708145 markings, 43128397 edges, 125916 markings/sec, 120 secs
lola: 19337738 markings, 44553592 edges, 125919 markings/sec, 125 secs
lola: 19982553 markings, 46087279 edges, 128963 markings/sec, 130 secs
lola: 20603370 markings, 47578304 edges, 124163 markings/sec, 135 secs
lola: 21223639 markings, 49064257 edges, 124054 markings/sec, 140 secs
lola: 21856716 markings, 50600925 edges, 126615 markings/sec, 145 secs
lola: 22475835 markings, 52124615 edges, 123824 markings/sec, 150 secs
lola: 23076942 markings, 53588213 edges, 120221 markings/sec, 155 secs
lola: 23711758 markings, 55159808 edges, 126963 markings/sec, 160 secs
lola: 24350342 markings, 56712194 edges, 127717 markings/sec, 165 secs
lola: 24982526 markings, 58263470 edges, 126437 markings/sec, 170 secs
lola: 25622227 markings, 59824412 edges, 127940 markings/sec, 175 secs
lola: 26239421 markings, 61356226 edges, 123439 markings/sec, 180 secs
lola: 26832063 markings, 62865559 edges, 118528 markings/sec, 185 secs
lola: 27426491 markings, 64380094 edges, 118886 markings/sec, 190 secs
lola: 28012212 markings, 65892866 edges, 117144 markings/sec, 195 secs
lola: 28597419 markings, 67327601 edges, 117041 markings/sec, 200 secs
lola: 29181975 markings, 68811329 edges, 116911 markings/sec, 205 secs
lola: 29790842 markings, 70460094 edges, 121773 markings/sec, 210 secs
lola: 30379968 markings, 72003576 edges, 117825 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(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 759805 markings, 2087315 edges, 151961 markings/sec, 0 secs
lola: 1558830 markings, 4099416 edges, 159805 markings/sec, 5 secs
lola: 2327610 markings, 6014967 edges, 153756 markings/sec, 10 secs
lola: 3057963 markings, 7919392 edges, 146071 markings/sec, 15 secs
lola: 3801454 markings, 9736541 edges, 148698 markings/sec, 20 secs
lola: 4550684 markings, 11501407 edges, 149846 markings/sec, 25 secs
lola: 5300944 markings, 13313188 edges, 150052 markings/sec, 30 secs
lola: 6035359 markings, 14972464 edges, 146883 markings/sec, 35 secs
lola: 6705126 markings, 16495809 edges, 133953 markings/sec, 40 secs
lola: 7337778 markings, 18078410 edges, 126530 markings/sec, 45 secs
lola: 8081338 markings, 19876208 edges, 148712 markings/sec, 50 secs
lola: 8742326 markings, 21578832 edges, 132198 markings/sec, 55 secs
lola: 9422893 markings, 23379570 edges, 136113 markings/sec, 60 secs
lola: 10088727 markings, 25070933 edges, 133167 markings/sec, 65 secs
lola: 10800250 markings, 26795901 edges, 142305 markings/sec, 70 secs
lola: 11464906 markings, 28477830 edges, 132931 markings/sec, 75 secs
lola: 12155066 markings, 30045265 edges, 138032 markings/sec, 80 secs
lola: 12739260 markings, 31811288 edges, 116839 markings/sec, 85 secs
lola: 13297020 markings, 33604406 edges, 111552 markings/sec, 90 secs
lola: 13898449 markings, 35390998 edges, 120286 markings/sec, 95 secs
lola: 14382214 markings, 36895327 edges, 96753 markings/sec, 100 secs
lola: 14955504 markings, 38683365 edges, 114658 markings/sec, 105 secs
lola: 15598400 markings, 40428888 edges, 128579 markings/sec, 110 secs
lola: 16200510 markings, 42149060 edges, 120422 markings/sec, 115 secs
lola: 16727789 markings, 44105597 edges, 105456 markings/sec, 120 secs
lola: 17290697 markings, 45983418 edges, 112582 markings/sec, 125 secs
lola: 17854205 markings, 47719034 edges, 112702 markings/sec, 130 secs
lola: 18432843 markings, 49490291 edges, 115728 markings/sec, 135 secs
lola: 18991658 markings, 51237161 edges, 111763 markings/sec, 140 secs
lola: 19572623 markings, 53115559 edges, 116193 markings/sec, 145 secs
lola: 20192918 markings, 54937116 edges, 124059 markings/sec, 150 secs
lola: 20763761 markings, 56634177 edges, 114169 markings/sec, 155 secs
lola: 21306778 markings, 58210930 edges, 108603 markings/sec, 160 secs
lola: 21951156 markings, 60025846 edges, 128876 markings/sec, 165 secs
lola: 22541676 markings, 61773560 edges, 118104 markings/sec, 170 secs
lola: 23067457 markings, 63418756 edges, 105156 markings/sec, 175 secs
lola: 23693205 markings, 65132592 edges, 125150 markings/sec, 180 secs
lola: 24323741 markings, 66952976 edges, 126107 markings/sec, 185 secs
lola: 24879984 markings, 68847803 edges, 111249 markings/sec, 190 secs
lola: 25449110 markings, 70688613 edges, 113825 markings/sec, 195 secs
lola: 26015560 markings, 72481067 edges, 113290 markings/sec, 200 secs
lola: 26573923 markings, 74214714 edges, 111673 markings/sec, 205 secs
lola: 27137106 markings, 75921544 edges, 112637 markings/sec, 210 secs
lola: 27730164 markings, 77593075 edges, 118612 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(p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 825172 markings, 2096220 edges, 165034 markings/sec, 0 secs
lola: 1523834 markings, 3983032 edges, 139732 markings/sec, 5 secs
lola: 2184067 markings, 5835697 edges, 132047 markings/sec, 10 secs
lola: 2774042 markings, 7476834 edges, 117995 markings/sec, 15 secs
lola: 3413756 markings, 9249758 edges, 127943 markings/sec, 20 secs
lola: 4005196 markings, 10986515 edges, 118288 markings/sec, 25 secs
lola: 4562752 markings, 12693925 edges, 111511 markings/sec, 30 secs
lola: 5013454 markings, 14287563 edges, 90140 markings/sec, 35 secs
lola: 5493711 markings, 16004321 edges, 96051 markings/sec, 40 secs
lola: 6018142 markings, 17834547 edges, 104886 markings/sec, 45 secs
lola: 6567142 markings, 19634970 edges, 109800 markings/sec, 50 secs
lola: 7106351 markings, 21537443 edges, 107842 markings/sec, 55 secs
lola: 7695902 markings, 23579978 edges, 117910 markings/sec, 60 secs
lola: 8286132 markings, 25480195 edges, 118046 markings/sec, 65 secs
lola: 8863324 markings, 27483383 edges, 115438 markings/sec, 70 secs
lola: 9433904 markings, 29292128 edges, 114116 markings/sec, 75 secs
lola: 10019130 markings, 31232811 edges, 117045 markings/sec, 80 secs
lola: 10606039 markings, 33131215 edges, 117382 markings/sec, 85 secs
lola: 11165450 markings, 34884578 edges, 111882 markings/sec, 90 secs
lola: 11672718 markings, 36593479 edges, 101454 markings/sec, 95 secs
lola: 12113816 markings, 38246488 edges, 88220 markings/sec, 100 secs
lola: 12613309 markings, 40162397 edges, 99899 markings/sec, 105 secs
lola: 13157627 markings, 42108719 edges, 108864 markings/sec, 110 secs
lola: 13673529 markings, 43876736 edges, 103180 markings/sec, 115 secs
lola: 14247506 markings, 45819069 edges, 114795 markings/sec, 120 secs
lola: 14791019 markings, 47693914 edges, 108703 markings/sec, 125 secs
lola: 15285310 markings, 49469907 edges, 98858 markings/sec, 130 secs
lola: 15684519 markings, 51064326 edges, 79842 markings/sec, 135 secs
lola: 16177180 markings, 52895529 edges, 98532 markings/sec, 140 secs
lola: 16711254 markings, 54814786 edges, 106815 markings/sec, 145 secs
lola: 17230439 markings, 56742360 edges, 103837 markings/sec, 150 secs
lola: 17786088 markings, 58786573 edges, 111130 markings/sec, 155 secs
lola: 18364532 markings, 60721292 edges, 115689 markings/sec, 160 secs
lola: 18919062 markings, 62628324 edges, 110906 markings/sec, 165 secs
lola: 19500002 markings, 64603481 edges, 116188 markings/sec, 170 secs
lola: 19985881 markings, 66245084 edges, 97176 markings/sec, 175 secs
lola: 20556019 markings, 68272978 edges, 114028 markings/sec, 180 secs
lola: 21149004 markings, 70226456 edges, 118597 markings/sec, 185 secs
lola: 21725991 markings, 72308544 edges, 115397 markings/sec, 190 secs
lola: 22283921 markings, 74204556 edges, 111586 markings/sec, 195 secs
lola: 22754008 markings, 75909257 edges, 94017 markings/sec, 200 secs
lola: 23282964 markings, 77655609 edges, 105791 markings/sec, 205 secs
lola: 23802036 markings, 79463851 edges, 103814 markings/sec, 210 secs
lola: 24320765 markings, 81265512 edges, 103746 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(p201)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 871432 markings, 2061152 edges, 174286 markings/sec, 0 secs
lola: 1627601 markings, 4071545 edges, 151234 markings/sec, 5 secs
lola: 2401951 markings, 6111623 edges, 154870 markings/sec, 10 secs
lola: 3128355 markings, 7937600 edges, 145281 markings/sec, 15 secs
lola: 3736402 markings, 9627418 edges, 121609 markings/sec, 20 secs
lola: 4439407 markings, 11554577 edges, 140601 markings/sec, 25 secs
lola: 5129987 markings, 13379398 edges, 138116 markings/sec, 30 secs
lola: 5786981 markings, 15258431 edges, 131399 markings/sec, 35 secs
lola: 6452147 markings, 17086076 edges, 133033 markings/sec, 40 secs
lola: 7129814 markings, 18842710 edges, 135533 markings/sec, 45 secs
lola: 7803727 markings, 20550411 edges, 134783 markings/sec, 50 secs
lola: 8449905 markings, 22220645 edges, 129236 markings/sec, 55 secs
lola: 9072912 markings, 23924386 edges, 124601 markings/sec, 60 secs
lola: 9682199 markings, 25552844 edges, 121857 markings/sec, 65 secs
lola: 10303390 markings, 27118551 edges, 124238 markings/sec, 70 secs
lola: 10938830 markings, 28743979 edges, 127088 markings/sec, 75 secs
lola: 11575567 markings, 30375438 edges, 127347 markings/sec, 80 secs
lola: 12201727 markings, 32016782 edges, 125232 markings/sec, 85 secs
lola: 12801506 markings, 33677231 edges, 119956 markings/sec, 90 secs
lola: 13386501 markings, 35377142 edges, 116999 markings/sec, 95 secs
lola: 13968258 markings, 36848065 edges, 116351 markings/sec, 100 secs
lola: 14579005 markings, 38533193 edges, 122149 markings/sec, 105 secs
lola: 15197582 markings, 40150327 edges, 123715 markings/sec, 110 secs
lola: 15803362 markings, 41902164 edges, 121156 markings/sec, 115 secs
lola: 16407660 markings, 43452851 edges, 120860 markings/sec, 120 secs
lola: 17019744 markings, 45091178 edges, 122417 markings/sec, 125 secs
lola: 17624677 markings, 46644187 edges, 120987 markings/sec, 130 secs
lola: 18203854 markings, 48154776 edges, 115835 markings/sec, 135 secs
lola: 18713088 markings, 49615834 edges, 101847 markings/sec, 140 secs
lola: 19308481 markings, 51244469 edges, 119079 markings/sec, 145 secs
lola: 19898754 markings, 52814703 edges, 118055 markings/sec, 150 secs
lola: 20469978 markings, 54435637 edges, 114245 markings/sec, 155 secs
lola: 21049965 markings, 55954783 edges, 115997 markings/sec, 160 secs
lola: 21651336 markings, 57533353 edges, 120274 markings/sec, 165 secs
lola: 22235041 markings, 59174931 edges, 116741 markings/sec, 170 secs
lola: 22794625 markings, 60664229 edges, 111917 markings/sec, 175 secs
lola: 23328228 markings, 62041216 edges, 106721 markings/sec, 180 secs
lola: 23888067 markings, 63578486 edges, 111968 markings/sec, 185 secs
lola: 24454154 markings, 65091778 edges, 113217 markings/sec, 190 secs
lola: 25009944 markings, 66599381 edges, 111158 markings/sec, 195 secs
lola: 25559841 markings, 68126544 edges, 109979 markings/sec, 200 secs
lola: 26125399 markings, 69651490 edges, 113112 markings/sec, 205 secs
lola: 26678172 markings, 71199521 edges, 110555 markings/sec, 210 secs
lola: 27249744 markings, 72719066 edges, 114314 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 904439 markings, 1853488 edges, 180888 markings/sec, 0 secs
lola: 1785674 markings, 3548720 edges, 176247 markings/sec, 5 secs
lola: 2585167 markings, 5357247 edges, 159899 markings/sec, 10 secs
lola: 3300998 markings, 7106758 edges, 143166 markings/sec, 15 secs
lola: 3971233 markings, 8971821 edges, 134047 markings/sec, 20 secs
lola: 4728745 markings, 10820549 edges, 151502 markings/sec, 25 secs
lola: 5473000 markings, 12588188 edges, 148851 markings/sec, 30 secs
lola: 6240135 markings, 14366430 edges, 153427 markings/sec, 35 secs
lola: 6994699 markings, 16007029 edges, 150913 markings/sec, 40 secs
lola: 7643396 markings, 17704415 edges, 129739 markings/sec, 45 secs
lola: 8268681 markings, 19523698 edges, 125057 markings/sec, 50 secs
lola: 9011021 markings, 21384626 edges, 148468 markings/sec, 55 secs
lola: 9804212 markings, 23180427 edges, 158638 markings/sec, 60 secs
lola: 10552837 markings, 24930457 edges, 149725 markings/sec, 65 secs
lola: 11162336 markings, 26649182 edges, 121900 markings/sec, 70 secs
lola: 11832153 markings, 28371689 edges, 133963 markings/sec, 75 secs
lola: 12561604 markings, 30225506 edges, 145890 markings/sec, 80 secs
lola: 13324905 markings, 31953373 edges, 152660 markings/sec, 85 secs
lola: 14118760 markings, 33706140 edges, 158771 markings/sec, 90 secs
lola: 14806943 markings, 35303548 edges, 137637 markings/sec, 95 secs
lola: 15425814 markings, 37022613 edges, 123774 markings/sec, 100 secs
lola: 16114242 markings, 38772313 edges, 137686 markings/sec, 105 secs
lola: 16861844 markings, 40588890 edges, 149520 markings/sec, 110 secs
lola: 17575128 markings, 42319288 edges, 142657 markings/sec, 115 secs
lola: 18315817 markings, 44173748 edges, 148138 markings/sec, 120 secs
lola: 19096079 markings, 45957714 edges, 156052 markings/sec, 125 secs
lola: 19842721 markings, 47702178 edges, 149328 markings/sec, 130 secs
lola: 20628873 markings, 49322808 edges, 157230 markings/sec, 135 secs
lola: 21759493 markings, 51223470 edges, 226124 markings/sec, 140 secs
lola: 22464119 markings, 52732621 edges, 140925 markings/sec, 145 secs
lola: 23290619 markings, 54410922 edges, 165300 markings/sec, 150 secs
lola: 24092293 markings, 55963014 edges, 160335 markings/sec, 155 secs
lola: 24958140 markings, 57594512 edges, 173169 markings/sec, 160 secs
lola: 25825223 markings, 59188621 edges, 173417 markings/sec, 165 secs
lola: 26682867 markings, 60831481 edges, 171529 markings/sec, 170 secs
lola: 27454481 markings, 62372547 edges, 154323 markings/sec, 175 secs
lola: 28230444 markings, 63886929 edges, 155193 markings/sec, 180 secs
lola: 28997081 markings, 65458278 edges, 153327 markings/sec, 185 secs
lola: 29965516 markings, 67198693 edges, 193687 markings/sec, 190 secs
lola: 30712216 markings, 68734988 edges, 149340 markings/sec, 195 secs
lola: 31507630 markings, 70284847 edges, 159083 markings/sec, 200 secs
lola: 32326250 markings, 71882602 edges, 163724 markings/sec, 205 secs
lola: 33146323 markings, 73468242 edges, 164015 markings/sec, 210 secs
lola: 34014752 markings, 75064451 edges, 173686 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(p248)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 882639 markings, 1852988 edges, 176528 markings/sec, 0 secs
lola: 1652295 markings, 3770367 edges, 153931 markings/sec, 5 secs
lola: 2393137 markings, 5580000 edges, 148168 markings/sec, 10 secs
lola: 3115850 markings, 7471443 edges, 144543 markings/sec, 15 secs
lola: 3873552 markings, 9476241 edges, 151540 markings/sec, 20 secs
lola: 4577330 markings, 11462457 edges, 140756 markings/sec, 25 secs
lola: 5190044 markings, 13177426 edges, 122543 markings/sec, 30 secs
lola: 5883225 markings, 14972040 edges, 138636 markings/sec, 35 secs
lola: 6618303 markings, 16789628 edges, 147016 markings/sec, 40 secs
lola: 7339923 markings, 18431272 edges, 144324 markings/sec, 45 secs
lola: 8057470 markings, 20036421 edges, 143509 markings/sec, 50 secs
lola: 8695906 markings, 21690653 edges, 127687 markings/sec, 55 secs
lola: 9352010 markings, 23429101 edges, 131221 markings/sec, 60 secs
lola: 9993955 markings, 25079018 edges, 128389 markings/sec, 65 secs
lola: 10682152 markings, 26856190 edges, 137639 markings/sec, 70 secs
lola: 11198934 markings, 28137965 edges, 103356 markings/sec, 75 secs
lola: 11807445 markings, 29744915 edges, 121702 markings/sec, 80 secs
lola: 12458530 markings, 31352653 edges, 130217 markings/sec, 85 secs
lola: 13109632 markings, 33054285 edges, 130220 markings/sec, 90 secs
lola: 13736510 markings, 34718432 edges, 125376 markings/sec, 95 secs
lola: 14362419 markings, 36293886 edges, 125182 markings/sec, 100 secs
lola: 14974978 markings, 38018358 edges, 122512 markings/sec, 105 secs
lola: 15569778 markings, 39693766 edges, 118960 markings/sec, 110 secs
lola: 16133613 markings, 41498485 edges, 112767 markings/sec, 115 secs
lola: 16717034 markings, 43238357 edges, 116684 markings/sec, 120 secs
lola: 17313187 markings, 45007833 edges, 119231 markings/sec, 125 secs
lola: 17867341 markings, 46629742 edges, 110831 markings/sec, 130 secs
lola: 18267802 markings, 48407111 edges, 80092 markings/sec, 135 secs
lola: 18747315 markings, 50217441 edges, 95903 markings/sec, 140 secs
lola: 19265554 markings, 52009044 edges, 103648 markings/sec, 145 secs
lola: 19786067 markings, 53790240 edges, 104103 markings/sec, 150 secs
lola: 20277976 markings, 55363192 edges, 98382 markings/sec, 155 secs
lola: 20830679 markings, 57088237 edges, 110541 markings/sec, 160 secs
lola: 21394461 markings, 58766661 edges, 112756 markings/sec, 165 secs
lola: 22005744 markings, 60452819 edges, 122257 markings/sec, 170 secs
lola: 22600516 markings, 62160400 edges, 118954 markings/sec, 175 secs
lola: 23221667 markings, 63828112 edges, 124230 markings/sec, 180 secs
lola: 23832509 markings, 65602895 edges, 122168 markings/sec, 185 secs
lola: 24456190 markings, 67373373 edges, 124736 markings/sec, 190 secs
lola: 25052138 markings, 68984316 edges, 119190 markings/sec, 195 secs
lola: 25645162 markings, 70765086 edges, 118605 markings/sec, 200 secs
lola: 26243027 markings, 72492239 edges, 119573 markings/sec, 205 secs
lola: 26782631 markings, 74104759 edges, 107921 markings/sec, 210 secs
lola: 27346006 markings, 75818223 edges, 112675 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(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 902977 markings, 2116971 edges, 180595 markings/sec, 0 secs
lola: 1805776 markings, 4203507 edges, 180560 markings/sec, 5 secs
lola: 2656496 markings, 6238768 edges, 170144 markings/sec, 10 secs
lola: 3373256 markings, 8001396 edges, 143352 markings/sec, 15 secs
lola: 4165040 markings, 9979884 edges, 158357 markings/sec, 20 secs
lola: 4957158 markings, 12035446 edges, 158424 markings/sec, 25 secs
lola: 5732530 markings, 13946120 edges, 155074 markings/sec, 30 secs
lola: 6519682 markings, 15789050 edges, 157430 markings/sec, 35 secs
lola: 7316196 markings, 17589056 edges, 159303 markings/sec, 40 secs
lola: 8120361 markings, 19431701 edges, 160833 markings/sec, 45 secs
lola: 8901504 markings, 21293072 edges, 156229 markings/sec, 50 secs
lola: 9575093 markings, 22937712 edges, 134718 markings/sec, 55 secs
lola: 10339683 markings, 24701604 edges, 152918 markings/sec, 60 secs
lola: 11071482 markings, 26416797 edges, 146360 markings/sec, 65 secs
lola: 11775862 markings, 28023048 edges, 140876 markings/sec, 70 secs
lola: 12492347 markings, 29690823 edges, 143297 markings/sec, 75 secs
lola: 13174163 markings, 31261622 edges, 136363 markings/sec, 80 secs
lola: 13868343 markings, 32879064 edges, 138836 markings/sec, 85 secs
lola: 14527257 markings, 34462532 edges, 131783 markings/sec, 90 secs
lola: 15181378 markings, 35990808 edges, 130824 markings/sec, 95 secs
lola: 15838235 markings, 37534042 edges, 131371 markings/sec, 100 secs
lola: 16492899 markings, 39083275 edges, 130933 markings/sec, 105 secs
lola: 17154801 markings, 40635905 edges, 132380 markings/sec, 110 secs
lola: 17810112 markings, 42139768 edges, 131062 markings/sec, 115 secs
lola: 18452324 markings, 43692264 edges, 128442 markings/sec, 120 secs
lola: 19089601 markings, 45198216 edges, 127455 markings/sec, 125 secs
lola: 19719836 markings, 46660947 edges, 126047 markings/sec, 130 secs
lola: 20355974 markings, 48117648 edges, 127228 markings/sec, 135 secs
lola: 20998665 markings, 49632099 edges, 128538 markings/sec, 140 secs
lola: 21622643 markings, 51103067 edges, 124796 markings/sec, 145 secs
lola: 22254649 markings, 52602071 edges, 126401 markings/sec, 150 secs
lola: 22792024 markings, 53896922 edges, 107475 markings/sec, 155 secs
lola: 23380283 markings, 55297380 edges, 117652 markings/sec, 160 secs
lola: 23971448 markings, 56740794 edges, 118233 markings/sec, 165 secs
lola: 24541519 markings, 58177817 edges, 114014 markings/sec, 170 secs
lola: 25128383 markings, 59634786 edges, 117373 markings/sec, 175 secs
lola: 25695674 markings, 61066430 edges, 113458 markings/sec, 180 secs
lola: 26260711 markings, 62463441 edges, 113007 markings/sec, 185 secs
lola: 26811260 markings, 63872325 edges, 110110 markings/sec, 190 secs
lola: 27345828 markings, 65259656 edges, 106914 markings/sec, 195 secs
lola: 27884721 markings, 66627358 edges, 107779 markings/sec, 200 secs
lola: 28439233 markings, 68066210 edges, 110902 markings/sec, 205 secs
lola: 28992799 markings, 69490519 edges, 110713 markings/sec, 210 secs
lola: 29578746 markings, 71012970 edges, 117189 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(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 951675 markings, 1827837 edges, 190335 markings/sec, 0 secs
lola: 1842257 markings, 3590754 edges, 178116 markings/sec, 5 secs
lola: 2629117 markings, 5383583 edges, 157372 markings/sec, 10 secs
lola: 3293657 markings, 7240303 edges, 132908 markings/sec, 15 secs
lola: 4011247 markings, 9042764 edges, 143518 markings/sec, 20 secs
lola: 4783884 markings, 10783677 edges, 154527 markings/sec, 25 secs
lola: 5550435 markings, 12615939 edges, 153310 markings/sec, 30 secs
lola: 6326861 markings, 14348413 edges, 155285 markings/sec, 35 secs
lola: 7043936 markings, 15993251 edges, 143415 markings/sec, 40 secs
lola: 7700526 markings, 17633457 edges, 131318 markings/sec, 45 secs
lola: 8319860 markings, 19356264 edges, 123867 markings/sec, 50 secs
lola: 9050168 markings, 21193861 edges, 146062 markings/sec, 55 secs
lola: 9846473 markings, 22955211 edges, 159261 markings/sec, 60 secs
lola: 10629867 markings, 24748632 edges, 156679 markings/sec, 65 secs
lola: 11405024 markings, 26525213 edges, 155031 markings/sec, 70 secs
lola: 12016701 markings, 28243603 edges, 122335 markings/sec, 75 secs
lola: 12698789 markings, 29997089 edges, 136418 markings/sec, 80 secs
lola: 13485473 markings, 31839138 edges, 157337 markings/sec, 85 secs
lola: 14273613 markings, 33628324 edges, 157628 markings/sec, 90 secs
lola: 15064385 markings, 35287182 edges, 158154 markings/sec, 95 secs
lola: 15837661 markings, 36994793 edges, 154655 markings/sec, 100 secs
lola: 16557138 markings, 38660372 edges, 143895 markings/sec, 105 secs
lola: 17295998 markings, 40396943 edges, 147772 markings/sec, 110 secs
lola: 17920061 markings, 42112292 edges, 124813 markings/sec, 115 secs
lola: 18574058 markings, 43691181 edges, 130799 markings/sec, 120 secs
lola: 19323768 markings, 45460245 edges, 149942 markings/sec, 125 secs
lola: 20068387 markings, 47220296 edges, 148924 markings/sec, 130 secs
lola: 20815123 markings, 48978153 edges, 149347 markings/sec, 135 secs
lola: 21622413 markings, 50755291 edges, 161458 markings/sec, 140 secs
lola: 22365069 markings, 52505052 edges, 148531 markings/sec, 145 secs
lola: 23091065 markings, 54206527 edges, 145199 markings/sec, 150 secs
lola: 23820432 markings, 55892445 edges, 145873 markings/sec, 155 secs
lola: 24503397 markings, 57437038 edges, 136593 markings/sec, 160 secs
lola: 25302165 markings, 58970451 edges, 159754 markings/sec, 165 secs
lola: 26040635 markings, 60438985 edges, 147694 markings/sec, 170 secs
lola: 26885319 markings, 62031541 edges, 168937 markings/sec, 175 secs
lola: 27779442 markings, 63584265 edges, 178825 markings/sec, 180 secs
lola: 28593622 markings, 65179414 edges, 162836 markings/sec, 185 secs
lola: 29440105 markings, 66769796 edges, 169297 markings/sec, 190 secs
lola: 30299792 markings, 68385460 edges, 171937 markings/sec, 195 secs
lola: 31152093 markings, 70031052 edges, 170460 markings/sec, 200 secs
lola: 31985843 markings, 71637214 edges, 166750 markings/sec, 205 secs
lola: 32801443 markings, 73279456 edges, 163120 markings/sec, 210 secs
lola: 33829376 markings, 75111405 edges, 205587 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(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 923666 markings, 1823502 edges, 184733 markings/sec, 0 secs
lola: 1742529 markings, 3601759 edges, 163773 markings/sec, 5 secs
lola: 2469518 markings, 5295847 edges, 145398 markings/sec, 10 secs
lola: 3129372 markings, 7018423 edges, 131971 markings/sec, 15 secs
lola: 3782721 markings, 8905557 edges, 130670 markings/sec, 20 secs
lola: 4520444 markings, 10699195 edges, 147545 markings/sec, 25 secs
lola: 5219085 markings, 12428568 edges, 139728 markings/sec, 30 secs
lola: 5934944 markings, 14168286 edges, 143172 markings/sec, 35 secs
lola: 6654626 markings, 15926168 edges, 143936 markings/sec, 40 secs
lola: 7331805 markings, 17531151 edges, 135436 markings/sec, 45 secs
lola: 8021490 markings, 19186071 edges, 137937 markings/sec, 50 secs
lola: 8662909 markings, 20747054 edges, 128284 markings/sec, 55 secs
lola: 9287056 markings, 22336900 edges, 124829 markings/sec, 60 secs
lola: 9843193 markings, 23965829 edges, 111227 markings/sec, 65 secs
lola: 10569841 markings, 25684627 edges, 145330 markings/sec, 70 secs
lola: 11278734 markings, 27377353 edges, 141779 markings/sec, 75 secs
lola: 11997193 markings, 29025845 edges, 143692 markings/sec, 80 secs
lola: 12674783 markings, 30693815 edges, 135518 markings/sec, 85 secs
lola: 13288224 markings, 32226225 edges, 122688 markings/sec, 90 secs
lola: 13964951 markings, 33821819 edges, 135345 markings/sec, 95 secs
lola: 14704563 markings, 35537232 edges, 147922 markings/sec, 100 secs
lola: 15428744 markings, 37114117 edges, 144836 markings/sec, 105 secs
lola: 16062906 markings, 38635374 edges, 126832 markings/sec, 110 secs
lola: 16725952 markings, 40227638 edges, 132609 markings/sec, 115 secs
lola: 17330537 markings, 41786882 edges, 120917 markings/sec, 120 secs
lola: 17984837 markings, 43386233 edges, 130860 markings/sec, 125 secs
lola: 18649598 markings, 45052502 edges, 132952 markings/sec, 130 secs
lola: 19235118 markings, 46527639 edges, 117104 markings/sec, 135 secs
lola: 19895624 markings, 48177622 edges, 132101 markings/sec, 140 secs
lola: 20573443 markings, 49813639 edges, 135564 markings/sec, 145 secs
lola: 21183059 markings, 51344065 edges, 121923 markings/sec, 150 secs
lola: 21815257 markings, 52922856 edges, 126440 markings/sec, 155 secs
lola: 22493896 markings, 54596041 edges, 135728 markings/sec, 160 secs
lola: 23177904 markings, 56249324 edges, 136802 markings/sec, 165 secs
lola: 23851614 markings, 57766348 edges, 134742 markings/sec, 170 secs
lola: 24486210 markings, 59348506 edges, 126919 markings/sec, 175 secs
lola: 25210542 markings, 61001059 edges, 144866 markings/sec, 180 secs
lola: 25911938 markings, 62615220 edges, 140279 markings/sec, 185 secs
lola: 26643227 markings, 64179801 edges, 146258 markings/sec, 190 secs
lola: 27352309 markings, 65760511 edges, 141816 markings/sec, 195 secs
lola: 28062554 markings, 67344723 edges, 142049 markings/sec, 200 secs
lola: 28702824 markings, 68827326 edges, 128054 markings/sec, 205 secs
lola: 29393821 markings, 70374480 edges, 138199 markings/sec, 210 secs
lola: 30027416 markings, 72036164 edges, 126719 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(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 889744 markings, 2099915 edges, 177949 markings/sec, 0 secs
lola: 1676156 markings, 4065249 edges, 157282 markings/sec, 5 secs
lola: 2425973 markings, 5993229 edges, 149963 markings/sec, 10 secs
lola: 3174171 markings, 7836754 edges, 149640 markings/sec, 15 secs
lola: 3894131 markings, 9691928 edges, 143992 markings/sec, 20 secs
lola: 4628771 markings, 11499475 edges, 146928 markings/sec, 25 secs
lola: 5360547 markings, 13242661 edges, 146355 markings/sec, 30 secs
lola: 6074458 markings, 15072155 edges, 142782 markings/sec, 35 secs
lola: 6758413 markings, 16997088 edges, 136791 markings/sec, 40 secs
lola: 7437592 markings, 18826922 edges, 135836 markings/sec, 45 secs
lola: 8174902 markings, 20638633 edges, 147462 markings/sec, 50 secs
lola: 8909571 markings, 22503496 edges, 146934 markings/sec, 55 secs
lola: 9633722 markings, 24194346 edges, 144830 markings/sec, 60 secs
lola: 10278960 markings, 25838846 edges, 129048 markings/sec, 65 secs
lola: 10918012 markings, 27472419 edges, 127810 markings/sec, 70 secs
lola: 11603612 markings, 29099911 edges, 137120 markings/sec, 75 secs
lola: 12262662 markings, 30660711 edges, 131810 markings/sec, 80 secs
lola: 12919463 markings, 32419925 edges, 131360 markings/sec, 85 secs
lola: 13563538 markings, 34090605 edges, 128815 markings/sec, 90 secs
lola: 14078398 markings, 35835154 edges, 102972 markings/sec, 95 secs
lola: 14615643 markings, 37516333 edges, 107449 markings/sec, 100 secs
lola: 15174389 markings, 39255439 edges, 111749 markings/sec, 105 secs
lola: 15735576 markings, 40944436 edges, 112237 markings/sec, 110 secs
lola: 16324105 markings, 42625924 edges, 117706 markings/sec, 115 secs
lola: 16920621 markings, 44320708 edges, 119303 markings/sec, 120 secs
lola: 17470530 markings, 46049333 edges, 109982 markings/sec, 125 secs
lola: 18059649 markings, 47728327 edges, 117824 markings/sec, 130 secs
lola: 18698669 markings, 49413075 edges, 127804 markings/sec, 135 secs
lola: 19274607 markings, 51131454 edges, 115188 markings/sec, 140 secs
lola: 19859160 markings, 52707341 edges, 116911 markings/sec, 145 secs
lola: 20420082 markings, 54290710 edges, 112184 markings/sec, 150 secs
lola: 20967993 markings, 55936707 edges, 109582 markings/sec, 155 secs
lola: 21483637 markings, 57632949 edges, 103129 markings/sec, 160 secs
lola: 22005769 markings, 59338750 edges, 104426 markings/sec, 165 secs
lola: 22520761 markings, 61017484 edges, 102998 markings/sec, 170 secs
lola: 23086869 markings, 62786220 edges, 113222 markings/sec, 175 secs
lola: 23689457 markings, 64439547 edges, 120518 markings/sec, 180 secs
lola: 24274795 markings, 66198077 edges, 117068 markings/sec, 185 secs
lola: 24860724 markings, 67874942 edges, 117186 markings/sec, 190 secs
lola: 25502998 markings, 69637924 edges, 128455 markings/sec, 195 secs
lola: 26113767 markings, 71402857 edges, 122154 markings/sec, 200 secs
lola: 26664091 markings, 73023371 edges, 110065 markings/sec, 205 secs
lola: 27225839 markings, 74575826 edges, 112350 markings/sec, 210 secs
lola: 27820251 markings, 76282205 edges, 118882 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-04b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-04b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496484919194

--------------------
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-04b"
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-04b.tgz
mv FlexibleBarrier-PT-04b 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-04b, 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-149581034100011"
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 ;