fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r098-ebro-149488455700290
Last Updated
June 27, 2017

About the Execution of LoLA for S_DES-PT-30b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6704.750 3540400.00 3555955.00 642.80 ? ? ? 1 ? ? 1 ? ? ? ? ? 1 ? ? ? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_DES-PT-30b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700290
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496453153528


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


checking for too many tokens
===========================================================================================
S_DES-PT-30b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-30b @ 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: 749/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 399 places, 350 transitions, 334 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 447 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30b-UpperBounds.task
lola: MAX(p279) : MAX(p34) : MAX(p42) : MAX(p174) : MAX(p144) : MAX(p124) : MAX(p193) : MAX(p31) : MAX(p125) : MAX(p217) : MAX(p329) : MAX(p257) : MAX(p62) : MAX(p312) : MAX(p266) : MAX(p364)
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(p279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1080625 markings, 1169920 edges, 216125 markings/sec, 0 secs
lola: 2244898 markings, 2367972 edges, 232855 markings/sec, 5 secs
lola: 3354347 markings, 3508650 edges, 221890 markings/sec, 10 secs
lola: 4299521 markings, 4649568 edges, 189035 markings/sec, 15 secs
lola: 5396480 markings, 5814584 edges, 219392 markings/sec, 20 secs
lola: 6436833 markings, 6950947 edges, 208071 markings/sec, 25 secs
lola: 7542335 markings, 8093352 edges, 221100 markings/sec, 30 secs
lola: 8475075 markings, 9238624 edges, 186548 markings/sec, 35 secs
lola: 8952452 markings, 10401358 edges, 95475 markings/sec, 40 secs
lola: 9712335 markings, 11502761 edges, 151977 markings/sec, 45 secs
lola: 10643641 markings, 12581469 edges, 186261 markings/sec, 50 secs
lola: 11782278 markings, 13759657 edges, 227727 markings/sec, 55 secs
lola: 12771735 markings, 14863981 edges, 197891 markings/sec, 60 secs
lola: 13752486 markings, 15981648 edges, 196150 markings/sec, 65 secs
lola: 14599139 markings, 17089556 edges, 169331 markings/sec, 70 secs
lola: 15378334 markings, 18224335 edges, 155839 markings/sec, 75 secs
lola: 16131252 markings, 19295845 edges, 150584 markings/sec, 80 secs
lola: 16815447 markings, 20377970 edges, 136839 markings/sec, 85 secs
lola: 17592207 markings, 21466879 edges, 155352 markings/sec, 90 secs
lola: 18627055 markings, 22606545 edges, 206970 markings/sec, 95 secs
lola: 19670720 markings, 23743711 edges, 208733 markings/sec, 100 secs
lola: 20703467 markings, 24879795 edges, 206549 markings/sec, 105 secs
lola: 21728038 markings, 26006824 edges, 204914 markings/sec, 110 secs
lola: 22787145 markings, 27143763 edges, 211821 markings/sec, 115 secs
lola: 23893315 markings, 28294146 edges, 221234 markings/sec, 120 secs
lola: 24722888 markings, 29419564 edges, 165915 markings/sec, 125 secs
lola: 25196048 markings, 30564122 edges, 94632 markings/sec, 130 secs
lola: 25993502 markings, 31661886 edges, 159491 markings/sec, 135 secs
lola: 26946391 markings, 32733633 edges, 190578 markings/sec, 140 secs
lola: 28100463 markings, 33915718 edges, 230814 markings/sec, 145 secs
lola: 29084085 markings, 35024437 edges, 196724 markings/sec, 150 secs
lola: 30031988 markings, 36113711 edges, 189581 markings/sec, 155 secs
lola: 30850279 markings, 37204497 edges, 163658 markings/sec, 160 secs
lola: 31599768 markings, 38311836 edges, 149898 markings/sec, 165 secs
lola: 32345715 markings, 39362350 edges, 149189 markings/sec, 170 secs
lola: 33001787 markings, 40427198 edges, 131214 markings/sec, 175 secs
lola: 33773013 markings, 41483035 edges, 154245 markings/sec, 180 secs
lola: 34802335 markings, 42617737 edges, 205864 markings/sec, 185 secs
lola: 35837580 markings, 43745133 edges, 207049 markings/sec, 190 secs
lola: 36861707 markings, 44872188 edges, 204825 markings/sec, 195 secs
lola: 37877435 markings, 45989787 edges, 203146 markings/sec, 200 secs
lola: 38928088 markings, 47118714 edges, 210131 markings/sec, 205 secs
lola: 40037865 markings, 48271300 edges, 221955 markings/sec, 210 secs
lola: 40883123 markings, 49403421 edges, 169052 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(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 977697 markings, 1233353 edges, 195539 markings/sec, 0 secs
lola: 1904568 markings, 2457587 edges, 185374 markings/sec, 5 secs
lola: 2780379 markings, 3688449 edges, 175162 markings/sec, 10 secs
lola: 3679876 markings, 4911011 edges, 179899 markings/sec, 15 secs
lola: 4521371 markings, 6104440 edges, 168299 markings/sec, 20 secs
lola: 5349777 markings, 7278179 edges, 165681 markings/sec, 25 secs
lola: 6127064 markings, 8408090 edges, 155457 markings/sec, 30 secs
lola: 6696029 markings, 9729622 edges, 113793 markings/sec, 35 secs
lola: 7335413 markings, 10996121 edges, 127877 markings/sec, 40 secs
lola: 7925953 markings, 12229210 edges, 118108 markings/sec, 45 secs
lola: 8439574 markings, 13423393 edges, 102724 markings/sec, 50 secs
lola: 9034101 markings, 14596801 edges, 118905 markings/sec, 55 secs
lola: 9878118 markings, 15579723 edges, 168803 markings/sec, 60 secs
lola: 10780296 markings, 16529860 edges, 180436 markings/sec, 65 secs
lola: 11605960 markings, 17399469 edges, 165133 markings/sec, 70 secs
lola: 12365057 markings, 18198924 edges, 151819 markings/sec, 75 secs
lola: 13075164 markings, 18947054 edges, 142021 markings/sec, 80 secs
lola: 13930016 markings, 19854450 edges, 170970 markings/sec, 85 secs
lola: 14722685 markings, 20700513 edges, 158534 markings/sec, 90 secs
lola: 15524914 markings, 21554727 edges, 160446 markings/sec, 95 secs
lola: 16313110 markings, 22396194 edges, 157639 markings/sec, 100 secs
lola: 17114689 markings, 23249960 edges, 160316 markings/sec, 105 secs
lola: 17886157 markings, 24074742 edges, 154294 markings/sec, 110 secs
lola: 18690823 markings, 24929800 edges, 160933 markings/sec, 115 secs
lola: 19484992 markings, 25776485 edges, 158834 markings/sec, 120 secs
lola: 20272880 markings, 26617754 edges, 157578 markings/sec, 125 secs
lola: 21105972 markings, 27504825 edges, 166618 markings/sec, 130 secs
lola: 21896956 markings, 28348849 edges, 158197 markings/sec, 135 secs
lola: 22707059 markings, 29211572 edges, 162021 markings/sec, 140 secs
lola: 23508917 markings, 30067397 edges, 160372 markings/sec, 145 secs
lola: 24317207 markings, 30928279 edges, 161658 markings/sec, 150 secs
lola: 25105930 markings, 31771720 edges, 157745 markings/sec, 155 secs
lola: 25934671 markings, 32652841 edges, 165748 markings/sec, 160 secs
lola: 26721561 markings, 33492101 edges, 157378 markings/sec, 165 secs
lola: 27537282 markings, 34361534 edges, 163144 markings/sec, 170 secs
lola: 28362840 markings, 35241042 edges, 165112 markings/sec, 175 secs
lola: 29157266 markings, 36088581 edges, 158885 markings/sec, 180 secs
lola: 29981802 markings, 36966746 edges, 164907 markings/sec, 185 secs
lola: 30779849 markings, 37819160 edges, 159609 markings/sec, 190 secs
lola: 31577981 markings, 38669751 edges, 159626 markings/sec, 195 secs
lola: 32394242 markings, 39540571 edges, 163252 markings/sec, 200 secs
lola: 33216312 markings, 40415711 edges, 164414 markings/sec, 205 secs
lola: 34009782 markings, 41264328 edges, 158694 markings/sec, 210 secs
lola: 34844160 markings, 42150770 edges, 166876 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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 920987 markings, 1100671 edges, 184197 markings/sec, 0 secs
lola: 1858192 markings, 2280095 edges, 187441 markings/sec, 5 secs
lola: 2790406 markings, 3441905 edges, 186443 markings/sec, 10 secs
lola: 3721847 markings, 4609266 edges, 186288 markings/sec, 15 secs
lola: 4644529 markings, 5770630 edges, 184536 markings/sec, 20 secs
lola: 5584081 markings, 6946172 edges, 187910 markings/sec, 25 secs
lola: 6502013 markings, 8112658 edges, 183586 markings/sec, 30 secs
lola: 7435715 markings, 9271363 edges, 186740 markings/sec, 35 secs
lola: 8363395 markings, 10435032 edges, 185536 markings/sec, 40 secs
lola: 9179090 markings, 11402844 edges, 163139 markings/sec, 45 secs
lola: 9942902 markings, 12210331 edges, 152762 markings/sec, 50 secs
lola: 10702144 markings, 13006950 edges, 151848 markings/sec, 55 secs
lola: 11444242 markings, 13791663 edges, 148420 markings/sec, 60 secs
lola: 12190127 markings, 14580725 edges, 149177 markings/sec, 65 secs
lola: 12948036 markings, 15484722 edges, 151582 markings/sec, 70 secs
lola: 13726425 markings, 16438824 edges, 155678 markings/sec, 75 secs
lola: 14442058 markings, 17238834 edges, 143127 markings/sec, 80 secs
lola: 15161383 markings, 18007598 edges, 143865 markings/sec, 85 secs
lola: 15911197 markings, 18913795 edges, 149963 markings/sec, 90 secs
lola: 16628611 markings, 19735826 edges, 143483 markings/sec, 95 secs
lola: 17375483 markings, 20575391 edges, 149374 markings/sec, 100 secs
lola: 18193378 markings, 21480648 edges, 163579 markings/sec, 105 secs
lola: 18953736 markings, 22299371 edges, 152072 markings/sec, 110 secs
lola: 19709426 markings, 23085769 edges, 151138 markings/sec, 115 secs
lola: 20478341 markings, 23886229 edges, 153783 markings/sec, 120 secs
lola: 21245287 markings, 24686832 edges, 153389 markings/sec, 125 secs
lola: 22011254 markings, 25501596 edges, 153193 markings/sec, 130 secs
lola: 22776859 markings, 26434606 edges, 153121 markings/sec, 135 secs
lola: 23506103 markings, 27239671 edges, 145849 markings/sec, 140 secs
lola: 24241039 markings, 28013787 edges, 146987 markings/sec, 145 secs
lola: 24987603 markings, 28807595 edges, 149313 markings/sec, 150 secs
lola: 25741603 markings, 29685979 edges, 150800 markings/sec, 155 secs
lola: 26498001 markings, 30509754 edges, 151280 markings/sec, 160 secs
lola: 27302593 markings, 31397776 edges, 160918 markings/sec, 165 secs
lola: 28114405 markings, 32281675 edges, 162362 markings/sec, 170 secs
lola: 28892789 markings, 33089285 edges, 155677 markings/sec, 175 secs
lola: 29663612 markings, 33910368 edges, 154165 markings/sec, 180 secs
lola: 30417959 markings, 34716414 edges, 150869 markings/sec, 185 secs
lola: 31177533 markings, 35528684 edges, 151915 markings/sec, 190 secs
lola: 31990206 markings, 36397982 edges, 162535 markings/sec, 195 secs
lola: 32708033 markings, 37182248 edges, 143565 markings/sec, 200 secs
lola: 33414911 markings, 37961920 edges, 141376 markings/sec, 205 secs
lola: 34211772 markings, 38783178 edges, 159372 markings/sec, 210 secs
lola: 34980480 markings, 39573532 edges, 153742 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(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 808200 markings, 1075023 edges, 161640 markings/sec, 0 secs
lola: 1589063 markings, 2139035 edges, 156173 markings/sec, 5 secs
lola: 2318653 markings, 3132928 edges, 145918 markings/sec, 10 secs
lola: 3000848 markings, 4062707 edges, 136439 markings/sec, 15 secs
lola: 3643905 markings, 4938655 edges, 128611 markings/sec, 20 secs
lola: 4259506 markings, 5777365 edges, 123120 markings/sec, 25 secs
lola: 4864218 markings, 6836102 edges, 120942 markings/sec, 30 secs
lola: 5526450 markings, 8072863 edges, 132446 markings/sec, 35 secs
lola: 6143538 markings, 9322987 edges, 123418 markings/sec, 40 secs
lola: 6804874 markings, 10556345 edges, 132267 markings/sec, 45 secs
lola: 7420158 markings, 11802197 edges, 123057 markings/sec, 50 secs
lola: 8076193 markings, 13022358 edges, 131207 markings/sec, 55 secs
lola: 8691544 markings, 14267323 edges, 123070 markings/sec, 60 secs
lola: 9347240 markings, 15488418 edges, 131139 markings/sec, 65 secs
lola: 9965761 markings, 16739510 edges, 123704 markings/sec, 70 secs
lola: 10623169 markings, 17965817 edges, 131482 markings/sec, 75 secs
lola: 11239516 markings, 19211626 edges, 123269 markings/sec, 80 secs
lola: 11896574 markings, 20438015 edges, 131412 markings/sec, 85 secs
lola: 12514617 markings, 21686426 edges, 123609 markings/sec, 90 secs
lola: 13169323 markings, 22908667 edges, 130941 markings/sec, 95 secs
lola: 13787273 markings, 24155250 edges, 123590 markings/sec, 100 secs
lola: 14439781 markings, 25377757 edges, 130502 markings/sec, 105 secs
lola: 15062683 markings, 26630928 edges, 124580 markings/sec, 110 secs
lola: 15725066 markings, 27871820 edges, 132477 markings/sec, 115 secs
lola: 16341899 markings, 29162135 edges, 123367 markings/sec, 120 secs
lola: 16842698 markings, 30369058 edges, 100160 markings/sec, 125 secs
lola: 17458290 markings, 31462516 edges, 123118 markings/sec, 130 secs
lola: 18028788 markings, 32479573 edges, 114100 markings/sec, 135 secs
lola: 18580026 markings, 33486373 edges, 110248 markings/sec, 140 secs
lola: 19027864 markings, 34679135 edges, 89568 markings/sec, 145 secs
lola: 19464211 markings, 35869020 edges, 87269 markings/sec, 150 secs
lola: 19903155 markings, 37009920 edges, 87789 markings/sec, 155 secs
lola: 20337565 markings, 38174409 edges, 86882 markings/sec, 160 secs
lola: 20759062 markings, 39336108 edges, 84299 markings/sec, 165 secs
lola: 21205080 markings, 40426586 edges, 89204 markings/sec, 170 secs
lola: 21815974 markings, 41342487 edges, 122179 markings/sec, 175 secs
lola: 22356620 markings, 42329701 edges, 108129 markings/sec, 180 secs
lola: 22892367 markings, 43339155 edges, 107149 markings/sec, 185 secs
lola: 23359291 markings, 44357575 edges, 93385 markings/sec, 190 secs
lola: 23954834 markings, 45425891 edges, 119109 markings/sec, 195 secs
lola: 24439168 markings, 46617711 edges, 96867 markings/sec, 200 secs
lola: 24884804 markings, 47851711 edges, 89127 markings/sec, 205 secs
lola: 25430003 markings, 49112363 edges, 109040 markings/sec, 210 secs
lola: 26109171 markings, 50099513 edges, 135834 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(p144)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 620380 markings, 1115613 edges, 124076 markings/sec, 0 secs
lola: 1299857 markings, 2137080 edges, 135895 markings/sec, 5 secs
lola: 2019801 markings, 3357792 edges, 143989 markings/sec, 10 secs
lola: 2687241 markings, 4546843 edges, 133488 markings/sec, 15 secs
lola: 3325124 markings, 5743668 edges, 127577 markings/sec, 20 secs
lola: 4039880 markings, 6796736 edges, 142951 markings/sec, 25 secs
lola: 4554812 markings, 7969526 edges, 102986 markings/sec, 30 secs
lola: 5111400 markings, 9028907 edges, 111318 markings/sec, 35 secs
lola: 5810307 markings, 10038437 edges, 139781 markings/sec, 40 secs
lola: 6497421 markings, 11099572 edges, 137423 markings/sec, 45 secs
lola: 7209245 markings, 12288472 edges, 142365 markings/sec, 50 secs
lola: 7798031 markings, 13447984 edges, 117757 markings/sec, 55 secs
lola: 8480273 markings, 14587452 edges, 136448 markings/sec, 60 secs
lola: 9112233 markings, 15643673 edges, 126392 markings/sec, 65 secs
lola: 9639037 markings, 16709181 edges, 105361 markings/sec, 70 secs
lola: 10256978 markings, 17867764 edges, 123588 markings/sec, 75 secs
lola: 10861384 markings, 18951778 edges, 120881 markings/sec, 80 secs
lola: 11501850 markings, 20102607 edges, 128093 markings/sec, 85 secs
lola: 12058425 markings, 21243253 edges, 111315 markings/sec, 90 secs
lola: 12642948 markings, 22357111 edges, 116905 markings/sec, 95 secs
lola: 13266206 markings, 23444577 edges, 124652 markings/sec, 100 secs
lola: 13994738 markings, 24482090 edges, 145706 markings/sec, 105 secs
lola: 14649079 markings, 25515926 edges, 130868 markings/sec, 110 secs
lola: 15332115 markings, 26518661 edges, 136607 markings/sec, 115 secs
lola: 15969470 markings, 27573392 edges, 127471 markings/sec, 120 secs
lola: 16422250 markings, 28781750 edges, 90556 markings/sec, 125 secs
lola: 16817925 markings, 30039441 edges, 79135 markings/sec, 130 secs
lola: 17390808 markings, 31043590 edges, 114577 markings/sec, 135 secs
lola: 17955250 markings, 32038929 edges, 112888 markings/sec, 140 secs
lola: 18418475 markings, 33281901 edges, 92645 markings/sec, 145 secs
lola: 19112174 markings, 34384832 edges, 138740 markings/sec, 150 secs
lola: 19743283 markings, 35447418 edges, 126222 markings/sec, 155 secs
lola: 20393614 markings, 36518649 edges, 130066 markings/sec, 160 secs
lola: 21092607 markings, 37519008 edges, 139799 markings/sec, 165 secs
lola: 21770592 markings, 38569586 edges, 135597 markings/sec, 170 secs
lola: 22476288 markings, 39753730 edges, 141139 markings/sec, 175 secs
lola: 23119426 markings, 40946310 edges, 128628 markings/sec, 180 secs
lola: 23769705 markings, 42080858 edges, 130056 markings/sec, 185 secs
lola: 24463680 markings, 43126599 edges, 138795 markings/sec, 190 secs
lola: 24970680 markings, 44242066 edges, 101400 markings/sec, 195 secs
lola: 25581906 markings, 45331571 edges, 122245 markings/sec, 200 secs
lola: 26193061 markings, 46437870 edges, 122231 markings/sec, 205 secs
lola: 26795429 markings, 47587375 edges, 120474 markings/sec, 210 secs
lola: 27417348 markings, 48723325 edges, 124384 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 745874 markings, 1048586 edges, 149175 markings/sec, 0 secs
lola: 1398221 markings, 2046619 edges, 130469 markings/sec, 5 secs
lola: 1967459 markings, 2920779 edges, 113848 markings/sec, 10 secs
lola: 2539123 markings, 3760812 edges, 114333 markings/sec, 15 secs
lola: 3220926 markings, 4559125 edges, 136361 markings/sec, 20 secs
lola: 3913308 markings, 5343685 edges, 138476 markings/sec, 25 secs
lola: 4592621 markings, 6127350 edges, 135863 markings/sec, 30 secs
lola: 5273914 markings, 6913121 edges, 136259 markings/sec, 35 secs
lola: 5943284 markings, 7701077 edges, 133874 markings/sec, 40 secs
lola: 6611156 markings, 8460027 edges, 133574 markings/sec, 45 secs
lola: 7285129 markings, 9194841 edges, 134795 markings/sec, 50 secs
lola: 7972532 markings, 9964108 edges, 137481 markings/sec, 55 secs
lola: 8627152 markings, 10744929 edges, 130924 markings/sec, 60 secs
lola: 9334296 markings, 11578978 edges, 141429 markings/sec, 65 secs
lola: 10017463 markings, 12408511 edges, 136633 markings/sec, 70 secs
lola: 10701059 markings, 13247234 edges, 136719 markings/sec, 75 secs
lola: 11384694 markings, 14079158 edges, 136727 markings/sec, 80 secs
lola: 12043464 markings, 14888291 edges, 131754 markings/sec, 85 secs
lola: 12734211 markings, 15667893 edges, 138149 markings/sec, 90 secs
lola: 13422561 markings, 16462953 edges, 137670 markings/sec, 95 secs
lola: 14011914 markings, 17400993 edges, 117871 markings/sec, 100 secs
lola: 14576005 markings, 18466843 edges, 112818 markings/sec, 105 secs
lola: 15139550 markings, 19538763 edges, 112709 markings/sec, 110 secs
lola: 15670190 markings, 20653771 edges, 106128 markings/sec, 115 secs
lola: 16129883 markings, 21829638 edges, 91939 markings/sec, 120 secs
lola: 16571615 markings, 23001035 edges, 88346 markings/sec, 125 secs
lola: 17040956 markings, 24168669 edges, 93868 markings/sec, 130 secs
lola: 17476249 markings, 25368287 edges, 87059 markings/sec, 135 secs
lola: 17923235 markings, 26513774 edges, 89397 markings/sec, 140 secs
lola: 18348811 markings, 27620246 edges, 85115 markings/sec, 145 secs
lola: 18772640 markings, 28711196 edges, 84766 markings/sec, 150 secs
lola: 19197552 markings, 29830446 edges, 84982 markings/sec, 155 secs
lola: 19624907 markings, 30929307 edges, 85471 markings/sec, 160 secs
lola: 20029066 markings, 32034679 edges, 80832 markings/sec, 165 secs
lola: 20467355 markings, 33107321 edges, 87658 markings/sec, 170 secs
lola: 20873559 markings, 34197962 edges, 81241 markings/sec, 175 secs
lola: 21328210 markings, 35224556 edges, 90930 markings/sec, 180 secs
lola: 21771731 markings, 36243769 edges, 88704 markings/sec, 185 secs
lola: 22229534 markings, 37271694 edges, 91561 markings/sec, 190 secs
lola: 22687978 markings, 38320773 edges, 91689 markings/sec, 195 secs
lola: 23163772 markings, 39380501 edges, 95159 markings/sec, 200 secs
lola: 23670952 markings, 40389060 edges, 101436 markings/sec, 205 secs
lola: 24060001 markings, 41501079 edges, 77810 markings/sec, 210 secs
lola: 24548846 markings, 42577217 edges, 97769 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(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 936027 markings, 1178712 edges, 187205 markings/sec, 0 secs
lola: 1831750 markings, 2362051 edges, 179145 markings/sec, 5 secs
lola: 2674574 markings, 3542952 edges, 168565 markings/sec, 10 secs
lola: 3540759 markings, 4721454 edges, 173237 markings/sec, 15 secs
lola: 4363132 markings, 5873800 edges, 164475 markings/sec, 20 secs
lola: 5168026 markings, 7029200 edges, 160979 markings/sec, 25 secs
lola: 5940858 markings, 8099824 edges, 154566 markings/sec, 30 secs
lola: 6544714 markings, 9377861 edges, 120771 markings/sec, 35 secs
lola: 7163638 markings, 10595756 edges, 123785 markings/sec, 40 secs
lola: 7714796 markings, 11809241 edges, 110232 markings/sec, 45 secs
lola: 8322997 markings, 13068322 edges, 121640 markings/sec, 50 secs
lola: 8939070 markings, 14278689 edges, 123215 markings/sec, 55 secs
lola: 9485394 markings, 15512155 edges, 109265 markings/sec, 60 secs
lola: 10096357 markings, 16747736 edges, 122193 markings/sec, 65 secs
lola: 10667648 markings, 17937839 edges, 114258 markings/sec, 70 secs
lola: 11158460 markings, 19079643 edges, 98162 markings/sec, 75 secs
lola: 11739270 markings, 20218415 edges, 116162 markings/sec, 80 secs
lola: 12551757 markings, 21165061 edges, 162497 markings/sec, 85 secs
lola: 13411777 markings, 22070833 edges, 172004 markings/sec, 90 secs
lola: 14198086 markings, 22898982 edges, 157262 markings/sec, 95 secs
lola: 14928641 markings, 23668327 edges, 146111 markings/sec, 100 secs
lola: 15695539 markings, 24478053 edges, 153380 markings/sec, 105 secs
lola: 16462550 markings, 25297358 edges, 153402 markings/sec, 110 secs
lola: 17270462 markings, 26155871 edges, 161582 markings/sec, 115 secs
lola: 18069801 markings, 27007090 edges, 159868 markings/sec, 120 secs
lola: 18835703 markings, 27825127 edges, 153180 markings/sec, 125 secs
lola: 19618473 markings, 28658635 edges, 156554 markings/sec, 130 secs
lola: 20392733 markings, 29484863 edges, 154852 markings/sec, 135 secs
lola: 21182601 markings, 30326660 edges, 157974 markings/sec, 140 secs
lola: 21938675 markings, 31135217 edges, 151215 markings/sec, 145 secs
lola: 22745132 markings, 31991618 edges, 161291 markings/sec, 150 secs
lola: 23538709 markings, 32838013 edges, 158715 markings/sec, 155 secs
lola: 24306297 markings, 33656781 edges, 153518 markings/sec, 160 secs
lola: 25110262 markings, 34512873 edges, 160793 markings/sec, 165 secs
lola: 25886832 markings, 35342285 edges, 155314 markings/sec, 170 secs
lola: 26674894 markings, 36182012 edges, 157612 markings/sec, 175 secs
lola: 27462356 markings, 37022998 edges, 157492 markings/sec, 180 secs
lola: 28270984 markings, 37883443 edges, 161726 markings/sec, 185 secs
lola: 29041936 markings, 38708574 edges, 154190 markings/sec, 190 secs
lola: 29847483 markings, 39564094 edges, 161109 markings/sec, 195 secs
lola: 30657794 markings, 40427225 edges, 162062 markings/sec, 200 secs
lola: 31443178 markings, 41265769 edges, 157077 markings/sec, 205 secs
lola: 32249621 markings, 42124009 edges, 161289 markings/sec, 210 secs
lola: 33040091 markings, 42968011 edges, 158094 markings/sec, 215 secs
lola: 33834573 markings, 43814604 edges, 158896 markings/sec, 220 secs
lola: 34624361 markings, 44658637 edges, 157958 markings/sec, 225 secs
lola: 35437473 markings, 45523505 edges, 162622 markings/sec, 230 secs
lola: 36217409 markings, 46357181 edges, 155987 markings/sec, 235 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 760159 markings, 1070216 edges, 152032 markings/sec, 0 secs
lola: 1429350 markings, 2091281 edges, 133838 markings/sec, 5 secs
lola: 2012083 markings, 2982675 edges, 116547 markings/sec, 10 secs
lola: 2596098 markings, 3837290 edges, 116803 markings/sec, 15 secs
lola: 3293405 markings, 4649401 edges, 139461 markings/sec, 20 secs
lola: 4000077 markings, 5449394 edges, 141334 markings/sec, 25 secs
lola: 4690788 markings, 6245277 edges, 138142 markings/sec, 30 secs
lola: 5381586 markings, 7056512 edges, 138160 markings/sec, 35 secs
lola: 6065218 markings, 7852725 edges, 136726 markings/sec, 40 secs
lola: 6753864 markings, 8626148 edges, 137729 markings/sec, 45 secs
lola: 7443381 markings, 9389553 edges, 137903 markings/sec, 50 secs
lola: 8141123 markings, 10155098 edges, 139548 markings/sec, 55 secs
lola: 8814569 markings, 10973106 edges, 134689 markings/sec, 60 secs
lola: 9529398 markings, 11815670 edges, 142966 markings/sec, 65 secs
lola: 10224674 markings, 12669888 edges, 139055 markings/sec, 70 secs
lola: 10926850 markings, 13526232 edges, 140435 markings/sec, 75 secs
lola: 11616463 markings, 14370869 edges, 137923 markings/sec, 80 secs
lola: 12311694 markings, 15196990 edges, 139046 markings/sec, 85 secs
lola: 13013812 markings, 16003255 edges, 140424 markings/sec, 90 secs
lola: 13686028 markings, 16821450 edges, 134443 markings/sec, 95 secs
lola: 14241057 markings, 17944157 edges, 111006 markings/sec, 100 secs
lola: 14866476 markings, 18970285 edges, 125084 markings/sec, 105 secs
lola: 15432859 markings, 20070518 edges, 113277 markings/sec, 110 secs
lola: 15937073 markings, 21263682 edges, 100843 markings/sec, 115 secs
lola: 16388072 markings, 22489473 edges, 90200 markings/sec, 120 secs
lola: 16860335 markings, 23694799 edges, 94453 markings/sec, 125 secs
lola: 17327052 markings, 24890679 edges, 93343 markings/sec, 130 secs
lola: 17769667 markings, 26103069 edges, 88523 markings/sec, 135 secs
lola: 18235211 markings, 27225326 edges, 93109 markings/sec, 140 secs
lola: 18651277 markings, 28370874 edges, 83213 markings/sec, 145 secs
lola: 19089411 markings, 29504310 edges, 87627 markings/sec, 150 secs
lola: 19523832 markings, 30637860 edges, 86884 markings/sec, 155 secs
lola: 19947537 markings, 31759054 edges, 84741 markings/sec, 160 secs
lola: 20392236 markings, 32873616 edges, 88940 markings/sec, 165 secs
lola: 20805580 markings, 33986619 edges, 82669 markings/sec, 170 secs
lola: 21249219 markings, 35065950 edges, 88728 markings/sec, 175 secs
lola: 21751169 markings, 36104290 edges, 100390 markings/sec, 180 secs
lola: 22194055 markings, 37197596 edges, 88577 markings/sec, 185 secs
lola: 22669123 markings, 38278164 edges, 95014 markings/sec, 190 secs
lola: 23149337 markings, 39342972 edges, 96043 markings/sec, 195 secs
lola: 23676725 markings, 40325155 edges, 105478 markings/sec, 200 secs
lola: 24056372 markings, 41455067 edges, 75929 markings/sec, 205 secs
lola: 24549147 markings, 42535289 edges, 98555 markings/sec, 210 secs
lola: 25029802 markings, 43587331 edges, 96131 markings/sec, 215 secs
lola: 25506850 markings, 44660155 edges, 95410 markings/sec, 220 secs
lola: 26046285 markings, 45840367 edges, 107887 markings/sec, 225 secs
lola: 26572155 markings, 46864435 edges, 105174 markings/sec, 230 secs
lola: 27123312 markings, 47949062 edges, 110231 markings/sec, 235 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1015287 markings, 1184283 edges, 203057 markings/sec, 0 secs
lola: 1967240 markings, 2420739 edges, 190391 markings/sec, 5 secs
lola: 2961563 markings, 3642487 edges, 198865 markings/sec, 10 secs
lola: 3905626 markings, 4844572 edges, 188813 markings/sec, 15 secs
lola: 4858966 markings, 5949895 edges, 190668 markings/sec, 20 secs
lola: 5724980 markings, 7100946 edges, 173203 markings/sec, 25 secs
lola: 6645689 markings, 8248824 edges, 184142 markings/sec, 30 secs
lola: 7591235 markings, 9377348 edges, 189109 markings/sec, 35 secs
lola: 8445791 markings, 10519435 edges, 170911 markings/sec, 40 secs
lola: 9329907 markings, 11701852 edges, 176823 markings/sec, 45 secs
lola: 10304927 markings, 12940894 edges, 195004 markings/sec, 50 secs
lola: 11263501 markings, 14154265 edges, 191715 markings/sec, 55 secs
lola: 12197981 markings, 15276866 edges, 186896 markings/sec, 60 secs
lola: 13114114 markings, 16407881 edges, 183227 markings/sec, 65 secs
lola: 13995325 markings, 17539706 edges, 176242 markings/sec, 70 secs
lola: 14925791 markings, 18676277 edges, 186093 markings/sec, 75 secs
lola: 15801811 markings, 19785997 edges, 175204 markings/sec, 80 secs
lola: 16637318 markings, 20874602 edges, 167101 markings/sec, 85 secs
lola: 17481445 markings, 21954512 edges, 168825 markings/sec, 90 secs
lola: 18319964 markings, 23024486 edges, 167704 markings/sec, 95 secs
lola: 19161301 markings, 24081891 edges, 168267 markings/sec, 100 secs
lola: 20074919 markings, 25126024 edges, 182724 markings/sec, 105 secs
lola: 20938275 markings, 26261731 edges, 172671 markings/sec, 110 secs
lola: 21750815 markings, 27385937 edges, 162508 markings/sec, 115 secs
lola: 22704580 markings, 28489840 edges, 190753 markings/sec, 120 secs
lola: 23522111 markings, 29634131 edges, 163506 markings/sec, 125 secs
lola: 24362456 markings, 30739431 edges, 168069 markings/sec, 130 secs
lola: 25284478 markings, 31902171 edges, 184404 markings/sec, 135 secs
lola: 26204039 markings, 33015637 edges, 183912 markings/sec, 140 secs
lola: 27111708 markings, 34125530 edges, 181534 markings/sec, 145 secs
lola: 28032298 markings, 35257034 edges, 184118 markings/sec, 150 secs
lola: 28956281 markings, 36398839 edges, 184797 markings/sec, 155 secs
lola: 29893857 markings, 37542524 edges, 187515 markings/sec, 160 secs
lola: 30820721 markings, 38694713 edges, 185373 markings/sec, 165 secs
lola: 31799138 markings, 39910415 edges, 195683 markings/sec, 170 secs
lola: 32751081 markings, 41092515 edges, 190389 markings/sec, 175 secs
lola: 33666125 markings, 42213399 edges, 183009 markings/sec, 180 secs
lola: 34548835 markings, 43336512 edges, 176542 markings/sec, 185 secs
lola: 35442713 markings, 44465465 edges, 178776 markings/sec, 190 secs
lola: 36367699 markings, 45600170 edges, 184997 markings/sec, 195 secs
lola: 37218953 markings, 46737920 edges, 170251 markings/sec, 200 secs
lola: 38090290 markings, 47873486 edges, 174267 markings/sec, 205 secs
lola: 39021241 markings, 49043700 edges, 186190 markings/sec, 210 secs
lola: 40002790 markings, 50251377 edges, 196310 markings/sec, 215 secs
lola: 40934439 markings, 51438927 edges, 186330 markings/sec, 220 secs
lola: 41837949 markings, 52536688 edges, 180702 markings/sec, 225 secs
lola: 42703353 markings, 53651534 edges, 173081 markings/sec, 230 secs
lola: 43615078 markings, 54764166 edges, 182345 markings/sec, 235 secs
lola: 44498708 markings, 55868835 edges, 176726 markings/sec, 240 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 246 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p329)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 913266 markings, 1294759 edges, 182653 markings/sec, 0 secs
lola: 1856202 markings, 2580762 edges, 188587 markings/sec, 5 secs
lola: 2425474 markings, 3898732 edges, 113854 markings/sec, 10 secs
lola: 2997646 markings, 5102372 edges, 114434 markings/sec, 15 secs
lola: 3777206 markings, 6334402 edges, 155912 markings/sec, 20 secs
lola: 4511449 markings, 7537626 edges, 146849 markings/sec, 25 secs
lola: 5041638 markings, 8842298 edges, 106038 markings/sec, 30 secs
lola: 5550301 markings, 10072975 edges, 101733 markings/sec, 35 secs
lola: 6043876 markings, 11254298 edges, 98715 markings/sec, 40 secs
lola: 6530442 markings, 12421245 edges, 97313 markings/sec, 45 secs
lola: 7055612 markings, 13614525 edges, 105034 markings/sec, 50 secs
lola: 7688184 markings, 14826796 edges, 126514 markings/sec, 55 secs
lola: 8510358 markings, 16076070 edges, 164435 markings/sec, 60 secs
lola: 9433001 markings, 17260706 edges, 184529 markings/sec, 65 secs
lola: 10374914 markings, 18434597 edges, 188383 markings/sec, 70 secs
lola: 11316231 markings, 19601079 edges, 188263 markings/sec, 75 secs
lola: 12241742 markings, 20777806 edges, 185102 markings/sec, 80 secs
lola: 13208875 markings, 21967848 edges, 193427 markings/sec, 85 secs
lola: 14127834 markings, 23111260 edges, 183792 markings/sec, 90 secs
lola: 15050058 markings, 24248077 edges, 184445 markings/sec, 95 secs
lola: 15951340 markings, 25368273 edges, 180256 markings/sec, 100 secs
lola: 16862670 markings, 26494843 edges, 182266 markings/sec, 105 secs
lola: 17777943 markings, 27712850 edges, 183055 markings/sec, 110 secs
lola: 18285247 markings, 28985341 edges, 101461 markings/sec, 115 secs
lola: 18869920 markings, 30166874 edges, 116935 markings/sec, 120 secs
lola: 19685838 markings, 31387187 edges, 163184 markings/sec, 125 secs
lola: 20311175 markings, 32652136 edges, 125067 markings/sec, 130 secs
lola: 20751226 markings, 33842206 edges, 88010 markings/sec, 135 secs
lola: 21254517 markings, 35039777 edges, 100658 markings/sec, 140 secs
lola: 21767994 markings, 36218538 edges, 102695 markings/sec, 145 secs
lola: 22351269 markings, 37400294 edges, 116655 markings/sec, 150 secs
lola: 22933683 markings, 38561317 edges, 116483 markings/sec, 155 secs
lola: 23916374 markings, 39719967 edges, 196538 markings/sec, 160 secs
lola: 24843216 markings, 40890419 edges, 185368 markings/sec, 165 secs
lola: 25834544 markings, 42100813 edges, 198266 markings/sec, 170 secs
lola: 26773960 markings, 43285972 edges, 187883 markings/sec, 175 secs
lola: 27709281 markings, 44462970 edges, 187064 markings/sec, 180 secs
lola: 28617857 markings, 45604860 edges, 181715 markings/sec, 185 secs
lola: 29554923 markings, 46746165 edges, 187413 markings/sec, 190 secs
lola: 30488813 markings, 47893189 edges, 186778 markings/sec, 195 secs
lola: 31399778 markings, 49017248 edges, 182193 markings/sec, 200 secs
lola: 32168135 markings, 50331336 edges, 153671 markings/sec, 205 secs
lola: 32698574 markings, 51546455 edges, 106088 markings/sec, 210 secs
lola: 33358271 markings, 52720651 edges, 131939 markings/sec, 215 secs
lola: 34179737 markings, 53967484 edges, 164293 markings/sec, 220 secs
lola: 34668121 markings, 55222698 edges, 97677 markings/sec, 225 secs
lola: 35121313 markings, 56403830 edges, 90638 markings/sec, 230 secs
lola: 35628714 markings, 57581158 edges, 101480 markings/sec, 235 secs
lola: 36181252 markings, 58733972 edges, 110508 markings/sec, 240 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 245 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p257)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 927516 markings, 1109223 edges, 185503 markings/sec, 0 secs
lola: 1796771 markings, 2168298 edges, 173851 markings/sec, 5 secs
lola: 2580660 markings, 3007651 edges, 156778 markings/sec, 10 secs
lola: 3351886 markings, 3818592 edges, 154245 markings/sec, 15 secs
lola: 4097891 markings, 4605222 edges, 149201 markings/sec, 20 secs
lola: 4857878 markings, 5409147 edges, 151997 markings/sec, 25 secs
lola: 5619820 markings, 6296404 edges, 152388 markings/sec, 30 secs
lola: 6422666 markings, 7280692 edges, 160569 markings/sec, 35 secs
lola: 7149399 markings, 8107850 edges, 145347 markings/sec, 40 secs
lola: 7884799 markings, 8894184 edges, 147080 markings/sec, 45 secs
lola: 8647264 markings, 9804284 edges, 152493 markings/sec, 50 secs
lola: 9384001 markings, 10656565 edges, 147347 markings/sec, 55 secs
lola: 10144844 markings, 11511144 edges, 152169 markings/sec, 60 secs
lola: 10981619 markings, 12435447 edges, 167355 markings/sec, 65 secs
lola: 11757001 markings, 13271091 edges, 155076 markings/sec, 70 secs
lola: 12528542 markings, 14073976 edges, 154308 markings/sec, 75 secs
lola: 13308126 markings, 14885555 edges, 155917 markings/sec, 80 secs
lola: 14087081 markings, 15699786 edges, 155791 markings/sec, 85 secs
lola: 14859184 markings, 16520957 edges, 154421 markings/sec, 90 secs
lola: 15632091 markings, 17471648 edges, 154581 markings/sec, 95 secs
lola: 16374952 markings, 18280706 edges, 148572 markings/sec, 100 secs
lola: 17127300 markings, 19073874 edges, 150470 markings/sec, 105 secs
lola: 17887872 markings, 19887920 edges, 152114 markings/sec, 110 secs
lola: 18657004 markings, 20784620 edges, 153826 markings/sec, 115 secs
lola: 19416935 markings, 21605838 edges, 151986 markings/sec, 120 secs
lola: 20243264 markings, 22518650 edges, 165266 markings/sec, 125 secs
lola: 21062838 markings, 23403864 edges, 163915 markings/sec, 130 secs
lola: 21850338 markings, 24220960 edges, 157500 markings/sec, 135 secs
lola: 22622167 markings, 25053950 edges, 154366 markings/sec, 140 secs
lola: 23392364 markings, 25872184 edges, 154039 markings/sec, 145 secs
lola: 24163428 markings, 26694884 edges, 154213 markings/sec, 150 secs
lola: 24982990 markings, 27568913 edges, 163912 markings/sec, 155 secs
lola: 25698057 markings, 28357995 edges, 143013 markings/sec, 160 secs
lola: 26464504 markings, 29188216 edges, 153289 markings/sec, 165 secs
lola: 27251008 markings, 29997566 edges, 157301 markings/sec, 170 secs
lola: 28032632 markings, 30800803 edges, 156325 markings/sec, 175 secs
lola: 28812068 markings, 31653464 edges, 155887 markings/sec, 180 secs
lola: 29551011 markings, 32448033 edges, 147789 markings/sec, 185 secs
lola: 30309620 markings, 33238267 edges, 151722 markings/sec, 190 secs
lola: 31059209 markings, 34060416 edges, 149918 markings/sec, 195 secs
lola: 31881999 markings, 34941738 edges, 164558 markings/sec, 200 secs
lola: 32698311 markings, 35785518 edges, 163262 markings/sec, 205 secs
lola: 33499004 markings, 36661459 edges, 160139 markings/sec, 210 secs
lola: 34264427 markings, 37473798 edges, 153085 markings/sec, 215 secs
lola: 35048464 markings, 38339948 edges, 156807 markings/sec, 220 secs
lola: 35868300 markings, 39312285 edges, 163967 markings/sec, 225 secs
lola: 36383183 markings, 40512257 edges, 102977 markings/sec, 230 secs
lola: 36965006 markings, 41635829 edges, 116365 markings/sec, 235 secs
lola: 37597752 markings, 42869728 edges, 126549 markings/sec, 240 secs
lola: 38294115 markings, 44021541 edges, 139273 markings/sec, 245 secs
lola: 39010893 markings, 45192971 edges, 143356 markings/sec, 250 secs
lola: 39773272 markings, 46403046 edges, 152476 markings/sec, 255 secs
lola: 40523176 markings, 47605581 edges, 149981 markings/sec, 260 secs
lola: 41289249 markings, 48829816 edges, 153215 markings/sec, 265 secs
lola: 42045106 markings, 50024053 edges, 151171 markings/sec, 270 secs
lola: 42775742 markings, 51186334 edges, 146127 markings/sec, 275 secs
lola: 43521622 markings, 52255106 edges, 149176 markings/sec, 280 secs
lola: 44382768 markings, 53212206 edges, 172229 markings/sec, 285 secs
lola: 45162664 markings, 54108571 edges, 155979 markings/sec, 290 secs
lola: 45922112 markings, 54992421 edges, 151890 markings/sec, 295 secs
lola: 46683432 markings, 55817292 edges, 152264 markings/sec, 300 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 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p312)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 1093993 markings, 1247777 edges, 218799 markings/sec, 0 secs
lola: 2018622 markings, 2457580 edges, 184926 markings/sec, 5 secs
lola: 3050823 markings, 3660001 edges, 206440 markings/sec, 10 secs
lola: 3856661 markings, 4925265 edges, 161168 markings/sec, 15 secs
lola: 4379804 markings, 6109440 edges, 104629 markings/sec, 20 secs
lola: 5078781 markings, 7251319 edges, 139795 markings/sec, 25 secs
lola: 6062124 markings, 8435908 edges, 196669 markings/sec, 30 secs
lola: 6903314 markings, 9587368 edges, 168238 markings/sec, 35 secs
lola: 7537057 markings, 10795986 edges, 126749 markings/sec, 40 secs
lola: 8110110 markings, 11992079 edges, 114611 markings/sec, 45 secs
lola: 8624979 markings, 13123095 edges, 102974 markings/sec, 50 secs
lola: 9163451 markings, 14249692 edges, 107694 markings/sec, 55 secs
lola: 9714849 markings, 15396245 edges, 110280 markings/sec, 60 secs
lola: 10487449 markings, 16573241 edges, 154520 markings/sec, 65 secs
lola: 11420273 markings, 17756263 edges, 186565 markings/sec, 70 secs
lola: 12322094 markings, 18933061 edges, 180364 markings/sec, 75 secs
lola: 13282595 markings, 20098554 edges, 192100 markings/sec, 80 secs
lola: 14202208 markings, 21242758 edges, 183923 markings/sec, 85 secs
lola: 15133527 markings, 22431612 edges, 186264 markings/sec, 90 secs
lola: 16041951 markings, 23573716 edges, 181685 markings/sec, 95 secs
lola: 16948650 markings, 24703588 edges, 181340 markings/sec, 100 secs
lola: 17849176 markings, 25818588 edges, 180105 markings/sec, 105 secs
lola: 18748747 markings, 26926873 edges, 179914 markings/sec, 110 secs
lola: 19761289 markings, 28078087 edges, 202508 markings/sec, 115 secs
lola: 20341029 markings, 29291136 edges, 115948 markings/sec, 120 secs
lola: 20904169 markings, 30444787 edges, 112628 markings/sec, 125 secs
lola: 21681915 markings, 31550836 edges, 155549 markings/sec, 130 secs
lola: 22641985 markings, 32718832 edges, 192014 markings/sec, 135 secs
lola: 23389315 markings, 33919280 edges, 149466 markings/sec, 140 secs
lola: 23819484 markings, 35051176 edges, 86034 markings/sec, 145 secs
lola: 24343394 markings, 36196554 edges, 104782 markings/sec, 150 secs
lola: 24901754 markings, 37329270 edges, 111672 markings/sec, 155 secs
lola: 25442112 markings, 38407062 edges, 108072 markings/sec, 160 secs
lola: 26303273 markings, 39555099 edges, 172232 markings/sec, 165 secs
lola: 27230490 markings, 40703442 edges, 185443 markings/sec, 170 secs
lola: 28174576 markings, 41859998 edges, 188817 markings/sec, 175 secs
lola: 29096624 markings, 43044887 edges, 184410 markings/sec, 180 secs
lola: 30003135 markings, 44182821 edges, 181302 markings/sec, 185 secs
lola: 30911789 markings, 45311214 edges, 181731 markings/sec, 190 secs
lola: 31816114 markings, 46425874 edges, 180865 markings/sec, 195 secs
lola: 32705614 markings, 47524675 edges, 177900 markings/sec, 200 secs
lola: 33677996 markings, 48723083 edges, 194476 markings/sec, 205 secs
lola: 34182509 markings, 49952434 edges, 100903 markings/sec, 210 secs
lola: 34808061 markings, 51090330 edges, 125110 markings/sec, 215 secs
lola: 35642487 markings, 52189669 edges, 166885 markings/sec, 220 secs
lola: 36657501 markings, 53387958 edges, 203003 markings/sec, 225 secs
lola: 37247649 markings, 54587212 edges, 118030 markings/sec, 230 secs
lola: 37676725 markings, 55724467 edges, 85815 markings/sec, 235 secs
lola: 38232859 markings, 56873236 edges, 111227 markings/sec, 240 secs
lola: 38837391 markings, 57991620 edges, 120906 markings/sec, 245 secs
lola: 39418865 markings, 59104130 edges, 116295 markings/sec, 250 secs
lola: 40347109 markings, 60259185 edges, 185649 markings/sec, 255 secs
lola: 41243053 markings, 61385310 edges, 179189 markings/sec, 260 secs
lola: 42213159 markings, 62579158 edges, 194021 markings/sec, 265 secs
lola: 43115697 markings, 63733914 edges, 180508 markings/sec, 270 secs
lola: 44014016 markings, 64859569 edges, 179664 markings/sec, 275 secs
lola: 44904910 markings, 65964395 edges, 178179 markings/sec, 280 secs
lola: 45793762 markings, 67059912 edges, 177770 markings/sec, 285 secs
lola: 46733810 markings, 68157190 edges, 188010 markings/sec, 290 secs
lola: 47532297 markings, 69350000 edges, 159697 markings/sec, 295 secs
lola: 48051670 markings, 70568315 edges, 103875 markings/sec, 300 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 307 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p266)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 615 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p364)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 44 bytes per marking, with 18 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: 957411 markings, 1165234 edges, 191482 markings/sec, 0 secs
lola: 1838966 markings, 2271677 edges, 176311 markings/sec, 5 secs
lola: 2715771 markings, 3384616 edges, 175361 markings/sec, 10 secs
lola: 3590305 markings, 4513816 edges, 174907 markings/sec, 15 secs
lola: 4472117 markings, 5619952 edges, 176362 markings/sec, 20 secs
lola: 5348223 markings, 6736219 edges, 175221 markings/sec, 25 secs
lola: 6231865 markings, 7862626 edges, 176728 markings/sec, 30 secs
lola: 7113252 markings, 8987404 edges, 176277 markings/sec, 35 secs
lola: 7991627 markings, 10094985 edges, 175675 markings/sec, 40 secs
lola: 8872145 markings, 11212327 edges, 176104 markings/sec, 45 secs
lola: 9759325 markings, 12339135 edges, 177436 markings/sec, 50 secs
lola: 10513391 markings, 13160097 edges, 150813 markings/sec, 55 secs
lola: 11253229 markings, 13972960 edges, 147968 markings/sec, 60 secs
lola: 12057757 markings, 14801223 edges, 160906 markings/sec, 65 secs
lola: 12846851 markings, 15612656 edges, 157819 markings/sec, 70 secs
lola: 13621375 markings, 16443276 edges, 154905 markings/sec, 75 secs
lola: 14388938 markings, 17279425 edges, 153513 markings/sec, 80 secs
lola: 15145621 markings, 18068709 edges, 151337 markings/sec, 85 secs
lola: 15900378 markings, 18881307 edges, 150951 markings/sec, 90 secs
lola: 16693165 markings, 19736435 edges, 158557 markings/sec, 95 secs
lola: 17497005 markings, 20577700 edges, 160768 markings/sec, 100 secs
lola: 18276514 markings, 21402383 edges, 155902 markings/sec, 105 secs
lola: 19050509 markings, 22250761 edges, 154799 markings/sec, 110 secs
lola: 19824245 markings, 23096288 edges, 154747 markings/sec, 115 secs
lola: 20622704 markings, 24023761 edges, 159692 markings/sec, 120 secs
lola: 21189082 markings, 25220907 edges, 113276 markings/sec, 125 secs
lola: 21752366 markings, 26393965 edges, 112657 markings/sec, 130 secs
lola: 22468466 markings, 27658685 edges, 143220 markings/sec, 135 secs
lola: 23217196 markings, 28899723 edges, 149746 markings/sec, 140 secs
lola: 24032848 markings, 30170352 edges, 163130 markings/sec, 145 secs
lola: 24785192 markings, 31173409 edges, 150469 markings/sec, 150 secs
lola: 25515753 markings, 31959550 edges, 146112 markings/sec, 155 secs
lola: 26248006 markings, 32733383 edges, 146451 markings/sec, 160 secs
lola: 26963731 markings, 33513987 edges, 143145 markings/sec, 165 secs
lola: 27588644 markings, 34615021 edges, 124983 markings/sec, 170 secs
lola: 28356060 markings, 35627489 edges, 153483 markings/sec, 175 secs
lola: 29022745 markings, 36743292 edges, 133337 markings/sec, 180 secs
lola: 29606509 markings, 37956716 edges, 116753 markings/sec, 185 secs
lola: 30268735 markings, 39107089 edges, 132445 markings/sec, 190 secs
lola: 30956412 markings, 40219149 edges, 137535 markings/sec, 195 secs
lola: 31478280 markings, 41441652 edges, 104374 markings/sec, 200 secs
lola: 32106617 markings, 42552249 edges, 125667 markings/sec, 205 secs
lola: 32933533 markings, 43609743 edges, 165383 markings/sec, 210 secs
lola: 33535349 markings, 44705803 edges, 120363 markings/sec, 215 secs
lola: 34364228 markings, 45852296 edges, 165776 markings/sec, 220 secs
lola: 35134321 markings, 46729569 edges, 154019 markings/sec, 225 secs
lola: 35865783 markings, 47541175 edges, 146292 markings/sec, 230 secs
lola: 36664616 markings, 48540769 edges, 159767 markings/sec, 235 secs
lola: 37248135 markings, 49692030 edges, 116704 markings/sec, 240 secs
lola: 37796193 markings, 50867628 edges, 109612 markings/sec, 245 secs
lola: 38344135 markings, 52047775 edges, 109588 markings/sec, 250 secs
lola: 38944422 markings, 53160972 edges, 120057 markings/sec, 255 secs
lola: 39473298 markings, 54388315 edges, 105775 markings/sec, 260 secs
lola: 40045795 markings, 55537542 edges, 114499 markings/sec, 265 secs
lola: 40593230 markings, 56663821 edges, 109487 markings/sec, 270 secs
lola: 41154091 markings, 57811070 edges, 112172 markings/sec, 275 secs
lola: 41778039 markings, 58870468 edges, 124790 markings/sec, 280 secs
lola: 42329066 markings, 60004123 edges, 110205 markings/sec, 285 secs
lola: 42991977 markings, 61030325 edges, 132582 markings/sec, 290 secs
lola: 43650193 markings, 62162138 edges, 131643 markings/sec, 295 secs
lola: 44188583 markings, 63268955 edges, 107678 markings/sec, 300 secs
lola: 44735023 markings, 64393512 edges, 109288 markings/sec, 305 secs
lola: 45417562 markings, 65420446 edges, 136508 markings/sec, 310 secs
lola: 45948822 markings, 66513924 edges, 106252 markings/sec, 315 secs
lola: 46595879 markings, 67556420 edges, 129411 markings/sec, 320 secs
lola: 47147324 markings, 68654640 edges, 110289 markings/sec, 325 secs
lola: 47718842 markings, 69706230 edges, 114304 markings/sec, 330 secs
lola: 48496249 markings, 70789660 edges, 155481 markings/sec, 335 secs
lola: 49245402 markings, 71782567 edges, 149831 markings/sec, 340 secs
lola: 49856470 markings, 72759698 edges, 122214 markings/sec, 345 secs
lola: 50382120 markings, 73839085 edges, 105130 markings/sec, 350 secs
lola: 50955723 markings, 74863325 edges, 114721 markings/sec, 355 secs
lola: 51654797 markings, 75596775 edges, 139815 markings/sec, 360 secs
lola: 52273116 markings, 76499573 edges, 123664 markings/sec, 365 secs
lola: 52854658 markings, 77467561 edges, 116308 markings/sec, 370 secs
lola: 53474774 markings, 78358157 edges, 124023 markings/sec, 375 secs
lola: 54045845 markings, 79328958 edges, 114214 markings/sec, 380 secs
lola: 54749779 markings, 80168745 edges, 140787 markings/sec, 385 secs
lola: 55465716 markings, 81149441 edges, 143187 markings/sec, 390 secs
lola: 56159657 markings, 81956394 edges, 138788 markings/sec, 395 secs
lola: 56885833 markings, 82798414 edges, 145235 markings/sec, 400 secs
lola: 57601060 markings, 83598426 edges, 143045 markings/sec, 405 secs
lola: 58345720 markings, 84504034 edges, 148932 markings/sec, 410 secs
lola: 59057355 markings, 85279291 edges, 142327 markings/sec, 415 secs
lola: 59821979 markings, 86119180 edges, 152925 markings/sec, 420 secs
lola: 60619032 markings, 86988988 edges, 159411 markings/sec, 425 secs
lola: 61382446 markings, 87775943 edges, 152683 markings/sec, 430 secs
lola: 62130648 markings, 88586743 edges, 149640 markings/sec, 435 secs
lola: 62891520 markings, 89401001 edges, 152174 markings/sec, 440 secs
lola: 63669726 markings, 90209799 edges, 155641 markings/sec, 445 secs
lola: 64448213 markings, 91038437 edges, 155697 markings/sec, 450 secs
lola: 65208400 markings, 91861020 edges, 152037 markings/sec, 455 secs
lola: 65987129 markings, 92692737 edges, 155746 markings/sec, 460 secs
lola: 66766815 markings, 93608219 edges, 155937 markings/sec, 465 secs
lola: 67324778 markings, 94801020 edges, 111593 markings/sec, 470 secs
lola: 67897659 markings, 95982885 edges, 114576 markings/sec, 475 secs
lola: 68457391 markings, 97186882 edges, 111946 markings/sec, 480 secs
lola: 69254756 markings, 98491198 edges, 159473 markings/sec, 485 secs
lola: 70027820 markings, 99717365 edges, 154613 markings/sec, 490 secs
lola: 70788255 markings, 100619692 edges, 152087 markings/sec, 495 secs
lola: 71520648 markings, 101411648 edges, 146479 markings/sec, 500 secs
lola: 72268930 markings, 102199325 edges, 149656 markings/sec, 505 secs
lola: 73004964 markings, 103230759 edges, 147207 markings/sec, 510 secs
lola: 73643572 markings, 104419462 edges, 127722 markings/sec, 515 secs
lola: 74249264 markings, 105598586 edges, 121138 markings/sec, 520 secs
lola: 74991176 markings, 106643595 edges, 148382 markings/sec, 525 secs
lola: 75757678 markings, 107673509 edges, 153300 markings/sec, 530 secs
lola: 76295283 markings, 108907164 edges, 107521 markings/sec, 535 secs
lola: 76876341 markings, 110075535 edges, 116212 markings/sec, 540 secs
lola: 77450087 markings, 111230861 edges, 114749 markings/sec, 545 secs
lola: 78012924 markings, 112459523 edges, 112567 markings/sec, 550 secs
lola: 78604755 markings, 113636643 edges, 118366 markings/sec, 555 secs
lola: 79193049 markings, 114882108 edges, 117659 markings/sec, 560 secs
lola: 79799976 markings, 116072101 edges, 121385 markings/sec, 565 secs
lola: 80363051 markings, 117220497 edges, 112615 markings/sec, 570 secs
lola: 80940527 markings, 118390817 edges, 115495 markings/sec, 575 secs
lola: 81550759 markings, 119477682 edges, 122046 markings/sec, 580 secs
lola: 82139582 markings, 120627879 edges, 117765 markings/sec, 585 secs
lola: 82704630 markings, 121780920 edges, 113010 markings/sec, 590 secs
lola: 83394663 markings, 122789711 edges, 138007 markings/sec, 595 secs
lola: 83984690 markings, 123926810 edges, 118005 markings/sec, 600 secs
lola: 84632983 markings, 125032436 edges, 129659 markings/sec, 605 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown 1
FORMULA DES-PT-30b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-30b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496456693928

--------------------
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="S_DES-PT-30b"
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/S_DES-PT-30b.tgz
mv S_DES-PT-30b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-30b, 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 r098-ebro-149488455700290"
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 ;