About the Execution of LoLA for DES-PT-00b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3466.690 | 3540192.00 | 3555602.00 | 617.60 | ? ? ? ? ? ? ? ? ? 1 ? ? 1 ? ? ? | 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-3253
Executing tool lola
Input is DES-PT-00b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309000236
=====================================================================
--------------------
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 DES-PT-00b-UpperBounds-0
FORMULA_NAME DES-PT-00b-UpperBounds-1
FORMULA_NAME DES-PT-00b-UpperBounds-10
FORMULA_NAME DES-PT-00b-UpperBounds-11
FORMULA_NAME DES-PT-00b-UpperBounds-12
FORMULA_NAME DES-PT-00b-UpperBounds-13
FORMULA_NAME DES-PT-00b-UpperBounds-14
FORMULA_NAME DES-PT-00b-UpperBounds-15
FORMULA_NAME DES-PT-00b-UpperBounds-2
FORMULA_NAME DES-PT-00b-UpperBounds-3
FORMULA_NAME DES-PT-00b-UpperBounds-4
FORMULA_NAME DES-PT-00b-UpperBounds-5
FORMULA_NAME DES-PT-00b-UpperBounds-6
FORMULA_NAME DES-PT-00b-UpperBounds-7
FORMULA_NAME DES-PT-00b-UpperBounds-8
FORMULA_NAME DES-PT-00b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494626067221
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-00b @ 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: 501/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 271 places, 230 transitions, 212 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 319 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-00b-UpperBounds.task
lola: MAX(p269) : MAX(p223) : MAX(p130) : MAX(p0) : MAX(p264) : MAX(p269) : MAX(p119) : MAX(p132) : MAX(p72) : MAX(p34) : MAX(p229) : MAX(p159) : MAX(p244) : MAX(p131) : MAX(p32) : MAX(p174)
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(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 737894 markings, 1288031 edges, 147579 markings/sec, 0 secs
lola: 1452999 markings, 2522152 edges, 143021 markings/sec, 5 secs
lola: 2158333 markings, 3783094 edges, 141067 markings/sec, 10 secs
lola: 2906597 markings, 4996373 edges, 149653 markings/sec, 15 secs
lola: 3518871 markings, 6305146 edges, 122455 markings/sec, 20 secs
lola: 4169116 markings, 7507899 edges, 130049 markings/sec, 25 secs
lola: 4734037 markings, 8727753 edges, 112984 markings/sec, 30 secs
lola: 5421291 markings, 9864625 edges, 137451 markings/sec, 35 secs
lola: 6053484 markings, 11114572 edges, 126439 markings/sec, 40 secs
lola: 6689762 markings, 12365212 edges, 127256 markings/sec, 45 secs
lola: 7299658 markings, 13601325 edges, 121979 markings/sec, 50 secs
lola: 7935106 markings, 14822358 edges, 127090 markings/sec, 55 secs
lola: 8590025 markings, 16079650 edges, 130984 markings/sec, 60 secs
lola: 9417418 markings, 17093588 edges, 165479 markings/sec, 65 secs
lola: 9822460 markings, 18558494 edges, 81008 markings/sec, 70 secs
lola: 10459787 markings, 19754871 edges, 127465 markings/sec, 75 secs
lola: 11227598 markings, 20767049 edges, 153562 markings/sec, 80 secs
lola: 11720796 markings, 22119646 edges, 98640 markings/sec, 85 secs
lola: 12387003 markings, 23207428 edges, 133241 markings/sec, 90 secs
lola: 12949156 markings, 24449892 edges, 112431 markings/sec, 95 secs
lola: 13693325 markings, 25442016 edges, 148834 markings/sec, 100 secs
lola: 14318172 markings, 26549894 edges, 124969 markings/sec, 105 secs
lola: 14658360 markings, 27925112 edges, 68038 markings/sec, 110 secs
lola: 15281581 markings, 29066576 edges, 124644 markings/sec, 115 secs
lola: 15925381 markings, 30259185 edges, 128760 markings/sec, 120 secs
lola: 16504576 markings, 31507147 edges, 115839 markings/sec, 125 secs
lola: 17077160 markings, 32683183 edges, 114517 markings/sec, 130 secs
lola: 17722388 markings, 33821221 edges, 129046 markings/sec, 135 secs
lola: 18244805 markings, 35069560 edges, 104483 markings/sec, 140 secs
lola: 18897583 markings, 36170932 edges, 130556 markings/sec, 145 secs
lola: 19377085 markings, 37400326 edges, 95900 markings/sec, 150 secs
lola: 20123828 markings, 38432501 edges, 149349 markings/sec, 155 secs
lola: 20852578 markings, 39416534 edges, 145750 markings/sec, 160 secs
lola: 21288515 markings, 40663161 edges, 87187 markings/sec, 165 secs
lola: 21621265 markings, 42006165 edges, 66550 markings/sec, 170 secs
lola: 22478292 markings, 43189000 edges, 171405 markings/sec, 175 secs
lola: 23030900 markings, 44334880 edges, 110522 markings/sec, 180 secs
lola: 23755688 markings, 45423859 edges, 144958 markings/sec, 185 secs
lola: 24282386 markings, 46715606 edges, 105340 markings/sec, 190 secs
lola: 24896427 markings, 47939745 edges, 122808 markings/sec, 195 secs
lola: 25571810 markings, 49163613 edges, 135077 markings/sec, 200 secs
lola: 26162345 markings, 50352923 edges, 118107 markings/sec, 205 secs
lola: 26772941 markings, 51568667 edges, 122119 markings/sec, 210 secs
lola: 27354996 markings, 52741287 edges, 116411 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(p223)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 758693 markings, 1438389 edges, 151739 markings/sec, 0 secs
lola: 1376838 markings, 2730186 edges, 123629 markings/sec, 5 secs
lola: 1924649 markings, 3957478 edges, 109562 markings/sec, 10 secs
lola: 2436363 markings, 5245802 edges, 102343 markings/sec, 15 secs
lola: 2975711 markings, 6551839 edges, 107870 markings/sec, 20 secs
lola: 3494941 markings, 7839981 edges, 103846 markings/sec, 25 secs
lola: 4082428 markings, 9146392 edges, 117497 markings/sec, 30 secs
lola: 4807275 markings, 10535615 edges, 144969 markings/sec, 35 secs
lola: 5337533 markings, 11811524 edges, 106052 markings/sec, 40 secs
lola: 5838255 markings, 13082638 edges, 100144 markings/sec, 45 secs
lola: 6169366 markings, 14568303 edges, 66222 markings/sec, 50 secs
lola: 6695559 markings, 16006680 edges, 105239 markings/sec, 55 secs
lola: 7374135 markings, 17390616 edges, 135715 markings/sec, 60 secs
lola: 8062580 markings, 18770067 edges, 137689 markings/sec, 65 secs
lola: 8634378 markings, 20189873 edges, 114360 markings/sec, 70 secs
lola: 9232811 markings, 21618770 edges, 119687 markings/sec, 75 secs
lola: 9827105 markings, 22942301 edges, 118859 markings/sec, 80 secs
lola: 10513246 markings, 24193907 edges, 137228 markings/sec, 85 secs
lola: 11150192 markings, 25575456 edges, 127389 markings/sec, 90 secs
lola: 11809963 markings, 26930078 edges, 131954 markings/sec, 95 secs
lola: 12530010 markings, 28146595 edges, 144009 markings/sec, 100 secs
lola: 13379286 markings, 29491217 edges, 169855 markings/sec, 105 secs
lola: 14221624 markings, 30896155 edges, 168468 markings/sec, 110 secs
lola: 14976287 markings, 32181591 edges, 150933 markings/sec, 115 secs
lola: 15596592 markings, 33474111 edges, 124061 markings/sec, 120 secs
lola: 16153894 markings, 34874275 edges, 111460 markings/sec, 125 secs
lola: 16805519 markings, 36180542 edges, 130325 markings/sec, 130 secs
lola: 17427816 markings, 37500757 edges, 124459 markings/sec, 135 secs
lola: 18125145 markings, 38870886 edges, 139466 markings/sec, 140 secs
lola: 18790048 markings, 40218530 edges, 132981 markings/sec, 145 secs
lola: 19386570 markings, 41499645 edges, 119304 markings/sec, 150 secs
lola: 20019105 markings, 42786628 edges, 126507 markings/sec, 155 secs
lola: 20624232 markings, 44009603 edges, 121025 markings/sec, 160 secs
lola: 21218261 markings, 45371826 edges, 118806 markings/sec, 165 secs
lola: 21958949 markings, 46781075 edges, 148138 markings/sec, 170 secs
lola: 22803619 markings, 48100216 edges, 168934 markings/sec, 175 secs
lola: 23897427 markings, 49472613 edges, 218762 markings/sec, 180 secs
lola: 24691575 markings, 50708752 edges, 158830 markings/sec, 185 secs
lola: 25375337 markings, 52009518 edges, 136752 markings/sec, 190 secs
lola: 26072646 markings, 53279938 edges, 139462 markings/sec, 195 secs
lola: 26750406 markings, 54629773 edges, 135552 markings/sec, 200 secs
lola: 27758173 markings, 55907261 edges, 201553 markings/sec, 205 secs
lola: 28808376 markings, 57196311 edges, 210041 markings/sec, 210 secs
lola: 29724778 markings, 58506057 edges, 183280 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(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 841435 markings, 1377962 edges, 168287 markings/sec, 0 secs
lola: 1658209 markings, 2686578 edges, 163355 markings/sec, 5 secs
lola: 2495739 markings, 4034058 edges, 167506 markings/sec, 10 secs
lola: 3316453 markings, 5445776 edges, 164143 markings/sec, 15 secs
lola: 4115120 markings, 6731860 edges, 159733 markings/sec, 20 secs
lola: 4917454 markings, 8078088 edges, 160467 markings/sec, 25 secs
lola: 5696158 markings, 9342965 edges, 155741 markings/sec, 30 secs
lola: 6509606 markings, 10659405 edges, 162690 markings/sec, 35 secs
lola: 7266732 markings, 11884301 edges, 151425 markings/sec, 40 secs
lola: 7980324 markings, 13158404 edges, 142718 markings/sec, 45 secs
lola: 8735829 markings, 14441937 edges, 151101 markings/sec, 50 secs
lola: 9473839 markings, 15743187 edges, 147602 markings/sec, 55 secs
lola: 10165602 markings, 16955732 edges, 138353 markings/sec, 60 secs
lola: 10862276 markings, 18115015 edges, 139335 markings/sec, 65 secs
lola: 11570748 markings, 19301035 edges, 141694 markings/sec, 70 secs
lola: 12263463 markings, 20539214 edges, 138543 markings/sec, 75 secs
lola: 12859988 markings, 21973419 edges, 119305 markings/sec, 80 secs
lola: 13432186 markings, 23426369 edges, 114440 markings/sec, 85 secs
lola: 13982869 markings, 24824500 edges, 110137 markings/sec, 90 secs
lola: 14480937 markings, 26452883 edges, 99614 markings/sec, 95 secs
lola: 15020755 markings, 27877843 edges, 107964 markings/sec, 100 secs
lola: 15568992 markings, 29344713 edges, 109647 markings/sec, 105 secs
lola: 16107150 markings, 30794167 edges, 107632 markings/sec, 110 secs
lola: 16633540 markings, 32214620 edges, 105278 markings/sec, 115 secs
lola: 17071042 markings, 33930711 edges, 87500 markings/sec, 120 secs
lola: 17613387 markings, 35292183 edges, 108469 markings/sec, 125 secs
lola: 18152903 markings, 36621465 edges, 107903 markings/sec, 130 secs
lola: 18681242 markings, 37985070 edges, 105668 markings/sec, 135 secs
lola: 19198016 markings, 39311654 edges, 103355 markings/sec, 140 secs
lola: 19687345 markings, 40655119 edges, 97866 markings/sec, 145 secs
lola: 20167623 markings, 42195968 edges, 96056 markings/sec, 150 secs
lola: 20677786 markings, 43573712 edges, 102033 markings/sec, 155 secs
lola: 21174792 markings, 44922804 edges, 99401 markings/sec, 160 secs
lola: 21666697 markings, 46309015 edges, 98381 markings/sec, 165 secs
lola: 22197946 markings, 47658801 edges, 106250 markings/sec, 170 secs
lola: 22686799 markings, 49067362 edges, 97771 markings/sec, 175 secs
lola: 23201424 markings, 50378356 edges, 102925 markings/sec, 180 secs
lola: 23677176 markings, 51760586 edges, 95150 markings/sec, 185 secs
lola: 24182115 markings, 53048245 edges, 100988 markings/sec, 190 secs
lola: 24593385 markings, 54580154 edges, 82254 markings/sec, 195 secs
lola: 25048722 markings, 56226275 edges, 91067 markings/sec, 200 secs
lola: 25849078 markings, 57564687 edges, 160071 markings/sec, 205 secs
lola: 26641412 markings, 58859157 edges, 158467 markings/sec, 210 secs
lola: 27463843 markings, 60203401 edges, 164486 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(p0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 767609 markings, 1317747 edges, 153522 markings/sec, 0 secs
lola: 1510759 markings, 2583201 edges, 148630 markings/sec, 5 secs
lola: 2241521 markings, 3875800 edges, 146152 markings/sec, 10 secs
lola: 2981592 markings, 5105782 edges, 148014 markings/sec, 15 secs
lola: 3579028 markings, 6448400 edges, 119487 markings/sec, 20 secs
lola: 4242991 markings, 7657456 edges, 132793 markings/sec, 25 secs
lola: 4823655 markings, 8920435 edges, 116133 markings/sec, 30 secs
lola: 5559688 markings, 10038064 edges, 147207 markings/sec, 35 secs
lola: 6218021 markings, 11283610 edges, 131667 markings/sec, 40 secs
lola: 6846111 markings, 12562435 edges, 125618 markings/sec, 45 secs
lola: 7443230 markings, 13831388 edges, 119424 markings/sec, 50 secs
lola: 8139650 markings, 15034775 edges, 139284 markings/sec, 55 secs
lola: 8797830 markings, 16324638 edges, 131636 markings/sec, 60 secs
lola: 9541587 markings, 17423096 edges, 148751 markings/sec, 65 secs
lola: 10049730 markings, 18796453 edges, 101629 markings/sec, 70 secs
lola: 10702897 markings, 20002482 edges, 130633 markings/sec, 75 secs
lola: 11330078 markings, 21181644 edges, 125436 markings/sec, 80 secs
lola: 11970837 markings, 22376588 edges, 128152 markings/sec, 85 secs
lola: 12491128 markings, 23629199 edges, 104058 markings/sec, 90 secs
lola: 13234721 markings, 24743389 edges, 148719 markings/sec, 95 secs
lola: 13989785 markings, 25754470 edges, 151013 markings/sec, 100 secs
lola: 14443247 markings, 27056143 edges, 90692 markings/sec, 105 secs
lola: 14795457 markings, 28458591 edges, 70442 markings/sec, 110 secs
lola: 15436933 markings, 29693723 edges, 128295 markings/sec, 115 secs
lola: 16237676 markings, 30711895 edges, 160149 markings/sec, 120 secs
lola: 16661244 markings, 32139599 edges, 84714 markings/sec, 125 secs
lola: 17244360 markings, 33335437 edges, 116623 markings/sec, 130 secs
lola: 18052126 markings, 34291662 edges, 161553 markings/sec, 135 secs
lola: 18483511 markings, 35677912 edges, 86277 markings/sec, 140 secs
lola: 19202617 markings, 36694407 edges, 143821 markings/sec, 145 secs
lola: 19678268 markings, 37972382 edges, 95130 markings/sec, 150 secs
lola: 20498613 markings, 38888243 edges, 164069 markings/sec, 155 secs
lola: 21124807 markings, 40000512 edges, 125239 markings/sec, 160 secs
lola: 21454193 markings, 41333238 edges, 65877 markings/sec, 165 secs
lola: 22051848 markings, 42633270 edges, 119531 markings/sec, 170 secs
lola: 22788532 markings, 43789491 edges, 147337 markings/sec, 175 secs
lola: 23398146 markings, 44991415 edges, 121923 markings/sec, 180 secs
lola: 24021733 markings, 46164578 edges, 124717 markings/sec, 185 secs
lola: 24640288 markings, 47422943 edges, 123711 markings/sec, 190 secs
lola: 25305233 markings, 48686540 edges, 132989 markings/sec, 195 secs
lola: 25958482 markings, 49870249 edges, 130650 markings/sec, 200 secs
lola: 26518584 markings, 51109310 edges, 112020 markings/sec, 205 secs
lola: 27126933 markings, 52298726 edges, 121670 markings/sec, 210 secs
lola: 27689345 markings, 53452581 edges, 112482 markings/sec, 215 secs
lola: 28518394 markings, 54654105 edges, 165810 markings/sec, 220 secs
lola: 29105922 markings, 55820198 edges, 117506 markings/sec, 225 secs
lola: 29775745 markings, 56998438 edges, 133965 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p269)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 746545 markings, 1296683 edges, 149309 markings/sec, 0 secs
lola: 1464763 markings, 2534585 edges, 143644 markings/sec, 5 secs
lola: 2172264 markings, 3797622 edges, 141500 markings/sec, 10 secs
lola: 2910477 markings, 5000253 edges, 147643 markings/sec, 15 secs
lola: 3517370 markings, 6303393 edges, 121379 markings/sec, 20 secs
lola: 4160902 markings, 7498194 edges, 128706 markings/sec, 25 secs
lola: 4727816 markings, 8715299 edges, 113383 markings/sec, 30 secs
lola: 5413720 markings, 9855727 edges, 137181 markings/sec, 35 secs
lola: 6046463 markings, 11107360 edges, 126549 markings/sec, 40 secs
lola: 6683256 markings, 12358528 edges, 127359 markings/sec, 45 secs
lola: 7294468 markings, 13595372 edges, 122242 markings/sec, 50 secs
lola: 7927539 markings, 14813757 edges, 126614 markings/sec, 55 secs
lola: 8587760 markings, 16070579 edges, 132044 markings/sec, 60 secs
lola: 9416713 markings, 17092869 edges, 165791 markings/sec, 65 secs
lola: 9829459 markings, 18572589 edges, 82549 markings/sec, 70 secs
lola: 10477603 markings, 19773753 edges, 129629 markings/sec, 75 secs
lola: 11237630 markings, 20807568 edges, 152005 markings/sec, 80 secs
lola: 11752324 markings, 22152051 edges, 102939 markings/sec, 85 secs
lola: 12402392 markings, 23269737 edges, 130014 markings/sec, 90 secs
lola: 12996743 markings, 24498803 edges, 118870 markings/sec, 95 secs
lola: 13742760 markings, 25500585 edges, 149203 markings/sec, 100 secs
lola: 14341677 markings, 26645027 edges, 119783 markings/sec, 105 secs
lola: 14684789 markings, 28031561 edges, 68622 markings/sec, 110 secs
lola: 15317312 markings, 29210707 edges, 126505 markings/sec, 115 secs
lola: 16004044 markings, 30340146 edges, 137346 markings/sec, 120 secs
lola: 16537431 markings, 31640295 edges, 106677 markings/sec, 125 secs
lola: 17113824 markings, 32811008 edges, 115279 markings/sec, 130 secs
lola: 17777817 markings, 33915464 edges, 132799 markings/sec, 135 secs
lola: 18274328 markings, 35188048 edges, 99302 markings/sec, 140 secs
lola: 18944272 markings, 36269905 edges, 133989 markings/sec, 145 secs
lola: 19403261 markings, 37505746 edges, 91798 markings/sec, 150 secs
lola: 20189082 markings, 38499557 edges, 157164 markings/sec, 155 secs
lola: 20921291 markings, 39487160 edges, 146442 markings/sec, 160 secs
lola: 21319038 markings, 40786727 edges, 79549 markings/sec, 165 secs
lola: 21662902 markings, 42135625 edges, 68773 markings/sec, 170 secs
lola: 22543730 markings, 43310908 edges, 176166 markings/sec, 175 secs
lola: 23083856 markings, 44465257 edges, 108025 markings/sec, 180 secs
lola: 23849880 markings, 45534363 edges, 153205 markings/sec, 185 secs
lola: 24356469 markings, 46863347 edges, 101318 markings/sec, 190 secs
lola: 24993495 markings, 48088722 edges, 127405 markings/sec, 195 secs
lola: 25630480 markings, 49370820 edges, 127397 markings/sec, 200 secs
lola: 26251118 markings, 50517055 edges, 124128 markings/sec, 205 secs
lola: 26861835 markings, 51759279 edges, 122143 markings/sec, 210 secs
lola: 27419046 markings, 52946040 edges, 111442 markings/sec, 215 secs
lola: 28196932 markings, 54145215 edges, 155577 markings/sec, 220 secs
lola: 28828865 markings, 55306993 edges, 126387 markings/sec, 225 secs
lola: 29450709 markings, 56441806 edges, 124369 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p119)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 635019 markings, 1252014 edges, 127004 markings/sec, 0 secs
lola: 1423041 markings, 2624917 edges, 157604 markings/sec, 5 secs
lola: 2223655 markings, 3988962 edges, 160123 markings/sec, 10 secs
lola: 3044240 markings, 5364847 edges, 164117 markings/sec, 15 secs
lola: 3862633 markings, 6746848 edges, 163679 markings/sec, 20 secs
lola: 4555795 markings, 8124774 edges, 138632 markings/sec, 25 secs
lola: 5227508 markings, 9434571 edges, 134343 markings/sec, 30 secs
lola: 5970246 markings, 10736538 edges, 148548 markings/sec, 35 secs
lola: 6463071 markings, 12099355 edges, 98565 markings/sec, 40 secs
lola: 7131797 markings, 13392756 edges, 133745 markings/sec, 45 secs
lola: 7874945 markings, 14605541 edges, 148630 markings/sec, 50 secs
lola: 8600260 markings, 15837736 edges, 145063 markings/sec, 55 secs
lola: 9273391 markings, 17108600 edges, 134626 markings/sec, 60 secs
lola: 9978720 markings, 18492066 edges, 141066 markings/sec, 65 secs
lola: 10635533 markings, 19800377 edges, 131363 markings/sec, 70 secs
lola: 11194335 markings, 21029458 edges, 111760 markings/sec, 75 secs
lola: 11913277 markings, 22231568 edges, 143788 markings/sec, 80 secs
lola: 12676742 markings, 23551211 edges, 152693 markings/sec, 85 secs
lola: 13276283 markings, 24894433 edges, 119908 markings/sec, 90 secs
lola: 14309570 markings, 26198765 edges, 206657 markings/sec, 95 secs
lola: 15402690 markings, 27466300 edges, 218624 markings/sec, 100 secs
lola: 16114367 markings, 28693336 edges, 142335 markings/sec, 105 secs
lola: 16853305 markings, 30006511 edges, 147788 markings/sec, 110 secs
lola: 17578703 markings, 31216671 edges, 145080 markings/sec, 115 secs
lola: 18352524 markings, 32483595 edges, 154764 markings/sec, 120 secs
lola: 19068548 markings, 33723990 edges, 143205 markings/sec, 125 secs
lola: 19889902 markings, 34968259 edges, 164271 markings/sec, 130 secs
lola: 20602696 markings, 36154689 edges, 142559 markings/sec, 135 secs
lola: 21372550 markings, 37374992 edges, 153971 markings/sec, 140 secs
lola: 22472608 markings, 38647983 edges, 220012 markings/sec, 145 secs
lola: 23487141 markings, 39851978 edges, 202907 markings/sec, 150 secs
lola: 24558640 markings, 41103373 edges, 214300 markings/sec, 155 secs
lola: 25591687 markings, 42320749 edges, 206609 markings/sec, 160 secs
lola: 26203771 markings, 43561494 edges, 122417 markings/sec, 165 secs
lola: 26715024 markings, 44860519 edges, 102251 markings/sec, 170 secs
lola: 27438067 markings, 46148625 edges, 144609 markings/sec, 175 secs
lola: 28509451 markings, 47422465 edges, 214277 markings/sec, 180 secs
lola: 29562561 markings, 48658472 edges, 210622 markings/sec, 185 secs
lola: 30582745 markings, 49857472 edges, 204037 markings/sec, 190 secs
lola: 31576247 markings, 51025901 edges, 198700 markings/sec, 195 secs
lola: 32185823 markings, 52346433 edges, 121915 markings/sec, 200 secs
lola: 33024971 markings, 53421224 edges, 167830 markings/sec, 205 secs
lola: 33977481 markings, 54515592 edges, 190502 markings/sec, 210 secs
lola: 34903182 markings, 55586199 edges, 185140 markings/sec, 215 secs
lola: 35872288 markings, 56699698 edges, 193821 markings/sec, 220 secs
lola: 36688639 markings, 57930698 edges, 163270 markings/sec, 225 secs
lola: 37280987 markings, 59224245 edges, 118470 markings/sec, 230 secs
lola: 37984656 markings, 60476926 edges, 140734 markings/sec, 235 secs
lola: 38786345 markings, 61735022 edges, 160338 markings/sec, 240 secs
lola: 39481128 markings, 62968950 edges, 138957 markings/sec, 245 secs
lola: 40158992 markings, 64195692 edges, 135573 markings/sec, 250 secs
lola: 40862757 markings, 65427294 edges, 140753 markings/sec, 255 secs
lola: 41742783 markings, 66686556 edges, 176005 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 566154 markings, 1462560 edges, 113231 markings/sec, 0 secs
lola: 1057636 markings, 2888778 edges, 98296 markings/sec, 5 secs
lola: 1521347 markings, 4351408 edges, 92742 markings/sec, 10 secs
lola: 1984228 markings, 5783598 edges, 92576 markings/sec, 15 secs
lola: 2414480 markings, 7295399 edges, 86050 markings/sec, 20 secs
lola: 2985724 markings, 8709643 edges, 114249 markings/sec, 25 secs
lola: 3686721 markings, 10149809 edges, 140199 markings/sec, 30 secs
lola: 4324767 markings, 11616309 edges, 127609 markings/sec, 35 secs
lola: 4964475 markings, 12996105 edges, 127942 markings/sec, 40 secs
lola: 5571878 markings, 14384849 edges, 121481 markings/sec, 45 secs
lola: 6184059 markings, 15651357 edges, 122436 markings/sec, 50 secs
lola: 6817420 markings, 16911296 edges, 126672 markings/sec, 55 secs
lola: 7368212 markings, 18187344 edges, 110158 markings/sec, 60 secs
lola: 7925936 markings, 19462123 edges, 111545 markings/sec, 65 secs
lola: 8445715 markings, 20676520 edges, 103956 markings/sec, 70 secs
lola: 9010581 markings, 21913943 edges, 112973 markings/sec, 75 secs
lola: 9584645 markings, 23141218 edges, 114813 markings/sec, 80 secs
lola: 10163965 markings, 24315349 edges, 115864 markings/sec, 85 secs
lola: 10827157 markings, 25461451 edges, 132638 markings/sec, 90 secs
lola: 11421071 markings, 26528462 edges, 118783 markings/sec, 95 secs
lola: 11957637 markings, 27722497 edges, 107313 markings/sec, 100 secs
lola: 12498677 markings, 28923920 edges, 108208 markings/sec, 105 secs
lola: 13097229 markings, 30038120 edges, 119710 markings/sec, 110 secs
lola: 13675198 markings, 31270542 edges, 115594 markings/sec, 115 secs
lola: 14281549 markings, 32504934 edges, 121270 markings/sec, 120 secs
lola: 14909236 markings, 33759834 edges, 125537 markings/sec, 125 secs
lola: 15529739 markings, 34972597 edges, 124101 markings/sec, 130 secs
lola: 16077635 markings, 36205259 edges, 109579 markings/sec, 135 secs
lola: 16678820 markings, 37397751 edges, 120237 markings/sec, 140 secs
lola: 17149461 markings, 38657269 edges, 94128 markings/sec, 145 secs
lola: 17745197 markings, 39825866 edges, 119147 markings/sec, 150 secs
lola: 18277461 markings, 41064830 edges, 106453 markings/sec, 155 secs
lola: 18941153 markings, 42272692 edges, 132738 markings/sec, 160 secs
lola: 19569540 markings, 43461546 edges, 125677 markings/sec, 165 secs
lola: 20125665 markings, 44664735 edges, 111225 markings/sec, 170 secs
lola: 20627353 markings, 45906105 edges, 100338 markings/sec, 175 secs
lola: 21138165 markings, 47143755 edges, 102162 markings/sec, 180 secs
lola: 21704623 markings, 48324917 edges, 113292 markings/sec, 185 secs
lola: 22261992 markings, 49502693 edges, 111474 markings/sec, 190 secs
lola: 22873861 markings, 50626692 edges, 122374 markings/sec, 195 secs
lola: 23522202 markings, 51752861 edges, 129668 markings/sec, 200 secs
lola: 24171058 markings, 52929315 edges, 129771 markings/sec, 205 secs
lola: 24713689 markings, 54196395 edges, 108526 markings/sec, 210 secs
lola: 25244645 markings, 55410435 edges, 106191 markings/sec, 215 secs
lola: 25830250 markings, 56587773 edges, 117121 markings/sec, 220 secs
lola: 26333172 markings, 57750332 edges, 100584 markings/sec, 225 secs
lola: 26831146 markings, 58923647 edges, 99595 markings/sec, 230 secs
lola: 27309850 markings, 60094613 edges, 95741 markings/sec, 235 secs
lola: 27818760 markings, 61161716 edges, 101782 markings/sec, 240 secs
lola: 28325001 markings, 62295119 edges, 101248 markings/sec, 245 secs
lola: 28794165 markings, 63438291 edges, 93833 markings/sec, 250 secs
lola: 29265432 markings, 64697659 edges, 94253 markings/sec, 255 secs
lola: 29852172 markings, 65951838 edges, 117348 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 738441 markings, 1290424 edges, 147688 markings/sec, 0 secs
lola: 1420477 markings, 2581492 edges, 136407 markings/sec, 5 secs
lola: 2127801 markings, 3827455 edges, 141465 markings/sec, 10 secs
lola: 2792510 markings, 5078631 edges, 132942 markings/sec, 15 secs
lola: 3494459 markings, 6294056 edges, 140390 markings/sec, 20 secs
lola: 4128496 markings, 7539522 edges, 126807 markings/sec, 25 secs
lola: 4811405 markings, 8747069 edges, 136582 markings/sec, 30 secs
lola: 5474468 markings, 9952173 edges, 132613 markings/sec, 35 secs
lola: 6130530 markings, 11156020 edges, 131212 markings/sec, 40 secs
lola: 6797270 markings, 12393915 edges, 133348 markings/sec, 45 secs
lola: 7471236 markings, 13592389 edges, 134793 markings/sec, 50 secs
lola: 8132868 markings, 14766527 edges, 132326 markings/sec, 55 secs
lola: 8783346 markings, 15934892 edges, 130096 markings/sec, 60 secs
lola: 9433467 markings, 17185785 edges, 130024 markings/sec, 65 secs
lola: 10108667 markings, 18378859 edges, 135040 markings/sec, 70 secs
lola: 10739919 markings, 19622636 edges, 126250 markings/sec, 75 secs
lola: 11407180 markings, 20834533 edges, 133452 markings/sec, 80 secs
lola: 12016876 markings, 22101289 edges, 121939 markings/sec, 85 secs
lola: 12609824 markings, 23366829 edges, 118590 markings/sec, 90 secs
lola: 13200515 markings, 24653768 edges, 118138 markings/sec, 95 secs
lola: 13834956 markings, 25840793 edges, 126888 markings/sec, 100 secs
lola: 14412905 markings, 27123509 edges, 115590 markings/sec, 105 secs
lola: 15075568 markings, 28291739 edges, 132533 markings/sec, 110 secs
lola: 15695308 markings, 29512953 edges, 123948 markings/sec, 115 secs
lola: 16305944 markings, 30717461 edges, 122127 markings/sec, 120 secs
lola: 16881404 markings, 31995121 edges, 115092 markings/sec, 125 secs
lola: 17466065 markings, 33266813 edges, 116932 markings/sec, 130 secs
lola: 17997588 markings, 34637104 edges, 106305 markings/sec, 135 secs
lola: 18556758 markings, 35934309 edges, 111834 markings/sec, 140 secs
lola: 19146273 markings, 37115051 edges, 117903 markings/sec, 145 secs
lola: 19695993 markings, 38370635 edges, 109944 markings/sec, 150 secs
lola: 20159374 markings, 39787969 edges, 92676 markings/sec, 155 secs
lola: 20638198 markings, 41178200 edges, 95765 markings/sec, 160 secs
lola: 21215259 markings, 42413878 edges, 115412 markings/sec, 165 secs
lola: 21738319 markings, 43772530 edges, 104612 markings/sec, 170 secs
lola: 22289311 markings, 45100730 edges, 110198 markings/sec, 175 secs
lola: 22789917 markings, 46437809 edges, 100121 markings/sec, 180 secs
lola: 23367789 markings, 47729432 edges, 115574 markings/sec, 185 secs
lola: 23968638 markings, 48980133 edges, 120170 markings/sec, 190 secs
lola: 24596227 markings, 50181486 edges, 125518 markings/sec, 195 secs
lola: 25205136 markings, 51399321 edges, 121782 markings/sec, 200 secs
lola: 25769089 markings, 52656043 edges, 112791 markings/sec, 205 secs
lola: 26338198 markings, 53922304 edges, 113822 markings/sec, 210 secs
lola: 26822979 markings, 55245065 edges, 96956 markings/sec, 215 secs
lola: 27319367 markings, 56557410 edges, 99278 markings/sec, 220 secs
lola: 27831077 markings, 57846818 edges, 102342 markings/sec, 225 secs
lola: 28310296 markings, 59185429 edges, 95844 markings/sec, 230 secs
lola: 28861922 markings, 60483672 edges, 110325 markings/sec, 235 secs
lola: 29507374 markings, 61667820 edges, 129090 markings/sec, 240 secs
lola: 29995246 markings, 62978805 edges, 97574 markings/sec, 245 secs
lola: 30548201 markings, 64263060 edges, 110591 markings/sec, 250 secs
lola: 31036513 markings, 65561752 edges, 97662 markings/sec, 255 secs
lola: 31515285 markings, 66890219 edges, 95754 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p229)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 747128 markings, 1396567 edges, 149426 markings/sec, 0 secs
lola: 1350931 markings, 2842549 edges, 120761 markings/sec, 5 secs
lola: 2007853 markings, 4183364 edges, 131384 markings/sec, 10 secs
lola: 2533134 markings, 5615793 edges, 105056 markings/sec, 15 secs
lola: 3205982 markings, 6870027 edges, 134570 markings/sec, 20 secs
lola: 3801246 markings, 8225699 edges, 119053 markings/sec, 25 secs
lola: 4295931 markings, 9559349 edges, 98937 markings/sec, 30 secs
lola: 5017530 markings, 10763248 edges, 144320 markings/sec, 35 secs
lola: 5574172 markings, 12091575 edges, 111328 markings/sec, 40 secs
lola: 5908222 markings, 13522999 edges, 66810 markings/sec, 45 secs
lola: 6493245 markings, 14956500 edges, 117005 markings/sec, 50 secs
lola: 7156204 markings, 16341840 edges, 132592 markings/sec, 55 secs
lola: 7856892 markings, 17632192 edges, 140138 markings/sec, 60 secs
lola: 8408535 markings, 19043971 edges, 110329 markings/sec, 65 secs
lola: 9079298 markings, 20265158 edges, 134153 markings/sec, 70 secs
lola: 9646847 markings, 21609211 edges, 113510 markings/sec, 75 secs
lola: 10236536 markings, 22869325 edges, 117938 markings/sec, 80 secs
lola: 10897714 markings, 24041921 edges, 132236 markings/sec, 85 secs
lola: 11254690 markings, 25432223 edges, 71395 markings/sec, 90 secs
lola: 11877044 markings, 26780584 edges, 124471 markings/sec, 95 secs
lola: 12511497 markings, 28080571 edges, 126891 markings/sec, 100 secs
lola: 13129839 markings, 29356672 edges, 123668 markings/sec, 105 secs
lola: 13642959 markings, 30702966 edges, 102624 markings/sec, 110 secs
lola: 14293805 markings, 31899975 edges, 130169 markings/sec, 115 secs
lola: 14783123 markings, 33256278 edges, 97864 markings/sec, 120 secs
lola: 15326024 markings, 34489851 edges, 108580 markings/sec, 125 secs
lola: 15941943 markings, 35693667 edges, 123184 markings/sec, 130 secs
lola: 16544095 markings, 36904480 edges, 120430 markings/sec, 135 secs
lola: 17033214 markings, 38219319 edges, 97824 markings/sec, 140 secs
lola: 17399896 markings, 39655828 edges, 73336 markings/sec, 145 secs
lola: 17973279 markings, 41070926 edges, 114677 markings/sec, 150 secs
lola: 18551345 markings, 42421910 edges, 115613 markings/sec, 155 secs
lola: 19149500 markings, 43682983 edges, 119631 markings/sec, 160 secs
lola: 19591460 markings, 45048022 edges, 88392 markings/sec, 165 secs
lola: 20144355 markings, 46434968 edges, 110579 markings/sec, 170 secs
lola: 20683615 markings, 47750357 edges, 107852 markings/sec, 175 secs
lola: 21199013 markings, 49138284 edges, 103080 markings/sec, 180 secs
lola: 21745774 markings, 50543671 edges, 109352 markings/sec, 185 secs
lola: 22308267 markings, 51817954 edges, 112499 markings/sec, 190 secs
lola: 22815801 markings, 53087495 edges, 101507 markings/sec, 195 secs
lola: 23215081 markings, 54494037 edges, 79856 markings/sec, 200 secs
lola: 23596613 markings, 55964183 edges, 76306 markings/sec, 205 secs
lola: 24204829 markings, 57256022 edges, 121643 markings/sec, 210 secs
lola: 24780229 markings, 58484593 edges, 115080 markings/sec, 215 secs
lola: 25248513 markings, 59796730 edges, 93657 markings/sec, 220 secs
lola: 25768310 markings, 61110404 edges, 103959 markings/sec, 225 secs
lola: 26333200 markings, 62369267 edges, 112978 markings/sec, 230 secs
lola: 26867731 markings, 63701915 edges, 106906 markings/sec, 235 secs
lola: 27393285 markings, 64978421 edges, 105111 markings/sec, 240 secs
lola: 27869263 markings, 66298893 edges, 95196 markings/sec, 245 secs
lola: 28282648 markings, 67636100 edges, 82677 markings/sec, 250 secs
lola: 28866272 markings, 68815121 edges, 116725 markings/sec, 255 secs
lola: 29352202 markings, 70077952 edges, 97186 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p159)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 702183 markings, 1296876 edges, 140437 markings/sec, 0 secs
lola: 1405096 markings, 2618739 edges, 140583 markings/sec, 5 secs
lola: 2031502 markings, 3974280 edges, 125281 markings/sec, 10 secs
lola: 2859192 markings, 5215590 edges, 165538 markings/sec, 15 secs
lola: 3593598 markings, 6504544 edges, 146881 markings/sec, 20 secs
lola: 4373167 markings, 7752074 edges, 155914 markings/sec, 25 secs
lola: 5259185 markings, 9037475 edges, 177204 markings/sec, 30 secs
lola: 6128173 markings, 10285429 edges, 173798 markings/sec, 35 secs
lola: 6984654 markings, 11561998 edges, 171296 markings/sec, 40 secs
lola: 7852783 markings, 12818590 edges, 173626 markings/sec, 45 secs
lola: 8644163 markings, 13981166 edges, 158276 markings/sec, 50 secs
lola: 9492870 markings, 15197311 edges, 169741 markings/sec, 55 secs
lola: 10352086 markings, 16434976 edges, 171843 markings/sec, 60 secs
lola: 11199969 markings, 17688046 edges, 169577 markings/sec, 65 secs
lola: 12019380 markings, 18872203 edges, 163882 markings/sec, 70 secs
lola: 12972110 markings, 20099148 edges, 190546 markings/sec, 75 secs
lola: 14070385 markings, 21342761 edges, 219655 markings/sec, 80 secs
lola: 15126111 markings, 22542582 edges, 211145 markings/sec, 85 secs
lola: 15992124 markings, 23749788 edges, 173203 markings/sec, 90 secs
lola: 16873143 markings, 24951150 edges, 176204 markings/sec, 95 secs
lola: 17864422 markings, 26150623 edges, 198256 markings/sec, 100 secs
lola: 18654175 markings, 27381397 edges, 157951 markings/sec, 105 secs
lola: 19453286 markings, 28615411 edges, 159822 markings/sec, 110 secs
lola: 20190537 markings, 29804096 edges, 147450 markings/sec, 115 secs
lola: 20872331 markings, 30938231 edges, 136359 markings/sec, 120 secs
lola: 21585342 markings, 32126689 edges, 142602 markings/sec, 125 secs
lola: 22305076 markings, 33299544 edges, 143947 markings/sec, 130 secs
lola: 23073006 markings, 34427338 edges, 153586 markings/sec, 135 secs
lola: 23847565 markings, 35615257 edges, 154912 markings/sec, 140 secs
lola: 24584438 markings, 36793305 edges, 147375 markings/sec, 145 secs
lola: 25250642 markings, 37999394 edges, 133241 markings/sec, 150 secs
lola: 25980005 markings, 39165738 edges, 145873 markings/sec, 155 secs
lola: 26650555 markings, 40306497 edges, 134110 markings/sec, 160 secs
lola: 27538457 markings, 41534855 edges, 177580 markings/sec, 165 secs
lola: 28637541 markings, 42804689 edges, 219817 markings/sec, 170 secs
lola: 29446677 markings, 44039182 edges, 161827 markings/sec, 175 secs
lola: 30270256 markings, 45234736 edges, 164716 markings/sec, 180 secs
lola: 31072952 markings, 46422557 edges, 160539 markings/sec, 185 secs
lola: 31900465 markings, 47656354 edges, 165503 markings/sec, 190 secs
lola: 32643722 markings, 48875522 edges, 148651 markings/sec, 195 secs
lola: 33469263 markings, 50049033 edges, 165108 markings/sec, 200 secs
lola: 34384503 markings, 51287879 edges, 183048 markings/sec, 205 secs
lola: 35198981 markings, 52475214 edges, 162896 markings/sec, 210 secs
lola: 36013980 markings, 53654781 edges, 163000 markings/sec, 215 secs
lola: 36821586 markings, 54820154 edges, 161521 markings/sec, 220 secs
lola: 37576565 markings, 56044282 edges, 150996 markings/sec, 225 secs
lola: 38398437 markings, 57249907 edges, 164374 markings/sec, 230 secs
lola: 39329777 markings, 58438012 edges, 186268 markings/sec, 235 secs
lola: 39904857 markings, 59681063 edges, 115016 markings/sec, 240 secs
lola: 40705748 markings, 60879474 edges, 160178 markings/sec, 245 secs
lola: 41256092 markings, 62116249 edges, 110069 markings/sec, 250 secs
lola: 42110113 markings, 63298492 edges, 170804 markings/sec, 255 secs
lola: 43045339 markings, 64483677 edges, 187045 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p244)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 901398 markings, 1449362 edges, 180280 markings/sec, 0 secs
lola: 1782528 markings, 2841942 edges, 176226 markings/sec, 5 secs
lola: 2659838 markings, 4229669 edges, 175462 markings/sec, 10 secs
lola: 3543572 markings, 5708589 edges, 176747 markings/sec, 15 secs
lola: 4406926 markings, 7086260 edges, 172671 markings/sec, 20 secs
lola: 5276389 markings, 8480961 edges, 173893 markings/sec, 25 secs
lola: 6117669 markings, 9861611 edges, 168256 markings/sec, 30 secs
lola: 6969588 markings, 11217892 edges, 170384 markings/sec, 35 secs
lola: 7794515 markings, 12531163 edges, 164985 markings/sec, 40 secs
lola: 8541957 markings, 13824230 edges, 149488 markings/sec, 45 secs
lola: 9339429 markings, 15165269 edges, 159494 markings/sec, 50 secs
lola: 10143910 markings, 16509320 edges, 160896 markings/sec, 55 secs
lola: 10877820 markings, 17834028 edges, 146782 markings/sec, 60 secs
lola: 11637288 markings, 19086449 edges, 151894 markings/sec, 65 secs
lola: 12383357 markings, 20318006 edges, 149214 markings/sec, 70 secs
lola: 13144261 markings, 21562018 edges, 152181 markings/sec, 75 secs
lola: 13855747 markings, 22914676 edges, 142297 markings/sec, 80 secs
lola: 14680785 markings, 24274390 edges, 165008 markings/sec, 85 secs
lola: 15459216 markings, 25562112 edges, 155686 markings/sec, 90 secs
lola: 16187097 markings, 26833411 edges, 145576 markings/sec, 95 secs
lola: 16839333 markings, 28096560 edges, 130447 markings/sec, 100 secs
lola: 17590499 markings, 29316036 edges, 150233 markings/sec, 105 secs
lola: 18195452 markings, 30608526 edges, 120991 markings/sec, 110 secs
lola: 18988111 markings, 31819166 edges, 158532 markings/sec, 115 secs
lola: 19632025 markings, 33079812 edges, 128783 markings/sec, 120 secs
lola: 20351457 markings, 34304029 edges, 143886 markings/sec, 125 secs
lola: 21099998 markings, 35475910 edges, 149708 markings/sec, 130 secs
lola: 21843282 markings, 36693817 edges, 148657 markings/sec, 135 secs
lola: 22525063 markings, 37914752 edges, 136356 markings/sec, 140 secs
lola: 23140804 markings, 39179533 edges, 123148 markings/sec, 145 secs
lola: 23867265 markings, 40436109 edges, 145292 markings/sec, 150 secs
lola: 24543734 markings, 41610355 edges, 135294 markings/sec, 155 secs
lola: 25137422 markings, 42842706 edges, 118738 markings/sec, 160 secs
lola: 25775931 markings, 44089999 edges, 127702 markings/sec, 165 secs
lola: 26429776 markings, 45298527 edges, 130769 markings/sec, 170 secs
lola: 26931988 markings, 46553237 edges, 100442 markings/sec, 175 secs
lola: 27521016 markings, 47767315 edges, 117806 markings/sec, 180 secs
lola: 28104281 markings, 48963449 edges, 116653 markings/sec, 185 secs
lola: 28807206 markings, 50195411 edges, 140585 markings/sec, 190 secs
lola: 29574891 markings, 51386380 edges, 153537 markings/sec, 195 secs
lola: 30256364 markings, 52566369 edges, 136295 markings/sec, 200 secs
lola: 30954090 markings, 53786335 edges, 139545 markings/sec, 205 secs
lola: 31520576 markings, 55075092 edges, 113297 markings/sec, 210 secs
lola: 32298497 markings, 56338327 edges, 155584 markings/sec, 215 secs
lola: 33028429 markings, 57567372 edges, 145986 markings/sec, 220 secs
lola: 33678020 markings, 58666420 edges, 129918 markings/sec, 225 secs
lola: 34370046 markings, 59896004 edges, 138405 markings/sec, 230 secs
lola: 35120476 markings, 61157928 edges, 150086 markings/sec, 235 secs
lola: 35884782 markings, 62369731 edges, 152861 markings/sec, 240 secs
lola: 36519087 markings, 63535811 edges, 126861 markings/sec, 245 secs
lola: 37240927 markings, 64770400 edges, 144368 markings/sec, 250 secs
lola: 37917926 markings, 66011573 edges, 135400 markings/sec, 255 secs
lola: 38374473 markings, 67310761 edges, 91309 markings/sec, 260 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 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 871845 markings, 1401168 edges, 174369 markings/sec, 0 secs
lola: 1726172 markings, 2752982 edges, 170865 markings/sec, 5 secs
lola: 2577247 markings, 4099895 edges, 170215 markings/sec, 10 secs
lola: 3437089 markings, 5519356 edges, 171968 markings/sec, 15 secs
lola: 4274766 markings, 6873487 edges, 167535 markings/sec, 20 secs
lola: 5115901 markings, 8205706 edges, 168227 markings/sec, 25 secs
lola: 5925066 markings, 9553846 edges, 161833 markings/sec, 30 secs
lola: 6750776 markings, 10873429 edges, 165142 markings/sec, 35 secs
lola: 7590590 markings, 12209479 edges, 167963 markings/sec, 40 secs
lola: 8343136 markings, 13456757 edges, 150509 markings/sec, 45 secs
lola: 9116062 markings, 14794204 edges, 154585 markings/sec, 50 secs
lola: 9918168 markings, 16132193 edges, 160421 markings/sec, 55 secs
lola: 10661459 markings, 17477497 edges, 148658 markings/sec, 60 secs
lola: 11420224 markings, 18728895 edges, 151753 markings/sec, 65 secs
lola: 12176851 markings, 19969181 edges, 151325 markings/sec, 70 secs
lola: 12947189 markings, 21238405 edges, 154068 markings/sec, 75 secs
lola: 13652181 markings, 22600993 edges, 140998 markings/sec, 80 secs
lola: 14233625 markings, 24068341 edges, 116289 markings/sec, 85 secs
lola: 14826672 markings, 25520738 edges, 118609 markings/sec, 90 secs
lola: 15351168 markings, 26998369 edges, 104899 markings/sec, 95 secs
lola: 15875983 markings, 28665937 edges, 104963 markings/sec, 100 secs
lola: 16419178 markings, 30108181 edges, 108639 markings/sec, 105 secs
lola: 16978741 markings, 31591787 edges, 111913 markings/sec, 110 secs
lola: 17531865 markings, 33063158 edges, 110625 markings/sec, 115 secs
lola: 18066140 markings, 34504023 edges, 106855 markings/sec, 120 secs
lola: 18520444 markings, 36141572 edges, 90861 markings/sec, 125 secs
lola: 19041543 markings, 37719948 edges, 104220 markings/sec, 130 secs
lola: 19572125 markings, 39067555 edges, 106116 markings/sec, 135 secs
lola: 20133242 markings, 40445774 edges, 112223 markings/sec, 140 secs
lola: 20673329 markings, 41824317 edges, 108017 markings/sec, 145 secs
lola: 21216948 markings, 43145803 edges, 108724 markings/sec, 150 secs
lola: 21654589 markings, 44694954 edges, 87528 markings/sec, 155 secs
lola: 22171552 markings, 46198858 edges, 103393 markings/sec, 160 secs
lola: 22696792 markings, 47583925 edges, 105048 markings/sec, 165 secs
lola: 23198905 markings, 48952777 edges, 100423 markings/sec, 170 secs
lola: 23694627 markings, 50370240 edges, 99144 markings/sec, 175 secs
lola: 24235742 markings, 51748458 edges, 108223 markings/sec, 180 secs
lola: 24731373 markings, 53196670 edges, 99126 markings/sec, 185 secs
lola: 25264661 markings, 54521065 edges, 106658 markings/sec, 190 secs
lola: 25738464 markings, 55935797 edges, 94761 markings/sec, 195 secs
lola: 26285212 markings, 57211755 edges, 109350 markings/sec, 200 secs
lola: 26700655 markings, 58661710 edges, 83089 markings/sec, 205 secs
lola: 27115541 markings, 60377202 edges, 82977 markings/sec, 210 secs
lola: 27765024 markings, 61920721 edges, 129897 markings/sec, 215 secs
lola: 28590124 markings, 63286699 edges, 165020 markings/sec, 220 secs
lola: 29410151 markings, 64626388 edges, 164005 markings/sec, 225 secs
lola: 30288621 markings, 66095837 edges, 175694 markings/sec, 230 secs
lola: 31087272 markings, 67470965 edges, 159730 markings/sec, 235 secs
lola: 31898302 markings, 68802205 edges, 162206 markings/sec, 240 secs
lola: 32676115 markings, 70147273 edges, 155563 markings/sec, 245 secs
lola: 33476513 markings, 71467409 edges, 160080 markings/sec, 250 secs
lola: 34255469 markings, 72755934 edges, 155791 markings/sec, 255 secs
lola: 34969732 markings, 74058694 edges, 142853 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 267 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 780224 markings, 1183561 edges, 156045 markings/sec, 0 secs
lola: 1542121 markings, 2354459 edges, 152379 markings/sec, 5 secs
lola: 2257447 markings, 3620082 edges, 143065 markings/sec, 10 secs
lola: 2959720 markings, 4856885 edges, 140455 markings/sec, 15 secs
lola: 3657063 markings, 6070241 edges, 139469 markings/sec, 20 secs
lola: 4374687 markings, 7244553 edges, 143525 markings/sec, 25 secs
lola: 5070706 markings, 8461193 edges, 139204 markings/sec, 30 secs
lola: 5732140 markings, 9686615 edges, 132287 markings/sec, 35 secs
lola: 6395828 markings, 10913647 edges, 132738 markings/sec, 40 secs
lola: 7084566 markings, 12123878 edges, 137748 markings/sec, 45 secs
lola: 7742181 markings, 13311337 edges, 131523 markings/sec, 50 secs
lola: 8439456 markings, 14523773 edges, 139455 markings/sec, 55 secs
lola: 9121316 markings, 15691345 edges, 136372 markings/sec, 60 secs
lola: 9723890 markings, 16921910 edges, 120515 markings/sec, 65 secs
lola: 10366042 markings, 18156513 edges, 128430 markings/sec, 70 secs
lola: 11031093 markings, 19392014 edges, 133010 markings/sec, 75 secs
lola: 11726722 markings, 20666668 edges, 139126 markings/sec, 80 secs
lola: 12381261 markings, 21958519 edges, 130908 markings/sec, 85 secs
lola: 13072680 markings, 23164567 edges, 138284 markings/sec, 90 secs
lola: 13750148 markings, 24312593 edges, 135494 markings/sec, 95 secs
lola: 14345414 markings, 25523058 edges, 119053 markings/sec, 100 secs
lola: 14971880 markings, 26719534 edges, 125293 markings/sec, 105 secs
lola: 15642933 markings, 27955305 edges, 134211 markings/sec, 110 secs
lola: 16283845 markings, 29235640 edges, 128182 markings/sec, 115 secs
lola: 16983867 markings, 30430030 edges, 140004 markings/sec, 120 secs
lola: 17638393 markings, 31709379 edges, 130905 markings/sec, 125 secs
lola: 18320692 markings, 32954977 edges, 136460 markings/sec, 130 secs
lola: 18876897 markings, 34275363 edges, 111241 markings/sec, 135 secs
lola: 19416117 markings, 35591264 edges, 107844 markings/sec, 140 secs
lola: 19936128 markings, 36907605 edges, 104002 markings/sec, 145 secs
lola: 20431003 markings, 38316581 edges, 98975 markings/sec, 150 secs
lola: 21102659 markings, 39580845 edges, 134331 markings/sec, 155 secs
lola: 21725010 markings, 40886223 edges, 124470 markings/sec, 160 secs
lola: 22392624 markings, 42095129 edges, 133523 markings/sec, 165 secs
lola: 23057922 markings, 43325555 edges, 133060 markings/sec, 170 secs
lola: 23693903 markings, 44604683 edges, 127196 markings/sec, 175 secs
lola: 24325393 markings, 45864416 edges, 126298 markings/sec, 180 secs
lola: 24954654 markings, 47095569 edges, 125852 markings/sec, 185 secs
lola: 25624360 markings, 48291508 edges, 133941 markings/sec, 190 secs
lola: 26270600 markings, 49519017 edges, 129248 markings/sec, 195 secs
lola: 26921817 markings, 50783519 edges, 130243 markings/sec, 200 secs
lola: 27597346 markings, 52034030 edges, 135106 markings/sec, 205 secs
lola: 28268232 markings, 53252497 edges, 134177 markings/sec, 210 secs
lola: 28949336 markings, 54463371 edges, 136221 markings/sec, 215 secs
lola: 29410572 markings, 55812608 edges, 92247 markings/sec, 220 secs
lola: 30009975 markings, 57068624 edges, 119881 markings/sec, 225 secs
lola: 30656035 markings, 58221647 edges, 129212 markings/sec, 230 secs
lola: 31325354 markings, 59433932 edges, 133864 markings/sec, 235 secs
lola: 32035328 markings, 60571795 edges, 141995 markings/sec, 240 secs
lola: 32655643 markings, 61774693 edges, 124063 markings/sec, 245 secs
lola: 33295954 markings, 62971051 edges, 128062 markings/sec, 250 secs
lola: 33933476 markings, 64197032 edges, 127504 markings/sec, 255 secs
lola: 34619410 markings, 65418589 edges, 137187 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p174)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 12 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: 1093984 markings, 1324275 edges, 218797 markings/sec, 0 secs
lola: 2185648 markings, 2612188 edges, 218333 markings/sec, 5 secs
lola: 3257440 markings, 3858152 edges, 214358 markings/sec, 10 secs
lola: 4271427 markings, 5124279 edges, 202797 markings/sec, 15 secs
lola: 4959340 markings, 6390815 edges, 137583 markings/sec, 20 secs
lola: 5502965 markings, 7618326 edges, 108725 markings/sec, 25 secs
lola: 6422829 markings, 8873107 edges, 183973 markings/sec, 30 secs
lola: 7384415 markings, 10128367 edges, 192317 markings/sec, 35 secs
lola: 8426913 markings, 11381936 edges, 208500 markings/sec, 40 secs
lola: 9416909 markings, 12552223 edges, 197999 markings/sec, 45 secs
lola: 10304627 markings, 13901941 edges, 177544 markings/sec, 50 secs
lola: 11156596 markings, 15226210 edges, 170394 markings/sec, 55 secs
lola: 12005075 markings, 16526245 edges, 169696 markings/sec, 60 secs
lola: 12871775 markings, 17743554 edges, 173340 markings/sec, 65 secs
lola: 13726786 markings, 18988488 edges, 171002 markings/sec, 70 secs
lola: 14665129 markings, 20236320 edges, 187669 markings/sec, 75 secs
lola: 15545998 markings, 21440395 edges, 176174 markings/sec, 80 secs
lola: 16061410 markings, 22761575 edges, 103082 markings/sec, 85 secs
lola: 16685536 markings, 24052536 edges, 124825 markings/sec, 90 secs
lola: 17291162 markings, 25317913 edges, 121125 markings/sec, 95 secs
lola: 17866087 markings, 26648890 edges, 114985 markings/sec, 100 secs
lola: 18529224 markings, 27892195 edges, 132627 markings/sec, 105 secs
lola: 19459868 markings, 29077552 edges, 186129 markings/sec, 110 secs
lola: 20008451 markings, 30355374 edges, 109717 markings/sec, 115 secs
lola: 20657792 markings, 31662793 edges, 129868 markings/sec, 120 secs
lola: 21229728 markings, 32960290 edges, 114387 markings/sec, 125 secs
lola: 21957289 markings, 34235491 edges, 145512 markings/sec, 130 secs
lola: 22714696 markings, 35521723 edges, 151481 markings/sec, 135 secs
lola: 23429529 markings, 36782435 edges, 142967 markings/sec, 140 secs
lola: 24290935 markings, 38020480 edges, 172281 markings/sec, 145 secs
lola: 25173242 markings, 39293474 edges, 176461 markings/sec, 150 secs
lola: 26055101 markings, 40550111 edges, 176372 markings/sec, 155 secs
lola: 26930857 markings, 41817022 edges, 175151 markings/sec, 160 secs
lola: 27810869 markings, 43085465 edges, 176002 markings/sec, 165 secs
lola: 28680998 markings, 44338743 edges, 174026 markings/sec, 170 secs
lola: 29527098 markings, 45535585 edges, 169220 markings/sec, 175 secs
lola: 30384997 markings, 46754468 edges, 171580 markings/sec, 180 secs
lola: 31244975 markings, 47978406 edges, 171996 markings/sec, 185 secs
lola: 32088198 markings, 49173758 edges, 168645 markings/sec, 190 secs
lola: 32968727 markings, 50424482 edges, 176106 markings/sec, 195 secs
lola: 33853193 markings, 51677974 edges, 176893 markings/sec, 200 secs
lola: 34705964 markings, 52886716 edges, 170554 markings/sec, 205 secs
lola: 35645651 markings, 54224906 edges, 187937 markings/sec, 210 secs
lola: 36579940 markings, 55551266 edges, 186858 markings/sec, 215 secs
lola: 37449638 markings, 56858149 edges, 173940 markings/sec, 220 secs
lola: 38315876 markings, 58131422 edges, 173248 markings/sec, 225 secs
lola: 39213541 markings, 59423622 edges, 179533 markings/sec, 230 secs
lola: 40081670 markings, 60654340 edges, 173626 markings/sec, 235 secs
lola: 40917126 markings, 61857273 edges, 167091 markings/sec, 240 secs
lola: 41750538 markings, 63054764 edges, 166682 markings/sec, 245 secs
lola: 42539432 markings, 64175307 edges, 157779 markings/sec, 250 secs
lola: 43312495 markings, 65291432 edges, 154613 markings/sec, 255 secs
lola: 44090255 markings, 66392365 edges, 155552 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-00b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-00b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494629607413
--------------------
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="DES-PT-00b"
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/DES-PT-00b.tgz
mv DES-PT-00b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DES-PT-00b, 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 r018-ebro-149436309000236"
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 ;