About the Execution of LoLA for RobotManipulation-PT-05000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15952.560 | 3540254.00 | 3540226.00 | 11468.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-05000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172800290
=====================================================================
--------------------
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-05000-UpperBounds-0
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-1
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-10
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-11
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-12
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-13
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-14
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-15
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-2
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-3
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-4
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-5
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-6
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-7
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-8
FORMULA_NAME RobotManipulation-PT-05000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496349132780
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
RobotManipulation-PT-05000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
RobotManipulation-PT-05000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ RobotManipulation-PT-05000 @ 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-05000-UpperBounds.task
lola: MAX(r_stopped) : MAX(off) : MAX(p_sc) : MAX(access) : MAX(p_rdy) : MAX(p_sc) : MAX(move) : MAX(off) : MAX(access) : MAX(access) : MAX(p_i2) : MAX(moved) : MAX(r_moving) : MAX(p_i1) : MAX(p_i1) : MAX(r_active)
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(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: 5396785 markings, 7344924 edges, 1079357 markings/sec, 0 secs
lola: 10326743 markings, 13941056 edges, 985992 markings/sec, 5 secs
lola: 14872016 markings, 19762694 edges, 909055 markings/sec, 10 secs
lola: 19327233 markings, 25466987 edges, 891043 markings/sec, 15 secs
lola: 23735406 markings, 31116557 edges, 881635 markings/sec, 20 secs
lola: 28083553 markings, 36685048 edges, 869629 markings/sec, 25 secs
lola: 32400822 markings, 42208725 edges, 863454 markings/sec, 30 secs
lola: 36694723 markings, 47714051 edges, 858780 markings/sec, 35 secs
lola: 40981345 markings, 53200293 edges, 857324 markings/sec, 40 secs
lola: 45222280 markings, 58637484 edges, 848187 markings/sec, 45 secs
lola: 49436089 markings, 64027486 edges, 842762 markings/sec, 50 secs
lola: 53630008 markings, 69403125 edges, 838784 markings/sec, 55 secs
lola: 57821381 markings, 74767123 edges, 838275 markings/sec, 60 secs
lola: 61979960 markings, 80098095 edges, 831716 markings/sec, 65 secs
lola: 66125805 markings, 85401315 edges, 829169 markings/sec, 70 secs
lola: 70265683 markings, 90708791 edges, 827976 markings/sec, 75 secs
lola: 74416480 markings, 96021448 edges, 830159 markings/sec, 80 secs
lola: 78540729 markings, 101308356 edges, 824850 markings/sec, 85 secs
lola: 82650274 markings, 106568391 edges, 821909 markings/sec, 90 secs
lola: 86756618 markings, 111823190 edges, 821269 markings/sec, 95 secs
lola: 90849494 markings, 117068818 edges, 818575 markings/sec, 100 secs
lola: 94934162 markings, 122300470 edges, 816934 markings/sec, 105 secs
lola: 99016795 markings, 127527099 edges, 816527 markings/sec, 110 secs
lola: 103071550 markings, 132723616 edges, 810951 markings/sec, 115 secs
lola: 107114443 markings, 137902752 edges, 808579 markings/sec, 120 secs
lola: 111156362 markings, 143076995 edges, 808384 markings/sec, 125 secs
lola: 115190024 markings, 148241103 edges, 806732 markings/sec, 130 secs
lola: 119220020 markings, 153401144 edges, 805999 markings/sec, 135 secs
lola: 123243851 markings, 158553818 edges, 804766 markings/sec, 140 secs
lola: 127263411 markings, 163701621 edges, 803912 markings/sec, 145 secs
lola: 131278642 markings, 168844484 edges, 803046 markings/sec, 150 secs
lola: 135294065 markings, 173988377 edges, 803085 markings/sec, 155 secs
lola: 139309834 markings, 179133502 edges, 803154 markings/sec, 160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 224 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: 3897937 markings, 7158132 edges, 779587 markings/sec, 0 secs
lola: 7764522 markings, 14404432 edges, 773317 markings/sec, 5 secs
lola: 11658394 markings, 21698522 edges, 778774 markings/sec, 10 secs
lola: 15556302 markings, 29000656 edges, 779582 markings/sec, 15 secs
lola: 19460736 markings, 36315602 edges, 780887 markings/sec, 20 secs
lola: 23394622 markings, 43687306 edges, 786777 markings/sec, 25 secs
lola: 27339806 markings, 51080966 edges, 789037 markings/sec, 30 secs
lola: 31209611 markings, 58330456 edges, 773961 markings/sec, 35 secs
lola: 35091502 markings, 65603425 edges, 776378 markings/sec, 40 secs
lola: 38975871 markings, 72881442 edges, 776874 markings/sec, 45 secs
lola: 42884336 markings, 80205956 edges, 781693 markings/sec, 50 secs
lola: 46788072 markings, 87521704 edges, 780747 markings/sec, 55 secs
lola: 50720599 markings, 94892943 edges, 786505 markings/sec, 60 secs
lola: 54676326 markings, 102305348 edges, 791145 markings/sec, 65 secs
lola: 58509043 markings, 109488723 edges, 766543 markings/sec, 70 secs
lola: 62342494 markings, 116671772 edges, 766690 markings/sec, 75 secs
lola: 66186774 markings, 123875100 edges, 768856 markings/sec, 80 secs
lola: 70055125 markings, 131121967 edges, 773670 markings/sec, 85 secs
lola: 73898574 markings, 138322558 edges, 768690 markings/sec, 90 secs
lola: 77771271 markings, 145575269 edges, 774539 markings/sec, 95 secs
lola: 81653571 markings, 152855129 edges, 776460 markings/sec, 100 secs
lola: 85508343 markings, 160082393 edges, 770954 markings/sec, 105 secs
lola: 89381148 markings, 167345726 edges, 774561 markings/sec, 110 secs
lola: 93272999 markings, 174641840 edges, 778370 markings/sec, 115 secs
lola: 97198893 markings, 181964208 edges, 785179 markings/sec, 120 secs
lola: 101076834 markings, 189239663 edges, 775588 markings/sec, 125 secs
lola: 104994065 markings, 196592947 edges, 783446 markings/sec, 130 secs
lola: 108963224 markings, 203997355 edges, 793832 markings/sec, 135 secs
lola: 112766306 markings, 211127804 edges, 760616 markings/sec, 140 secs
lola: 116587201 markings, 218293884 edges, 764179 markings/sec, 145 secs
lola: 120408332 markings, 225461073 edges, 764226 markings/sec, 150 secs
lola: 124259806 markings, 232673200 edges, 770295 markings/sec, 155 secs
lola: 128083351 markings, 239841707 edges, 764709 markings/sec, 160 secs
lola: 131933148 markings, 247060832 edges, 769959 markings/sec, 165 secs
lola: 135823081 markings, 254349624 edges, 777987 markings/sec, 170 secs
lola: 139662763 markings, 261550102 edges, 767936 markings/sec, 175 secs
lola: 143519725 markings, 268774462 edges, 771392 markings/sec, 180 secs
lola: 147359482 markings, 275982888 edges, 767951 markings/sec, 185 secs
lola: 151260078 markings, 283265055 edges, 780119 markings/sec, 190 secs
lola: 155138851 markings, 290547502 edges, 775755 markings/sec, 195 secs
lola: 159059334 markings, 297866340 edges, 784097 markings/sec, 200 secs
lola: 162972956 markings, 305216846 edges, 782724 markings/sec, 205 secs
lola: 166810873 markings, 312409564 edges, 767583 markings/sec, 210 secs
lola: 170688318 markings, 319677359 edges, 775489 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 224 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: 3841757 markings, 7143784 edges, 768351 markings/sec, 0 secs
lola: 7650901 markings, 14388401 edges, 761829 markings/sec, 5 secs
lola: 11475829 markings, 21643714 edges, 764986 markings/sec, 10 secs
lola: 15316199 markings, 28952901 edges, 768074 markings/sec, 15 secs
lola: 19141670 markings, 36208863 edges, 765094 markings/sec, 20 secs
lola: 22974745 markings, 43502869 edges, 766615 markings/sec, 25 secs
lola: 26850533 markings, 50861752 edges, 775158 markings/sec, 30 secs
lola: 30670247 markings, 58116365 edges, 763943 markings/sec, 35 secs
lola: 34495477 markings, 65388492 edges, 765046 markings/sec, 40 secs
lola: 38330623 markings, 72664662 edges, 767029 markings/sec, 45 secs
lola: 42183842 markings, 80003768 edges, 770644 markings/sec, 50 secs
lola: 46034511 markings, 87305869 edges, 770134 markings/sec, 55 secs
lola: 49909415 markings, 94664570 edges, 774981 markings/sec, 60 secs
lola: 53841517 markings, 102125961 edges, 786420 markings/sec, 65 secs
lola: 57707449 markings, 109489534 edges, 773186 markings/sec, 70 secs
lola: 61511837 markings, 116709497 edges, 760878 markings/sec, 75 secs
lola: 65353061 markings, 124002665 edges, 768245 markings/sec, 80 secs
lola: 69211935 markings, 131351159 edges, 771775 markings/sec, 85 secs
lola: 73062612 markings, 138656697 edges, 770135 markings/sec, 90 secs
lola: 76917036 markings, 145976869 edges, 770885 markings/sec, 95 secs
lola: 80799163 markings, 153345060 edges, 776425 markings/sec, 100 secs
lola: 84670552 markings, 160698921 edges, 774278 markings/sec, 105 secs
lola: 88518792 markings, 168023039 edges, 769648 markings/sec, 110 secs
lola: 92404141 markings, 175399242 edges, 777070 markings/sec, 115 secs
lola: 96298496 markings, 182799968 edges, 778871 markings/sec, 120 secs
lola: 100165908 markings, 190150641 edges, 773482 markings/sec, 125 secs
lola: 104080998 markings, 197583182 edges, 783018 markings/sec, 130 secs
lola: 108007345 markings, 205039399 edges, 785269 markings/sec, 135 secs
lola: 111890189 markings, 212423151 edges, 776569 markings/sec, 140 secs
lola: 115672555 markings, 219597839 edges, 756473 markings/sec, 145 secs
lola: 119505524 markings, 226878532 edges, 766594 markings/sec, 150 secs
lola: 123354844 markings, 234187364 edges, 769864 markings/sec, 155 secs
lola: 127174849 markings, 241439798 edges, 764001 markings/sec, 160 secs
lola: 131024223 markings, 248753324 edges, 769875 markings/sec, 165 secs
lola: 134884431 markings, 256082219 edges, 772042 markings/sec, 170 secs
lola: 138751276 markings, 263429112 edges, 773369 markings/sec, 175 secs
lola: 142575372 markings, 270693831 edges, 764819 markings/sec, 180 secs
lola: 146428918 markings, 278011057 edges, 770709 markings/sec, 185 secs
lola: 150296187 markings, 285358884 edges, 773454 markings/sec, 190 secs
lola: 154163839 markings, 292709605 edges, 773530 markings/sec, 195 secs
lola: 158051562 markings, 300100377 edges, 777545 markings/sec, 200 secs
lola: 161946467 markings, 307485235 edges, 778981 markings/sec, 205 secs
lola: 165822196 markings, 314842649 edges, 775146 markings/sec, 210 secs
lola: 169668247 markings, 322150941 edges, 769210 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 224 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: 6010521 markings, 7882344 edges, 1202104 markings/sec, 0 secs
lola: 11740227 markings, 15402750 edges, 1145941 markings/sec, 5 secs
lola: 17663456 markings, 23177693 edges, 1184646 markings/sec, 10 secs
lola: 23517903 markings, 30862443 edges, 1170889 markings/sec, 15 secs
lola: 29249229 markings, 38384820 edges, 1146265 markings/sec, 20 secs
lola: 34870878 markings, 45762699 edges, 1124330 markings/sec, 25 secs
lola: 40299523 markings, 52888795 edges, 1085729 markings/sec, 30 secs
lola: 46005915 markings, 60377866 edges, 1141278 markings/sec, 35 secs
lola: 51520432 markings, 67615940 edges, 1102903 markings/sec, 40 secs
lola: 56870664 markings, 74638157 edges, 1070046 markings/sec, 45 secs
lola: 62264383 markings, 81717683 edges, 1078744 markings/sec, 50 secs
lola: 67502690 markings, 88595233 edges, 1047661 markings/sec, 55 secs
lola: 72494798 markings, 95146323 edges, 998422 markings/sec, 60 secs
lola: 77531220 markings, 101758297 edges, 1007284 markings/sec, 65 secs
lola: 83041026 markings, 108987449 edges, 1101961 markings/sec, 70 secs
lola: 88527428 markings, 116190422 edges, 1097280 markings/sec, 75 secs
lola: 93638400 markings, 122899380 edges, 1022194 markings/sec, 80 secs
lola: 98269628 markings, 128976546 edges, 926246 markings/sec, 85 secs
lola: 102510017 markings, 134541004 edges, 848078 markings/sec, 90 secs
lola: 107059877 markings, 140512910 edges, 909972 markings/sec, 95 secs
lola: 111410719 markings, 146225359 edges, 870168 markings/sec, 100 secs
lola: 115565457 markings, 151676667 edges, 830948 markings/sec, 105 secs
lola: 119875051 markings, 157333542 edges, 861919 markings/sec, 110 secs
lola: 124017905 markings, 162772100 edges, 828571 markings/sec, 115 secs
lola: 128704057 markings, 168923322 edges, 937230 markings/sec, 120 secs
lola: 133785910 markings, 175592027 edges, 1016371 markings/sec, 125 secs
lola: 138778828 markings, 182145382 edges, 998584 markings/sec, 130 secs
lola: 143598131 markings, 188473408 edges, 963861 markings/sec, 135 secs
lola: 148599408 markings, 195034697 edges, 1000255 markings/sec, 140 secs
lola: 153385107 markings, 201319370 edges, 957140 markings/sec, 145 secs
lola: 158046517 markings, 207433775 edges, 932282 markings/sec, 150 secs
lola: 162891783 markings, 213793406 edges, 969053 markings/sec, 155 secs
lola: 167655180 markings, 220048870 edges, 952679 markings/sec, 160 secs
lola: 172361980 markings, 226223252 edges, 941360 markings/sec, 165 secs
lola: 176919864 markings, 232206405 edges, 911577 markings/sec, 170 secs
lola: 181534517 markings, 238263893 edges, 922931 markings/sec, 175 secs
lola: 185995148 markings, 244117011 edges, 892126 markings/sec, 180 secs
lola: 190337250 markings, 249816045 edges, 868420 markings/sec, 185 secs
lola: 194968948 markings, 255895854 edges, 926340 markings/sec, 190 secs
lola: 199882264 markings, 262345919 edges, 982663 markings/sec, 195 secs
lola: 204621333 markings, 268566794 edges, 947814 markings/sec, 200 secs
lola: 209174547 markings, 274542251 edges, 910643 markings/sec, 205 secs
lola: 213864091 markings, 280695460 edges, 937909 markings/sec, 210 secs
lola: 215578531 markings, 282945521 edges, 342888 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 224 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_rdy)
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: 4332252 markings, 8145889 edges, 866450 markings/sec, 0 secs
lola: 8715477 markings, 16226412 edges, 876645 markings/sec, 5 secs
lola: 13087708 markings, 24310826 edges, 874446 markings/sec, 10 secs
lola: 17379540 markings, 32264264 edges, 858366 markings/sec, 15 secs
lola: 21356374 markings, 39636381 edges, 795367 markings/sec, 20 secs
lola: 25226894 markings, 46811813 edges, 774104 markings/sec, 25 secs
lola: 29033622 markings, 53866751 edges, 761346 markings/sec, 30 secs
lola: 32794376 markings, 60837797 edges, 752151 markings/sec, 35 secs
lola: 36513836 markings, 67728098 edges, 743892 markings/sec, 40 secs
lola: 40135774 markings, 74446065 edges, 724388 markings/sec, 45 secs
lola: 43732832 markings, 81107894 edges, 719412 markings/sec, 50 secs
lola: 47307983 markings, 87736855 edges, 715030 markings/sec, 55 secs
lola: 50869183 markings, 94339383 edges, 712240 markings/sec, 60 secs
lola: 54413111 markings, 100910185 edges, 708786 markings/sec, 65 secs
lola: 57939987 markings, 107440833 edges, 705375 markings/sec, 70 secs
lola: 61465024 markings, 113981092 edges, 705007 markings/sec, 75 secs
lola: 64973573 markings, 120479816 edges, 701710 markings/sec, 80 secs
lola: 68471500 markings, 126962918 edges, 699585 markings/sec, 85 secs
lola: 71961785 markings, 133437335 edges, 698057 markings/sec, 90 secs
lola: 75444387 markings, 139889198 edges, 696520 markings/sec, 95 secs
lola: 78920348 markings, 146336012 edges, 695192 markings/sec, 100 secs
lola: 82389593 markings, 152762996 edges, 693849 markings/sec, 105 secs
lola: 85852784 markings, 159187745 edges, 692638 markings/sec, 110 secs
lola: 89309420 markings, 165593720 edges, 691327 markings/sec, 115 secs
lola: 92763516 markings, 171988581 edges, 690819 markings/sec, 120 secs
lola: 96217015 markings, 178393772 edges, 690700 markings/sec, 125 secs
lola: 99663028 markings, 184779081 edges, 689203 markings/sec, 130 secs
lola: 103108159 markings, 191169278 edges, 689026 markings/sec, 135 secs
lola: 106550671 markings, 197543740 edges, 688502 markings/sec, 140 secs
lola: 109988698 markings, 203916674 edges, 687605 markings/sec, 145 secs
lola: 113422299 markings, 210284595 edges, 686720 markings/sec, 150 secs
lola: 116855608 markings, 216650613 edges, 686662 markings/sec, 155 secs
lola: 120285343 markings, 223012443 edges, 685947 markings/sec, 160 secs
lola: 123710405 markings, 229358790 edges, 685012 markings/sec, 165 secs
lola: 127131616 markings, 235702431 edges, 684242 markings/sec, 170 secs
lola: 130551389 markings, 242034137 edges, 683955 markings/sec, 175 secs
lola: 133969266 markings, 248375889 edges, 683575 markings/sec, 180 secs
lola: 137380332 markings, 254688032 edges, 682213 markings/sec, 185 secs
lola: 140796318 markings, 261020713 edges, 683197 markings/sec, 190 secs
lola: 144200573 markings, 267328944 edges, 680851 markings/sec, 195 secs
lola: 147601569 markings, 273642469 edges, 680199 markings/sec, 200 secs
lola: 150991887 markings, 279924389 edges, 678064 markings/sec, 205 secs
lola: 154375798 markings, 286200223 edges, 676782 markings/sec, 210 secs
lola: 157751330 markings, 292446680 edges, 675106 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 224 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: 3729829 markings, 6919925 edges, 745966 markings/sec, 0 secs
lola: 7017307 markings, 13165438 edges, 657496 markings/sec, 5 secs
lola: 10660261 markings, 20098772 edges, 728591 markings/sec, 10 secs
lola: 14522998 markings, 27441800 edges, 772547 markings/sec, 15 secs
lola: 18297564 markings, 34614603 edges, 754913 markings/sec, 20 secs
lola: 22082493 markings, 41798846 edges, 756986 markings/sec, 25 secs
lola: 25868678 markings, 49007199 edges, 757237 markings/sec, 30 secs
lola: 29698402 markings, 56267245 edges, 765945 markings/sec, 35 secs
lola: 33470805 markings, 63448067 edges, 754481 markings/sec, 40 secs
lola: 37297237 markings, 70703098 edges, 765286 markings/sec, 45 secs
lola: 41138738 markings, 78017070 edges, 768300 markings/sec, 50 secs
lola: 44983580 markings, 85311200 edges, 768968 markings/sec, 55 secs
lola: 48855552 markings, 92664086 edges, 774394 markings/sec, 60 secs
lola: 52728834 markings, 100018325 edges, 774656 markings/sec, 65 secs
lola: 56589612 markings, 107366965 edges, 772156 markings/sec, 70 secs
lola: 60319765 markings, 114433404 edges, 746031 markings/sec, 75 secs
lola: 64081225 markings, 121595925 edges, 752292 markings/sec, 80 secs
lola: 67864705 markings, 128767628 edges, 756696 markings/sec, 85 secs
lola: 71650839 markings, 135978529 edges, 757227 markings/sec, 90 secs
lola: 75444967 markings, 143174181 edges, 758826 markings/sec, 95 secs
lola: 79243468 markings, 150398016 edges, 759700 markings/sec, 100 secs
lola: 83081372 markings, 157694716 edges, 767581 markings/sec, 105 secs
lola: 86872648 markings, 164884607 edges, 758255 markings/sec, 110 secs
lola: 90675144 markings, 172114953 edges, 760499 markings/sec, 115 secs
lola: 94486184 markings, 179355928 edges, 762208 markings/sec, 120 secs
lola: 98314353 markings, 186625954 edges, 765634 markings/sec, 125 secs
lola: 102138882 markings, 193883070 edges, 764906 markings/sec, 130 secs
lola: 106000174 markings, 201216831 edges, 772258 markings/sec, 135 secs
lola: 109875472 markings, 208579854 edges, 775060 markings/sec, 140 secs
lola: 113595217 markings, 215654198 edges, 743949 markings/sec, 145 secs
lola: 117348500 markings, 222778720 edges, 750657 markings/sec, 150 secs
lola: 121114064 markings, 229922152 edges, 753113 markings/sec, 155 secs
lola: 124873156 markings, 237079543 edges, 751818 markings/sec, 160 secs
lola: 128625418 markings, 244198757 edges, 750452 markings/sec, 165 secs
lola: 132405591 markings, 251373434 edges, 756035 markings/sec, 170 secs
lola: 136209328 markings, 258603014 edges, 760747 markings/sec, 175 secs
lola: 139977620 markings, 265766745 edges, 753658 markings/sec, 180 secs
lola: 143748069 markings, 272928613 edges, 754090 markings/sec, 185 secs
lola: 147525532 markings, 280099024 edges, 755493 markings/sec, 190 secs
lola: 151326537 markings, 287315033 edges, 760201 markings/sec, 195 secs
lola: 155115722 markings, 294512147 edges, 757837 markings/sec, 200 secs
lola: 158930692 markings, 301753758 edges, 762994 markings/sec, 205 secs
lola: 162749275 markings, 309007930 edges, 763717 markings/sec, 210 secs
lola: 166531705 markings, 316192518 edges, 756486 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 224 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(move)
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: 4308379 markings, 7045678 edges, 861676 markings/sec, 0 secs
lola: 8608216 markings, 14167278 edges, 859967 markings/sec, 5 secs
lola: 12918771 markings, 21319102 edges, 862111 markings/sec, 10 secs
lola: 17239548 markings, 28482004 edges, 864155 markings/sec, 15 secs
lola: 21538882 markings, 35611436 edges, 859867 markings/sec, 20 secs
lola: 25858581 markings, 42782218 edges, 863940 markings/sec, 25 secs
lola: 30204934 markings, 49984937 edges, 869271 markings/sec, 30 secs
lola: 34485125 markings, 57093680 edges, 856038 markings/sec, 35 secs
lola: 38793363 markings, 64233402 edges, 861648 markings/sec, 40 secs
lola: 43099831 markings, 71370181 edges, 861294 markings/sec, 45 secs
lola: 47416765 markings, 78536692 edges, 863387 markings/sec, 50 secs
lola: 51739031 markings, 85701202 edges, 864453 markings/sec, 55 secs
lola: 56081014 markings, 92900251 edges, 868397 markings/sec, 60 secs
lola: 60463363 markings, 100160935 edges, 876470 markings/sec, 65 secs
lola: 64686005 markings, 107173139 edges, 844528 markings/sec, 70 secs
lola: 68956999 markings, 114250715 edges, 854199 markings/sec, 75 secs
lola: 73219740 markings, 121324618 edges, 852548 markings/sec, 80 secs
lola: 77510228 markings, 128437666 edges, 858098 markings/sec, 85 secs
lola: 81766637 markings, 135490388 edges, 851282 markings/sec, 90 secs
lola: 86043097 markings, 142580635 edges, 855292 markings/sec, 95 secs
lola: 90346984 markings, 149715605 edges, 860777 markings/sec, 100 secs
lola: 94613055 markings, 156792083 edges, 853214 markings/sec, 105 secs
lola: 98909701 markings, 163913933 edges, 859329 markings/sec, 110 secs
lola: 103202127 markings, 171045279 edges, 858485 markings/sec, 115 secs
lola: 107517243 markings, 178193540 edges, 863023 markings/sec, 120 secs
lola: 111827961 markings, 185339019 edges, 862144 markings/sec, 125 secs
lola: 116179520 markings, 192556612 edges, 870312 markings/sec, 130 secs
lola: 120531520 markings, 199763661 edges, 870400 markings/sec, 135 secs
lola: 124758899 markings, 206783051 edges, 845476 markings/sec, 140 secs
lola: 129052613 markings, 213906258 edges, 858743 markings/sec, 145 secs
lola: 133358414 markings, 221038816 edges, 861160 markings/sec, 150 secs
lola: 137649751 markings, 228152496 edges, 858267 markings/sec, 155 secs
lola: 141950218 markings, 235297418 edges, 860093 markings/sec, 160 secs
lola: 146278814 markings, 242467606 edges, 865719 markings/sec, 165 secs
lola: 150594151 markings, 249629506 edges, 863067 markings/sec, 170 secs
lola: 154890961 markings, 256748404 edges, 859362 markings/sec, 175 secs
lola: 159196162 markings, 263886534 edges, 861040 markings/sec, 180 secs
lola: 163520682 markings, 271053608 edges, 864904 markings/sec, 185 secs
lola: 167845129 markings, 278222641 edges, 864889 markings/sec, 190 secs
lola: 172191982 markings, 285441649 edges, 869371 markings/sec, 195 secs
lola: 176547768 markings, 292665128 edges, 871157 markings/sec, 200 secs
lola: 180864394 markings, 299815800 edges, 863325 markings/sec, 205 secs
lola: 184758211 markings, 306275805 edges, 778763 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 225 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: 3931506 markings, 7218559 edges, 786301 markings/sec, 0 secs
lola: 7836093 markings, 14538132 edges, 780917 markings/sec, 5 secs
lola: 11761217 markings, 21894148 edges, 785025 markings/sec, 10 secs
lola: 15686150 markings, 29249292 edges, 784987 markings/sec, 15 secs
lola: 19592316 markings, 36567800 edges, 781233 markings/sec, 20 secs
lola: 23532968 markings, 43952469 edges, 788130 markings/sec, 25 secs
lola: 27519908 markings, 51417693 edges, 797388 markings/sec, 30 secs
lola: 31415811 markings, 58718483 edges, 779181 markings/sec, 35 secs
lola: 35336759 markings, 66063826 edges, 784190 markings/sec, 40 secs
lola: 39260080 markings, 73415464 edges, 784664 markings/sec, 45 secs
lola: 43201136 markings, 80805117 edges, 788211 markings/sec, 50 secs
lola: 47143627 markings, 88198239 edges, 788498 markings/sec, 55 secs
lola: 50914574 markings, 95255041 edges, 754189 markings/sec, 60 secs
lola: 54862560 markings, 102660245 edges, 789597 markings/sec, 65 secs
lola: 58696430 markings, 109841937 edges, 766774 markings/sec, 70 secs
lola: 62532994 markings, 117029566 edges, 767313 markings/sec, 75 secs
lola: 66376827 markings, 124232120 edges, 768767 markings/sec, 80 secs
lola: 70242842 markings, 131478887 edges, 773203 markings/sec, 85 secs
lola: 74080650 markings, 138670894 edges, 767562 markings/sec, 90 secs
lola: 77945972 markings, 145917598 edges, 773064 markings/sec, 95 secs
lola: 81828168 markings, 153198085 edges, 776439 markings/sec, 100 secs
lola: 85699456 markings, 160446487 edges, 774258 markings/sec, 105 secs
lola: 89604666 markings, 167737513 edges, 781042 markings/sec, 110 secs
lola: 93495191 markings, 175031654 edges, 778105 markings/sec, 115 secs
lola: 97398769 markings, 182356818 edges, 780716 markings/sec, 120 secs
lola: 101297919 markings, 189654139 edges, 779830 markings/sec, 125 secs
lola: 105251444 markings, 197046901 edges, 790705 markings/sec, 130 secs
lola: 109199178 markings, 204459312 edges, 789547 markings/sec, 135 secs
lola: 112998549 markings, 211575156 edges, 759874 markings/sec, 140 secs
lola: 116834055 markings, 218761010 edges, 767101 markings/sec, 145 secs
lola: 120655760 markings, 225925490 edges, 764341 markings/sec, 150 secs
lola: 124491653 markings, 233117179 edges, 767179 markings/sec, 155 secs
lola: 128321706 markings, 240292061 edges, 766011 markings/sec, 160 secs
lola: 132166782 markings, 247500936 edges, 769015 markings/sec, 165 secs
lola: 136075792 markings, 254824961 edges, 781802 markings/sec, 170 secs
lola: 139912525 markings, 262023493 edges, 767347 markings/sec, 175 secs
lola: 143771017 markings, 269261948 edges, 771698 markings/sec, 180 secs
lola: 147648805 markings, 276500694 edges, 775558 markings/sec, 185 secs
lola: 151526350 markings, 283784088 edges, 775509 markings/sec, 190 secs
lola: 155435045 markings, 291079020 edges, 781739 markings/sec, 195 secs
lola: 159338320 markings, 298404619 edges, 780655 markings/sec, 200 secs
lola: 163257719 markings, 305755622 edges, 783880 markings/sec, 205 secs
lola: 167079092 markings, 312915986 edges, 764275 markings/sec, 210 secs
lola: 170993278 markings, 320251427 edges, 782837 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 225 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: 5991431 markings, 7856801 edges, 1198286 markings/sec, 0 secs
lola: 11859932 markings, 15560540 edges, 1173700 markings/sec, 5 secs
lola: 17787180 markings, 23340004 edges, 1185450 markings/sec, 10 secs
lola: 23641018 markings, 31023889 edges, 1170768 markings/sec, 15 secs
lola: 29386417 markings, 38564135 edges, 1149080 markings/sec, 20 secs
lola: 34331169 markings, 45054264 edges, 988950 markings/sec, 25 secs
lola: 39092926 markings, 51304269 edges, 952351 markings/sec, 30 secs
lola: 43943851 markings, 57671223 edges, 970185 markings/sec, 35 secs
lola: 48656295 markings, 63856621 edges, 942489 markings/sec, 40 secs
lola: 53334934 markings, 69997410 edges, 935728 markings/sec, 45 secs
lola: 57712559 markings, 75743215 edges, 875525 markings/sec, 50 secs
lola: 62337678 markings, 81813801 edges, 925024 markings/sec, 55 secs
lola: 66934091 markings, 87847007 edges, 919283 markings/sec, 60 secs
lola: 71661542 markings, 94052088 edges, 945490 markings/sec, 65 secs
lola: 76591602 markings, 100523465 edges, 986012 markings/sec, 70 secs
lola: 80841680 markings, 106103227 edges, 850016 markings/sec, 75 secs
lola: 85408178 markings, 112094410 edges, 913300 markings/sec, 80 secs
lola: 89804723 markings, 117864925 edges, 879309 markings/sec, 85 secs
lola: 94216322 markings, 123656155 edges, 882320 markings/sec, 90 secs
lola: 98428963 markings, 129184946 edges, 842528 markings/sec, 95 secs
lola: 102450967 markings, 134463645 edges, 804401 markings/sec, 100 secs
lola: 106787712 markings, 140155644 edges, 867349 markings/sec, 105 secs
lola: 110933868 markings, 145597899 edges, 829231 markings/sec, 110 secs
lola: 114923227 markings, 150834087 edges, 797872 markings/sec, 115 secs
lola: 119032810 markings, 156227692 edges, 821917 markings/sec, 120 secs
lola: 123012971 markings, 161451607 edges, 796032 markings/sec, 125 secs
lola: 126923076 markings, 166583809 edges, 782021 markings/sec, 130 secs
lola: 130933202 markings, 171848336 edges, 802025 markings/sec, 135 secs
lola: 135189098 markings, 177434405 edges, 851179 markings/sec, 140 secs
lola: 139327469 markings, 182868262 edges, 827674 markings/sec, 145 secs
lola: 143328669 markings, 188119089 edges, 800240 markings/sec, 150 secs
lola: 147450930 markings, 193528298 edges, 824452 markings/sec, 155 secs
lola: 151431494 markings, 198751533 edges, 796113 markings/sec, 160 secs
lola: 155573781 markings, 204191298 edges, 828457 markings/sec, 165 secs
lola: 160078208 markings, 210101314 edges, 900885 markings/sec, 170 secs
lola: 164915875 markings, 216453671 edges, 967533 markings/sec, 175 secs
lola: 169502585 markings, 222470257 edges, 917342 markings/sec, 180 secs
lola: 174058853 markings, 228453218 edges, 911254 markings/sec, 185 secs
lola: 178677737 markings, 234512803 edges, 923777 markings/sec, 190 secs
lola: 182977695 markings, 240156516 edges, 859992 markings/sec, 195 secs
lola: 187433247 markings, 246006231 edges, 891110 markings/sec, 200 secs
lola: 191587352 markings, 251457803 edges, 830821 markings/sec, 205 secs
lola: 196425126 markings, 257806559 edges, 967555 markings/sec, 210 secs
lola: 201075972 markings, 263910907 edges, 930169 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 225 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: 5890881 markings, 7725446 edges, 1178176 markings/sec, 0 secs
lola: 11790281 markings, 15468389 edges, 1179880 markings/sec, 5 secs
lola: 17434364 markings, 22876411 edges, 1128817 markings/sec, 10 secs
lola: 23146751 markings, 30374257 edges, 1142477 markings/sec, 15 secs
lola: 28892755 markings, 37916170 edges, 1149201 markings/sec, 20 secs
lola: 34337558 markings, 45063115 edges, 1088961 markings/sec, 25 secs
lola: 39240667 markings, 51498391 edges, 980622 markings/sec, 30 secs
lola: 44130828 markings, 57918534 edges, 978032 markings/sec, 35 secs
lola: 48991095 markings, 64295908 edges, 972053 markings/sec, 40 secs
lola: 53768250 markings, 70566225 edges, 955431 markings/sec, 45 secs
lola: 58290742 markings, 76503082 edges, 904498 markings/sec, 50 secs
lola: 62960495 markings, 82631328 edges, 933951 markings/sec, 55 secs
lola: 67172457 markings, 88159657 edges, 842392 markings/sec, 60 secs
lola: 71412735 markings, 93725420 edges, 848056 markings/sec, 65 secs
lola: 75550349 markings, 99155871 edges, 827523 markings/sec, 70 secs
lola: 79792360 markings, 104725480 edges, 848402 markings/sec, 75 secs
lola: 84457576 markings, 110847986 edges, 933043 markings/sec, 80 secs
lola: 89027278 markings, 116846205 edges, 913940 markings/sec, 85 secs
lola: 93422644 markings, 122615427 edges, 879073 markings/sec, 90 secs
lola: 97719498 markings, 128254263 edges, 859371 markings/sec, 95 secs
lola: 101817586 markings, 133632181 edges, 819618 markings/sec, 100 secs
lola: 106161232 markings, 139335926 edges, 868729 markings/sec, 105 secs
lola: 110416726 markings, 144919752 edges, 851099 markings/sec, 110 secs
lola: 114534347 markings, 150324992 edges, 823524 markings/sec, 115 secs
lola: 118695528 markings, 155786278 edges, 832236 markings/sec, 120 secs
lola: 122770728 markings, 161134790 edges, 815040 markings/sec, 125 secs
lola: 126777829 markings, 166393209 edges, 801420 markings/sec, 130 secs
lola: 130859975 markings, 171752649 edges, 816429 markings/sec, 135 secs
lola: 135207581 markings, 177457490 edges, 869521 markings/sec, 140 secs
lola: 139422815 markings, 182989859 edges, 843047 markings/sec, 145 secs
lola: 143453673 markings, 188280749 edges, 806172 markings/sec, 150 secs
lola: 147555350 markings, 193663937 edges, 820335 markings/sec, 155 secs
lola: 151448789 markings, 198777463 edges, 778688 markings/sec, 160 secs
lola: 155336811 markings, 203879797 edges, 777604 markings/sec, 165 secs
lola: 159086003 markings, 208798362 edges, 749838 markings/sec, 170 secs
lola: 163102511 markings, 214070037 edges, 803302 markings/sec, 175 secs
lola: 167000730 markings, 219186463 edges, 779644 markings/sec, 180 secs
lola: 170878898 markings, 224279695 edges, 775634 markings/sec, 185 secs
lola: 174650061 markings, 229227865 edges, 754233 markings/sec, 190 secs
lola: 178556817 markings, 234356029 edges, 781351 markings/sec, 195 secs
lola: 182391766 markings, 239387933 edges, 766990 markings/sec, 200 secs
lola: 186156679 markings, 244330266 edges, 752983 markings/sec, 205 secs
lola: 189863559 markings, 249198483 edges, 741376 markings/sec, 210 secs
lola: 193637178 markings, 254147198 edges, 754724 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 225 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: 4195964 markings, 6899962 edges, 839193 markings/sec, 0 secs
lola: 8363523 markings, 13905771 edges, 833512 markings/sec, 5 secs
lola: 12549728 markings, 20949185 edges, 837241 markings/sec, 10 secs
lola: 16731047 markings, 27978616 edges, 836264 markings/sec, 15 secs
lola: 20919236 markings, 35024171 edges, 837638 markings/sec, 20 secs
lola: 25150744 markings, 42142705 edges, 846302 markings/sec, 25 secs
lola: 29389488 markings, 49269477 edges, 847749 markings/sec, 30 secs
lola: 33579832 markings, 56316253 edges, 838069 markings/sec, 35 secs
lola: 37791042 markings, 63400567 edges, 842242 markings/sec, 40 secs
lola: 42013612 markings, 70503686 edges, 844514 markings/sec, 45 secs
lola: 46245015 markings, 77617326 edges, 846281 markings/sec, 50 secs
lola: 50493646 markings, 84761159 edges, 849726 markings/sec, 55 secs
lola: 54772416 markings, 91957554 edges, 855754 markings/sec, 60 secs
lola: 58907885 markings, 98914981 edges, 827094 markings/sec, 65 secs
lola: 63069273 markings, 105915475 edges, 832278 markings/sec, 70 secs
lola: 67224380 markings, 112900318 edges, 831021 markings/sec, 75 secs
lola: 71401814 markings, 119925887 edges, 835487 markings/sec, 80 secs
lola: 75566967 markings, 126932266 edges, 833031 markings/sec, 85 secs
lola: 79752889 markings, 133973131 edges, 837184 markings/sec, 90 secs
lola: 83936856 markings, 141010601 edges, 836793 markings/sec, 95 secs
lola: 88115506 markings, 148039081 edges, 835730 markings/sec, 100 secs
lola: 92326073 markings, 155120616 edges, 842113 markings/sec, 105 secs
lola: 96550449 markings, 162225037 edges, 844875 markings/sec, 110 secs
lola: 100742626 markings, 169275661 edges, 838435 markings/sec, 115 secs
lola: 104976926 markings, 176396351 edges, 846860 markings/sec, 120 secs
lola: 109234881 markings, 183556336 edges, 851591 markings/sec, 125 secs
lola: 113321071 markings, 190429916 edges, 817238 markings/sec, 130 secs
lola: 117458998 markings, 197389588 edges, 827585 markings/sec, 135 secs
lola: 121595166 markings, 204346191 edges, 827234 markings/sec, 140 secs
lola: 125737724 markings, 211313317 edges, 828512 markings/sec, 145 secs
lola: 129892074 markings, 218299960 edges, 830870 markings/sec, 150 secs
lola: 134060288 markings, 225309576 edges, 833643 markings/sec, 155 secs
lola: 138219476 markings, 232304015 edges, 831838 markings/sec, 160 secs
lola: 142375026 markings, 239292260 edges, 831110 markings/sec, 165 secs
lola: 146548115 markings, 246309602 edges, 834618 markings/sec, 170 secs
lola: 150729855 markings, 253342394 edges, 836348 markings/sec, 175 secs
lola: 154916720 markings, 260387447 edges, 837373 markings/sec, 180 secs
lola: 159119739 markings, 267454260 edges, 840604 markings/sec, 185 secs
lola: 163323462 markings, 274522110 edges, 840745 markings/sec, 190 secs
lola: 167471697 markings, 281501977 edges, 829647 markings/sec, 195 secs
lola: 171657647 markings, 288541444 edges, 837190 markings/sec, 200 secs
lola: 175868309 markings, 295620450 edges, 842132 markings/sec, 205 secs
lola: 180076452 markings, 302701222 edges, 841629 markings/sec, 210 secs
lola: 184318769 markings, 309832703 edges, 848463 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 226 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: 5836163 markings, 7760738 edges, 1167233 markings/sec, 0 secs
lola: 11303693 markings, 15051806 edges, 1093506 markings/sec, 5 secs
lola: 16261745 markings, 21663138 edges, 991610 markings/sec, 10 secs
lola: 21194494 markings, 28240956 edges, 986550 markings/sec, 15 secs
lola: 26181893 markings, 34891137 edges, 997480 markings/sec, 20 secs
lola: 31120267 markings, 41476198 edges, 987675 markings/sec, 25 secs
lola: 35929432 markings, 47888726 edges, 961833 markings/sec, 30 secs
lola: 40618690 markings, 54141588 edges, 937852 markings/sec, 35 secs
lola: 45345605 markings, 60444360 edges, 945383 markings/sec, 40 secs
lola: 50008246 markings, 66662486 edges, 932528 markings/sec, 45 secs
lola: 54661520 markings, 72866653 edges, 930655 markings/sec, 50 secs
lola: 59137769 markings, 78835212 edges, 895250 markings/sec, 55 secs
lola: 63697648 markings, 84916113 edges, 911976 markings/sec, 60 secs
lola: 68069055 markings, 90744929 edges, 874281 markings/sec, 65 secs
lola: 72357203 markings, 96461780 edges, 857630 markings/sec, 70 secs
lola: 76688228 markings, 102237715 edges, 866205 markings/sec, 75 secs
lola: 81633501 markings, 108831585 edges, 989055 markings/sec, 80 secs
lola: 86311701 markings, 115068739 edges, 935640 markings/sec, 85 secs
lola: 90982321 markings, 121296530 edges, 934124 markings/sec, 90 secs
lola: 95431482 markings, 127229642 edges, 889832 markings/sec, 95 secs
lola: 100087081 markings, 133437307 edges, 931120 markings/sec, 100 secs
lola: 104531772 markings, 139363661 edges, 888938 markings/sec, 105 secs
lola: 108894295 markings, 145180340 edges, 872505 markings/sec, 110 secs
lola: 113167255 markings, 150878667 edges, 854592 markings/sec, 115 secs
lola: 117292856 markings, 156378336 edges, 825120 markings/sec, 120 secs
lola: 121892379 markings, 162511872 edges, 919905 markings/sec, 125 secs
lola: 126429381 markings, 168561447 edges, 907400 markings/sec, 130 secs
lola: 130810256 markings, 174403442 edges, 876175 markings/sec, 135 secs
lola: 135234584 markings, 180302194 edges, 884866 markings/sec, 140 secs
lola: 139474009 markings, 185954282 edges, 847885 markings/sec, 145 secs
lola: 143623297 markings, 191487731 edges, 829858 markings/sec, 150 secs
lola: 148085450 markings, 197438214 edges, 892431 markings/sec, 155 secs
lola: 152390851 markings, 203177529 edges, 861080 markings/sec, 160 secs
lola: 156500481 markings, 208656881 edges, 821926 markings/sec, 165 secs
lola: 160783713 markings, 214369589 edges, 856646 markings/sec, 170 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_moving)
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: 4489899 markings, 7358115 edges, 897980 markings/sec, 0 secs
lola: 8659574 markings, 14232159 edges, 833935 markings/sec, 5 secs
lola: 12609649 markings, 20863750 edges, 790015 markings/sec, 10 secs
lola: 16993834 markings, 27820022 edges, 876837 markings/sec, 15 secs
lola: 20749246 markings, 34191331 edges, 751082 markings/sec, 20 secs
lola: 24632916 markings, 40665804 edges, 776734 markings/sec, 25 secs
lola: 28538810 markings, 47107642 edges, 781179 markings/sec, 30 secs
lola: 32246334 markings, 53401485 edges, 741505 markings/sec, 35 secs
lola: 35962609 markings, 59710587 edges, 743255 markings/sec, 40 secs
lola: 39685333 markings, 66030753 edges, 744545 markings/sec, 45 secs
lola: 43414284 markings, 72361626 edges, 745790 markings/sec, 50 secs
lola: 47140712 markings, 78688270 edges, 745286 markings/sec, 55 secs
lola: 50873970 markings, 85026119 edges, 746652 markings/sec, 60 secs
lola: 54613787 markings, 91374260 edges, 747963 markings/sec, 65 secs
lola: 58348007 markings, 97713982 edges, 746844 markings/sec, 70 secs
lola: 62087604 markings, 104062608 edges, 747919 markings/sec, 75 secs
lola: 65828481 markings, 110413271 edges, 748175 markings/sec, 80 secs
lola: 69575213 markings, 116774042 edges, 749346 markings/sec, 85 secs
lola: 73316730 markings, 123124493 edges, 748303 markings/sec, 90 secs
lola: 77056197 markings, 129473084 edges, 747893 markings/sec, 95 secs
lola: 80793433 markings, 135816708 edges, 747447 markings/sec, 100 secs
lola: 84529603 markings, 142159218 edges, 747234 markings/sec, 105 secs
lola: 88320497 markings, 148595263 edges, 758179 markings/sec, 110 secs
lola: 92121549 markings, 155047136 edges, 760210 markings/sec, 115 secs
lola: 95933321 markings, 161518334 edges, 762354 markings/sec, 120 secs
lola: 99745018 markings, 167988463 edges, 762339 markings/sec, 125 secs
lola: 103558383 markings, 174462045 edges, 762673 markings/sec, 130 secs
lola: 107362427 markings, 180919498 edges, 760809 markings/sec, 135 secs
lola: 111174199 markings, 187389831 edges, 762354 markings/sec, 140 secs
lola: 114980793 markings, 193852898 edges, 761319 markings/sec, 145 secs
lola: 118789959 markings, 200319321 edges, 761833 markings/sec, 150 secs
lola: 122593284 markings, 206774726 edges, 760665 markings/sec, 155 secs
lola: 126399582 markings, 213237043 edges, 761260 markings/sec, 160 secs
lola: 130205244 markings, 219697343 edges, 761132 markings/sec, 165 secs
lola: 134005211 markings, 226146987 edges, 759993 markings/sec, 170 secs
lola: 137806109 markings, 232600230 edges, 760180 markings/sec, 175 secs
lola: 141607046 markings, 239052722 edges, 760187 markings/sec, 180 secs
lola: 145407841 markings, 245504164 edges, 760159 markings/sec, 185 secs
lola: 149205980 markings, 251950199 edges, 759628 markings/sec, 190 secs
lola: 153000548 markings, 258392455 edges, 758914 markings/sec, 195 secs
lola: 156793234 markings, 264830719 edges, 758537 markings/sec, 200 secs
lola: 160579078 markings, 271256511 edges, 757169 markings/sec, 205 secs
lola: 164365723 markings, 277686178 edges, 757329 markings/sec, 210 secs
lola: 168145351 markings, 284099893 edges, 755926 markings/sec, 215 secs
lola: 171925024 markings, 290516271 edges, 755935 markings/sec, 220 secs
lola: 175703001 markings, 296929067 edges, 755595 markings/sec, 225 secs
lola: 179486535 markings, 303354121 edges, 756707 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 237 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: 3787578 markings, 6951424 edges, 757516 markings/sec, 0 secs
lola: 7690135 markings, 14261853 edges, 780511 markings/sec, 5 secs
lola: 11608479 markings, 21602847 edges, 783669 markings/sec, 10 secs
lola: 15530749 markings, 28951679 edges, 784454 markings/sec, 15 secs
lola: 19432376 markings, 36261248 edges, 780325 markings/sec, 20 secs
lola: 23371930 markings, 43643816 edges, 787911 markings/sec, 25 secs
lola: 27347010 markings, 51094779 edges, 795016 markings/sec, 30 secs
lola: 31240136 markings, 58388967 edges, 778625 markings/sec, 35 secs
lola: 35155874 markings, 65726812 edges, 783148 markings/sec, 40 secs
lola: 39076437 markings, 73074197 edges, 784113 markings/sec, 45 secs
lola: 43027474 markings, 80480308 edges, 790207 markings/sec, 50 secs
lola: 46987571 markings, 87895053 edges, 792019 markings/sec, 55 secs
lola: 50966370 markings, 95356786 edges, 795760 markings/sec, 60 secs
lola: 54959578 markings, 102850812 edges, 798642 markings/sec, 65 secs
lola: 58799572 markings, 110044534 edges, 767999 markings/sec, 70 secs
lola: 62587805 markings, 117137226 edges, 757647 markings/sec, 75 secs
lola: 66479550 markings, 124433892 edges, 778349 markings/sec, 80 secs
lola: 70395940 markings, 131779612 edges, 783278 markings/sec, 85 secs
lola: 74303202 markings, 139081760 edges, 781452 markings/sec, 90 secs
lola: 78239737 markings, 146442319 edges, 787307 markings/sec, 95 secs
lola: 82174973 markings, 153827093 edges, 787047 markings/sec, 100 secs
lola: 86087260 markings, 161167435 edges, 782457 markings/sec, 105 secs
lola: 90046937 markings, 168549511 edges, 791935 markings/sec, 110 secs
lola: 93967019 markings, 175906550 edges, 784016 markings/sec, 115 secs
lola: 97857172 markings, 183205447 edges, 778031 markings/sec, 120 secs
lola: 101746783 markings, 190489468 edges, 777922 markings/sec, 125 secs
lola: 105681125 markings, 197867766 edges, 786868 markings/sec, 130 secs
lola: 109634731 markings, 205276867 edges, 790721 markings/sec, 135 secs
lola: 113405893 markings, 212343247 edges, 754232 markings/sec, 140 secs
lola: 117225915 markings, 219504207 edges, 764004 markings/sec, 145 secs
lola: 121045511 markings, 226664660 edges, 763919 markings/sec, 150 secs
lola: 124886210 markings, 233861009 edges, 768140 markings/sec, 155 secs
lola: 128712026 markings, 241030190 edges, 765163 markings/sec, 160 secs
lola: 132553989 markings, 248240366 edges, 768393 markings/sec, 165 secs
lola: 136468556 markings, 255554975 edges, 782913 markings/sec, 170 secs
lola: 140301764 markings, 262737373 edges, 766642 markings/sec, 175 secs
lola: 144150530 markings, 269962943 edges, 769753 markings/sec, 180 secs
lola: 148030470 markings, 277199907 edges, 775988 markings/sec, 185 secs
lola: 151895156 markings, 284458134 edges, 772937 markings/sec, 190 secs
lola: 155774999 markings, 291728286 edges, 775969 markings/sec, 195 secs
lola: 159667352 markings, 299026993 edges, 778471 markings/sec, 200 secs
lola: 163554479 markings, 306317094 edges, 777425 markings/sec, 205 secs
lola: 167384086 markings, 313491706 edges, 765921 markings/sec, 210 secs
lola: 171246476 markings, 320748184 edges, 772478 markings/sec, 215 secs
lola: 173448790 markings, 324860294 edges, 440463 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 244 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: 3887608 markings, 7139544 edges, 777522 markings/sec, 0 secs
lola: 7753890 markings, 14384054 edges, 773256 markings/sec, 5 secs
lola: 11641501 markings, 21666143 edges, 777522 markings/sec, 10 secs
lola: 15532810 markings, 28955632 edges, 778262 markings/sec, 15 secs
lola: 19405214 markings, 36209187 edges, 774481 markings/sec, 20 secs
lola: 23317208 markings, 43538931 edges, 782399 markings/sec, 25 secs
lola: 27256052 markings, 50920445 edges, 787769 markings/sec, 30 secs
lola: 31121647 markings, 58161866 edges, 773119 markings/sec, 35 secs
lola: 35029216 markings, 65484046 edges, 781514 markings/sec, 40 secs
lola: 38931192 markings, 72795815 edges, 780395 markings/sec, 45 secs
lola: 42856651 markings, 80152894 edges, 785092 markings/sec, 50 secs
lola: 46787140 markings, 87519924 edges, 786098 markings/sec, 55 secs
lola: 50745372 markings, 94940433 edges, 791646 markings/sec, 60 secs
lola: 54732052 markings, 102405664 edges, 797336 markings/sec, 65 secs
lola: 58596042 markings, 109645322 edges, 772798 markings/sec, 70 secs
lola: 62285286 markings, 116562127 edges, 737849 markings/sec, 75 secs
lola: 66007633 markings, 123531744 edges, 744469 markings/sec, 80 secs
lola: 69874142 markings, 130777983 edges, 773302 markings/sec, 85 secs
lola: 73722527 markings, 137989787 edges, 769677 markings/sec, 90 secs
lola: 77595633 markings, 145249276 edges, 774621 markings/sec, 95 secs
lola: 81479523 markings, 152529748 edges, 776778 markings/sec, 100 secs
lola: 85373500 markings, 159821415 edges, 778795 markings/sec, 105 secs
lola: 89289412 markings, 167165534 edges, 783182 markings/sec, 110 secs
lola: 93219606 markings, 174542239 edges, 786039 markings/sec, 115 secs
lola: 97195729 markings, 181957993 edges, 795225 markings/sec, 120 secs
lola: 101123361 markings, 189331053 edges, 785526 markings/sec, 125 secs
lola: 105128699 markings, 196816951 edges, 801068 markings/sec, 130 secs
lola: 109122187 markings, 204309608 edges, 798698 markings/sec, 135 secs
lola: 112966073 markings, 211516700 edges, 768777 markings/sec, 140 secs
lola: 116813641 markings, 218721887 edges, 769514 markings/sec, 145 secs
lola: 120648442 markings, 225911467 edges, 766960 markings/sec, 150 secs
lola: 124500880 markings, 233134316 edges, 770488 markings/sec, 155 secs
lola: 128345920 markings, 240337139 edges, 769008 markings/sec, 160 secs
lola: 132206740 markings, 247577525 edges, 772164 markings/sec, 165 secs
lola: 136124591 markings, 254918158 edges, 783570 markings/sec, 170 secs
lola: 139964325 markings, 262125243 edges, 767947 markings/sec, 175 secs
lola: 143854014 markings, 269396819 edges, 777938 markings/sec, 180 secs
lola: 147722037 markings, 276644545 edges, 773605 markings/sec, 185 secs
lola: 151634950 markings, 283962461 edges, 782583 markings/sec, 190 secs
lola: 155536176 markings, 291277674 edges, 780245 markings/sec, 195 secs
lola: 159457188 markings, 298628574 edges, 784202 markings/sec, 200 secs
lola: 163375669 markings, 305974670 edges, 783696 markings/sec, 205 secs
lola: 167202487 markings, 313152490 edges, 765364 markings/sec, 210 secs
lola: 171098526 markings, 320458163 edges, 779208 markings/sec, 215 secs
lola: 173283823 markings, 324536255 edges, 437059 markings/sec, 220 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 261 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: 3442393 markings, 7517689 edges, 688479 markings/sec, 0 secs
lola: 6531422 markings, 14393906 edges, 617806 markings/sec, 5 secs
lola: 9566371 markings, 21154436 edges, 606990 markings/sec, 10 secs
lola: 12546767 markings, 27804281 edges, 596079 markings/sec, 15 secs
lola: 15490822 markings, 34351195 edges, 588811 markings/sec, 20 secs
lola: 18364148 markings, 40767523 edges, 574665 markings/sec, 25 secs
lola: 21276022 markings, 47255182 edges, 582375 markings/sec, 30 secs
lola: 24175774 markings, 53689627 edges, 579950 markings/sec, 35 secs
lola: 27077079 markings, 60147332 edges, 580261 markings/sec, 40 secs
lola: 29719974 markings, 66056302 edges, 528579 markings/sec, 45 secs
lola: 32546372 markings, 72371232 edges, 565280 markings/sec, 50 secs
lola: 35504242 markings, 78939524 edges, 591574 markings/sec, 55 secs
lola: 38327877 markings, 85220549 edges, 564727 markings/sec, 60 secs
lola: 41214466 markings, 91615884 edges, 577318 markings/sec, 65 secs
lola: 44023377 markings, 97884581 edges, 561782 markings/sec, 70 secs
lola: 46841724 markings, 104186735 edges, 563669 markings/sec, 75 secs
lola: 49685046 markings, 110523379 edges, 568664 markings/sec, 80 secs
lola: 52545070 markings, 116911171 edges, 572005 markings/sec, 85 secs
lola: 55330946 markings, 123156749 edges, 557175 markings/sec, 90 secs
lola: 58237411 markings, 129627368 edges, 581293 markings/sec, 95 secs
lola: 61078673 markings, 135937948 edges, 568252 markings/sec, 100 secs
lola: 63837658 markings, 142122280 edges, 551797 markings/sec, 105 secs
lola: 66644620 markings, 148356775 edges, 561392 markings/sec, 110 secs
lola: 69411952 markings, 154545423 edges, 553466 markings/sec, 115 secs
lola: 72245465 markings, 160845532 edges, 566703 markings/sec, 120 secs
lola: 74946181 markings, 166881287 edges, 540143 markings/sec, 125 secs
lola: 77693410 markings, 173017218 edges, 549446 markings/sec, 130 secs
lola: 80419133 markings, 179090209 edges, 545145 markings/sec, 135 secs
lola: 83182925 markings, 185247136 edges, 552758 markings/sec, 140 secs
lola: 85888990 markings, 191269611 edges, 541213 markings/sec, 145 secs
lola: 88651608 markings, 197385161 edges, 552524 markings/sec, 150 secs
lola: 91368357 markings, 203469913 edges, 543350 markings/sec, 155 secs
lola: 94019996 markings, 209377634 edges, 530328 markings/sec, 160 secs
lola: 96646764 markings, 215242458 edges, 525354 markings/sec, 165 secs
lola: 99288695 markings, 221108841 edges, 528386 markings/sec, 170 secs
lola: 101879440 markings, 226883976 edges, 518149 markings/sec, 175 secs
lola: 104376666 markings, 232496611 edges, 499445 markings/sec, 180 secs
lola: 106972823 markings, 238259633 edges, 519231 markings/sec, 185 secs
lola: 109531032 markings, 243979708 edges, 511642 markings/sec, 190 secs
lola: 112141364 markings, 249765718 edges, 522066 markings/sec, 195 secs
lola: 114745618 markings, 255552665 edges, 520851 markings/sec, 200 secs
lola: 117311324 markings, 261284315 edges, 513141 markings/sec, 205 secs
lola: 119846975 markings, 266995877 edges, 507130 markings/sec, 210 secs
lola: 122484146 markings, 272846218 edges, 527434 markings/sec, 215 secs
lola: 125008627 markings, 278523618 edges, 504896 markings/sec, 220 secs
lola: 127664408 markings, 284446070 edges, 531156 markings/sec, 225 secs
lola: 130437357 markings, 290606404 edges, 554590 markings/sec, 230 secs
lola: 133138648 markings, 296606029 edges, 540258 markings/sec, 235 secs
lola: 135846447 markings, 302604110 edges, 541560 markings/sec, 240 secs
lola: 138541212 markings, 308612326 edges, 538953 markings/sec, 245 secs
lola: 141146586 markings, 314439278 edges, 521075 markings/sec, 250 secs
lola: 143732624 markings, 320198732 edges, 517208 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA RobotManipulation-PT-05000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-05000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496352673034
--------------------
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="RobotManipulation-PT-05000"
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-05000.tgz
mv RobotManipulation-PT-05000 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-05000, 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-149581172800290"
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 ;