fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r208-smll-149581172800290
Last Updated
June 27, 2017

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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;