About the Execution of LoLA for DNAwalker-PT-09ringLR
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1765.820 | 3229770.00 | 3235550.00 | 1497.60 | ? ? 2 ? 2 1 2 2 ? ? ? ? ? ? 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-3254
Executing tool lola
Input is DNAwalker-PT-09ringLR, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263900074
=====================================================================
--------------------
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 DNAwalker-PT-09ringLR-UpperBounds-0
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-1
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-10
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-11
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-12
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-13
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-14
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-15
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-2
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-3
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-4
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-5
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-6
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-7
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-8
FORMULA_NAME DNAwalker-PT-09ringLR-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494660018270
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-09ringLR @ 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: 287/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 27 places, 260 transitions, 27 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 163 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-09ringLR-UpperBounds.task
lola: MAX(A4) : MAX(A12) : MAX(A2) : MAX(A5) : MAX(A5) : MAX(A6) : MAX(A13) : MAX(A16) : MAX(B2) : MAX(A6) : MAX(A12) : MAX(A8) : MAX(A14) : MAX(B20) : MAX(A12) : MAX(A16)
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(A4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 459206 markings, 2428916 edges, 91841 markings/sec, 0 secs
lola: 888998 markings, 4922357 edges, 85958 markings/sec, 5 secs
lola: 1310446 markings, 7295101 edges, 84290 markings/sec, 10 secs
lola: 1705270 markings, 9892775 edges, 78965 markings/sec, 15 secs
lola: 2093359 markings, 12676735 edges, 77618 markings/sec, 20 secs
lola: 2487653 markings, 15463580 edges, 78859 markings/sec, 25 secs
lola: 2862605 markings, 18538281 edges, 74990 markings/sec, 30 secs
lola: 3266584 markings, 21147640 edges, 80796 markings/sec, 35 secs
lola: 3641420 markings, 23767451 edges, 74967 markings/sec, 40 secs
lola: 4006417 markings, 26643760 edges, 72999 markings/sec, 45 secs
lola: 4357569 markings, 29639377 edges, 70230 markings/sec, 50 secs
lola: 4728597 markings, 32279730 edges, 74206 markings/sec, 55 secs
lola: 5084544 markings, 35098483 edges, 71189 markings/sec, 60 secs
lola: 5445313 markings, 37873492 edges, 72154 markings/sec, 65 secs
lola: 5777216 markings, 40538906 edges, 66381 markings/sec, 70 secs
lola: 6093319 markings, 43293652 edges, 63221 markings/sec, 75 secs
lola: 6358344 markings, 45701493 edges, 53005 markings/sec, 80 secs
lola: 6793690 markings, 48027806 edges, 87069 markings/sec, 85 secs
lola: 7183369 markings, 50535849 edges, 77936 markings/sec, 90 secs
lola: 7560063 markings, 53208894 edges, 75339 markings/sec, 95 secs
lola: 7894669 markings, 55241930 edges, 66921 markings/sec, 100 secs
lola: 8276541 markings, 57831188 edges, 76374 markings/sec, 105 secs
lola: 8629375 markings, 60361589 edges, 70567 markings/sec, 110 secs
lola: 8965858 markings, 63111983 edges, 67297 markings/sec, 115 secs
lola: 9378764 markings, 65424107 edges, 82581 markings/sec, 120 secs
lola: 9813729 markings, 67733626 edges, 86993 markings/sec, 125 secs
lola: 10218647 markings, 70235115 edges, 80984 markings/sec, 130 secs
lola: 10606965 markings, 72746876 edges, 77664 markings/sec, 135 secs
lola: 10994109 markings, 75229487 edges, 77429 markings/sec, 140 secs
lola: 11342055 markings, 77771272 edges, 69589 markings/sec, 145 secs
lola: 11685556 markings, 80257218 edges, 68700 markings/sec, 150 secs
lola: 12020669 markings, 82798470 edges, 67023 markings/sec, 155 secs
lola: 12341705 markings, 85397785 edges, 64207 markings/sec, 160 secs
lola: 12650341 markings, 88149633 edges, 61727 markings/sec, 165 secs
lola: 12957628 markings, 90814698 edges, 61457 markings/sec, 170 secs
lola: 13335369 markings, 93418307 edges, 75548 markings/sec, 175 secs
lola: 13742107 markings, 95900140 edges, 81348 markings/sec, 180 secs
lola: 14126403 markings, 98440400 edges, 76859 markings/sec, 185 secs
lola: 14475854 markings, 101021242 edges, 69890 markings/sec, 190 secs
lola: 14800943 markings, 103570055 edges, 65018 markings/sec, 195 secs
lola: 15107516 markings, 106238961 edges, 61315 markings/sec, 200 secs
lola: 15485678 markings, 108774284 edges, 75632 markings/sec, 205 secs
lola: 15847732 markings, 111290496 edges, 72411 markings/sec, 210 secs
lola: 16171837 markings, 113830334 edges, 64821 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(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 572783 markings, 2403698 edges, 114557 markings/sec, 0 secs
lola: 1144260 markings, 4829585 edges, 114295 markings/sec, 5 secs
lola: 1727023 markings, 7174576 edges, 116553 markings/sec, 10 secs
lola: 2233945 markings, 9488681 edges, 101384 markings/sec, 15 secs
lola: 2826559 markings, 11951202 edges, 118523 markings/sec, 20 secs
lola: 3340923 markings, 14592335 edges, 102873 markings/sec, 25 secs
lola: 3870495 markings, 17173176 edges, 105914 markings/sec, 30 secs
lola: 4372532 markings, 19663518 edges, 100407 markings/sec, 35 secs
lola: 4797819 markings, 22343944 edges, 85057 markings/sec, 40 secs
lola: 5299946 markings, 24918919 edges, 100425 markings/sec, 45 secs
lola: 5759632 markings, 27539957 edges, 91937 markings/sec, 50 secs
lola: 6257965 markings, 30116436 edges, 99667 markings/sec, 55 secs
lola: 6680289 markings, 32806667 edges, 84465 markings/sec, 60 secs
lola: 7217657 markings, 35238867 edges, 107474 markings/sec, 65 secs
lola: 7741476 markings, 37595768 edges, 104764 markings/sec, 70 secs
lola: 8301252 markings, 40151232 edges, 111955 markings/sec, 75 secs
lola: 8824413 markings, 42721424 edges, 104632 markings/sec, 80 secs
lola: 9275571 markings, 45381364 edges, 90232 markings/sec, 85 secs
lola: 9743412 markings, 47987377 edges, 93568 markings/sec, 90 secs
lola: 10232170 markings, 50590735 edges, 97752 markings/sec, 95 secs
lola: 10790095 markings, 53117601 edges, 111585 markings/sec, 100 secs
lola: 11324096 markings, 55555595 edges, 106800 markings/sec, 105 secs
lola: 11794725 markings, 58039367 edges, 94126 markings/sec, 110 secs
lola: 12284879 markings, 60395919 edges, 98031 markings/sec, 115 secs
lola: 12773518 markings, 62878415 edges, 97728 markings/sec, 120 secs
lola: 13206304 markings, 65371027 edges, 86557 markings/sec, 125 secs
lola: 13869837 markings, 67824754 edges, 132707 markings/sec, 130 secs
lola: 14444295 markings, 70354147 edges, 114892 markings/sec, 135 secs
lola: 14888535 markings, 72975773 edges, 88848 markings/sec, 140 secs
lola: 15309492 markings, 75719807 edges, 84191 markings/sec, 145 secs
lola: 15839949 markings, 78367642 edges, 106091 markings/sec, 150 secs
lola: 16402784 markings, 80998476 edges, 112567 markings/sec, 155 secs
lola: 16859636 markings, 83632921 edges, 91370 markings/sec, 160 secs
lola: 17365774 markings, 86436555 edges, 101228 markings/sec, 165 secs
lola: 17827543 markings, 89282543 edges, 92354 markings/sec, 170 secs
lola: 18239690 markings, 92201564 edges, 82429 markings/sec, 175 secs
lola: 18660330 markings, 95038520 edges, 84128 markings/sec, 180 secs
lola: 19120125 markings, 97816724 edges, 91959 markings/sec, 185 secs
lola: 19626181 markings, 100535729 edges, 101211 markings/sec, 190 secs
lola: 20111816 markings, 103211286 edges, 97127 markings/sec, 195 secs
lola: 20516964 markings, 105884041 edges, 81030 markings/sec, 200 secs
lola: 20947516 markings, 108461616 edges, 86110 markings/sec, 205 secs
lola: 21391402 markings, 111155852 edges, 88777 markings/sec, 210 secs
lola: 21804770 markings, 113801838 edges, 82674 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(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 462067 markings, 2228784 edges, 92413 markings/sec, 0 secs
lola: 878517 markings, 4587012 edges, 83290 markings/sec, 5 secs
lola: 1310447 markings, 6896353 edges, 86386 markings/sec, 10 secs
lola: 1715187 markings, 9301141 edges, 80948 markings/sec, 15 secs
lola: 2095494 markings, 11727125 edges, 76061 markings/sec, 20 secs
lola: 2500722 markings, 14435988 edges, 81046 markings/sec, 25 secs
lola: 2880438 markings, 17180596 edges, 75943 markings/sec, 30 secs
lola: 3273046 markings, 19664746 edges, 78522 markings/sec, 35 secs
lola: 3700568 markings, 22096845 edges, 85504 markings/sec, 40 secs
lola: 4099337 markings, 24650767 edges, 79754 markings/sec, 45 secs
lola: 4484837 markings, 27219461 edges, 77100 markings/sec, 50 secs
lola: 4846144 markings, 29801955 edges, 72261 markings/sec, 55 secs
lola: 5255614 markings, 32177502 edges, 81894 markings/sec, 60 secs
lola: 5654601 markings, 34835848 edges, 79797 markings/sec, 65 secs
lola: 6037399 markings, 37636339 edges, 76560 markings/sec, 70 secs
lola: 6408055 markings, 40399392 edges, 74131 markings/sec, 75 secs
lola: 6758005 markings, 43033603 edges, 69990 markings/sec, 80 secs
lola: 7158127 markings, 45425371 edges, 80024 markings/sec, 85 secs
lola: 7539142 markings, 47968651 edges, 76203 markings/sec, 90 secs
lola: 7912393 markings, 50493771 edges, 74650 markings/sec, 95 secs
lola: 8277214 markings, 53113492 edges, 72964 markings/sec, 100 secs
lola: 8630578 markings, 56002493 edges, 70673 markings/sec, 105 secs
lola: 9014900 markings, 58484885 edges, 76864 markings/sec, 110 secs
lola: 9398430 markings, 60898570 edges, 76706 markings/sec, 115 secs
lola: 9758661 markings, 63562457 edges, 72046 markings/sec, 120 secs
lola: 10107429 markings, 66270880 edges, 69754 markings/sec, 125 secs
lola: 10445816 markings, 68979275 edges, 67677 markings/sec, 130 secs
lola: 10764332 markings, 71621288 edges, 63703 markings/sec, 135 secs
lola: 11099192 markings, 74103921 edges, 66972 markings/sec, 140 secs
lola: 11450123 markings, 76580125 edges, 70186 markings/sec, 145 secs
lola: 11792891 markings, 79015609 edges, 68554 markings/sec, 150 secs
lola: 12115282 markings, 81532655 edges, 64478 markings/sec, 155 secs
lola: 12449405 markings, 84062121 edges, 66825 markings/sec, 160 secs
lola: 12785231 markings, 86605634 edges, 67165 markings/sec, 165 secs
lola: 13097772 markings, 89165660 edges, 62508 markings/sec, 170 secs
lola: 13400389 markings, 91632345 edges, 60523 markings/sec, 175 secs
lola: 13726058 markings, 94324946 edges, 65134 markings/sec, 180 secs
lola: 14041387 markings, 97148429 edges, 63066 markings/sec, 185 secs
lola: 14353567 markings, 99994797 edges, 62436 markings/sec, 190 secs
lola: 14648221 markings, 102830681 edges, 58931 markings/sec, 195 secs
lola: 14924662 markings, 105524959 edges, 55288 markings/sec, 200 secs
lola: 15287521 markings, 108224137 edges, 72572 markings/sec, 205 secs
lola: 15623950 markings, 111032004 edges, 67286 markings/sec, 210 secs
lola: 15970054 markings, 113685685 edges, 69221 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(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 452308 markings, 2572713 edges, 90462 markings/sec, 0 secs
lola: 859503 markings, 5311955 edges, 81439 markings/sec, 5 secs
lola: 1276474 markings, 7893622 edges, 83394 markings/sec, 10 secs
lola: 1667012 markings, 10506932 edges, 78108 markings/sec, 15 secs
lola: 2045722 markings, 13447654 edges, 75742 markings/sec, 20 secs
lola: 2449761 markings, 16368633 edges, 80808 markings/sec, 25 secs
lola: 2821360 markings, 19526765 edges, 74320 markings/sec, 30 secs
lola: 3233315 markings, 22346704 edges, 82391 markings/sec, 35 secs
lola: 3647021 markings, 24831973 edges, 82741 markings/sec, 40 secs
lola: 4029126 markings, 27583373 edges, 76421 markings/sec, 45 secs
lola: 4410623 markings, 30527986 edges, 76299 markings/sec, 50 secs
lola: 4792720 markings, 33190525 edges, 76419 markings/sec, 55 secs
lola: 5158045 markings, 36003452 edges, 73065 markings/sec, 60 secs
lola: 5499695 markings, 38694182 edges, 68330 markings/sec, 65 secs
lola: 5814642 markings, 41481939 edges, 62989 markings/sec, 70 secs
lola: 6145922 markings, 44227961 edges, 66256 markings/sec, 75 secs
lola: 6495485 markings, 46934316 edges, 69913 markings/sec, 80 secs
lola: 6937278 markings, 49312828 edges, 88359 markings/sec, 85 secs
lola: 7354454 markings, 51952951 edges, 83435 markings/sec, 90 secs
lola: 7752715 markings, 54818505 edges, 79652 markings/sec, 95 secs
lola: 8146845 markings, 57432843 edges, 78826 markings/sec, 100 secs
lola: 8519063 markings, 59999424 edges, 74444 markings/sec, 105 secs
lola: 8860182 markings, 62756537 edges, 68224 markings/sec, 110 secs
lola: 9199579 markings, 65466506 edges, 67879 markings/sec, 115 secs
lola: 9665308 markings, 67777025 edges, 93146 markings/sec, 120 secs
lola: 10084975 markings, 70159555 edges, 83933 markings/sec, 125 secs
lola: 10446734 markings, 72573538 edges, 72352 markings/sec, 130 secs
lola: 10808855 markings, 74959690 edges, 72424 markings/sec, 135 secs
lola: 11181554 markings, 77230307 edges, 74540 markings/sec, 140 secs
lola: 11510165 markings, 79597821 edges, 65722 markings/sec, 145 secs
lola: 11843992 markings, 81902308 edges, 66765 markings/sec, 150 secs
lola: 12154709 markings, 84396624 edges, 62143 markings/sec, 155 secs
lola: 12461596 markings, 86972524 edges, 61377 markings/sec, 160 secs
lola: 12768023 markings, 89437600 edges, 61285 markings/sec, 165 secs
lola: 13102595 markings, 92030885 edges, 66914 markings/sec, 170 secs
lola: 13517563 markings, 94572187 edges, 82994 markings/sec, 175 secs
lola: 13914546 markings, 97156092 edges, 79397 markings/sec, 180 secs
lola: 14264261 markings, 99753925 edges, 69943 markings/sec, 185 secs
lola: 14594809 markings, 102381466 edges, 66110 markings/sec, 190 secs
lola: 14904177 markings, 105011754 edges, 61874 markings/sec, 195 secs
lola: 15256092 markings, 107608647 edges, 70383 markings/sec, 200 secs
lola: 15645382 markings, 110215840 edges, 77858 markings/sec, 205 secs
lola: 15983487 markings, 112824594 edges, 67621 markings/sec, 210 secs
lola: 16374811 markings, 115354297 edges, 78265 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(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 451808 markings, 2568237 edges, 90362 markings/sec, 0 secs
lola: 861176 markings, 5324352 edges, 81874 markings/sec, 5 secs
lola: 1281253 markings, 7915443 edges, 84015 markings/sec, 10 secs
lola: 1671786 markings, 10541381 edges, 78107 markings/sec, 15 secs
lola: 2052517 markings, 13488067 edges, 76146 markings/sec, 20 secs
lola: 2455631 markings, 16417422 edges, 80623 markings/sec, 25 secs
lola: 2829351 markings, 19601478 edges, 74744 markings/sec, 30 secs
lola: 3243405 markings, 22410663 edges, 82811 markings/sec, 35 secs
lola: 3655128 markings, 24906426 edges, 82345 markings/sec, 40 secs
lola: 4042060 markings, 27669762 edges, 77386 markings/sec, 45 secs
lola: 4422269 markings, 30641427 edges, 76042 markings/sec, 50 secs
lola: 4806622 markings, 33294262 edges, 76871 markings/sec, 55 secs
lola: 5172412 markings, 36136049 edges, 73158 markings/sec, 60 secs
lola: 5514742 markings, 38807322 edges, 68466 markings/sec, 65 secs
lola: 5831957 markings, 41613486 edges, 63443 markings/sec, 70 secs
lola: 6163333 markings, 44398905 edges, 66275 markings/sec, 75 secs
lola: 6523965 markings, 47091599 edges, 72126 markings/sec, 80 secs
lola: 6965487 markings, 49476055 edges, 88304 markings/sec, 85 secs
lola: 7382246 markings, 52130098 edges, 83352 markings/sec, 90 secs
lola: 7781824 markings, 54988775 edges, 79916 markings/sec, 95 secs
lola: 8174589 markings, 57635647 edges, 78553 markings/sec, 100 secs
lola: 8547490 markings, 60228158 edges, 74580 markings/sec, 105 secs
lola: 8889742 markings, 62984531 edges, 68450 markings/sec, 110 secs
lola: 9226500 markings, 65727424 edges, 67352 markings/sec, 115 secs
lola: 9705851 markings, 67993520 edges, 95870 markings/sec, 120 secs
lola: 10117630 markings, 70377385 edges, 82356 markings/sec, 125 secs
lola: 10479849 markings, 72796796 edges, 72444 markings/sec, 130 secs
lola: 10841589 markings, 75200174 edges, 72348 markings/sec, 135 secs
lola: 11216426 markings, 77471369 edges, 74967 markings/sec, 140 secs
lola: 11548360 markings, 79839257 edges, 66387 markings/sec, 145 secs
lola: 11880630 markings, 82166840 edges, 66454 markings/sec, 150 secs
lola: 12188930 markings, 84684565 edges, 61660 markings/sec, 155 secs
lola: 12500855 markings, 87254751 edges, 62385 markings/sec, 160 secs
lola: 12803037 markings, 89736771 edges, 60436 markings/sec, 165 secs
lola: 13148033 markings, 92357667 edges, 68999 markings/sec, 170 secs
lola: 13562934 markings, 94892596 edges, 82980 markings/sec, 175 secs
lola: 13959685 markings, 97490365 edges, 79350 markings/sec, 180 secs
lola: 14304360 markings, 100071103 edges, 68935 markings/sec, 185 secs
lola: 14633457 markings, 102687627 edges, 65819 markings/sec, 190 secs
lola: 14939857 markings, 105315930 edges, 61280 markings/sec, 195 secs
lola: 15295743 markings, 107915245 edges, 71177 markings/sec, 200 secs
lola: 15691751 markings, 110518573 edges, 79202 markings/sec, 205 secs
lola: 16027635 markings, 113144249 edges, 67177 markings/sec, 210 secs
lola: 16414589 markings, 115681592 edges, 77391 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(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 461478 markings, 2444731 edges, 92296 markings/sec, 0 secs
lola: 878862 markings, 4996714 edges, 83477 markings/sec, 5 secs
lola: 1287314 markings, 7552631 edges, 81690 markings/sec, 10 secs
lola: 1700342 markings, 10424229 edges, 82606 markings/sec, 15 secs
lola: 2083088 markings, 13368843 edges, 76549 markings/sec, 20 secs
lola: 2491681 markings, 15960798 edges, 81719 markings/sec, 25 secs
lola: 2889552 markings, 18639461 edges, 79574 markings/sec, 30 secs
lola: 3263434 markings, 21429144 edges, 74776 markings/sec, 35 secs
lola: 3653385 markings, 24077028 edges, 77990 markings/sec, 40 secs
lola: 4028559 markings, 26753565 edges, 75035 markings/sec, 45 secs
lola: 4373170 markings, 29559145 edges, 68922 markings/sec, 50 secs
lola: 4777440 markings, 31971775 edges, 80854 markings/sec, 55 secs
lola: 5170908 markings, 34507283 edges, 78694 markings/sec, 60 secs
lola: 5558794 markings, 37392747 edges, 77577 markings/sec, 65 secs
lola: 5927822 markings, 40368318 edges, 73806 markings/sec, 70 secs
lola: 6283482 markings, 43613895 edges, 71132 markings/sec, 75 secs
lola: 6694411 markings, 46055276 edges, 82186 markings/sec, 80 secs
lola: 7070284 markings, 48869465 edges, 75175 markings/sec, 85 secs
lola: 7445738 markings, 51757921 edges, 75091 markings/sec, 90 secs
lola: 7801456 markings, 54616713 edges, 71144 markings/sec, 95 secs
lola: 8132677 markings, 57497731 edges, 66244 markings/sec, 100 secs
lola: 8480186 markings, 60347364 edges, 69502 markings/sec, 105 secs
lola: 8913601 markings, 62762609 edges, 86683 markings/sec, 110 secs
lola: 9299850 markings, 65375048 edges, 77250 markings/sec, 115 secs
lola: 9741590 markings, 67631103 edges, 88348 markings/sec, 120 secs
lola: 10127767 markings, 69944551 edges, 77235 markings/sec, 125 secs
lola: 10483496 markings, 72504293 edges, 71146 markings/sec, 130 secs
lola: 10892766 markings, 75029447 edges, 81854 markings/sec, 135 secs
lola: 11271954 markings, 77584772 edges, 75838 markings/sec, 140 secs
lola: 11644694 markings, 80119305 edges, 74548 markings/sec, 145 secs
lola: 11969397 markings, 82690087 edges, 64941 markings/sec, 150 secs
lola: 12318576 markings, 85258678 edges, 69836 markings/sec, 155 secs
lola: 12665664 markings, 87835582 edges, 69418 markings/sec, 160 secs
lola: 12990997 markings, 90418666 edges, 65067 markings/sec, 165 secs
lola: 13308958 markings, 92842681 edges, 63592 markings/sec, 170 secs
lola: 13636322 markings, 95367925 edges, 65473 markings/sec, 175 secs
lola: 13939892 markings, 97964848 edges, 60714 markings/sec, 180 secs
lola: 14258044 markings, 100525371 edges, 63630 markings/sec, 185 secs
lola: 14568746 markings, 103029157 edges, 62140 markings/sec, 190 secs
lola: 14919282 markings, 105461091 edges, 70107 markings/sec, 195 secs
lola: 15259306 markings, 107869628 edges, 68005 markings/sec, 200 secs
lola: 15569218 markings, 110373383 edges, 61982 markings/sec, 205 secs
lola: 15896870 markings, 113000420 edges, 65530 markings/sec, 210 secs
lola: 16223846 markings, 115593247 edges, 65395 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(A13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 679507 markings, 2340248 edges, 135901 markings/sec, 0 secs
lola: 1316443 markings, 4762404 edges, 127387 markings/sec, 5 secs
lola: 1942765 markings, 7099479 edges, 125264 markings/sec, 10 secs
lola: 2566137 markings, 9374640 edges, 124674 markings/sec, 15 secs
lola: 3149313 markings, 11703418 edges, 116635 markings/sec, 20 secs
lola: 3703076 markings, 14270773 edges, 110753 markings/sec, 25 secs
lola: 4334134 markings, 16653839 edges, 126212 markings/sec, 30 secs
lola: 4950866 markings, 18970848 edges, 123346 markings/sec, 35 secs
lola: 5508551 markings, 21408090 edges, 111537 markings/sec, 40 secs
lola: 6097228 markings, 23825398 edges, 117735 markings/sec, 45 secs
lola: 6672269 markings, 26223860 edges, 115008 markings/sec, 50 secs
lola: 7251821 markings, 28619042 edges, 115910 markings/sec, 55 secs
lola: 7777466 markings, 31085023 edges, 105129 markings/sec, 60 secs
lola: 8365904 markings, 33500945 edges, 117688 markings/sec, 65 secs
lola: 8962759 markings, 35764527 edges, 119371 markings/sec, 70 secs
lola: 9523118 markings, 38149628 edges, 112072 markings/sec, 75 secs
lola: 10043336 markings, 40639012 edges, 104044 markings/sec, 80 secs
lola: 10635099 markings, 43008906 edges, 118353 markings/sec, 85 secs
lola: 11179995 markings, 45511601 edges, 108979 markings/sec, 90 secs
lola: 11762736 markings, 47969692 edges, 116548 markings/sec, 95 secs
lola: 12306157 markings, 50484477 edges, 108684 markings/sec, 100 secs
lola: 12858279 markings, 52831398 edges, 110424 markings/sec, 105 secs
lola: 13439294 markings, 55230906 edges, 116203 markings/sec, 110 secs
lola: 14017109 markings, 57663342 edges, 115563 markings/sec, 115 secs
lola: 14558147 markings, 60099538 edges, 108208 markings/sec, 120 secs
lola: 15065799 markings, 62521539 edges, 101530 markings/sec, 125 secs
lola: 15645798 markings, 64866190 edges, 116000 markings/sec, 130 secs
lola: 16157253 markings, 67268076 edges, 102291 markings/sec, 135 secs
lola: 16653320 markings, 69643666 edges, 99213 markings/sec, 140 secs
lola: 17061768 markings, 72029659 edges, 81690 markings/sec, 145 secs
lola: 17518902 markings, 74613172 edges, 91427 markings/sec, 150 secs
lola: 17983406 markings, 77199654 edges, 92901 markings/sec, 155 secs
lola: 18426064 markings, 79786833 edges, 88532 markings/sec, 160 secs
lola: 18976925 markings, 82221789 edges, 110172 markings/sec, 165 secs
lola: 19503404 markings, 84776064 edges, 105296 markings/sec, 170 secs
lola: 20016091 markings, 87524363 edges, 102537 markings/sec, 175 secs
lola: 20562786 markings, 90054277 edges, 109339 markings/sec, 180 secs
lola: 21094162 markings, 92782776 edges, 106275 markings/sec, 185 secs
lola: 21628327 markings, 95481448 edges, 106833 markings/sec, 190 secs
lola: 22126110 markings, 98113939 edges, 99557 markings/sec, 195 secs
lola: 22665795 markings, 100664403 edges, 107937 markings/sec, 200 secs
lola: 23190108 markings, 103383825 edges, 104863 markings/sec, 205 secs
lola: 23683848 markings, 106021176 edges, 98748 markings/sec, 210 secs
lola: 24115438 markings, 108501995 edges, 86318 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 534805 markings, 2345604 edges, 106961 markings/sec, 0 secs
lola: 1008813 markings, 5003037 edges, 94802 markings/sec, 5 secs
lola: 1495986 markings, 7515420 edges, 97435 markings/sec, 10 secs
lola: 1971829 markings, 10068199 edges, 95169 markings/sec, 15 secs
lola: 2499720 markings, 12453553 edges, 105578 markings/sec, 20 secs
lola: 2974068 markings, 15064639 edges, 94870 markings/sec, 25 secs
lola: 3432835 markings, 17492789 edges, 91753 markings/sec, 30 secs
lola: 3917020 markings, 19894261 edges, 96837 markings/sec, 35 secs
lola: 4437896 markings, 22370337 edges, 104175 markings/sec, 40 secs
lola: 4899270 markings, 24917746 edges, 92275 markings/sec, 45 secs
lola: 5328433 markings, 27552031 edges, 85833 markings/sec, 50 secs
lola: 5713562 markings, 30042669 edges, 77026 markings/sec, 55 secs
lola: 6253449 markings, 32676875 edges, 107977 markings/sec, 60 secs
lola: 6759220 markings, 35174155 edges, 101154 markings/sec, 65 secs
lola: 7237869 markings, 37623971 edges, 95730 markings/sec, 70 secs
lola: 7721381 markings, 40124610 edges, 96702 markings/sec, 75 secs
lola: 8199621 markings, 42654523 edges, 95648 markings/sec, 80 secs
lola: 8666861 markings, 45102445 edges, 93448 markings/sec, 85 secs
lola: 9119533 markings, 47705103 edges, 90534 markings/sec, 90 secs
lola: 9456554 markings, 50294902 edges, 67404 markings/sec, 95 secs
lola: 9966181 markings, 52616799 edges, 101925 markings/sec, 100 secs
lola: 10439755 markings, 55167430 edges, 94715 markings/sec, 105 secs
lola: 10909353 markings, 57680258 edges, 93920 markings/sec, 110 secs
lola: 11330780 markings, 60204327 edges, 84285 markings/sec, 115 secs
lola: 11745141 markings, 62626966 edges, 82872 markings/sec, 120 secs
lola: 12133767 markings, 65227080 edges, 77725 markings/sec, 125 secs
lola: 12522120 markings, 67763249 edges, 77671 markings/sec, 130 secs
lola: 12922840 markings, 70196041 edges, 80144 markings/sec, 135 secs
lola: 13511145 markings, 72566638 edges, 117661 markings/sec, 140 secs
lola: 14010856 markings, 75094524 edges, 99942 markings/sec, 145 secs
lola: 14519387 markings, 77761311 edges, 101706 markings/sec, 150 secs
lola: 14995391 markings, 80480787 edges, 95201 markings/sec, 155 secs
lola: 15415107 markings, 83187029 edges, 83943 markings/sec, 160 secs
lola: 15839214 markings, 85896625 edges, 84821 markings/sec, 165 secs
lola: 16250747 markings, 88668400 edges, 82307 markings/sec, 170 secs
lola: 16659319 markings, 91289920 edges, 81714 markings/sec, 175 secs
lola: 17059015 markings, 94093137 edges, 79939 markings/sec, 180 secs
lola: 17377678 markings, 96917598 edges, 63733 markings/sec, 185 secs
lola: 17827076 markings, 99494294 edges, 89880 markings/sec, 190 secs
lola: 18245024 markings, 102252252 edges, 83590 markings/sec, 195 secs
lola: 18662257 markings, 105000358 edges, 83447 markings/sec, 200 secs
lola: 19025255 markings, 107617781 edges, 72600 markings/sec, 205 secs
lola: 19408760 markings, 110225735 edges, 76701 markings/sec, 210 secs
lola: 19769703 markings, 113036619 edges, 72189 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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 9 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 463785 markings, 2457601 edges, 92757 markings/sec, 0 secs
lola: 884265 markings, 5024907 edges, 84096 markings/sec, 5 secs
lola: 1288436 markings, 7562016 edges, 80834 markings/sec, 10 secs
lola: 1691948 markings, 10355302 edges, 80702 markings/sec, 15 secs
lola: 2070487 markings, 13262615 edges, 75708 markings/sec, 20 secs
lola: 2474354 markings, 15858434 edges, 80773 markings/sec, 25 secs
lola: 2872210 markings, 18517628 edges, 79571 markings/sec, 30 secs
lola: 3256350 markings, 21387266 edges, 76828 markings/sec, 35 secs
lola: 3645386 markings, 24018969 edges, 77807 markings/sec, 40 secs
lola: 4019945 markings, 26692394 edges, 74912 markings/sec, 45 secs
lola: 4364980 markings, 29487224 edges, 69007 markings/sec, 50 secs
lola: 4777719 markings, 31973470 edges, 82548 markings/sec, 55 secs
lola: 5176658 markings, 34547038 edges, 79788 markings/sec, 60 secs
lola: 5565214 markings, 37447304 edges, 77711 markings/sec, 65 secs
lola: 5936139 markings, 40434381 edges, 74185 markings/sec, 70 secs
lola: 6296443 markings, 43749304 edges, 72061 markings/sec, 75 secs
lola: 6710940 markings, 46177353 edges, 82899 markings/sec, 80 secs
lola: 7087766 markings, 49006604 edges, 75365 markings/sec, 85 secs
lola: 7463480 markings, 51893252 edges, 75143 markings/sec, 90 secs
lola: 7816557 markings, 54735380 edges, 70615 markings/sec, 95 secs
lola: 8146297 markings, 57619623 edges, 65948 markings/sec, 100 secs
lola: 8498200 markings, 60431120 edges, 70381 markings/sec, 105 secs
lola: 8929002 markings, 62863155 edges, 86160 markings/sec, 110 secs
lola: 9319465 markings, 65448680 edges, 78093 markings/sec, 115 secs
lola: 9757587 markings, 67720413 edges, 87624 markings/sec, 120 secs
lola: 10141418 markings, 70040653 edges, 76766 markings/sec, 125 secs
lola: 10497589 markings, 72592714 edges, 71234 markings/sec, 130 secs
lola: 10905298 markings, 75125455 edges, 81542 markings/sec, 135 secs
lola: 11284478 markings, 77674948 edges, 75836 markings/sec, 140 secs
lola: 11657265 markings, 80213492 edges, 74557 markings/sec, 145 secs
lola: 11983323 markings, 82796801 edges, 65212 markings/sec, 150 secs
lola: 12336940 markings, 85380548 edges, 70723 markings/sec, 155 secs
lola: 12685368 markings, 87988698 edges, 69686 markings/sec, 160 secs
lola: 13011566 markings, 90599650 edges, 65240 markings/sec, 165 secs
lola: 13351540 markings, 93143711 edges, 67995 markings/sec, 170 secs
lola: 13674157 markings, 95706880 edges, 64523 markings/sec, 175 secs
lola: 13986023 markings, 98310516 edges, 62373 markings/sec, 180 secs
lola: 14298137 markings, 100882229 edges, 62423 markings/sec, 185 secs
lola: 14609782 markings, 103395089 edges, 62329 markings/sec, 190 secs
lola: 14969961 markings, 105801948 edges, 72036 markings/sec, 195 secs
lola: 15307106 markings, 108220605 edges, 67429 markings/sec, 200 secs
lola: 15613717 markings, 110764061 edges, 61322 markings/sec, 205 secs
lola: 15947650 markings, 113404527 edges, 66787 markings/sec, 210 secs
lola: 16274367 markings, 116008792 edges, 65343 markings/sec, 215 secs
lola: 16598061 markings, 118575007 edges, 64739 markings/sec, 220 secs
lola: 16901126 markings, 121129194 edges, 60613 markings/sec, 225 secs
lola: 17227051 markings, 123741527 edges, 65185 markings/sec, 230 secs
lola: 17549333 markings, 126377743 edges, 64456 markings/sec, 235 secs
lola: 17865353 markings, 128923394 edges, 63204 markings/sec, 240 secs
lola: 18166893 markings, 131483232 edges, 60308 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 572540 markings, 2402701 edges, 114508 markings/sec, 0 secs
lola: 1146380 markings, 4836516 edges, 114768 markings/sec, 5 secs
lola: 1728808 markings, 7186700 edges, 116486 markings/sec, 10 secs
lola: 2241075 markings, 9532345 edges, 102453 markings/sec, 15 secs
lola: 2843418 markings, 12039552 edges, 120469 markings/sec, 20 secs
lola: 3365876 markings, 14700545 edges, 104492 markings/sec, 25 secs
lola: 3899564 markings, 17306958 edges, 106738 markings/sec, 30 secs
lola: 4399251 markings, 19809898 edges, 99937 markings/sec, 35 secs
lola: 4833701 markings, 22490891 edges, 86890 markings/sec, 40 secs
lola: 5325157 markings, 25055558 edges, 98291 markings/sec, 45 secs
lola: 5789194 markings, 27695574 edges, 92807 markings/sec, 50 secs
lola: 6290021 markings, 30299958 edges, 100165 markings/sec, 55 secs
lola: 6707325 markings, 33017869 edges, 83461 markings/sec, 60 secs
lola: 7247430 markings, 35403614 edges, 108021 markings/sec, 65 secs
lola: 7788857 markings, 37772563 edges, 108285 markings/sec, 70 secs
lola: 8336998 markings, 40366316 edges, 109628 markings/sec, 75 secs
lola: 8866426 markings, 42923027 edges, 105886 markings/sec, 80 secs
lola: 9303378 markings, 45583096 edges, 87390 markings/sec, 85 secs
lola: 9779061 markings, 48198663 edges, 95137 markings/sec, 90 secs
lola: 10272462 markings, 50764898 edges, 98680 markings/sec, 95 secs
lola: 10825304 markings, 53286735 edges, 110568 markings/sec, 100 secs
lola: 11370044 markings, 55749292 edges, 108948 markings/sec, 105 secs
lola: 11831423 markings, 58266749 edges, 92276 markings/sec, 110 secs
lola: 12326704 markings, 60637504 edges, 99056 markings/sec, 115 secs
lola: 12824965 markings, 63162881 edges, 99652 markings/sec, 120 secs
lola: 13251345 markings, 65659640 edges, 85276 markings/sec, 125 secs
lola: 13967427 markings, 68123239 edges, 143216 markings/sec, 130 secs
lola: 14514232 markings, 70686739 edges, 109361 markings/sec, 135 secs
lola: 14958544 markings, 73383290 edges, 88862 markings/sec, 140 secs
lola: 15371641 markings, 76175953 edges, 82619 markings/sec, 145 secs
lola: 15937981 markings, 78845320 edges, 113268 markings/sec, 150 secs
lola: 16476020 markings, 81513213 edges, 107608 markings/sec, 155 secs
lola: 16972313 markings, 84185077 edges, 99259 markings/sec, 160 secs
lola: 17447898 markings, 87073526 edges, 95117 markings/sec, 165 secs
lola: 17932938 markings, 89909119 edges, 97008 markings/sec, 170 secs
lola: 18348414 markings, 92893997 edges, 83095 markings/sec, 175 secs
lola: 18776848 markings, 95781981 edges, 85687 markings/sec, 180 secs
lola: 19266923 markings, 98575011 edges, 98015 markings/sec, 185 secs
lola: 19777798 markings, 101315081 edges, 102175 markings/sec, 190 secs
lola: 20248341 markings, 104045811 edges, 94109 markings/sec, 195 secs
lola: 20655900 markings, 106700798 edges, 81512 markings/sec, 200 secs
lola: 21104748 markings, 109346867 edges, 89770 markings/sec, 205 secs
lola: 21527884 markings, 112100121 edges, 84627 markings/sec, 210 secs
lola: 22026986 markings, 114758073 edges, 99820 markings/sec, 215 secs
lola: 22512643 markings, 117603723 edges, 97131 markings/sec, 220 secs
lola: 22932609 markings, 120596761 edges, 83993 markings/sec, 225 secs
lola: 23306740 markings, 123653286 edges, 74826 markings/sec, 230 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 11 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 456094 markings, 2457445 edges, 91219 markings/sec, 0 secs
lola: 892490 markings, 4862698 edges, 87279 markings/sec, 5 secs
lola: 1283777 markings, 7455996 edges, 78257 markings/sec, 10 secs
lola: 1707429 markings, 9909442 edges, 84730 markings/sec, 15 secs
lola: 2108550 markings, 12439398 edges, 80224 markings/sec, 20 secs
lola: 2507931 markings, 14995506 edges, 79876 markings/sec, 25 secs
lola: 2878476 markings, 17671577 edges, 74109 markings/sec, 30 secs
lola: 3272167 markings, 20513352 edges, 78738 markings/sec, 35 secs
lola: 3632053 markings, 23264958 edges, 71977 markings/sec, 40 secs
lola: 4005627 markings, 26152516 edges, 74715 markings/sec, 45 secs
lola: 4359415 markings, 29088806 edges, 70758 markings/sec, 50 secs
lola: 4788795 markings, 31551993 edges, 85876 markings/sec, 55 secs
lola: 5177529 markings, 33958723 edges, 77747 markings/sec, 60 secs
lola: 5541127 markings, 36784733 edges, 72720 markings/sec, 65 secs
lola: 5937821 markings, 39447551 edges, 79339 markings/sec, 70 secs
lola: 6321706 markings, 42327803 edges, 76777 markings/sec, 75 secs
lola: 6680654 markings, 44808955 edges, 71790 markings/sec, 80 secs
lola: 7041232 markings, 47513821 edges, 72116 markings/sec, 85 secs
lola: 7452437 markings, 50178448 edges, 82241 markings/sec, 90 secs
lola: 7858215 markings, 52980402 edges, 81156 markings/sec, 95 secs
lola: 8244263 markings, 56092301 edges, 77210 markings/sec, 100 secs
lola: 8633735 markings, 58889579 edges, 77894 markings/sec, 105 secs
lola: 9001297 markings, 61864710 edges, 73512 markings/sec, 110 secs
lola: 9347709 markings, 64726965 edges, 69282 markings/sec, 115 secs
lola: 9706966 markings, 67716122 edges, 71851 markings/sec, 120 secs
lola: 10114148 markings, 70220406 edges, 81436 markings/sec, 125 secs
lola: 10488745 markings, 72759386 edges, 74919 markings/sec, 130 secs
lola: 10885980 markings, 75120389 edges, 79447 markings/sec, 135 secs
lola: 11247776 markings, 77600278 edges, 72359 markings/sec, 140 secs
lola: 11612260 markings, 80293330 edges, 72897 markings/sec, 145 secs
lola: 11973942 markings, 83140965 edges, 72336 markings/sec, 150 secs
lola: 12309327 markings, 85981856 edges, 67077 markings/sec, 155 secs
lola: 12708326 markings, 88423413 edges, 79800 markings/sec, 160 secs
lola: 13068914 markings, 90946888 edges, 72118 markings/sec, 165 secs
lola: 13438181 markings, 93616565 edges, 73853 markings/sec, 170 secs
lola: 13777834 markings, 96464998 edges, 67931 markings/sec, 175 secs
lola: 14145697 markings, 99018349 edges, 73573 markings/sec, 180 secs
lola: 14488404 markings, 101555065 edges, 68541 markings/sec, 185 secs
lola: 14809269 markings, 104327052 edges, 64173 markings/sec, 190 secs
lola: 15138964 markings, 106952092 edges, 65939 markings/sec, 195 secs
lola: 15451566 markings, 109573087 edges, 62520 markings/sec, 200 secs
lola: 15798914 markings, 112132944 edges, 69470 markings/sec, 205 secs
lola: 16159209 markings, 114605069 edges, 72059 markings/sec, 210 secs
lola: 16502984 markings, 117066753 edges, 68755 markings/sec, 215 secs
lola: 16826062 markings, 119506898 edges, 64616 markings/sec, 220 secs
lola: 17126537 markings, 122038771 edges, 60095 markings/sec, 225 secs
lola: 17479078 markings, 124560779 edges, 70508 markings/sec, 230 secs
lola: 17812794 markings, 127036138 edges, 66743 markings/sec, 235 secs
lola: 18132565 markings, 129623447 edges, 63954 markings/sec, 240 secs
lola: 18457414 markings, 132217663 edges, 64970 markings/sec, 245 secs
lola: 18770910 markings, 134814287 edges, 62699 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 562272 markings, 2382295 edges, 112454 markings/sec, 0 secs
lola: 1074691 markings, 5006737 edges, 102484 markings/sec, 5 secs
lola: 1621113 markings, 7532051 edges, 109284 markings/sec, 10 secs
lola: 2122473 markings, 9953564 edges, 100272 markings/sec, 15 secs
lola: 2581988 markings, 12487969 edges, 91903 markings/sec, 20 secs
lola: 3049068 markings, 15167674 edges, 93416 markings/sec, 25 secs
lola: 3590554 markings, 17597211 edges, 108297 markings/sec, 30 secs
lola: 4110962 markings, 19964779 edges, 104082 markings/sec, 35 secs
lola: 4584903 markings, 22600377 edges, 94788 markings/sec, 40 secs
lola: 5051414 markings, 25180984 edges, 93302 markings/sec, 45 secs
lola: 5506123 markings, 27848573 edges, 90942 markings/sec, 50 secs
lola: 5968581 markings, 30494394 edges, 92492 markings/sec, 55 secs
lola: 6367462 markings, 33246944 edges, 79776 markings/sec, 60 secs
lola: 6898190 markings, 35710159 edges, 106146 markings/sec, 65 secs
lola: 7417793 markings, 38190317 edges, 103921 markings/sec, 70 secs
lola: 7880748 markings, 40949760 edges, 92591 markings/sec, 75 secs
lola: 8381435 markings, 43288657 edges, 100137 markings/sec, 80 secs
lola: 8846846 markings, 45780425 edges, 93082 markings/sec, 85 secs
lola: 9278370 markings, 48337102 edges, 86305 markings/sec, 90 secs
lola: 9758603 markings, 50968626 edges, 96047 markings/sec, 95 secs
lola: 10293188 markings, 53459422 edges, 106917 markings/sec, 100 secs
lola: 10810435 markings, 55936265 edges, 103449 markings/sec, 105 secs
lola: 11248860 markings, 58439950 edges, 87685 markings/sec, 110 secs
lola: 11724326 markings, 60851358 edges, 95093 markings/sec, 115 secs
lola: 12188426 markings, 63403459 edges, 92820 markings/sec, 120 secs
lola: 12741341 markings, 65896813 edges, 110583 markings/sec, 125 secs
lola: 13332781 markings, 68412036 edges, 118288 markings/sec, 130 secs
lola: 13782865 markings, 71056374 edges, 90017 markings/sec, 135 secs
lola: 14216872 markings, 73775559 edges, 86801 markings/sec, 140 secs
lola: 14636592 markings, 76520144 edges, 83944 markings/sec, 145 secs
lola: 15181437 markings, 79201208 edges, 108969 markings/sec, 150 secs
lola: 15654796 markings, 81965939 edges, 94672 markings/sec, 155 secs
lola: 16091673 markings, 84760339 edges, 87375 markings/sec, 160 secs
lola: 16520707 markings, 87845909 edges, 85807 markings/sec, 165 secs
lola: 16987740 markings, 90518266 edges, 93407 markings/sec, 170 secs
lola: 17416530 markings, 93395783 edges, 85758 markings/sec, 175 secs
lola: 17819215 markings, 96313582 edges, 80537 markings/sec, 180 secs
lola: 18310060 markings, 99074027 edges, 98169 markings/sec, 185 secs
lola: 18772895 markings, 101774220 edges, 92567 markings/sec, 190 secs
lola: 19185822 markings, 104529369 edges, 82585 markings/sec, 195 secs
lola: 19600385 markings, 107181898 edges, 82913 markings/sec, 200 secs
lola: 20035763 markings, 109874809 edges, 87076 markings/sec, 205 secs
lola: 20404591 markings, 112424882 edges, 73766 markings/sec, 210 secs
lola: 20858286 markings, 114701007 edges, 90739 markings/sec, 215 secs
lola: 21261931 markings, 117664772 edges, 80729 markings/sec, 220 secs
lola: 21613748 markings, 120272960 edges, 70363 markings/sec, 225 secs
lola: 22022815 markings, 123245649 edges, 81813 markings/sec, 230 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: subprocess 13 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: ========================================
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 14 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 573201 markings, 2404405 edges, 114640 markings/sec, 0 secs
lola: 1152193 markings, 4856590 edges, 115798 markings/sec, 5 secs
lola: 1734899 markings, 7222280 edges, 116541 markings/sec, 10 secs
lola: 2248146 markings, 9573953 edges, 102649 markings/sec, 15 secs
lola: 2851185 markings, 12078408 edges, 120608 markings/sec, 20 secs
lola: 3375252 markings, 14743301 edges, 104813 markings/sec, 25 secs
lola: 3915621 markings, 17371552 edges, 108074 markings/sec, 30 secs
lola: 4410993 markings, 19881892 edges, 99074 markings/sec, 35 secs
lola: 4854539 markings, 22587060 edges, 88709 markings/sec, 40 secs
lola: 5352047 markings, 25182000 edges, 99502 markings/sec, 45 secs
lola: 5808704 markings, 27763036 edges, 91331 markings/sec, 50 secs
lola: 6303795 markings, 30387876 edges, 99018 markings/sec, 55 secs
lola: 6720446 markings, 33136445 edges, 83330 markings/sec, 60 secs
lola: 7268513 markings, 35518855 edges, 109613 markings/sec, 65 secs
lola: 7832273 markings, 37904469 edges, 112752 markings/sec, 70 secs
lola: 8360621 markings, 40518302 edges, 105670 markings/sec, 75 secs
lola: 8901017 markings, 43092227 edges, 108079 markings/sec, 80 secs
lola: 9346889 markings, 45803464 edges, 89174 markings/sec, 85 secs
lola: 9824523 markings, 48472789 edges, 95527 markings/sec, 90 secs
lola: 10339399 markings, 51117219 edges, 102975 markings/sec, 95 secs
lola: 10905730 markings, 53626422 edges, 113266 markings/sec, 100 secs
lola: 11446778 markings, 56104744 edges, 108210 markings/sec, 105 secs
lola: 11908599 markings, 58591797 edges, 92364 markings/sec, 110 secs
lola: 12391695 markings, 60988264 edges, 96619 markings/sec, 115 secs
lola: 12887014 markings, 63538053 edges, 99064 markings/sec, 120 secs
lola: 13356119 markings, 66066612 edges, 93821 markings/sec, 125 secs
lola: 14082321 markings, 68548014 edges, 145240 markings/sec, 130 secs
lola: 14594123 markings, 71150275 edges, 102360 markings/sec, 135 secs
lola: 15029524 markings, 73837014 edges, 87080 markings/sec, 140 secs
lola: 15441140 markings, 76627363 edges, 82323 markings/sec, 145 secs
lola: 16036370 markings, 79297910 edges, 119046 markings/sec, 150 secs
lola: 16559694 markings, 81965450 edges, 104665 markings/sec, 155 secs
lola: 17067054 markings, 84585302 edges, 101472 markings/sec, 160 secs
lola: 17541651 markings, 87568450 edges, 94919 markings/sec, 165 secs
lola: 18005164 markings, 90384082 edges, 92703 markings/sec, 170 secs
lola: 18414412 markings, 93368432 edges, 81850 markings/sec, 175 secs
lola: 18844243 markings, 96181844 edges, 85966 markings/sec, 180 secs
lola: 19344556 markings, 98971701 edges, 100063 markings/sec, 185 secs
lola: 19847239 markings, 101691321 edges, 100537 markings/sec, 190 secs
lola: 20306898 markings, 104425264 edges, 91932 markings/sec, 195 secs
lola: 20732573 markings, 107056230 edges, 85135 markings/sec, 200 secs
lola: 21172030 markings, 109730775 edges, 87891 markings/sec, 205 secs
lola: 21578505 markings, 112488887 edges, 81295 markings/sec, 210 secs
lola: 22118173 markings, 115112770 edges, 107934 markings/sec, 215 secs
lola: 22553234 markings, 117954600 edges, 87012 markings/sec, 220 secs
lola: 22978140 markings, 120958033 edges, 84981 markings/sec, 225 secs
lola: 23361436 markings, 123944845 edges, 76659 markings/sec, 230 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: ========================================
lola: subprocess 15 will run for 550 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 108 bytes per marking, with 0 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: 539881 markings, 2374135 edges, 107976 markings/sec, 0 secs
lola: 1013186 markings, 5025757 edges, 94661 markings/sec, 5 secs
lola: 1499336 markings, 7530490 edges, 97230 markings/sec, 10 secs
lola: 1975079 markings, 10085548 edges, 95149 markings/sec, 15 secs
lola: 2492046 markings, 12420805 edges, 103393 markings/sec, 20 secs
lola: 2977130 markings, 15079898 edges, 97017 markings/sec, 25 secs
lola: 3440238 markings, 17529940 edges, 92622 markings/sec, 30 secs
lola: 3924659 markings, 19943904 edges, 96884 markings/sec, 35 secs
lola: 4446377 markings, 22414275 edges, 104344 markings/sec, 40 secs
lola: 4905196 markings, 24951203 edges, 91764 markings/sec, 45 secs
lola: 5333810 markings, 27599396 edges, 85723 markings/sec, 50 secs
lola: 5758866 markings, 30224322 edges, 85011 markings/sec, 55 secs
lola: 6294858 markings, 32908503 edges, 107198 markings/sec, 60 secs
lola: 6808861 markings, 35408807 edges, 102801 markings/sec, 65 secs
lola: 7282100 markings, 37853784 edges, 94648 markings/sec, 70 secs
lola: 7758087 markings, 40393318 edges, 95197 markings/sec, 75 secs
lola: 8241441 markings, 42899119 edges, 96671 markings/sec, 80 secs
lola: 8717095 markings, 45385097 edges, 95131 markings/sec, 85 secs
lola: 9159770 markings, 47979970 edges, 88535 markings/sec, 90 secs
lola: 9496047 markings, 50600709 edges, 67255 markings/sec, 95 secs
lola: 10033672 markings, 52954677 edges, 107525 markings/sec, 100 secs
lola: 10491926 markings, 55519405 edges, 91651 markings/sec, 105 secs
lola: 10962783 markings, 58015982 edges, 94171 markings/sec, 110 secs
lola: 11367803 markings, 60491805 edges, 81004 markings/sec, 115 secs
lola: 11797340 markings, 62931877 edges, 85907 markings/sec, 120 secs
lola: 12180172 markings, 65582983 edges, 76566 markings/sec, 125 secs
lola: 12592585 markings, 68120656 edges, 82483 markings/sec, 130 secs
lola: 13003391 markings, 70583385 edges, 82161 markings/sec, 135 secs
lola: 13583615 markings, 73010306 edges, 116045 markings/sec, 140 secs
lola: 14087713 markings, 75600119 edges, 100820 markings/sec, 145 secs
lola: 14628194 markings, 78318345 edges, 108096 markings/sec, 150 secs
lola: 15097570 markings, 81137532 edges, 93875 markings/sec, 155 secs
lola: 15516831 markings, 83813375 edges, 83852 markings/sec, 160 secs
lola: 15939749 markings, 86649814 edges, 84584 markings/sec, 165 secs
lola: 16351400 markings, 89386617 edges, 82330 markings/sec, 170 secs
lola: 16783282 markings, 92069387 edges, 86376 markings/sec, 175 secs
lola: 17156788 markings, 94914070 edges, 74701 markings/sec, 180 secs
lola: 17504881 markings, 97689012 edges, 69619 markings/sec, 185 secs
lola: 17956036 markings, 100272467 edges, 90231 markings/sec, 190 secs
lola: 18367937 markings, 103045614 edges, 82380 markings/sec, 195 secs
lola: 18773361 markings, 105758297 edges, 81085 markings/sec, 200 secs
lola: 19126455 markings, 108486336 edges, 70619 markings/sec, 205 secs
lola: 19529499 markings, 111161016 edges, 80609 markings/sec, 210 secs
lola: 19897391 markings, 113954139 edges, 73578 markings/sec, 215 secs
lola: 20275392 markings, 116573092 edges, 75600 markings/sec, 220 secs
lola: 20762648 markings, 119160964 edges, 97451 markings/sec, 225 secs
lola: 21176469 markings, 121892549 edges, 82764 markings/sec, 230 secs
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown 2 unknown 2 1 2 2
lola: ========================================
FORMULA DNAwalker-PT-09ringLR-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-10 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-12 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-14 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-09ringLR-UpperBounds-15 2 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494663248040
--------------------
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="DNAwalker-PT-09ringLR"
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/DNAwalker-PT-09ringLR.tgz
mv DNAwalker-PT-09ringLR execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-09ringLR, 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 r028-blw3-149440263900074"
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 ;