About the Execution of LoLA for RobotManipulation-PT-10000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15946.740 | 3530008.00 | 3522118.00 | 12961.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-10000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208-smll-149581172900299
=====================================================================
--------------------
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-10000-UpperBounds-0
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-1
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-10
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-11
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-12
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-13
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-14
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-15
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-2
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-3
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-4
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-5
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-6
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-7
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-8
FORMULA_NAME RobotManipulation-PT-10000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496351119830
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
RobotManipulation-PT-10000: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
RobotManipulation-PT-10000: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ RobotManipulation-PT-10000 @ 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-10000-UpperBounds.task
lola: MAX(initialized) : MAX(r_moving) : MAX(p_sc) : MAX(initialized) : MAX(r_active) : MAX(p_i2) : MAX(p_i1) : MAX(p_m) : MAX(r_moving) : MAX(p_i1) : MAX(p_sc) : MAX(p_rel) : MAX(r_moving) : MAX(access) : MAX(p_i1) : MAX(p_rdy)
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(initialized)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4898806 markings, 6647113 edges, 979761 markings/sec, 0 secs
lola: 7989309 markings, 11445016 edges, 618101 markings/sec, 5 secs
lola: 11770969 markings, 16763264 edges, 756332 markings/sec, 10 secs
lola: 15770256 markings, 22153988 edges, 799857 markings/sec, 15 secs
lola: 19363714 markings, 26946546 edges, 718692 markings/sec, 20 secs
lola: 22937201 markings, 31710775 edges, 714697 markings/sec, 25 secs
lola: 24552369 markings, 35251325 edges, 323034 markings/sec, 30 secs
lola: 25344917 markings, 38026514 edges, 158510 markings/sec, 35 secs
lola: 28396532 markings, 42256978 edges, 610323 markings/sec, 40 secs
lola: 31618519 markings, 46718473 edges, 644397 markings/sec, 45 secs
lola: 35153697 markings, 51604268 edges, 707036 markings/sec, 50 secs
lola: 38865721 markings, 56725473 edges, 742405 markings/sec, 55 secs
lola: 42764422 markings, 62093746 edges, 779740 markings/sec, 60 secs
lola: 46730011 markings, 67475589 edges, 793118 markings/sec, 65 secs
lola: 50575064 markings, 72570266 edges, 769011 markings/sec, 70 secs
lola: 54300556 markings, 77500998 edges, 745098 markings/sec, 75 secs
lola: 58012051 markings, 82414146 edges, 742299 markings/sec, 80 secs
lola: 61693911 markings, 87291727 edges, 736372 markings/sec, 85 secs
lola: 65331226 markings, 92107645 edges, 727463 markings/sec, 90 secs
lola: 68943554 markings, 96887175 edges, 722466 markings/sec, 95 secs
lola: 72514659 markings, 101618112 edges, 714221 markings/sec, 100 secs
lola: 76054453 markings, 106305788 edges, 707959 markings/sec, 105 secs
lola: 79569821 markings, 110959911 edges, 703074 markings/sec, 110 secs
lola: 83060788 markings, 115581620 edges, 698193 markings/sec, 115 secs
lola: 86526851 markings, 120172190 edges, 693213 markings/sec, 120 secs
lola: 89200192 markings, 124317715 edges, 534668 markings/sec, 125 secs
lola: 89598121 markings, 126615022 edges, 79586 markings/sec, 130 secs
lola: 89984781 markings, 128855191 edges, 77332 markings/sec, 135 secs
lola: 90369326 markings, 131091652 edges, 76909 markings/sec, 140 secs
lola: 90752971 markings, 133340431 edges, 76729 markings/sec, 145 secs
lola: 91147396 markings, 135616097 edges, 78885 markings/sec, 150 secs
lola: 91543556 markings, 137921035 edges, 79232 markings/sec, 155 secs
lola: 92130030 markings, 140432213 edges, 117295 markings/sec, 160 secs
lola: 94908452 markings, 144289524 edges, 555684 markings/sec, 165 secs
lola: 97658257 markings, 148104092 edges, 549961 markings/sec, 170 secs
lola: 100460538 markings, 151987965 edges, 560456 markings/sec, 175 secs
lola: 103279452 markings, 155899622 edges, 563783 markings/sec, 180 secs
lola: 106119726 markings, 159835790 edges, 568055 markings/sec, 185 secs
lola: 108999076 markings, 163820931 edges, 575870 markings/sec, 190 secs
lola: 111993909 markings, 167972484 edges, 598967 markings/sec, 195 secs
lola: 115078356 markings, 172239799 edges, 616889 markings/sec, 200 secs
lola: 118371854 markings, 176795338 edges, 658700 markings/sec, 205 secs
lola: 121730135 markings, 181441293 edges, 671656 markings/sec, 210 secs
lola: 125145769 markings, 186163088 edges, 683127 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_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: 4657985 markings, 7557501 edges, 931597 markings/sec, 0 secs
lola: 8953028 markings, 14643800 edges, 859009 markings/sec, 5 secs
lola: 12946287 markings, 21365625 edges, 798652 markings/sec, 10 secs
lola: 17399378 markings, 28421587 edges, 890618 markings/sec, 15 secs
lola: 21192608 markings, 34857083 edges, 758646 markings/sec, 20 secs
lola: 25101849 markings, 41371407 edges, 781848 markings/sec, 25 secs
lola: 29025604 markings, 47846636 edges, 784751 markings/sec, 30 secs
lola: 32741370 markings, 54155353 edges, 743153 markings/sec, 35 secs
lola: 36458179 markings, 60465792 edges, 743362 markings/sec, 40 secs
lola: 40177983 markings, 66780955 edges, 743961 markings/sec, 45 secs
lola: 43895169 markings, 73090944 edges, 743437 markings/sec, 50 secs
lola: 47611895 markings, 79401052 edges, 743345 markings/sec, 55 secs
lola: 51317967 markings, 85692968 edges, 741214 markings/sec, 60 secs
lola: 55024043 markings, 91983571 edges, 741215 markings/sec, 65 secs
lola: 58725405 markings, 98267652 edges, 740272 markings/sec, 70 secs
lola: 62424863 markings, 104548540 edges, 739892 markings/sec, 75 secs
lola: 66119676 markings, 110820370 edges, 738963 markings/sec, 80 secs
lola: 69815954 markings, 117094799 edges, 739256 markings/sec, 85 secs
lola: 73504907 markings, 123356970 edges, 737791 markings/sec, 90 secs
lola: 77190641 markings, 129614083 edges, 737147 markings/sec, 95 secs
lola: 80872238 markings, 135864774 edges, 736319 markings/sec, 100 secs
lola: 84549523 markings, 142106601 edges, 735457 markings/sec, 105 secs
lola: 88222821 markings, 148342518 edges, 734660 markings/sec, 110 secs
lola: 91883983 markings, 154558099 edges, 732232 markings/sec, 115 secs
lola: 95540029 markings, 160764787 edges, 731209 markings/sec, 120 secs
lola: 99199582 markings, 166975719 edges, 731911 markings/sec, 125 secs
lola: 102864730 markings, 173197550 edges, 733030 markings/sec, 130 secs
lola: 106531854 markings, 179424217 edges, 733425 markings/sec, 135 secs
lola: 110196869 markings, 185643600 edges, 733003 markings/sec, 140 secs
lola: 113865758 markings, 191873898 edges, 733778 markings/sec, 145 secs
lola: 117530248 markings, 198093018 edges, 732898 markings/sec, 150 secs
lola: 121198610 markings, 204320516 edges, 733672 markings/sec, 155 secs
lola: 124841011 markings, 210502737 edges, 728480 markings/sec, 160 secs
lola: 128471583 markings, 216666351 edges, 726114 markings/sec, 165 secs
lola: 132104790 markings, 222833802 edges, 726641 markings/sec, 170 secs
lola: 135742391 markings, 229008540 edges, 727520 markings/sec, 175 secs
lola: 139291513 markings, 235032990 edges, 709824 markings/sec, 180 secs
lola: 142997173 markings, 241324801 edges, 741132 markings/sec, 185 secs
lola: 146709649 markings, 247627790 edges, 742495 markings/sec, 190 secs
lola: 150420156 markings, 253925345 edges, 742101 markings/sec, 195 secs
lola: 154124999 markings, 260215159 edges, 740969 markings/sec, 200 secs
lola: 157826975 markings, 266497968 edges, 740395 markings/sec, 205 secs
lola: 161526682 markings, 272779349 edges, 739941 markings/sec, 210 secs
lola: 165226644 markings, 279060499 edges, 739992 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_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: 3755164 markings, 6823710 edges, 751033 markings/sec, 0 secs
lola: 7311244 markings, 13580773 edges, 711216 markings/sec, 5 secs
lola: 10878415 markings, 20376662 edges, 713434 markings/sec, 10 secs
lola: 14478097 markings, 27217018 edges, 719936 markings/sec, 15 secs
lola: 18063681 markings, 34015438 edges, 717117 markings/sec, 20 secs
lola: 21685464 markings, 40900036 edges, 724357 markings/sec, 25 secs
lola: 25321345 markings, 47805127 edges, 727176 markings/sec, 30 secs
lola: 28972206 markings, 54737329 edges, 730172 markings/sec, 35 secs
lola: 32565805 markings, 61566863 edges, 718720 markings/sec, 40 secs
lola: 36182753 markings, 68430429 edges, 723390 markings/sec, 45 secs
lola: 39792178 markings, 75286256 edges, 721885 markings/sec, 50 secs
lola: 43439579 markings, 82221294 edges, 729480 markings/sec, 55 secs
lola: 47078043 markings, 89124352 edges, 727693 markings/sec, 60 secs
lola: 50722059 markings, 96050871 edges, 728803 markings/sec, 65 secs
lola: 54402871 markings, 103051471 edges, 736162 markings/sec, 70 secs
lola: 58042001 markings, 109956470 edges, 727826 markings/sec, 75 secs
lola: 61615977 markings, 116745508 edges, 714795 markings/sec, 80 secs
lola: 65226963 markings, 123609542 edges, 722197 markings/sec, 85 secs
lola: 68842345 markings, 130463754 edges, 723076 markings/sec, 90 secs
lola: 72439161 markings, 137320429 edges, 719363 markings/sec, 95 secs
lola: 76023805 markings, 144150752 edges, 716929 markings/sec, 100 secs
lola: 79660435 markings, 151040430 edges, 727326 markings/sec, 105 secs
lola: 83294891 markings, 157953989 edges, 726891 markings/sec, 110 secs
lola: 86913256 markings, 164847285 edges, 723673 markings/sec, 115 secs
lola: 90551078 markings, 171738338 edges, 727564 markings/sec, 120 secs
lola: 94163209 markings, 178608758 edges, 722426 markings/sec, 125 secs
lola: 97823323 markings, 185576762 edges, 732023 markings/sec, 130 secs
lola: 101468318 markings, 192479356 edges, 728999 markings/sec, 135 secs
lola: 105131119 markings, 199440119 edges, 732560 markings/sec, 140 secs
lola: 108817761 markings, 206447563 edges, 737328 markings/sec, 145 secs
lola: 112206021 markings, 212882767 edges, 677652 markings/sec, 150 secs
lola: 115754175 markings, 219624349 edges, 709631 markings/sec, 155 secs
lola: 119336206 markings, 226424378 edges, 716406 markings/sec, 160 secs
lola: 122934900 markings, 233256723 edges, 719739 markings/sec, 165 secs
lola: 126576887 markings, 240182208 edges, 728397 markings/sec, 170 secs
lola: 130184490 markings, 247030844 edges, 721521 markings/sec, 175 secs
lola: 133800217 markings, 253898322 edges, 723145 markings/sec, 180 secs
lola: 137434932 markings, 260809695 edges, 726943 markings/sec, 185 secs
lola: 141081386 markings, 267735397 edges, 729291 markings/sec, 190 secs
lola: 144668288 markings, 274545766 edges, 717380 markings/sec, 195 secs
lola: 148281766 markings, 281415692 edges, 722696 markings/sec, 200 secs
lola: 151915957 markings, 288316162 edges, 726838 markings/sec, 205 secs
lola: 155535672 markings, 295192307 edges, 723943 markings/sec, 210 secs
lola: 158853700 markings, 301510685 edges, 663606 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(initialized)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4683968 markings, 6351078 edges, 936794 markings/sec, 0 secs
lola: 8172141 markings, 11786680 edges, 697635 markings/sec, 5 secs
lola: 12971342 markings, 18415005 edges, 959840 markings/sec, 10 secs
lola: 16957181 markings, 23737451 edges, 797168 markings/sec, 15 secs
lola: 20830069 markings, 28901136 edges, 774578 markings/sec, 20 secs
lola: 24444069 markings, 34141043 edges, 722800 markings/sec, 25 secs
lola: 24703354 markings, 36827673 edges, 51857 markings/sec, 30 secs
lola: 27626548 markings, 41188170 edges, 584639 markings/sec, 35 secs
lola: 31169015 markings, 46097261 edges, 708493 markings/sec, 40 secs
lola: 35048050 markings, 51459003 edges, 775807 markings/sec, 45 secs
lola: 38727276 markings, 56534405 edges, 735845 markings/sec, 50 secs
lola: 42616181 markings, 61888273 edges, 777781 markings/sec, 55 secs
lola: 46571204 markings, 67264386 edges, 791005 markings/sec, 60 secs
lola: 50435908 markings, 72385109 edges, 772941 markings/sec, 65 secs
lola: 54194170 markings, 77359607 edges, 751652 markings/sec, 70 secs
lola: 57885303 markings, 82249626 edges, 738227 markings/sec, 75 secs
lola: 61535166 markings, 87078009 edges, 729973 markings/sec, 80 secs
lola: 65148886 markings, 91865030 edges, 722744 markings/sec, 85 secs
lola: 68735271 markings, 96611630 edges, 717277 markings/sec, 90 secs
lola: 72277962 markings, 101303662 edges, 708538 markings/sec, 95 secs
lola: 75781657 markings, 105942865 edges, 700739 markings/sec, 100 secs
lola: 79268454 markings, 110561747 edges, 697359 markings/sec, 105 secs
lola: 82717819 markings, 115127129 edges, 689873 markings/sec, 110 secs
lola: 86117636 markings, 119630792 edges, 679963 markings/sec, 115 secs
lola: 89126475 markings, 123892412 edges, 601768 markings/sec, 120 secs
lola: 89503471 markings, 126076629 edges, 75399 markings/sec, 125 secs
lola: 89874996 markings, 128223693 edges, 74305 markings/sec, 130 secs
lola: 90245971 markings, 130374271 edges, 74195 markings/sec, 135 secs
lola: 90621431 markings, 132544437 edges, 75092 markings/sec, 140 secs
lola: 90992851 markings, 134731396 edges, 74284 markings/sec, 145 secs
lola: 91374666 markings, 136943649 edges, 76363 markings/sec, 150 secs
lola: 91762661 markings, 139207593 edges, 77599 markings/sec, 155 secs
lola: 93554853 markings, 142411396 edges, 358438 markings/sec, 160 secs
lola: 96209293 markings, 146093065 edges, 530888 markings/sec, 165 secs
lola: 98840887 markings, 149741474 edges, 526319 markings/sec, 170 secs
lola: 101677088 markings, 153675460 edges, 567240 markings/sec, 175 secs
lola: 104534810 markings, 157635805 edges, 571544 markings/sec, 180 secs
lola: 107416223 markings, 161629200 edges, 576283 markings/sec, 185 secs
lola: 110341642 markings, 165681115 edges, 585084 markings/sec, 190 secs
lola: 113297996 markings, 169775011 edges, 591271 markings/sec, 195 secs
lola: 116371219 markings, 174027644 edges, 614645 markings/sec, 200 secs
lola: 119580186 markings, 178468830 edges, 641793 markings/sec, 205 secs
lola: 122853646 markings, 182997076 edges, 654692 markings/sec, 210 secs
lola: 126169026 markings, 187581794 edges, 663076 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 3440649 markings, 7384188 edges, 688130 markings/sec, 0 secs
lola: 6504524 markings, 14210612 edges, 612775 markings/sec, 5 secs
lola: 9486377 markings, 20849679 edges, 596371 markings/sec, 10 secs
lola: 12422987 markings, 27395270 edges, 587322 markings/sec, 15 secs
lola: 15355348 markings, 33926023 edges, 586472 markings/sec, 20 secs
lola: 18220043 markings, 40322320 edges, 572939 markings/sec, 25 secs
lola: 21090724 markings, 46716827 edges, 574136 markings/sec, 30 secs
lola: 23915936 markings, 52989469 edges, 565042 markings/sec, 35 secs
lola: 26750786 markings, 59289887 edges, 566970 markings/sec, 40 secs
lola: 29468019 markings, 65369240 edges, 543447 markings/sec, 45 secs
lola: 32229262 markings, 71531272 edges, 552249 markings/sec, 50 secs
lola: 35070873 markings, 77858153 edges, 568322 markings/sec, 55 secs
lola: 37835957 markings, 83998113 edges, 553017 markings/sec, 60 secs
lola: 40619952 markings, 90156843 edges, 556799 markings/sec, 65 secs
lola: 43379011 markings, 96318314 edges, 551812 markings/sec, 70 secs
lola: 46121435 markings, 102446025 edges, 548485 markings/sec, 75 secs
lola: 48888497 markings, 108608598 edges, 553412 markings/sec, 80 secs
lola: 51643346 markings, 114758903 edges, 550970 markings/sec, 85 secs
lola: 54367058 markings, 120860932 edges, 544742 markings/sec, 90 secs
lola: 57186709 markings, 127157764 edges, 563930 markings/sec, 95 secs
lola: 60027976 markings, 133464102 edges, 568253 markings/sec, 100 secs
lola: 62796994 markings, 139650612 edges, 553804 markings/sec, 105 secs
lola: 65531893 markings, 145775473 edges, 546980 markings/sec, 110 secs
lola: 68353993 markings, 152033126 edges, 564420 markings/sec, 115 secs
lola: 71115392 markings, 158218066 edges, 552280 markings/sec, 120 secs
lola: 73919494 markings, 164440947 edges, 560820 markings/sec, 125 secs
lola: 76653583 markings, 170557162 edges, 546818 markings/sec, 130 secs
lola: 79382094 markings, 176656721 edges, 545702 markings/sec, 135 secs
lola: 82110757 markings, 182736678 edges, 545733 markings/sec, 140 secs
lola: 84799865 markings, 188732271 edges, 537822 markings/sec, 145 secs
lola: 87579650 markings, 194892053 edges, 555957 markings/sec, 150 secs
lola: 90282934 markings, 200916939 edges, 540657 markings/sec, 155 secs
lola: 92979362 markings, 206932999 edges, 539286 markings/sec, 160 secs
lola: 95677617 markings, 212957137 edges, 539651 markings/sec, 165 secs
lola: 98388372 markings, 218983660 edges, 542151 markings/sec, 170 secs
lola: 101044420 markings, 224891681 edges, 531210 markings/sec, 175 secs
lola: 103620060 markings, 230662162 edges, 515128 markings/sec, 180 secs
lola: 106237645 markings, 236502466 edges, 523517 markings/sec, 185 secs
lola: 108854128 markings, 242341260 edges, 523297 markings/sec, 190 secs
lola: 111518558 markings, 248250892 edges, 532886 markings/sec, 195 secs
lola: 114143953 markings, 254104343 edges, 525079 markings/sec, 200 secs
lola: 116778887 markings, 259971704 edges, 526987 markings/sec, 205 secs
lola: 119394410 markings, 265848806 edges, 523105 markings/sec, 210 secs
lola: 122086549 markings, 271825861 edges, 538428 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 4100345 markings, 6580617 edges, 820069 markings/sec, 0 secs
lola: 8033855 markings, 13189787 edges, 786702 markings/sec, 5 secs
lola: 11991746 markings, 19852889 edges, 791578 markings/sec, 10 secs
lola: 15989401 markings, 26571582 edges, 799531 markings/sec, 15 secs
lola: 19964372 markings, 33260433 edges, 794994 markings/sec, 20 secs
lola: 23963938 markings, 39986648 edges, 799913 markings/sec, 25 secs
lola: 27977518 markings, 46735400 edges, 802716 markings/sec, 30 secs
lola: 31924385 markings, 53377709 edges, 789373 markings/sec, 35 secs
lola: 35930970 markings, 60110769 edges, 801317 markings/sec, 40 secs
lola: 39942956 markings, 66863819 edges, 802397 markings/sec, 45 secs
lola: 43988378 markings, 73659294 edges, 809084 markings/sec, 50 secs
lola: 48003836 markings, 80418070 edges, 803092 markings/sec, 55 secs
lola: 52053413 markings, 87230554 edges, 809915 markings/sec, 60 secs
lola: 56091386 markings, 94016658 edges, 807595 markings/sec, 65 secs
lola: 60012675 markings, 100618391 edges, 784258 markings/sec, 70 secs
lola: 63973153 markings, 107272164 edges, 792096 markings/sec, 75 secs
lola: 67918111 markings, 113913284 edges, 788992 markings/sec, 80 secs
lola: 71907542 markings, 120615267 edges, 797886 markings/sec, 85 secs
lola: 75863294 markings, 127274321 edges, 791150 markings/sec, 90 secs
lola: 79861621 markings, 133992723 edges, 799665 markings/sec, 95 secs
lola: 83864871 markings, 140729240 edges, 800650 markings/sec, 100 secs
lola: 87882533 markings, 147490526 edges, 803532 markings/sec, 105 secs
lola: 91870407 markings, 154190645 edges, 797575 markings/sec, 110 secs
lola: 95882958 markings, 160944212 edges, 802510 markings/sec, 115 secs
lola: 99948344 markings, 167777558 edges, 813077 markings/sec, 120 secs
lola: 103989828 markings, 174574342 edges, 808297 markings/sec, 125 secs
lola: 108074514 markings, 181448038 edges, 816937 markings/sec, 130 secs
lola: 112168944 markings, 188332737 edges, 818886 markings/sec, 135 secs
lola: 116069519 markings, 194891559 edges, 780115 markings/sec, 140 secs
lola: 120005926 markings, 201514173 edges, 787281 markings/sec, 145 secs
lola: 123966980 markings, 208172400 edges, 792211 markings/sec, 150 secs
lola: 127948490 markings, 214873985 edges, 796302 markings/sec, 155 secs
lola: 131905898 markings, 221522223 edges, 791482 markings/sec, 160 secs
lola: 135874202 markings, 228201738 edges, 793661 markings/sec, 165 secs
lola: 139889995 markings, 234953200 edges, 803159 markings/sec, 170 secs
lola: 143830101 markings, 241579697 edges, 788021 markings/sec, 175 secs
lola: 147537810 markings, 247811677 edges, 741542 markings/sec, 180 secs
lola: 151476003 markings, 254440884 edges, 787639 markings/sec, 185 secs
lola: 155467368 markings, 261151861 edges, 798273 markings/sec, 190 secs
lola: 159437014 markings, 267827152 edges, 793929 markings/sec, 195 secs
lola: 163433715 markings, 274553780 edges, 799340 markings/sec, 200 secs
lola: 167406746 markings, 281227842 edges, 794606 markings/sec, 205 secs
lola: 171336026 markings, 287842045 edges, 785856 markings/sec, 210 secs
lola: 175313833 markings, 294529708 edges, 795561 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 3690348 markings, 6626577 edges, 738070 markings/sec, 0 secs
lola: 7210960 markings, 13206117 edges, 704122 markings/sec, 5 secs
lola: 10825111 markings, 19978557 edges, 722830 markings/sec, 10 secs
lola: 14514532 markings, 26880241 edges, 737884 markings/sec, 15 secs
lola: 18202283 markings, 33794992 edges, 737550 markings/sec, 20 secs
lola: 21906677 markings, 40723767 edges, 740879 markings/sec, 25 secs
lola: 25629489 markings, 47678887 edges, 744562 markings/sec, 30 secs
lola: 29351457 markings, 54659490 edges, 744394 markings/sec, 35 secs
lola: 32975708 markings, 61502503 edges, 724850 markings/sec, 40 secs
lola: 36686834 markings, 68435108 edges, 742225 markings/sec, 45 secs
lola: 40399995 markings, 75371875 edges, 742632 markings/sec, 50 secs
lola: 44092771 markings, 82348674 edges, 738555 markings/sec, 55 secs
lola: 47788358 markings, 89279291 edges, 739117 markings/sec, 60 secs
lola: 51556214 markings, 96323922 edges, 753571 markings/sec, 65 secs
lola: 55327612 markings, 103375679 edges, 754280 markings/sec, 70 secs
lola: 58988161 markings, 110243125 edges, 732110 markings/sec, 75 secs
lola: 62661554 markings, 117115017 edges, 734679 markings/sec, 80 secs
lola: 66353470 markings, 124024570 edges, 738383 markings/sec, 85 secs
lola: 70074205 markings, 130999758 edges, 744147 markings/sec, 90 secs
lola: 73759207 markings, 137896159 edges, 737000 markings/sec, 95 secs
lola: 77433084 markings, 144769276 edges, 734775 markings/sec, 100 secs
lola: 81105700 markings, 151661374 edges, 734523 markings/sec, 105 secs
lola: 84839707 markings, 158640908 edges, 746801 markings/sec, 110 secs
lola: 88540015 markings, 165554408 edges, 740062 markings/sec, 115 secs
lola: 92290834 markings, 172587843 edges, 750164 markings/sec, 120 secs
lola: 96028551 markings, 179636105 edges, 747543 markings/sec, 125 secs
lola: 99826842 markings, 186768364 edges, 759658 markings/sec, 130 secs
lola: 103611214 markings, 193847590 edges, 756874 markings/sec, 135 secs
lola: 107443278 markings, 201020652 edges, 766413 markings/sec, 140 secs
lola: 111276460 markings, 208196080 edges, 766636 markings/sec, 145 secs
lola: 114965762 markings, 215089038 edges, 737860 markings/sec, 150 secs
lola: 118552377 markings, 221887428 edges, 717323 markings/sec, 155 secs
lola: 122248513 markings, 228794204 edges, 739227 markings/sec, 160 secs
lola: 125968026 markings, 235746946 edges, 743903 markings/sec, 165 secs
lola: 129665736 markings, 242664511 edges, 739542 markings/sec, 170 secs
lola: 133351058 markings, 249578308 edges, 737064 markings/sec, 175 secs
lola: 137057647 markings, 256515279 edges, 741318 markings/sec, 180 secs
lola: 140783595 markings, 263489434 edges, 745190 markings/sec, 185 secs
lola: 144452333 markings, 270364779 edges, 733748 markings/sec, 190 secs
lola: 148129723 markings, 277251623 edges, 735478 markings/sec, 195 secs
lola: 151809669 markings, 284137821 edges, 735989 markings/sec, 200 secs
lola: 155520048 markings, 291087345 edges, 742076 markings/sec, 205 secs
lola: 159195898 markings, 297981058 edges, 735170 markings/sec, 210 secs
lola: 162920556 markings, 304945454 edges, 744932 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_m)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 4152140 markings, 6667796 edges, 830428 markings/sec, 0 secs
lola: 8156736 markings, 13310463 edges, 800919 markings/sec, 5 secs
lola: 12241598 markings, 20072195 edges, 816972 markings/sec, 10 secs
lola: 16354642 markings, 26915815 edges, 822609 markings/sec, 15 secs
lola: 20470419 markings, 33743578 edges, 823155 markings/sec, 20 secs
lola: 24596345 markings, 40583878 edges, 825185 markings/sec, 25 secs
lola: 28751558 markings, 47474711 edges, 831043 markings/sec, 30 secs
lola: 32904073 markings, 54347638 edges, 830503 markings/sec, 35 secs
lola: 36998372 markings, 61144015 edges, 818860 markings/sec, 40 secs
lola: 41129300 markings, 67988274 edges, 826186 markings/sec, 45 secs
lola: 45079408 markings, 74552342 edges, 790022 markings/sec, 50 secs
lola: 48970479 markings, 80998857 edges, 778214 markings/sec, 55 secs
lola: 53160785 markings, 87946143 edges, 838061 markings/sec, 60 secs
lola: 57395517 markings, 94979429 edges, 846946 markings/sec, 65 secs
lola: 61634681 markings, 101997241 edges, 847833 markings/sec, 70 secs
lola: 65761207 markings, 108846930 edges, 825305 markings/sec, 75 secs
lola: 69932637 markings, 115764260 edges, 834286 markings/sec, 80 secs
lola: 74105730 markings, 122687573 edges, 834619 markings/sec, 85 secs
lola: 78313953 markings, 129656938 edges, 841645 markings/sec, 90 secs
lola: 82467593 markings, 136553042 edges, 830728 markings/sec, 95 secs
lola: 86659403 markings, 143506648 edges, 838362 markings/sec, 100 secs
lola: 90867366 markings, 150470243 edges, 841593 markings/sec, 105 secs
lola: 95069688 markings, 157450118 edges, 840464 markings/sec, 110 secs
lola: 99273512 markings, 164429167 edges, 840765 markings/sec, 115 secs
lola: 103490730 markings, 171406100 edges, 843444 markings/sec, 120 secs
lola: 107743104 markings, 178451685 edges, 850475 markings/sec, 125 secs
lola: 111950623 markings, 185460085 edges, 841504 markings/sec, 130 secs
lola: 116205314 markings, 192494092 edges, 850938 markings/sec, 135 secs
lola: 120477237 markings, 199585740 edges, 854385 markings/sec, 140 secs
lola: 124650840 markings, 206509281 edges, 834721 markings/sec, 145 secs
lola: 128723302 markings, 213261422 edges, 814492 markings/sec, 150 secs
lola: 132850825 markings, 220093031 edges, 825505 markings/sec, 155 secs
lola: 137006278 markings, 226994409 edges, 831091 markings/sec, 160 secs
lola: 141153907 markings, 233872589 edges, 829526 markings/sec, 165 secs
lola: 145313295 markings, 240769612 edges, 831878 markings/sec, 170 secs
lola: 149490010 markings, 247691035 edges, 835343 markings/sec, 175 secs
lola: 153674635 markings, 254640285 edges, 836925 markings/sec, 180 secs
lola: 157807075 markings, 261493863 edges, 826488 markings/sec, 185 secs
lola: 161779374 markings, 268083842 edges, 794460 markings/sec, 190 secs
lola: 165897848 markings, 274896552 edges, 823695 markings/sec, 195 secs
lola: 170055601 markings, 281799684 edges, 831551 markings/sec, 200 secs
lola: 174191227 markings, 288657722 edges, 827125 markings/sec, 205 secs
lola: 178331088 markings, 295525107 edges, 827972 markings/sec, 210 secs
lola: 182470144 markings, 302379838 edges, 827811 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 4508797 markings, 7304584 edges, 901759 markings/sec, 0 secs
lola: 8653447 markings, 14135732 edges, 828930 markings/sec, 5 secs
lola: 12524474 markings, 20666621 edges, 774205 markings/sec, 10 secs
lola: 16913629 markings, 27603631 edges, 877831 markings/sec, 15 secs
lola: 20656710 markings, 33948612 edges, 748616 markings/sec, 20 secs
lola: 24504279 markings, 40374231 edges, 769514 markings/sec, 25 secs
lola: 28394885 markings, 46781624 edges, 778121 markings/sec, 30 secs
lola: 32080495 markings, 53033149 edges, 737122 markings/sec, 35 secs
lola: 35730635 markings, 59230399 edges, 730028 markings/sec, 40 secs
lola: 39397452 markings, 65455563 edges, 733363 markings/sec, 45 secs
lola: 43087201 markings, 71719290 edges, 737950 markings/sec, 50 secs
lola: 46780853 markings, 77989529 edges, 738730 markings/sec, 55 secs
lola: 50465632 markings, 84244913 edges, 736956 markings/sec, 60 secs
lola: 54152948 markings, 90505452 edges, 737463 markings/sec, 65 secs
lola: 57835823 markings, 96757836 edges, 736575 markings/sec, 70 secs
lola: 61519550 markings, 103011304 edges, 736745 markings/sec, 75 secs
lola: 65200568 markings, 109259976 edges, 736204 markings/sec, 80 secs
lola: 68880080 markings, 115506152 edges, 735902 markings/sec, 85 secs
lola: 72557447 markings, 121748918 edges, 735473 markings/sec, 90 secs
lola: 76233602 markings, 127990067 edges, 735231 markings/sec, 95 secs
lola: 79905424 markings, 134222179 edges, 734364 markings/sec, 100 secs
lola: 83576510 markings, 140455536 edges, 734217 markings/sec, 105 secs
lola: 87238959 markings, 146671396 edges, 732490 markings/sec, 110 secs
lola: 90896338 markings, 152881398 edges, 731476 markings/sec, 115 secs
lola: 94545311 markings, 159075763 edges, 729795 markings/sec, 120 secs
lola: 98204670 markings, 165286675 edges, 731872 markings/sec, 125 secs
lola: 101862006 markings, 171495433 edges, 731467 markings/sec, 130 secs
lola: 105531234 markings, 177723752 edges, 733846 markings/sec, 135 secs
lola: 109194293 markings, 183942363 edges, 732612 markings/sec, 140 secs
lola: 112862590 markings, 190169239 edges, 733659 markings/sec, 145 secs
lola: 116535470 markings, 196405651 edges, 734576 markings/sec, 150 secs
lola: 120206843 markings, 202636769 edges, 734275 markings/sec, 155 secs
lola: 123871523 markings, 208859085 edges, 732936 markings/sec, 160 secs
lola: 127530390 markings, 215068742 edges, 731773 markings/sec, 165 secs
lola: 131194144 markings, 221288736 edges, 732751 markings/sec, 170 secs
lola: 134854094 markings, 227501375 edges, 731990 markings/sec, 175 secs
lola: 138517389 markings, 233718865 edges, 732659 markings/sec, 180 secs
lola: 142181003 markings, 239939152 edges, 732723 markings/sec, 185 secs
lola: 145845937 markings, 246160903 edges, 732987 markings/sec, 190 secs
lola: 149511865 markings, 252383632 edges, 733186 markings/sec, 195 secs
lola: 153179769 markings, 258608983 edges, 733581 markings/sec, 200 secs
lola: 156842815 markings, 264828449 edges, 732609 markings/sec, 205 secs
lola: 160507749 markings, 271050302 edges, 732987 markings/sec, 210 secs
lola: 164168425 markings, 277264345 edges, 732135 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 220 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: 3738533 markings, 6718926 edges, 747707 markings/sec, 0 secs
lola: 7349259 markings, 13469643 edges, 722145 markings/sec, 5 secs
lola: 11020460 markings, 20346602 edges, 734240 markings/sec, 10 secs
lola: 14704498 markings, 27244342 edges, 736808 markings/sec, 15 secs
lola: 18401171 markings, 34160008 edges, 739335 markings/sec, 20 secs
lola: 22104763 markings, 41110844 edges, 740718 markings/sec, 25 secs
lola: 25819395 markings, 48051922 edges, 742926 markings/sec, 30 secs
lola: 29559086 markings, 55040359 edges, 747938 markings/sec, 35 secs
lola: 33211029 markings, 61912861 edges, 730389 markings/sec, 40 secs
lola: 36897626 markings, 68849164 edges, 737319 markings/sec, 45 secs
lola: 40614679 markings, 75793578 edges, 743411 markings/sec, 50 secs
lola: 44348720 markings, 82771512 edges, 746808 markings/sec, 55 secs
lola: 48021884 markings, 89713361 edges, 734633 markings/sec, 60 secs
lola: 51762970 markings, 96730050 edges, 748217 markings/sec, 65 secs
lola: 55530876 markings, 103774946 edges, 753581 markings/sec, 70 secs
lola: 59218941 markings, 110663169 edges, 737613 markings/sec, 75 secs
lola: 62887181 markings, 117547470 edges, 733648 markings/sec, 80 secs
lola: 66580658 markings, 124457933 edges, 738695 markings/sec, 85 secs
lola: 70301597 markings, 131422060 edges, 744188 markings/sec, 90 secs
lola: 73998591 markings, 138353130 edges, 739399 markings/sec, 95 secs
lola: 77668830 markings, 145221125 edges, 734048 markings/sec, 100 secs
lola: 81372865 markings, 152152126 edges, 740807 markings/sec, 105 secs
lola: 85101236 markings, 159148823 edges, 745674 markings/sec, 110 secs
lola: 88790042 markings, 166045529 edges, 737761 markings/sec, 115 secs
lola: 92529695 markings, 173036480 edges, 747931 markings/sec, 120 secs
lola: 96255395 markings, 180004727 edges, 745140 markings/sec, 125 secs
lola: 99986569 markings, 187041916 edges, 746235 markings/sec, 130 secs
lola: 103699690 markings, 194021381 edges, 742624 markings/sec, 135 secs
lola: 107481715 markings, 201096150 edges, 756405 markings/sec, 140 secs
lola: 111265979 markings, 208175487 edges, 756853 markings/sec, 145 secs
lola: 114909459 markings, 214995785 edges, 728696 markings/sec, 150 secs
lola: 118465298 markings, 221716500 edges, 711168 markings/sec, 155 secs
lola: 122129591 markings, 228560610 edges, 732859 markings/sec, 160 secs
lola: 125812598 markings, 235441642 edges, 736601 markings/sec, 165 secs
lola: 129452121 markings, 242272749 edges, 727905 markings/sec, 170 secs
lola: 133093819 markings, 249085271 edges, 728340 markings/sec, 175 secs
lola: 136766490 markings, 255961657 edges, 734534 markings/sec, 180 secs
lola: 140453842 markings, 262873799 edges, 737470 markings/sec, 185 secs
lola: 144084022 markings, 269664463 edges, 726036 markings/sec, 190 secs
lola: 147739452 markings, 276508302 edges, 731086 markings/sec, 195 secs
lola: 151376855 markings, 283326497 edges, 727481 markings/sec, 200 secs
lola: 155075912 markings, 290240282 edges, 739811 markings/sec, 205 secs
lola: 158746699 markings, 297098703 edges, 734157 markings/sec, 210 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 221 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: 3596942 markings, 6553952 edges, 719388 markings/sec, 0 secs
lola: 7182725 markings, 13347986 edges, 717157 markings/sec, 5 secs
lola: 10829450 markings, 20281283 edges, 729345 markings/sec, 10 secs
lola: 14512360 markings, 27285547 edges, 736582 markings/sec, 15 secs
lola: 18187778 markings, 34258464 edges, 735084 markings/sec, 20 secs
lola: 21888477 markings, 41292861 edges, 740140 markings/sec, 25 secs
lola: 25604549 markings, 48362310 edges, 743214 markings/sec, 30 secs
lola: 29355974 markings, 55450149 edges, 750285 markings/sec, 35 secs
lola: 33018173 markings, 62421424 edges, 732440 markings/sec, 40 secs
lola: 36713579 markings, 69441826 edges, 739081 markings/sec, 45 secs
lola: 40432653 markings, 76491460 edges, 743815 markings/sec, 50 secs
lola: 44142277 markings, 83549253 edges, 741925 markings/sec, 55 secs
lola: 47847761 markings, 90598091 edges, 741097 markings/sec, 60 secs
lola: 51589675 markings, 97709194 edges, 748383 markings/sec, 65 secs
lola: 55340806 markings, 104840151 edges, 750226 markings/sec, 70 secs
lola: 59008884 markings, 111815867 edges, 733616 markings/sec, 75 secs
lola: 62681186 markings, 118796767 edges, 734460 markings/sec, 80 secs
lola: 66353587 markings, 125767744 edges, 734480 markings/sec, 85 secs
lola: 70065532 markings, 132829509 edges, 742389 markings/sec, 90 secs
lola: 73738377 markings, 139816563 edges, 734569 markings/sec, 95 secs
lola: 77442180 markings, 146832379 edges, 740761 markings/sec, 100 secs
lola: 81151481 markings, 153876900 edges, 741860 markings/sec, 105 secs
lola: 84883021 markings, 160959162 edges, 746308 markings/sec, 110 secs
lola: 88601399 markings, 168011635 edges, 743676 markings/sec, 115 secs
lola: 92310012 markings, 175067061 edges, 741723 markings/sec, 120 secs
lola: 96034105 markings, 182152950 edges, 744819 markings/sec, 125 secs
lola: 99776252 markings, 189268825 edges, 748429 markings/sec, 130 secs
lola: 103503580 markings, 196350221 edges, 745466 markings/sec, 135 secs
lola: 107266874 markings, 203502973 edges, 752659 markings/sec, 140 secs
lola: 111038976 markings, 210659426 edges, 754420 markings/sec, 145 secs
lola: 114713583 markings, 217615415 edges, 734921 markings/sec, 150 secs
lola: 118283029 markings, 224418978 edges, 713889 markings/sec, 155 secs
lola: 121916787 markings, 231329429 edges, 726752 markings/sec, 160 secs
lola: 125586128 markings, 238271969 edges, 733868 markings/sec, 165 secs
lola: 129044378 markings, 244878700 edges, 691650 markings/sec, 170 secs
lola: 132681596 markings, 251805224 edges, 727444 markings/sec, 175 secs
lola: 136348933 markings, 258743702 edges, 733467 markings/sec, 180 secs
lola: 139910799 markings, 265524805 edges, 712373 markings/sec, 185 secs
lola: 143456356 markings, 272267591 edges, 709111 markings/sec, 190 secs
lola: 147104898 markings, 279190337 edges, 729708 markings/sec, 195 secs
lola: 150735682 markings, 286094159 edges, 726157 markings/sec, 200 secs
lola: 154284910 markings, 292836495 edges, 709846 markings/sec, 205 secs
lola: 157913146 markings, 299721165 edges, 725647 markings/sec, 210 secs
lola: 161570590 markings, 306677361 edges, 731489 markings/sec, 215 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 220 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: 6249914 markings, 7919995 edges, 1249983 markings/sec, 0 secs
lola: 12217730 markings, 15381274 edges, 1193563 markings/sec, 5 secs
lola: 17743092 markings, 22289837 edges, 1105072 markings/sec, 10 secs
lola: 22973184 markings, 28828167 edges, 1046018 markings/sec, 15 secs
lola: 28415930 markings, 35631565 edges, 1088549 markings/sec, 20 secs
lola: 33679872 markings, 42213435 edges, 1052788 markings/sec, 25 secs
lola: 38829977 markings, 48650752 edges, 1030021 markings/sec, 30 secs
lola: 44077630 markings, 55211588 edges, 1049531 markings/sec, 35 secs
lola: 49160497 markings, 61565415 edges, 1016573 markings/sec, 40 secs
lola: 54215672 markings, 67884163 edges, 1011035 markings/sec, 45 secs
lola: 59337713 markings, 74287486 edges, 1024408 markings/sec, 50 secs
lola: 64898640 markings, 81240744 edges, 1112185 markings/sec, 55 secs
lola: 70302992 markings, 87994226 edges, 1080870 markings/sec, 60 secs
lola: 75638001 markings, 94664084 edges, 1067002 markings/sec, 65 secs
lola: 80787460 markings, 101102680 edges, 1029892 markings/sec, 70 secs
lola: 86211940 markings, 107883447 edges, 1084896 markings/sec, 75 secs
lola: 91476728 markings, 114465075 edges, 1052958 markings/sec, 80 secs
lola: 96647076 markings, 120928664 edges, 1034070 markings/sec, 85 secs
lola: 101730564 markings, 127282835 edges, 1016698 markings/sec, 90 secs
lola: 106718436 markings, 133517384 edges, 997574 markings/sec, 95 secs
lola: 112358687 markings, 140567269 edges, 1128050 markings/sec, 100 secs
lola: 118092059 markings, 147733813 edges, 1146674 markings/sec, 105 secs
lola: 123521714 markings, 154524435 edges, 1085931 markings/sec, 110 secs
lola: 129116455 markings, 161514882 edges, 1118948 markings/sec, 115 secs
lola: 134500415 markings, 168244690 edges, 1076792 markings/sec, 120 secs
lola: 139679123 markings, 174719494 edges, 1035742 markings/sec, 125 secs
lola: 145346210 markings, 181803521 edges, 1133417 markings/sec, 130 secs
lola: 150808538 markings, 188633505 edges, 1092466 markings/sec, 135 secs
lola: 156128736 markings, 195282913 edges, 1064040 markings/sec, 140 secs
lola: 161517321 markings, 202021524 edges, 1077717 markings/sec, 145 secs
lola: 166785910 markings, 208604480 edges, 1053718 markings/sec, 150 secs
lola: 172014920 markings, 215140063 edges, 1045802 markings/sec, 155 secs
lola: 176103100 markings, 220252107 edges, 817636 markings/sec, 160 secs
lola: 176110722 markings, 220262269 edges, 1524 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 232 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: 4269159 markings, 6898085 edges, 853832 markings/sec, 0 secs
lola: 8255382 markings, 13461015 edges, 797245 markings/sec, 5 secs
lola: 12081004 markings, 19914474 edges, 765124 markings/sec, 10 secs
lola: 16382107 markings, 26754684 edges, 860221 markings/sec, 15 secs
lola: 20189069 markings, 33155716 edges, 761392 markings/sec, 20 secs
lola: 23942838 markings, 39462014 edges, 750754 markings/sec, 25 secs
lola: 27801482 markings, 45803195 edges, 771729 markings/sec, 30 secs
lola: 31471415 markings, 51999134 edges, 733987 markings/sec, 35 secs
lola: 35100734 markings, 58160810 edges, 725864 markings/sec, 40 secs
lola: 38734988 markings, 64330854 edges, 726851 markings/sec, 45 secs
lola: 42378920 markings, 70516740 edges, 728786 markings/sec, 50 secs
lola: 46025950 markings, 76708184 edges, 729406 markings/sec, 55 secs
lola: 49666020 markings, 82888743 edges, 728014 markings/sec, 60 secs
lola: 53297804 markings, 89053012 edges, 726357 markings/sec, 65 secs
lola: 56753317 markings, 94920109 edges, 691103 markings/sec, 70 secs
lola: 60531173 markings, 101333551 edges, 755571 markings/sec, 75 secs
lola: 64306592 markings, 107742513 edges, 755084 markings/sec, 80 secs
lola: 68077931 markings, 114144403 edges, 754268 markings/sec, 85 secs
lola: 71846045 markings, 120540888 edges, 753623 markings/sec, 90 secs
lola: 75607304 markings, 126925950 edges, 752252 markings/sec, 95 secs
lola: 79362564 markings, 133301247 edges, 751052 markings/sec, 100 secs
lola: 83116025 markings, 139674116 edges, 750692 markings/sec, 105 secs
lola: 86865192 markings, 146038206 edges, 749833 markings/sec, 110 secs
lola: 90599462 markings, 152377673 edges, 746854 markings/sec, 115 secs
lola: 94325438 markings, 158701604 edges, 745195 markings/sec, 120 secs
lola: 98060013 markings, 165041403 edges, 746915 markings/sec, 125 secs
lola: 101792284 markings, 171378528 edges, 746454 markings/sec, 130 secs
lola: 105530582 markings, 177722709 edges, 747660 markings/sec, 135 secs
lola: 109267005 markings, 184066890 edges, 747285 markings/sec, 140 secs
lola: 113006576 markings, 190413466 edges, 747914 markings/sec, 145 secs
lola: 116748736 markings, 196766998 edges, 748432 markings/sec, 150 secs
lola: 120485274 markings, 203109909 edges, 747308 markings/sec, 155 secs
lola: 124220919 markings, 209451864 edges, 747129 markings/sec, 160 secs
lola: 127955870 markings, 215791721 edges, 746990 markings/sec, 165 secs
lola: 131692419 markings, 222133370 edges, 747310 markings/sec, 170 secs
lola: 135332341 markings, 228314347 edges, 727984 markings/sec, 175 secs
lola: 138954232 markings, 234461045 edges, 724378 markings/sec, 180 secs
lola: 142586593 markings, 240627706 edges, 726472 markings/sec, 185 secs
lola: 146221089 markings, 246797271 edges, 726899 markings/sec, 190 secs
lola: 149844822 markings, 252947631 edges, 724747 markings/sec, 195 secs
lola: 153467902 markings, 259099293 edges, 724616 markings/sec, 200 secs
lola: 157089385 markings, 265247517 edges, 724297 markings/sec, 205 secs
lola: 160710526 markings, 271394520 edges, 724228 markings/sec, 210 secs
lola: 164338676 markings, 277552865 edges, 725630 markings/sec, 215 secs
lola: 167836511 markings, 283490659 edges, 699567 markings/sec, 220 secs
lola: 171467410 markings, 289652410 edges, 726180 markings/sec, 225 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 231 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: 5939008 markings, 7779851 edges, 1187802 markings/sec, 0 secs
lola: 11919831 markings, 15630289 edges, 1196165 markings/sec, 5 secs
lola: 17787941 markings, 23332456 edges, 1173622 markings/sec, 10 secs
lola: 23515574 markings, 30850502 edges, 1145527 markings/sec, 15 secs
lola: 29234551 markings, 38357730 edges, 1143795 markings/sec, 20 secs
lola: 34945979 markings, 45853688 edges, 1142286 markings/sec, 25 secs
lola: 40505524 markings, 53150836 edges, 1111909 markings/sec, 30 secs
lola: 46072103 markings, 60456580 edges, 1113316 markings/sec, 35 secs
lola: 51492385 markings, 67570957 edges, 1084056 markings/sec, 40 secs
lola: 56779510 markings, 74511932 edges, 1057425 markings/sec, 45 secs
lola: 62291657 markings, 81745851 edges, 1102429 markings/sec, 50 secs
lola: 67873946 markings, 89072154 edges, 1116458 markings/sec, 55 secs
lola: 73340615 markings, 96249379 edges, 1093334 markings/sec, 60 secs
lola: 78631575 markings, 103194393 edges, 1058192 markings/sec, 65 secs
lola: 84025720 markings, 110271762 edges, 1078829 markings/sec, 70 secs
lola: 89325107 markings, 117229234 edges, 1059877 markings/sec, 75 secs
lola: 94530305 markings, 124059505 edges, 1041040 markings/sec, 80 secs
lola: 99663365 markings, 130799182 edges, 1026612 markings/sec, 85 secs
lola: 104649279 markings, 137342488 edges, 997183 markings/sec, 90 secs
lola: 109984525 markings, 144346290 edges, 1067049 markings/sec, 95 secs
lola: 115179381 markings, 151164956 edges, 1038971 markings/sec, 100 secs
lola: 120273106 markings, 157849372 edges, 1018745 markings/sec, 105 secs
lola: 125291669 markings, 164434460 edges, 1003713 markings/sec, 110 secs
lola: 130116971 markings, 170767646 edges, 965060 markings/sec, 115 secs
lola: 135147120 markings, 177369689 edges, 1006030 markings/sec, 120 secs
lola: 140088414 markings, 183855279 edges, 988259 markings/sec, 125 secs
lola: 144845262 markings, 190098822 edges, 951370 markings/sec, 130 secs
lola: 149644931 markings, 196398635 edges, 959934 markings/sec, 135 secs
lola: 154338926 markings, 202559305 edges, 938799 markings/sec, 140 secs
lola: 158921267 markings, 208573858 edges, 916468 markings/sec, 145 secs
lola: 163687555 markings, 214829678 edges, 953258 markings/sec, 150 secs
lola: 168771224 markings, 221502505 edges, 1016734 markings/sec, 155 secs
lola: 173696057 markings, 227966101 edges, 984967 markings/sec, 160 secs
lola: 178485264 markings, 234254249 edges, 957841 markings/sec, 165 secs
lola: 183399548 markings, 240705488 edges, 982857 markings/sec, 170 secs
lola: 188111292 markings, 246889914 edges, 942349 markings/sec, 175 secs
lola: 192695890 markings, 252904458 edges, 916920 markings/sec, 180 secs
lola: 197397208 markings, 259076617 edges, 940264 markings/sec, 185 secs
lola: 202130594 markings, 265286808 edges, 946677 markings/sec, 190 secs
lola: 206752873 markings, 271353651 edges, 924456 markings/sec, 195 secs
lola: 211201246 markings, 277193055 edges, 889675 markings/sec, 200 secs
lola: 215515917 markings, 282856565 edges, 862934 markings/sec, 205 secs
lola: 215569570 markings, 282925568 edges, 10731 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 239 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: 3727431 markings, 6697660 edges, 745486 markings/sec, 0 secs
lola: 7452876 markings, 13668240 edges, 745089 markings/sec, 5 secs
lola: 11213421 markings, 20706180 edges, 752109 markings/sec, 10 secs
lola: 15000851 markings, 27804428 edges, 757486 markings/sec, 15 secs
lola: 18779033 markings, 34884249 edges, 755636 markings/sec, 20 secs
lola: 22588008 markings, 42015232 edges, 761795 markings/sec, 25 secs
lola: 26400565 markings, 49153156 edges, 762511 markings/sec, 30 secs
lola: 30218905 markings, 56302243 edges, 763668 markings/sec, 35 secs
lola: 33981715 markings, 63362731 edges, 752562 markings/sec, 40 secs
lola: 37783357 markings, 70480903 edges, 760328 markings/sec, 45 secs
lola: 41601848 markings, 77624613 edges, 763698 markings/sec, 50 secs
lola: 45421934 markings, 84771619 edges, 764017 markings/sec, 55 secs
lola: 49241046 markings, 91916869 edges, 763822 markings/sec, 60 secs
lola: 53107348 markings, 99154976 edges, 773260 markings/sec, 65 secs
lola: 56930891 markings, 106337723 edges, 764709 markings/sec, 70 secs
lola: 60642217 markings, 113347091 edges, 742265 markings/sec, 75 secs
lola: 64411875 markings, 120399783 edges, 753932 markings/sec, 80 secs
lola: 68202374 markings, 127489586 edges, 758100 markings/sec, 85 secs
lola: 72009703 markings, 134612621 edges, 761466 markings/sec, 90 secs
lola: 75781639 markings, 141669700 edges, 754387 markings/sec, 95 secs
lola: 79550140 markings, 148769847 edges, 753700 markings/sec, 100 secs
lola: 83342465 markings, 155908264 edges, 758465 markings/sec, 105 secs
lola: 87150948 markings, 163040820 edges, 761697 markings/sec, 110 secs
lola: 90964741 markings, 170177307 edges, 762759 markings/sec, 115 secs
lola: 94780134 markings, 177317092 edges, 763079 markings/sec, 120 secs
lola: 98641526 markings, 184547396 edges, 772278 markings/sec, 125 secs
lola: 102480254 markings, 191733342 edges, 767746 markings/sec, 130 secs
lola: 106350277 markings, 198980922 edges, 774005 markings/sec, 135 secs
lola: 110234799 markings, 206257143 edges, 776904 markings/sec, 140 secs
lola: 114029605 markings, 213367561 edges, 758961 markings/sec, 145 secs
lola: 117690986 markings, 220233233 edges, 732276 markings/sec, 150 secs
lola: 121439835 markings, 227250895 edges, 749770 markings/sec, 155 secs
lola: 125201708 markings, 234293601 edges, 752375 markings/sec, 160 secs
lola: 128958066 markings, 241330766 edges, 751272 markings/sec, 165 secs
lola: 132710593 markings, 248364525 edges, 750505 markings/sec, 170 secs
lola: 136471389 markings, 255408019 edges, 752159 markings/sec, 175 secs
lola: 140271197 markings, 262523728 edges, 759962 markings/sec, 180 secs
lola: 144002166 markings, 269507575 edges, 746194 markings/sec, 185 secs
lola: 147743533 markings, 276515647 edges, 748273 markings/sec, 190 secs
lola: 151484739 markings, 283536869 edges, 748241 markings/sec, 195 secs
lola: 155274551 markings, 290630470 edges, 757962 markings/sec, 200 secs
lola: 159044551 markings, 297683765 edges, 754000 markings/sec, 205 secs
lola: 162845463 markings, 304797953 edges, 760182 markings/sec, 210 secs
lola: 166642743 markings, 311905164 edges, 759456 markings/sec, 215 secs
lola: 170396772 markings, 318927577 edges, 750806 markings/sec, 220 secs
lola: 173254901 markings, 324339086 edges, 571626 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 247 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: 4244903 markings, 8050866 edges, 848981 markings/sec, 0 secs
lola: 8516773 markings, 16019408 edges, 854374 markings/sec, 5 secs
lola: 12865503 markings, 24036553 edges, 869746 markings/sec, 10 secs
lola: 17164556 markings, 31962134 edges, 859811 markings/sec, 15 secs
lola: 21301355 markings, 39588366 edges, 827360 markings/sec, 20 secs
lola: 25536084 markings, 47436283 edges, 846946 markings/sec, 25 secs
lola: 29712709 markings, 55177226 edges, 835325 markings/sec, 30 secs
lola: 33604915 markings, 62390507 edges, 778441 markings/sec, 35 secs
lola: 37397674 markings, 69420207 edges, 758552 markings/sec, 40 secs
lola: 41123811 markings, 76327823 edges, 745227 markings/sec, 45 secs
lola: 44792719 markings, 83125235 edges, 733782 markings/sec, 50 secs
lola: 48433531 markings, 89876360 edges, 728162 markings/sec, 55 secs
lola: 52047464 markings, 96572469 edges, 722787 markings/sec, 60 secs
lola: 55642614 markings, 103237657 edges, 719030 markings/sec, 65 secs
lola: 59223804 markings, 109872972 edges, 716238 markings/sec, 70 secs
lola: 62797981 markings, 116502230 edges, 714835 markings/sec, 75 secs
lola: 66357220 markings, 123099212 edges, 711848 markings/sec, 80 secs
lola: 69904531 markings, 129670637 edges, 709462 markings/sec, 85 secs
lola: 73440314 markings, 136231489 edges, 707157 markings/sec, 90 secs
lola: 76962432 markings, 142758093 edges, 704424 markings/sec, 95 secs
lola: 80471515 markings, 149264172 edges, 701817 markings/sec, 100 secs
lola: 83976837 markings, 155754303 edges, 701064 markings/sec, 105 secs
lola: 87472540 markings, 162232439 edges, 699141 markings/sec, 110 secs
lola: 90970295 markings, 168722339 edges, 699551 markings/sec, 115 secs
lola: 94270510 markings, 174839969 edges, 660043 markings/sec, 120 secs
lola: 97656657 markings, 181117360 edges, 677229 markings/sec, 125 secs
lola: 101111033 markings, 187520227 edges, 690875 markings/sec, 130 secs
lola: 104558146 markings, 193902901 edges, 689423 markings/sec, 135 secs
lola: 107998057 markings, 200283114 edges, 687982 markings/sec, 140 secs
lola: 111434200 markings, 206650522 edges, 687229 markings/sec, 145 secs
lola: 114867250 markings, 213015093 edges, 686610 markings/sec, 150 secs
lola: 118301837 markings, 219378889 edges, 686917 markings/sec, 155 secs
lola: 121739174 markings, 225751709 edges, 687467 markings/sec, 160 secs
lola: 125169859 markings, 232106931 edges, 686137 markings/sec, 165 secs
lola: 128600583 markings, 238477153 edges, 686145 markings/sec, 170 secs
lola: 132023528 markings, 244812320 edges, 684589 markings/sec, 175 secs
lola: 135440700 markings, 251143865 edges, 683434 markings/sec, 180 secs
lola: 138853451 markings, 257474034 edges, 682550 markings/sec, 185 secs
lola: 142262190 markings, 263798922 edges, 681748 markings/sec, 190 secs
lola: 145664208 markings, 270094073 edges, 680404 markings/sec, 195 secs
lola: 149068782 markings, 276410049 edges, 680915 markings/sec, 200 secs
lola: 152463254 markings, 282703804 edges, 678894 markings/sec, 205 secs
lola: 155853760 markings, 288986423 edges, 678101 markings/sec, 210 secs
lola: 159231991 markings, 295243254 edges, 675646 markings/sec, 215 secs
lola: 162614010 markings, 301523799 edges, 676404 markings/sec, 220 secs
lola: 165838665 markings, 307499021 edges, 644931 markings/sec, 225 secs
lola: 165938122 markings, 307680933 edges, 19891 markings/sec, 230 secs
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-10000-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA RobotManipulation-PT-10000-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496354649838
--------------------
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-10000"
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-10000.tgz
mv RobotManipulation-PT-10000 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-10000, 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-149581172900299"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;