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 '
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 ;