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-01000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172800272
=====================================================================

--------------------
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-01000-UpperBounds-0
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-1
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-10
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-11
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-12
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-13
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-14
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-15
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-2
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-3
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-4
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-5
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-6
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-7
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-8
FORMULA_NAME RobotManipulation-PT-01000-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496345255576


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
RobotManipulation-PT-01000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
RobotManipulation-PT-01000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ RobotManipulation-PT-01000 @ 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-01000-UpperBounds.task
lola: MAX(r_stopped) : MAX(r_stopped) : MAX(p_rel) : MAX(r_moving) : MAX(move) : MAX(p_i1) : MAX(initialize) : MAX(p_rel) : MAX(move) : MAX(r_moving) : MAX(r_active) : MAX(p_sc) : MAX(off) : MAX(p_i1) : MAX(p_rdy) : MAX(access)
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: 4977058 markings, 6766057 edges, 995412 markings/sec, 0 secs
lola: 10087390 markings, 13734378 edges, 1022066 markings/sec, 5 secs
lola: 15076579 markings, 20537602 edges, 997838 markings/sec, 10 secs
lola: 19971737 markings, 27191703 edges, 979032 markings/sec, 15 secs
lola: 24851928 markings, 34001192 edges, 976038 markings/sec, 20 secs
lola: 28540273 markings, 41904130 edges, 737669 markings/sec, 25 secs
lola: 32063366 markings, 49442029 edges, 704619 markings/sec, 30 secs
lola: 35575011 markings, 56934821 edges, 702329 markings/sec, 35 secs
lola: 39125596 markings, 64519866 edges, 710117 markings/sec, 40 secs
lola: 42625236 markings, 71986104 edges, 699928 markings/sec, 45 secs
lola: 46096511 markings, 79389411 edges, 694255 markings/sec, 50 secs
lola: 49581281 markings, 86824990 edges, 696954 markings/sec, 55 secs
lola: 52920502 markings, 93941931 edges, 667844 markings/sec, 60 secs
lola: 56321920 markings, 101198092 edges, 680284 markings/sec, 65 secs
lola: 59734644 markings, 108513352 edges, 682545 markings/sec, 70 secs
lola: 63112360 markings, 115736314 edges, 675543 markings/sec, 75 secs
lola: 66390112 markings, 122691815 edges, 655550 markings/sec, 80 secs
lola: 69700572 markings, 129770671 edges, 662092 markings/sec, 85 secs
lola: 72919266 markings, 136636042 edges, 643739 markings/sec, 90 secs
lola: 75100341 markings, 142753672 edges, 436215 markings/sec, 95 secs
lola: 75924756 markings, 147383323 edges, 164883 markings/sec, 100 secs
lola: 76760484 markings, 152077046 edges, 167146 markings/sec, 105 secs
lola: 77628907 markings, 156919340 edges, 173685 markings/sec, 110 secs
lola: 78585121 markings, 162118984 edges, 191243 markings/sec, 115 secs
lola: 79662157 markings, 168023769 edges, 215407 markings/sec, 120 secs
lola: 80939732 markings, 174671432 edges, 255515 markings/sec, 125 secs
lola: 81860536 markings, 179299959 edges, 184161 markings/sec, 130 secs
lola: 82692669 markings, 183639154 edges, 166427 markings/sec, 135 secs
lola: 83671967 markings, 188252891 edges, 195860 markings/sec, 140 secs
lola: 84692176 markings, 193116806 edges, 204042 markings/sec, 145 secs
lola: 85526062 markings, 197556922 edges, 166777 markings/sec, 150 secs
lola: 88397738 markings, 203339246 edges, 574335 markings/sec, 155 secs
lola: 93266996 markings, 210469430 edges, 973852 markings/sec, 160 secs
lola: 98287057 markings, 217819786 edges, 1004012 markings/sec, 165 secs
lola: 103539362 markings, 225506246 edges, 1050461 markings/sec, 170 secs
lola: 108882929 markings, 233333223 edges, 1068713 markings/sec, 175 secs
lola: 111015503 markings, 237595249 edges, 426515 markings/sec, 180 secs
lola: 112772509 markings, 241111815 edges, 351401 markings/sec, 185 secs
lola: 114452326 markings, 244471674 edges, 335963 markings/sec, 190 secs
lola: 116110780 markings, 247787988 edges, 331691 markings/sec, 195 secs
lola: 117783669 markings, 251143111 edges, 334578 markings/sec, 200 secs
lola: 119305834 markings, 254738237 edges, 304433 markings/sec, 205 secs
lola: 120587212 markings, 258614623 edges, 256276 markings/sec, 210 secs
lola: 121695277 markings, 262866595 edges, 221613 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 5378895 markings, 7294749 edges, 1075779 markings/sec, 0 secs
lola: 10592046 markings, 14422470 edges, 1042630 markings/sec, 5 secs
lola: 15685709 markings, 21375927 edges, 1018733 markings/sec, 10 secs
lola: 20630008 markings, 28093070 edges, 988860 markings/sec, 15 secs
lola: 25394214 markings, 35170893 edges, 952841 markings/sec, 20 secs
lola: 29059507 markings, 43010846 edges, 733059 markings/sec, 25 secs
lola: 32539051 markings, 50454360 edges, 695909 markings/sec, 30 secs
lola: 35911238 markings, 57661943 edges, 674437 markings/sec, 35 secs
lola: 39234178 markings, 64749634 edges, 664588 markings/sec, 40 secs
lola: 42584069 markings, 71903997 edges, 669978 markings/sec, 45 secs
lola: 45888730 markings, 78952603 edges, 660932 markings/sec, 50 secs
lola: 49254006 markings, 86133530 edges, 673055 markings/sec, 55 secs
lola: 52449933 markings, 92932270 edges, 639185 markings/sec, 60 secs
lola: 55745647 markings, 99975192 edges, 659143 markings/sec, 65 secs
lola: 59016445 markings, 106960097 edges, 654160 markings/sec, 70 secs
lola: 62333274 markings, 114050943 edges, 663366 markings/sec, 75 secs
lola: 65555619 markings, 120917661 edges, 644469 markings/sec, 80 secs
lola: 68835600 markings, 127917578 edges, 655996 markings/sec, 85 secs
lola: 71980882 markings, 134634984 edges, 629056 markings/sec, 90 secs
lola: 74879763 markings, 141497320 edges, 579776 markings/sec, 95 secs
lola: 75684907 markings, 146037642 edges, 161029 markings/sec, 100 secs
lola: 76482024 markings, 150495695 edges, 159423 markings/sec, 105 secs
lola: 77275560 markings, 154970894 edges, 158707 markings/sec, 110 secs
lola: 78115352 markings, 159595999 edges, 167958 markings/sec, 115 secs
lola: 78989052 markings, 164347048 edges, 174740 markings/sec, 120 secs
lola: 79973571 markings, 169735484 edges, 196904 markings/sec, 125 secs
lola: 81140949 markings, 175662127 edges, 233476 markings/sec, 130 secs
lola: 82040823 markings, 180109647 edges, 179975 markings/sec, 135 secs
lola: 82899345 markings, 184430787 edges, 171704 markings/sec, 140 secs
lola: 83801368 markings, 188932232 edges, 180405 markings/sec, 145 secs
lola: 84785670 markings, 193624247 edges, 196860 markings/sec, 150 secs
lola: 85603434 markings, 197995866 edges, 163553 markings/sec, 155 secs
lola: 88862545 markings, 204022163 edges, 651822 markings/sec, 160 secs
lola: 93726791 markings, 211140402 edges, 972849 markings/sec, 165 secs
lola: 98717480 markings, 218446504 edges, 998138 markings/sec, 170 secs
lola: 103932700 markings, 226081591 edges, 1043044 markings/sec, 175 secs
lola: 109086483 markings, 233736961 edges, 1030757 markings/sec, 180 secs
lola: 110952033 markings, 237468454 edges, 373110 markings/sec, 185 secs
lola: 112643221 markings, 240851849 edges, 338238 markings/sec, 190 secs
lola: 114319429 markings, 244204497 edges, 335242 markings/sec, 195 secs
lola: 115995816 markings, 247557365 edges, 335277 markings/sec, 200 secs
lola: 117688000 markings, 250944091 edges, 338437 markings/sec, 205 secs
lola: 119236217 markings, 254552548 edges, 309643 markings/sec, 210 secs
lola: 120530452 markings, 258434512 edges, 258847 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_rel)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6703533 markings, 8393771 edges, 1340707 markings/sec, 0 secs
lola: 12779014 markings, 15989293 edges, 1215096 markings/sec, 5 secs
lola: 18504078 markings, 23146958 edges, 1145013 markings/sec, 10 secs
lola: 24246993 markings, 30326995 edges, 1148583 markings/sec, 15 secs
lola: 29978373 markings, 37491240 edges, 1146276 markings/sec, 20 secs
lola: 35417577 markings, 44820669 edges, 1087841 markings/sec, 25 secs
lola: 40268643 markings, 51693583 edges, 970213 markings/sec, 30 secs
lola: 44749643 markings, 58041829 edges, 896200 markings/sec, 35 secs
lola: 49126598 markings, 64241636 edges, 875391 markings/sec, 40 secs
lola: 53459716 markings, 70380400 edges, 866624 markings/sec, 45 secs
lola: 58105970 markings, 76743843 edges, 929251 markings/sec, 50 secs
lola: 63062997 markings, 83235465 edges, 991405 markings/sec, 55 secs
lola: 67966766 markings, 89651370 edges, 980754 markings/sec, 60 secs
lola: 72841367 markings, 96028152 edges, 974920 markings/sec, 65 secs
lola: 77681346 markings, 102362798 edges, 967996 markings/sec, 70 secs
lola: 82572657 markings, 108764634 edges, 978262 markings/sec, 75 secs
lola: 85730156 markings, 114058138 edges, 631500 markings/sec, 80 secs
lola: 87534639 markings, 118117854 edges, 360897 markings/sec, 85 secs
lola: 89297894 markings, 122084498 edges, 352651 markings/sec, 90 secs
lola: 91057043 markings, 126055175 edges, 351830 markings/sec, 95 secs
lola: 93471451 markings, 130531744 edges, 482882 markings/sec, 100 secs
lola: 96251571 markings, 135397756 edges, 556024 markings/sec, 105 secs
lola: 99041283 markings, 140281163 edges, 557942 markings/sec, 110 secs
lola: 101801425 markings, 145111172 edges, 552028 markings/sec, 115 secs
lola: 104750337 markings, 150272816 edges, 589782 markings/sec, 120 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 3 will run for 228 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: 4635843 markings, 7673379 edges, 927169 markings/sec, 0 secs
lola: 8994739 markings, 14868377 edges, 871779 markings/sec, 5 secs
lola: 13303587 markings, 21991343 edges, 861770 markings/sec, 10 secs
lola: 17794546 markings, 29248932 edges, 898192 markings/sec, 15 secs
lola: 21776203 markings, 36000641 edges, 796331 markings/sec, 20 secs
lola: 25968370 markings, 42910603 edges, 838433 markings/sec, 25 secs
lola: 30009807 markings, 49673913 edges, 808287 markings/sec, 30 secs
lola: 33947520 markings, 56359391 edges, 787543 markings/sec, 35 secs
lola: 37894344 markings, 63059522 edges, 789365 markings/sec, 40 secs
lola: 41844348 markings, 69766657 edges, 790001 markings/sec, 45 secs
lola: 45793788 markings, 76470641 edges, 789888 markings/sec, 50 secs
lola: 49744193 markings, 83177793 edges, 790081 markings/sec, 55 secs
lola: 53692988 markings, 89880883 edges, 789759 markings/sec, 60 secs
lola: 57637117 markings, 96576824 edges, 788826 markings/sec, 65 secs
lola: 61583199 markings, 103275467 edges, 789216 markings/sec, 70 secs
lola: 65529648 markings, 109974457 edges, 789290 markings/sec, 75 secs
lola: 69470749 markings, 116665925 edges, 788220 markings/sec, 80 secs
lola: 73406596 markings, 123346512 edges, 787169 markings/sec, 85 secs
lola: 77342243 markings, 130029173 edges, 787129 markings/sec, 90 secs
lola: 81237946 markings, 136641752 edges, 779141 markings/sec, 95 secs
lola: 85117930 markings, 143227749 edges, 775997 markings/sec, 100 secs
lola: 89860583 markings, 150434771 edges, 948531 markings/sec, 105 secs
lola: 94812109 markings, 157785976 edges, 990305 markings/sec, 110 secs
lola: 99839148 markings, 165269417 edges, 1005408 markings/sec, 115 secs
lola: 104751697 markings, 172639731 edges, 982510 markings/sec, 120 secs
lola: 109569920 markings, 179925505 edges, 963645 markings/sec, 125 secs
lola: 114292987 markings, 187149632 edges, 944613 markings/sec, 130 secs
lola: 118966314 markings, 194313930 edges, 934665 markings/sec, 135 secs
lola: 120175099 markings, 199322224 edges, 241757 markings/sec, 140 secs
lola: 121347737 markings, 204216937 edges, 234528 markings/sec, 145 secs
lola: 122518786 markings, 209090046 edges, 234210 markings/sec, 150 secs
lola: 123042083 markings, 212669180 edges, 104659 markings/sec, 155 secs
lola: 123044891 markings, 215083845 edges, 562 markings/sec, 160 secs
lola: 123048104 markings, 217504193 edges, 643 markings/sec, 165 secs
lola: 123052100 markings, 219994597 edges, 799 markings/sec, 170 secs
lola: 123272308 markings, 223126578 edges, 44042 markings/sec, 175 secs
lola: 123822018 markings, 227383152 edges, 109942 markings/sec, 180 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 4 will run for 231 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: 4750165 markings, 7857174 edges, 950033 markings/sec, 0 secs
lola: 9585991 markings, 15874904 edges, 967165 markings/sec, 5 secs
lola: 14417842 markings, 23887143 edges, 966370 markings/sec, 10 secs
lola: 19245393 markings, 31891314 edges, 965510 markings/sec, 15 secs
lola: 24092504 markings, 39925882 edges, 969422 markings/sec, 20 secs
lola: 28944526 markings, 47968321 edges, 970404 markings/sec, 25 secs
lola: 33824389 markings, 56053685 edges, 975973 markings/sec, 30 secs
lola: 38745672 markings, 64204977 edges, 984257 markings/sec, 35 secs
lola: 43696487 markings, 72397840 edges, 990163 markings/sec, 40 secs
lola: 47967996 markings, 80472062 edges, 854302 markings/sec, 45 secs
lola: 47968014 markings, 87383632 edges, 4 markings/sec, 50 secs
lola: 49536918 markings, 92175903 edges, 313781 markings/sec, 55 secs
lola: 52730031 markings, 96799000 edges, 638623 markings/sec, 60 secs
lola: 55812261 markings, 101266911 edges, 616446 markings/sec, 65 secs
lola: 58840087 markings, 105656230 edges, 605565 markings/sec, 70 secs
lola: 62143454 markings, 110441373 edges, 660673 markings/sec, 75 secs
lola: 65612565 markings, 115470290 edges, 693822 markings/sec, 80 secs
lola: 68963974 markings, 120327786 edges, 670282 markings/sec, 85 secs
lola: 72224274 markings, 125052994 edges, 652060 markings/sec, 90 secs
lola: 75573558 markings, 129907270 edges, 669857 markings/sec, 95 secs
lola: 79059930 markings, 134962657 edges, 697274 markings/sec, 100 secs
lola: 80681407 markings, 139166118 edges, 324295 markings/sec, 105 secs
lola: 82023006 markings, 142741416 edges, 268320 markings/sec, 110 secs
lola: 83340570 markings, 146258551 edges, 263513 markings/sec, 115 secs
lola: 84616220 markings, 149660692 edges, 255130 markings/sec, 120 secs
lola: 85886595 markings, 153045098 edges, 254075 markings/sec, 125 secs
lola: 87153888 markings, 156427416 edges, 253459 markings/sec, 130 secs
lola: 88411589 markings, 159776418 edges, 251540 markings/sec, 135 secs
lola: 89626742 markings, 163019961 edges, 243031 markings/sec, 140 secs
lola: 90818762 markings, 166193743 edges, 238404 markings/sec, 145 secs
lola: 92004628 markings, 169360288 edges, 237173 markings/sec, 150 secs
lola: 93241881 markings, 172655369 edges, 247451 markings/sec, 155 secs
lola: 94499281 markings, 176008301 edges, 251480 markings/sec, 160 secs
lola: 95778801 markings, 179422589 edges, 255904 markings/sec, 165 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 5 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: 4215122 markings, 7869352 edges, 843024 markings/sec, 0 secs
lola: 8539190 markings, 15970674 edges, 864814 markings/sec, 5 secs
lola: 12867802 markings, 24082305 edges, 865722 markings/sec, 10 secs
lola: 16874061 markings, 31589456 edges, 801252 markings/sec, 15 secs
lola: 21318248 markings, 39916599 edges, 888837 markings/sec, 20 secs
lola: 25780318 markings, 48278450 edges, 892414 markings/sec, 25 secs
lola: 30261605 markings, 56677621 edges, 896257 markings/sec, 30 secs
lola: 34831493 markings, 65240847 edges, 913978 markings/sec, 35 secs
lola: 39349950 markings, 73709123 edges, 903691 markings/sec, 40 secs
lola: 43934117 markings, 82301452 edges, 916833 markings/sec, 45 secs
lola: 44011781 markings, 89045673 edges, 15533 markings/sec, 50 secs
lola: 44493481 markings, 94809678 edges, 96340 markings/sec, 55 secs
lola: 47563464 markings, 100183965 edges, 613997 markings/sec, 60 secs
lola: 50476588 markings, 105270837 edges, 582625 markings/sec, 65 secs
lola: 53410802 markings, 110391411 edges, 586843 markings/sec, 70 secs
lola: 56297435 markings, 115428290 edges, 577327 markings/sec, 75 secs
lola: 59207558 markings, 120497380 edges, 582025 markings/sec, 80 secs
lola: 62318473 markings, 125909537 edges, 622183 markings/sec, 85 secs
lola: 65391265 markings, 131250925 edges, 614558 markings/sec, 90 secs
lola: 68476186 markings, 136608497 edges, 616984 markings/sec, 95 secs
lola: 71549440 markings, 141935173 edges, 614651 markings/sec, 100 secs
lola: 74650370 markings, 147307923 edges, 620186 markings/sec, 105 secs
lola: 77827009 markings, 152801755 edges, 635328 markings/sec, 110 secs
lola: 81031290 markings, 158341063 edges, 640856 markings/sec, 115 secs
lola: 84203289 markings, 163811553 edges, 634400 markings/sec, 120 secs
lola: 87423554 markings, 169362553 edges, 644053 markings/sec, 125 secs
lola: 90602960 markings, 174833432 edges, 635881 markings/sec, 130 secs
lola: 93831347 markings, 180378555 edges, 645677 markings/sec, 135 secs
lola: 97087264 markings, 185965744 edges, 651183 markings/sec, 140 secs
lola: 100284632 markings, 191446301 edges, 639474 markings/sec, 145 secs
lola: 103553626 markings, 197036092 edges, 653799 markings/sec, 150 secs
lola: 106767207 markings, 202529450 edges, 642716 markings/sec, 155 secs
lola: 108363501 markings, 207082069 edges, 319259 markings/sec, 160 secs
lola: 109294935 markings, 211291708 edges, 186287 markings/sec, 165 secs
lola: 110179145 markings, 215416103 edges, 176842 markings/sec, 170 secs
lola: 111010367 markings, 219450894 edges, 166244 markings/sec, 175 secs
lola: 111797390 markings, 223407642 edges, 157405 markings/sec, 180 secs
lola: 112530522 markings, 227271905 edges, 146626 markings/sec, 185 secs
lola: 113207292 markings, 231023339 edges, 135354 markings/sec, 190 secs
lola: 113827663 markings, 234664547 edges, 124074 markings/sec, 195 secs
lola: 114391670 markings, 238203817 edges, 112801 markings/sec, 200 secs
lola: 114900584 markings, 241623895 edges, 101783 markings/sec, 205 secs
lola: 115310863 markings, 244637031 edges, 82056 markings/sec, 210 secs
lola: 115685354 markings, 247614345 edges, 74898 markings/sec, 215 secs
lola: SUBRESULT
lola: result: 2001
lola: produced by: state space
lola: The maximum value of the given expression is 2001
lola: ========================================
lola: subprocess 6 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(initialize)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4438231 markings, 7432920 edges, 887646 markings/sec, 0 secs
lola: 9115808 markings, 15300299 edges, 935515 markings/sec, 5 secs
lola: 13783052 markings, 23150026 edges, 933449 markings/sec, 10 secs
lola: 18472206 markings, 31036728 edges, 937831 markings/sec, 15 secs
lola: 23175328 markings, 38946549 edges, 940624 markings/sec, 20 secs
lola: 27906089 markings, 46903435 edges, 946152 markings/sec, 25 secs
lola: 32713498 markings, 54989461 edges, 961482 markings/sec, 30 secs
lola: 37525919 markings, 63083795 edges, 962484 markings/sec, 35 secs
lola: 42419219 markings, 71314437 edges, 978660 markings/sec, 40 secs
lola: 43999999 markings, 78274889 edges, 316156 markings/sec, 45 secs
lola: 45896962 markings, 82897397 edges, 379393 markings/sec, 50 secs
lola: 49113622 markings, 87875694 edges, 643332 markings/sec, 55 secs
lola: 52220906 markings, 92685490 edges, 621457 markings/sec, 60 secs
lola: 55412054 markings, 97626114 edges, 638230 markings/sec, 65 secs
lola: 58698065 markings, 102710622 edges, 657202 markings/sec, 70 secs
lola: 61955641 markings, 107752880 edges, 651515 markings/sec, 75 secs
lola: 65192916 markings, 112762458 edges, 647455 markings/sec, 80 secs
lola: 68420227 markings, 117756616 edges, 645462 markings/sec, 85 secs
lola: 71634715 markings, 122728550 edges, 642898 markings/sec, 90 secs
lola: 74831448 markings, 127675514 edges, 639347 markings/sec, 95 secs
lola: 78003760 markings, 132582805 edges, 634462 markings/sec, 100 secs
lola: 81184251 markings, 137500716 edges, 636098 markings/sec, 105 secs
lola: 84301072 markings, 142320587 edges, 623364 markings/sec, 110 secs
lola: 87420947 markings, 147144020 edges, 623975 markings/sec, 115 secs
lola: 90511167 markings, 151920174 edges, 618044 markings/sec, 120 secs
lola: 93583142 markings, 156666395 edges, 614395 markings/sec, 125 secs
lola: 96793524 markings, 161531369 edges, 642076 markings/sec, 130 secs
lola: 100119134 markings, 166521192 edges, 665122 markings/sec, 135 secs
lola: 103462874 markings, 171537494 edges, 668748 markings/sec, 140 secs
lola: 106826052 markings, 176584076 edges, 672636 markings/sec, 145 secs
lola: 110505615 markings, 182105587 edges, 735913 markings/sec, 150 secs
lola: 112248825 markings, 186996867 edges, 348642 markings/sec, 155 secs
lola: 112948801 markings, 190675686 edges, 139995 markings/sec, 160 secs
lola: 113600330 markings, 194095125 edges, 130306 markings/sec, 165 secs
lola: 114653413 markings, 197398796 edges, 210617 markings/sec, 170 secs
lola: 115604091 markings, 200628518 edges, 190136 markings/sec, 175 secs
lola: 116452625 markings, 203807368 edges, 169707 markings/sec, 180 secs
lola: 117199090 markings, 206935766 edges, 149293 markings/sec, 185 secs
lola: 117865989 markings, 210060510 edges, 133380 markings/sec, 190 secs
lola: 118447742 markings, 213134893 edges, 116351 markings/sec, 195 secs
lola: 118943925 markings, 216163183 edges, 99237 markings/sec, 200 secs
lola: 119365570 markings, 219162358 edges, 84329 markings/sec, 205 secs
lola: 119699011 markings, 221930904 edges, 66688 markings/sec, 210 secs
lola: SUBRESULT
lola: result: 2001
lola: produced by: state space
lola: The maximum value of the given expression is 2001
lola: ========================================
lola: subprocess 7 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_rel)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 6753718 markings, 8455929 edges, 1350744 markings/sec, 0 secs
lola: 12968078 markings, 16225514 edges, 1242872 markings/sec, 5 secs
lola: 18812268 markings, 23532270 edges, 1168838 markings/sec, 10 secs
lola: 24587855 markings, 30751461 edges, 1155117 markings/sec, 15 secs
lola: 30458396 markings, 38091299 edges, 1174108 markings/sec, 20 secs
lola: 35941407 markings, 45562289 edges, 1096602 markings/sec, 25 secs
lola: 40912249 markings, 52604854 edges, 994168 markings/sec, 30 secs
lola: 45538744 markings, 59158519 edges, 925299 markings/sec, 35 secs
lola: 50062891 markings, 65568281 edges, 904829 markings/sec, 40 secs
lola: 54631299 markings, 72041682 edges, 913682 markings/sec, 45 secs
lola: 59542814 markings, 78625899 edges, 982303 markings/sec, 50 secs
lola: 64537624 markings, 85163427 edges, 998962 markings/sec, 55 secs
lola: 69501520 markings, 91656410 edges, 992779 markings/sec, 60 secs
lola: 74434589 markings, 98113720 edges, 986614 markings/sec, 65 secs
lola: 79361084 markings, 104563058 edges, 985299 markings/sec, 70 secs
lola: 84391129 markings, 111145798 edges, 1006009 markings/sec, 75 secs
lola: 86443452 markings, 115662507 edges, 410465 markings/sec, 80 secs
lola: 88072653 markings, 119338427 edges, 325840 markings/sec, 85 secs
lola: 89836268 markings, 123316171 edges, 352723 markings/sec, 90 secs
lola: 91635074 markings, 127369120 edges, 359761 markings/sec, 95 secs
lola: 94430732 markings, 132210206 edges, 559132 markings/sec, 100 secs
lola: 97171923 markings, 137008817 edges, 548238 markings/sec, 105 secs
lola: 99928095 markings, 141832528 edges, 551234 markings/sec, 110 secs
lola: 103014328 markings, 147234400 edges, 617247 markings/sec, 115 secs
lola: 106438312 markings, 153227707 edges, 684797 markings/sec, 120 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: subprocess 8 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(move)
lola: ========================================
lola: SUBTASK
lola: 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: 4685542 markings, 7749270 edges, 937108 markings/sec, 0 secs
lola: 9442477 markings, 15638264 edges, 951387 markings/sec, 5 secs
lola: 14206437 markings, 23537727 edges, 952792 markings/sec, 10 secs
lola: 18960749 markings, 31420253 edges, 950862 markings/sec, 15 secs
lola: 23741628 markings, 39344199 edges, 956176 markings/sec, 20 secs
lola: 28520477 markings, 47265689 edges, 955770 markings/sec, 25 secs
lola: 33330017 markings, 55235649 edges, 961908 markings/sec, 30 secs
lola: 38182273 markings, 63271773 edges, 970451 markings/sec, 35 secs
lola: 43076349 markings, 71371928 edges, 978815 markings/sec, 40 secs
lola: 47967996 markings, 79580705 edges, 978329 markings/sec, 45 secs
lola: 47968014 markings, 86260765 edges, 4 markings/sec, 50 secs
lola: 48896606 markings, 91246576 edges, 185718 markings/sec, 55 secs
lola: 52011502 markings, 95758123 edges, 622979 markings/sec, 60 secs
lola: 55001240 markings, 100092129 edges, 597948 markings/sec, 65 secs
lola: 57952597 markings, 104370362 edges, 590271 markings/sec, 70 secs
lola: 60936054 markings, 108694082 edges, 596691 markings/sec, 75 secs
lola: 64381557 markings, 113685640 edges, 689101 markings/sec, 80 secs
lola: 67620842 markings, 118380214 edges, 647857 markings/sec, 85 secs
lola: 70731536 markings, 122888390 edges, 622139 markings/sec, 90 secs
lola: 74128052 markings, 127812036 edges, 679303 markings/sec, 95 secs
lola: 77446717 markings, 132622465 edges, 663733 markings/sec, 100 secs
lola: 80095808 markings, 137603487 edges, 529818 markings/sec, 105 secs
lola: 81466895 markings, 141256814 edges, 274217 markings/sec, 110 secs
lola: 82790640 markings, 144790134 edges, 264749 markings/sec, 115 secs
lola: 84081451 markings, 148235165 edges, 258162 markings/sec, 120 secs
lola: 85346908 markings, 151606147 edges, 253091 markings/sec, 125 secs
lola: 86605195 markings, 154964042 edges, 251657 markings/sec, 130 secs
lola: 87877791 markings, 158353948 edges, 254519 markings/sec, 135 secs
lola: 89138467 markings, 161716859 edges, 252135 markings/sec, 140 secs
lola: 90350803 markings, 164957040 edges, 242467 markings/sec, 145 secs
lola: 91546088 markings, 168145107 edges, 239057 markings/sec, 150 secs
lola: 92755972 markings, 171361511 edges, 241977 markings/sec, 155 secs
lola: 93961475 markings, 174587125 edges, 241101 markings/sec, 160 secs
lola: 95191001 markings, 177858187 edges, 245905 markings/sec, 165 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: ========================================
lola: subprocess 9 will run for 267 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: 4707523 markings, 7793221 edges, 941505 markings/sec, 0 secs
lola: 9097630 markings, 15043087 edges, 878021 markings/sec, 5 secs
lola: 13409093 markings, 22155106 edges, 862293 markings/sec, 10 secs
lola: 17774140 markings, 29213983 edges, 873009 markings/sec, 15 secs
lola: 21639734 markings, 35769273 edges, 773119 markings/sec, 20 secs
lola: 25602104 markings, 42310789 edges, 792474 markings/sec, 25 secs
lola: 29456695 markings, 48734891 edges, 770918 markings/sec, 30 secs
lola: 33055532 markings, 54844560 edges, 719767 markings/sec, 35 secs
lola: 37091095 markings, 61696361 edges, 807113 markings/sec, 40 secs
lola: 41127173 markings, 68548781 edges, 807216 markings/sec, 45 secs
lola: 45157029 markings, 75389548 edges, 805971 markings/sec, 50 secs
lola: 49178690 markings, 82217600 edges, 804332 markings/sec, 55 secs
lola: 53199459 markings, 89042611 edges, 804154 markings/sec, 60 secs
lola: 57208854 markings, 95849205 edges, 801879 markings/sec, 65 secs
lola: 61216742 markings, 102653548 edges, 801578 markings/sec, 70 secs
lola: 65221187 markings, 109451975 edges, 800889 markings/sec, 75 secs
lola: 69220141 markings, 116240788 edges, 799791 markings/sec, 80 secs
lola: 73216900 markings, 123025842 edges, 799352 markings/sec, 85 secs
lola: 77206217 markings, 129797712 edges, 797863 markings/sec, 90 secs
lola: 81182738 markings, 136547173 edges, 795304 markings/sec, 95 secs
lola: 85139892 markings, 143264786 edges, 791431 markings/sec, 100 secs
lola: 90041377 markings, 150705377 edges, 980297 markings/sec, 105 secs
lola: 95164185 markings, 158301953 edges, 1024562 markings/sec, 110 secs
lola: 100162591 markings, 165753118 edges, 999681 markings/sec, 115 secs
lola: 105071960 markings, 173128020 edges, 981874 markings/sec, 120 secs
lola: 109918189 markings, 180454798 edges, 969246 markings/sec, 125 secs
lola: 114684136 markings, 187750906 edges, 953189 markings/sec, 130 secs
lola: 119088248 markings, 194797323 edges, 880822 markings/sec, 135 secs
lola: 120277859 markings, 199756344 edges, 237922 markings/sec, 140 secs
lola: 121447057 markings, 204637864 edges, 233840 markings/sec, 145 secs
lola: 122618354 markings, 209504434 edges, 234259 markings/sec, 150 secs
lola: 123042299 markings, 212868373 edges, 84789 markings/sec, 155 secs
lola: 123044999 markings, 215175564 edges, 540 markings/sec, 160 secs
lola: 123047969 markings, 217410431 edges, 594 markings/sec, 165 secs
lola: 123051776 markings, 219802481 edges, 761 markings/sec, 170 secs
lola: 123272308 markings, 222849012 edges, 44106 markings/sec, 175 secs
lola: 123752721 markings, 226959707 edges, 96083 markings/sec, 180 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: subprocess 10 will run for 280 seconds at most (--localtimelimit=-1)
lola: ========================================
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: 3398322 markings, 7521646 edges, 679664 markings/sec, 0 secs
lola: 6527649 markings, 14483463 edges, 625865 markings/sec, 5 secs
lola: 9586142 markings, 21299677 edges, 611699 markings/sec, 10 secs
lola: 12608075 markings, 28040558 edges, 604387 markings/sec, 15 secs
lola: 15577104 markings, 34652033 edges, 593806 markings/sec, 20 secs
lola: 18500217 markings, 41164616 edges, 584623 markings/sec, 25 secs
lola: 21451015 markings, 47743288 edges, 590160 markings/sec, 30 secs
lola: 24342035 markings, 54151480 edges, 578204 markings/sec, 35 secs
lola: 27172460 markings, 60464202 edges, 566085 markings/sec, 40 secs
lola: 29904395 markings, 66574534 edges, 546387 markings/sec, 45 secs
lola: 32663212 markings, 72737897 edges, 551763 markings/sec, 50 secs
lola: 35545965 markings, 79128910 edges, 576551 markings/sec, 55 secs
lola: 38277681 markings, 85209778 edges, 546343 markings/sec, 60 secs
lola: 41067816 markings, 91389953 edges, 558027 markings/sec, 65 secs
lola: 43788433 markings, 97463662 edges, 544123 markings/sec, 70 secs
lola: 46494531 markings, 103510224 edges, 541220 markings/sec, 75 secs
lola: 49239015 markings, 109616404 edges, 548897 markings/sec, 80 secs
lola: 51983999 markings, 115759055 edges, 548997 markings/sec, 85 secs
lola: 54653129 markings, 121743431 edges, 533826 markings/sec, 90 secs
lola: 57437572 markings, 127934884 edges, 556889 markings/sec, 95 secs
lola: 60230979 markings, 134145787 edges, 558681 markings/sec, 100 secs
lola: 62888120 markings, 140090628 edges, 531428 markings/sec, 105 secs
lola: 65579237 markings, 146107475 edges, 538223 markings/sec, 110 secs
lola: 68335580 markings, 152223549 edges, 551269 markings/sec, 115 secs
lola: 71016347 markings, 158223742 edges, 536153 markings/sec, 120 secs
lola: 73731065 markings, 164252106 edges, 542944 markings/sec, 125 secs
lola: 76383138 markings, 170183215 edges, 530415 markings/sec, 130 secs
lola: 78993510 markings, 176024613 edges, 522074 markings/sec, 135 secs
lola: 81651458 markings, 181946629 edges, 531590 markings/sec, 140 secs
lola: 84276944 markings, 187796487 edges, 525097 markings/sec, 145 secs
lola: 87009094 markings, 193855435 edges, 546430 markings/sec, 150 secs
lola: 89646285 markings, 199733913 edges, 527438 markings/sec, 155 secs
lola: 92295003 markings, 205639988 edges, 529744 markings/sec, 160 secs
lola: 94984881 markings, 211633543 edges, 537976 markings/sec, 165 secs
lola: 97610392 markings, 217490291 edges, 525102 markings/sec, 170 secs
lola: 100295077 markings, 223444095 edges, 536937 markings/sec, 175 secs
lola: 102845249 markings, 229169860 edges, 510034 markings/sec, 180 secs
lola: 105422526 markings, 234913530 edges, 515455 markings/sec, 185 secs
lola: 108001430 markings, 240668216 edges, 515781 markings/sec, 190 secs
lola: 110616260 markings, 246483963 edges, 522966 markings/sec, 195 secs
lola: 113198626 markings, 252235195 edges, 516473 markings/sec, 200 secs
lola: 115860348 markings, 258143830 edges, 532344 markings/sec, 205 secs
lola: 118432348 markings, 263916485 edges, 514400 markings/sec, 210 secs
lola: 121013329 markings, 269677374 edges, 516196 markings/sec, 215 secs
lola: 123580050 markings, 275412677 edges, 513344 markings/sec, 220 secs
lola: 126186020 markings, 281250948 edges, 521194 markings/sec, 225 secs
lola: 128933560 markings, 287371025 edges, 549508 markings/sec, 230 secs
lola: 131664226 markings, 293435929 edges, 546133 markings/sec, 235 secs
lola: 134378042 markings, 299446963 edges, 542763 markings/sec, 240 secs
lola: 137140951 markings, 305567444 edges, 552582 markings/sec, 245 secs
lola: 139731959 markings, 311370885 edges, 518202 markings/sec, 250 secs
lola: 142310105 markings, 317143048 edges, 515629 markings/sec, 255 secs
lola: 144959468 markings, 323023013 edges, 529873 markings/sec, 260 secs
lola: 147650278 markings, 329006286 edges, 538162 markings/sec, 265 secs
lola: 150379886 markings, 335063373 edges, 545922 markings/sec, 270 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 280 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: 4185274 markings, 7919125 edges, 837055 markings/sec, 0 secs
lola: 8435409 markings, 15992274 edges, 850027 markings/sec, 5 secs
lola: 12671016 markings, 24036731 edges, 847121 markings/sec, 10 secs
lola: 16897316 markings, 32058565 edges, 845260 markings/sec, 15 secs
lola: 21130682 markings, 40090237 edges, 846673 markings/sec, 20 secs
lola: 25359362 markings, 48111717 edges, 845736 markings/sec, 25 secs
lola: 29607718 markings, 56164877 edges, 849671 markings/sec, 30 secs
lola: 33869078 markings, 64236986 edges, 852272 markings/sec, 35 secs
lola: 38133268 markings, 72307806 edges, 852838 markings/sec, 40 secs
lola: 42495803 markings, 80583883 edges, 872507 markings/sec, 45 secs
lola: 44007996 markings, 87955944 edges, 302439 markings/sec, 50 secs
lola: 44009090 markings, 93962907 edges, 219 markings/sec, 55 secs
lola: 47105788 markings, 99289744 edges, 619340 markings/sec, 60 secs
lola: 50127856 markings, 104500980 edges, 604414 markings/sec, 65 secs
lola: 53064397 markings, 109567798 edges, 587308 markings/sec, 70 secs
lola: 56039508 markings, 114717530 edges, 595022 markings/sec, 75 secs
lola: 59150361 markings, 120108490 edges, 622171 markings/sec, 80 secs
lola: 62245800 markings, 125487048 edges, 619088 markings/sec, 85 secs
lola: 65327130 markings, 130854876 edges, 616266 markings/sec, 90 secs
lola: 68389853 markings, 136208083 edges, 612545 markings/sec, 95 secs
lola: 71431176 markings, 141537841 edges, 608265 markings/sec, 100 secs
lola: 74436873 markings, 146825112 edges, 601139 markings/sec, 105 secs
lola: 77416560 markings, 152085110 edges, 595937 markings/sec, 110 secs
lola: 80364901 markings, 157311516 edges, 589668 markings/sec, 115 secs
lola: 83271049 markings, 162488411 edges, 581230 markings/sec, 120 secs
lola: 86126881 markings, 167599149 edges, 571166 markings/sec, 125 secs
lola: 88955393 markings, 172692581 edges, 565702 markings/sec, 130 secs
lola: 91752282 markings, 177761320 edges, 559378 markings/sec, 135 secs
lola: 94612617 markings, 182853593 edges, 572067 markings/sec, 140 secs
lola: 97676712 markings, 188123814 edges, 612819 markings/sec, 145 secs
lola: 100750831 markings, 193450205 edges, 614824 markings/sec, 150 secs
lola: 103827303 markings, 198837580 edges, 615294 markings/sec, 155 secs
lola: 107157480 markings, 204629838 edges, 666035 markings/sec, 160 secs
lola: 109337223 markings, 209978981 edges, 435949 markings/sec, 165 secs
lola: 109959569 markings, 213203324 edges, 124469 markings/sec, 170 secs
lola: 110624352 markings, 216329019 edges, 132957 markings/sec, 175 secs
lola: 111334620 markings, 219422990 edges, 142054 markings/sec, 180 secs
lola: 111639382 markings, 222167605 edges, 60952 markings/sec, 185 secs
lola: 111959560 markings, 224848845 edges, 64036 markings/sec, 190 secs
lola: 112361980 markings, 227818030 edges, 80484 markings/sec, 195 secs
lola: 112801297 markings, 230828680 edges, 87863 markings/sec, 200 secs
lola: 113264657 markings, 233840882 edges, 92672 markings/sec, 205 secs
lola: 113744842 markings, 236853815 edges, 96037 markings/sec, 210 secs
lola: 114239093 markings, 239888234 edges, 98850 markings/sec, 215 secs
lola: 114738387 markings, 242874575 edges, 99859 markings/sec, 220 secs
lola: 115218874 markings, 245712759 edges, 96097 markings/sec, 225 secs
lola: 115728007 markings, 248665730 edges, 101827 markings/sec, 230 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: subprocess 12 will run for 291 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(off)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: 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: 4285864 markings, 8004488 edges, 857173 markings/sec, 0 secs
lola: 8651071 markings, 16182165 edges, 873041 markings/sec, 5 secs
lola: 13016740 markings, 24361353 edges, 873134 markings/sec, 10 secs
lola: 17377573 markings, 32534964 edges, 872167 markings/sec, 15 secs
lola: 21734052 markings, 40700329 edges, 871296 markings/sec, 20 secs
lola: 26149629 markings, 48970398 edges, 883115 markings/sec, 25 secs
lola: 30573664 markings, 57258693 edges, 884807 markings/sec, 30 secs
lola: 35076878 markings, 65702672 edges, 900643 markings/sec, 35 secs
lola: 39637916 markings, 74248509 edges, 912208 markings/sec, 40 secs
lola: 44011293 markings, 82937353 edges, 874675 markings/sec, 45 secs
lola: 44011812 markings, 89621614 edges, 104 markings/sec, 50 secs
lola: 44789598 markings, 95329320 edges, 155557 markings/sec, 55 secs
lola: 47861086 markings, 100704228 edges, 614298 markings/sec, 60 secs
lola: 50827146 markings, 105885756 edges, 593212 markings/sec, 65 secs
lola: 53741821 markings, 110972280 edges, 582935 markings/sec, 70 secs
lola: 56629164 markings, 116004405 edges, 577469 markings/sec, 75 secs
lola: 59537530 markings, 121069655 edges, 581673 markings/sec, 80 secs
lola: 62623040 markings, 126439994 edges, 617102 markings/sec, 85 secs
lola: 65634219 markings, 131673141 edges, 602236 markings/sec, 90 secs
lola: 68625376 markings, 136865701 edges, 598231 markings/sec, 95 secs
lola: 71614979 markings, 142049983 edges, 597921 markings/sec, 100 secs
lola: 74608613 markings, 147231899 edges, 598727 markings/sec, 105 secs
lola: 77633587 markings, 152468158 edges, 604995 markings/sec, 110 secs
lola: 80724245 markings, 157805962 edges, 618132 markings/sec, 115 secs
lola: 83763387 markings, 163051916 edges, 607828 markings/sec, 120 secs
lola: 86858841 markings, 168388030 edges, 619091 markings/sec, 125 secs
lola: 89898833 markings, 173621687 edges, 607998 markings/sec, 130 secs
lola: 92957459 markings, 178876564 edges, 611725 markings/sec, 135 secs
lola: 96091474 markings, 184257747 edges, 626803 markings/sec, 140 secs
lola: 99134944 markings, 189477130 edges, 608694 markings/sec, 145 secs
lola: 102292561 markings, 194879634 edges, 631523 markings/sec, 150 secs
lola: 105456088 markings, 200291138 edges, 632705 markings/sec, 155 secs
lola: 107942819 markings, 205227608 edges, 497346 markings/sec, 160 secs
lola: 108883735 markings, 209414296 edges, 188183 markings/sec, 165 secs
lola: 109771934 markings, 213506908 edges, 177640 markings/sec, 170 secs
lola: 110612201 markings, 217500959 edges, 168053 markings/sec, 175 secs
lola: 111382238 markings, 221298460 edges, 154007 markings/sec, 180 secs
lola: 112128238 markings, 225131922 edges, 149200 markings/sec, 185 secs
lola: 112834841 markings, 228934363 edges, 141321 markings/sec, 190 secs
lola: 113477758 markings, 232593425 edges, 128583 markings/sec, 195 secs
lola: 114067550 markings, 236141708 edges, 117958 markings/sec, 200 secs
lola: 114600229 markings, 239569050 edges, 106536 markings/sec, 205 secs
lola: 115064510 markings, 242795076 edges, 92856 markings/sec, 210 secs
lola: 115450094 markings, 245695298 edges, 77117 markings/sec, 215 secs
lola: 115809806 markings, 248680877 edges, 71942 markings/sec, 220 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: subprocess 13 will run for 313 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: lola: ========================================
using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4160935 markings, 7766859 edges, 832187 markings/sec, 0 secs
lola: 8600159 markings, 16086042 edges, 887845 markings/sec, 5 secs
lola: 13051288 markings, 24426173 edges, 890226 markings/sec, 10 secs
lola: 17506801 markings, 32775384 edges, 891103 markings/sec, 15 secs
lola: 21982330 markings, 41162616 edges, 895106 markings/sec, 20 secs
lola: 26481952 markings, 49594454 edges, 899924 markings/sec, 25 secs
lola: 31042407 markings, 58139595 edges, 912091 markings/sec, 30 secs
lola: 35625040 markings, 66727029 edges, 916527 markings/sec, 35 secs
lola: 40230207 markings, 75359652 edges, 921033 markings/sec, 40 secs
lola: 44011420 markings, 83837273 edges, 756243 markings/sec, 45 secs
lola: 44011856 markings, 90567305 edges, 87 markings/sec, 50 secs
lola: 45274244 markings, 96181002 edges, 252478 markings/sec, 55 secs
lola: 48356526 markings, 101569978 edges, 616456 markings/sec, 60 secs
lola: 51342190 markings, 106784888 edges, 597133 markings/sec, 65 secs
lola: 54278555 markings, 111908447 edges, 587273 markings/sec, 70 secs
lola: 57182204 markings, 116970071 edges, 580730 markings/sec, 75 secs
lola: 60179142 markings, 122185153 edges, 599388 markings/sec, 80 secs
lola: 63219543 markings, 127475052 edges, 608080 markings/sec, 85 secs
lola: 66247736 markings, 132738649 edges, 605639 markings/sec, 90 secs
lola: 69275056 markings, 137992778 edges, 605464 markings/sec, 95 secs
lola: 72298226 markings, 143230794 edges, 604634 markings/sec, 100 secs
lola: 75324166 markings, 148473220 edges, 605188 markings/sec, 105 secs
lola: 78438386 markings, 153856550 edges, 622844 markings/sec, 110 secs
lola: 81545233 markings, 159225399 edges, 621369 markings/sec, 115 secs
lola: 84642909 markings, 164568579 edges, 619535 markings/sec, 120 secs
lola: 87756293 markings, 169931557 edges, 622677 markings/sec, 125 secs
lola: 90836791 markings, 175234272 edges, 616100 markings/sec, 130 secs
lola: 93976854 markings, 180630707 edges, 628013 markings/sec, 135 secs
lola: 97149585 markings, 186073584 edges, 634546 markings/sec, 140 secs
lola: 100151054 markings, 191217988 edges, 600294 markings/sec, 145 secs
lola: 103436272 markings, 196835827 edges, 657044 markings/sec, 150 secs
lola: 106661177 markings, 202346644 edges, 644981 markings/sec, 155 secs
lola: 108332225 markings, 206948432 edges, 334210 markings/sec, 160 secs
lola: 109268071 markings, 211172711 edges, 187169 markings/sec, 165 secs
lola: 110155113 markings, 215305378 edges, 177408 markings/sec, 170 secs
lola: 110989834 markings, 219350396 edges, 166944 markings/sec, 175 secs
lola: 111779597 markings, 223316832 edges, 157953 markings/sec, 180 secs
lola: 112515350 markings, 227191487 edges, 147151 markings/sec, 185 secs
lola: 113192875 markings, 230951780 edges, 135505 markings/sec, 190 secs
lola: 113814774 markings, 234599594 edges, 124380 markings/sec, 195 secs
lola: 114383336 markings, 238143856 edges, 113712 markings/sec, 200 secs
lola: 114894155 markings, 241572558 edges, 102164 markings/sec, 205 secs
lola: 115308914 markings, 244600661 edges, 82952 markings/sec, 210 secs
lola: 115679725 markings, 247584745 edges, 74162 markings/sec, 215 secs
lola: SUBRESULT
lola: result: 2001
lola: produced by: state space
lola: The maximum value of the given expression is 2001
lola: ========================================
lola: subprocess 14 will run for 358 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: 4171545 markings, 7741795 edges, 834309 markings/sec, 0 secs
lola: 7911504 markings, 14673953 edges, 747992 markings/sec, 5 secs
lola: 11688371 markings, 21675420 edges, 755373 markings/sec, 10 secs
lola: 15399689 markings, 28552394 edges, 742264 markings/sec, 15 secs
lola: 19049990 markings, 35318289 edges, 730060 markings/sec, 20 secs
lola: 22755051 markings, 42263278 edges, 741012 markings/sec, 25 secs
lola: 26446770 markings, 49189153 edges, 738344 markings/sec, 30 secs
lola: 30176206 markings, 56193966 edges, 745887 markings/sec, 35 secs
lola: 33970128 markings, 63334972 edges, 758784 markings/sec, 40 secs
lola: 37860808 markings, 70678955 edges, 778136 markings/sec, 45 secs
lola: 41795969 markings, 78078469 edges, 787032 markings/sec, 50 secs
lola: 45705805 markings, 85515305 edges, 781967 markings/sec, 55 secs
lola: 49586509 markings, 93008069 edges, 776141 markings/sec, 60 secs
lola: 53439162 markings, 100302400 edges, 770531 markings/sec, 65 secs
lola: 57280381 markings, 107681594 edges, 768244 markings/sec, 70 secs
lola: 61090724 markings, 115127826 edges, 762069 markings/sec, 75 secs
lola: 64897018 markings, 122592757 edges, 761259 markings/sec, 80 secs
lola: 68662695 markings, 130119603 edges, 753135 markings/sec, 85 secs
lola: 72406928 markings, 137695490 edges, 748847 markings/sec, 90 secs
lola: 76126131 markings, 145372286 edges, 743841 markings/sec, 95 secs
lola: 79817250 markings, 153003293 edges, 738224 markings/sec, 100 secs
lola: 83480791 markings, 160593813 edges, 732708 markings/sec, 105 secs
lola: 87127542 markings, 168130565 edges, 729350 markings/sec, 110 secs
lola: 90747959 markings, 175619746 edges, 724083 markings/sec, 115 secs
lola: 94228015 markings, 182822812 edges, 696011 markings/sec, 120 secs
lola: 97789889 markings, 190190460 edges, 712375 markings/sec, 125 secs
lola: 101410863 markings, 197686606 edges, 724195 markings/sec, 130 secs
lola: 105039059 markings, 205187747 edges, 725639 markings/sec, 135 secs
lola: 108679201 markings, 212717913 edges, 728028 markings/sec, 140 secs
lola: 112332527 markings, 220280190 edges, 730665 markings/sec, 145 secs
lola: 115962192 markings, 227787914 edges, 725933 markings/sec, 150 secs
lola: 119585432 markings, 235280596 edges, 724648 markings/sec, 155 secs
lola: 123190529 markings, 242736346 edges, 721019 markings/sec, 160 secs
lola: 126782666 markings, 250170539 edges, 718427 markings/sec, 165 secs
lola: 130343188 markings, 257537812 edges, 712104 markings/sec, 170 secs
lola: 133931276 markings, 264963276 edges, 717618 markings/sec, 175 secs
lola: 137578630 markings, 272506441 edges, 729471 markings/sec, 180 secs
lola: 141247335 markings, 280094028 edges, 733741 markings/sec, 185 secs
lola: 144903611 markings, 287662012 edges, 731255 markings/sec, 190 secs
lola: 148580179 markings, 295264510 edges, 735314 markings/sec, 195 secs
lola: 152122545 markings, 302593356 edges, 708473 markings/sec, 200 secs
lola: 155239237 markings, 309043370 edges, 623338 markings/sec, 205 secs
lola: 158229547 markings, 315551154 edges, 598062 markings/sec, 210 secs
lola: 158583277 markings, 320426007 edges, 70746 markings/sec, 215 secs
lola: 158885355 markings, 324663724 edges, 60416 markings/sec, 220 secs
lola: 159171495 markings, 328714658 edges, 57228 markings/sec, 225 secs
lola: 159455974 markings, 332719233 edges, 56896 markings/sec, 230 secs
lola: 159735571 markings, 336675842 edges, 55919 markings/sec, 235 secs
lola: 160012375 markings, 340623895 edges, 55361 markings/sec, 240 secs
lola: 160384246 markings, 344670760 edges, 74374 markings/sec, 245 secs
lola: 160923715 markings, 348770327 edges, 107894 markings/sec, 250 secs
lola: 161495920 markings, 352900703 edges, 114441 markings/sec, 255 secs
lola: 162095403 markings, 356995549 edges, 119897 markings/sec, 260 secs
lola: 162703039 markings, 361188096 edges, 121527 markings/sec, 265 secs
lola: 163328027 markings, 365319803 edges, 124998 markings/sec, 270 secs
lola: 163890807 markings, 369105093 edges, 112556 markings/sec, 275 secs
lola: 164407639 markings, 372561330 edges, 103366 markings/sec, 280 secs
lola: 164890575 markings, 375784848 edges, 96587 markings/sec, 285 secs
lola: 165365755 markings, 378983997 edges, 95036 markings/sec, 290 secs
lola: 165830984 markings, 382046147 edges, 93046 markings/sec, 295 secs
lola: 166297628 markings, 385100265 edges, 93329 markings/sec, 300 secs
lola: 166770150 markings, 388189255 edges, 94504 markings/sec, 305 secs
lola: 167264341 markings, 391415957 edges, 98838 markings/sec, 310 secs
lola: 168050870 markings, 395885433 edges, 157306 markings/sec, 315 secs
lola: 171412636 markings, 402696477 edges, 672353 markings/sec, 320 secs
lola: 174694596 markings, 409340019 edges, 656392 markings/sec, 325 secs
lola: 177931523 markings, 415896446 edges, 647385 markings/sec, 330 secs
lola: 180851371 markings, 421809258 edges, 583970 markings/sec, 335 secs
lola: 183731383 markings, 427641363 edges, 576002 markings/sec, 340 secs
lola: 186670411 markings, 433594179 edges, 587806 markings/sec, 345 secs
lola: 189606504 markings, 439538063 edges, 587219 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 357 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: 6092179 markings, 7995509 edges, 1218436 markings/sec, 0 secs
lola: 11972021 markings, 15713234 edges, 1175968 markings/sec, 5 secs
lola: 17665496 markings, 23186337 edges, 1138695 markings/sec, 10 secs
lola: 23160348 markings, 30399937 edges, 1098970 markings/sec, 15 secs
lola: 28716646 markings, 37691536 edges, 1111260 markings/sec, 20 secs
lola: 34154868 markings, 44830940 edges, 1087644 markings/sec, 25 secs
lola: 39492350 markings, 51835051 edges, 1067496 markings/sec, 30 secs
lola: 44690180 markings, 58659374 edges, 1039566 markings/sec, 35 secs
lola: 49847771 markings, 65427814 edges, 1031518 markings/sec, 40 secs
lola: 54945789 markings, 72118242 edges, 1019604 markings/sec, 45 secs
lola: 60142571 markings, 78939101 edges, 1039356 markings/sec, 50 secs
lola: 65226464 markings, 85613755 edges, 1016779 markings/sec, 55 secs
lola: 70185726 markings, 92121187 edges, 991852 markings/sec, 60 secs
lola: 75098551 markings, 98570105 edges, 982565 markings/sec, 65 secs
lola: 80013030 markings, 105021361 edges, 982896 markings/sec, 70 secs
lola: 84739985 markings, 111224017 edges, 945391 markings/sec, 75 secs
lola: 89419161 markings, 117366668 edges, 935835 markings/sec, 80 secs
lola: 93965038 markings, 123332097 edges, 909175 markings/sec, 85 secs
lola: SUBRESULT
lola: result: 2000
lola: produced by: state space
lola: The maximum value of the given expression is 2000
lola: RESULT
lola:
SUMMARY: unknown unknown 2000 2000 2000 2001 2001 2000 2000 2000 unknown 2000 2000 2001 unknown 2000
lola: ========================================
FORMULA RobotManipulation-PT-01000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-2 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-3 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-4 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-5 2001 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-6 2001 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-7 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-8 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-9 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-11 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-12 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-13 2001 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-01000-UpperBounds-15 2000 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496348530557

--------------------
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-01000"
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-01000.tgz
mv RobotManipulation-PT-01000 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-01000, 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-149581172800272"
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 ;