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