About the Execution of LoLA for S_Railroad-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6120.000 | 3539913.00 | 3550458.00 | 272.60 | 0 0 0 0 ? ? ? ? ? ? ? 0 ? 0 ? ? | 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 S_Railroad-PT-020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432800047
=====================================================================
--------------------
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 Railroad-PT-020-UpperBounds-0
FORMULA_NAME Railroad-PT-020-UpperBounds-1
FORMULA_NAME Railroad-PT-020-UpperBounds-10
FORMULA_NAME Railroad-PT-020-UpperBounds-11
FORMULA_NAME Railroad-PT-020-UpperBounds-12
FORMULA_NAME Railroad-PT-020-UpperBounds-13
FORMULA_NAME Railroad-PT-020-UpperBounds-14
FORMULA_NAME Railroad-PT-020-UpperBounds-15
FORMULA_NAME Railroad-PT-020-UpperBounds-2
FORMULA_NAME Railroad-PT-020-UpperBounds-3
FORMULA_NAME Railroad-PT-020-UpperBounds-4
FORMULA_NAME Railroad-PT-020-UpperBounds-5
FORMULA_NAME Railroad-PT-020-UpperBounds-6
FORMULA_NAME Railroad-PT-020-UpperBounds-7
FORMULA_NAME Railroad-PT-020-UpperBounds-8
FORMULA_NAME Railroad-PT-020-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496437930465
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Railroad-PT-020: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Railroad-PT-020: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Railroad-PT-020 @ 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: 724/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 218 places, 506 transitions, 87 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 132 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-020-UpperBounds.task
lola: MAX(pl_P100_15) : MAX(pl_P59_13) : MAX(pl_P94_1) : MAX(pl_P30_1) : MAX(pl_P18_1) : MAX(pl_P59_19) : MAX(pl_P21_8) : MAX(pl_P23_21) : MAX(pl_P74_1) : MAX(pl_P102_1) : MAX(pl_P85_1) : MAX(pl_P25_1) : MAX(pl_P61_4) : MAX(pl_P23_19) : MAX(pl_P89_1) : MAX(pl_P109_1)
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(pl_P100_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P59_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P94_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 309290 markings, 411094 edges, 61858 markings/sec, 0 secs
lola: 613285 markings, 818139 edges, 60799 markings/sec, 5 secs
lola: 913013 markings, 1220738 edges, 59946 markings/sec, 10 secs
lola: 1211728 markings, 1622612 edges, 59743 markings/sec, 15 secs
lola: 1508510 markings, 2022654 edges, 59356 markings/sec, 20 secs
lola: 1799273 markings, 2415196 edges, 58153 markings/sec, 25 secs
lola: 2095048 markings, 2815688 edges, 59155 markings/sec, 30 secs
lola: 2405231 markings, 3235628 edges, 62037 markings/sec, 35 secs
lola: 2708195 markings, 3647618 edges, 60593 markings/sec, 40 secs
lola: 3015261 markings, 4064187 edges, 61413 markings/sec, 45 secs
lola: 3320315 markings, 4480291 edges, 61011 markings/sec, 50 secs
lola: 3623779 markings, 4894679 edges, 60693 markings/sec, 55 secs
lola: 3927668 markings, 5309099 edges, 60778 markings/sec, 60 secs
lola: 4229554 markings, 5723003 edges, 60377 markings/sec, 65 secs
lola: 4529521 markings, 6134993 edges, 59993 markings/sec, 70 secs
lola: 4827164 markings, 6545622 edges, 59529 markings/sec, 75 secs
lola: 5127789 markings, 6961518 edges, 60125 markings/sec, 80 secs
lola: 5425310 markings, 7372640 edges, 59504 markings/sec, 85 secs
lola: 5723862 markings, 7785921 edges, 59710 markings/sec, 90 secs
lola: 6018924 markings, 8196441 edges, 59012 markings/sec, 95 secs
lola: 6318115 markings, 8612530 edges, 59838 markings/sec, 100 secs
lola: 6614401 markings, 9027831 edges, 59257 markings/sec, 105 secs
lola: 6916615 markings, 9450465 edges, 60443 markings/sec, 110 secs
lola: 7220675 markings, 9877876 edges, 60812 markings/sec, 115 secs
lola: 7521156 markings, 10302818 edges, 60096 markings/sec, 120 secs
lola: 7825475 markings, 10729983 edges, 60864 markings/sec, 125 secs
lola: 8129727 markings, 11160309 edges, 60850 markings/sec, 130 secs
lola: 8431197 markings, 11587492 edges, 60294 markings/sec, 135 secs
lola: 8730780 markings, 12013899 edges, 59917 markings/sec, 140 secs
lola: 9034351 markings, 12446196 edges, 60714 markings/sec, 145 secs
lola: 9339076 markings, 12880479 edges, 60945 markings/sec, 150 secs
lola: 9639568 markings, 13315190 edges, 60098 markings/sec, 155 secs
lola: 9940283 markings, 13746792 edges, 60143 markings/sec, 160 secs
lola: 10237994 markings, 14174728 edges, 59542 markings/sec, 165 secs
lola: 10539068 markings, 14606411 edges, 60215 markings/sec, 170 secs
lola: 10837382 markings, 15038182 edges, 59663 markings/sec, 175 secs
lola: 11135886 markings, 15465963 edges, 59701 markings/sec, 180 secs
lola: 11434042 markings, 15896676 edges, 59631 markings/sec, 185 secs
lola: 11742140 markings, 16338031 edges, 61620 markings/sec, 190 secs
lola: 12047595 markings, 16785695 edges, 61091 markings/sec, 195 secs
lola: 12352074 markings, 17226897 edges, 60896 markings/sec, 200 secs
lola: 12660815 markings, 17671331 edges, 61748 markings/sec, 205 secs
lola: 12956923 markings, 18104317 edges, 59222 markings/sec, 210 secs
lola: 13251604 markings, 18534607 edges, 58936 markings/sec, 215 secs
lola: 13547217 markings, 18961966 edges, 59123 markings/sec, 220 secs
lola: 13841207 markings, 19392383 edges, 58798 markings/sec, 225 secs
lola: 14135401 markings, 19824504 edges, 58839 markings/sec, 230 secs
lola: 14426288 markings, 20251079 edges, 58177 markings/sec, 235 secs
lola: 14708623 markings, 20665712 edges, 56467 markings/sec, 240 secs
lola: 14993917 markings, 21080249 edges, 57059 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P30_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 244277 markings, 411492 edges, 48855 markings/sec, 0 secs
lola: 492106 markings, 814786 edges, 49566 markings/sec, 5 secs
lola: 738980 markings, 1215982 edges, 49375 markings/sec, 10 secs
lola: 981886 markings, 1611075 edges, 48581 markings/sec, 15 secs
lola: 1219142 markings, 1995296 edges, 47451 markings/sec, 20 secs
lola: 1449148 markings, 2366326 edges, 46001 markings/sec, 25 secs
lola: 1683941 markings, 2744677 edges, 46959 markings/sec, 30 secs
lola: 1918834 markings, 3122053 edges, 46979 markings/sec, 35 secs
lola: 2151342 markings, 3495674 edges, 46502 markings/sec, 40 secs
lola: 2384931 markings, 3869586 edges, 46718 markings/sec, 45 secs
lola: 2621372 markings, 4246931 edges, 47288 markings/sec, 50 secs
lola: 2857879 markings, 4625225 edges, 47301 markings/sec, 55 secs
lola: 3092344 markings, 5002406 edges, 46893 markings/sec, 60 secs
lola: 3321008 markings, 5366063 edges, 45733 markings/sec, 65 secs
lola: 3548574 markings, 5731943 edges, 45513 markings/sec, 70 secs
lola: 3776797 markings, 6095442 edges, 45645 markings/sec, 75 secs
lola: 4002733 markings, 6458947 edges, 45187 markings/sec, 80 secs
lola: 4228782 markings, 6817478 edges, 45210 markings/sec, 85 secs
lola: 4455714 markings, 7182236 edges, 45386 markings/sec, 90 secs
lola: 4682664 markings, 7542626 edges, 45390 markings/sec, 95 secs
lola: 4907352 markings, 7899445 edges, 44938 markings/sec, 100 secs
lola: 5129127 markings, 8250672 edges, 44355 markings/sec, 105 secs
lola: 5358847 markings, 8618426 edges, 45944 markings/sec, 110 secs
lola: 5579381 markings, 8966939 edges, 44107 markings/sec, 115 secs
lola: 5800575 markings, 9317840 edges, 44239 markings/sec, 120 secs
lola: 6020775 markings, 9669008 edges, 44040 markings/sec, 125 secs
lola: 6242184 markings, 10020787 edges, 44282 markings/sec, 130 secs
lola: 6465728 markings, 10375414 edges, 44709 markings/sec, 135 secs
lola: 6686645 markings, 10729888 edges, 44183 markings/sec, 140 secs
lola: 6907110 markings, 11082202 edges, 44093 markings/sec, 145 secs
lola: 7129960 markings, 11437388 edges, 44570 markings/sec, 150 secs
lola: 7340998 markings, 11773227 edges, 42208 markings/sec, 155 secs
lola: 7551718 markings, 12108653 edges, 42144 markings/sec, 160 secs
lola: 7764403 markings, 12445143 edges, 42537 markings/sec, 165 secs
lola: 7983061 markings, 12794259 edges, 43732 markings/sec, 170 secs
lola: 8209667 markings, 13154573 edges, 45321 markings/sec, 175 secs
lola: 8437867 markings, 13517170 edges, 45640 markings/sec, 180 secs
lola: 8664430 markings, 13882060 edges, 45313 markings/sec, 185 secs
lola: 8893025 markings, 14244517 edges, 45719 markings/sec, 190 secs
lola: 9117453 markings, 14600553 edges, 44886 markings/sec, 195 secs
lola: 9344290 markings, 14964149 edges, 45367 markings/sec, 200 secs
lola: 9569384 markings, 15322378 edges, 45019 markings/sec, 205 secs
lola: 9792299 markings, 15677638 edges, 44583 markings/sec, 210 secs
lola: 10013202 markings, 16030941 edges, 44181 markings/sec, 215 secs
lola: 10231035 markings, 16376633 edges, 43567 markings/sec, 220 secs
lola: 10451397 markings, 16727885 edges, 44072 markings/sec, 225 secs
lola: 10668603 markings, 17072019 edges, 43441 markings/sec, 230 secs
lola: 10889250 markings, 17420606 edges, 44129 markings/sec, 235 secs
lola: 11110209 markings, 17772459 edges, 44192 markings/sec, 240 secs
lola: 11332233 markings, 18126472 edges, 44405 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P18_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 315919 markings, 418452 edges, 63184 markings/sec, 0 secs
lola: 636911 markings, 849592 edges, 64198 markings/sec, 5 secs
lola: 953210 markings, 1272757 edges, 63260 markings/sec, 10 secs
lola: 1271382 markings, 1699186 edges, 63634 markings/sec, 15 secs
lola: 1595282 markings, 2135647 edges, 64780 markings/sec, 20 secs
lola: 1917558 markings, 2569624 edges, 64455 markings/sec, 25 secs
lola: 2241687 markings, 3005020 edges, 64826 markings/sec, 30 secs
lola: 2563490 markings, 3439771 edges, 64361 markings/sec, 35 secs
lola: 2883625 markings, 3873085 edges, 64027 markings/sec, 40 secs
lola: 3200898 markings, 4303743 edges, 63455 markings/sec, 45 secs
lola: 3515972 markings, 4733031 edges, 63015 markings/sec, 50 secs
lola: 3826933 markings, 5156205 edges, 62192 markings/sec, 55 secs
lola: 4135584 markings, 5578059 edges, 61730 markings/sec, 60 secs
lola: 4444902 markings, 6000392 edges, 61864 markings/sec, 65 secs
lola: 4753815 markings, 6425537 edges, 61783 markings/sec, 70 secs
lola: 5065972 markings, 6856149 edges, 62431 markings/sec, 75 secs
lola: 5382632 markings, 7291451 edges, 63332 markings/sec, 80 secs
lola: 5693329 markings, 7719622 edges, 62139 markings/sec, 85 secs
lola: 6003491 markings, 8147956 edges, 62032 markings/sec, 90 secs
lola: 6317576 markings, 8581688 edges, 62817 markings/sec, 95 secs
lola: 6630074 markings, 9014654 edges, 62500 markings/sec, 100 secs
lola: 6932916 markings, 9436862 edges, 60568 markings/sec, 105 secs
lola: 7226764 markings, 9843955 edges, 58770 markings/sec, 110 secs
lola: 7515280 markings, 10247259 edges, 57703 markings/sec, 115 secs
lola: 7802823 markings, 10650629 edges, 57509 markings/sec, 120 secs
lola: 8094467 markings, 11061469 edges, 58329 markings/sec, 125 secs
lola: 8399722 markings, 11488749 edges, 61051 markings/sec, 130 secs
lola: 8701518 markings, 11914082 edges, 60359 markings/sec, 135 secs
lola: 9000021 markings, 12332831 edges, 59701 markings/sec, 140 secs
lola: 9282074 markings, 12732759 edges, 56411 markings/sec, 145 secs
lola: 9575725 markings, 13152093 edges, 58730 markings/sec, 150 secs
lola: 9874470 markings, 13576651 edges, 59749 markings/sec, 155 secs
lola: 10175947 markings, 14000774 edges, 60295 markings/sec, 160 secs
lola: 10473586 markings, 14426692 edges, 59528 markings/sec, 165 secs
lola: 10771808 markings, 14856406 edges, 59644 markings/sec, 170 secs
lola: 11069861 markings, 15283804 edges, 59611 markings/sec, 175 secs
lola: 11366829 markings, 15707755 edges, 59394 markings/sec, 180 secs
lola: 11662041 markings, 16133158 edges, 59042 markings/sec, 185 secs
lola: 11961810 markings, 16559978 edges, 59954 markings/sec, 190 secs
lola: 12258921 markings, 16985843 edges, 59422 markings/sec, 195 secs
lola: 12553976 markings, 17409663 edges, 59011 markings/sec, 200 secs
lola: 12848543 markings, 17836447 edges, 58913 markings/sec, 205 secs
lola: 13139480 markings, 18260956 edges, 58187 markings/sec, 210 secs
lola: 13433807 markings, 18686088 edges, 58865 markings/sec, 215 secs
lola: 13727001 markings, 19109193 edges, 58639 markings/sec, 220 secs
lola: 14013985 markings, 19534880 edges, 57397 markings/sec, 225 secs
lola: 14308612 markings, 19963063 edges, 58925 markings/sec, 230 secs
lola: 14583831 markings, 20359640 edges, 55044 markings/sec, 235 secs
lola: 14859600 markings, 20757425 edges, 55154 markings/sec, 240 secs
lola: 15136629 markings, 21152403 edges, 55406 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P59_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P21_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 219062 markings, 586776 edges, 43812 markings/sec, 0 secs
lola: 433269 markings, 1213552 edges, 42841 markings/sec, 5 secs
lola: 644962 markings, 1847878 edges, 42339 markings/sec, 10 secs
lola: 852341 markings, 2478308 edges, 41476 markings/sec, 15 secs
lola: 1057915 markings, 3110734 edges, 41115 markings/sec, 20 secs
lola: 1263023 markings, 3744940 edges, 41022 markings/sec, 25 secs
lola: 1463070 markings, 4377786 edges, 40009 markings/sec, 30 secs
lola: 1667733 markings, 5017692 edges, 40933 markings/sec, 35 secs
lola: 1869344 markings, 5655782 edges, 40322 markings/sec, 40 secs
lola: 2065944 markings, 6287308 edges, 39320 markings/sec, 45 secs
lola: 2254900 markings, 6896529 edges, 37791 markings/sec, 50 secs
lola: 2445266 markings, 7511900 edges, 38073 markings/sec, 55 secs
lola: 2633802 markings, 8124808 edges, 37707 markings/sec, 60 secs
lola: 2820241 markings, 8735233 edges, 37288 markings/sec, 65 secs
lola: 3008361 markings, 9352633 edges, 37624 markings/sec, 70 secs
lola: 3193871 markings, 9961763 edges, 37102 markings/sec, 75 secs
lola: 3378841 markings, 10570169 edges, 36994 markings/sec, 80 secs
lola: 3570227 markings, 11191977 edges, 38277 markings/sec, 85 secs
lola: 3776796 markings, 11837034 edges, 41314 markings/sec, 90 secs
lola: 3961159 markings, 12447482 edges, 36873 markings/sec, 95 secs
lola: 4145077 markings, 13054855 edges, 36784 markings/sec, 100 secs
lola: 4328637 markings, 13665070 edges, 36712 markings/sec, 105 secs
lola: 4519739 markings, 14301073 edges, 38220 markings/sec, 110 secs
lola: 4710750 markings, 14935802 edges, 38202 markings/sec, 115 secs
lola: 4904869 markings, 15587458 edges, 38824 markings/sec, 120 secs
lola: 5097324 markings, 16230320 edges, 38491 markings/sec, 125 secs
lola: 5287291 markings, 16864699 edges, 37993 markings/sec, 130 secs
lola: 5476980 markings, 17500729 edges, 37938 markings/sec, 135 secs
lola: 5667317 markings, 18135993 edges, 38067 markings/sec, 140 secs
lola: 5858483 markings, 18774614 edges, 38233 markings/sec, 145 secs
lola: 6053431 markings, 19423085 edges, 38990 markings/sec, 150 secs
lola: 6245880 markings, 20071812 edges, 38490 markings/sec, 155 secs
lola: 6438919 markings, 20724024 edges, 38608 markings/sec, 160 secs
lola: 6635570 markings, 21383402 edges, 39330 markings/sec, 165 secs
lola: 6826458 markings, 22028588 edges, 38178 markings/sec, 170 secs
lola: 7016805 markings, 22670268 edges, 38069 markings/sec, 175 secs
lola: 7202446 markings, 23299582 edges, 37128 markings/sec, 180 secs
lola: 7390670 markings, 23936990 edges, 37645 markings/sec, 185 secs
lola: 7580991 markings, 24592741 edges, 38064 markings/sec, 190 secs
lola: 7769097 markings, 25236774 edges, 37621 markings/sec, 195 secs
lola: 7961185 markings, 25883853 edges, 38418 markings/sec, 200 secs
lola: 8154288 markings, 26539254 edges, 38621 markings/sec, 205 secs
lola: 8339201 markings, 27172158 edges, 36983 markings/sec, 210 secs
lola: 8528143 markings, 27819652 edges, 37788 markings/sec, 215 secs
lola: 8717195 markings, 28461176 edges, 37810 markings/sec, 220 secs
lola: 8904179 markings, 29098560 edges, 37397 markings/sec, 225 secs
lola: 9094050 markings, 29747273 edges, 37974 markings/sec, 230 secs
lola: 9282363 markings, 30391410 edges, 37663 markings/sec, 235 secs
lola: 9468410 markings, 31030234 edges, 37209 markings/sec, 240 secs
lola: 9656845 markings, 31678761 edges, 37687 markings/sec, 245 secs
lola: 9842573 markings, 32313741 edges, 37146 markings/sec, 250 secs
lola: 10032644 markings, 32967669 edges, 38014 markings/sec, 255 secs
lola: 10218285 markings, 33611290 edges, 37128 markings/sec, 260 secs
lola: 10406247 markings, 34259188 edges, 37592 markings/sec, 265 secs
lola: 10594359 markings, 34910594 edges, 37622 markings/sec, 270 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 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P23_21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 8 will run for 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P74_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 323680 markings, 428022 edges, 64736 markings/sec, 0 secs
lola: 652068 markings, 869340 edges, 65678 markings/sec, 5 secs
lola: 972379 markings, 1297159 edges, 64062 markings/sec, 10 secs
lola: 1292569 markings, 1727139 edges, 64038 markings/sec, 15 secs
lola: 1607890 markings, 2151920 edges, 63064 markings/sec, 20 secs
lola: 1913029 markings, 2563733 edges, 61028 markings/sec, 25 secs
lola: 2225394 markings, 2984882 edges, 62473 markings/sec, 30 secs
lola: 2535113 markings, 3404481 edges, 61944 markings/sec, 35 secs
lola: 2843390 markings, 3822379 edges, 61655 markings/sec, 40 secs
lola: 3150141 markings, 4238386 edges, 61350 markings/sec, 45 secs
lola: 3440325 markings, 4633194 edges, 58037 markings/sec, 50 secs
lola: 3730844 markings, 5028914 edges, 58104 markings/sec, 55 secs
lola: 4022560 markings, 5425602 edges, 58343 markings/sec, 60 secs
lola: 4311935 markings, 5820709 edges, 57875 markings/sec, 65 secs
lola: 4602393 markings, 6216758 edges, 58092 markings/sec, 70 secs
lola: 4903391 markings, 6628482 edges, 60200 markings/sec, 75 secs
lola: 5209221 markings, 7048690 edges, 61166 markings/sec, 80 secs
lola: 5499875 markings, 7450252 edges, 58131 markings/sec, 85 secs
lola: 5791916 markings, 7851621 edges, 58408 markings/sec, 90 secs
lola: 6090194 markings, 8261979 edges, 59656 markings/sec, 95 secs
lola: 6390841 markings, 8677411 edges, 60129 markings/sec, 100 secs
lola: 6690302 markings, 9091137 edges, 59892 markings/sec, 105 secs
lola: 6986853 markings, 9504325 edges, 59310 markings/sec, 110 secs
lola: 7284386 markings, 9918199 edges, 59507 markings/sec, 115 secs
lola: 7583008 markings, 10333096 edges, 59724 markings/sec, 120 secs
lola: 7879226 markings, 10745485 edges, 59244 markings/sec, 125 secs
lola: 8178896 markings, 11162281 edges, 59934 markings/sec, 130 secs
lola: 8476263 markings, 11579090 edges, 59473 markings/sec, 135 secs
lola: 8773744 markings, 11993126 edges, 59496 markings/sec, 140 secs
lola: 9071121 markings, 12410309 edges, 59475 markings/sec, 145 secs
lola: 9368006 markings, 12825129 edges, 59377 markings/sec, 150 secs
lola: 9656808 markings, 13230333 edges, 57760 markings/sec, 155 secs
lola: 9950677 markings, 13642245 edges, 58774 markings/sec, 160 secs
lola: 10232495 markings, 14037579 edges, 56364 markings/sec, 165 secs
lola: 10510966 markings, 14430245 edges, 55694 markings/sec, 170 secs
lola: 10788223 markings, 14821137 edges, 55451 markings/sec, 175 secs
lola: 11079210 markings, 15233200 edges, 58197 markings/sec, 180 secs
lola: 11372557 markings, 15647145 edges, 58669 markings/sec, 185 secs
lola: 11663260 markings, 16061416 edges, 58141 markings/sec, 190 secs
lola: 11957320 markings, 16476515 edges, 58812 markings/sec, 195 secs
lola: 12253501 markings, 16893054 edges, 59236 markings/sec, 200 secs
lola: 12544330 markings, 17304587 edges, 58166 markings/sec, 205 secs
lola: 12826807 markings, 17705549 edges, 56495 markings/sec, 210 secs
lola: 13101594 markings, 18103241 edges, 54957 markings/sec, 215 secs
lola: 13377248 markings, 18495310 edges, 55131 markings/sec, 220 secs
lola: 13658771 markings, 18892687 edges, 56305 markings/sec, 225 secs
lola: 13950926 markings, 19312588 edges, 58431 markings/sec, 230 secs
lola: 14240810 markings, 19730405 edges, 57977 markings/sec, 235 secs
lola: 14532062 markings, 20151421 edges, 58250 markings/sec, 240 secs
lola: 14825432 markings, 20575039 edges, 58674 markings/sec, 245 secs
lola: 15121059 markings, 21000939 edges, 59125 markings/sec, 250 secs
lola: 15415358 markings, 21424219 edges, 58860 markings/sec, 255 secs
lola: 15709714 markings, 21847410 edges, 58871 markings/sec, 260 secs
lola: 15994495 markings, 22258421 edges, 56956 markings/sec, 265 secs
lola: 16277952 markings, 22671823 edges, 56691 markings/sec, 270 secs
lola: 16568340 markings, 23091642 edges, 58078 markings/sec, 275 secs
lola: 16856579 markings, 23512727 edges, 57648 markings/sec, 280 secs
lola: 17142416 markings, 23926051 edges, 57167 markings/sec, 285 secs
lola: 17427669 markings, 24343582 edges, 57051 markings/sec, 290 secs
lola: 17719500 markings, 24771043 edges, 58366 markings/sec, 295 secs
lola: 18007321 markings, 25194762 edges, 57564 markings/sec, 300 secs
lola: 18290549 markings, 25610337 edges, 56646 markings/sec, 305 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 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P102_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 316259 markings, 416587 edges, 63252 markings/sec, 0 secs
lola: 645009 markings, 855608 edges, 65750 markings/sec, 5 secs
lola: 978019 markings, 1298482 edges, 66602 markings/sec, 10 secs
lola: 1300861 markings, 1729487 edges, 64568 markings/sec, 15 secs
lola: 1617771 markings, 2151825 edges, 63382 markings/sec, 20 secs
lola: 1934948 markings, 2575181 edges, 63435 markings/sec, 25 secs
lola: 2248754 markings, 2994149 edges, 62761 markings/sec, 30 secs
lola: 2556569 markings, 3405756 edges, 61563 markings/sec, 35 secs
lola: 2875703 markings, 3833146 edges, 63827 markings/sec, 40 secs
lola: 3196161 markings, 4262745 edges, 64092 markings/sec, 45 secs
lola: 3509459 markings, 4684184 edges, 62660 markings/sec, 50 secs
lola: 3822447 markings, 5105245 edges, 62598 markings/sec, 55 secs
lola: 4126779 markings, 5515458 edges, 60866 markings/sec, 60 secs
lola: 4436317 markings, 5932231 edges, 61908 markings/sec, 65 secs
lola: 4747974 markings, 6354409 edges, 62331 markings/sec, 70 secs
lola: 5049720 markings, 6762913 edges, 60349 markings/sec, 75 secs
lola: 5344178 markings, 7162495 edges, 58892 markings/sec, 80 secs
lola: 5640307 markings, 7563242 edges, 59226 markings/sec, 85 secs
lola: 5938341 markings, 7968346 edges, 59607 markings/sec, 90 secs
lola: 6233625 markings, 8368574 edges, 59057 markings/sec, 95 secs
lola: 6529075 markings, 8770014 edges, 59090 markings/sec, 100 secs
lola: 6822275 markings, 9171233 edges, 58640 markings/sec, 105 secs
lola: 7114964 markings, 9572959 edges, 58538 markings/sec, 110 secs
lola: 7406926 markings, 9970740 edges, 58392 markings/sec, 115 secs
lola: 7697252 markings, 10369304 edges, 58065 markings/sec, 120 secs
lola: 7990136 markings, 10769200 edges, 58577 markings/sec, 125 secs
lola: 8283544 markings, 11174981 edges, 58682 markings/sec, 130 secs
lola: 8584710 markings, 11589096 edges, 60233 markings/sec, 135 secs
lola: 8884304 markings, 12003193 edges, 59919 markings/sec, 140 secs
lola: 9177769 markings, 12407588 edges, 58693 markings/sec, 145 secs
lola: 9463316 markings, 12803595 edges, 57109 markings/sec, 150 secs
lola: 9757968 markings, 13210574 edges, 58930 markings/sec, 155 secs
lola: 10046720 markings, 13612230 edges, 57750 markings/sec, 160 secs
lola: 10339341 markings, 14020318 edges, 58524 markings/sec, 165 secs
lola: 10623935 markings, 14414950 edges, 56919 markings/sec, 170 secs
lola: 10915090 markings, 14817546 edges, 58231 markings/sec, 175 secs
lola: 11204283 markings, 15223347 edges, 57839 markings/sec, 180 secs
lola: 11483056 markings, 15609685 edges, 55755 markings/sec, 185 secs
lola: 11762374 markings, 15997194 edges, 55864 markings/sec, 190 secs
lola: 12044879 markings, 16391831 edges, 56501 markings/sec, 195 secs
lola: 12342003 markings, 16812634 edges, 59425 markings/sec, 200 secs
lola: 12637686 markings, 17226756 edges, 59137 markings/sec, 205 secs
lola: 12925946 markings, 17629001 edges, 57652 markings/sec, 210 secs
lola: 13213285 markings, 18033435 edges, 57468 markings/sec, 215 secs
lola: 13504461 markings, 18446672 edges, 58235 markings/sec, 220 secs
lola: 13797704 markings, 18862141 edges, 58649 markings/sec, 225 secs
lola: 14083981 markings, 19264335 edges, 57255 markings/sec, 230 secs
lola: 14381376 markings, 19684040 edges, 59479 markings/sec, 235 secs
lola: 14668705 markings, 20090760 edges, 57466 markings/sec, 240 secs
lola: 14946794 markings, 20483764 edges, 55618 markings/sec, 245 secs
lola: 15220885 markings, 20871517 edges, 54818 markings/sec, 250 secs
lola: 15495495 markings, 21259658 edges, 54922 markings/sec, 255 secs
lola: 15768127 markings, 21647903 edges, 54526 markings/sec, 260 secs
lola: 16041381 markings, 22036829 edges, 54651 markings/sec, 265 secs
lola: 16325846 markings, 22438567 edges, 56893 markings/sec, 270 secs
lola: 16612104 markings, 22849483 edges, 57252 markings/sec, 275 secs
lola: 16900825 markings, 23257319 edges, 57744 markings/sec, 280 secs
lola: 17184243 markings, 23661733 edges, 56684 markings/sec, 285 secs
lola: 17472625 markings, 24074113 edges, 57676 markings/sec, 290 secs
lola: 17755466 markings, 24483647 edges, 56568 markings/sec, 295 secs
lola: 18042488 markings, 24896548 edges, 57404 markings/sec, 300 secs
lola: 18327506 markings, 25305574 edges, 57004 markings/sec, 305 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 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P85_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 11 will run for 375 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P25_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 12 will run for 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P61_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 310812 markings, 409281 edges, 62162 markings/sec, 0 secs
lola: 629490 markings, 832200 edges, 63736 markings/sec, 5 secs
lola: 951083 markings, 1259322 edges, 64319 markings/sec, 10 secs
lola: 1264963 markings, 1678360 edges, 62776 markings/sec, 15 secs
lola: 1575063 markings, 2091555 edges, 62020 markings/sec, 20 secs
lola: 1887555 markings, 2507968 edges, 62498 markings/sec, 25 secs
lola: 2214106 markings, 2943889 edges, 65310 markings/sec, 30 secs
lola: 2539882 markings, 3379422 edges, 65155 markings/sec, 35 secs
lola: 2861851 markings, 3809803 edges, 64394 markings/sec, 40 secs
lola: 3176050 markings, 4230805 edges, 62840 markings/sec, 45 secs
lola: 3486595 markings, 4647462 edges, 62109 markings/sec, 50 secs
lola: 3788427 markings, 5052785 edges, 60366 markings/sec, 55 secs
lola: 4093531 markings, 5463026 edges, 61021 markings/sec, 60 secs
lola: 4409836 markings, 5888595 edges, 63261 markings/sec, 65 secs
lola: 4724271 markings, 6311963 edges, 62887 markings/sec, 70 secs
lola: 5032289 markings, 6725857 edges, 61604 markings/sec, 75 secs
lola: 5341507 markings, 7143412 edges, 61844 markings/sec, 80 secs
lola: 5649271 markings, 7557864 edges, 61553 markings/sec, 85 secs
lola: 5958282 markings, 7973903 edges, 61802 markings/sec, 90 secs
lola: 6269096 markings, 8392215 edges, 62163 markings/sec, 95 secs
lola: 6570689 markings, 8799132 edges, 60319 markings/sec, 100 secs
lola: 6864425 markings, 9195401 edges, 58747 markings/sec, 105 secs
lola: 7160260 markings, 9594386 edges, 59167 markings/sec, 110 secs
lola: 7458188 markings, 9996930 edges, 59586 markings/sec, 115 secs
lola: 7747221 markings, 10387476 edges, 57807 markings/sec, 120 secs
lola: 8034360 markings, 10776424 edges, 57428 markings/sec, 125 secs
lola: 8325513 markings, 11169814 edges, 58231 markings/sec, 130 secs
lola: 8612303 markings, 11557585 edges, 57358 markings/sec, 135 secs
lola: 8898550 markings, 11946561 edges, 57249 markings/sec, 140 secs
lola: 9185921 markings, 12335078 edges, 57474 markings/sec, 145 secs
lola: 9478502 markings, 12731700 edges, 58516 markings/sec, 150 secs
lola: 9766669 markings, 13122121 edges, 57633 markings/sec, 155 secs
lola: 10054438 markings, 13512180 edges, 57554 markings/sec, 160 secs
lola: 10340376 markings, 13900724 edges, 57188 markings/sec, 165 secs
lola: 10648753 markings, 14319587 edges, 61675 markings/sec, 170 secs
lola: 10955968 markings, 14737435 edges, 61443 markings/sec, 175 secs
lola: 11253860 markings, 15141024 edges, 59578 markings/sec, 180 secs
lola: 11539256 markings, 15528404 edges, 57079 markings/sec, 185 secs
lola: 11822671 markings, 15914350 edges, 56683 markings/sec, 190 secs
lola: 12107404 markings, 16301510 edges, 56947 markings/sec, 195 secs
lola: 12390310 markings, 16687477 edges, 56581 markings/sec, 200 secs
lola: 12696102 markings, 17103179 edges, 61158 markings/sec, 205 secs
lola: 12982578 markings, 17493264 edges, 57295 markings/sec, 210 secs
lola: 13275967 markings, 17893800 edges, 58678 markings/sec, 215 secs
lola: 13566527 markings, 18289003 edges, 58112 markings/sec, 220 secs
lola: 13850431 markings, 18678156 edges, 56781 markings/sec, 225 secs
lola: 14149208 markings, 19086023 edges, 59755 markings/sec, 230 secs
lola: 14431582 markings, 19470330 edges, 56475 markings/sec, 235 secs
lola: 14713862 markings, 19855998 edges, 56456 markings/sec, 240 secs
lola: 14994702 markings, 20241312 edges, 56168 markings/sec, 245 secs
lola: 15285047 markings, 20638050 edges, 58069 markings/sec, 250 secs
lola: 15579799 markings, 21040061 edges, 58950 markings/sec, 255 secs
lola: 15873392 markings, 21442578 edges, 58719 markings/sec, 260 secs
lola: 16167917 markings, 21844968 edges, 58905 markings/sec, 265 secs
lola: 16463333 markings, 22249369 edges, 59083 markings/sec, 270 secs
lola: 16755916 markings, 22650574 edges, 58517 markings/sec, 275 secs
lola: 17050555 markings, 23053811 edges, 58928 markings/sec, 280 secs
lola: 17342385 markings, 23454592 edges, 58366 markings/sec, 285 secs
lola: 17634573 markings, 23856352 edges, 58438 markings/sec, 290 secs
lola: 17926195 markings, 24257868 edges, 58324 markings/sec, 295 secs
lola: 18223220 markings, 24664272 edges, 59405 markings/sec, 300 secs
lola: 18518795 markings, 25069727 edges, 59115 markings/sec, 305 secs
lola: 18820137 markings, 25483772 edges, 60268 markings/sec, 310 secs
lola: 19122047 markings, 25899551 edges, 60382 markings/sec, 315 secs
lola: 19422855 markings, 26314313 edges, 60162 markings/sec, 320 secs
lola: 19716574 markings, 26719539 edges, 58744 markings/sec, 325 secs
lola: 20005587 markings, 27118064 edges, 57803 markings/sec, 330 secs
lola: 20293955 markings, 27515632 edges, 57674 markings/sec, 335 secs
lola: 20581550 markings, 27913017 edges, 57519 markings/sec, 340 secs
lola: 20871368 markings, 28312391 edges, 57964 markings/sec, 345 secs
lola: 21167394 markings, 28719999 edges, 59205 markings/sec, 350 secs
lola: 21456014 markings, 29118349 edges, 57724 markings/sec, 355 secs
lola: 21751389 markings, 29526715 edges, 59075 markings/sec, 360 secs
lola: 22043984 markings, 29931099 edges, 58519 markings/sec, 365 secs
lola: 22330187 markings, 30326711 edges, 57241 markings/sec, 370 secs
lola: 22614136 markings, 30718586 edges, 56790 markings/sec, 375 secs
lola: 22894981 markings, 31107683 edges, 56169 markings/sec, 380 secs
lola: 23176064 markings, 31496939 edges, 56217 markings/sec, 385 secs
lola: 23472514 markings, 31907167 edges, 59290 markings/sec, 390 secs
lola: 23762002 markings, 32308003 edges, 57898 markings/sec, 395 secs
lola: 24050340 markings, 32706202 edges, 57668 markings/sec, 400 secs
lola: 24347963 markings, 33118928 edges, 59525 markings/sec, 405 secs
lola: 24642152 markings, 33527590 edges, 58838 markings/sec, 410 secs
lola: 24937001 markings, 33936117 edges, 58970 markings/sec, 415 secs
lola: 25227988 markings, 34339035 edges, 58197 markings/sec, 420 secs
lola: 25501243 markings, 34719335 edges, 54651 markings/sec, 425 secs
lola: 25772983 markings, 35095277 edges, 54348 markings/sec, 430 secs
lola: 26042668 markings, 35468099 edges, 53937 markings/sec, 435 secs
lola: 26310904 markings, 35842190 edges, 53647 markings/sec, 440 secs
lola: 26580601 markings, 36216542 edges, 53939 markings/sec, 445 secs
lola: 26854351 markings, 36596714 edges, 54750 markings/sec, 450 secs
lola: 27128302 markings, 36978152 edges, 54790 markings/sec, 455 secs
lola: 27402740 markings, 37360227 edges, 54888 markings/sec, 460 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 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P23_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 309246 markings, 409770 edges, 61849 markings/sec, 0 secs
lola: 612660 markings, 815337 edges, 60683 markings/sec, 5 secs
lola: 918190 markings, 1229721 edges, 61106 markings/sec, 10 secs
lola: 1221394 markings, 1640909 edges, 60641 markings/sec, 15 secs
lola: 1522767 markings, 2045110 edges, 60275 markings/sec, 20 secs
lola: 1824046 markings, 2449452 edges, 60256 markings/sec, 25 secs
lola: 2124726 markings, 2852806 edges, 60136 markings/sec, 30 secs
lola: 2430704 markings, 3264318 edges, 61196 markings/sec, 35 secs
lola: 2746552 markings, 3690104 edges, 63170 markings/sec, 40 secs
lola: 3063411 markings, 4118082 edges, 63372 markings/sec, 45 secs
lola: 3378770 markings, 4545023 edges, 63072 markings/sec, 50 secs
lola: 3690505 markings, 4967408 edges, 62347 markings/sec, 55 secs
lola: 4001859 markings, 5389939 edges, 62271 markings/sec, 60 secs
lola: 4318117 markings, 5818436 edges, 63252 markings/sec, 65 secs
lola: 4625777 markings, 6236636 edges, 61532 markings/sec, 70 secs
lola: 4933714 markings, 6656042 edges, 61587 markings/sec, 75 secs
lola: 5245682 markings, 7083574 edges, 62394 markings/sec, 80 secs
lola: 5553873 markings, 7507464 edges, 61638 markings/sec, 85 secs
lola: 5853805 markings, 7919971 edges, 59986 markings/sec, 90 secs
lola: 6143432 markings, 8317662 edges, 57925 markings/sec, 95 secs
lola: 6432107 markings, 8715313 edges, 57735 markings/sec, 100 secs
lola: 6728909 markings, 9125626 edges, 59360 markings/sec, 105 secs
lola: 7045994 markings, 9564858 edges, 63417 markings/sec, 110 secs
lola: 7358701 markings, 9996565 edges, 62541 markings/sec, 115 secs
lola: 7646018 markings, 10395947 edges, 57463 markings/sec, 120 secs
lola: 7933347 markings, 10795769 edges, 57466 markings/sec, 125 secs
lola: 8225113 markings, 11201609 edges, 58353 markings/sec, 130 secs
lola: 8524450 markings, 11621511 edges, 59867 markings/sec, 135 secs
lola: 8824516 markings, 12038633 edges, 60013 markings/sec, 140 secs
lola: 9126906 markings, 12463299 edges, 60478 markings/sec, 145 secs
lola: 9428229 markings, 12886144 edges, 60265 markings/sec, 150 secs
lola: 9724334 markings, 13304829 edges, 59221 markings/sec, 155 secs
lola: 10020689 markings, 13721674 edges, 59271 markings/sec, 160 secs
lola: 10318555 markings, 14137780 edges, 59573 markings/sec, 165 secs
lola: 10614783 markings, 14556493 edges, 59246 markings/sec, 170 secs
lola: 10911419 markings, 14973387 edges, 59327 markings/sec, 175 secs
lola: 11208605 markings, 15391829 edges, 59437 markings/sec, 180 secs
lola: 11502676 markings, 15806896 edges, 58814 markings/sec, 185 secs
lola: 11802818 markings, 16229179 edges, 60028 markings/sec, 190 secs
lola: 12106408 markings, 16667287 edges, 60718 markings/sec, 195 secs
lola: 12406530 markings, 17088857 edges, 60024 markings/sec, 200 secs
lola: 12689612 markings, 17487310 edges, 56616 markings/sec, 205 secs
lola: 12970769 markings, 17883970 edges, 56231 markings/sec, 210 secs
lola: 13252455 markings, 18281720 edges, 56337 markings/sec, 215 secs
lola: 13545020 markings, 18695740 edges, 58513 markings/sec, 220 secs
lola: 13835429 markings, 19110785 edges, 58082 markings/sec, 225 secs
lola: 14126779 markings, 19527244 edges, 58270 markings/sec, 230 secs
lola: 14412900 markings, 19940244 edges, 57224 markings/sec, 235 secs
lola: 14698809 markings, 20345369 edges, 57182 markings/sec, 240 secs
lola: 14992508 markings, 20766519 edges, 58740 markings/sec, 245 secs
lola: 15275842 markings, 21176698 edges, 56667 markings/sec, 250 secs
lola: 15562987 markings, 21585949 edges, 57429 markings/sec, 255 secs
lola: 15849096 markings, 21998918 edges, 57222 markings/sec, 260 secs
lola: 16142037 markings, 22420343 edges, 58588 markings/sec, 265 secs
lola: 16434904 markings, 22849224 edges, 58573 markings/sec, 270 secs
lola: 16712534 markings, 23249747 edges, 55526 markings/sec, 275 secs
lola: 16985453 markings, 23656348 edges, 54584 markings/sec, 280 secs
lola: 17260859 markings, 24060605 edges, 55081 markings/sec, 285 secs
lola: 17535881 markings, 24457948 edges, 55004 markings/sec, 290 secs
lola: 17810405 markings, 24854829 edges, 54905 markings/sec, 295 secs
lola: 18079981 markings, 25258469 edges, 53915 markings/sec, 300 secs
lola: 18355623 markings, 25656233 edges, 55128 markings/sec, 305 secs
lola: 18627679 markings, 26056887 edges, 54411 markings/sec, 310 secs
lola: 18900339 markings, 26454682 edges, 54532 markings/sec, 315 secs
lola: 19177297 markings, 26852539 edges, 55392 markings/sec, 320 secs
lola: 19452640 markings, 27249416 edges, 55069 markings/sec, 325 secs
lola: 19727361 markings, 27646684 edges, 54944 markings/sec, 330 secs
lola: 20000721 markings, 28043150 edges, 54672 markings/sec, 335 secs
lola: 20298322 markings, 28474590 edges, 59520 markings/sec, 340 secs
lola: 20598268 markings, 28911784 edges, 59989 markings/sec, 345 secs
lola: 20888662 markings, 29344921 edges, 58079 markings/sec, 350 secs
lola: 21159803 markings, 29741915 edges, 54228 markings/sec, 355 secs
lola: 21440642 markings, 30156773 edges, 56168 markings/sec, 360 secs
lola: 21729705 markings, 30578102 edges, 57813 markings/sec, 365 secs
lola: 22013264 markings, 30996573 edges, 56712 markings/sec, 370 secs
lola: 22283717 markings, 31397878 edges, 54091 markings/sec, 375 secs
lola: 22553610 markings, 31802534 edges, 53979 markings/sec, 380 secs
lola: 22828981 markings, 32210196 edges, 55074 markings/sec, 385 secs
lola: 23119621 markings, 32631792 edges, 58128 markings/sec, 390 secs
lola: 23410487 markings, 33057776 edges, 58173 markings/sec, 395 secs
lola: 23705596 markings, 33493162 edges, 59022 markings/sec, 400 secs
lola: 24001140 markings, 33929328 edges, 59109 markings/sec, 405 secs
lola: 24279940 markings, 34342395 edges, 55760 markings/sec, 410 secs
lola: 24551794 markings, 34743177 edges, 54371 markings/sec, 415 secs
lola: 24820181 markings, 35144148 edges, 53677 markings/sec, 420 secs
lola: 25092004 markings, 35541515 edges, 54365 markings/sec, 425 secs
lola: 25372281 markings, 35950144 edges, 56055 markings/sec, 430 secs
lola: 25657562 markings, 36376259 edges, 57056 markings/sec, 435 secs
lola: 25941663 markings, 36803756 edges, 56820 markings/sec, 440 secs
lola: 26225521 markings, 37226137 edges, 56772 markings/sec, 445 secs
lola: 26510353 markings, 37653933 edges, 56966 markings/sec, 450 secs
lola: 26792933 markings, 38079571 edges, 56516 markings/sec, 455 secs
lola: 27075203 markings, 38504329 edges, 56454 markings/sec, 460 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 470 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P89_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 315440 markings, 416403 edges, 63088 markings/sec, 0 secs
lola: 638695 markings, 847313 edges, 64651 markings/sec, 5 secs
lola: 956438 markings, 1271230 edges, 63549 markings/sec, 10 secs
lola: 1274941 markings, 1696941 edges, 63701 markings/sec, 15 secs
lola: 1594700 markings, 2124252 edges, 63952 markings/sec, 20 secs
lola: 1910138 markings, 2546873 edges, 63088 markings/sec, 25 secs
lola: 2225920 markings, 2971275 edges, 63156 markings/sec, 30 secs
lola: 2542096 markings, 3396039 edges, 63235 markings/sec, 35 secs
lola: 2856429 markings, 3819848 edges, 62867 markings/sec, 40 secs
lola: 3168677 markings, 4241757 edges, 62450 markings/sec, 45 secs
lola: 3479294 markings, 4660491 edges, 62123 markings/sec, 50 secs
lola: 3793214 markings, 5083148 edges, 62784 markings/sec, 55 secs
lola: 4102938 markings, 5503135 edges, 61945 markings/sec, 60 secs
lola: 4416376 markings, 5926064 edges, 62688 markings/sec, 65 secs
lola: 4726809 markings, 6345820 edges, 62087 markings/sec, 70 secs
lola: 5035058 markings, 6764189 edges, 61650 markings/sec, 75 secs
lola: 5345876 markings, 7185566 edges, 62164 markings/sec, 80 secs
lola: 5654404 markings, 7604764 edges, 61706 markings/sec, 85 secs
lola: 5958297 markings, 8018060 edges, 60779 markings/sec, 90 secs
lola: 6254338 markings, 8421721 edges, 59208 markings/sec, 95 secs
lola: 6542173 markings, 8814423 edges, 57567 markings/sec, 100 secs
lola: 6829025 markings, 9207023 edges, 57370 markings/sec, 105 secs
lola: 7116831 markings, 9602224 edges, 57561 markings/sec, 110 secs
lola: 7401395 markings, 9995050 edges, 56913 markings/sec, 115 secs
lola: 7695620 markings, 10397536 edges, 58845 markings/sec, 120 secs
lola: 7982805 markings, 10792334 edges, 57437 markings/sec, 125 secs
lola: 8266745 markings, 11184653 edges, 56788 markings/sec, 130 secs
lola: 8556153 markings, 11581872 edges, 57882 markings/sec, 135 secs
lola: 8838994 markings, 11971916 edges, 56568 markings/sec, 140 secs
lola: 9121954 markings, 12364002 edges, 56592 markings/sec, 145 secs
lola: 9406985 markings, 12758467 edges, 57006 markings/sec, 150 secs
lola: 9705256 markings, 13170162 edges, 59654 markings/sec, 155 secs
lola: 10008340 markings, 13593363 edges, 60617 markings/sec, 160 secs
lola: 10302939 markings, 14001275 edges, 58920 markings/sec, 165 secs
lola: 10584260 markings, 14395825 edges, 56264 markings/sec, 170 secs
lola: 10864282 markings, 14786686 edges, 56004 markings/sec, 175 secs
lola: 11147358 markings, 15181152 edges, 56615 markings/sec, 180 secs
lola: 11427154 markings, 15572818 edges, 55959 markings/sec, 185 secs
lola: 11708064 markings, 15964436 edges, 56182 markings/sec, 190 secs
lola: 11988374 markings, 16354506 edges, 56062 markings/sec, 195 secs
lola: 12266594 markings, 16743483 edges, 55644 markings/sec, 200 secs
lola: 12546533 markings, 17134874 edges, 55988 markings/sec, 205 secs
lola: 12825067 markings, 17527172 edges, 55707 markings/sec, 210 secs
lola: 13104635 markings, 17918363 edges, 55914 markings/sec, 215 secs
lola: 13384344 markings, 18311271 edges, 55942 markings/sec, 220 secs
lola: 13661952 markings, 18700807 edges, 55522 markings/sec, 225 secs
lola: 13939408 markings, 19091520 edges, 55491 markings/sec, 230 secs
lola: 14219303 markings, 19484168 edges, 55979 markings/sec, 235 secs
lola: 14495481 markings, 19876714 edges, 55236 markings/sec, 240 secs
lola: 14770052 markings, 20265355 edges, 54914 markings/sec, 245 secs
lola: 15056578 markings, 20670910 edges, 57305 markings/sec, 250 secs
lola: 15350634 markings, 21084300 edges, 58811 markings/sec, 255 secs
lola: 15641578 markings, 21498747 edges, 58189 markings/sec, 260 secs
lola: 15931212 markings, 21912496 edges, 57927 markings/sec, 265 secs
lola: 16222622 markings, 22325041 edges, 58282 markings/sec, 270 secs
lola: 16515318 markings, 22741160 edges, 58539 markings/sec, 275 secs
lola: 16806825 markings, 23158376 edges, 58301 markings/sec, 280 secs
lola: 17094122 markings, 23570918 edges, 57459 markings/sec, 285 secs
lola: 17386238 markings, 23985616 edges, 58423 markings/sec, 290 secs
lola: 17671419 markings, 24402003 edges, 57036 markings/sec, 295 secs
lola: 17961648 markings, 24818541 edges, 58046 markings/sec, 300 secs
lola: 18248259 markings, 25227730 edges, 57322 markings/sec, 305 secs
lola: 18531183 markings, 25638038 edges, 56585 markings/sec, 310 secs
lola: 18807561 markings, 26038151 edges, 55276 markings/sec, 315 secs
lola: 19083025 markings, 26430187 edges, 55093 markings/sec, 320 secs
lola: 19357923 markings, 26820007 edges, 54980 markings/sec, 325 secs
lola: 19642384 markings, 27222697 edges, 56892 markings/sec, 330 secs
lola: 19925936 markings, 27630577 edges, 56710 markings/sec, 335 secs
lola: 20211665 markings, 28039115 edges, 57146 markings/sec, 340 secs
lola: 20496459 markings, 28447418 edges, 56959 markings/sec, 345 secs
lola: 20779561 markings, 28858365 edges, 56620 markings/sec, 350 secs
lola: 21062285 markings, 29264285 edges, 56545 markings/sec, 355 secs
lola: 21343366 markings, 29673065 edges, 56216 markings/sec, 360 secs
lola: 21624035 markings, 30080865 edges, 56134 markings/sec, 365 secs
lola: 21894578 markings, 30476945 edges, 54109 markings/sec, 370 secs
lola: 22164480 markings, 30869221 edges, 53980 markings/sec, 375 secs
lola: 22435263 markings, 31266332 edges, 54157 markings/sec, 380 secs
lola: 22712413 markings, 31670092 edges, 55430 markings/sec, 385 secs
lola: 23005833 markings, 32096926 edges, 58684 markings/sec, 390 secs
lola: 23277792 markings, 32496065 edges, 54392 markings/sec, 395 secs
lola: 23548853 markings, 32887688 edges, 54212 markings/sec, 400 secs
lola: 23818380 markings, 33280409 edges, 53905 markings/sec, 405 secs
lola: 24106896 markings, 33699547 edges, 57703 markings/sec, 410 secs
lola: 24399115 markings, 34119499 edges, 58444 markings/sec, 415 secs
lola: 24684539 markings, 34533035 edges, 57085 markings/sec, 420 secs
lola: 24975128 markings, 34960953 edges, 58118 markings/sec, 425 secs
lola: 25243805 markings, 35352327 edges, 53735 markings/sec, 430 secs
lola: 25524706 markings, 35756587 edges, 56180 markings/sec, 435 secs
lola: 25801625 markings, 36156988 edges, 55384 markings/sec, 440 secs
lola: 26083072 markings, 36570070 edges, 56289 markings/sec, 445 secs
lola: 26350241 markings, 36963095 edges, 53434 markings/sec, 450 secs
lola: 26621398 markings, 37356222 edges, 54231 markings/sec, 455 secs
lola: 26886827 markings, 37752063 edges, 53086 markings/sec, 460 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 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P109_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 306261 markings, 404797 edges, 61252 markings/sec, 0 secs
lola: 629039 markings, 838619 edges, 64556 markings/sec, 5 secs
lola: 952408 markings, 1270393 edges, 64674 markings/sec, 10 secs
lola: 1271405 markings, 1698745 edges, 63799 markings/sec, 15 secs
lola: 1585471 markings, 2121917 edges, 62813 markings/sec, 20 secs
lola: 1897483 markings, 2542729 edges, 62402 markings/sec, 25 secs
lola: 2217178 markings, 2973731 edges, 63939 markings/sec, 30 secs
lola: 2537168 markings, 3407215 edges, 63998 markings/sec, 35 secs
lola: 2849543 markings, 3830725 edges, 62475 markings/sec, 40 secs
lola: 3156830 markings, 4247398 edges, 61457 markings/sec, 45 secs
lola: 3464234 markings, 4665836 edges, 61481 markings/sec, 50 secs
lola: 3771009 markings, 5083514 edges, 61355 markings/sec, 55 secs
lola: 4085297 markings, 5510852 edges, 62858 markings/sec, 60 secs
lola: 4396060 markings, 5934995 edges, 62153 markings/sec, 65 secs
lola: 4687331 markings, 6332794 edges, 58254 markings/sec, 70 secs
lola: 4973283 markings, 6725011 edges, 57190 markings/sec, 75 secs
lola: 5258373 markings, 7117225 edges, 57018 markings/sec, 80 secs
lola: 5570003 markings, 7546194 edges, 62326 markings/sec, 85 secs
lola: 5881562 markings, 7974667 edges, 62312 markings/sec, 90 secs
lola: 6167569 markings, 8369247 edges, 57201 markings/sec, 95 secs
lola: 6450185 markings, 8759172 edges, 56523 markings/sec, 100 secs
lola: 6735019 markings, 9154270 edges, 56967 markings/sec, 105 secs
lola: 7030959 markings, 9565394 edges, 59188 markings/sec, 110 secs
lola: 7329198 markings, 9979825 edges, 59648 markings/sec, 115 secs
lola: 7626359 markings, 10393233 edges, 59432 markings/sec, 120 secs
lola: 7923949 markings, 10807946 edges, 59518 markings/sec, 125 secs
lola: 8222764 markings, 11224281 edges, 59763 markings/sec, 130 secs
lola: 8522408 markings, 11642705 edges, 59929 markings/sec, 135 secs
lola: 8818889 markings, 12057035 edges, 59296 markings/sec, 140 secs
lola: 9115366 markings, 12473709 edges, 59295 markings/sec, 145 secs
lola: 9419615 markings, 12896948 edges, 60850 markings/sec, 150 secs
lola: 9723862 markings, 13323410 edges, 60849 markings/sec, 155 secs
lola: 10024397 markings, 13746017 edges, 60107 markings/sec, 160 secs
lola: 10322977 markings, 14164625 edges, 59716 markings/sec, 165 secs
lola: 10619479 markings, 14583005 edges, 59300 markings/sec, 170 secs
lola: 10916192 markings, 15002647 edges, 59343 markings/sec, 175 secs
lola: 11214098 markings, 15424341 edges, 59581 markings/sec, 180 secs
lola: 11516826 markings, 15852212 edges, 60546 markings/sec, 185 secs
lola: 11811735 markings, 16271641 edges, 58982 markings/sec, 190 secs
lola: 12112088 markings, 16694126 edges, 60071 markings/sec, 195 secs
lola: 12411980 markings, 17116595 edges, 59978 markings/sec, 200 secs
lola: 12708754 markings, 17538507 edges, 59355 markings/sec, 205 secs
lola: 13006997 markings, 17965050 edges, 59649 markings/sec, 210 secs
lola: 13304032 markings, 18389845 edges, 59407 markings/sec, 215 secs
lola: 13600785 markings, 18811290 edges, 59351 markings/sec, 220 secs
lola: 13896777 markings, 19236009 edges, 59198 markings/sec, 225 secs
lola: 14191050 markings, 19657574 edges, 58855 markings/sec, 230 secs
lola: 14484359 markings, 20082977 edges, 58662 markings/sec, 235 secs
lola: 14779788 markings, 20508859 edges, 59086 markings/sec, 240 secs
lola: 15074688 markings, 20935363 edges, 58980 markings/sec, 245 secs
lola: 15370715 markings, 21358812 edges, 59205 markings/sec, 250 secs
lola: 15665298 markings, 21784013 edges, 58917 markings/sec, 255 secs
lola: 15959050 markings, 22207379 edges, 58750 markings/sec, 260 secs
lola: 16250172 markings, 22632136 edges, 58224 markings/sec, 265 secs
lola: 16546875 markings, 23059075 edges, 59341 markings/sec, 270 secs
lola: 16837344 markings, 23485158 edges, 58094 markings/sec, 275 secs
lola: 17129922 markings, 23907808 edges, 58516 markings/sec, 280 secs
lola: 17419378 markings, 24330685 edges, 57891 markings/sec, 285 secs
lola: 17708964 markings, 24756457 edges, 57917 markings/sec, 290 secs
lola: 17991536 markings, 25171628 edges, 56514 markings/sec, 295 secs
lola: 18282350 markings, 25598195 edges, 58163 markings/sec, 300 secs
lola: 18569909 markings, 26016545 edges, 57512 markings/sec, 305 secs
lola: 18856292 markings, 26437768 edges, 57277 markings/sec, 310 secs
lola: 19149074 markings, 26859122 edges, 58556 markings/sec, 315 secs
lola: 19435963 markings, 27286669 edges, 57378 markings/sec, 320 secs
lola: 19725865 markings, 27709141 edges, 57980 markings/sec, 325 secs
lola: 20017571 markings, 28131938 edges, 58341 markings/sec, 330 secs
lola: 20302136 markings, 28548958 edges, 56913 markings/sec, 335 secs
lola: 20586984 markings, 28962484 edges, 56970 markings/sec, 340 secs
lola: 20874721 markings, 29384531 edges, 57547 markings/sec, 345 secs
lola: 21167068 markings, 29818371 edges, 58469 markings/sec, 350 secs
lola: 21458684 markings, 30243638 edges, 58323 markings/sec, 355 secs
lola: 21749774 markings, 30677732 edges, 58218 markings/sec, 360 secs
lola: 22039327 markings, 31114330 edges, 57911 markings/sec, 365 secs
lola: 22326862 markings, 31540827 edges, 57507 markings/sec, 370 secs
lola: 22618525 markings, 31967489 edges, 58333 markings/sec, 375 secs
lola: 22904914 markings, 32391529 edges, 57278 markings/sec, 380 secs
lola: 23191036 markings, 32819140 edges, 57224 markings/sec, 385 secs
lola: 23477028 markings, 33238113 edges, 57198 markings/sec, 390 secs
lola: 23764541 markings, 33659636 edges, 57503 markings/sec, 395 secs
lola: 24050847 markings, 34086355 edges, 57261 markings/sec, 400 secs
lola: 24334472 markings, 34511912 edges, 56725 markings/sec, 405 secs
lola: 24620564 markings, 34941700 edges, 57218 markings/sec, 410 secs
lola: 24906748 markings, 35373090 edges, 57237 markings/sec, 415 secs
lola: 25181661 markings, 35783316 edges, 54983 markings/sec, 420 secs
lola: 25471225 markings, 36217296 edges, 57913 markings/sec, 425 secs
lola: 25735603 markings, 36611565 edges, 52876 markings/sec, 430 secs
lola: 26008149 markings, 37023620 edges, 54509 markings/sec, 435 secs
lola: 26280800 markings, 37429797 edges, 54530 markings/sec, 440 secs
lola: 26554965 markings, 37836317 edges, 54833 markings/sec, 445 secs
lola: 26817636 markings, 38234395 edges, 52534 markings/sec, 450 secs
lola: 27079627 markings, 38622836 edges, 52398 markings/sec, 455 secs
lola: 27337921 markings, 39007677 edges, 51659 markings/sec, 460 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 0 0 unknown unknown unknown 0 unknown 0 unknown unknown 0 0 unknown unknown unknown unknown
FORMULA Railroad-PT-020-UpperBounds-0 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-1 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-5 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-7 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-10 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-11 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496441470378
--------------------
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="S_Railroad-PT-020"
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/S_Railroad-PT-020.tgz
mv S_Railroad-PT-020 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 S_Railroad-PT-020, 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 r148-csrt-149443432800047"
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 ;