About the Execution of LoLA for RobotManipulation-PT-02000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15946.290 | 3540262.00 | 3530173.00 | 10787.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 RobotManipulation-PT-02000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172800281
=====================================================================
--------------------
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 RobotManipulation-PT-02000-UpperBounds-0
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-1
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-10
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-11
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-12
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-13
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-14
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-15
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-2
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-3
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-4
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-5
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-6
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-7
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-8
FORMULA_NAME RobotManipulation-PT-02000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496346294764
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
RobotManipulation-PT-02000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
RobotManipulation-PT-02000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ RobotManipulation-PT-02000 @ 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: 26/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 15 places, 11 transitions, 9 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 14 transition conflict sets
lola: TASK
lola: reading formula from RobotManipulation-PT-02000-UpperBounds.task
lola: MAX(moved) : MAX(p_m) : MAX(r_stopped) : MAX(off) : MAX(moved) : MAX(initialize) : MAX(p_rel) : MAX(p_i2) : MAX(p_i1) : MAX(initialize) : MAX(p_i1) : MAX(r_stopped) : MAX(access) : MAX(r_active) : MAX(initialized) : MAX(p_sc)
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(moved)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 6105792 markings, 8134620 edges, 1221158 markings/sec, 0 secs
lola: 11721505 markings, 15622990 edges, 1123143 markings/sec, 5 secs
lola: 16920601 markings, 22556022 edges, 1039819 markings/sec, 10 secs
lola: 22096059 markings, 29457284 edges, 1035092 markings/sec, 15 secs
lola: 27138873 markings, 36181581 edges, 1008563 markings/sec, 20 secs
lola: 32052197 markings, 42733004 edges, 982665 markings/sec, 25 secs
lola: 36829743 markings, 49103407 edges, 955509 markings/sec, 30 secs
lola: 41423544 markings, 55228826 edges, 918760 markings/sec, 35 secs
lola: 46146607 markings, 61527224 edges, 944613 markings/sec, 40 secs
lola: 50847665 markings, 67795391 edges, 940212 markings/sec, 45 secs
lola: 55399037 markings, 73863845 edges, 910274 markings/sec, 50 secs
lola: 59883574 markings, 79844112 edges, 896907 markings/sec, 55 secs
lola: 64410343 markings, 85880046 edges, 905354 markings/sec, 60 secs
lola: 68789141 markings, 91718299 edges, 875760 markings/sec, 65 secs
lola: 73090921 markings, 97704547 edges, 860356 markings/sec, 70 secs
lola: 76699824 markings, 103535279 edges, 721781 markings/sec, 75 secs
lola: 79811510 markings, 108562223 edges, 622337 markings/sec, 80 secs
lola: 82812997 markings, 113411519 edges, 600297 markings/sec, 85 secs
lola: 85784782 markings, 118212600 edges, 594357 markings/sec, 90 secs
lola: 88692740 markings, 122910112 edges, 581592 markings/sec, 95 secs
lola: 91591187 markings, 127593286 edges, 579689 markings/sec, 100 secs
lola: 94450544 markings, 132212441 edges, 571871 markings/sec, 105 secs
lola: 97246646 markings, 136728452 edges, 559220 markings/sec, 110 secs
lola: 100230093 markings, 141548850 edges, 596689 markings/sec, 115 secs
lola: 103310994 markings, 146525691 edges, 616180 markings/sec, 120 secs
lola: 106268654 markings, 151304326 edges, 591532 markings/sec, 125 secs
lola: 109276304 markings, 156163233 edges, 601530 markings/sec, 130 secs
lola: 112223270 markings, 160923757 edges, 589393 markings/sec, 135 secs
lola: 115103109 markings, 165576572 edges, 575968 markings/sec, 140 secs
lola: 118089472 markings, 170399845 edges, 597273 markings/sec, 145 secs
lola: 121016065 markings, 175128028 edges, 585319 markings/sec, 150 secs
lola: 123873632 markings, 179744136 edges, 571513 markings/sec, 155 secs
lola: 126769918 markings, 184423072 edges, 579257 markings/sec, 160 secs
lola: 129590986 markings, 188980473 edges, 564214 markings/sec, 165 secs
lola: 132378693 markings, 193483130 edges, 557541 markings/sec, 170 secs
lola: 135272575 markings, 198158486 edges, 578776 markings/sec, 175 secs
lola: 138153284 markings, 202812514 edges, 576142 markings/sec, 180 secs
lola: 141052148 markings, 207494829 edges, 579773 markings/sec, 185 secs
lola: 143874310 markings, 212053776 edges, 564432 markings/sec, 190 secs
lola: 146751524 markings, 216701746 edges, 575443 markings/sec, 195 secs
lola: 149549987 markings, 221222544 edges, 559693 markings/sec, 200 secs
lola: 152353582 markings, 225751676 edges, 560719 markings/sec, 205 secs
lola: 155076992 markings, 230150725 edges, 544682 markings/sec, 210 secs
lola: 157923724 markings, 234749968 edges, 569346 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(p_m)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4304171 markings, 7095684 edges, 860834 markings/sec, 0 secs
lola: 8974270 markings, 14844464 edges, 934020 markings/sec, 5 secs
lola: 13636938 markings, 22576961 edges, 932534 markings/sec, 10 secs
lola: 18289665 markings, 30286508 edges, 930545 markings/sec, 15 secs
lola: 22973995 markings, 38054875 edges, 936866 markings/sec, 20 secs
lola: 27621614 markings, 45762421 edges, 929524 markings/sec, 25 secs
lola: 32294862 markings, 53511914 edges, 934650 markings/sec, 30 secs
lola: 36977997 markings, 61274234 edges, 936627 markings/sec, 35 secs
lola: 41685569 markings, 69080750 edges, 941514 markings/sec, 40 secs
lola: 46415566 markings, 76927083 edges, 945999 markings/sec, 45 secs
lola: 51058900 markings, 84624710 edges, 928667 markings/sec, 50 secs
lola: 55732753 markings, 92376542 edges, 934771 markings/sec, 55 secs
lola: 60408477 markings, 100127997 edges, 935145 markings/sec, 60 secs
lola: 65115487 markings, 107930420 edges, 941402 markings/sec, 65 secs
lola: 69808752 markings, 115711454 edges, 938653 markings/sec, 70 secs
lola: 74525073 markings, 123531601 edges, 943264 markings/sec, 75 secs
lola: 79246271 markings, 131356166 edges, 944240 markings/sec, 80 secs
lola: 83980990 markings, 139204996 edges, 946944 markings/sec, 85 secs
lola: 88698776 markings, 147026154 edges, 943557 markings/sec, 90 secs
lola: 93402850 markings, 154822499 edges, 940815 markings/sec, 95 secs
lola: 98099159 markings, 162605796 edges, 939262 markings/sec, 100 secs
lola: 102843809 markings, 170471145 edges, 948930 markings/sec, 105 secs
lola: 107552444 markings, 178275484 edges, 941727 markings/sec, 110 secs
lola: 112298255 markings, 186137168 edges, 949162 markings/sec, 115 secs
lola: 117070813 markings, 194048763 edges, 954512 markings/sec, 120 secs
lola: 121831103 markings, 201935425 edges, 952058 markings/sec, 125 secs
lola: 126603542 markings, 209841769 edges, 954488 markings/sec, 130 secs
lola: 131380040 markings, 217752872 edges, 955300 markings/sec, 135 secs
lola: 136169296 markings, 225689938 edges, 957851 markings/sec, 140 secs
lola: 140981804 markings, 233659270 edges, 962502 markings/sec, 145 secs
lola: 145759855 markings, 241574022 edges, 955610 markings/sec, 150 secs
lola: 150478150 markings, 249387225 edges, 943659 markings/sec, 155 secs
lola: 155230652 markings, 257252551 edges, 950500 markings/sec, 160 secs
lola: 159996186 markings, 265139848 edges, 953107 markings/sec, 165 secs
lola: 164754381 markings, 273014317 edges, 951639 markings/sec, 170 secs
lola: 169519313 markings, 280897366 edges, 952986 markings/sec, 175 secs
lola: 174287531 markings, 288780875 edges, 953644 markings/sec, 180 secs
lola: 179096738 markings, 296728174 edges, 961841 markings/sec, 185 secs
lola: 183905041 markings, 304668035 edges, 961661 markings/sec, 190 secs
lola: 184196797 markings, 305149382 edges, 58351 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_stopped)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 5174318 markings, 6913457 edges, 1034864 markings/sec, 0 secs
lola: 9965600 markings, 13049254 edges, 958256 markings/sec, 5 secs
lola: 14632241 markings, 19025650 edges, 933328 markings/sec, 10 secs
lola: 19237073 markings, 24924441 edges, 920966 markings/sec, 15 secs
lola: 23774822 markings, 30738695 edges, 907550 markings/sec, 20 secs
lola: 28279177 markings, 36507255 edges, 900871 markings/sec, 25 secs
lola: 32717701 markings, 42193277 edges, 887705 markings/sec, 30 secs
lola: 37082992 markings, 47784303 edges, 873058 markings/sec, 35 secs
lola: 41419833 markings, 53341006 edges, 867368 markings/sec, 40 secs
lola: 45762185 markings, 58901798 edges, 868470 markings/sec, 45 secs
lola: 50106872 markings, 64467333 edges, 868937 markings/sec, 50 secs
lola: 54450181 markings, 70030899 edges, 868662 markings/sec, 55 secs
lola: 58782480 markings, 75581386 edges, 866460 markings/sec, 60 secs
lola: 63120092 markings, 81137352 edges, 867522 markings/sec, 65 secs
lola: 67449948 markings, 86684124 edges, 865971 markings/sec, 70 secs
lola: 71758588 markings, 92203956 edges, 861728 markings/sec, 75 secs
lola: 75991798 markings, 97629107 edges, 846642 markings/sec, 80 secs
lola: 80138489 markings, 102941662 edges, 829338 markings/sec, 85 secs
lola: 84314749 markings, 108294225 edges, 835252 markings/sec, 90 secs
lola: 88577116 markings, 114284921 edges, 852473 markings/sec, 95 secs
lola: 91555369 markings, 120798131 edges, 595651 markings/sec, 100 secs
lola: 94438971 markings, 127111657 edges, 576720 markings/sec, 105 secs
lola: 97293986 markings, 133354116 edges, 571003 markings/sec, 110 secs
lola: 100111603 markings, 139518390 edges, 563523 markings/sec, 115 secs
lola: 102923976 markings, 145682457 edges, 562475 markings/sec, 120 secs
lola: 105705156 markings, 151765348 edges, 556236 markings/sec, 125 secs
lola: 108477050 markings, 157836171 edges, 554379 markings/sec, 130 secs
lola: 111233381 markings, 163872509 edges, 551266 markings/sec, 135 secs
lola: 113975374 markings, 169861352 edges, 548399 markings/sec, 140 secs
lola: 116702371 markings, 175835027 edges, 545399 markings/sec, 145 secs
lola: 119433583 markings, 181809842 edges, 546242 markings/sec, 150 secs
lola: 122173707 markings, 187812399 edges, 548025 markings/sec, 155 secs
lola: 124896446 markings, 193766082 edges, 544548 markings/sec, 160 secs
lola: 127624031 markings, 199743486 edges, 545517 markings/sec, 165 secs
lola: 130339216 markings, 205682866 edges, 543037 markings/sec, 170 secs
lola: 133076913 markings, 211677651 edges, 547539 markings/sec, 175 secs
lola: 135775774 markings, 217576762 edges, 539772 markings/sec, 180 secs
lola: 138496661 markings, 223528837 edges, 544177 markings/sec, 185 secs
lola: 141207063 markings, 229482111 edges, 542080 markings/sec, 190 secs
lola: 143902831 markings, 235363237 edges, 539154 markings/sec, 195 secs
lola: 146581876 markings, 241234255 edges, 535809 markings/sec, 200 secs
lola: 149357368 markings, 247313447 edges, 555098 markings/sec, 205 secs
lola: 152138077 markings, 253400501 edges, 556142 markings/sec, 210 secs
lola: 154913414 markings, 259470380 edges, 555067 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(off)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 3536311 markings, 6557967 edges, 707262 markings/sec, 0 secs
lola: 7546718 markings, 14077003 edges, 802081 markings/sec, 5 secs
lola: 11557261 markings, 21595236 edges, 802109 markings/sec, 10 secs
lola: 15512580 markings, 29010027 edges, 791064 markings/sec, 15 secs
lola: 19694296 markings, 36840964 edges, 836343 markings/sec, 20 secs
lola: 23874697 markings, 44672321 edges, 836080 markings/sec, 25 secs
lola: 28061113 markings, 52522803 edges, 837283 markings/sec, 30 secs
lola: 32285824 markings, 60436223 edges, 844942 markings/sec, 35 secs
lola: 36504867 markings, 68342629 edges, 843809 markings/sec, 40 secs
lola: 40765993 markings, 76327182 edges, 852225 markings/sec, 45 secs
lola: 44977721 markings, 84221031 edges, 842346 markings/sec, 50 secs
lola: 49156699 markings, 92058086 edges, 835796 markings/sec, 55 secs
lola: 53410248 markings, 100014783 edges, 850710 markings/sec, 60 secs
lola: 57658747 markings, 107981466 edges, 849700 markings/sec, 65 secs
lola: 61922800 markings, 115968510 edges, 852811 markings/sec, 70 secs
lola: 66173216 markings, 123938440 edges, 850083 markings/sec, 75 secs
lola: 70455301 markings, 131957324 edges, 856417 markings/sec, 80 secs
lola: 74735490 markings, 139980389 edges, 856038 markings/sec, 85 secs
lola: 79050951 markings, 148064547 edges, 863092 markings/sec, 90 secs
lola: 83281099 markings, 155992502 edges, 846030 markings/sec, 95 secs
lola: 87523825 markings, 163943557 edges, 848545 markings/sec, 100 secs
lola: 91755321 markings, 171873903 edges, 846299 markings/sec, 105 secs
lola: 96009897 markings, 179843821 edges, 850915 markings/sec, 110 secs
lola: 100284468 markings, 187855489 edges, 854914 markings/sec, 115 secs
lola: 104587062 markings, 195917448 edges, 860519 markings/sec, 120 secs
lola: 108920059 markings, 204037835 edges, 866599 markings/sec, 125 secs
lola: 113221340 markings, 212096317 edges, 860256 markings/sec, 130 secs
lola: 117536213 markings, 220179747 edges, 862975 markings/sec, 135 secs
lola: 121648946 markings, 227881871 edges, 822547 markings/sec, 140 secs
lola: 125997174 markings, 236032616 edges, 869646 markings/sec, 145 secs
lola: 130364394 markings, 244223030 edges, 873444 markings/sec, 150 secs
lola: 134679008 markings, 252306492 edges, 862923 markings/sec, 155 secs
lola: 138921056 markings, 260250776 edges, 848410 markings/sec, 160 secs
lola: 143256370 markings, 268376302 edges, 867063 markings/sec, 165 secs
lola: 147572985 markings, 276465759 edges, 863323 markings/sec, 170 secs
lola: 151924318 markings, 284620373 edges, 870267 markings/sec, 175 secs
lola: 156271647 markings, 292765958 edges, 869466 markings/sec, 180 secs
lola: 160657120 markings, 300986854 edges, 877095 markings/sec, 185 secs
lola: 165121834 markings, 309351281 edges, 892943 markings/sec, 190 secs
lola: 169589120 markings, 317721608 edges, 893457 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(moved)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 6115051 markings, 8146775 edges, 1223010 markings/sec, 0 secs
lola: 11836678 markings, 15776415 edges, 1144325 markings/sec, 5 secs
lola: 17093433 markings, 22786583 edges, 1051351 markings/sec, 10 secs
lola: 22342841 markings, 29786023 edges, 1049882 markings/sec, 15 secs
lola: 27463394 markings, 36614683 edges, 1024111 markings/sec, 20 secs
lola: 32419711 markings, 43222748 edges, 991263 markings/sec, 25 secs
lola: 37233925 markings, 49642771 edges, 962843 markings/sec, 30 secs
lola: 41827392 markings, 55767368 edges, 918693 markings/sec, 35 secs
lola: 46715880 markings, 62285939 edges, 977698 markings/sec, 40 secs
lola: 51488250 markings, 68649389 edges, 954474 markings/sec, 45 secs
lola: 56091831 markings, 74787807 edges, 920716 markings/sec, 50 secs
lola: 60726136 markings, 80967224 edges, 926861 markings/sec, 55 secs
lola: 65292403 markings, 87056478 edges, 913253 markings/sec, 60 secs
lola: 69760344 markings, 93013709 edges, 893588 markings/sec, 65 secs
lola: 74084600 markings, 99309929 edges, 864851 markings/sec, 70 secs
lola: 77779525 markings, 105279990 edges, 738985 markings/sec, 75 secs
lola: 81034705 markings, 110538613 edges, 651036 markings/sec, 80 secs
lola: 84137394 markings, 115550843 edges, 620538 markings/sec, 85 secs
lola: 87117366 markings, 120365101 edges, 595994 markings/sec, 90 secs
lola: 90109666 markings, 125199113 edges, 598460 markings/sec, 95 secs
lola: 93022173 markings, 129904357 edges, 582501 markings/sec, 100 secs
lola: 95942635 markings, 134623181 edges, 584092 markings/sec, 105 secs
lola: 98780528 markings, 139207763 edges, 567579 markings/sec, 110 secs
lola: 101745264 markings, 143995716 edges, 592947 markings/sec, 115 secs
lola: 104622479 markings, 148644976 edges, 575443 markings/sec, 120 secs
lola: 107461821 markings, 153232078 edges, 567868 markings/sec, 125 secs
lola: 110339040 markings, 157880072 edges, 575444 markings/sec, 130 secs
lola: 113171753 markings, 162455542 edges, 566543 markings/sec, 135 secs
lola: 115998670 markings, 167021952 edges, 565383 markings/sec, 140 secs
lola: 118823971 markings, 171587298 edges, 565060 markings/sec, 145 secs
lola: 121631065 markings, 176121084 edges, 561419 markings/sec, 150 secs
lola: 124382033 markings, 180565792 edges, 550194 markings/sec, 155 secs
lola: 127147357 markings, 185032799 edges, 553065 markings/sec, 160 secs
lola: 129873536 markings, 189436211 edges, 545236 markings/sec, 165 secs
lola: 132547813 markings, 193756297 edges, 534855 markings/sec, 170 secs
lola: 135324752 markings, 198243307 edges, 555388 markings/sec, 175 secs
lola: 138072354 markings, 202681665 edges, 549520 markings/sec, 180 secs
lola: 140897323 markings, 207243949 edges, 564994 markings/sec, 185 secs
lola: 143640900 markings, 211677778 edges, 548715 markings/sec, 190 secs
lola: 146424442 markings, 216174516 edges, 556708 markings/sec, 195 secs
lola: 149154320 markings, 220582884 edges, 545976 markings/sec, 200 secs
lola: 151869276 markings, 224968605 edges, 542991 markings/sec, 205 secs
lola: 154531600 markings, 229269727 edges, 532465 markings/sec, 210 secs
lola: 157267879 markings, 233690264 edges, 547256 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(initialize)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4480057 markings, 7471830 edges, 896011 markings/sec, 0 secs
lola: 8973727 markings, 15029413 edges, 898734 markings/sec, 5 secs
lola: 13455086 markings, 22565582 edges, 896272 markings/sec, 10 secs
lola: 17948767 markings, 30123913 edges, 898736 markings/sec, 15 secs
lola: 22523360 markings, 37818290 edges, 914919 markings/sec, 20 secs
lola: 27067721 markings, 45460179 edges, 908872 markings/sec, 25 secs
lola: 31649288 markings, 53166154 edges, 916313 markings/sec, 30 secs
lola: 36233201 markings, 60875649 edges, 916783 markings/sec, 35 secs
lola: 40858769 markings, 68655791 edges, 925114 markings/sec, 40 secs
lola: 45428611 markings, 76341490 edges, 913968 markings/sec, 45 secs
lola: 50008035 markings, 84042687 edges, 915885 markings/sec, 50 secs
lola: 54604170 markings, 91772390 edges, 919227 markings/sec, 55 secs
lola: 59219654 markings, 99535246 edges, 923097 markings/sec, 60 secs
lola: 63835287 markings, 107299050 edges, 923127 markings/sec, 65 secs
lola: 68461388 markings, 115078978 edges, 925220 markings/sec, 70 secs
lola: 73091412 markings, 122865975 edges, 926005 markings/sec, 75 secs
lola: 77747117 markings, 130696228 edges, 931141 markings/sec, 80 secs
lola: 82341954 markings, 138423407 edges, 918967 markings/sec, 85 secs
lola: 86948335 markings, 146171796 edges, 921276 markings/sec, 90 secs
lola: 91548813 markings, 153908916 edges, 920096 markings/sec, 95 secs
lola: 96182096 markings, 161700494 edges, 926657 markings/sec, 100 secs
lola: 100819618 markings, 169500710 edges, 927504 markings/sec, 105 secs
lola: 105478736 markings, 177336480 edges, 931824 markings/sec, 110 secs
lola: 110144136 markings, 185183760 edges, 933080 markings/sec, 115 secs
lola: 114805253 markings, 193023011 edges, 932223 markings/sec, 120 secs
lola: 119493440 markings, 200907833 edges, 937637 markings/sec, 125 secs
lola: 124197648 markings, 208819441 edges, 940842 markings/sec, 130 secs
lola: 128918215 markings, 216759405 edges, 944113 markings/sec, 135 secs
lola: 133669514 markings, 224749852 edges, 950260 markings/sec, 140 secs
lola: 138209792 markings, 232386450 edges, 908056 markings/sec, 145 secs
lola: 142837314 markings, 240169388 edges, 925504 markings/sec, 150 secs
lola: 147498884 markings, 248009456 edges, 932314 markings/sec, 155 secs
lola: 152186685 markings, 255894375 edges, 937560 markings/sec, 160 secs
lola: 156886752 markings, 263799136 edges, 940013 markings/sec, 165 secs
lola: 161605077 markings, 271734927 edges, 943665 markings/sec, 170 secs
lola: 166412795 markings, 279821342 edges, 961544 markings/sec, 175 secs
lola: 171214547 markings, 287897821 edges, 960350 markings/sec, 180 secs
lola: 175999999 markings, 296126018 edges, 957090 markings/sec, 185 secs
lola: 175999999 markings, 302267297 edges, 0 markings/sec, 190 secs
lola: 175999999 markings, 308093858 edges, 0 markings/sec, 195 secs
lola: 175999999 markings, 313749294 edges, 0 markings/sec, 200 secs
lola: 175999999 markings, 319226765 edges, 0 markings/sec, 205 secs
lola: 176729999 markings, 321046266 edges, 146000 markings/sec, 210 secs
lola: 180074942 markings, 326229260 edges, 668989 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 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_rel)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 6525723 markings, 8181829 edges, 1305145 markings/sec, 0 secs
lola: 12356314 markings, 15471429 edges, 1166118 markings/sec, 5 secs
lola: 17944804 markings, 22458344 edges, 1117698 markings/sec, 10 secs
lola: 23925932 markings, 29935066 edges, 1196226 markings/sec, 15 secs
lola: 29823446 markings, 37308000 edges, 1179503 markings/sec, 20 secs
lola: 36039588 markings, 45078339 edges, 1243228 markings/sec, 25 secs
lola: 42004732 markings, 52536817 edges, 1193029 markings/sec, 30 secs
lola: 47615919 markings, 59549600 edges, 1122237 markings/sec, 35 secs
lola: 53432293 markings, 66822440 edges, 1163275 markings/sec, 40 secs
lola: 59063586 markings, 73861396 edges, 1126259 markings/sec, 45 secs
lola: 64656945 markings, 80853532 edges, 1118672 markings/sec, 50 secs
lola: 69986619 markings, 87515842 edges, 1065935 markings/sec, 55 secs
lola: 75765552 markings, 94741086 edges, 1155787 markings/sec, 60 secs
lola: 81520798 markings, 101935001 edges, 1151049 markings/sec, 65 secs
lola: 87155954 markings, 108980181 edges, 1127031 markings/sec, 70 secs
lola: 92619277 markings, 115807273 edges, 1092665 markings/sec, 75 secs
lola: 97883629 markings, 122390756 edges, 1052870 markings/sec, 80 secs
lola: 103517246 markings, 129431929 edges, 1126723 markings/sec, 85 secs
lola: 108959748 markings, 136233763 edges, 1088500 markings/sec, 90 secs
lola: 114382676 markings, 143012791 edges, 1084586 markings/sec, 95 secs
lola: 119882400 markings, 149888317 edges, 1099945 markings/sec, 100 secs
lola: 125335948 markings, 156707256 edges, 1090710 markings/sec, 105 secs
lola: 130534187 markings, 163546763 edges, 1039648 markings/sec, 110 secs
lola: 134657972 markings, 169388629 edges, 824757 markings/sec, 115 secs
lola: 138903254 markings, 175403823 edges, 849056 markings/sec, 120 secs
lola: 143916095 markings, 182505791 edges, 1002568 markings/sec, 125 secs
lola: 148745596 markings, 189348113 edges, 965900 markings/sec, 130 secs
lola: 153566939 markings, 196176656 edges, 964269 markings/sec, 135 secs
lola: 158286091 markings, 202864328 edges, 943830 markings/sec, 140 secs
lola: 162856954 markings, 209338006 edges, 914173 markings/sec, 145 secs
lola: 167275055 markings, 215598705 edges, 883620 markings/sec, 150 secs
lola: 171602243 markings, 221729383 edges, 865438 markings/sec, 155 secs
lola: 175900554 markings, 227817597 edges, 859662 markings/sec, 160 secs
lola: 180052927 markings, 233701289 edges, 830475 markings/sec, 165 secs
lola: 184373012 markings, 239820980 edges, 864017 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_i2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4467181 markings, 7450373 edges, 893436 markings/sec, 0 secs
lola: 8986675 markings, 15050998 edges, 903899 markings/sec, 5 secs
lola: 13495025 markings, 22632858 edges, 901670 markings/sec, 10 secs
lola: 18008889 markings, 30224122 edges, 902773 markings/sec, 15 secs
lola: 22549879 markings, 37862830 edges, 908198 markings/sec, 20 secs
lola: 27062298 markings, 45450814 edges, 902484 markings/sec, 25 secs
lola: 31603518 markings, 53089872 edges, 908244 markings/sec, 30 secs
lola: 36150799 markings, 60736494 edges, 909456 markings/sec, 35 secs
lola: 40734593 markings, 68446490 edges, 916759 markings/sec, 40 secs
lola: 45263795 markings, 76063697 edges, 905840 markings/sec, 45 secs
lola: 49796054 markings, 83687120 edges, 906452 markings/sec, 50 secs
lola: 54346528 markings, 91339250 edges, 910095 markings/sec, 55 secs
lola: 58915796 markings, 99024459 edges, 913854 markings/sec, 60 secs
lola: 63484187 markings, 106707539 edges, 913678 markings/sec, 65 secs
lola: 68066118 markings, 114413919 edges, 916386 markings/sec, 70 secs
lola: 72650867 markings, 122125592 edges, 916950 markings/sec, 75 secs
lola: 77263813 markings, 129882719 edges, 922589 markings/sec, 80 secs
lola: 81798925 markings, 137510541 edges, 907022 markings/sec, 85 secs
lola: 86323946 markings, 145121781 edges, 905004 markings/sec, 90 secs
lola: 90850676 markings, 152734218 edges, 905346 markings/sec, 95 secs
lola: 95409966 markings, 160402773 edges, 911858 markings/sec, 100 secs
lola: 99962515 markings, 168059935 edges, 910510 markings/sec, 105 secs
lola: 104542387 markings, 175762307 edges, 915974 markings/sec, 110 secs
lola: 109152648 markings, 183516497 edges, 922052 markings/sec, 115 secs
lola: 113717641 markings, 191193597 edges, 912999 markings/sec, 120 secs
lola: 118312238 markings, 198920865 edges, 918919 markings/sec, 125 secs
lola: 122930582 markings, 206688668 edges, 923669 markings/sec, 130 secs
lola: 127564681 markings, 214482595 edges, 926820 markings/sec, 135 secs
lola: 132253163 markings, 222367976 edges, 937696 markings/sec, 140 secs
lola: 136847037 markings, 230094596 edges, 918775 markings/sec, 145 secs
lola: 141416030 markings, 237779429 edges, 913799 markings/sec, 150 secs
lola: 146047796 markings, 245568982 edges, 926353 markings/sec, 155 secs
lola: 150705442 markings, 253402834 edges, 931529 markings/sec, 160 secs
lola: 155432169 markings, 261352880 edges, 945345 markings/sec, 165 secs
lola: 160169589 markings, 269320548 edges, 947484 markings/sec, 170 secs
lola: 164967610 markings, 277390708 edges, 959604 markings/sec, 175 secs
lola: 169783694 markings, 285491004 edges, 963217 markings/sec, 180 secs
lola: 174668084 markings, 293706933 edges, 976878 markings/sec, 185 secs
lola: 175999999 markings, 300529092 edges, 266383 markings/sec, 190 secs
lola: 175999999 markings, 306650872 edges, 0 markings/sec, 195 secs
lola: 175999999 markings, 312572655 edges, 0 markings/sec, 200 secs
lola: 175999999 markings, 318298127 edges, 0 markings/sec, 205 secs
lola: 176138867 markings, 320130914 edges, 27774 markings/sec, 210 secs
lola: 179599736 markings, 325494965 edges, 692174 markings/sec, 215 secs
lola: 182827249 markings, 330485282 edges, 645503 markings/sec, 220 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 228 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_i1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4187772 markings, 7788210 edges, 837554 markings/sec, 0 secs
lola: 8410641 markings, 15699337 edges, 844574 markings/sec, 5 secs
lola: 12630843 markings, 23603616 edges, 844040 markings/sec, 10 secs
lola: 16808890 markings, 31436182 edges, 835609 markings/sec, 15 secs
lola: 21039437 markings, 39359563 edges, 846109 markings/sec, 20 secs
lola: 25228181 markings, 47218116 edges, 837749 markings/sec, 25 secs
lola: 29468269 markings, 55159105 edges, 848018 markings/sec, 30 secs
lola: 33719211 markings, 63122239 edges, 850188 markings/sec, 35 secs
lola: 37992897 markings, 71131718 edges, 854737 markings/sec, 40 secs
lola: 42309143 markings, 79224189 edges, 863249 markings/sec, 45 secs
lola: 46523733 markings, 87112300 edges, 842918 markings/sec, 50 secs
lola: 50779952 markings, 95088597 edges, 851244 markings/sec, 55 secs
lola: 55045586 markings, 103084963 edges, 853127 markings/sec, 60 secs
lola: 59353544 markings, 111154483 edges, 861592 markings/sec, 65 secs
lola: 63643535 markings, 119197173 edges, 857998 markings/sec, 70 secs
lola: 67767573 markings, 126924500 edges, 824808 markings/sec, 75 secs
lola: 71685815 markings, 134263763 edges, 783648 markings/sec, 80 secs
lola: 76076858 markings, 142490488 edges, 878209 markings/sec, 85 secs
lola: 80455814 markings, 150700041 edges, 875791 markings/sec, 90 secs
lola: 84794583 markings, 158822976 edges, 867754 markings/sec, 95 secs
lola: 89136691 markings, 166964331 edges, 868422 markings/sec, 100 secs
lola: 93502205 markings, 175151842 edges, 873103 markings/sec, 105 secs
lola: 97874742 markings, 183339527 edges, 874507 markings/sec, 110 secs
lola: 102269382 markings, 191573398 edges, 878928 markings/sec, 115 secs
lola: 106690866 markings, 199855025 edges, 884297 markings/sec, 120 secs
lola: 111115009 markings, 208147307 edges, 884829 markings/sec, 125 secs
lola: 115532010 markings, 216426667 edges, 883400 markings/sec, 130 secs
lola: 119980321 markings, 224759418 edges, 889662 markings/sec, 135 secs
lola: 124440436 markings, 233118693 edges, 892023 markings/sec, 140 secs
lola: 128923622 markings, 241517750 edges, 896637 markings/sec, 145 secs
lola: 133431076 markings, 249965391 edges, 901491 markings/sec, 150 secs
lola: 137769549 markings, 258094495 edges, 867695 markings/sec, 155 secs
lola: 142146706 markings, 266294032 edges, 875431 markings/sec, 160 secs
lola: 146566310 markings, 274578006 edges, 883921 markings/sec, 165 secs
lola: 151024246 markings, 282933890 edges, 891587 markings/sec, 170 secs
lola: 155492913 markings, 291306205 edges, 893733 markings/sec, 175 secs
lola: 159977519 markings, 299710527 edges, 896921 markings/sec, 180 secs
lola: 164525545 markings, 308233976 edges, 909605 markings/sec, 185 secs
lola: 169080099 markings, 316768666 edges, 910911 markings/sec, 190 secs
lola: 173387778 markings, 324843053 edges, 861536 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(initialize)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4521818 markings, 7541422 edges, 904364 markings/sec, 0 secs
lola: 9058094 markings, 15170125 edges, 907255 markings/sec, 5 secs
lola: 13578201 markings, 22773340 edges, 904021 markings/sec, 10 secs
lola: 18113242 markings, 30400572 edges, 907008 markings/sec, 15 secs
lola: 22671202 markings, 38066190 edges, 911592 markings/sec, 20 secs
lola: 27198095 markings, 45679198 edges, 905379 markings/sec, 25 secs
lola: 31763491 markings, 53358915 edges, 913079 markings/sec, 30 secs
lola: 36335217 markings, 61047912 edges, 914345 markings/sec, 35 secs
lola: 40940869 markings, 68792624 edges, 921130 markings/sec, 40 secs
lola: 45485000 markings, 76435833 edges, 908826 markings/sec, 45 secs
lola: 50041286 markings, 84098106 edges, 911257 markings/sec, 50 secs
lola: 54614430 markings, 91789492 edges, 914629 markings/sec, 55 secs
lola: 59205058 markings, 99510915 edges, 918126 markings/sec, 60 secs
lola: 63792657 markings, 107225932 edges, 917520 markings/sec, 65 secs
lola: 68399770 markings, 114974752 edges, 921423 markings/sec, 70 secs
lola: 73039475 markings, 122778624 edges, 927941 markings/sec, 75 secs
lola: 77708766 markings, 130632248 edges, 933858 markings/sec, 80 secs
lola: 82280463 markings, 138320919 edges, 914339 markings/sec, 85 secs
lola: 86861735 markings, 146025757 edges, 916254 markings/sec, 90 secs
lola: 91430605 markings, 153710054 edges, 913774 markings/sec, 95 secs
lola: 96034776 markings, 161453158 edges, 920834 markings/sec, 100 secs
lola: 100640416 markings, 169199625 edges, 921128 markings/sec, 105 secs
lola: 105268082 markings, 176982000 edges, 925533 markings/sec, 110 secs
lola: 109909621 markings, 184789625 edges, 928308 markings/sec, 115 secs
lola: 114538113 markings, 192573034 edges, 925698 markings/sec, 120 secs
lola: 119192450 markings, 200401626 edges, 930867 markings/sec, 125 secs
lola: 123854512 markings, 208243060 edges, 932412 markings/sec, 130 secs
lola: 128547384 markings, 216135804 edges, 938574 markings/sec, 135 secs
lola: 133255706 markings, 224054729 edges, 941664 markings/sec, 140 secs
lola: 137810518 markings, 231715349 edges, 910962 markings/sec, 145 secs
lola: 142405860 markings, 239443655 edges, 919068 markings/sec, 150 secs
lola: 147040208 markings, 247238354 edges, 926870 markings/sec, 155 secs
lola: 151706857 markings, 255086961 edges, 933330 markings/sec, 160 secs
lola: 156379767 markings, 262946484 edges, 934582 markings/sec, 165 secs
lola: 161067338 markings, 270830944 edges, 937514 markings/sec, 170 secs
lola: 165837191 markings, 278853526 edges, 953971 markings/sec, 175 secs
lola: 170613085 markings, 286886065 edges, 955179 markings/sec, 180 secs
lola: 175486588 markings, 295083910 edges, 974701 markings/sec, 185 secs
lola: 175999999 markings, 301460996 edges, 102682 markings/sec, 190 secs
lola: 175999999 markings, 307312350 edges, 0 markings/sec, 195 secs
lola: 175999999 markings, 312965191 edges, 0 markings/sec, 200 secs
lola: 175999999 markings, 318458898 edges, 0 markings/sec, 205 secs
lola: 176180219 markings, 320196386 edges, 36044 markings/sec, 210 secs
lola: 179577248 markings, 325459885 edges, 679406 markings/sec, 215 secs
lola: 182743326 markings, 330360745 edges, 633216 markings/sec, 220 secs
lola: 185841600 markings, 335156037 edges, 619655 markings/sec, 225 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 232 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_i1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4156263 markings, 7726316 edges, 831253 markings/sec, 0 secs
lola: 8340472 markings, 15564850 edges, 836842 markings/sec, 5 secs
lola: 12515397 markings, 23397759 edges, 834985 markings/sec, 10 secs
lola: 16664850 markings, 31163730 edges, 829891 markings/sec, 15 secs
lola: 20850350 markings, 39016610 edges, 837100 markings/sec, 20 secs
lola: 25020021 markings, 46821827 edges, 833934 markings/sec, 25 secs
lola: 29217752 markings, 54685400 edges, 839546 markings/sec, 30 secs
lola: 33432939 markings, 62578633 edges, 843037 markings/sec, 35 secs
lola: 37660844 markings, 70505323 edges, 845581 markings/sec, 40 secs
lola: 41930999 markings, 78506060 edges, 854031 markings/sec, 45 secs
lola: 46110394 markings, 86338457 edges, 835879 markings/sec, 50 secs
lola: 50313117 markings, 94216747 edges, 840545 markings/sec, 55 secs
lola: 54543873 markings, 102140297 edges, 846151 markings/sec, 60 secs
lola: 58795347 markings, 110110618 edges, 850295 markings/sec, 65 secs
lola: 63042647 markings, 118070378 edges, 849460 markings/sec, 70 secs
lola: 67295798 markings, 126046207 edges, 850630 markings/sec, 75 secs
lola: 71572932 markings, 134058738 edges, 855427 markings/sec, 80 secs
lola: 75824460 markings, 142027425 edges, 850306 markings/sec, 85 secs
lola: 80096125 markings, 150027548 edges, 854333 markings/sec, 90 secs
lola: 84325934 markings, 157948392 edges, 845962 markings/sec, 95 secs
lola: 88560642 markings, 165889564 edges, 846942 markings/sec, 100 secs
lola: 92818039 markings, 173863968 edges, 851479 markings/sec, 105 secs
lola: 97078426 markings, 181845999 edges, 852077 markings/sec, 110 secs
lola: 101352943 markings, 189856994 edges, 854903 markings/sec, 115 secs
lola: 105713522 markings, 198025462 edges, 872116 markings/sec, 120 secs
lola: 110060713 markings, 206173228 edges, 869438 markings/sec, 125 secs
lola: 114450169 markings, 214397270 edges, 877891 markings/sec, 130 secs
lola: 118818301 markings, 222587362 edges, 873626 markings/sec, 135 secs
lola: 123206349 markings, 230806301 edges, 877610 markings/sec, 140 secs
lola: 127593050 markings, 239027349 edges, 877340 markings/sec, 145 secs
lola: 132004431 markings, 247291254 edges, 882276 markings/sec, 150 secs
lola: 136329757 markings, 255395483 edges, 865065 markings/sec, 155 secs
lola: 140595151 markings, 263392639 edges, 853079 markings/sec, 160 secs
lola: 144931927 markings, 271515662 edges, 867355 markings/sec, 165 secs
lola: 149293808 markings, 279689796 edges, 872376 markings/sec, 170 secs
lola: 153679554 markings, 287912124 edges, 877149 markings/sec, 175 secs
lola: 158072812 markings, 296140182 edges, 878652 markings/sec, 180 secs
lola: 162514838 markings, 304466703 edges, 888405 markings/sec, 185 secs
lola: 167017872 markings, 312905051 edges, 900607 markings/sec, 190 secs
lola: 171512240 markings, 321327402 edges, 898874 markings/sec, 195 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_stopped)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 5223296 markings, 6973397 edges, 1044659 markings/sec, 0 secs
lola: 9847283 markings, 12899708 edges, 924797 markings/sec, 5 secs
lola: 14334591 markings, 18646571 edges, 897462 markings/sec, 10 secs
lola: 18774902 markings, 24332532 edges, 888062 markings/sec, 15 secs
lola: 23139916 markings, 29923949 edges, 873003 markings/sec, 20 secs
lola: 27467390 markings, 35467041 edges, 865495 markings/sec, 25 secs
lola: 31773715 markings, 40984209 edges, 861265 markings/sec, 30 secs
lola: 36051272 markings, 46461619 edges, 855511 markings/sec, 35 secs
lola: 40309529 markings, 51916864 edges, 851651 markings/sec, 40 secs
lola: 44537199 markings, 57331328 edges, 845534 markings/sec, 45 secs
lola: 48763162 markings, 62746776 edges, 845193 markings/sec, 50 secs
lola: 52963358 markings, 68125806 edges, 840039 markings/sec, 55 secs
lola: 57153159 markings, 73493589 edges, 837960 markings/sec, 60 secs
lola: 61332210 markings, 78846300 edges, 835810 markings/sec, 65 secs
lola: 65511266 markings, 84200799 edges, 835811 markings/sec, 70 secs
lola: 69663069 markings, 89519147 edges, 830361 markings/sec, 75 secs
lola: 73797276 markings, 94816726 edges, 826841 markings/sec, 80 secs
lola: 77994632 markings, 100194112 edges, 839471 markings/sec, 85 secs
lola: 82468635 markings, 105927713 edges, 894801 markings/sec, 90 secs
lola: 87280909 markings, 112097740 edges, 962455 markings/sec, 95 secs
lola: 90895616 markings, 119355736 edges, 722941 markings/sec, 100 secs
lola: 93972830 markings, 126086790 edges, 615443 markings/sec, 105 secs
lola: 96960828 markings, 132624881 edges, 597600 markings/sec, 110 secs
lola: 99904896 markings, 139071421 edges, 588814 markings/sec, 115 secs
lola: 102806108 markings, 145418244 edges, 580242 markings/sec, 120 secs
lola: 105666287 markings, 151676642 edges, 572036 markings/sec, 125 secs
lola: 108419560 markings, 157705406 edges, 550655 markings/sec, 130 secs
lola: 111272815 markings, 163943891 edges, 570651 markings/sec, 135 secs
lola: 114115719 markings, 170178902 edges, 568581 markings/sec, 140 secs
lola: 116943589 markings, 176365573 edges, 565574 markings/sec, 145 secs
lola: 119781231 markings, 182581359 edges, 567528 markings/sec, 150 secs
lola: 122583043 markings, 188702508 edges, 560362 markings/sec, 155 secs
lola: 125395984 markings, 194860009 edges, 562588 markings/sec, 160 secs
lola: 128226805 markings, 201066284 edges, 566164 markings/sec, 165 secs
lola: 131023171 markings, 207175027 edges, 559273 markings/sec, 170 secs
lola: 133826209 markings, 213327963 edges, 560608 markings/sec, 175 secs
lola: 136594694 markings, 219371244 edges, 553697 markings/sec, 180 secs
lola: 139374072 markings, 225456282 edges, 555876 markings/sec, 185 secs
lola: 142169503 markings, 231569890 edges, 559086 markings/sec, 190 secs
lola: 144946283 markings, 237664541 edges, 555356 markings/sec, 195 secs
lola: 147722182 markings, 243735141 edges, 555180 markings/sec, 200 secs
lola: 150484765 markings, 249774271 edges, 552517 markings/sec, 205 secs
lola: 153255356 markings, 255853674 edges, 554118 markings/sec, 210 secs
lola: 156006483 markings, 261873675 edges, 550225 markings/sec, 215 secs
lola: 158774907 markings, 267917013 edges, 553685 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(access)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 6087320 markings, 7987508 edges, 1217464 markings/sec, 0 secs
lola: 11772899 markings, 15451338 edges, 1137116 markings/sec, 5 secs
lola: 17233908 markings, 22618238 edges, 1092202 markings/sec, 10 secs
lola: 22581179 markings, 29636962 edges, 1069454 markings/sec, 15 secs
lola: 27880098 markings, 36591834 edges, 1059784 markings/sec, 20 secs
lola: 32942669 markings, 43237903 edges, 1012514 markings/sec, 25 secs
lola: 38019883 markings, 49901518 edges, 1015443 markings/sec, 30 secs
lola: 42884249 markings, 56285440 edges, 972873 markings/sec, 35 secs
lola: 47591572 markings, 62465941 edges, 941465 markings/sec, 40 secs
lola: 52372804 markings, 68740057 edges, 956246 markings/sec, 45 secs
lola: 57141214 markings, 74998226 edges, 953682 markings/sec, 50 secs
lola: 61769561 markings, 81073010 edges, 925669 markings/sec, 55 secs
lola: 66244670 markings, 86948119 edges, 895022 markings/sec, 60 secs
lola: 70651134 markings, 92732896 edges, 881293 markings/sec, 65 secs
lola: 74758356 markings, 98121190 edges, 821444 markings/sec, 70 secs
lola: 78945362 markings, 103617980 edges, 837401 markings/sec, 75 secs
lola: 83117755 markings, 109094074 edges, 834479 markings/sec, 80 secs
lola: 87165839 markings, 114407722 edges, 809617 markings/sec, 85 secs
lola: 91131537 markings, 119612421 edges, 793140 markings/sec, 90 secs
lola: 96129909 markings, 126174841 edges, 999674 markings/sec, 95 secs
lola: 101507470 markings, 133230175 edges, 1075512 markings/sec, 100 secs
lola: 106693434 markings, 140036643 edges, 1037193 markings/sec, 105 secs
lola: 111859265 markings, 146817158 edges, 1033166 markings/sec, 110 secs
lola: 116468883 markings, 152868629 edges, 921924 markings/sec, 115 secs
lola: 121381154 markings, 159315597 edges, 982454 markings/sec, 120 secs
lola: 126454839 markings, 165973906 edges, 1014737 markings/sec, 125 secs
lola: 131351682 markings, 172401177 edges, 979369 markings/sec, 130 secs
lola: 136409427 markings, 179039773 edges, 1011549 markings/sec, 135 secs
lola: 141276545 markings, 185429026 edges, 973424 markings/sec, 140 secs
lola: 145949323 markings, 191562295 edges, 934556 markings/sec, 145 secs
lola: 151177350 markings, 198422855 edges, 1045605 markings/sec, 150 secs
lola: 156185805 markings, 204996987 edges, 1001691 markings/sec, 155 secs
lola: 160652161 markings, 210861729 edges, 893271 markings/sec, 160 secs
lola: 165528680 markings, 217261499 edges, 975304 markings/sec, 165 secs
lola: 170006954 markings, 223137832 edges, 895655 markings/sec, 170 secs
lola: 174447158 markings, 228964736 edges, 888041 markings/sec, 175 secs
lola: 179066545 markings, 235028809 edges, 923877 markings/sec, 180 secs
lola: 183769619 markings, 241200925 edges, 940615 markings/sec, 185 secs
lola: 188415670 markings, 247302535 edges, 929210 markings/sec, 190 secs
lola: 192787501 markings, 253040274 edges, 874366 markings/sec, 195 secs
lola: 197293028 markings, 258951136 edges, 901105 markings/sec, 200 secs
lola: 201679536 markings, 264709884 edges, 877302 markings/sec, 205 secs
lola: 205899323 markings, 270246226 edges, 843957 markings/sec, 210 secs
lola: 210146712 markings, 275821167 edges, 849478 markings/sec, 215 secs
lola: 214571995 markings, 281629412 edges, 885057 markings/sec, 220 secs
lola: 215623257 markings, 283009159 edges, 210252 markings/sec, 225 secs
lola: 215629341 markings, 283017271 edges, 1217 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_active)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 3186934 markings, 7021020 edges, 637387 markings/sec, 0 secs
lola: 6375364 markings, 14126408 edges, 637686 markings/sec, 5 secs
lola: 9451080 markings, 20974192 edges, 615143 markings/sec, 10 secs
lola: 12481638 markings, 27735328 edges, 606112 markings/sec, 15 secs
lola: 15502910 markings, 34457369 edges, 604254 markings/sec, 20 secs
lola: 18384787 markings, 40885940 edges, 576375 markings/sec, 25 secs
lola: 21250680 markings, 47270245 edges, 573179 markings/sec, 30 secs
lola: 24096394 markings, 53589696 edges, 569143 markings/sec, 35 secs
lola: 26921556 markings, 59876207 edges, 565032 markings/sec, 40 secs
lola: 29664002 markings, 66009670 edges, 548489 markings/sec, 45 secs
lola: 32421042 markings, 72167381 edges, 551408 markings/sec, 50 secs
lola: 35290598 markings, 78543422 edges, 573911 markings/sec, 55 secs
lola: 38047423 markings, 84679298 edges, 551365 markings/sec, 60 secs
lola: 40849024 markings, 90877954 edges, 560320 markings/sec, 65 secs
lola: 43580637 markings, 96970489 edges, 546323 markings/sec, 70 secs
lola: 46253059 markings, 102947649 edges, 534484 markings/sec, 75 secs
lola: 48953315 markings, 108963159 edges, 540051 markings/sec, 80 secs
lola: 51671999 markings, 115023125 edges, 543737 markings/sec, 85 secs
lola: 54307553 markings, 120937714 edges, 527111 markings/sec, 90 secs
lola: 57050251 markings, 127061402 edges, 548540 markings/sec, 95 secs
lola: 59845985 markings, 133262345 edges, 559147 markings/sec, 100 secs
lola: 62536387 markings, 139272909 edges, 538080 markings/sec, 105 secs
lola: 65208197 markings, 145257965 edges, 534362 markings/sec, 110 secs
lola: 67963245 markings, 151370818 edges, 551010 markings/sec, 115 secs
lola: 70660866 markings, 157410732 edges, 539524 markings/sec, 120 secs
lola: 73369824 markings, 163422382 edges, 541792 markings/sec, 125 secs
lola: 76029967 markings, 169375543 edges, 532029 markings/sec, 130 secs
lola: 78658092 markings, 175262478 edges, 525625 markings/sec, 135 secs
lola: 81337245 markings, 181203849 edges, 535831 markings/sec, 140 secs
lola: 83973308 markings, 187087732 edges, 527213 markings/sec, 145 secs
lola: 86658913 markings, 193051575 edges, 537121 markings/sec, 150 secs
lola: 89282463 markings, 198890613 edges, 524710 markings/sec, 155 secs
lola: 91935816 markings, 204816546 edges, 530671 markings/sec, 160 secs
lola: 94596034 markings, 210750864 edges, 532044 markings/sec, 165 secs
lola: 97217647 markings, 216586846 edges, 524323 markings/sec, 170 secs
lola: 99882890 markings, 222505899 edges, 533049 markings/sec, 175 secs
lola: 102427068 markings, 228211296 edges, 508836 markings/sec, 180 secs
lola: 104977896 markings, 233900451 edges, 510166 markings/sec, 185 secs
lola: 107626141 markings, 239814578 edges, 529649 markings/sec, 190 secs
lola: 110290322 markings, 245735524 edges, 532836 markings/sec, 195 secs
lola: 112943932 markings, 251642998 edges, 530722 markings/sec, 200 secs
lola: 115587551 markings, 257499762 edges, 528724 markings/sec, 205 secs
lola: 118233327 markings, 263448051 edges, 529155 markings/sec, 210 secs
lola: 120934384 markings, 269474805 edges, 540211 markings/sec, 215 secs
lola: 123645164 markings, 275534104 edges, 542156 markings/sec, 220 secs
lola: 126283418 markings, 281445779 edges, 527651 markings/sec, 225 secs
lola: 129053672 markings, 287616524 edges, 554051 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(initialized)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4395323 markings, 6525032 edges, 879065 markings/sec, 0 secs
lola: 9317391 markings, 13208652 edges, 984414 markings/sec, 5 secs
lola: 13834006 markings, 19190882 edges, 903323 markings/sec, 10 secs
lola: 15251232 markings, 23126716 edges, 283445 markings/sec, 15 secs
lola: 19131301 markings, 28502399 edges, 776014 markings/sec, 20 secs
lola: 23661058 markings, 34756495 edges, 905951 markings/sec, 25 secs
lola: 28458552 markings, 41333364 edges, 959499 markings/sec, 30 secs
lola: 32801343 markings, 47122890 edges, 868558 markings/sec, 35 secs
lola: 37000111 markings, 52721898 edges, 839754 markings/sec, 40 secs
lola: 41137340 markings, 58238208 edges, 827446 markings/sec, 45 secs
lola: 45237591 markings, 63705022 edges, 820050 markings/sec, 50 secs
lola: 49304434 markings, 69126008 edges, 813369 markings/sec, 55 secs
lola: 53355179 markings, 74528239 edges, 810149 markings/sec, 60 secs
lola: 56844456 markings, 79775043 edges, 697855 markings/sec, 65 secs
lola: 57104156 markings, 82478542 edges, 51940 markings/sec, 70 secs
lola: 57354279 markings, 85079063 edges, 50025 markings/sec, 75 secs
lola: 57609336 markings, 87725793 edges, 51011 markings/sec, 80 secs
lola: 60329461 markings, 91886655 edges, 544025 markings/sec, 85 secs
lola: 63538670 markings, 96340654 edges, 641842 markings/sec, 90 secs
lola: 66820263 markings, 100886438 edges, 656319 markings/sec, 95 secs
lola: 70159687 markings, 105513249 edges, 667885 markings/sec, 100 secs
lola: 73712474 markings, 110431791 edges, 710557 markings/sec, 105 secs
lola: 77545264 markings, 115733800 edges, 766558 markings/sec, 110 secs
lola: 81471612 markings, 121162256 edges, 785270 markings/sec, 115 secs
lola: 85473936 markings, 126688798 edges, 800465 markings/sec, 120 secs
lola: 89524605 markings, 132280476 edges, 810134 markings/sec, 125 secs
lola: 93634436 markings, 137947165 edges, 821966 markings/sec, 130 secs
lola: 97815051 markings, 143709671 edges, 836123 markings/sec, 135 secs
lola: 102056294 markings, 149543671 edges, 848249 markings/sec, 140 secs
lola: 106347353 markings, 155446550 edges, 858212 markings/sec, 145 secs
lola: 110525639 markings, 161201579 edges, 835657 markings/sec, 150 secs
lola: 114786803 markings, 166943835 edges, 852233 markings/sec, 155 secs
lola: 119032007 markings, 172596647 edges, 849041 markings/sec, 160 secs
lola: 123182814 markings, 178123417 edges, 830161 markings/sec, 165 secs
lola: 127197734 markings, 183468940 edges, 802984 markings/sec, 170 secs
lola: 131220064 markings, 188825988 edges, 804466 markings/sec, 175 secs
lola: 135211381 markings, 194137539 edges, 798263 markings/sec, 180 secs
lola: 139171338 markings, 199417740 edges, 791991 markings/sec, 185 secs
lola: 143108342 markings, 204658654 edges, 787401 markings/sec, 190 secs
lola: 147030004 markings, 209878240 edges, 784332 markings/sec, 195 secs
lola: 150933400 markings, 215079919 edges, 780679 markings/sec, 200 secs
lola: 154827653 markings, 220262732 edges, 778851 markings/sec, 205 secs
lola: 158694358 markings, 225410685 edges, 773341 markings/sec, 210 secs
lola: 162538488 markings, 230531280 edges, 768826 markings/sec, 215 secs
lola: 166372115 markings, 235635725 edges, 766725 markings/sec, 220 secs
lola: 170203574 markings, 240735721 edges, 766292 markings/sec, 225 secs
lola: 173989259 markings, 245778040 edges, 757137 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_sc)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 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: 4055423 markings, 7645103 edges, 811085 markings/sec, 0 secs
lola: 8132976 markings, 15395849 edges, 815511 markings/sec, 5 secs
lola: 12209146 markings, 23131801 edges, 815234 markings/sec, 10 secs
lola: 16265015 markings, 30842795 edges, 811174 markings/sec, 15 secs
lola: 20348844 markings, 38597532 edges, 816766 markings/sec, 20 secs
lola: 24405373 markings, 46303608 edges, 811306 markings/sec, 25 secs
lola: 28486222 markings, 54049852 edges, 816170 markings/sec, 30 secs
lola: 32585753 markings, 61838107 edges, 819906 markings/sec, 35 secs
lola: 36674442 markings, 69600305 edges, 817738 markings/sec, 40 secs
lola: 40777548 markings, 77394916 edges, 820621 markings/sec, 45 secs
lola: 44857427 markings, 85137711 edges, 815976 markings/sec, 50 secs
lola: 48927766 markings, 92863622 edges, 814068 markings/sec, 55 secs
lola: 53037886 markings, 100672139 edges, 822024 markings/sec, 60 secs
lola: 57114536 markings, 108405805 edges, 815330 markings/sec, 65 secs
lola: 61234887 markings, 116229738 edges, 824070 markings/sec, 70 secs
lola: 65333000 markings, 124009835 edges, 819623 markings/sec, 75 secs
lola: 69443985 markings, 131812428 edges, 822197 markings/sec, 80 secs
lola: 73538753 markings, 139580326 edges, 818954 markings/sec, 85 secs
lola: 77633222 markings, 147350012 edges, 818894 markings/sec, 90 secs
lola: 81739502 markings, 155142735 edges, 821256 markings/sec, 95 secs
lola: 85778253 markings, 162803075 edges, 807750 markings/sec, 100 secs
lola: 89828023 markings, 170480051 edges, 809954 markings/sec, 105 secs
lola: 93868373 markings, 178146628 edges, 808070 markings/sec, 110 secs
lola: 97947883 markings, 185884185 edges, 815902 markings/sec, 115 secs
lola: 102015539 markings, 193597385 edges, 813531 markings/sec, 120 secs
lola: 106089025 markings, 201318110 edges, 814697 markings/sec, 125 secs
lola: 110174613 markings, 209065759 edges, 817118 markings/sec, 130 secs
lola: 114280092 markings, 216846462 edges, 821096 markings/sec, 135 secs
lola: 118341014 markings, 224542660 edges, 812184 markings/sec, 140 secs
lola: 122388523 markings, 232211957 edges, 809502 markings/sec, 145 secs
lola: 126449277 markings, 239902415 edges, 812151 markings/sec, 150 secs
lola: 130456245 markings, 247495657 edges, 801394 markings/sec, 155 secs
lola: 134464448 markings, 255084103 edges, 801641 markings/sec, 160 secs
lola: 138517924 markings, 262762442 edges, 810695 markings/sec, 165 secs
lola: 142568849 markings, 270429803 edges, 810185 markings/sec, 170 secs
lola: 146627590 markings, 278112037 edges, 811748 markings/sec, 175 secs
lola: 150697237 markings, 285814487 edges, 813929 markings/sec, 180 secs
lola: 154776291 markings, 293531289 edges, 815811 markings/sec, 185 secs
lola: 158914160 markings, 301374568 edges, 827574 markings/sec, 190 secs
lola: 163117963 markings, 309352718 edges, 840761 markings/sec, 195 secs
lola: 167362337 markings, 317407835 edges, 848875 markings/sec, 200 secs
lola: 171655943 markings, 325556853 edges, 858721 markings/sec, 205 secs
lola: 176015996 markings, 333933328 edges, 872011 markings/sec, 210 secs
lola: 176015996 markings, 340344189 edges, 0 markings/sec, 215 secs
lola: 176015996 markings, 345769310 edges, 0 markings/sec, 220 secs
lola: 176015996 markings, 351371163 edges, 0 markings/sec, 225 secs
lola: 176015996 markings, 357161482 edges, 0 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA RobotManipulation-PT-02000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-02000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496349835026
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="RobotManipulation-PT-02000"
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/RobotManipulation-PT-02000.tgz
mv RobotManipulation-PT-02000 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 RobotManipulation-PT-02000, 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 r208-smll-149581172800281"
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 ;